Vous êtes sur la page 1sur 6

Grupo de Lie

De Wikipedia, la enciclopedia libre

En matemtica, un grupo de Lie (nombrado as en honor


de Sophus Lie) es una variedad diferenciable real o
compleja que es tambin un grupo tal que las operaciones
de grupo (multiplicacin e inversin) son funciones
diferenciables o analticas, segn el caso. Los grupos de Lie
son importantes en anlisis matemtico, fsica y geometra
porque sirven para describir la simetra de estructuras
analticas. Fueron introducidos por Sophus Lie en 1870
para estudiar simetras de ecuaciones diferenciales.

Mientras que el espacio eucldeo Rn es un grupo de Lie real es un ejemplo de grupo de Lie homeomorfo al
(con la adicin ordinaria de vectores como operacin de toro .
grupo), ejemplos ms tpicos son algunos grupos de
matrices inversibles (con la multiplicacin de matrices como operacin), por ejemplo el grupo SO(3) de todas
las rotaciones en el espacio de 3 dimensiones. Vase abajo para una lista ms completa de ejemplos.

ndice
1 Tipos de grupos de Lie
2 Homomorfismos e isomorfismos
3 El lgebra de Lie asociada a un grupo de Lie
4 Lista de algunos grupos de Lie reales y de sus lgebras de Lie
5 Lista de algunos grupos de Lie complejos y de sus lgebras de Lie
6 Lista de algunos grupos de Lie de dimensin infinita
7 Referencias
8 Vase tambin

Tipos de grupos de Lie


Se clasifican los grupos de Lie con respecto a sus propiedades algebraicas (simple, semisimple, resoluble,
nilpotente, abeliano), su conexidad (conexo o no conexo) y su compacidad.

Homomorfismos e isomorfismos
Si G y H son grupos de Lie (reales o complejos ambos), entonces un morfismo de grupos de Lie f: G H es
un homomorfismo de grupos que es tambin una funcin diferenciable o analtica. (Se puede demostrar que es
equivalente a requerir solamente que sea funcin continua.) La composicin de dos tales homomorfismos es
otra vez un homomorfismo, y la clase de todos los grupos de Lie (reales o complejos), junto con estos
morfismos, forma una categora. Dos grupos de Lie se dicen isomorfos si existe un homomorfismo biyectivo
entre ellos cuyo inverso es tambin un homomorfismo.

El lgebra de Lie asociada a un grupo de Lie


A cada grupo de Lie, podemos asociar un lgebra de Lie que captura totalmente la estructura local del grupo.
Esto se hace como sigue. Un campo vectorial en un grupo de Lie G se dice invariante por la izquierda si
verifica lo siguiente. Defina Lg(x) = gx, donde g, x estn en G. Entonces el campo vectorial X es invariante por
la izquierda si, para cualquier funcin diferenciable o analtica f: G F (aqu F es el cuerpo R o C), se cumple
X(f Lg)=(X f)Lg, para todo g en G.

El conjunto de todos los campos vectoriales en una variedad diferenciable es un lgebra de Lie sobre F, donde
el producto es el corchete de Lie. En un grupo de Lie, los campos vectoriales invariantes por la izquierda
forman una sublgebra, el lgebra de Lie asociada a G, denotado generalmente por una g gtica ( ). Esta
lgebra de Lie g es finito-dimensional (tiene la misma dimensin que la variedad G) lo que la hace susceptible
a las tentativas de clasificacin. Clasificando g, uno puede tambin conseguir un acercamiento al grupo de Lie
G. La teora de representacin de los grupos simples de Lie es el mejor y ms importante ejemplo.

Cada homomorfismo f: G H de grupos de Lie induce un homomorfismo entre las lgebras de Lie
correspondientes g y h. La asociacin G|- > g es un funtor.

Cada vector v en g determina una lnea de flujo c: R G cuya derivada en todo punto viene dado por el campo
vectorial invariante por la izquierda correspondiente a v

y que tiene la propiedad

para todo s y t. La operacin en el lado derecho es la multiplicacin de grupo en G. La semejanza formal de


esta frmula con la que es vlida para la funcin exponencial justifica la definicin

Esta funcin exponencial es una aplicacin del lgebra de Lie g en el grupo de Lie G. Esta funcin exponencial
es una generalizacin de la funcin exponencial para los nmeros reales (puesto que R es el lgebra de Lie del
grupo de Lie de nmeros reales positivos con la multiplicacin usual), para los nmeros complejos (puesto que
C es el lgebra de Lie del grupo de Lie de nmeros complejos diferentes a cero con la multiplicacin usual) y
para las matrices (puesto que M(n, R) con el conmutador es el lgebra de Lie del grupo de Lie GL(n, R) de
todas las matrices inversibles).

