Apuntes de Geometria Diferencial1

PONTIFICIA UNIVERSIDAD CATOLICA DE CHILE
GEOMETR
IA 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-
tar a 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 supercies de Manfredo do Carmo que trata de la
misma materia con un enfoque m as amplio.
La parte mas importante de este libro son sus problemas resueltos, que
sirven para jar 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
s olo 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
Ponticia 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. Supercies 53
2.1. La Primera Forma Fundamental . . . . . . . . . . . . . . . . . 54
2.2. La Segunda Forma Fundamental . . . . . . . . . . . . . . . . . 55
3. Curvatura de Supercies 75
3.1. La Curvatura de Curvas sobre una Supercie . . . . . . . . . . 75
3.2. Las Curvaturas Media y Gaussiana . . . . . . . . . . . . . . . 78
3.3. Geodesicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78
3.4. El Teorema Egregio de Gauss . . . . . . . . . . . . . . . . . . 79
4. El Teorema de Gauss-Bonnet 115
5. Supercies Completas. Teorema de Hopf-Rinow 131
v
vi
Captulo 1
Curvas
1.1. Teora Local de Curvas
Denicion 1.1.
Una curva parametrizada diferenciable es una aplicacion diferenciable :
(a, b) R
3
.
Denicion 1.2.
Una curva parametrizada diferenciable : (a, b) R
3
se denomina regular
si
(t) = 0 para todo t I.

Denicion 1.3.
Dado t (a, b), la longitud de arco de una curva parametrizada regular
: (a, b) R
3
, desde el punto t
0
, es por denicion:
s(t) =
_
t
t
0
(t)dt .
Denicion 1.4.
Una curva parametrizada : (a, b) R
3
es llamada arco-parametrizada o
de rapidez uno si
(t) es un vector unitario para todo t (a, b), esto es,
(t) = 1.
Denicion 1.5.
Sea : (a, b) R
3
una curva parametrizada por longitud de arco s I. El
n umero
(s) = (s) se denomina la curvatura de en s.

1
2 Captulo 1. Curvas
En puntos donde (s) = 0, esta bien denido un vector unitario n(s)
en la direccion
(s) mediante la ecuacion
(s) = (s)n(s). Mas a un,
(s) es normal a
(s), pues diferenciando
(s),
(s) = 1 obtenemos
(s),
(s) = 0. As, n(s) es normal a
(s) y se denomina el vector nor-

mal en s. El plano determinado por los vectores unitarios tangente y normal,
(s) y n(s), se denomina el plano osculador en s.

Denotaremos por t(s) =
(s) al vector unitario tangente de en s. Por

tanto, t
(s) = (s)n(s).
El vector unitario b(s) = t(s) n(s) es normal al plano osculador y lo
llamaremos el vector binormal en s.
Denicion 1.6.
Sea : (a, b) R
3
una curva parametrizada por lo longitud de arco s tal
que
(s) = 0, s (a, b). El n umero (s) denido por b
(s) = (s)n(s) se
denomina la torsion de en s.
Teorema 1.1.
Sea una curva arco-parametrizada con curvatura nunca nula. Entonces,
t
= n
n
= t +b
b
= n .
(1.1)
Las ecuaciones en (1.1) son llamadas las ecuaciones de Frenet-Serret.
Teorema 1.2 (Teorema Fundamental de la Teora Local de Curvas).
Dadas las funciones diferenciables (s) > 0 y (s), s (a, b), existe una
curva parametrizada regular : (a, b) R
3
tal que s es la longitud de arco,
(s) es la curvatura, y (s) es la torsi on de . Ademas, cualquier otra curva
, satisfaciendo las mismas condiciones diere de en un movimiento rgido;
esto es, existe una aplicaci on lineal ortogonal de R
3
, con determinante
positivo, y un vector v tal que = +v.
Geometra Diferencial - Rodrigo Vargas 3
1.2. Propiedades Globales de las curvas pla-
nas
Denicion 1.7.
Una curva plana cerrada es una curva parametrizada regular : [a, b] R
2
tal que y todas sus derivadas coinciden en a y en b; es decir,
(s) = (b) ,
(a) =
(b) ,
(a) =
(b) , . . . .
Denicion 1.8.
La curva es simple si carece de otras autointersecciones; o sea, si t
1
, t
2
[a, b],
t
1
= t
2
, entonces (t
1
) = (t
2
).
Teorema 1.3 (La desigualdad Isoperimetrica).
Sea una curva cerrada, simple y plana de longitud , y sea A el area de la
region encerrada por . Entonces
A
1
4
2
y la igualdad se da si solo si es un crculo.
Denicion 1.9.
Un vertice de una curba regular plana : [a, b] R
2
es un punto t [a, b]
en donde
(t) = 0.
Denicion 1.10.
Una curva regular plana (no necesariamente cerrada) : [a, b] R
2
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.
Teorema 1.4 (Teorema de los cuatro vertices).
Una curva simple, cerrada y convexa tiene al menos cuatro vertices.
1.3. Problemas Resueltos
1.1. Hallar una parametrizacion de la curva que es la interseccion de un ci-
lindro circular de radio
1
2
en la direccion del eje z y la esfera de radio 1
4 Captulo 1. Curvas
y centro (
1
2
, 0, 0).
Solucion: Un punto (x, y, z) esta en el cilindro si
x
2
+y
2
=
1
4
(1.2)
y en la esfera si
_
x +
1
2
_
2
+y
2
+z
2
= 1 . (1.3)
Se observa de la ecuacion (4) que, 1 z 1, sea entonces z = sin t.
Ahora, haciendo (4) (3) obtenemos:
x +
1
4
+ sin
2
t =
3
4
x =
1
2
sin
2
t .
De la ecuacion (3) se tiene
y =
_
1
4
x
2
=
_
sin
2
t sin
4
t = sin
_
1 sin
2
t = sin t cos t .
Por lo tanto, : [, ] R
3
es dada por:
(t) =
_
1
2
sin
2
t, sin t cos t, sin t
_
.
1.2. Parametrizar la curva que se forma de un crculo sobre una hoja al
doblarse esta sobre un cilindro. Comprobar que el largo de la curva es
igual al del crculo.
Solucion: Sea : [0, a] [b/2, b/2] C dada por
(t, s) =
_
cos
2
a
t, sen
2
a
t, s
_
.
x
0
a
b
2
b
2
1
|
El crculo S
1
es dado por la ecuacion parametrica.
(x x
0
)
2
+y
2
= r
2
con 0 < 2|x
0
r| < a < b, parametriza por : [0, 2r] [0, a]
[b/2, b/2] denida por
(x) =
_
x
0
+r cos
x
r
, r sen
x
r
_
la curva que se forma del crculo sobre la hoja al doblarse sobre el
clindro esta parametrizada por
(t) = ( )(t)
=
_
x
0
+r cos
t
s
, r sen
t
r
_
=
_
cos
2
a
_
x
0
+r cos
t
r
_
, sen
2
a
_
x
0
+r cos
t
r
_
, r sen
t
r
_
.
Si (t) = (
1
(t),
2
(t),
3
(t)) entonces
1
(t) = sen
_
2
a
_
x
0
+r cos
_
t
r
___
sen t ,
2
(t) = cos
_
2
a
_
x
0
+r cos
_
t
r
___
sen t ,
3
(t) = cos t .
Se comprueba sin mayor dicultad que
(t) = 1 entonces el largo de

la curva es
s
=
_
2r
0
(t)dt =
_
2r
0
dt = 2r = s
.
6 Captulo 1. Curvas
1.3. Determine una parametrizacion de la curva sobre la esfera unitaria que
corta cada meridiano en un angulo constante .
Solucion: Consideremos la proyeccion de Mercador. Para cada p
M = S
2
{(0, 0, 1), (0, 0, 1)}, se considera la recta L que pasa por
p y que, siendo perpendicular al eje z, corta al eje z en un punto q y
contiene a p. Por denicion (p) = c = {(x, y, z) R
3
: x
2
+y
2
= 1}L.
z
q p
(p)
L
Haciendo algunas cuentas se obtiene
(x, y, z) =
_
x
_
x
2
+y
2
,
y
_
x
2
+y
2
, z
_
,
1
(x, y, z) =
_
x
1 z
2
_
x
2
+y
2
,
y
1 z
2
_
x
2
+y
2
, z
_
.
Note que los meridianos son llevados mediante la proyeccion de Merca-
dor a segmentos de rectas contenidas en C y paralelas al eje z. Ahora,
considere : [0, 1] [1, 1] C dada por (t, s) = (cos 2t, sen 2t, s),
entonces las rectas verticales x = a [0, 1] son llevadas por f =
1
a los meridianos en la esfera unitaria.


1 1
1
x=a
1
(x=a)
1
(x=a)
Una curva que corta cada meriadiano en un angulo constante es la
imagen mediante f de un segmento de recta con pendiente
y = x + , , R, 0 x 1
entonces
(t) = f(t, t + ) =
1
((t, t + )) =
1
(cos 2t, sen 2t, t + )
=
_
cos 2t
_
1 (t + )
2
_
(cos 2t)
2
+ (sen 2t)
2
,
sen 2t
_
1 (t + )
2
_
(cos 2t)
2
+ (sen 2t)
2
, t +
_
= (cos 2t
_
1 (t + )
2
, sen 2t
_
1 (t + )
2
, t + )
donde es una curva sobre la esfera unitaria que corta a cada meriadia-
no en un angulo constante .
1.4. Sea : I R
n
una curva regular, v R
n
un vector jo y suponga
que
(t) es ortogonal a v para todo t I y (0) es ortogonal a v.

Demuestre que (t) es ortogonal a v para todo t I.
Solucion: Sabemos que, si f, g : I R
n
son curvas diferenciables,
entonces
d
dt
f(t), g(t) = f
(t), g(t) +f(t), g
(t)
por ser
(t) ortogonal a v, se tiene que
(t), v = 0 para todo t I y

como v es un vector jo, entonces (t), v
= 0 para todo t I. Luego,

d
dt
(t), v =
(t), v +(t), v
= 0 .
8 Captulo 1. Curvas
Se concluye que (t), v = c = constante para todo t I, por ser (0)
ortogonal a v, entonces (0), v = 0. Por lo tanto,
(t), v = 0, t I ;
es decir, (t) es ortogonal a v para todo t I.
1.5. Sea : I R
n
una curva regular. Demostrar que (t) es constante
no nula si y solo si (t) es ortogonal a
(t) para todo t I.

Solucion: Si f : I R
n
es una curva diferenciable entonces
d
dt
f(t) =
f(t), f
(t)
f(t)
, si f(t) = 0 . (1.4)
En efecto, si f(t) = (f
1
(t), ..., f
n
(t)) luego f(t) =
_
n
i=1
(f
i
(t))
2
_
1/2
y
obtenemos
d
dt
f(t) =
1
2
_
n
i=1
(f
i
(t))
2
_1
2
1
_
2
n
i=1
f
i
(t)f
i
(t)
_
=
n
i=1
f
i
(t)f
i
(t)
_
n
i=1
(f
i
(t))
2
_
1/2
=
f(t), f
(t)
f(t)
,
siempre que f(t) = 0. Por otro lado,
Si (t) = cte = 0
d
dt
(t) = 0
(t),
(t)
(t)
= 0
(t),
(t) = 0
(t) es ortogonal a
(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
es perpendicular al segmento lineal a p.
Solucion: Usaremos la identidad (1.4) establecida en el problema an-
terior. Si (s
0
) p es un maximo o un mnimo entonces
d
ds
(s) p
s=s
0
= 0
(s
0
) p, t(s
0
)
(s
0
) p
= 0 .
Note que en nuestro caso (s
0
) p = 0. Luego, (s
0
) p, t(s
0
) = 0
es decir, la recta tangente a en s
0
es perpendicular al vector (s
0
) p
que esta en la direccion al segmento lineal a p.
1.7. Un disco circular de radio r en el plano xy rueda sin deslizar a lo largo
del eje x. La gura que describe un punto de la circunferencia del disco
se llama cicloide.
b
}c
x
y
(a) Obtengase una curva parametrizada : R R
2
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.
Solucion:
(a) Observe la gura de la cicloide. Cuando el crculo rueda sin resbalar
en un angulo , el centro del crculo es movido a (r, r). Notemos que
b = r sin y c = r cos . Entonces la parametrizacion es : R R
2
dada por
() = (r r sin , r r cos ) = r( sin , 1 cos )
10 Captulo 1. Curvas
(b) Tenemos que
() = r(1 cos , sen ) y
()
2
= 2r
2
(1 cos ).
Entonces, la longitud de arco de la cicloide correspondiente a una
rotacion completa del disco es
=
_
2
0
()d =
2r
_
2
0
1 cos d
= 2r
_
2
0
_
1 cos
2
d = 2r
_
2
0
sen
_
2
_
d = 8r .
1.8. Sea OA = 2a el diametro de un crculo S
1
y sean OY y AV las tangentes
a S
1
en O y A, respectivamente. Una semi-recta r, que corta a S
1
en C
y a la recta AV en B, se traza desde O. Sobre OB se marca el segmento
Op = CB. Si rotamos r alrededor de O, el punto p describira una curva
denominada la cisoide de Diocles.
0
A 2a
x
y
V
r
B
C
p
Tomando OA como eje x y OY como eje y, demostrar que:

(a) La traza de
(t) =
_
2at
2
1 +t
2
,
2at
3
1 +t
2
_
, t R,
es la cisoide de Diocles.
(b) El origen (0, 0) es un punto singular de la cisoide.
(c) Cuando t , (t) se aproxima a la recta x = 2a, y
(t)
(0, 2a). As, cuando t , la curva y su tangente se aproximan a
la recta x = 2a; decimos entonces que x = 2a es una asntota de la
cisoide.
Solucion:
(a) La ecuacion del crculo S
1
es
(x a)
2
+y
2
= a
2
. (1.5)
La ecuacion de la semi-recta r es
y = (tan) x . (1.6)
El punto C es la interseccion de la recta con el crculo S
1
, para
hallar sus coordenadas reemplazamos (1.6) en (1.5) y obtenemos
(x a)
2
+ ((tan) x)
2
= a
2
x
2
2ax +a
2
+ tan
2
x
2
= a
2
x
2
(1 + tan
2
) = 2ax
x(1 + tan
2
) = 2a, x = 0
x =
2a
1 + tan
2
.
Luego, las coordenadas del punto C son
C =
_
2a
1 + tan
2
,
2a tan
1 + tan
2
_
.
Las coordenadas del punto B, son facilmente deducibles a partir
de la gura, B = (2a, 2a tan). Notemos que p = B C haciendo
cuentas obtenemos:
p = B C =
_
2a
2a
1 + tan
2
, 2a tan
2a tan
1 + tan
2
_
=
_
2a + 2a tan
2
2a
1 + tan
2
,
2a tan + 2a tan
3
2a tan
1 + tan
2
_
=
_
2a tan
2
1 + tan
2
,
2a tan
3
1 + tan
2
_
.
Tomando t = tan obtenemos nalmente
(t) =
_
2at
2
1 +t
2
,
2at
3
1 +t
2
_
, t R .
(b) Notemos que
(t) =
_
4at(1 +t
2
) 2at
2
(2t)
(1 +t
2
)
2
,
6at
2
(1 +t
2
) 2at
3
(2t)
(1 +t
2
)
2
_
=
_
4at
(1 +t
2
)
2
,
6at
2
+ 2at
4
(1 +t
2
)
2
_
y evidentemente
(0) = (0, 0) es un punto singular.

(c) Un simple calculo muestra que
lm
t
(t) =
_
lm
t
2at
2
1 +t
2
, lm
t
2at
3
1 +t
2
_
= (2a, ) .
Adem as
lm
t
(t) =
_
lm
t
4at
(1 +t
2
)
2
, lm
t
6at
2
+ 2at
4
(1 +t
2
)
2
_
= (0, 2a) .
1.9. Sea : (0, ) R
2
dada por
(t) =
_
sin t, cos t + log tan
t
2
_
donde t es el angulo que el eje y forma con el vector
(t). La traza de
se denomina la tractriz.
(t)
1
t
x
y
Demostrar que:
(a) es una curva parametrizada diferenciable, regular excepto en t =
/2.
(b) La longitud del segmento sobre la tangente a la tractriz entre el
punto de tangencia y el eje y es constante igual a 1.
Solucion:
(a) Notemos que
(t) =
_
cos t, sin t +
1
tan
t
2
1
cos
2
t
2
1
2
_
=
_
cos t, sin t +
1
2 sin
t
2
cos
t
2
_
=
_
cos t, sin t +
1
sin t
_
.
Si
(t) = 0 cos t = 0 y sin t +

1
sin t
= 0, entonces
sin t =
1
sin t
sin
2
t = 1
sin t = 1, t (0, )
t =

2
.
(b) Sean P = (x
0
, y
0
) el punto de tangencia de la recta tangente y
Q = (0, y
1
) el punto de interseccion de la recta tangente con el eje
y. Sean x = sin t, y = cos t + log tan
t
2
, entonces
dy
dx
=
1
sin t
sin t
cos t
=
1 sin
2
t
sin t cos t
=
cos t
sin t

dy
dx
=
1 x
2
x
.
Luego, la ecuacion de la lnea tangente a P es
y y
0
=
_
1 x
2
0
x
0
(x x
0
) .
Evaluando la recta en el punto Q obtenemos
y
1
y
0
=
_
1 x
2
0
x
0
(0 x
0
) =
_
1 x
2
0
.
Entonces
(dist(P, Q))
2
= x
2
0
+ (y
1
y
0
)
2
= x
2
0
+ 1 x
2
0
= 1 .
Por lo tanto, dist(P, Q) = 1.
1.10. Sea la curva parametrizada (t) = (ae
bt
cos t, ae
bt
sen t), t R, a y b
constantes, a > 0, b < 0.
(a) Demostrar que cuando t +, (t) se aproxima al origen O,
girando en espiral al rededor de el (por eso, la traza de es deno-
minada espiral logartmica; vease la gura).
(b) Demostrar que
(t) (0, 0) cuando t + y que:

lm
t+
_
t
t
0
(t)dt
es nita, o sea, tiene longitud de arco nita en [t
0
, +).
x
y
Solucion:
(a) Sabemos que lm
t+
e
bt
= 0 cuando b < 0 y como las funciones cos t
y sen t son acotadas podemos concluir que
lm
t+
e
bt
cos t = lm
t+
e
bt
sen t = 0
por lo que lm
t+
(t) = (0, 0).
(b) Tenemos que
(t) = (ae
bt
(b cos t sen t), ae
bt
(b sen t + cos t)) .
Entonces,
_
t
t
0
(t)dt =
_
t
t
0
ae
bt
[(b cos t sen t)
2
+ (b sen t + cos t)
2
]
1/2
dt
= a
_
t
t
0
e
bt
[b
2
+ 1]
1/2
dt
= a
b
2
+ 1
_
t
t
0
e
bt
dt
=
a
b
b
1
+ 1(e
bt
e
bt
0
)
por lo que
lm
t+
_
t
t
0
(t)dt = lm
t+
a
b
b
1
+ 1(e
bt
e
bt
0
) =
a
b
b
2
+ 1e
bt
0
,
esto es, tiene longitud de arco nita.
1.11. Sea : I R
3
una curva diferenciacble y sea [a, b] I un intervalo
cerrado. Para cada particion:
a = t
0
< t
1
< . . . < t
n
= b
de [a, b], considere la suma
n
i=1
|(t
i
) (t
i1
)| = l(, P), donde P
representa la particion dada. La norma |P| de la particion se deni por:
|P| = m ax(t
i
t
i1
) , i = 1, , n .
Geometricamente, l(, P) es la longitud de un polgono inscrito en
([a, b]) con vertices en (t
i
) (ver la gura). La intension del ejerci-
cio es demostrar que la longitud del arco ([a, b])es, en cierto sentido,
un lmite de longitudes de polgonos inscritos.
(t
n
)
(t
n1
)
(t
i
)
(t
0
)
(t
1
)
(t
2
)
Pruebese que dado un > 0 existe un > 0 tal que si |P| < entonces:
_
b
a
(t)dt l(, P)
< .
Solucion: Por la denicion de integral, dado > 0, existe un
1
> 0
tal que si |P| <
1
, entonces
__
b
a
(t)dt
_
(t
i
t
i1
)
(t
i
)
_
<

2
.
Por otro lado, como
es uniformemente continua en [a, b], dado > 0,

existe
2
> 0 tal que su t, s [a, b] con |t s| <
2
, entonces
(t)
(s) <

2
|a b| .
Tomando = mn{
1
,
2
}, entonces si |P| < , obtenemos, utilizando el
teorema del valor medio para funciones en varias variables,
(t
i1
) (t
i
)
(t
i1
t
i
)
(t
i
)
(t
i1
t
i
) sup
s
i
(s
i
)
(t
i1
t
i
)
(t
i
)
(t
i1
t
i
) sup
s
i
(s
i
)
(t
i
)

