Apuntes de Geometria Diferencial1 PDF

PONTIFICIA UNIVERSIDAD CATOLICA DE CHILE
GEOMETRIA DIFERENCIAL
P R O B L E M A S
R E S U E L T O S
Rodrigo Vargas
Santiago de Chile
2010
ii
Prefacio
Este libro pretende sirvir de texto para un primer curso de Geometra Diferencial. Los temas tratados se exponen de manera simple y directa, evitando
digresiones y sin dar demostraciones de los resultados expuestos. As espero facilitar la comprension de los estudiantes que, al adoptarlo, no necesitara 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, normales que busquen lecturas complementarias pueden consultar Geometra
diferencial de curvas y superficies de Manfredo do Carmo que trata de la
misma materia con un enfoque mas amplio.
La parte mas importante de este libro son sus problemas resueltos, que
sirven para fijar ideas, desarrollar algunos temas esbozados en muchos textos
de geometra diferencial y como oportunidad para que el lector compruebe
lo sencillo de algunas soluciones. Naturalmente, me gustara que el lector
solo consultase las soluciones despues de haber hecho un serio esfuerzo para
resolver cada problema. Precisamente es este esfuerzo, con o sin exito, el que
nos conduce a buenos resultados en el proceso de aprendizaje.
Los problemas que el lector encontrara se basan en las ayudantias del
curso de geometra diferencial impartido en la Universidad de Chile y la
Pontificia Universidad Catolica de Chile, el cual esta dirigido a estudiantes
de Licenciatura en Matematica. Muchos de los problemas han sido tomados
de los problemas propuestos en el libro de Manfredo do Carmo.
iii
iv
Indice general
1. Curvas
1.1. Teora Local de Curvas . . . . . . . . . . . . . . . . . . . . . .
1.2. Propiedades Globales de las curvas planas . . . . . . . . . . .
1.3. Problemas Resueltos . . . . . . . . . . . . . . . . . . . . . . .
1
1
3
3
2. Superficies
53
2.1. La Primera Forma Fundamental . . . . . . . . . . . . . . . . . 54
2.2. La Segunda Forma Fundamental . . . . . . . . . . . . . . . . . 55
2.3. Problemas Resueltos . . . . . . . . . . . . . . . . . . . . . . . 55
3. Curvatura de Superficies
3.1. La Curvatura de Curvas sobre una Superficie
3.2. Las Curvaturas Media y Gaussiana . . . . .
3.3. Geodesicas . . . . . . . . . . . . . . . . . . .
3.4. El Teorema Egregio de Gauss . . . . . . . .
3.5. Problemas Resueltos . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
75
75
78
78
79
80
4. El Teorema de Gauss-Bonnet
115
5. Superficies Completas. Teorema de Hopf-Rinow
131
vi
Captulo 1
Curvas
1.1.
Teora Local de Curvas
Definici
on 1.1.
Una curva parametrizada diferenciable es una aplicacion diferenciable :
(a, b) R3 .
Definici
on 1.2.
Una curva parametrizada diferenciable : (a, b) R3 se denomina regular
si 0 (t) 6= 0 para todo t I.
Definici
on 1.3.
Dado t (a, b), la longitud de arco de una curva parametrizada regular
: (a, b) R3 , desde el punto t0 , es por definicion:
Z t
s(t) =
k0 (t)kdt .
t0
Definici
on 1.4.
Una curva parametrizada : (a, b) R3 es llamada arco-parametrizada o
de rapidez uno si 0 (t) es un vector unitario para todo t (a, b), esto es,
k0 (t)k = 1.
Definici
on 1.5.
Sea : (a, b) R3 una curva parametrizada por longitud de arco s I. El
n
umero k00 (s)k = (s) se denomina la curvatura de en s.
1
Captulo 1. Curvas
En puntos donde (s) 6= 0, esta bien definido un vector unitario n(s)

en la direccion 00 (s) mediante la ecuacion 00 (s) = (s)n(s). Mas a
un,
00
0
0
0
(s) es normal a (s), pues diferenciando h (s), (s)i = 1 obtenemos
h00 (s), 0(s)i = 0. As, n(s) es normal a 0 (s) y se denomina el vector normal en s. El plano determinado por los vectores unitarios tangente y normal,
0 (s) y n(s), se denomina el plano osculador en s.
Denotaremos por t(s) = 0 (s) al vector unitario tangente de en s. Por
tanto, t0 (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.
Definici
on 1.6.
Sea : (a, b) R3 una curva parametrizada por lo longitud de arco s tal
que 00 (s) 6= 0, s (a, b). El n
umero (s) definido por b0 (s) = (s)n(s) se
denomina la torsion de en s.
Teorema 1.1.
Sea una curva arco-parametrizada con curvatura nunca nula. Entonces,
t0 =
n
0
n = t
+ b
b0 =
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) R3 tal que s es la longitud de arco,
(s) es la curvatura, y (s) es la torsi
on de . Adem
as, cualquier otra curva
e, satisfaciendo las mismas condiciones difiere de en un movimiento rgido;

esto es, existe una aplicaci
on lineal ortogonal de R3 , con determinante
positivo, y un vector v tal que
e = + v.
Geometra Diferencial - Rodrigo Vargas
1.2.
Propiedades Globales de las curvas planas
Definici
on 1.7.
Una curva plana cerrada es una curva parametrizada regular : [a, b] R2
tal que y todas sus derivadas coinciden en a y en b; es decir,
(s) = (b) ,
0 (a) = 0 (b) ,
00 (a) = 00 (b) , . . . .
Definici
on 1.8.
La curva es simple si carece de otras autointersecciones; o sea, si t1 , t2 [a, b],
t1 6= t2 , entonces (t1 ) 6= (t2 ).
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 2
`
4
y la igualdad se da si solo si es un crculo.

Definici
on 1.9.
Un vertice de una curba regular plana : [a, b] R2 es un punto t [a, b]
en donde 0 (t) = 0.
Definici
on 1.10.
Una curva regular plana (no necesariamente cerrada) : [a, b] R2 es
convexa si, para todo t [a, b], la traza ([a, b]) de esta completamente
contenida en un lado del semiplano cerrado determinado por la recta tangente
en t.
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 cilindro circular de radio 12 en la direccion del eje z y la esfera de radio 1
Captulo 1. Curvas
y centro ( 21 , 0, 0).
Soluci
on: Un punto (x, y, z) esta en el cilindro si
1
4
(1.2)
+ y2 + z2 = 1 .
(1.3)
x2 + y 2 =
y en la esfera si

1
x+
2
2
Se observa de la ecuacion (4) que, 1 z 1, sea entonces z = sin t.

Ahora, haciendo (4) (3) obtenemos:
x+
1
3
1
+ sin2 t = x = sin2 t .
4
4
2
De la ecuacion (3) se tiene
y=
p
p
1
x2 = sin2 t sin4 t = sin 1 sin2 t = sin t cos t .
4
Por lo tanto, : [, ] R3 es dada por:

(t) =

1
2
sin t, sin t cos t, sin t .
2
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.
Soluci
on: Sea : [0, a] [b/2, b/2] C dada por
(t, s) =
2
2
cos t, sen t, s
a
a
b
2
x0
2b
El crculo S 1 es dado por la ecuacion parametrica.
(x x0 )2 + y 2 = r 2
con 0 < 2|x0 r| < a < b, parametriza por : [0, 2r] [0, a]
[b/2, b/2] definida por

x
x
(x) = x0 + r cos , r sen
r
r
la curva que se forma del crculo sobre la hoja al doblarse sobre el
clindro esta parametrizada por
(t) = ( )(t)

t
t
= x0 + r cos , r sen
s
r

2
t
2
t
t
=
cos
x0 + r cos
, sen
x0 + r cos
, r sen
.
a
r
a
r
r
Si (t) = (1 (t), 2 (t), 3 (t)) entonces

2
t
0
1 (t) = sen
x0 + r cos
sen t ,
a
r

2
t
0
2 (t) = cos
x0 + r cos
sen t ,
a
r
30 (t) = cos t .
Se comprueba sin mayor dificultad que k 0(t)k = 1 entonces el largo de

la curva es
Z 2r
Z 2r
0
s =
k (t)kdt =
dt = 2r = s .
0
Captulo 1. Curvas
1.3. Determine una parametrizacion de la curva sobre la esfera unitaria que

corta cada meridiano en un angulo constante .
Soluci
on: 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 definicion (p) = c = {(x, y, z) R3 : x2 +y 2 = 1}L.
z
(p)
Haciendo algunas cuentas se obtiene

(x, y, z) =
1 (x, y, z) =
p
,p
,z ,
x2 + y 2
x2 + y 2
!
x 1 z2 y 1 z2
p
,p
,z .
x2 + y 2
x2 + y 2
Note que los meridianos son llevados mediante la proyeccion de Mercador 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.
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 + )
!
p
p
cos 2t 1 (t + )2 sen 2t 1 (t + )2
p
=
,p
, t +
(cos 2t)2 + (sen 2t)2
(cos 2t)2 + (sen 2t)2
p
p
= (cos 2t 1 (t + )2 , sen 2t 1 (t + )2 , t + )
donde es una curva sobre la esfera unitaria que corta a cada meriadiano en un angulo constante .
1.4. Sea : I Rn una curva regular, v Rn un vector fijo y suponga

que 0 (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.
Soluci
on: Sabemos que, si f, g : I Rn son curvas diferenciables,
entonces
d
hf (t), g(t)i = hf 0 (t), g(t)i + hf (t), g 0(t)i
dt
por ser 0 (t) ortogonal a v, se tiene que h0(t), vi = 0 para todo t I y
como v es un vector fijo, entonces h(t), v 0i = 0 para todo t I. Luego,
d
h(t), vi = h0 (t), vi + h(t), v 0 i = 0 .
dt
Captulo 1. Curvas
Se concluye que h(t), vi = c = constante para todo t I, por ser (0)
ortogonal a v, entonces h(0), vi = 0. Por lo tanto,
h(t), vi = 0,
t I ;
es decir, (t) es ortogonal a v para todo t I.

1.5. Sea : I Rn una curva regular. Demostrar que k(t)k es constante
no nula si y solo si (t) es ortogonal a 0 (t) para todo t I.
Soluci
on: Si f : I Rn es una curva diferenciable entonces
d
hf (t), f 0 (t)i
kf (t)k =
,
dt
kf (t)k
si f (t) 6= 0 .
En efecto, si f (t) = (f1 (t), ..., fn (t)) luego kf (t)k =

obtenemos
" n
# 21 1
d
1 X
kf (t)k =
(fi (t))2
dt
2 i=1
n
X
= " i=1
n
X
i=1
fi (t)fi0 (t)
(fi (t))2
#1/2
n
X
(1.4)
" n
X
(fi (t))2
i=1
fi (t)fi0 (t)
i=1
#1/2
hf (t), f 0(t)i
,
kf (t)k
siempre que f (t) 6= 0. Por otro lado,

d
k(t)k = 0
dt
h(t), 0(t)i
=0
k(t)k
h(t), 0(t)i = 0
Si k(t)k = cte 6= 0
(t) es ortogonal a 0 (t) para todo t I .

1.6. Sea un curva cerrada que no pasa por p. Probar que en los puntos
sobre donde la distancia a p es maxima o mnima la recta tangente a

es perpendicular al segmento lineal a p.
Soluci
on: Usaremos la identidad (1.4) establecida en el problema anterior. Si k(s0 ) pk es un maximo o un mnimo entonces

h(s0 ) p, t(s0 )i
d
k(s) pk
=0
=0.
ds
k(s0 ) pk
s=s0
Note que en nuestro caso k(s0 ) pk =

6 0. Luego, h(s0 ) p, t(s0 )i = 0
es decir, la recta tangente a en s0 es perpendicular al vector (s0 ) 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 figura que describe un punto de la circunferencia del disco
se llama cicloide.
y
b
b
}c
b
(a) Obtengase una curva parametrizada : R R2 cuya traza sea la
cicloide y determnense sus puntos singulares.
(b) Calc
ulese la longitud de arco de la cicloide correspondiente a una
rotacion completa del disco.
Soluci
on:
(a) Observe la figura 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 R2
dada por
() = (r r sin , r r cos ) = r( sin , 1 cos )
10
Captulo 1. Curvas
(b) Tenemos que 0 () = r(1 cos , sen ) y k0 ()k2 = 2r 2 (1 cos ).
Entonces, la longitud de arco de la cicloide correspondiente a una
rotacion completa del disco es
Z 2
Z 2
0
` =
k ()kd = 2r
1 cos d
0
0

Z 2 r
Z 2
1 cos
= 2r
d = 2r
sen
d = 8r .
2
2
0
0
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.
y
V
r
b
p
0
C
b
2a
x
A
Tomando OA como eje x y OY como eje y, demostrar que:

(a) La traza de
(t) =
es la cisoide de Diocles.
2at2 2at3
,
1 + t2 1 + t2
t R,
(b) El origen (0, 0) es un punto singular de la cisoide.
11
(c) Cuando t , (t) se aproxima a la recta x = 2a, y 0 (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.
Soluci
on:
(a) La ecuacion del crculo S 1 es
(x a)2 + y 2 = a2 .
(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 = a2 x2 2ax + a2 + tan2 x2 = a2
x2 (1 + tan2 ) = 2ax
x(1 + tan2 ) = 2a,

2a
x=
.
1 + tan2
Luego, las coordenadas del punto C son

2a
2a tan
,
.
C=
1 + tan2 1 + tan2
x 6= 0
Las coordenadas del punto B, son facilmente deducibles a partir

de la figura, B = (2a, 2a tan ). Notemos que p = B C haciendo
cuentas obtenemos:

2a
2a tan
p = B C = 2a
, 2a tan
1 + tan2
1 + tan2

2a + 2a tan2 2a 2a tan + 2a tan3 2a tan
=
,
1 + tan2
1 + tan2

2a tan2 2a tan3
=
,
.
1 + tan2 1 + tan2
Tomando t = tan obtenemos finalmente

2at2 2at3
(t) =
,
,
1 + t2 1 + t2
tR.
12
Captulo 1. Curvas
(b) Notemos que

4at(1 + t2 ) 2at2 (2t) 6at2 (1 + t2 ) 2at3 (2t)

(t) =
,
(1 + t2 )2
(1 + t2 )2

4at
6at2 + 2at4
=
,
(1 + t2 )2 (1 + t2 )2
0
y evidentemente 0 (0) = (0, 0) es un punto singular.

(c) Un simple calculo muestra que

2at3
2at2
lm (t) = lm
, lm
= (2a, ) .
t
t 1 + t2 t 1 + t2
Ademas
0
lm (t) =
4at
6at2 + 2at4
lm
,
l
m
t (1 + t2 )2 t (1 + t2 )2
= (0, 2a) .
1.9. Sea : (0, ) R2 dada por

t
(t) = sin t, cos t + log tan
2
donde t es el angulo que el eje y forma con el vector 0 (t). La traza de
se denomina la tractriz.
y
1
t
(t)
b
Demostrar que:
13
(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.
Soluci
on:
(a) Notemos que

1
1
1
(t) =
cos t, sin t +
tan 2t cos2 2t 2

1
=
cos t, sin t +
2 sin 2t cos 2t

1
=
cos t, sin t +
.
sin t
0
Si 0 (t) = 0 cos t = 0 y sin t +

sin t =
1
= 0, entonces
sin t
1
sin2 t = 1
sin t
sin t = 1, t (0, )
t= .
2
(b) Sean P = (x0 , y0 ) el punto de tangencia de la recta tangente y

Q = (0, y1) el punto de interseccion de la recta tangente con el eje
y. Sean x = sin t, y = cos t + log tan 2t , entonces
1
sin t
dy
1 sin2 t
cos t
dy
1 x2
sin
t
=
=
=
=
.
dx
cos t
sin t cos t
sin t
dx
x
Luego, la ecuacion de la lnea tangente a P es
p
1 x20
y y0 =
(x x0 ) .
x0
Evaluando la recta en el punto Q obtenemos
p
q
1 x20
y1 y0 =
(0 x0 ) = 1 x20 .
x0
14
Captulo 1. Curvas
Entonces
(dist(P, Q))2 = x20 + (y1 y0 )2 = x20 + 1 x20 = 1 .
Por lo tanto, dist(P, Q) = 1.
1.10. Sea la curva parametrizada (t) = (aebt cos t, aebt 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 denominada espiral logartmica; vease la figura).
(b) Demostrar que 0 (t) (0, 0) cuando t + y que:
Z t
lm
k0(t)kdt
t+
t0
es finita, o sea, tiene longitud de arco finita en [t0 , +).

y
Soluci
on:
(a) Sabemos que lm ebt = 0 cuando b < 0 y como las funciones cos t
t+
y sen t son acotadas podemos concluir que

lm ebt cos t = lm ebt sen t = 0
t+
por lo que lm (t) = (0, 0).

t+
t+
15

(b) Tenemos que
0 (t) = (aebt (b cos t sen t), aebt (b sen t + cos t)) .
Entonces,
Z
t
0
t0
k (t)kdt =
t0
aebt [(b cos t sen t)2 + (b sen t + cos t)2 ]1/2 dt

t
ebt [b2 + 1]1/2 dt

t0
Z t
2
ebt dt
= a b +1
= a
t0
a 1
b + 1(ebt ebt0 )
=
b
por lo que
lm
t+
t
t0
a 1
a 2
b + 1(ebt ebt0 ) =
b + 1ebt0 ,
t+ b
b
k0 (t)kdt = lm
esto es, tiene longitud de arco finita.

1.11. Sea : I R3 una curva diferenciacble y sea [a, b] I un intervalo
cerrado. Para cada particion:
a = t0 < t1 < . . . < tn = b
P
de [a, b], considere la suma ni=1 |(ti ) (ti1 )| = l(, P ), donde P
representa la particion dada. La norma |P | de la particion se defini por:
|P | = max(ti ti1 ) ,
i = 1, , n .
Geometricamente, l(, P ) es la longitud de un polgono inscrito en

([a, b]) con vertices en (ti ) (ver la figura). La intension del ejercicio es demostrar que la longitud del arco ([a, b])es, en cierto sentido,
un lmite de longitudes de polgonos inscritos.
16
Captulo 1. Curvas
(tn1 )
b
b
(t0 )
b
(ti )
(tn )
b
b
(t1 )
(t2 )
Pruebese que dado un > 0 existe un > 0 tal que si |P | < entonces:
Z b

0

<.
k
(t)kdt
l(,
P
)

a
Soluci
on: Por la definicion de integral, dado > 0, existe un 1 > 0
tal que si |P | < 1 , entonces
Z b
X

0
0

k (t)kdt
(ti ti1 )k (ti )k < .

2
a
Por otro lado, como 0 es uniformemente continua en [a, b], dado > 0,
existe 2 > 0 tal que su t, s [a, b] con |t s| < 2 , entonces
k0(t) 0 (s)k < |a b| .

2
Tomando = mn{1 , 2 }, entonces si |P | < , obtenemos, utilizando el
teorema del valor medio para funciones en varias variables,
X

X

0
k(t
)
(t
)k
(t
t
)k
(t
)k

i1
i
i1
i
i

X
X

0
0
(ti1 ti ) sup k (si )k
(ti1 ti )k (ti )k
si
X

0
0
(ti1 ti ) sup k (si ) (ti )k ,
2
s
i
donde ti1 si ti . La desigualda requerida se deduce de lo anterior.
17
1.12. (a) Sea : I R3 una curva de clase C 0 : Utilicese la aproximacion poligonal descrita en el ejercicio 1.9 para dar una definicion razonable
de longitud de arco para .
(b) Una curva no rectificable. El siguiente ejemplo demuestra que, con
cualquier definicion razonable, la longitud de arco de una curva C 0
es un intervalo cerrado podra no ser acotada. Sea : [0, 1] R2
dada por
(
(t, t sin(/t)) si t 6= 0
(t) =
(0, 0)
si t = 0
Demostrar, geometricamente, que la longitud de arco de la porcion
1
1
de curva correspondiente a
t
es al menos 2/(n +
(n + 1)
n
(1/2)). Utilcese esto para establecer que la longitud de la curva en
N
X
1
1
el intervalo
t 1 es mayor que 2
, y por lo tanto,
N
n
+
1
n=1
tiende a infinito cuando N .
Soluci
on:
(a) Tomando una particion del intervalo I, P = {t0 , t1 , ..., tk } I y
definimos la longitud de arco.
s(t) = lm
k
X
i=0
|(ti ) (ti1 )| .
(b) Para t sucesivamente igual a

2 2 2 2 2
2
, , , , ,...,
2 3 4 5 6
n+1
y(t) = t sin(/t) asume los valores
2
2
2
2
0, , 0, , 0, , 0, . . . , (1)n
.
3
5
7
2n + 1
Por lo tanto, tomando la particion

2
2
1 2 12
P = 0,
, ,..., , ,
,1
k+1 k
3 5 23
18
Captulo 1. Curvas
Tenemos que:
l(p) =
k
X
i=1
|y(ti ) y(ti1 )|
2 2 2 2
2 2
+ + + ++ +
3 3 5 5
k k

1 1
1 1 1 1
= 2
+ + + ++ +
3 3 5 5
k k

1
1
1 1 1
+ + ++ +
,
2
3 4 5
k k+1
=
como s(t) l(p) y la serie armonica

la longitud de arco no es acotada.
X
1
i=1
diverge. Se concluye que
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
h(q p), ~vi =
b
0
h (t), ~v idt
k0(t)kdt
b) Escogiendo ~v apropiado, deduzca que

k(a) (b)k
b
a
k0 (t)kdt ,
esto es, la curva de menor longitud desde (a) a (b) es la lnea

recta que une estos puntos.
Soluci
on:
(a) Afirmamos que si f, g : [a, b] Rn son de clase C 1 entonces
Z
b Z b

hf (t), g 0(t)idt
hf (t), g(t)idt = hf (t), g(t)i
0
19

En efecto,
Z b
Z bX
n
0
hf (t), g(t)idt =
fi0 (t)gi (t)dt
a
=
=
=
a i=1
n
XZ b
i=1 a
n
X
i=1
n
X
i=1
fi0 (t)gi (t)dt

b Z b

0
fi (t)gi (t)
fi (t)gi (t)dt
a
n Z b
b X

fi (t)gi0 (t)dt
fi (t)gi (t)
a
i=1
n
b Z b X

fi (t)gi0 (t)dt
= hf (t), g(t)i
a
i=1
b Z b

hf (t), g 0(t)idt .
= hf (t), g(t)i
a
Luego, tenemos que

Z b
b Z b

0
h(t), v 0idt
h (t), vidt = h(t), vi
a
= h(b), vi h(a), vi
= h(b) (a), vi
= h(q p), vi .
Por otro lado, notemos que

Z b

Z b

0
0
h (t), vidt h (t), vidt
a
a
Z b
|h0 (t), vi|dt

a
Z b
Z b
0
k (t)k kvkdt =
k0 (t)kdt .
a
La tercera de las desigualdades, no es mas que la famosa desigualdad

de Cauchy-Schwartz
qp
(b) Tomando el vector ~v = kqpk
el cual es unitario de lo anterior
obtenemos
Z b
h(q p), (q p)i
k0 (t)kdt h(qp), ~vi =
= kqpk = k(a)(b)k.
kq pk
a
20
Captulo 1. Curvas
1.14. Supongase que (I) R2 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 R2 ; los extremos de t(s)
describen entonces una curva parametrizada s t(s) denominada la
indicatriz de tangentes de . Sea (s) el angulo de e1 a t(s) en la orientacion de R2 . Demostrar (a) y (b); notese que estamos admitiendo que
6= 0.
(a) La indicatriz de tangentes es una curva parametrizada regular.

dt
d
d
(b)
=
n, o sea, = .
ds
ds
ds
Soluci
on:
(a) Supongamos que, la indicatriz de tangentes es una curva parametrizada no regular, entonces existe s0 I tal que t(s0 ) = 0, entonces
t0 (s0 ) = 0 |00 (s0 )| = 0 (s0 ) = 0
lo cual es una contradiccion, pues estamos asumiendo que 6= 0.
(b) Sabemos que (s) = angulo(e1 , t(s)). Podemos suponer sin perdida
de generalidad que : I R2 es una curva parametrizada por
longitud de arco, es decir, k0 (t)k = 1.
Si d es el angulo entre t(s + ) y t(s) entonces

1
|t(s + ) t(s)| = 2 sin
d
= d .
2
Luego,
0
= |t (s)| =
=
=
=

lm t(s + ) t(s) = lm |t(s + ) t(s)|
0
0

||

1
2 sin 2 d
d
lm
= lm
0
0 ||
||
angulo(e1 , t(s + )) angulo(e1 , t(s))
lm
0

d
.
ds
21
1.15. Una curva parametrizada regular tiene la propiedad de que todas sus
rectas tangentes pasan por un punto fijo.
(a) Probar que la traza de es (un segmento de) una recta.
(b) Se satisface todava la conclusion de (a) si no es regular?
Soluci
on:
(a) El vector velocidad 0 (t), cuando es diferente de cero, determina
una recta tangente de la curva en el punto (t), a saber:
L = {(t) + r0 (t) : r R} .
Sea x0 el punto fijo tal que x0
/ (I), entonces para cada t I
existe r(t) R tal que
x0 = (t) + r(t)0 (t) ,
derivando obtenemos
0 = 0 (t) + r 0 (t)0 (t) + r(t)00 (t) = (1 + r 0 (t))0 (t) + r(t)00(t) .
Haciendo el producto interno con 00 (t) se obtiene
0 = h(1 + r 0 (t))0 (t) + r(t)00 (t), 00 (t)i
= (1 + r 0 (t))h0 (t), 00 (t)i + r(t)h00 (t), 00 (t)i
= (1 + r 0 (t))h0 (t), 00 (t)i + r(t)k00 (t)k

= (1 + r 0 (t))h0 (t), 00 (t)i + r(t)(t)
= r(t)(t) ,
ya que si
k0(t)k = 1 h0 (t), 0 (t)i = 1 2h00(t), 0 (t)i = 0 00 (t) 0 (t) .
En resumen hemos obtenido que
r(t)(t) = 0,
t I .
Si r(t) = 0 entonces x0 = (t) (I) lo cual es una contradiccion.

Por lo tanto, (t) = 0 para todo t I y es un segmento de recta.
22
Captulo 1. Curvas
(b) Si no es regular en alg
un punto entonces en estos puntos no
esta bien definida una recta tangente.
1.16. Una traslacion por un vector v R3 es la aplicacion A : R3 R3

dada por A(p) = p + v, p R3 . Una aplicacion lineal : R3 R3 es
una transformacion ortogonal cuando hu, vi = hu, vi, u, v R3 . Un
movimiento rgido en R3 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 vectores, 0 , son invariantes frente a transformaciones ortogonales con determinante positivo.
(b) Desmostrar que el producto vectorial de dos vectores es invariante frente a transformaciones ortogonales con determinante positivo.
Es cierto a
un la afirmacion si suprimimos la condicion determinante positivo?
(c) Demuestrese que la longitud de arco de, la curvatura y la torsion
de una curva parametrizada (siempre que esten definidos) son invariantes frente a movimientos rgidos.
Soluci
on:
(a) Sea : R3 R3 una transformacion ortogonal entonces:
kuk2 = hu, ui = hu, ui = kuk2 kuk = kuk, u R3 .
Tenemos que si u, v R3 entonces
cos ](u, v) =
hu, vi
hu, vi
=
= cos ](u, v) .
kukkvk kukkvk
(b) Tenemos que

u v = kukkvk sin ](u, v)b
z = kukkvk sin ](u, v)b
z = u v
donde zb es el vector que resulta de la regla de la mano derecha.
Consideremos : R3 R3 dada por (x, y, z) = (x, y, z) luego
hx, yi = h(x1 , x2 , x3 ), (y1 , y2 , y3 )i
= x1 y1 + x2 y2 + x3 y3 = hx, yi
23

y la representacion matricial de en la base canonica de R3 es
1 0 0
[] = 0 1 0 det[] = 1
0 0 1
pero
u v 6= u v .
(c) Consideremos : R3 R3 dada por = A un movimiento

rgido. Sea P = {t0 , t1 , ..., tn } una particion de I R entonces
X
l() = lm
k(ti ) (ti1 )k
|P |0
lm
|P |0
lm
|P |0
lm
|P |0
lm
|P |0
Notemos que
X
P
X
P
X
P
X
P
(A )(t) = (t) + v,
k((ti ) + v) ((ti1 ) + v)k
kA(i ) A((ti1 ))k

k(A(i ) A((ti1 )))k
k(A(i )) (A((ti1 )))k = l( ) .
(A )0 (t) = 0 (t),
(A )00 (t) = 00 (t) .
Ademas
d
( ) = 0 ,
dt
d2
( ) = 00 .
dt2
Entonces
|0 (t) 00 (t)|
|0 (t)|3
|(A )0 (t) (A )00 (t)|
=
|(A )0 (t)|3
|((A )0 (t)) ((A )00 (t))|
=
|((A )0 (t))|3
(t) =
| d ( A )(t) dtd 2 ( A )(t)|

= dt
| dtd ( A )(t)|3
2
| d ( )(t) dtd 2 ( )(t)|

= dt
= (t) .
| dtd ( )(t)|3
24
Captulo 1. Curvas
De manera similar se obtiene que
(t) =
E
2
3
) dtd 2 ( ), dtd 3 ( )
= (t) .
d

