Professional Documents
Culture Documents
ii
Indice
1 Variedades 1
1.1 Variedades diferenciables 1
1.2 El espacio tangente 7
1.3 Campos vectoriales 12
1.4 1-formas y campos tensoriales 16
2 Derivadas de Lie 24
2.1 Grupos uniparametricos de transformaciones y flujos 24
2.2 Derivada de Lie de funciones y campos vectoriales 32
2.3 Derivada de Lie de campos tensoriales 34
3 Formas diferenciales 40
3.1 El algebra de formas 40
3.2 La diferencial exterior 44
4 Variedades integrales 51
4.1 El lema de rectificacion 51
4.2 Distribuciones y el Teorema de Frobenius 52
4.3 Simetras y factores de integracion 57
5 Conexiones 58
5.1 Derivacion covariante 58
5.2 Torsion y curvatura 65
5.3 Las ecuaciones estructurales de Cartan 68
5.4 Formas con valores tensoriales y diferenciacion exterior
covariante 71
6 Variedades Riemannianas 77
6.1 El tensor metrico 77
6.2 La conexion Riemanniana 86
6.3 Curvatura 94
iii
iv
1
2 1. Variedades
1
(a1 , . . . , an+1 ) = (a1 , . . . , an ). (1.3)
1 an+1
4 1. Variedades
Xn
1 1
1 (b1 , . . . , bn ) = Pn i 2
2b , . . . , 2bn
, 1 + (bi 2
) ,
1+ i=1 (b ) i=1
Xn
1 1
1 (b1 , . . . , bn ) = Pn i 2
2b , . . . , 2bn
, 1 (bi )2 ,
1+ i=1 (b ) i=1
por consiguiente,
(b1 , . . . , bn )
( 1 )(b1 , . . . , bn ) = ( 1 )(b1 , . . . , bn ) = Pn i 2
,
i=1 (b )
f 1 = (f 1 ) ( 1 ), f 1 = (f 1 ) ( 1 )
y1 f 1 , y2 f 2 , . . . , ym f m , y m+1 xm+1 , . . . , y n xn
Nota: En todo lo que sigue se supondra que todos los objetos con que se
trate (variedades, aplicaciones, curvas, etc.) son de clase C y que M de-
nota una variedad diferenciable de dimension n, a menos que se especifique
otra cosa.
El conjunto de todas las funciones diferenciables de M en R sera de-
1.2 El espacio tangente 7
f f . (1.6)
y
d
Ct00 [f g] = C (f g)
dt t0
d
= (C f )(C g)
dt t0
0
= f C(t0 ) Ct0 [g] + g C(t0 ) Ct00 [f ], para f, g C (M ).
para f, g C (M ), a, b R.
por lo tanto,
vp [c] = 0. (1.9)
El espacio tangente de M en p, denotado por Tp (M ), es el conjunto de
todos los vectores tangentes a M en p. El conjunto Tp (M ) es un espacio
vectorial real con las operaciones definidas por
(vp + wp )[f ] vp [f ] + wp [f ],
(avp )[f ] a(vp [f ]) (1.10)
[f ] Di (f 1 )|(p) , para f C (M ), (1.11)
xi p
1.2 El espacio tangente 9
y, similarmente,
j 1
xj (p) si i 6= j
(x ) x1 (p), x2 (p), . . . , xi (p) + t, . . . , xn (p) =
xj (p) + t si i = j
ndice que aparece dos veces, una vez como subndice y una vez como su-
per
ndice, implica suma sobretodos los valores de ese ndice, por ejemplo,
Pn
ai /xi p = i=1 ai /xi p ), usando (1.13) se tiene entonces
j
0 = 0p [x ] = a i
[xj ] = ai ij = aj .
xi p
para vp Tp (M ).
10 1. Variedades
donde (c1 , . . . , cn ) es alg un punto en el segmento de recta que une los pun-
tos (a1 , . . . , an ) y (b1 , . . . , bn ) (i.e., (c1 , . . . , cn ) = (1 t0 )(a1 , . . . , an ) +
t0 (b1 , . . . , bn ), para alg
un t0 (0, 1)). Aplicando la formula (1.15) con
(a1 , . . . , an ) = x1 (p), . . . , xn (p) = (p) y (b1 , . . . , bn ) = x1 (q), . . . , xn (q) =
(q) se tiene
n
X
F (q) = F (p) + [xi (q) xi (p)] Di F |(c1 ,...,cn ) . (1.16)
i=1
vp [f ] = vp [f (p)] + [xi (p) xi (p)]vp [gi ] + gi (p)vp [xi xi (p)] = gi (p)vp [xi ],
pero gi (p) = Di F |(p) = /xi p [f ] [ver (1.11)], por lo que
vp [f ] = vp [xi ] [f ] (1.18)
xi p
1.2 El espacio tangente 11
Ejercicio 1.14. Sea vp Tp (M ). Mostrar que existe una curva C tal que
vp = Ct00 .
y similarmente
y i
= , (1.21)
xj p xj p y i p
n on n on
es decir que las bases /xi p y /y i p estan relacionadas
j j i=1 i=1
por la matriz ci (p) = x /y p , la cual tiene por inversa la matriz ckj (p) =
i
k
y /xj p .
12 1. Variedades
para f, g C (M ) y a, b R.
Un campo vectorial X es diferenciable (de clase C ) si para toda f
C (M ), la funcion Xf tambien pertenece a C (M ). El conjunto de todos
para a, b R y f, g C (M ).
por lo que
X = Xi . (1.28)
xi
Ejercicio 1.16. Sea X = X i /xi . Mostrar que las funciones X i estan
dadas por X i = Xxi y que X es diferenciable si y solo si las funciones X i
lo son.
x0j
X 0j = X i ,
xi
en el dominio com
un de X y los dos sistemas de coordenadas.
Ejercicio
1.20. Mostrar
que
si X, Y X(M ) estan dados por X =
X i /xi y Y = Y j /xj entonces, [X, Y ] = (XY i Y X i ) /xi .
(Sugerencia: Usar el resultado de la primera parte del ejercicio 1.16.)
por lo tanto
(2 1 )p = 21 (p) 1p . (1.33)
Esta relacion recibe el nombre de regla de la cadena.
Si : M N es una aplicacion diferenciable entre variedades diferen-
ciables y C : I M es una curva en M , la composicion C es una curva
en N . De acuerdo con (1.7) y (1.31), el vector tangente a C en el punto
( C)(t0 ) = C(t0 ) satisface
d
( C)0t0 [f ] = (f C)|t0 = Ct00 [f ]
dt
= Ct00 [ f ] = C(t0 ) (Ct00 )[f ], para f C (N ).
Por lo tanto
( C)0t0 = C(t0 ) (Ct00 ), (1.34)
o sea que los vectores tangentes a la imagen de una curva C bajo la apli-
cacion se obtienen aplicando el jacobiano de a los vectores tangentes
a C.
Sea : M N una aplicacion diferenciable entre variedades diferen-
ciables. Si X X(M ) y Y X(N ) se dice que X y Y estan relacionados
bajo si
Y(p) = p Xp , para p M. (1.35)
16 1. Variedades
o sea que
(Y f ) = X(f ), para f C (N ). (1.36)
Si X1 , X2 X(M ) estan relacionados bajo con Y1 , Y2 X(N ), res-
pectivamente, entonces [X1 , X2 ] esta relacionado bajo con [Y1 , Y2 ], ya
que, por hipotesis, (Y1 f ) = X1 (f ) y (Y2 g) = X2 (g ), para
f, g C (N ) [ver (1.36)]. Tomando g = Y1 f , se tiene
[Y2 (Y1 f )] = X2 (Y1 f ) = X2 X1 (f )
para p , p Tp (M ), vp Tp (M ) y a R.
Un campo covectorial sobre M es una aplicacion que asigna a cada
p M un elemento (p) Tp (M ). El covector (p) tambien sera denotado
por p . Un campo covectorial es diferenciable (de clase C ) si para todo
X X(M ) la funcion (X), definida por
(X) (p) p (Xp ), (1.39)
( + )p p + p ,
(f )p f (p)p , para , 1 (M ) y f C (M ). (1.40)
para p M , es decir,
df (X) = Xf, (1.41)
la cual es una funcion diferenciable para todo X X(M ), comprobandose
que df es, en efecto, un campo covectorial diferenciable.
De (1.41), (1.23), (1.40) y (1.38) sigue que la aplicacion d : C (M )
1
(M ), la cual aplica f en df , satisface
luego,
d(f g) = f dg + gdf, para f, g C (M ). (1.43)
Si (U, ) es una carta de M , (1.37) y (1.13) implican que la diferencial
exterior de las funciones coordenadas x1 , x2 , . . . , xn satisface
!
i
dxp = [xi ] = ji . (1.44)
xj p xj p
n
Lo anterior significa que dxip i=1 es base de Tp (M ) ya que si una combi-
nacion linealcon coeficientes
reales, ai dxip , es igual al covector cero, se tiene
0 = (ai dxp ) /x p = ai j = aj . Ademas si p Tp (M ), para cualquier
i j i
vector tangente vp Tp (M ) expresado en la forma vp = vp [xi ] /xi p ,
sigue que
!
p (vp ) = p (vp [xi ] ) = vp [xi ]p ,
xi p xi p
xi
j0 = i
x0j
en el dominio com
un de y los dos sistemas de coordenadas.
f
df = dxi . (1.48)
xi
Un tensor k veces covariante en p es una aplicacion multilineal tp :
Tp (M ) Tp (M ) (k veces) R. Un tensor una vez covariante es
precisamente un covector. El conjunto de tensores k veces covariantes en p
es un espacio vectorial real si para cualquier par de tensores tp y sp k veces
covariantes en p se define
para v1 , . . . , vk Tp (M ) y a, b R.
Si tp es un tensor k veces covariante en p y sp es un tensor l veces
covariante en p, el producto tensorial tp sp se define por
tp (v1 , . . . , vk )
!
= tp dxip (v1 ) , . . . , dxmp (vk )
xi p xm p
!
i m
= dxp (v1 ) dxp (vk ) tp ,...,
xi p xm p
" ! #
= tp ,..., dxip dxm
p (v1 , . . . , vk ),
xi p xm p
por lo que
!
tp = tp , ,..., dxip dxjp dxm
p . (1.51)
xi p xj p xm p
local
t=t , ,..., dxi dxj dxm .
xi xj xm
Si t es un campo tensorial k veces covariante sobre M , y X1 , . . . , Xk
son k campos vectoriales sobre M , siendo tp lineal en cada uno de sus
argumentos, entonces, para cualquier funcion f : M R,
[t(X1 , . . . , f Xi , . . . , Xk )](p) = tp X1 (p), . . . , (f Xi )(p), . . . , Xk (p)
= tp X1 (p), . . . , f (p)Xi (p), . . . , Xk (p)
= f (p)tp X1 (p), . . . , Xi (p), . . . , Xk (p)
= f (p)[t(X1 , . . . , Xi , . . . , Xk )](p),
para p M , es decir
t(X1 , . . . , f Xi , . . . , Xk ) = f t(X1 , . . . , Xi , . . . , Xk ), 1 i k.
Similarmente, se concluye que
t(X1 , . . . , X1 +Xi0 , . . . , Xk ) = t(X1 , . . . , Xi , . . . , Xk )+t(X1 , . . . , Xi0 , . . . , Xk ).
Notese que, por ejemplo, el parentesis de Lie no es un tensor debido a
que [X, f Y ] = f [X, Y ] + (Xf )Y (ver el Ejercicio 1.19).
Recprocamente, si t es una aplicacion que a cada conjunto de k campos
vectoriales sobre M le asocia una funcion de M en R con la propiedad que
para cualquier par de funciones f, g : M R
t(X1 , . . . , f Xi + gXi0 , . . . , Xk ) = f t(X1 , . . . , Xi , . . . , Xk )
+ gt(X1 , . . . , Xi0 , . . . , Xk ),
1 i k, entonces, t es un campo tensorial k veces covariante. En efecto,
lapropiedad supuesta para
t asegura que, localmente, t es de la forma t =
t /xi , . . . , (/xm ) dxi dxm , ya que si X1 , . . . , Xk son campos
vectoriales sobre M , escribiendolos en la forma Xi = dxj (Xi ) /xj ,
i = 1, . . . , k, se tiene
t(X1 , . . . , Xk )
i m
= t dx (X1 ) , . . . , dx (Xk )
xi xm
i m
= dx (X1 ) dx (Xk ) t ,...,
xi xm
i m
= t ,..., dx dx (X1 , . . . , Xk ).
xi xm
22 1. Variedades
por lo que
tp = tp (dxip , . . . , dxm
p ) .
xi p xm p
para f, g : M R.
Un tensor mixto k veces contravariante y l veces covariante en p, o
tensor mixto de tipo (k, l) en p, es una aplicacion multilineal del producto
cartesiano de k copias de Tp (M ) y l copias de Tp (M ) en R. Los tensores
mixtos de tipo (k, l), en p, forman un espacio vectorial real donde la suma y
el producto por escalares reales esta definido en la forma usual. El producto
tensorial de un tensor de tipo (k, l) por un tensor de tipo (k 0 , l0 ) es un tensor
de tipo (k + k 0 , l + l0 ). Una base para el espacio vectorial de los tensores
de
tipoi (k, l) en p est a formada por los productos tensoriales de k vectores
/x p y l covectores dxip ; por lo tanto, este espacio tiene dimension
nk+l .
Un campo tensorial de tipo (k, l) sobre M es una aplicacion que a cada
punto p M asocia un tensor de tipo (k, l) en p; un campo tensorial de tipo
(0, 0) sobre M es una funcion de M en R. Un campo tensorial, t, de tipo
(k, l) es diferenciable si para X1 , . . . , Xl X(M ) y 1 , . . . , k 1 (M ),
la funcion de M en R, que a cada punto p M le asocia el valor de tp
sobre X1 (p), . . . , Xl (p), 1 (p), . . . , k (p) (tomados en un orden apropiado),
es diferenciable.
La suma, el producto por escalares y por funciones y el producto ten-
sorial de campos tensoriales mixtos, se definen punto por punto:
24
tricos de transformaciones
2.1 Grupos uniparame 25
con
2x0
(x (x0 ,y0 ) )(t) = ,
1 + x20 + y02 + (1 x20 y02 ) cos t 2y0 sen t
(2.2)
2y0 cos t + (1 x20 y02 ) sen t
(x (x0 ,y0 ) )(t) =
1 + x0 + y02 + (1 x20 y02 ) cos t 2y0 sen t
2
[ver (2.1)]. Calculando las derivadas de las expresiones (2.2) con respecto a
t en t = 0, se halla que el generador infinitesimal del grupo uniparametrico
(2.1), X, esta dado por
0 1 x20 + y02
X(x0 ,y0 ) ((x0 ,y0 ) )0 = x0 y0 +
x (x0 ,y0 ) 2 y (x0 ,y0 )
1 x2 + y 2
= xy + ,
x 2 y (x0 ,y0 )
Si x1 , x2 , . . . , xn esun sistema
de coordenadas local en M y X se expresa
i i
en la forma X = X /x , la condicion de que C sea una curva inte-
gral de X equivale a que C satisfaga el sistema de ecuaciones diferenciales
ordinarias [ver (1.19)]
d(xi C)
= X i C. (2.4)
dt
Por el teorema fundamental para sistemas de ecuaciones diferenciales ordi-
narias, dado x M , existe una u nica curva integral de X, C, que se inicia
en x. (Esto es, si D es otra curva integral de X que se inicia en x entonces
D = C en la interseccion de sus dominios.)
tricos de transformaciones
2.1 Grupos uniparame 27
por lo tanto,
((x, s), t) = (x, t + s). (2.5)
No siempre no esta definido para todo t R, por lo que no es un
grupo uniparametrico de transformaciones; sin embargo, para cada x M
existe una vecindad abierta, U de x, y un > 0 tales que esta definido
en U (, ) y es diferenciable. La aplicacion recibe el nombre de
flujo o grupo uniparametrico de transformaciones local y X es su generador
infinitesimal.
Si X es el generador infinitesimal de un grupo uniparametrico de trans-
formaciones o de un flujo, las transformaciones t tambien se denotan por
exp tX. La relacion (2.5) se expresa entonces como exp tX exp sX =
exp(t + s)X.
d(x C)
= x2 C = (x C)2 (2.6)
dt
(la u
ltima igualdad sigue de la definicion (1.5), de acuerdo con la cual
2
x (p) = x(p) , luego, (x2 C)(t) = x2 C(t) = [x(C(t))]2 = (x
2
28 2. Derivadas de Lie
2
C)(t) = (xC)2 (t)). La solucion de (2.6) es (xC)(t) = 1/(t+a), donde
a es una constante o, simplemente, puesto que x = id, C(t) = 1/(t + a).
Si la curva integral de X se inicia en x0 , entonces C(0) = 1/a = x0 , i.e.,
a = 1/x0 . Puesto que x0 es la curva integral de X que se inicia en x0
(ver la Definicion 2.5), se tiene
1 x0
x0 (t) = = ,
t 1/x0 1 x0 t
luego,
x0
(x0 , t) = (2.7)
1 x0 t
es el grupo uniparametrico local generado por x2 /x. La expresion (2.7)
no esta definida para t = 1/x0 , por lo que no se trata de un grupo uni-
parametrico de transformaciones, a pesar de que X es diferenciable. Sin
embargo, el flujo (2.7) satisface la relacion (2.5) ya que, usando (2.7),
(x0 , s) x0 /(1 x0 s) x0
(x0 , s), t = = =
1 (x0 , s)t 1 tx0 /(1 x0 s) 1 x0 (t + s)
= (x0 , t + s),
De las ecuaciones (2.9) se puede notar que si se buscan las curvas in-
tegrales de f X, donde f es alguna funcion diferenciable, al eliminar la
variable t, la funcion f desaparece y se obtiene la misma ecuacion para
dy/dx que se hallo en el ejemplo anterior y, por lo tanto, se obtienen las
mismas circunferencias. Para cualquier campo vectorial X, las curvas inte-
grales de X y f X, con f C (M ), difieren en la parametrizacion. Si t
denota el flujo o grupo uniparametrico generado por X y es una funcion
de algun abierto de R en el dominio de la curva x , entonces el vector
tangente a la curva x x satisface, para g C (M ),
d d
0
(x )t0 [g] = g x (t) = (g x ) (t)
dt t=t0 dt t=t0
d d d
=
(g x ) 0
= (x )(t0 ) [g]
dt dt dt
(t0 ) t0 t0
d
= Xx ((t0 )) [g], (2.13)
dt t0
y con el cambio de variable (x20 + y02 )(t) 2x0 = 2y0 tan u se tiene du/dt =
1/2, luego u = (t t0 )/2, donde t0 es alguna constante y
1
(x0 , y0 ), t = (0, x20 + y02 )
2y0
1
+ 2x0 y0 cos t (y02 x20 ) sen t, (y02 x20 ) cos t + 2x0 y0 sen t . (2.18)
2y0
una solucion u
nica dada por
Yx = ( 1 )(x) X(x) .
para f C (N ).
t (Y f ) Y f
X (Y f ) = lim
t0 t
34 2. Derivadas de Lie
(t Y )(t f ) Y f
= lim
t0
t
tf f t Y Y
= lim (t Y ) + f
t0 t t
= Y (X f ) + (X Y )f,
luego
(X Y )f = X(Y f ) Y (Xf ) = [X, Y ]f,
de donde se concluye que
X Y = [X, Y ]. (2.22)
( df )p (vp ) = df(p) (p vp ),
df(p) (p vp ) = p vp [f ] = vp [ f ] = d( f )p (vp ).
2.3 Derivada de Lie de campos tensoriales 35
para up , . . . , wp Tp (M ), es decir
Similarmente, si f : N R
(f t) p (up , . . . , wp ) = (f t)(p) (p up , . . . , p wp )
= f (p) t(p) (p up , . . . , p wp )
= ( f )(p)( t)p (up , . . . , wp )
= ( f )( t) p (up , . . . , wp ),
luego,
(f t) = ( f )( t). (2.26)
Finalmente, si t y s son campos tensoriales sobre N k y l veces cova-
riantes, respectivamente, se tiene
(t s) p = (t s)(p) (p up , . . . , p wp )
= t(p) (p up , . . .)s(p) (. . . , p wp )
= ( t)p (up , . . .)( s)p (. . . , wp )
= ( t) ( s) p (up , . . . , wp ),
(t s) = ( t) ( s). (2.27)
36 2. Derivadas de Lie
h (f t) f t
X (f t) = lim
h0 h
(h f )(h t) f t
= lim
h0 h
ht t h f f
= lim h f + t
h0 h h
= f (X t) + (X f )t. (2.31)
esto es que
k
X
(X t)(Y1 , . . . , Yk ) = X t(Y1 , . . . , Yk ) t(Y1 , . . . , [X, Yi ], . . . , Yk ).
i=1
(2.37)
3.1 El
algebra de formas
40
lgebra de formas
3.1 El a 41
= A( ). (3.3)
y
(f ) = (f ) = f ( ), (3.5)
( ) = ( ) = A( ). (3.6)
( )(X1 , X2 ) = A( )(X1 , X2 )
1
= 2! [( )(X1 , X2 ) ( )(X2 , X1 )]
1
= 2 [(X1 )(X2 ) (X2 )(X1 )]
1
= 2 ( )(X1 , X2 ), para X1 , X2 X(M ),
42 3. Formas diferenciales
es decir:
= 12 ( ) = , para , 1 (M ). (3.7)
con
i1 ...ik = ,..., . (3.9)
xi1 xik
Como consecuencia de la antisimetra de , sus componentes i1 ...ik son
completamente antisimetricas en todos sus ndices y = A(). Por lo
tanto, usando las propiedades de A se tiene
Esto significa que una forma de grado par conmuta bajo el producto exterior
con cualquier forma y que el producto exterior de dos formas diferenciales
de grados impares es anticonmutativo. El conjunto de todas las formas
diferenciales en M forma un algebra asociativa bajo el producto exterior.
La expresion (3.10) muestra que cualquier kforma, con k > 1, se
puede expresar localmente en terminos de los productos exteriores de las
diferenciales de las coordenadas de alguna carta, sin embargo, de (3.11)
sigue que tales productos no son independientes entre s, de tal manera que
la igualdad ci1 ...ik dxi1 dxik = 0 no implica que los coeficientes ci1 ...ik
sean iguales a cero, sino que la parte totalmente antisimetrica de ci1 ...ik ,
dada por
1 X
c[i1 ...ik ] (sgn ) ci(1) ...i(k) , (3.16)
k!
Sk
( ) = ( ) ( ), (3.17)
X ( ) = (X ) + (X ), (3.18)
44 3. Formas diferenciales
Definici
on 3.4. Sea una k-forma en M , su diferencial exterior, d, esta
dada por:
(k + 1)d(X1 , . . . , Xk+1 )
k+1
X
ci , . . . , Xk+1 )
(1)i+1 Xi (X1 , . . . , X
i=1
X
+ ci , . . . , X
(1)i+j ([Xi , Xj ], X1 , . . . , X cj , . . . , Xk+1 ), (3.20)
i<j
y para 2 (M ),
3d(X, Y, Z) = X (Y, Z) + Y (Z, X) + Z (X, Y )
([X, Y ], Z) ([Y, Z], X) ([Z, X], Y ), (3.23)
(k + 1)d(f X1 , X2 , . . . , Xk+1 )
= (f X1 ) (X2 , . . . , Xk+1 )
k+1
X
+ ci , . . . , Xk+1 )
(1)i+1 Xi (f X1 , . . . , X
i=2
X
cj , . . . , Xk+1 )
(1)j ([f X1 , Xj ], X2 , . . . , X
j>i
X
+ ci , . . . , X
(1)i+j ([Xi , Xj ], f X1 , . . . , X cj , . . . , Xk+1 ),
1<i<j
(k + 1)d(f X1 , X2 , . . . , Xk+1 )
= f [X1 (X2 , . . . , Xk+1 ) ]
k+1
X
+ ci , . . . , Xk+1 )
(1)i+1 Xi f (X1 , . . . , X
i=2
X
cj , . . . , Xk+1
(1)j f [X1 , Xj ] (Xj f )X1 , X2 , . . . , X
j>1
X
+ ci , . . . , X
(1)i+j f ([Xi , Xj ], X1 , . . . , X cj , . . . , Xk+1 )
1<i<j
46 3. Formas diferenciales
= f [X1 (X2 , . . . , Xk+1 ) ]
k+1
X
+ ci , . . . , Xk+1 )
(1)i+1 {f Xi (X1 , . . . , X
i=2
es decir,
d(f ) = f d + df . (3.25)
Expresando k (M ) en coordenadas locales como = i1 ...ik dxi1
dxik , con i1 ...ik 0 (M ), de las propiedades (3.24) y (3.25) se tiene
d( ) = d + (1)k d. (3.27)
d( )
= d(i1 ...ik j1 ...jl dxi1 dxik dxj1 dxjl )
= d(i1 ...ik j1 ...jl ) dxi1 dxik dxj1 dxjl
= [(di1 ...ik )j1 ...jl + i1 ...ik dj1 ...jl ]
dxi1 dxik dxj1 dxjl
48 3. Formas diferenciales
= i1 ...il dxm dxj dxi1 dxil ,
xm xj
la cual es igual a cero puesto que (/xm ) y /xj conmutan, mientras
que dxm dxj = dxj dxm . Dicho de otra manera, la diferencial exterior
satisface la propiedad
d2 = 0. (3.28)
Notese que no existen 0-formas exactas y que cualquier n-forma es cerrada
debido a que toda (n + 1)-forma es cero.
Dada una k-forma cerrada, , no existe en general una (k 1)-forma
tal que = d. Es decir, no toda forma cerrada es exacta. Sin embargo,
tal siempre existe localmente, su existencia global (es decir sobre todo
M ) depende de las caractersticas de M . En el caso de Rn , toda k-forma
cerrada es exacta (k 1).
Si M y N son dos variedades diferenciables y : M N es una
aplicacion diferenciable, se cumple que
(d) = d( i1 ...ik ) d( y i1 ) d( y ik )
= d[( i1 ...ik )d( y i1 ) d( y ik )]
= d[( i1 ...ik ) (dy i1 ) (dy ik )]
= d[ (i1 ...ik dy i1 dy ik )]
= d( ).
X = X d + d(X ). (3.30)
(X d)(Y1 , . . . , Yk ) = (k + 1)d(X, Y1 , . . . , Yk )
= X (Y1 , . . . , Yk )
k
X
+ (1)i Yi (X, Y1 , . . . , Ybi , . . . , Yk )
i=1
k
X
+ cj , . . . , Yk )
(1)j ([X, Yj ], Y1 , . . . , Y
j=1
X
+ (1)i+j ([Yi , Yj ], X, . . . , Ybi , . . . , Y
cj , . . . , Yk ),
i<j
d j
(x )(t, 0, . . . , 0) = X j ,
dt
51
52 4. Variedades integrales
donde X j denota las componentes de X en la base /xj . Pero,
d j
dt (x )(t, 0, .. . , 0) =
D1 (xj ), por lo que D1 (xj )|0 = X j (p).
Dado que {Xp , /x2 p , . . . , (/xn )p } es linealmente independiente, el
determinante del jacobiano ( )0 es diferente de cero. Luego, por el
Teorema de la funcion inversa, ( )1 esta definida en una vecindad de
0, V 0 Rn . Por lo tanto, 1 = ()1 esta definida en una vecindad
U 0 de p en M . Tomando (U 0 , 1 ) como carta de coordenadas, se obtiene
que X esta dado por
X= ,
y 1
donde y 1 , . . . , y n son las coordenadas para la carta (U 0 , 1 ), ya que t 7
(t, a2 , . . . , an ) es curva integral de X y, por consiguiente,
d
Xf = f (t, a2 , . . . , an ) = D1 (f ), f 0 (M ).
dt
Este resultado, conocido como Lema de rectificaci on, asegura que dado
X X(M ), existe en una vecindad de cada punto en donde X es diferente
de cero un sistema de coordenadas x1 , . . . , xn tal que X = /x1 . Por
consiguiente, las coordenadas x2 , . . . , xn son constantes a lo largo de las
curvas integrales de X.
Si Y es un segundo campo vectorial, no siempre es posible expresarlo
simultaneamente como /x2 . Una condici
on necesaria para que esto
ocurra es que [X, Y ] = 0, ya que [ x i , xj ] = 0. Esta condicion
es tambien suficiente; en general, si X1 , X2 , . . . , Xk X(M ) satisfacen
[Xi , Xj ] = 0 para 1 i, j k, entonces, en una vecindad de cada punto
donde X1 , . . . , Xk son linealmente independientes,
existe un sistema
de
coordenadas x1 , . . . , xn tal que X1 = /x1 , . . . , Xk = /xk . La
demostracion es similar a la del caso con k = 1.
dy i
= bi (xn , y 1 , . . . , y k ), (4.5)
dxn
luego, si i > l,
X
di = 2 [di (Xj , Xm )]j m
j<m
l<m
X X
= 2 di (Xj , Xm )j m
l<m j<m
n
X
i
m m .
m=l+1
X = [X d + d(X )]
= X ( d) + (X )d d(X )
= X ( d) + (X )2 d[(X )1 ],
d[(X )1 ] = (X )2 X ,
5.1 Derivaci
on covariante
Definici
on 5.1. Sea M una variedad diferenciable. Una conexion sobre
M asigna a cada X X(M ) un operador X de X(M ) en s mismo, tal
que para todo X, Y, Z X(M ), a, b R y f C (M ),
X (aY + bZ) = aX Y + bX Z,
X (f Y ) = f X Y + (Xf )Y,
58
n covariante
5.1 Derivacio 59
aX+bY Z = aX Z + bY Z,
f X Y = f X Y.
xi xj x0p k x0p 2 xk
0p
sr = 0r 0s k
ji +
x x x xk x0r x0s
es valida en el dominio com
un de ambas cartas.
d(xi C)
Dado que Ct0 = [ver (1.19)], empleando (5.2) se
dt xi C(t)
tiene
d(xi C) Y k k j
C 0 (t) Y = + ji Y
dt xi C(t)
xk C(t)
0 k d(xi C) k j
= Ct [Y ] + ji Y ,
dt C(t)
xk C(t)
d(Y k C) d(xi C) k
+ (ji C)(Y j C) = 0. (5.3)
dt dt
(1 + r2 )dr (1 + r2 )dr
d = r = r
2E (1 + r2 )2 2E (1 r2 )2
r2 2
4 r2
L r2 L 2 r2
r
1 r2 2E
y efectuando el cambio de variable = 2
4 cos v, la expresion
r rL
2E
anterior se reduce a d = dv, luego 1 r2 = 4 r cos( 0 ) o, en
L2
64 5. Conexiones
Si x1 , . . . , xn es un sistema de coordenadas local y Y = Y i /xi es
un campo vectorial arbitrario, aplicando la definicion anterior se tiene:
j
(/xi dxj )(Y ) = i
dx (Y ) dxj (/xi Y )
x
Y j j Y k k m
= dx + mi Y
xi xi xk
Y j Y j
= i
+ jmi Y m
x xi
= jmi Y m
= jmi dxm (Y ),
esto es,
/xi dxj = jmi dxm . (5.10)
i
i
Ejercicio 5.8. Mostrar
n que si X = X /x y t = ti...j dxoi dxj ,
entonces, X t = X k ti...j /xk m m
ik tm...j jk ti...m dxi
dxj . (Las componentes ti...j /xk m m
ik tm...j jk ti...m se denotan
por ti...j;k o por k ti...j .)
5.2 Torsi
on y curvatura
T (f X, Y ) = f X Y Y (f X) [f X, Y ]
= f X Y f Y X (Y f )X f [X, Y ] + (Y f )X
= f T (X, Y ).
66 5. Conexiones
Ejercicio 5.10. Mostrar que si X = X i /xi , Y = Y j /xj , en-
tonces T (X, Y ) = X i Y j Tijk /xk , donde Tijk = kji kij . Mostrar que
es simetrica si y solo si kij = kji .
R(f X, Y )Z = f X Y Z Y f X Z [f X,Y ] Z
= f X Y Z f Y X Z (Y f )X Z
f [X,Y ] Z + (Y f )X Z
= f R(X, Y )Z, para X, Y, Z X(M ), f C (M ).
Ejercicio
5.11.
Mostrar que si X = X i /xi , Y = Y j /xj y
Z = Z k /xk , entonces, R(X, Y )Z = X i Y j Z k Rm kij (/xm ), donde
m
kj m p m p
Rm kij = ki
+ m
pi kj pj ki .
xi xj
y
X R(Y, Z)W + Y R(Z, X)W + Z R(X, Y )W
= R(Y, Z)X W + R(Z, X)Y W + R(X, Y )Z W
+ R([Y, Z], X)W + R([Z, X], Y )W + R([X, Y ], Z)W. (5.14)
bji bm jmk j
m mk
l k
= jmk il bm
i l
= jmk m r
rl bi bi
x x x x xl
68 5. Conexiones
bim
ijk = bm
j , (5.16)
xk
bm
j
ijk = bim . (5.17)
xk
i jk i j (k ), (5.20)
es decir,
T i = dei + i j ej . (5.22)
Estas ecuaciones equivalen a la definicion del tensor de torsion y se conocen
como primeras ecuaciones estructurales de Cartan.
Similarmente, definiendo las 2-formas de curvatura Ri j , con respecto a
la base {1 , . . . , n }, por
Ri j (X, Y ) 12 ei R(X, Y )j , (5.23)
70 5. Conexiones
Ri j (X, Y ) = 1 i
2 e (X Y j Y X j [X,Y ] j )
1 i
k k
1 i
= 2 e X ( j (Y )k ) Y ( j (X)k ) 2 j ([X, Y ])
1
i
i k
= 2 {X j (Y ) + k (X) j (Y )
i
Y j (X)) i k (Y )k j (X) i j ([X, Y ])}
= di j (X, Y ) + (i k k j )(X, Y ),
Ri j = di j + i k k j , (5.24)
T 1 = d(dx) + 1 j dxj = dy dx = e1 e2 ,
T 2 = d(dy) + 2 j dxj = 0,
T 1 = d(dx) + 1 j dxj = y 1 dy dx y 1 dx dy = 0,
T 2 = d(dy) + 2 j dxj = y 1 dx dx y 1 dy dy = 0,
n covariante
5.4 Formas con valores tensoriales y diferenciacio 71
y
R1 1 = d(y 1 dy) + 1 k k 1 = 0,
R1 2 = d(y 1 dx) + 1 k k 2 = y 2 dy dx + y 2 dy dx + y 2 dx dy
= y 2 e1 e2 ,
R2 1 = d(y 1 dx) + 2 k k 1 = y 2 dy dx y 2 dx dy y 2 dy dx
= y 2 e1 e2 ,
R2 2 = d(y 1 dy) + 2 k k 2 = 0. (5.26)
Comparando (5.26) con (5.25) se deduce que las u nicas componentes di-
ferentes de cero del tensor de curvatura estan determinadas por R1 212 =
y 2 = R2 112 .
tener tambien valores que son campos vectoriales o tensoriales. As, el ten-
sor de torsion de una conexion puede considerarse como una 2-forma con
valores vectoriales y el tensor de curvatura como una 2-forma con valores
tensoriales.
Definici
on 5.17. Sea X un campo vectorial y sea una k-forma; el
producto tensorial de X por , denotado por X , se define por
= i i . (5.33)
con
ij...
lm... (X1 , . . . , Xk ) [(X1 , . . . , Xk )](ei , ej , . . . , l , m , . . .). (5.36)
luego,
D2 (t ) = 12 R(i , j )t (ei ej ).
Ejercicio 5.19. Sea una k-forma con valores vectoriales dada por =
i i . Mostrar que D = i (d i + i j j ).
6
Variedades Riemannianas
6.1 El tensor m
etrico
77
78 6. Variedades Riemannianas
gij (p)ai = 0,
X g = 2X i gij dxj .
gij g jk = ik . (6.2)
Puesto que las funciones gij son diferenciables, las funciones g ij tambien
lo son. Ademas, la simetra de las componentes gij implica que g ij = g ji .
Luego, si es un campo covectorial, dado localmente por = i dxi ,
existe un u
nico campo vectorial X tal que
= 12 X g. (6.3)
trico
6.1 El tensor me 79
X j = i g ij . (6.5)
df = 21 (grad f ) g.
Ejercicio 6.8. Mostrar que las isometras de una variedad sobre s misma
forman un grupo bajo la operacion de composicion.
Luego,
j i i k k j
k i
= k j
= j k = j i
= i j
= i k
x x x x x x x x x x x x
j
= k ,
x xi
por lo que 2 j /xk xi = 0 y por consiguiente las componentes j deben
tener la forma
j = ajk xk + bj ,
donde las aij y las bi son constantes. Sustituyendo esta expresion en (6.13)
se obtiene solamente la condicion aji + aij = 0, as que en una variedad de
esta clase, cualquier campo vectorial de Killing tiene la forma
X = Xk k
= g kj j k = g kj (ajl xl + bj ) k
x x x
1 kj l kl j k
= 2 ajl (g x g x ) k + b ,
x xk
donde bk g kj bj . Esto implica que los n(n 1)/2 campos vectoriales
I jl (g kj xl g kl xj ) , j < l, (6.14)
xk
junto con los n campos vectoriales
Mk , (6.15)
xk
forman una base de K(M ), la cual tiene en este caso dimension n(n + 1)/2,
que resulta ser la maxima dimension posible para K(M ), si n es la di-
mension de M .
H(x) = ax2 + bx + c
con lo que se comprueba, en este caso particular, que los campos vectoriales
de Killing forman un algebra de Lie (de dimension 3 en este ejemplo). La
eleccion dada por (6.19) se ha hecho tomando en cuenta que con el grupo
SL(2,R), formado por las matrices 2 2 reales cuyo determinante es igual
a 1, esta asociada un algebra de Lie que posee una base con relaciones
84 6. Variedades Riemannianas
No todos los elementos del grupo SL(2,R) tienen la forma (6.24) o (6.25)
(ver el ejemplo 7.34), sin embargo se puede comprobar directamente que
todos los elementos de dicho grupo determinan isometras de (6.16).
Ejercicio 6.12. Mostrar que si es cualquier matriz pertene-
ciente a SL(2,R) entonces
z +
z = ,
z +
6.2 La conexi
on Riemanniana
[X, Y ] = X Y Y X, (6.28)
X g(Y, Z) = g(X Y, Z) + g(Y, X Z), (6.29)
para X, Y, Z X(M ).
o sea que
2g(X Y, Z) = X g(Y, Z) + Y g(Z, X) Z g(X, Y )
g Z, [Y, X] g Y, [X, Z] g X, [Y, Z] . (6.30)
Esta expresion define los llamados smbolos de Christoffel, los cuales de-
terminan la conexion Riemanniana con respecto a una base holonoma. De
(6.31) se tiene que lji = lij (cf. ejercicio 5.11).
Un segundo caso importante es el de una base rgida, es decir, una base
{1 , . . . , n }, no necesariamente holonoma, respecto a la cual las compo-
nentes del tensor metrico, gij g(i , j ), son constantes. De la propiedad
(6.29) y recordando que i j = l ji l [ver (5.19) y (5.20)] sigue que
0 = i gjk = i g(j , k ) = g(i j , k ) + g(j , i k )
= g(l ji l , k ) + g(j , l ki l ) = glk l ji + gjl l ki ,
se tiene
kji + jki = 0. (6.33)
[i , j ] = i j j i = (k ji k ij )k , (6.34)
es decir, los parentesis de Lie de los campos base dan la parte antisimetrica
en los u ltimos dos ndices de los coeficientes de rotacion de Ricci,
[ij] 12 (k ij k ji ). Estas relaciones (solas o combinadas con la pro-
k
luego
kji = k[ji] j[ki] i[kj] . (6.35)
1
g= dr dr + r2 (d d + sen2 d d), (6.39)
1 kr2
dr dr
g= + rd rd + r sen d r sen d
1 kr 2 1 kr2
dr
e1 , e2 rd, e3 r sen d (6.40)
1 kr2
Calculando la diferencial
de las 1-formas (6.40) se halla que de1 = 0,
1 kr2 1
de2 = dr d = e e2 , de3 = sen dr d + r cos d d =
r
1 kr2 1 cot 2
e e3 + e e3 , lo que, comparado con (6.36) y usando
r r
1 kr2 cot
(6.41) lleva a que 2[12] = = 3[13] , 3[23] = y las demas
2r 2r
i[jk] soniguales a cero. Sustituyendo en (6.35)se obtiene entonces que
122 = 1 kr2 /r, 233 = (cot )/r, 313 = 1 kr2 /r, con todos los
90 6. Variedades Riemannianas
g(Y X, Z) + g(Y, Z X) = 0,
para Y, Z X(M ).
y por lo tanto
x2 x(0) x1 + x(0) x1 x2 e2Rc2 t
x(t) = ,
x2 x(0) + x(0) x1 e2Rc2 t
92 6. Variedades Riemannianas
Ejemplo 6.20. A partir de los tres campos vectoriales de Killing base para
la metrica (6.9), dados en (6.27), por medio del teorema 6.18 se obtienen
las tres cantidades constantes
d d
c1 sen sen cos cos ,
dt dt
d d
c2 cos sen cos sen ,
dt dt
d
c3 sen2 .
dt
Combinando estas ecuaciones se obtiene c1 cos + c2 sen = c3 cot o,
equivalentemente, c1 sen cos + c2 sen sen + c3 cos = 0. Tomando en
cuenta la relacion entre las coordenadas esfericas y las Cartesianas, se ve
que esta ultima ecuacion corresponde a la interseccion de la esfera con el
plano que pasa por el origen dado por c1 x + c2 y + c3 z = 0; es decir, las
geodesicas de S2 son las intersecciones de la esfera con los planos que pasan
por el origen.
usar la definicion [X, Y ]f = X(Y f ) Y (Xf ) junto con (6.6) para estable-
cer la igualdad g(X, [X, Y ]) = X[g(X, Y )] Y [g(X, X)] y emplear despues
(6.28) y (6.29).)
Resulta que, localmente, cualquier geodesica es una curva integral del gra-
diente de una solucion de (6.46); lo que es mas notable y u til es que si
se conoce una solucion completa de (6.46) (concepto que se definira en el
siguiente parrafo) entonces las geodesicas se pueden hallar sin tener que
resolver las ecuaciones diferenciales para las curvas integrales de grad W .
Una solucion completa de (6.46) es una funcion que satisface (6.46) y
depende de n 1 parametros ai , donde n = dim M , de tal manera que las
derivadas parciales de W con respecto a los parametros ai sean (funcional-
mente) independientes. En terminos de un sistema de coordenadas xi , la
ecuacion (6.46) equivale a
W W
g ij = const. (6.47)
xi xj
Derivando esta ecuacion con respecto al parametro ak se obtiene
W W
2g ij = 0. (6.48)
xi xj ak
en " 2 2 #
W W
y2 + = const. (6.50)
x y
Esta ecuacion diferencial parcial puede resolverse por el metodo de sepa-
racion de variables: buscando una solucion de la forma W = F (x) + G(y),
al sustituir en (6.50) y denotando por c2 la constante en el lado derecho de
dicha ecuacion, resulta
2 2
dF c2 dG
= 2 .
dx y dy
6.3 Curvatura
R g ij Rij . (6.62)
Rijkl = gik Rjl gjk Ril gil Rjk + gjl Rik 12 R(gik gjl gil gjk ) (6.65)
as que
e1 = E dx1 , e2 = G dx2 (6.68)
98 6. Variedades Riemannianas
1 E 1 1 E 1
de1 = dx dx2 = e e2
2 E x2 2E G x2
y
1 G 1 1 G 1
de2 = 1
dx dx2 = e e2 .
2 G x 2G E x1
1 E
Comparando con (6.36) se deduce que 1 12 1 21 = , pero
2E G 2 x
puesto que la base dual de (6.68) es ortonormal (i.e., gij = ij ), 1 12
1 21 = 112 121 [ver (6.32)], lo que se reduce a 121 , ya que la an-
1 E
tisimetra (6.33) implica que 112 valga cero, luego, 121 = .
2E G 2 x
1 G
En forma similar se obtiene 212 = , as que las 1-formas de
2G E 1 x
conexion para la base rgida (6.68) estan determinadas por
R12 = R1 2 = d1 2 + 1 1 1 2 + 1 2 2 2 = d1 2 = d12
1 1 G 1 E
= + dx1 dx2
2 x1 EG x1 x2 EG x2
1 1 G 1 E
= + e1 e2 .
2 EG x1 EG x1 x2 EG x2
Sea {X1 , . . . , Xn } X(M ) una base ortonormal para los campos vecto-
riales sobre M , es decir: g(Xi , Xj ) = ij . Existe una n-forma sobre M ,
llamada un elemento de volumen, tal que (X1 , . . . , Xn ) = 1/n!. De hecho,
si {e1 , . . . , en } es la base dual de {X1 , . . . , Xn } se tiene
= e1 e2 en . (6.76)
luego, q
det(cij ) = | det(gij )|,
o, equivalentemente,
d i E dx1 G dx2
E Y 1 +i G Y 2 = E Y 1 +i G Y 2 .
dt 2 EG x2 dt x1 dt
Luego,
E Y 1 + i G Y 2 C(t) = E Y 1 + i G Y 2 C(t0 )
Z
i t 1 E dx1 G dx2
exp dt.
2 t0 EG x2 dt x1 dt
solamente si la 1-forma
1 E 1 G 2
dx dx
2 EG x2 x1
div X = k X k + i ki X k , (6.84)
104 6. Variedades Riemannianas
es decir,
f = | det(gij )|1/2 i1 ...ik jk+1 ...jn i1 ...ik jk+1 ...jn .
Observando que
se tiene,
| det(gij )|1/2
= l1 ...ln g i1 l1 g ik lk i1 ...ik dxlk+1 dxln .
(n k)!
(f 1 + g2 ) = f 1 + g 2 para 1 , 2 k (M ) y f, g C (M ).
7.1 Conceptos b
asicos
106
sicos
7.1 Conceptos ba 107
Ejemplo 7.4. El grupo SL(2,R) esta formado por las matrices 2 2 reales
de determinante igual a 1, con la operacion de multiplicacion matricial
usual. Cualquier
elemento de este grupo en una vecindad de la identidad
a b
tiene la forma , con a 6= 0, por lo que se puede definir
c (1 + bc)/a
el sistema de coordenadas locales (x1 , x2 , x3 ) por
x1 (g) x2 (g)
g= 1 + x2 (g)x3 (g) , x1 (g) 6= 0. (7.1)
3
x (g)
x1 (g)
Haciendo el producto de dos elementos de este grupo, g y g 0 , expresados
en la forma (7.1) se halla que
x1 (gg 0 ) = x1 (g)x1 (g 0 ) + x2 (g)x3 (g 0 ),
1 + x2 (g 0 )x3 (g 0 )
x2 (gg 0 ) = x1 (g)x2 (g 0 ) + x2 (g) , (7.2)
x1 (g 0 )
1 + x2 (g)x3 (g) 3 0
x3 (gg 0 ) = x3 (g)x1 (g 0 ) + x (g ),
x1 (g)
y calculando la inversa de la matriz en (7.1) se deduce que
1 + x2 (g)x3 (g)
x1 (g 1 ) = ,
x1 (g)
x2 (g 1 ) = x2 (g), (7.3)
3 1 3
x (g ) = x (g).
108 7. Grupos de Lie
Ejemplo 7.5. El grupo SU(2) esta formado por las matrices 2 2 comple-
jas, unitarias y de determinante igual a 1, con la operacion de multiplicacion
matricial
usual. Es
facil ver que cualquier elemento de SU(2) tiene la forma
a + ib c + id
, con a2 + b2 + c2 + d2 = 1, lo que significa que el con-
c + id a ib
junto SU(2) se puede identificar con S3 , la esfera de radio 1 en R4 . En
1
una vecindad del elemento identidad se pueden definir las coordenadas x ,
a + ib c + id
x2 , x3 de tal manera que si g = , entonces x1 (g) d,
c + id a ib
q P3
x2 (g) c, x3 (g) b, con lo que a = 1 i=1 [xi (g)]2 . Es decir,
! v
u 3
h(g) + ix3 (g) x2 (g) + ix1 (g) u X
g= , con h t1 (xi )2 > 0.
x2 (g) + ix1 (g) h(g) ix3 (g) i=1
(7.5)
Puede notarse que x1 (e) = x2 (e) = x3 (e) = 0 y que el sistema de coorde-
nadas (x1 , x2 , x3 ) cubre casi la mitad de SU(2) correspondiente a a > 0.
Efectuando el producto de dos matrices de la forma (7.5) es facil ver
que
y
xi (g 1 ) = xi (g). (7.7)
0
Estas expresiones son funciones diferenciables para h(g), h(g ) > 0. Como
en el ejemplo anterior, es necesario considerar sistemas de coordenadas adi-
cionales para cubrir todo el grupo y se comprueba que SU(2) es un grupo
de Lie de dimension 3.
Ejemplo 7.6. Sea SE(2) el grupo de todas las isometras del plano Eu-
clideano que preservan la orientacion (traslaciones y rotaciones rgidas),
con la operacion de grupo siendo la composicion. Tomando coordenadas
cartesianas en el plano, cada elemento g de este grupo
puedecaracterizarse
por tres n umeros reales x(g), y(g) y (g), donde x(g), y(g) son las coor-
denadas del origen una vez que se ha efectuado la transformacion g y (g)
es el angulo que forma el nuevo eje x con el original. Es facil ver que, si gg 0
es la transformacion que se obtiene aplicando g despues de haber aplicado
g 0 , entonces:
Definici
on 7.8. Sea G un grupo de Lie. Un subgrupo de Lie de G es un
subgrupo de G el cual es una subvariedad de G.
Ejercicio 7.9. Mostrar que el conjunto SL(n, R) formado por las matrices
reales nn cuyo determinante es igual a 1, es un subgrupo de Lie de GL(n).
7.2 El
algebra de Lie del grupo
Lg (g 0 ) = gg 0 , para g 0 G.
lgebra de Lie del grupo
7.2 El a 111
Rg (g 0 ) = g 0 g, para g 0 G.
Ejercicio 7.10. Mostrar que Lg1 g2 = Lg1 Lg2 , Rg1 g2 = Rg2 Rg1 y
Rg1 Lg2 = Lg2 Rg1 para g1 , g2 G.
[, ] [X, Y ]e , (7.13)
Ejemplo 7.14. Sea GL(n) el grupo de Lie con las coordenadas xij definidas
en el ejemplo 7.3. Se tiene entonces, (xij Lg )(g 0 ) = xij (gg 0 ) = xik (g)xkj (g 0 ),
para g, g 0 GL(n), o sea que, xij Lg = xik (g)xkj . Cualquier vector tangente
a GL(n) en la identidad tiene la forma = aij (/xij )e , con aij R, y el
campo vectorial invariante por la izquierda correspondiente es
i i k
Xg = Lge = aj Lge = aj (x Lg )
xij e xij e m xkm g
k
= aij i
xp (g)xpm = aij xki (g) ,
xj e k
xm g xkj g
es decir,
X = xki aij . (7.14)
xkj
Luego, los campos vectoriales invariantes por la izquierda sobre GL(n)
estan en correspondencia uno a uno con las matrices n n. Si A (aij ),
se denotara por XA el campo vectorial (7.14).
Si = bij (/xij )e es otro elemento de Te (GL(n)), el campo vectorial in-
variante por la izquierda que le corresponde es entonces XB = xki bij (/xkj ),
donde B (bij ). Un calculo directo muestra que [XA , XB ] = xki (aim bm j
bim am
j )(/x k
j ) y, puesto que x k
i (e) = i
k
, se tiene,
[, ] = [XA , XB ]e = (aim bm
j bim am
j ) .
xij e
Ejemplo 7.15. Para SL(2,R) con las coordenadas definidas por (7.1), las
ecuaciones (7.2) dan
(X1 )g
j
= Lge = (x Lg )
x1 e x1 e xj g
1 + x2 x3
= x1 (g) + x2
(g) (e) + x3
(g)
x1 g (x1 )2 x2 g x3 g
= x1 (g) x2 (g) + x3 (g) ,
x1 g x2 g x3 g
luego
X1 = x1 1
x2 2 + x3 3 (7.15)
x x x
y similarmente se halla que
1 + x2 x3
X2 = x1 , X3 = x2 + . (7.16)
x2 x1 x1 x3
Puesto que SL(2,R) es un subgrupo de Lie de GL(2), los campos vectoriales
invariantes por la izquierda (7.15) y (7.16) deben ser expresables en la forma
(7.14), en terminos de las coordenadas xij . De (7.1) se halla que la inclusion
i : SL(2, R) GL(2) esta dada localmente por
1 + x2 x3
i x11 = x1 , i x12 = x2 , i x21 = x3 , i x22 = ,
x1
deduce que las matrices asociadas con los campos (7.15) y (7.16), en el
sentido definido en el ejercicio anterior, son
1 0 0 1 0 0
X1 7 , X2 7 , X3 7 . (7.17)
0 1 0 0 1 0
(El factor 1/2 incluido en la definicion de los Xi se introduce para que estos
coincidan con la base de su(2) (el algebra de Lie de SU(2)) que se emplea
com unmente.)
X1 x11 + x21 2 x12 1 x22 2 , X2 x11 + x21 2 .
x11 x1 x2 x2 x12 x2
X1 = x +z y w , X2 = x +z .
x z y w y w
7.3 Formas diferenciales invariantes 119
Ejercicio 7.22. Mostrar que una 0-forma en G, es decir, una funcion dife-
renciable f : G R, es invariante por la izquierda si y solo si f es constante.
Ejercicio 7.26. Hallar una base para las 1-formas invariantes por la
izquierda de Rn y de GL(n).
7.3 Formas diferenciales invariantes 121
En particular, si g 0 = e:
aditivo Rn (ver el ejercicio 7.2); sin embargo, dado que las coordenadas xi
(y las y i ) pueden no cubrir todo G, esto no implica que G sea isomorfo a Rn
en forma global, sino solo localmente. De hecho, en general, las constantes
de estructura determinan solo localmente el grupo G.
Un segundo ejemplo de la determinacion del grupo a partir de las cons-
tantes de estructura se tiene considerando el algebra de Lie de dimension
2 dada por (7.21); en este caso las ecuaciones de MaurerCartan dan
d 1 = 0, d 2 = 1 2 . (7.29)
122 7. Grupos de Lie
1 = dx1 , (7.30)
2 = df. (7.31)
d df = dx1 df
lo que lleva a
x1 Lg = x1 + a1 (g), (7.33)
1 1 1
donde a1 (g) es una constante, y d(x2 Lg ) = ex Lg x dx2 = ea (g) dx2 ,
as que
1
x2 Lg = ea (g) x2 + a2 (g), (7.34)
y 2 (g)
y 1 (gg 0 ) = y 1 (g)y 1 (g 0 ), y 2 (gg 0 ) = y 1 (g)y 2 (g 0 ) + .
y 1 (g 0 )
Es facil ver que estas u
ltimas ecuaciones corresponden, por ejemplo, al
grupo formado por las matrices 2 2 que tienen determinante igual a 1 y
la entrada debajo de la diagonal es 0, con la multiplicacion matricial usual,
si los elementos de este grupo se expresan en la forma
1
y (g) y 2 (g)
g= .
0 1/y 1 (g)
son una base de h, el algebra de Lie de H, (lo cual implica que las ma-
trices a (a )ij son base de una subalgebra de Lie de gl(n)) entonces
la restriccion de ( xij )dxjk a H es igual a (a )ik a , donde las 1-formas a
son invariantes por la izquierda en H y forman la base dual de la base (7.37).
Puesto que, en cada punto de H, los campos vectoriales Xa dan una base
del espacio tangente a H, de las relaciones anteriores se deduce que la res-
triccion de ( xij )dxjk a H coincide con (b )ik b .
Ejemplo 7.30. La base de sl(2, R) (el algebra de Lie de SL(2,R)) dada por
(7.15) y (7.16) tiene la forma (7.37), donde las matrices a son las matrices
dadas en (7.17). Usando la expresion (7.1) se halla facilmente que
1 + x2 x3 1
g 1 dg = dx x2
dx3
1
x1
2
x (1 + x2 x3 ) 1 dx2 (x2 )2 3
+ dx + dx 2 + (x1 dx3 x3 dx1 )3 .
(x1 )2 x1 x1
Los coeficientes de las matrices a son las 1-formas invariantes por la
izquierda que forman la base dual de (7.15) y (7.16), como se puede com-
probar directamente.
lo que significa que s0 = Rgs e , que es el valor en (s) del campo vectorial
invariante por la derecha que vale en la identidad.
dy 1 dy 2
= ay 1 , = by 1 ,
dt dt
donde, por abuso de la notacion, se ha escrito y i en lugar de y i C, con la
condicion inicial y 1 (0) = 1, y 2 (0) = 0 (para que la curva integral de X se
128 7. Grupos de Lie
inicie en e). Es facil ver entonces que y 1 (t) = eat , y 2 (t) = b(eat 1)/a, es
decir,
at b at
e (e 1)
exp tX = a .
0 1
cuya solucion es
a cos K t + b sen K t si K [(a1 )2 + a2 a3 ] > 0,
f (t) = a cosh K t + b senh K t si K < 0,
a + bt si K = 0,
que
sen K t
cos K t I + A si K > 0,
K
exp tai Xi = senh K t (7.42)
cosh K t I + A si K < 0,
K
I +tA si K = 0,
a1 a2
donde I es la matriz identidad 22 y A . (Notese que K =
a3 a1
det A.) A pesar de que para obtener las expresiones anteriores se utilizo un
sistema de coordenadas local, las ecuaciones (7.42) son validas globalmente
(es decir, para cualquier valor
de t y para cualquier X sl(2, R)).
a 0
La matriz , con a < 0 y a 6= 1, pertenece a SL(2,R)
0 1/a
pero no puede expresarse en la forma exp X, como puede verse de (7.42),
a 0
aun cuando el conjunto SL(2,R) es conexo. Sin embargo, =
0 1/a
1 0 a 0
= exp (X2 X3 ) exp ln |a|X1 .
0 1 0 1/a
dg
= gA,
dt
donde g (xij ), con g|t=0 = I (la matriz identidad n n), es facil ver que
P
la solucion esta dada por g(t) = m=0 (tA)m /m!, por lo que
X
(tA)m
exp tXA = . (7.43)
m=0
m!
130 7. Grupos de Lie
7.5 El
algebra de Lie de los campos invariantes por la derecha
X g = Rge X e , (7.45)
por lo que tambien hay una correspondencia uno a uno entre g y Te (G) y la
dimension de g es la misma que la de Te (G). Usando esta correspondencia
se puede definir un segundo parentesis entre elementos de Te (G) que se
denotara por [ , ] . Si , Te (G),
[, ] [X,
Y ]e (7.46)
Lgt Y Y
Y ] = Y = lim
[X, (7.47)
X t0 t
y, de la definicion (7.46), la ecuacion (7.45) y la regla de la cadena, se tiene
(Lgt Y )e Lg1 g Y gt
[, ] = lim = lim t t
t0 t t0 t
lgebra de los campos invariantes por la derecha
7.5 El a 133
t0 t t0 t
(Rgt Lg1 )e Rgt g1 Yg1
= lim t
= lim t t
t0 t t0 t
(Rg1 Y )e Ye
= lim t
t0 t
donde Y es el campo vectorial invariante por la izquierda tal que = Ye .
Por otra parte, el vector tangente a la curva (t) Rg1 (g 0 ) = g 0 gt1 =
t
0
g gt = Lg0 (gt ) en t = 0 satisface
d d d
0
0 [f ] =
f (t) =
(f Lg0 )(gt ) = (f Lg0 )(gu )
dt t=0 dt t=0 du u=0
= [f Lg0 ] = (Lg0 e )[f ] = Xg0 [f ],
(Rg1 Y )e Ye
lim t
= (X Y )e = [X, Y ]e = [X, Y ]e = [, ]. (7.48)
t0 t
Los grupos de Lie encontrados mas com unmente surgen como grupos de
transformaciones en alguna variedad o alg
un espacio vectorial.
ua efectivamente sobre M y X + = 0,
Ejercicio 7.47. Mostrar que si G act
entonces X = 0.
136 7. Grupos de Lie
Teorema 7.48. Sea G un grupo de Lie que actua por la derecha sobre una
variedad M y sean X, Y g, entonces [X , Y ] = [X, Y ]+ .
+ +
Rgt Y + Y +
[X + , Y + ] = X + Y + = lim .
t0 t
El valor de Rgt Y + en un punto x M esta dado por [ver (2.20), (7.49) y
(1.33)]
Por otra parte, (Rg1 xgt )(g 0 ) = Rg1 (xgt g 0 ) = xgt g 0 gt1 = (x Rg1
t t t
Lgt )(g 0 ), para g 0 G, luego
(Rgt Y + )x Yx+
[X + , Y + ]x = lim
t0 t
xe (Rg1 gt Ygt ) xe Ye
= lim t
t0 t
(Rgt Y )e Ye
= xe lim = xe (X Y )e
t0 t
= xe ([X, Y ])e = [X, Y ]+
x
[X + , Y + ] = [X, Y ]+ .
Es facil ver que la ecuacion (7.50) define una accion por la derecha sobre
R3 la cual no es efectiva, porque al sustituir g y g en (7.50) dan la
misma transformacion, ni es libre, porque (0, 0, 0)g = (0, 0, 0) para todo
g G. De hecho, esta accion es una representacion lineal de SL(2,R)
sobre R3 y cualquier representacion lineal no es una
taccion libre. De los
e 0
resultados del ejemplo 7.31 se tiene que exp tX1 = [ver (7.42)]
0 et
y sustituyendo g = exp tX1 en (7.50) se obtiene la matriz
et 0 x y+z et 0
0 et yz x 0 et
x e2t (y + z)
= 2t
e (y z) x
que corresponde al punto de R3 (x, y cosh 2tz senh 2t, y senh 2t+z cosh 2t)
(el cual es, entonces, (x, y, z) exp tX1 ). El vector tangente a la curva
t 7 (x, y cosh 2t z senh 2t, y senh 2t + z cosh 2t) en t = 0 es (X1+ )(x,y,z) =
2z(/y)(x,y,z) 2y(/z)(x,y,z) , luego, X1+ = 2z(/y) 2y(/z).
138 7. Grupos de Lie
1 t 1 0
En forma similar, usando que exp tX2 = y exp tX3 =
0 1 t 1
+
[ver (7.42)], se halla que X2 = (z y)(/x) + x(/y) + x(/z) y
X3+ = (y + z)(/x) x(/y) + x(/z). Es facil comprobar directa-
mente que las constantes de estructura para {X1+ , X2+ , X3+ } son iguales a
las de la base de SL(2,R) dada por (7.15) y (7.16).
La accion sobre R3 definida por (7.50) no es transitiva; de hecho, cada
superficie x2 + y 2 z 2 = constante, es invariante bajo esta accion, lo cual
se deduce de que Xi+ [x2 + y 2 z 2 ] = 0, para i = 1, 2, 3, o notando que
2 2 2 x y+z
x + y z = det y que el determinante es invariante
y z x
bajo cualquier transformacion de similaridad como (7.50).
Ejemplo 7.51. El grupo SO(3) formado por las matrices 3 3 reales, or-
togonales con determinante igual a 1, corresponde a las rotaciones alrede-
dor del origen en R3 . La accion (por la derecha) de cualquier elemento
g SO(3) sobre un punto de R3 , (a1 , a2 , a3 ) a, esta dada por el producto
matricial ag, es decir, Rg (a) = ag. Considerando SO(3) como subgrupo de
Lie de GL(3), se pueden emplear las coordenadas xij de este u ltimo para eti-
quetar los elementos de SO(3) y denotando por xi las coordenadas usuales
de R3 (e.g., xi (a) = ai ) se tiene, (xi a )(g) = xi (ag) = xj (a)xji (g), por
lo que
xi a = xj (a)xji . (7.51)
antisimetricas. Una base para esta subalgebra esta dada por las matrices
0 0 0 0 0 1 0 1 0
S1 0 0 1 , S2 0 0 0 , S3 1 0 0 ,
0 1 0 1 0 0 0 0 0
(7.52)
las cuales satisfacen las relaciones de conmutacion
3
X
[Si , Sj ] = ijk Sk . (7.53)
k=1
En forma abreviada, las matrices Si estan dadas por (Si )jk = ijk . Iden-
tificando un elemento arbitrario de so(3) con la combinacion lineal bi Si , es
decir, haciendo Xe = (bk Sk )ij (/xij )e , de (7.49) y (7.51) se obtiene
Xa+
k
= ae Xe = (b Sk )ij ae k i
= b (Sk )j [xm a ]
xij e xij e xm a
X3
= bk (Sk )ij xl (a)xl
m = b k
klm x l (a) .
xij e xm a xm a
l=1
Luego, X + k
=b Sk+ , con
3
X
Sk+ = klm xl . (7.54)
xm
l=1
Ejercicio 7.52. Mostrar que [Ad g(X), Ad g(Y )] = Ad g([X, Y ]), para
X, Y g y g G; es decir, Ad g es un homomorfismo de g en s misma.
Ejercicio 7.53. Sea X un elemento del algebra de Lie de GL(n) tal que
Xe = aij (/xij )e , donde las xij son las coordenadas naturales de GL(n).
Mostrar que [Ad g(X)]e = xki (g)aij xjm (g 1 )(/xkm )e .
141
142 nica cla
8. Meca sica Hamiltoniana
p p p (8.4)
Por lo tanto
= pi dq i . (8.6)
Esta expresion muestra que es diferenciable, esto es, que es una 1-forma
sobre T (M ), la cual recibe el nombre de 1-forma fundamental de T (M ).
Si M1 y M2 son dos variedades diferenciables y : M1 M2 es un
difeomorfismo, se define : T (M1 ) T (M2 ) por
p ) p ( 1 )(p) ,
( para p Tp (M1 ). (8.7)
es decir,
2 = 1 . (8.8)
2(
p ) (p v) = 1 (p ) (1p v) = p (1p v), (8.9)
( 2 )p (v) = 2 (
p ) (p v)
p )[
= (
2(p ) (p v)]
p )[p (1 v)]
= ( p
= p ( 1 )(p) [p (1p v)]
= p ( 1 )p (1p v)
= p (1p v) = 1p (v),
144 nica cla
8. Meca sica Hamiltoniana
es decir, 1 = 2 .
0 0
( pi )(p ) = pi ((p )) = (p )
x0i (p)
= p ( 1 )(p)
x0i (p)
k 1
= p (x )
x0i (p) xk p
(xk 1 )
= ((p)) pk (p ),
x0i
es decir,
k 1
0 (x )
pi = 1 pk , (8.10)
x0i
p X p = Xp , p Tp (M ), (8.11)
d = dpi dq i , (8.12)
X d = df, (8.14)
X d = X d(d) + d(X d)
aX+bY d = aX d + bY d = 0, para a, b R,
[X, Y ] d = (X Y ) d
= X (Y d) Y X d
= X (Y d)
= X d(Y d) + d X (Y d)
= d X (Y d) . (8.15)
y de (8.15) y (8.16),
fX (p ) (X )(p ) = p (X p ) = (p p )X p
= p (p X p ) = p (Xp ), para p Tp (M ). (8.24)
es decir,
fX = pi (X i ) = pi ( X i ). (8.25)
ntesis de Poisson 149
8.2 Campos vectoriales Hamiltonianos y el pare
i.e.,
f[X,Y ] = [X, Y ] . (8.26)
Una expresion alternativa para la funcion f[X,Y ] se obtiene de la si-
guiente forma, usando las propiedades de la derivada de Lie (2.22) y (2.36)
y que X = 0, de (8.26) sigue que
f[X,Y ] = [X, Y ] = (X Y ) = X (Y ) Y X
= X (Y ) = X fY = XfY . (8.27)
H H
XdH = i
pi q i q pi
por lo que las curvas integrales de XdH estan dadas por las ecuaciones [ver
(2.4)]
dq i H dpi H
= , = i, (8.33)
dt pi dt q
por
d
(f C) = Ct00 [f ] = (XdH )C(t0 ) [f ] = (XdH f )(C(t0 ))
dt t=t0
= {H, f }(C(t0 )). (8.34)
t q 1 = q 1 + t, t q 4 = q 4 + t, t q i = q i , si i 6= 1, 4, t pi = pi .
3
X
Xi = ijk xj k + xj+3 k+3 , i = 1, 2, 3. (8.37)
x x
k=1
3
X X 3
Xi = ijk q j k + q j+3 k+3 + ijk pj + pj+3
q q j=1
pk pk+3
k=1
8.4 Geod
esicas, el principio de Jacobi y
optica geom
etrica
H = 12 ( g ij )pi pj , (8.38)
H = 12 ( g ij )pi pj + V, (8.40)
H V
h , (8.41)
E V
156 nica cla
8. Meca sica Hamiltoniana
y, en el caso en que el sistema mecanico este formado por una sola partcula
de masa m, escogiendo la constante arbitraria que aparece en (8.43) como
2m, la ecuacion (8.43) se convierte en la ecuaci on de HamiltonJacobi para
la funcion caracterstica de Hamilton,
1 ij W W
g + V = E. (8.44)
2m xi xj
El formalismo de la mecanica Hamiltoniana es aplicable a la optica
geometrica en la cual se supone que la luz viaja a lo largo de curvas (los
rayos de luz). Para un medio isotropo, la velocidad de la luz en cada punto
del medio no depende de la direccion del rayo y se puede expresar como
c/n, donde c es la velocidad de la luz en el vaco y n es una funcion de
valores reales definida en el espacio por el que se propagan los rayos de luz,
el cual se supondra que es una variedad propiamente Riemanniana, M . La
funcion n se conoce como ndice de refraccion.
Puesto que c/n es la velocidad de la luz en cada punto de M , si la curva
C : [a, b] M representa un rayo de luz, el tiempo necesario para que la
luz vaya del punto C(a) a C(b) a lo largo de C es
Z Z q
1 b 0 1 b
n C(t) kCt k dt = n2 C(t) g(Ct0 , Ct0 ) dt, (8.45)
c a c a
donde g es el tensor metrico de M . La variable t no tiene que ser el tiempo,
ya que la integral (8.45) es invariante bajo cambios de parametro. Esta
invariancia es similar a la de la integral (6.1), que da la longitud de una
curva. De hecho, comparando (8.45) con (6.1), se deduce que la integral
en (8.45) representa la longitud de C definida por el tensor metrico n2 g.
De acuerdo con el principio de Fermat, dados dos puntos de M , la
trayectoria seguida por la luz para ir de un punto al otro es aquella para
la cual el tiempo requerido es un mnimo o un valor estacionario. Esto
implica que los rayos de luz sean las geodesicas de la metrica n2 g. Luego,
los rayos de luz son las proyecciones sobre M de las curvas integrales de
XdH , con la funcion Hamiltoniana, H, dada localmente por
ij
c g
H = pi pj (8.46)
2 n2
(cf. (8.38) y (8.42); el factor constante c incluido en (8.46) se introduce
para que ( g ij )pi pj no tenga dimensiones). De las ecuaciones de Hamilton
(8.33) y (8.46) se deduce que si es una curva integral de XdH ,
ij
dq i ((t)) g
= c 2
pj (t)
dt n
158 nica cla
8. Meca sica Hamiltoniana
donde 1 y 2 son los angulos que hace el rayo de luz con el eje z en las
regiones z > 0 y z < 0, respectivamente. El que px y py sean constantes
implica que el rayo incidente, el rayo refractado y el eje z sean coplanares.
La ecuacion (8.50) es la expresion usual de la ley de Snell.
Utilizando nuevamente el resultado del ejercicio 6.21, los rayos de luz en
un medio homogeneo se pueden obtener a partir de una solucion completa
de la ecuacion diferencial parcial
W W
g ij = const. n2 (8.51)
xi xj
[cf. (6.47) y (8.43)]. Eligiendo que la constante arbitraria que aparece en
esta ecuacion sea igual a 1, la ecuacion que se obtiene es la ecuaci
on iconal
(y W recibe el nombre de iconal ). De acuerdo con el resultado del ejercicio
6.21, los rayos de luz son ortogonales a las superficies W = const. (las
cuales representan los frentes de onda).
X + d = dX (8.52)
G se deduce que
d[X,Y ] = [X, Y ]+ d = [X + , Y + ] d
= d{X , Y }, para X, Y g, a, b R.
[aX+bY,Z] {aX+bY , Z }
= a[X,Z]+b[Y,Z] {aX + bY , Z }
= a[X,Z] + b[Y,Z] a{X , Z } b{Y , Z },
c(X, Y ) = [X,Y ] {X , Y }
= 0[X,Y ] + h([X, Y ]) {0X + h(X), 0Y + h(Y )}
= 0[X,Y ] {0X , 0Y } + h([X, Y ]) = h([X, Y ]), para X, Y g.
162 nica cla
8. Meca sica Hamiltoniana
De acuerdo con los resultados anteriores, los campos Xi+ sobre el espacio
fase inducidos por la accion (8.56) de SU(n) son Hamiltonianos, al menos
localmente. En lo que sigue se trata explcitamente el caso con n = 2,
mostrandose que los campos X + son globalmente Hamiltonianos y que las
funciones X pueden escogerse de tal manera que la aplicacion X 7 X es
un homomorfismo de algebras de Lie.
Sustituyendo en (8.56) la matriz U = exp tai Xi dada por (7.44) y
usando (8.57) se halla que
h 1 i1
1 1 2 2
Rexp tai Xi q = q cos(Kt/2) + a q + (a3 p1 + a1 p2 ) sen (Kt/2),
m K
h 1 i 1
2 2 2 1
Rexp tai Xi q = q cos(Kt/2) a q (a1 p1 a3 p2 ) sen (Kt/2),
m K
h i1
2 3 1 1 2
Rexp tai Xi p1 = p1 cos(Kt/2) + a p2 m(a q + a q ) sen (Kt/2),
K
h i1
2 1 1 3 2
Rexp tai Xi p2 = p2 cos(Kt/2) a p1 + m(a q a q ) sen (Kt/2),
K
y calculando el vector tangente en t = 0 a la curva dada por estas expre-
siones se obtiene el campo vectorial
1 h 2 2 a3 p1 + a1 p2 i 1h a1 p1 a3 p2 i
(ai Xi )+ = a q + 1
+ a2 q 1 +
2 m q 2 m q 2
1 h i 1 h i
+ a2 p2 m(a3 q 1 + a1 q 2 ) + a2 p1 m(a1 q 1 a3 q 2 )
2 p1 2 p2
(8.58)
el cual es globalmente Hamiltoniano; su contraccion con d da d(ai Xi ),
donde
1
X1 = p1 p2 + m2 2 q 1 q 2 ,
2m
164 nica cla
8. Meca sica Hamiltoniana
1
X2 = (p1 q 2 p2 q 1 ), (8.59)
2
1
X3 = (p1 )2 (p2 )2 + m2 2 (q 1 )2 (q 2 )2 .
4m
Es facil comprobar directamente que estas funciones satisfacen las rela-
ciones
X3
{Xi , Xj } = ijk Xk , (8.60)
k=1
P3
las cuales son analogas a las relaciones [Xi , Xj ] = k=1 ijk Xk que satis-
face la base de su(2) dada por (7.18). Una forma conveniente de calcular
los parentesis de Poisson del lado izquierdo de (8.60) consiste en emplear la
definicion (8.19), que da {Xi , Xj } = Xi+ Xj , notando que el campo vec-
torial Xi+ es el coeficiente de ai en el lado derecho de (8.58). Por ejemplo,
de (8.58) y (8.59) se halla que
{X1 , X2 }
1 p2 p1 1
= 1
+ 2
mq 2 mq 1 (p1 q 2 p2 q 1 ) = X3 .
2 m q m q p1 p2 2
Ejemplo 8.21. Las rotaciones alrededor del origen en R3 , las cuales for-
man el grupo SO(3), dejan invariante la esfera S2 as como su elemento
de area, el cual se denotara por . La 2-forma define una estructura
simplectica para S2 (ver el ejemplo 8.12) y, en virtud de las invariancias ya
mencionadas, los campos vectoriales X + inducidos por la accion de SO(3)
en R3 son tangentes a S2 y son, al menos, localmente Hamiltonianos. De
hecho, expresando los campos vectoriales Sk+ , dados en el ejemplo 7.51, en
terminos de las coordenadas esfericas se halla que
S1+ = sen + cot cos ,
S2+ = cos + cot sen , (8.61)
S3+ = ,
8.5 Grupos de simetra dina
mica 165
lo que muestra que estos campos vectoriales son tangentes a la esfera y con-
trayendolos con = sen dd, se obtiene d(sen cos ), d(sen sen )
y d cos , respectivamente [cf. (8.40)], lo que muestra que los Sk+ son lo-
calmente Hamiltonianos. (Puesto que las coordenadas esfericas no estan
definidas globalmente en S2 , de los calculos anteriores no se deduce de in-
mediato que los Sk+ sean globalmente Hamiltonianos; por ejemplo, en el
dominio de las coordenadas esfericas, = d( d cos ), sin embargo, no
es una 2-forma exacta.)
P3
En el presente caso, de (7.53) sigue que Sk = 12 i,j=1 kij [Si , Sj ], por
P3
consiguiente, Sk+ = 12 i,j=1 kij [Si+ , Sj+ ] y puesto que, de acuerdo con el
Lema 8.5, el parentesis de Lie de dos campos vectoriales localmente Ha-
miltonianos es globalmente Hamiltoniano, los campos vectoriales Sk+ son
globalmente Hamiltonianos. Puede notarse que Sk+ = d xk , donde xk
es la restriccion de la coordenada cartesiana xk a S2 .
X = X + , para X g. (8.62)
Ademas, de (8.62),
(notese que el smbolo aparece aqu con dos significados distintos), donde
se ha hecho uso de las definiciones
p 1
2 p0 csc2 (/2)(x sen cos + y sen sen + z cos ),
p p0 cot(/2)(x cos cos + y cos sen z sen ), (8.66)
p p0 cot(/2) sen (x sen + y cos ),
por lo que las curvas integrales de XdH y Xdh solo difieren en la parame-
trizacion. Por otra parte, sustituyendo (8.67) en (8.68) se obtiene
" !#
1 2 1 2
p2
h= p + p + , (8.70)
2 sen2 sen2
Li Si , y Ki S i , (8.75)
respectivamente [ver (8.23)]. En terminos de la notacion usada en (8.23),
Li = fSi y Ki = fS i . Entonces, de acuerdo con (8.28) y (7.53), los
parentesis de Poisson entre las funciones Li estan dados por
3
X 3
X
{Li , Lj } = {fSi , fSj } = f[Si ,Sj ] = ijk fSk = ijk Lk . (8.76)
k=1 k=1
componente del momento angular del cuerpo rgido con respecto a los ejes
fijos en el cuerpo. Similarmente, la funcion Ki corresponde a la i-esima
componente del momento angular del cuerpo rgido con respecto a la base
canonica de R3 (los ejes fijos en el espacio). Del teorema 7.40 y (7.53)
P3
sigue que [S i , S j ] = k=1 ijk S k , y usando nuevamente (8.28) se deduce
que los parentesis de Poisson entre las funciones Ki estan dados por
3
X
{Ki , Kj } = ijk Kk . (8.77)
k=1
0ki dxi ,
Sk = M 0ik , k = M (8.84)
xi
se obtiene
En este caso, las 1-formas de conexion para la base formada por los Si
son i j = 21 Iijk k y de las segundas ecuaciones estructurales de Cartan
(5.18) se halla entonces que Ri j = 14 I i j , o, equivalentemente, Rijkl =
1
4 I(ik jl il jk ), lo que corresponde a un espacio de curvatura constante
(cf. ejemplo 6.16). Con esta metrica, SO(3) es localmente isometrico a la
esfera S3 . (Globalmente, sin embargo, SO(3) y S3 son distintos; mientras
que S3 es simplemente conexo, SO(3) no lo es.) Usando, por ejemplo, las
expresiones dadas por (8.90) para las 1-formas i en terminos de los angulos
de Euler se halla que la metrica Iij i j equivale a I[d d + d
d + d d + cos (d d + d d)].
Regresando al caso general, de (8.95) sigue que la energa cinetica de
un cuerpo rgido con un punto fijo tambien se puede expresar en la forma
T = 12 ( g ij )pi pj , (8.96)
0k M
donde (g ij ) es la matriz inversa de la matriz de elementos gij Ikl M 0l
i j
[ver (8.95)]. De acuerdo con (8.85), se tiene entonces
T = 21 I ij Li Lj , (8.97)
los ejes del sistema de coordenadas fijo en el cuerpo son ejes principales
del tensor de inercia (con respecto a los cuales la matriz (Iij ) es diagonal,
(Iij ) = diag(I1 , I2 , I3 )), la Hamiltoniana es entonces
L12 L2 L2
H= + 2 + 3 + V (q i ), (8.98)
2I1 2I2 2I3
dL1
= {H, L1 }
dt
1 1 1
= {L1 , L1 }L1 + {L2 , L1 }L2 + {L3 , L1 }L3 + {V, L1 }
I1 I2 I3
1 1
= L2 L3 + L2 L3 + {V, L1 }.
I2 I3
Usando ahora que Li = Ii i (sin suma sobre i), donde las i son las
componentes de la velocidad angular del cuerpo con respecto a los ejes
principales, se tiene
d1
I1 (I2 I3 )2 3 = N10 , (8.99)
dt
donde N10 {V, L1 }. En forma analoga se halla que
d2
I2 (I3 I1 )1 3 = N20 ,
dt
d3
I3 (I1 I2 )1 2 = N30 , (8.100)
dt
con Ni0 {V, Li }. Dado que la funcion Li genera rotaciones alrededor del
eje e0i (fijo en el cuerpo), las funciones Ni0 corresponden a las componentes
de la torca con respecto a los ejes fijos en el cuerpo. En forma analoga,
el parentesis de Poisson de la energa potencial con pi que genera trasla-
ciones en la direccion q i , de acuerdo con (8.21), es {V, pi } = V /q i ,
que es una componente de la fuerza. Las ecuaciones (8.99) y (8.100) se
conocen como ecuaciones de Euler. Cuando V = 0, la torca es igual a cero
y la Hamiltoniana (8.98) se reduce a la energa cinetica T , la cual esta dada
por (8.97) o por (8.96), por lo que las ecuaciones de Euler (8.99) y (8.100)
con Ni0 = 0 equivalen a las ecuaciones para las geodesicas de la metrica
Iij i j .
8.6 El cuerpo rgido y las ecuaciones de Euler 177
Ademas
d H p
= = , (8.103)
dt p I1
por lo que, de (8.101)(8.103) se obtiene la ecuacion separable
I1 d2 (p cos p )2 0
p2
+ + mgl cos = E E , (8.104)
2 dt2 2I1 sen2 2I3
a la que se llega tambien por medio del formalismo Lagrangiano.
Ap
endice A
Algebras de Lie
Definici on A.1. Un
algebra de Lie, L, sobre un campo K, es un espacio
vectorial sobre K, el cual posee ademas una aplicacion de L L en L,
usualmente denotada por [ , ], tal que
i) es bilineal:
para u, v, w L, a, b K,
ii) es antisimetrica:
[u, v] = [v, u], (A.3)
para u, v L (en virtud de (A.3), la linealidad del parentesis por la derecha
(A.1) implica la linealidad por la izquierda (A.2) y recprocamente),
iii) satisface la identidad de Jacobi:
[u, [v, w]] + [v, [w, u]] + [w, [u, v]] = 0, (A.4)
178
Algebras de Lie 179
y
cm l m l m l
ij ckm + cjk cim + cki cjm = 0. (A.6)
Definici
on A.3. Sea L un algebra de Lie. Una sub algebra, M , de L es un
subconjunto de L el cual es un algebra de Lie con las operaciones heredadas
de L.
x y
Ejemplo B.1. Las matrices reales 2 2 de la forma , con
0 1
x > 0, forman un subgrupo de Lie de GL(2). Usando el teorema 7.29, de
la ecuacion
1
x y dx dy x1 yx1 dx dy
=
0 1 0 0 0 1 0 0
181
182 ndice B
Ape
x1 dx x1 dy 1 1 0 1 0 1
= =x dx +x dy
0 0 0 0 0 0
se deduce que
1 x1 dx, 2 x1 dy,
forman una base para las 1-formas invariantes por la izquierda. Usando que
el mapeo de inversion, (g) = g 1 , esta dado por x = x1 , y = yx1 ,
se halla que la base de las 1-formas invariantes por la derecha i = i ,
es
1 = x1 dx, 2 = yx1 dx + dy
cuya base dual esta dada por
X 1 = x +y , X 2 = . (B.2)
x y y
que es la metrica del semiplano de Poincare [ver (6.16)], la cual posee tres
campos vectoriales de Killing linealmente independientes (ver el ejemplo
6.11).
aim cm m
jk + ajm cik = 0, (B.4)
donde las cijk son las constantes de estructura de G con respecto a la base
{ i }.
Puesto que los coeficientes aij en (B.1) son constantes, la base dual
{Xi } de { i } es un base rgida con respecto a la metrica aij i j , as que
comparando [Xi , Xj ] = ckij Xk con (6.34) se deduce que ckij = k ji k ij
2k [ji] , donde los i jk son los coeficientes de rotacion de Ricci para la base
{Xi }. Usando la identidad (6.35) se halla que
ijk = 21 (aim cm m m
kj ajm cki akm cji ). (B.5)
tricas invariantes
Me 183
Ri jkl = 41 (cm i m i 1 i m
jk cml cjl cmk ) = 4 cmj ckl . (B.7)
cm im
kj = 2a b ijk , (B.8)
Ejercicio B.3. Probar que para cualquier grupo de Lie, G, los campos
vectoriales invariantes por la izquierda Xi y los invariantes por la derecha
X i son linealmente independientes si y solamente si el centro del algebra
de Lie del grupo es {0}; es decir, si y solamente si el u nico elemento de g
cuyo parentesis de Lie con todos los elementos del algebra se anula es el cero.
184 ndice B
Ape
gim cm m s r m s r m
jk + gjm cik = cir cms cjk cjr cms cik
= csir (cm r m r s r m
ks cmj + csj cmk ) cjr cms cik
= (cski cm s m r s m r s r m
rs crk cis )cmj + cir csj cmk cjr cms cik = 0.
gij i j = 2{d d + d d + d d
+ cos (d d + d d)}. (B.14)
i (dx dx + dy dy + dz dz + dw dw)
= 14 {d d + d d + d d + cos (d d + d d)},
186 ndice B
Ape
la cual, excepto por un factor 1/8, coincide con la metrica (B.14). Esto
significa que la metrica (B.14) que, como ya se ha probado, es la de un espa-
cio de curvatura constante, es esencialmente la metrica estandar de S3 (que
es, claramente, un espacio de curvatura constante). Ademas, los campos
vectoriales invariantes por la izquierda Si [dados por (8.91)] o por la derecha
S i [dados por (8.93)] de SU(2), son campos vectoriales de Killing para la
metrica (B.14) y, por lo tanto, para S3 . Luego, el algebra de Lie de los
campos vectoriales de Killing de S3 , que es precisamente so(4) (el algebra
de Lie de SO(4)), tiene una base formada por {S1 , S2 , S3 , S 1 , S 2 , S 3 },
la cual cumple las relaciones
P3 P3
[Si , Sj ] = k=1 ijk Sk , [(S i ), (S j )] = k=1 ijk (S k ),
[Si , (S j )] = 0, (B.16)
luego, so(4) es la suma directa de dos copias de su(2)
so(4) = su(2) su(2). (B.17)
Cada g SU(2) puede considerarse como un punto de S3 (expresando
g en la forma (B.15) y tomando las x, y, z, w correspondientes como
las coordenadas de un punto en S3 ) y para cualquier g1 SU(2), tanto
Lg1 como Rg1 son isometras para la metrica (B.14); luego, si (g1 , g2 )
SU(2) SU(2), la aplicacion g 7 Lg1 Rg2 g = g1 gg2 = Rg2 Lg1 g, de SU(2)
sobre SU(2), puede verse como una aplicacion isometrica de S3 sobre S3 . De
hecho, cualquier isometra de S3 que no cambie la orientacion se obtiene de
esta manera, con g1 y g2 determinados hasta un signo; si (g1 , g2 ) SU(2)
SU(2), entonces (g1 , g2 ) SU(2) SU(2) y Lg1 Rg2 = Lg1 Rg2 . De lo
anteriormente dicho se concluye tambien que cualquier rotacion alrededor
del origen en R4 se puede representar en la forma
x0 + iy 0 z 0 + iw0 x + iy z + iw
= g1 g2 (B.18)
z 0 + iw0 x0 iy 0 z + iw x iy
[cf. (7.50)] con g1 , g2 SU(2) determinados hasta un signo. (Este resultado
es la contraparte de (B.17).)
as que
gij i j = 4(2 1 1 + 2 3 + 3 2 )
= 2{d d + d d + d d
+ cosh (d d + d d)} (B.23)
j = 8 1 1 2( 2 + 3 ) ( 2 + 3 ) + 2( 2 3 ) ( 2 3 ), lo
cual muestra explcitamente que esta metrica es pseudo-Riemanniana.) Tal
como ocurre en el caso de SU(2), tratado en el ejemplo anterior, SL(2,R)
con la metrica (B.10) puede identificarse con una subvariedad de R4 si en
este u
ltimo se usa una metrica plana pseudo-Riemanniana.
Cualquier elemento de SL(2,R) tiene la forma
x+w y+z
, (B.24)
zy xw
i (dx dx + dy dy dz dz dw dw)
= 14 {d d + d d + d d + cosh (d d + d d)}
y coincide, excepto por un factor 1/8, con la metrica (B.23). Luego, por la
biinvariancia de (B.23), los campos vectoriales invariantes por la izquierda
de SL(2,R), junto con los invariantes por la derecha son campos vectoriales
de Killing para la metrica (B.23) y para la metrica inducida en N . Por
otro lado, N y la metrica dx dx + dy dy dz dz dw dw son
invariantes bajo las transformaciones lineales de R4 en R4 representadas
por las matrices reales 4 4, A, con determinante igual a 1 tales que
1 1
1 1
At
A =
,
(B.25)
1 1
1 1
190
Bibliografa 191
algebra can
onicas
de formas diferenciales, 43 coordenadas, 150
de Lie, 13, 111, 178 transformaciones, 146
simple, 180 carta, 1
homomorfismo de, 117 local, 1
192
Indice alfabe
tico 193
subatlas, 2
subgrupo
de Lie, 110, 118
uniparametrico, 125
subvariedad, 5
SU(n), 162
tensor
contravariante, 22
covariante, 19
de curvatura, 94
de curvatura conforme, 96
de inercia, 174
de Ricci, 96
de Weyl, 96
metrico, 77
torca, 176
torsi
on, 65
transformacion canonica, 146
transporte paralelo, 60
variedad, 2
diferenciable, 2
geodesicamente completa, 92
integral, 53
no orientable, 101
orientable, 101
propiamente Riemanniana, 77
pseudo-Riemanniana, 77
Riemanniana, 77, 154
simplectica, 150
topologica, 2
vector
covariante, 16
de HermannBernoulliLaplace
RungeLenz, 169
de RungeLenz, 169
tangente, 7, 8
velocidad angular, 171
volumen, elemento de, 100