Grupo de Lie

Grupo de Lie
En matemtica, un grupo de Lie (nombrado as por Sophus Lie) es una variedad diferenciable real o compleja que es tambin un grupo tal que las operaciones de grupo (multiplicacin e inversin) son funciones diferenciables o analticas, segn el caso. Los grupos de Lie son importantes en anlisis matemtico, fsica y geometra porque sirven para describir la simetra de estructuras analticas. Fueron introducidos por Sophus Lie en 1870 para estudiar simetras de ecuaciones diferenciales.

El toro es un ejemplo de grupo de Lie homeomorfo a

Mientras que el espacio eucldeo Rn es un grupo de Lie real (con la adicin ordinaria de vectores como operacin de grupo), ejemplos ms tpicos son grupos de matrices inversibles (multiplicacin de matrices), por ejemplo el grupo SO(3) de todas las rotaciones en el espacio de 3 dimensiones. Vase abajo para una lista ms completa de ejemplos.

Tipos de grupos de Lie

Se clasifican los grupos de Lie con respecto a sus propiedades algebraicas (simple, semisimple, resoluble, nilpotente, abeliano), su conexidad (conexo o no conexo) y su compacidad.

Homomorfismos e isomorfismos
Si G y H son grupos de Lie (reales o complejos ambos), entonces un morfismo de grupos de Lie f: G H es un homomorfismo de grupo que es tambin una funcin diferenciable o analtica. (Se puede demostrar que es equivalente a requerir solamente que sea funcin continua.) La composicin de dos tales homomorfismos es otra vez un homomorfismo, y la clase de todos los grupos de Lie (reales o complejos), junto con estos morfismos, forma una categora. Dos grupos de Lie se dicen isomorfos si existe un homomorfismo biyectivo entre ellos cuyo inverso es tambin un homomorfismo. Los grupos de Lie isomorfos no necesitan, para cualquier propsito prctico, ser distinguidos; se diferencian solamente en la notacin de sus elementos.

El lgebra de Lie asociada a un grupo de Lie

A cada grupo de Lie, podemos asociar un lgebra de Lie que captura totalmente la estructura local del grupo. Esto se hace como sigue. Un campo vectorial en un grupo de Lie G se dice invariante por la izquierda si conmuta con la traslacin izquierda, que significa lo siguiente. Defina Lg[f](x) = f(gx) para cualquier funcin diferenciable o analtica f: G F y todo g, x en G (aqu F es el cuerpo R o C). entonces el campo vectorial X es invariante por la izquierda si X Lg = Lg X para todo g en G. 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 ( ). Esta lgebra de Lie g es finito-dimensional (tiene la misma dimensin que la variedad G) lo que la hace susceptible a las tentativas de clasificacin. Clasificando 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.

Grupo de Lie Cada elemento v del espacio tangente TeG en el elemento identidad e de G determina un campo vectorial invariante por la izquierda nico cuyo valor en el elemento x de G es denotado xv; el espacio vectorial subyacente a g se puede por lo tanto identificar con TeG. la estructura del lgebra de Lie en TeG puede tambin ser descrita como sigue: la operacin del conmutador

en G x G enva (e, e) a e, as que su derivada da una operacin bilineal en TeG. resulta que esta operacin bilineal satisface los axiomas de un corchete de Lie, y es igual al que es definido a travs de campos vectoriales invariantes por la izquierda. Cada vector v en g determina una funcin c: R G cuya derivada en todo punto viene dado por el campo vectorial invariante por la izquierda correspondiente

y que tiene la propiedad

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 justifica la definicin

esto se llama la funcin exponencial, y mapea el lgebra de Lie g en el grupo de Lie G. Proporciona un difeomorfismo 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 infinitesimales 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-Hausdorff: existe una vecindad U del elemento cero de g, tal que para u, v en U se tiene

