Banach manifold


In mathematics, a Banach manifold is a manifold modeled on Banach spaces. Thus it is a topological space in which each point has a neighbourhood homeomorphic to an open set in a Banach space. Banach manifolds are one possibility of extending manifolds to infinite dimensions.
A further generalisation is to Fréchet manifolds, replacing Banach spaces by Fréchet spaces. On the other hand, a Hilbert manifold is a special case of a Banach manifold in which the manifold is locally modelled on Hilbert spaces.

Definition

Let X be a set. An atlas of class Cr, r ≥ 0, on X is a collection of pairs , i ∈ I, such that
  1. each Ui is a subset of X and the union of the Ui is the whole of X;
  2. each φi is a bijection from Ui onto an open subset φi of some Banach space Ei, and for any i and j, φi is open in Ei;
  3. the crossover map
One can then show that there is a unique topology on X such that each Ui is open and each φi is a homeomorphism. Very often, this topological space is assumed to be a Hausdorff space, but this is not necessary from the point of view of the formal definition.
If all the Banach spaces Ei are equal to the same space E, the atlas is called an E-atlas. However, it is not ' necessary that the Banach spaces Ei be the same space, or even isomorphic as topological vector spaces. However, if two charts and are such that Ui and Uj have a non-empty intersection, a quick examination of the derivative of the crossover map
shows that Ei and Ej must indeed be isomorphic as topological vector spaces. Furthermore, the set of points x ∈ X for which there is a chart with x in Ui and Ei isomorphic to a given Banach space E is both open and closed. Hence, one can without loss of generality assume that, on each connected component of X, the atlas is an E-atlas for some fixed E.
A new chart is called compatible with a given atlas if the crossover map
is an r-times continuously differentiable function for every i ∈ I. Two atlases are called compatible if every chart in one is compatible with the other atlas. Compatibility defines an equivalence relation on the class of all possible atlases on X.
A Cr-manifold structure on X is then defined to be a choice of equivalence class of atlases on X of class Cr. If all the Banach spaces Ei are isomorphic as topological vector spaces, then an equivalent atlas can be found for which they are all equal to some Banach space E. X is then called an E-manifold, or one says that X is modeled' on E''.

Examples

It is by no means true that a finite-dimensional manifold of dimension n is globally homeomorphic to Rn, or even an open subset of Rn. However, in an infinite-dimensional setting, it is possible to classify “well-behaved” Banach manifolds up to homeomorphism quite nicely. A 1969 theorem of David Henderson states that every infinite-dimensional, separable, metric Banach manifold X can be embedded as an open subset of the infinite-dimensional, separable Hilbert space, H. In fact, Henderson's result is stronger: the same conclusion holds for any metric manifold modeled on a separable infinite-dimensional Fréchet space.
The embedding homeomorphism can be used as a global chart for X. Thus, in the infinite-dimensional, separable, metric case, the “only” Banach manifolds are the open subsets of Hilbert space.