2
,
donde t
i1
s
i
t
i
. La desigualda requerida se deduce de lo anterior.
1.12. (a) Sea : I R
3
una curva de clase C
0
: Utilicese la aproximacion po-
ligonal descrita en el ejercicio 1.9 para dar una denicion razonable
de longitud de arco para .
(b) Una curva no recticable. El siguiente ejemplo demuestra que, con
cualquier denicion razonable, la longitud de arco de una curva C
0
es un intervalo cerrado podra no ser acotada. Sea : [0, 1] R
2
dada por
(t) =
_
(t, t sin(/t)) si t = 0
(0, 0) si t = 0
Demostrar, geometricamente, que la longitud de arco de la porcion
de curva correspondiente a
1
(n + 1)
t
1
n
es al menos 2/(n +
(1/2)). Utilcese esto para establecer que la longitud de la curva en
el intervalo
1
N
t 1 es mayor que 2
N
n=1
1
n + 1
, y por lo tanto,
tiende a innito cuando N .
Solucion:
(a) Tomando una particion del intervalo I, P = {t
0
, t
1
, ..., t
k
} I y
denimos la longitud de arco.
s(t) = lm
k
k
i=0
|(t
i
) (t
i1
)| .
(b) Para t sucesivamente igual a
2
2
,
2
3
,
2
4
,
2
5
,
2
6
, . . . ,
2
n + 1
y(t) = t sin(/t) asume los valores
0,
2
3
, 0,
2
5
, 0,
2
7
, 0, . . . , (1)
n
2
2n + 1
.
Por lo tanto, tomando la particion
P =
_
0,
2
k + 1
,
2
k
, . . . ,
1
3
,
2
5
,
1
2
2
3
, 1
_
Tenemos que:
l(p) =
k
i=1
|y(t
i
) y(t
i1
)|
=
2
3
+
2
3
+
2
5
+
2
5
+ +
2
k
+
2
k
= 2
_
1
3
+
1
3
+
1
5
+
1
5
+ +
1
k
+
1
k
_
2
_
1
3
+
1
4
+
1
5
+ +
1
k
+
1
k + 1
_
,
como s(t) l(p) y la serie armonica
i=1
1
i
diverge. Se concluye que
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.
a) Pruebe que si v es un vector unitario, entonces
(q p), v =
_
b
a
(t), vdt
_
b
a
(t)dt
b) Escogiendo v apropiado, deduzca que
(a) (b)
_
b
a
(t)dt ,
esto es, la curva de menor longitud desde (a) a (b) es la lnea
recta que une estos puntos.
Solucion:
(a) Armamos que si f, g : [a, b] R
n
son de clase C
1
entonces
_
b
a
f
(t), g(t)dt = f(t), g(t)
b
a
_
b
a
f(t), g
(t)dt
En efecto,
_
b
a
f
(t), g(t)dt =
_
b
a
n
i=1
f
i
(t)g
i
(t)dt
=
n
i=1
_
b
a
f
i
(t)g
i
(t)dt
=
n
i=1
_
f
i
(t)g
i
(t)
b
a
_
b
a
f
i
(t)g
i
(t)dt
_
=
n
i=1
f
i
(t)g
i
(t)
b
a
i=1
_
b
a
f
i
(t)g
i
(t)dt
= f(t), g(t)
b
a
_
b
a
n
i=1
f
i
(t)g
i
(t)dt
= f(t), g(t)
b
a
_
b
a
f(t), g
(t)dt .
Luego, tenemos que
_
b
a
(t), vdt = (t), v
b
a
_
b
a
(t), v
dt
= (b), v (a), v
= (b) (a), v
= (q p), v .
Por otro lado, notemos que
_
b
a
(t), vdt
_
b
a
(t), vdt
_
b
a
|
(t), v|dt
_
b
a
(t) vdt =
_
b
a
(t)dt .
La tercera de las desigualdades, no es mas que la famosa desigualdad
de Cauchy-Schwartz
(b) Tomando el vector v =
qp
qp
el cual es unitario de lo anterior
obtenemos
_
b
a
(t)dt (qp), v =
(q p), (q p)
q p
= qp = (a)(b).
1.14. Supongase que (I) R
2
y dotese de signo a como en el texto.
Transportese los vectores t(s) paralelamente as mismos de forma que
los orgenes de t(s) coinsidan con el origen de R
2
; los extremos de t(s)
describen entonces una curva parametrizada s t(s) denominada la
indicatriz de tangentes de . Sea (s) el angulo de e
1
a t(s) en la orien-
tacion de R
2
. Demostrar (a) y (b); notese que estamos admitiendo que
= 0.
(a) La indicatriz de tangentes es una curva parametrizada regular.
(b)
dt
ds
=
_
d
ds
_
n, o sea, =
d
ds
.
Solucion:
(a) Supongamos que, la indicatriz de tangentes es una curva parametri-
zada no regular, entonces existe s
0
I tal que t(s
0
) = 0, entonces
t
(s
0
) = 0 |
(s
0
)| = 0 (s
0
) = 0
lo cual es una contradiccion, pues estamos asumiendo que = 0.
(b) Sabemos que (s) = angulo(e
1
, t(s)). Podemos suponer sin perdida
de generalidad que : I R
2
es una curva parametrizada por
longitud de arco, es decir,
(t) = 1.
Si d es el angulo entre t(s + ) y t(s) entonces
|t(s + ) t(s)| = 2 sin
_
1
2
d
_
= d .
Luego,
= |t
(s)| =
lm
0
t(s + ) t(s)
= lm
0
|t(s + ) t(s)|
||
= lm
0
2 sin
_
1
2
d
_
||
= lm
0
d
||
= lm
0
angulo(e
1
, t(s + )) angulo(e
1
, t(s))
=
d
ds
.
1.15. Una curva parametrizada regular tiene la propiedad de que todas sus
rectas tangentes pasan por un punto jo.
(a) Probar que la traza de es (un segmento de) una recta.
(b) Se satisface todava la conclusion de (a) si no es regular?
Solucion:
(a) El vector velocidad
(t), cuando es diferente de cero, determina

una recta tangente de la curva en el punto (t), a saber:
L = {(t) +r
(t) : r R} .
Sea x
0
el punto jo tal que x
0
/ (I), entonces para cada t I
existe r(t) R tal que
x
0
= (t) +r(t)
(t) ,
derivando obtenemos
0 =
(t) +r
(t)
(t) +r(t)
(t) = (1 +r
(t))
(t) + r(t)
(t) .
Haciendo el producto interno con
(t) se obtiene
0 = (1 +r
(t))
(t) +r(t)
(t),
(t)
= (1 +r
(t))
(t),
(t) +r(t)
(t),
(t)
= (1 +r
(t))
(t),
(t) +r(t)
(t)
= (1 +r
(t))
(t),
(t) +r(t)(t)
= r(t)(t) ,
ya que si
(t) = 1
(t),
(t) = 1 2
(t),
(t) = 0
(t)
(t) .
En resumen hemos obtenido que
r(t)(t) = 0, t I .
Si r(t) = 0 entonces x
0
= (t) (I) lo cual es una contradiccion.
Por lo tanto, (t) = 0 para todo t I y es un segmento de recta.
(b) Si no es regular en alg un punto entonces en estos puntos no
esta bien denida una recta tangente.
1.16. Una traslacion por un vector v R
3
es la aplicacion A : R
3
R
3
dada por A(p) = p + v, p R
3
. Una aplicacion lineal : R
3
R
3
es
una transformacion ortogonal cuando u, v = u, v, u, v R
3
. Un
movimiento rgido en R
3
es el resultado de componer una traslacion y
una transformacion ortogonal con determinante positivo.
(a) Demostrar que la norma de un vector y el angulo entre dos vec-
tores, 0 , son invariantes frente a transformaciones ortogo-
nales con determinante positivo.
(b) Desmostrar que el producto vectorial de dos vectores es invarian-
te frente a transformaciones ortogonales con determinante positivo.
Es cierto a un la armacion si suprimimos la condicion determi-
nante positivo?
(c) Demuestrese que la longitud de arco de, la curvatura y la torsion
de una curva parametrizada (siempre que esten denidos) son in-
variantes frente a movimientos rgidos.
Solucion:
(a) Sea : R
3
R
3
una transformacion ortogonal entonces:
u
2
= u, u = u, u = u
2
u = u, u R
3
.
Tenemos que si u, v R
3
entonces
cos (u, v) =
u, v
uv
=
u, v
uv
= cos (u, v) .
(b) Tenemos que
u v = uv sin(u, v) z = uv sin(u, v) z = u v
donde z es el vector que resulta de la regla de la mano derecha.
Consideremos : R
3
R
3
dada por (x, y, z) = (x, y, z) luego
x, y = (x
1
, x
2
, x
3
), (y
1
, y
2
, y
3
)
= x
1
y
1
+x
2
y
2
+x
3
y
3
= x, y
y la representacion matricial de en la base canonica de R
3
es
[] =
_
_
_
1 0 0
0 1 0
0 0 1
_
_
_
det[] = 1
pero
u v = u v .
(c) Consideremos : R
3
R
3
dada por = A un movimiento
rgido. Sea P = {t
0
, t
1
, ..., t
n
} una particion de I R entonces
l() = lm
|P|0
P
(t
i
) (t
i1
)
= lm
|P|0
P
((t
i
) +v) ((t
i1
) +v)
= lm
|P|0
P
A(
i
) A((t
i1
))
= lm
|P|0
P
(A(
i
) A((t
i1
)))
= lm
|P|0
P
(A(
i
)) (A((t
i1
))) = l( ) .
Notemos que
(A )(t) = (t) +v, (A )
(t) =
(t), (A )
(t) =
(t) .
Adem as
d
dt
( ) =
,
d
2
dt
2
( ) =
.
Entonces
(t) =
|
(t)
(t)|
|
(t)|
3
=
|(A )
(t) (A )
(t)|
|(A )
(t)|
3
=
|((A )
(t)) ((A )
(t))|
|((A )
(t))|
3
=
|
d
dt
( A )(t)
d
2
dt
2
( A )(t)|
|
d
dt
( A )(t)|
3
=
|
d
dt
( )(t)
d
2
dt
2
( )(t)|
|
d
dt
( )(t)|
3
=
(t) .
De manera similar se obtiene que
(t) =
_
d
dt
( )
d
2
dt
2
( ),
d
3
dt
3
( )
_
d
dt
( )
d
2
dt
2
( )
2
=
(t) .
1.17. Sea : I R
2
una curva parametriza regular plana con curvatura
= (s) = 0. En esta situacion, la curva
(s) = (s) +
1
(s)
n(s) , t I
se denomina la evoluta de .
(a) Pruebe que la recta tangente a (s) coincide con la recta normal a
en (s).
(b) Considere las rectas normales a en puntos cercanos s
1
, s
2
, s
1
= s
2
.
Pruebe que cuando s
2
s
1
, los puntos de interseccion de dichas
normales converge a un punto sobre la curva .
Solucion:
(a) Supongamos que esta parametrizada por arco, basta observar que
(s) = t(s) +
_
n(s)
(s)
_
= t(s) +
n
(s)(s) n(s)
(s)
2
(s)
= t(s) +

2
(s)t(s) n(s)
(s)
2
(s)
=
(s)
2
(s)
n(s) = r(s)n(s) .
Se deduce que la recta tangente a coincide con la recta normal de
.
(b) Observe primero que
(s) (s) =
_
_
_
_
n(s)
(s)
_
_
_
_
=
1
|(s)|
las rectas normales en s
1
y s
2
son:
L
1
(r) = (s
1
) +rn(s
1
), L
2
(p) = (s
2
) +pn(s
2
) .
Los puntos de interseccion se obtendran si:
L
1
(r) = L
2
(p) (s
2
) (s
1
) = rn(s
1
) pn(s
2
)
(s
2
) (s
1
)
s
2
s
1
=
rn(s
1
) pn(s
2
)
s
2
s
1
.
Note que cuando s
2
s
1
r p. Entonces
(s
2
) = lm
s
2
s
1
(s
2
) (s
1
)
s
2
s
1
= lm
s
2
s
1
rn(s
1
) pn(s
2
)
s
2
s
1
= pn
(s
2
) .
Luego,
1 =
(s
2
),
(s
2
)
=
(s
2
), pn
(s
2
)
=
(s
2
), p(s
2
)
(s
2
)
= p(s
2
)
(s
2
),
(s
2
) = p(s
2
) .
Entonces (s
2
) =
1
p
.
1.18. Demuestre que el largo de arco de la evoluta de = (t) es u
0
s
(s)
,
donde u
0
es una constante.
Solucion: Supongamos que esta parametrizada por arcoparametro,
sabemos que la evoluta es dada por:
(s) = (s) +
1
(s)
n(s) .
Entonces
(s) = t(s)

(s)
2
(s)
n(s) +
1
(s)
((s)t(s)) =
(s)
2
(s)
n(s) .
Entonces, el largo de arco de la evoluta es
u(s) =
_
s
s
0
(t)dt =
_
s
s
0
(t)
2
(t)
dt =
1
(t)
s
s
0
= u
0
1
(s)
donde u
0
= 1/(s
0
) es una constante.
1.19. Demuestre que la evoluta del cicloide
(t) = a(t sin t, 1 cos t), 0 < t < 2,
donde a > 0 es una constante, es
(t) = a(t + sin t, 1 + cos t)
Solucion: Notemos que
(t) = a(1 cos t, sin t), entonces
(t) = a
_
(1 cos t)
2
+ sin
2
t
= a
_
1 2 cos t + cos
2
t + sin
2
t
= a
2 2 cos t
= 2a
_
1 cos t
2
= 2a sin(t/2) .
Entonces el vector tangente unitario es:
t =

(t)
(t)
=
a(1 cos t, sin t)
2a sin(t/2)
=
1
2
_
1 cos(t)
sin(t/2)
,
sin t
sin(t/2)
_
=
1
2
_
2 sin
2
(t/2)
sin(t/2)
,
2 sin(t/2) cos(t/2)
sin(t/2)
_
= (sin(t/2), cos(t/2)) .
Luego, el vector normal unitario es n = (cos(t/2), sin(t/2)) y adem as
(t) = a(sin t, cos t), entonces la curvatura es:

(t) =
a
2
((1 cos t) cos t sin
2
t)
(t)
3
=
a
2
(cos t cos
2
t sin
2
t)
(2a sin(t/2))
3
=
a
2
(cos t 1)
8a
3
sin
3
(t/2)
=
cos
2
(t/2) sin
2
(t/2) 1
8a sin
3
(t/2)
=
2 sin
2
(t/2)
8a sin
3
(t/2)
=
1
4a sin(t/2)
.
Por lo tanto, la evoluta es:
(t) = a(t sin t, 1 cos t) (4a sin(t/2))(cos(t/2), sin(t/2))
= a(t + sin t, 1 + cos t) .
Observe que cuando reparametrizamos por

t = t+ obtenemos la curva
a(
t sin
t, 1 cos
t) +a(, 2)
que es una traslacion de la curva original.
1.20. La traza de la curva parametrizada
(t) = (t, cosh t), t R ,
se denomina catenaria
(a) Demostrar que la curvatura con signo de la catenaria es (t) =
1
cosh
2
t
.
(b) Demostrar que la evoluta de la catenaria es
(t) = (t sinh t cosh t, 2 cosh t) .
Solucion:
(a) Tenemos que
(t) = (1, sinh t),
(t) = (0, cosh t) .

Sabemos que si : I R
2
es una curva plana con (t) = (x(t), y(t))
entonces la curvatura con signo de en t es
(t) =
x
((x
)
2
+ (y
)
2
)
3/2
.
Entonces
(t) =
cosh t
(1 + sinh t)
3/2
=
cosh t
(cosh
2
t)
3/2
=
1
cosh
2
t
.
(b) Sabemos que la evoluta esta dada por
(t) = (t) +
1
(t)
n(t), t I .
Basta hallar el vector normal n(t), el cual debe satisfacer
n(t)
(t) y n(t) = 1 .
Si (t) = (
1
(t),
2
(t)), basta considerar
n(t) =
(
2
(t),
1
(t))
(t)
entonces
n(t) =
(sinh t, 1)
_
sinh
2
t + 1
=
_
sinh t
cosh t
,
1
cosh t
_
.
Por lo tanto,
(t) = (t) +
1
(t)
n(t)
= (t, cosh t) + cosh
2
t
_
sinh t
cosh t
,
1
cosh t
_
= (t, cosh t) + (sinh t cosh t, cosh t)
= (t sinh t cosh t, 2 cosht) .
1.21. Sea : I R
3
una curva parametrizada regular (no necesariamente
por longitud de arco) y sea : J R
3
una reparametrizacion de (I)
por longitud de arco s = s(t), medida desde t
0
I. Sea t = t(s) la
funcion inversa de s y defnanse
d
dt
=
,
d
2
dt
2
=
, etc. Demostrar las

siguientes armaciones
(a)
dt
ds
=
1
,
d
2
t
ds
2
=
3
.
(b) La curvatura de en t I es
(t) =

