lgebra de Lie

En matemtica, un lgebra de Lie es la estructura alge-
braica denida sobre un espacio vectorial, asociada usual-
mente a los grupos de Lie y usadas en el estudio geomtri-
co de esos los propios grupos y de otras variedades dife-
renciables. El trmino "lgebra de Lie (referido a Sophus
Lie) fue creado por Hermann Weyl en la dcada de 1930,
para lo que se denominaba grupo innitesimal.
Si un grupo de Lie puede interpretarse en fsica como un
grupo de transformaciones sobre una variedad diferencia-
ble el lgebra de Lie fsicamente puede concebirse como
un conjunto de transformaciones innitesimales.
Inversamente, puede ser demostrado que cada lge-
bra de Lie se puede sumergir en otra que surja de un
lgebra asociativa de esa manera.
Otro ejemplo importante viene de la topologa di-
ferencial: los campos vectoriales en una variedad
diferenciable forman un lgebra de Lie de dimen-
sin innita. Estos campos vectoriales actan co-
mo operadores diferenciales sobre las funciones di-
ferenciables sobre la variedad. Dados dos campos
vectoriales X e Y, el corchete de Lie [X,Y ] se dene
como:

[X, Y ] f = (XY Y X)f

1 Denicin y puede comprobarse que este operador corresponde a
un campo vectorial. Las generalizaciones adecuadas de la
Un lgebra de Lie a es un espacio vectorial sobre un cierto teora de variedades al caso de dimensin innita mues-
cuerpo F junto con una operacin binaria [, ]: aa a tra que esta lgebra de Lie es ala asociada (ver siguiente
, llamada corchete de Lie, que satisface las propiedades punto) al grupo de Lie de los difeomorsmos de la varie-
siguientes: dad.

es bilineal, es decir, [a x + b y, z] = a [x, z] + b [y,
z] y [z, a x + b y] = a [z, x] + b [z, y] para todo a, b
en F y todo x, y, z en a .
satisface la identidad de Jacobi, es decir, [[x, y], z]
+ [[z, x], y] + [[y, z], x] = 0 para todo x, y, z en a .
[x, x] = 0 para todo x en a .
Observe que la primera propiedad y la tercera juntas im-
plican [x, y] = [y, x] para todo x, y en a (anti-simetra)
si el cuerpo F es de caracterstica diferente de dos. Ob-
serve tambin que la multiplicacin representada por el
corchete de Lie no es, en general, asociativa, es decir, [[x,
y], z] no necesariamente es igual a [x, [y, z]].
1.1 Ejemplos
Cada espacio vectorial se convierte en un lgebra de
Lie abeliana trivial si denimos el corchete de Lie
como idnticamente cero.
El espacio eucldeo R3 se convierte en un lgebra
de Lie con el corchete de Lie dado por el producto
vectorial.
Si se da un lgebra asociativa A con la multiplicacin
* , se puede dar un lgebra de Lie deniendo [x, y] =
x * y y * x. esta expresin se llama el conmutador Un homomorsmo : a b entre las lgebra de Lie a
de x e y. y b sobre el mismo cuerpo de base F es una funcin F -
En el caso de una variedad que sea un grupo de Lie
G a su vez, un subespacio de los campos vectoriales
queda inalterado por las transformaciones dadas por
el propio grupo, en el sentido de que en cada punto
g del mismo, el campo no es ms que:
X(g) = dlg (X(e))
Este subespacio es de dimensin nita (e igual a la del
grupo), dado que se corresponde con el espacio tangente
en la identidad. Adems hereda la estructura de lgebra
de Lie denida en el punto anterior, y se le denomina el
lgebra de Lie asociada al grupo G .
Como ejemplo concreto, consideremos el grupo de
Lie SL(n, R) de todas las matrices nn con valores
reales y determinante 1. El espacio tangente en la
matriz identidad se puede identicar con el espacio
de todas las matrices reales n n con traza 0 y la
estructura de lgebra de Lie que viene del grupo de
Lie coincide con el que surge del conmutador de la
multiplicacin de matrices.
2 Homomorsmos, sublgebras e
ideales

1
2 5 TEMAS RELACIONADOS