donde los trminos omitidos son conocidos e implican los corchetes de Lie de cuatro o ms elementos. En caso de que u y v conmuten, esta frmula se reduce a la ley exponencial familiar exp(v) exp(u) = exp(u + v). Cada homomorfismo f: G H de los grupos de Lie induce un homomorfismo entre las lgebra de Lie correspondientes g y h. la asociacin G|- > g es un funtor. La estructura global de un grupo de Lie no est totalmente determinada, en general, por su lgebra de Lie; vea la tabla abajo para los ejemplos de grupos de Lie diversos que comparten la misma lgebra de Lie. Podemos decir sin embargo que un grupo de Lie conexo es simple, semisimple, resoluble, nilpotente, o abeliano si y solamente si su lgebra de Lie tiene la propiedad correspondiente. 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 finito dimensional sobre F hay un nico (mdulo un isomorfismo) grupo de Lie G simplemente conexo con g como lgebra de Lie. Por otra parte cada homomorfismo entre las lgebras de Lie se eleva a un homomorfismo nico entre los correspondientes grupos de Lie simplemente conexos.

Grupo de Lie

Lista de algunos grupos de Lie reales y de sus lgebras de Lie

grupo de Lie descripcin Comentarios lgebra de Lie descripcin dim/R

espacio eucldeo con adicin nmeros reales no nulos con la multiplicacin nmeros reales positivos con la multiplicacin nmeros complejos de valor absoluto 1 con la multiplicacin

abeliano, simplemente conexo, no compacto abeliano, no conexo, no compacto abeliano, simplemente conexo, no compacto abeliano, conexo, no simplemente conexo, compacto

el corchete de Lie es cero

el corchete de Lie es cero

el corchete de Lie es cero

el corchete de Lie es cero

cuaterniones no nulos con conexo, simplemente conexo, la multiplicacin no compacto cuaterniones de mdulo 1 simplemente conexo, con la multiplicacin, una compacto, simple y 3-esfera semi-simple, isomorfo a ya

cuaterniones, con el corchete de Lie dado por el conmutador 3-vectores reales, con el corchete de Lie el producto vectorial; isomorfo a los cuaterniones con parte real cero, con el corchete de Lie dado por el conmutador tambin isomorfo a ya matrices reales n-por-n, con el corchete de Lie dado por el conmutador

grupo general lineal: matrices reales n-por-n invertibles

no conexo, no compacto

matrices reales n-por-n conexo, no compacto con determinante positivo grupo especial lineal: matrices reales n-por-n con determinante 1 conexo, no compacto y simple si n>1

M(n, R)

matrices reales n-por-n, con el corchete de Lie dado por el conmutador matrices reales n-por-n, con traza 0, con el corchete de Lie dado por el conmutador n-1

grupo ortogonal: matrices no conexo, compacto reales n-por-n ortogonales

matrices reales n-por-n, antisimtricas, con n(n-1)/2 el corchete de Lie dado por el conmutador; es isomorfo a ya con el producto vectorial

grupo especial ortogonal: matrices reales n-por-n ortogonales con determinante 1 grupo de espinores

conexo, compacto, no simplemente conexo si n>1, semisimple, si n=3 o n 5 simple simplemente conexo, compacto, semisimple, si n=3 o n 5 simple no compacto, simple y semisimple

matrices reales n-por-n, antisimtricas, con n(n-1)/2 el corchete de Lie dado por el conmutador

matrices reales n-por-n, antisimtricas, con n(n-1)/2 el corchete de Lie dado por el conmutador

grupo simplcticoreal: matrices simplcticas reales

matrices reales que satisfacen JA + ATJ = 0 donde J es la matriz anti-simtrica estndar sp(n) matrices cuaterninicas cuadradas A satisfaciendo A = A*, con el corchete de Lie dado por el conmutador matrices complejas n-por-n, que cumplen A = -A*, con el corchete de Lie dado por el conmutador

n(2n + 1)

grupo simplctico: compacto, simplemente matrices unitarias n-por-n conexo, simple y semisimple cuaterninicas si n>0 grupo unitario: matrices complejas n-por-n unitarias isomorfo a S para n=1, no simplemente conexo para n>0, compacto. Nota: este no es un grupo/lgebra de Lie complejo

