Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Apuntes de Geometria Diferencial1 PDF
Apuntes de Geometria Diferencial1 PDF
GEOMETRIA DIFERENCIAL
P R O B L E M A S R E S U E L T O S
Rodrigo Vargas
Santiago de Chile
2010
ii
Prefacio
Este libro pretende sirvir de texto para un primer curso de Geometra Di-
ferencial. Los temas tratados se exponen de manera simple y directa, evitando
digresiones y sin dar demostraciones de los resultados expuestos. As espe-
ro facilitar la comprension de los estudiantes que, al adoptarlo, no necesi-
tara perder mucho tiempo en la teora para evocarse a atacar problemas
de los textos guas. Grupos especiales, estudiantes avanzados, lectores que
deseen una presentacion mas completa y los alumnos, por as decirlo, nor-
males que busquen lecturas complementarias pueden consultar Geometra
diferencial de curvas y superficies de Manfredo do Carmo que trata de la
misma materia con un enfoque mas amplio.
La parte mas importante de este libro son sus problemas resueltos, que
sirven para fijar ideas, desarrollar algunos temas esbozados en muchos textos
de geometra diferencial y como oportunidad para que el lector compruebe
lo sencillo de algunas soluciones. Naturalmente, me gustara que el lector
solo consultase las soluciones despues de haber hecho un serio esfuerzo para
resolver cada problema. Precisamente es este esfuerzo, con o sin exito, el que
nos conduce a buenos resultados en el proceso de aprendizaje.
Los problemas que el lector encontrara se basan en las ayudantias del
curso de geometra diferencial impartido en la Universidad de Chile y la
Pontificia Universidad Catolica de Chile, el cual esta dirigido a estudiantes
de Licenciatura en Matematica. Muchos de los problemas han sido tomados
de los problemas propuestos en el libro de Manfredo do Carmo.
iii
iv
Indice general
1. Curvas 1
1.1. Teora Local de Curvas . . . . . . . . . . . . . . . . . . . . . . 1
1.2. Propiedades Globales de las curvas planas . . . . . . . . . . . 3
1.3. Problemas Resueltos . . . . . . . . . . . . . . . . . . . . . . . 3
2. Superficies 53
2.1. La Primera Forma Fundamental . . . . . . . . . . . . . . . . . 54
2.2. La Segunda Forma Fundamental . . . . . . . . . . . . . . . . . 55
2.3. Problemas Resueltos . . . . . . . . . . . . . . . . . . . . . . . 55
3. Curvatura de Superficies 75
3.1. La Curvatura de Curvas sobre una Superficie . . . . . . . . . . 75
3.2. Las Curvaturas Media y Gaussiana . . . . . . . . . . . . . . . 78
3.3. Geodesicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78
3.4. El Teorema Egregio de Gauss . . . . . . . . . . . . . . . . . . 79
3.5. Problemas Resueltos . . . . . . . . . . . . . . . . . . . . . . . 80
v
vi
Captulo 1
Curvas
Definici on 1.2.
Una curva parametrizada diferenciable : (a, b) R3 se denomina regular
si 0 (t) 6= 0 para todo t I.
Definici on 1.3.
Dado t (a, b), la longitud de arco de una curva parametrizada regular
: (a, b) R3 , desde el punto t0 , es por definicion:
Z t
s(t) = k0 (t)kdt .
t0
Definici on 1.4.
Una curva parametrizada : (a, b) R3 es llamada arco-parametrizada o
de rapidez uno si 0 (t) es un vector unitario para todo t (a, b), esto es,
k0 (t)k = 1.
Definicion 1.5.
Sea : (a, b) R3 una curva parametrizada por longitud de arco s I. El
umero k00 (s)k = (s) se denomina la curvatura de en s.
n
1
2 Captulo 1. Curvas
Definici on 1.6.
Sea : (a, b) R3 una curva parametrizada por lo longitud de arco s tal
que 00 (s) 6= 0, s (a, b). El n
umero (s) definido por b0 (s) = (s)n(s) se
denomina la torsion de en s.
Teorema 1.1.
Sea una curva arco-parametrizada con curvatura nunca nula. Entonces,
t0 = n
0 (1.1)
n = t + b
b0 = n .
Definici on 1.8.
La curva es simple si carece de otras autointersecciones; o sea, si t1 , t2 [a, b],
t1 6= t2 , entonces (t1 ) 6= (t2 ).
Definicion 1.9.
Un vertice de una curba regular plana : [a, b] R2 es un punto t [a, b]
en donde 0 (t) = 0.
Definici
on 1.10.
Una curva regular plana (no necesariamente cerrada) : [a, b] R2 es
convexa si, para todo t [a, b], la traza ([a, b]) de esta completamente
contenida en un lado del semiplano cerrado determinado por la recta tangente
en t.
y centro ( 21 , 0, 0).
1
x2 + y 2 = (1.2)
4
y en la esfera si
2
1
x+ + y2 + z2 = 1 . (1.3)
2
1 3 1
x+ + sin2 t = x = sin2 t .
4 4 2
r
1 p p
y= x2 = sin2 t sin4 t = sin 1 sin2 t = sin t cos t .
4
b
2
|
1
x0 a
2b
z
(p)
q
b
p
b b
L
1
1
x=a 1
(x=a)
1 (x=a)
1
y = x + , , R, 0 x 1
entonces
donde es una curva sobre la esfera unitaria que corta a cada meriadia-
no en un angulo constante .
h(t), vi = 0, t I ;
d hf (t), f 0 (t)i
kf (t)k = , si f (t) 6= 0 . (1.4)
dt kf (t)k
" n #1/2
X
En efecto, si f (t) = (f1 (t), ..., fn (t)) luego kf (t)k = (fi (t))2 y
i=1
obtenemos
" n # 21 1 n
!
d 1 X X
kf (t)k = (fi (t))2 2 fi (t)fi0 (t)
dt 2 i=1 i=1
n
X
fi (t)fi0 (t)
hf (t), f 0(t)i
= " i=1 #1/2 = ,
X n kf (t)k
(fi (t))2
i=1
d
Si k(t)k = cte 6= 0 k(t)k = 0
dt
h(t), 0(t)i
=0
k(t)k
h(t), 0(t)i = 0
(t) es ortogonal a 0 (t) para todo t I .
1.6. Sea un curva cerrada que no pasa por p. Probar que en los puntos
sobre donde la distancia a p es maxima o mnima la recta tangente a
Geometra Diferencial - Rodrigo Vargas 9
b b
}c
b
b
x
b
(a) Obtengase una curva parametrizada : R R2 cuya traza sea la
cicloide y determnense sus puntos singulares.
(b) Calc
ulese la longitud de arco de la cicloide correspondiente a una
rotacion completa del disco.
Soluci
on:
r
b
b
B
p b C
x
0
2a A
(a) La traza de
2at2 2at3
(t) = , , t R,
1 + t2 1 + t2
es la cisoide de Diocles.
(b) El origen (0, 0) es un punto singular de la cisoide.
Geometra Diferencial - Rodrigo Vargas 11
Soluci
on:
(x a)2 + y 2 = a2 . (1.5)
La ecuacion de la semi-recta r es
y = (tan) x . (1.6)
Ademas
0 4at 6at2 + 2at4
lm (t) = lm , l
m = (0, 2a) .
t t (1 + t2 )2 t (1 + t2 )2
1
(t)
t b
Demostrar que:
Geometra Diferencial - Rodrigo Vargas 13
Soluci
on:
1
dy sin t 1 sin2 t cos t dy 1 x2
= sin t = = = .
dx cos t sin t cos t sin t dx x
Luego, la ecuacion de la lnea tangente a P es
p
1 x20
y y0 = (x x0 ) .
x0
Evaluando la recta en el punto Q obtenemos
p q
1 x20
y1 y0 = (0 x0 ) = 1 x20 .
x0
14 Captulo 1. Curvas
Entonces
1.10. Sea la curva parametrizada (t) = (aebt cos t, aebt sen t), t R, a y b
constantes, a > 0, b < 0.
Soluci
on:
(a) Sabemos que lm ebt = 0 cuando b < 0 y como las funciones cos t
t+
y sen t son acotadas podemos concluir que
Entonces,
Z t Z t
0
k (t)kdt = aebt [(b cos t sen t)2 + (b sen t + cos t)2 ]1/2 dt
t0 t0
Z t
= a ebt [b2 + 1]1/2 dt
t0
Z t
2
= a b +1 ebt dt
t0
a 1
= b + 1(ebt ebt0 )
b
por lo que
Z t
a 1 a 2
lm k0 (t)kdt = lm b + 1(ebt ebt0 ) = b + 1ebt0 ,
t+ t0 t+ b b
P
de [a, b], considere la suma ni=1 |(ti ) (ti1 )| = l(, P ), donde P
representa la particion dada. La norma |P | de la particion se defini por:
|P | = max(ti ti1 ) , i = 1, , n .
b
(ti )
b
b
(tn1 ) b
(t0 )
b
b
b
(tn ) b
(t2 )
(t1 )
Pruebese que dado un > 0 existe un > 0 tal que si |P | < entonces:
Z b
k 0
(t)kdt l(, P ) <.
a
Por otro lado, como 0 es uniformemente continua en [a, b], dado > 0,
existe 2 > 0 tal que su t, s [a, b] con |t s| < 2 , entonces
k0(t) 0 (s)k < |a b| .
2
Tomando = mn{1 , 2 }, entonces si |P | < , obtenemos, utilizando el
teorema del valor medio para funciones en varias variables,
X X
0
k(ti1 ) (ti )k (t i1 ti )k (t )k
i
X X
(ti1 ti ) sup k (si )k
0
(ti1 ti )k (ti )k
0
si
X
(ti1 ti ) sup k (si ) (ti )k ,
0 0
s i 2
2 2 2 2 2 2
, , , , ,...,
2 3 4 5 6 n+1
2 2 2 2
0, , 0, , 0, , 0, . . . , (1)n .
3 5 7 2n + 1
Por lo tanto, tomando la particion
2 2 1 2 12
P = 0, , ,..., , , ,1
k+1 k 3 5 23
18 Captulo 1. Curvas
Tenemos que:
k
X
l(p) = |y(ti ) y(ti1 )|
i=1
2 2 2 2 2 2
= + + + ++ +
3 3 5 5 k k
1 1 1 1 1 1
= 2 + + + ++ +
3 3 5 5 k k
1 1 1 1 1
2 + + ++ + ,
3 4 5 k k+1
X 1
como s(t) l(p) y la serie armonica diverge. Se concluye que
i=1
i
la longitud de arco no es acotada.
1.13. Sea = (t), t [a, b] una curva parametrizada de clase C 1 con (a) =
p, (b) = q.
Soluci
on:
En efecto,
Z b Z bX
n
0
hf (t), g(t)idt = fi0 (t)gi (t)dt
a a i=1
XZ b
n
= fi0 (t)gi (t)dt
i=1 a
Xn b Z b
0
= fi (t)gi (t) fi (t)gi (t)dt
a a
i=1
Xn b Xn Z b
= fi (t)gi (t) fi (t)gi0 (t)dt
a a
i=1 i=1
b Z b X
n
= hf (t), g(t)i fi (t)gi0 (t)dt
a a i=1
b Z b
= hf (t), g(t)i hf (t), g 0(t)idt .
a a
Luego, tenemos que
Z b b Z b
0
h (t), vidt = h(t), vi h(t), v 0idt
a a a
= h(b), vi h(a), vi
= h(b) (a), vi
= h(q p), vi .
Por otro lado, notemos que
Z b Z b
h (t), vidt h (t), vidt
0 0
a a
Z b
|h0 (t), vi|dt
a
Z b Z b
0
k (t)k kvkdt = k0 (t)kdt .
a a
La tercera de las desigualdades, no es mas que la famosa desigualdad
de Cauchy-Schwartz
qp
(b) Tomando el vector ~v = kqpk el cual es unitario de lo anterior
obtenemos
Z b
h(q p), (q p)i
k0 (t)kdt h(qp), ~vi = = kqpk = k(a)(b)k.
a kq pk
20 Captulo 1. Curvas
Soluci
on:
Luego,
0
= |t (s)| = lm t(s + ) t(s) = lm |t(s + ) t(s)|
0 0 ||
1
2 sin 2 d d
= lm = lm
0 || 0 ||
1.15. Una curva parametrizada regular tiene la propiedad de que todas sus
rectas tangentes pasan por un punto fijo.
Soluci
on:
L = {(t) + r0 (t) : r R} .
derivando obtenemos
ya que si
r(t)(t) = 0, t I .
Soluci
on:
Notemos que
(A )(t) = (t) + v, (A )0 (t) = 0 (t), (A )00 (t) = 00 (t) .
Ademas
d d2
( ) = 0 , ( ) = 00 .
dt dt2
Entonces
|0 (t) 00 (t)|
(t) =
|0 (t)|3
|(A )0 (t) (A )00 (t)|
=
|(A )0 (t)|3
|((A )0 (t)) ((A )00 (t))|
=
|((A )0 (t))|3
2
| d ( A )(t) dtd 2 ( A )(t)|
= dt
| dtd ( A )(t)|3
2
| d ( )(t) dtd 2 ( )(t)|
= dt = (t) .
| dtd ( )(t)|3
24 Captulo 1. Curvas
1
(s) = (s) + n(s) , tI
(s)
se denomina la evoluta de .
b
b
b b
(a) Pruebe que la recta tangente a (s) coincide con la recta normal a
en (s).
Soluci
on:
(a) Supongamos que esta parametrizada por arco, basta observar que
0
0 n(s)
(s) = t(s) +
(s)
n (s)(s) n(s)0 (s)
0
= t(s) +
2 (s)
2 (s)t(s) n(s)0 (s)
= t(s) +
2 (s)
0 (s)
= 2 n(s) = r(s)n(s) .
(s)
Se deduce que la recta tangente a coincide con la recta normal de
.
(b) Observe primero que
n(s)
k(s) (s)k =
= 1
(s)
|(s)|
las rectas normales en s1 y s2 son:
1 = h0(s2 ), 0(s2 )i
= h0(s2 ), pn0 (s2 )i
= h0(s2 ), p(s2 )0 (s2 )i
= p(s2 )h0(s2 ), 0(s2 )i = p(s2 ) .
1
Entonces (s2 ) = .
p
26 Captulo 1. Curvas
1
1.18. Demuestre que el largo de arco de la evoluta de = (t) es u0 ,
s (s)
donde u0 es una constante.
se denomina catenaria
1
(a) Demostrar que la curvatura con signo de la catenaria es (t) = .
cosh2 t
(b) Demostrar que la evoluta de la catenaria es
Soluci
on:
Entonces
cosh t cosh t 1
(t) = = 2 3/2 = .
(1 + sinh t) 3/2
(cosh t) cosh2 t
1
(t) = (t) + n(t), tI.
(t)
entonces
( sinh t, 1) sinh t 1
n(t) = p = , .
sinh2 t + 1 cosh t cosh t
Por lo tanto,
1
(t) = (t) + n(t)
(t)
sinh t
2 1
= (t, cosh t) + cosh t ,
cosh t cosh t
= (t, cosh t) + ( sinh t cosh t, cosh t)
= (t sinh t cosh t, 2 cosh t) .
(b) La curvatura de en t I es
k0 00 k
(t) = .
k0 k3
Sabemos que
Entonces,
k0 00 k
(t) = .
k0 k3
= 200 10 100 20
y ademas
(
100 (s) = (100 (t(s)))(t0 (s))2 + 10 (t(s))t00 (s)
200 (s) = (200 (t(s)))(t0 (s))2 + 20 (t(s))t00 (s)
Luego,
k(s) ak2 = r 2 .
ht, ai = 0
Dr = {z R2 : kzk r} .
1
Afirmacion: Si (s0 ) < entonces (s) R2 \ Dr para todo 0 <
r
|s s0 | < .
En efecto, basta considerar la funcion
(s) = k(s) p k2
32 Captulo 1. Curvas
(s s0 )2
(s) = (s0 ) + 0 (s0 )(s s0 ) + 00 (s0 ) +R
2
(s s0 )2
= r 2 + (1 r(s0 )) + R > r2
4
para 0 < |s s0 | < , lo cual implica que (s) R2 \ Dr para todo
0 < |s s0 | < .
Ahora, por otro lado si (s) Dr entonces (s) 1/r y como |(s)|
1/r entonces necesariamente se tiene que |(s)| = 1/r lo cual implica
que es una arco de circunferencia.
1.24. Pruebe que una condicion necesaria y suficiente para que una curva
: I R3 este sobre una esfera es que
0 0
= .
2
Soluci
on:
Si : I R3 esta en una esfera de centro en a y radio r entonces
k ak2 = r 2 , es decir, h a, ai = r 2 .
Derivando obtenemos
ht, ai = 0 . (1.7)
Geometra Diferencial - Rodrigo Vargas 33
Reemplazando (3.8) en la u
ltima igualdad se obtiene lo pedido
0 0
= .
2
(2 + (0 )2 )0 = 20 + 2(0 )(0 )0 = 0 .
a0 = t + 0 n + (t + b) + (0 )0 b 0 ( n) = 0 .
34 Captulo 1. Curvas
Luego, a es constante y
k ak2 = 2 + (0 )2 = r 2 ,
1.25. Probar que si todos los planos normales a una curva pasan por un punto
fijo entonces la curva esta contenida en una esfera.
ha y, ti = 0 . (1.9)
ht, ti + ha , t0 i = 0 ktk2 + ha , ni = 0
1
ha , ni = . (1.10)
Derivando nuevamente y usando Frenet-Serret
0 0
ht, ni + ha , n0 i = ha , t + bi =
2 2
0
ha , ti + ha , bi = . (1.11)
2
0
Si (1.9) en (1.11) obtenemos ha , bi = 2 , derivando y usando
Frenet-Serret
0 0
h a, ni = . (1.12)
2
d 0 000
h0 , 0000 i = h , i h00 , 000 i
ds
d
= ht, t00 i ht0 , t00 i
ds
d
= ht, (n)0 i hn, (n)0 i
ds
d
= ht, 0 n + n0 i hn, 0 n + n0 i
ds
d 0
= { ht, ni +ht, n0 i} 0 hn, ni +hn, n0 i
ds | {z } | {z }
0 1
d
= {ht, t + bi} 0 + hn, t + bi
ds
d
= {2 ht, ti + ht, bi} 0 2 hn, ti + hn, bi
ds |{z} | {z} | {z } | {z }
1 0 0 0
d
= {2 } 0 = 20 0 = 30 .
ds
ademas, una curva es plana si y solo si (t) = 0 para todo t [a, b].
Geometra Diferencial - Rodrigo Vargas 37
0 = ( sen t, cos t, f 0 )
00 = ( cos t, sen t, f 00 )
000 = (sen t, cos t, f 000 )
0 00 = (cos tf 00 + sen tf 0 , sen tf 00 cos tf 0 , 1)
h0 00 , 000 i = f 0 + f 000 = 0 f 000 = f 0
entonces t(s) = (cos (s), sen (s)) y n(s) = ( sen (s), cos (s)). Se
verifica que
Por lo tanto,
Z s Z s
(s) = cos(2 t)dt, sen(2 t)dt
0 0
= (cos(2 s) + 2 s sen(s 2), sen(2 s) 2 s cos(2 s)) + (1, 0) .
1
on: Denotemos por =
Soluci , entonces
a2 + b2
0 (s) = (a sin s, a cos s, b)
38 Captulo 1. Curvas
La u
ltima igualdad se debe a las ecuaciones de Frenet-Serret, se sigue
que (s) = a 2 y n = ( cos s, sin s, 0). Sabemos que el vector
binormal es dado por
Entonces,
La u
ltima igualdad se debe a las ecuaciones de Frenet-Serret. Por lo
tanto, (s) = b 2 .
Soluci
on:
1.33. Sea una curva plana parametrizada por largo de arco tal que para
todo s el angulo entre t(s) y (s) es (fijo). Demuestre
Soluci
on:
ht, i ht, i
(a) Sabemos que cos = . Si = 0 entonces = 1. Se
ktkkk ktkkk
concluye que = rt con r 6= 0, derivando obtenemos
t = r 0 t + rt0 = r 0 t + rn .
ht, i
(b) Si = entonces = 0, se concluye que = rn con r 6= 0.
2 ktkkk
Derivando obtenemos
t = r 0 n + rn0 = r 0 n rt .
l2
A .
4
Tenemos que
l2 36m2 9
= = m2 < 3m2 = A
4 4
lo cual contradice la desigualdad isoperimetrica.
1.36. Sean A, B puntos del plano a distancia menor que l, y sea una curva
simple de A a B de largo l aun lado de la recta por A, B. Probar que
el area mayor que encierra la curva cerrada AB se tiene cuando
es un arco de crculo por A, B.
A B A B
Soluci on: Tenemos que (t) = (a cos t, b sin t) y sabemos que (t) =
x0 y 00 x00 y 0
. En particular, x0 (t) = a sin t, x00 (t) = a cos t,
((x0 )2 + (y)2 )3/2
y 0 (t) = b cos t y y 00 (t) = b sin t. Entonces
(a sin t)(b sin t) (a cos t)(b cos t) ab
(t) = 2 = 2 .
(a2 sin t + b2 cos2 t)3/2 (a2 sin t + b2 cos2 t)3/2
Luego
3ab sin t cos t(b2 a2 )
0 (t) = .
(a2 sin2 t + b2 cos2 t)3/2
Por otro lado, t [0, 2] es vertice si 0 (t) = 0, es decir, si 3ab sin t cos t =
0 sin t cos t = 0 entonces t 0, 2 , , 32 , 2 donde
(0) = (2) = (a, 0) 2 = (0, b)
3
() = (a, 0) 2
= (0, b)
son los vertices de la elipse. Note que la curva cumple las hipotesis del
teorema de los cuatro vertices, luego ella necesariamente tiene al menos
cuatro vertices.
1.40. Sea una curva plana y sea l la tangente en un punto p. Sea L una
paralela a la recta normal en p a distancia d de p, y sea h el largo del
segmento determinado sobre L por y l. Probar que
2h
|(p)| = lm .
d0 d2
d
h l
b
Notemos que,
O
(x(t),y(t))
b
r0
(x(t),z(t)) b
Luego, si (t) = (x(t), y(t)), sea (t) = (x(t), z(t)) una parametrizacion
del crculo de radio r 0 y centro O. Debido a que la curva esta contenida
en la region que encierra el crculo se tiene que:
|z(t)| |y(t)| .
2|y(s)| 2|z(s)| 1 1
|(p)| = lm 2
lm 2
= | (p)| = 0 .
s0 s s0 s r r
Entonces
Tenemos entonces
de donde
De manera similar
Z l Z l Z l
yy ds = yy (l) yy (0) (y ) ds = (y 0)2 ds
00 0 0 0 2
0 0 0
y como Z l
(s)ds = 2 .
0
Geometra Diferencial - Rodrigo Vargas 49
Por lo tanto,
no cambia de signo.
(ii) Determine la curvatura de la curva de nivel f (x, y) = c en un
punto donde se sabe que fxx = 2, fxy = 3, fyy = 1, fx = 1,
fy = 1, tomando la normal en la direccion del gradiente de f .
Soluci
on:
Rs
(i) Sabemos que (s) no cambia de signo si y solo si (s) = 0 (s)ds
es una funcion creciente, ya que 0 (s) = (s). Luego, la curva
asociada a la curvatura es una curva convexa si y solo si
no cambia de signo. Por otro lado, por el teorema de la funcion
implcita, existe g : R R tal que
f (x, g(x)) = c
fx + fy g 0 = 0 . (1.14)
Luego,
fx
g0 = . (1.15)
fy
Geometra Diferencial - Rodrigo Vargas 51
Soluci on: Al ser (t) una curva cerrada simple tiene ndice de rota-
cion 1, entonces
Z l
(s)ds = (l) (0) = 2 .
0
2
Por lo tanto, l . Observe que un crculo de radio 1/c tiene curvatura
c
0 = c y el largo de este circulo es l0 = 2
c
. Cualquier curva de curvatura
menor a c tiene mayor largo que un crculo de radio 1/c.
Captulo 2
Superficies
Definici
on 2.1.
Un subconjunto S R3 es una superficie si, para todo punto p S, existe
un conjunto abierto U R2 y un conjunto abierto W R3 conteniendo al
punto p tal que W S es homeomorfo a U.
z
W
W S
p
b
v
b
S
(u, v)
y
u
U
Definici on 2.2.
Una superficie parametrizada : U R3 es llamada regular si es diferen-
ciable y los vectores u y v son linealmente independientes para todo punto
(u, v) U. Equivalentemente, que sea diferenciable y el producto cruz
u v es nunca cero para todo punto de U.
53
54 Captulo 2. Superficies
Definicion 2.3.
Dada una aplicacion diferenciable F : U Rn Rm definida sobre un
conjunto abierto U de Rn decimos que p U es un punto crtico de F si
la diferencial dFp : Rn Rm no es un aplicacion sobreyectiva. La imagen
F (p) Rm de un punto crtico se denomina un valor crtico de F . Un punto
de Rm que no es un valor crtico de f se llama valor regular de F .
Teorema 2.1.
Si f : U R3 R es una funci on diferenciable y a f (U) es un valor
regular de f , entonces f (a) es una superficie regular de R3 .
1
Definicion 2.4.
El espacio tangente a un punto p de una superficie S, denotado por Tp S, es
el conjunto de vectores tangentes al punto p de todas las curvas en S que
pasan por p.
donde
E = ku k2 , F = hu , v i , G = kv k2 . (2.2)
Geometra Diferencial - Rodrigo Vargas 55
Proposici
on 2.1.
ku v k = EF G2 .
Definicion 2.5.
El area A (R) del sector (R) de una superficie parametrizada : U R3
correspondiente a la region R U es
ZZ
A (R) = ku v kdudv .
R
~ uu i ,
e = hN, ~ uv i ,
f = hN, ~ vv i
g = hN,
on: Consideremos
Soluci
S = {(x, y, z) R3 : z = x2 y 2}
S = {(x, y, z) R3 : x2 + y 2 z 2 = 1}
(x z) cos = (1 y) sin ,
(x + z) sin = (1 + y) cos
58 Captulo 2. Superficies
esta contenida en S, y que todo punto del hiperboloide esta sobre una
de estas lneas. Deduzca que S puede ser cubierta por solo una parame-
trizacion y por lo tanto es una superficie.
x2 z 2 = 1 y 2 x2 + y 2 z 2 = 1 .
x2 + y 2 z 2 = 1
2.8. Hallar la ecuacion del plano tangente de las siguientes superficies para-
metrizadas en el punto indicado
Soluci
on:
2x + 2y + z = 0 .
2x + z = 0 .
H = {(x, y, z) R3 : x2 + y 2 z 2 = 1}
en los puntos (x, y, 0) y demostrar que todos ellos son paralelos al eje z.
entonces
T(s,t,0) H = {(x, y, z) R3 : sx + ty = 0} ,
S 2 = {(x, y, z) R2 : x2 + y 2 + z 2 = 1}
Soluci
on:
Lp = {N(1 t) + tp : t 0}
= {(0, 0, 1)(1 t) + t(x, y, 0) : t 0}
= {(xt, yt, 1 t) : t 0}
(xt0 )2 + (yt0 )2 + (1 t0 )2 = 1
o equivalentemente,
2
t0 = .
x2 + y 2 + 1
Entonces la inversa de la proyeccion estereografica 1 : R2 S 2
viene dada por:
1 2x 2y x2 + y 2 1
(x, y) = (xt0 , yt0 , 1t0 ) = , , .
x2 + y 2 + 1 x2 + y 2 + 1 x2 + y 2 + 1
Soluci
on:
a) Tenemos que
E = hu , u i = 2 cosh2 u
F = hu , v i = 2 sinh u cosh u sinh v cosh v
G = hv , v i = sinh2 u
u = (1, 1, 2u)
v = (1, 1, 2v)
E = hu , u i = 2 + 4u2
F = hu , v i = 4uv
G = hv , v i = 2 + 4v 2
u = (sinh u, cosh u, 0)
v = (0, 0, 1)
E = hu , u i = sinh2 u + cosh2 u
F = hu , v i = 0
G = hv , v i = 1
u = (1, 0, 2u)
v = (0, 1, 2v)
E = hu , u i = 1 + 4u2
F = hu , v i = 4uv
G = hv , v i = 1 + 4v 2
entonces
2(u2 + v 2 + 1) 4u2 4uv
u = 2 2 2
, 2 ,
(u + v + 1) (u + v 2 + 1)2
2u(u2 + v 2 + 1) (u2 + v 2 1)(2u)
(u2 + v 2 + 1)2
2(u2 + v 2 + 1) 4uv 4u
= , ,
(u2 + v 2 + 1)2 (u2 + v 2 + 1)2 (u2 + v 2 + 1)2
por simetra se deduce que
4uv 2(u2 v 2 + 1) 4v
v = , , .
(u2 + v 2 + 1)2 (u2 + v 2 + 1)2 (u2 + v 2 + 1)2
Luego,
(u2 + v 2 + 1)4 E = 4(v 2 u2 + 1)2 + 16u2 v 2 + 16u2
= 4((v 2 u2 )2 + 2(v 2 u2 ) + 1) + 16u2v 2 + 16u2
= 4(v 4 2u2 v 2 + u4 + 2v 2 2u2 + 1) + 16u2v 2 + 16u2
= 4(v 4 + 2u2 v 2 + u2 + 2v 2 + 2u2 + 1)
= 4(u2 + v 2 + 1)2
4
E =
(u2 + v 2 + 1)2
4
y de manera similar G = ademas
(u2 + v 2 + 1)2
(u2 + v 2 + 1)4 F = 2(u2 + v 2 + 1)(4uv) 4uv(2u2 v 2 + 1) + 16uv
= 8uv(u2 + v 2 + 1) 8uv(u2 v 2 + 1) + 16uv = 0
F = 0.
Notemos que la curva (t) = (t, at) = (u(t), v(t)) con a 6= 0 parame-
triza los meridianos de la esfera entonces el largo de arco de es
Z
s = k0 (t)kdt
Z p
= E(u0)2 + 2F u0v 0 + G(v 0 )2 dt
Z 1/2
4 4
= 2 2 2
+ 2 a2 dt
u (t) + v (t) + 1) (u (t) + v 2 (t) + 1)2
Z
2 1 + a2
= dt .
t2 (1 + a2 ) + 1
Geometra Diferencial - Rodrigo Vargas 65
sec2
Haciendo t = tan / 1 + a2 implica dt = d y se obtiene que
1 + a2
Z /2
2 1 + a2 sec2
s = 2
d
/2 tan + 1 1 + a2
Z /2
= 2 d = 2 .
/2
x = (1, 0, fx ), y = (0, 1, fy )
y
E = hx , x i = 1 + fx2
q
F = hx , y i = fx fy kx y k = EG F 2 = 1 + fx2 + fy2 .
G = hy , y h = 1 + fy2
Por lo tanto, Z Z q
A= 1 + fx2 + fy2 dxdy .
Q
E = E(v), F = 0, G=1.
Geometra Diferencial - Rodrigo Vargas 67
es decir, k 0 (t)k = 1 para todo t [a, b]. Sabemos que las superficies
de revolucion tinen como parametrizacion
con
u = (f (v) sin u, f (v) cos u, 0), v = (f 0 (v) cos u, f 0(v) sin u, g 0(v)) .
donde l es la longitud de C.
(b) Aplique la parte (a) para calcular el area de un toro de revolucion.
Soluci
on:
donde
U = {(t, s) R2 : 0 < t < 2, 0 < s < l}
y la parametrizacion de la curva generatriz c es : [0, l] R2 es
d = (s) = f (s) .
Sabemos que
Z Z Z Z
A= kt s k dtds = EG F 2 dtds
Q Q
Entonces,
Z Z Z lZ 2 p
A = EG F 2 dtds = f 2 (s) dtds
0 0
U
Z l Z l
= 2 f (s)ds = 2 (s) ds .
0 0
2.18. Sean p(t), q(t) puntos en el espacio que se mueven con igual rapidez, el
primero desde (0, 0, 0) en direccion del eje Z, y el segundo desde (1, 0, 0)
en direccion del eje Y . Demuestre que el conjunto de rectas que une p(t)
con q(t) esta dado por la ecuacion y(x 1) + xz = 0. Es este conjunto
una superficie regular?
y (z t)
x= =
t t
despejando t se obtiene
y z y z
t= , t= = y(x 1) + xz = 0 .
x (x 1) x (x 1)
L1 = {(x, y, z) R3 : x = 1, y 0, z = 0}
L2 = {(x, y, z) R3 : 0 x 1, y = z = 0}
L3 = {(x, y, z) R3 : z 0, x = y = 0}
Geometra Diferencial - Rodrigo Vargas 71
1
q
Soluci
on:
(i) Para u fijo la superficie es una lnea recta que corta a la curva en
el punto (u) y que esta en a direccion de 0 (u). Por hipotesis
k00 (u) 0 (u)k
(u) = 6= 0 .
k0 (u)k3
72 Captulo 2. Superficies
Entonces
n(u) + sen vb(u))
u v |(u,0) = r(1 r cos v)(cos v
(u,0)
= r(1 r)
n(u) .
Entonces,
x y fz 1
N = = (gx , gy , 1) = (fx , fy , 1) .
kx y k kf k kf k
74 Captulo 2. Superficies
Captulo 3
Curvatura de Superficies
~ + g N
00 = n N ~ 0 . (3.1)
N
00
0
Tp S
n
S
0
N g
p
75
76 Captulo 3. Curvatura de Superficies
y
2 = k 00 k2 = 2n + 2g .
Proposici on 3.1.
Si (t) = (u(t), v(t)) es una curva arco-parametrizada sobre una superficie
parametrizada , entonces la curvatura normal es dada por
Definici on 3.1.
Las curvaturas principales de una superficie parametrizada son las raices de
la ecuacion
e kE f kF
det(FII kFI ) = =0 (3.2)
f kF g kG
(FII FI )T = 0 . (3.3)
Definici
on !3.2.
Si T = satisface la ecuacion (3.3), el correspondiente vector tangente
t = u + v de la superficie (u, v) es llamado una direccion principal
correspondiente a la curvatura principal .
Definici on 3.3.
Si una curva regular conexa C en S es tal que para todo p C la recta
tangente de C es una direccion principal en p, entonces se dice que C es una
lnea de curvatura de S
Geometra Diferencial - Rodrigo Vargas 77
n = 1 cos2 + 2 sen2 ,
Teorema 3.3.
Sea N~ el vector normal unitario de la superficie parametrizada (u, v). En-
tonces,
~ u = au + bv ,
N ~ v = cu + dv ,
N (3.5)
donde !
a c
= FI1 FII .
b d
K = 1 2 ,
y la curvatura media es
1
H = (1 + 2 ) .
2
Proposici on 3.2.
Sea (u, v) una superficie parametrizada con primera y segunda forma fun-
damentales
respectivamente. Entonces
eg f 2
(i) K = ;
EG F 2
1 eG 2f F + gE
(ii) H = ;
2 EG F 2
(iii) las curvaturas principales son H H 2 K.
3.3. Geod
esicas
Definicion 3.5.
Una curva sobre una superficie S es llamada una geodesica si 00 (t) es cero
o perpendicular a la superficie en el punto (t), i.e. paralelo al vetor normal
unitario, para todos los valores del parametro t.
Proposici on 3.3.
Una curva sobre una superficie es una geodesica si y s
olo si la curvatura
geodesica es cero.
Geometra Diferencial - Rodrigo Vargas 79
Teorema 3.4.
Una curva sobre una superficie S es una geodesica si y s
olo si, para cual-
quier parte (t) = (u(t), v(t)) de contenida en una superficie parametri-
zada de S, las siguientes dos ecuaciones son satisfacidas:
d 1
(Eu0 + F v 0 ) = (Eu (u0 )2 + 2Fu u0 v 0 + Gu (v 0 )2 ) ,
dt 2
(3.6)
d 1
(F u0 + Gv 0 ) = (Ev (u0 )2 + 2Fv u0 v 0 + Gv (v 0 )2 ) ,
dt 2
donde E(u0 )2 + 2F u0 v 0 + G(v 0 )2 es la primera forma fundamental de .
Corolario 3.1.
La curvatura gaussiana es dada por
1 Evv + Fuv 1 Guu 1
E Fu 12 Ev 0 1
E 1
G
2 2 2 u 2 v
2 u
1 1
Fv 2 Gu E F 2 Ev E F
1
1
G F G Gu F G
2 v 2
K= .
(EG F 2 )2
80 Captulo 3. Curvatura de Superficies
uu = 111 u + 211 v + eN ,
uv = 112 u + 212 v + f N ,
vv = 122 u + 222 v + gN ,
donde
GEu 2F Fu + F Ev 2EFu EEv F Eu
111 = , 211 = ,
2(EG F 2 ) 2(EG F 2 )
GEv F Gu EGu F Ev
112 = , 212 = ,
2(EG F 2 ) 2(EG F 2 )
2GFv GGu F Gu EGv 2F Fv + F Gu
122 = , 222 = .
2(EG F 2 ) 2(EG F 2 )
Los seis coeficientes kij en esta formula son llamados los smbolos de
Christoffel.
h0 (s), (s) ai = 0 ,
Geometra Diferencial - Rodrigo Vargas 81
1
N = ((s) a) .
r
Por lo tanto,
1 1
n = h00(s), Ni = h00(s), (s) ai = .
r r
d 0 d
n = hN, 00 i = hN, ( )i = hN, (u u0 + v v 0 )i
dt dt
= hN, u u00 + v v 00 + (uu u0 + uv v 0 )u0 + (uv u0 + vv v 0 )v 0 )i
= e(u0 )2 + 2f u0v 0 + g(v 0)2 .
3.3. (i) Determine una ecuacion para la curva plana y = y(x) tal que el
segmento entre el punto de tangencia y el eje y es constante igual
a 1 (una curva tal se llama tractrix).
Soluci
on:
z
C
1 x2
1 dz 1 x2
= .
(x0 , z0 ) dx x
z0 b
x
x0
Luego,
u = (v sen u, v cos u, 0)
v = (cos u, sen u, f 0(v))
uu = (v cos u, v sen u, 0)
uv = ( sen u, cos u, 0)
vv = (0, 0, f 00(v))
entonces
E = ku k2 = v 2 ,
F = hu , v i = 0
2 0 2 1 v2 1
G = kv k = 1 + (f (v)) = 1 + 2
= 2
v v
u v = (v cos uf 0 (v), v sen uf 0 (v), v)
ku v k = EG F 2 = 1
N ~ = (v cos uf 0 (v), v sen uf 0 (v), v)
Geometra Diferencial - Rodrigo Vargas 83
e = hN, uu = v 2 f 0 (v)
f = hN, uv i = 0, g = hN, vv i = vf 00 (v)
1
f 00 (v) = .
v2 1 v2
Por lo tanto, la curvatura gaussiana es
eg f 2 v 2 f 0 (v)(vf 00 (v))
K = =
EG F 2 v 2 1/v 2
1 v2 1
= v2 v = 1 .
v v2 1 v2
3.4. Pruebe que la curvatura media esta dada por
Z
1
H= n ()d,
0
donde n () es la curvatura normal en una direccion que forma un angu-
lo con una direccion tangente fija.
n () = 1 cos2 + 2 sen2
entonces
Z Z
1 1
n ()d = (1 cos2 + 2 sen2 )d
0 0
Z Z
1 2 1
= 1 cos d + 2 sen2 d .
0 0
Ademas
Z Z Z
2 2
cos d + sen d = (cos2 + sen2 )d = .
0 0 0
on: Sean
Soluci
Tenemos que
1
u = cos v, sen v, , v = (u sen v, u cos v, 0)
u
y ademas u v = ( cos v, sen v, 0). Luego, los coeficientes de la
primera forma fundamental son
u2 + 1
E = , F = 0, G = u 2
u2
y el vector normal unitario es
N~ = u v = 1 ( cos v, sen v, u)
ku v k u2 + 1
1
uu = 0, 0, 2 , uv = ( sen v, cos v, 0), vv (u cos v, u sen v, 0)
u
y los coeficientes de la segunda forma fundamental son
1 u
e = , f = 0, g = .
u u2 + 1 u2+1
Entonces, la curvatura gaussiana de la primera superficie es
eg f 2 1
K = 2
= 2 .
EG F (u + 1)2
Geometra Diferencial - Rodrigo Vargas 85
E = 1, F = 0, G = 1 + u 2
~ = u v = 1
N (sen v, cos v, u)
ku v k u2 + 1
eg f 2 1
K = 2
= 2 = K .
EG F (u + 1)2
on: Considere
Soluci
E = ku k2 = r 2 , F = hu , v i = 0, G = kv k2 = (a + r cos u)2 .
86 Captulo 3. Curvatura de Superficies
Ademas,
y como
u v =
(r(a+r cos u) cos u cos v, r(a+r cos u) cos u sin v, r(a+r cos u) sin u)
p
ku v k = EG F 2 = r 2 (a + r cos u)2 = r(a + cos u) .
Entonces, N = ( cos u cos v, cos u sin v, sin u) , con esta informa-
cion tenemos que los coeficientes de la segunda forma fundamental son:
E = 1, F = 0, G = h2 .
e = h0 g 00 h00 g 0 , f = 0, g = hg 0 .
y la curvatura media es
1 eG 2f F + gE 1 c cosh2 uc + c cosh2 u
c
H= = =0.
2 EG F 2 2 c2 cosh4 uc
y tenemos que
2 /2 2 /2 2 /2 2 /2
u = (1, ueu cos v, ueu sen v), v = (0, eu sen v, eu cos v)
~ = 1 2 /2
N (ueu , cos v, sen v)
1+ u2 eu2
90 Captulo 3. Curvatura de Superficies
y tenemos que
2 /2 2 /2
uu = (0, eu (u2 1) cos v, eu (u2 1) sen v)
2 /2 2 /2
uv = (0, ueu sen v, ueu cos v)
u2 /2 u2 /2
vv = (0, e cos v, e sen v)
3.10. Considere
Por lo tanto,
Z Z Z 2 Z 2
cos u
KdA = r(a + r cos u)
0 0 r(a + r cos u)
Z 2 Z 2
= cos ududv = 0 .
0 0
Geometra Diferencial - Rodrigo Vargas 91
( 1 )( 2 ) = 2 (1 + 2 ) + 1 2
= 2 2H + K = 0 .
uv = 0 (u), vv = 0 .
Entonces, e = hN, vv i = 0 y
eg f 2 f2
K= = 0
EG F 2 EG F 2
ya que EG F 2 = ku v k2 > 0.
entonces
1 Evv 1 Guu 1 Eu 1 Ev 0 1
E 1
G
1 2
2 2 2 2 v 2 u
1 1
K = 2
2
G u E 0 2
E v E 0
(EG) 1
1
G v 0 G Gu 0 G
2 2
1 1 1 1 1
= Evv Guu (EG) Eu Gu G
(EG)2 2 2 2 2
1 1 1 1 1 1
Ev Gv E Ev Ev G + Gu Gu E
2 2 2 2 2 2
1 1 1 1 1
= E vv EG G uu EG + Eu G u G + Ev Gv E
(EG)2 2 2 4 4
1 1
+ Ev Ev G + Gu Gu e .
4 4
y
G guu EG Gu 21 (EG)1/2 (Eu G + EGu )
u =
EG u EG
Guu 1 Gu Eu G 1 Gu Gu E
= 3/2
EG 2 (EG) 2 (EG)3/2
2 1 1 1
= Guu EG + Gu Eu G + Gu Gu E
(EG)3/2 2 4 4
Entonces,
| (EG)3/2 Ev Gu
K = +
(EG)2 2 EG v EG u
1 Ev Gu
= + .
2 EG EG v EG u
94 Captulo 3. Curvatura de Superficies
N N 0 , 0 N
E = a2 sin2 v , e = a sin2 v ,
F =0, f =0,
G = a2 , g =a.
o equivalentemente
(v 0 )2 u0 v 0 (u0 )2
E F G =0
e f g
n (p) = 0 p.
n = 1 cos2 + 2 sin2
g (p) = 0, p.
3.18. (a) Demostrar que una superficie compacta (es decir, cerrada y acotada
en R3 ) tiene un punto de curvatura gaussiana positiva.
(b) Demuestre que si KS 0 entonces S no es compacta.
Soluci
on:
E = hu , u i = 2 , F = hu , v i = 0 , G = hv , v i = 2 .
Entonces
1 eG 2f F + gE 1
H= 2
= 2 (e + g) .
2 EG F 2
Si S es superficie mnima entonces H = 0 lo que implica que e + g = 0,
luego
eg f 2 (e2 + f 2 )
K= = 0
EG F 2 4
por problema 3.18(b) la superficie S no es compacta.
S 2 = {(x, y, z) R3 | x2 + y 2 + z 2 = 1} .
2 = 2n + 2g
3.21. Sea S una lnea de curvatura plana (es decir, contenida en un plano
P). Probar que a lo largo de , el vector normal a S forma un angulo
constante con el vector normal a P .
3.22. Sea S una curva regular sobre una superficie S con curvatura
Gaussiana K > 0. Demuestre que la curvatura de en p satisface
mn(|1 |, |2|) ,
1 n 2 .
e (du2 + dv 2 ) ,
Soluci on: Primero observe que dado que la primera forma fundamental
es e (du2 + dv 2 ) entonces E = G = e = y F = 0, es decir la super-
ficie es conforme, al final del problema 3.10 se dedujo que la curvatura
gaussiana en este caso viene dada por
1 1
K = 4(log ) = 4 ,
2 2e
Geometra Diferencial - Rodrigo Vargas 99
(f 0 (u)g 00(u) f 00 (u)g 0(u))g 0(u) = f 0 (u)g 0(u)g 00 (u) f 00 (u)(g 0(u))2
= (f 0 (u))2 f 00 (u) f 00 (u)(g 0(u))2
= f 00 (u) .
Nu = au + bv , Nv = cu + dv , (3.8)
donde
! !1 !
a c E F L M
= FI1 FII = .
b d F G M N
Soluci on: Como N es un vector unitario, se tiene que Nu y Nv son
perpendiculares a N, luego pertenecen al plano tangente de y por lo
tanto son combinacion lineal de u y v . Luego los escalares a, b, c y d
satisfacen (3.8) y existen. Por otro lado note que
Similarmente,
e = aE + bF , f = cE + dF,
f = aF + bG , g = cF + dG .
Geometra Diferencial - Rodrigo Vargas 101
1 = K S 2 = KR 2 = 0
lo cual es absurdo.
Geometra Diferencial - Rodrigo Vargas 103
eg f 2 1 0
K= = = 1 .
EG F 2 10
1
K= 4(log ) = 0 ,
2
pues = 1 = E = G, lo cual es una contradiccion.
uu = 111 u + 211 v + eN
uv = 112 u + 212 v + f N
vv = 122 u + 222 v + gN
donde
GEu 2F Fu + F Ev 2EFu EEv F Eu
111 = , 211 = ,
2(EG F 2 ) 2(EG F 2 )
GEv F Gu EGu F Ev
112 = , 212 = ,
2(EG F 2 ) 2(EG F 2 )
2GFv GGu F Gu EGv 2F Fv + F Gu
122 = 2
, 222 = ,
2(EG F ) 2(EG F 2 )
uu = 1 u + 2 v + 3 N~
~
uv = 1 u + 2 v + 3 N (3.10)
~
vv = 1 u + 2 v + 3 N
104 Captulo 3. Curvatura de Superficies
3 = e , 3 = f , 3 = g .
3.32. Demuestre que no existe una superficie cuyas primera y segunda formas
fundamentales son
respectivamente.
alrededor del eje z. Los paralelos generados por los puntos (a + r, 0),
(a r, 0), (a, r) se denominan, respectivamente, el paralelo maximo,
el paralelo mnimo y el paralelo superior. Compruebese cual de estos
paralelos es
a. Una geodesica
106 Captulo 3. Curvatura de Superficies
e = r, f = 0, g = (a + r cos u) cos u ,
luego los simbolos de Cristoffel son
(a + r cos u) sen u
111 = 0, 112 = 0, 122 =
r
(a + r cos u) sen u
211 = 0, 212 = , 222 = 0
r
y para tenemos que
s 1
v(s) = 0, u(s) = , v 0 = 0, u0 = , v 00 = 0, u00 = 0
r+a r+a
por lo tanto es geodesica, ya que satisface el sistema (3.6). Por otro
lado, la ecuacion diferencial para las lneas de curvatura es:
entonces
1 1
k(s) = |kg (s)| = |k(s)| = .
a a
3.35. Sea = (s) una curva arcoparametrizada contenida en una superficie
S. En el punto p = (0) se escoge una base ortonormal de Tp S, t, h, de
Se define la torsion geodesica de en
= t h.
modo que t = 0 (0) y N
p como * +
dN
g = (0), h .
ds
Soluci
on:
= e1 sen e2 cos
h
entonces
* +
dN
g = (0), h
ds
* +
dN
= (e1 cos + e2 sen ), e1 sen e2 cos
ds
= he1 1 cos + e2 2 sen , e1 sen e2 cos i
= 1 cos sen 2 sen cos
= (1 2 ) cos sen
hN, n
i = cos , hN, ti = 0, hN, bi = sen
Geometra Diferencial - Rodrigo Vargas 109
3.36. Sea S una curva asintotica de curvatura nunca nula. Probar que su
torsion satisface
= K
donde K es la curvatura Gaussiana de S.
Luego,
Por lo tanto,
1
1 cos = sen tan =
2 sen = cos tan =
2
entonces 1 2 = 2 2 = K.
Demuestre que
E = G = (1 + u2 + v 2 )2 , F =0.
e=2, g = 2 , f =0.
2 2
1 = , 2 = .
(1 + u2 + v 2 )2 (1 + u2 + v 2 )2
Soluci
on:
Geometra Diferencial - Rodrigo Vargas 111
u = (1 u2 + v 2 ,2uv, 2u) ,
v = (2uv, 1 v 2 + u2 , 2v) .
E = ku k2
= (1 u2 + v 2 )2 + 4u2 v 2 + 4u2
= 1 2(u2 v 2 ) + (u2 v 2 )2 + 4u2 v 2 + 4u2
= 1 + 2u2 + 2v 2 + u4 + v 4 + 2u2v 2
= 1 + 2(u2 + v 2 ) + (u2 + v 2 )2 = (1 + u2 + v 2 )2 ,
G = kv k2 = 4u2 v 2 + (1 v 2 + u2 )2 + 4v 2 = (1 + u2 + v 2 )2 .
u v
N =
k v k
u
2u 2u3 2uv 2 2v + 2v 3 + 2u2 v 2u2 v 2 u4 v 4
= , , .
(1 + u2 + v 2 )2 (1 + u2 + v 2 )2 (1 + u2 + v 2 )2
Ademas,
e = hN, uu i
4u2 + 4u4 + 4v 2 + 4v 4 + 4u2v 2 + 2 4u2 v 2 2u4 2v 4
=
(1 + u2 + v 2 )2
2(2(u + v ) + (u + 2u2 v 2 + v 4 ) + 1)
2 2 4
=
(1 + u2 + v 2 )2
(1 + u2 + v 2 )2
= 2 =2,
(1 + u2 + v 2 )2
f = hN, uv i
4uv 4u3 v 4uv 3 + 4uv + 4v 3 u + 4u3 v
= =0,
(1 + u2 + v 2 )2
g = hN, vv i
4u2 4u4 4v 2 4v 4 4u2 v 2 2 + 4u2 v 2 + 2u4 + 2v 4
=
(1 + u2 + v 2 )2
2(2(u2 + v 2 ) + (u4 + 2u2 v 2 + v 4 ) + 1)
= = 2 .
(1 + u2 + v 2 )2
(c) Por el problema 3.11 sabemos que las curvaturas principales en el
caso que f = F = 0 son
e 2
1 = = ,
E (1 + u + v 2 )2
2
g 2
2 = = .
G (1 + u + v 2 )2
2
como f = 0 entonces
El Teorema de Gauss-Bonnet
Geodesica
Geodesica
Geodesica
S
115
116 Captulo 4. El Teorema de Gauss-Bonnet
Definici on 4.1.
Diremos que esta orientada positivamente si encierra la region R a su
izquierda vista desde arriba. En cada vertice (ti ) tenemos un angulo
interior i y satisfacen |i | < y son positivos si se dobla a la izquierda y
negativos si se dobla a la derecha.
(ti ) i < 0
(tj )
j > 0
n1
X n1
X
((ti+1 ) (ti )) + i = 2 .
i=0 i=0
El teorema estable que la variacion total del angulo a una direccion dada
del vector tangente a , mas los saltos en los vertices, es igual a 2.
Teorema 4.2 (Gauss-Bonnet local).
Sea = (t) una curva cerrada simple suave a tramos, orientada en sentido
positivo en la superficie orientada S. Entonces
n1 Z si+1
X ZZ n1
X
g ()ds + Kd + i = 2 .
i=0 si i=0
R
Geometra Diferencial - Rodrigo Vargas 117
Definici
on 4.2.
Llamaremos triangulo a una region simple con solo tres vertices, y angulos
externos i , i = 1, 2, 3. Una triangulacion de una region regular R S es
una familia finita de triangulos Ti , i = 1, 2, . . . , n, tal que
n
[
(i) Ti = R.
i=1
Definici
on 4.3.
El n
umero
(R) = C L + V
se denomina caracterstica de Euler-Poincare de la triangulacion.
Teorema 4.3.
Para cualquier triangulacion de una regi
on R S el n
umero (R) = C
L + V es un invariante que solo depende de R.
Teorema 4.4.
Sea S R3 una superficie regular compacta. Entonces
(S) = 2, 0, 2, 4, . . . .
Definici
on 4.4.
El n
umero
2 (S)
g=
2
se denomina el genero de S.
118 Captulo 4. El Teorema de Gauss-Bonnet
x2 + y 2 z 2
+ 2 =1
a2 b
donde a, b son constantes positivas, el elipsoide es dideomorfo a la esfera
mediante la funcion (x, y, z) 7 (x/a, y/a, z/b), luego por el Teorema de
Gauss-Bonnet aplicado a superficies compactas obtenemos que
ZZ
Kd = 4(1 0) = 4
S
se encuentra que
b2 p
K= , kEG F 2 k = a cos a2 sin2 + b2 cos2
(a2 sin2 + b2 cos2 )2
entonces
ZZ Z 2 Z /2
ab2 cos dd
Kd =
0 /2 (a2 sin2 + b2 cos2 )3/2
S
4.4 Sea S una superficie con K < 0. Demuestre que dos geodesicas 1 y 2
que parten del mismo punto p S no pueden encontrarse otra vez en un
punto q S de forma que las trazas de 1 y 2 constituyan la frontera
de una region simple R de S.
2
1
q
R
p
1
2
q
b
b
region simple
p
2 1
1
2
4.6 Sea S una superficie compacta con K > 0. Demuestre que dos geodesicas
cerradas suaves se deben cortar.
K(s) = K((s))
es tal que K(0) = K(p) > 0 y K(1) = K(q) < 0 por el teorema del valor
intermedio existe c (0, 1) tal que K(c) = 0.
4.8 Sea S una superficie homeomorfa a una esfera, y sea una geodesica
cerrada simple, que divide a S en regiones R1 , R2 . Probar que las ima-
genes de R1 , R2 en la esfera bajo el vector normal a S tienen igual area.
2 = 2(S2 )
ZZ Z
= K d +
|{z} g ds
|{z}
A 1 A1 0
1
ZZ
=
d = Area (A1 )
A1
124 Captulo 4. El Teorema de Gauss-Bonnet
Area
(A1 ) = Area (A2 )
(a) Un elipsoide.
(b) La superficie S = {(x, y, z) R3 | x2 + y 10 + z 6 = 1}.
(i) x2 y 2 + z 4 = 1;
(ii) x2 + y 2 + z 4 = 1.
Soluci on: Ambas supercies son cerradas debido a que son de la for-
ma f (0) donde f : R3 R es una funcion continua. La superficie (i)
1
x
Geometra Diferencial - Rodrigo Vargas 125
P2
b
b
P4
P1 b
b
P6
b
P3 b
P5
x
rotada al rededor del eje x. Sean Pn los puntos en que tienen vector
tangente paralelo al eje x. Entonces, sobre S, los puntos Pn generan
geodesicas cerradas n cuyo largo tiende a cero.
(b) Supongase que S es una superficie compacta. Si existe una sucesion
de geodesicas n tales que el largo `(n ) 0 cuando n , en-
tonces por el Teorema de Gauss-Bonnet para superficies compactas
obtenemos
ZZ
Kd = 2(n ) (4.1)
n
4.12 Sea (r(s), 0, z(s)) una curva arcoparametrizada en R3 con r(s) > 0.
Considere la superficie de revolucion
(s, ) (r(s) cos , r(s) sen , z(s))
126 Captulo 4. El Teorema de Gauss-Bonnet
Sobre esta superficie calcule la derivada covariante s y en
terminos de y .
s
4.13 Sea
!
1 1 3
(t) = cos(t), sen(t), , 0 t < 2
2 2 2
una curva sobre S 2 . Sea X0 = T( 1 ,0, 3 ) S 2 . Calcule el transporte
x2 2 2
p
w0
0
s=0
t(s)
w0
w(s)
128 Captulo 4. El Teorema de Gauss-Bonnet
Superficies Completas.
Teorema de Hopf-Rinow
Definici
on 5.1.
El mapeo exponencial expp : B (0p ) S es definida por
expp (w)
~ = w/k
~ wk~ (kwk)
~ .
Definicion 5.2.
Una superficie regular S es completa si para cada punto p S, cualquier
geodesica parametrizada : [0, ) S, que comience en p = (0), puede
prolongarse a una geodesica parametrizada : R S, definida en toda la
recta real R.
Proposicion 5.1.
Una superficie cerrada S R3 es completa.
131
132 Captulo 5. Teorema de Hopf-Rinow
Definici
on 5.3.
La distancia d(p, q) es definida por
d(p, q) = nf `(p,q ) ,
b q
b
p b
(s0 )
5.2. Sea S una superficie completa. Demuestre que para cada p S la apli-
cacion expp : Tp S S es sobreyectiva.
v Tp S
rv
0 b
expp
0 (0)
p b
b
q
S
5.3. Sea S una superficie completa. Suponga que existe r > 0 tal que
d(p.q) < r para todo p, q S. Demuestre que S es compacta.
5.4. Decimos que una sucesion {pn } n=1 de puntos de una superficie S con-
verge a un punto p0 S en la distancia (intrinsica) d si, dado > 0,
existe n0 N tal que si n n0 implica que d(pn , po ) < . Demuestre
que una sucesion de puntos {pn } n=1 S converge a p0 S en d si y
solo si {pn } on de puntos en R3 (es
n=1 converge a p0 como una sucesi
decir, en la distancia euclideana).
134 Captulo 5. Teorema de Hopf-Rinow
Soluci
on:
Dado > 0 existe n0 N tal que
Para m N fijo con m > n0 , sea : [a, b] S una curva tal que
(a) = p0 y (b) = pm entonces se sabe que
Z b
kpm p0 k k(a) (b)k k0 (t)kdt
a
tomando infimo sobre todas las curvas que unen pm con p0 obtenemos
que
kpm p0 k d(pm , p0 ) <
para cada m > n0 . Por lo tanto, {pn }
n=1 converge a p0 como una suce-
3
sion de puntos en R .
Solucion:
Sea una geodesica con k 0 k = 1. Suponga que S no es completa,
esto es, que esta definida para todo s < s0 pero no para s = s0 . Sea
Geometra Diferencial - Rodrigo Vargas 135
{sn }
n=1 sucesi
on tal que lm sn = s0 , por ser una sucesion convergente
n
ella es de Cauchy entonces dado > 0 existe n0 N tal que
|sn sm | < , n, m n0 .
Entonces,
Z sm
d((sn ), (sm )) = k 0 (t)kdt = |sn sm | < .
sn
Tp0 S
expp0 (B (0))
exp1
p0 ((sm ))
b
(sm )
b
b
0
p0 b
expp0 b
b
(sn )
exp1
p0 ((sn ))
Haciendo m vemos que el rayo que une 0 con el punto exp1 p0 ((sn ))
1
coincide con la curva (s) = expp0 ((s)), por lo tanto puede prolon-
garse hasta p0 , lo que constituye una contradiccion.
d(pn , pm ) < , n, m n0 .
Luego, {(pn )}
n=1 M es de Cauchy con respecto a dM . Como M
es completa entonces existe (po ) M tal que lm (pn ) = p0 , por
n
ser 1 continua tenemos que lm pn = p0 S. Por lo tanto, S es
n
completa.
5.7. Sean S una superficie completa y M una superficie conexa tal que para
todo par de puntos de M se pueden unir por una u nica geodesica. Sea
: S M una isometra local. Demuestre que es una isometra
global.
Geometra Diferencial - Rodrigo Vargas 137
lm (pn ) = p
/ (S) .
n
139