Vous êtes sur la page 1sur 3

Grupo de Lie

una categora. Dos grupos de Lie se dicen isomorfos si


existe un homomorsmo biyectivo entre ellos cuyo inverso es tambin un homomorsmo. Los grupos de Lie isomorfos no necesitan, para cualquier propsito prctico,
ser distinguidos; se diferencian solamente en la notacin
de sus elementos.

3 El lgebra de Lie asociada a un


grupo de Lie
El toro es un ejemplo de grupo de Lie homeomorfo a S 1 S 1 .

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 conmuta con
la traslacin izquierda, que signica lo siguiente. Dena
Lg[f](x) = f(gx) para cualquier funcin diferenciable o
analtica f: G F y todo g, x en G (aqu F es el cuerpo
R o C). entonces el campo vectorial X es invariante por
la izquierda si X Lg = Lg X para todo g en G.

En matemtica, un grupo de Lie (nombrado as por


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.

El conjunto de todos los campos vectoriales en una variedad diferenciable es un lgebra de Lie sobre F. 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 ( g ). Esta
lgebra de Lie g es nito-dimensional (tiene la misma dimensin que la variedad G) lo que la hace susceptible a
las tentativas de clasicacin. Clasicando g, uno puede
tambin conseguir un acercamiento al grupo de Lie G. La
teora de representacin de los grupos simples de Lie son
el mejor y ms importante ejemplo.

Mientras que el espacio eucldeo Rn es un grupo de Lie


real (con la adicin ordinaria de vectores como operacin
de grupo), ejemplos ms tpicos son grupos de matrices
inversibles (multiplicacin de matrices), 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.

Tipos de grupos de Lie

Cada elemento v del espacio tangente TeG en el elemento


identidad e de G determina un campo vectorial invariante
por la izquierda nico cuyo valor en el elemento x de G es
denotado xv; el espacio vectorial subyacente a g se puede
por lo tanto identicar con TeG. la estructura del lgebra
de Lie en TeG puede tambin ser descrita como sigue: la
operacin del conmutador

Se clasican los grupos de Lie con respecto a sus


propiedades algebraicas (simple, semisimple, resoluble,
nilpotente, abeliano), su conexidad (conexo o no conexo)
y su compacidad.

Homomorsmos e isomorsmos
(x, y) > xyx1 y 1

Si G y H son grupos de Lie (reales o complejos ambos),


entonces un morsmo de grupos de Lie f: G H es un
homomorsmo de grupo 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 homomorsmos es otra vez
un homomorsmo, y la clase de todos los grupos de Lie
(reales o complejos), junto con estos morsmos, forma

en G x G enva (e, e) a e, as que su derivada da una


operacin bilineal en TeG. resulta que esta operacin bilineal satisface los axiomas de un corchete de Lie, y es
igual al que es denido a travs de campos vectoriales
invariantes por la izquierda.
Cada vector v en g determina una funcin c: R G cuya
1

VASE TAMBIN

derivada en todo punto viene dado por el campo vectorial resoluble, nilpotente, o abeliano si y solamente si su lgeinvariante por la izquierda correspondiente
bra de Lie tiene la propiedad correspondiente.

c(t) = c(t)v
y que tiene la propiedad

c(s + t) = c(s)c(t)
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
justica la denicin

exp(v) = c(1)
esto se llama la funcin exponencial, y mapea el lgebra de Lie g en el grupo de Lie G. Proporciona un
difeomorsmo entre una vecindad de 0 en g y una vecindad de e en 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 regular es el lgebra de
Lie del grupo de Lie GL(n, R) de todas las matrices inversibles).
Porque la funcin exponencial es suryectiva en alguna vecindad N de e, es comn llamar a los elementos del lgebra de Lie generadores innitesimales del grupo G. De
hecho, el subgrupo de G generado por N ser el grupo
entero G solamente cuando G sea 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-Hausdor: existe una
vecindad U del elemento cero de g, tal que para u, v en U
se tiene

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 nito dimensional sobre F hay un nico (mdulo un isomorsmo) grupo
de Lie G simplemente conexo con g como lgebra de Lie.
Por otra parte cada homomorsmo entre las lgebras de
Lie se eleva a un homomorsmo nico entre los correspondientes grupos de Lie simplemente conexos.

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 innita
7 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

exp(u) exp(v) = exp(u + v + 1/2[u, v] +


1/12[[u, v], v] 1/12[[u, v], u] . . . )
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).
Cada homomorsmo f: G H de los grupos de Lie induce un homomorsmo entre las lgebra de Lie correspondientes g y h. la asociacin G|- > g es un funtor. La estructura global de un grupo de Lie no est totalmente determinada, en general, por su lgebra de Lie; vea la tabla abajo
para los ejemplos de grupos de Lie diversos que comparten la misma lgebra de Lie. Podemos decir sin embargo que un grupo de Lie conexo es simple, semisimple,

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

Text and image sources, contributors, and licenses

9.1

Text

Grupo de Lie Fuente: http://es.wikipedia.org/wiki/Grupo%20de%20Lie?oldid=78185511 Colaboradores: Joseaperez, DefLog, Sms, Renabot, Rembiapo pohyiete (bot), RobotQuistnix, Yrbot, YurikBot, GermanX, KnightRider, C-3POrao, Eskimbot, Jos., Er Komandante,
Juan Marquez, CEM-bot, Daniel De Leon Martinez, Davius, Ingenioso Hidalgo, Thijs!bot, JAnDbot, Wybot, TXiKiBoT, Tirabo, Alesico, Muro Bot, YonaBot, Gato ocioso, Leonpolanco, Artra, Juan Mayordomo, MastiBot, Luckas-bot, Amirobot, Xtquique, Nallimbot,
Txebixev, ArthurBot, Alex degarate, RedBot, Alpha carinae, Elas, Kasirbot, Bibliolotranstornado, Acratta, Elvisor, RuHouse'ls, Addbot
y Annimos: 8

9.2

Images

Archivo:ToricCodeTorus.png Fuente: http://upload.wikimedia.org/wikipedia/commons/d/d2/ToricCodeTorus.png Licencia: CC BY 3.0


Colaboradores: Trabajo propio Artista original: Woottonjames

9.3

Content license

Creative Commons Attribution-Share Alike 3.0

Vous aimerez peut-être aussi