Namespaces
Variants
Actions

Difference between revisions of "Lie theorem"

From Encyclopedia of Mathematics
Jump to: navigation, search
m (MR/ZBL numbers added)
m (tex done)
 
Line 1: Line 1:
 +
{{TEX|done}}
 
Lie's theorem is one of the three classical theorems in the theory of Lie groups that describe the connection between a local Lie group (cf. [[Lie group, local|Lie group, local]]) and its Lie algebra. Lie's theorems are the foundations of the theory developed in the 19th century by S. Lie and his school (see ).
 
Lie's theorem is one of the three classical theorems in the theory of Lie groups that describe the connection between a local Lie group (cf. [[Lie group, local|Lie group, local]]) and its Lie algebra. Lie's theorems are the foundations of the theory developed in the 19th century by S. Lie and his school (see ).
  
Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058760/l0587601.png" /> be an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058760/l0587602.png" />-dimensional real effective local [[Lie transformation group|Lie transformation group]] of a domain <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058760/l0587603.png" />, let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058760/l0587604.png" /> be the identity of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058760/l0587605.png" /> and suppose that in local coordinates in a neighbourhood of the set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058760/l0587606.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058760/l0587607.png" /> the action of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058760/l0587608.png" /> on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058760/l0587609.png" /> is given by a system of analytic functions
+
Let $  G $
 +
be an $  r $ -
 +
dimensional real effective local [[Lie transformation group|Lie transformation group]] of a domain $  \Omega \subset \mathbf R ^{n} $ ,  
 +
let $  e $
 +
be the identity of $  G $
 +
and suppose that in local coordinates in a neighbourhood of the set $  \{ e \} \times \Omega $
 +
in $  G \times \Omega $
 +
the action of $  G $
 +
on $  \Omega $
 +
is given by a system of analytic functions$$ \tag{1}
 +
y _{i}  =   f _{i} ( g _{1} \dots g _{r} ; \
 +
x _{1} \dots x _{n} ) , 
 +
i = 1 \dots n ,
 +
$$
 +
where $  g = ( g _{1} \dots g _{r} ) \in G $ ,
 +
$  x = ( x _{1} \dots x _{n} ) \in \Omega $
 +
and $  g (x) = y = ( y _{1} \dots y _{n} ) \in \Omega $ .  
 +
This action defines $  r $
 +
analytic vector fields on $  \Omega $ ,
 +
$$ \tag{2}
 +
X _{i}  =   \sum _{j=1} ^ n
 +
\xi _{ij} (x)
 +
\frac \partial {\partial x _{j}}
 +
 +
i = 1 \dots r ,
 +
$$
 +
where $  \xi _{ij} (x) = {\partial f _{j}} / {\partial g _{i}} ( e ,\  x) $ .
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058760/l05876010.png" /></td> <td valign="top" style="width:5%;text-align:right;">(1)</td></tr></table>
 
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058760/l05876011.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058760/l05876012.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058760/l05876013.png" />. This action defines <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058760/l05876014.png" /> analytic vector fields on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058760/l05876015.png" />,
+
Lie's first theorem establishes that the functions $  f _{j} $ ,
 +
$  j = 1 \dots n $ ,  
 +
which define the action of $  G $
 +
are themselves defined by some auxiliary system of analytic functions $  \psi _{ki} (g) $ ,
 +
$  k ,\  i = 1 \dots r $ ,
 +
on $  G $
 +
which satisfy the condition$$ \tag{3}
 +
\psi _{ki} (e)  =   \delta _{ki} ,
 +
$$
 +
where $  \delta _{ki} $
 +
is the [[Kronecker symbol|Kronecker symbol]]. More precisely, $  ( \psi _{ki} (g) ) $
 +
is the matrix of the differential of the right translation of $  G $
 +
by the element $  g ^{-1} $
 +
at the point $  g $ ,  
 +
and the system of functions (1) is precisely the solution of the system of equations$$ \tag{4}
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058760/l05876016.png" /></td> <td valign="top" style="width:5%;text-align:right;">(2)</td></tr></table>
+
\frac{\partial f _{j}}{\partial g _{i}}
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058760/l05876017.png" />.
+
( g ,\  x )  =   \sum _{k=1} ^ r
 +
\xi _{kj} ( f ( g ,\  x ) )
 +
\psi _{ki} (g) ,
 +
$$
 +
$$
 +
=   1 \dots r ;    j  =  1 \dots n ,
 +
$$
 +
