Banach manifold

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 (a more involved and formal definition is given below). 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.


Let "X" be a set. An atlas of class "C""r", "r" ≥ 0, on "X" is a collection of pairs (called charts) ("U""i", "φ""i"), "i" ∈ "I", such that
# each "U""i" is a subset of "X" and the union of the "U""i" is the whole of "X";
# each "φ""i" is a bijection from "U""i" onto an open subset "φ""i"("U""i") of some Banach space "E""i", and for any "i" and "j", "φ""i"("U""i" ∩ "U""j") is open in "E""i";
# the crossover map

::varphi_{j} circ varphi_{i}^{-1} : varphi_{i} (U_{i} cap U_{j}) o varphi_{j} (U_{i} cap U_{j})

: is an "r"-times continuously differentiable function for every "i" and "j" in "I", i.e. the "r"th Fréchet derivative

::mathrm{d}^{r} ig( varphi_{j} circ varphi_{i}^{-1} ig) : varphi_{i} (U_{i} cap U_{j}) o mathrm{Lin} ig( E_{i}^{r}; E_{j} ig)

: exists and is a continuous function with respect to the "E""i"-norm topology on subsets of "E""i" and the operator norm topology on Lin("E""i""r"; "E""j".)

One can then show that there is a unique topology on "X" such that each "U""i" 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 "E""i" are equal to the same space "E", the atlas is called an "E"-atlas. However, it is not "a priori" necessary that the Banach spaces "E""i" be the same space, or even isomorphic as topological vector spaces. However, if two charts ("U""i", "φ""i") and ("U""j", "φ""j") are such that "U""i" and "U""j" have a non-empty intersection, a quick examination of the derivative of the crossover map

:varphi_{j} circ varphi_{i}^{-1} : varphi_{i} (U_{i} cap U_{j}) o varphi_{j} (U_{i} cap U_{j})

shows that "E""i" and "E""j" must indeed be isomorphic as topological vector spaces. Furthermore, the set of points "x" ∈ "X" for which there is a chart ("U""i", "φ""i") with "x" in "U""i" and "E""i" 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 ("U", "φ") is called compatible with a given atlas { ("U""i", "φ""i") | "i" ∈ "I" } if the crossover map

:varphi_{i} circ varphi^{-1} : varphi (U cap U_{i}) o varphi_{i} (U cap U_{i})

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 "C""r"-manifold structure on "X" is then defined to be a choice of equivalence class of atlases on "X" of class "C""r". If all the Banach spaces "E""i" are isomorphic as topological vector spaces (which is guaranteed to be the case if "X" is connected), 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".


* If ("X", || ||) is a Banach space, then "X" is a Banach manifold with an atlas containing a single, globally-defined chart (the identity map).
* Similarly, if "U" is an open subset of some Banach space, then "U" is a Banach manifold. (See the classification theorem below.)

Classification up to homeomorphism

It is by no means true that a finite-dimensional manifold of dimension "n" is "globally" homeomorphic to R"n", or even an open subset of R"n". 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" (up to linear isomorphism, there is only one such space). 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.


* cite journal
last = Henderson
first = David W.
title = Infinite-dimensional manifolds are open subsets of Hilbert space
journal = Bull. Amer. Math. Soc.
volume = 75
year = 1969
pages = 759–762
doi = 10.1090/S0002-9904-1969-12276-7
* cite book
last = Lang
first = Serge
authorlink = Serge Lang
title = Differential manifolds
publisher = Addison-Wesley Publishing Co., Inc.
location = Reading, Mass.–London–Don Mills, Ont.
year = 1972

Wikimedia Foundation. 2010.

Look at other dictionaries:

  • Manifold — For other uses, see Manifold (disambiguation). The sphere (surface of a ball) is a two dimensional manifold since it can be represented by a collection of two dimensional maps. In mathematics (specifically in differential geometry and topology),… …   Wikipedia

  • Banach bundle — In mathematics, a Banach bundle is a vector bundle each of whose fibres is a Banach space, i.e. a complete normed vector space, possibly of infinite dimension.Definition of a Banach bundleLet M be a Banach manifold of class C p with p ≥ 0, called …   Wikipedia

  • Hilbert manifold — In mathematics, a Hilbert manifold is a manifold modeled on Hilbert spaces. Thus it is a separable Hausdorff space in which each point has a neighbourhood homeomorphic to an infinite dimensional Hilbert space. The concept of a Hilbert manifold… …   Wikipedia

  • Stefan Banach — Infobox Scientist name = Stefan Banach box width = image width = caption = birth date = Birth date|1892|3|30 birth place = death date = Death date|1945|8|31 death place = nationality = Polish citizenship = Austro Hungarian, Polish, Soviet Union [ …   Wikipedia

  • Fréchet manifold — In mathematics, in particular in nonlinear analysis, a Fréchet manifold is a topological space modeled on a Fréchet space in much the same way as a manifold is modeled on a Euclidean space.More precisely, a Fréchet manifold consists of a… …   Wikipedia

  • Differentiable manifold — A nondifferentiable atlas of charts for the globe. The results of calculus may not be compatible between charts if the atlas is not differentiable. In the middle chart the Tropic of Cancer is a smooth curve, whereas in the first it has a sharp… …   Wikipedia

  • Finsler manifold — In mathematics, particularly differential geometry, a Finsler manifold is a differentiable manifold M with a Banach norm defined over each tangent space, smoothly depending on position, and (usually) assumed to satisfy the following… …   Wikipedia

  • Frobenius theorem (differential topology) — In mathematics, Frobenius theorem gives necessary and sufficient conditions for finding a maximal set of independent solutions of an overdetermined system of first order homogeneous linear partial differential equations. In modern geometric terms …   Wikipedia

  • Jet (mathematics) — In mathematics, the jet is an operation which takes a differentiable function f and produces a polynomial, the truncated Taylor polynomial of f , at each point of its domain. Although this is the definition of a jet, the theory of jets regards… …   Wikipedia

  • Diffeomorphism — In mathematics, a diffeomorphism is an isomorphism in the category of smooth manifolds. It is an invertible function that maps one differentiable manifold to another, such that both the function and its inverse are smooth. The image of a… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”