n(2n + 1)

n(n-1)/2 n

Grupo de Lie

4
grupo especial unitario: matrices complejas n-por-n unitarias con determinante 1 simplemente conexo, compacto y si n 2, simple y semisimple. Nota: este no es un grupo/lgebra de Lie complejo n-1

matrices complejas , que cumplen A = -A* con traza 0, con el corchete de Lie dado por el conmutador

Lista de algunos grupos de Lie complejos y de sus lgebras de Lie

grupo de Lie Cn C GL(n, C) descripcin Comentarios lgebra de Lie Cn C descripcin dim/C

espacio eucldeo con adicin

abeliano, simplemente conexo, no compacto abeliano, conexo, no simplemente conexo, no compacto simplemente conexo, no compacto

el corchete de Lie es cero

nmeros complejos no nulos con la multiplicacin grupo general lineal: matrices complejas n-por-n inversibles

el corchete de Lie es cero

M(n, C)

matrices complejas n-por-n, con el corchete de Lie dado por el conmutador matrices complejas n-por-n, con traza 0, con el corchete de Lie dado por el conmutador matrices complejas n-por-n, antisimtricas, con el corchete de Lie dado por el conmutador matrices complejas n-por-n, antisimtricas, con el corchete de Lie dado por el conmutador

SL(n, C)

grupo especial lineal complejo: matrices complejas n-por-n con determinante 1

simple y semisimple, simplemente conexo si n>1, no compacto

sl(n, C)

n-1

O(n, C) grupo ortogonal: matrices complejas n-por-n ortogonales

no conexo n>1, compacto

so(n, C)

n(n-1)/2

SO(n, C)

grupo especial ortogonal: matrices complejas n-por-n ortogonales con determinante 1 grupo simplctico: matrices simplcticas complejas

conexo, no compacto, no simplemente conexo si n>1, si n=3 o n 5 simple y semisimple no compacto, simple y semisimple

so(n, C)

n(n-1)/2

Sp(2n, C)

sp(2n, C) matrices complejas que satisfacen JA + ATJ = 0 donde J es la matriz anti-simtrica estndar

n(2n + 1)

Lista de algunos grupos de Lie de dimensin infinita

grupo de Lie descripcin Difeomorfismos de Comentarios no abeliano de en relatividad general lgebra de Lie descripcin Campos vectoriales sobre dim/R

Difeomorfismos de no abeliano que conservan el volumen de utilidad en hidrodinmica

Campos vectoriales sobre con divergencia nula

Grupo de Lie

Referencias
Adams, John Frank (1969), Lectures on Lie Groups, Chicago Lectures in Mathematics, Chicago: Univ. of Chicago Press, ISBN 0-226-00527-5. Hall, Brian C. (2003), Lie Groups, Lie Algebras, and Representations: An Elementary Introduction, Springer, ISBN 0-387-40122-9. Serre, Jean-Pierre (1965), Lie Algebras and Lie Groups: 1964 Lectures given at Harvard University, Lecture notes in mathematics, 1500, Springer, ISBN 3-540-55008-9.

Fuentes y contribuyentes del artculo

Fuentes y contribuyentes del artculo

Grupo de Lie Fuente: http://es.wikipedia.org/w/index.php?oldid=68782650 Contribuyentes: .Jos, Alefisico, Alpha carinae, Artra, Bibliofilotranstornado, Daniel De Leon Martinez, Davius, DefLog, Elas, Er Komandante, Gato ocioso, GermanX, Ingenioso Hidalgo, Joseaperez, Juan Marquez, Juan Mayordomo, Leonpolanco, RuHouse'ls, Tirabo, Txebixev, Xtquique, 8 ediciones annimas

Fuentes de imagen, Licencias y contribuyentes

File:ToricCodeTorus.png Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:ToricCodeTorus.png Licencia: Creative Commons Attribution 3.0 Contribuyentes: Woottonjames

Licencia
Creative Commons Attribution-Share Alike 3.0 Unported //creativecommons.org/licenses/by-sa/3.0/