Documentos de Académico
Documentos de Profesional
Documentos de Cultura
COCHABAMBA-BOLIVIA
Agosto, 2017
Dedicatoria
A Dios.
ii
Agradecimientos
iii
Ficha Resumen
iv
Indice general
Dedicatoria ii
Agradecimientos iii
1 Preliminares 2
1.1 Integracion en Rn . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.2 Variedades Diferenciables . . . . . . . . . . . . . . . . . . . . . . . 3
1.2.1 Campos de vectores . . . . . . . . . . . . . . . . . . . . . . . 7
1.3 Metricas Riemannianas . . . . . . . . . . . . . . . . . . . . . . . . . 8
2 Geometra Riemanniana 12
2.1 Conexiones afines; Conexion Riemanniana . . . . . . . . . . . . . 12
2.1.1 conexiones afines . . . . . . . . . . . . . . . . . . . . . . . . . 12
2.1.2 Conexion Riemanniana . . . . . . . . . . . . . . . . . . . . . 15
2.2 Geodesicas y aplicacion exponencial . . . . . . . . . . . . . . . . . 17
2.2.1 El flujo geodesico . . . . . . . . . . . . . . . . . . . . . . . . . 17
2.2.2 Propiedades minimizantes de las geodesicas . . . . . . . 22
2.3 Curvaturas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
2.3.1 Curvatura . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
2.3.2 Curvatura seccional . . . . . . . . . . . . . . . . . . . . . . . 33
2.3.3 Curvatura de Ricci . . . . . . . . . . . . . . . . . . . . . . . 36
2.4 Inmersiones Isometricas . . . . . . . . . . . . . . . . . . . . . . . . 36
2.4.1 La segunda forma fundamental . . . . . . . . . . . . . . . . 37
2.5 Variedades completas; Teorema de Hopf y Rinow . . . . . . . . 40
2.5.1 Teorema de Hopf y Rinow . . . . . . . . . . . . . . . . . . . 40
v
INDICE GENERAL vi
Conclusiones 66
Bibliografa 67
Introduccion
1
Captulo 1
Preliminares
1.1. Integracion en Rn
Teorema 1.1 Sea A Rn y sea O sea una cobertura abierta de A. entonces existe
una coleccion de C funciones definidas en un conjunto abierto conteniendo A.
con las siguientes propiedades:
2
CAPITULO 1. PRELIMINARES 3
Note que f : A Rn R
Teorema 1.2 1. Si es
Potra Rparticion de unidad, subordinada a una subcobertura
admisible O de A, si A |f | converge entonces tenemos
XZ XZ
f = f
A A
S
1. V = M
V = W 6= las aplicaciones x1
T
2. Para todo par , con V x son diferen-
ciables.
3. La familia (U , x ) es maxima relativamente a las condiciones (1) y (2)
y1 x : U Rn Rm
0 d(f )
(0)f = f D (1.1)
dt t=0
y
x 1 (t) = (x1 (t), ..., xn (t)),
CAPITULO 1. PRELIMINARES 5
0 d
(0)f = (f )
dt t=0
d
= f (x1 (t), ..., xn (t))
dt t=0
n
X f
= x0i (0)
i=1
xi 0
!
X
= x0i (0) f.
i
xi 0
Se sigue de 1.2 que el conjunto Tp M , con las operaciones usuales de funciones, forma
un espacio vectorial de dimension
n n,y la eleccion
de o una parametrizacion x : U M
determina una base asociada x1
, ..., xn en Tp M . El espacio vectorial Tp M
0 0
es llamado espacio tangente de M en p.
: U Rn T
M
(x1 , ..., xn , y1 , ..., yn ) 7 x (x1 , ..., xn ), ni=1 yi x i
P
iii) Si (U ) (U ) 6= , la funcion 1 1
: ( (U ) (U ))
1
( (U ) (U )) es diferenciable.
Entonces M tiene una unica estructura de variedad diferenciable, tal que cada (U , )
es un sistema de coordenadas de M .
Definicion 1.5 La aplicacion linear dp dada por la proposicion 1.2 es llamada dife-
rencial de en p.
(f X)(p) := f (p)X(p),
vi x i , W =
P
Ahora considerando un sistema de coordenadas (U, x ) de M y V = i
P
j wj xj entonces:
X
gp (V (p), W (p)) = gij (p)vi wj
i,j
Donde las funciones gij (p) = gp ( x i (p), x j (p)) son llamadas coeficientes de la metrica
Riemanniana en el sistema de coordenadas (U, x ).
CAPITULO 1. PRELIMINARES 9
Definicion 1.13 Una variedad diferenciable con una metrica Riemanniana es llamada
variedad Riemanniana.
Definicion 1.20
Observacion 1.2 Para concluir los preliminares, vamos a mostrar como una metri-
ca Riemanniana permite definir una nocion de volumen en una variedad Riemanniana
orientada M n .
Precisamos de algunos preliminares. Sea p M y sea x : U Rn M una para-
metrizacion, con p x(U ), en la orientacion de M (diremos que tal parametrizacion
es positiva). Considere una base ortonormal positiva {e1 , ..., en } en Tp M y escribimos
P
Xi (p) = (q) en la base {ei } : Xi (p) = i,j aij ej . entonces
xi
X X
gik (p) = hXi , Xk i(p) = aij akl hej , el i = aij akj
jl j
Como el volumen Vol(X1 (p), ..., Xn (p)) del paraleleppedo formado por los vectores X1 (p)
, ..., Xn (p) en Tp M es igual al Vol(e1 , ..., en ) = 1 multiplicado por el determinante de la
matriz (aij ), tenemos que
q
Vol(X1 (p), ..., Xn (p)) = det(aij ) = det(gij )(p) (1.3)
Definicion 1.21 Sea R M una region (i.e. conjunto abierto y conexo), cuya ce-
rradura es compacta. Supondremos que R esta contenida en una vecindad coordenada
x(U ) de una parametrizacion x : U M positiva, y que la frontera x1 (R) U
tiene medida nula en Rn (observe que la nocion de medida nula en Rn es invariante
por difeomorfismos). Definiremos el volumen Vol(R) en R por la integral en Rn
Z q
Vol(R) = det(gij) dx1 ...dxn (1.4)
x1 (R)
Observacion 1.3 La expresion encima esta bien definida. Con efecto, si R esta conte-
nido en otra vecindad coordenada y(V ) de una parametrizacion positiva y : V Rn
CAPITULO 1. PRELIMINARES 11
lo que muestra que la definicion 1.4 no depende del sistema de coordenadas escogido(aqu
se usa la hipotesis de orientabilidad de M , para evitar que Vol(R) cambie de signo)
Definicion 1.22 Sea R una region compacta, considere una particion de unidad {i }
subordinada a una cobertura finita de R por vecindades coordenadas x(Ui ) y tomar
XZ
Vol(R) = i
i x1
i (R)
Observacion 1.4 Con ayuda de 1.2 y 1.3 podemos verificar que esta bien definido el
volumen sobre R
Captulo 2
Geometra Riemanniana
Definicion 2.1 Una conexion afn en una variedad diferenciable M es una aplica-
cion
: X(M ) X(M ) X(M )
que se indica por (X, Y )
X Y y que satisface las siguientes propiedades:
12
CAPITULO 2. GEOMETRIA RIEMANNIANA 13
i) f X+gY Z = f X Z + gY Z,
ii) X (Y + Z) = X Y + X Z,
Observacion 2.1 La parte i) y iii) de la definicion 2.1 permite mostrar que la nocion
de conexion afn es, de hecho, una nocion local.
donde Xi = xi
, con esto tenemos
!
X X
X Y = xi Xi y j Xj
i j
X X
= xi yj Xi Xj + xi Xi (yj )Xj .
i,j i,j
lo que muestra que X Y (p) depende de xi (p), yk (p) y de las derivadas X(yk )(p) de yk
segun X.
Proposicion 2.1 Sea M una variedad diferenciable con una conexion afn . Entonces
existe una unica correspondencia que asocia a un campo vectorial V a lo largo de la
curva diferenciable c : I M un otro campo vectorial DV
dt
a lo largo de c, denominada
derivada covariante de V a lo largo de c, tal que:
D DV DW
a) dt
(V + W) = dt
+ dt
CAPITULO 2. GEOMETRIA RIEMANNIANA 14
b) D
dt
(f V) = df
dt
V + f DV
dt
, donde W es un campo de vectores a lo largo de c y f una
funcion diferenciable en I.
c) Si V es inducido por un campo de vectores Y X(M ), i.e.,V (t) = Y (c(t)),
entonces DV
dt
= dc Y .
dt
Definicion 2.2 Sea M una variedad diferenciable con una conexion afn . Un campo
vectorial V a lo largo de de una curva c : I M es llamado paralelo cuando DV
dt
= 0,
para todo t I.
Proposicion 2.2 Sea M una variedad diferenciable con una conexion afn . Sea
c : I M una curva diferenciable y V0 un vector tangente a M en c(t0 ) , t0 I.
Entonces existe un unico campo de vectores paralelo V a lo largo de c, tal que v(t0 ) = V0 ,
(V (t) es llamado transporte paralelo de V (t0 ) a lo largo de c).
CAPITULO 2. GEOMETRIA RIEMANNIANA 15
Definicion 2.3 Sea M una variedad diferenciable con una conexion afn y una
metrica Riemanniana h, i. La conexion es dicha compatible con la la metrica h, i, cuando
para toda curva c diferenciable y cualquier par de campos de vectores paralelos P y P 0
a lo largo de c, se tiene hP, P 0 i = constante.
Por tanto ,
X i
dv i dwi i
DV DW
,W + V, = w + v
dt dt dt dt
( i )
d X i i d
= v w = hV, W i.
dt i
dt
Definicion 2.4 Una conexion afn en una variedad diferenciable M es dicha simetri-
ca cuando
X Y Y X = [X, Y ] para todo X, Y X(M ).
En particular, en un sistema de coordenadas (U, x), el hecho de que sea simetrica
implica que
Xi Xj Xj Xi = [Xi , Xj ] = 0,
donde Xi = xi
.
Teorema 2.1 (Levi-Civita) Dada una variedad Riemanniana M , existe una unica
conexion afn en M satisfaciendo las condiciones:
a) es simetrica.
b) es compatible con la metrica Riemanniana.
CAPITULO 2. GEOMETRIA RIEMANNIANA 17
Observacion 2.3 El concepto de Geodesica puede ser definido para cualquier variedad
diferenciable dotada de una conexion afn.
Luego es una geodesica si y solo si, sus componentes satisfacen el sistema de ecuacio-
nes diferenciales ordinarias de segundo orden no lineal (llamado la ecuacion geodesica).
d2 xk X k dxi dxj
+ ij = 0, k = 1, ..., n. (2.8)
dt i,j
dt dt
: U Rn T
M
(x1 , ..., xn , y1 , ..., yn ) 7 x (x1 , ..., xn ), nk=1 yk x k
P
.
CAPITULO 2. GEOMETRIA RIEMANNIANA 19
T x (U ), T x (V ).
Supongamos que U V 6= y sea (p, v) T x (U ) T x (V ). Llamemos , las
unicas trayectorias de G, G pasando por (p, v) en t = 0, por el lema 2.1 = (, d dt
),
d
= (, dt ) con , geodesicas de M. Ademas las condiciones iniciales de y implican
que (0) = (0) = p, d dt
(0) = d
dt
(0) = v luego = por el teorema 2.2, donde = .
Derivando y evaluando tenemos G(p, v) = G(p, v).
: (, ) U T x(U )
tal que:
(q,v) (t) = (t, q, v) : (, ) T x(U )
es la unica trayectoria del campo geodesico que satisface la condicion inicial (0, q, v) =
(q, v), para todo (q, v) U.
La proposicion 2.4 afirma que si |v| < 1 , la geodesica (t, q, v) existe en un interva-
lo (, ) y es unica. En verdad es posible aumentar la velocidad de una geodesica
disminuyendo su intervalo de definicion, o viceversa. Esto sigue del siguiente lema.
Demostracion: La geodesica (t, q, v) de la proposicion 2.4 esta definida para |t| <
y para |v| < 1 . por el lema de homogeneidad, (t, q, v 2
) esta definida para |t| < 2.
1
Tomando < 2 , la geodesica (t, q, w) esta definida para |t| < 2 y |w| < .
es la aplicacion exponencial en U.
Demostracion: Calculemos d expq 0
d d
d expq 0
(v) = expq (tv) |t=0 = ((1, q, tv)) |t=0
dt dt
d
= ((t, q, v)) |t=0 = v.
dt
Luego d expq 0 es la identidad de Tq M , donde por el teorema de la funcion inversa,
expq es un difeomorfismo local en una vecindad de 0.
Definicion 2.11 Una curva diferenciable por partes en M es una aplicacion continua
: [a, b] M de un intervalo cerrado [a, b] R en M , tal que, existe una particion
del intervalo [a, b]
a = t0 < t1 < ... < tk < tk+1 = b,
CAPITULO 2. GEOMETRIA RIEMANNIANA 23
tal que las restricciones |[ti ,ti+1 ] sean curvas diferenciables para i = 0, 1, ..., k.
Cada punto (ti ) es llamado un vertice de la curva y el angulo de la curva en el
vertice (ti ) es definido como siendo el angulo entre
lm 0 (t) con lm 0 (t).
tt+
i tti
Definicion 2.12 : [a, b] M una curva diferenciable por partes, una variacion de
es una aplicacion continua
F : (, ) [a, b] M
tal que
i) F (0, t) = (t)
ii) Existe una particion de [a, b] por puntos
a = t0 < t1 < ... < tk < tk+1 = b,
tal que F |(,)[ti ,ti+1 ] es diferenciable para i = 0, 1, ..., k.
Para cada s fijo, la curva Fs (t) = F (s, t) : [a, b] M es diferenciable por partes y
es llamado curva principal de la variacion. Todas la curvas principales de la variacion
son diferenciables por partes, con la misma particion que .
Para cada t fijo, la curva Ft (s) : F (s, t) : (, ) M es diferenciable en (, ) y es
llamado curva transversal de la variacion.
Un campo vectorial a lo largo de F es una aplicacion continua V : (, ) [a, b]
T M , tal que V (s, t) TF (s,t) M para cada (s, t), y tal que V |(,)[ti1 ,ti ] es diferenciable
para i = 1, ..., k + 1.
Sin embargo, Fs
no plantea dificultad de definicion en todo (, ) [a, b] es un campo
a lo largo de F , continua en su dominio y diferenciable en cada (, ) [ti1 , ti ].
Si evaluamos este ultimo campo en (0, t) obtenemos el campo variacional de F,
F
V (t) =
s (0,t)
Lema 2.5 (de Gauss) Sea p M y v Tp M tal que expp v este definida. Sea w
Tp M Tv (Tp M ) . Entonces
d expp v (v), d expp v (w) = hv, wi. (2.10)
Se sigue que
0 0
(1)|2 = c|(p,v) (0)|2 = chv, vi.
(d expp )v v, (d expp )v w = c (d expp )v v, (d expp )v v = c|(p,v)
: (, ) Tp M
En particular las curvas principales de la variacion Fs (t) son geodesicas, mas especifica-
mente las geodesicas radiales (1, p, t(s)) = (t, p, (s)) que pasan por p con velocidad
(s). Como
CAPITULO 2. GEOMETRIA RIEMANNIANA 26
F
(s, t) = (d expp )t(s) (t0 (s)),
s
F
(s, t) = (d expp )t(s) ((s)),
t
se sigue que
F
(0, 1) = (d expp )v (w)),
s
F
(0, 1) = (d expp )v (v),
t
de modo que
F F
h(d expp )v v, (d expp )v wi = (0, 1), (0, 1) .
t s
Por la compatibilidad de la conexion con la metrica, tenemos para todo (s, t)
F F D F F F D F
, = , + , ,
t t s dt t s t dt s
F D F
= , ,
t dt s
D F
pues dt t
= 0, ya que Fs (t) son geodesicas y F
t
es su campo velocidad. Por el Lema
de simetra
F D F F D F
, = , ,
t dt s t ds t
1 F F
= , = 0,
2 s t t
por que
F F
, = constante
t t
Esto muestra que el producto interno h F , F i(s, t), es independiente de t, en particular
t s
F F F F
, (0, 1) = , (0, 0)
t s t s
y como
F
(0, 0) = 0,
s
sigue el resultado.
CAPITULO 2. GEOMETRIA RIEMANNIANA 27
`() `().
para t (t, 1], donde c es una curva diferenciable por partes en Tp M con |c(t)| = 1
para todo t (t, 1] y r : (t, 1] R es una funcion positiva diferenciable por partes,
de hecho basta considerar
(t) = exp1
p ((t))
y definir
(t)
c(t) = y r(t) = |(t)|.
|(t)|
Definimos
F (r, t) = expp (rc(t)),
por la regla de la cadena tenemos, excepto posiblemente para un numero finito de
puntos
d F 0 F
= r (t) + .
dt r t
Como
F
= (d expp )rc(t) (c(t)),
r
F
= (d expp )rc(t) (rc0 (t)),
t
aplicando el lema de Gauss tenemos
F F
, = hc(t), rc0 (t)i = rhc(t), c0 (t)i = 0,
r t
tambien por el lema de Gauss F
r
= |c(t)| = 1.
Luego
2 2
d 2 F 0 2 F
| | = |r (t)| +
dt r t
F 2
0 2 |r0 (t)|2 ,
= |r (t)| +
t
CAPITULO 2. GEOMETRIA RIEMANNIANA 28
de ah
1
Z
d
`() `1t () = dt
dt
t
Z 1 Z 1
0
|r (t)|dt r0 (t)dt = r(1) r(t) = `().
t t
Luego, si `() = `(),tenemos que (t) = p para todo t [0, t], tambien tenemos que
F
t
= 0, esto es, c0 (t) = 0 para todo t excepto posiblemente para un numero finito de
puntos, lo anterior y la continuidad de c implican que c(t) = constante en todo [t, 1], y
|r0 (t)| = r0 (t) > 0. se sigue de ah que |[t,1] es una reparametrizacion monotona de ,
donde ([0, 1]) = ([0, 1]).
CASO II: ([0, 1]) no esta contenido en B
Consideraremos el primer punto t1 (0, 1) para el cual c(t1 ) pertenece a la frontera de
B. Si es el radio de la bola geodesica B, tenemos:
`() `[0,t1 ] () > `().
Teorema 2.4 Para cada p M existe una vecindad W de p y un numero > 0, tales
que, para cada q W , expq es un difeomorfismo en B (0) Tq M y expq (B (0)) W ,
esto es W es una vecindad normal de cada uno de sus puntos.
La proposicion anterior muestra que para cada p M existe una vecindad W de p que
es una vecindad uniformemente normal.
Demostracion: Basta provar que dado t0 (a, b) existe > 0 tal que |[t0 ,t0 +] es
geodesica. Fijemos t0 (a, b) y sea W una vecindad uniformemente normal de (t0 ),
con radio asociado > 0, por continuidad, existe > 0 ta que ([t0 , t0 + ]) W ,
luego existe una geodesica ligando (t0 ) y (t0 + ), luego por la proposicion
2.6 y la hipotesis tenemos que `() = `tt00 + (), y por la hipotesis de tenemos que
(t) 6= (t0 ) para todo t (t0 , t0 + ], de donde concluimos que |[t0 ,t0 +] es
una reparametrizacion monotona de la geodesica , i.e |[ t0 , t0 + ] = donde
es una funcion diferenciable por partes. Como 0 = (0 )0 y | 0 |, |0 | son constantes
en todo [t0 , t0 + ] excepto en un numero finito de puntos, concluimos que 0 = c
en todo [t0 , t0 + ] excepto en un numero finito de puntos, luego es afn en cada
componente de [t0 , t0 + ] donde es diferenciable y como es continua concluimos
que (t) = ct + b en [t0 , t0 + ] en particular es diferenciable lo que implica que
tambien lo es. Por tanto [ t0 , t0 + ] es una reparametrizacion afn de , luego es
geodesica.
2.3. Curvaturas
2.3.1. Curvatura
dada por
f, g D(M ), X1 , X2 , Y1 , Y2 X(M ).
f D(M ), Z, W X(M ).
Demostracion:
Y1 f X1 +gX2 Z = Y1 (f X1 Z + gX2 Z)
= f Y1 X1 Z + Y1 (f )X1 Z + gY1 X2 Z + Y1 (g)X2 Z.
f X1 +gX2 Y1 Z = f X1 Y1 Z + gX2 Y1 Z.
R(X, Y )f Z = X Y (f Z) Y X (f Z) [X,Y ] (f Z)
= X (f Y Z) + X ((Y f )Z) Y (f X Z)
Y ((Xf )Z) ([X, Y ]f )Z f [X,Y ] Z
= f X Y Z + (Xf )Y Z + (Y f )X Z
f Y X Z (Y f )X Z (Xf )Y Z (Y Xf )Z
+ (XY f )Z (XY f )Z + (Y Xf )Z f [X,Y ] Z
= f R(X, Y )Z.
Observacion 2.8 (i), (ii) de la proposicion anterior permiten mostrar que R es una
nocion local.
Demostracion:
Demostracion:
2(Z, X, Y, T ) + 2(T, Y, Z, X) = 0
y, por tanto,
(Z, X, Y, T ) = (Y, T, Z, X).
Como la curvatura R es una nocion local, es conveniente escribir lo que fue visto arriba
en un sistema de coordenadas (U, x ) en torno del punto p M . Indicaremos, como de
costumbre, x i = Xi . Asumiendo
X
`
R(Xi , Xj )Xk = Rijk X` .
`
Si X X X
X= ui Xi , Y = v j Xj , Z = w k Xk ,
i j k
`
X X s s
Rijk = `ik sj` `jk si` + ik .
` `
xj xi jk
Observacion 2.9 La ecuacion 2.11, que depende de la linealidad del operador R, mues-
tra que el valor de R(X, Y )Z en el punto p depende unicamente de los valores de X, Y,
`
Z en p y de los valores de las funciones Rijk en p.
Para que la definicion anterior tenga sentido, no debe depender de la base {x, y} ele-
gida. Una forma comoda de hacer esto es probar que el cociente anterior es invariante
al aplicar las transformaciones elementales A(x, y) = (x, y), B(x, y) = (x + y, y),
C(x, y) = (y, x).
Finalizamos este captulo con el siguiente Lema que sera usado en el siguiente captu-
lo.
Lema 2.6 Sea F : (, ) [a, b] M una variacion de una curva diferenciable por
partes : [a, b] M (ver definicion 2.12) y sea V = V (s, t) un campo vectorial a lo
largo de F . Entonces
DD DD F F
V V =R , V.
t s s t s t
donde
n
2 vi
DD X vi D vi D DD
V = Xi + Xi + Xi + vi Xi ,
t s i=1
ts s t t s t s
cambiando t por s
n
2 vi
DD X vi D vi D DD
V = Xi + Xi + Xi + vi Xi ,
s t i=1
st t s s t s t
luego
n
DD DD X DD DD
V V = vi Xi Xi .
t s s t i=1
t s s t
D D
Continuando calcularemos X.
t s i
Escribiendo
x1 F (s, t) = (x1 (s, t), ..., xn (s, t)),
tenemos que
n
F X xk
= Xk ,
s k=1
s
n
F X xj
= Xj ,
t j=1
t
De ah
n
!
DD D X xk
Xi = Xk Xi
t s t k=1
s
n 2
X xk xk D
= Xk Xi + Xk Xi
k=1
ts s t
n 2
X xk xk
= Xk Xi + P xj X Xk Xi
k=1
ts s t j
n n
!
X 2 xk X xk xj
= Xk Xi + Xj Xk Xi .
k=1
ts j=i
s t
Por tanto
DD DD X xk xj
Xi Xi = (Xj Xk Xi Xk Xj Xi )
t s s t k,j
s t
X xk xj
= R(Xk , Xj )Xi
k,j
s t
F F
=R , Xj .
s t
Por tanto
n
DD DD X F F
V V = vi R , Xj
t s s t i=1
s t
F F
=R , V.
s t
Definicion 2.17 Si {e1 , ..., em } es una base ortonormal del espacio tangente de M ,
entonces la curvatura de Ricci es definida para ser un 2-tensor simetrico dado por
m
X
Ricij = hR(ei , ek )ek , ej i.
k=1
n+m=k
Sea f : M n M una inmersion. Entonces, para cada p M , existe una
vecindad U M de p tal que f (U ) M es una subvariedad de M . Esto quiere decir
que existe una vecindad U M de f (p) y un difeomorfismo : U V Rk en
un abierto V de Rk , tal que aplica difeomorficamente f (U ) U en un abierto del
subespacio Rn Rk . Para simplificar la notacion, identificaremos U con f (U ) y cada
vector v Tq M , q U , con dfq (v) Tf (q) M . Usaremos tales identificaciones para
entender, por ejemplo, un campo local (esto es, definido en U ) de vectores de M a un
campo local (esto es, definido en U ) de vectores en M ; si U es suficientemente pequeno,
tal extension es siempre posible, como se ve facilmente usando el difeomorfismo .
Tp M = Tp M (Tp M ) , (2.12)
Si v Tp M , p M , podemos escribir
v = vT + vN , v T Tp M, v N (Tp M )
son diferenciables.
X Y = (X Y )T
Se verifica facilmente que esta es la conexion Riemanniana relativa a la metrica indu-
cida de M
CAPITULO 2. GEOMETRIA RIEMANNIANA 38
(X Y X Y ) (X 1 Y X Y ) = XX 1 Y
Por tanto B(X, Y ) esta bien definido. En lo que sigue, indicaremos por X (U ) los
campos diferenciables en U de vectores normales a f (U ) U .
B(X, Y ) = X (f Y ) X (f Y )
= f X Y f X Y + X(f )Y X(f )Y.
Como en M , f = f y X(f ) = X(f ), concluimos que los dos ultimos terminos se anulan,
donde B(X, f Y ) = f B(X, Y ), esto muestra que B es bilineal.
B(X, Y ) = X Y X Y = Y X + X, Y Y X [X, Y ]
CAPITULO 2. GEOMETRIA RIEMANNIANA 39
Como en M , X, Y = [X, Y ], concluimos que B(X, Y ) = B(Y, X)
3. d(p, q) 0, y d(p, q) = 0 p = q.
Teorema 2.5 (Hopf y Rinow) Sea M una variedad Riemanniana y sea p M . las
siguientes afirmaciones son equivalentes:
d) M es geodesicamente completo.
e) Para todo q M existe una geodesica ligando p a q con `() = d(p, q).
d((s0 ), q) = 0 + d(x00 , q)
y
d((s0 ), q) = R s0 ,
luego tenemos
o sea
d((s0 + 0 ), q) = R (s0 + 0 )
lo que muestra que s0 + 0 A.
para terminar probemos que x00 = (s0 + 0 ), observe que, por la desigualdad triangular
y por la primera igualdad de 2.13
Por otro lado, la curva quebrada ligando p a x00 , que va desde p a (s0 ) por la geodesica
, y de (s0 ) a x00 por un rayo geodesico tiene longitud de igual a s0 + 0 . Luego
d(p, x00 ) = s0 + 0 y una tal curva, por el corolario 2.4 es una geodesica. En particular, la
curva no es quebrada, donde (s0 + 0 ) = x00 .Esto concluye la demostracion de a) e).
a) b). Sea A M limitado y cerrado. Como A es limitado, A B, donde B es
una bola en la metrica d de centro en p. Por e), existe una bola Br (0) Tp M , tal
que B expp Br (0). Como expp es contnua y Br (0) es compacto entonces expp Br (0)
es compacto. Luego, A es un cerrado contenido en un compacto, por tanto A es un
compacto.
b) c). Sea (pn ) una sucesion de Cauchy en M , el conjunto A = {pn } es limitado,
donde tiene el cierre A M compacto por b). As como (pn ) es una sucesion en A,
afirmamos que tiene una subsecuencia convergente, que converge a un elemento de A,
luego por ser (pn ) de Cauchy, concluimos que (pn ) converge.
c) d). Supongamos que M no es geodesicamente completa. Entonces existe alguna
geodesica normalizada de M esta definida para s < s0 y no esta definida para s0 . Sea
CAPITULO 2. GEOMETRIA RIEMANNIANA 43
sn una sucesion convergiendo para s0 con sn < s0 . Dado > 0, existe un n0 tal que si
n, m > n0 entonces |sn sm | < . De donde
d) a). Obvio.
44
CAPITULO 3. 1 Y 2 VARIACION DE LA FORMULA DE AREA 45
p
det(g(x, t))
J(x, t) = p
det(g(x, 0))
ya que
p
dAt =det(g(x, t))dV0 (3.1)
p
dA0 = det(g(x, 0))dV0 (3.2)
de ahi tenemos que p
det(g(x, t))
dAt = p dA0
det(g(x, 0))
Demostracion: con g(x, t) = det(gij (x, t)). Para calcular la primera variacion para
el area de N , calculamos J 0 (p, t) = J t
(p, t). Por la suposicion de que gij (p, 0) = ij ,
tenemos J 0 (p, 0) = 12 g 0 (p, 0). Sin embargo,
g = det(gij ) (3.3)
Xn
= g1j c1j , (3.4)
j=1
porque {x1 , ..., xn , t} forman un sistema de coordenadas para N (, ). Senalemos
que la cantidad
Xn
hei T, ei i
i=1
CAPITULO 3. 1 Y 2 VARIACION DE LA FORMULA DE AREA 46
esta ahora bien definido bajo un cambio ortonormal de base y por lo tanto esta definido
globalmente. Si escribimos T = T t + T n , donde T t es la componente tangente de T a
N y T n es la componente normal, entonces
n
X n
X n
X
t
hei T, ei i = hei T , ei i + hei T n , ei i (3.10)
i=1 i=1 i=1
n
X n
X
t n
= div(T ) + ei hT , ei i hT n , ei ei i (3.11)
i=1 i=1
= div(T t ) + hT n , H i, (3.12)
Donde H es el vector de curvatura media de N . Por lo tanto, la primera variacion para
la forma de volumen en el punto (p, 0) viene dada por
d n
t
dAt |(p,0) = div(T ) + hT , H i dA0 |(p,0)
dt
Observacion 3.2 Sin embargo, el lado derecho esta definido intrnsecamente indepen-
dientemente de la eleccion de coordenadas y por lo tanto esta formula es valida en
cualquier punto arbitrario.
Corolario 3.2 Sea N una curva en M que esta parametrizada por la longitud de ar-
co con el vector tangente unitario e, entonces la primera formula variacional para la
longitud Z l
d l
L|t=0 = hT, ei|0 hT, e ei
dt 0
Observacion 3.4 Usando notacion similar, escribimos d x i = ei para i = 1, ..., n,
y denotan los campos vectoriales variacionales por d t = T y d s = S.
En terminos de un sistema de coordenadas general, la primera derivada parcial de J
puede escribirse como
n
J X
(x, t, s) = g ij hei T, ej iJ(x, t, s),
t i,j=1
n
2J X
S g ij hei T, ej iJ
=
st i,j=1
n
X n
X n
X
ij ij
= (Sg )hei T, ej iJ + g (Shei T, ej i) J + g ij hei T, ej iS(J)
i,j=1 i,j=1 i,j=1
n n n
! n
!
X X X X
= (Sg ij )hei T, ej i + Shei T, ej i + hei T, ei i hej S, ej i
i,j=1 i=1 i=1 j=1
Pn
Sin embargo, diferenciando la formula k=1 g ik gkj = ij , obtenemos
n
X n
X
ik
(Sg )gkj = g ik (Sgkj )
k=1 k=1
por lo tanto
n
X
ij
g = g ik (Sgkl )g lj
k,l=1
= Sgij
= Shei , ej i
= hS ei , ej i hS ej , ei i.
n
X n
X n
X
(Sg ij )hei T, ej i = hei S, ej ihei T, ej i hej S, ei ihei T, ej i
i,j=1 i,j=1 i,j=1
n
X n
X n
X
Shei T, ei i = hS ei T, ei i + hei T, S ei i
i=1 i=1 i=1
Xn Xn n
X
= hR(S, ei )T, ei i + hei S T, ei i + hei T, ei Si,
i=1 i=1 i=1
Corolario 3.3 Sea N una curva parametrizada por longitud de arco en M con vector
tangente unitario dado por e, entonces la segunda formula variacional para la longitud
viene dada por
Z l
2L
|(s,t)=(0,0) = {he T, e Si + hR(S, e)T, ei (ehS, ei)(ehT, ei)}
st 0
+ hS T, ei|l0
tenemos
l
2L
Z
|(s,t)=(0,0) = {(ehS, ei)(ehT, ei) + hR(S, e)T, ei}
st 0
Z l
+ {ehS T, ei + he T, e Si}
0
Z l
= {he T, e Si + hR(S, e)T, ei (ehS, ei)(ehT, ei)}
0
+ hS T, ei|l0
Teorema 3.3 (Segunda formula variacional de area) Sea N una variedad n-dimensional
con una familia bi-parametrica donde los dos campos vectoriales variacionales son igua-
les y son normales soportadas de forma compacta. Entonces, la segunda formula varia-
cional para el area en terminos de variaciones normales es
Z ( X n
)
d2
2 X
A(Nt )|t=0 = hT, II ij i hR(ei , T )T, ei i + h(T T )n , H i
dt2 N i,j i=1
Z (X n m
)
X
+ hei T, e i2 + hT, H i2 .
N i=1 =n+1
n n n
2L X
2
X X
|t=0 = hei T, ej i hej T, ei ihei T, ej i + hR(T, ei )T, ei i
2t i,j=1 i,j=1 i=1
n n n
!2
X X X
+ hei T T, ei i + |ei T, ei |2 + hei T, ei i
i=1 i=1 i=1
n
X Xn n
X
2
= hei T, ej i hej T, ei ihei T, ej i + hR(ei , T )T, ei i
i,j=1 i,j=1 i=1
n
X
+ div(T T )t + h(T T )n , H i + |ei T |2 + hT, H i2 .
i=1
Por otro lado, si {en+1 , ..., em } denota un conjunto ortonormal de vectores normales
a N en M , entonces
n
X n
X n
X m
X
2
hei T, ei T i = hei T, ej i + hei T, e i2 .
i=1 i,j=1 i=1 =n+1
CAPITULO 3. 1 Y 2 VARIACION DE LA FORMULA DE AREA 51
Ademas
hei T, ej i = hT, II ij i
= hej T, ei i,
Donde II ij denota la segunda forma fundamental con valor en la normal de N Por
lo tanto, (1.3) se convierte en
n
2J X 2 X
|t=0 = hT, II ij i hR(ei , T )T, ei i + div(T T )t
t2 i,j i=1
n m
n
X X
+ h(T T ) , H i + hei T, e i2 + hT, H i2 .
i=1 =n+1
Z ( X n
)
d2
2 X
A(Nt )|t=0 = hT, II ij i hR(ei , T )T, ei i + h(T T )n , H i
dt2 N i,j i=1
Z (X
n m
)
X
+ hei T, e i2 + hT, H i2 .
N i=1 =n+1
Observacion 3.5 Si restringimos aun mas N para ser una sub-variedad mnima orien-
table de codimension-1 de una variedad orientable M , podemos escribir cualquier va-
riacion normal en la forma T = em , donde es una funcion diferenciable en N y em
CAPITULO 3. 1 Y 2 VARIACION DE LA FORMULA DE AREA 52
Donde II ij = hij em con hij siendo la componente de la segunda forma fundamental
y R(T, T ) denota la curvatura de Ricci de M en la direccion de T . Aqu tambien hemos
utilizado el hecho de que
Z Z Z
2
|| 2 h2ij + 2 R(em , em ).
N N N
Observacion 3.6 El ultimo caso especial es asumir nuevamente que N es una hipersu-
perficie orientada en una variedad orientada M y restringimos la variacion a ser dada
por hipersuperficies que son una constante distante de N . El campo vectorial variacio-
nal es entonces dado por em con em em 0. Esta situacion es particularmente util
para controlar el crecimiento del volumen de bolas geodesicas de radio r. En este caso,
si escribimos H = Hem , la primera formula variacional para el elemento de area se
convierte en
J
(x, 0) = H(x)J(x, 0),
t
Y la segunda formula variacional puede escribirse como
2J X
(x, 0) = J(x, 0) R(em , em )(x)J(x, 0) + H 2 (x)J(x, 0).
t2 i,j=1
Captulo 4
Teorema de Comparacion de
Volumen
Z R Z
Vol(B(R)) = J(, r)ddr
0 S n1 (1)
Afirmacion: Z
A(B(r)) = J(, r)d
S n1 (1)
53
CAPITULO 4. TEOREMA DE COMPARACION DE VOLUMEN 54
Z
A(B(r)) = dA
B(r)
Z
= dA
exp(B(r))
Z
1
= det(dexp|B(r)) ) 2 d
n1
ZS (r)
= J(, r)d
S n1 (r)
Donde Ricrr = Ric( r , r ), H(, r) y (hij (, r)) indican la curvatura de Ricci en la
direccion radial, la curvatura media y la segunda forma fundamental De Bp (r) en el
punto x = (, r) con respecto al vector normal unitario r , respectivamente.
Usando la desigualdad
m1
X m1
X
h2ij > h2ii
i,j=1 i=1
Pm1 2
hii i=1
>
m1
H2
=
m1
Y (2.1), podemos estimar (2.2) por
m2 2
J 00 6 H J Ricrr J
m1
m 2 0 2 1
= (J ) J (m 1)Ricrr J
m1
Dado que cualquier metrica suave es localmente euclidiana, tenemos las condiciones
iniciales
J(, r) rm1
CAPITULO 4. TEOREMA DE COMPARACION DE VOLUMEN 55
y
J 0 (, r) (m 1)rm2
Como r 0. Senalemos que si M es una espacio de forma de curvatura constante
simplemente conexa con curvatura de seccional constante K, entonces todas las desigual-
dades anteriores se convierten en igualdades. En particular (2.4) se convierte en
m 2 0 2 1
J 00 = (J ) J (m 1)KJ
m1
Lema 4.1 Para toda funcion K C(R), existe una unica solucion tal que
00
f (t) + K(t)f (t) = 0
f (0) = 0
0
f (0) = 1
Demostracion:
f (, r)
1. es no creciente.
f (r)
f 0
r f
2. (, r) (r) si f (r) > 0
f f
derivamos la ecuacion
1
0 f + f 0 = f 00 6 Ricrr f (4.1)
n1
0 f + 2 f 6 Kf (4.2)
0 + 2 + K 6 0 (4.3)
0 + 2 + K = 0 (4.4)
( )0 + 2 2 6 0 (4.5)
( )0 + ( )( + ) 6 0 (4.6)
observe que
lm r = lm r = 1 y lm ( ) = 0
r0 r0 r0
entonces Rr 0
D = ( ) exp 0 (+) 6 0
ya que
Rr Rr
Z r 0
0 0 (+) 0 (+)
D = ( ) exp +( ) exp ( + ) (4.7)
0
Rr Rr
= ( )0 exp 0 (+)
+( ) exp 0 (+)
(( + )(r) ( + )(0)) (4.8)
Rr
0 (+) 0
= exp (( ) + ( )( + )) 6 0 (4.9)
entonces
(r) 6 (r) r
y
0
J (r) (m 1)rm2 .
J(, r)
cuando r 0, entonces dentro del cut-locus de p la funcion es una funcion
J(r)
0
no creciente de r. Ademas, si H(r) = J /J, entonces H(, r) H(r) siempre que
(, r) este dentro del cut-locus de p. En particular, si K es una constante, entonces Jd
corresponde al elemento de area de la esfera de radio r en el espacio forma simplemente
conexo de curvatura constante K.
Demostracion: Sea
1 1
= log J y = log J
n 1 r n 1 r
Por el lema anterior tenemos
6 = H(r, ) 6 H(r) (4.10)
J
= log 6 0 (4.11)
r J
J
= 60 (4.12)
r J
J
Entonces J
es no-creciente
Corolario 4.1 Bajo la asuncion del teorema 2,1, si K es una constante, entonces
(m 1) K cot( Kr) para K > 0
H (m 1)r1 para K = 0
(m 1) K coth( Kr) para K < 0
y
J(, r)
J(r)
CAPITULO 4. TEOREMA DE COMPARACION DE VOLUMEN 58
1 (m1) m1
sin ( Kr) para K > 0
K
J(r) = rm1 para K = 0
1 (m1)
sinhm1 ( Kr) para K < 0
K
Observacion 4.2 Aprovechamos esta oportunidad para senalar que esta estimacion
implica que cuando K0, debe haber un punto de corte a lo largo de cualquier geodesica
que tenga longitud K . En particular, esto demuestra el teorema de Myers.
Ricij (m 1)K
Para alguna constante K > 0. Entonces M debe ser compacto con el diametro d limitado
desde arriba por
d
K
entonces
1
r=
K
Corolario 4.3 Sea M una variedad de Riemann completa m-dimensional con la cur-
vatura de Ricci delimitada desde abajo por una constante (m 1)K. Supongamos que
M es una forma espacio simplemente conexo m-dimensional con curvatura constante
en seccion K. Sea Ap (r) el area de la frontera de la bola geodesica Bp (r) centrada en
p M de radio r y A(r) el area del lmite de una bola geodesica B(r) de radio r en
M . Entonces para 0 r1 r2 < , tenemos
Si dejamos que Vp (r) y V (r) sean los volumenes de Bp (r) y B(r), respectivamente,
entonces para 0 r1 r2 , r3 r4 < tenemos
(Vp (r2 ) Vp (r1 ))(V (r4 ) V (r3 )) (Vp (r4 ) Vp (r3 ))(V (r2 ) V (r1 )).
Demostracion:
Z
A(r) = J(, r)d (4.13)
Z S n1
entonces tenemos Z
A(r) J(, r)
= d
A(r) S n1 J(r)
J(, r)
observe que es no-creciente
J(r)
ademas Z r
V (r) = A(s)ds
0
y
A(1 ) A(2 )
>
A(1 ) A(2 )
y aplicando el teorema (1.1) se obtiene el resultado
CAPITULO 4. TEOREMA DE COMPARACION DE VOLUMEN 60
Corolario 4.4 Sea M una variedad de Riemann, no compacta con RicM 0. entonces
p M , existe una constante C tal que
Vol(Bp (R)) CR
Demostracion:
Teorema 4.2 Sea M una variedad de Riemann completa m-dimensional con no ne-
gativo curvatura Ricci. Entonces el crecimiento del volumen de M debe satisfacer las
estimaciones siguientes:
2. (Yau) Para todo p M , existe una constante C(m) > 0 dependiendo solamente
de m, tal que
Vp () CVp (1)
para todo > 2
observamos que
Vp (r2 )
lm =1
r2 0 V (r2 )
(2 + )m m
Vx (2 + ) Vx () 6 Vx ()
m
CAPITULO 4. TEOREMA DE COMPARACION DE VOLUMEN 61
Vx () 6 Vp (1 + 2)
Teorema 4.3 (Cheng) Sea M una variedad de Riemann m-dimensional completa con
Ricci curvatura delimitada desde abajo por
Ricij (m 1)K
V (d)
=2
V (d/2)
por lo tanto
d
Vp 6 2Vp
2
CAPITULO 4. TEOREMA DE COMPARACION DE VOLUMEN 62
Teorema 4.4 (Munteanu - Wang) Sea M una variedad De Riemann completa com-
pleta, f C (M ) y
1
Ric + 2 f > g (4.18)
2
2
|f | 6 f (4.19)
definimos
1 J
r
(, r) =
n1 J
Por el lema (6,2) tenemos la ecuacion
1
0 + 2 + Ric( , ) 6 0
n1 r r
(r = )
CAPITULO 4. TEOREMA DE COMPARACION DE VOLUMEN 63
haciendo 0 tenemos
Z r
1
r 6r r3 +
2
r2 f 00 (4.27)
6 0
CAPITULO 4. TEOREMA DE COMPARACION DE VOLUMEN 64
1 R r 2 00
donde denotaremos por (t) = r f entonces tenemos:
2 0
1 1
6 r + (t)
r 6
J
sea H := entonces tenemos
rn1
1 1
(log H)0 6 r + (t)
n1 6
integrando ambos miembros tenemos
Z r
1 1
log H 6 r2 + (t)
2 12 0
1 J0 1 1 1
6 log H + f (0) (4.40)
n1 J r r(n 1) r
1 1
(log H)0 6 log H + f (0) (4.41)
r r
0
(r log H) 6 f (0) (4.42)
r log H 6 f (0)r (4.43)
log H 6 f (0) (4.44)
de ahi obtenemos
J(r)
6 expf (0) = J(r) 6 expf (0) rn1
rn1
Conclusiones
66
Bibliografa
[2] John M. Lee. Introduction to Smooth Manifolds. Second Edition. New York:
Springer-Verlag, 2010.
[10] Peter Li. Geometric Analysis.New York: Cambridge University Press, 2012.
67