Vous êtes sur la page 1sur 3

lgebra de Lie

En matemtica, un lgebra de Lie es la estructura alge- Inversamente, puede ser demostrado que cada lge-
braica denida sobre un espacio vectorial, asociada usual- bra de Lie se puede sumergir en otra que surja de un
mente a los grupos de Lie y usadas en el estudio geomtri- lgebra asociativa de esa manera.
co de esos los propios grupos y de otras variedades dife-
Otro ejemplo importante viene de la topologa di-
renciables. El trmino "lgebra de Lie (referido a Sophus
ferencial: los campos vectoriales en una variedad
Lie) fue creado por Hermann Weyl en la dcada de 1930,
diferenciable forman un lgebra de Lie de dimen-
para lo que se denominaba grupo innitesimal.
sin innita. Estos campos vectoriales actan co-
Si un grupo de Lie puede interpretarse en fsica como un mo operadores diferenciales sobre las funciones di-
grupo de transformaciones sobre una variedad diferencia- ferenciables sobre la variedad. Dados dos campos
ble el lgebra de Lie fsicamente puede concebirse como vectoriales X e Y, el corchete de Lie [X,Y ] se dene
un conjunto de transformaciones innitesimales. 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, En el caso de una variedad que sea un grupo de Lie
z] y [z, a x + b y] = a [z, x] + b [z, y] para todo a, b G a su vez, un subespacio de los campos vectoriales
en F y todo x, y, z en a . queda inalterado por las transformaciones dadas por
el propio grupo, en el sentido de que en cada punto
satisface la identidad de Jacobi, es decir, [[x, y], z] g del mismo, el campo no es ms que:
+ [[z, x], y] + [[y, z], x] = 0 para todo x, y, z en a .
X(g) = dlg (X(e))
[x, x] = 0 para todo x en a .
Este subespacio es de dimensin nita (e igual a la del
Observe que la primera propiedad y la tercera juntas im- grupo), dado que se corresponde con el espacio tangente
plican [x, y] = [y, x] para todo x, y en a (anti-simetra) en la identidad. Adems hereda la estructura de lgebra
si el cuerpo F es de caracterstica diferente de dos. Ob- de Lie denida en el punto anterior, y se le denomina el
serve tambin que la multiplicacin representada por el lgebra de Lie asociada al grupo G .
corchete de Lie no es, en general, asociativa, es decir, [[x,
y], z] no necesariamente es igual a [x, [y, z]]. 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
1.1 Ejemplos matriz identidad se puede identicar con el espacio
de todas las matrices reales n n con traza 0 y la
Cada espacio vectorial se convierte en un lgebra de estructura de lgebra de Lie que viene del grupo de
Lie abeliana trivial si denimos el corchete de Lie Lie coincide con el que surge del conmutador de la
como idnticamente cero. multiplicacin de matrices.
El espacio eucldeo R3 se convierte en un lgebra
de Lie con el corchete de Lie dado por el producto
vectorial. 2 Homomorsmos, sublgebras e
Si se da un lgebra asociativa A con la multiplicacin ideales
* , 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 -

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