Namespaces
Variants
Actions

Difference between revisions of "Lie group, Banach"

From Encyclopedia of Mathematics
Jump to: navigation, search
m (link)
m (tex encoded by computer)
 
Line 1: Line 1:
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]].
+
<!--
 +
l0586001.png
 +
$#A+1 = 13 n = 0
 +
$#C+1 = 13 : ~/encyclopedia/old_files/data/L058/L.0508600 Lie group, Banach
 +
Automatically converted into TeX, above some diagnostics.
 +
Please remove this comment and the {{TEX|auto}} line below,
 +
if TeX found to be correct.
 +
-->
  
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.
+
{{TEX|auto}}
 +
{{TEX|done}}
 +
 
 +
A set  $  G $
 +
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  $  ( g , h ) \rightarrow g h  ^ {-} 1 $
 +
from  $  G \times G $
 +
into  $  G $
 +
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 $  A  ^ {*} $
 +
of invertible elements of a Banach algebra $  A $
 +
with a multiplication operation, and the set $  C  ^ {k} ( M , G ) $
 +
of functions smooth of order $  k $
 +
on a smooth manifold $  M $
 +
with values in a Lie group $  G $
 +
and with the operation of [[pointwise multiplication]], are Banach Lie groups. On the other hand, the set $  \mathop{\rm Diff}  ^ {k}  M $
 +
of one-to-one mappings smooth of order $  k $
 +
of a smooth manifold $  M $
 +
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.
 
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.

Latest revision as of 22:16, 5 June 2020


A set $ G $ endowed with a group structure and an analytic Banach manifold structure (cf. Banach analytic space) at the same time; these two structures are compatible in the following sense: the mapping $ ( g , h ) \rightarrow g h ^ {-} 1 $ from $ G \times G $ into $ G $ is analytic. If the Banach manifold is finite dimensional, this concept coincides with the usual concept of a Lie group.

Examples. A Banach space with an addition operation, the set $ A ^ {*} $ of invertible elements of a Banach algebra $ A $ with a multiplication operation, and the set $ C ^ {k} ( M , G ) $ of functions smooth of order $ k $ on a smooth manifold $ M $ with values in a Lie group $ G $ and with the operation of pointwise multiplication, are Banach Lie groups. On the other hand, the set $ \mathop{\rm Diff} ^ {k} M $ of one-to-one mappings smooth of order $ k $ of a smooth manifold $ M $ 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 [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 [3]), in which the Banach space structure is replaced by a linear topological space structure of more general type.

References

[1] N. Bourbaki, "Elements of mathematics. Lie groups and Lie algebras" , Addison-Wesley (1975) (Translated from French)
[2] P. de la Harpe, "Classical Banach–Lie algebras and Banach–Lie groups of operators in Hilbert space" , Springer (1972)
[3] H. Omori, "Infinite dimensional Lie transformation groups" , Springer (1974)
How to Cite This Entry:
Lie group, Banach. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Lie_group,_Banach&oldid=47630
This article was adapted from an original article by A.A. Kirillov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article