La exponencial proporciona un difeomorfismo entre una vecindad de 0 en g y una vecindad de e en G. Debido


a que la funcin exponencial es sobreyectiva en alguna vecindad N de e, es comn llamar a los elementos del
lgebra de Lie generadores infinitesimales del grupo G. De hecho, el subgrupo de G generado por N ser el
grupo entero G (supuesto que G es conexo).

La funcin exponencial y el lgebra de Lie determinan la estructura de grupo local de cada grupo de Lie
conexo, debido a la frmula de Campbell-Hausdorff: existe una vecindad U del elemento cero de g, tal que para
u, v en U se tiene

donde los trminos omitidos son conocidos e implican los corchetes de Lie de cuatro o ms elementos. En caso
de que u y v conmuten, esta frmula se reduce a la ley exponencial familiar exp(v) exp(u) = exp(u + v).

La estructura global de un grupo de Lie no est totalmente determinada, en general, por su lgebra de Lie; vea
la tabla abajo con ejemplos de varios grupos de Lie que comparten la misma lgebra de Lie. Podemos decir sin
embargo que un grupo de Lie conexo es simple, semisimple, resoluble, nilpotente, o abeliano si y solamente si
su lgebra de Lie tiene la propiedad correspondiente.
Si requerimos que el grupo de Lie sea simplemente conexo, entonces la estructura global est determinada por
su lgebra de Lie: para cada lgebra de Lie g finito dimensional sobre F hay un nico (salvo isomorfismo)
grupo de Lie G simplemente conexo cuya lgebra de Lie es g. Por otra parte cada homomorfismo entre las
lgebras de Lie procede de un homomorfismo nico entre los correspondientes grupos de Lie simplemente
conexos.

Lista de algunos grupos de Lie reales y de sus lgebras de Lie


grupo de lgebra
descripcin Comentarios descripcin dim/R
Lie de Lie
espacio eucldeo abeliano, simplemente
el corchete de Lie es cero n
con adicin conexo, no compacto
nmeros reales
abeliano, no conexo,
no nulos con la el corchete de Lie es cero 1
no compacto
multiplicacin
nmeros reales
abeliano, simplemente
positivos con la el corchete de Lie es cero 1
conexo, no compacto
multiplicacin
nmeros
complejos de abeliano, conexo, no
valor absoluto 1 simplemente conexo, el corchete de Lie es cero 1
con la compacto
multiplicacin
cuaterniones no cuaterniones, con el corchete
conexo, simplemente
nulos con la de Lie dado por el 4
conexo, no compacto
multiplicacin conmutador
3-vectores reales, con el
corchete de Lie el producto
cuaterniones de simplemente conexo, vectorial; isomorfo a los
mdulo 1 con la compacto, simple y cuaterniones con parte real
semi-simple, isomorfo cero, con el corchete de Lie 3
multiplicacin,
una 3-esfera a ya dado por el conmutador
tambin isomorfo a y
a
grupo general
matrices reales n-por-n, con
lineal: matrices no conexo, no
el corchete de Lie dado por
reales n-por-n compacto
el conmutador
invertibles
matrices reales
matrices reales n-por-n, con
n-por-n con
conexo, no compacto el corchete de Lie dado por
determinante
el conmutador
positivo
grupo especial
lineal: matrices matrices reales n-por-n, con
conexo, no compacto
reales n-por-n traza 0, con el corchete de n-1
y simple si n>1
con Lie dado por el conmutador
determinante 1
grupo ortogonal: no conexo, compacto matrices reales n-por-n, n(n-1)/2
matrices reales antisimtricas, con el
n-por-n corchete de Lie dado por el
ortogonales conmutador; es
isomorfo a ya
con el producto vectorial
grupo especial
ortogonal: conexo, compacto, no matrices reales n-por-n,
matrices reales simplemente conexo antisimtricas, con el
n(n-1)/2
n-por-n si n>1, semisimple, si corchete de Lie dado por el
ortogonales con n=3 o n 5 simple conmutador
determinante 1
simplemente conexo, matrices reales n-por-n,
grupo de compacto, antisimtricas, con el
n(n-1)/2
espinores semisimple, si n=3 o n corchete de Lie dado por el
5 simple conmutador
grupo matrices reales que
simplcticoreal: T
no compacto, simple y satisfacen JA + A J = 0 n(2n +
matrices
semisimple donde J es la matriz anti- 1)
simplcticas
simtrica estndar
reales
grupo matrices cuaterninicas
compacto,
simplctico: cuadradas A satisfaciendo A n(2n +
simplemente conexo,
matrices
simple y semisimple = A*, con el corchete de Lie 1)
unitarias n-por-n
si n>0 dado por el conmutador
cuaterninicas
isomorfo a S para
n=1, no simplemente matrices complejas n-por-n,
grupo unitario:
conexo para n>0,
matrices
compacto. Nota: este que cumplen A = -A*, con el n(n-1)/2 n
complejas n- corchete de Lie dado por el
no es un grupo/
por-n unitarias conmutador
lgebra de Lie
complejo
grupo especial
simplemente conexo,
unitario: matrices complejas ,
compacto y si n 2,
matrices *
simple y semisimple. que cumplen A = -A con
complejas n- n-1
Nota: este no es un traza 0, con el corchete de
por-n unitarias
grupo/lgebra de Lie Lie dado por el conmutador
con
complejo
determinante 1