lineal tal que [(x), (y)] = ([x, y]) para todo x y y en acaba hacindose cero. Una sublgebra soluble maximal
a . La composicin de tales homomorsmos es otra vez se llama una sublgebra de Borel.
un homomorsmo, y las lgebras de Lie sobre el cuerpo Un lgebra de Lie A se llama semisimple si el nico ideal
F , junto con estos morsmos, forman una categora. Si soluble de A es trivial. Equivalente, A es semisimple si y
tal homomorsmo es biyectivo, se llama un isomorsmo, solamente si la forma de Killing K(x, y) = tr(ad(x)ad(y)) es
y las dos lgebras de Lie a y b se llaman isomorfas. Para no-degenerada; aqu tr denota el operador de traza. Cuan-
todos los efectos prcticos, las lgebras de Lie isomorfas do el cuerpo F es de caracterstica cero, A es semi-simple
son idnticas. si y solamente si cada representacin es totalmente redu-
Una subalgebra del lgebra de Lie a es un subespacio vec- cible, esto es, que para cada subespacio invariante de la
torial b de a tal que [x, y] b para todo x, y b . i.e. representacin hay un complemento invariante (teorema
[b, b] b . La subalgebra es entonces un lgebra de Lie. de Weyl). Un lgebra de Lie es simple si no tiene ningn
Un ideal del lgebra de Lie A es un subespacio vectorial ideal no trivial. En particular, un lgebra de Lie simple
I de A tales que [a, y ] I para toda a A y I. i.e. es semi-simple, y ms generalmente, las lgebras de Lie
[A, I] I. Todos los ideales son subalgebras. Si I es un semi-simples son suma directa de simples. Las lgebras de
ideal de A, entonces el espacio cociente A/I se convierte Lie complejas semi-simples se clasican a travs de sus
en un lgebra de Lie deniendo [x + I, y + I] = [x, y] + sistemas de raz.
I para todo x, y A. Los ideales son precisamente los
ncleos de homomorsmos, y el teorema fundamental de
homomorsmos es vlido para las lgebras de Lie. 4 Enlaces externos
Miguel A. Rodrguez (2007) lgebras de Lie de
Universidad Complutense de Madrid.
3 Clasicacin de las lgebras de
Lie
5 Temas relacionados
Las lgebras de Lie reales y complejas se pueden clasi-
car hasta un cierto grado, y esta clasicacin es un pa- super lgebra de Lie
so importante hacia la clasicacin de los grupos de Lie.
Cada lgebra de Lie real o compleja nito-dimensional se Algebroide de Lie
presenta como el lgebra de Lie de un nico grupo de Lie lgebra de Virasoro
simplemente conexo real o complejo (teorema de Ado),
pero puede haber ms de un grupo, an ms de un grupo E8 (matemticas)
conexo, dando lugar a la misma lgebra. Por ejemplo, los
grupos SO(3) (matrices ortogonales 33 de determinan-
te 1) y SU(2) (matrices unitarias 22 de determinante 1),
ambos dan lugar a la misma lgebra de Lie, a saber R con
el producto vectorial. Un lgebra de Lie es abeliana si el
corchete de Lie se anula, es decir [x, y] = 0 para todo x e
y. Ms generalmente, un lgebra de Lie A es nilpotente si
la serie central descendente

A [A, A] [[A, A]], A] [[[A, A]], A], A]

...

acaba hacindose cero. Por el teorema de Engel, un lge-

bra de Lie es nilpotente si y solo si para cada x en A, la
funcin ad(x): A -> A denida por

ad(x)(y) = [x, y]

es nilpotente. Ms generalmente an, un lgebra de Lie

A es soluble si la serie derivada

A [A, A] [[A, A]], [A, A]] [[[A, A]],

[A, A]],[[A, A]], [A, A]]] ...
 3

6 Origen del texto y las imgenes, colaboradores y licencias

6.1 Texto
lgebra de Lie Fuente: https://es.wikipedia.org/wiki/%C3%81lgebra_de_Lie?oldid=98698108 Colaboradores: Suisui, Joseaperez, Sab-
but, DefLog, Ascnder, Sms, Tostadora, Cinabrium, Airunp, Rembiapo pohyiete (bot), Orgullobot~eswiki, RobotQuistnix, Chobot, Yrbot,
YurikBot, GermanX, C-3POrao, Gtz, Jos., CEM-bot, Hikoboshi, Davius, Rosarinagazo, Thijs!bot, Drake 81, VolkovBot, SieBot, HUB,
Gato ocioso, Farisori, AVBOT, Diegusjaimes, Luckas-bot, SassoBot, Sr. Alvaro, Kismalac, Botarel, D'ohBot, Alxromero, TobeBot, Prtmrz,
Caritdf, Walterpfeifer, Edhardex, Addbot, Rgdboer, MomijiRoBot y Annimos: 13

6.2 Imgenes

6.3 Licencia del contenido

Creative Commons Attribution-Share Alike 3.0