Académique Documents
Professionnel Documents
Culture Documents
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.
Homomorsmos e isomorsmos
(x, y) > xyx1 y 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.
8 Vase tambin
E8 (matemticas)
Una teora del todo excepcionalmente simple
lgebra de Virasoro
lgebra de Witt
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
9.3
Content license