3
.
(c) Si : I R
2
es una curva plana (t) = (x(t), y(t)) la curvatura
con signo de en t
(t) =
x
((x
)
2
+ (y
)
2
)3/2
.
Solucion:
(a) Notemos que si = t entonces
(s) =
(t(s))t
(s)
1 =
(s) =
(t(s))t
(s) = t
(s)
(t(s))
dt
ds
= t
(s) =
1
(t(s))
=
1
.
Entonces
d
2
t
ds
2
=
dt
2
=
2
=
3
.
(b) Tenemos que
= ( t)t
= (
t)(t
)
2
+ (
t)t
.
Sabemos que
b(s) = t(s) n(s) ,
(s)b(s) = t(s) (s)n(s) ,
(s)b(s) = t(s) t
(s) .
Entonces,
(s) = (s)
(s)
= {(
(t(s))t
(s)} {
(t(s))(t
(s))
2
+
(t(s))t
(s)}
= (t
(s))
3
{
(t(s))
(t(s))} +t
(s)t
(s){
(t(s))
(t(s))}
= (t
(s))
3
(t(s))
(t(s))
=

(t(s))
(t(s))
(t(s))
3
.
Por lo tanto, se tiene que:
(t) =

3
.
(c) Notemos que n(s) = (
2
(s),
1
(s))
= n
_

1
(s) = (s)
2
(s)
2
(s) = (s)
1
(s)
2
= (
2
)
2
1
= (
1
)
2
Sumando ambas expresiones se obtiene:
=
2
como = t
= (
t)t
, es decir,
_

1
(s) =
1
(t(s))t
(s)
2
(s) =
2
(t(s))t
(s)
y ademas
_

1
(s) = (
1
(t(s)))(t
(s))
2
+
1
(t(s))t
(s)
2
(s) = (
2
(t(s)))(t
(s))
2
+
2
(t(s))t
(s)
Luego,
= {(
2
t)(t)
2
+ (
2
t)t
}{(
1
t)t
}
{(
1
t)(t)
2
+ (
1
t)t
}{(
2
t)t
}
= {
2
(t(s))
1
(t(s))
1
(t(s))
2
(t(s))}(t
(s))
3
=
{
2
(t(s))
1
(t(s))
1
(t(s))
2
(t(s))}
{(
1
(t(s)))
2
+ (
2
(t(s)))
2
}
3/2
.
1.22. Probar que si esta contenida en una esfera de radio r entonces su
curvatura satisface (s) 1/r.
Solucion: Supongamos que esta arcoparametrizada. Si est a en
una esfera de centro en a y radio r entonces
(s) a
2
= r
2
.
Derivando esta ecuacion obtenemos:
t, a = 0
volviendo a derivar y usando las ecuaciones de Frenet obtenemos
t
, a +t, t = 0 n, a + t
2
..
1
= 0 .
Entonces, n, a = 1. Como 0 y usando la desigualdad de
Cauchy-Schwartz obtenemos
1 = |(s)| |n(s), (s) a| |(s)| n(s)(s) a = (s)r .
Por lo tanto, (s) 1/r.
1.23. Sean r > 0 y : R R
2
una parametrizacion por longitud de arco tal
que el trazo de esta contenida en el disco cerrado de centro el origen
y radio r, cuya curvatura cumple que
|(s)|
1
r
.
para cada s R. Demostrar que la curva es un arco de circunferencia
de centro el origen y radio r.
Solucion: Denotamos por
D
r
= {z R
2
: z r} .
Armacion: Si
(s
0
) <
1
r
entonces (s) R
2
\ D
r
para todo 0 <
|s s
0
| < .
En efecto, basta considerar la funcion
(s) = (s) p
2
donde p = (s
0
) +rn(s
0
), entonces

(s) = 2t(s), (s) p

(s) = 2t
(s), (s) p + 2t(s), t(s) = 2(s)n(s), (s) p + 2 .

Luego, evaluando en s = s
0
obtenemos
(s
0
) = (s
0
) (s
0
) rn(s
o
)
2
= r
2
n(s
0
) = r
2

(s
0
) = 2t(s
0
), rn(s
0
) = 2rt(s
0
), n(s
0
) = 0
1
2

(s
0
) = (s
0
)n(s
0
), rn(s
0
) + 1 = 1 r(s
0
) .
Note que

(s
0
) > 0 si (s
0
) < 1/r.
Entonces, el desarrollo de Taylor de en un entorno de s = s
0
satisface
(s) = (s
0
) +

(s
0
)(s s
0
) +

(s
0
)
(s s
0
)
2
2
+R
= r
2
+ (1 r(s
0
))
(s s
0
)
2
4
+R > r
2
para 0 < |s s
0
| < , lo cual implica que (s) R
2
\ D
r
para todo
0 < |s s
0
| < .
Ahora, por otro lado si (s) D
r
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 suciente para que una curva
: I R
3
este sobre una esfera es que
=
_

.
Solucion:
Si : I R
3
est a en una esfera de centro en a y radio r entonces
a
2
= r
2
, es decir, a, a = r
2
.
Derivando obtenemos
t, a = 0 . (1.7)
Derivando (1.7) y usando las ecuaciones de Frenet-Serret obtenemos:
t
, a +t, t = 0 n, a +t
2
= 0
n, a + 1 = 0
n, a =
1
. (1.8)
Derivando (3.8) y usando la perpendicularidad del triedro de Frenet
obtenemos:
n
, a +n, t
. .
0
=

2
t + b, a =

2
t, a
. .
0
+b, a =

2
b, a =

.
El termino que es cero es debido a la ecuacion (1.7), derivando la ultima
igualdad obtenemos:
n, a +b, t
..
0
=
_

n, a =
_

.
Reemplazando (3.8) en la ultima igualdad se obtiene lo pedido
=
_

.
Sean = 1/ y = 1/ entonces nuestra hipotesis es equivalente
a:
= (
.
Usando esta informacion note que
(
2
+ (
)
2
)
= 2
+ 2(
)(
= 0 .
Luego,
2
+(
)
2
es igual a una constante, digamos a r
2
. Consideremos
a = + n +
b, entonces
a
= t +
n + (t + b) + (
(n) = 0 .
Luego, a es constante y
a
2
=
2
+ (
)
2
= r
2
,
es decir, esta contenida en una esfera de centro en a y radio r.
1.25. Probar que si todos los planos normales a una curva pasan por un punto
jo entonces la curva esta contenida en una esfera.
Solucion: La ecuacion del plano normal en (t) es y , t = 0.
Si a es el punto jo, entonces
a y, t = 0 . (1.9)
Derivando y usando Frenet-Serret obtenemos
t, t +a , t
= 0 t
2
+a , n = 0
a , n =
1
. (1.10)
Derivando nuevamente y usando Frenet-Serret
t, n +a , n
2
a , t + b =

2
a , t + a , b =

2
. (1.11)
Si (1.9) en (1.11) obtenemos a , b =

, derivando y usando
Frenet-Serret
a, n =
_

. (1.12)
Si (1.10) en (1.12) resulta
=
_

_
por problema anterior se tiene que esta contenida en una esfera.
1.26. Demuestrese que el conocimiento de la funcion vectorial b = b(s), el
vector binormal, de una curva , cuya torsion nunca es nula, determina
la curvatura (s) y el valor absoluto de la torsion (s) de .
Solucion: Como se conoce b(s) , entonces se conoce b
(s) = (s)n(s)
lo que implica que |(s)| = b
(s). De lo anterior se deduce que salvo

el signo podemos determinar el vector tangente mediante
t(s) = n(s) b(s)
como siempre (s) > 0 y usando la ecuacion de Frenet-Serret t
(s) =
(s) n(s) obtenemos que:
(s) = |(s)| = |(s)|n(s) = (s) n(s) = t
(s) .
1.27. Sea (s) una curva en R
3
con arco-parametro y torsion constante . Si
{T
, N
, B
} es su triedro movil se dene una nueva curva por

(t) =
1
(t) +
_
t
0
B
(s)ds .
Calcular la curvatura y la torsion de .
Solucion: Derivando y usando las ecuaciones de Frenet-Serret obte-
nemos
=
1
+B
=
1
(T
+ B
) +B
+

2
+
2
+
2
B
+
3
+
2
B
entonces
=

3
2
B
3
=

3
3
=
y as
=

5
2
=

2
.
1.28. Sea : I R la funcion curvatura de la parametrizacion por longitud
de arco . Probar la igualdad:
(s),
(s) = 3(s)
(s)
Solucion: Usaremos las ecuaciones de Frenet-Serret y una especie de
derivada por partes para el producto interno.
=
d
ds
=
d
ds
t, t
, t
=
d
ds
t, (n)
n, (n)
=
d
ds
t,
n + n
n,
n + n
=
d
ds
{
t, n
. .
0
+t, n
n, n
. .
1
+n, n
=
d
ds
{t, t + b}
+ n, t + b
=
d
ds
{
2
t, t
..
1
+ t, b
..
0
}
2
n, t
. .
0
+ n, b
. .
0
=
d
ds
{
2
}
= 2
= 3
.
1.29. Encontrar todas las funciones f(t) tales que
(t) = (cos t, sen t, f(t))
sea una curva plana.
Solucion: Sabemos que la curvatura de una curva : [a, b] R
3
esta dada por
(t) =
(
),
2
ademas, una curva es plana si y solo si (t) = 0 para todo t [a, b].
Ahora bien, tenemos que
= (sen t, cos t, f
= (cos t, sen t, f
= (sen t, cos t, f
= (cos tf
+ sen tf
, sen tf
cos tf
, 1)
= f
+f
= 0 f
= f
Por lo tanto, f(t) = cos t + sen t + con , , R.

1.30. Determine la curva plana que tiene (s) =
1
s
.
Solucion: Consideremos (s) =
_
s
0
(u)du y
(s) =
__
s
0
cos (t)dt,
_
s
0
sen (t)dt
_
entonces t(s) = (cos (s), sen (s)) y n(s) = (sen (s), cos (s)). Se
verica que
(s) =
(s)(sen (s), cos (s)) = (s) n(s) .

Calculando obtenemos que
(s) =
_
s
0
u
1/2
du = 2
u .
Por lo tanto,
(s) =
__
s
0
cos(2
t)dt,
_
s
0
sen(2
t)dt
_
= (cos(2
s) + 2
s sen(s
2), sen(2
s) 2
s cos(2
s)) + (1, 0) .
1.31. Considere la curva
(s) =
_
a cos
_
s
a
2
+b
2
_
, a sin
_
s
a
2
+b
2
_
, b
s
a
2
+b
2
_
.
Hallar la curvatura y la torsion.
Solucion: Denotemos por =
1
a
2
+b
2
, entonces
(s) = (a sin s, a cos s, b)

Note que
(s) = 1 entonces t =
(s) y
t
= (a
2
cos s, a
2
sin s, 0) = (s) n(s)
La ultima 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
b(s) = t n = (b sin s, b cos s, a)
Entonces,
b
(s) = (b
2
cos s, b
2
sin s, 0) = (s) n(s)
La ultima igualdad se debe a las ecuaciones de Frenet-Serret. Por lo
tanto, (s) = b
2
.
1.32. Sea una curva cuyas funciones curvatura y torsion no se anulan. Se
dice que es una helice de eje el vector unitario y angulo si los vectores
tangentes a forman un angulo con .
(a) Probar que en tal caso el vector es combinacion lineal de t y b;
calcular los coecientes de dicha combinacion lineal.
(b) Probar que es una helice si y solo si el cociente / es una funcion
constante.
Solucion:
(a) Se tiene que
t, = cos = constante
entonces derivando y usando las ecuaciones de Frenet-Serret obte-
nemos
0 = t
, = n, = n, n, = 0
lo que implica que = t + b y luego
n, = cos t, t +t, b = cos
t
2
..
1
+ t, b
..
0
= cos = cos
por otro lado, tenemos que
1 =
2
= t+b, t+b =
2
t
2
+
2
b
2
=
2
+
2
= sen .
Por lo tanto, = cos t + sen b.
(b) Si es helice entonces = cos t + sen b entonces derivando y
usando las ecuaciones de Frenet-Serret obtenemos
0 = cos t
+ sen b
= ncos nsen .
Luego, haciendo el producto punto del vector normal con el vector
cero obtenemos
0 = n, 0 = n, ncos nsen
= cos n
2
sen n
2
entonces

= tan =constante.
Recprocamente, si

= constante = tan =
sen
cos
entonces
0 = cos sen
= cos n, n sen n, n
= ncos nsen , n
= (t cos +b sen )
, n
lo que implica (t cos +b sen )
= 0 entonces t cos +b sen =constante=

a por lo tanto,
t, a = cos = constante .
1.33. Sea una curva plana parametrizada por largo de arco tal que para
todo s el angulo entre t(s) y (s) es (jo). Demuestre
(a) Si = 0 entonces la traza de esta contenida en una recta.
(b) Si =

2
, entonces la traza de esta contenido en un crculo.
(c) Si 0 < <

2
, entonces la traza de esta contenido en una espiral
logartmica.
Solucion:
(a) Sabemos que cos =
t,
t
. Si = 0 entonces
t,
t
= 1. Se
concluye que = rt con r = 0, derivando obtenemos
t = r
t +rt
= r
t +rn .
Haciendo el producto interno con n
0 = t, n = r
t, n +rn, n = r 0 .
(b) Si =

2
entonces
t,
t
= 0, se concluye que = rn con r = 0.
Derivando obtenemos
t = r
n +rn
= r
n rt .
Haciendo el producto interno con n obtenemos
0 = t, n = r
n, n rt, n = r
.
Luego, r debe ser constante. Haciendo el producto interno de t
contra si mismo, obtenemos
1 = t, t = rt
2
= (r)
2
=
1
r
.
(c) Tomando = r(t cos +nsin ) y derivando obtenemos
t = r
(t cos +nsin ) +r(t
cos +n
sin )
= r
(t cos +nsin ) +r(ncos t sin )

= (r cos +r
sin )n + (r
cos r sin )t .
Haciendo el producto interno de t con n obtenemos
r
cos r sin = 1
r cos +r
sin = 0
/ cos
/ sin
Luego, r
= cos r = s cos y ademas r = sin .

Por lo tanto,
=
1
s cotan
.
1.34. Pruebe que
_
2
0
_
a
2
sin
2
t +b
2
cos
2
t dt 2
ab, a, b R
+
con igualdad si y solo si a = b.
Solucion: Usamos la desigualdad isoperimetrica aplicada a la curva
(t) = (a cos t, b sin t)
que es una parametrizacion de la elipse. El area encerrada por la curva
(t) = (x(t), y(t)) es dada por:
A() =
1
2
_
2
0
(xy
y)dt
=
1
2
_
2
0
((a cos t)(b cos t) (a sin t)(b sin t))dt
=
1
2
_
2
0
(ab cos
2
t +ab sin
2
t)dt = ab .
El largo de la curva es
l =
_
2
0
(t)dt =
_
2
0
_
(a sin t)
2
+ (b cos t)
2
dt
=
_
2
0
_
a
2
sin
2
t +b
2
cos
2
t dt .
Por la desigualdad isoperimetrica tenemos que 2
A l entonces
l =
_
2
0
_
a
2
sin
2
t +b
2
cos
2
tdt 2
ab = 2
ab .
1.35. Existe alguna curva cerrada simple en el plano de longitud igual a 6
metros y delimitando un area de 3 metros cuadrados?
Solucion: Basta usar la desigualdad isoperimetrica. Sabemos que si
es una curva cerrada, simple y plana de longitud l, y sea A el area de
la region encerrada por entonces
A
l
2
4
.
Tenemos que
l
2
4
=
36m
2
4
=
9
m
2
< 3m
2
= A
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.
Solucion: Sea S
1
un crculo que admite el segmento AB como cuerda,
de arcos , determinados por los puntos A y B, como en la gura con
la longitud de igual a l.
A B
A B
Tomando la curva formada por y la cual es cerrada y C

1
a trozos.
Fijando la curva y haciendo variar en la familia de todas las curvas
que con longitud l, unen A y B. En virtud de la desigualdad isoperi-
metrica para curvas C
1
a trozos, la curva de la familia que delimita un
area maxima es S
1
, como est a jo, el arco es la solucion al problema.
1.37. Calcule la curvatura de la elipse x = a cos t, y = b sin t, t [a, b] y a = b.
Muestre que tiene exactamente 4 vertices, encuentrelos.
Solucion: Tenemos que (t) = (a cos t, b sin t) y sabemos que (t) =
x
((x
)
2
+ (y)
2
)
3/2
. En particular, x
(t) = a sin t, x
(t) = a cos t,
y
(t) = b cos t y y
(t) = b sin t. Entonces

(t) =
(a sin t)(b sin t) (a cos t)(b cos t)
(a
2
sin
2
t +b
2
cos
2
t)
3/2
=
ab
(a
2
sin
2
t +b
2
cos
2
t)
3/2
.
Luego
(t) =
3ab sin t cos t(b
2
a
2
)
(a
2
sin
2
t +b
2
cos
2
t)
3/2
.
Por otro lado, t [0, 2] es vertice si
(t) = 0, es decir, si 3ab sin t cos t =

0 sin t cos t = 0 entonces t
_
0,

2
, ,
3
2
, 2
_
donde
(0) = (2) = (a, 0)
_
2
_
= (0, b)
() = (a, 0)
_
3
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.38. Considere la curva (t) = (t, t
2
), t R. Probar que la curvatura de
nunca se anula y calcular el n umero de vertices. Contradice esto el
teorema de los cuatro vertices?
Solucion: Tenemos que
(t) = (1, 2t) y
(t) = (0, 2) entonces

(t) =
2
(1 + 4t
2
)
3/2
y
(t) =
24t
(1 + 4t
2
)
5/2
luego la curvatura nunca se anula y posee un solo vertice en t = 0.
Esto no contradice el Teorema de los cuatro vertices debido a que no
es una curva cerrada.
1.39. Pruebe que la curva : [0, 2) R
2
(t) = ((1 + 2 cos t) cos t, (1 + 2 cos t) sin t)
tiene solo dos vertices. No contradice esto el teorema de los cuatro
vertices?
(t) = (sin t 2 sin 2t, cos t + 2 cos 2t) = (x
(t), y
(t))
(t) = (cos t 4 cos 2t, sin t 4 sin 2t) = (x
(t), y
(t))
entonces
(t) =
5 + 4 cos t.
Luego,
x
= (sin t 2 sin2t)(sin t 4 sin2t)

= sin
2
t + 8 sin
2
2t + 6 sin t sin 2t ,
x
= (cos t 4 cos 2t)(cos t + 2 cos 2t)

= cos
2
t 8 cos
2
2t 6 cos t cos 2t .
Entonces la curvatura de la curva es:
(t) =
9 + 6(cos t cos 2t + sin t sin 2t)
(5 + 4 cos t)
3/2
=
9 + 6(cos t(cos
2
t sin
2
t) + 2 sin
2
t cos t)
(5 + 4 cos t)
3/2
=
9 + 6 cos t
(5 + 4 cos t)
3/2
con derivada
(t) =
12 sint(2 + cos t)
(5 + 4 cos t)
3/2
la cual es cero solo en los puntos t = 0 y t = , es decir, tiene dos
vertices. Esto no contradice el teorema de los cuatro vertices pues la
curva no es simple, como se aprecia en la siguiente gura.
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
|(p)| = lm
d0
2h
d
2
.
Solucion: Parametricemos por longitud de arco y consideremos un
sistema de coordenadas tal que el centro este en p y los ejes del sistema
de coordenadas esten en la direccion de los vectores tangente y normal
a la curva en el punto p. Sea (s) = (x(s), y(s)) nuestra parame-
trizacion. Hacemos desarrollo de Taylor para una vecindad del punto
0.
(s) = (0) +
(0)s +
(0)
s
2
2
+R
donde lm
s0
R
s
2
= 0. Denotamos por la curvatura de en el punto p.
p
d
h
l
L
Notemos que,
(0) = t(0) = (1, 0),
(0) = n(0) = (0, 1)

con esta informacion, podemos deducir que
x(s) = s +R
x
, y(s) =
s
2
2
+R
y
donde R = (R
x
, R
y
), entonces
|(p)| = lm
s0
_
2|y(s)|
s
2
+
2R
y
s
2
_
= lm
s0
2|y(s)|
s
2
+ 2 lm
s0
R
y
s
2
= lm
d0
2h
d
2
.
1.41. Probar que si es una curva cerrada contenida en un disco de radio r
entonces existe un punto p en la curva donde
|(p)|
1
r
.
Solucion: Sean O el centro del disco de radio r y p el punto sobre
la curva a mayor distancia de O. Consideremos el crculo de radio
|p O| = r
y centro O, entonces esta contenida en la region que

encierra el crculo de radio r
y centro O. Consideremos un nuevo sistema

de coordenadas cuyo origen coincida con el punto p y cuyos ejes esten
en la direccion del vector tangente y normal a la curva en el punto p.
p
O
r
(x(t),y(t))
(x(t),z(t))
Luego, si (t) = (x(t), y(t)), sea (t) = (x(t), z(t)) una parametrizacion
del crculo de radio r
y centro O. Debido a que la curva esta contenida

en la region que encierra el crculo se tiene que:
|z(t)| |y(t)| .
Usando la formula del problema anterior para curvatura obtenemos
|(p)| = lm
s0
2|y(s)|
s
2
lm
s0
2|z(s)|
s
2
= |
(p)| =
1
r

1
r
.
1.42. Si una curva cerrada y plana C esta contenida dentro de un crculo de
radio r, demostrar que existe un punto p C tal que la curvatura de
C en p satisface || 1/r.
Solucion: Sea O el centro del disco en cuestion de radio r. Reduzca
el radio del crculo hasta la primera vez en que el crculo toque a la
curva. Entonces, sea r
el radio hallado con r
r y (t
0
) el punto de
interseccion. Note que estamos en las mismas condiciones del problema
anterior, entonces
|(t
0
)|
1
r

1
r
.
1.43. Sea (s), s [0, l] una curva cerrada, convexa y plana, orientada posi-
tivamente. La curva
(s) = (s) rn(s) ,
donde r es una constante positiva y n es el vector normal, se denomina
una curva paralela a . Demostrar que
(a) () = () + 2.
(b) A() = A() +rl + r
2
.
(c)
(s) =

(s)
(1 +r
(s))
.
Solucion:
(a) Notemos que
(s) = t(s) rn
(s)
= t(s) r(
(s)t(s) + (s)b(s))
= (1 +r
(s))t(s) .
Entonces
(s) = |1 +r
(s)|t(s) = 1 +r
(s) .
Usando el teorema de rotacion de tangentes
() =
_
l
0
(s)ds =
_
l
0
ds +r
_
l
0
(s)ds
= l +r((s) (0)) = l + 2r .
(b) Sea (s) = (x(s), y(s)) entonces t = (x
, y
) y por Frenet-Serret
t

= (x
, y
) =
(y
, x
) . (1.13)
Tenemos entonces
= (x, y) r(y
, x
) = (x +ry
, y rx
) .
Para el calculo del area usamos la formula
A() =
1
2
_
(uv
vu
)ds .
Usando la relacion (1) vemos que
uv
= (1 +r
)xy
+r(1 +r
)(y
)
2
= xy
rxx
+r(1 +r
)(y
)
2
y
vu
= (1 +r
)yx
r(1 +r
)(x
)
2
= yx
+ryy
r(1 +r
)(x
)
2
de donde
uv
vu
= xy
yx
r(xx
+yy
) + r(1 +r
) .
Para evaluar la integral necesitamos hallar
_
l
0
xx
ds = xx
(l) xx
(0)
_
l
0
(x
)
2
ds =
_
l
0
(x
)
2
ds .
De manera similar
_
l
0
yy
ds = yy
(l) yy
(0)
_
l
0
(y
)
2
ds =
_
l
0
(y
)
2
ds
con lo que obtenemos
_
l
0
(xx
+yy
)ds = l
y como
_
l
0
(s)ds = 2 .
Se obtiene nalmente que
A() =
1
2
_
l
0
(uv
vu
)ds
=
1
2
_
l
0
(xy
yx
r(xx
+yy
) +r(1 +r
))ds
=
1
2
_
l
0
(xy
yx
)ds
r
2
_
l
0
(xx
+yy
)ds +
r
2
_
l
0
(1 +r
))ds
= A() +
rl
2
+
rl
2
+
2r
2
2
= A() +rl + r
2
.
(c) Utilizaremos la formula para curvatura para curvas planas. Supon-
gamos que esta parametrizada por longitud de arco, entonces
(s) = t(s) +r
(s)t(s) = t(s)(1 +r
(s)) .
Entonces
((
1
(s))
2
+(
2
(s))
2
)
3/2
=
(s)
3
= t(s)
3
(1+r
(s))
3
= (1+r
(s))
3
.
Sabemos que si (s) = (
1
(s),
2
(s)) entonces n(s) = (
2
(s),
1
(s)).
Por otro lado se tiene que
(s) =
(s) rn
(s)
=
(s) r(
(s)t(s))
(s) +r
(s)t(s) +r
(s)t
(s)
=
(s) +r{
(s)t(s) +
2
(s)n(s)} .
Luego,
2
=
1
(1 +r
){
2
+r[
2
+
2
1
]}
2
(1 +r
){
1
+r[
2
]}
= (1 +r
){
2
+r
1
+r
2
1
)
2
1
r
2
+r
2
2
)
2
}
= (1 +r
){
1
+r
2
((
1
)
2
+ (
2
)
2
)}
= (1 +r
){
1
+r
2
}
= (1 +r
){
+r
2
}
= (1 +r
)
2
.
Por lo tanto,
(s) =

2
((
1
)
2
+ (
2
)
2
)
3/2
=

(1 +r
)
2
(1 +r
)
3
=

(s)
(1 +r
(s))
.
1.44. (i) Probar que la curva de nivel f(x, y) = c es convexa si y solo si en
ella la expresion
f
xx
f
2
y
2f
xy
f
x
f
y
+f
yy
f
2
x
no cambia de signo.
(ii) Determine la curvatura de la curva de nivel f(x, y) = c en un
punto donde se sabe que f
xx
= 2, f
xy
= 3, f
yy
= 1, f
x
= 1,
f
y
= 1, tomando la normal en la direccion del gradiente de f.
Solucion:
(i) Sabemos que (s) no cambia de signo si y solo si (s) =
_
s
0
(s)ds
es una funcion creciente, ya que
(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
y la curva de nivel f(x, y) = c puede ser parametrizada mediante
(t) = (t, g(t))
donde g es diferenciable, siempre que f
2
x
+ f
2
y
= 0. Derivando la
igualdad f(x, y) = c obtenemos
f
x
+f
y
g
= 0 . (1.14)
Luego,
g
=
f
x
f
y
. (1.15)
Derivando (1.14) y reemplazando (1.15) obtenemos
f
xx
+f
xy
g
+ {f
yx
+f
yy
g
}g
+f
y
g
= 0
f
xx
f
xy
f
x
f
y
f
yx
f
x
f
y
+
f
yy
f
2
x
f
2
y
+f
y
g
= 0
g
=
f
xx
f
2
y
2f
xy
f
x
f
y
+f
yy
f
2
x
f
3
y
.
Usando la formula para curvatura de curvas planas (t) = (x(t), y(t))
dada por
(t) =
x
((x
)
2
+ (y
)
2
)
3/2
.
Obtenemos
(x, y) =
g
(x)
(1 + (g
(x)
2
)
3/2
(x, y) =
f
xx
f
2
y
2f
xy
f
x
f
y
+f
yy
f
2
x
(f
2
x
+f
2
y
)
3/2
.
Entonces, si f
xx
f
2
y
2f
xy
f
x
f
y
+f
yy
f
2
x
no cambia de signo si y solo
si (x, y) no cambia de signo si y solo si la curva f(x, y) = c es
convexa.
(ii) Usando la formula obtenida, se obtiene
(x, y) =
2 1 + 2(3)(1) 1 + 1 (1)
2
((1)
2
+ (1)
2
)
3/2
=
3
2
2
.
1.45. Sea (t) una curva cerrada simple de largo l con curvatura 0 < (t) c.
Probar que
l
2
c
.
Interprete.
Solucion: Al ser (t) una curva cerrada simple tiene ndice de rota-
ci on 1, entonces
_
l
0
(s)ds = (l) (0) = 2 .
Por otro lado, como (t) c obtenemos
2 =
_
l
0
(s)ds c
_
l
0
ds = cl .
Por lo tanto, l
2
c
. Observe que un crculo de radio 1/c tiene curvatura
0
= c y el largo de este circulo es l
0
=
2
c
. Cualquier curva de curvatura
menor a c tiene mayor largo que un crculo de radio 1/c.
Captulo 2
Supercies
Denicion 2.1.
Un subconjunto S R
3
es una supercie si, para todo punto p S, existe
un conjunto abierto U R
2
y un conjunto abierto W R
3
conteniendo al
punto p tal que W S es homeomorfo a U.
z
y
x
u
v
(u, v)
U
p
W S
W
S
Denicion 2.2.
Una supercie parametrizada : U R
3
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
v
es nunca cero para todo punto de U.
53
54 Captulo 2. Supercies
Denicion 2.3.
Dada una aplicacion diferenciable F : U R
n
R
m
denida sobre un
conjunto abierto U de R
n
decimos que p U es un punto crtico de F si
la diferencial dF
p
: R
n
R
m
no es un aplicacion sobreyectiva. La imagen
F(p) R
m
de un punto crtico se denomina un valor crtico de F. Un punto
de R
m
que no es un valor crtico de f se llama valor regular de F.
Si f : U R
3
R es una funcion diferenciable, decir que df
p
no es
sobreyectiva es equivalente a que f
x
= f
y
= f
z
= 0 en p. De aqu, a f(U)
es un valor regular de f : U R
3
R si y solo si f
x
, f
y
y f
z
no se anulan
simultaneamente en cualquier punto de la imagen inversa de a
f
1
(a) = {(x, y, z) U | f(x, y, z) = a} .
Teorema 2.1.
Si f : U R
3
R es una funci on diferenciable y a f(U) es un valor
regular de f, entonces f
1
(a) es una supercie regular de R
3
.
Denicion 2.4.
El espacio tangente a un punto p de una supercie S, denotado por T
p
S, es
el conjunto de vectores tangentes al punto p de todas las curvas en S que
pasan por p.
2.1. La Primera Forma Fundamental
Si = (u(t), v(t)) es una curva en una supercie parametrizada , luego
el largo de arco partiendo de un punto (t
0
) es dado por
s =
_
t
t
0
(u)du .
Por la regla de la cadena,
=
u
u
+
v
v
entonces
2
= E(u
)
2
+ 2Fu
+G(v
)
2
(2.1)
donde
E =
u
2
, F =
u
,
v
, G =
v
2
. (2.2)
La forma cuadratica denida por la ecuacion (2.1) se denomina la primera
forma fundamental de la supercie y las funciones denidas en (2.2) son
llamados los coecientes de la primera forma fundamental.
Proposici on 2.1.
v
=
EF G
2
.
Denicion 2.5.
El area A
(R) del sector (R) de una supercie parametrizada : U R

3
correspondiente a la region R U es
A
(R) =
__
R
v
dudv .
2.2. La Segunda Forma Fundamental
Dada una parametrizacion : U R
2
S de una supercie regular S
en un punto p S, podemos elegir un vector unitario normal en cada punto
de (U) mediante
N =

u
.
La siguiente expresion
e(u
)
2
+ 2fu
+g(v
)
2
(2.3)
es llamada la segunda forma fundamental de en donde
e =
N,
uu
, f =
N,
uv
, g =
N,
vv
son llamados coecientes de la segunda forma fundamental.

2.1. Demuestre que el cilindro circular S = {(x, y, z) R
3
: x
2
+y
2
= 1} es
una supercie regular.
Solucion: Consideremos
U = {(x, y) R
2
: 0 < x
2
+y
2
<
2
}
r =
_
x
2
+y
2
y sea : U R
3
denida por
(x, y) =
_
x
r
,
y
r
, tan
_
r

2
__
.
Note que las funciones coordenadas de son diferenciables y es claro
que es inyectiva.
2.2. Demuestre que el paraboloide hiperbolico
S = {(x, y, z) R
3
: z = x
2
y
2
}
es una supercie regular.
Solucion: Consideremos la siguiente aplicacion : U R
2
R
3
denida por
(u, v) = (u, v, u
2
v
2
) .
2.3. Demuestre que el elipsoide
S =
_
(x, y, z) R
3
:
x
2
a
2
+
y
2
b
2
+
z
2
c
2
= 1
_
Solucion: Consideremos la aplicacion : U R
2
R
3
denida por
(u, v) = (a sin u cos v, b sin u sinv, c cos u)
donde U = {(u, v) R
2
: 0 < u < , 0 < v < 2}.
2.4. Demuestre que S R
3
el conjunto que se obtiene al rotar una curva
regular : [a, b] R
2
con
(t) = (f(t), g(t))
alrededor de un eje en el plano de la curva que no incide con esta, es
un supercie regular.
Solucion: Considere la parametrizacion : U R
2
R
3
dada por
(u, v) = (f(v) cos u, f(v) sinu, g(v))
donde U = {(u, v) R
2
: 0 < u < 2, a < v < b}.
2.5. Demuestre que, si f(x, y) es una funcion diferenciable, su graco
Graf(f) = {(x, y, z) R
3
: z = f(x, y)}
es una supercie diferenciable.
Solucion: Basta considerar la parametrizacion F : U R
2
R
3
dada por
F(u, v) = (u, v, f(u, v)) .
2.6. Demuestre que el toro
T = {(x, y, z) R
3
: (x
2
+y
2
+z
2
+a
2
r
2
)
2
= 4a
2
(x
2
+y
2
)}
Solucion: Consideremos : U R
3
denida por
(u, v) = ((r cos u +a) cos v, (r cos u +a) sin v, r sin u)
donde U = {(u, v) R
2
: 0 < u, v < 2}, la cual es una funcion
diferenciable.
2.7. El hiperboloide de una hoja es
S = {(x, y, z) R
3
: x
2
+y
2
z
2
= 1}
Demuestre que para todo la curva
(x z) cos = (1 y) sin,
(x +z) sin = (1 +y) cos
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 supercie.
Solucion: Multiplicando ambas ecuaciones obtenemos
(x
2
z
2
) sin cos = (1 y
2
) sen cos .
Si sin = 0 y cos = 0 se tiene que
x
2
z
2
= 1 y
2
x
2
+y
2
z
2
= 1 .
Note que si sin = 0 x = z, y = 1 y si cos = 0 y = 1, x = z.
La lnea dada L
pasa por (sin 2, cos 2, 1) se sigue que conseguimos

todas las lneas tomando 0 . Sea (x, y, z) S, si x = z, considere
tal que
cot =
(1 y)
(x z)
entonces (x, y, z) L
. Similarmente si x = z. Los unicos casos res-

tantes son los puntos (0, 0, 1) que estan sobre las lneas L
/2
y L
0
.
S
L
x
2
+y
2
z
2
= 1
Sea S
1
el circulo unitario x
2
+ y
2
= 1 en el plano xy, y sea (s) una
parametrizacion de S
1
por arcoparametro. Para cada s, sea w(s) =
(s) + e
3
, donde e
3
es el vector unitario del eje z. Entonces considere
: U R
3
dada por
(s, t) = (s) +t(
(s) +e
3
) = (cos s t sin s, sin s +t cos s, t)
donde U = {(s, t) R
2
|0 < s < } y note que x
2
+y
2
z
2
= 1+t
2
t
2
=
1. Esto demuestra que la traza de esta en el hiperboloide de una hoja.
2.8. Hallar la ecuacion del plano tangente de las siguientes supercies para-
metrizadas en el punto indicado
a) (u, v) = (u, v, u
2
v
2
) en el punto (1, 1, 0).
b) (r, ) = (r cosh , r sinh , r
2
) en el punto (1, 0, 1)
Solucion:
a) Notemos que (1, 1) = (1, 1, 0) y
u
= (1, 0, 2u)
(1,1)
= (1, 0, 2)
v
= (0, 1, 2v)
(1,1)
= (0, 1, 2)
_
v
= (2, 2, 1) .
Por lo tanto, el plano tangente es:
2x + 2y +z = 0 .
b) Notemos que (1, 0) = (1, 0, 1) y
r
= (cosh , sinh , 2r)
(1,0)
= (1, 0, 2)
= (r sinh , r cosh , 0)
(1,0)
= (0, 1, 0)
_
= (2, 0, 1).
Por lo tanto, el plano tangente es:
2x +z = 0 .
2.9. Determinar los planos tangentes del hiperboloide de revolucion
H = {(x, y, z) R
3
: x
2
+y
2
z
2
= 1}
en los puntos (x, y, 0) y demostrar que todos ellos son paralelos al eje z.
Solucion: Considere la parametrizacion del hiperboloide de revolucion
: U R
2
R
3
denida por
(u, v) = (cosh u cos v, cosh u sin v, sinh u)
entonces
u
= (sinh u cos v, sinh u sinv, cosh u)
v
= (cosh u sin v, cosh u cos v, 0)
v
= (cosh
2
u cos v, cosh
2
u sin v, sinh u coshu) .
Como (0, v) = (cos v, sin v, 0) = (s, t, 0) entonces
(0,v)
= (cos v, sin v, 0) = (s, t, 0) .
Por lo tanto, el plano tangente del hiperboloide de revolucion en el
punto (s, t, 0) es
T
(s,t,0)
H = {(x, y, z) R
3
: sx +ty = 0} ,
como el vector normal es perpendicular al eje z se concluye que el plano
tangente es paralelo al eje z.
2.10. Considere la esfera unitaria
S
2
= {(x, y, z) R
2
: x
2
+y
2
+z
2
= 1}
a) Una manera de obtener un sistema de coordenadas para la esfera es
considerar la denominada proyeccion estereograca : S
2
\ {N}
R
2
que lleva un punto p = (x, y, z) de la esfera S
2
exceptuando el
polo norte N = (0, 0, 1), sobre la interseccion del plano xy con la
recta que une a N con p. Demostrar que
1
: R
2
S
2
viene dada
por
1
(x, y) =
_
2x
x
2
+y
2
+ 1
,
2y
x
2
+y
2
+ 1
,
x
2
+y
2
1
x
2
+y
2
+ 1
_
.
b) Demostrar que es posible, usando la proyeccion estereograca, recu-
brir la esfera con dos entornos coordenados.
c) Demuestre que la esfera unitaria no puede ser cubierta por solo una
parametrizacion.
Solucion:
a) Sea L
p
la lnea recta que une el polo norte de la esfera con un p =
(x, y, 0) perteneciente al plano xy, entonces
L
p
= {N(1 t) +tp : t 0}
= {(0, 0, 1)(1 t) +t(x, y, 0) : t 0}
= {(xt, yt, 1 t) : t 0}
la interseccion de esta recta con la esfera ocurre cuando
(xt
0
)
2
+ (yt
0
)
2
+ (1 t
0
)
2
= 1
o equivalentemente,
t
0
=
2
x
2
+y
2
+ 1
.
Entonces la inversa de la proyeccion estereograca
1
: R
2
S
2
viene dada por:
1
(x, y) = (xt
0
, yt
0
, 1t
0
) =
_
2x
x
2
+y
2
+ 1
,
2y
x
2
+y
2
+ 1
,
x
2
+y
2
1
x
2
+y
2
+ 1
_
.
b) Tomando dos proyecciones estereogracas una desde el polo norte y
otra desde el polo sur obtenemos dos parametrizaciones que cubren
completamente la esfera unitaria, queda como ejercicio ver que estas
cumplen los axiomas de supercie regular.
c) Si la esfera S
2
fuera cubierta por solo una parametrizacion : U
R
3
, entonces S
2
sera homeomorfa a un subconjunto abierto U de
R
2
. Como S
2
es un conjunto cerrado y acotado de R
3
, entonces S
2
es compacto. Luego, U sera compacto, en particular cerrado. Como
R
2
es conexo, el unico subconjunto no vacio cerrado y abierto es R
2
entonces U = R
2
. Lo que implicara que R
2
es compacto, es decir,
acotado. Lo que es absurdo.
2.11. Calcule la primera forma fundamental de las siguientes supercies:
a) (u, v) = (sinh u sinh v, sinh u coshv, sinh u).
b) (u, v) = (u v, u +v, u
2
+v
2
).
c) (u, v) = (cosh u, sinh u, v).
d) (u, v) = (u, v, u
2
+v
2
).
Solucion:
a) Tenemos que
u
= (cosh u sinh v, cosh u coshv, cosh u)
v
= (sinh u cosh v, sinh u sinh v, 0)
entonces podemos obtener los coecientes de la primera forma fun-
damental
E =
u
,
u
= 2 cosh
2
u
F =
u
,
v
= 2 sinh u coshu sinh v cosh v
G =
v
,
v
= sinh
2
u
y la primera forma fundamental es
Edu
2
+ 2Fdudv +Gdv
2
=
2 cosh
2
udu
2
+ 4 sinh u cosh u sinh v cosh v dudv + sinh
2
udv
2
.
b) Para el paraboloide de revolucion se tiene que
u
= (1, 1, 2u)
v
= (1, 1, 2v)
entonces los coecientes de la primera forma fundamental son
E =
u
,
u
= 2 + 4u
2
F =
u
,
v
= 4uv
G =
v
,
v
= 2 + 4v
2
luego la primera forma fundamental es
Edu
2
+ 2Fdudv +Gdv
2
= (2 + 4u
2
)du
2
+ 8uv dudv + (2 + 4v
2
)dv
2
.
c) Para el cilindro hiperbolico se tiene que
u
= (sinh u, coshu, 0)
v
= (0, 0, 1)
E =
u
,
u
= sinh
2
u + cosh
2
u
F =
u
,
v
= 0
G =
v
,
v
= 1
Edu
2
+ 2Fdudv +Gdv
2
= (cosh
2
u + sinh
2
u)du
2
+dv
2
.
d) Para el paraboloide de revolucion se tiene que
u
= (1, 0, 2u)
v
= (0, 1, 2v)
E =
u
,
u
= 1 + 4u
2
F =
u
,
v
= 4uv
G =
v
,
v
= 1 + 4v
2
Edu
2
+ 2Fdudv +Gdv
2
= (1 + 4u
2
)du
2
+ 8uv dudv + (1 + 4v
2
)dv
2
.
2.12. Determine las coecientes de la primera forma fundamental de la esfera
asociada a la parametrizacion por proyeccion estereograca. Use esto
para calcular el largo de un meriadiano completo.
Solucion: La proyeccion estereograca es dada por
(u, v) =
_
2u
u
2
+v
2
+ 1
,
2v
u
2
+v
2
+ 1
,
u
2
+v
2
1
u
2
+v
2
+ 1
_
entonces
u
=
_
2(u
2
+v
2
+ 1) 4u
2
(u
2
+v
2
+ 1)
2
,
4uv
(u
2
+v
2
+ 1)
2
,
2u(u
2
+v
2
+ 1) (u
2
+v
2
1)(2u)
(u
2
+v
2
+ 1)
2
_
=
_
2(u
2
+v
2
+ 1)
(u
2
+v
2
+ 1)
2
,
4uv
(u
2
+v
2
+ 1)
2
,
4u
(u
2
+v
2
+ 1)
2
_
por simetra se deduce que
v
=
_
4uv
(u
2
+v
2
+ 1)
2
,
2(u
2
v
2
+ 1)
(u
2
+v
2
+ 1)
2
,
4v
(u
2
+v
2
+ 1)
2
_
.
Luego,
(u
2
+v
2
+ 1)
4
E = 4(v
2
u
2
+ 1)
2
+ 16u
2
v
2
+ 16u
2
= 4((v
2
u
2
)
2
+ 2(v
2
u
2
) + 1) + 16u
2
v
2
+ 16u
2
= 4(v
4
2u
2
v
2
+u
4
+ 2v
2
2u
2
+ 1) + 16u
2
v
2
+ 16u
2
= 4(v
4
+ 2u
2
v
2
+u
2
+ 2v
2
+ 2u
2
+ 1)
= 4(u
2
+v
2
+ 1)
2
E =
4
(u
2
+v
2
+ 1)
2
y de manera similar G =
4
(u
2
+v
2
+ 1)
2
adem as
(u
2
+v
2
+ 1)
4
F = 2(u
2
+v
2
+ 1)(4uv) 4uv(2u
2
v
2
+ 1) + 16uv
= 8uv(u
2
+v
2
+ 1) 8uv(u
2
v
2
+ 1) + 16uv = 0
F = 0 .
Notemos que la curva (t) = (t, at) = (u(t), v(t)) con a = 0 parame-
triza los meridianos de la esfera entonces el largo de arco de es
s =
_

