View source for Lie group, Banach

A set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058600/l0586001.png" /> endowed with a group structure and an analytic Banach manifold structure (cf. [[Banach analytic space|Banach analytic space]]) at the same time; these two structures are compatible in the following sense: the mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058600/l0586002.png" /> from <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058600/l0586003.png" /> into <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058600/l0586004.png" /> is analytic. If the Banach manifold is finite dimensional, this concept coincides with the usual concept of a [[Lie group|Lie group]].

Examples. A Banach space with an addition operation, the set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058600/l0586005.png" /> of invertible elements of a Banach algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058600/l0586006.png" /> with a multiplication operation, and the set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058600/l0586007.png" /> of functions smooth of order <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058600/l0586008.png" /> on a smooth manifold <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058600/l0586009.png" /> with values in a Lie group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058600/l05860010.png" /> and with the operation of [[pointwise multiplication]], are Banach Lie groups. On the other hand, the set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058600/l05860011.png" /> of one-to-one mappings smooth of order <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058600/l05860012.png" /> of a smooth manifold <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058600/l05860013.png" /> onto itself is not a Banach Lie group: in this case the natural structures of the Banach manifold and the group (with respect to the operation of composition) are not compatible.

Some fundamental theorems in the theory of Lie groups remain true for Banach Lie groups: to every Banach Lie group corresponds a Banach Lie algebra, from which in turn one can recover a local Banach Lie group. It is known, however, that not every local Banach Lie group can be extended to a global one [[#References|[2]]]; a neighbourhood of the identity of a Banach Lie group is covered by the image of the exponential mapping; there is a correspondence between connected closed subgroups of a Banach Lie group and closed subalgebras of the corresponding Lie algebra.

There are various generalizations of the concept of a Banach Lie group (see [[#References|[3]]]), in which the Banach space structure is replaced by a linear topological space structure of more general type.

====References====
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  N. Bourbaki,   "Elements of mathematics. Lie groups and Lie algebras" , Addison-Wesley  (1975)  (Translated from French)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  P. de la Harpe,   "Classical Banach–Lie algebras and Banach–Lie groups of operators in Hilbert space" , Springer  (1972)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  H. Omori,   "Infinite dimensional Lie transformation groups" , Springer  (1974)</TD></TR></table>