Documentos de Académico
Documentos de Profesional
Documentos de Cultura
versión 0.03
ii
"Si un estudiante no aprende con el modo de enseñar de su profesor, deberá descubrir su propio
modo de aprender”. Jamás deberá tirar la toalla y pensar que él no puede aprender.
Ese “modo personal de aprender” es una de las principales enseñanzas que ha de dar la
Universidad.1
Pero hay algo más que ningún estudiante puede olvidar: todo aprendizaje requiere estudio y
esfuerzo.
1
Es decir, la Universidad ha de darle la oportunidad de que encuentre su modo personal de aprender, lo que
requiere darle tiempo para ir a la biblioteca, para leer y pensar, y no atosigarlo con miles de ejercicios que ha de
entregar cada semana.
ii
Índice general
0. PRELIMINARES ix
0.1. ORIENTACIÓN DE ESPACIOS VECTORIALES. . . . . . . . . . . . . . . . . . . . . ix
0.2. GRUPOS DE TRANSFORMACIONES DE Rn . . . . . . . . . . . . . . . . . . . . . x
0.3. PRODUCTO VECTORIAL . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . xii
0.4. ESPACIO TANGENTE A Rn . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . xvi
4. Grupos de Lie 29
4.1. Grupos de Lie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
4.1.1. Álgebra de Lie de un grupo de Lie . . . . . . . . . . . . . . . . . . . . . . . . 32
4.2. Flujo de un c.v. invariante a la izquierda en un grupo de Lie . . . . . . . . . . . . . 33
iii
iv ÍNDICE GENERAL
9. El tensor curvatura 63
9.1. Tensor curvatura y curvatura seccional . . . . . . . . . . . . . . . . . . . . . . . . . . 63
9.2. El formalismo de Cartan para la curvatura . . . . . . . . . . . . . . . . . . . . . . . . 66
9.3. La ecuación de Gauss de una subvariedad . . . . . . . . . . . . . . . . . . . . . . . . 67
9.4. Dos lemas útiles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68
15. 94
15.1. Segunda forma fundamental de las esferas geodésicas . . . . . . . . . . . . . . . . . 94
15.2. Teoremas de de comparación . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 94
15.3. Teorema de Myers . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 94
15.4. Teorema de Hadamard . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 94
16. 95
16.1. Sobre acciones de grupos y espacios recubridores . . . . . . . . . . . . . . . . . . . 95
iv
Presentación de la asignatura
¿Qué es la Geometría?
Geometría hiperbólica
2. Un segmento de recta se puede extender
5H. Por un punto exterior a una recta, se
indefinidamente en una linea recta.
puede trazar infinitas paralelas (rectas que no
cortan a la inicial).
v
vi ÍNDICE GENERAL
Como estudiamos ahora las Geometrías no Euclídeas. (todas, no sólo la elíptica y la hiperbólica)
Espacio Rn Espacio M
tiene dimensión (finita) tiene dimensión (finita)
es un espacio vectorial y tiene un cálculo diferencial de funciones
tiene un cálculo diferencial esencial es un producto escalar en cada
que permiten punto de M, que permite
definir rectas
medir ángulos
tiene un producto escalar que permite
medir ángulos medir longitudes
vi
ÍNDICE GENERAL vii
Espacio Rn Espacio M
La curvatura
Esfera
Espacio hiperbólico
Espacio De Sitter
Espacio de Schwarzschild
...
Nombres propios de la GD
Por ejemplo:
vii
viii ÍNDICE GENERAL
viii
Capítulo 0
PRELIMINARES
ix
x PRELIMINARES
x
0.2 GRUPOS DE TRANSFORMACIONES DE Rn xi
|F (x)| = d(F (x), 0) = d(F (x), F (0)) = d(x, 0) = |x| (1) 0.8.1
Falta ver que F es lineal. Para ello, consideremos la base ortonormal canónica {e1 , ..., en } de
Rn . De
P (3) resulta que {F (e1 ), ..., F (en )} es también una base ortonormal, por lo tanto, para todo
x = ni=1 x i ei ∈ Rn se tiene, usando de nuevo (3) y la expresión de las componentes de un vector
en una base ortonormal, que
n
X n
X n
X
F (x) = hF (x), F (ei )i F (ei ) = hx, ei i F (ei ) = x i F (ei ),
i=1 i=1 i=1
xi
xii PRELIMINARES
0.10 Definición 0.10. Dada una isometría F = Ta ◦ C , se llama signo (sgnF ) de F al determinante
de su parte ortogonal C (que solo puede ser ±1).
C (v ∧ w ) = det(C ) C (v ) ∧ C (w ).
C (p) = a ∧ p + hp, ai a
tal que |Z | = |X ||Y | sen ∠(X , Y ). Si los vectores X e Y son linealmente dependientes, entonces
su producto vectorial es 0.
Obsérvese que verificar la regla de la mano derecha en R3 equivale a decir que {X , Y , Z } ∈
can.
Por otro lado
xii
0.3 PRODUCTO VECTORIAL xiii
0.12 Definición 0.11. Sea (V ; h, i ; or) un espacio vectorial real euclídeo orientado de dimensión n.
Se define el producto vectorial de n−1 vectores X1 , ... , Xn−1 de V como el vector Z = X1 ∧...∧Xn−1
que verifica las propiedades:
(a) |Z |2 = det(hXi , Xj i)1≤i,j≤n−1 ,
(b) Si |Z | 6= 0, entonces {X1 , ..., Xn−1 , Z } ∈ or, y Z es ortogonal al espacio generado por
{X1 , ..., Xn−1 }.
Resulta de esta definición que:
0.12.1 Corolario 0.12. Si se cambia la orientación, el producto vectorial cambia de signo.
0.12.2 Proposición 0.13. X1 ∧ ... ∧ Xn−1 = 0 si y solo si {X1 , ..., Xn−1 } son linealmente dependientes.
(Esto prueba también que no hay ambigüedad en la definición 0.12).
Demostración. En efecto: si {X1 , ..., Xn−1 } son linealmente independientes, entonces (hXi , Xj i)1≤i,j≤n−1
es la matriz de la métrica h, i restringida al espacio generado por {X1 , ..., Xn−1 } en la base for-
mada por esos mismos vectores, lo que exige |Z |2 = det(hXi , Xj i)1≤i,j≤n−1 P 6= 0. Recíprocamente, si
{X1 , ..., Xn−1 } son linealmente dependientes, existe un i tal que Xi = j6=i λj Xj , y
D P E
hX1 , X1 i ... hX1 , Xi−1 i X1 , j6=i λj Xj ... hX1 , Xn−1 i
2
...
|Z | = det
=
... D E
P
hXn−1 , X1 i ... hXn−1 , Xi−1 i Xn−1 , j6=i λj Xj ... hXn−1 , Xn−1 i
hX1 , X1 i ... hX1 , Xi−1 i hX1 , Xj i ... hX1 , Xn−1 i
X ...
= λj det = 0,
...
j6=i
hXn−1 , X1 i ... hXn−1 , Xi−1 i hXn−1 , Xj i ... hXn−1 , Xn−1 i
por haber dos columnas repetidas en cada sumando.
Este resultado será también una consecuencia inmediata del siguiente teorema
0.13 Teorema 0.14. Sea {eP 1 , ..., en } una base ortonormal positivamente orientada de (V , h, i , or).
Dados los vectores Xk = ni=1 Xki ei , 1 ≤ k ≤ n − 1, se tiene que:
e1 ... en
X11 ... X1n
X1 ∧ ... ∧ Xn−1 = (−1)n−1 det ... ... ...
1 n
Xn−1 ... Xn−1
lo que da la relación
n
X
0 j
Xki = X k fj i ,
j=1
xiii
xiv PRELIMINARES
Resulta de aquí que la matriz de cambio de base de {e1 , ..., en } a {X1 , ..., Xn−1 , Z } tiene como
determinante |Z |2 , luego {X1 , ..., Xn−1 , Z } ∈ or. Por otro lado
2
X11 ... X1n Xn−1
2
|Z | = det ... ... ... = det( Xik Xjk ) = det(hXi , Xj i).
1 n
Xn−1 ... Xn−1 k=1
0.14 Corolario 0.15. El producto vectorial es una aplicación (n − 1)-lineal alternada sobre V .
0.15 Proposición 0.16. {X1 , ..., Xn } es una base de V positivamente orientada (con respecto a or)
si y solo si hX1 ∧ ... ∧ Xn−1 , Xn i > 0.
xiv
0.3 PRODUCTO VECTORIAL xv
0.17 Proposición 0.18. hX1 ∧ ... ∧ Xn−1 , Y1 ∧ ... ∧ Yn−1 i = det(hXi , Yj i).
0.18 Proposición 0.19. Sea I un intervalo abierto de R, sean X1 , ..., Xn−1 : I −→ R aplicaciones
diferenciables. Entonces
n−1
d X d
(X1 ∧ ... ∧ Xn−1 ) = X1 ∧ ... ∧ Xi ∧ ... ∧ Xn−1 .
dt i=1
dt
xv
xvi PRELIMINARES
(X ∧ Y ) ∧ Z = hX , Z i Y − hY , Z i X .
Producto vectorial en R2 .
En este caso el producto vectorial es de un solo vector. Dado un vector X , denotaremos su
producto vectorial por JX . Si {e1 , e2 } ∈ can y X = X 1 e1 + X 2 e2 , JX será
e1 e2
JX = −det = −X 2 e1 + X 1 e2 ,
X1 X2
i. e., JX es el vector perpendicular a X con la misma norma que X tal que {X , JX } es una base
positivamente orientada de R2 (si X 6= 0).
Obsérvese que si se considera el vector X como un número complejo X1 + i X2 , entonces JX
es justamente el vector que resulta de multiplicar X por el número i. (Es decir, si R2 se identifica
con C, el producto vectorial se identifica con la multiplicación por i).
es un isomorfismo, que emplearemos con mucha frecuencia incluso sin escribirlo cuando sea cómodo
identificar Tx Rn con Rn .
0.21 Definición 0.23. Dado un abierto U de Rn , llamaremos fibrado tangente TU de U al conjunto
TU = ∪{Tx Rn , x ∈ U} ≡ U × Rn .
0.22 Nota 0.24. Usando el concepto de espacio tangente se pueden reinterpretar los conceptos de
diferencial de una función en un punto y de diferencial de una función del siguiente modo:
Sea U un abierto de Rn , F : U −→ Rm una función diferenciable, entonces la diferencial
dF (p), p ∈ U, se puede considerar como
xvi
0.4 ESPACIO TANGENTE A Rn xvii
Figura 2
0.24. Para aplicaciones definidas entre espacios distintos todavía puede mantenerse el con-
cepto de conservar la orientación. La interpretación que hemos dado de la diferencial de una
aplicación nos obliga a hacer esta extensión del concepto para que tenga sentido hablar de un
difeomorfismo conservando la orientación.
Dados dos espacios vectoriales orientados (V , or), (W , ro), diremos que un isomorfismo F :
V −→ W conserva la orientación sii cuando {e1 , ..., en } ∈ or, entonces {F (e1 ), ..., F (en )} ∈ ro.
Para una aplicación no lineal, se dice que conserva la orientación si es un difeomorfismo tal
que su diferencial en cada punto conserva la orientación .
xvii
Capítulo 1
1.1. Comentario
Como hemos visto en la presentación, nuestro objetivo es estudiar una geometría general sobre
un espacio M de dimensión finita sobre el que existe un cáculo diferencial en el que definimos,
de manera diferenciable, un producto escalar en cada punto de M.
El “espacio"natural en el que hacer esta geometría general es una variedad diferenciable,
concepto que se estudió al final del curso de Geometría Diferencial Clásica. Sin embargo, en
este curso, para no exigir tanto esfuerzo de abstracción al alumno, vamos a limitarnos a un tipo
de variedades llamadas “subvariedades"de Rm , que son “visualizables”como subconjutos de Rm ,
requieren menos abstracción y son suficientes para introducir los conceptos básicos de Geometría
Riemanniana y Semi-Riemanniana que veremos en este curso. Esto tiene como contrapartida que
algunos ejemplos importantes de variedades Riemannianas son difíciles (e incluso contraintuitivos)
de introducir de este modo, por lo que se aconseja al alumno más interesado en la Geometría
que estudie por su cuenta el concepto abstracto de variedad diferenciable en la bibliografía de
referencia o en los apuntes del curso pasado.
En este curso a las n-subvariedades de Rn+k las llamaremos, simplemente, variedades diferen-
ciables de dimensión n, precisando que son subvariedades solo cuando interese usar la dimensión
del espacio Rm ambiente.
1.3. Ejemplos
1.3
Ejemplo 1.2. El primer ejemplo trivial de variedad diferenciable de dimensión n es el espacio
euclídeo Rn , con k = 0 en la definición y sistema de coordenadas (Rn , id).
Naturalmente también son ejemplos de este tipo los abiertos de Rn .
1
2 Variedad diferenciable y espacio tangente
n y clase C ∞ . Vamos a verlo usando la proyección estereográfica (siguiendo casi el mismo modelo
que se vió en topología, y también en la primera parte de este curso, pero para dimensión n
y proyectando sobre los planos tangentes a los polos en lugar de proyectar sobre el plano del
ecuador.
Sean N = (0, ..., 0, R) y S = (0, ..., 0, −R) los polos norte y sur de S n . Sean Rn × {R} el
hiperplano de Rn+1 tangente a S n en N y Rn × {−R} el hiperplano de Rn+1 tangente a S n
en S. Sean i+ : Rn × {R} −→ Rn e i− : Rn × {−R} −→ Rn las aplicaciones definidas por
i+ (x 1 , ..., x n , R) = (x 1 , ..., x n ) e i− (x 1 , ..., x n , −R) = (x 1 , ..., x n ) Las proyecciones estereográficas
desde N (que denotaremos πN ) y desde S (que denotaremos πS ) se definen por:
πN : S n − {N } −→ Rn la aplicación que a cada x ∈ S n − {N } le hace corresponder la imagen
por i− de la intersección de la recta que pasa por N y x con el hiperplano de Rn+1 tangente a
S n en S.
πS : S n − {S} −→ Rn la aplicación que a cada x ∈ S n − {S} le hace corresponder la imagen
por i+ de la intersección de la recta que pasa por S y x con el hiperplano de Rn+1 tangente a S n
en N .
2
1.3 Ejemplos 3
−4 R 2 + ni=1 (y i )2
P
,
4 R 2 + ni=1 (y i )2
P
4 R2 4 R2
πS−1 (y ) = y 1
, ..., y n,
4 R 2 + ni=1 (y i )2 4 R 2 + ni=1 (y i )2
P P
4 R 2 − ni=1 (y i )2
P
,
4 R 2 + ni=1 (y i )2
P
que prueban que πN y πS son homomorfismos. Para ver que se cumple la condición (iii) hay que
calcular
−1 1 4 R2
πS ◦ π N (y , ...y n ) = (y 1 , ..., y n ),
(y 1 )2 + ... + (y n )2
y
4 R2
πN ◦ πS−1 (y 1 , ...y n ) = 1 2 n 2
(y 1 , ..., y n ),
(y ) + ... + (y )
−1
que prueba que πS ◦ πN es un difeomorfismo de Rn − {0} en si mismo.
−1
El cálculo de πN , πS−1 , πS ◦ πN
−1
y de πN ◦ πS−1 puede hacerse como sigue.
−1
De la definición de πN se deduce que la aplicación πN puede describirse como sigue: dado
y = (y 1 , ..., y n ) ∈ Rn , se toma y− = i−−1 (y ) = (y 1 , ..., y n , −R), entonces πN
−1
(y ) es la intersección
n −1
con S (distinta de N ) de la recta que pasa por N y por y− . Calculemos πN (y ) usando esta
−1
descripción de πN . La recta que pasa por N y por y− tiene por ecuación
La intersección con S n son los puntos de esta recta que verifican la ecuación de S n :
3
4 Variedad diferenciable y espacio tangente
n
X
2
i.e. λ (y i )2 + R 2 − 4λR 2 + 4λ2 R 2 = R 2 ,
i=1
X n
i.e. λ2 ( (y i )2 + 4R 2 ) − 4λR 2 = 0,
i=1
i=1 i=1
4
1.4 Diferenciabilidad de los cambios de cartas 5
5
6 Variedad diferenciable y espacio tangente
II.9 Definición 1.11. Sea M1 una n-subvariedad de Rn+k y M2 una m-subvariedad de Rm+` Una
aplicación f : M1 −→ M2 diremos que es diferenciable de clase C r en p ∈ M1 si es continua
en p y existen sistemas de coordenadas (U1 , F1 ) en p, (U2 , F2 ) en f (p), tales que la aplicación
F2−1 ◦ f ◦ F1 es diferenciable de clase C r en F1−1 (p).
Obsérvese que es el hecho de ser f continua en p lo que permite que F2−1 ◦ f ◦ F1 esté definida
en un abierto y tenga sentido hablar de diferenciabilidad.
La definición resulta independiente de los sistemas de coordenadas usados. En efecto, si
(U1 , F2∗ ), (U2∗ , F2∗ ) son otros sistemas de coordenadas en p y f (p) respectivamente, entonces, por
∗
6
1.5 Aplicaciones diferenciables. 7
7
8 Variedad diferenciable y espacio tangente
8
1.7 Vectores tangentes y derivaciones 9
∂F ∂F
(b) { 1
|u , ..., n |u } es una base de TF (u) M, para todo u ∈ U.
∂u ∂u
n
X ∂F
∗ n ∗ ∗ 1 n
(c) Si X ∈ Tu R , dFu (X ) = X ∈ TF (u) M y X = (X , ..., X ), entonces X = Xi
i
(u) (i.e.
i=1
∂u
las coordenadas de X en la base de TF (u) M inducida por el sistema de coordenadas F son
las mismas que las del vector del que es imagen por dFu ).
(d) Si c : I −→ M es una curva en M, F −1 ◦ c(t) = (u 1 (t), ..., u n (t)), entonces c 0 (t) =
Pn i0 ∂F −1
i=1 u (t) (F ◦ c(t)).
∂u i
Demostración a) es una consecuencia de que dFu es una aplicación lineal inyectiva y de 1.26.
b) También como consecuencia de que dFu es lineal inyectiva se tiene que si {e}1≤i≤n es la base
∂F
canónica de Tu Rn ≡ Rn , entonces {dFu (ei ) = i (u)|1≤i≤n } es una base de dFu (Tu Rn ) = TF (u) M.
∂u
(c) X = dFu X ∗ = dFu ( ni=1 X i ei ) = ni=1 X i dFu ei = ni=1 X i ∂u
∂F
P P P
i |u .
−1 j ∂u2j ∂(F2−1 ◦ F1 )j
(F2 ◦ F1 ) y, consecuentemente, := ,
∂u1i ∂u1i
1 1
∂u2 ∂u2
∂u 1 ... ∂u n X11
1
X2 1 1
... ... ... ... ...
= (1.1)
... ... ... ... ...
n
∂u2n X1n
X2n ∂u2
...
∂u11 ∂u1n
o, lo que es lo mismo, si X = dF1 |u1 X 1∗ = dF2 |u2 X 2∗ (lo que, de acuerdo con 1.27(c) equivale a
X1∗ = (X11 , ..., X1n ), X2∗ = (X21 , ..., X2n )), entonces X2∗ = d(F2−1 ◦ F1 )|u1 X1∗ .
Demostración. Aplicando la regla de la cadena, se tiene que dF1u1 X1∗ = d(F2 ◦ F2−1 ◦ F1 )u1 X1∗ =
dF2u2 ◦ d(F2−1 ◦ F1 )u1 X1∗ , siendo F2 (u2 ) = F1 (u1 ) = p. Comparando esta igualdad con dF1u1 X1∗ =
dF2u2 X2∗ , como dF2u2 es inyectiva, resulta que X2∗ = d(F2−1 ◦ F1 )u1 X1∗ .
9
10 Variedad diferenciable y espacio tangente
2.2.2a Nota 1.30. Obsérvese que de (iii) se deduce que D1 = D(1 × 1) = 1D1 + (D1)1 = 2D1,
y, por tanto, D1 = 0. De aquí , junto con (ii), se deduce que para toda función constante λ,
Dλ = D(λ 1) = λD(1) = 0.
∂ ∂F
2.2.3 Nota 1.31. Obsérvese que := actúa sobre una función f como una derivada parcial.
∂x i ∂x i
En efecto, si ahora {ei } denota la base canónica de Rn , :
∂ ∂F ∂F ∂(f ◦ F )
i
f := i f = df = df (dF (ei )) = d(f ◦ F )(ei ) =
∂x ∂x ∂x i ∂x i
2.2.5 Nota 1.32. Obsérvese que que todo vector v ∈ Tp M se puede escribir en la forma
n
X ∂
v= vx i , (1.2) 2.2.5.1
i=1
∂x i p
puesto que, si c(t) es una curva en M con c 0 (t0 ) = v , por (1.27)(d) se tiene que
n n
X
i ∂
0
X ∂
v= (x ◦ c) (t0 ) i = vx i i
i=1
∂x p i=1
∂x p
Lema 1.34. Sea (U, ϕ) una carta centrada en p (p ∈ U ⊂ M y ϕ(p) = 0). Para cada f ∈ Fp ,
existen funciones f1 , ..., fn ∈ Fp tales que
n
∂ X
fi (p) = i |p f y f = f (p) + x i fi en un entorno de p .
∂x i=1
Demostración del lema Sean F = f ◦ ϕ−1 , y r ∈ R+ tal que B(0, r ) ⊂ ϕ(U). Para cada (a1 , ..., an ) ∈ B(0, r ) se
∂F
x i ∂x x a ea , `x está en la recta que pasa por x en la dirección de x a ea
P P P
1
Si x = i
|p + a a
10
1.7 Vectores tangentes y derivaciones 11
tiene
F (a1 , ..., an ) = F (a1 , ..., an ) − F (a1 , ..., an−1 , 0) + F (a1 , ..., an−1 , 0) − ...
− F (a1 , 0, ..., 0) + F (a1 , 0, ..., 0) − F (0, ..., 0) + F (0, ..., 0)
n Z 1
X dF 1
= F (0, ..., 0) + (a , ..., ai−1 , tai , 0, ..., 0) dt
dt
i=1 0
n Z 1
X ∂F 1
= F (0, ..., 0) + i
(a , ..., ai−1 , tai , 0, ..., 0) ai dt
0 ∂r
i=1
n
X
= F (0, ..., 0) + a i Fi , (1.3) 2.2.7.1
i=1
donde Fi es la función Z 1
∂F 1
Fi = (a , ..., ai−1 , tai , 0, ..., 0) dt.
0 ∂r i
Escribiendo (1.3) en forma funcional
n
X
F = F (0, ..., 0) + r i Fi . (1.4) 2.2.7.2
i=1
Vamos a probar
Pn que esta expresión es correcta. Dada f ∈ Fp , usando el lema tenemos que
i
f = f (p) + i=1 fi x , luego
n n n n n
X
i
X
i
X
i
X
i
X ∂
Af = A(f (p) + fi x ) = A(x )fi (p) + x (p)Afi = A(x )fi (p) = A(x i ) |p f ,
i=1 i=1 i=1 i=1 i=1
∂x i
11
Capítulo 2
y definir f∗p usando la diferencial de la aplicación f ◦ ϕ−1 , que es conocida por ser una aplicación
entre espacios euclídeos, y las diferencial de la aplicación F = ϕ−1 .
Veremos que esta segunda manera de definir la diferencial de una aplicación es consecuencia
de la primera (en realidad, son equivalentes).
En lo que queda de este capítulo todas las variedades diferenciables serán de clase C k y todas
las aplicaciones diferenciables de clase C r (r ≤ k).
d(f ◦ c)
f∗p : Tp M −→ Tf (p) N tal que f∗p (v ) = (0),
dt
siendo c : I −→ M una curva de M tal que c(0) = p y c 0 (0) = v .
Para que la definición sea correcta falta comprobar que la expresión dada para f∗p (v ) no
depende de la curva c elegida verificando las condiciones c(0) = p y c 0 (0) = v y que es lineal.
Todo ello es consecuencia de la siguiente proposición:
3.2.2 Proposición 2.2. Para f como antes se tiene que, si (U, F ) es una carta en p (i.e. F (0) = p,
entonces
f∗p (v ) = d(f ◦ F )(0)v ∗ , donde dF (0)v ∗ = v .
12
2.1 La diferencial de una aplicación 13
3.2.2 Proposición 2.3. Para f como antes se tiene que, si (U, ϕ) es una carta en p y (V , ψ) es una
m
X ∂
carta en f (p), v = v i i y denotamos y j := r j ◦ ϕ, entonces
i=1
∂x
n X m
X ∂(y j ◦ f ◦ ϕ−1 ) i ∂
f∗p (v ) = (p)v .
j=1 i=1
∂r i ∂y j f (p)
y, según vimos en Corolario 1.27, las componentes de v y v ∗ en sus respectivas bases son las
mismas, y lo mismo ocurre con las componentes de dF2 (d(F2−1 ◦f ◦F )(0)v ∗ ) y de d(F2−1 ◦f ◦F )(0)v ∗ ,
por lo tanto la matriz que lleva las componentes de v en la base ∂x∂ i en las de f∗p (v ) en la base
∂
∂y j
es la matriz de la aplicación lineal d(F2−1 ◦ f ◦ F ) = d(ψ ◦ f ◦ ϕ−1 ), que sabemos por Analisis
tiene la forma
∂y 1 ◦ f ◦ ϕ−1 ∂y 1 ◦ f ◦ ϕ−1
...
∂r 1 ∂r m
... ... ... ,
(2.2) 3.2.2.1
∂y n ◦ f ◦ ϕ−1 ∂y n ◦ f ◦ ϕ−1
...
∂r 1 ∂r m
lo que indica que f∗p es lineal. La matriz (2.2) es la matriz de f∗p en las coordenadas (U, ϕ) y
(V , ψ). Al actuar esta matriz sobre el vector columna formado por las componentes de v se obtiene
la fórmula del enunciado.
3.2.3 Nota 2.4. Dada una carta (U, ϕ) de una variedad diferenciable M, usando la fórmula de la
proposición 2.3, se tiene que
m m m
X
i ∂
X
i
X ∂(r j ) ∂
ϕ∗p ( v )= v (p) j (2.3)
i=1
∂x i p i=1 j=1
∂r i ∂r ϕ(p)
m m m
X X ∂ X ∂
= v i
δij j
= vj j . (2.4) 3.2.3.1
∂r ϕ(p) ∂r ϕ(p)
i=1 j=1 j=1
3.2.4 Definición 2.5. Sea M una variedad diferenciable de dimensión m, f : M −→ Rn una aplica-
ción diferenciable, se llama (también) diferencial de f en x ∈ M a la aplicación
13
14 Diferencial de una aplicación. Inmersiones y sumersiones
3.2.5. Nota 2.6. Cuando n = 1 en la definición anterior, denotaremos r 1 por r , que es, simplemente,
Pm i ∂
la aplicación identidad de R en R, y usando (2.5), se tiene que, si v = i=1 v ∂x i , entonces
p
n
X ∂f i
dfx (v ) = i
v = vf , (2.7) 3.2.5.1
i=1
∂x
que es la expresión que, con frecuencia, se toma como definición de la diferencial de una función
en un punto.
14
2.2 Inmersiones y sumersiones 15
igual a M y que, por tanto, f es constante. Par verlo, para cada p ∈ f −1 (x), elijamos una carta
(U, ϕ) de M en p y una carta (V , ψ) de N en x = f (p) tales que f (U) ⊂ V . Se deduce de la
Proposición 2.3 que d(ψ ◦ f ◦ ϕ−1 )ϕ(p) = 0, luego ψ ◦ f ◦ ϕ−1 es constante (igual a ψ(x)) sobre
ϕ(U), luego f = ψ −1 ◦ (ψ ◦ f ◦ ϕ−1 ) ◦ ϕ es constante (igual a x) sobre U, luego p ∈ U ⊂ f −1 (x),
luego f −1 (x) es un abierto.
3.2.12 Proposición 2.11. Regla de la cadena Si f : M −→ N y g : N −→ P son aplicaciones
diferenciables, entonces
(g ◦ f )∗x = g∗f (x) ◦ f∗x .
Demostración. Sea v ∈ Tx M, c una curva de M tal que c(0) = x y c 0 (0) = v , resulta inmediata-
mente de aplicar la definición que
d(g ◦ f ◦ c) d(f ◦ c)
(g ◦ f )∗x v = (0) = g∗f (c(0)) (0) = g∗f (x) (f∗x v ). (2.10)
dt dt
15
16 Diferencial de una aplicación. Inmersiones y sumersiones
3.3.2.2 Ejemplo 2.15. f (t) = (t 3 − 4t, t 2 − 4) es una inmersión, pero no es un embebimiento, pues
tiene una autointersección (f (2) = f (−2) = (0, 0)).
3.3.2.4 Ejemplo 2.17. La aplicación f (t) = (t, t) de R en R2 hace de (R, f ) una subvariedad regular.
Nota: Es posible probar (ver, por ejmplo, Boothby, pag. 79) que si M es compacta un embebi-
miento f : M → N es una subvariedad regular.
3.3.3 Definición 2.19. Una aplicación diferenciable f : M −→ N se dice que es una sumersión si,
para todo x ∈ M, el rango de f∗x es n (i.e. f∗x es suprayectiva).
16
2.2 Inmersiones y sumersiones 17
∂
πM∗(x,y ) i
∂x (x,y )
∂
= (dϕx )−1 ◦ d(ϕ ◦ πM ◦ (ϕ × ψ)−1 )(ϕ(x),ψ(y )) ◦ d(ϕ × ψ)(x,y )
∂x i (x,y )
= (dϕx )−1 ◦ d(ϕ ◦ πM ◦ (ϕ × ψ)−1 )(ϕ(x),ψ(y )) (0, ..., 0, 1, 0, ..., 0)
−1 ∂
= (dϕx ) (0, ..., 0, 1, 0, ..., 0) = i ,
∂x x
donde (0, ..., 0, 1, 0, ..., 0) lleva el 1 en el i-ésimo lugar, además
∂
πM∗(x,y )
∂y j (x,y )
∂ ∂ ∂
πN∗(x,y ) i = 0 y πN∗(x,y ) j = .
∂x (x,y ) ∂y (x,y ) ∂y j y
Por lo tanto,
ι lleva una base en otra, por lo tanto es un isomorfismo. Este isomorfismo permite decir que el
espacio tangente a una variedad producto es la suma directa de los espacios tangentes a cada
factor.
17
Capítulo 3
Demostración. Observemos primero que, puesto que f∗x es un isomorfismo, se tiene que M y N
tienen la misma dimensión. Sea n esta dimensión. Como f es diferenciable, existen cartas (U 0 , ϕ)
en x y (V , ψ) en f (x) tales que f (U 0 ) ⊂ V . Como f∗x es un isomorfismo, d(ψ ◦ f ◦ ϕ−1 ) =
dψf (x) ◦ f∗x ◦ (dϕx )−1 es un isomorfismo de Rn sobre Rn . Entonces, por el teorema de la función
e de Rn que contiene a ϕ(x) tal que ψ ◦ f ◦ ϕ−1 (U)
inversa que se vió en análisis, existe un abierto U e
es un abierto de Rn (que contiene a ψ(f (x))) y ψ◦f ◦ϕ−1 : U
e −→ ψ◦f ◦ϕ−1 (U)e es un difeomorfismo.
Entonces, si definimos U = ϕ−1 (U),e tenemos que f (U) = ψ −1 (ψ ◦ f ◦ ϕ−1 (U))
e es un abierto de N
y f : U −→ f (U) es un difeomorfismo.
Esta sencilla reformulación del teorema de la función inversa en Rn tiene las siguientes con-
secuencias interesantes para la elección de cartas. Comenzaremos con unas definiciones.
4.2.5 Proposición 3.6. Sea n = dimM, y sean y 1 , ..., y n un conjunto de funciones independientes en
x ∈ M. Entonces existe una carta de M en x cuyas funciones coordenadas son y 1 , ..., y n .
e la intersección de los dominios de las funciones y i , entonces x ∈ U.
Demostración. Sea U e De-
n
e −→ R por ϕ(p) 1 n ∗ i
finimos ϕ
e: U e = (y (p), ..., y (p)) para todo p ∈ U.
e Ahora bien, ϕ ex (drϕ(x)
e ) =
18
3.1 Teoremas de la función inversa y de la función implícita 19
también lo es. Aplicando a ϕ e el teorema de la función inversa, se tiene que existe un abierto U ⊂ U
e
n
tal que ϕ(U)
e es un abierto de R y ϕ ≡ ϕ| e U : U −→ ϕ(U) es un difeomorfismo, luego (U, ϕ) es
i i
una carta de M en x con y = r ◦ ϕ.
4.2.6 Proposición 3.7. Sea f : M −→ N una aplicación tal que f∗x : Tx M −→ Tf (x) N es suprayectiva
para un x ∈ M. Si y 1 , ..., y n forman un sistema de coordenadas de N en un entorno de f (x),
entonces y 1 ◦ f , ..., y n ◦ f forman parte de un sistema de coordenadas de M en x.
4.2.7 Proposición 3.8. Sea f : M −→ N una aplicación tal que f∗x : Tx M −→ Tf (x) N es inyectiva
para un x ∈ M. Si y 1 , ..., y n forman un sistema de coordenadas de N en un entorno de f (x),
entonces existe un subconjunto de {y 1 ◦ f , ..., y n ◦ f } que forman un sistema de coordenadas de M
en x.
Demostración. Como f∗x es inyectiva, fx∗ es suprayectiva. Por lo tanto {fx∗ (dyfj (x) ) = d(y j ◦ f )x }
generan Tx∗ M, y existe un subconjunto que es una base y las correspondientes funciones forman
un sistema de coordenadas.
19
20 Teorema de la función implícita. Campos vectoriales
4.3.3 Proposición 3.11. Sea f : M −→ N una aplicación diferenciable, P una subvariedad regular
de M y Q una subvariedad regular de N (ambas subconjuntos de M y N respectivamente). Se
tiene que
a) f |P es diferenciable y (f |P )∗x = f∗x |Tx P .
b) Si f (M) ⊂ Q, entonces f : M −→ Q es diferenciable y su diferencial coincide con la de
f : M −→ N.
c) Si f (P) ⊂ Q, entonces f |P : P −→ Q es diferenciable y (f |P )∗x = f∗x |Tx P .
Demostración. a) Como f |P = f ◦i, f |P es diferenciable por serlo f e i, y (f |P )∗x = f∗x ◦i∗x = f∗x |Tx P .
b) Sea q = dim(Q). Como f es diferenciable, para todo x ∈ M, existen cartas (U, ϕ) en x
y (V , ψ) en f (x) tales que y j ◦ f ◦ ϕ−1 es diferenciable para todo j = 1, ..., n. Como Q es una
subvariedad de N, se deduce de 3.8 que existen un subconjunto {y j1 , ..., y jq } ⊂ {y 1 , ..., y n } y un
abierto V 0 ⊂ V tales que (V e = V 0 ∩ Q; y j1 , ..., y jq ) es una carta de Q en f (x). Tomando ahora
U 0 ⊂ U tal que f (U 0 ) ⊂ V 0 y ϕ0 = ϕ|U 0 , se tiene que y jk ◦ f ◦ ϕ0 −1 es diferenciable, luego
f : M −→ Q es diferenciable en x para x arbitrario, luego es diferenciable como aplicación de M
en Q.
c) es consecuencia de a) y b).
20
3.3 Campos vectoriales 21
5.1.4 Nota 3.16. Obsérvese que si las funciones componentes X i de un campo vectorial X en una
carta (U, ϕ) son C r y (V , ψ) es otra carta de M con U ∩ V 6= ∅, entonces las componentes X 0i de
X en la carta (V , ψ) son también de clase C r sobre U ∩ V .
Demostración. La afirmación de esta nota es consecuencia del siguiente cálculo en el que se usa
la regla de la cadena. Sea x ∈ U ∩ V
m m m
X
i ∂ X
i
X ∂y j ∂
X (x) = X (x) i = X (x) i ∂y j x
∂x ∂x
x
i=1 i=1 j=1
m m
! m
j
X X
i ∂y ∂ X
0j ∂
= X (x) i = X (x) j ,
j=1 i=1
∂x ∂y j x j=1
∂y x
∂y j
j
0j
Pm ∂y
i
de donde se deduce que X (x) = i=1 X (x) i . Como i
es la matriz de d(ψ ◦ ϕ−1 )
∂x ∂x 1≤i,j≤m
y ψ ◦ ϕ es un C -difeomorfismo, se sigue que X son C sii X 0i son C r .
−1 k i r
21
22 Teorema de la función implícita. Campos vectoriales
5.1.8. Proposición 3.18. Un campo vectorial X ∈ Xr (M), define una aplicación X : Fr +1 (M) −→
Fr (M) dada por
(Xf )(x) = Xx f para toda f ∈ Fr +1 (M). (3.2) 5.1.8.1
Demostración. En efecto: Para toda carta (U, ϕ) de M, si X = m i ∂
P
i=1 X ∂x i , entonces
U
m
−1
X ∂f
(Xf ) ◦ ϕ (ϕ(x)) = (Xf )(x) = Xx (f ) = X i (x) (x)
i=1
∂x i
m
X ∂(f ◦ ϕ−1 )
= X i ◦ ϕ−1 (ϕ(x)) (ϕ(x)), (3.3)
i=1
∂r i
que es de clase C r al ser f ◦ ϕ−1 de clase C r +1 . También hemos visto, de paso, que la suma y el
producto de funciones de clase C r de M en R es de clase C r .)
5.1.9 Proposición 3.19. Un campo vectorial X ∈ Xr (M) (con la acción definida por (3.2)) es una
derivación sobre Fr +1 (M). La afirmación “es una derivación” significa que verifica las propiedades
de la Definición 1.29, pero en este caso sobre Fr (M) en lugar de sobre Fp
Demostración. La afirmación es consecuencia de (3.2) y de que Tx M ⊂ Dx (pues X (fg )(x) =
Xx (fg ) = (Xx f )g (x) + f (x)Xx g = (Xf )(x)g (x) + f (x)(Xg )(x) = ((Xf )g + f (Xg ))(x)).
Definición 3.20. Una referencia local de una variedad M de dimensión n es una familia de
n campos vectoriales diferenciables X1 , ..., Xn sobre un abierto U de M tales que, en cada punto
p ∈ M, los vectores X1p , ..., Xnp forman una base de Tp M.
X(M), con la operación suma de campos vectoriales definida en 5.1.5, y con la operación
producto por un escalar definida por (λX )(x) = λ X (x) (que coincide con la operación producto
por una función definida en 5.1.5 si esa función es constante) para todo X ∈ X(M) y todo λ ∈ R,
es un espacio vectorial sobre R.
22
3.5 Campos a lo largo de una aplicación 23
5.2.2 Proposición 3.22. X(M), con las operaciones que acabamos de mencionar y con la operación
corchete de Lie es un álgebra de Lie, es decir, la aplicación corchete de Lie [, ] : X(M) × X(M) −→
X(M) es R-bilineal y verifica, además, las propiedades
[X , Y ] = −[Y , X ] (antisimetría)
[[X , Y ], Z ] + [[Z , X ], Y ] + [[Y , Z ], X ] = 0 (identidad de Jacobi).
Demostración. Es inmediato que se verifica la antisimetría y que [ , ] es R-bilineal. Para ver que
se verifica la identidad de Jacobi, basta con calcular cada sumando actuando sobre una función f
arbitraria y sumar después.
Del teorema de Schwartz de igualdad de las derivadas cruzadas se deduce que, si (U; x 1 , ..., x m )
es una carta de M, entonces
∂ ∂
, = 0.
∂x i ∂x j
i ∂ j ∂
Pm Pm
De estas dos fórmulas resulta que si, en una carta, X = i=1 X i
e Y = i=1 Y ,
∂x ∂x j
entonces
m j j
i ∂Y i ∂X ∂
X
[X , Y ] = X i
− Y i j
. (3.4) corcloc
i,j=1
∂x ∂x ∂x
Demostración. Lo único que puede tener algo de dificultad es probar laPdiferenciabilidad. Pero Y
diferencible significa que dada una carta (V , ψ) con f (x) ∈ V , Y |V = Y i ∂y∂ i con Y i : V −→ R
X ∂
diferenciables, por lo que Y ◦ f |f −1 (V ) = Y i ◦ f i con Y i ◦ f diferenciables.
∂y
23
24 Teorema de la función implícita. Campos vectoriales
24
3.7 Curvas integrales de campos vectoriales 25
De estas expresiones se deduce que c es una curva integral de X si y solo si para cada t0 ∈]a, b[
existe una carta (U, ϕ) de M que contiene a c(t0 ) tal que para todo t ∈ c −1 (U) se verifica
d(x i ◦ c)
(t) = X i (c(t))
dt
= (X i ◦ ϕ−1 )(x 1 ◦ c(t), ..., x m ◦ c(t)), (3.5) 6.1.2.1
∂ψ i
(t, ϕ(q)) = (X i ◦ ϕ−1 )(ϕ(c(t)))
∂t
y ψ(0, ϕ(q)) = ϕ(q) para todo ϕ(q) ∈ W . (3.7) 6.1.3.2
∂ψ i ∂
Pero ∂t
(t, ϕ(q)) son las componentes, en la base ∂x i
, del vector tangente a la curva
que verifica
φ(0, q) = ϕ−1 (ψ(0, ϕ(q))) = ϕ−1 (ϕ(q)) = q,
y, usando la expresión de dϕ que vimos en (2.6),
∂φ ∂ψ(t, ϕ(q))
(t, q) = (dϕ)−1 ( )
∂t ∂t
= (dϕφ(t,q) )−1 ((X 1 ◦ ϕ−1 )(ϕ(φ(t, q))), ..., (X m ◦ ϕ−1 )(ϕ(φ(t, q)))
m
X
i ∂
= X (φ(t, q)) i = X . (3.9)
i=1
∂x φ(t,q))
Luego, si V = ϕ−1 (W ), la aplicación φ definida por (6.1.3.3) verifica las condiciones del teorema.
Y es única, porque si tenemos una φ1 como la que dijimos en el enunciado, podemos considerar la
aplicación ψ1 definida sobre
25
26 Teorema de la función implícita. Campos vectoriales
Demostración. Sea ]a(x), b(x)[ la unión de todos los intervalos abiertos que contienen al 0 y que
son dominios de curvas integrales β de X tales que β(0) = x. Por el teorema 3.31, ]a(x), b(x)[6= ∅.
Definamos σx como la curva que a cada t ∈]a(x), b(x)[ le hace corresponder el valor en t de una
de las curvas integrales de X tomadas para construir ]a(x), b(x)[ y que están definidas en t. σx
está bien definida, En efecto, si α y β son dos de las curvas anteriores, sea ]c, d[ la intersección de
sus intervalos de definición. Evidentemente 0, t ∈]c, d[. Sea J = {s ∈]c, d[ / α(s) = β(s)}. J 6= ∅
porque α(0) = x = β(0). J es cerrado porque α y β son contínuas y M es Hausdorff. J es abierto,
como resulta de aplicar la unicidad del teorema 3.31 a las curvas α y β en un entorno de cada
punto s0 ∈ J. Por lo tanto, J =]c, d[, en particular, α(t) = β(t). La propiedad (b) es consecuencia
inmediata de esto.
6.1.6 Nota 3.34. Más observaciones. El teorema anterior permite extender el dominio de la aplica-
ción φ (flujo) definida en 3.32 al conjunto W = {(t, x) ∈ R×M / a(x) < t < b(x)}. Es consecuencia
de 3.31 que φ es diferenciable sobre W .
Para cada t, la aplicación φt está definida sobre Dt = {x ∈ M / (t, x) ∈ W } (i.e., Dt es el
dominio de φt ), que es un subconjunto abierto de M, como puede deducirse de nuevo de 3.31. Sin
embargo, pueden existir t para los que Dt = ∅.
Un campo vectorial X ∈ X(M) se dice que es completo si W = R × M, o, equivalentemente,
si para todo t ∈ R, Dt = M, o, equivalentemente, si para todo x ∈ M, la curva integral de X que
pasa por x está definida sobre todo R.
Además, se verifican las siguientes propiedades (los interesados en la demostración pueden
consultar el libro de Warner [?]):
(a) ∪t>0 Dt = ∪t<0 Dt = M.
26
3.7 Curvas integrales de campos vectoriales 27
Vamos a ver ahora como el flujo de un campo vectorial permite ver el corchete de Lie como una
especie de derivación de campos vectoriales, dando un sentido geométrico-analítico a lo que con
la primera definición que dimos tenía sólo un sentido formal.
6.2.1 Teorema 3.35. Sean X , Y ∈ X(M). Sea p ∈ M y sea φt el flujo local de X en un entorno V
de p. Entonces
1
[X , Y ]p = lı́m (Yφt (p) − φt∗p Yp ).
t→0 t
Obsérvese que
1 1
lı́m (Yφt (p) − φt∗p Yp ) = lı́m φ−t∗p (Yφt (p) − φt∗p Yp )
t→0 t t→0 t
1
= lı́m (φ−t∗p Yφt (p) − Yp ).
t→0 t
27
28 Teorema de la función implícita. Campos vectoriales
6.E.1. Ejercicio 3.37. Sea φt el flujo local de X ∈ X(M). Probar que φt∗ ◦ X ◦ φ−t = X . (Hay que
usar que φs ◦ φt = φs+t ).
28
Capítulo 4
Grupos de Lie
29
30 Grupos de Lie
C∗ es también un grupo con el producto de números complejos como ley interna. Usando la carta
anterior se tiene que
1
ϕ ◦ α ◦ (ϕ × ϕ)−1 (x, y , z, w ) = ϕ((x + iy )(z + iw )−1 ) = (xz + yw , yz − xw ), (4.2)
z2 + w2
que es una aplicación C ω y, por tanto, α es C ω y C∗ es un grupo de Lie.
(c) Con la identificación natural de C con R2 (ya usada en el ejemplo anterior), la circunferencia
de radio unidad S 1 de R2 puede considerarse como
S 1 = {z ∈ C / |z| = 1} ⊂ C.
Las cartas
ϕ : S 1 − {1} −→]0, 2π[ dada por ϕ(e iθ ) = θ, y
π
ψ : S 1 − {i} −→]0, 2π[ dada por ψ(e i(θ+ 2 ) ) = θ,
definen una estructura diferenciable sobre S 1 que es la misma que la definida en (1.3) cuando
n = 1 (¿por qué?).
El producto de dos elementos de S 1 considerados como números complejos da, de nuevo, un
elemento de S 1 , y S 1 es un grupo con esta ley. Si vemos que α es C ∞ , tendremos que S 1 es un
grupo de Lie. Ahora bien: si ι : S 1 −→ C∗ es la inyección canónica ι(z) = z y π : C∗ −→ S 1 es la
aplicación definida por π(z) = z/|z|, consideremos la composición
ι×ι α π
S 1 × S 1 −→ C∗ × C∗ −→ C∗ −→ S 1 ,
ξ
(G × H) × (G × H) / (G × G ) × (H × H)
(ϕ×ψ)×(ϕ0 ×ψ 0 ) (ϕ×ϕ0 )×(ψ×ψ 0 ) ,
ξe
(U × V ) × (U 0 × V 0 ) / (U × U 0 ) × (V × V 0 )
30
4.1 Grupos de Lie 31
es un grupo de Lie, que se llama toro abeliano por ser difeomorfo a un toro y ser un grupo abeliano.
(e) Sea GL(n, R) el grupo de los isomorfismos de Rn . Elegida una base (la canónica) de Rn ,
cada elemento A ∈ GL(n, R) viene representado de modo único por una matriz A = (aij )1≤i,j≤n de
determinante no nulo, de modo que GL(n, R) se puede identificar con el conjunto de estas matrices.
2
Identificando ahora cada (aij )1≤i,j≤n ∈ GL(n, R) con (a11 , ..., a1n , a21 , ..., an1 , ..., ann ) ∈ Rn ,
2
GL(n, R) resulta ser el subconjunto de Rn definido como
det−1 (R−{0}), donde det es la aplicación que a cada matriz le hace corresponder su determinante.
2
Como el determinante es una función contínua sobre Rn y R − {0} es un abierto de R, se tiene
2
que GL(n, R) es un abierto de Rn y, por lo tanto, una variedad C ∞ .
Si se considera como ley interna en GL(n, R) la composicioón de isomorfismos (que se corres-
ponde con el producto de matrices), GL(n, R) es un grupo de Lie, pues la aplicación (A, B) 7→ AB −1
2 2 2
es C ∞ como aplicación entre abiertos de Rn × Rn y de Rn .
La mayoría de los grupos de Lie (los grupos de Lie clásicos) son subgrupos de GL(n, R).
3.4.1. Definición 4.5. Sea G un grupo de Lie. Para cada g ∈ G , se definen las traslaciones a la
derecha Rg y a la izquierda Lg como las aplicaciones
vaciones y de la regla de la cadena 2.11 se deduce que Rg ∗x y Lg ∗x son isomorfismos para cada
x ∈ G.
4.3.4 Ejemplo 4.6. El conjunto de los endomorfismos M(n) (aplicaciones lineales) de Rn se iden-
2
tifica, una vez elegida una base de Rn (por ejemplo, la canónica), con Rn (ver lección 1), y es,
por tanto, una variedad diferenciable. Dado A ∈ M(n), se definen LA y RA por LA (B) = AB
y RA (B) = BA para todo B ∈ M(n). Estas aplicaciones son lineales, por lo tanto, para todo
2
X ∈ M(n), y todo v ∈ TX M(n), se tiene, teniendo en cuenta que, en (Rn , Id), dIdX = ΦX y que,
como RA es lineal, (dRA )X ΦX v = RA (ΦX v )),
RA∗B v = vA y LA∗B v = Av .
31
32 Grupos de Lie
Por lo tanto el rango de det∗A es 1, luego, por el teorema de la función implícita, SL(n, R) es una
subvariedad regular de GL(n, R) de dimensión n2 − 1. De la proposición anterior se deduce que
SL(n, R) es un grupo de Lie.
Demostración. Si X , Y son campos vectoriales invariantes a la izquierda, tenemos que, para todo
g ∈ G , tanto X como Y están Lg -relacionados consigo mismos. Por lo tanto también se tiene que
Lg ∗ ◦ [X , Y ] = [X , Y ] ◦ Lg , de manera que [X , Y ] es también invariante a la izquierda.
32
4.2 Flujo de un c.v. invariante a la izquierda en un grupo de Lie 33
Demostración. En efecto,
d d d
| φ (g ) = Lφ0 (g )∗ Xe = Lφ0 (g )∗ dt
dt t=0 t
|t=0 φt (e) = dt |t=0 (g φt (e)), de donde φt (g ) = g φt (e) y, de aquí
−1
φt (h) = hg φt (g ). Por lo tanto, dados dos elementos g , h ∈ G , el intervalo sobre el que están
definidas las curvas integrales φt (g ) y φt (h) son las mismas. Si ese intervalo tuviese un máximo
(resp. un mínimo) T < ∞, tendríamos una contradicción tomando h = φδ T (g ) con 1 > δ > 0,
pues entonces, como φt (φδ T (g )) = φt+δ T (g ) está definido para t < T , resultaría que φt (g ) está
definido para t < (1 + δ)T . Luego, para cada g ∈ G , φt (g ) está definido para todo t ∈ R.
La propiedad de ser un subgrupo 1-dimensional de G resulta de que φt (e)φs (e) = φs (φt (e)) =
φs+t (e). Por lo tanto t 7→ exp tX es un homomorfismod de los grupos (R, +) y (G , ).
33
Capítulo 5
34
5.2 Ejemplos de variedades semi-Riemannianas 35
Elegida una referencia local, las componentes de la matriz inversa de (gij ) se denotan g ij . Esta
matriz es también simétrica de determinante no nulo (> 0 si se trata de una métrica Riemanniana),
y define una métrica sobre T ∗ M de la siguiente forma:
n
X
g (η, ζ) = g ij ηi ζj , (5.2) gijd
i=1
] : Tp∗ M −→ Tp M
]
; η , X = η(X ) para todo X ∈ Tp M
η 7→ η]
[ : Tp M −→ Tp∗ M
; X [ (Y ) = hX , Y i para todo Y ∈ Tp M
X 7→ X[
Entonces el producto escalar de 1-formas inducido por el de vectores según la fórmula (5.2)
coincide con el definido de la siguiente forma:
g (η, ζ) = g (η ] , ζ ] )
Marcel Berger (14 April 1927 – 15 October 2016) llamaba a ] y [ los isomorfismos musicales
porque, así como los correspondientes símbolos musicales suben o bajan medio tono la nota, los
isomorfismos suben o bajan los índices de las componentes (índice arriba para el vector y abajo
para la 1-forma).
35
(2) W contains a null vector but not a timelike vector.
(3) W n A = L - 0, where L is a one-dimensional subspace and A
5 Riemannian and Lorentz Geometry
142 5 Riemannian 36 and Lorentz Geometrynullcone of I/.
is the Variedades semi-riemannianas y ejemplos
Proof. (1) * (2). Since W is degenerate it contains a null vector. By
28. 28.Lemma.
Lemma.ForFor a subspace
a subspace W ofWthe
aofLorentz
aprevious
Lorentzvector
lemma space
vector the the
itspace
cannotfollowing
contain
following a timelike vector.
equivalent Se incluyen aquí todas las inmersiones
(2) (3). Since W contains a null vector,
F : M −→ RnW , no
nA sólo las subvariedades
is nonempty. By the regulares.
are equivalent n
La manera de inducir h, i
previous lemma, two independent null vectors would imply that W contains∗
la métrica euclídea de R sobre M es g (X , Y ) = hF X , F ∗ i. Como
Y
1) (1)W isWlightlike, that
is lightlike,n that is, degenerate.
is, degenerate.
2) (2)W contains enaRnullhemos
W contains vector
a null but
vector nottimelike
considerado
but a timelike
not
vector.
a timelike
métrica euclídea, los pares (M, g ) así construidos serán variedades
la vector.
vector.
3) (3)W n (3)
L isL aisone-dimensional(1). W cannot be and
spacelike,
A A and again by the preceding lemma
WAn=A L=-L0,-where
Riemannianas. 0, where a
cannot one-dimensional
be timelike.
subspace
Hence subspace
W is and
lightlike. ( L is in fact the nullspace W n W'
se the
nullcone of I/of
nullcone . IPara
/. el caso deofsubvariedades
W.) m de una variedad semi-riemanniana general la situación es más
Proof.Proof.(1) * (2).
* (2).Since
(1)complicada. Since isWdegenerate
W Vamos it contains
a describir
is degenerate
Causal
las aposibilidades
contains
itcharacters null vector.
a null
for
By para
vector.
a subspace By subvariedades de una variedad de Lorentz.
W are illustrated in Figure 4.
previous lemma
he previous lemma it cannot contain
it cannot contain
Ello requerirá a timelike
conocer a timelike vector.
un poco vector.
más la terminología para los subespacios vectoriales de un espacio
Let PWbe aAsubmanifold ofBya Lorentz manifold. If for every p E P the sub-
2) (2)(3). (3).Since W
Since contains
W contains a null vector,
a null vector, n W nisAnonempty.
is nonempty. the
By the
ious lemma,
de
twotwo
Minkowski.
independent nullnullspace T,(P)
vectors would has the same
imply thatthat causal
W character in T,(M), then that causal character
contains
previous lemma, independent is vectors
attributed wouldto P imply
itself. Thus Wsemi-Riemannian
contains submanifolds of M are either
like vector.
imelike vector.
3) (3)(1). (1).W cannot be spacelike, spacelike or timelike. The nullcone in R; is an example of a lightlike sub-
W Definición
cannot 5.2. and
be spacelike, Sea again
and
manifold.
Wagainunby the
Ofcourse
preceding
subespacio
by the an preceding
arbitrary
lemma
vectorial
lemma de un
submanifold need
espacio de Minkowski V con producto
not haveacausalcharacter.
not be timelike.
cannot be timelike. Hence HenceW isWlightlike.
is ( L is( Linisfact
lightlike. in the the
fact nullspace
nullspace Wn W W'
n W'
escalar g . Hay tres posibilidades The causal character mutuamente of tangentexcluyentes para W
vectors, curves, and: submanifolds is
of W.) m m
W.)
preserved not just by local isometries but by conformal with h > 0se dice que W
mapsEntonces
(1) g |W es definida positiva (i.e. (W , g |W ) es un espacio euclídeo).
Causal characters
Causal characters for a subspace W are
for a subspaceespacial. illustrated in Figure
W are illustrated in Figure 4. 4.
es un subespacio
P beP abesubmanifold
Let Let of aofLorentz manifold. If for
a submanifold a Lorentz manifold. If every
for every p E pP Ethe sub-sub-
P the
ce T,(P) has the same (2) g |
causal es no
character degenerada
in T,(M), then de
space T,(P) has the same causal character in T,(M), then that causal character
W índice
that causal 1. Entonces
character se dice que W es temporal.
istributed
attributedto Ptoitself. Thus
(3)
P itself. |Wsemi-Riemannian
gThus es degenerada
semi-Riemannian submanifolds
(i.e., existeof un
submanifolds Mofare either
vector
M are w ∈ W que es ortogonal a todo W ). Entonces se
either
celike or timelike.
spacelike or timelike.
dice queThe nullcone
The Wnullcone in R;
es tipoinluz. is an example of a lightlike
R; is an example of a lightlike sub- sub-
nifold.
manifold.Ofcourse
Ofcoursean arbitrary
an arbitrary submanifold
submanifold needneed
not nothaveacausalcharacter.
haveacausalcharacter.
TheThe causal character of tangent vectors,
causal character of tangent vectors, curves, curves, andand submanifolds
submanifolds is is
erved not just
preserved not justLos by local
by local isometries
isometries
siguentes but
dibujos by
but byconformal
conformal
expresan maps
lasmaps with
tres withh > h0> 0
posibilidades para el espacio de Minkowski R3 , donde
el eje vertical corresponde a la coordenada x 0 .
' lightlike
Qα = {x ∈ Rn + 1; hx, xi = α}
36
p = (vV+1, . . . , u,+ 1)/4(~), [ctz (rnu ~ ) ~ ] Then
and A(u) =
verse mappings, hence diffeomorphisms.
" ~ . 4 and I,+are in-
*') = H i ( r )
o, equivalentemente,
Como ejemplos concretos de grupos de Lie con métrica invariante a la izquierda tenemos el
grupo
Si definimos una métrica sobre TI SU(2) exigiendo que {Xi }3i=1 sea una base ortonormal y la
extendemos a todo SU(2) exigiendo que sea invariante a la izquierda, es decir, exigiendo que los
campos vectoriales {g 7→ Eig := lg ∗ Xi }3i=1 formen una base ortonormal en cada punto de SU(2),
esta métrica coincide con la métrica estándar de la esfera S 3 (1) (como comprobaréis).
37
38 Variedades semi-riemannianas y ejemplos
Si definimos la métrica sobre SU(2) exigiendo que los vectores descritos sigan siendo ortogo-
nales, pero X1 de norma ε y los demás de norma 1, tenemos otra métrica sobre SU(2) = S 3 , con
esa métrica se dice que S 3 es una “esfera de Berger”.
Obsérvese que X1 es justo el vector tangente a la curva
iθ iθ
e 0 z w e z e iθ w
θ 7→ = (5.3) HSU
0 e −iθ −w z −e −iθ w e −iθ z
que es el resultado de la acción de S 1 sobre cada elemento de SU(2) definida por (5.3). Esta
acción se corresponde, por la biyección indicada anteriormente entre SU(2) y S 3 , con la acción
de S 1 sobre S 3 = {(z, w ) ∈ C2 ; |z|2 + |w |2 = 1} definida por e iθ (z, w ) = (e iθ z, e iθ w ), que se
llama acción de Hopf, que se define no sólo para S 3 , sino para toda esfera de dimensión impar
S 2n+1 ⊂ Cn+1 .
La acción de Hopf de S 1 sobre S 2n+1 permite considerar el conjunto cociente S 2n+1 /S 1 de S 2n+1
por la relación de equivalencia → −
z ≈→ −
w si y solo si →w = e iθ →
− −z para algun θ. Puesto que e iθ es
un número complejo de módulo 1, este conjunto cociente es el mismo que Cn+1 / ∼, donde ∼ es la
relación de equivalencia →−z ∼→ −w si y solo si existe un λ ∈ C∗ tal que → −w = λ→ −z , que. a su vez,
es igual al conjunto de las rectas complejas de Cn+1 , que se llama espacio proyectivo complejo de
dimensión (compleja) n, y se denota por CP n .
El cociente CP n = S 2n+1 /S 1 es una variedad diferenciable de dimensión 2n, y la aplicación
cociente π : S 2n+1 −→ CP n es una sumersión, que se llama fibración de Hopf (las fibras son
las subvariedades π −1 (x), x ∈ CP n que, obviamente, son circunfrenecias, pues, por construcción
coinciden con las clases de equivalencia de un y ∈ S 2n+1 , que son de la forma e iθ y , θ ∈ [0, 2π].
Aprovechamos esto para definir una métrica sobre CP n de la siguiente manera:
Dado x ∈ CP n , sea y ∈ π −1 (x). Podemos escribir Ty S 2n+1 = Ty π −1 (x) ⊕ Ty⊥ π −1 (x), don-
de Ty⊥ π −1 (x) es el subesapcio de Ty S 2n+1 ortogonal a Ty π −1 (x). Resulta entonces que π∗y :
Ty⊥ π −1 (x) −→ Tx CP n es un isomorfimso, y podemos definir la métrica en Tx CP n como aquella
que convierte este isomorfismo en una isometría. Se comprueba (lo comprobaréis) que esta manera
de definir la métrica sobre Tx CP n no depende del y ∈ π −1 (x) elegido, y que la métrica definida
de este modo sobre CP n es diferenciable. Esta métrica se llama métrica de Fubuni Study sobre
CP n
Cuando n = 1, CP 1 = S 2 (1/2), la esfera de radio 1/2 (lo probaréis y explicaréis lo que significa
este =).
Otro grupo muy usado en Geometría de Riemann y en Mecánica Cuántica es el grupo de
Heisenberg
1 a c
G = 0 1 b ; a, b, c ∈ R
0 0 1
38
5.2 Ejemplos de variedades semi-Riemannianas 39
y definir sobre él una métrica (o familia de métricas) análogas a las que definimos sobre SU(2).
El espacio-tiempo de Schwarzschild es el modelo relativista más simple de un universo con-
teniendo una única estrella que se supone es estática, de simetría esférica, y la única fuente
de gravedad del espacio-tiempo. El modelo resultante se puede aplicar, por lo tanto a regiones
alrededor de objetos astronómicos que, aproximadamente, cumplan estas condiciones. Por ejemplo,
para el caso del sol da un modelo para el sistema solar bastante más preciso que el modelo de
Newton. Otra situación en la que da buena precisión, y mejor que la del modelo Newtoniano, es
en el uso en el GPS para determinar la posición de un punto en la tierra usando la posición de
los satélites que se mueven en la órbita de la tierra, que juega aquí el papel de la masa central
con simetría esférica oúnico origen de la gravedad en lo que afecta al movimiento de los satélites.
Schwarzschild encontró esta solución a las ecuaciones de Einstein en 1915, inmediatamente
después de la aparición de la teoría general de la relatividad (en el mismo 1915) y poco antes
de su muerte (en 1916). Inicialmente solo una parte de su espacio-tiempo (la exterior) parecía
tener sentido físico. Sin embargo la parte despreciada proporciona, en la actualidad, el modelo
más simple de un agujero negro.
Pensando en la variedad R × R3 , donde la primera R representa el tiempo t y R3 representa
el espacio, la métrivca de Sxhwarzschild se puede escribir, usando la coordenada tiempo t en R
y coordenadas esféricas (r θ, φ en R3 , de la forma
−1
2 2m 2 2m
ds = − 1 − dt + 1 − dr 2 + r 2 (dθ2 + sen2 θdφ2 )
r r
donde r > 2m (m representa la masa de la partícula (el sol) que crea el campo gravitatorio) para
que la métrica estébien definida. Así considerada la variedad sobre la que está definida la métrica
de Schwarzschild es R×]2m, ∞[×S 2 . Sin embargo, se observó después que la restricción para r
es solo debida a laR elección de las coordenadas. En efecto, si en lugar de t y r se emplean las
coordenadas r ∗ = 1−2m/r1
dr = r + 2m ln(r − 2m) y v = t + r ∗ , la métrica anterior toma la forma
2 2m
ds = − 1 − dv 2 + 2dvdr + r 2 (dθ2 + sen2 θdφ2 )
r
que es no singular sobre la variedad más grande R×]0, ∞[×S 2 . En esta nueva variedad la super-
ficie r = 2m es una superficie de luz. (Todas estas afirmaciones tendréis que probarlas).
Geometría de la información. Las variedades de Riemann también se usan para modelar
familias de funciones de distribución de probabilidad. Consideremos una una familia S de funciones
de distribución de probabilidad sobre un espacio Ω. Supongamos que cada función de distribución
se puede parametrizar usando nvariables con valores reales [ξ1 , · · · , ξn ] tales que podemos escribir
39
40 Variedades semi-riemannianas y ejemplos
Hacemos gij definida positiva suponiendo que los elementos {ϕ1 lξ , · · · , ϕn lξ } son linealmente inde-
pendientes como funciones, lo que, por la ecuación anterior, convierte a gij en definida positiva. Esto
40
5.2 Ejemplos de variedades semi-Riemannianas 41
significa que gij proporciona una métrica Riemanniana sobre S. Por lo tanto tenemos un producto
interno gξ = h, iξ sobre cada espacio tangente Tξ S, que también escribimos como gξ = gij dx i ⊗ dx j .
En otras palabras, para cualesquiera X , Y ∈ Tξ S tenemos
hX , Y iξ = gij dx i ⊗ dx j (X µ ϕµ , Y ν ϕν )
= gij X µ δµi Y ν δνj
= E[X i Y j ϕi lξ ϕj lξ ]
= E[(Xlξ )(Ylξ )]
41
Capítulo 6
Después de haber visto el concepto y unos ejemplos de variedades semi-riemannianas, surge la
pregunta: Dada una variedad diferenciable M, ¿existe siempre una métrica semi-riemanniana sobre
M? La respuesta es “no” si pensamos en métricas semi-riemannianas que no son riemannianas, y
“si” si pensamos en métricas riemannianas. Veamos los resultados con más detalle.
En primer lugar recordemos que suponemos que las variedades con que trabajamos son Haus-
dorff y verifican el segundo axioma de numerabilidad. Estas son las hipótesis necesarias (que no
escribiremos) para el segundo de los lemas siguientes. Y estos lemas son los que nos permiten
construir métricas riemannianas sobre un variedad cualquiera y extender aplicaciones y campos
diferenciables definidos en un abierto.
mes Lema 6.1. Sea M una variedad diferenciable y U un entorno abierto de p ∈ M. Entonces
existe una 8 Chapter .1 Differentiable Manifolds
C
función k ∈ F(M),Lemma
un 1.3.
entorno
E
V de p
Let M be a differentiable manifold. If U is an open neighborhood
of p M, then there exist a function Ic ~(M) and neighborhoods V of p and )‘V
E
p ∈V ⊂M −W ⊂U y r (
M
J
(
UnForrefinamiento
Definición 6.2.Proof. c> 0 let {Vβ }β∈B de un recubrimiento
(
{Uα }α∈A de un abierto W de un
que Vβ ⊂ Uα .
ye = {
espacio topológico M es un recubrimiento de W tal que, para cada β de B existe un α ∈ A tal
(p1,...,pn)ER”~Ep3<
In
j=1
There exist real numbers a and b with 0 < a < b and patches (x, V0), (x, V6) in the
Definición 6.3.atlasUna colección
of M such that {Uα } de subconjuntos de M( se dice que es localmente finita si
4
42
6.1 Derivada covariante o conexión 43
Definición 6.7. Una partición de la unidad {ϕi }i∈I se dice subordinada al recubrimiento
{Uα }α∈A si para cada i ∈ I existe un α ∈ A tal que sopϕi ⊂ Uα . Se dice que está subordi-
nada al recubrimiento {Ui }i∈I con el mismo índice si sopϕi ⊂ Ui para todo i ∈ I .
pu Lema 6.8. Sea M una variedad diferenciable conexa, {Uα }α∈A un recubrimiento abierto de M.
Entonces existe una partición de la unidad numerable {ϕi }i∈I subordinada al recubrimiento Uα
con sopϕi compacto para cada i ∈ I . Si no se exige que el soporte sea compacto, se puede tomar
la partición de la unidad con el mismo índice que el recubrimiento {Uα }α∈A , con a lo sumo una
cantidad numerable de ϕα no idénticamente nulas.
Teorema 6.9. Una variedad diferenciable M admite una métrica Riemanniana
Demostración. Sea {(Uα , ψα )}α∈A un atlas de M. Por el lema 6.8, existe una partición de la unidad
ϕα subordinada al recubrimiento Uα de M por los dominios de las cartas. Sobre cada Uα podemos
definir la métrica gα para la que la referencia local canónica asociada a la carta (Uα , ψα ) es una
base ortonormal. Definimos entonces la métrica g sobre M por
X
g (X , Y ) = ϕα (m)gα (X , Y ).
α∈A
Esto no es cierto para una métrica semi-riemanniana de rango no nulo, como es fácil pensar
por el siguiente argumento, que requiere una definición previa.
Definición 6.10. Sea M una variedad de dimensión n. Una distribución diferenciable D de
dimensión r < n es la aplicación que, a cada punto m ∈ M le asigna, de manera diferenciable, un
subespacio vectorial Dm de Tm M de dimensión r .
“De manera diferenciable” significa aquí que, para cada m ∈ M existe un abierto U ⊂ M y
r campos vectoriales diferenciables sobre U, que denotaremos por X1 , ..., Xr tales que, para cada
p ∈ U, los vectores X1 (p), ..., Xr (p) son una base de Dp
Nota 6.11. Si g es una métrica semi-riemanniana de rango r > 0 sobre una variedad M,
podemos asignar a cada punto m ∈ M el subespacio Wm ⊂ Tm M de dimensión r tal que g |Wm es
definida negativa. No es difícil demostrar que esta distribución es diferenciable. Resulta entonces
que una condición para que una variedad diferenciable de dimensión n admita una métrica semi-
riemanniana de rango r ≥ 1 (r < n), es necesario (y suficiente) que admita una distribución
diferenciable de dimensión r .
No toda variedad diferenciable admite distribuciones así. Por ejemplo, en dimensión 2, para
superficies orientables, la existencia de una distribución 1-dimensional equivale a la de un campo
vectorial no nulo en todo punto. Una consecuencia del teorema de Gauss-Bonnet (por ejemplo) es
que ninguna superficie difeomorfa a la esfera tiene un campo vectorial que no se anule nunca. Por
lo tanto, sobre esas superficies no exissten métricas semi-riemannianas que no sean riemannianas
(lo mismo ocurre con todas las esferas de dimensión par y, por eso, la curvatura constante para
Lorentzianas es muy distinta que para riemannianas, al menos en dimensión par)
43
44 Existencia de métricas. Conexiones
3. DfX Y = fDX Y
4. DX +Y Z = DX Z + DY Z
Las propiedades (1) a (4) (llamadas propiedades de una de derivación) de la definición anterior
tienen la siguiente consecuencia interesante:
X − X 0 = (1 − ϕ)(X − X 0 )
Y − Y 0 = (1 − ϕ)(Y − Y 0 )
(DX Y )p −(DX 0 Y 0 )p = (DX Y )p − (DX 0 Y )p + (DX 0 Y )p − (DX 0 Y 0 )p
= (DX −X 0 Y )p + (DX 0 (Y − Y 0 ))p
= (D(1−ϕ)(X −X 0 ) Y )p + (DX 0 ((1 − ϕ)(Y − Y 0 ))p
= (1 − ϕ)(p)(DX −X 0 Y )p + (1 − ϕ)(p)(DX 0 (Y − Y 0 ))p
+ Xp0 (1 − ϕ)(Y − Y 0 )p = 0.
Esta fórmula nos permite ver que, elegida una referencia local, la derivada covariante de cualquier
campo vectorial está determinada por las derivadas covariantes de los campos vectoriales de la
referencia. Por ello, se da un nombre especial a las componentes de esas derivadas covaraintes
en esa misma referencia. Así, se escribe
X
DEi Ej = Γkij Ek , (6.2) sCh
k
locdc Proposición 6.14. (DX Y )p depende solo del valor de X en p y de los valores de Y a lo largo
de cualquier curva tangente a Xp .
44
6.1 Derivada covariante o conexión 45
Demostración. Tomemos como referencia local para la expresión (6.1), la referencia local canónica
asociada a un sistema de coordenadas (U, x 1 , ..., x n ), y sea c una curva tal que c 0 (0) = Xp , de
coordenadas (x 1 ◦ c(t), ..., x n ◦ c(t)). Cuando calculamos DX Y en p usando (6.1) y (6.2), obtenemos
X
X i Y j D∂i ∂j + X i ∂i (Y j )∂j
DX Y =
i,j
X
X i Y j Γkij + X i ∂i (Y k ) ∂k ,
=
i,j,k
expresión en la que es evidente que (DX Y )p depende sólo de de X i (p), por lo tanto, sólo de Xp .
Además, teniendo en cuenta la relación de Xp con c, da
!
X X
(DX Y )p = (x i ◦ c)0 (0)Y j Γkij + (x i ◦ c)0 (0)∂i (Y k ) ∂k
i,k j
!
k
X X dY ◦ c
= (x i ◦ c)0 (0)Y j Γkij + (0) ∂k , (6.3)
k i,j
dt
donde hemos empleado la regla de la cadena para la última igualdad. Se deduce de esta última
k
expresión que (DX Y )p depende sólo de dYdt◦c , es decir, de los valores de Y a lo largo de la curva
c(t).
Nota 6.15. Obsérvese que acabamos de usar una notación que repetiremos mucho, para ahorrar
espacio, cuando no haya confusión sobre qué sistema de coordenadas estamos usando. Es:
∂
∂i := (6.4)
∂x i
Proposición 6.16. Sobre toda variedad diferenciable existe una conexión bien definida
Demostración. Se demuestra con la misma idea que se demostró la existencia de una métrica
riemanniana, usando particiones de la unidad.
Para el estudio de la geometría riemanniana no interesa (de ordinario) esa conexión que se
construye en la proposición anterior, sino una que esté ligada a la métrica, mejor si está ligada
de manera única. Para hablar de esa conexión introducimos dos conceptos nuevos:
Definición 6.17. Una conexión D sobre una variedad riemanniana (M, h, i) se dice que es
métrica si
DX Y − DY X = [X , Y ] (6.6) consim
teuc Teorema 6.18. Sobre una variedad semi-riemanniana (M, h, i) existe una única conexión que
es métrica y simétrica. Se llama conexión de Levi-Civita, la denotaremos por ∇ en lugar de D, y
su expresión es
2 h∇X Y , Z i = X hY , Z i + Y hX , Z i − Z hX , Y i
+ hX , [Z , Y ]i − h[X , Z ], Y i − h[Y , X ], Z i (6.7) LCc
45
46 Existencia de métricas. Conexiones
Demostración. Se basa en ver que la aplicación sucesiva a la expresión h∇X Y , Z i de las propie-
dades de ser métrica y simétrica conduce a la expresión (6.7). Así:
∆f = div gradf
46
6.3 Isometrías: conservan la derivada covariante 47
47
48 Existencia de métricas. Conexiones
Proposición 6.26. Un campo vectorial es de Killing sii su flujo está formado por isometrías
locales.
Demostración. Sea φt el flujo de X , por definición de la derivada de Lie y por el Teorema 3.35,
Nota 6.27. Puede que el lector haya oído alguna vez que el espacio físico es homogéneo e
isótropo. Homogéneo significa que se ve igual desde todos los puntos del espacio e isótropo que,
en cada punto, se ve lo mismo en todas direcciones. Estamos ahora en condiciones de dar una
definición matemática de lo que significa homogéneo.
Una variedad semi-riemanniana (M, g ) se dice que es homogénea si, dados dos puntos cua-
lesquiera x, y ∈ M existe una isometría de M que lleva x en y . El lector comprobará que esta
definición se corresponde exactamente con la idea intuitivo-física expresada anteriormente.
48
Capítulo 7
Es métrica porque
X hY , Z i = ∇X Y , Z + Y , ∇X Z
= (∇X Y )> , Z + Y , (∇X Z )> = h∇X Y , Z i + hY , ∇X Z i
Es simétrica porque
Nota 7.5. En la mayoría de los libros de geometría la curvatura media se define multiplican-
do por 1/n la definición dada anteriormente. La definición usada aquí es más común entre los
analistas.
49
50 Subvariedades. Formalismo de Cartan. Transporte paralelo.
Definición 7.6. Se dice que una subvariedad es totalmente geodésica si α = 0. Se dice que
es minimal si H = 0.
Proposición 7.7. Una subvariedad M de una variedad M es totalmente geodésica si, para cada
X ∈ Tp M, la geodésica de M tangente a X está contenida en M y es una geodésica de M.(Para
el concepto de geodésica, ver Definición 8.1)
Demostración. Sea X ∈ Tp M y sea γ la geodésica de M tangente a X . Se tiene que 0 =
∇γ 0 (t) γ 0 (t) = ∇γ 0 (t) γ 0 (t) − α(γ 0 (t), γ 0 (t)) = ∇γ 0 (t) γ 0 (t), luego γ(t) es una geodésica de M y, por la
unicidad de la geodésica que pasa por un punto y tangente a un vector, se tiene la proposición.
Como ∇ej es F(M)-lineal, también son F(M)-lineales los ωji . Comparando la expresión (7.1) con
la definición de los símbolos de Christoffel asociados a una referencia, tenemos que
X X
Γkij ek = ∇ei ej = ωjk (ei )ek ;
k k
X
i.e. Γkij = ωjk (ei ); de donde ωjk = Γkij θi . (7.2) SCom
i
y las ωij son 1-formas locales sobre M. En efecto, ya hemos observado antes que son F(M)-lineales,
y la fórmula (7.2) nos vuelve a indicar que son diferenciables.
Estas ωji se llaman las 1-formas conexión de ∇ asociadas a la referencia local {ei }ki=1 . Verifican
la propiedad:
Proposición 7.8. La matriz (ωji )ni,j=1 es antisimétrica
Demostración.
P k
Para
cualquier
P k
vector X ∈ Tp M, se tiene 0 = X hei , ej i = h∇X ei , ej i + hei , ∇X ej i =
j i
k ωi (X )ek , ej + ei , k ωj (X )ek = ωi (X ) + ωj (X ).
Demostración. dθi (X , Y ) = X (Y i ) − Y (X i ) − [X , Y ]i
= X hY , ei i − Y hX , ei i − h[X , Y ], ei i
=Dh∇X Y ), ei i i + h.Y
E ,D ∇X ei i − h∇Y XE, ei i − hX , ∇Y , ei i − h[X , Y ], ei i
= Y , ωi (X )ej − X , ωij (Y )ej ) = θj (Y )ωij (X ) − θj (X )ωij (Y ) =
P j P P P
= − j ωji ∧ θj (X , Y )
P
50
7.3 Derivada covariante a lo largo de una curva 51
Ejercicios 7.10 (para aquellos que tienen los ejemplos que se indican). Calcular las 1-formas
de conexión asociadas a una referencia local ortonormal del espacio hiperbólico en el modelo
de la bola de Poincaré y de la métrica de Schwarzschild. Aplicarlo al cálculo de las derivadas
covariantes de los campos vectoriales de las referencias locales ortonormales usadas y de los
campos vectoriales asociados a la carta que se ha usado para obtener la referencia ortonormal.
Luego, si la aplicación existe, viene dada por (7.3), luego es única. Para demostrar la existencia
DX
basta con definir por la expresión (7.3), que cumple las propiedades (a),(b),(c) y que, por la
dt
unicidad, no depende de la carta usada.
Proposición 7.12. Si la conexión que se considera sobre una variedad Riemanniana es la
de Levi-Civita, la correspondiente derivada covariante a lo largo de una curva definida por la
Proposición 7.11 verifica la propiedad
d ∇X ∇Y
hX , Y i = ,Y + X, (7.5)
dt dt dt
51
52 Subvariedades. Formalismo de Cartan. Transporte paralelo.
Si c(]a, b[) ⊂ U, la teoría de EDO dice que existe una única soluciión V 1 (t), ...V n (t) de este
sistema de ecuaciones verificando esas condiciones iniciales, y el campo V (t) del teorema es
52
7.5 Apéndice B. Sobre las formas diferenciales y la diferencial exterior 53
V (t) = i V i (t)∂i . Si c(]a, b[) no está contenido en U, sea ]a1 , b1 [⊂]a, b[ el intervalo maximal que
P
contiene a 0 sobre el que existe el campo paralelo único V (t). Si b1 < b, existe una carta (W , ψ) tal
que W contiene a c(]b1 − ε, b1 + ε[) en la que podemos aplicar el teorema de existencia y unicidad
anterior para concluir que existe un campo paralelo único V e (t) definido sobre ]b1 − ε, b1 + ε[ que
coincide con V (t) en b1 − ε/2. Por la unicidad, V y V e , ambos campos coinciden sobre ]b1 − ε, b1 [,
lo que da una extensión de V a la derecha de b1 , en contradicción con la maximalidad de ]a1 , b1 [,
luego b1 = b. Del mismo modo se argumenta que a1 = a.
PcIsom Proposición 7.15. El transporte paralelo Pc t0 : Tc(0) M −→ Tc(t) M es una isometría de espacios
vectoriales.
Demostración. La aplicación tiene inversa (Pc t0 )−1 = Pc −1 t0 , donde c −1 (s) = c(t −s). Por otro lado,
si X (t) = Pc t0 X y Y (t) = Pc t0 Y , tenemos dhX (t),Y (t)i
= ∇X (t), Y (t) + X (t), ∇Y
dt dt dt
(t) = 0 por ser
X (t)
e Y (t) campos vectoriales paralelos a lo largo de c(t). Por lo tanto hX (t), Y (t)i es constante
y Pc t0 X , Pc t0 Y = hX , Y i, luego Pc t0 es una isometría de espacios vectoriales con métrica (y, por
Si X es un campo vectorial a lo largo de t, {e1 (t), ..., en (t)} es una referencia paralela a lo
X ∇X X dx i
largo de c y X (t) = X i (t)ei (t), entonces = ei .
i
dt i
dt
∇X 1
(Pc t0 )−1 (X (t)) − X (0)
(0) = lı́m
dt t→0 t
Demostración. Las dos primeras afirmaciones son inmediatas a partir de las definiciones y la Pro-
posición 7.15. Veamos la tercera. Si ei (t) es una referencia ortonormal paralela
Xde M a lo−1largo de
t −1
X i (t)Pc t0 ei (t) =
P i
c, X (t) se puede escribir como X (t) = i X (t)ei (t), de donde Pc 0 X (t) =
X i
i
X (t)ei (0), de donde resulta que
i
!
1 1 X X
(Pc t0 )−1 (X (t)) − X (0) = lı́m X i (t)ei (0) − X i (0)ei (0)
lı́m
t→0 t t→0 t
i i
X dX i ∇X
= (0)ei (0) = (0).
i
dt dt
53
54 Subvariedades. Formalismo de Cartan. Transporte paralelo.
En 2.8 vimos que si x i son las coordenadas asociadas a una carta de M cuyo dominio contiene
a M, entonces dxp1 , ..., dxpn es una base de Tp∗ M.
En general se tiene que si {e1 , ..., en } es una base de Tp M y {θ1 , ..., θn } es su base dual,
entonces {θi1 ∧ ... ∧ θik }1≤i1 <...<ik es una base de k Tp M, y que una k-forma α ∈ k Tp M se
V V
escribe en una tal base de la forma
X
α= αi1 ...ik θi1 ∧ ... ∧ θik , donde αi1 ...ik = α(ei1 , ..., eik ). (7.6) compkf
1≤i1 <...<ik ≤n
En particular, cuando k = n,
r
Vk
Definición
Vk 7.17. Una k-forma
Vk diferencial α de clase C es una aplicación α : M −→ M :=
∪p∈M p M tal que α(p) ∈ p M para cada p ∈ M y tal que, para cada carta (U, ϕ) de M, las
X
funciones αi1 ...ik : U −→ R definidas por α(x) = αi1 ...ik (x) dxxi1 ∧ ... ∧ dxxik son de clase
1≤i1 <...<ik ≤n
Cr.
Denotaremos por E k (M) el conjunto de las formas diferenciales de grado k (y clase C r ) sobre
M.
α ∧Pβ
= 1≤i1 <...<ik ≤n 1≤j1 <...<j` ≤n αi1 ...ik βj1 ...j` dx i1 ∧ ... ∧ dx ik ∧ dx j1 ∧ ... ∧ dx j`
P
α ∧ β = (−1)k` β ∧ α
54
7.5 Apéndice B. Sobre las formas diferenciales y la diferencial exterior 55
- d es R-lineal.
- Si f ∈ F(M), entonces d(f α) = df ∧ α + f dα.
- d(α ∧ β) = dα ∧ β + (−1)k α ∧ dβ si α es una k-forma diferencial.
- ddα = 0.
- Si α es una 1-forma diferencial,
f ∗ : ∧k N −→ ∧k M, por
fx∗ ((αf (x) )(v1 , ..., vk ) = αf (x) (f∗x v1 , ..., f∗x vk )
55
Capítulo 8
56
8.1 Geodésicas y aplicación exponencial 57
isomg Proposición 8.4. Una isometría conserva las geodésicas. Con más precisión: Si f : M −→ N
es una isometría, γ(t) es una geodésica de M sii f ◦ γ(t) es una geodésica de N.
Demostración. A partir de la Proposición 6.24 es inmediato porque (f ◦ γ)0 (t) = f∗ γ 0 (t).
lat Lema 8.5. Sea p ∈ M, X ∈ Tp M y c(t, X ) :] − ε, ε[−→ M la única geodésica que verifica
c(0, X ) = p y c 0 (0, X ) = X . Se verifica que, para todo λ ∈ R − {0}, la geodésica c(t, λX ) está
definida sobre el intervalo ] − ε/λ, ε/λ[ y se relaciona con la anterior por c(t, λX ) = c(λt, X )
Demostración. Bastará con ver que c(t, λX ) = c(λt, X ), pues de aquí se sigue que c(t, λX ) está
definida sobre ] − ε/λ, ε/λ[. Para ello, definamos α :] − ε/λ, ε/λ[−→ M por α(t) = c(λt, X ).
Esta curva verifica: α(0) = c(0, X ) = p; α0 (0) = λc 0 (λ0, X ) = λX y, además, ∇α0 (t) α0 (t) =
λ2 ∇c 0 (λt,X ) c 0 (λt, X ) = 0, luego α(t) es una geodésica y, por definición de c(t, λX ), α(t) = c(t, λX ).
exp Definición 8.6. Dado X ∈ Tp M, se define la aplicación exponencial por expp X = c(1, X ) para
X 6= 0 en los puntos X ∈ Tp M en los que c(1, X ) esté definida, y expp 0 = p.
Tomando λ = 1/|X | en el lema 8.5, se tiene que, si X 6= 0,
Como c(t, X /|X |) es una geodésica con vector tangente unitario en el origen, se sigue que es-
ta curva está parametrizada respecto de su longitud de arco. Entonces la fórmula (8.3) permite
describir geométricamente la aplicación expp de la siguiente forma: “Dado X ∈ Tp M, expp X es
el punto de la geodésica tangente a X en p que se obtiene tomando sobre esta geodésica una
longitud |X | medida a partir de p en la dirección de X ", i.e. “expp X es el punto de M obtenido
‘doblando’ el vector tangente sobre la variedad.
Lema 8.7. Para todo punto p ∈ M existe una carta en p tal que la referencia local asociada a
esta carta es ortonormal en p
Demostración. Sea (U, ϕ) una carta en p, {∂1 , ..., ∂n } la referencia local asociada, {e1 , ..., en } una
base ortonormal de Tp M y {u1 , ..., un } es la base canónica de Rn . Existe un isomorfismo lineal
A : Rn −→ Rn tal que ui = Aϕ∗p ei . Definimos una nueva carta (U, A ◦ ϕ) de M. La referencia local
{∂i0 }ni=1 definida por esa carta verifica que ∂i0 |p = ((A ◦ ϕ)−1 )∗A(ϕ(p)) ui = ei , luego (U, A ◦ ϕ) es la
carta que buscábamos.
IV.54 Proposición 8.8. Dado p ∈ M, existe ε > 0 tal que expp está definida y es diferenciable en el
disco abierto de centro 0 y radio ε, Bε (0) ⊂ Tp M.
Demostración. Sea (U, ϕ) una carta de M en p tal que la referencia local asociada sea ortonormal
en p. Según vimos, una geodésica que pasa por p, ϕ(p) = (p 1 , ..., p n ) con vector tangente X =
i
P
i X ∂i ∈ Tp M es la curva cuyas coordenadas verifican el sistema de ecuaciones diferenciales con
condiciones iniciales (8.2) Por teoría de ecuaciones diferenciales se tiene que, existen ε1 , ε2 > 0
y existe una única aplicación
dy j
tales que y j (0, X 1 , ..., X n ) = p j , (0, X 1 , ..., X n ) = X j , j = 1, ..., n, y, para cada (X 1 , ..., X n ) ∈
dt
Bε2 (0), la curva
t 7→ (y 1 (t, X 1 , ..., X n ), ...y n (t, X 1 , ..., X n ))
1
Obsérvese que Bεe2 (0) ⊂ Rn , no de Tp M
57
58 Geodésicas, aplicación exponencial y lema de Gauss
son soluciones de las ecuaciones (8.2), por lo tanto son geodésicas, y, por la elección de la carta,
Bε2 (0) = ϕ−1 e
∗ϕ(p) (Bε2 (0)).
ε1 ε1
Por el lema 8.5, tomando λ = ε1 /2, se tiene que la curva t 7→ γ(t, X ) = c( t, X ) es una
2 2
geodésica definida para t ∈]−2, 2[, y esto para todo X tal que |X | < ε2 , por tanto | ε21 X | < ε1 ε2 /2.
Resulta de todo ello que, si ε = (ε1 ε2 )/2, entonces existe una aplicación diferenciable γ :
] − 2, 2[×Bε (0) −→ M tal que t 7→ γ(t, X ) es una geodésica verificando γ(0, X ) = X . Como
consecuencia, la aplicación expp : Bε (0) −→ M/X 7→ γ(1, X ) está bien definida y es diferenciable.
IV.5 Proposición 8.9. Existe un ε > 0 tal que expp : Bε (0) −→ M es un difeomorfismo de un entorno
Bε (0) de 0 en Tp M sobre su imagen en M.
Demostración. Por el teorema de la función inversa, bastará probar que expp ∗0 es un isomorfismo.
Para ello, sea X ∈ Tp M, c :] − ε, ε[−→ Tp M la curva c(t) = tX , que verifica c(0) = 0, c 0 (0) = X .
d d d
Entonces expp ∗0 X = |t=0 expp t X = |t=0 γ(1, tX ) = |t=0 γ(t, X ) = γ 0 (0, X ) = X , i.e. expp ∗0
dt dt dt
es la identidad, lo que acaba la demostración.
58
8.2 Coordenadas normales y coordenadas geodésicas esféricas. Lema de Gauss 59
donde hemos usado que expp ∗0 = Id (cfr. demostración de 8.9) en la penúltima igualdad. Esto
prueba (a).
∂
Veamos (b). La curva integral de = expp∗ ei que pasa por p es expp t ei , que es una
∂x i
geodésica. Por lo tanto
de donde resulta ∇∂i +∂j (∂i + ∂j )(p) = 0 y, como ya vimos que ∇∂i ∂i (p) = 0 = ∇∂j ∂j (p) = 0,
se tiene que ∇∂i ∂j (p) + ∇∂j ∂i (p) = 0 y, como [∂i , ∂j ] = 0, se deduce de ahí que ∇∂i ∂j (p) = 0,
Γkij (p) = 0 y ∂k gij (p) = h∇∂k ∂i , ∂j i (p) + h∂i , ∇∂k ∂j i (p) = 0.
La siguiente definición se corresponde a la de coordenadas esféricas en Rn , que consisten
en tomar como coordenadas la distancia al origen y los ángulos que determinan un punto de
la esfera. Se pueden simplificar estas coordenadas sustituyendo los ángulos de la esfera por
el propio punto de la esfera que estos ángulos determinan. Así considerado, las coordenadas
esféricas de un punto en Rn vienen dadas por su distancia al origen y el vector unitario (punto
de la esfera) en la dirección de ese punto. Es decir, las coordenadas esféricas de x ∈ Rn , x 6= 0
x
son (|x|, ) ∈]0, ∞[×S n−1 . En una variedad Riemanniana, su análogo son las las coordenadas
|x|
geodésicas esféricas, que consisten en componer las coordendas normales de la variedad con las
coordenadas esféricas de Rn . Para no continuar con la complicación de escribir el isomorfismo
entre Rn y Tp M, haremos lo que ya indicamos en la nota 8.13, considerar directamente Tp M en
lugar de Rn . Tenemos así la siguiente definición
IV.59 Definición 8.15. Sea {e1 , ..., e2 } una base ortonormal de Tp M. Sea S n−1 la esfera unidad de
centro 0 en Tp M. Sea U un abierto entorno de p sobre el que exp−1 p está bien definida y es un
59
60 Geodésicas, aplicación exponencial y lema de Gauss
exp−1
p (x)
−1
ϕ(x) = | expp (x)|, (8.4)
| exp−1
p (x)|
o, lo que es lo mismo,
Notación 8.16 (y observación). Por analogía con la notación usada en los sistemas de coor-
denadas o cartas usuales, en un sistema de coordenadas geodésicas esféricas (U − {p}, ϕ), se
∂
denota por o por ∂r al campo vectorial sobre U − {p} definido por
∂r
∂ϕ−1
∂r := .
∂r
Por la misma razón, denotamos
grr := h∂r , ∂r i .
Obsérvese por otro lado que que, para cada u ∈ S n−1 ⊂ Tp M,
∂ϕ−1 d d
∂r = = ϕ−1 (s, u) = expp (s u) = expp∗su u. (8.6) parr
∂r ds ds
IV.60 Nota 8.17. La ecuación de una geodésica que pasa por p en un sistema de coordenadas
geodésicas esféricas (U − {p}, ϕ) en p es ϕ(γ(t)) = (λ t, u0 ), con λ ∈ R, u0 ∈ S n−1 fijos. En efecto,
si γ(t) es una geodésica con γ(0) = p, γ 0 (0) = X , se tiene, como vimos en 8.13, γ(t) = expp tX ,
y, si X = |X |u0 , entonces ϕ ◦ γ(t) = (|X | t, u0 ).
IV.61 Definición 8.18. Las imágenes por expp de las esferas Sr (0) en Tp M centradas en 0 (hiper-
superficies r = cte) se llaman esferas geodésicas y se denotan por Sr (p). Las imágenes de las
rectas (curvas u = cte) se llaman radios geodésicos, y son geodésicas. Análogamente se definen
las bolas geodésicas abierta (Br (p) = expp (Br (0))) y cerrada (Br (p) = expp (Br (0))).
Se pueden describir igualmente por:
Sr (p) = {q ∈ M; hay un segmento de geodésica de longitud r que une p con q},
Br (p) = {q ∈ M; hay un segmento de geodésica de longitud menor que r que une p con q},
....
Esta descripción es la que justifica los nombres de esfera y bola geodésicas.
60
8.2 Coordenadas normales y coordenadas geodésicas esféricas. Lema de Gauss 61
Nota 8.20. De acuerdo con la definición 8.18, ϕ−1 ({r } × S n−1 ) = Sr (p) (la esfera geodésica
de centro p y radio r , mientras que ∂r en el punto de coordenadas esféricas (r , u) es el vector
tangente a una geodésica radial en el punto de coordenadas geodésicas esféricas (r , u). Por lo
tanto, la propiedad h∂r , ϕ−1
∗ X i = 0 de la proposición anterior expresa que los radios geodésicos
son ortogonales a las esferas geodésicas, resultado que se conoce también con el nombre de Lema
de Gauss.
Demostración. De acuerdo con (8.6), ∂r es el vector tangente a la geodésica expp s u que parte
de p con vector tengente u y tiene norma 1 por ser |u| = 1, lo que demuestra (a’).
La equivalencia de (b’), (c’) , (d’) con (b), (c), (d) resulta del siguiente cálculo: si c(t) ∈ S n ,
c(0) = u, c 0 (0) = X ,
Para demostrar (b’), observemos primero que ∇∂r ∂r = 0 (por ser ∂r tangente a una geodésica).
Calculemos
∂r ∂r , expp∗ rX = ∇∂r ∂r , expp∗ rX + ∂r , ∇∂r expp∗ rX
= ∂r , ∇∂r expp∗ rX . (8.7) drpro
Como X ∈ Tu S n−1 , existe una curva c(t) en S n−1 tal que c(0) = u y c 0 (0) = X , entonces
expp∗s0 u s0 X = ∂t expp s0 c(t)|t=0 . Tenemos por lo tanto una aplicación diferenciable
tal que β∗ ∂s = ∂s expp (s c(t)) = ∂r , β∗ ∂t = ∂t (expp (s c(t))) = expp∗ sX y, por el Lema 3.29,
Luego
De
donde resulta
que lı́mr →0 | expp∗ru rX | = 0 (que es (c’)) y que
| ∂r , expp∗ rX | = 0 (que es (b’)).
61
62 Geodésicas, aplicación exponencial y lema de Gauss
cuyo límite es 0 cuando s → 0 porque, para el primer sumando, eso es lo que hemos probado en
los cálculos de (8.8) y, para el segundo, es consecuencia de que, al ser expp de clase C k en un
entorno de p, la función ∂s | expp∗(s c(0)) c 0 (0)|2 está acotada en un entorno de p y, al multiplicarla
por s 2 , tiende a 0 al tender s a 0.
62
Capítulo 9
Notación 9.3. La definición del tensor curvatura no es unánime en lo que al signo se refiere, pero
la del tensor curvatura de Riemann si, aunque su aspecto puede cambiar si cambia la definición
del tensor curvatura
Se dice que aplicaciones definidas como los tensores de curvatura son tensoriales si son
F(M)-lineales. Se tiene que
Rten Proposición 9.4. Los tensores curvatura y curvatura de Riemann son tensoriales, es decir, son
aplicaciones multilineales respecto de la suma y respecto del producto por una función.
Demostración. La F(M)-linealidad del tensor curvatura de Riemann respecto de la cuarta compo-
nente es evidente a partir de la definición, por ser F(M)-lineal el tensor métrico. Esta propiedad,
junto con las propiedades 3 y 4 de la proposición siguiente, demuestra la F(M)-linealidad en las
demás componentes.
Corolario 9.5. Los valores de R(X , Y )Z y de R(X , Y , Z , W ) en un punto p ∈ M dependen
solo de los valores de los campos vectoriales X , Y , Z , W en p.
Demostración. Para demostrar que (R(X , Y )Z )p o (RXYZW )(p) dependen solo de Yp (lo mismo
valdrá para X , Z , W ) bastará con ver que si Yp = 0, entonces (R(X , Y )Z )p = 0 y (RXYZW )(p) = 0.
Como la demostración es la misma, la haremos solo para R(X , Y )Z . Bastará con demostrar que si
Yp = 0, entonces (R(X , Y )Z )p = 0 . Veamoslo:
Sean U ⊃ V 3 p abiertos de M quePcontienen a p y U es el dominio de una carta. En U el
campo Y se puede escribir como Y = j Y j ∂j . Sea ϕ : M −→ R una función C ∞ que verifica
ϕ|V = 1 y ϕ|M−U = 0. Definimos los campos vectoriales Ei y las funciones Y e j sobre M por
( (
j
ϕ∂i sobre U. e j := ϕY sobre U.
Ei := Y (9.1)
0 sobre M − U. 0 sobre M − U.
0
Porque entonces, si Y1 e Y2 son camos vectoriales que coinciden en p, Y = Y1 − Y2 vale 0 en p, y 0 =
(R(Z , Y1 − Y2 )Z )p = (R(Z , Y1 , )Z )p − (R(Y2 )Z )p
63
64 El tensor curvatura
P ej
Se tiene entonces que Y = j Y Ej + (1 − ϕ2 )Y y, por lo tanto
(R(X , Y )Z )p = j Y (p)(R(X , Ej)Z )p + (1 − ϕ2 )(p)(R(X , Y )Z )p = 0.
P ej
noca Nota 9.6. La observación anterior es especialmente útil para calcular. El tensor curvatura
(como otros muchos tensores) está definido usando derivadas covariantes y corchetes de Lie, lo
que suele llevar cálculos muy largos. El hecho de que el resultado final dependa solo de los
valores de los campos vectoriales en un punto permite usar, para calcular en cada punto, los
campos vectoriales que, en ese punto, tengan el valor correspondiente al problema, pero para los
cuales los cálculos de las derivadas covariantes y/o los corchetes de Lie sean lo más sencillos
posibles.
Rsim Proposición 9.7. Los tensores curvatura tienen las siguientes simetrías:
1. R(X , Y )Z = −R(Y , X )Z ,
4. RXYZW = RZWXY ,
y las consecuencias de estas identidades:
64
9.1 Tensor curvatura y curvatura seccional 65
`
por lo tanto Rijk = dx ` (R( ∂x∂ i , ∂x∂ j , ∂x∂ k )) y
X
R= Rijk` dx i ⊗ dx j ⊗ dx k ⊗ dx ` ; (9.3) RRloc
i,j,k,l
que significa
X
RXYZW = Rijk` dx i (X ) ⊗ dx j (Y ) ⊗ dx k (Z ) ⊗ dx ` (W ),
i,j,k,l
Con más generalidad, en una referencia local {E1 , ..., En } de M a la que corresponde una
referencia dual {θ1 , ..., θn }, R adquiere unas expresiones similares a las anteriores, cambiando ∂x∂ i
porEi y dx j por θj .
La interpretación geométrica del tensor curvatura proviene del significado geométrico de las
distintas curvaturas que se definen a partir del tensor curvatura y, también del desarrollo de Taylor
de las componentes gij del tensor métrico (otro modo de llamar a la métrica o producto escalar)
en las coordenadas naturales (llamadas coordenadas normales, que definimos anteriormente) de
una variedad Riemanniana. Damos ahora las definiciones y resultados correspondientes.
Definición 9.8. Se llama curvatura seccional del plano vectorial contenido en Tp M generado
Ruvuv
por dos vectores l. i. u, v ∈ Tp M al número secuv = , donde A(u, v ) es el cuadrado
A(u,
v)
hu, ui hu, v i
del área del paralelogramos de lados u, v , i.e. A(u, v ) = = |u|2 |v |2 − hu, v i2 =
hu, v i hv , v i
(|u||v | sen ](u, v ))2 . Naturalmente, si u, v son una base ortonormal del plano que generan, se
tiene secuv = Ruvuv .
65
66 El tensor curvatura
que, combinado con (9.4), nos permite escribir RXYZW como combinación de curvaturas seccionales.
66
9.3 La ecuación de Gauss de una subvariedad 67
De la definición de los Ωij se deduce que son, efectivamente, formas diferenciales (bilineales y
antisimétricas). Además, verifican que Ωji = −Ωij , porque
La relación de las formas curvatura con las formas de conexión que da la proposición siguiente es
especialmente útil para el cálculo de curvaturas.
R uvwz = Ruvwz + hα(u, z), α(v , w )i − hα(u, w ), α(v , z)i (9.10) ecGa
Demostración. Usaremos de nuevo la definición del tensor curvatura, para campos vectoriales
U, V , W , Z tangentes a M que sean extensiones de los vectores u, v , w , z, y descomponiendo los
67
68 El tensor curvatura
rloD0 Lema 9.14. Dado un punto p ∈ M y una base ortonormal {e1 , ..., en } de Tp M, existe una
referencia local ortonormal {E1 , ..., En } definida en un entorno de p tal que ∇X Ei = 0 para todo
X ∈ Tp M y todo i ∈ {1, ..., n}.
Demostración. Basta con considerar un abierto U sobre el que expp sea un difeomorfismo, y definir,
para x = expp v , Ei (x) como el vector que se obtiene trasladando paralelamente el vector ei a lo
largo de la geodésica t 7→ expp tv desde t = 0 hasta t = 1.
rloD1 Lema 9.15. Dado un punto p ∈ M y dos vectores u, v ∈ Tp M, existen dos campos vectoriales
X , Y definidos sobre un abierto que contiene a p tales que Xp = u, Yp = v , (∇X Y )p = 0,
(∇Y X )p = 0 y [X , Y ]p = 0.
1
Demostración. x n ) un sistema de coordenadas normales de M en p. En p se puede
PnSea i(U, x , ...,P
escribir u = i=1 u ∂i |p , v = nj=1 v j ∂j |p , con u i , v j ∈ R. Definimos los campos vectoriales X e Y
sobre U por X = ni=1 u i ∂i , Y = nj=1 v j ∂j . Evidentemente Xp = u y Yp = v . Por las propiedades
P P
de las coordenadas normales se tiene que
X X
(∇X Y )p = u i v j (∇∂i ∂j )p = 0, (∇Y X )p = v j u i (∇∂j ∂i )p = 0,
i,j i,j
X
i j
[X , Y ]p = u v [∂i , ∂j ]p = 0.
i,j
68
Capítulo 10
69
70 Curvatura de Ricci y variedades de Einstein
Teorema 10.4. Sea M una variedad Riemanniana de curvatura seccional puntualmente cons-
tante K . Entonces la curvatura de M viene dada por la fórmula
que es la fórmula (10.1) para tres componentes distintas del tensor curvatura. La fórmula para las
cuatro componentes resulta de combinar esta expresión con (9.5).
T : X(M) × ...
k × X(M) −→ F(M)
Resulta inmediato a partir de la definición (10.3) que ∇X T es otro campo tensorial k-covariante.
Obsérvese que la curvatura de Riemann R es un tensor 4-covariante y la métrica y la curvatura
de Ricci son campos tensoriales 2-covariantes. De acuerdo con la anterior definición, la condición
de que la conexión ∇ sea métrica se puede expresar diciendo que ∇g = 0.
Se comprueba sin más que aplicar la definición y las propiedades de simetría de R que ∇X R
verifica las mismas propiedades de simetría de R que se vieron en la Proposición 9.7.
Se comprueba también aplicando las definiciones y cálculos directos que ∇X Ric es simétrico
, i.e. (∇Z Ric)(X , Y ) = (∇Z Ric)(Y , X ). Se tiene además que
dersca Proposición 10.6. Sean p ∈ M y {ei }1≤i≤n una base ortonormal de Tp M, en el punto p se
verifica que
n
X
(∇X Ric)(Y , Z ) = (∇X R)Yei Zei (10.4) (a)
i=1
n
X n
X
X Scal = (∇X Ric)(ei , ei ) = (∇X R)ej ei ej ei (10.5) (b)
i=1 i,j=1
70
10.3 Derivada covariante de los tensores curvatura 71
y se tiene que
Demostración.
Teniendo en cuenta que hay una suma cíclica, los dos primeros sumando de la línea tercera se
anulan con los dos primeros de la última línea, el primero de la cuarta línea y el segundo de la
quinta se anulan con el último de la última, el segundo de la cuarta y el primero de la quinta se
anulan con el primero de la tercera, y para los terceros sumandos de la cuarta y quinta líneas
tenemos
SWXY ∇[∇W X ,Y ] Z + ∇[X ,∇W Y ] Z = SWXY ∇[∇W X ,Y ] Z + ∇[Y ,∇X W ] Z
= SWXY ∇[∇W X ,Y ] Z − ∇[∇X W ,Y ] Z = SWXY ∇[[W ,X ],Y ] Z ,
71
72 Curvatura de Ricci y variedades de Einstein
Y para la segunda igualdad usaremos los mismos resultados excepto (10.4) que cambiamos por
(10.5):
X X
X Scal = (∇X R)ej ei ej ei = − (∇ei R)Xej ej ei + (∇ej R)ei Xej ei
ij ij
X
=2 (∇ej Ric)(X , ej ).
j
72
10.4 Espacios de Einstein 73
luego
X
X Scal = 2 Ei (λ)g (Ei , X ) = 2 X λ (10.11) xsc2
i
que demuestra que la curvatura de Ricci determina la curvatura seccional, y como esta determina
la curvatura de Riemann, se tiene que en dimensión 3 la curvatura de Ricci determina la curvatura
de Riemann.
1
demostración del hecho para quien no lo conozca: Ric(X , X ) + ric(Y , Y ) + 2 Ric(X , Y ) = Ric(X + Y , X + Y ) =
λg (X + Y , X + Y ) = λg (X , X ) + λg (Y , Y ) + λ 2 g (X , Y ), de donde se deduce el hecho.
73
Capítulo 11
Demostración. Si ϕ(α(t)) = (x 1 (t), ...,Px n (t)), la condición α(0) = p equivale a ϕ(α(0)) = (0, ..., 0).
0
Como α(t) es curva integral de X = ni=1 ai ∂x∂ i , se tiene que x i (t) = ai y, como x i (0) = 0, ha de
ser x i (t) = ai t, por lo que, por definición de coordenadas normales, α(t) = expp t(a1 e1 +...+an en ),
que es una geodésica.
Los apartados (b), (c) y (d) son consecuencia inmediata de las propiedades de los campos
∂ ∂
vectoriales { 1 , ..., n } asociados al sistema de coordenadas normales.
∂x ∂x
Demostración. Como α(t) es una geodésica, ∇X X se anula a lo largo de α(t), y, como (∇kX X )α(t)
depende solo de los valores de (∇k−1
X X ) a lo largo de α(t), la igualdad (11.1) se sigue por
inducción.
1
(∇2XY Z )p = − (R(X , Y )Z + R(X , Z )Y )p (11.2) na2XY
3
74
11.1 Desarrollo de Taylor en coordenadas normales 75
0 = (∇X +Y X +Y (X + Y ))p
Por otro lado, de la definición del tensor curvatura y el apartado (b) de la Proposición 11.2, resulta
de donde
−3(∇2XY Z )p = 2(R(X , Y )Z + R(X , Z )Y )p
de donde se sigue la fórmula (11.2).
desgij Teorema 11.5. En un sistema de coordenadas normales centrado en p, los coeficientes del
tensor métrico tienen el siguiente desarrollo de Taylor:
n
1 X
gij = δij − Rikj` (p)x k x ` + O(3). (11.10) Taygij
3 k,l=1
∂g
Demostración. Ya sabemos, por las propiedades de las coordenadas normales, que ∂x ijk (p) = 0,
así es que, para probar el teorema, bastará con calcular (usando la fórmula (11.2) y la notación:
75
76 Interpretación geométrica de las curvaturas
∂
Xk = ∂x k
):
∂ 2 gij
(p) = (Xk X` (g (Xi , Xj )))p = Xk g (∇X` Xi , Xj ) + g (Xi , ∇X` Xj )
∂x k ∂x ` p
2 2
= g (∇Xk X` Xi , Xj )(p) + g (Xi , ∇Xk X` Xj )(p)
1
= − (Rk`ij + Rki`j + Rk`ji + Rkj`i )(p)
3
1 1 1 1
= − Rikj` (p) − Rjki` (p) = − Rikj` (p) − Ri`jk (p). (11.11) d2gij
3 3 3 3
de donde
n n n
X ∂ 2 gij k ` 1 X k ` 1 X
k `
(p)x x = − Rikj` (p)x x − Ri`jk (p)x k x `
k,`=1
∂x ∂x 3 k,`=1 3 k,`=1
n n
1 X k ` 1 X
=− Rikj` (p)x x − Rikj` (p)x ` x k
3 k,`=1 3 k,`=1
n
2 X
=− Rikj` (p)x k x ` .
3 k,`=1
∂ X ∂grs
det(gij ) = g rs k det(gij )
∂x k rs
∂x
∂2 X ∂g rs ∂grs ∂ ∂grs
` k
det(gij ) = ` k
det(gij ) + g rs ` det(gij ) k
∂x x rs
∂x ∂x ∂x ∂x
∂ 2 grs
+ g rs det(gij ) ` k
∂x ∂x
76
11.2 Interpretación geométrica de las curvaturas 77
1X 2
=− (Rrkr ` + Rr `rk )(p) = − Rick` (p). (11.13) 2dpgijp
3 r 3
q
det(gij )(p) = 1 (11.14)
p
∂ det(gij ) 1 ∂det(gij )
k
(p) = p (p) = 0 (11.15)
∂x 2 det(gij ) ∂x k
p
∂2 det(gij ) ∂ 1 ∂det(g )
ij
(p) = p (p) (p)
∂x ` ∂x k ∂x ` 2 det(gij ) ∂x k
1 ∂ 2 det(gij )
+ p (p) (p)
2 det(gij ) ∂x ` ∂x k
1
= − Rick` (p), (11.16)
3
p
Lo que da para el desarrollo de Taylor de det(gij )
1X
q
det(gij ) = 1 − Rick` x k x ` + O(3) (11.17) deselv
6 k,`
luego la segunda forma fundamental de Dρ (p) en M es nula, luego, si R y R denotan los tensores
curvaturas de M y Dρ (p) respectivamente, por la ecuación de Gauss (9.10), se tiene
77
78 Interpretación geométrica de las curvaturas
Ric11 (p) = R1212 (p), Ric12 (p) = Ric21 (p) = 0, Ric22 (p) = R2121 (p),
por lo que
2
X
Rick` (p)x k x ` = R 1212 (p)((x 1 )2 + (x 2 )2 ) (11.19)
k,`=1
Sea r < ρ, el área del disco Dρ (p) vendrá dada, de acuerdo con (11.12) y las observaciones
anteriores (identificando el disco Dρ (0) de Tp M con el disco de mismo centro y radio de R2 ), y
usando coordenadas polares para integrar, por
Z
1
Area(Dr (p)) = 1 − SecΠ (p)((x 1 )2 + (x 2 )2 ) + O(3) dx 1 dx 2
Dr (0) 6
Z r Z 2π
1
= 1 − SecΠ (p)r 2 + O(3) r dr dθ
0 0 6
r2 1
= 2π − SecΠ (p)r 4 + O(5)
2 46
1
= π r 2 1 − SecΠ (p)r 2 + O(3) (11.20) aread
12
Obsérvese que tanto para a) como para a’) el primer término no trivial es de segundo orden,
lo que da como consecuencia que, hasta el primer orden, toda variedad riemanniana es como el
espacio euclídeo. Intuitivamente: en las proximidades de un punto todo ocurre como en el espacio
euclídeo. La curvatura da los términos de segundo orden, los primeros significativos, luego la
curvatura es la que permite distinguir una variedad riemanniana de un espacio euclídeo. De ahí
su papel central en el estudio de la Geometría de Riemann.
Por otro lado, resulta directamente de (11.17) que
b) La curvatura de Ricci en p es el coeficiente del primer término no trivial del desarrollo en
serie del elemento de volumen en coordenadas normales centradas en p.
Si ahora integramos este elemento de volumen para obtener el volumen de una bola geodésica
de radio r , resulta (escribiendo x k = ru k , con u ∈ S n+1 ).
Z 1X
V (Br (p)) = 1− Rick` (p)x k x ` + O(3) dx 1 ...dx n
Br (0) 6 k,`
Z rZ 1X
= 1− Rick` (p)u k u ` r 2 + O(3) r n−1 dvS n−1 dr .
0 S n−1 6 k,`
78
11.2 Interpretación geométrica de las curvaturas 79
Pero2
Z n
X
k ` 1X
Rick` (p)u u dvS n−1 = Ricjj (p) Vn−1 (S n−1 ) (11.22) vols
S n−1 k,` (∗) n
j=1
1
= Scal(p) Vn−1 (S n−1 ),
n
que al sustituirlo en la expresión anterior da:
Vn−1 (S n−1 ) n 1 2
V (Br (p)) = r 1− Scal(p)r + O(3)
n 12n
Por lo que
c) La curvatura escalar en un punto p es el coeficiente del primer término no trivial del desa-
rrollo en serie (en función del radio) del volumen de una bola geodésica de M centrada en p.
x i x j dVS n−1 − Bij x i x j dVS n−1 = 0. Resulta, por lo tanto, que i,j aij S n−1 x i x j dVS n−1 = i aii S n−1 (x i )2 dVS n−1 . Pe-
R R P R P R
BijR
i 2
= S n−1 (x j )2 dVS n−1 para cualesquiera i, j, luego S n−1 (x i )2 dV i 2
R R P R
ro S n−1 R (x )PdVS n−1 i 2
R S n−1 = (1/n) i S n−1 (x ) dVS n−1 =
n−1
(1/n)P S n−1R i i j S (x ) dV n−1 = |porque estamos en la esfera de radio 1| = (1/n) S n−1
dV S n−1 = (1/n)V n−1 (S ). Lue-
n−1
P
go i,j aij S n−1 x x dVS n−1 = (1/n)Vn−1 (S ) i aii
79
Capítulo 12
En la definición anterior hemos usado la notación “0 " tanto para designar la derivada de una
curva (es decir, su vector tangente) como la derivada covariante de un campo vectorial a lo largo
de una curva en la dirección del vector tangente a la curva. Por lo tanto, el significado de Y 00 (t)
∇2 Y
es ∇γ 0 (t) ∇γ 0 (t) Y (t), que escribiremos también como . También usaremos “0 " para denotar la
dt 2
derivada de una función real de t.
Proposición 12.2. Si γ(t) es una geodésica, Y (t) = tγ 0 (t) es el único campo de Jacobi a lo
largo de γ(t) que verifica Y (t) = 0 y Y 0 (t) = γ 0 (t).
Demostración. Como γ(t) es una geodésica, Y 0 (t) = γ 0 (t), Y 00 (t) = 0 = −Rγ 0 (tγ 0 )γ 0 (t γ 0 ) , luego
Y (t) es un campo de Jacobi que, evidentemente, cumple las condiciones iniciales dadas y, por
teoría de EDO, es la única solución de (12.1) que verifica esas condiciones iniciales.
En este apartado vamos a describir los campos de Jacobi que corresponden a variaciones de
una geodésica por una familia de geodésicas que parten del mismo punto.
Sean M una variedad riemanniana de dimensión n, p ∈ M y ξ : I −→ Tp M una curva en Tp M
tal que |ξ(s)| = 1 (i.e. ξ(s) está en una esfera de Tp M).
Definimos α(t, s) = expp t ξ(s), siendo α : D ⊂ R2 −→ M, con D un abierto.
-Para cada s = s0 fijo, tenemos una curva en M de la forma
que, por la definicion de la exponencial, es una geodésica α(t, s0 ) = γ(t) tal que
α(0, s) = expp 0 = p.
80
12.1 Campos de Jacobi 81
∂α
III.9 Proposición 12.3. Y (t) = (t, 0) es el único campo de Jacobi a lo largo de γ(t) = expp tξ(0)
0
∂s 0
que verifica Y (0) = 0 y Y (0) = ξ (0).
Demostración. Que Y (t) es un campo de Jacobi resulta del cálculo directo de la segunda derivada
covariante:
∇2 Y ∇ ∇ ∂α ∇ ∇ ∂α
2
= =
dt dt dt ∂s dt ds ∂t
∂α ∂α ∂α ∇ ∇ ∂α ∂α ∂α ∂α
= −R( , ) + = −R( , ) ,
∂t ∂s ∂t ds dt ∂t ∂t ∂s ∂t
donde hemos usado en la última igualdad que t 7→ α(t, s) es una geodésica.
Las condiciones iniciales que verifica Y se obtienen calculando directamente a partir de la
definicion de Y (t)
∂α ∂α
Y (0) = (0, 0) = {curva s 7−→ α(0, s) = expp 0 = p}t=0 = 0
∂s ∂s
∇Y (t) ∇ ∂α
Y 0 (0) = Y 0 (t)t=0 =
=
dt t=0 dt ∂s (0,0)
∇ ∇
= (expp∗tξ(s) t ξ 0 (s)s=0 )t=0 = (expp∗tξ(0) tξ 0 (0))t=0
dt dt
0 ∇
(expp∗tξ(0) ξ 0 (0)))t=0 = ξ 0 (0).
= (expp∗tξ(0) ξ (0) + t
dt
Que Y (t) sea el único campo de Jacobi verificando estas condiciones iniciales es consecuencia
del teorema de unicidad de soluciones de ecuaciones diferenciales aplicado a la EDO (12.1).
Corolario 12.4. En un sistema de coordenadas geodésicas esféricas ϕ : Br0 (p) −→]0, r0 [×S n−1
definido sobre una bola geodésica Br0 (p) de M, los campos vectoriales Y (t) = ϕ−1 ∗ (t X ), para
X ∈ Tu S n−1 , u ∈ Tp M, |u| = 1 son los campos de Jacobi a lo largo de la geodésica expp t u que
verifican Y (0) = 0 y Y 0 (0) = X .
Demostración. Recordemos que las coordenadas geodésicas esféricas se definían, por ϕ(expp t u =
(t, u) para cada u ∈ S n−1 ⊂ Tp M. Si X ∈ Tu S n−1 , existe una curva ξ(s) en S n−1 tal que ξ(0) = u
y ξ 0 (0) = X , y se tiene que
d
ϕ−1
∗ (t X ) = |s=0 expp t ξ(s)
ds
que es el campo vectorial de la Proposición 12.3.
Resulta de este corolario y de la Proposición 8.19 que la expresión de la métrica en coorde-
nadas esféricas es, esencialmente, la expresión de la métrica usando campos de Jacobi a lo largo
de una geodésica. Dicho de otro modo:
mceJ Proposición 12.5. Sea U un abierto sobre el que exp−1 p está bien definida y es un difeomorfis-
n−1 n−1
mo. Sean v ∈ S ⊂ Tp M y E2 , ..., En una base ortonormal de TP
vS . A lo largo de la geodésica
n
expp tv la métrica de M se puede escribir de la forma dt + i,j=2 hYi (t), Yj (t)i η i (t) ⊗ η j (t),
2
donde Yi (t) es el campo de Jacobi que verifica Yi (0) = 0, Yi0 (0) = Ei (o, lo que es lo mismo,
Yi (t) = ϕ−1∗ (t Ei ), siendo ϕ el sistema de coordenadas geodésicas esféricas centrado en p) y
2 n
η , ..., η es la base dual de Y2 , ..., Yn .
CJp0 Corolario 12.6. Todos los campos de Jacobi a lo largo de la geodésica γ(t) = expp t v que se
anulan en p son de la forma expp∗tv t u, donde u ∈ Tp M.
81
82 Campos de Jacobi
= 8 hR(v , w )v , w i .
82
12.2 Puntos conjugados, puntos de corte y campos de Jacobi 83
de donde
1
|Y 0 |2 = t 2 + secΠ t 4 + O(4)
3
Para concluir (12.2) a partir de aquí, hagamos un inciso sobre desarrollos de Taylor. Si f = a+b t +
c t 2 +d t 3 +`t 4 +..., entonces f 2 = a2 +2ab t +(b 2 +2ac)t 2 +(2ad +2bc)t 3 +(2a`+2bd +c 2 )t 4 +....
Ahora bien, si f = |Y 0 |, en la expresión para |Y 0 |2 tenemos a2 = 0, ab = 0, b 2 +2ac = 1, 2ad +2bc =
0, 2a` + 2bd + c 2 = 1/3, de donde a = 0, b = ±1, c = 0, 2d = ∓1/3, lo que da para |Y 0 (t)|
1
|Y 0 (t)| = ±t ∓ secΠ t 3 + O(3)
6
y, como |Y (t)| > 0 para t pequeño, la elección del signo ± en la fórmula anterior ha de ser +,
que coincide con la expresión (12.2).
Definición 12.11. Sea γ una geodésica de M. El punto γ(t0 ) se dice que es conjugado de γ(0)
a lo largo de γ si existe un campo de Jacobi Y a lo largo de γ no identicamente nulo tal que
Y (0) = 0, Y (t0 ) = 0. Se llama multiplicidad del punto conjugado al número de campos vectoriales
de Jacobi linealmente independientes que verifican Y (0) = 0 = Y (t0 ).
Obsérvese que si γ(t0 ) es conjugado de γ(0), también γ(0) es conjugado de γ(t0 ), con la misma
multiplicidad.
Del Corolario 12.7 se deduce que la multiplicidad de un punto conjugado es menor o igual que
la dimensión de la variedad.
Proposición 12.13. Sea γ : [0, L] −→ M una geodésica que parte de p (i.e. γ(0) = p). El punto
q = γ(t0 ) es conjugado a lo largo de γ si y solo sí v0 = t0 γ 0 (0) es un punto crítico de expp . En
este caso la multiplicidad de q como punto conjugado de p es igual a la dimensión de ker expp∗v0 .
Demostración. Por ser γ(t0 ) un punto conjugado de γ(0) a lo largo de γ, existe un campo de Jacobi
no identicamente nulo (por lo tanto con w = J 0 (0) 6= 0), J(t) = expp∗tv t J 0 (0), a lo largo de γ tal
que 0 = J(0) = J(t0 ) = expp∗t0 v t0 J 0 (0), luego J 0 (0) ∈ ker expp∗v0 . Recíprocamente, si ker expp∗v0
es no nulo, sea w1 , ..., wk una base de este espacio. Entonces Ji (t) = expp∗t0 v t0 wi son campos de
Jacobi linealmente independientes que se anulan en t = 0 y en t = t0 . Esto prueba, además, la
igualdad de la multiplicidad del punto singular con la dimensión de ker expp∗v0 .
Resulta de esto que los puntos conjugados de p a lo largo de una geodésica son los puntos
de esa geodésica en los que expp deja de ser un difeomorfismo local. Por lo tanto, es un límite
antes del cual expp deja de ser un difeomorfismo.
83
84 Campos de Jacobi
Obsérvese que, para cada valor de t, ϕ es lineal e isometría por se composición de isometrías
de espacios vectoriales. Probaremos
Demostración. Sea JM (t) el campo de Jacobi a lo largo de expp tv que verifica JM (0) = 0 y
t
JM (t0 ) = PM
t0 X , que por el Corolario 12.8 es JM (t) = expp∗tv exp−1
p∗t0 v Pt0 X y verifica
t0
0 1
JM (0) = exp−1
p∗t0 v Pt0 X . (12.5) JMp
t0
Sea JN (t) = ϕ(JM (t)) el campo vectorial a lo largo de expq t i(v ) imagen por ϕ de J(t). Como ϕ
es una isometría de Texpp t v M sobre Texpq t i(v ) N, se tiene |JN (t)| = |JM (t)|.
Vamos a calcular ahora JN00 (t). Para ello consideremos una referencia local ortonormal {ei }
paralela a lo largo de la geodésica expp tv , con
P e1 (t) el vector unitario tangente a la geodésica.
En esta referencia se puede escribir JM (t) = ni=1 J i (t)ei . Entonces JN (t) = ni=1 J i (t)ϕ(ei ). Pero
P
−1
ϕ(ei (t)) = PNt ◦ i ◦ PM
t ei (t) = PNt ◦ i(ei (0)) =: e i (t), (12.6) gmgn
y {e i (t)} es una referencia local ortonormal de N paralela a lo largo de la geodésica expq ti(v )
con e 1 (t) vector tangente a la geodésica expq ti(v ). Se tiene por lo tanto -por cumplirse (12.4) y
0
también que ϕ(γM (t)) = γN0 (t) (que es la expresión (12.6) cuando i = 1)- que:
n n
!
X X
00 i 00
JN (t) = (J ) (t)e i (t) = ϕ (J i )00 (t)ei (t) 00
= ϕ(JM (t))
i=1 i=1
0 0
= −ϕ(R M
(γM (t), JM (t))γM (t)) = −R N ((γN0 (t), JN (t))γN0 (t)),
84
12.3 Teorema de Cartan de determinación de la métrica por la curvatura 85
luego JN (t) es el campo de Jacobi a lo largo de expq t i(v ) que se anula en 0 y JN (t0 ) = ϕ(JM (t0 )), y,
por el Corolario 12.6, es de la forma JN (t) = expq∗t i(v ) tJN0 (0) = expq∗t i(v ) tϕ(JN0 (0)). Si calculamos
ahora f∗ expp (t0 v ) Pt0 X , tenemos, usando (12.5),
85
Capítulo 13
A partir de este capítulo sólo consideramos variedades riemannianas. La teoría para las varie-
dades pseudo-riemannianas es muy distinta.
Proposición 13.2. Sea M una variedad diferenciable conexa. Dos puntos cualesquiera de M
pueden unirse por una curva diferenciable a trozos.
Demostración. : Toda variedad diferenciable es localmente arco-conexa, luego, si M es conexa,
entonces M es arco-conexa. Por tanto, dados p, q ∈ M, existe una curva continua c : [a, b] −→ M
tal que c(a) = p, c(b) = q. Para cada t ∈ [a, b] existe un sistema de coordenadas (Ut , ϕt ) en c(t)
tal que ϕt (Ut ) es un conjunto convexo en Rn (en efecto, basta tomar ϕt (Ut ) como una bola abierta
de centro O). La familia {c −1 (Ut )}t∈[a,b] es un recubrimiento abierto del espacio métrico compacto
[a,b]. Sea δ el número de Lebesgue del recubrimiento, y sea n tal que (b − a)/n < δ. Consideremos
una partición de [a,b] en los subintervalos [t0 , t1 ], ...., [tn−1 , tn ] con t0 = a, ti = ti−1 + (b − a)/n,
tn = b. Sea ϕi (Ui ) un abierto de la familia {ϕt (Ut )}t∈[a,b] tal que c[ti−1 , ti ] ⊂ Ui . Como ϕi (Ui ) es
convexo, existe una recta αi : [ti−1 , ti ] −→ ϕi (Ui ) tal que αi (ti−1 ) = ϕi ◦ c(ti−1 ) y αi (ti ) = ϕi ◦ c(ti ).
Definamos α : [a, b] −→ M por α|[ti−1 ,ti ] = αi . Entonces α es una curva continua que sobre cada
intervalo ]ti−1 , ti [ es diferenciable y α(a) = p y α(b) = q.
DDI Definición 13.3. Dada una superficie conexa M de Rn , se llama distancia (intrínseca) de M a
la aplicación d : M × M −→ R+ definida por
Sea C (f (p), f (q)) definida de modo análogo. Sea e la aplicación e : C (p, q) −→ C (f (p), f (q))
dada por e c (t) = f ◦ c(t), la cual tiene una inversa ec = f −1 ◦ c, luego e es una biyección. Sean
d y d 0 las distancias intrínsecas en M y M 0 respectivamente. Se tiene que, si f es una isometría,
L(c) = L(f ◦ c), luego d 0 (f (p), f (q)) = ı́nf{L(α); α ∈ C (f (p), f (q))} = ı́nf{L(foc), c ∈ C (p, q)} =
ı́nf{L(c), c ∈ C (p, q)} = d(p, q).
86
13.1 Las variedades riemannianas como espacios métricos 87
IV.68 Proposición 13.5 (Propiedad minimizante de las geodésicas). : Sean p ∈ M, ε > r > 0 tales
que expp es un difeomorfismo sobre Bε(0) y sea Br (p) = expp (Br (0)). Sea γ : [0, `] −→ Br (p)
una geodésica de M con γ(0) = p. Sea t1 ∈ [O, `] y c : [0, t1 ] −→ M una curva diferenciable
tal que c(0) = p, c(t1 ) = q = γ(t1 ). Entonces Lt01 (γ) ≤ L(c) y si se da la igualdad entonces
γ([0, t1 ]) = c([0, t1 ]).
Demostración. La idea para la demostración será usar coordenadas geodésicas polares en p para
calcular la longitud de la curva c. Consideraremos los casos:
(a) c(]0, t1 ]) ⊂ Br (p) − {p}. Como expp es un difeomorfismo sobre el abierto Br (0), podemos
escribir, para t > 0, c(t) = expp r (t)u(t), con r y u funciones diferenciables con valores en R+
y S n−1 ⊂ Tp M respectivamente. Podemos descomponer c 0 (t) = expp∗ r 0 (t)u(t) + expp∗ r (t)u 0 (t).
El primer vector es tangente a la geodésica en la dirección de u(t), y, por el lema de Gauss, el
segundo es ortogonal a ella. Por lo tanto
de donde
Z t1 Z t1
0
L(c) = |c (t)|dt ≥ |r 0 (t)|dt
Z0 t1 0
El teorema anterior nos muestra que las geodésicas verifican una propiedad análoga a la de
las rectas en el espacio euclídeo; definen la distancia más corta entre dos puntos de la variedad.
Sin embargo esta propiedad no es cierta globalmente. En efecto: en una esfera, dados dos puntos
no opuestos hay dos trozos de geodésica que unen tales puntos, que dan dos geodésicas distintas,
una de mayor longitud que la otra, uniendo los dos puntos.
Nota 13.6. Obsérvese que 13.5 es válida también cuando c es diferenciable a trozos solamente.
En efecto, esto únicamente obliga a calcular L(c) haciendo una división del intervalo ]0, t1 ] en
87
88 Las variedades riemannianas como espacios métricos y su topología
mayor número de subintervalos, de modo que en los extremos de algunos de estos subintervalos
c 0 (t) no estaría definida, pero en estos subintervalos [ti , ti+1 ] se tiene:
Z ti+1 −ε Z ti+1 −ε
0
L(c|[ti ,ti+1 ] ) = lı́m |c (t)|dt ≥ lı́m |r 0 (t)|dt
ε→0 t +ε ε→0 ti +ε
Z i ti+1 −ε
≥ lı́m r 0 (t)dt = r (ti+1 ) − r (ti ).
ε→0 ti +ε
IV.77 Corolario 13.7. Sea c : [0, `] −→ M una curva regular y C k a trozos tal que en cada arco
regular el parámetro es proporcional a la longitud de arco. Si la longitud de c es menor o igual
que la longitud de cualquier otra curva que une c(0) con c(`), entonces c es una geodésica. En
particular, c es regular en todos sus puntos.
Demostración. Bastará con comprobar que la distancia d definida en 13.3 cumple los axiomas de
una función distancia.
1) d(p, q) ≥ 0: consecuencia de que el ínfimo de números reales positivos es mayor o igual
que cero.
2) d(p, q) = d(q, p): consecuencia de que para cada curva parametrizada c : [a, b] −→ M con
c(a) = p, c(b) = q existe otra c : [a, b] −→ M definida por c(t) = c(a − t + b) que verifica
c(a) = q, c(b) = p y L(c) = L(c).
3) d(p, q) + d(q, r ) ≥ d(p, r ): consecuencia de que si A ⊂ B ⊂ R, entonces ı́nf(A) ≥ ı́nf(B).
En efecto: Dadas α : [a, b] −→ M, β : [c, d] −→ M contínuas y diferenciables a trozos tales que
α(a) = p, α(b) = q = β(c), β(d) = r , la curva α ∗ β : [a, b + d − c] −→ M definida por
(
α(t) si t ∈ [a, b]
α ∗ β(t) = (13.1) compc
β(t − b + c) si t ∈ [b, b + d − c]
es contínua (por serlo en cada uno de los intervalos cerrados y coincidir en la intersección) y
diferenciable a trozos y verifica α∗β(a) = α(a) = p y α∗β(b+d −c) = β(d) = r . Se tiene entonces
que L(α ∗β) = L(α)+L(β) y que: d(p, q)+d(q, r ) = ı́nf{L(α)/α : p q}+ı́nf{L(β)/β : q r} =
ı́nf{L(α)+L(β)/α : p q, β : q r } = ı́nf{L(α∗β)/α : p q, β : q r } ≥ ı́nf{L(c)/c : p r}
= d(p, r ).
4) d(p, q) = 0 si y solo si p = q. Consecuencia de que d(p, q) ≥ d e (p, q), luego d(p, q) = 0
implica d e (p, q) = 0, luego p = q. Reciprocamente, si p = q, la curva constante c : [a, b] −→
M/c(t) = p tiene longitucf cero y, por lo tanto, d(p, p) = 0.
88
13.2 Topología de la distancia intrínseca 89
Nota 13.9. Como consecuencia de 13.5 y 13.8, las bolas y esferas geodésicas de radio pequeño
son también bolas y esferas en el sentido de la definición que se da de las mismas en un espacio
métrico.
Proposición 13.10. La topología inducida en una variedad riemanniana (M.g ) por la distancia
intrínseca coincide con la topología natural inducida por su estructura diferenciable.
Demostración. Dados los puntos p, q ∈ M, sea d e (p, q) la distancia euclídea en Rn+k y d(p, q) la
distancia intrínseca en M. La topologia de M como subespacio topológico de Rn+k es la topología
T de inducida sobre M por la métrica d e . Denotemos por T 0 la topología inducida sobre M por
la distancia intrínseca d. Sea Bre (p) (respectivamente Br (p)) la bola de centro p y radio r para
la distancia d e (resp. d). Para r0 > 0 tal que expp : Br0 (O) −→ Br0 (p) sea un difeomorfismo,
{Br (p) = expp Br (O)}|r <r0 es una base de entornos de p en (M, d), y {Br (p)}r ≤r0 una base de
entornos de p en (M, d e ). Como d e (p, q) ≤ d(p, q), se tiene que Br (p) ⊂ Bre (p), luego Td ⊃ Td e ·
Además, como expp |Br (0) es un difeomorfismo, Br (p) es un abierto de M en Td e , luego existe ε > 0,
ε < r , tal que Bεe (0) ⊂ Br (p), luego Td e ⊃ Td ·
IV.74 Lema 13.11 (de J. Lozano). Sea I un intervalo abierto, c : I −→ M una curva diferenciable,
t0 ∈ I , se verifica que
d(c(t), c(t0 ))
|c 0 (t0 )| = lı́m (13.2)
t→t0 t − t0
Demostración. Sea δ > 0 tal que expc(t0 ) : Bδ (0) −→ U es un difeomorfismo, y sea ε > 0 tal que
c(]t0 − ε, t0 + ε[) ⊂ expc(t0 ) (Bδ (0)) = U. Entonces, para t ∈]t0 − ε, t0 + ε[, c(t) = exp−1
p (c(t)) es
una curva en Tp M (p = c(t0 )) que verifica c(t0 ) = 0. Se puede calcular entonces el límite
89
Capítulo 14
V.1 Definición 14.1. : Una variedad conexa M se dice no extendible si no es un abierto propio de
otra variedad conexa. En caso contrario se dice extendible.
Un abierto del plano o la esfera son ejemplos de superficies extendibles. La esfera o el plano
son ejemplos de superficie no extendibles (como veremos más adelante).
Una condición general para asegurar la no extendibilidad de una variedad es la compacidad.
Pero una condición como esta no incluye una variedad tan interesante como es Rn . Por ello vamos
a dar una definición más general.
V.2 Definición 14.2. Una variedad semi-riemanniana conexa M se dice que es geodésicamente
completa si, para todo p ∈ M, la aplicación exponencial expp está definida sobre todo Tp M
Nota 14.3. Obérvese que “expp está definida sobre todo Tp M” es equivalente a “las geodésicas
parametrizadas respecto de su longitud de arco, γ(t), que parten de p están definidas para todo
t ∈ R.
En efecto, si γ es una geodésica, γ(t) = expp tX , X ∈ Tp M, y si expp está definida sobre todo
Tp M entonces γ(t) está definida para todo t ∈ R. Recíprocamente, si toda geodésica está definida
para todo t ∈ R, entonces para todo p ∈ M y todo X ∈ Tp M, si γ es la geodésica que pasa por p
con vector tangente X /|X |, entonces expp X = γ(|X |) está bien definida.
Esta definición está motivada (para las variedades riemannianas) por la posibilidad de reali-
zar"por geodésicas la distancia entre dos puntos, como ocurre en el plano con las rectas. Obsérvese
que, para que tenga sentido la definición anterior, que se da en términos de geodésicas, es esencial
que intervenga la parametrización en la definición de geodésica.
90
14.2 Teorema de Hopf-Rinow 91
V.4 Nota 14.5. El recíproco de 14.4 no es cierto: el cono sin el vértice es una superficie no exten-
dible y no completa. Se puede ver la demostración en el libro de do Carmo de curvas y superficies
pp. 327-328 (versión en inglés).
V.5 Teorema 14.6. [de Hopf-Rinow] Sea M una Riemanniana conexa. Son equivalentes:
a) Existe un punto p ∈ M tal que expp está definida sobre todo Tp M.
b) Los subconjuntos cerrados y acotados de M son compactos.
c) M con la distancia definida en 13.3 es un espacio métrico completo.
d) M es geodésicamente completa.
e) Existe una sucesión creciente de compactos {Kn }∞ n=1 de M (creciente quiere decir que
∞
Kn ⊂ Kn+1 que recubren M (i.e. ∪n=1 Kn = M) tales que si {qn } es una sucesión de puntos de M
que verifican qn ∈
/ Kn , entonces para todo p ∈ M se verifica que lı́m d(p, qn ) = ∞. Además, cada
n→∞
una de las afirmaciones anteriores implica que
f) Para todo p, q ∈ M existe una geodésica minimal γ que une p con q. (γ minimal minimal
significa que L(γ) = d(p, q)).
Observación: Cuando se trata de ver que a) implica f), naturalmente p no es cualquier punto,
sino el punto p que verifica la hipótesis a). Es al usar la equivalencia entre a) y d) cuandose
puese cambiar el punto p fijado por cualquier p ∈ M.
Demostración. a) implica f): Sea r = d(p, q), δ > 0 tal que expp sea un difeomorfismo sobre un
abierto que contiene a Bδ (0) ⊂ Tp M. La esfera geodésica Sδ (p) es un campacto (pues es imagen
por expp del compacto Sδ (0)). Consideremos la función continua (por ser la función distancia en
un espacio métrico) dq : Sδ (P) −→ R definida por dq (x) = d(q.x). Como Sδ (p) es compacto, la
función dq alcanzará un mínimo en x0 ∈ Sδ (p), que verifica x0 = expp δv , con v ∈ Tp M, |v | = 1.
Consideremos la geodésica γ(s)(s) = expp sv . Queremos probar que γ(r ) = q (pues entonces γ es
una geodésica que une p con q y que verifica L(γ) = r , ya que s es el parámetro longitud de arco
de γ). Para ello planteamos la ecuación
Lo que nos proponemos probar estará demostrado si vemos que (14.1) se verifica para s = r . Vamos
a verlo:
Sea A = {s ∈ [O, r ]; (14.1) es cierta}.
A 6= ∅, ya que (14.1) se verifica para s = O. Además A es un cerrado en [0, r ], ya que
f : [O, r ] −→ R definida por f (s) = d(γ(s), q) − r + s es una función continua y A = f −1 (0).
Vamos a ver ahora que r = sup A (lo que, por ser A cerrado y no vacío, implica que r ∈ A, y
concluye la demostración). Ahora bien r = sup A equivale a que si s0 < r y s0 ∈ A, entonces existe
un δ 0 > 0 tal que s0 + δ 0 ∈ A. Esto es lo que vamos a probar:
Dado s0 ∈ A, s0 < r , sea δ 0 > O tal que expγ(s0 ) sea un difeomorfismo sobre un abierto que
contiene a B δ0 (0) y tal que q ∈
/ B δ0 (γ(s0 )). Consideramos de nuevo, la aplicación dq : Sδ0 (γ(s0 )) −→
91
92 Variedades completas
R definida como antes. Sea x00 ∈ Sδ0 (γ(s0 )) un punto en el que esta función alcanza el mínimo.
Como s0 ∈ A, d(γ(s0 ), q) = r − s0 .
Por otro lado d(γ(s0 ), q) = ı́nf{L(α); α une γ(s0 )con q}, pero, como q ∈ / B δ0 (γ(s0 )), toda curva
contínua que una γ(s0 ) con q debe de cortar a Sδ (γ(s0 )) en un punto x 0 , luego d(γ(s0 ), q) =
0
está parametrizada respecto de su longitud de arco y une p con x00 . Su longitud es L(γ) = s0 + δ 0 .
Por otro lado d(x00 , p) ≥ d(p, q) − d(x00 , q) = r − (r − ((s0 + δ 0 )) = s0 + δ 0 . De todo ello resulta que
d(x00 , p) = s0 + δ 0 = L(γ), luego, por el Corolario ??, γ es una geodésica que parte de p. Como
γ|[0,s0 ] = γ|[0,s0 ] y, por hipótesis, ambas está definidas para todo t ∈ R, se sigue de la unicidad de las
geodésicas que γ = γ, luego γ(s0 + δ 0 ) = γ(s0 + δ 0 ) = x00 , por lo tanto d(γ(s0 + δ 0 ), q) = r − (s0 + δ 0 ),
luego s0 + δ 0 ∈ A, como queríamos demostrar.
a) implica b). Sea A cerrado y acotado. Por ser acotado está contenido en una bola métrica
abierta Br (p). Si q ∈ B r (p), por f existe una geodésica γ(t) = expp tX , con |X | = 1 que une
p con q, de longitud d(p, q) ≤ r , de modo que γ(0) = p y γ(d(p, q)) = q. Resulta por lo tanto
que q ∈ expp (B r (0)), que es compacto por ser expp una aplicación contínua y B r (0) un compacto,
luego A ⊂ B r (p) ⊂ expp (B r (0)) compacto, luego A es compacto por ser un cerrado contenido en
un espacio Hausdorff compacto.
b) implica c) Sea {pn } una sucesión de Cauchy en M. Entonces el conjunto {pn } es acotado
en M, luego existe una bola cerrada B (que, evidentemente, es también acotada) que contiene a
todos los elementos de la sucesión {pn }. Por b), B es compacto y, por lo tanto, completo, luego
toda sucesión de Cauchy en B tiene un límite, luego {pn } tiene un límite en B y, por lo tanto, en
M.
c) implica d)
Para demostrar este apartado necesitamos el siguiente
totn Lema 14.7. Para cada p ∈ M existe un entorno W de p y un número δ > 0 tales que, para
cada q ∈ W , expq es un difeomorfismo sobre Bδ (0) ⊂ Tq M y expq (Bδ (0)) ⊃ W . Diremos que W
es un entorno totalmente normal de p.
Demostración. Sean V un abierto de M que contiene a p, ε > 0, U = {(q, w ) ∈ TM; q ∈
V , w ∈ Tq M, |w | < ε} tales que exp(q, w ) := expq w está bien definida sobre U. Definimos
F : U −→ M × M por F (q, v ) = (q, expq v ). Si X = (c 0 (0), α0 (0)) ∈ T(p,0) TM, F∗(p,0) X =
d
ds
(c(s), expc(s) α(s))_s = 0 = (c 0 (0), c 0 (0) + α0 (0)) que es un isomorfismo, luego existe un entorno
U 0 de (p, 0) en TM sobre el que F : U 0 −→ W 0 es un difeomorfismo. Tomando U 0 más pequeño
si es necesario, lo podemos tomar de la forma U 0 = {(q, v ); q ∈ V 0 , v ∈ Tq M, |v | < δ}, donde
p ∈ V 0 ⊂ V y V 0 es un abierto de M. Tomemos W abierto en m tal que (p, p) ∈ W × W ⊂ W 0 .
Entonces W y δ satisfacen las propiedades del lema. En efecto: para todo q ∈ W , como F : U 0 −→
W 0 ⊃ W ×W es un difeomorfismo y {q}×Bδ (0) = π|−1 U 0 (q), F ({q}×Bδ (0)) = {(q, expq w ); |w | < δ}
0
contiene todos los puntos de W cuya primera coordenada es q, por lo tanto (q, expq (Bδ (0))) =
F ({q} × Bδ (0)) ⊃ {q} × W .
Demostración de c) implica d) Si M no fuese geodésicamente completa, existiría una geodésica
γ(s) parametrizada respecto de su longitud de arco que estaría definida para s < s0 pero no en
s0 . Sea sn una sucesión de Cauchy creciente en R que converge a s0 . Se tiene entonces que
d(γ(sm ), γ(sn )) ≤ |sm − sn |, luego {γ(sn )} es una sucesión de Cauchy en M, que es completa,
92
14.2 Teorema de Hopf-Rinow 93
luego γ(sn ) converge a un punto p0 ∈ M. Sean δ > 0 y W el número y el entorno de p0 dados por
el Lema 14.7. Sean n < m suficientemente grandes para que |sm −sn | < δ/2 y γ(sn ), γ(sm ) ∈ W .
93
Capítulo 15
Supongamos que L(t) ≥ K (t) para t ∈ [O, L), y que h0 (0) = f 0 (0) = 1. Entonces, si h(t) > 0 para
t ∈ [0, t0 ], se tiene que f (t) > h(t) para t ∈ [0, t0 ].
Demostración.
Teorema 15.2. Con las mismas notaciones usadas para el teorema de Cartan, si para cualquier
vector tangente a M en x ∈ U y ortogonal a la geodésica γ = expp t v que une p con x se tiene
que
N M
Rϕ(γ 0 )ϕ(X )ϕ(γ 0 )ϕ(X ) ≥ Rγ 0 X γ 0 X (15.3) CgC
y JM (t) y JN (t) son los campos de Jacobi a lo largo de expp t v y expq ti(v ) que verifican JM (0) = 0,
0
JM (0) = w , JN (0) = 0 y JN0 (0) = i(w ) respectivamente, entonces
94
Capítulo 16
95