Banach Manifold

Manifold modeled on Banach spaces; topological space in which each point has a neighbourhood homeomorphic to an open set in a Banach space.