Representaciones infinito-dimensionales de álgebras de Lie ...
Representaciones infinito-dimensionales de álgebras de Lie ...
Representaciones infinito-dimensionales de álgebras de Lie ...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Figura 1: Compatibilidad<br />
Dados U i y U j tal que U i ∩U j ≠ ∅, el mapa ψ ij = ϕ i ϕ −1<br />
j <strong>de</strong> ϕ j (U i ∩U j ≠ ∅)<br />
a ϕ i (U i ∩ U j ≠ ∅) es infinitamente diferenciable. (Fig 1)<br />
Los grupos <strong>de</strong> <strong>Lie</strong> son varieda<strong>de</strong>s diferenciables en las cuales la operación <strong>de</strong><br />
grupo es suave.<br />
2.5. Grupo <strong>de</strong> <strong>Lie</strong><br />
Definición 2.5 (Grupo <strong>de</strong> <strong>Lie</strong>). Un grupo <strong>de</strong> <strong>Lie</strong> G es una variedad diferenciable<br />
la cual está dotada con una estructura <strong>de</strong> grupo tal que el mapa G × G → G<br />
<strong>de</strong>finido por (σ, τ) ↦→ στ −1 es C ∞ [13].<br />
Definición 2.6 (La acción <strong>de</strong> G sobre M). Sea G un grupo <strong>de</strong> <strong>Lie</strong> y M una<br />
variedad. La acción <strong>de</strong> G sobre M es un mapa diferenciable µ: G × M → M tal<br />
que<br />
1. µ(e, p) = p para todo p ∈ M<br />
2. µ(g 1 , µ(g 2 , p)) = µ(g 1 g 2 , p).<br />
Ejemplo 2.8 (Espacio euclidiano). El espacio euclidiano R con la adición vectorial<br />
es un grupo <strong>de</strong> <strong>Lie</strong>.<br />
Ejemplo 2.9 (Números complejos). El conjunto <strong>de</strong> los números complejos no<br />
nulos C ∗ dotados con la multiplicación es un grupo <strong>de</strong> <strong>Lie</strong>.<br />
De particular interés para las aplicaciones físicas son los grupos <strong>de</strong> matrices,<br />
los cuales son subgrupos <strong>de</strong> los grupos generales lineales <strong>de</strong> matrices GL(n, R)<br />
y GL(n, C).<br />
Ejemplo 2.10 (Grupo ortogonal). El conjunto <strong>de</strong> matrices O(n) = {M ∈<br />
GL(n, R)|MM t = M t M = I n }, don<strong>de</strong> (M t ) i,j = M j,i y la matriz I n es la<br />
i<strong>de</strong>ntidad n × n, es un grupo <strong>de</strong> <strong>Lie</strong>.<br />
4