(t)dt
=
_

_
E(u
)
2
+ 2Fu
+G(v
)
2
dt
=
_

_
4
u
2
(t) +v
2
(t) + 1)
2
+
4
(u
2
(t) +v
2
(t) + 1)
2
a
2
_
1/2
dt
=
_

1 +a
2
t
2
(1 +a
2
) + 1
dt .
Haciendo t = tan/
1 +a
2
implica dt =
sec
2
1 +a
2
d y se obtiene que
s =
_
/2
/2
2
1 +a
2
tan
2
+ 1

sec
2
1 +a
2
d
= 2
_
/2
/2
d = 2 .
2.13. Esboce la curva sobre el cono
(u, v) = (u cos v, u sinv, u)
dada por u = e
t
, v = t, donde es una constante. Hallar el largo de
arco de la parte de la curva con 0 t .
Solucion: Tomando la parametrizacion : U R
2
R
3
dada por
(u, v) = (u cos v, u sinv, u)
donde U = {(u, v) R
2
: 0 < u < , 0 < v < 2} luego
u
= (cos v, sinv, 1),
v
= (u sin v, u cos v, 0)
los coecientes de la primera forma fundamental y la primera forma
fundamental son
E =
u
,
u
= 2
F =
u
,
v
= 0
G =
v
,
v
= u
2
_
_
Edu
2
+ 2Fdudv +Gdv
2
= 2du
2
+u
2
dv
2
Entonces, el largo de arco de la curva (t) = (e
t
, t) es:
l =
_

0
(t)dt =
_

0
(Edu
2
+ 2Fdudv +Gdv
2
)
1/2
dt
=
_

0
(2du
2
+u
2
dv
2
)
1/2
dt =
_

0
(2
2
e
2t
+e
2t
)
1/2
dt
= (2
2
+ 1)
1/2
_

0
e
t
dt =
(2
2
+ 1)
1/2
(e
1) .
Un esboce de la curva es la siguiente
2.14. Demuestre que el area A de una region acotada R de la supercie z =
f(x, y) es
A =
_ _
Q
_
1 +f
2
x
+f
2
y
dxdy .
Solucion: Sabemos que si : U R
3
R
3
es una carta entonces
A =
_ _
Q
v
d
u
d
v
, Q =
1
(R) .
Tomando la parametrizacion (x, y) = (x, y, f(x, y)) entonces
x
= (1, 0, f
x
),
y
= (0, 1, f
y
)
y
E =
x
,
x
= 1 +f
2
x
F =
x
,
y
= f
x
f
y
G =
y
,
y
= 1 +f
2
y
_
y
=
EG F
2
=
_
1 +f
2
x
+f
2
y
.
Por lo tanto,
A =
_ _
Q
_
1 +f
2
x
+f
2
y
dxdy .
2.15. Demuestrese que una supercie de revolucion siempre puede parametri-
zarse de forma que que
E = E(v), F = 0, G = 1 .
Solucion: Para esto basta parametrizar por longitud de arco la curva
generatriz C de la supercie de revolucion, mediante:
: [a, b] R
2
, (t) = (f(t), g(t)) ,
es decir,

(t) = 1 para todo t [a, b]. Sabemos que las supercies
de revolucion tinen como parametrizacion
(u, v) = (f(v) cos u, f(v) sinu, g(v))
con
u
= (f(v) sinu, f(v) cos u, 0),
v
= (f
(v) cos u, f
(v) sin u, g
(v)) .
Entonces, los coecientes de la primera forma fundamental son dados
por:
E =
u
,
u
= (f(v))
2
(sin
2
u + cos
2
u) = (f(v))
2
= E(v)
F =
u
,
v
= f(v) sin uf
(v) cos u +f(v) cos uf
(v) sinu = 0
G =
v
,
v
= (f
(v))
2
+ (g
(v))
2
=
(t)
2
= 1 .
2.16. Sea S una supercie de revolucion y C su curva generatriz. Sea s la
longitud de arco de C y denotese por = (s) a la distancia desde el
eje de rotacion al punto de C correspondiente a s.
(a) Teorema de Pappus. Demuestre que el area de S es
2
_
l
0
(s) ds
donde l es la longitud de C.
(b) Aplique la parte (a) para calcular el area de un toro de revolucion.
Solucion:
(a) La parametrizacion de una supercie de revolucion : U R
2
R
3
es
(t, s) = (f(s) cos t, f(s) sint, g(s))
donde
U = {(t, s) R
2
: 0 < t < 2, 0 < s < l}
y la parametrizacion de la curva generatriz c es : [0, l] R
2
es
(s) = (f(s), g(s)) .
Notemos que la distancia del eje de rotacion al punto C es:
d = (s) = f(s) .
Sabemos que
A =
_ _
Q
s
dtds =
_ _
Q
EGF
2
dtds
con Q =
1
(R) y tenemos que
t
= (f(s) sin t, f(s) cos t, 0)
s
= (f
(s) cos t, f
(s) sin t, g
(s))
E =
t
,
t
= f
2
(s)
F =
t
,
s
= 0
G =
s
,
s
= (f(s))
2
+ (g(s))
2
= (s)
2
= 1 .
Entonces,
A =
_ _
U
EGF
2
dtds =
_
l
0
_
2
0
_
f
2
(s) dtds
= 2
_
l
0
f(s)ds = 2
_
l
0
(s) ds .
(b) La curva generatriz parametrizada por longitud de arco del toro de
revolucion es
(s) =
_
a +r cos
_
s
r
_
, r sin
_
s
r
__
.
Entonces,
A( T
2
) = 2
_
2r
0
(s) ds = 2
_
2r
0
_
a +r cos
_
s
r
__
ds
= 2
_
as sin
_
s
r
__
2r
0
= 4
2
ar .
2.17. Pruebe que para a, b, c = 0, cada una de las ecuaciones
x
2
+y
2
+z
2
= ax ,
x
2
+y
2
+z
2
= by ,
x
2
+y
2
+z
2
= cz
dene una supercie regular, y que todas ellas se cortan ortogonalmente.
x
2
ax = (x a/2)
2
(a/2)
2
,
y
2
by = (x b/2)
2
(b/2)
2
,
z
2
cz = (x c/2)
2
(c/2)
2
.
Entonces,
S
1
= {(x, y, z) R
3
: x
2
+y
2
+z
2
= ax}
= {(x, y, z) R
3
: (x a/2)
2
+y
2
+z
2
= (a/2)
2
}
es decir, S
1
es una esfera de centro en (a/2, 0, 0) y radio
a
2
. Como la
esfera es una supercie parametrizada regular, se concluye que S
1
es
una supercie regular. Lo mismo sucede con S
2
y S
3
que son esferas de
centros en (0, b/2, 0), (0, 0, c/2) y radios
b
2
y
c
2
, respectivamente, luego
son supercies regulares. Ahora bien, notemos que los vectores normales
de las primeras dos supercies son paralelos a los vectores (2xa, 2y, 2z)
y (2x, 2y b, 2z) y
S
1
S
2
= {(x, y, z) R
3
: ax = by}
Entonces,
(2x a, 2y, 2z), (2x, 2y b, 2z) = 2x(2x a) + 2y(2y b) + 4z
2
= 4x
2
2ax + 4y
2
2by + 4z
2
= 4(x
2
+y
2
+z
2
) 2(ax +by)
= 4ax 2(by +by)
= 4ax 4by = 0
lo que implica que S
1
y S
2
se cortan ortogonalmente de manera similar
se prueba para los restantes casos.
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 supercie regular?
Solucion: Podemos parametrizar p y q mediante arcoparametro
p(t) = (0, 0, t) y q(t) = (1, t, 0)
y se verica que p
(t) = q
(t) = 1. Entonces, la recta que une el