that satisfies the initial conditions $  f _{j} ( e ,\  x ) = x $ ,
 +
$  j = 1 \dots n $ .
  
Lie's first theorem establishes that the functions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058760/l05876018.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058760/l05876019.png" />, which define the action of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058760/l05876020.png" /> are themselves defined by some auxiliary system of analytic functions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058760/l05876021.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058760/l05876022.png" />, on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058760/l05876023.png" /> which satisfy the condition
 
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058760/l05876024.png" /></td> <td valign="top" style="width:5%;text-align:right;">(3)</td></tr></table>
+
Lie's second theorem describes the properties of the functions $  \xi _{ij} (x) $
 +
and $  \psi _{ki} (x) $ .  
 +
Namely, the $  \xi _{ij} (x) $
 +
satisfy the system of equations$$ \tag{5}
 +
\sum _{k=1} ^ n
 +
\left (
 +
\xi _{ik}
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058760/l05876025.png" /> is the [[Kronecker symbol|Kronecker symbol]]. More precisely, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058760/l05876026.png" /> is the matrix of the differential of the right translation of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058760/l05876027.png" /> by the element <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058760/l05876028.png" /> at the point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058760/l05876029.png" />, and the system of functions (1) is precisely the solution of the system of equations
+
\frac{\partial \xi _{jl}}{\partial x _{k}}
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058760/l05876030.png" /></td> <td valign="top" style="width:5%;text-align:right;">(4)</td></tr></table>
+
- \xi _{jk}
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058760/l05876031.png" /></td> </tr></table>
+
\frac{\partial \xi _{il}}{\partial x _{k}}
  
that satisfies the initial conditions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058760/l05876032.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058760/l05876033.png" />.
+
\right )
 +
  =   \sum _{k=1} ^ r
 +
c _{ij} ^{k} \xi _{kl} ,
 +
$$
 +
$$
 +
1  \leq  i ,\  j  \leq  r ,  1  \leq  l   \leq  n
 +
$$ (
 +
this system is the condition that the system (4) is integrable), and the functions $  \psi _{ki} (g) $
 +
satisfy the system of equations$$
  
Lie's second theorem describes the properties of the functions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058760/l05876034.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058760/l05876035.png" />. Namely, the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058760/l05876036.png" /> satisfy the system of equations
+
\frac{\partial \psi _{kl}}{\partial g _{m}}
 +
-
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058760/l05876037.png" /></td> <td valign="top" style="width:5%;text-align:right;">(5)</td></tr></table>
+
\frac{\partial \psi _{km}}{\partial g _{l}}
 +
  =
 +
\sum _ {i , j = 1} ^ r
 +
c _{ji} ^{k} \psi _{im} \psi _{jl} , 
 +
1  \leq  k ,\  l ,\  m  \leq  r ,
 +
$$
 +
where the $  c _{ij} ^{k} $
 +
are certain constants. The relations (5) imply that the commutator ([[Lie bracket|Lie bracket]]) $  [ X _{i} ,\  X _{j} ] $
 +
of two vector fields $  X _{i} $
 +
and $  X _{j} $
 +
is a linear combination of the fields $  X _{1} \dots X _{r} $
 +
with constant coefficients:$$ \tag{6}
 +
[ X _{i} ,\  X _{j} ]  = 
 +
\sum _{k=1} ^ r
 +
c _{ij} ^{k} X _{k} ,
 +
$$
 +
that is, the linear hull $  \mathfrak g $
 +
of the fields $  X _{1} \dots X _{r} $
 +
is an algebra with respect to the Lie bracket.
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058760/l05876038.png" /></td> </tr></table>
+
The converse of Lie's first and second theorems is the following: If the functions $  f _{1} \dots f _{n} $
 +
give a solution of (4) in which the matrix $  \| \xi _{ij} \| $
 +
has maximal rank and if (3) and (5) are satisfied, then (1) determines a local effective Lie transformation group. This local group is generated by the one-parameter transformation groups given by (2).
  
(this system is the condition that the system (4) is integrable), and the functions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058760/l05876039.png" /> satisfy the system of equations
+
Lie's third theorem asserts that the constants $  c _{ij} ^{k} $
 +
satisfy the following relations:$$ \tag{7}
 +
\left .
 +
\begin{array}{c}
 +
c _{ij} ^{k}  =  - c _{ji} ^{k} ,  \\
 +
\sum _{l=1} ^ r
 +
