lgebra de Lie
lgebra de Lie
En matemtica, un lgebra de Lie es la estructura algebraica definida sobre un espacio vectorial, asociada usualmente a los grupos de Lie y usadas en el estudio geomtrico de esos los propios grupos y de otras variedades diferenciables. 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 infinitesimal". Si un grupo de Lie puede interpretarse en fsica como un grupo de transformaciones sobre una variedad diferenciable el lgebra de Lie fsicamente puede concebirse como un conjunto de transformaciones infinitesimales.
Definicin
Un lgebra de Lie A es un espacio vectorial sobre un cierto cuerpo F junto con una operacin binaria [,] : A A -> A, llamada corchete de Lie, que satisface las propiedades siguientes: 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 implican [x, y] = [y, x] para todo x, y en A ("anti-simetra") si el cuerpo F es de caracterstica diferente de dos. Observe 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]].
Ejemplos
Cada espacio vectorial se convierte en un lgebra de Lie abeliana trivial si definimos el corchete de Lie como idnticamente cero. El espacio eucldeo 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 definiendo [x,y] = x*yy*x. esta expresin se llama el conmutador de x e y. Inversamente, puede ser demostrado que cada lgebra de Lie se puede sumergir en otra que surja de un lgebra asociativa de esa manera. Otro ejemplo importante viene de la topologa diferencial: los campos vectoriales en una variedad diferenciable forman un lgebra de Lie de dimensin infinita. Estos campos vectoriales actan como operadores diferenciales sobre las funciones diferenciables sobre la variedad. Dados dos campos vectoriales X e Y, el corchete de Lie se define como:
y puede comprobarse que este operador corresponde a un campo vectorial. Las generalizaciones adecuadas de la teora de variedades al caso de dimensin infinita muestra que este lgebra de Lie es ala asociada (ver siguiente punto) al grupo de Lie de los difeomorfismos de la variedad. En el caso de una variedad que sea un grupo de Lie campo no es ms que: a su vez, un subespacio de los campos vectoriales queda del mismo, el inalterado por las transformaciones dadas por el propio grupo, en el sentido de que en cada punto
Este subespacio es de dimensin finita (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 definida en el punto anterior, y se le denomina el lgebra de Lie asociada al grupo .
lgebra de Lie Como ejemplo concreto, consideremos el grupo de Lie SL(n, R) de todas las matrices con valores reales
y determinante 1. El espacio tangente en la matriz identidad se puede identificar con el espacio de todas las matrices reales 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.
Homomorfismos, sublgebras e ideales
Un homomorfismo : A -> B entre las lgebra de Lie A y B sobre el mismo cuerpo de base F es una funcin F-lineal tal que [(x),(y)] =([x, y]) para todo x y y en A. La composicin de tales homomorfismos es otra vez un homomorfismo, y las lgebras de Lie sobre el cuerpo F, junto con estos morfismos, forman una categora. Si tal homomorfismo es biyectivo, se llama un isomorfismo, y las dos lgebras de Lie A y B se llaman isomorfas. Para todos los efectos prcticos, las lgebras de Lie isomorfas son idnticas. Una subalgebra del lgebra de Lie A es un subespacio vectorial B de A tal que [x, y] B para todo x, y B. i.e. [B, B] B. La subalgebra es entonces un lgebra de Lie. Un ideal del lgebra de Lie A es un subespacio vectorial I de A tales que [a, y ] I para toda a A y y I. i.e. [A, I] I. Todos los ideales son subalgebras. Si I es un ideal de A, entonces el espacio cociente A/I se convierte en una lgebra de Lie definiendo [x + I, y + I] = [x, y] + I para todo x, y A. Los ideales son precisamente los ncleos de homomorfismos, y el teorema fundamental de homomorfismos es vlido para las lgebras de Lie.
Clasificacin de las lgebras de Lie
Las lgebras de Lie reales y complejas se pueden clasificar hasta un cierto grado, y esta clasificacin es un paso importante hacia la clasificacin de los grupos de Lie. Cada lgebra de Lie real o compleja finito-dimensional se presenta como el lgebra de Lie de un nico grupo de Lie simplemente conexo real o complejo (teorema de Ado), pero puede haber ms de un grupo, an ms de un grupo conexo, dando lugar a la misma lgebra. Por ejemplo, los grupos SO(3) (matrices ortogonales 33 de determinante 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 lgebra de Lie es nilpotente si y solo si para cada x en A, la funcin ad(x): A -> A definida 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]]] ... acaba hacindose cero. Una sublgebra soluble maximal se llama una sublgebra de Borel. Un lgebra de Lie A se llama semisimple si el nico ideal soluble de A es trivial. Equivalente, A es semisimple si y solamente si la forma de Killing K(x, y) = tr(ad(x)ad(y)) es no-degenerada; aqu tr denota el operador de traza. Cuando el cuerpo F es de caracterstica cero, A es semi-simple si y solamente si cada representacin es totalmente reducible, esto es, que para cada subespacio invariante de la representacin hay un complemento invariante (teorema de Weyl). Un lgebra de Lie es simple si no tiene ningn ideal no trivial. En particular, un lgebra de Lie simple es semi-simple, y ms generalmente, las lgebras de Lie semi-simples son suma directa de simples. Las lgebras de Lie complejas semi-simples se clasifican a travs de sus sistemas de raz.
lgebra de Lie
Enlaces externos
web en espaol con explicaciones muy detalladas de las lgebras de Lie [1]
Temas relacionados
super lgebra de Lie Algebroide de Lie lgebra de Virasoro E8 (matemticas)
Referencias
[1] http:/ / jacobi. fis. ucm. es/ marodriguez/ notas_clase/ Lie. pdf
Fuentes y contribuyentes del artculo
Fuentes y contribuyentes del artculo
lgebra de Lie Fuente: http://es.wikipedia.org/w/index.php?oldid=68872745 Contribuyentes: .Jos, Airunp, Alxromero, Ascnder, Caritdf, Cinabrium, Davius, DefLog, Drake 81, Edhardex, Farisori, Gato ocioso, GermanX, Gtz, HUB, Hikoboshi, Joseaperez, Kismalac, Prtmrz, Rosarinagazo, Sabbut, Suisui, Tostadora, Walterpfeifer, 22 ediciones annimas
Licencia
Creative Commons Attribution-Share Alike 3.0 //creativecommons.org/licenses/by-sa/3.0/