punto p(t) con q(t) es
L
t
= {(1 r)p(t) +rq(t) : r R} = (r, rt, (1 r)t : r R} .
Notemos que si (x, y, z) L
t
entonces
x =
y
t
=
(z t)
t
despejando t se obtiene
t =
y
x
, t =
z
(x 1)

y
x
=
z
(x 1)
y(x 1) +xz = 0 .
Por otro lado, las rectas
L
1
= {(x, y, z) R
3
: x = 1, y 0, z = 0}
L
2
= {(x, y, z) R
3
: 0 x 1, y = z = 0}
L
3
= {(x, y, z) R
3
: z 0, x = y = 0}
1
q
p
x
y
z
pertenecen a este conjunto y de hecho son el borde de este conjunto,
por lo tanto este conjunto no es supercie regular, ya que no existe :
U R
2
V S con U abierto y V vecindad de alg un p L
1
L
2
L
3
.
2.19. Sea = (u) una curva con curvatura nunca nula.
(i) Se dene (u, v) = (u) + v
(u). Interprete geometricamente la

imagen de . Pruebe que para todo (u
0
, v
0
), v
0
= 0, existe una
vecindad |u u
0
| < , |v v
0
| < , cuya imagen bajo es una
supercie regular.
(ii) Supongase que esta parametrizada, y considere
(u, v) = (u) +r[(cos v) n(u) + (sen v)
b(u)],
donde r > 0 es jo. Interprete la imagen de geometricamente.
Pruebe que D(u, 0) tiene rango maximo solo en los puntos donde
r(u) = 1, en cuyo caso, la normal a la supercie esta dada por
(cos v) n(u) + (sen v)
b(u).
Solucion:
(i) Para u jo la supercie es una lnea recta que corta a la curva en
el punto (u) y que esta en a direccion de
(u). Por hipotesis

(u) =

(u)
(u)
(u)
3
= 0 .
Notemos que
u
=
(u) +v
(u),
v
=
(u), luego
v
= (
(u) +v
(u)) (
(u)) = v
(u)
(u) = 0
entonces para todo (u, v) con v = 0 se tiene que es supercie
regular.
(ii) La supercie es un tubo de radio r alrededor de . Usando las
ecuaciones de Frenet-Serret se obtiene que
u
= (1 r cos v)
t(u) +tr sen v n(u) +tr cos v
b(u)
v
= r sen v n(u) +r cos v
b(u) .
Entonces
v
|
(u,0)
= r(1 r cos v)(cos v n(u) + sen v
b(u))
(u,0)
= r(1 r) n(u) .
Si r = 1 entonces
u
v
= 0 lo que implica que D(u, 0) tiene
rango maximo. Ahora bien, calculando el vector normal unitario
se obtiene
N =

u
=
r(1 r cos v)(cos v n(u) + sen v
b(u))
r(1 r cos v) cos v n(u) + sen v
b(u)
. .
1
N = cos v n(u) + sen v
b(u) .
2.20. Considere la supercie de ecuacion f(x, y, z) = a, donde a es un valor
regular de f. Demuestre que la segunda forma fundamental de S viene
dada por
dN(v), v =
1
f
Hess (f)(v, v).
Solucion: Por el teorema de la funcion implicita existe g : R
2
R tal
que
f(x, y, g(x, y)) = a (2.4)
ya que a es valor regular estamos suponiendo f
z
= 0. Entonces, tenemos
la parametrizacion
(x, y) = (x, y, g(x, y))
con
x
= (1, 0, g
x
)
y
= (0, 1, g
y
)
_
y
= (g
x
, g
y
, 1) .
Derivando implicitamente (2.4) se obtiene
f
x
+f
z
g
x
= 0
f
y
+f
z
g
y
= 0
_
g
x
=
f
x
f
z
g
y
=
f
y
f
z
Notemos que
y
=
_
g
2
x
+g
2
y
+ 1 =
f
2
x
+f
2
y
+f
2
z
f
2
z
=
f
f
z
.
Entonces,
N =

x
=
f
z
f
(g
x
, g
y
, 1) =
1
f
(f
x
, f
y
, 1) .
Captulo 3
Curvatura de Supercies
3.1. La Curvatura de Curvas sobre una Su-
percie
Si (t) = (u(t), v(t)) es una curva arco-parametrizada en una supercie
parametrizada , entonces
es un vector unitario y por denicion tangente

a . Luego,
es perpendicular al vector normal unitario

N de , entonces
,

N y

N
son mutuamente vectores perpendiculares y unitarios. Como
esta parametrizado por longitud de arco,
es perpendicular a
, y luego
es una combinancion lineal de

N y

N
=
n

N +
g

N
. (3.1)
N
n
S
p
T
p
S
75
76 Captulo 3. Curvatura de Supercies
Los escalres
n
y
g
son llamados la curvatura normal y la curvatura geodesica
de , respectivamente. Como

N y

N
son vectores perpendiculares, la

ecuacion (3.1) implica que
n
=
,

N ,
g
=
, (
)
y
2
=
2
=
2
n
+
2
g
.
Proposici on 3.1.
Si (t) = (u(t), v(t)) es una curva arco-parametrizada sobre una supercie
parametrizada , entonces la curvatura normal es dada por
n
= e(u
)
2
+ 2fu
+g(v
)
2
.
Denicion 3.1.
Las curvaturas principales de una supercie parametrizada son las raices de
la ecuacion
det(F
II
kF
I
) =
e kE f kF
f kF g kG
= 0 (3.2)
y son denotados por
1
y
2
.
Si es una de las curvaturas principales de la ecuacion (3.2) decimos que
F
II
kF
I
no es invertible, luego, asumiendo que es real, existe una matriz
columna T no cero de 2 1 con entradas reales tales que
(F
II
F
I
)T = 0 . (3.3)
Denicion 3.2.
Si T =
_

_
satisface la ecuacion (3.3), el correspondiente vector tangente
t =
u
+
v
de la supercie (u, v) es llamado una direccion principal
correspondiente a la curvatura principal .
Denicion 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
Teorema 3.1 (Rodrigues).
Una condici on necesaria y suciente para que una curva regular conexa C
en S sea una lnea de curvatura de S es que
N
(t) = (t)
(t) ,
para cualquier parametrizaci on (t) de C, donde N(t) = N (t) y (t) es
una funci on diferenciable de t.
Se deduce entonces apartir del Teorema de Rodrigues que la ecuacion
diferencial de las lneas de curvatura es
(fE eF)(u
)
3
+ (gE eG)u
+ (gF fG)(v
)
2
= 0 ,
que, de una manera mas simetrica, puede escribirse en la forma
(v
)
2
u
(u
)
2
E F G
e f g
= 0 . (3.4)
Teorema 3.2 (Teorema de Euler).
Sea una curva sobre una supercie parametrizada , y sean
1
y
2
las
curvaturas principales de , con direcciones principales t
1
y t
2
. Entonces, la
curvarura normal de es
n
=
1
cos
2
+
2
sen
2
,
donde es el angulo entre
y t
1
.
Teorema 3.3.
Sea

N el vector normal unitario de la supercie parametrizada (u, v). En-
tonces,
N
u
= a
u
+b
v
,

N
v
= c
u
+d
v
, (3.5)
donde
_
a c
b d
_
= F
1
I
F
II
.
La matriz F
1
I
F
II
es llamada la matriz de Weingarten de la supercie
parametrizada , y es denotada por W.
3.2. Las Curvaturas Media y Gaussiana
Denicion 3.4.
Sean
1
y
2
las curvaturas principales de una supercie parametrizada.
Entonces, la curvatura gaussiana de una supercie parametrizada es
K =
1
2
,
y la curvatura media es
H =
1
2
(
1
+
2
) .
Proposici on 3.2.
Sea (u, v) una supercie parametrizada con primera y segunda forma fun-
damentales
E(u
)
2
+ 2Fu
+G(v
)
2
y e(u
)
2
+ 2fu
+g(v
)
2
,
respectivamente. Entonces
(i) K =
eg f
2
EGF
2
;
(ii) H =
1
2
eG 2fF +gE
EGF
2
;
(iii) las curvaturas principales son H
H
2
K.
3.3. Geodesicas
Denicion 3.5.
Una curva sobre una supercie S es llamada una geodesica si
(t) es cero
o perpendicular a la supercie 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 supercie es una geodesica si y s olo si la curvatura
geodesica es cero.
Teorema 3.4.
Una curva sobre una supercie S es una geodesica si y s olo si, para cual-
quier parte (t) = (u(t), v(t)) de contenida en una supercie parametri-
zada de S, las siguientes dos ecuaciones son satisfacidas:
d
dt
(Eu
+Fv
) =
1
2
(E
u
(u
)
2
+ 2F
u
u
+G
u
(v
)
2
) ,
d
dt
(Fu
+Gv
) =
1
2
(E
v
(u
)
2
+ 2F
v
u
+G
v
(v
)
2
) ,
(3.6)
donde E(u
)
2
+ 2Fu
+G(v
)
2
es la primera forma fundamental de .
Las ecuaciones diferenciales en (3.6) son llamadas las ecuaciones geodesi-
cas.
3.4. El Teorema Egregio de Gauss
Denicion 3.6.
Un difeomorsmo : S
1
S
2
es llamada una isometra si al tomar curvas
en S
1
son llevadas a curvas en S
2
con el mismo largo. Si una isometra :
S
1
S
2
existe, decimos que S
1
y S
2
son isometricas.
Teorema 3.5. Un difeomorsmo : S
1
S
2
es una isometra si y s olo
si para cualquier parametrizaci on de S
1
, se tiene que y f tienen la
misma primera forma fundamental.
Teorema 3.6 (Teorema Egregio de Gauss).
La curvatura gaussiana K de una supercie es invariante por isometrias.
Corolario 3.1.
La curvatura gaussiana es dada por
K =
1
2
E
vv
+F
uv
1
2
G
uu
1
2
E
u
F
u
1
2
E
v
F
v
1
2
G
u
E F
1
2
G
v
F G
0
1
2
E
v
1
2
G
u
1
2
E
v
E F
1
2
G
u
F G
(EGF
2
)
2
.
Proposici on 3.4 (Ecuaciones de Gauss).
Sea (u, v) una supercie parametrizada. Entonces,
uu
=
1
11
u
+
2
11
v
+eN ,
uv
=
1
12
u
+
2
12
v
+fN ,
vv
=
1
22
u
+
2
22
v
+gN ,
donde
1
11
=
GE
u
2FF
u
+FE
v
2(EGF
2
)
,
2
11
=
2EF
u
EE
v
FE
u
2(EGF
2
)
,
1
12
=
GE
v
FG
u
2(EGF
2
)
,
2
12
=
EG
u
FE
v
2(EGF
2
)
,
1
22
=
2GF
v
GG
u
FG
u
2(EGF
2
)
,
2
22
=
EG
v
2FF
v
+FG
u
2(EGF
2
)
.
Los seis coecientes
k
ij
en esta formula son llamados los smbolos de
Christoel.
Proposici on 3.5 (Ecuaciones Codazzi-Mainardi).
Dena los smbolos de Christoel de una supercie parametrizada (u, v)
como arriba. Entonces,
e
v
f
u
= e
1
12
+f(
2
12
1
11
) g
2
11
,
f
v
g
u
= e
1
22
+f(
2
22
1
12
) g
2
12
.
3.1. Demuestre que la curvatura normal de cualquier curva sobre una esfera
de radio r es 1/r.
Solucion: Sabemos que,
=
n
N +
g
N
. Sea una curva arco-

parametrizada sobre la esfera de centro en a y radio r. Entonces
(s) a = r (s) a, (s) a = r
2
,
derivando esta expresion resulta
(s), (s) a = 0 ,
derivando nuevamente obtenemos
(s), (s) a =
(s),
(s) = 1 .
Sabemos que el vector normal de la esfera es:
N =
1
r
((s) a) .
Por lo tanto,
n
=
(s), N =
1
r
(s), (s) a =
1
r
.
3.2. Demuestre que si (t) = (u(t), v(t)) es una curva arcoparametrizada
sobre una supercie entonces
n
= e(u
)
2
+ 2fu
+g(v
)
2
n
= N,
= N,
d
dt
(
) = N,
d
dt
(
u
u
+
v
v
)
= N,
u
u
+
v
v
+ (
uu
u
+
uv
v
)u
+ (
uv
u
+
vv
v
)v
)
= e(u
)
2
+ 2fu
+g(v
)
2
.
Hemos usado el hecho que el vector normal unitario N es perpendicular
a
u
y
v
.
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).
(ii) Pruebe que la supercie de revolucion obtenida al rotar la curva
C alrededor del eje y tiene curvatura gaussiana K 1.
Solucion:
(i) Geometricamente se obtiene la siguiente relacion
x
0
z
0
1 x
2
(x
0
, z
0
)
x
z
1
C
dz
dx
=
1 x
2
x
.
Luego, la curva tractrix puede ser parametrizada por
(t) = (t, f(t)), con f
(t) =
1 t
2
t
.
(ii) Una parametrizacion para esta supercie de revolucion es
(u, v) = (v cos u, v sin u, f(v)) .
Luego,
u
= (v sen u, v cos u, 0)
v
= (cos u, sen u, f
(v))
uu
= (v cos u, v sen u, 0)
uv
= (sen u, cos u, 0)
vv
= (0, 0, f
(v))
entonces
E =
u
2
= v
2
, F =
u
,
v
= 0
G =
v
2
= 1 + (f
(v))
2
= 1 +
1 v
2
v
2
=
1
v
2
v
= (v cos uf
(v), v sen uf
(v), v)
v
=
EGF
2
= 1

N = (v cos uf
(v), v sen uf
(v), v)
e = N,
uu
= v
2
f
(v)
f = N,
uv
= 0, g = N,
vv
= vf
(v)
f
(v) =
1
v
2
1 v
2
.
Por lo tanto, la curvatura gaussiana es
K =
eg f
2
EG F
2
=
v
2
f
(v)(vf
(v))
v
2
1/v
2
= v
2
1 v
2
v
v
1
v
2
1 v
2
= 1 .
3.4. Pruebe que la curvatura media esta dada por
H =
1
_

0
n
()d,
donde
n
() es la curvatura normal en una direccion que forma un angu-
lo con una direccion tangente ja.
Solucion: La formula de Euler establece que
n
() =
1
cos
2
+
2
sen
2
entonces
1
_

0
n
()d =
1
_
0
(
1
cos
2
+
2
sen
2
)d
=
1
1
_

0
cos
2
d +
1
2
_

0
sen
2
d .
Note que integrando por partes se obtiene que
_

0
cos
2
d = cos sen
0
+
_

0
sen
2
d =
_

0
sen
2
d .
Adem as
_

0
cos
2
d +
_

0
sen
2
d =
_

0
(cos
2
+ sen
2
)d = .
Entonces, se concluye que
_

0
cos
2
d =
_

0
sen
2
d =

2
y como H =
1
2
(
1
+
2
) obtenemos que
1
_

0
n
()d =
1
1
_

0
cos
2
d +
1
2
_

0
sen
2
d
=
1
2
+
1
2
=
1
2
(
1
+
2
) = H .
3.5. Probar que en puntos correspondientes, las supercies dadas por
(u, v) (u cos v, u senv, log u)
(u, v) (u cos v, u senv, v)
tienen igual curvatura gaussiana.
Solucion: Sean
(u, v) = (u cos v, u sen v, log u), (u, v) = (u cos v, u senv, v) .
Tenemos que
u
=
_
cos v, sen v,
1
u
_
,
v
= (u sen v, u cos v, 0)
y ademas
u

v
= (cos v, sen v, 0). Luego, los coecientes de la
primera forma fundamental son
E
=
u
2
+ 1
u
2
, F
= 0, G
= u
2
y el vector normal unitario es
=

u
=
1
u
2
+ 1
(cos v, sen v, u)
uu
=
_
0, 0,
1
u
2
_
,
uv
= (sen v, cos v, 0),
vv
(u cos v, u sen v, 0)
y los coecientes de la segunda forma fundamental son
e
=
1
u
u
2
+ 1
, f
= 0, g
=
u
u
2
+ 1
.
Entonces, la curvatura gaussiana de la primera supercie es
K
=
eg f
2
EG F
2
=
1
(u
2
+ 1)
2
.
Por otro lado, se tiene para segunda supercie
u
= (cos v, sen v, 0),
v
= (u sen v, u cos v, 1)
adem as
u

v
= (sen v, cos v, u) y los coecientes de la primera
forma fundamental son
E
= 1, F
= 0, G
= 1 +u
2
el vector unitario normal resulta ser
=

u
=
1
u
2
+ 1
(sen v, cos v, u)
uu
= (0, 0, 0),
uv
= (sen v, cos v, 0),
vv
= (u cos v, u senv, 0)
los coecientes de la segunda forma fundamental son
e
= 0, f
=
1
1 +u
2
, g
= 0 .
Por lo tanto,
K
=
eg f
2
EGF
2
=
1
(u
2
+ 1)
2
= K
.
3.6. En el toro de revolucion encontrar el maximo y el mnimo de K y donde
ocurre.
Solucion: Considere
(u, v) = ((a +r cos u) cos v, (a +r cos u) sinv, r sin u)
la parametrizacion del toro con r < a. Notemos que
u
= (r sin u cos v, r sin u sin v, r cos u)
v
= ((a +r cos u) sin v, (a +r cos u) cos v, 0) .
Entonces, los coecientes de la primera forma fundamental son:
E =
u
2
= r
2
, F =
u
,
v
= 0, G =
v
2
= (a +r cos u)
2
.
Adem as,
uu
= (r cos u cos v, r cos u sinv, r sin u)
uv
= (r sin u sinv, r sin u cos v, 0)
vv
= ((a +r cos u) cos v, (a +r cos u) sin v, 0)
y como
v
=
(r(a+r cos u) cos u cos v, r(a+r cos u) cos u sin v, r(a+r cos u) sinu)
v
=
EGF
2
=
_
r
2
(a +r cos u)
2
= r(a + cos u) .
Entonces, N = (cos u cos v, cos u sinv, sin u) , con esta informa-
cion tenemos que los coecientes de la segunda forma fundamental son:
e = N,
uu
= r, f = N,
uv
= 0, g = N,
vv
= (a +r cos u) cos u .
Entonces, la curvatura gaussiana del toro es:
K =
eg f
2
EGF
2
=
r(a +r cos u) cos u
r
2
(a +r cos u)
2
=
cos u
r(a +r cos u)
. (3.7)
Ahora bien, para encontrar el maxmo y minimo de la curvatura Gaus-
siana consideramos K como una funcion de u derivando obtenemos que
K
=
a sen u
r(a +r cos u)
2
= 0 u = 0, .
x
y
z
curvatura
mnima
curvatura
maxima
Por lo tanto, la curvatura maxima y minima corresponden a los circulos
de radio a +r y a r respectivamente que estan en la interseccion del
toro con el plano xy.
3.7. En una supercie de revolucion
(u, v) = (h(u) cos v, h(u) senv, g(u)) .
Demuestre que las curvaturas normales en las direcciones de
u
y
v
son
e
E
y
g
G
respectivamente. Muestre que los meriadianos y paralelos
son lneas de curvatura.
Solucion: Asumamos que la curva (t) = (h(t), g(t)) es parametrizada
por arco-parametro entonces
u
= (h
cos v, h
sen v, g
),
v
= (h sen v, h cos v, 0)
y los coecientes de la primera forma fundamental son
E = 1, F = 0, G = h
2
.
Adem as,
u
v
= (hg
cos v, hg
sin v, h
h) entonces el vector normal

