Académique Documents
Professionnel Documents
Culture Documents
IA SEMI-RIEMANNIANA
Jos
e Antonio Manguce Tamayo
1. (a) Reparametrizaciones. Si : I M y h : J I son curvas suaves, con I, J
intervalos abiertos. Entonces = ( h) : J M es una curva suave, llamada
reparametrizaci
on de bajo h (denotado = (h)), que cumple:
0
(s) =
0
dh
(s) (h(s)).
du
Demostraci
on. Es claro que = (h) es una curva suave, pues es composici
n de
funciones suaves, ahora observe que
0
(s) = ( h) (s)
( h) (s)(xi )i |(h)(s)
d(xi ( h))
(s)i |(h)(s)
du
d((xi ) h))
=
(s)i |(h)(s)
du
d(xi )(h(s)) dh
=
(s)i |(h(s))
du
du
d(xi )(h(s))
dh
(s)
i |(h(s))
=
du
du
0
dh
=
(s) (h(s))
du
=
d( (t)) = ( ) (t).
Demostraci
on. Sabemos que d( (t)) y ( ) (t) viven en T()(t) N , por ello,
consideremos g F(N ), luego, por el lema 15
0
d( (t))g
=
=
=
=
|i ))g
j
((d(t) t )( |i ))g
j
(d(t) ( (t)))g
(b)
(c)
(d)
(e)
(f)
(g)
(h)
(V + W ) + U = V + (W + U )
0 X(M ) tal que V + 0 = 0 + V = V
V X(M ), (V ) X(M ) tal que V + (V ) = 0
(f g)(V ) = f (gV )
(f + g)V = f V + gV
f (V + W ) = f V + f W
1V = V
Verificaci
on:
(a) Observe que para h, F(M ) y p M
(V + W )p h = Vp h + Wp h
= W p h + Vp h
=
(W + V )p h.
(b) An
alogo a (a).
(c) Definase 0p : F(M ) R por 0p f = 0 para toda f F(M ). Observe que
(V + 0)p f
= Vp f + 0p f
= Vp f + 0
=
0 + Vp f
= Vp f.
(d) Sea V X(M ) y definase Wp : F(M ) R por Wp f = (1)(Vp f ), luego
(V + W )p f
= Vp f + W p f
= Vp f + (1)Vp f
=
0.
As (V + W )p = 0p .
(e) Sean p M , f, g, h F(M ) y V X(M ), luego
((f g)V )(p)h =
(f g)(p)Vp h
(f (p)g(p))Vp h
f (p)(g(p)Vp h).
(f + g)(p)Vp h
(f (p) + g(p))Vp h
f (p)Vp h + g(p)Vp h.
(1)Vp h
= Vp h.
En cada caso se tiene que las funciones resultantes son suaves, por ser sumas y
productos de suaves. Se ve entonces que X(M ) es un F(M )-modulo.
En X(M ) podemos definir la aplicacion [ , ] : X(M ) X(M ) X(M ) por
[V, W ] f = V [W f ] W [V f ] .
La anterior es llamada el producto bracket entre V y W .
3. Probar que la aplicaci
on bracket entre V y W es una derivacion, i.e. satisface las siguientes
propiedes:
(a) R - lineal. Para todo , R se cumple
[V, W ] (f + g) = [V, W ] f + [V, W ] g
(b) Leibniz.
[V, W ] (f g) = ([V, W ] f )g + f ([V, W ] g)
Demostraci
on.
Observacion 1. Por definici
on Vp cumple con las propiedades (a) y (b) de este ejercicio,
pues Vp T pM .
(a) Sean , R y f, g F(M ) y p M , luego, por la Observacion 1
[V, W ]p (f + g)
= [V, W ]p f + [V, W ]p g.
de lo anterior se sigue el resultando.
(b) Sean f, g M , luego, por la observacion 1
[V, W ]p f g
= Vp [Wp f g] Wp [Vp f g]
= Vp [(Wp f )g(p) + f (p)(Wp g)] Wp [(Vp f )g(p) + f (p)(Vp g)]
= Vp [(Wp f )g(p)] + Vp [f (p)(Wp g)] Wp [(Vp f )g(p)] Wp [f (p)(Vp g)]
=
(b) Anti-simetria.
(V + W )p [Zp f ] Zp [(V + W )p f ]
[V, V + W ]p f + [W, V + W ]p f
[V, W ]p f + [W, V ]p f.
h
i
= Vp [W, Z]p f [W, Z]p [Vp f ]
= Vp [Wp [Zp f ] Zp [Wp f ]] (Wp [Zp f ] Zp [Wp f ]) [Vp f ]
= Vp [Wp [Zp f ]] Vp [Zp [Wp f ]] Wp [Zp f ] [Vp f ] + Zp [Wp f ] [Vp f ]
An
alogamente
[Z, [V, W ]]p f = Zp [Vp [Wp f ]] Zp [Wp [Vp f ]] Vp [Wp f ] [Zp f ] + Wp [Vp f ] [Zp f ]
[W, [Z, V ]]p f = Wp [Zp [Vp f ]] Wp [Vp [Zp f ]] Zp [Vp f ] [Wp f ] + Vp [Zp f ] [Wp f ]
Seguido de sumar estos tres desarrollos se obtiene el resultado.
5. Verificar que para todo f, g F(M ) y V, W X(M ) se satisface la propiedad siguiente
[f V, gW ] = f g [V, W ] + f (V g)W g(W f )V.
Demostraci
on.
Sean f, g, h F(M ) y V, W X(M ), por definicion tenemos que
[f V, gW ] h = (f V ) [(gW )h] (gW ) [(f V )h]
(1)
= X1 [X2 (g )] X2 [X1 (g )]
= X1 [(Y2 g) ] X2 [(Y1 g) ]
= X1 [(Y2 g) ] X2 [(Y1 g) ]
=
([Y1 , Y2 ] g) .
(( + )p )v
(p + p )v
p v + p v
= p v + p v
=
(p + p )v
(( + )p )v.
(b) An
alogo a (a).
(c) Definase 0p : Tp M R por 0p v = 0 para todo v Tp M . Observe que
( + 0)p v
p v + 0p v
p v + 0
0 + p v
p v.
( + )p v
p v + p v
p v + (1)p v
0.
As ( + )p = 0p .
(e) Sean p M , f, g F(M ), v Tp M y X (M ), luego
((f g))p v
(f g)(p)p v
(f (p)g(p))p v
= f (p)(g(p)p )v
=
(f (g))p v.
((f + g))p v
(f + g)(p)p v
(f (p) + g(p))p v
f (p)p v + g(p)p v
(f )p v + (g)p v.
f (p)(V + W )p v
f (p)(p + p )v
f (p)p v + f (p)p v
(f )p v + (f )p v.
= f (p)p v
=
(1)p v
p v.
En cada caso se tiene que las funciones resultantes son suaves, por ser sumas y
productos de suaves. Se ve entonces que X (M ) es un F(M )-modulo.
8. Sean f, g F(M ) y h F(R). Entonces
(a) d(f g) = f dg + gdf
0
(Xf )g + f (Xg)
(gX)f + (f X)g
((V + W ))p v
= A(V + W )p v
=
AVp v + f (p)AWp v