( c _{il} ^{m} c _{jk} ^{l} +
 +
c _{kl} ^{m} c _{ij} ^{l} +
 +
c _{jl} ^{m} c _{ki} ^{l} )  =  0 , 
 +
1 \leq i ,\  j ,\  k ,\  l ,\  m \leq r ,  \\
 +
\end{array}
 +
\right \}
 +
$$
 +
that is, $  \mathfrak g $
 +
is a Lie algebra. The converse of the third theorem is important: If the $  c _{ij} ^{k} $
 +
are any constants satisfying (7), then there is a system of vector fields $  X _{1} \dots X _{r} $
 +
satisfying (6), and these vector fields arise by means of the construction described above from some local Lie transformation group (in other words, every finite-dimensional Lie algebra is the Lie algebra of some local Lie transformation group). Lie's third theorem is sometimes (see , for example) taken to be the assertion about the existence, for every finite-dimensional Lie algebra $  \mathfrak g $
 +
over $  \mathbf R $
 +
or $  \mathbf C $ ,
 +
of a global Lie group with Lie algebra $  \mathfrak g $ (
 +
see [[Lie algebra of an analytic group|Lie algebra of an analytic group]]).
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058760/l05876040.png" /></td> </tr></table>
+
Lie's theorem on solvable Lie algebras: Let $  \phi $
 
+
be a [[Linear representation|linear representation]] of a finite-dimensional solvable Lie algebra (cf. [[Lie algebra, solvable|Lie algebra, solvable]]) $  \mathfrak b $
where the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058760/l05876041.png" /> are certain constants. The relations (5) imply that the commutator ([[Lie bracket|Lie bracket]]) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058760/l05876042.png" /> of two vector fields <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058760/l05876043.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058760/l05876044.png" /> is a linear combination of the fields <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058760/l05876045.png" /> with constant coefficients:
+
in a vector space $  V $
 
+
over an algebraically closed field of characteristic 0; then there is a basis of $  V $
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058760/l05876046.png" /></td> <td valign="top" style="width:5%;text-align:right;">(6)</td></tr></table>
+
in which all the operators $  X $
 
+
of $  \phi ( \mathfrak b ) $
that is, the linear hull <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058760/l05876047.png" /> of the fields <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058760/l05876048.png" /> is an algebra with respect to the Lie bracket.
+
are written as upper triangular matrices. A similar assertion is true for a linear continuous representation of a connected topological solvable group in a finite-dimensional complex vector space (the group-theoretic analogue of Lie's theorem); the assumption that the group is connected is essential. A version of the group-theoretic analogue of Lie's theorem is known as the [[Lie–Kolchin theorem|Lie–Kolchin theorem]].
 
 
The converse of Lie's first and second theorems is the following: If the functions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058760/l05876049.png" /> give a solution of (4) in which the matrix <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058760/l05876050.png" /> has maximal rank and if (3) and (5) are satisfied, then (1) determines a local effective Lie transformation group. This local group is generated by the one-parameter transformation groups given by (2).
 
 
 
Lie's third theorem asserts that the constants <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058760/l05876051.png" /> satisfy the following relations:
 
 
 
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058760/l05876052.png" /></td> <td valign="top" style="width:5%;text-align:right;">(7)</td></tr></table>
 
 
 
that is, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058760/l05876053.png" /> is a Lie algebra. The converse of the third theorem is important: If the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058760/l05876054.png" /> are any constants satisfying (7), then there is a system of vector fields <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058760/l05876055.png" /> satisfying (6), and these vector fields arise by means of the construction described above from some local Lie transformation group (in other words, every finite-dimensional Lie algebra is the Lie algebra of some local Lie transformation group). Lie's third theorem is sometimes (see , for example) taken to be the assertion about the existence, for every finite-dimensional Lie algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058760/l05876056.png" /> over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058760/l05876057.png" /> or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058760/l05876058.png" />, of a global Lie group with Lie algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058760/l05876059.png" /> (see [[Lie algebra of an analytic group|Lie algebra of an analytic group]]).
 
 
 
Lie's theorem on solvable Lie algebras: Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058760/l05876060.png" /> be a [[Linear representation|linear representation]] of a finite-dimensional solvable Lie algebra (cf. [[Lie algebra, solvable|Lie algebra, solvable]]) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058760/l05876061.png" /> in a vector space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058760/l05876062.png" /> over an algebraically closed field of characteristic 0; then there is a basis of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058760/l05876063.png" /> in which all the operators <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058760/l05876064.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058760/l05876065.png" /> are written as upper triangular matrices. A similar assertion is true for a linear continuous representation of a connected topological solvable group in a finite-dimensional complex vector space (the group-theoretic analogue of Lie's theorem); the assumption that the group is connected is essential. A version of the group-theoretic analogue of Lie's theorem is known as the [[Lie–Kolchin theorem|Lie–Kolchin theorem]].
 
  
 
