Álgebra de Lie

Álgebra de Lie

En matemática, un álgebra de Lie es la estructura algebraica que describe un conjunto de transformaciones infinitesimales. Su uso principal reside en el estudio de objetos geométricos tales como grupos de Lie y variedades diferenciables. El término "álgebra de Lie" (referido a Sophus Lie) fue creado por Hermann Weyl en la década de 1930, para lo que se denominaba "grupo infinitesimal".

Contenido

Definición

Un álgebra de Lie A es un espacio vectorial sobre un cierto cuerpo F junto con una operación 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-simetría") si el cuerpo F es de característica diferente de dos. Observe también que la multiplicación 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 idénticamente cero.
  • Si se da un álgebra asociativa A con la multiplicación * , se puede dar un álgebra de Lie definiendo [xy] = x * y − y * x. esta expresión 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.
[X, Y] f = (XY − YX) f

y puede comprobarse que este operador corresponde a un campo vectorial. Las generalizaciones adecuadas de la teoría de variedades al caso de dimensión 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 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 más que:

X(g) = dlg(X(e))

Este subespacio es de dimensión finita (e igual a la del grupo), dado que se corresponde con el espacio tangente en la identidad. Además hereda la estructura de álgebra de Lie definida 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 n
\times n con valores reales y determinante 1. El espacio tangente en la matriz identidad se puede identificar con el espacio de todas las matrices reales n
\times 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 multiplicación de matrices.

Homomorfismos, subálgebras e ideales

Un homomorfismo φ : A -> B entre las álgebra de Lie A y B sobre el mismo cuerpo de base F es una función F-lineal tal que [φ(x),φ(y)] =φ([x, y]) para todo x y y en A. La composición de tales homomorfismos es otra vez un homomorfismo, y las álgebras de Lie sobre el cuerpo F, junto con estos morfismos, forman una categoría. 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 prácticos, las álgebras de Lie isomorfas son idénticas.

Una subalgebra del álgebra de Lie A es un subespacio vectorial B de A tal que [x, y] ∈ B para todo x, yB. 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, yA. Los ideales son precisamente los núcleos de homomorfismos, y el teorema fundamental de homomorfismos es válido para las álgebras de Lie.

Clasificación de las álgebras de Lie

Las álgebras de Lie reales y complejas se pueden clasificar hasta un cierto grado, y esta clasificación es un paso importante hacia la clasificación 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 más de un grupo, aún más de un grupo conexo, dando lugar a la misma álgebra. Por ejemplo, los grupos SO(3) (matrices ortogonales 3×3 de determinante 1) y SU(2) (matrices unitarias 2×2 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. Más generalmente, un álgebra de Lie A es nilpotente si la serie central descendente

A ⊇ [A, A] ⊇ [[A, A]], A] ⊇ [[[A, A]], A], A] ⊇...

acaba haciéndose cero. Por el teorema de Engel, un álgebra de Lie es nilpotente si y solo si para cada x en A, la función ad(x): A -> A definida por

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

es nilpotente. Más generalmente aún, 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 haciéndose cero. Una subálgebra soluble maximal se llama una subálgebra 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 característica cero, A es semi-simple si y solamente si cada representación es totalmente reducible, esto es, que para cada subespacio invariante de la representación hay un complemento invariante (teorema de Weyl). Un álgebra de Lie es simple si no tiene ningún ideal no trivial. En particular, un álgebra de Lie simple es semi-simple, y más generalmente, las álgebras de Lie semi-simples son suma directa de simples. Las álgebras de Lie complejas semi-simples se clasifican a través de sus sistemas de raíz.

Enlaces externos

Temas relacionados


Wikimedia foundation. 2010.

Игры ⚽ Нужно сделать НИР?

Mira otros diccionarios:

  • Álgebra de Lie — En matemáticas, un álgebra de Lie (nombrada así por Sophus Lie) es una estructura algebraica cuyo uso principal reside en el estudio de objetos geométricos tales como grupos de Lie y variedades diferenciables …   Enciclopedia Universal

  • Álgebra de Lie ortogonal generalizada — Este artículo o sección tiene contenido demasiado complejo para lectores que no son expertos en el tema. Si puedes, por favor edítalo y contribuye a hacerlo más accesible para el público general, sin eliminar los detalles técnicos que interesan a …   Wikipedia Español

  • Álgebra de Lie ortogonal generalizada — pertenece a (n+1) si A pertenece a (n) y V es un n vector (columna). pertenece a ( …   Enciclopedia Universal

  • Super álgebra de Lie — En matemática, una super álgebra de Lie es la generalización de un álgebra de Lie. Las super álgebras de Lie son importantes en física teórica en donde se utilizan para describir la matemática de la supersimetría. En estas teorías, los elementos… …   Wikipedia Español

  • Super álgebra de Lie — En matemáticas, una super álgebra de Lie es una suerte de generalización de un álgebra de Lie. Las super álgebras de Lie son importantes en física teórica en donde se utilizan para describir las matemáticas de la supersimetría. En estas teorías,… …   Enciclopedia Universal

  • Lie group — Lie groups …   Wikipedia

  • Lie-Algebren — Lie Algebra berührt die Spezialgebiete Mathematik Lineare Algebra Lie Gruppen Physik Eichtheorie ist Spezialfall von Vektorraum …   Deutsch Wikipedia

  • Lie-Unteralgebra — Lie Algebra berührt die Spezialgebiete Mathematik Lineare Algebra Lie Gruppen Physik Eichtheorie ist Spezialfall von Vektorraum …   Deutsch Wikipedia

  • Lie algebra representation — Lie groups …   Wikipedia

  • Algebra (Struktur) — Algebra über einem Körper berührt die Spezialgebiete Mathematik Abstrakte Algebra Lineare Algebra Kommutative Algebra ist Spezialfall von Algebraische Struktur Vektorraum …   Deutsch Wikipedia

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”