unitario a la supercie es U = (g
cos v, g
sin v, h
) y tenemos que
uu
= (h
cos v, h
sin v, g
uv
= (h
sin v, h
cos v, 0)
vv
= (h cos v, h sin v, 0)
entonces los coecientes de la segunda forma fundamental son
e = h
, f = 0, g = hg
.
La ecuacion diferencial para las lineas de curvatura es
(fE eF)(u
)
2
+ (gE eG)u
+ (gF fG)(v
)
2
= 0 .
Un meridiano es parametrizado por la curva (t) = (t, a) donde a es
constante entonces u
= 1 y v
= 0 y la ecuacion diferencial de las lineas

de curvatura nos queda fE eF = 0, como F = f = 0 entonces los
meridianos son lineas de curvatura. Un paralelo es parametrizado por
la curva (t) = (b, t) donde b es constante entonces u
= 0 y v
= 1 y
la ecuacion diferencial queda gF fG = 0 y como F = f = 0 entonces
la ecuacion diferencial es satisfacida por y los paralelos son lineas
curvatura. Ahora bien, sabemos si (t) = (u(t), v(t)) es una curva
regular no necesariamente parametrizada por arco-parametro entonces
la curvatura normal es dada por
n
=
e(u
)
2
+ 2fu
+g(v
)
2
E(u
)
2
+ 2Fu
+G(v
)
2
hallar las curvaturas normales en las direcciones de
u
y
v
es equiva-
lente a hallar las curvaturas normales para las curvas coordenadas y
. Entonces, para la curva se tiene que u
= 1 y v
= 0 entonces la
curvatura normal es
n
= e/E y de manera similar para la curvatura
normal es
n
= g/G como queriamos demostrar.
3.8. En la supercie de revolucion de la catenaria
y = c cosh
_
x
c
_
.
Demuestre que K =
1
c
2
cosh
4
_
u
c
_, H = 0.
Solucion: La parametrizacion de la catenaria de revolucion es
(u, v) =
_
u, c cosh
_
u
c
_
cos v, c cosh
_
u
c
_
sen v
_
entonces
u
=
_
1, senh
_
u
c
_
cos v, senh
_
u
c
_
sen v
_
v
=
_
0, c cosh
_
u
c
_
sen v, c cosh
_
u
c
_
cos v
_
uu
=
_
0,
1
c
cosh
_
u
c
_
cos v,
1
c
cosh
_
u
c
_
sen v
_
uv
=
_
0, senh
_
u
c
_
sen v, senh
_
u
c
_
cos v
_
vv
=
_
0, c cosh
_
u
c
_
cos v, c cosh
_
u
c
_
sen v
_
v
=
_
c senh
_
u
c
_
cosh
_
u
c
_
, c cosh
_
u
c
_
cos v, s cosh
_
u
c
_
sen v,
_
luego el vector normal unitario U es
N =
_
tanh
_
u
c
_
,
cos v
cosh
_
u
c
_,
sen v
cosh
_
u
c
_
_
y los coecientes de la primera y segunda forma fundamental son
E =
u
,
u
= cosh
2
_
u
c
_
, e = U,
uu
=
1
c
,
F =
u
,
v
= 0 , f = U,
uv
= 0 ,
G =
v
,
v
= c
2
cosh
2
_
u
c
_
, g = U,
vv
= c .
La curvatura Gaussiana es entonces
K =
eg f
2
EGF
2
=
1
c
2
cos
4
_
u
c
_
y la curvatura media es
H =
1
2
eG2fF +gE
EG F
2
=
1
2
c cosh
2
_
u
c
_
+c cosh
2
_
u
c
_
c
2
cosh
4
_
u
c
_ = 0 .
3.9. En la supercie de revolucion de
(u) = (u, e
u
2
/2
, 0)
en torno al eje x, encuentre K y las regiones en las cuales K > 0, K = 0,
K < 0.
Solucion: La parametrizacion para la supercie de revolucion es
(u, v) = (u, e
u
2
/2
cos v, e
u
2
/2
sen v)
y tenemos que
u
= (1, ue
u
2
/2
cos v, ue
u
2
/2
sen v),
v
= (0, e
u
2
/2
sen v, e
u
2
/2
cos v)
E = 1 +u
2
e
u
2
, F = 0, G = e
u
2
.
Adem as
u

v
= (ue
u
2
, e
u
2
/2
cos v, e
u
2
/2
sen v) entonces el
vector unitario normal a la supercie es
N =
1
1 +u
2
e
u
2
(ue
u
2
/2
, cos v, sen v)
y tenemos que
uu
= (0, e
u
2
/2
(u
2
1) cos v, e
u
2
/2
(u
2
1) sen v)
uv
= (0, ue
u
2
/2
sen v, ue
u
2
/2
cos v)
vv
= (0, e
u
2
/2
cos v, e
u
2
/2
sen v)
entonces los coecientes de la segunda forma fundamental son
e =
e
u
2
/2
(u
2
1)
1 +u
2
e
u
2
, f = 0, g =
e
u
2
/2
1 +u
2
e
u
2
.
Por lo tanto, la curvatura Guassiana es
K =
u
2
1
(1 +u
2
e
u
2
)
2
=
_
_
K > 0 si u (, 1) (1, )
K = 0 si u = 1
K < 0 si u (1, 1)
3.10. Considere
(u, v) = ((a +r cos u) cos v, (a +r cos u) sin v, r sin u)
la parametrizacion del toro y sea K la curvatura gaussiana. Demuestre
que
_ _
KdA
= 0
Solucion: Por el problema 3.6 en la igualdad (3.7), sabemos que la
curvatura gaussiana del toro es:
K =
eg f
2
EGF
2
=
cos u
r(a +r cos u)
y el elemento de area es:
dA
EGF
2
dudv = r(a +r cos u)dudv
Por lo tanto,
_ _
KdA
=
_
2
0
_
2
0
cos u
r(a +r cos u)
r(a +r cos u)
=
_
2
0
_
2
0
cos ududv = 0 .
3.11. Demuestre que las curvaturas principales estan dadas por
H
H
2
K
donde H y K son las curvaturas media y gaussiana, respectivamente.
Adem as, si F = f = 0 entonces las curvaturas principales vienen dadas
por
e
E
y
g
G
.
Solucion: Sabemos que
K =
1
2
=
eg f
2
EGF
2
y
H =
1
2
(
1
+
2
) =
1
2
eG 2fF +gE
EGF
2
.
El polinomio (
1
)(
2
) tiene como raices las curvaturas principales.
Note que
(
1
)(
2
) =
2
(
1
+
2
) +
1
2
=
2
2H +K = 0 .
Entonces, la ecuacion tiene soluciones
=
2H
4H
2
4K
2
= H
H
2
K .
Ahora, si F = f = 0 entonces la curvatura gaussiana y media tienen la
forma
K =
eg
EG
, H =
eG+gE
2EG
.
Entonces
H
2
K =
(eG+gE)
2
4(EG)
2

eg
EG
=
(eGgE)
2
4(EG)
2
.
Por lo tanto,
H
H
2
K =
eG +gE
2EG

eGgE
2EG
=
_
_
e
E
g
G
.
3.12. Demuestre que una supercie reglada
(u, v) = (u) +v(u)
tiene curvatura gaussiana K 0.
u
=
(u) +v
(u),
v
= (u) ,
uv
=
(u),
vv
= 0 .
Entonces, e = N,
vv
= 0 y
K =
eg f
2
EGF
2
=
f
2
EG F
2
0
ya que EG F
2
=
u
2
> 0.
3.13. Si = (u, v) es una parametrizaion ortogonal, pruebe que
K =
1
2
EG
__
E
v
EG
_
v
+
_
G
u
EG
_
u
_
.
Deduzca la formula en el caso que sea conforme.
Solucion: Por el Teorema Egregio de Gauss la curvatura gaussiana
solo depende de la primera forma fundamental. Seg un el Corolario 3.1
tenemos que
K =
1
2
E
vv
+F
uv
1
2
G
uu
1
2
E
u
F
u
1
2
E
v
F
v
1
2
G
u
E F
1
2
G
v
F G
0
1
2
E
v
1
2
G
u
1
2
E
v
E F
1
2
G
u
F G
(EGF
2
)
2
como = (u, v) es una parametrizacion ortogonal entonces F = 0
entonces
K =
1
(EG)
2
_
1
2
E
vv
1
2
G
uu
1
2
E
u

1
2
E
v
1
2
G
u
E 0
1
2
G
v
0 G
0
1
2
E
v
1
2
G
u
1
2
E
v
E 0
1
2
G
u
0 G
_
=
1
(EG)
2
__
1
2
E
vv
1
2
G
uu
_
(EG)
1
2
E
u
_
1
2
G
u
G
_
1
2
E
v
_
1
2
G
v
E
_
1
2
E
v
_
1
2
E
v
G
_
+
1
2
G
u
_
1
2
G
u
E
___
=
1
(EG)
2
_
1
2
E
vv
EG
1
2
G
uu
EG+
1
4
E
u
G
u
G+
1
4
E
v
G
v
E
+
1
4
E
v
E
v
G+
1
4
G
u
G
u
e
_
.
Por otro lado,
_
E
v
EG
_
v
=
E
vv
EG +E
v
1
2
(EG)
1/2
(E
v
G+EG
v
)
EG
=
E
vv
EG
1
2
E
v
E
v
G
(EG)
3/2

1
2
EE
v
G
v
(EG)
3/2
=
2
(EG)
3/2
_
1
2
E
vv
EG+
1
4
GE
v
E
v
+
1
4
EE
v
G
v
_
y
_
G
u
EG
_
u
=
g
uu
EGG
u
1
2
(EG)
1/2
(E
u
G+EG
u
)
EG
=
G
uu
EG
1
2
G
u
E
u
G
(EG)
3/2

1
2
G
u
G
u
E
(EG)
3/2
=
2
(EG)
3/2
_
1
2
G
uu
EG+
1
4
G
u
E
u
G+
1
4
G
u
G
u
E
_
Entonces,
K =
|
(EG)
2
_
(EG)
3/2
2
__
E
v
EG
_
v
+
_
G
u
EG
_
u
__
=
1
2
EG
__
E
v
EG
_
v
+
_
G
u
EG
_
u
_
.
Ahora, si es conforme, entonces E = G = y obtenemos
K =
1
2
__
_
v
+
_
_
u
_
=
1
2
{([log ]
v
)
v
+ ([log ]
u
)
u
}
=
1
2
{(log )
vv
+ (log )
uu
}
=
1
2
(log ) .
3.14. Demuestre que si una curva tiene curvatura normal y geodesica identi-
camente cero, entonces la curva es parte de una linea recta.
Solucion: Tenemos la siguiente relacion
2
=
2
n
+
2
g
entonces si
n
=
g
= 0 implica = 0, luego la curva es parte de una lnea recta.
3.15. Probra que si S es una geodesica no recta contenida en un plano,
entonces es lnea de curvatura. De un ejemplo de una lnea de curvatura
plano que no sea geodesica.
Solucion: Sea P el plano en donde la curva esta contenida. Por estar
contenida en un plano entonces todas las derivadas de son paralelas
al plano P. En particular,
es paralela a P. Por ser una geodesica

entonces
es paralelo a N el vector normal unitario a la supercie. De

esto de deduce que entonces N es paralelo a P, esto implica que N
es
paralelo a P. Sabemos que
NN
N
ademas de lo anterior tenemos que
es paralelo a N. Se concluye que

necesariamente
es paralelo a N
, es decir,
N
(t) = (t)
(t) .
Por el Teorema de Rodrigues esta es una condicion necesaria y suciente
para que sea una lnea de curvatura.
Por otro lado, consideremos la esfera
(u, v) = (a sin v cos u, a sinv sin u, a cos v)
y la curva (t) = (t, /4) mediante algunas cuentas se obtiene que
E = a
2
sin
2
v , e = a sin
2
v ,
F = 0 , f = 0 ,
G = a
2
, g = a .
Se verica sin dicultades que satisface la ecuacion diferencial
(fE eF)(u
)
2
+ (gE eG)u
+ (gF fG)(v
)
2
= 0
o equivalentemente
(v
)
2
u
(u
)
2
E F G
e f g
= 0
entonces es lnea de curvatura que es claramente plana. El vector
normal de la curva esta contenido en el plano en donde esta la curva
pero el vector normal a la supercie es radial, luego
= n no es
paralelo a N por lo tanto no es una geodesica.
3.16. Sea p un punto en S. Una direccion asintotica de S en p es una di-
reccion de T
p
(S) para la cual la curvatura normal es cero. Demuestre
que K 0 para todo punto de una curva asintotica sobre una supercie.
Solucion: Sea S una curva asintotica entonces tenemos que
n
(p) = 0 p .
Ademas, por el Teorema de Euler, sabemos que
n
=
1
cos
2
+
2
sin
2
entonces necesariamente
1
0 y
2
0 entonces K =
1
2
0.
3.17. Demuestre que una curva S es geodesica y curva asintotica si y
s olo si es un segmento de recta.
Solucion: Si es curva asintotica entonces
n
(p) = 0 para cada p .
Por ser una geodesica entonces su curvatura geodesica satisface
g
(p) = 0, p .
Sabemos que
2
=
2
n
+
2
g
= 0 para todo p entonces como la
curvatura de la curva es cero, se concluye que es un segmento de recta.
Recprocamente, si es un segmento de recta entonces su curvatura
= 0 y
1
=
2
= 0 lo cual implica
n
= 0 y es curva asintotica.
Adem as,
2
g
=
2
2
n
= 0 es geodesica.
3.18. (a) Demostrar que una supercie compacta (es decir, cerrada y acotada
en R
3
) tiene un punto de curvatura gaussiana positiva.
(b) Demuestre que si K
S
0 entonces S no es compacta.
Solucion:
a) Sea S una supercie compacta y consideremos f : S R denida
por
f(p) = d(0, P)
la distacia de un punto p S al origen. Por ser S acotada existe
q S tal que
max
p S
f(p) = f(q) = r .
Sea S
r
= {w R
3
: w = r} la esfera de radio r entonces q
S
r
y los planos tangentes de la esfera y la supercie en el punto q
coinciden, entonces
2
= K
S
(q) = K
Sr
(q) =
1
r
2
0 ,
por lo tanto q es un punto de curvatura gaussiana positiva.
b) Otra forma de enunciar (a) es la siguiente:
Si S es compacta entonces existe q S tal que K(q) > 0.
El contra-recproco es:
Si K(q) 0 para todo q S entonces S no es compacta.
3.19. Demostrar que no existen supercies mnimas compactas.
Solucion: La demostracion se basa en el hecho que siempre es posi-
ble de parametrizar un entorno de cualquier supercie regular de forma
que
E =
u
,
u
=
2
, F =
u
,
v
= 0 , G =
v
,
v
=
2
.
Entonces
H =
1
2
eG2fF +gE
EGF
2
=
1
2
2
(e +g) .
Si S es supercie mnima entonces H = 0 lo que implica que e +g = 0,
luego
K =
eg f
2
EGF
2
=
(e
2
+f
2
)
4
0
por problema 3.18(b) la supercie S no es compacta.
3.20. Determine las geodesicas sobre la esfera
S
2
= {(x, y, z) R
3
| x
2
+y
2
+z
2
= 1} .
Solucion: Por el problema 3.1, sabemos que la curvatura normal de
cualquier curva sobre una esfera de radio 1 es
n
= 1. Ahora bien,
una curva es geodesica si y solo si
g
= 0. Usando la formula
2
=
2
n
+
2
g
se obtiene que las curvas geodesicas satisfacen =
n
= 1. Es decir,
las geodesicas de la esfera son las curvas que son circulos de radio 1.
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.
Solucion: Supongamos que esta arcoparametrizada por el Teorema
de Rodrigues, es lnea de curvatura si y solo si N
(t) = (t)
(t). Por
estar contenida en un plano P entonces
= 0. Luego,
d
dt
n, N = n
, N +n, N
= t + b, N +n, t
= t, N
. .
0
+
..
0
b, N + n, t
. .
0
= 0
Entonces, n, N = cos es constante. Por lo tanto, como el vector a P
tiene angulo constante con n, se concluye que N y el vector normal a
P forman un angulo constante.
3.22. Sea S una curva regular sobre una supercie S con curvatura
Gaussiana K > 0. Demuestre que la curvatura de en p satisface
mn(|
1
|, |
2
|) ,
donde
1
y
2
son las curvaturas principales de S en p.
Solucion: Sabemos que toda curvatura normal satisface
1

n

2
.
Ademas, de la identidad
2
=
2
n
+
2
g
se deduce que |
n
| , lo cual
implica lo pedido.
3.23. Si una supercie tiene primera forma fundamental de la forma
e
(du
2
+dv
2
) ,
donde es una funcion continua de u y v, demuestre que la curvatura
gaussiana K satisface
+ 2Ke
= 0 ,
donde denota el Laplaciano
2
/u
2
+
2
/v
2
.
Solucion: Primero observe que dado que la primera forma fundamental
es e
(du
2
+ dv
2
) entonces E = G = e
= y F = 0, es decir la super-
cie es conforme, al nal del problema 3.10 se dedujo que la curvatura
gaussiana en este caso viene dada por
K =
1
2
(log ) =
1
2e
,
como queriamos probar.
3.24. Sea S una supercie de revolucion. Calcular
__
S
Kd
Solucion: Si (u) = (f(u), g(u)) es la curva generatriz arcoparametri-
zada entonces la parametrizacion : U R
2
R
3
de la supercie de
revolucion es:
(u, v) = (f(u) cos v, f(u) sinv, g(u))
donde U = {(u, v) : a < u < b, 0 < v < 2} y tenemos que
u
= (f
(u) cos v, f
(u) sinv, g
(u))
v
= (f(u) sin v.f(u) cos v, 0)
uu
= (f
(u) cos v, f
(u) sin v, g
(u))
uv
= (f
(u) senv, f
(u) cos v, 0)
vv
= (f(u) cos v, f(u) sinv, 0)
v
= (f(u)g
(u) cos v, f(u)g
(u) sin v, f(u)f
(u)) .
Entonces, los coeciente de la primera formal fundamental son:
E =
u
2
= (f
(u))
2
+ (g
(u))
2
=
(t)
2
= 1 ,
F =
u
,
v
= 0, G =
v
2
= (f(u))
2
.
Como
u
v
=
EGF
2
= f(u) entonces el vector normal unitario
es:
N =

u
= (g
(u) cos v, g
(u) sinv, f
(u)) .
Entonces, los coecientes de la segunda forma fundamental son:
e = N,
uu
= f
(u)g
(u) f
(u)g
(u) ,
f = N,
uv
= 0, g = N,
vv
= f(u)g
(u) .
Entonces la curvatura gaussiana nos queda
K =
eg f
2
EGF
2
=
(f
(u)g
(u) f
(u)g
(u))f(u)g
(u)
(f(u))
2
=
(f
(u)g
(u) f
(u)g
(u))g
(u)
f(u)
.
Por otro lado, como (f
(u))
2
+ (g
(u))
2
= 1 derivando obtenemos que
f
(u)f
(u) +g
(u)g
(u) = 0 entonces
(f
(u)g
(u) f
(u)g
(u))g
(u) = f
(u)g
(u)g
(u) f
(u)(g
(u))
2
= (f
(u))
2
f
(u) f
(u)(g
(u))
2
= f
(u) .
Con esto la curvatura gaussiana nos da
K =
f
(u)
f(u)
.
Sabemos que el d =
u
v
dudv = f(u)dudv entonces
__
S
Kd =
_
2
0
_
b
a
(u)
f(u)
f(u)dudv = 2(f
(a) f
(b)) .
3.25. Sea N el vector normal a la supercie (u, v). Demuestre que
N
u
= a
u
+b
v
, N
v
= c
u
+d
v
, (3.8)
donde
_
a c
b d
_
= F
1
I
F
II
=
_
E F
F G
_
1
_
L M
M N
_
.
Solucion: Como N es un vector unitario, se tiene que N
u
y N
v
son
perpendiculares a N, luego pertenecen al plano tangente de y por lo
tanto son combinaci on lineal de
u
y
v
. Luego los escalares a, b, c y d
satisfacen (3.8) y existen. Por otro lado note que
N,
u
= 0 N
u
,
u
+N,
uu
= 0 N
u
,
u
= L .
Similarmente,
N
u
,
v
= N
v
,
u
= M, N
v
,
v
= N .
Haciendo el producto interno de cada una de las ecuaciones en (3.8) con
u
y
v
obtenemos
e = aE +bF , f = cE +dF,
f = aF +bG , g = cF +dG.
Esta ecuacion es equivalente con la siguiente ecuacion matricial
_
e f
f g
_
=
_
E F
F G
__
a c
b d
_
(3.9)
esto completa la prueba.
3.26. La tercera forma fundamenta de una supercie (u, v) es
N
u
2
(u
)
2
+ 2N
u
, N
v
u
+N
v
2
(v
)
2
.
Sea F
III
la matriz simetrica de 2 2 asociada a la tercera forma fun-
damental. Demuestre que
F
III
= F
II
F
1
I
F
II
.
Solucion: Por problema anterior tenemos que N
u
= a
u
+b
v
y N
v
=
c
u
+d
v
, luego
F
III
=
_
N
u
, N
u
N
u
, N
v
N
u
, N
v
N
v
, N
v
_
=
_
Ea
2
+ 2Fab +Gb
2
Eac +F(ad +bc) +Gbd
Eac +F(ad +bc) +Gbd Ec
2
+ 2Fcd +Gd
2
_
=
_
a b
c d
__
E F
F G
__
a c
b d
_
= (F
1
I
F
II
)
t
F
i
(F
1
I
F
II
)
= F
II
F
1
I
F
I
F
1
I
F
II
= F
II
F
1
I
F
II
3.27. Demuestre que, si F
III
es la tercera forma fundamental de una supercie
, entonces
F
III
2HF
II
+KF
I
= 0 ,
donde K y H son las curvaturas gaussiana y media de .
Solucion: Usando el ejercicio anterior sabemos que F
III
= F
II
F
1
I
F
II
.
Multiplicando por la izquierda por F
1
I
obtenmos que
F
1
I
F
III
= (F
1
I
F
II
)
2
= A
2
=
_
a c
b d
_
2
.
Por otro lado, se sabe del algebra lineal que una matriz A =
_
a c
b d
_
satisface la ecuacion
A
2
(a +d)A+ (ad bc)I = 0 .
Note que de la ecuacion (3.9) obtenemos inmediatamente que det A = K
y ademas se sabe que 2H = a +d entonces obtenemos
F
III
2HF
II
+KF
I
= 0 .
3.28. Suponiendo que la Tierra es esferica. Demuestre que no es posible di-
bujar un mapa de parte de la Tierra en que todas las distancias en el
mapa correspondan a un m ultiplo jo de las distancias reales.
Solucion: Una funcion de una region de la supercie de la Tierra
que no distorsiona las distancia sera un difeomorsmo desde esta re-
gion de la esfera a una region en el plano la cual multiplica todas las
distancias por el mismo factor constante, digamos c y denotamos por
f : T S
2
R R
2
el difeomorsmo, entonces se cumple que
f(z) f(w) = c d
S
2(z, w)
donde d
S
2 representa la distancia en S
2
. Ahora bien, considere la apli-
cacion g : R
2
R
2
dada por
g(x) =
x
c
entonces la aplicacion = g f : T S
2
R R
2
satisface
(z) (w) =
1
c
f(z) f(w) = d
S
2(z, w)
entonces es una isometria. Sabemos que la curvatura gaussiana de
una supercie es invariante por isometrias entonces
1 = K
S
2 = K
R
2 = 0
lo cual es absurdo.
3.29. Demostrar que no existe una supercie (u, v) tal que E = G = 1,
F = 0 y e = 1, f = 1, g = 0.
Solucion: Supongamos que existe tal supercie. Sabemos que:
K =
eg f
2
EG F
2
=
1 0
1 0
= 1 .
Por otro lado, usando el Teorema Egregio de Gauss obtenemos
K =
1
2
(log ) = 0 ,
pues = 1 = E = G, lo cual es una contradiccion.
3.30. Sea (u, v) una supercie. Demuestre la ecuacion de Gauss
uu
=
1
11
u
+
2
11
v
+eN
uv
=
1
12
u
+
2
12
v
+fN
vv
=
1
22
u
+
2
22
v
+gN
donde
1
11
=
GE
u
2FF
u
+FE
v
2(EGF
2
)
,
2
11
=
2EF
u
EE
v
FE
u
2(EGF
2
)
,
1
12
=
GE
v
FG
u
2(EGF
2
)
,
2
12
=
EG
u
FE
v
2(EGF
2
)
,
1
22
=
2GF
v
GG
u
FG
u
2(EGF
2
)
,
2
22
=
EG
v
2FF
v
+FG
u
2(EGF
2
)
,
son los smbolos de Christoel.
Solucion: Como {
u
,
v
,

N} es una base de R
3
, existen escalares
1
, . . . ,
3
tales que
uu
=
1
u
+
2
v
+
3