Lista de algunos grupos de Lie complejos y de sus lgebras de Lie


grupo lgebra
descripcin Comentarios descripcin dim/C
de Lie de Lie
espacio eucldeo con abeliano, simplemente
Cn Cn el corchete de Lie es cero n
adicin conexo, no compacto
nmeros complejos no abeliano, conexo, no
C nulos con la simplemente conexo, no C el corchete de Lie es cero 1
multiplicacin compacto
grupo general lineal: matrices complejas n-por-
GL(n, simplemente conexo, no M(n,
matrices complejas n-por- n, con el corchete de Lie n
C) compacto C)
n inversibles dado por el conmutador
SL(n, grupo especial lineal simple y semisimple, sl(n, C) matrices complejas n-por- n-1
C) complejo: matrices simplemente conexo si n, con traza 0, con el
complejas n-por-n con n>1, no compacto corchete de Lie dado por
determinante 1 el conmutador
matrices complejas n-por-
grupo ortogonal: matrices
O(n, so(n, n, antisimtricas, con el
complejas n-por-n no conexo n>1, compacto n(n-1)/2
C) C) corchete de Lie dado por
ortogonales
el conmutador
grupo especial ortogonal: conexo, no compacto, no matrices complejas n-por-
SO(n, matrices complejas n-por- simplemente conexo si so(n, n, antisimtricas, con el
n(n-1)/2
C) n ortogonales con n>1, si n=3 o n 5 simple y C) corchete de Lie dado por
determinante 1 semisimple el conmutador
matrices complejas que
grupo simplctico:
Sp(2n, no compacto, simple y sp(2n, satisfacen JA + ATJ = 0 n(2n +
matrices simplcticas
C) semisimple C) donde J es la matriz anti- 1)
complejas
simtrica estndar

Lista de algunos grupos de Lie de dimensin infinita


grupo de lgebra de
descripcin Comentarios descripcin dim/R
Lie Lie
no abeliano
Difeomorfismos de Campos vectoriales
de en relatividad
sobre
general
Difeomorfismos de
no abeliano Campos vectoriales
de utilidad en sobre
que conservan el
hidrodinmica con divergencia nula
volumen

Referencias
Adams, John Frank (1969), Lectures on Lie Groups, Chicago Lectures in Mathematics, Chicago: Univ. of
Chicago Press, ISBN 0-226-00527-5.
Hall, Brian C. (2003), Lie Groups, Lie Algebras, and Representations: An Elementary Introduction,
Springer, ISBN 0-387-40122-9.
Serre, Jean-Pierre (1965), Lie Algebras and Lie Groups: 1964 Lectures given at Harvard University,
Lecture notes in mathematics 1500, Springer, ISBN 3-540-55008-9.
Lie Groups. Representation Theory and Symmetric Spaces Wolfgang Ziller, Vorlesung 2010

Vase tambin
E8 (matemticas)
Una teora del todo excepcionalmente simple
lgebra de Virasoro
lgebra de Witt

Obtenido de https://es.wikipedia.org/w/index.php?title=Grupo_de_Lie&oldid=94937225

Categoras: Grupos de Lie Simetra Variedad

Se edit esta pgina por ltima vez el 11 nov 2016 a las 17:06.
El texto est disponible bajo la Licencia Creative Commons Atribucin Compartir Igual 3.0; pueden
aplicarse clusulas adicionales. Al usar este sitio, usted acepta nuestros trminos de uso y nuestra poltica
de privacidad.
Wikipedia es una marca registrada de la Fundacin Wikimedia, Inc., una organizacin sin nimo de
lucro.