====References====
 
====References====

Latest revision as of 10:21, 16 December 2019

Lie's theorem is one of the three classical theorems in the theory of Lie groups that describe the connection between a local Lie group (cf. Lie group, local) and its Lie algebra. Lie's theorems are the foundations of the theory developed in the 19th century by S. Lie and his school (see ).

Let $ G $ be an $ r $ - dimensional real effective local Lie transformation group of a domain $ \Omega \subset \mathbf R ^{n} $ , let $ e $ be the identity of $ G $ and suppose that in local coordinates in a neighbourhood of the set $ \{ e \} \times \Omega $ in $ G \times \Omega $ the action of $ G $ on $ \Omega $ is given by a system of analytic functions$$ \tag{1} y _{i} = f _{i} ( g _{1} \dots g _{r} ; \ x _{1} \dots x _{n} ) , i = 1 \dots n , $$ where $ g = ( g _{1} \dots g _{r} ) \in G $ , $ x = ( x _{1} \dots x _{n} ) \in \Omega $ and $ g (x) = y = ( y _{1} \dots y _{n} ) \in \Omega $ . This action defines $ r $ analytic vector fields on $ \Omega $ , $$ \tag{2} X _{i} = \sum _{j=1} ^ n \xi _{ij} (x) \frac \partial {\partial x _{j}} , i = 1 \dots r , $$ where $ \xi _{ij} (x) = {\partial f _{j}} / {\partial g _{i}} ( e ,\ x) $ .


Lie's first theorem establishes that the functions $ f _{j} $ , $ j = 1 \dots n $ , which define the action of $ G $ are themselves defined by some auxiliary system of analytic functions $ \psi _{ki} (g) $ , $ k ,\ i = 1 \dots r $ , on $ G $ which satisfy the condition$$ \tag{3} \psi _{ki} (e) = \delta _{ki} , $$ where $ \delta _{ki} $ is the Kronecker symbol. More precisely, $ ( \psi _{ki} (g) ) $ is the matrix of the differential of the right translation of $ G $ by the element $ g ^{-1} $ at the point $ g $ , and the system of functions (1) is precisely the solution of the system of equations$$ \tag{4} \frac{\partial f _{j}}{\partial g _{i}} ( g ,\ x ) = \sum _{k=1} ^ r \xi _{kj} ( f ( g ,\ x ) ) \psi _{ki} (g) , $$ $$ i = 1 \dots r ; j = 1 \dots n , $$ that satisfies the initial conditions $ f _{j} ( e ,\ x ) = x $ , $ j = 1 \dots n $ .


Lie's second theorem describes the properties of the functions $ \xi _{ij} (x) $ and $ \psi _{ki} (x) $ . Namely, the $ \xi _{ij} (x) $ satisfy the system of equations$$ \tag{5} \sum _{k=1} ^ n \left ( \xi _{ik} \frac{\partial \xi _{jl}}{\partial x _{k}} - \xi _{jk} \frac{\partial \xi _{il}}{\partial x _{k}} \right ) = \sum _{k=1} ^ r c _{ij} ^{k} \xi _{kl} , $$ $$ 1 \leq i ,\ j \leq r , 1 \leq l \leq n $$ ( this system is the condition that the system (4) is integrable), and the functions $ \psi _{ki} (g) $ satisfy the system of equations$$ \frac{\partial \psi _{kl}}{\partial g _{m}} - \frac{\partial \psi _{km}}{\partial g _{l}} = \sum _ {i , j = 1} ^ r c _{ji} ^{k} \psi _{im} \psi _{jl} , 1 \leq k ,\ l ,\ m \leq r , $$ where the $ c _{ij} ^{k} $ are certain constants. The relations (5) imply that the commutator (Lie bracket) $ [ X _{i} ,\ X _{j} ] $ of two vector fields $ X _{i} $ and $ X _{j} $ is a linear combination of the fields $ X _{1} \dots X _{r} $ with constant coefficients:$$ \tag{6} [ X _{i} ,\ X _{j} ] = \sum _{k=1} ^ r c _{ij} ^{k} X _{k} , $$ that is, the linear hull $ \mathfrak g $ of the fields $ X _{1} \dots X _{r} $ is an algebra with respect to the Lie bracket.