N
uv
=
1
u
+
2
v
+
3

N (3.10)
vv
=
1
u
+
2
v
+
3

N
haciendo el producto punto de cada una de estas ecuaciones con el
vector

N se obtiene que
3
= e ,
3
= f ,
3
= g .
Ahora bien, haciendo el producto punto de las ecuaciones en (3.10) con-
tra
u
y
v
obtenemos seis ecuaciones escalares para las seis incognitas
que representan los smbolos de Cristoel. A manera de ejemplo si ha-
cemos el producto punto en la primera ecuacion de (3.10) se obtienen
las ecuaciones:
E
1
+F
2
=
uu
,
u
=
1
2
E
u
F
1
+G
2
=
uu
,
v
= (
u
,
v
)
u
u
,
uv
= F
u
1
2
E
v
resolviendo estas ecuaciones nos da que
1
=
1
11
y
2
=
2
11
y se
procede de manera similar para las otras cuatro ecuaciones.
3.31. Demuestre las ecuaciones de Codazzi-Mainardi para una supercie (u, v)
e
v
f
u
= e
1
12
+f(
2
12
1
11
) g
2
11
,
f
v
g
u
= e
1
22
+f(
2
22
1
12
) g
2
12
.
Solucion: Notemos que (
uu
)
v
= (
uv
)
u
y usando las ecuaciones de
Gauss mostradas en el problema anterior y obtenemos
(
1
11
u
+
2
11
v
+eN)
v
= (
1
12
u
+
2
12
v
+fN)
u
.
Derivando y agrupando terminos en la igualdad anterior obtenemos
_
1
11
v

1
12
u
_
u
+
_
2
11
v

2
12
u
_
v
+ (e
v
f
u
)N
=
1
12
uu
+ (
2
12
1
11
)
vv
2
11
vv
eN
v
+fN
u
=
1
12
(
1
11
u
+
2
11
v
+eN) + (
2
12
1
11
)(
1
12
u
+
2
12
v
+fN)
2
11
(
1
22
u
+
2
22
v
+gN) eN
v
+fN
u
.
Ahora bien,

N
u
y

N
v
son perpendiculares a

N, luego ellos son combi-
naciones lineales de
u
y
v
. Entonces basta igualar en ambos lados de
la igualdad de arriba todos los terminos con componentes en N y se
obtiene
f
v
g
u
= e
1
22
+f(
2
22
1
12
) g
2
12
que es la primera ecuacion de Codazzi-Mainardi. La otra ecuacion se
obtiene de manera similar usando la identidad (
uv
)
v
= (
vv
)
u
.
3.32. Demuestre que no existe una supercie cuyas primera y segunda formas
fundamentales son
du
2
+ cos
2
udv
2
y cos
2
udu
2
+dv
2
,
respectivamente.
Solucion: Supongamos que existe tal supercie, entonces se tiene que
E = 1 , F = 0 , G = cos
2
u .
Usando las formulas para los smbolos de Cristoel hallados en problema
anterior obtenemos que
1
12
=
2
22
= 0,
1
22
= sen u cos u,
2
12
= tan u .
Como e = cos
2
u, f = 0 y g = 1 entonces la segunda ecuacion de
Codazzi-Mainardi, esto es
f
v
g
u
= e
1
22
+f(
2
22
1
12
) g
2
12
no se satisface, lo cual es una contradiccion.
3.33. Considerese el toro de revolucion generado por la rotacion del crculo
(x a)
2
+z
2
= r
2
, y = 0 (a > 0, r > 0)
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
b. Una curva asintotica
c. Una lnea de curvatura
Solucion: La parametrizacion del toro de revolucion es:
(u, v) = ((a +r cos u) cos v, (a +r cos u) sinv, r sin u) .
Parametrizamos el paralelo maximo mediante:
(s) =
_
s
r +a
, 0
_
=
_
(r +a) cos
_
s
r +a
_
, (r +a) sin
_
s
r +a
_
, 0
_
.
Entonces es una geodesica si y solo si se satisface el siguiente sistema
u
+
1
11
(u
)
2
+ 2
1
12
u
+
1
22
(v
)
2
= 0 ,
v
+
2
11
(u
)
2
+ 2
2
12
u
+
2
22
(v
)
2
= 0 . (3.11)
Sabemos que los coecientes de la primera y segunda forma fundamental
del toro son:
E = r
2
, F = 0, G = (a +r cos u)
2
,
e = r, f = 0, g = (a +r cos u) cos u ,
luego los simbolos de Cristoel son
1
11
= 0,
1
12
= 0,
1
22
=
(a +r cos u) sen u
r
2
11
= 0,
2
12
=
(a +r cos u) sen u
r
,
2
22
= 0
y para tenemos que
v(s) = 0, u(s) =
s
r +a
, v
= 0, u
=
1
r +a
, v
= 0, u
= 0
por lo tanto es geodesica, ya que satisface el sistema (3.6). Por otro
lado, la ecuacion diferencial para las lneas de curvatura es:
(fE eF)(u
)
2
+ (gE eG)u
+ (gF fG)(v
)
2
= 0
y la ecuacion diferencial de las curvas asintoticas es
e(u
)
2
+ 2fu
+g(v
)
2
= 0 .
Como satisface ambas ecuaciones diferenciales es por lo tanto una
lnea de curvatura y una curva asintotica.
De manera similar parametrizamos el paralelo mnimo mediante
(s) =
_
s
r +a
,
_
=
_
(r a) cos
_
s
r a
_
, (r a) sin
_
s
r a
_
, 0
_
donde para tenemos
v(s) = , u(s) =
s
r a
, v
= 0, u
=
1
r a
, v
= 0, u
= 0 .
Entonces, de las ecuaciones diferenciales se observa es geodesica y una
lnea de curvatura, pero no es una curva asintotica. Ahora parametri-
zamos el paralelo superior mediante:
(s) =
_
s
a
,

2
_
=
_
a cos
s
a
, a sin
s
a
, r
_
donde para se tiene
v(s) =

2
, u(s) =
s
a
, v
= 0, u
=
1
a
, v
= 0, u
= 0
Entonces es una geodesica y verica las ecuaciones diferenciales de
las lneas de curvatura y de las curvas asintoticas.
3.34. En el toro del ejercicio anterior, calc ulese la curvatura geodesica del
paralelo superior.
Solucion: Usamos el hecho que el valor absoluto de la curvatura geodesi-
ca es igual al valor absoluto de la proyeccion de la curvatura habitual
sobre el plano tangente. Ahora bien, el plano tangente sobre el paralelo
superior es igual al plano xy como (s) =
_
a cos
s
a
, a sin
s
a
, r
_
entonces
proyectada sobre el plano tangente es:
0
(s) =
_
a cos
s
a
, a sin
s
a
, 0
_
y
0
(s) =
_
sin
s
a
, cos
s
a
, 0
_
, n(s) =
_
cos
s
a
, sin
s
a
, 0
_
0
(s) =
_
1
a
cos
s
a
,
1
a
sin
s
a
, 0
_
=
1
a
n(s)
entonces
k(s) =
1
a
|k
g
(s)| = |k(s)| =
1
a
.
3.35. Sea = (s) una curva arcoparametrizada contenida en una supercie
S. En el punto p = (0) se escoge una base ortonormal de T
p
S,

t,
h, de
modo que

t =
(0) y

N =

t
h. Se dene la torsion geodesica de en

p como
g
=
_
d

N
ds
(0),
h
_
.
(i) Probar que
g
= (
1

2
) cos sen , donde es el angulo de e
1
hacia

t.
(ii) Probar que las lneas de curvatura estan caracterizadas por tener
torsion geodesica identicamente cero.
Solucion:
(i) En la base {e
1
, e
2
}, denida por las direcciones principales pode-
mos escribir
t = e
1
cos +e
2
sen
como

t y

h son perpendiculares se concluye que
h = e
1
sen e
2
cos
entonces
g
=
_
d

N
ds
(0),
h
_
=
_
d

N
ds
(e
1
cos +e
2
sen ), e
1
sen e
2
cos
_
= e
1
1
cos +e
2
2
sen , e
1
sen e
2
cos
=
1
cos sen
2
sen cos
= (
1
2
) cos sen
(ii) Tenemos que
N, n = cos , N,
t = 0, N,
b = sen
entonces N = ncos +
b sen y observe que

N
= n
cos +
sen +
d
ds
( nsen +
b cos )
= (
b) cos + nsen +
d
ds
( nsen +
b cos )
= cos
t +
_
t
d
ds
_
(
b cos + nsen )
como

h =

N

t = ( ncos +

b sen )

t lo que nos da

h =
b cos + nsen , luego

N
= cos
t +
_
t
d
ds
_
h =
n
t +
_
t
d
ds
_
como
g
= N
h =
_
t +
_
t
d
ds
_
h,
h
_
=
d
ds
se concluye que
N
=
n
t +
g
h
Por el Teorema de Rodrigues es lnea de curvatura si y solo si
N
t si y solo si
g
= 0.
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.
N, n = cos , N, t = 0, N, b = sen
entonces N = cos n + sen b y
dN
ds
= sen
d
ds
n + cos (t b) + cos
d
ds
b + sen n
como es asintotica entonces 0 =
_
dN
ds
, t
_
= cos con = 0
entonces cos = 0 lo que implica que N = b. Entonces, t = cos e
1
+
sen e
2
dN
ds
=
db
ds
= n .
Luego,
D
t
N = cos D
e
1
N + sen D
e
2
N
=
1
cos e
1
2
sen e
2
= {sen e
1
+ cos e
2
} .
Por lo tanto,
1
cos = sen
2
sen = cos
tan =

1
tan =
2
entonces
1
2
=
2
2
= K.
3.37. Considere la supercie de Enneper
(u, v) =
_
u
u
3
3
+uv
2
, v
v
3
3
+vu
2
, u
2
v
2
_
.
Demuestre que
(a) Los coecientes de la primera forma fundamental son
E = G = (1 +u
2
+v
2
)
2
, F = 0 .
(b) Los coecientes de la segunda forma fundamental son
e = 2 , g = 2 , f = 0 .
(c) Las curvaturas principales son
1
=
2
(1 +u
2
+v
2
)
2
,
2
=
2
(1 +u
2
+v
2
)
2
.
(d) Las lneas de curvatura son las curvas coordenadas.
(e) Las curvas asintoticas son u +v =const., u v =const.
Solucion:
(a) Tenemos que las derivadas parciales de la parametrizacion son
u
= (1 u
2
+v
2
,2uv, 2u) ,
v
= (2uv, 1 v
2
+u
2
, 2v) .
Luego, los coecientes de la primera forma fundamental son:
E =
u
2
= (1 u
2
+v
2
)
2
+ 4u
2
v
2
+ 4u
2
= 1 2(u
2
v
2
) + (u
2
v
2
)
2
+ 4u
2
v
2
+ 4u
2
= 1 + 2u
2
+ 2v
2
+u
4
+v
4
+ 2u
2
v
2
= 1 + 2(u
2
+v
2
) + (u
2
+v
2
)
2
= (1 +u
2
+v
2
)
2
,
F =
u
,
v
= 2uv(1 u
2
+v
2
) + 2uv(1 v
2
+u
2
) 4uv = 0 ,
G =
v
2
= 4u
2
v
2
+ (1 v
2
+u
2
)
2
+ 4v
2
= (1 +u
2
+v
2
)
2
.
(b) Tenemos que
v
= (4uv
2
2u(1 v
2
+u
2
), 2v(1 u
2
+v
2
) 4u
2
v,
(1 u
2
+v
2
)(1 v
2
+u
2
) 4u
2
v
2
)
= (2u 2u
3
2uv
2
, 2v + 2v
3
+ 2u
2
v, 1 2u
2
v
2
u
4
v
4
)
Entonces,
u

v
=
EGF
2
= (1 + u
2
+ v
2
)
2
y el vector
unitario normal es
N =

u
=
_
2u 2u
3
2uv
2
(1 +u
2
+v
2
)
2
,
2v + 2v
3
+ 2u
2
v
(1 +u
2
+v
2
)
2
,
2u
2
v
2
u
4
v
4
(1 +u
2
+v
2
)
2
_
.
Adem as,
uu
= (2u, 2v, 2),
uv
= (2v, 2u, 0),
vv
= (2u, 2v, 2) .
Entonces, los coecientes de la segunda forma fundamental son:
e = N,
uu
=
4u
2
+ 4u
4
+ 4v
2
+ 4v
4
+ 4u
2
v
2
+ 2 4u
2
v
2
2u
4
2v
4
(1 +u
2
+v
2
)
2
=
2(2(u
2
+v
2
) + (u
4
+ 2u
2
v
2
+v
4
) + 1)
(1 +u
2
+v
2
)
2
= 2
(1 +u
2
+v
2
)
2
(1 +u
2
+v
2
)
2
= 2 ,
f = N,
uv
=
4uv 4u
3
v 4uv
3
+ 4uv + 4v
3
u + 4u
3
v
(1 +u
2
+v
2
)
2
= 0 ,
g = N,
vv
=
4u
2
4u
4
4v
2
4v
4
4u
2
v
2
2 + 4u
2
v
2
+ 2u
4
+ 2v
4
(1 +u
2
+v
2
)
2
=
2(2(u
2
+v
2
) + (u
4
+ 2u
2
v
2
+v
4
) + 1)
(1 +u
2
+v
2
)
2
= 2 .
(c) Por el problema 3.11 sabemos que las curvaturas principales en el
caso que f = F = 0 son
1
=
e
E
=
2
(1 +u
2
+v
2
)
2
,
2
=
g
G
=
2
(1 +u
2
+v
2
)
2
.
(d) Usando la ecuacion diferencial de las lneas de curvatura dada en la
ecuacion (3.4) y como F = f = 0 obtenemos que
(gE eG)u
= 0 4(1 +u
2
+v
2
)u
= 0
u
= 0 o v
= 0
u = cosntante o v = constante
Por lo tanto, las lneas de curvatura son las curvas coordenadas.
(e) La ecuacion diferencial de las curvas asintoticas es
e(u
)
2
+ 2fu
+g(v
)
2
= 0 ,
como f = 0 entonces
e(u
)
2
+g(vc
)
2
= 0 2(u
)
2
2(v
)
2
= 0
(u
)
2
= (v
)
2
u
= v
u v = constante , u +v = constante .
Captulo 4
El Teorema de Gauss-Bonnet
Una de las consecuencias del Teorema local de Gauss-Bonnet es la si-
guiente: Si en una supercie orientable tenemos un triangulo geodesico con
angulos interiores , , entonces
( + + ) =
__
R
Kd .
S

Geodesica
Geodesica
Geodesica
En la version general de Gauss-Bonnet local consideramos curvas cerradas
simples = (t), 0 t T, suaves a tramos.
115
116 Captulo 4. El Teorema de Gauss-Bonnet
Denicion 4.1.
Diremos que esta orientada positivamente si encierra la region R a su
izquierda vista desde arriba. En cada vertice (t
i
) 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.
(t
j
)
(t
i
)
i
< 0
j
> 0
Sea : U R
2
S una parametrizacion compatible con la orientacion
de S. Suponga ademas que U es homeomorfo a un disco abierto del plano.
Sea
[
0, ] (U) S una curva parametrizada, regular a trozos, cerrada y
simple, con vertices (t
i
) y angulos externos
i
, i = 0, . . . , n1. Consideremos
funciones diferenciables
i
:]t
i
, t
i+1
] R que miden el angulo positivo de
u
a
(t) en cada t [t
i
, t
i+1
].
Teorema 4.1 (Teorema de la Variacion de la tangente).
n1
i=0
((t
i+1
) (t
i
)) +
n1
i=0
i
= 2 .
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 supercie orientada S. Entonces
n1
i=0
_
s
i+1
s
i
g
()ds +
__
R
Kd +
n1
i=0
i
= 2 .
Denicion 4.2.
Llamaremos triangulo a una regi on simple con solo tres vertices, y angulos
externos
i
, i = 1, 2, 3. Una triangulacion de una region regular R S es
una familia nita de triangulos T
i
, i = 1, 2, . . . , n, tal que
(i)
n
_
i=1
T
i
= R.
(ii) Si T
i
T
j
= , entonces o bien T
i
T
j
es un lado com un a T
i
y a T
j
o
bien consta de un vertice com un a T
i
y a T
j
.
Dada una triangulizacion T de una region R S de una supercie S,
denotaremos por C al n umero de triangulos (caras), por L al n umero de lados
(aristas) y por V al n umero de vertices de la triangulacion.
Denicion 4.3.
El n umero
(R) = C L +V
se denomina caracterstica de Euler-Poincare de la triangulacion.
Teorema 4.3.
Para cualquier triangulaci on de una regi on R S el n umero (R) = C
L +V es un invariante que s olo depende de R.
Teorema 4.4.
Sea S R
3
una supercie regular compacta. Entonces
(S) = 2, 0, 2, 4, . . . .
Si S y S
son dos supercies compactas y (S) = (S
) entonces son homeo-

morfos.
En otras palabras, cada supercie conexa y compacta S R
3
es homeo-
morfa a una esfera con un cierto n umero g de asas.
Denicion 4.4.
El n umero
g =
2 (S)
2
se denomina el genero de S.
Teorema 4.5 (Gauss-Bonnet).
Sea R una region es una supercie regular S orientable, con frontera R =
C
1
C
n
, una curva suave a tramos, todas orientadas positivamente.
Entonces
n
i=1
_
C
i
g
(s)ds +
__
R
Kd +
= 2(R) .
4.1 Pruebe que
_
/2
/2
ab
2
cos
(a
2
sin
2
+b
2
cos
2
)
3/2
d = 2 .
Solucion: Considere el elipsoide
x
2
+y
2
a
2
+
z
2
b
2
= 1
donde a, b son constantes positivas, el elipsoide es dideomorfo a la esfera
mediante la funcion (x, y, z) (x/a, y/a, z/b), luego por el Teorema de
Gauss-Bonnet aplicado a supercies compactas obtenemos que
__
S
Kd = 4(1 0) = 4
parametrizando el elipsoide por
(, ) = (a cos cos , a cos sin , b sin )
se encuentra que
K =
b
2
(a
2
sin
2
+b
2
cos
2
)
2
, EGF
2
= a cos
_
a
2
sin
2
+b
2
cos
2
entonces
__
S
Kd =
_
2
0
_
/2
/2
ab
2
cos dd
(a
2
sin
2
+b
2
cos
2
)
3/2
esto completa la solucion.
4.2 Suponga que S es una supercie compacta cuya curvatura gaussiana
K > 0 . Demuestre que S es difeomorfa a una esfera. Es verdad la
recproca de esta armacion?
Solucion: Si K > 0 entonces
__
S
Kd = 2(S) > 0 y como
(S) = 2(1 g) g < 1
como g es un n umero entero no negativo implica que g = 0 luego S es
difeomorfa a una esfera. La recproca es falsa: por ejemplo la supercie
de la gura con forma de capsula es difeomorfa a la esfera,
pero K = 0 en la parte cilindrica.
4.3 Sea S una supercie con curvatura gaussiana K 0. Si S es una
geodesica cerrada suave. Demuestre que no puede encerrrar una region
simple en S.
Solucion: Supongamos que si entonces por el Teorema de Gauus-Bonet
Local tendramos
_
g
(s)
. .
0
ds +
__
R
Kd
. .
0
+
l
. .
0
= 2
lo que es imposible. Por ejemplo en un hiperbolide de revolucion, tenemos
K < 0 y la geodesica cerrada suave no encierra ninguna region simple
tal como lo muestra la gura.
4.4 Sea S una supercie 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.
Solucion: Si
1
es una geodesica desde p a q, seguida de la geodesi-
ca
2
de q a p se acotara una region simple en S
p
q
1
R
y en virtud del Teorema de Gauss-Bonnet Local
__
R
Kd +
1
+
2
= 2
donde
1
y
2
son los angulos externos de la region R. Como las geodesi-
cas
1
,
2
no pueden cortarse tangencialmente, tenemos que
i
< ,
i = 1, 2 y como K 0 obtenemos una contradiccion.
4.5 Sea S una supercie homeomorfa a un cilindro con curvatura gaussiana
K < 0. Demuestre S tiene a los mas una geodesica cerrada simple.
Solucion: Supongamos que hay dos geodesicas cerradas simples. Ar-
mamos que las geodesicas no se cortan. Ya que de lo contario los arcos
comprendidos entre los puntos de interseccion consecutivos constituiran
la frontera de una region simple (ver gura abajo), lo que contradide el
problema anterior.
p
q
region simple
2
Luego, ambas geodesicas deben ser tipo cinturoncomo se aprecia en la
siguiente gura
1
Existe un difeomorsmo entre la region de tipo cinturon y un anillo
como lo muestra la gura
1
Triangulizando un anilo se halla que la caractistica de Euler de un anillo
es cero. Aplicando el Teorema de Gauss-Bonnet
__
R
Kd = 2(S) = 0
lo que es una contradiccion, pues K < 0.
4.6 Sea S una supercie compacta con K > 0. Demuestre que dos geodesicas
cerradas suaves se deben cortar.
Solucion: Por problema 3, sabemos que S es difeomorfa a una esfe-
ra. Ahora bien, si las geodesicas no se cortan
1
entonces seran frontera de una region R tipo cinturoncon (S) = 0.
Aplicando el Teorema de Gauss-Bonnet
__
R
Kd = 0
y como K > 0 esto constituye una contradiccion.
4.7 Sea S una supercie compacta no homeomorfa a la esfera. Probar que
existen puntos en S donde la curvatura gaussiana es positiva, cero y
negativa.
Solucion: Como S no es homeomorfa a la esfera entonces (S) 0
entonces por el Teorema de Gauss-Bonet global para supercies com-
pactas tenemos que
__
S
Kd = 2(S) 0
Por ser S compacta, existe p S tal que K > 0, de lo anterior, se conluye
que necesariamente hay puntos donde K < 0. Ahora bien, tomando
p, q S tales que K(p) > 0 y K(q) < 0 y una curva : I S tal que
(0) = p y (1) = q, entonces
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 supercie homeomorfa a una esfera, y sea una geodesica
cerrada simple, que divide a S en regiones R
1
, R
2
. Probar que las ima-
genes de R
1
, R
2
en la esfera bajo el vector normal a S tienen igual area.
Solucion: Sean : I R
3
una geodesica y (s) = N((s)) la curva
que describe el vector normal a lo largo de . Sean A
1
y A
2
la image-
nes de R
1
y R
2
en la esfera bajo el vector normal a S. Sabemos que la
curvatura gaussiana de la esfera es K 1. Entonces, por el Teorema de
Gauss-Bonet
2 = 2(S
2
)
=
__
A
1
K
..
1
d +
_
A
1
g
..
0
ds
=
__
A
1
d =