( ) d22 ( )2
dt
dt
d
(
dt
1.17. Sea : I R2 una curva parametriza regular plana con curvatura

= (s) 6= 0. En esta situacion, la curva
(s) = (s) +
1
n(s) ,
(s)
tI
se denomina la evoluta de .
b
b
b
b
b
(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 s1 , s2 , s1 6= s2 .
Pruebe que cuando s2 s1 , los puntos de interseccion de dichas
normales converge a un punto sobre la curva .
25

Soluci
on:
(a) Supongamos que esta parametrizada por arco, basta observar que

0
n(s)
0
(s) = t(s) +
(s)
0
n (s)(s) n(s)0 (s)
= t(s) +
2 (s)
2 (s)t(s) n(s)0 (s)
= t(s) +
2 (s)
0 (s)
= 2 n(s) = r(s)n(s) .
(s)
Se deduce que la recta tangente a coincide con la recta normal de
.
(b) Observe primero que

n(s)
= 1

k(s) (s)k =
(s) |(s)|
las rectas normales en s1 y s2 son:

L1 (r) = (s1 ) + rn(s1 ),
L2 (p) = (s2 ) + pn(s2 ) .
Los puntos de interseccion se obtendran si:

L1 (r) = L2 (p) (s2 ) (s1 ) = rn(s1 ) pn(s2 )
(s2 ) (s1 )
rn(s1 ) pn(s2 )
=
.
s2 s1
s2 s1
Note que cuando s2 s1 r p. Entonces

0 (s2 ) = lm
s2 s1
Luego,
(s2 ) (s1 )
rn(s1 ) pn(s2 )
= lm
= pn0 (s2 ) .
s2 s1
s2 s1
s2 s1
1 = h0(s2 ), 0(s2 )i
= h0(s2 ), pn0 (s2 )i
= h0(s2 ), p(s2 )0 (s2 )i
= p(s2 )h0(s2 ), 0(s2 )i = p(s2 ) .
1
Entonces (s2 ) = .
p
26
Captulo 1. Curvas
1.18. Demuestre que el largo de arco de la evoluta de = (t) es u0

donde u0 es una constante.
1
,
s (s)
Soluci
on: Supongamos que esta parametrizada por arcoparametro,
sabemos que la evoluta es dada por:
(s) = (s) +
1
n(s) .
(s)
Entonces
0 (s) = t(s)
0 (s)
1
0 (s)
n(s)
+
((s)t(s))
=
n(s) .
2 (s)
(s)
2 (s)
Entonces, el largo de arco de la evoluta es

s
Z s 0
Z s
1
1
(t)
0
dt =
= u0
u(s) =
k (t)kdt =

2
(t) s0
(s)
s0
s0 (t)
donde u0 = 1/(s0 ) 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)
Soluci
on: Notemos que 0 (t) = a(1 cos t, sin t), entonces
q
0
k (t)k = a (1 cos t)2 + sin2 t
p
= a 1 2 cos t + cos2 t + sin2 t
= a 2 2 cos t
r
1 cos t
= 2a
= 2a sin(t/2) .
2
Entonces el vector tangente unitario es:

0 (t)
a(1 cos t, sin t)
1 1 cos(t) sin t
t =
=
=
,
k0(t)k
2a sin(t/2)
2
sin(t/2) sin(t/2)

1 2 sin2 (t/2) 2 sin(t/2) cos(t/2)
=
,
= (sin(t/2), cos(t/2)) .
2
sin(t/2)
sin(t/2)
27
Luego, el vector normal unitario es n = ( cos(t/2), sin(t/2)) y ademas

00 (t) = a(sin t, cos t), entonces la curvatura es:
a2 ((1 cos t) cos t sin2 t)
a2 (cos t cos2 t sin2 t)
(t) =
=
k0 (t)k3
(2a sin(t/2))3
a2 (cos t 1)
cos2 (t/2) sin2 (t/2) 1
2 sin2 (t/2)
=
=
=
8a3 sin3 (t/2)
8a sin3 (t/2)
8a sin3 (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),
tR,
se denomina catenaria
(a) Demostrar que la curvatura con signo de la catenaria es (t) =
1
.
cosh2 t
(b) Demostrar que la evoluta de la catenaria es

(t) = (t sinh t cosh t, 2 cosh t) .
Soluci
on:
(a) Tenemos que
0 (t) = (1, sinh t),
00 (t) = (0, cosh t) .
Sabemos que si : I R2 es una curva plana con (t) = (x(t), y(t))

entonces la curvatura con signo de en t es
(t) =
x0 y 00 x00 y 0
.
((x0 )2 + (y 0)2 )3/2
28
Captulo 1. Curvas
Entonces
(t) =
cosh t
cosh t
1
=
.
2 3/2 =
3/2
(1 + sinh t)
(cosh t)
cosh2 t
(b) Sabemos que la evoluta esta dada por

(t) = (t) +
1
n(t),
(t)
tI.
Basta hallar el vector normal n(t), el cual debe satisfacer

n(t)0 (t)
kn(t)k = 1 .
Si (t) = (1 (t), 2 (t)), basta considerar

n(t) =
(20 (t), 10 (t))

k0 (t)k
entonces
( sinh t, 1)
n(t) = p
=
sinh2 t + 1
sinh t
1
,
cosh t cosh t
Por lo tanto,
(t) = (t) +
1
n(t)
(t)

sinh t
1
,
= (t, cosh t) + cosh t
cosh t cosh t
= (t, cosh t) + ( sinh t cosh t, cosh t)
2
= (t sinh t cosh t, 2 cosh t) .

1.21. Sea : I R3 una curva parametrizada regular (no necesariamente
por longitud de arco) y sea : J R3 una reparametrizacion de (I)
por longitud de arco s = s(t), medida desde t0 I. Sea t = t(s) la
d
d2
funcion inversa de s y defnanse
= 0 , 2 = 00 , etc. Demostrar las
dt
dt
siguientes afirmaciones
(a)
dt
1
=
,
ds
k0 k
d2 t
h0 , 00 i
=
.
ds2
k0 k3
29

(b) La curvatura de en t I es
(t) =
k0 00 k
.
k0 k3
(c) Si : I R2 es una curva plana (t) = (x(t), y(t)) la curvatura

con signo de en t
(t) =
x0 y 00 x00 y 0
.
((x0 )2 + (y 0)2 )3/2
Soluci
on:
(a) Notemos que si = t entonces 0 (s) = 0 (t(s))t0 (s)
1 = k 0 (s)k = k0 (t(s))t0 (s)k = t0 (s)k0 (t(s))k
dt
1
1
= t0 (s) =
=
.
0
ds
k (t(s))k
k0 k
Entonces
h0 , 00 i
dk0 k
d2 t
h0 , 00 i
k0 k
dt =
=
=
.
ds2
k0 k2
k0k2
k0 k3
(b) Tenemos que
0 = ( t)t0 ,
00 = (00 t)(t0 )2 + (0 t)t00 .
Sabemos que
b(s) = t(s) n(s) ,
(s)b(s) = t(s) (s)n(s) ,
(s)b(s) = t(s) t0 (s) .

Entonces,
(s) = k(s) 00 (s)k
= k{(0 (t(s))t0 (s)} {00 (t(s))(t0 (s))2 + 0 (t(s))t00 (s)}k
= k(t0 (s))3 {0 (t(s)) 00 (t(s))} + t0 (s)t00 (s){0 (t(s)) 0 (t(s))}k

= (t0 (s))3 k0 (t(s)) 00 (t(s))k
k0 (t(s)) 00 (t(s))k
=
.
k0(t(s))k3
30
Captulo 1. Curvas
Por lo tanto, se tiene que:
(t) =
k0 00 k
.
k0 k3
(c) Notemos que n(s) = (2 (s), 1 (s))

(
100 (s) = (s)20 (s)
00 = n
200 (s) = (s)10 (s)
(
100 20 = (20 )2
200 10 = (10 )2
Sumando ambas expresiones se obtiene:
= 200 10 100 20
como = t 0 = (0 t)t0 , es decir,
(
10 (s) = 10 (t(s))t0 (s)
20 (s) = 20 (t(s))t0 (s)
y ademas
(
100 (s) = (100 (t(s)))(t0 (s))2 + 10 (t(s))t00 (s)

200 (s) = (200 (t(s)))(t0 (s))2 + 20 (t(s))t00 (s)
Luego,
= {(200 t)(t)2 + (20 t)t00 }{(10 t)t0 }
{(100 t)(t)2 + (10 t)t00 }{(20 t)t0 }
= {200 (t(s))10 (t(s)) 100 (t(s))20 (t(s))}(t0 (s))3

{200 (t(s))10 (t(s)) 100 (t(s))20 (t(s))}
=
.
{(10 (t(s)))2 + (20 (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.
31
Soluci
on: Supongamos que esta arcoparametrizada. Si esta en
una esfera de centro en a y radio r entonces
k(s) ak2 = r 2 .
Derivando esta ecuacion obtenemos:
ht, ai = 0
volviendo a derivar y usando las ecuaciones de Frenet obtenemos
ht0 , ai + ht, ti = 0 hn, ai + ktk2 = 0 .
|{z}
1
Entonces, hn, ai = 1. Como 0 y usando la desigualdad de

Cauchy-Schwartz obtenemos
1 = |(s)| |hn(s), (s) ai| |(s)| kn(s)kk(s) ak = (s)r .
Por lo tanto, (s) 1/r.
1.23. Sean r > 0 y : R R2 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.
Soluci
on: Denotamos por
Dr = {z R2 : kzk r} .
1
Afirmacion: Si (s0 ) <
entonces (s) R2 \ Dr para todo 0 <
r
|s s0 | < .
En efecto, basta considerar la funcion
(s) = k(s) p k2
32
Captulo 1. Curvas
donde p = (s0 ) + rn(s0 ), entonces
0 (s) = 2ht(s), (s) pi
00 (s) = 2ht 0 (s), (s) pi + 2ht(s), t(s)i = 2h(s)n(s), (s) pi + 2 .

Luego, evaluando en s = s0 obtenemos
(s0 ) = k(s0 ) (s0 ) rn(so )k2 = r 2 kn(s0 )k = r 2
0 (s0 ) = 2ht(s0 ), rn(s0 )i = 2rht(s0 ), n(s0 )i = 0
1 00
(s0 ) = h(s0 )n(s0 ), rn(s0 )i + 1 = 1 r(s0 ) .
2
Note que 00 (s0 ) > 0 si (s0 ) < 1/r.

Entonces, el desarrollo de Taylor de en un entorno de s = s0 satisface
(s) = (s0 ) + 0 (s0 )(s s0 ) + 00 (s0 )
= r 2 + (1 r(s0 ))
(s s0 )2
+R
2
(s s0 )2
+ R > r2
4
para 0 < |s s0 | < , lo cual implica que (s) R2 \ Dr para todo

0 < |s s0 | < .
Ahora, por otro lado si (s) Dr entonces (s) 1/r y como |(s)|
1/r entonces necesariamente se tiene que |(s)| = 1/r lo cual implica
que es una arco de circunferencia.
1.24. Pruebe que una condicion necesaria y suficiente para que una curva
: I R3 este sobre una esfera es que
0 0
=
.
2
Soluci
on:
Si : I R3 esta en una esfera de centro en a y radio r entonces
k ak2 = r 2 ,
es decir,
h a, ai = r 2 .
Derivando obtenemos
ht, ai = 0 .
(1.7)
33
Derivando (1.7) y usando las ecuaciones de Frenet-Serret obtenemos:

ht0 , ai + ht, ti = 0 hn, ai + ktk2 = 0
hn, ai + 1 = 0
1
hn, ai = .
(1.8)
Derivando (3.8) y usando la perpendicularidad del triedro de Frenet

obtenemos:
0
0
hn0 , ai + hn, ti = 2 ht + b, ai = 2
| {z }
0
ht, ai + hb, ai = 2
| {z }
hb, ai =
0
.
2
El termino que es cero es debido a la ecuacion (1.7), derivando la u

ltima
igualdad obtenemos:
0 0
0 0
h n, ai + hb, ti =
hn, ai =
.
2
| {z}

2
0
Reemplazando (3.8) en la u
ltima igualdad se obtiene lo pedido
0 0
=
.
a:
Sean = 1/ y = 1/ entonces nuestra hipotesis es equivalente

= (0 )0 .
Usando esta informacion note que

(2 + (0 )2 )0 = 20 + 2(0 )(0 )0 = 0 .
Luego, 2 + (0 )2 es igual a una constante, digamos a r 2 . Consideremos
a = + n + 0 b, entonces
a0 = t + 0 n + (t + b) + (0 )0 b 0 ( n) = 0 .
34
Captulo 1. Curvas
Luego, a es constante y
k ak2 = 2 + (0 )2 = r 2 ,
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
fijo entonces la curva esta contenida en una esfera.
Soluci
on: La ecuacion del plano normal en (t) es hy , ti = 0.
Si a es el punto fijo, entonces
ha y, ti = 0 .
(1.9)
Derivando y usando Frenet-Serret obtenemos

ht, ti + ha , t0 i = 0 ktk2 + ha , ni = 0
1
ha , ni = .
(1.10)
Derivando nuevamente y usando Frenet-Serret

ht, ni + ha , n0 i =
0
0
ha
,
t
+
bi
=
2
2
ha , ti + ha , bi =
0
.
2
(1.11)
0
Si (1.9) en (1.11) obtenemos ha , bi = 2 , derivando y usando

Frenet-Serret
0 0
h a, ni =
.
(1.12)
2
Si (1.10) en (1.12) resulta
0
2
por problema anterior se tiene que esta contenida en una esfera.
35
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 .
Soluci
on: Como se conoce b(s) , entonces se conoce b0 (s) = (s)n(s)
lo que implica que | (s)| = kb0 (s)k. 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 t0 (s) =
(s) n(s) obtenemos que:
(s) = |(s)| = |(s)|kn(s)k = k(s) n(s)k = kt0 (s)k .
1.27. Sea (s) una curva en R3 con arco-parametro y torsion constante . Si
{T , N , B } es su triedro movil se define una nueva curva por
Z t
1
B (s)ds .
(t) = N (t) +
0
Calcular la curvatura y la torsion de .
Soluci
on: Derivando y usando las ecuaciones de Frenet-Serret obtenemos
1
1
0 = N0 + B = (T + B ) + B = T
2
0
T + N
00 =
00
0
20
3
000
=
T +
N +
N T + 2 B
00 3
30
=
T +
N + 2 B
entonces
3
3
k 0 00 k
0
00
0 3
= 2 B , k k = 3 =
=
k 0k3
y as
h 0 00 , 000i =
5
2
h 0 00 , 000 i
2
=
.
k 0 00 k2
36
Captulo 1. Curvas
1.28. Sea : I R la funcion curvatura de la parametrizacion por longitud

de arco . Probar la igualdad:
h0(s), 0000 (s)i = 3(s)0 (s)
Soluci
on: Usaremos las ecuaciones de Frenet-Serret y una especie de
derivada por partes para el producto interno.
h0 , 0000 i =
=
=
=
=
d 0 000
h , i h00 , 000 i
ds
d
ht, t00 i ht0 , t00 i
ds
d
ht, (n)0 i hn, (n)0 i
ds
d
ht, 0 n + n0 i hn, 0 n + n0 i
ds
d 0
{ ht, ni +ht, n0 i} 0 hn, ni +hn, n0 i
| {z }
| {z }
ds
0
d
=
{ht, t + bi} 0 + hn, t + bi
ds
d
{2 ht, ti + ht, bi} 0 2 hn, ti + hn, bi
=
|{z}
| {z}
| {z }
| {z }
ds
1
d
=
{2 } 0 = 20 0 = 30 .
ds
1.29. Encontrar todas las funciones f (t) tales que
(t) = (cos t, sen t, f (t))
sea una curva plana.
Soluci
on: Sabemos que la curvatura de una curva : [a, b] R3
esta dada por
h(0 00 ), 000 i
(t) =
k0 00 k2
ademas, una curva es plana si y solo si (t) = 0 para todo t [a, b].
37

Ahora bien, tenemos que
0 = ( sen t, cos t, f 0 )
00 = ( cos t, sen t, f 00 )
000 = (sen t, cos t, f 000 )
0 00 = (cos tf 00 + sen tf 0 , sen tf 00 cos tf 0 , 1)
h0 00 , 000 i = f 0 + f 000 = 0 f 000 = f 0
Por lo tanto, f (t) = cos t + sen t + con , , R.
1
1.30. Determine la curva plana que tiene (s) = .
s
Z s
Soluci
on: Consideremos (s) =
(u)du y
(s) =
Z
cos (t)dt,
0

sen (t)dt
entonces t(s) = (cos (s), sen (s)) y n(s) = ( sen (s), cos (s)). Se
verifica que
00 (s) = 0 (s)( sen (s), cos (s)) = (s) n(s) .
Calculando obtenemos que
(s) =
u1/2 du = 2 u .
Por lo tanto,
Z s

Z s
(s) =
cos(2 t)dt,
sen(2 t)dt
0
0
= (cos(2 s) + 2 s sen(s 2), sen(2 s) 2 s cos(2 s)) + (1, 0) .

1.31. Considere la curva

s
s
s
, a sin
, b
.
(s) = a cos
a2 + b2
a2 + b2
a2 + b2
Hallar la curvatura y la torsion.
Soluci
on: Denotemos por =
1
, entonces
+ b2
a2
0 (s) = (a sin s, a cos s, b)
38
Captulo 1. Curvas
Note que k0 (s)k = 1 entonces t = 0 (s) y
t0 = (a 2 cos s, a 2 sin s, 0) = (s) n(s)
La u
ltima igualdad se debe a las ecuaciones de Frenet-Serret, se sigue
que (s) = a 2 y n = ( cos s, sin s, 0). Sabemos que el vector
binormal es dado por
b(s) = t n = (b sin s, b cos s, a)

Entonces,
b0 (s) = (b 2 cos s, b 2 sin s, 0) = (s) n(s)
La u
ltima 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 coeficientes de dicha combinacion lineal.
(b) Probar que es una helice si y solo si el cociente / es una funcion
constante.
39

Soluci
on:
(a) Se tiene que
ht, i = cos = constante
entonces derivando y usando las ecuaciones de Frenet-Serret obtenemos

0 = ht0 , i = hn, i = hn, i hn, i = 0
lo que implica que = t + b y luego
hn, i = cos ht, ti + ht, bi = cos
ktk2 + ht, bi = cos = cos

|{z}
| {z}
1
por otro lado, tenemos que
1 = kk2 = ht+b, t+bi = 2 ktk2 + 2 kbk2 = 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 t0 + sen b0 = n cos n sen .
Luego, haciendo el producto punto del vector normal con el vector
cero obtenemos
0 = hn, 0i = hn, n cos n sen i
= cos knk2 sen knk2
= tan =constante.
sen
Recprocamente, si = constante = tan =
entonces
cos
entonces
0 = cos sen
= cos hn, ni sen hn, ni
= hn cos n sen , ni
= h(t cos + b sen )0 , ni
40
Captulo 1. Curvas
lo que implica (t cos +b sen )0 = 0 entonces t cos +b sen =constante=
a por lo tanto,
ht, ai = 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 (fijo). 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.
Soluci
on:
ht, i
ht, i
. Si = 0 entonces
= 1. Se
ktkkk
ktkkk
concluye que = rt con r 6= 0, derivando obtenemos
(a) Sabemos que cos =
t = r 0 t + rt0 = r 0 t + rn .
Haciendo el producto interno con n
0 = ht, ni = r 0 ht, ni + rhn, ni = r 0 .
ht, i
entonces
= 0, se concluye que = rn con r 6= 0.
2
ktkkk
Derivando obtenemos
(b) Si =
t = r 0 n + rn0 = r 0 n rt .
Haciendo el producto interno con n obtenemos
0 = ht, ni = r 0 hn, ni rht, ni = r 0 .
Luego, r debe ser constante. Haciendo el producto interno de t
contra si mismo, obtenemos
1 = ht, ti = krtk2 = (r)2
1
= .
r
41

(c) Tomando = r(t cos + n sin ) y derivando obtenemos
t = r 0 (t cos + n sin ) + r(t0 cos + n0 sin )
= r 0 (t cos + n sin ) + r(n cos t sin )
= (r cos + r 0 sin )n + (r 0 cos r sin )t .
Haciendo el producto interno de t con n obtenemos

r 0 cos r sin = 1
r cos + r 0 sin = 0
/ cos
/ sin
Luego, r 0 = cos r = s cos y ademas r = sin .

Por lo tanto,
1
.
=
s cotan
1.34. Pruebe que

Z
a2 sin2 t + b2 cos2 t dt 2 ab,
a, b R+
con igualdad si y solo si a = b.

Soluci
on: 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:
Z
1 2
A() =
(xy 0 x0 y)dt
2 0
Z
1 2
=
((a cos t)(b cos t) (a sin t)(b sin t))dt
2 0
Z
1 2
=
(ab cos2 t + ab sin2 t)dt = ab .
2 0
El largo de la curva es
Z 2
Z 2 p
0
l =
k (t)kdt =
(a sin t)2 + (b cos t)2 dt
0
0
Z 2 p
=
a2 sin2 t + b2 cos2 t dt .
0
42
Captulo 1. Curvas
Por la desigualdad isoperimetrica tenemos que 2 A l entonces

Z 2 p
a2 sin2 t + b2 cos2 tdt 2 ab = 2 ab .

l=
0
1.35. Existe alguna curva cerrada simple en el plano de longitud igual a 6

metros y delimitando un area de 3 metros cuadrados?
Soluci
on: 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
l2
.
4
Tenemos que
l2
36m2
9
=
= m2 < 3m2 = A
4
4
lo cual contradice la desigualdad isoperimetrica.
1.36. Sean A, B puntos del plano a distancia menor que l, y sea una curva
simple de A a B de largo l aun lado de la recta por A, B. Probar que
el area mayor que encierra la curva cerrada AB se tiene cuando
es un arco de crculo por A, B.
Soluci
on: Sea S 1 un crculo que admite el segmento AB como cuerda,
de arcos , determinados por los puntos A y B, como en la figura con
la longitud de igual a l.
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
43
que con longitud l, unen A y B. En virtud de la desigualdad isoperimetrica para curvas C 1 a trozos, la curva de la familia que delimita un
area maxima es S 1 , como esta fijo, 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 6= b.
Muestre que tiene exactamente 4 vertices, encuentrelos.
Soluci
on: Tenemos que (t) = (a cos t, b sin t) y sabemos que (t) =
x0 y 00 x00 y 0
. En particular, x0 (t) = a sin t, x00 (t) = a cos t,
((x0 )2 + (y)2 )3/2
y 0 (t) = b cos t y y 00 (t) = b sin t. Entonces
(t) =
(a sin t)(b sin t) (a cos t)(b cos t)

ab
=
.
2
2
(a2 sin t + b2 cos2 t)3/2
(a2 sin t + b2 cos2 t)3/2
Luego
3ab sin t cos t(b2 a2 )

.
(a2 sin2 t + b2 cos2 t)3/2
Por otro lado, t [0, 2] es vertice si 0 (t) = 0, es decir, si 3ab sin t cos t =

0 sin t cos t = 0 entonces t 0, 2 , , 32 , 2 donde

(0) = (2) = (a, 0) 2 = (0, b)
0 (t) =
() = (a, 0)
= (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, t2 ), 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?
Soluci
on: Tenemos que 0 (t) = (1, 2t) y 00 (t) = (0, 2) entonces
(t) =
2
(1 + 4t2 )3/2
y 0 (t) =
24t
(1 + 4t2 )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.
44
Captulo 1. Curvas
1.39. Pruebe que la curva : [0, 2) R2

(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?
Soluci
on: Tenemos que
0 (t) = ( sin t 2 sin 2t, cos t + 2 cos 2t) = (x0 (t), y 0(t))
00 (t) = ( cos t 4 cos 2t, sin t 4 sin 2t) = (x00 (t), y 00(t))
entonces k0 (t)k = 5 + 4 cos t.

Luego,
x0 y 00 = ( sin t 2 sin 2t)( sin t 4 sin 2t)
= sin2 t + 8 sin2 2t + 6 sin t sin 2t ,
x00 y 0 = ( cos t 4 cos 2t)(cos t + 2 cos 2t)

= cos2 t 8 cos2 2t 6 cos t cos 2t .
Entonces la curvatura de la curva es:

9 + 6(cos t cos 2t + sin t sin 2t)
(t) =
(5 + 4 cos t)3/2
9 + 6(cos t(cos2 t sin2 t) + 2 sin2 t cos t)
9 + 6 cos t
=
=
(5 + 4 cos t)3/2
(5 + 4 cos t)3/2
con derivada
12 sin t(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 figura.
0 (t) =
45
1.40. Sea una curva plana y sea l la tangente en un punto p. Sea L una
paralela a la recta normal en p a distancia d de p, y sea h el largo del
segmento determinado sobre L por y l. Probar que
2h
.
d0 d2
Soluci
on: 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 parametrizacion. Hacemos desarrollo de Taylor para una vecindad del punto
0.
s2
(s) = (0) + 0 (0)s + 00 (0) + R
2
R
donde lm 2 = 0. Denotamos por la curvatura de en el punto p.
s0 s
|(p)| = lm
d
h
b
Notemos que,
0 (0) = t(0) = (1, 0),
00 (0) = n(0) = (0, 1)
con esta informacion, podemos deducir que

x(s) = s + Rx ,
y(s) =
s2
+ Ry
2
donde R = (Rx , Ry ), entonces

2|y(s)| 2Ry
2|y(s)|
Ry
2h
|(p)| = lm
+ 2
= lm
+ 2 lm
= lm 2 .
2
2
s0
s0
s0 s2
d0 d
s
s
s
46
Captulo 1. Curvas
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
1
|(p)| .
r
Soluci
on: 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 0 y centro O, entonces esta contenida en la region que
encierra el crculo de radio r 0 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.
O
(x(t),y(t))
r0
(x(t),z(t))
b
Luego, si (t) = (x(t), y(t)), sea (t) = (x(t), z(t)) una parametrizacion
del crculo de radio r 0 y centro O. Debido a que la curva esta contenida
en la region que encierra el crculo se tiene que:
|z(t)| |y(t)| .
Usando la formula del problema anterior para curvatura obtenemos
2|z(s)|
1
1
2|y(s)|
lm
= | (p)| = 0 .
2
2
s0
s0
s
s
r
r
|(p)| = lm
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.
47
Soluci
on: 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 0 el radio hallado con r 0 r y (t0 ) el punto de
interseccion. Note que estamos en las mismas condiciones del problema
anterior, entonces
1
1
|(t0 )| 0 .
r
r
1.43. Sea (s), s [0, l] una curva cerrada, convexa y plana, orientada positivamente. 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))
Soluci
on:
(a) Notemos que
0 (s) = t(s) rn0 (s)
= t(s) r( (s)t(s) + (s)b(s))

= (1 + r (s))t(s) .
Entonces
k 0(s)k = |1 + r (s)|kt(s)k = 1 + r (s) .
Usando el teorema de rotacion de tangentes
`() =
l
0
k (s)kds =
ds + r
0
= l + r((s) (0)) = l + 2r .
(s)ds
48
Captulo 1. Curvas
(b) Sea (s) = (x(s), y(s)) entonces t = (x0 , y 0) y por Frenet-Serret
t 0 = (x00 , y 00) = (y 0 , x0 ) .
(1.13)
Tenemos entonces
= (x, y) r(y 0, x0 ) = (x + ry 0 , y rx0 ) .
Para el calculo del area usamos la formula
Z
1
(uv 0 vu0 )ds .
A() =
2
Usando la relacion (1) vemos que
uv 0 = (1 + r )xy 0 + r(1 + r )(y 0)2 = xy 0 rxx00 + r(1 + r )(y 0)2
y
vu0 = (1 + r )yx0 r(1 + r )(x0 )2 = yx0 + ryy 00 r(1 + r )(x0 )2
de donde
uv 0 vu0 = xy 0 yx0 r(xx00 + yy 00) + r(1 + r ) .
Para evaluar la integral necesitamos hallar
Z l
Z l
Z l
00
0
0
0 2
xx ds = xx (l) xx (0) (x ) ds = (x0 )2 ds .
0
De manera similar
Z l
Z l
Z l
00
0
0
0 2
yy ds = yy (l) yy (0) (y ) ds = (y 0)2 ds
0
con lo que obtenemos

Z
y como
(xx00 + yy 00)ds = l
Z
(s)ds = 2 .
49
Se obtiene finalmente que

Z
1 l
A() =
(uv 0 vu0 )ds
2 0
Z
1 l
(xy 0 yx0 r(xx00 + yy 00) + r(1 + r ))ds
=
2 0
Z
Z
Z
1 l
r l
r l
0
0
00
00
=
(xy yx )ds
(xx + yy )ds +
(1 + r ))ds
2 0
2 0
2 0
rl rl 2r 2
= A() + + +
2
2
2
= A() + rl + r 2 .
(c) Utilizaremos la formula para curvatura para curvas planas. Supongamos que esta parametrizada por longitud de arco, entonces
0 (s) = t(s) + r (s)t(s) = t(s)(1 + r (s)) .
Entonces
((10 (s))2 +(20 (s))2 )3/2 = k 0 (s)k3 = kt(s)k3 (1+r (s))3 = (1+r (s))3 .
Sabemos que si (s) = (1 (s), 2 (s)) entonces n(s) = (20 (s), 10 (s)).
Por otro lado se tiene que
00 (s) = 00 (s) rn00 (s)
= 00 (s) r( (s)t(s))0
= 00 (s) + r0 (s)t(s) + r (s)t0 (s)
= 00 (s) + r{0 (s)t(s) + 2 (s)n(s)} .

Luego,
10 200 100 20 = 1 (1 + r ){200 + r[0 20 + 2 10 ]}
2 (1 + r ){100 + r[0 10 2 20 ]}
= (1 + r ){10 200 + r0 20 10 + r2 (10 )2 20 100

r0 10 20 + r2 (20 )2 }
= (1 + r ){10 200 20 100 + r2 ((10 )2 + (20 )2 )}

= (1 + r ){10 200 20 100 + r2 }
= (1 + r ){ + r2 }
= (1 + r )2 .
50
Captulo 1. Curvas
Por lo tanto,
(s) =
1.44.
(1 + r )2
(s)
10 200 100 20
=
=
.
0 2
0 2 3/2
((1 ) + (2 ) )
(1 + r )3
(1 + r (s))
(i) Probar que la curva de nivel f (x, y) = c es convexa si y solo si en

ella la expresion
fxx fy2 2fxy fx fy + fyy fx2
no cambia de signo.
(ii) Determine la curvatura de la curva de nivel f (x, y) = c en un
punto donde se sabe que fxx = 2, fxy = 3, fyy = 1, fx = 1,
fy = 1, tomando la normal en la direccion del gradiente de f .
Soluci
on:
Rs
(i) Sabemos que (s) no cambia de signo si y solo si (s) = 0 (s)ds
es una funcion creciente, ya que 0 (s) = (s). Luego, la curva
asociada a la curvatura es una curva convexa si y solo si
no cambia de signo. Por otro lado, por el teorema de la funcion
implcita, existe g : R R tal que
f (x, g(x)) = c
y la curva de nivel f (x, y) = c puede ser parametrizada mediante
(t) = (t, g(t))
donde g es diferenciable, siempre que fx2 + fy2 6= 0. Derivando la
igualdad f (x, y) = c obtenemos
fx + fy g 0 = 0 .
(1.14)
Luego,
g0 =
fx
.
fy
(1.15)
51

Derivando (1.14) y reemplazando (1.15) obtenemos
fxx + fxy g 0 + {fyx + fyy g 0 }g 0 + fy g 00 = 0
fyx fx fyy fx2
fxy fx
fxx
+
+ fy g 00 = 0
2
f y
fy
fy
g 00 =

.
fy3
Usando la formula para curvatura de curvas planas (t) = (x(t), y(t))

dada por
x0 y 00 x00 y 0
(t) =
.
((x0 )2 + (y 0)2 )3/2
Obtenemos
(x, y) =

g 00(x)
(x,
y)
=
.
(1 + (g 0(x)2 )3/2
(fx2 + fy2 )3/2
Entonces, si fxx fy2 2fxy fx fy + fyy fx2 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
3
= .
2
2
3/2
((1) + (1) )
2 2
1.45. Sea (t) una curva cerrada simple de largo l con curvatura 0 < (t) c.
Probar que
2
l
.
c
Interprete.
Soluci
on: Al ser (t) una curva cerrada simple tiene ndice de rotacion 1, entonces
Z l
(s)ds = (l) (0) = 2 .
0
Por otro lado, como (t) c obtenemos

Z l
Z l
2 =
(s)ds c
ds = cl .
0
52
Captulo 1. Curvas
2
. Observe que un crculo de radio 1/c tiene curvatura
c
0 = c y el largo de este circulo es l0 = 2
. Cualquier curva de curvatura
c
menor a c tiene mayor largo que un crculo de radio 1/c.
Por lo tanto, l
Captulo 2
Superficies
Definici
on 2.1.
Un subconjunto S R3 es una superficie si, para todo punto p S, existe
un conjunto abierto U R2 y un conjunto abierto W R3 conteniendo al
punto p tal que W S es homeomorfo a U.
z
W
p
W S
(u, v)
y
u
U
x
Definici
on 2.2.
Una superficie parametrizada : U R3 es llamada regular si es diferenciable y los vectores u y v son linealmente independientes para todo punto
(u, v) U. Equivalentemente, que sea diferenciable y el producto cruz
u v es nunca cero para todo punto de U.
53
54
Captulo 2. Superficies
Definici
on 2.3.
Dada una aplicacion diferenciable F : U Rn Rm definida sobre un
conjunto abierto U de Rn decimos que p U es un punto crtico de F si
la diferencial dFp : Rn Rm no es un aplicacion sobreyectiva. La imagen
F (p) Rm de un punto crtico se denomina un valor crtico de F . Un punto
de Rm que no es un valor crtico de f se llama valor regular de F .
Si f : U R3 R es una funcion diferenciable, decir que dfp no es
sobreyectiva es equivalente a que fx = fy = fz = 0 en p. De aqu, a f (U)
es un valor regular de f : U R3 R si y solo si fx , fy y fz 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 R3 R es una funci
on diferenciable y a f (U) es un valor
1
regular de f , entonces f (a) es una superficie regular de R3 .
Definici
on 2.4.
El espacio tangente a un punto p de una superficie S, denotado por Tp S, es
el conjunto de vectores tangentes al punto p de todas las curvas en S que
pasan por p.
2.1.
La Primera Forma Fundamental
Si = (u(t), v(t)) es una curva en una superficie parametrizada , luego

el largo de arco partiendo de un punto (t0 ) es dado por
Z t
s=
k 0 (u)kdu .
t0
Por la regla de la cadena, 0 = u u0 + v v 0 entonces

k 0 k2 = E(u0 )2 + 2F u0v 0 + G(v 0 )2
(2.1)
donde
E = ku k2 ,
F = hu , v i ,
G = kv k2 .
(2.2)
55
La forma cuadratica definida por la ecuacion (2.1) se denomina la primera

forma fundamental de la superficie y las funciones definidas en (2.2) son
llamados los coeficientes de la primera forma fundamental.
Proposici
on 2.1.
ku v k =
EF G2 .
Definici
on 2.5.
El area A (R) del sector (R) de una superficie parametrizada : U R3
correspondiente a la region R U es
ZZ
A (R) =
ku v kdudv .
R
2.2.
La Segunda Forma Fundamental
Dada una parametrizacion : U R2 S de una superficie regular S

en un punto p S, podemos elegir un vector unitario normal en cada punto
de (U) mediante
~ = u v .
N
ku v k
La siguiente expresion
e(u0 )2 + 2f u0v 0 + g(v 0)2
(2.3)
es llamada la segunda forma fundamental de en donde

~ uu i ,
e = hN,
~ uv i ,
f = hN,
~ vv i
g = hN,
son llamados coeficientes de la segunda forma fundamental.
2.3.
Problemas Resueltos
2.1. Demuestre que el cilindro circular S = {(x, y, z) R3 : x2 + y 2 = 1} es

una superficie regular.
56
Soluci
on: Consideremos
U = {(x, y) R2 : 0 < x2 + y 2 < 2 }
r=
p
x2 + y 2 y sea : U R3 definida por
x y

(x, y) =
, , tan r
.
r 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) R3 : z = x2 y 2}
es una superficie regular.
Soluci
on: Consideremos la siguiente aplicacion : U R2 R3
definida por
(u, v) = (u, v, u2 v 2 ) .
2.3. Demuestre que el elipsoide

2
y2 z2
3 x
S = (x, y, z) R : 2 + 2 + 2 = 1
a
b
c
Soluci
on: Consideremos la aplicacion : U R2 R3 definida por
(u, v) = (a sin u cos v, b sin u sin v, c cos u)
donde U = {(u, v) R2 : 0 < u < , 0 < v < 2}.
2.4. Demuestre que S R3 el conjunto que se obtiene al rotar una curva
regular : [a, b] R2 con
(t) = (f (t), g(t))
57
alrededor de un eje en el plano de la curva que no incide con esta, es

un superficie regular.
Soluci
on: Considere la parametrizacion : U R2 R3 dada por
(u, v) = (f (v) cos u, f (v) sin u, g(v))
donde U = {(u, v) R2 : 0 < u < 2, a < v < b}.
2.5. Demuestre que, si f (x, y) es una funcion diferenciable, su grafico
Graf (f ) = {(x, y, z) R3 : z = f (x, y)}
es una superficie diferenciable.
Soluci
on: Basta considerar la parametrizacion F : U R2 R3
dada por
F (u, v) = (u, v, f (u, v)) .
2.6. Demuestre que el toro
T = {(x, y, z) R3 : (x2 + y 2 + z 2 + a2 r 2 )2 = 4a2 (x2 + y 2 )}
Soluci
on: Consideremos : U R3 definida por
(u, v) = ((r cos u + a) cos v, (r cos u + a) sin v, r sin u)
donde U = {(u, v) R2 : 0 < u, v < 2}, la cual es una funcion
diferenciable.
2.7. El hiperboloide de una hoja es
S = {(x, y, z) R3 : x2 + y 2 z 2 = 1}
Demuestre que para todo la curva
(x z) cos = (1 y) sin ,
(x + z) sin = (1 + y) cos
58
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 parametrizacion y por lo tanto es una superficie.
Soluci
on: Multiplicando ambas ecuaciones obtenemos
(x2 z 2 ) sin cos = (1 y 2) sen cos .
Si sin 6= 0 y cos 6= 0 se tiene que
x2 z 2 = 1 y 2 x2 + 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 6= z, considere
tal que
(1 y)
cot =
(x z)
entonces (x, y, z) L . Similarmente si x 6= z. Los u

nicos casos restantes son los puntos (0, 0, 1) que estan sobre las lneas L/2 y L0 .
S
x2 + y 2 z 2 = 1
Sea S 1 el circulo unitario x2 + y 2 = 1 en el plano xy, y sea (s) una
parametrizacion de S 1 por arcoparametro. Para cada s, sea w(s) =
0 (s) + e3 , donde e3 es el vector unitario del eje z. Entonces considere
: U R3 dada por
(s, t) = (s) + t(0 (s) + e3 ) = (cos s t sin s, sin s + t cos s, t)
59
donde U = {(s, t) R2 |0 < s < } y note que x2 +y 2 z 2 = 1+t2 t2 =

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 superficies parametrizadas en el punto indicado
a) (u, v) = (u, v, u2 v 2 ) en el punto (1, 1, 0).
b) (r, ) = (r cosh , r sinh , r 2 ) en el punto (1, 0, 1)
Soluci
on:
a) Notemos que (1, 1) = (1, 1, 0) y
)

u = (1, 0, 2u) (1,1) = (1, 0, 2)

u v = (2, 2, 1) .
v = (0, 1, 2v)
= (0, 1, 2)
(1,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 = (2, 0, 1).
= (r sinh , r cosh , 0) (1,0) = (0, 1, 0)
Por lo tanto, el plano tangente es:
2x + z = 0 .
2.9. Determinar los planos tangentes del hiperboloide de revolucion
H = {(x, y, z) R3 : x2 + y 2 z 2 = 1}
en los puntos (x, y, 0) y demostrar que todos ellos son paralelos al eje z.
Soluci
on: Considere la parametrizacion del hiperboloide de revolucion
: U R2 R3 definida por
(u, v) = (cosh u cos v, cosh u sin v, sinh u)
60
entonces
u = (sinh u cos v, sinh u sin v, cosh u)
v = ( cosh u sin v, cosh u cos v, 0)
u v = ( cosh2 u cos v, cosh2 u sin v, sinh u cosh u) .
Como (0, v) = (cos v, sin v, 0) = (s, t, 0) entonces

u v
= ( cos v, sin v, 0) = (s, t, 0) .
(0,v)
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) R3 : 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) R2 : x2 + y 2 + z 2 = 1}
a) Una manera de obtener un sistema de coordenadas para la esfera es
considerar la denominada proyeccion estereografica : S 2 \ {N}
R2 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 : R2 S 2 viene dada
por

2x
2y
x2 + y 2 1
1
(x, y) =
,
,
.
x2 + y 2 + 1 x2 + y 2 + 1 x2 + y 2 + 1
b) Demostrar que es posible, usando la proyeccion estereografica, recubrir la esfera con dos entornos coordenados.
c) Demuestre que la esfera unitaria no puede ser cubierta por solo una
parametrizacion.
61
Soluci
on:
a) Sea Lp la lnea recta que une el polo norte de la esfera con un p =
(x, y, 0) perteneciente al plano xy, entonces
Lp = {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

(xt0 )2 + (yt0 )2 + (1 t0 )2 = 1
o equivalentemente,
t0 =
2
.
x2 + y 2 + 1
Entonces la inversa de la proyeccion estereografica 1 : R2 S 2

viene dada por:

2x
2y
x2 + y 2 1
1
(x, y) = (xt0 , yt0 , 1t0 ) =
,
,
.
x2 + y 2 + 1 x2 + y 2 + 1 x2 + y 2 + 1
b) Tomando dos proyecciones estereograficas 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 superficie regular.
c) Si la esfera S 2 fuera cubierta por solo una parametrizacion : U
R3 , entonces S 2 sera homeomorfa a un subconjunto abierto U de
R2 . Como S 2 es un conjunto cerrado y acotado de R3 , entonces S 2
es compacto. Luego, U sera compacto, en particular cerrado. Como
R2 es conexo, el u
nico subconjunto no vacio cerrado y abierto es R2
entonces U = R2 . Lo que implicara que R2 es compacto, es decir,
acotado. Lo que es absurdo.
2.11. Calcule la primera forma fundamental de las siguientes superficies:
a) (u, v) = (sinh u sinh v, sinh u cosh v, sinh u).
b) (u, v) = (u v, u + v, u2 + v 2 ).
62
c) (u, v) = (cosh u, sinh u, v).
d) (u, v) = (u, v, u2 + v 2 ).
Soluci
on:
a) Tenemos que
u = (cosh u sinh v, cosh u cosh v, cosh u)
v = (sinh u cosh v, sinh u sinh v, 0)
entonces podemos obtener los coeficientes de la primera forma fundamental
E = hu , u i = 2 cosh2 u
F = hu , v i = 2 sinh u cosh u sinh v cosh v
G = hv , v i = sinh2 u
y la primera forma fundamental es
Edu2 + 2F dudv + Gdv 2 =
2 cosh2 udu2 + 4 sinh u cosh u sinh v cosh v dudv + sinh2 udv 2 .

b) Para el paraboloide de revolucion se tiene que
u = (1, 1, 2u)
v = (1, 1, 2v)
entonces los coeficientes de la primera forma fundamental son
E = hu , u i = 2 + 4u2
F = hu , v i = 4uv
G = hv , v i = 2 + 4v 2
luego la primera forma fundamental es
Edu2 + 2F dudv + Gdv 2 = (2 + 4u2 )du2 + 8uv dudv + (2 + 4v 2 )dv 2 .
63
c) Para el cilindro hiperbolico se tiene que

u = (sinh u, cosh u, 0)
v = (0, 0, 1)
E = hu , u i = sinh2 u + cosh2 u
F = hu , v i = 0
G = hv , v i = 1

Edu2 + 2F dudv + Gdv 2 = (cosh2 u + sinh2 u)du2 + dv 2 .
d) Para el paraboloide de revolucion se tiene que
u = (1, 0, 2u)
v = (0, 1, 2v)
E = hu , u i = 1 + 4u2
F = hu , v i = 4uv
G = hv , v i = 1 + 4v 2
Edu2 + 2F dudv + Gdv 2 = (1 + 4u2)du2 + 8uv dudv + (1 + 4v 2 )dv 2 .
2.12. Determine las coeficientes de la primera forma fundamental de la esfera
asociada a la parametrizacion por proyeccion estereografica. Use esto
para calcular el largo de un meriadiano completo.
Soluci
on: La proyeccion estereografica es dada por

2u
2v
u2 + v 2 1
(u, v) =
,
,
u2 + v 2 + 1 u2 + v 2 + 1 u2 + v 2 + 1
64
entonces
2(u2 + v 2 + 1) 4u2
4uv
, 2
,
2
2
2
(u + v + 1)
(u + v 2 + 1)2

2u(u2 + v 2 + 1) (u2 + v 2 1)(2u)
(u2 + v 2 + 1)2

2(u2 + v 2 + 1)
4uv
4u
=
,
,
(u2 + v 2 + 1)2 (u2 + v 2 + 1)2 (u2 + v 2 + 1)2
u =
por simetra se deduce que

4uv
2(u2 v 2 + 1)
4v
v =
,
,
.
(u2 + v 2 + 1)2 (u2 + v 2 + 1)2 (u2 + v 2 + 1)2
Luego,
(u2 + v 2 + 1)4 E = 4(v 2 u2 + 1)2 + 16u2 v 2 + 16u2
= 4((v 2 u2 )2 + 2(v 2 u2 ) + 1) + 16u2v 2 + 16u2
= 4(v 4 2u2 v 2 + u4 + 2v 2 2u2 + 1) + 16u2v 2 + 16u2

= 4(v 4 + 2u2 v 2 + u2 + 2v 2 + 2u2 + 1)
= 4(u2 + v 2 + 1)2
4
E =
(u2 + v 2 + 1)2
y de manera similar G =
(u2
4
ademas
+ v 2 + 1)2
(u2 + v 2 + 1)4 F = 2(u2 + v 2 + 1)(4uv) 4uv(2u2 v 2 + 1) + 16uv
= 8uv(u2 + v 2 + 1) 8uv(u2 v 2 + 1) + 16uv = 0
F = 0.
Notemos que la curva (t) = (t, at) = (u(t), v(t)) con a 6= 0 parametriza los meridianos de la esfera entonces el largo de arco de es
Z
s =
k0 (t)kdt
Z
p
=
E(u0)2 + 2F u0v 0 + G(v 0 )2 dt
=
=
4
4
+ 2
a2
2
2
2
u (t) + v (t) + 1)
(u (t) + v 2 (t) + 1)2
2 1 + a2
dt .
t2 (1 + a2 ) + 1
1/2
dt
65
sec2
Haciendo t = tan / 1 + a2 implica dt =
d y se obtiene que
1 + a2
Z /2
sec2
2 1 + a2
d
s =
2
1 + a2
/2 tan + 1
Z /2
= 2
d = 2 .
/2
2.13. Esboce la curva sobre el cono

(u, v) = (u cos v, u sin v, u)
dada por u = et , v = t, donde es una constante. Hallar el largo de
arco de la parte de la curva con 0 t .
Soluci
on: Tomando la parametrizacion : U R2 R3 dada por
(u, v) = (u cos v, u sin v, u)
donde U = {(u, v) R2 : 0 < u < , 0 < v < 2} luego
u = (cos v, sin v, 1),
v = (u sin v, u cos v, 0)
los coeficientes de la primera forma fundamental y la primera forma

fundamental son
E = hu , u i = 2
Edu2 + 2F dudv + Gdv 2 = 2du2 + u2 dv 2

F = hu , v i = 0
G = hv , v i = u2
Entonces, el largo de arco de la curva (t) = (et , t) es:

Z
Z
0
l =
k (t)kdt =
(Edu2 + 2F dudv + Gdv 2)1/2 dt
0
Z0
Z
2
2
2 1/2
=
(2du + u dv ) dt =
(22 e2t + e2t )1/2 dt
0
0
Z
2
(2
+ 1)1/2
(e 1) .
= (22 + 1)1/2
et dt =
0
Un esboce de la curva es la siguiente
66
2.14. Demuestre que el area A de una region acotada R de la superficie z =

f (x, y) es
Z Z q
1 + fx2 + fy2 dxdy .
A=
Q
Soluci
on: Sabemos que si : U R3 R3 es una carta entonces
Z Z
A=
ku v k du dv ,
Q = 1 (R) .
Q
Tomando la parametrizacion (x, y) = (x, y, f (x, y)) entonces

x = (1, 0, fx ),
y = (0, 1, fy )
y
E = hx , x i = 1 + fx2
F = hx , y i = fx fy
G = hy , y h = 1 + fy2
Por lo tanto,
A=
kx y k =
Z Z q
EG F 2 =
1 + fx2 + fy2 .
1 + fx2 + fy2 dxdy .
2.15. Demuestrese que una superficie de revolucion siempre puede parametrizarse de forma que que
E = E(v),
F = 0,
G=1.
67
Soluci
on: Para esto basta parametrizar por longitud de arco la curva
generatriz C de la superficie de revolucion, mediante:
: [a, b] R2 ,
(t) = (f (t), g(t)) ,
es decir, k 0 (t)k = 1 para todo t [a, b]. Sabemos que las superficies
de revolucion tinen como parametrizacion
(u, v) = (f (v) cos u, f (v) sin u, g(v))
con
u = (f (v) sin u, f (v) cos u, 0),
v = (f 0 (v) cos u, f 0(v) sin u, g 0(v)) .
Entonces, los coeficientes de la primera forma fundamental son dados

por:
E = hu , u i = (f (v))2 (sin2 u + cos2 u) = (f (v))2 = E(v)
F = hu , v i = f (v) sin uf 0(v) cos u + f (v) cos uf 0 (v) sin u = 0
G = hv , v i = (f 0 (v))2 + (g 0(v))2 = k0 (t)k2 = 1 .
2.16. Sea S una superficie 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
(s) ds
donde l es la longitud de C.
(b) Aplique la parte (a) para calcular el area de un toro de revolucion.
Soluci
on:
(a) La parametrizacion de una superficie de revolucion : U R2
R3 es
(t, s) = (f (s) cos t, f (s) sin t, g(s))
68
donde
U = {(t, s) R2 : 0 < t < 2, 0 < s < l}
y la parametrizacion de la curva generatriz c es : [0, l] R2 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=
Z Z
Z Z
kt s k dtds =
EG F 2 dtds
con Q = 1 (R) y tenemos que

t = (f (s) sin t, f (s) cos t, 0)
s = (f 0 (s) cos t, f 0 (s) sin t, g 0 (s))
E = ht , t i = f 2 (s)
F = ht , s i = 0
G = hs , s i = (f (s))2 + (g(s))2 = k(s)k2 = 1 .

Entonces,
A =
Z Z
EG
F 2 dtds
= 2
f (s)ds = 2
Z lZ
0
2
0
p
f 2 (s) dtds
(s) ds .
(b) La curva generatriz parametrizada por longitud de arco del toro de

revolucion es

s
s
(s) = a + r cos
, r sin
.
r
r
Entonces,
Z 2r
Z 2r
s
2
A( T ) = 2
(s) ds = 2
a + r cos
ds
r
0
0
h
s i2r
= 2 as sin
= 4 2 ar .
r 0
69

2.17. Pruebe que para a, b, c 6= 0, cada una de las ecuaciones
x2 + y 2 + z 2 = ax ,
x2 + y 2 + z 2 = by ,
x2 + y 2 + z 2 = cz
define una superficie regular, y que todas ellas se cortan ortogonalmente.

Soluci
on: Notemos que
x2 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,
S1 = {(x, y, z) R3 : x2 + y 2 + z 2 = ax}
= {(x, y, z) R3 : (x a/2)2 + y 2 + z 2 = (a/2)2 }
es decir, S1 es una esfera de centro en (a/2, 0, 0) y radio a2 . Como la

esfera es una superficie parametrizada regular, se concluye que S1 es
una superficie regular. Lo mismo sucede con S2 y S3 que son esferas de
centros en (0, b/2, 0), (0, 0, c/2) y radios 2b y 2c , respectivamente, luego
son superficies regulares. Ahora bien, notemos que los vectores normales
de las primeras dos superficies son paralelos a los vectores (2xa, 2y, 2z)
y (2x, 2y b, 2z) y
S1 S2 = {(x, y, z) R3 : ax = by}
Entonces,
h(2x a, 2y, 2z), (2x, 2y b, 2z)i = 2x(2x a) + 2y(2y b) + 4z 2
= 4x2 2ax + 4y 2 2by + 4z 2
= 4(x2 + y 2 + z 2 ) 2(ax + by)
= 4ax 2(by + by)

= 4ax 4by = 0
lo que implica que S1 y S2 se cortan ortogonalmente de manera similar

se prueba para los restantes casos.
70
2.18. Sean p(t), q(t) puntos en el espacio que se mueven con igual rapidez, el
primero desde (0, 0, 0) en direccion del eje Z, y el segundo desde (1, 0, 0)
en direccion del eje Y . Demuestre que el conjunto de rectas que une p(t)
con q(t) esta dado por la ecuacion y(x 1) + xz = 0. Es este conjunto
una superficie regular?
Soluci
on: Podemos parametrizar p y q mediante arcoparametro
p(t) = (0, 0, t) y q(t) = (1, t, 0)
y se verifica que kp0 (t)k = kq 0 (t)k = 1. Entonces, la recta que une el

punto p(t) con q(t) es
Lt = {(1 r)p(t) + rq(t) : r R} = (r, rt, (1 r)t : r R} .

Notemos que si (x, y, z) Lt entonces
x=
y
(z t)
=
t
t
despejando t se obtiene
t=
y
,
x
t=
z
y
z
=
y(x 1) + xz = 0 .
(x 1)
x
(x 1)
Por otro lado, las rectas
L1 = {(x, y, z) R3 : x = 1, y 0, z = 0}
L2 = {(x, y, z) R3 : 0 x 1, y = z = 0}
L3 = {(x, y, z) R3 : z 0, x = y = 0}
71
z
p
y
1
q
x
pertenecen a este conjunto y de hecho son el borde de este conjunto,

por lo tanto este conjunto no es superficie regular, ya que no existe :
U R2 V S con U abierto y V vecindad de alg
un p L1 L2 L3 .
2.19. Sea = (u) una curva con curvatura nunca nula.
(i) Se define (u, v) = (u) + v0 (u). Interprete geometricamente la
imagen de . Pruebe que para todo (u0 , v0 ), v0 6= 0, existe una
vecindad |u u0 | < , |v v0 | < , cuya imagen bajo es una
superficie regular.
(ii) Supongase que esta parametrizada, y considere
(u, v) = (u) + r[(cos v)
n(u) + (sen v)b(u)],
donde r > 0 es fijo. Interprete la imagen de geometricamente.
Pruebe que D(u, 0) tiene rango maximo solo en los puntos donde
r(u) 6= 1, en cuyo caso, la normal a la superficie esta dada por
(cos v)
n(u) + (sen v)b(u).
Soluci
on:
(i) Para u fijo la superficie es una lnea recta que corta a la curva en
el punto (u) y que esta en a direccion de 0 (u). Por hipotesis
(u) =
k00 (u) 0 (u)k

6= 0 .
k0 (u)k3
72
Notemos que u = 0 (u) + v00(u),
v = 0 (u), luego
u v = (0 (u) + v00(u)) (0(u)) = v00 (u) 0 (u) 6= 0

entonces para todo (u, v) con v 6= 0 se tiene que es superficie
regular.
(ii) La superficie 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 vb(u)
v = r sen v
n(u) + r cos vb(u) .
Entonces

u v |(u,0) = r(1 r cos v)(cos v
n(u) + sen vb(u))
(u,0)
= r(1 r)
n(u) .
Si r 6= 1 entonces u v 6= 0 lo que implica que D(u, 0) tiene

rango maximo. Ahora bien, calculando el vector normal unitario
se obtiene
N =
=
u v
ku v k
r(1 r cos v)(cos v

n(u) + sen vb(u))
r(1 r cos v) k cos v
n(u) + sen vb(u)k
|
{z
}
1
N = cos v
n(u) + sen vb(u) .
2.20. Considere la superficie 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
1
hdN(v), vi =
Hess (f )(v, v).
kf k
Soluci
on: Por el teorema de la funcion implicita existe g : R2 R tal
que
f (x, y, g(x, y)) = a
(2.4)
73
ya que a es valor regular estamos suponiendo fz 6= 0. Entonces, tenemos

la parametrizacion
(x, y) = (x, y, g(x, y))
con
x = (1, 0, gx )
y = (0, 1, gy )
x y = (gx , gy , 1) .
Derivando implicitamente (2.4) se obtiene
fx
gx =
fx + fz gx = 0
fz
fy
fy + fz gy = 0
gy =
fz
Notemos que
kx y k =
gx2 + gy2 + 1 =
fx2 + fy2 + fz2

kf k
=
.
2
fz
fz
Entonces,
N =
x y
fz
1
=
(gx , gy , 1) =
(fx , fy , 1) .
kx y k
kf k
kf k
74
Captulo 3
Curvatura de Superficies
3.1.
La Curvatura de Curvas sobre una Superficie
Si (t) = (u(t), v(t)) es una curva arco-parametrizada en una superficie

parametrizada , entonces 0 es un vector unitario y por definicion tangente
~ de , entonces
a . Luego, 0 es perpendicular al vector normal unitario N
~ yN
~ 0 son mutuamente vectores perpendiculares y unitarios. Como
0, N
0 esta parametrizado por longitud de arco, 00 es perpendicular a 0 , y luego
~ yN
~ 0:
es una combinancion lineal de N
~ + g N
~ 0 .
00 = n N
(3.1)
00
0
Tp S
n
g
p
75
76
Captulo 3. Curvatura de Superficies
Los escalres n y g son llamados la curvatura normal y la curvatura geodesica

~ y N
~ 0 son vectores perpendiculares, la
de , respectivamente. Como N
ecuacion (3.1) implica que
~ ,
n = h 00 , Ni
~ 0 )i
g = h 00 , (N
y
2 = k 00 k2 = 2n + 2g .
Proposici
on 3.1.
Si (t) = (u(t), v(t)) es una curva arco-parametrizada sobre una superficie
parametrizada , entonces la curvatura normal es dada por
n = e(u0 )2 + 2f u0v 0 + g(v 0 )2 .
Definici
on 3.1.
Las curvaturas principales de una superficie parametrizada son las raices de
la ecuacion

e kE f kF

(3.2)
det(FII kFI ) =
=0
f kF g kG
y son denotados por 1 y 2 .
Si es una de las curvaturas principales de la ecuacion (3.2) decimos que

FII kFI no es invertible, luego, asumiendo que es real, existe una matriz
columna T no cero de 2 1 con entradas reales tales que
(FII FI )T = 0 .
(3.3)
Definici
on !
3.2.
Si T =
satisface la ecuacion (3.3), el correspondiente vector tangente
t = u + v de la superficie (u, v) es llamado una direccion principal

correspondiente a la curvatura principal .
Definici
on 3.3.
Si una curva regular conexa C en S es tal que para todo p C la recta
tangente de C es una direccion principal en p, entonces se dice que C es una
lnea de curvatura de S
77
Teorema 3.1 (Rodrigues).

Una condicion necesaria y suficiente para que una curva regular conexa C
en S sea una lnea de curvatura de S es que
N 0 (t) = (t) 0 (t) ,
para cualquier parametrizacion (t) de C, donde N(t) = N (t) y (t) es
una funcion diferenciable de t.
Se deduce entonces apartir del Teorema de Rodrigues que la ecuacion
diferencial de las lneas de curvatura es
(f E eF )(u0 )3 + (gE eG)u0 v 0 + (gF f G)(v 0 )2 = 0 ,
que, de una manera mas simetrica, puede escribirse en la forma

(v 0 )2 u0 v 0 (u0 )2

F
G =0.
E

e
f
g
(3.4)
Teorema 3.2 (Teorema de Euler).

Sea una curva sobre una superficie parametrizada , y sean 1 y 2 las
curvaturas principales de , con direcciones principales t1 y t2 . Entonces, la
curvarura normal de es
n = 1 cos2 + 2 sen2 ,
donde es el angulo entre 0 y t1 .
Teorema 3.3.
~ el vector normal unitario de la superficie parametrizada (u, v). EnSea N
tonces,
~ u = au + bv ,
N
donde
a c
b d
~ v = cu + dv ,
N
(3.5)
= FI1 FII .
La matriz FI1 FII es llamada la matriz de Weingarten de la superficie

parametrizada , y es denotada por W.
78
3.2.
Las Curvaturas Media y Gaussiana
Definici
on 3.4.
Sean 1 y 2 las curvaturas principales de una superficie parametrizada.
Entonces, la curvatura gaussiana de una superficie parametrizada es
K = 1 2 ,
y la curvatura media es
1
H = (1 + 2 ) .
2
Proposici
on 3.2.
Sea (u, v) una superficie parametrizada con primera y segunda forma fundamentales
E(u0 )2 + 2F u0v 0 + G(v 0 )2
e(u0 )2 + 2f u0v 0 + g(v 0)2 ,
respectivamente. Entonces
(i) K =
eg f 2
;
EG F 2
(ii) H =
1 eG 2f F + gE
;
2
EG F 2
(iii) las curvaturas principales son H
3.3.
H 2 K.
Geod
esicas
Definici
on 3.5.
Una curva sobre una superficie S es llamada una geodesica si 00 (t) es cero
o perpendicular a la superficie en el punto (t), i.e. paralelo al vetor normal
unitario, para todos los valores del parametro t.
Proposici
on 3.3.
Una curva sobre una superficie es una geodesica si y s
olo si la curvatura
geodesica es cero.
79
Teorema 3.4.
Una curva sobre una superficie S es una geodesica si y s
olo si, para cualquier parte (t) = (u(t), v(t)) de contenida en una superficie parametrizada de S, las siguientes dos ecuaciones son satisfacidas:
1
d
(Eu0 + F v 0 ) = (Eu (u0 )2 + 2Fu u0 v 0 + Gu (v 0 )2 ) ,
dt
2
(3.6)
d
1
(F u0 + Gv 0 ) = (Ev (u0 )2 + 2Fv u0 v 0 + Gv (v 0 )2 ) ,
dt
2
donde E(u0 )2 + 2F u0 v 0 + G(v 0 )2 es la primera forma fundamental de .
Las ecuaciones diferenciales en (3.6) son llamadas las ecuaciones geodesicas.
3.4.
El Teorema Egregio de Gauss
Definici
on 3.6.
Un difeomorfismo : S1 S2 es llamada una isometra si al tomar curvas
en S1 son llevadas a curvas en S2 con el mismo largo. Si una isometra :
S1 S2 existe, decimos que S1 y S2 son isometricas.
Teorema 3.5. Un difeomorfismo : S1 S2 es una isometra si y s
olo
si para cualquier parametrizacion de S1 , se tiene que y f tienen la
misma primera forma fundamental.
Teorema 3.6 (Teorema Egregio de Gauss).
La curvatura gaussiana K de una superficie es invariante por isometrias.
Corolario 3.1.
La curvatura gaussiana es dada

1 Evv + Fuv 1 Guu
2
2

1
Fv 2 Gu

1

G
2 v
K=
por
1
E
2 u
E
F
Fu 12 Ev
F
G
(EG F 2 )2

0

1
2 Ev
1
Gu
2
1
E
2 v
E
F

F

G
1
G
2 u
80
Proposici
on 3.4 (Ecuaciones de Gauss).
Sea (u, v) una superficie parametrizada. Entonces,
uu = 111 u + 211 v + eN ,
uv = 112 u + 212 v + f N ,
vv = 122 u + 222 v + gN ,
donde
GEu 2F Fu + F Ev
,
2(EG F 2 )
GEv F Gu
=
,
2(EG F 2 )
2GFv GGu F Gu
=
,
2(EG F 2 )
2EFu EEv F Eu
,
2(EG F 2 )
EGu F Ev
=
,
2(EG F 2 )
EGv 2F Fv + F Gu
=
.
2(EG F 2 )
111 =
211 =
112
212
122
222
Los seis coeficientes kij en esta formula son llamados los smbolos de
Christoffel.
Proposici
on 3.5 (Ecuaciones Codazzi-Mainardi).
Defina los smbolos de Christoffel de una superficie parametrizada (u, v)
como arriba. Entonces,
ev fu = e112 + f (212 111 ) g211 ,
fv gu = e122 + f (222 112 ) g212 .
3.5.
Problemas Resueltos
3.1. Demuestre que la curvatura normal de cualquier curva sobre una esfera
de radio r es 1/r.
Soluci
on: Sabemos que, 00 = n N + g N 0 . Sea una curva arcoparametrizada sobre la esfera de centro en a y radio r. Entonces
k(s) ak = r h(s) a, (s) ai = r 2 ,
derivando esta expresion resulta
h0 (s), (s) ai = 0 ,
81
derivando nuevamente obtenemos

h00(s), (s) ai = h0 (s), 0(s)i = 1 .
Sabemos que el vector normal de la esfera es:
1
N = ((s) a) .
r
Por lo tanto,
1
1
n = h00(s), Ni = h00(s), (s) ai = .
r
r
3.2. Demuestre que si (t) = (u(t), v(t)) es una curva arcoparametrizada
sobre una superficie entonces
n = e(u0 )2 + 2f u0 v 0 + g(v 0)2
Soluci
on: Notemos que
d 0
d
( )i = hN, (u u0 + v v 0 )i
dt
dt
= hN, u u00 + v v 00 + (uu u0 + uv v 0 )u0 + (uv u0 + vv v 0 )v 0 )i
n = hN, 00 i = hN,
= e(u0 )2 + 2f u0v 0 + g(v 0)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 superficie de revolucion obtenida al rotar la curva
C alrededor del eje y tiene curvatura gaussiana K 1.
Soluci
on:
(i) Geometricamente se obtiene la siguiente relacion
82
1 x2
z0
dz
1 x2
=
.
dx
x
1
b
(x0 , z0 )
x
x0
Luego, la curva tractrix puede ser parametrizada por
1 t2
0
.
(t) = (t, f (t)), con f (t) =
t
(ii) Una parametrizacion para esta superficie 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 0(v))
uu = (v cos u, v sen u, 0)
uv = ( sen u, cos u, 0)
vv = (0, 0, f 00(v))
entonces
E = ku k2 = v 2 ,
F = hu , v i = 0
1 v2
1
2
0
2
G = kv k = 1 + (f (v)) = 1 +
= 2
2
v
v
u v = (v cos uf 0 (v), v sen uf 0 (v), v)
ku v k =
EG F 2 = 1
~ = (v cos uf 0 (v), v sen uf 0 (v), v)
N
83

e = hN, uu = v 2 f 0 (v)
g = hN, vv i = vf 00 (v)
f = hN, uv i = 0,
1
f 00 (v) =
.
v2 1 v2
Por lo tanto, la curvatura gaussiana es

v 2 f 0 (v)(vf 00 (v))
eg f 2
=
EG F 2
v 2 1/v 2
1 v2
1
= v2
= 1 .
v
v
v2 1 v2
K =
3.4. Pruebe que la curvatura media esta dada por

Z
1
H=
n ()d,
0
donde n () es la curvatura normal en una direccion que forma un angulo con una direccion tangente fija.
Soluci
on: La formula de Euler establece que
n () = 1 cos2 + 2 sen2
entonces
1
Z
1
n ()d =
(1 cos2 + 2 sen2 )d
0
Z
Z
1
1
2
=
1
cos d + 2
sen2 d .
0
0
Note que integrando por partes se obtiene que

Z
Z
Z

2
2
cos d = cos sen +
sen d =
0
Ademas
Z
cos d +
0
sen d =
0
Entonces, se concluye que

Z
Z
2
cos d =
0
sen2 d .
(cos2 + sen2 )d = .
sen2 d =
0
84

y como H = 12 (1 + 2 ) obtenemos que
Z
Z
Z
1
1
1
2
n ()d =
1
cos d + 2
sen2 d
0
0
0
1 1
1
=
1 + 2 = (1 + 2 ) = H .
2 2
2
3.5. Probar que en puntos correspondientes, las superficies dadas por

(u, v) (u cos v, u sen v, log u)
(u, v) (u cos v, u sen v, v)

tienen igual curvatura gaussiana.
Soluci
on: Sean
(u, v) = (u cos v, u sen v, log u),
(u, v) = (u cos v, u sen v, v) .
Tenemos que
u =
1
cos v, sen v,
u
v = (u sen v, u cos v, 0)
y ademas u v = ( cos v, sen v, 0). Luego, los coeficientes de la

primera forma fundamental son
E =
u2 + 1
,
u2
F = 0,
G = u 2
y el vector normal unitario es

~ = u v = 1
( cos v, sen v, u)
N
ku v k
u2 + 1

1
uu = 0, 0, 2 , uv = ( sen v, cos v, 0), vv (u cos v, u sen v, 0)
u
y los coeficientes de la segunda forma fundamental son
1
e =
,
u u2 + 1
f = 0,
g =
u
.
+1
u2
Entonces, la curvatura gaussiana de la primera superficie es

K =
eg f 2
1
= 2
.
2
EG F
(u + 1)2
85

Por otro lado, se tiene para segunda superficie
u = (cos v, sen v, 0),
v = (u sen v, u cos v, 1)
ademas u v = (sen v, cos v, u) y los coeficientes de la primera

forma fundamental son
E = 1,
F = 0,
G = 1 + u 2
el vector unitario normal resulta ser

~ = u v = 1
N
(sen v, cos v, u)
ku v k
u2 + 1
uu = (0, 0, 0),
uv = ( sen v, cos v, 0),
vv = (u cos v, u sen v, 0)
los coeficientes de la segunda forma fundamental son

e = 0,
f =
1
,
1 + u2
g = 0 .
Por lo tanto,
K =
eg f 2
1
= 2
= K .
2
EG F
(u + 1)2
3.6. En el toro de revolucion encontrar el maximo y el mnimo de K y donde

ocurre.
Soluci
on: Considere
(u, v) = ((a + r cos u) cos v, (a + r cos u) sin v, 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 coeficientes de la primera forma fundamental son:

E = ku k2 = r 2 ,
F = hu , v i = 0,
G = kv k2 = (a + r cos u)2 .
86

Ademas,
uu = (r cos u cos v, r cos u sin v, r sin u)
uv = (r sin u sin v, r sin u cos v, 0)
vv = ((a + r cos u) cos v, (a + r cos u) sin v, 0)
y como
u v =
(r(a+r cos u) cos u cos v, r(a+r cos u) cos u sin v, r(a+r cos u) sin u)
p
ku v k = EG F 2 = r 2 (a + r cos u)2 = r(a + cos u) .
Entonces, N = ( cos u cos v, cos u sin v, sin u) , con esta informacion tenemos que los coeficientes de la segunda forma fundamental son:
e = hN, uu i = r, f = hN, uv i = 0, g = hN, vv i = (a + r cos u) cos u .
Entonces, la curvatura gaussiana del toro es:
K=
eg f 2
r(a + r cos u) cos u
cos u
=
=
.
2
2
2
EG F
r (a + r cos u)
r(a + r cos u)
(3.7)
Ahora bien, para encontrar el maxmo y minimo de la curvatura Gaussiana consideramos K como una funcion de u derivando obtenemos que
K0 =
curvatura
mnima
a sen u
= 0 u = 0, .
r(a + r cos u)2
z
curvatura
maxima
y
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.
87

3.7. En una superficie de revolucion
(u, v) = (h(u) cos v, h(u) sen v, g(u)) .
Demuestre que las curvaturas normales en las direcciones de u y v

e
g
son
y
respectivamente. Muestre que los meriadianos y paralelos
E
G
son lneas de curvatura.
Soluci
on: Asumamos que la curva (t) = (h(t), g(t)) es parametrizada
por arco-parametro entonces
u = (h0 cos v, h0 sen v, g 0),
v = (h sen v, h cos v, 0)
y los coeficientes de la primera forma fundamental son

E = 1,
F = 0,
G = h2 .
Ademas, u v = (hg 0 cos v, hg 0 sin v, h0 h) entonces el vector normal

unitario a la superficie es U = (g 0 cos v, g 0 sin v, h0 ) y tenemos que
uu = (h00 cos v, h00 sin v, g 00)
uv = (h0 sin v, h0 cos v, 0)
vv = (h cos v, h sin v, 0)
entonces los coeficientes de la segunda forma fundamental son
e = h0 g 00 h00 g 0 ,
f = 0,
g = hg 0 .
La ecuacion diferencial para las lineas de curvatura es

(f E eF )(u0)2 + (gE eG)u0 v 0 + (gF f G)(v 0)2 = 0 .
Un meridiano es parametrizado por la curva (t) = (t, a) donde a es
constante entonces u0 = 1 y v 0 = 0 y la ecuacion diferencial de las lineas
de curvatura nos queda f E 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 u0 = 0 y v 0 = 1 y
la ecuacion diferencial queda gF f G = 0 y como F = f = 0 entonces
88

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(u0 )2 + 2f u0v 0 + g(v 0)2

E(u0 )2 + 2F u0v 0 + G(v 0 )2
hallar las curvaturas normales en las direcciones de u y v es equivalente a hallar las curvaturas normales para las curvas coordenadas y
. Entonces, para la curva se tiene que u0 = 1 y v 0 = 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 superficie de revolucion de la catenaria
x
y = c cosh
.
c
1
, H = 0.
Demuestre que K = 2
c cosh4 uc
Soluci
on: La parametrizacion de la catenaria de revolucion es

u
u

(u, v) = u, c cosh
cos v, c cosh
sen v
c
c
entonces
u

u
u = 1, senh
cos v, senh
sen v
c
c

u
u
v = 0, c cosh
sen v, c cosh
cos v
c
c

1
u
1
u
cos v, cosh
sen v
uu =
0, cosh
c
c
c
c

u
u

uv = 0, senh
sen v, senh
cos v
c

cu

u
vv = 0, c cosh
cos v, c cosh
sen v

u c u
cu
u

u v = c senh
cosh
, c cosh
cos v, s cosh
sen v,
c
c
c
c
luego el vector normal unitario U es
~ =
N
u
cos v
sen v
,

tanh
,
u
c
cosh c
cosh uc
89

y los coeficientes de la primera y segunda forma fundamental son

E = hu , u i = cosh2 uc ,
F = hu , v i = 0 ,

G = hv , v i = c2 cosh2 uc ,
e = hU, uu i = 1c ,
f = hU, uv i = 0 ,
g = hU, vv i = c .
La curvatura Gaussiana es entonces

K=
1
eg f 2
= 2
2
EG F
c cos4
u
c
y la curvatura media es

1 c cosh2 uc + c cosh2
1 eG 2f F + gE

H=
=
2
EG F 2
2
c2 cosh4 uc
u
c
=0.
3.9. En la superficie de revolucion de
(u) = (u, eu
2 /2
, 0)
en torno al eje x, encuentre K y las regiones en las cuales K > 0, K = 0,

K < 0.
Soluci
on: La parametrizacion para la superficie de revolucion es
(u, v) = (u, eu
2 /2
cos v, eu
2 /2
sen v)
y tenemos que
u = (1, ueu
2 /2
cos v, ueu
2 /2
v = (0, eu
sen v),
2 /2
sen v, eu
2 /2
cos v)

2
E = 1 + u2 eu ,
2
F = 0,
2
Ademas u v = (ueu , eu /2 cos v, eu

vector unitario normal a la superficie es
~ =
N
1
1+
u2 eu2
(ueu
2 /2
G = eu .
2 /2
sen v) entonces el
, cos v, sen v)
90

y tenemos que
uu = (0, eu
2 /2
uv = (0, ueu
(u2 1) cos v, eu
2 /2
sen v, ueu
u2 /2
vv = (0, e
2 /2
u2 /2
cos v, e
2 /2
(u2 1) sen v)
cos v)
sen v)
entonces los coeficientes de la segunda forma fundamental son

2
eu /2 (u2 1)
e=
,
1 + u2 eu2
f = 0,
Por lo tanto, la curvatura Guassiana
K>0
u2 1
=
K=
K=0
(1 + u2 eu2 )2
K<0
g=
eu
2 /2
1 + u2 eu2
es
si u (, 1) (1, )
si u = 1
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
Z Z
KdA = 0
Soluci
on: Por el problema 3.6 en la igualdad (3.7), sabemos que la
curvatura gaussiana del toro es:
K=
eg f 2
cos u
=
2
EG F
r(a + r cos u)
y el elemento de area es:
dA = EG F 2 dudv = r(a + r cos u)dudv

Por lo tanto,
Z Z
KdA =
=
2
0
2
0
cos u
r(a + r cos u)
r(a + r cos u)
cos ududv = 0 .
91

3.11. Demuestre que las curvaturas principales estan dadas por
H H2 K
donde H y K son las curvaturas media y gaussiana, respectivamente.

Ademas, si F = f = 0 entonces las curvaturas principales vienen dadas
por
g
e
y
.
E
G
Soluci
on: Sabemos que
K = 1 2 =
y
eg f 2
EG F 2
1
1 eG 2f F + gE
H = (1 + 2 ) =
.
2
2
EG F 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
=
= H H2 K .
2
Ahora, si F = f = 0 entonces la curvatura gaussiana y media tienen la
forma
eG + gE
eg
K=
, H=
.
EG
2EG
Entonces
H2 K =
(eG + gE)2
eg
(eG gE)2
=
.
4(EG)2
EG
4(EG)2
Por lo tanto,
H2 K =
eG + gE eG gE
2EG
2EG
g
G
92
3.12. Demuestre que una superficie reglada

(u, v) = (u) + v(u)
tiene curvatura gaussiana K 0.
Soluci
on: Notemos que
u = 0 (u) + v 0 (u), v = (u) ,
uv = 0 (u),
vv = 0 .
Entonces, e = hN, vv i = 0 y
K=
f2
eg f 2
=
0
EG F 2
EG F 2
ya que EG F 2 = ku v k2 > 0.
3.13. Si = (u, v) es una parametrizaion ortogonal, pruebe que
1
K=
2 EG

E
v
EG
G
u
EG

Deduzca la formula en el caso que sea conforme.

Soluci
on: 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 Evv + Fuv 1 Guu
2
2

1
Fv 2 Gu

1

Gv
2
1
E
2 u
E
F
Fu 12 Ev
F
G
(EG F 2 )2

0

1
2 Ev
1
Gu
2
1
E
2 v
E
F

F

G
1
G
2 u
como = (u, v) es una parametrizacion ortogonal entonces F = 0
93
entonces

1
1

1 Evv 1 Guu 1 Eu 1 Ev 0
E
G
v
u

2
2
2
2
2
1 2

1
1
K =
G
E
0
E
E
0

u
v
2
2
2
1

(EG)

1
Gu 0

G
0
G
G
v
2
2

1
1
1
1
1
=
Evv Guu (EG) Eu Gu G
(EG)2
2
2
2
2

1
1
1
1
1
1
Ev Gv E Ev
Ev G + Gu Gu E
2
2
2
2
2
2

1
1
1
1
1
=
E
EG
G
EG
+
E
G
G
+
Ev Gv E
vv
uu
u
u
(EG)2
2
2
4
4

1
1
+ Ev Ev G + Gu Gu e .
4
4
Por otro lado,

Ev
EG
Evv EG + Ev 21 (EG)1/2 (Ev G + EGv )

=
EG
Evv
1 Ev Ev G
1 EEv Gv
=
3/2
(EG)
2 (EG)3/2
EG 2

2
1
1
1
Evv EG + GEv Ev + EEv Gv
=
(EG)3/2
2
4
4
y

G
u
EG
guu EG Gu 21 (EG)1/2 (Eu G + EGu )

=
EG
Guu
1 Gu Eu G
1 Gu Gu E
=
3/2
(EG)
2 (EG)3/2
EG 2

2
1
1
1
=
Guu EG + Gu Eu G + Gu Gu E
(EG)3/2
2
4
4
Entonces,

|
(EG)3/2
Ev
Gu
K =
+
(EG)2
2
EG v
EG u

1
Ev
Gu
=
+
.
2 EG
EG v
EG u
94

Ahora, si es conforme, entonces E = G = y obtenemos

1
v
u
K =
+
2
v
u
1
= {([log ]v )v + ([log ]u )u }
2
1
= {(log )vv + (log )uu }
2
1
= 4(log ) .
2
3.14. Demuestre que si una curva tiene curvatura normal y geodesica identicamente cero, entonces la curva es parte de una linea recta.
Soluci
on: Tenemos la siguiente relacion 2 = 2n + 2g 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.
Soluci
on: 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, 00 es paralela a P. Por ser una geodesica
entonces 00 es paralelo a N el vector normal unitario a la superficie. De
esto de deduce que entonces N es paralelo a P, esto implica que N 0 es
paralelo a P. Sabemos que
N N 0 ,
0 N
ademas de lo anterior tenemos que 0 es paralelo a N. Se concluye que

necesariamente 0 es paralelo a N 0 , es decir,
N 0 (t) = (t) 0 (t) .
Por el Teorema de Rodrigues esta es una condicion necesaria y suficiente
para que sea una lnea de curvatura.
Por otro lado, consideremos la esfera
(u, v) = (a sin v cos u, a sin v sin u, a cos v)
95

y la curva (t) = (t, /4) mediante algunas cuentas se obtiene que
E = a2 sin2 v ,
F =0,
G = a2 ,
e = a sin2 v ,
f =0,
g =a.
Se verifica sin dificultades que satisface la ecuacion diferencial

(f E eF )(u0 )2 + (gE eG)u0 v 0 + (gF f G)(v 0 )2 = 0
o equivalentemente

(v 0 )2 u0 v 0 (u0 )2

F
G
E

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 superficie es radial, luego 00 = 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 direccion de Tp (S) para la cual la curvatura normal es cero. Demuestre
que K 0 para todo punto de una curva asintotica sobre una superficie.
Soluci
on: Sea S una curva asintotica entonces tenemos que
n (p) = 0
p.
Ademas, por el Teorema de Euler, sabemos que

n = 1 cos2 + 2 sin2
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
solo si es un segmento de recta.
96

Soluci
on: 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 = 2n + 2g = 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.
Ademas,
2g = 2 2n = 0 es geodesica.
3.18. (a) Demostrar que una superficie compacta (es decir, cerrada y acotada
en R3 ) tiene un punto de curvatura gaussiana positiva.
(b) Demuestre que si KS 0 entonces S no es compacta.
Soluci
on:
a) Sea S una superficie compacta y consideremos f : S R definida
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 f (p) = f (q) = r .
p S
Sea Sr = {w R3 : kwk = r} la esfera de radio r entonces q

Sr y los planos tangentes de la esfera y la superficie en el punto q
coinciden, entonces
1 2 = KS (q) = KSr (q) =
1
0,
r2
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.
97

3.19. Demostrar que no existen superficies mnimas compactas.
Soluci
on: La demostracion se basa en el hecho que siempre es posible de parametrizar un entorno de cualquier superficie regular de forma
que
E = hu , u i = 2 ,
Entonces
H=
F = hu , v i = 0 ,
G = hv , v i = 2 .
1 eG 2f F + gE
1
= 2 (e + g) .
2
2
EG F
2
Si S es superficie mnima entonces H = 0 lo que implica que e + g = 0,

luego
eg f 2
(e2 + f 2 )
K=
=
0
EG F 2
4
por problema 3.18(b) la superficie S no es compacta.

3.20. Determine las geodesicas sobre la esfera
S 2 = {(x, y, z) R3 | x2 + y 2 + z 2 = 1} .
Soluci
on: 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 = 2n + 2g
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 .
Soluci
on: Supongamos que esta arcoparametrizada por el Teorema
de Rodrigues, es lnea de curvatura si y solo si N 0 (t) = (t) 0 (t). Por
98

estar contenida en un plano P entonces = 0. Luego,
d
hn, Ni = hn0 , Ni + hn, N 0 i
dt
= ht + b, Ni + hn, ti
= ht, Ni + |{z}
hb, Ni + hn, ti = 0
| {z }
| {z }
0
Entonces, hn, Ni = 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 superficie 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.
Soluci
on: Sabemos que toda curvatura normal satisface
1 n 2 .
Ademas, de la identidad 2 = 2n + 2g se deduce que |n | , lo cual
implica lo pedido.
3.23. Si una superficie tiene primera forma fundamental de la forma
e (du2 + dv 2 ) ,
donde es una funcion continua de u y v, demuestre que la curvatura
gaussiana K satisface
4 + 2Ke = 0 ,
donde 4 denota el Laplaciano 2 /u2 + 2 /v 2 .
Soluci
on: Primero observe que dado que la primera forma fundamental
es e (du2 + dv 2 ) entonces E = G = e = y F = 0, es decir la superficie es conforme, al final del problema 3.10 se dedujo que la curvatura
gaussiana en este caso viene dada por
1
1
K = 4(log ) = 4 ,
2
2e
99
como queriamos probar.

3.24. Sea S una superficie de revolucion. Calcular
ZZ
Kd
S
Soluci
on: Si (u) = (f (u), g(u)) es la curva generatriz arcoparametrizada entonces la parametrizacion : U R2 R3 de la superficie de
revolucion es:
(u, v) = (f (u) cos v, f (u) sin v, g(u))
donde U = {(u, v) : a < u < b, 0 < v < 2} y tenemos que
u = (f 0 (u) cos v, f 0 (u) sin v, g 0(u))
v = (f (u) sin v.f (u) cos v, 0)
uu = (f 00 (u) cos v, f 00(u) sin v, g 00(u))
uv = (f 0 (u) sen v, f 0 (u) cos v, 0)
vv = (f (u) cos v, f (u) sin v, 0)
u v = (f (u)g 0(u) cos v, f (u)g 0(u) sin v, f (u)f 0(u)) .

Entonces, los coeficiente de la primera formal fundamental son:
E = ku k2 = (f 0 (u))2 + (g 0 (u))2 = k0 (t)k2 = 1 ,
F = hu , v i = 0,
G = kv k2 = (f (u))2 .
Como ku v k = EG F 2 = f (u) entonces el vector normal unitario

es:
u v
N=
= (g 0 (u) cos v, g 0 (u) sin v, f 0(u)) .
ku v k
Entonces, los coeficientes de la segunda forma fundamental son:
e = hN, uu i = f 0 (u)g 00(u) f 00 (u)g 0(u) ,
f = hN, uv i = 0, g = hN, vv i = f (u)g 0(u) .

Entonces la curvatura gaussiana nos queda
eg f 2
(f 0 (u)g 00(u) f 00 (u)g 0(u))f (u)g 0(u)
=
EG F 2
(f (u))2
(f 0 (u)g 00(u) f 00 (u)g 0(u))g 0(u)
=
.
f (u)
K =
100

Por otro lado, como (f 0 (u))2 + (g 0(u))2 = 1 derivando obtenemos que
f 0 (u)f 00(u) + g 0 (u)g 00(u) = 0 entonces
(f 0 (u)g 00(u) f 00 (u)g 0(u))g 0(u) = f 0 (u)g 0(u)g 00 (u) f 00 (u)(g 0(u))2
= (f 0 (u))2 f 00 (u) f 00 (u)(g 0(u))2
= f 00 (u) .
Con esto la curvatura gaussiana nos da

K=
f 00 (u)
.
f (u)
Sabemos que el d = ku v kdudv = f (u)dudv entonces

ZZ
Z 2 Z b
f 00 (u)
f (u)dudv = 2(f 0(a) f 0 (b)) .
Kd =
f (u)
0
a
S
3.25. Sea N el vector normal a la superficie (u, v). Demuestre que

Nu = au + bv ,
Nv = cu + dv ,
(3.8)
donde
a c
b d
= FI1 FII =
E F
F G
!1
L M
M N
Soluci
on: Como N es un vector unitario, se tiene que Nu y Nv son
perpendiculares a N, luego pertenecen al plano tangente de y por lo
tanto son combinacion lineal de u y v . Luego los escalares a, b, c y d
satisfacen (3.8) y existen. Por otro lado note que
hN, u i = 0 hNu , u i + hN, uu i = 0 hNu , u i = L .
Similarmente,
hNu , v i = hNv , u i = M,
hNv , v i = 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
E F
a c
=
f g
F G
b d
101
(3.9)
esto completa la prueba.

3.26. La tercera forma fundamenta de una superficie (u, v) es
kNu k2 (u0)2 + 2hNu , Nv iu0 v 0 + kNv k2 (v 0 )2 .
Sea FIII la matriz simetrica de 2 2 asociada a la tercera forma fundamental. Demuestre que
FIII = FII FI1 FII .
Soluci
on: Por problema anterior tenemos que Nu = au + bv y Nv =
cu + dv , luego
!
hNu , Nu i hNu , Nv i
FIII =
hNu , Nv i hNv , Nv i
!
Ea2 + 2F ab + Gb2
Eac + F (ad + bc) + Gbd
=
Eac + F (ad + bc) + Gbd
Ec2 + 2F cd + Gd2
!
!
!
a b
E F
a c
=
c d
F G
b d
= (FI1 FII )t Fi (FI1 FII )
= FII FI1 FI FI1 FII = FII FI1 FII

3.27. Demuestre que, si FIII es la tercera forma fundamental de una superficie
, entonces
FIII 2HFII + KFI = 0 ,
donde K y H son las curvaturas gaussiana y media de .
Soluci
on: Usando el ejercicio anterior sabemos que FIII = FII FI1FII .
Multiplicando por la izquierda por FI1 obtenmos que
!2
a
c
FI1 FIII = (FI1 FII )2 = A2 =
.
b d
102

Por otro lado, se sabe del algebra lineal que una matriz A =
a c
b d
satisface la ecuacion
A2 (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
FIII 2HFII + KFI = 0 .
3.28. Suponiendo que la Tierra es esferica. Demuestre que no es posible dibujar un mapa de parte de la Tierra en que todas las distancias en el
mapa correspondan a un m
ultiplo fijo de las distancias reales.
Soluci
on: Una funcion de una region de la superficie de la Tierra
que no distorsiona las distancia sera un difeomorfismo desde esta region 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 R2 el difeomorfismo, entonces se cumple que
kf (z) f (w)k = c dS 2 (z, w)
donde dS 2 representa la distancia en S 2 . Ahora bien, considere la aplicacion g : R2 R2 dada por
g(x) =
x
c
entonces la aplicacion = g f : T S 2 R R2 satisface

1
k(z) (w)k = kf (z) f (w)k = dS 2 (z, w)
c
entonces es una isometria. Sabemos que la curvatura gaussiana de
una superficie es invariante por isometrias entonces
1 = K S 2 = KR 2 = 0
lo cual es absurdo.
103
3.29. Demostrar que no existe una superficie (u, v) tal que E = G = 1,

F = 0 y e = 1, f = 1, g = 0.
Soluci
on: Supongamos que existe tal superficie. Sabemos que:
K=
eg f 2
1 0
=
= 1 .
EG F 2
10
Por otro lado, usando el Teorema Egregio de Gauss obtenemos

K=
1
4(log ) = 0 ,
2
pues = 1 = E = G, lo cual es una contradiccion.

3.30. Sea (u, v) una superficie. Demuestre la ecuacion de Gauss
uu = 111 u + 211 v + eN
uv = 112 u + 212 v + f N
vv = 122 u + 222 v + gN
donde
111 =
112 =
122 =
GEu 2F Fu + F Ev
2(EG F 2 )
GEv F Gu
2(EG F 2 )
, 211 =
, 212 =
2EFu EEv F Eu
,
2(EG F 2 )
EGu F Ev
,
2(EG F 2 )
2GFv GGu F Gu
EGv 2F Fv + F Gu
, 222 =
,
2
2(EG F )
2(EG F 2 )
son los smbolos de Christoffel.

~ es una base de R3 , existen escalares 1 , . . . , 3
Soluci
on: Como {u , v , N}
tales que
~
uu = 1 u + 2 v + 3 N
~
uv = 1 u + 2 v + 3 N
~
vv = 1 u + 2 v + 3 N
(3.10)
104

haciendo el producto punto de cada una de estas ecuaciones con el
~ se obtiene que
vector N
3 = e ,
3 = f ,
3 = g .
Ahora bien, haciendo el producto punto de las ecuaciones en (3.10) contra u y v obtenemos seis ecuaciones escalares para las seis incognitas
que representan los smbolos de Cristoffel. A manera de ejemplo si hacemos el producto punto en la primera ecuacion de (3.10) se obtienen
las ecuaciones:
1
E1 + F 2 = huu , u i = Eu
2
1
F 1 + G2 = huu , v i = (hu , v i)u hu , uv i = Fu Ev
2
resolviendo estas ecuaciones nos da que 1 = 111 y 2 = 211 y se

procede de manera similar para las otras cuatro ecuaciones.
3.31. Demuestre las ecuaciones de Codazzi-Mainardi para una superficie (u, v)
ev fu = e112 + f (212 111 ) g211 ,
fv gu = e122 + f (222 112 ) g212 .

Soluci
on: Notemos que (uu )v = (uv )u y usando las ecuaciones de
Gauss mostradas en el problema anterior y obtenemos
(111 u + 211 v + eN)v = (112 u + 212 v + f N)u .
Derivando y agrupando terminos en la igualdad anterior obtenemos
1

2

11 112
11 212
u +
v + (ev fu )N
v
u
v
u
= 112 uu + (212 111 )vv 211 vv eNv + f Nu
= 112 (111 u + 211 v + eN) + (212 111 )(112 u + 212 v + f N)

211 (122 u + 222 v + gN) eNv + f Nu .
~u y N
~ v son perpendiculares a N
~ , luego ellos son combiAhora bien, N
naciones lineales de u y v . Entonces basta igualar en ambos lados de
105
la igualdad de arriba todos los terminos con componentes en N y se

obtiene
fv gu = e122 + f (222 112 ) g212
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 superficie cuyas primera y segunda formas
fundamentales son
du2 + cos2 udv 2
cos2 udu2 + dv 2 ,
respectivamente.
Soluci
on: Supongamos que existe tal superficie, entonces se tiene que
E =1,
F =0,
G = cos2 u .
Usando las formulas para los smbolos de Cristoffel hallados en problema

anterior obtenemos que
112 = 222 = 0,
122 = sen u cos u,
212 = tan u .
Como e = cos2 u, f = 0 y g = 1 entonces la segunda ecuacion de

Codazzi-Mainardi, esto es
fv gu = e122 + f (222 112 ) g212
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
106

b. Una curva asintotica
c. Una lnea de curvatura
Soluci
on: La parametrizacion del toro de revolucion es:
(u, v) = ((a + r cos u) cos v, (a + r cos u) sin v, r sin u) .
Parametrizamos el paralelo maximo mediante:

s
s
s
(s) =
, 0 = (r + a) cos
, (r + a) sin
,0 .
r+a
r+a
r+a
Entonces es una geodesica si y solo si se satisface el siguiente sistema
u00 + 111 (u0 )2 + 2112 u0 v 0 + 122 (v 0 )2 = 0 ,
v 00 + 211 (u0 )2 + 2212 u0 v 0 + 222 (v 0 )2 = 0 .
(3.11)
Sabemos que los coeficientes de la primera y segunda forma fundamental

del toro son:
E = r2,
e = r,
G = (a + r cos u)2 ,
F = 0,
f = 0,
g = (a + r cos u) cos u ,
luego los simbolos de Cristoffel son

111 = 0,
112 = 0,
211 = 0,
212 =
122 =
(a + r cos u) sen u
r
(a + r cos u) sen u
,
r
222 = 0
y para tenemos que

v(s) = 0,
u(s) =
s
,
r+a
v 0 = 0,
u0 =
1
, v 00 = 0, u00 = 0
r+a
por lo tanto es geodesica, ya que satisface el sistema (3.6). Por otro

lado, la ecuacion diferencial para las lneas de curvatura es:
(f E eF )(u0 )2 + (gE eG)u0 v 0 + (gF f G)(v 0 )2 = 0
y la ecuacion diferencial de las curvas asintoticas es
e(u0 )2 + 2f u0 v 0 + g(v 0)2 = 0 .
107
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
s
(s) =
, = (r a) cos
, (r a) sin
,0
r+a
ra
ra
donde para tenemos
v(s) = ,
u(s) =
s
,
ra
v 0 = 0,
u0 =
1
,
ra
v 00 = 0,
u00 = 0 .
Entonces, de las ecuaciones diferenciales se observa es geodesica y una

lnea de curvatura, pero no es una curva asintotica. Ahora parametrizamos el paralelo superior mediante:
s
s
s
(s) = ,
= a cos , a sin , r
a 2
a
a
donde para se tiene
v(s) =
,
2
s
u(s) = ,
a
v 0 = 0,
1
u0 = ,
a
v 00 = 0,
u00 = 0
Entonces es una geodesica y verifica 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.
Soluci
on: Usamos el hecho que el valor absoluto de la curvatura geodesica 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 as , a sin as , r entonces
proyectada sobre el plano tangente es:

s
s
0 (s) = a cos , a sin , 0
a
a
y
00 (s)

s
s
s
s
= sin , cos , 0 , n(s) = cos , sin , 0
a
a
a
a

1
s 1
s
1
000 (s) = cos , sin , 0 = n(s)
a
a a
a
a
108

entonces
k(s) =
1
1
|kg (s)| = |k(s)| = .
a
a
3.35. Sea = (s) una curva arcoparametrizada contenida en una superficie

de
S. En el punto p = (0) se escoge una base ortonormal de Tp S, t, h,
Se define la torsion geodesica de en
= t h.
modo que t = 0 (0) y N
p como
*
+
dN
g =
(0), h .
ds
(i) Probar que g = (1 2 ) cos sen , donde es el angulo de e1
hacia t.
(ii) Probar que las lneas de curvatura estan caracterizadas por tener
torsion geodesica identicamente cero.
Soluci
on:
(i) En la base {e1 , e2 }, definida por las direcciones principales podemos escribir
t = e1 cos + e2 sen
son perpendiculares se concluye que
como t y h
= e1 sen e2 cos
h
entonces
g =
=
dN
(0), h
ds
dN
(e1 cos + e2 sen ), e1 sen e2 cos
ds
= he1 1 cos + e2 2 sen , e1 sen e2 cos i
= 1 cos sen 2 sen cos

= (1 2 ) cos sen
(ii) Tenemos que

hN, n
i = cos ,
hN, ti = 0,
hN, bi = sen
109

entonces N = n
cos + b sen y observe que
d
N0 = n
0 cos + b0 sen + (
n sen + b cos )
ds
d
= (t b) cos + n
sen + (
n sen + b cos )
ds

d
= cos t + t
(b cos + n
sen )
ds
= N
=
t = (
como h
n cos + b sen ) t lo que nos da h
b cos + n
sen , luego

d
d
0
= n t + t
h
N = cos t + t
ds
ds
como

d
d
0
g = hN , hi = n t + t
h, h =
ds
ds
se concluye que
N 0 = n t + g h
Por el Teorema de Rodrigues es lnea de curvatura si y solo si
N 0 = 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.
Soluci
on: Tenemos que
hN, ni = cos ,
hN, ti = 0,
hN, bi = sen
entonces N = cos n + sen b y

dN
d
d
= sen n + cos (t b) + cos b + sen n
ds
ds
ds

dN
, t = cos con 6= 0
como es asintotica entonces 0 =
ds
entonces cos = 0 lo que implica que N = b. Entonces, t = cos e1 +
sen e2
dN
db
=
= n .
ds
ds
110

Luego,
Dt N = cos De1 N + sen De2 N
= 1 cos e1 2 sen e2
= { sen e1 + cos e2 } .
Por lo tanto,
1
tan =
2
tan =
1 cos = sen
2 sen = cos
entonces 1 2 = 2 2 = K.
3.37. Considere la superficie de Enneper

u3
v3
2
2
2
2
(u, v) = u
+ uv , v
+ vu , u v
.
3
3
Demuestre que
(a) Los coeficientes de la primera forma fundamental son
E = G = (1 + u2 + v 2 )2 ,
F =0.
(b) Los coeficientes de la segunda forma fundamental son

e=2,
g = 2 ,
f =0.
(c) Las curvaturas principales son

1 =
2
(1 +
u2
v 2 )2
2 =
2
(1 +
u2
+ v 2 )2
(d) Las lneas de curvatura son las curvas coordenadas.

(e) Las curvas asintoticas son u + v =const., u v =const.
Soluci
on:
111
(a) Tenemos que las derivadas parciales de la parametrizacion son

u = (1 u2 + v 2 ,2uv, 2u) ,
v = (2uv, 1 v 2 + u2 , 2v) .
Luego, los coeficientes de la primera forma fundamental son:

E = ku k2
= (1 u2 + v 2 )2 + 4u2 v 2 + 4u2
= 1 2(u2 v 2 ) + (u2 v 2 )2 + 4u2 v 2 + 4u2

= 1 + 2u2 + 2v 2 + u4 + v 4 + 2u2v 2
= 1 + 2(u2 + v 2 ) + (u2 + v 2 )2 = (1 + u2 + v 2 )2 ,
F = hu , v i = 2uv(1 u2 + v 2 ) + 2uv(1 v 2 + u2 ) 4uv = 0 ,
G = kv k2 = 4u2 v 2 + (1 v 2 + u2 )2 + 4v 2 = (1 + u2 + v 2 )2 .
(b) Tenemos que
u v = (4uv 2 2u(1 v 2 + u2 ), 2v(1 u2 + v 2 ) 4u2 v,
(1 u2 + v 2 )(1 v 2 + u2 ) 4u2v 2 )
= (2u 2u3 2uv 2, 2v + 2v 3 + 2u2v, 1 2u2 v 2 u4 v 4 )

Entonces, ku v k =
unitario normal es
EG F 2 = (1 + u2 + v 2 )2 y el vector
u v
k v k
u

2u 2u3 2uv 2 2v + 2v 3 + 2u2 v 2u2 v 2 u4 v 4
=
,
,
.
(1 + u2 + v 2 )2
(1 + u2 + v 2 )2 (1 + u2 + v 2 )2
N =
Ademas,
uu = (2u, 2v, 2), uv = (2v, 2u, 0), vv = (2u, 2v, 2) .
112

Entonces, los coeficientes de la segunda forma fundamental son:
e = hN, uu i
4u2 + 4u4 + 4v 2 + 4v 4 + 4u2v 2 + 2 4u2 v 2 2u4 2v 4
=
(1 + u2 + v 2 )2
2
2
4
2(2(u + v ) + (u + 2u2 v 2 + v 4 ) + 1)
=
(1 + u2 + v 2 )2
(1 + u2 + v 2 )2
= 2
=2,
(1 + u2 + v 2 )2
f = hN, uv i
4uv 4u3 v 4uv 3 + 4uv + 4v 3 u + 4u3 v
=
=0,
(1 + u2 + v 2 )2
g = hN, vv i
4u2 4u4 4v 2 4v 4 4u2 v 2 2 + 4u2 v 2 + 2u4 + 2v 4
=
(1 + u2 + v 2 )2
2(2(u2 + v 2 ) + (u4 + 2u2 v 2 + v 4 ) + 1)
=
= 2 .
(1 + u2 + v 2 )2
(c) Por el problema 3.11 sabemos que las curvaturas principales en el
caso que f = F = 0 son
e
2
=
,
2
E
(1 + u + v 2 )2
g
2
=
.
=
2
G
(1 + u + v 2 )2
1 =
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)u0 v 0 = 0 4(1 + u2 + v 2 )u0 v 0 = 0
u0 = 0 o v 0 = 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(u0)2 + 2f u0v 0 + g(v 0 )2 = 0 ,
113
como f = 0 entonces
e(u0 )2 + g(vc0 )2 = 0 2(u0)2 2(v 0 )2 = 0
(u0)2 = (v 0 )2
u0 = v 0
u v = constante ,
u + v = constante .
114
Captulo 4
El Teorema de Gauss-Bonnet
Una de las consecuencias del Teorema local de Gauss-Bonnet es la siguiente: Si en una superficie orientable tenemos un triangulo geodesico con
angulos interiores , , entonces
ZZ
( + + ) =
Kd .
R
Geodesica
Geodesica
Geodesica
S
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
Definici
on 4.1.
Diremos que esta orientada positivamente si encierra la region R a su
izquierda vista desde arriba. En cada vertice (ti ) tenemos un angulo
interior i y satisfacen |i | < y son positivos si se dobla a la izquierda y
negativos si se dobla a la derecha.
(ti )
i < 0
(tj )
j > 0
Sea : U R2 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 (ti ) y angulos externos i , i = 0, . . . , n1. Consideremos
funciones diferenciables i :]ti , ti+1 ] R que miden el angulo positivo de u
a 0 (t) en cada t [ti , ti+1 ].
Teorema 4.1 (Teorema de la Variacion de la tangente).
n1
X
i=0
((ti+1 ) (ti )) +
n1
X
i = 2 .
i=0
El teorema estable que la variacion total del angulo a una direccion dada
del vector tangente a , mas los saltos en los vertices, es igual a 2.
Teorema 4.2 (Gauss-Bonnet local).
Sea = (t) una curva cerrada simple suave a tramos, orientada en sentido
positivo en la superficie orientada S. Entonces
ZZ
n1 Z si+1
n1
X
X
g ()ds +
Kd +
i = 2 .
i=0
si
i=0
117
Definici
on 4.2.
Llamaremos triangulo a una region simple con solo tres vertices, y angulos
externos i , i = 1, 2, 3. Una triangulacion de una region regular R S es
una familia finita de triangulos Ti , i = 1, 2, . . . , n, tal que
(i)
n
[
Ti = R.
i=1
(ii) Si Ti Tj 6= , entonces o bien Ti Tj es un lado com

un a Ti y a Tj o
bien consta de un vertice com
un a Ti y a Tj .
Dada una triangulizacion T de una region R S de una superficie 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.
Definici
on 4.3.
El n
umero
(R) = C L + V
se denomina caracterstica de Euler-Poincare de la triangulacion.
Teorema 4.3.
Para cualquier triangulacion de una regi
on R S el n
umero (R) = C
L + V es un invariante que solo depende de R.
Teorema 4.4.
Sea S R3 una superficie regular compacta. Entonces
(S) = 2, 0, 2, 4, . . . .
Si S y S 0 son dos superficies compactas y (S) = (S 0 ) entonces son homeomorfos.
En otras palabras, cada superficie conexa y compacta S R3 es homeomorfa a una esfera con un cierto n
umero g de asas.
Definici
on 4.4.
El n
umero
g=
se denomina el genero de S.
2 (S)
2
118
Teorema 4.5 (Gauss-Bonnet).

Sea R una region es una superficie regular S orientable, con frontera R =
C1 Cn , una curva suave a tramos, todas orientadas positivamente.
Entonces
ZZ
n Z
X
X
g (s)ds +
Kd +
` = 2(R) .
i=1 C
i
4.1.
Problemas Resueltos
4.1 Pruebe que
/2
/2
ab2 cos
d = 2 .
(a2 sin2 + b2 cos2 )3/2
Soluci
on: Considere el elipsoide
x2 + y 2 z 2
+ 2 =1
a2
b
donde a, b son constantes positivas, el elipsoide es dideomorfo a la esfera
mediante la funcion (x, y, z) 7 (x/a, y/a, z/b), luego por el Teorema de
Gauss-Bonnet aplicado a superficies compactas obtenemos que
ZZ
Kd = 4(1 0) = 4
S
parametrizando el elipsoide por

(, ) = (a cos cos , a cos sin , b sin )
se encuentra que
K=
b2
,
(a2 sin2 + b2 cos2 )2
kEG F 2 k = a cos
a2 sin2 + b2 cos2
entonces
ZZ
S
Kd =
esto completa la solucion.
2
0
/2
/2
ab2 cos dd
(a2 sin2 + b2 cos2 )3/2
119
4.2 Suponga que S es una superficie compacta cuya curvatura gaussiana

K > 0 . Demuestre que S es difeomorfa a una esfera. Es verdad la
recproca de esta afirmacion?
Soluci
on: Si K > 0 entonces
ZZ
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 superficie
de la figura con forma de capsula es difeomorfa a la esfera,
pero K = 0 en la parte cilindrica.

4.3 Sea S una superficie con curvatura gaussiana K 0. Si S es una
geodesica cerrada suave. Demuestre que no puede encerrrar una region
simple en S.
Soluci
on: Supongamos que si entonces por el Teorema de Gauus-Bonet
Local tendramos
Z
ZZ
X
g (s) ds +
Kd +
l = 2
| {z }
| {z }
0
0
|R {z }
0
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 figura.
120
4.4 Sea S una superficie con K < 0. Demuestre que dos geodesicas 1 y 2
que parten del mismo punto p S no pueden encontrarse otra vez en un
punto q S de forma que las trazas de 1 y 2 constituyan la frontera
de una region simple R de S.
Soluci
on: Si 1 es una geodesica desde p a q, seguida de la geodesica 2 de q a p se acotara una region simple en S
2
1
q
R
p
2
y en virtud del Teorema de Gauss-Bonnet Local

ZZ
Kd + 1 + 2 = 2
R
donde 1 y 2 son los angulos externos de la region R. Como las geodesicas 1 , 2 no pueden cortarse tangencialmente, tenemos que i < ,
i = 1, 2 y como K 0 obtenemos una contradiccion.
4.5 Sea S una superficie homeomorfa a un cilindro con curvatura gaussiana
K < 0. Demuestre S tiene a los mas una geodesica cerrada simple.
121
Soluci
on: Supongamos que hay dos geodesicas cerradas simples. Afirmamos 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 figura abajo), lo que contradide el
problema anterior.
q
b
region simple
b
p
1
Luego, ambas geodesicas deben ser tipo cinturoncomo se aprecia en la

siguiente figura
2
1
Existe un difeomorfismo entre la region de tipo cinturon y un anillo

como lo muestra la figura
122

2
1
2
1
Triangulizando un anilo se halla que la caractistica de Euler de un anillo

es cero. Aplicando el Teorema de Gauss-Bonnet
ZZ
Kd = 2(S) = 0
R
lo que es una contradiccion, pues K < 0.

4.6 Sea S una superficie compacta con K > 0. Demuestre que dos geodesicas
cerradas suaves se deben cortar.
Soluci
on: Por problema 3, sabemos que S es difeomorfa a una esfera. Ahora bien, si las geodesicas no se cortan
2
1
entonces seran frontera de una region R tipo cinturoncon (S) = 0.

Aplicando el Teorema de Gauss-Bonnet
ZZ
Kd = 0
R
y como K > 0 esto constituye una contradiccion.
123
4.7 Sea S una superficie compacta no homeomorfa a la esfera. Probar que

existen puntos en S donde la curvatura gaussiana es positiva, cero y
negativa.
Soluci
on: Como S no es homeomorfa a la esfera entonces (S) 0
entonces por el Teorema de Gauss-Bonet global para superficies compactas tenemos que
ZZ
Kd = 2(S) 0
S
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 superficie homeomorfa a una esfera, y sea una geodesica
cerrada simple, que divide a S en regiones R1 , R2 . Probar que las imagenes de R1 , R2 en la esfera bajo el vector normal a S tienen igual area.
Soluci
on: Sean : I R3 una geodesica y (s) = N((s)) la curva
que describe el vector normal a lo largo de . Sean A1 y A2 la imagenes de R1 y R2 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(S2 )
ZZ
Z
=
K d +
|{z}
A
1
ZZ
A1
A1
g ds
|{z}
0
d = Area
(A1 )
124

como el area de la esfera S2 es 4 se concluye que
Area
(A1 ) = Area
(A2 )
4.9 Calcular la caracteristica de Euler de

(a) Un elipsoide.
(b) La superficie S = {(x, y, z) R3 | x2 + y 10 + z 6 = 1}.
Soluci
on: Ambas superficies son homemorfas a la esfera S 2 luego la
caracteristica de Euler de ambas superficies es 2. De hecho la aplicacion
: R3 R3 definida por (x, y, z) = (x, y 5 , z 3 ) define un homeomorfismo de la esfera x2 + y 2 + z 2 = 1 sobre la superficie S.
4.10 Una de las siguientes superficies es compacta y la otra no lo es:
(i) x2 y 2 + z 4 = 1;
(ii) x2 + y 2 + z 4 = 1.
Cual es cual, y porque? Esboze la superficie compacta y diga cual es su
caracteristica de Euler.
Soluci
on: Ambas supercies son cerradas debido a que son de la for1
ma f (0) donde f : R3 R es una funcion continua. La superficie (i)
no es acotada luego no compacta, ya que contiene los puntos de la forma
(1, r 2, r) con r R. La superficie (ii) es acotada, luego compacta. Ya
que la ecuacion x2 + y 2 + z 4 = 1 implica que 1 x, y, z 1. Por otro
lado, la superficie (ii) es obtenida por rotacion de la curva x2 + z 4 = 1
alrededor del eje z:
z
125

Esta superficie es claramente difeomorfa a la esfera, luego = 2.
4.11 (a) Construya un ejemplo de una superficie no compacta en R3 con

una sucesion de geodesicas cerradas {n } tal que el largo `(i ) 0
cuando n .
(b) Demuestre que esto no es posible si la superficie es compacta.
Soluci
on:
(a) Considere la siguiente superficie S de revolucion generada por una
curva vibrante dada en la figura
P2
b
P4
P1
P6
P3
P5
rotada al rededor del eje x. Sean Pn los puntos en que tienen vector
tangente paralelo al eje x. Entonces, sobre S, los puntos Pn generan
geodesicas cerradas n cuyo largo tiende a cero.
(b) Supongase que S es una superficie compacta. Si existe una sucesion
de geodesicas n tales que el largo `(n ) 0 cuando n , entonces por el Teorema de Gauss-Bonnet para superficies compactas
obtenemos
ZZ
Kd = 2(n )
(4.1)
n
donde n denota el dominio encerrado por n . Como S es compacto,

cuando n es suficientemente largo, podemos asumir que n es simplemente 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 R3 con r(s) > 0.
Considere la superficie de revolucion
(s, ) (r(s) cos , r(s) sen , z(s))
126
Sobre esta superficie calcule la derivada covariante s

y
en
terminos de
y
.
s
Soluci
on: Un calculo directo nos da que la primera forma fundamental
es
du2 + r 2 (s)d2 = Edu2 + Gd2
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
= a(uu u0 + uv v 0 ) + b(vu u0 + vvv 0 ) + a0 u + b0 v .
dt
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 suprimimos la componente normal, obtenemos
w
= (a0 + 111 au0 + 112 av 0 + 112 bu0 + 122 bv 0 )u
dt
(b0 + 211 au0 + 212 av 0 + 212 bu0 + 222 bv 0 )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 u0 = 0 y v 0 = 1 por lo tanto
Gu
G
= 122 + 222
=
+
= r(s)r 0 (s)

s
2E s 2G
s
en donde hemos usado los smbolos de Christoffel 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
E
G
r 0 (s)
= 112 + 212
=
+
=
s
s
2E s 2G
r(s)
donde ijk son los simbolos de Christoffel.
127

4.13 Sea
(t) =
!
1
1
3
cos(t), sen(t),
,
2
2
2
0 t < 2
T( 1 ,0, 3 ) S 2 . Calcule el transporte

2
2
x2
paralelo de X0 a lo largo de x(t).
una curva sobre S 2 . Sea X0 =
Soluci
on: 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

= .
2
3
w0
0
El cono menos un generador es isometrico a un conjunto abierto D R2
dado en coordenadas polares por 0 < < +, 0 < < 3.
s=0
t(s)
w(s)
w0
128

Como el transporte paralelo en el plano coincide con la noci
on habitual,

1
3
obtenemos, al contar s unidades a partir de p = 2 , 0, 2 y abarcar un
3
angulo central =
s, que el angulo orientado formado por el vector
2
tangente t(s) con el transporte paralelo w(s) viene dado por 2 =
2 23 s.
4.14 Calcule la curvatura geodesica total de un crculo de radio r sobre una

esfera de radio R > r.
Soluci
on: Por el Teorema de Gauss-Bonnet, la curvatura geodesica total
es dada por
Z
ZZ
g ds =
Kd + 2()
C
1
= 2 2R(R R2 r 2 ) + 2
R
R2 r 2
= 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
Soluci
on: Por el Teorema de Gauss-Bonnet se tiene que
ZZ
Kd = 2(S 2 ) = 4.
S2
Luego, si |K| 1 obtenemos que

ZZ
4
|K|d Area(S 2 ) .
S2
4.16 Al girar la curva, esbozada a continuacion, alrededor

Z Z del eje x obtenemos
una superficie de revolucion M R3 . Calcule
Kd.
129
x
Soluci
on: La superficie de revolucion asi obtenida por la curva es homeomorfa a una seccion de una superficie cilindrica. Luego la caracteristica
de Euler es (M) = 0. Ademas, el borde de M consiste de dos crculos los
cuales justamente son geodesicas en M, porque a lo largo de estos crculos el vector normal a M es paralelo al vector normal de la curva. Por lo
tanto por el teorema de Gauss-Bonnet, obtenemos inmediatamente
ZZ
Kd = 0 .
M
130
Captulo 5
Superficies Completas.
Teorema de Hopf-Rinow
En el espacio lineal normado Tp S podemos definir una bola abierta de
radio
B (0p ) = {w
~ Tp S | kwk
~ < } .
Definici
on 5.1.
El mapeo exponencial expp : B (0p ) S es definida por
expp (w)
~ = w/k
~ .
~ wk
~ (kwk)
Geometricamente, la construccion corresponde a trazar (si es posible) sobre
~
la u
nica geodesica que pasa por p en la direccion kw
una longitud igual a
wk
~
kwk,
~ el punto obtenido por este procedimiento se denota por expp (w).
~
Definici
on 5.2.
Una superficie regular S es completa si para cada punto p S, cualquier
geodesica parametrizada : [0, ) S, que comience en p = (0), puede
prolongarse a una geodesica parametrizada : R S, definida en toda la
recta real R.
En otras palabras, S es completa cuando la aplicacion expp : Tp S S
esta definida para cada v Tp S, y esto sucede en todos los puntos p S.
Proposici
on 5.1.
Una superficie cerrada S R3 es completa.
131
132
Captulo 5. Teorema de Hopf-Rinow
Definici
on 5.3.
La distancia d(p, q) es definida por
d(p, q) = nf `(p,q ) ,
donde se toma el nfimo sobre todas las curvas parametrizadas y deferenciables a trozos que une p y q.
Teorema 5.1 (Hopf-Ronow).
Sea S una superficie y p S. Las siguientes afirmaciones son equivalentes:
(i) expp esta definida sobre todo Tp 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.
Problemas Resueltos
5.1. Sea S R3 una superficie completa y F S cerrado no vaco tal que

S \ F es conexo. Demuestre que S \ F es una superficie no completa.
Soluci
on: Sea p S \ F y q F , como S es completa existe :
[0, 1] S geodesica minimizante que une p con q.
F
(s0 )
Por ser continua existe s0 [0, 1] tal que (s0 ) F (S \ F ). Sea

: [0, s0 ) S geodesica en S \ F entonces no se puede prolongar
para s = s0 . Por lo tanto, S \ F no es completa.
133
5.2. Sea S una superficie completa. Demuestre que para cada p S la aplicacion expp : Tp S S es sobreyectiva.
Soluci
on: Sea q S y considere la geodesica minimizante parametrizada por longitud de arco que une p y q con d(p, q) = r.
v
0
b
0 (0)
p
S
Tp S
rv
expp
b
b
entonces se tiene que q = expp (rv) donde v = 0 (0). Luego, expp es

sobreyectiva.
5.3. Sea S una superficie completa. Suponga que existe r > 0 tal que
d(p.q) < r para todo p, q S. Demuestre que S es compacta.
Soluci
on: Si S es geodesicamente completa entonces para cada p S,
expp : Tp S S es sobreyectiva. Ahora, como S es acotado existe
BR (0) Tp S tal que
expp (BR (0)) = expp (Tp S) = S
como expp es continua y BR (0) es compacto entonces S es compacta.
5.4. Decimos que una sucesion {pn }
n=1 de puntos de una superficie S converge a un punto p0 S en la distancia (intrinsica) d si, dado > 0,
existe n0 N tal que si n n0 implica que d(pn , po ) < . Demuestre
que una sucesion de puntos {pn }
n=1 S converge a p0 S en d si y
solo si {pn }
on de puntos en R3 (es
n=1 converge a p0 como una sucesi
decir, en la distancia euclideana).
134
Soluci
on:
Dado > 0 existe n0 N tal que
d(pn , p0 ) < ,
n > n0 .
Para m N fijo con m > n0 , sea : [a, b] S una curva tal que
(a) = p0 y (b) = pm entonces se sabe que
Z b
kpm p0 k k(a) (b)k
k0 (t)kdt
a
tomando infimo sobre todas las curvas que unen pm con p0 obtenemos
que
kpm p0 k d(pm , p0 ) <
para cada m > n0 . Por lo tanto, {pn }
n=1 converge a p0 como una suce3
sion de puntos en R .
Sea : [0, `] S una geodesica parametrizada por longitud
de arco tal que (sn ) = pn y (0) = p0 . Entonces

Z sn
d((sn ), (0)) =
k 0 (t)kdt = |sn 0| = sn
(5.1)
0
Para n suficientemente grande el trazo de geodesica que une pn con p0

es inyectivo. Luego, existe una inversa local 1 que es continua. Como
por hipotesis pn p0 en la distancia k k entonces por la continuidad
de 1 se tiene que sn 0 cuando n lo que implica seg
un (5.1)
que {pn } converge a p0 con respecto a d.
5.5. Sea S una superficie. Una sucesion {pn }
n=1 S es de Cauchy en la
distancia (intrinsica) d si, dado > 0 existe n0 N tal que si n, m n0
implica que d(pn , pm ) < . Demostrar que S es completa si y solo si
cada sucesion de Cauchy en S converge a un punto en S.
Soluci
on:
Sea una geodesica con k 0 k = 1. Suponga que S no es completa,
esto es, que esta definida para todo s < s0 pero no para s = s0 . Sea
135
{sn }
on tal que lm sn = s0 , por ser una sucesion convergente
n=1 sucesi
n
ella es de Cauchy entonces dado > 0 existe n0 N tal que
|sn sm | < ,
n, m n0 .
Entonces,
d((sn ), (sm )) =
sm
sn
k 0 (t)kdt = |sn sm | < .
Luego, {(sn )}
on de Cauchy con respecto a d, por
n=1 S es una sucesi
hipotesis, existe po S tal que lm (sn ) = p0 . Por otro lado, existe
n
> 0 tal que expp0 : B (0p0 ) S es un difeomorfismo, entonces para

n, m suficientemente grande se tiene que (sn ), (sm ) exp(B (0)) y
tenemos la siguiente situacion geometrica
Tp0 S
expp0 (B (0))
exp1
p0 ((sm ))
(sm )
p0
expp0
(sn )
exp1
p0 ((sn ))
Haciendo m vemos que el rayo que une 0 con el punto exp1

p0 ((sn ))
1
coincide con la curva (s) = expp0 ((s)), por lo tanto puede prolongarse hasta p0 , lo que constituye una contradiccion.
Sea {Pn }
on de Cauchy con respecto a d.
n=1 S una sucesi

Entonces dado > 0 existe n0 N tal que
d(pn , pm ) < ,
n, m n0 .
Como kpn pm k d(pn , pm ), entonces {pn }

on de
n=1 es una sucesi
3
Cauchy con respecto a k k. Como R es completo, existe p0 R3
tal que lm pn = p0 . Supongamos que p0
/ S. Como d(pn0 , pn ) < ,
n
136

en virtud del Teorema de Hopf-Rinow existe una geodesica mnima n
que une pn0 con pn con `(n ) < . Haciendo n , n tiende a una
geodesica mnima con `() . Parametrizando por longitud de
arco, como po
/ S implica que no esta definida para s = , lo cual es
una contradiccion.
5.6. Sean S y M superficies y : S M un difeomorfismo. Suponga que

M es completa y que existe c > 0 tal que
cI(p) (dp (v)) Ip (v)
para todo p S y todo v Tp S. Demostrar que S es completa.
Soluci
on: Sea una geodesica minimizante que une p y q, como
es un difeomorfismo se tiene que (s) = ((s)) es una geodesica en
M, luego
Z b
Z b
0
dS (p, q) =
k (t)kdt =
Ip ( 0 (t))dt
a
a
Z b
Z b
0
c I(p) (dp ( (t)))dt = c

I(p) (0 (t))dt
a
= cdM ((p), (q))
Ahora bien, sea {pn }

on de Cauchy con respecto a dS ,
n=1 S sucesi
entonces dado > 0 existe n0 N tal que
c dM ((pn ), (pm )) dS (pn , pm ) < ,
n, m n0 .
Luego, {(pn )}
n=1 M es de Cauchy con respecto a dM . Como M
es completa entonces existe (po ) M tal que lm (pn ) = p0 , por
n
ser 1 continua tenemos que lm pn = p0 S. Por lo tanto, S es

n
completa.
5.7. Sean S una superficie completa y M una superficie conexa tal que para
todo par de puntos de M se pueden unir por una u
nica geodesica. Sea
: S M una isometra local. Demuestre que es una isometra
global.
137
Soluci
on: Basta probar que es biyectiva. Supongamos que p1 , p2 S
con p1 6= p2 son tales que (p1 ) = (p2 ) = q. Como S es completa, existe una geodesica mnima que une p1 con p2 . 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 difeomorfismo local, (S) M es un conjunto 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 {(pn )} con pn S tal que
lm (pn ) = p
/ (S) .
Asi, {(pn )} es una sucesion de Cauchy en (S) que no es convergente.

Como es una isometra local inyectiva, {pn } es una sucesion de Cauchy
en S que no es convergente, lo que contradice la completitud de S.
138
Bibliografa
[1] Do Carmo, M Differential Geometry of Curves and Surfaces. Prentice
Hall, 1976.
[2] Lima, E. L. Curso Analise Vol 1. Proyecto Euclides, IMPA, 1989.
[3] Lima, E. L. Curso Analise Vol 2. Proyecto Euclides, IMPA, 1989.
[4] Mccleary, J. Geometry from a Differentiable Viewpoint. Cambridge
University Press, 1982.
[5] Spivak, M. Calculo en Variedades. Editorial Reverte, 1970.
[6] Struik, D. J. Lectures on Clasical Differential Geometry. AddisonWesley, 1950.
139

Apuntes de Geometria Diferencial1 PDF

Cargado por

Información del documento

Título original

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 PDF

Cargado por

Copyright:

Formatos disponibles

PONTIFICIA UNIVERSIDAD CATOLICA DE CHILE

Teora Local de Curvas

En puntos donde (s) 6= 0, esta bien definido un vector unitario n(s)

Las ecuaciones en (1.1) son llamadas las ecuaciones de Frenet-Serret.

e, satisfaciendo las mismas condiciones difiere de en un movimiento rgido;

Geometra Diferencial - Rodrigo Vargas

Propiedades Globales de las curvas planas

y la igualdad se da si solo si es un crculo.

Se observa de la ecuacion (4) que, 1 z 1, sea entonces z = sin t.

De la ecuacion (3) se tiene

Por lo tanto, : [, ] R3 es dada por:

1.2. Parametrizar la curva que se forma de un crculo sobre una hoja al

Geometra Diferencial - Rodrigo Vargas

Si (t) = (1 (t), 2 (t), 3 (t)) entonces

Se comprueba sin mayor dificultad que k 0(t)k = 1 entonces el largo de

1.3. Determine una parametrizacion de la curva sobre la esfera unitaria que

Haciendo algunas cuentas se obtiene

Geometra Diferencial - Rodrigo Vargas

Una curva que corta cada meriadiano en un angulo constante es la

1.4. Sea : I Rn una curva regular, v Rn un vector fijo y suponga

es decir, (t) es ortogonal a v para todo t I.

En efecto, si f (t) = (f1 (t), ..., fn (t)) luego kf (t)k =

siempre que f (t) 6= 0. Por otro lado,

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

Geometra Diferencial - Rodrigo Vargas

Note que en nuestro caso k(s0 ) pk =

1.7. Un disco circular de radio r en el plano xy rueda sin deslizar a lo largo

1.8. Sea OA = 2a el diametro de un crculo S 1 y sean OY y AV las tangentes

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

(b) El origen (0, 0) es un punto singular de la cisoide.

Geometra Diferencial - Rodrigo Vargas

(c) Cuando t , (t) se aproxima a la recta x = 2a, y 0 (t)

El punto C es la interseccion de la recta con el crculo S 1 , para

x(1 + tan2 ) = 2a,

Las coordenadas del punto B, son facilmente deducibles a partir

4at(1 + t2 ) 2at2 (2t) 6at2 (1 + t2 ) 2at3 (2t)

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

1.9. Sea : (0, ) R2 dada por

Geometra Diferencial - Rodrigo Vargas

(a) es una curva parametrizada diferenciable, regular excepto en t =

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

(b) Sean P = (x0 , y0 ) el punto de tangencia de la recta tangente y

es finita, o sea, tiene longitud de arco finita en [t0 , +).

y sen t son acotadas podemos concluir que

por lo que lm (t) = (0, 0).

Geometra Diferencial - Rodrigo Vargas

aebt [(b cos t sen t)2 + (b sen t + cos t)2 ]1/2 dt

ebt [b2 + 1]1/2 dt

esto es, tiene longitud de arco finita.

Geometricamente, l(, P ) es la longitud de un polgono inscrito en

k0(t) 0 (s)k < |a b| .

donde ti1 si ti . La desigualda requerida se deduce de lo anterior.

Geometra Diferencial - Rodrigo Vargas

(b) Para t sucesivamente igual a

como s(t) l(p) y la serie armonica

diverge. Se concluye que

b) Escogiendo ~v apropiado, deduzca que

esto es, la curva de menor longitud desde (a) a (b) es la lnea

Geometra Diferencial - Rodrigo Vargas

fi0 (t)gi (t)dt

Luego, tenemos que

Por otro lado, notemos que

|h0 (t), vi|dt