The converse of Lie's first and second theorems is the following: If the functions $ f _{1} \dots f _{n} $ give a solution of (4) in which the matrix $ \| \xi _{ij} \| $ has maximal rank and if (3) and (5) are satisfied, then (1) determines a local effective Lie transformation group. This local group is generated by the one-parameter transformation groups given by (2).

Lie's third theorem asserts that the constants $ c _{ij} ^{k} $ satisfy the following relations:$$ \tag{7} \left . \begin{array}{c} c _{ij} ^{k} = - c _{ji} ^{k} , \\ \sum _{l=1} ^ r ( c _{il} ^{m} c _{jk} ^{l} + c _{kl} ^{m} c _{ij} ^{l} + c _{jl} ^{m} c _{ki} ^{l} ) = 0 , 1 \leq i ,\ j ,\ k ,\ l ,\ m \leq r , \\ \end{array} \right \} $$ that is, $ \mathfrak g $ is a Lie algebra. The converse of the third theorem is important: If the $ c _{ij} ^{k} $ are any constants satisfying (7), then there is a system of vector fields $ X _{1} \dots X _{r} $ satisfying (6), and these vector fields arise by means of the construction described above from some local Lie transformation group (in other words, every finite-dimensional Lie algebra is the Lie algebra of some local Lie transformation group). Lie's third theorem is sometimes (see , for example) taken to be the assertion about the existence, for every finite-dimensional Lie algebra $ \mathfrak g $ over $ \mathbf R $ or $ \mathbf C $ , of a global Lie group with Lie algebra $ \mathfrak g $ ( see Lie algebra of an analytic group).

Lie's theorem on solvable Lie algebras: Let $ \phi $ be a linear representation of a finite-dimensional solvable Lie algebra (cf. Lie algebra, solvable) $ \mathfrak b $ in a vector space $ V $ over an algebraically closed field of characteristic 0; then there is a basis of $ V $ in which all the operators $ X $ of $ \phi ( \mathfrak b ) $ are written as upper triangular matrices. A similar assertion is true for a linear continuous representation of a connected topological solvable group in a finite-dimensional complex vector space (the group-theoretic analogue of Lie's theorem); the assumption that the group is connected is essential. A version of the group-theoretic analogue of Lie's theorem is known as the Lie–Kolchin theorem.

References

[1] S. Lie, F. Engel, "Theorie der Transformationsgruppen" , 1–3 , Leipzig (1888–1893) MR1510035 Zbl 50.0002.01 Zbl 53.0026.07 Zbl 25.0626.01 Zbl 25.0623.01 Zbl 23.0376.01 Zbl 22.0372.01 Zbl 23.0364.01 Zbl 20.0368.01 Zbl 21.0356.02 Zbl 16.0326.01 Zbl 12.0292.01 Zbl 11.0258.02 Zbl 10.0260.01 Zbl 10.0258.01
[2] N. Bourbaki, "Elements of mathematics. Lie groups and Lie algebras" , Addison-Wesley (1975) (Translated from French) MR0682756 Zbl 0319.17002
[3] L.S. Pontryagin, "Topological groups" , Princeton Univ. Press (1958) (Translated from Russian) MR0201557 Zbl 0022.17104
[4] J.-P. Serre, "Lie algebras and Lie groups" , Benjamin (1965) (Translated from French) MR0218496 Zbl 0132.27803
[5] C. Chevalley, "Théorie des groupes de Lie" , 3 , Hermann (1955) MR0068552 Zbl 0186.33104 Zbl 0054.01303 Zbl 0063.00843
[6] N.G. Chebotarev, "The theory of Lie groups" , Moscow-Leningrad (1940) (In Russian)


Comments

For part 1) of the main article above see also Frobenius theorem on Pfaffian systems.

References

[a1] A. Borel, "Linear algebraic groups" , Benjamin (1969) MR0251042 Zbl 0206.49801 Zbl 0186.33201
[a2] V.S. Varadarajan, "Lie groups, Lie algebras, and their representations" , Prentice-Hall (1974) MR0376938 Zbl 0371.22001
[a3] S. Helgason, "Differential geometry, Lie groups, and symmetric spaces" , Acad. Press (1978) pp. 121 MR0514561 Zbl 0451.53038
How to Cite This Entry:
Lie theorem. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Lie_theorem&oldid=44253
This article was adapted from an original article by V.L. Popov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article