Area (A
1
)
como el area de la esfera S
2
es 4 se concluye que
Area (A
1
) =

Area (A
2
)
4.9 Calcular la caracteristica de Euler de
(a) Un elipsoide.
(b) La supercie S = {(x, y, z) R
3
| x
2
+y
10
+z
6
= 1}.
Solucion: Ambas supercies son homemorfas a la esfera S
2
luego la
caracteristica de Euler de ambas supercies es 2. De hecho la aplicacion
: R
3
R
3
denida por (x, y, z) = (x, y
5
, z
3
) dene un homeomors-
mo de la esfera x
2
+y
2
+z
2
= 1 sobre la supercie S.
4.10 Una de las siguientes supercies es compacta y la otra no lo es:
(i) x
2
y
2
+z
4
= 1;
(ii) x
2
+y
2
+z
4
= 1.
Cual es cual, y porque? Esboze la supercie compacta y diga cual es su
caracteristica de Euler.
Solucion: Ambas supercies son cerradas debido a que son de la for-
ma f
1
(0) donde f : R
3
R es una funcion continua. La supercie (i)
no es acotada luego no compacta, ya que contiene los puntos de la forma
(1, r
2
, r) con r R. La supercie (ii) es acotada, luego compacta. Ya
que la ecuacion x
2
+y
2
+ z
4
= 1 implica que 1 x, y, z 1. Por otro
lado, la supercie (ii) es obtenida por rotacion de la curva x
2
+ z
4
= 1
alrededor del eje z:
x
z
Esta supercie es claramente difeomorfa a la esfera, luego = 2.
4.11 (a) Construya un ejemplo de una supercie no compacta en R
3
con
una sucesion de geodesicas cerradas {
n
} tal que el largo (
i
) 0
cuando n .
(b) Demuestre que esto no es posible si la supercie es compacta.
Solucion:
(a) Considere la siguiente supercie S de revolucion generada por una
curva vibrante dada en la gura
x
P
1
P
2
P
3
P
4
P
5
P
6
rotada al rededor del eje x. Sean P

n
los puntos en que tienen vector
tangente paralelo al eje x. Entonces, sobre S, los puntos P
n
generan
geodesicas cerradas
n
cuyo largo tiende a cero.
(b) Supongase que S es una supercie 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 supercies compactas
obtenemos
__
n
Kd = 2(
n
) (4.1)
donde
n
denota el dominio encerrado por
n
. Como S es compacto,
cuando n es sucientemente largo, podemos asumir que
n
es sim-
plemente conexo. Luego, haciendo n en la igualdad en (4.1)
obtenemos un resultado contradictorio 0 = 2.
4.12 Sea (r(s), 0, z(s)) una curva arcoparametrizada en R
3
con r(s) > 0.
Considere la supercie de revolucion
(s, ) (r(s) cos , r(s) sen , z(s))
Sobre esta supercie calcule la derivada covariante
s
y
en
terminos de

y

s
.
Solucion: Un calculo directo nos da que la primera forma fundamental
es
du
2
+r
2
(s)d
2
= Edu
2
+Gd
2
Sabemos que si (t) = (u(t), v(t)) y sea
w(t) = a(u(t), v(t))
u
+b(u(t), v(t))
v
= a(t)
u
+b(t)
v
el campo de vectores en la parametrizacion (u, v). Entonces
dw
dt
= a(
uu
u
+
uv
v
) +b(
vu
u
+ vvv
) +a
u
+b
v
.
Como la derivada covariante es la componente en el plano tangente de
dw/dt, utilizamos las ecuaciones de Gauss para
uu
,
uv
y
vv
y supri-
mimos la componente normal, obtenemos
w
dt
= (a
+
1
11
au
+
1
12
av
+
1
12
bu
+
1
22
bv
)
u
(b
+
2
11
au
+
2
12
av
+
2
12
bu
+
2
22
bv
)
v
.
luego tenemos que para la primera derivada covariante la curva es (t) =
(c, t) donde c es una constante y el campo de vectores es de la forma
w(t) =
entonces en este caso a(t) = 0, b(t) = 1 u(t) = c y v(t) = t

con derivadas u
= 0 y v
= 1 por lo tanto

=
1
22
s
+
2
22
=
G
u
2E
s
+
G
2G
= r(s)r
(s)

s
en donde hemos usado los smbolos de Christoel deducidos la ayudantia
anterior. De manera similar para la segunda derivada covariante tenemos
que la curva es (t) = (c, t) donde c es una constante y el campo de
vectores es w =
s
entonces a(t) = 1, b(t) = 0, u(t) = c y v(t) = t con
lo obtenemos

s
=
1
12
s
+
2
12
=
E
2E
s
+
G
2G
=
r
(s)
r(s)
donde
i
jk
son los simbolos de Christoel.
4.13 Sea
(t) =
_
1
2
cos(t),
1
2
sen(t),
3
2
_
, 0 t < 2
una curva sobre S
2
. Sea X
0
=

x
2
T
(
1
2
,0,
3
2
)
S
2
. Calcule el transporte
paralelo de X
0
a lo largo de x(t).
Solucion: Considere el cono que es tangente a la esfera unitaria S
2
a lo largo de la curva . El angulo del vertice de este cono viene dado
por = arc sen
3
2
=

3
.
p
w
0
0
3
El cono menos un generador es isometrico a un conjunto abierto D R
2
dado en coordenadas polares por 0 < < +, 0 < <
3.
3
s = 0
w
0
w(s)
t(s)
Como el transporte paralelo en el plano coincide con la nocion habitual,
obtenemos, al contar s unidades a partir de p =
_
1
2
, 0,
3
2
_
y abarcar un
angulo central =
3
2
s, que el angulo orientado formado por el vector
tangente t(s) con el transporte paralelo w(s) viene dado por 2 =
2
3
2
s.
4.14 Calcule la curvatura geodesica total de un crculo de radio r sobre una
esfera de radio R > r.
Solucion: Por el Teorema de Gauss-Bonnet, la curvatura geodesica total
es dada por
_
C
g
ds =
__
Kd + 2()
=
1
R
2
2R(R
R
2
r
2
) + 2
= 2
R
2
r
2
R
,
donde C es el crculo dado, y es la capa esferica encerrada por C.
4.15 Demuestre que si la curvatura gaussiana de la esfera S
2
satisface |K| 1,
entonces el area de S
2
no es menor que 4
Solucion: Por el Teorema de Gauss-Bonnet se tiene que
__
S
2
Kd = 2(S
2
) = 4.
Luego, si |K| 1 obtenemos que
4
__
S
2
|K|d Area(S
2
) .
4.16 Al girar la curva, esbozada a continuacion, alrededor del eje x obtenemos
una supercie de revolucion M R
3
. Calcule
__
M
Kd.
x
z
Solucion: La supercie de revolucion asi obtenida por la curva es homeo-
morfa a una seccion de una supercie cilindrica. Luego la caracteristica
de Euler es (M) = 0. Adem as, el borde de M consiste de dos crculos los
cuales justamente son geodesicas en M, porque a lo largo de estos crcu-
los el vector normal a M es paralelo al vector normal de la curva. Por lo
tanto por el teorema de Gauss-Bonnet, obtenemos inmediatamente
__
M
Kd = 0 .
Captulo 5
Supercies Completas.
Teorema de Hopf-Rinow
En el espacio lineal normado T
p
S podemos denir una bola abierta de
radio
B
(0
p
) = { w T
p
S | w < } .
Denicion 5.1.
El mapeo exponencial exp
p
: B
(0
p
) S es denida por
exp
p
( w) =
w/ w
( w) .
Geometricamente, la construccion corresponde a trazar (si es posible) sobre
la unica geodesica que pasa por p en la direccion
w
w
una longitud igual a
w, el punto obtenido por este procedimiento se denota por exp
p
( w).
Denicion 5.2.
Una supercie 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, denida en toda la
recta real R.
En otras palabras, S es completa cuando la aplicacion exp
p
: T
p
S S
esta denida para cada v T
p
S, y esto sucede en todos los puntos p S.
Proposici on 5.1.
Una supercie cerrada S R
3
es completa.
131
132 Captulo 5. Teorema de Hopf-Rinow
Denicion 5.3.
La distancia d(p, q) es denida por
d(p, q) =nf (
p,q
) ,
donde se toma el nmo sobre todas las curvas parametrizadas y deferencia-
bles a trozos que une p y q.
Teorema 5.1 (Hopf-Ronow).
Sea S una supercie y p S. Las siguientes armaciones son equivalentes:
(i) exp
p
est a denida sobre todo T
p
S.
(ii) Los conjuntos cerrados y acotados de S son compactos.
(iii) M es completo como un espacio metrico.
(iv) Dados p, q S, existe una geodesica mnima que une p y q.
5.1. Sea S R
3
una supercie completa y F S cerrado no vaco tal que
S \ F es conexo. Demuestre que S \ F es una supercie no completa.
Solucion: Sea p S \ F y q F, como S es completa existe :
[0, 1] S geodesica minimizante que une p con q.
p
q
F
(s
0
)
Por ser continua existe s
0
[0, 1] tal que (s
0
) F (S \ F). Sea
: [0, s
0
) S geodesica en S \ F entonces no se puede prolongar
para s = s
0
. Por lo tanto, S \ F no es completa.
5.2. Sea S una supercie completa. Demuestre que para cada p S la apli-
cacion exp
p
: T
p
S S es sobreyectiva.
Solucion: Sea q S y considere la geodesica minimizante para-
metrizada por longitud de arco que une p y q con d(p, q) = r.
p q
0
v
rv
(0)

T
p
S
S
exp
p
entonces se tiene que q = exp
p
(rv) donde v =
(0). Luego, exp

p
es
sobreyectiva.
5.3. Sea S una supercie completa. Suponga que existe r > 0 tal que
d(p.q) < r para todo p, q S. Demuestre que S es compacta.
Solucion: Si S es geodesicamente completa entonces para cada p S,
exp
p
: T
p
S S es sobreyectiva. Ahora, como S es acotado existe
B
R
(0) T
p
S tal que
exp
p
(B
R
(0)) = exp
p
(T
p
S) = S
como exp
p
es continua y B
R
(0) es compacto entonces S es compacta.
5.4. Decimos que una sucesion {p
n
}
n=1
de puntos de una supercie S con-
verge a un punto p
0
S en la distancia (intrinsica) d si, dado > 0,
existe n
0
N tal que si n n
0
implica que d(p
n
, p
o
) < . Demuestre
que una sucesion de puntos {p
n
}
n=1
S converge a p
0
S en d si y
solo si {p
n
}
n=1
converge a p
0
como una sucesion de puntos en R
3
(es
decir, en la distancia euclideana).
Solucion:
Dado > 0 existe n
0
N tal que
d(p
n
, p
0
) < , n > n
0
.
Para m N jo con m > n
0
, sea : [a, b] S una curva tal que
(a) = p
0
y (b) = p
m
entonces se sabe que
p
m
p
0
(a) (b)
_
b
a
(t)dt
tomando inmo sobre todas las curvas que unen p
m
con p
0
obtenemos
que
p
m
p
0
d(p
m
, p
0
) <
para cada m > n
0
. Por lo tanto, {p
n
}
n=1
converge a p
0
como una suce-
sion de puntos en R
3
.
Sea : [0, ] S una geodesica parametrizada por longitud
de arco tal que (s
n
) = p
n
y (0) = p
0
. Entonces
d((s
n
), (0)) =
_
sn
0
(t)dt = |s
n
0| = s
n
(5.1)
Para n sucientemente grande el trazo de geodesica que une p
n
con p
0
es inyectivo. Luego, existe una inversa local
1
que es continua. Como
por hipotesis p
n
p
0
en la distancia entonces por la continuidad
de
1
se tiene que s
n
0 cuando n lo que implica seg un (5.1)
que {p
n
} converge a p
0
con respecto a d.
5.5. Sea S una supercie. Una sucesion {p
n
}
n=1
S es de Cauchy en la
distancia (intrinsica) d si, dado > 0 existe n
0
N tal que si n, m n
0
implica que d(p
n
, p
m
) < . Demostrar que S es completa si y solo si
cada sucesion de Cauchy en S converge a un punto en S.
Solucion:
Sea una geodesica con
= 1. Suponga que S no es completa,

esto es, que esta denida para todo s < s
0
pero no para s = s
0
. Sea
{s
n
}
n=1
sucesion tal que lm
n
s
n
= s
0
, por ser una sucesion convergente
ella es de Cauchy entonces dado > 0 existe n
0
N tal que
|s
n
s
m
| < , n, m n
0
.
Entonces,
d((s
n
), (s
m
)) =
_
sm
sn
(t)dt = |s
n
s
m
| < .
Luego, {(s
n
)}
n=1
S es una sucesion de Cauchy con respecto a d, por
hip otesis, existe p
o
S tal que lm
n
(s
n
) = p
0
. Por otro lado, existe
> 0 tal que exp
p
0
: B
(0
p
0
) S es un difeomorsmo, entonces para
n, m sucientemente grande se tiene que (s
n
), (s
m
) exp(B
(0)) y
tenemos la siguiente situacion geometrica
0
exp
1
p
0
((sn))
exp
1
p
0
((sm))
p
0
(sn)
(sm)
Tp
0
S
exp
p
0
(B
(0))
exp
p
0
Haciendo m vemos que el rayo que une 0 con el punto exp
1
p
0
((s
n
))
coincide con la curva (s) = exp
1
p
0
((s)), por lo tanto puede prolon-
garse hasta p
0
, lo que constituye una contradiccion.
Sea {P
n
}
n=1
S una sucesion de Cauchy con respecto a d.
Entonces dado > 0 existe n
0
N tal que
d(p
n
, p
m
) < , n, m n
0
.
Como p
n
p
m
d(p
n
, p
m
), entonces {p
n
}
n=1
es una sucesion de
Cauchy con respecto a . Como R
3
es completo, existe p
0
R
3
tal que lm
n
p
n
= p
0
. Supongamos que p
0
/ S. Como d(p
n
0
, p
n
) < ,
en virtud del Teorema de Hopf-Rinow existe una geodesica mnima
n
que une p
n
0
con p
n
con (
n
) < . Haciendo n ,
n
tiende a una
geodesica mnima con () . Parametrizando por longitud de
arco, como p
o
/ S implica que no esta denida para s = , lo cual es
una contradiccion.
5.6. Sean S y M supercies y : S M un difeomorsmo. Suponga que
M es completa y que existe c > 0 tal que
cI
(p)
(d
p
(v)) I
p
(v)
para todo p S y todo v T
p
S. Demostrar que S es completa.
Solucion: Sea una geodesica minimizante que une p y q, como
es un difeomorsmo se tiene que (s) = ((s)) es una geodesica en
M, luego
d
S
(p, q) =
_
b
a
(t)dt =
_
b
a
I
p
(
(t))dt
_
b
a
c I
(p)
(d
p
(
(t)))dt = c
_
b
a
I
(p)
(
(t))dt
= cd
M
((p), (q))
Ahora bien, sea {p
n
}
n=1
S sucesion de Cauchy con respecto a d
S
,
entonces dado > 0 existe n
0
N tal que
c d
M
((p
n
), (p
m
)) d
S
(p
n
, p
m
) < , n, m n
0
.
Luego, {(p
n
)}
n=1
M es de Cauchy con respecto a d
M
. Como M
es completa entonces existe (p
o
) M tal que lm
n
(p
n
) = p
0
, por
ser
1
continua tenemos que lm
n
p
n
= p
0
S. Por lo tanto, S es
completa.
5.7. Sean S una supercie completa y M una supercie conexa tal que para
todo par de puntos de M se pueden unir por una unica geodesica. Sea
: S M una isometra local. Demuestre que es una isometra
global.
Solucion: Basta probar que es biyectiva. Supongamos que p
1
, p
2
S
con p
1
= p
2
son tales que (p
1
) = (p
2
) = q. Como S es completa, exis-
te una geodesica mnima que une p
1
con p
2
. Como es una isometra
local, entonces es una geodesica cerrada que parte en q y que tiene
la misma longitud de . Entonces, cualquier punto en distinto de q
se puede unir con q mediante dos geodesicas distintas, lo que constituye
una contradiccion. Luego es inyectiva. Ahora probaremos que es
sobreyectiva, como es un difeomorsmo local, (S) M es un con-
junto abierto en M. Demostraremos que (s) es un conjunto cerrado en
M y como M es conexa implica que (S) = M. Si (S) no es cerrado
en M entonces existe una sucesion {(p
n
)} con p
n
S tal que
lm
n
(p
n
) = p / (S) .
Asi, {(p
n
)} es una sucesion de Cauchy en (S) que no es convergente.
Como es una isometra local inyectiva, {p
n
} es una sucesion de Cauchy
en S que no es convergente, lo que contradice la completitud de S.
Bibliografa
[1] Do Carmo, M Dierential Geometry of Curves and Surfaces. Prentice
Hall, 1976.
[2] Lima, E. L. Curso An alise Vol 1. Proyecto Euclides, IMPA, 1989.
[3] Lima, E. L. Curso An alise Vol 2. Proyecto Euclides, IMPA, 1989.
[4] Mccleary, J. Geometry from a Dierentiable Viewpoint. Cambridge
University Press, 1982.
[5] Spivak, M. C alculo en Variedades. Editorial Reverte, 1970.
[6] Struik, D. J. Lectures on Clasical Dierential Geometry. Addison-
Wesley, 1950.
139

Apuntes de Geometria Diferencial1

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Apuntes de Geometria Diferencial1

Cargado por

Copyright:

Formatos disponibles

PONTIFICIA UNIVERSIDAD CATOLICA DE CHILE

(t) = 0 para todo t I.

(t) es un vector unitario para todo t (a, b), esto es,

(s) = (s) se denomina la curvatura de en s.

(s) mediante la ecuacion

(s) = (s)n(s). Mas a un,

(s), pues diferenciando

(s) = 0. As, n(s) es normal a

(s) y se denomina el vector nor-

(s) y n(s), se denomina el plano osculador en s.

(s) al vector unitario tangente de en s. Por

(s) = 0, s (a, b). El n umero (s) denido por b

(t) = 1 entonces el largo de

a los meridianos en la esfera unitaria.

(t) es ortogonal a v para todo t I y (0) es ortogonal a v.

(t), g(t) +f(t), g

(t) ortogonal a v, se tiene que

(t), v = 0 para todo t I y

= 0 para todo t I. Luego,

(t) para todo t I.

(t) para todo t I .

() = r(1 cos , sen ) y

Tomando OA como eje x y OY como eje y, demostrar que:

(0) = (0, 0) es un punto singular.

(t) = 0 cos t = 0 y sin t +

(t) (0, 0) cuando t + y que:

es uniformemente continua en [a, b], dado > 0,

(t), g(t)dt = f(t), g(t)

(t), vdt = (t), v

(t), cuando es diferente de cero, determina

(t) = a(1 cos t, sin t), entonces

(t) = a(sin t, cos t), entonces la curvatura es:

(t) = (1, sinh t),

(t) = (0, cosh t) .

, etc. Demostrar las

(s), (s) p + 2t(s), t(s) = 2(s)n(s), (s) p + 2 .

(s). De lo anterior se deduce que salvo

} es su triedro movil se dene una nueva curva por

Por lo tanto, f(t) = cos t + sen t + con , , R.

(s)(sen (s), cos (s)) = (s) n(s) .

(s) = (a sin s, a cos s, b)

= 0 entonces t cos +b sen =constante=

(t cos +nsin ) +r(t

(t cos +nsin ) +r(ncos t sin )

= cos r = s cos y ademas r = sin .

Tomando la curva formada por y la cual es cerrada y C

(t) = b sin t. Entonces

(t) = 0, es decir, si 3ab sin t cos t =

(t) = (1, 2t) y

(t) = (0, 2) entonces

(t) = (sin t 2 sin 2t, cos t + 2 cos 2t) = (x

(t) = (cos t 4 cos 2t, sin t 4 sin 2t) = (x

= (sin t 2 sin2t)(sin t 4 sin2t)

= (cos t 4 cos 2t)(cos t + 2 cos 2t)

(0) = t(0) = (1, 0),

(0) = n(0) = (0, 1)

y centro O, entonces esta contenida en la region que

y centro O. Consideremos un nuevo sistema

y centro O. Debido a que la curva esta contenida

el radio hallado con r

(s) = (s). Luego, la curva

(R) del sector (R) de una supercie parametrizada : U R

son llamados coecientes de la segunda forma fundamental.

pasa por (sin 2, cos 2, 1) se sigue que conseguimos