Академический Документы
Профессиональный Документы
Культура Документы
CURSO DE GEOMETRA
DIFERENCIAL
PARTE 1. CURVAS Y SUPERFICIES
ISBN: 970-32-2650-7
Impreso y hecho en Mxico
Prefacio
Este libro es producto de varios cursos de Geometra Diferencial impartidos por los autores a lo largo de varios a
nos, a los estudiantes de las
licenciaturas de Matematicas y Fsica, tanto en la Facultad de Ciencias de
la UNAM, como en la Universidad Aut
onoma Metropolitana Iztapalapa.
La presentaci
on responde, por tanto, a las necesidades de nuestras licenciaturas. Esta obra puede emplearse para un curso de Geometra Diferencial I
impartido a lo largo de un semestre o bien de un trimestre.
En el Captulo 0 se introduce la geometra del espacio euclidiano R3 y se
mencionan los elementos necesarios (productos escalar y vectorial, norma,
etcetera) para estudiar a las curvas y a las supercies contenidas en una
region del espacio. El lector interesado en una discusi
on mas amplia de
estos resultados puede consultar Becerril et al. [2], de donde se han extrado
tales elementos basicos. En este captulo se estudian adem
as los cambios de
3
coordenadas de una regi
on en R .
En el captulo 1 se analizan las curvas en R2 y R3 , introduciendo dos
funciones caractersticas basicas: la curvatura y la torsi
on. Con base en
estas funciones se establece una relacion de equivalencia entre las curvas.
A partir del captulo 2 se inicia el estudio de las supercies con los conceptos b
asicos de esta teora. En el captulo 3 se hace una clasicacion de las
supercies en terminos metricos y locales, utilizando varios conceptos fundamentales de la geometra diferencial, destacando entre ellos la curvatura
gaussiana. En este captulo se demuestra ademas uno de los teoremas mas
importantes de la matematica moderna: el teorema egregio de Gauss.
Cabe mencionar que esta obra se ha inspirado en varias fuentes y escuelas
de geometra, destacando por un lado la escuela rusa plasmada en los libros
clasicos de Pogorelov [9] y Dubrovin, Novikov y Fomenko [4], [5] y por
iii
i
i
iv
otro lado la escuela brasile
na desarrollada principalmente por do Carmo
[3]. No olvidamos mencionar los cinco vol
umenes clasicos de Spivak [10],
donde los lectores podr
an encontrar algunas de las fuentes originales para los
conceptos que aqu se muestran. Los demas textos mencionados a lo largo
del trabajo tambien han sido igualmente importantes para la elaboraci
on
de este libro.
La notaci
on utilizada en la obra es la que se usa en la literatura matem
atica com
unmente. Por ejemplo, la notaci
on , que denota la operaci
on de
interseccion de dos o m
as conjuntos, para la uni
on, etcetera. Al discutir
un ejemplo, el proceso concluye con el smbolo . La demostracion de un
resultado concluye con el smbolo .
Esta obra fue realizada mientras el primer autor disfrut
o de una estancia
sab
atica en la Universidad Aut
onoma Metropolitana, Unidad Iztapalapa.
Agradecemos el apoyo del Dr. Carlos Signoret, jefe del Departamento de
Matematicas, para la realizaci
on de este proyecto. Igualmente, agradecemos
al Comite Editorial de la Facultad de Ciencias de la UNAM, por el apoyo
brindado para la publicaci
on de la obra. Por u
ltimo, agradecemos el apoyo
tecnico de Daniel Espinosa y Vctor Cruz. Ponemos a disposicion de los lectores nuestras direcciones de correo electr
onico para cualquier comunicaci
on
en torno de esta obra.
Oscar Palmas
opv@hp.fciencias.unam.mx
J. Guadalupe Reyes
revg@xanum.uam.mx
i
i
Despues de la aparici
on de la primera edici
on de este trabajo, algunos
lectores hicieron de nuestro conocimiento algunas sugerencias acerca de este.
Por ejemplo, antes usamos el corchete [, ] para denotar al producto vectorial
en R3 ; atendiendo a las opiniones y sugerencias de nuestros lectores, hemos
realizado el cambio de notaci
on al smbolo para facilitar la interacci
on
literaria de este trabajo con obras escritas en la misma direccion.
En general, acorde a las opiniones de profesores y estudiantes, se han
aclarado y corregido varios resultados y conceptos a lo largo de todo el libro.
Ademas, se han realizado cambios signicativos en la mayora de las guras
con el af
an de ilustrar mejor los objetos a que corresponden. Lo anterior
se ha efectuado buscando mantener la esencia del trabajo original y la idea
objetiva para la cual fue escrito.
Agradecemos a los lectores de esa primera edicion el tiempo invertido
para realizar sus comentarios y sugerencias as como su interes por mejorarla.
Los autores
i
i
i
i
Contenido
Prefacio
iii
Contenido
vi
0 Conceptos preliminares
0.1 La geometra de R2 y de R3 . . . .
0.2 Orientaci
on . . . . . . . . . . . . .
0.3 Operaciones vectoriales en R3 . . .
0.4 Topologa . . . . . . . . . . . . . .
0.5 Calculo diferencial . . . . . . . . .
0.6 Funci
on inversa y funci
on implcita
0.7 Sistemas de coordenadas . . . . . .
0.8 Puntos y vectores . . . . . . . . . .
0.9 Ejercicios . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1
1
5
8
11
14
16
17
23
24
1 Curvas en R2 y en R3
1.1 Curvas derivables . . . . . . . . . . . . . . . . . .
1.2 Curvas regulares . . . . . . . . . . . . . . . . . .
1.3 Curvas regulares parametrizadas . . . . . . . . .
1.4 Longitud de arco y angulo entre curvas . . . . . .
1.5 Longitud de arco en coordenadas arbitrarias . . .
1.6 Curvatura de curvas planas . . . . . . . . . . . .
1.7 Curvas espaciales . . . . . . . . . . . . . . . . . .
1.8 El teorema fundamental de la teora de las curvas
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
27
27
30
33
35
42
47
54
63
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
vii
i
i
viii
Contenido
1.9 Planos osculador, normal y recticador . . . . . . . . . . . . . 66
1.10 Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71
2 Supercies en R3
2.1 Supercies diferenciables . . . . . .
2.2 Caracterizaciones de las supercies
2.3 El espacio tangente . . . . . . . . .
2.4 La primera forma fundamental . .
2.5 Longitud y angulos en supercies .
2.6 Area
de regiones . . . . . . . . . .
2.7 Supercies isometricas . . . . . . .
2.8 Supercies conformes . . . . . . . .
2.9 Ejercicios . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
77
77
89
102
106
110
113
115
122
129
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
135
. 135
. 139
. 146
. 149
. 160
. 168
. 175
. 178
. 182
. 186
Bibliografa
193
Indice alfab
etico
195
i
i
Captulo 0
Conceptos preliminares
0.1
La geometra de R2 y de R3
i
i
0.1. La geometra de R2 y de R3
R3 . Los n
umeros reales x1 , x2 , x3 se llamaran las coordenadas del punto
p en tal sistema.
Una manera de asociar coordenadas a los puntos de R3 utiliza una base
{e1 , e2 , e3 }. Como sabemos del algebra lineal, todo punto p R3 se escribe
en forma u
nica como
p = x1 e1 + x2 e2 + x3 e3 ,
para una coleccion bien determinada de n
umeros x1 , x2 , x3 , que son las
coordenadas de p.
Consideremos en particular la base can
onica1
e1 = (1, 0, 0);
e2 = (0, 1, 0);
e3 = (0, 0, 1).
x2 = y,
x3 = z,
n
i i.
i=1
i
i
Proposici
on 0.2 (Propiedades del producto escalar). Dados los vectores
, , en R3 y los n
umeros reales , , se cumple:
a. + , = , + , .
b. , = , .
c. , 0 para todo y , = 0 si y s
olo si = 0.
Estas propiedades nos dicen que el producto escalar es una forma bilineal
simetrica positiva denida.
Las propiedades del producto escalar dadas en la proposici
on 0.2 permiten denir varios conceptos geometricos, que repasaremos a continuaci
on.
Denici
on 0.3. Dado un vector con coordenadas ( 1 , 2 , 3 ) respecto de
la base canonica, la norma de , denotada , se dene como
n
= , = ( i )2 .
i=1
i
i
0.1. La geometra de R2 y de R3
+
+
a.
b.
i
i
b. d(p, q) 0, y d(p, q) = 0 si y s
olo si p = q.
c. Desigualdad del tri
angulo:
d(p, q) d(p, r) + d(r, q).
La igualdad es v
alida si y s
olo si p, q y r son colineales.
on
Observaci
on. Al espacio R3 dotado de la distancia dada en la denici
0.5 se llama tambien espacio euclidiano.
a vector unitario. Dado un
Un vector R3 tal que = 1 se llamar
vector R3 no nulo, se garantiza la construcci
on del vector unitario
=
.
0.2
Orientaci
on
La idea b
asica de orientaci
on del espacio alude a la regla de la mano
derecha utilizada en la Mec
anica, mientras que la orientaci
on del plano
i
i
n
0.2. Orientacio
e1
A = e2
e3
e3
3
2
e2
1
e1
a.
b.
Figura 0.3: a. Base canonica, con orientacion positiva. b. Base con orientacion positiva.
i
i
1
B=
5
2 2
3 1 .
3 4
i
i
0.3
Operaciones vectoriales en R3
, = 0.
c. Anticonmutatividad:
= .
i
i
,
,
conforman una base en el espacio con orientaci
on positiva por la elecci
on
del producto . (Vease la gura 0.4.)
Triple producto escalar
Denici
on 0.12. Dados los vectores , , en R3 se dene su triple producto escalar, tambien llamado producto mixto, como el n
umero real
denotado por (, , ) y dado por
(, , ) = , .
Proposici
on 0.13 (Propiedades del triple producto escalar). Dados los
vectores = ( 1 , 2 , 3 ), = ( 1 , 2 , 3 ) y = ( 1 , 2 , 3 ) en R3 , se tiene
que
i
i
10
i
i
0.4
11
Topologa
i
i
12
0.4. Topologa
Denici
on 0.16. Sean A, B, , R3 . Entonces:
a. A es disconexo si y solo si existe un par de conjuntos abiertos 1 , 2 ,
ajenos y no vacos, tales que A 1
= , A 2
= y A 1 2 .
b. B es conexo si y solo si no es disconexo.
c. es una regi
on en R3 si y solo si es un conjunto abierto conexo.
d. es una regi
on con frontera en R3 si y solo si es la cerradura de
una regi
on .
De la terminologa del calculo avanzado, podemos decir que una regi
on
es un conjunto abierto de una sola pieza. (Vease la gura 0.5.)
z
y
H+
y
x
x
a.
b.
i
i
13
A continuaci
on denimos los conceptos topologicos correspondientes a
un subconjunto arbitrario de R3 .
Denici
on 0.19. Sean A un subconjunto arbitrario de R3 y p un punto de
A. Entonces
a. Un conjunto abierto (relativo) en A es un conjunto que puede
expresarse como la interseccion de A con un conjunto abierto en R3 .
b. Una vecindad (relativa) de p en A es un conjunto abierto (relativo)
en A que contiene a p.
Por lo general omitiremos el adjetivo relativo, cuando esto no se preste
a confusiones.
i
i
14
lculo diferencial
0.5. Ca
0.5
C
alculo diferencial
i, j, k = 1, 2, 3.
i
i
15
es una pr
actica com
un en geometra, ahorrando as
sin
onimo de C . Esta
las discusiones sobre la clase de diferenciabilidad necesaria para uno u otro
resultado.
Ahora extenderemos las deniciones anteriores al caso de subconjuntos
arbitrarios de R3 . Utilizaremos las siguientes deniciones con frecuencia en
el resto de esta obra.
Denici
on 0.22. Sean A un subconjunto arbitrario de R3 , p A, f : A
on denida en A y r {0} N {}. Entonces:
R3 una transformaci
a. f es de clase C r en p si y solo si existe una vecindad V de p en R3
y una transformaci
on F : V R3 de clase C r en p tal que
F (q) = f (q)
para todo q V A.
i
i
16
n inversa y funcio
n implcita
0.6. Funcio
a. f es un homeomorsmo si y solo si f es invertible y tanto f como
f 1 son continuas.
0.6
Funci
on inversa y funci
on implcita
i
i
17
As, la conclusi
on del teorema 0.26 se puede parafrasear diciendo que
f | es un difeomorsmo (de clase C 1 ).
on de clase C 1 denida
Corolario 0.27. Sea f : R3 una transformaci
en tal que la matriz derivada Dfp es invertible para cada p . Entonces
f es un difeomorsmo local de clase C 1 .
El segundo resultado que tomaremos del c
alculo es el siguiente.
Teorema 0.28 (De la funci
on implcita). Sea F : V R una funci
on de
1
3
on V R , p = (x0 , y0 , z0 ) un punto en V y
clase C denida en una regi
F (p) = a. Supongamos que
F
(p)
= 0.
z
Bajo estas condiciones, existen una vecindad de (x0 , y0 ) en R2 y una
funci
on f : R tales que (x, y, z) est
a en V F 1 (a) si y s
olo si z =
f (x, y).
0.7
Sistemas de coordenadas
(0.1)
i
i
18
Recordemos que el sistema de coordenadas polares tiene algunos problemas. En primer lugar, no todos los puntos de R2 tienen asociado un par
de coordenadas polares. Como se ve en el sistema (0.1), no hemos denido
las coordenadas polares de los puntos en la parte positiva del eje x. En
segundo lugar, si permitimos que asuma valores arbitrarios, entonces un
punto tendr
a m
as de un par de coordenadas; por ejemplo, r = 1, = /2
y r = 1, = 5/2 describen a un mismo punto. M
as adelante daremos un
criterio general para determinar cu
ando tenemos un sistema de coordenadas
adecuado, es decir, cu
ando existe una correspondencia biunvoca entre los
puntos de una regi
on del plano y sus coordenadas correspondientes.
Ejemplo 0.30 (Coordenadas cilndricas). Considerese en R3 el sistema de
coordenadas cartesianas (x, y, z) e introd
uzcase el sistema nuevo dado por
la tripleta (r, , z) donde r, son las coordenadas del ejemplo anterior y z
es la tercera coordenada cartesiana; esto es, las ecuaciones
x = r cos ,
y = r sen ,
z=z
i = 1, 2, 3.
(0.2)
i
i
19
aij bjk = ki ,
j=1
Esta discusi
on caracteriza a los cambios lineales de coordenadas en R3 .
3 2 2
1 3 1
A=
5 3 4
Un c
alculo simple muestra que det A = 5, lo que nos asegura la invertibilidad de L. Otro c
alculo directo nos muestra que
9 2 4
1
1
2 1 ,
B = A1 =
5
12
1
7
de modo que las igualdades
x =
y =
z =
1 1
9u 2u2 4u3 ,
5
1 1
u + 2u2 u3 ,
5
1
12u1 + u2 + 7u3 .
5
i
i
20
denen a la transformaci
on L1 .
El teorema de la funci
on inversa 0.26 nos permite generalizar el criterio
de invertibilidad de una transformaci
on lineal L : R3 R3 dado por det A
=
0 al caso de una transformaci
on arbitraria denida en una regi
on R3 .
Denici
on 0.34. Sea : () el cambio de coordenadas dado por
las ecuaciones (0.2). El punto p es un punto regular de si y solo si
la matriz derivada
i
x
(p)
Dp =
uj
i,j=1,2,3
es invertible. En este caso, el punto q = (p) se llamara valor regular de
.
La matriz Dp es la matriz jacobiana de en el punto p y es la parte
lineal de . El determinante de esta matriz, que se denota por
J(p) =
D(x1 , x2 , x3 )
(p),
D(u1 , u2 , u3 )
se llama el jacobiano de Dp .
El siguiente resultado es una consecuencia inmediata del teorema de la
funci
on inversa 0.26 y nos asegura la invertibilidad local de un cambio de
coordenadas alrededor de un punto regular.
Teorema 0.35. Si p es un punto regular para el cambio de coordenadas
(x1 , x2 , x3 ) = (u1 , u2 , u3 ), entonces en una vecindad de p en se puede
denir una transformaci
on inversa 1 (x1 , x2 , x3 ) = (u1 , u2 , u3 ). M
as a
un,
j
si B = (bk ) es la matriz jacobiana de la transformaci
on 1 , entonces se
cumple la f
ormula matricial AB = I.
En otras palabras, la invertibilidad de la parte lineal de implica la
invertibilidad local de . Esto es, dene un cambio de coordenadas en
forma local.
A continuaci
on damos ejemplos de cambios de coordenadas en el plano
R2 y en el espacio R3 . Se har
a uso del teorema 0.35 en cada uno de ellos.
i
i
21
.
(p) =
A=
y
y
sen 0
r0 cos 0
r
= r0 (cos 2 0 + sen2 0 ) = r0 ,
y
(r, )
r
y = r sen ,
z = z.
i
i
22
cos r sen 0
sen r cos 0
0
0
1
con determinante
cos r sen 0
cos r sen
det A = sen r cos 0 =
sen
r cos
0
0
1
= r,
(r, , z)
y
(r, )
y = r sen sen ,
z = r cos ,
i
i
23
donde r > 0, 0 < < y 0 < < 2. La matriz jacobiana para cada punto
(r, , ) R3 es
z
(r, , )
r
y
0.8
Puntos y vectores
i
i
24
0.9. Ejercicios
3
Tp R3
0
y
0.9
Ejercicios
1. Demuestre la proposici
on 0.2.
2. Demuestre la proposici
on 0.4.
3. Demuestre la proposici
on 0.6.
4. Demuestre que el area de un paralelogramo en R2 generado por los
vectores (u1 , u2 ) y (v1 , v2 ) se puede calcular como el valor absoluto del
determinante
u1 u2
v1 v2 .
5. Demuestre la proposici
on 0.11.
6. Dados los vectores = (1, 2, 1), = (1, 0, 1) y = (0, 1, 3),
calcule
i
i
25
(a) , 2, .
(b) La proyecci
on de en .
(c) La proyeccion de en .
(d) ( ( )) + ( ( )).
(e) (, , ) + (, , ).
7. Sean , , vectores arbitrarios. Demuestre que
( ) = , , .
8. Demuestre la proposici
on 0.13.
9. Sean f, g : Rn R funciones continuas. Demuestre que
{ x Rn | f (x) < g(x) }
es un conjunto abierto y que
{ x Rn | f (x) g(x) }
{ x Rn | f (x) = g(x) }
i
i
26
0.9. Ejercicios
(a) f (x, y) = y + sen x, x + 12 sen y .
i
i
Captulo 1
Curvas en R2 y en R3
En este captulo estudiamos las propiedades de las curvas planas y espaciales, que son los objetos basicos de estudio de la geometra diferencial.
1.1
Curvas derivables
tt0
(t) (t0 )
;
t t0
o bien, en coordenadas,
1
x (t) x1 (t0 ) x2 (t) x2 (t0 ) x3 (t) x3 (t0 )
.
lim
,
,
tt0
t t0
t t0
t t0
En tal caso, el lmite se denota como
(t
0)
d
,
dt t=t0
y se llamar
a la derivada de en el punto t0 .
27
i
i
28
(t)
(t)
(t)
(t)
y
x
a.
b.
R > 0.
=
del plano R2 . (Vease la gura 1.1a.) Su derivada est
(R sen t, R cos t).
i
i
Captulo 1. Curvas en R2 y en R3
29
t R.
=
( sen t, cos t, 1).
En el siguiente resultado resumimos algunas propiedades de la derivada,
traducidas al contexto de las curvas. Omitiremos la prueba por ser un
calculo directo.
Lema 1.4. Sean 1 , 2 , 3 : (a, b) R3 curvas derivables. Se cumplen las
siguientes propiedades (omitimos la evaluaci
on en t):
a. Linealidad: Si , R, entonces
d
d1
d2
(1 + 2 ) =
+
.
dt
dt
dt
b. F
ormula de Leibniz. Si f : (a, b) R es una funci
on derivable,
entonces
d
d1
d
(1 ) =
1 +
.
dt
dt
dt
c. F
ormula de Leibniz para el producto escalar:
d1
d2
d
.
1 , 2 =
, 2 + 1 ,
dt
dt
dt
d. F
ormula de Leibniz para el producto cruz :
d
d1
d2
.
(1 2 ) =
2 + 1
dt
dt
dt
e. F
ormula de Leibniz para el triple producto escalar:
d
d1
d2
d3
.
(1 , 2 , 3 ) =
, 2 , 3 + 1 ,
, 3 + 1 , 2 ,
dt
dt
dt
dt
i
i
30
1.2
Curvas regulares
Denici
on 1.6. Una curva : (a, b) R3 es regular si y solo si es de
i
i
Captulo 1. Curvas en R2 y en R3
31
La derivada de en cualquier t R es
(t)
= (3t2 , 2t),
lo que nos dice que (t)
(t3 , t2 )
1
(t sen t + cos t, sen t t cos t).
t2
i
i
32
cos t
t
1
, 0
, sent t
t+
t (cos t, sen t)
(2, 0)
1
a.
b.
(t)
ta+
(t) (a)
,
ta
(b) = lim
tb
(b) (t)
.
bt
i
i
Captulo 1. Curvas en R2 y en R3
33
(t)
(a)
(b)
1.3
i
i
34
(J)
p
J
0
R2
dada por
i
i
Captulo 1. Curvas en R2 y en R3
35
y
(1)
x
(1)
= (2, 2),
(1)
= (2, 2).
La imagen de no es una curva regular parametrizada, pues ninguna vecindad (relativa) de (0, 0) puede ser difeomorfa a un intervalo. (Por que?)
Observaci
on. Supongamos que es una curva regular parametrizada en
el sentido de la denici
on anterior. No es difcil mostrar que si es conexa,
entonces es posible introducir una parametrizacion global, es decir, es posible considerar a como la imagen de una sola parametrizaci
on : J .
(Ver apendice 2 de [6].) En este sentido y para facilitar nuestra exposici
on,
en lo sucesivo solo analizaremos curvas regulares parametrizadas conexas.
1.4
Longitud de arco y
angulo entre curvas
b
asicos del calculo.
Denici
on 1.13. Sea R3 una curva regular conexa, parametrizada por
: [a, b] . La longitud de R3 se dene por
b
b
() =
(t),
(t)
dt =
(t)
dt,
a
i
i
36
donde (t)
Por lo tanto,
=
0
(t)dt
20dt = 2 20
= 0 en todo el intervalo
[c, d]. La composicion
= t : [c, d] es una reparametrizaci
on de
la curva . Se dice tambien que t = t(u) es un cambio de coordenadas para
.
El siguiente resultado nos asegura la independencia de la longitud de
una curva respecto a cualquier parametrizaci
on. Esto es, la denici
on de
longitud no depende de la parametrizaci
on escogida de la curva.
Lema 1.17. Sea una curva regular, parametrizada por
: [a, b] ,
i
i
Captulo 1. Curvas en R2 y en R3
37
=
(u)du,
a
(u) =
,
,
du du du
Ahora usamos la regla de la cadena para escribir
dy i
dxi dt
=
,
du
dt du
i = 1, 2, 3,
de modo que
3
3
dy i 2
dxi dt 2
(u) =
=
du
dt du
i=1
i=1
3
dt
dxi 2 dt
=
= (t).
du
dt
du
i=1
Como dt/du
= 0 para todo u, podemos suponer por el momento que dt/du >
0, de modo que
dt
(u) =
(t).
du
Por el teorema de cambio de variable se obtiene que
d
d
b
dt
(u)du =
(t(u))
(t)
dt = .
=
du =
du
c
c
a
i
i
38
dt
(t),
du
(u)du =
dt
du =
(t(u))
du
(t)
dt = ,
dt
Si un par
ametro s mide por s mismo la longitud de (a) hasta (s),
tenemos que (s) = s y en consecuencia,
1
d
= (s).
ds
1,
entonces la longitud de la curva desde (a) hasta (s) es
s
d = s a,
(s) =
a
lo que nos dice que, salvo una constante, s es el parametro que mide por s
mismo la longitud de arco de .
Denici
on 1.18. Si el par
ametro s de una curva cumple (s) = s, entonces s se llama el par
ametro de longitud de arco para la curva .
Tambien decimos que esta parametrizada por longitud de arco.
i
i
Captulo 1. Curvas en R2 y en R3
39
Observaci
on. Si una curva de longitud nita est
a parametrizada por longitud de arco, podemos suponer sin perdida de generalidad que esta denida
en un intervalo de la forma [0, L], siendo L la longitud total de la curva.
De la discusion anterior tenemos el siguiente resultado.
Lema 1.19. Sea una curva parametrizada por longitud de arco s. Entonces la velocidad v(s) = (s)
i
i
40
d,
a
tenemos que
d
= (t)
> 0,
dt
de modo que (t) es una funci
on creciente y por tanto con una inversa
t = t(s) diferenciable, con derivada
1
1
dt
=
=
.
ds
d/dt
(t)
d dt
1
=
=
(t).
ds
dt ds
(t)
Puesto que la u
ltima expresi
on representa un vector unitario, tenemos que
es la reparametrizacion por longitud de arco. El problema general consiste en obtener una expresion para (t) que permita determinar con cierta
facilidad la forma de la funci
on t = t(s).
Ejemplo 1.22. Consideremos la curva regular
(t) = (et cos t, et sen t, et ),
donde t (, ).
Entonces la longitud de arco (t) de tal curva, desde 0 hasta t, viene
dada por
t
t
(t) =
()d
=
3e2 d = 3(et 1) = s.
o
Al despejar t, se tiene
t = ln h(s),
donde
h(s) =
s
+1 .
3
i
i
Captulo 1. Curvas en R2 y en R3
41
donde s ( 3, ).
1 (t0 ), 2 (t0 )
.
1 (t0 ) 2 (t0 )
2 (t) = (t, t3 ),
con t [0, 4]. Es claro que 1 (1) = 2 (1) = (1, 1) es un punto de intersecci
on
de 1 y 2 . Entonces el
angulo formado en (1, 1) por las curvas 1 y 2 es
= arccos
poco m
as de 8 grados.
= arccos
50
7 2
= arccos
,
10
i
i
42
1.5
dui
,
dt
i = 1, 2, 3.
Ahora veremos como se transforma el vector v al expresarlo en las coordenadas x1 , x2 , x3 . Esto es, si vx denota a v con respecto de las coordenadas
xi , queremos determinar la relaci
on de la expresi
on anterior con
vxk =
dxk
(u(t)) k = 1, 2, 3.
dt
un la regla de
Por ejemplo, la primera coordenada de vx se calcula, seg
la cadena, por
vx1 =
i=1
i=1
x1 dui x1
dx1
vi .
(u(t)) =
=
dt
ui dt
ui u
De manera an
aloga, para k = 2, 3 se tiene
vxk
1
i=1
i=1
xk dui xk
dxk
=
vi .
(u(t)) =
=
dt
ui dt
ui u
Esta secci
on puede omitirse en una primera lectura.
i
i
Captulo 1. Curvas en R2 y en R3
43
En notaci
on matricial, estas relaciones se escriben como
vx = Avu ,
donde A es la matriz del cambio de coordenadas,
k
x
.
A=
ui
ormula euDe esta manera, si calculamos la norma de vx mediante la f
clidiana, tenemos
vx 2 =
3
(vxk )2 =
3
3
xk
2
vi
ui u
i=1
k=1
k=1
3
3
3
3
xk xk
xk xk
i j
=
=
v v
vui vuj
ui uj u u
ui uj
k=1 i,j=1
3
i,j=1
k=1
i,j=1
i
i
44
(t))
de la curva (t) = (r(t), (t)) en
Sea vu el vector velocidad (r(t),
coordenadas polares. Si vx denota al mismo vector en coordenadas (x, y),
entonces
x x
r(t)
x
r
= vx = Avu =
y
y
y
(t)
r
r
cos r sen
r cos r sen
.
=
=
sen
r cos
r sen + r cos
M
as a
un, vx 2 = vuT (AT A)vu , donde G = AT A est
a dada por
cos
sen
cos r sen
1 0
;
G=
=
0 r2
r sen r sen
sen
r sen
es decir,
(gij ) =
1 0
0 r2
.
=
r
vx 2 = (r )
+
r
=
+
r
;
0 r2
dt
dt
o bien,
vx =
dr
dt
2
r2
d
dt
2
.
As, en coordenadas polares (r, ) tenemos que la longitud del arco se calcula
por
2
b
b
2
dr
d
2
=
vx dt =
+r
dt.
dt
dt
a
a
Utilicemos estas f
ormulas para calcular la longitud de arco de la curva
dada por r(t) = sen3 (t/3), (t) = t desde t = 0 hasta t = /2. Tenemos que
1
r(t)
i
i
Captulo 1. Curvas en R2 y en R3
45
de donde
2
2
dr
2 d
+r
= sen4 (t/3) cos2 (t/3) + sen6 (t/3) = sen4 (t/3).
dt
dt
De esta manera,
/2
=
0
dr
dt
2
r2
d
dt
2
/2
dt =
0
1
3
2t /2 1
t sen
= (2 3 3)
2
2
3 0
8
t
dt
sen
3
2
es la longitud deseada.
cos r sen 0
A = sen r cos 0
0
0
1
de donde la matriz que dene el
cos
G = AT A = r sen
0
1 0 0
0 r2 0
=
0 0 1
sen 0
cos r sen 0
r cos 0 sen r cos 0
0
1
0
0
1
= (gij )
z)
De esta manera, un vector vx = (r,
,
tiene una norma dada por la
f
ormula
2
2
2
r
1 0 0
d
dz
dr
0 r2 0 =
+ r2
+
.
vx 2 = (r z)
d
dt
dt
0 0 1
z
i
i
46
=
a
dr
dt
2
r2
d
dt
2
dz
dt
2
dt
x = r cos cos
y = r cos sen
z = r sen
nos da en este caso (verifquelo!)
1 0
0
.
0
(gij (r, , )) = 0 r2
2
2
0 0 r sen
As, la expresi
on
=
a
dr
dt
2
r2
d
dt
2
r2 sen2
d
dt
2
dt
vx =
3
i,j=1
3
gij u i u j
i,j=1
i,j=1
b
3
i
j
=
gij u dt u dt =
a
i,j=1
i,j=1
3
gij dui duj .
i,j=1
i
i
Captulo 1. Curvas en R2 y en R3
47
ds =
3
i,j=1
A continuaci
on resumimos las formulas de longitud de arco en el plano
y en el espacio para varios sistemas de coordenadas:
1.6
Coordenadas cartesianas:
ds2 = dx2 + dy 2 + dz 2 ;
Coordenadas polares:
ds2 = dr2 + r2 d2 ;
Coordenadas cilndricas:
ds2 = dr2 + r2 d2 + dz 2 ;
Coordenadas esfericas:
i
i
48
Menos curvatura
M
as
r
R
Curvatura cero
k=
1
R
i
i
Captulo 1. Curvas en R2 y en R3
49
es decir
i ) = (
d(
i ), (i ) C(t1 , t2 , t3 ) = 0.
es de al menos clase C 1 , por el mismo teorema del valor medio
Ya que d(t)
= 0, lo que implica
existe otro punto (1 , 2 ) tal que d()
(), () C(t1 , t2 , t3 ) + (),
()
= 0.
Si el centro C(t1 , t2 , t3 ) se aproxima a un punto C = C(t) cuando ti t,
entonces, por continuidad, se tiene que i t, t. Ademas,
(t),
(t) C = 0
(t), (t) C = (t),
(t)
es ortogonal
al vector (t) C que indica el radio de la circunferencia tangente lmite, lo
que obligara al centro de la circunferencia a estar en la direcci
on ortogonal
a (t).
(t)
(t3 )
(t)
(t2 )
(t)
C(t1 , t2 , t3 )
(t1 )
De otra forma,
existira R tal que (t) = (t),
i
i
50
regularidad de la curva,
0
= (t),
(t)
=
(t), (t) C
= (t),
(t) C = (t),
(t) C
pero esta u
ltima cantidad se anula. Esto es una contradicci
on y nos dice
que (t) y (t)
no son colineales.
Ahora usamos el par
ametro de longitud de arco s = (s) y denotamos
por ( ) la operaci
on de derivaci
on respecto a s.
2
Como en este caso (s) = 1, entonces (s), (s) = 1, lo que
implica que
(s), (s) = 0,
lo que indica que los vectores (s) y (s) son ortogonales. De esta manera,
existe un escalar tal que (s) = ((s) C), lo que implica, al sustituir
en la segunda ecuacion que
1
(s), (s) = (s), (s) = 1;
o en forma equivalente,
(s), (s) = ,
lo que nos dice que
|| = (s)2 .
(s)
1
(s)
=
=
;
||
(s)2
(s)
1
= (s).
R(s)
i
i
Captulo 1. Curvas en R2 y en R3
51
s
R
s
R
x =
y =
s
1
cos
,
R
R
s
1
sen
,
R
R
k(s) = (s) =
=
es la curvatura de la circunferencia.
(s) = 0,
i
i
52
Veremos ahora un procedimiento para dar un signo a la curvatura. Consideremos en cada punto (s) de la curva a la pareja de vectores ortogonales {v(s), n(s)}, denidos por
v(s) = (s),
n(s) =
(s)
(s)
=
(s)
k(s)
o en forma equivalente,
(s) = v(s), (s) = k(s)n(s).
Una curva plana tiene asociada una pareja {v(s), n(s)} en cada punto
(s). Esta pareja permite denir el concepto de curvatura con signo de
una curva plana.
Denici
on 1.30. Dada una curva plana , damos a la curvatura de en s
el signo del determinante
(s)
(s) .
Podemos denotar por k(s) a esta curvatura con signo. De la denicion
se observa que si se cambia la orientacion de la curva, entonces cambia el
signo de la curvatura.
De la relacion (s) = k(s)n(s) tenemos que
|k(s)| = (s)
angulo tendido sobre los
Por otro lado, (s) es igual al area del rect
vectores (s) y (s), en virtud de que (s) = 1. Puesto que dicha area
se calcula mediante el valor absoluto
det (s) ,
(s)
entonces se tiene que |k(s)| es igual al valor absoluto del determinante anterior. De hecho, como los signos de la curvatura y del determinante son
los mismos por denici
on, lo anterior nos dice que
(s)
k(s) = det
.
(s)
i
i
Captulo 1. Curvas en R2 y en R3
53
(s) = (t)
,
ds
2
dt
d2 t
+ 2 ,
(s) =
ds
ds
implican en un c
alculo sencillo que la funci
on de curvatura es
dt
(t)
ds
(s)
dt 2
= det
k(s) = det
d2 t
(s)
(t) ds
+ (t)
ds
2
dt
dt
(t)
ds
(t)
ds
dt 2
= det
+ det
d2 t
(t)
ds
(t) ds
2
2
3
d t
dt
(t)
(t)
+ det
= det
(t)
(t)
ds
ds2
3
dt
(t)
= det
(t)
ds
1
(t)
.
= det
3
(t)
(t)
det
(t)
k(t) =
.
3
(t)
x(t)
y (t) y(t)
x(t)
.
2
(x(t)
+ y(t)
2 )3/2
i
i
54
1.7
Curvas espaciales
a
formado por segmentos de curvas espaciales y la denici
on de congruencia
puede extenderse a este caso.
Dada una curva R3 regular parametrizada por : [a, b] R3 ,
diremos que la orientaci
on de va del punto (a) al punto (b) ,
y que esta inducida por la orientaci
on natural del intervalo [a, b], el cual
+
denotaremos mediante [a, b] para enfatizar que esta orientado. (Vease la
gura 1.9.)
Distinguimos a la curva orientada de esta forma por + . Por supuesto,
i
i
Captulo 1. Curvas en R2 y en R3
+
(2)
(0)
55
(0)
(2)
i
i
56
(u) = (t)
.
du
du
Esto nos indica que los vectores d
/du y son paralelos. La cantidad dt/du
indica el sentido de cada uno, y por lo tanto la orientaci
on.
Sea s el par
ametro de longitud de arco para la curva orientada : [a, b]
R3 . Asociaremos a esta curva un conjunto de vectores {v, n, b} llamado el
triedro de Serret-Frenet como sigue:
1. El vector v(s) = (s) es el vector velocidad dado por el lema 1.19,
con v(s) = 1.
2. Consideremos el vector aceleracion a(s) = (s). Veamos que a(s) es
ortogonal a v(s) en cada punto de la curva (s): Como v(s)2 = 1,
entonces 1 = v(s), v(s), de donde
0=
d
v(s), v(s) = 2v (s), v(s) = 2a(s), v(s)
ds
i
i
Captulo 1. Curvas en R2 y en R3
57
Denici
on 1.34. El conjunto ordenado formado por los vectores ortonormales
{v(s), n(s), b(s)}(s)
se llama el triedro de Serret-Frenet en el punto (s). El vector v(s) es
el vector tangente en el punto (s), el vector n(s) se llama el normal
principal, y b(s) se llamara el binormal.
De la denici
on de v, n y b, se tiene que si es una curva regular y
diferenciable, entonces los vectores dependen en forma diferenciable de s.
Ademas es claro que {v, n, b} generan al espacio tangente R3(s) para cada
punto (s) sobre la curva. (Vease la gura 1.10.)
De la construccion de v, n y b se tiene el siguiente
Lema 1.35. Son v
alidas las siguientes igualdades en cada punto (s):
v n = b,
n b = v,
b v = n.
n(s)
v(s)
(s)
b(s)
i
i
58
a(s)
(s)
=
a(s)
(s)
o en forma breve,
dv
= kn,
ds
lo que nos indica la variaci
on de v respecto a s.
Procedemos ahora a calcular b . Observemos que b es ortogonal a b,
pues como b(s) = 1 para cualquier s, tenemos que
d
d
b2 = b(s), b(s) = 2b (s), b(s)
ds
ds
Por otro lado, ya que b = v n, se tiene que
0=
db
d
= (v n) = (v n) + (v n ).
ds
ds
De la ecuacion v = kn se obtiene entonces
b =
b = ((kn) n) + (v n ) = k(n n) + (v n ) = v n ,
lo que nos dice que b = v n , es decir, b es ortogonal a v.
De esta manera, b es ortogonal a v y a b, lo que implica que esta en la
direccion de n; es decir, existe una cantidad escalar (s) tal que
db
= b = n.
ds
i
i
Captulo 1. Curvas en R2 y en R3
59
Denici
on 1.37. Si (s) es una curva regular, para cada (s) se dene el
escalar = (s) como la torsi
on de la curva en ese punto.
Por u
ltimo, calculamos la variaci
on de dn/ds. Puesto que n = b v,
tenemos que
dn
ds
= (b v) + (b v ) = (( n) v) + (b (kn))
= (n v) + k(b n) = (b) + k(v) = b kv.
Las f
ormulas obtenidas para las variaciones del triedro implican el siguiente importante resultado.
Teorema 1.38 (de Serret-Frenet). Sea (s) una curva regular diferenciable orientada denida en [a, b] R y parametrizada por longitud de arco.
Entonces para cada punto (s) se puede denir el triedro de Serret-Frenet
{v, n, b} y tales vectores satisfacen el sistema de ecuaciones diferenciales
v
kn,
n = kv
b
b,
(1.1)
n.
i
i
60
v
kn
( , , ) = =
k n k b k 2 v
v v v
= kn kn kn
k n k b k 2 v
v
= k 2 n = k 2 (v, n, b) = k 2 ,
b
donde el triple producto escalar (v, n, b) = 1 debido a la orientaci
on de los
vectores. Por lo tanto,
=
( , , )
( , , )
=
.
k2
2
Ejemplo 1.40. Considere la recta que pasa por R3 con vector director
, parametrizada por
(s) = + s,
donde = 1. Al calcular las derivadas se tiene
(s) = ,
(s) = 0,
(s) = 0,
1
.
k
es R = R,
mienEl radio de curvatura de una circunferencia de radio R
tras que el de una recta es R = .
i
i
Captulo 1. Curvas en R2 y en R3
61
d
d dt
dt
=
= ,
ds
dt ds
ds
2
2
2
2
d dt
d d2 t
dt
d t
,
+
=
+
dt2 ds
dt ds2
ds
ds2
y
d3 dt 3
d2 d2 t dt d d3 t
(s) =
+3 2
+
dt3 ds
dt ds2 ds
dt ds3
3
... dt
d2 t dt
d3 t
,
+ 3
2
=
+
ds
ds ds
ds3
+
ds
ds
ds2
2
2
d t
dt
dt
dt
=
ds
ds
ds
ds2
3
3
dt d2 t
dt
dt
+ ( )
=
(
)
.
= ( )
ds
ds ds2
ds
Por otro lado,
b = v n =
de donde
kb = =
=
,
k
dt
ds
3
De la igualdad
=
dt
ds
i
i
62
y = 1, obtenemos
dt dt
1
= =
.
ds
ds
De esta manera,
kb =
.
3
,
3
dt
ds
dt 2
1
1
2
d t
= 2
ds + ds
= 2
2
k ... dt 3
k
d2 t dt
d3 t
+ 3
ds
ds
2 ds +
3
ds
dt 6
...
...
, )
1 (,
ds
= 2 (,
, ) = 2
k
k
6
...
...
2
3
(,
, )
(,
, )
=
=
.
6
2
par
ametro t viene
dt
ds
dt 2
ds
... dt 3
ds
i
i
Captulo 1. Curvas en R2 y en R3
63
.
3
(t)
= (ab sen t, ab cos t, a2 ),
= a a2 + b2 .
a a2 + b2
a
=
= 2
.
k(t) =
3
(t)
a + b2
( a2 + b2 )3
Por otro lado,
a sen t
a
cos
t
b
...
(,
, ) = a cos t a sen t 0 = b
a sen t a cos t 0
a cos t a sen t
a sen t a cos t
= a2 b,
con lo que
(t) =
es la torsi
on en (t).
1.8
...
(,
, )
a2 b
b
=
= 2
2
a2 (a2 + b2 )
a + b2
i
i
64
= k(s)ni = fi (s, v 1 , v 2 , . . . , b2 , b3 ),
= k(s)v i (s)bi = gi (s, v 1 , v 2 , . . . , b2 , b3 ),
= (s)ni = hi (s, v 1 , v 2 , . . . , b2 , b3 ),
i
i
Captulo 1. Curvas en R2 y en R3
65
por
v(s), n(s) 0,
v(s), b(s) 0,
n(s), b(s) 0,
v(s), v(s) 1,
n(s), n(s) 1,
b(s), b(s) 1,
una sustituci
on simple nos muestra que la familia de triedros con estas
condiciones satisface el sistema no aut
onomo de ecuaciones diferenciales
isom
etrico de Serret-Frenet dado por
d
v, n = k(s)n, n k(s)v, v (s)v, b,
ds
d
v, b = k(s)n, b + (s)v, n,
ds
d
n, b = k(s)v, b (s)b, b + (s)n, n,
ds
d
v, v = 2k(s)v, n,
ds
d
n, n = 2k(s)n, v 2 (s)n, b,
ds
d
b, b = 2 (s)b, n.
ds
El teorema de existencia y unicidad nos garantiza la ortonormalidad de la
familia {v(s), n(s), b(s)} en todo el intervalo (a, b).
Una vez que tenemos una solucion del sistema en el intervalo (a, b),
denimos la curva espacial
s
v()d,
(s) =
0
donde la integraci
on es realizada coordenada a coordenada. Es claro que
(s) = v(s). Observemos que (s) = v(s) 1, de modo que s es el
par
ametro de longitud de arco de . Por la primera ecuaci
on de SerretFrenet en (1.1),
(s) = v (s) = k(s)n(s),
lo que nos dice que k(s) es la curvatura de en (s).
Utilizamos el mismo procedimiento del lema 1.39 para ver que la torsi
on
de se calcula mediante
(s) =
( , , )
( , , )
=
(s)2
k(s)2
i
i
66
= k(s)n,
dv
e
ds
= k(s)
n,
dn
ds
= k(s)v (s)b,
dn
e
ds
= k(s)
v (s)b,
db
ds
= (s)n,
de
b
ds
= (s)
n,
Si consideramos la funci
on distancia
(s)2 + b(s) b(s)2 ,
D(s) = v(s) v(s)2 + n(s) n
ormulas de Serret-Frenet para cada
es claro que D(s0 ) = 0. Usando las f
triedro, se tiene que
dD
d
(s) =
v v, v v + n n
, n n
+ b b, b b
ds
ds
, n n
+ b b, b b
= 2 v v, v v + n n
= 2(k(s)v v, n n
k(s)n n
, v v
(s)n n
, b b + (s)b b, n n
) = 0,
lo que nos dice que D(s) es constante e igual a 0. Esto implica que v(s) =
v(s), n(s) = n
(s) y b(s) = b(s) para todo s (a, b).
Ya que (s) = v(s) =
(s) en todo el intervalo (a, b), se tiene (s) =
1.9
Dada una curva parametrizada por = (s), tenemos que en cada punto
(s) el espacio tangente T(s) R3 esta generado por el triedro de Serret-Frenet
i
i
Captulo 1. Curvas en R2 y en R3
67
o W (s0 ), (s0 ) = 0.
o W (s0 ), (s0 ) = 0.
c. El plano osculador por (s0 ), que pasa por (s0 ) y contiene a los
vectores v(s0 ) y n(s0 ) (es decir, es normal al binormal b). Su ecuaci
on
vectorial es
W (s0 ), b(s0 ) = 0
i
i
68
x(s) = s
ks2
2
y z=
k 3
s .
6
9kz 2
,
2
i
i
Captulo 1. Curvas en R2 y en R3
69
b
b
(t)
Plano normal
v
Plano recticador
n
v
Plano osculador
ks2
.
2
k 2
x
2
i
i
70
k 3
s ,
6
k 3
x .
6
(tangente)
B = (t)
(t) (binormal)
N = BV
(normal principal)
Ellos forman el triedro de Serret-Frenet para una parametrizaci
on
arbitraria por el par
ametro t de la curva = (t).
Se tiene que el vector v es paralelo a V debido a que
(s) = (t)
dt
.
ds
1
k (t)
Por u
ltimo, debido a que N = B V y n = b v entonces N es paralelo a
n.
Las deniciones de los planos recticador, normal y osculador en un
punto de una curva espacial parametrizada por un par
ametro arbitrario son
semejantes a las ya dadas. Damos solo un ejemplo.
i
i
Captulo 1. Curvas en R2 y en R3
71
1.10
Ejercicios
1. Cu
ales de las siguientes curvas son regulares? Haga un dibujo de la
traza cuando sea posible.
(a) (t) = (3 sen2 t, 2 cos2 t).
(b) (t) = (t, t2 + 1, t 1).
(c) La curva intersecci
on de los cilindros x = z 3 y y 2 = 1 x, utilizando x = t como parametro.
(d) (t) = (ln t, 1/(1 + t)).
i
i
72
1.10. Ejercicios
(e) La curva dada por la intersecci
on de x2 + y 2 = 1 y y 2 + z 2 = 1,
y
= 1, utilizando x = t como parametro.
2. Para la curva diferenciable = (t) denida en el intervalo [a, b] y el
punto (t0 ) se dice que la recta tangente a en t0 es la recta que pasa
por tal punto con vector director (t
0 ). El plano normal a en tal
punto es el plano por (t0 ) con normal (t
0 ). Calcule las ecuaciones
de la recta tangente y el plano normal a cada curva en el punto t0
dado.
(a) (t) = (1 + t, t2 , 1 + t3 ),
t0 = 2.
t0 = 0.
2 3
3 t, t , t
forman
i
i
Captulo 1. Curvas en R2 y en R3
73
i
i
74
1.10. Ejercicios
esta dada por k(s). Describa la curva plana tal que su curvatura est
a
dada por
1
k(s) =
, (s) = 0.
2s
i
i
Captulo 1. Curvas en R2 y en R3
75
bji = bij
i
i
i
i
Captulo 2
Supercies en R3
2.1
Supercies diferenciables
i
i
78
R2
R3
i
i
Captulo 2. Superficies en R3
79
i
i
80
PN
(x, y, z)
R
(x, y)
(u, v)
z
(x, y)
(u, v) = (x, y)
x=
2R2 u
,
u2 + v 2 + R 2
y=
2R2 v
,
u2 + v 2 + R 2
z=
R(u2 + v 2 R2 )
.
u2 + v 2 + R 2
i
i
Captulo 2. Superficies en R3
81
De manera an
aloga, para proyectar la esfera desde el polo sur hacia
el plano horizontal, a cada punto con coordenadas (x, y, z) en la esfera le
asociamos un punto con coordenadas (
u, v), considerando la lnea recta que
pasa por el polo sur PS y por el punto p = (x, y, z). El punto asociado (
u, v)
del plano es aquel obtenido de la intersecci
on de la recta y el plano.
En este caso se tienen las relaciones
u
=u
(x, y, z) = x =
Rx
,
R+z
v = v(x, y, z) = y =
Ry
,
R+z
2R2 u
,
2
2
u
+ v + R2
2R2 v
,
y =
u
2 + v2 + R2
R(
u2 + v2 R2 )
.
z = 2
u
+ v2 + R2
x =
2R2 u
2R2 v
R(
u2 + v2 R2 )
.
2 (u, v) =
, 2
,
u
2 + v2 + R2 u
+ v2 + R2 u
2 + v2 + R2
De esta forma, un atlas para la esfera S2R viene dado por
{(U1 , 1 ), (U2 , 2 )},
pues S2R = U1 U2 . Esto muestra que la esfera S2R es una supercie
topol
ogica. Observese adem
as que U1 U2 = S2R \ {PN , PS } es un conjunto
conexo.
i
i
82
Ejemplo 2.3. La parte superior del cono circular recto C denido por la
ecuaci
on x2 + y 2 = z 2 , con z 0, es una supercie topol
ogica en R3 .
3
Consideremos las coordenadas (x, y, z) en R y (u, v) en el plano. La
transformaci
on continua : R2 U C denida mediante la regla de
correspondencia
(x, y, z) = (u, v) = (u, v, u2 + v 2 )
es una parametrizaci
on de todo el cono C, lo cual lo hace una supercie
3
topol
ogica en R . (Vease la gura 2.4.)
i
i
Captulo 2. Superficies en R3
83
De manera an
aloga a la denici
on 2.1, la pareja (U, ) es una parametrizaci
on alrededor de p y si = 1 , entonces (U, ) es una carta para
la supercie S alrededor del punto p, y un conjunto de cartas {(Ui , i )} es
un atlas para la supercie cuando S = i Ui .
Ejemplo 2.5. En el ejemplo 2.2 vimos que la esfera S2R es una supercie
topol
ogica. Las transformaciones que utilizamos en ese ejemplo son tambien
diferenciables, por lo que la esfera es una supercie diferenciable.
M
as adelante veremos que el cono del ejemplo 2.3 no es una supercie
diferenciable, pero antes veamos algunas consecuencias de la denici
on 2.4.
Sean p un punto de una supercie diferenciable y (U, ) una parametrizaci
on
en p. Entonces tiene una inversa diferenciable, de modo que existe una
transformaci
on diferenciable denida en una vecindad ordinaria de p en
R3 tal que = Id. Por la regla de la cadena, tenemos que
dp dq = Id.
donde q = 1 (p). Esto dice que la transformaci
on dq es inyectiva. Para
traducir este hecho a una forma matricial, sean (u, v) las coordenadas en
R2 y (x, y, z) las coordenadas en R3 , de modo que
(u, v) = (x(u, v), y(u, v), z(u, v)).
La matriz asociada a dq tiene entonces
xu
yu
Dq =
zu
la forma
xv
yv ,
zv
dq (e2 ) = (xv , yv , zv ) = v .
i
i
84
e2
q
e1
x
u
,
yu y v
zu zv ,
zu zv
xu xv
,
D(y, z)
,
D(u, v)
D(z, x)
,
D(u, v)
es distinto de cero en q.
4. La expresi
on
D(x, y)
D(u, v)
2
D(y, z)
D(u, v)
2
D(z, x)
D(u, v)
2
es distinta de cero en q.
5. El producto cruz
u v =
es distinto de cero en q.
i
i
Captulo 2. Superficies en R3
85
d a
b
x y.
c
c
c
D(x, y) 1 0
=
D(u, v) 0 1
= 1,
(2.1)
z = R cos ,
con 0 < < 2, 0 < < .
La imagen de est
a contenida en S2R , pues
(, ) = (R cos sen , R sen sen , R cos ) = R.
i
i
86
z
PN
Un paralelo
(, )
(, )
Un meridiano
x
0
R sen sen R cos cos
=
R cos sen R sen cos
R cos sen R sen cos
=
0
R sen
0
R sen
=
R sen sen R cos cos
= R2 sen cos ,
= R2 cos sen2 ,
= R2 sen sen2 ,
de donde
D(y, z)
D(, )
2
D(z, x)
D(, )
2
D(x, y)
D(, )
2
= R4 sen2 .
Esta expresi
on se anula si = 0 o = , lo que correspondera a los
polos norte PN y sur PS . Pero estos puntos no quedan cubiertos por la
parametrizaci
on.
i
i
Captulo 2. Superficies en R3
87
i
i
88
donde (, ) = (0, 2) R.
De manera an
aloga al caso de la esfera, a la imagen de la lnea horizontal
= constante bajo le llamaremos un paralelo del hiperboloide, mientras
que a la imagen bajo de la lnea vertical = constante le llamaremos un
meridiano. (Vease la gura 2.7.)
z
(, )
(, )
0
R senh
=
R senh sen R cosh cos
= R2 senh2 sen ,
de donde
D(x, y) 2
D(y, x) 2
D(z, x) 2
+
+
= R4 (1 + 2 senh2 ) senh2 ,
D(, )
D(, )
D(, )
el cual es diferente de cero si
= 0.
i
i
Captulo 2. Superficies en R3
89
2.2
En esta seccion revisaremos algunos metodos para obtener una gran variedad de ejemplos de supercies. Primero mostraremos que la gr
aca de
cualquier funci
on diferenciable denida en una regi
on del plano es una supercie diferenciable S R3 .
on diferenciaLema 2.10. Sean una regi
on de R2 y f : R una funci
ble. Entonces la gr
aca de f es una supercie diferenciable.
on
Demostraci
on. Si S es la graca de f en R3 , basta denir la parametrizaci
(u, v) = (x(u, v), y(u, v), z(u, v))
como x = u, y = v, z = f (x, y) = f (u, v) para (u, v) . Es claro que
la proyeccion (x, y, z) (x, y) restringida a S dene una carta global para
S.
A continuaci
on mostraremos una forma de denir localmente a una supercie diferenciable, como la imagen inversa de un valor regular de una
funci
on F denida en un conjunto abierto de R3 con valores reales.
on diferenciable y p .
Denici
on 2.11. Sean F : R3 R una funci
Decimos que p es un punto regular de F si DFp no se anula. Decimos que
a R es un valor regular de F si cualquier punto p F 1 (a) es un punto
regular.
i
i
90
F
(p),
z
F
(p),
y
S = F 1 (a)
p
a
F
y
x
i
i
Captulo 2. Superficies en R3
91
Demostraci
on. Sea p0 un punto regular en F 1 (a). Entonces el gradiente
de F no se anula en p0 .
Supongamos sin perdida de generalidad que F
z (p0 )
= 0. Por el teorema
de la funci
on implcita (teorema 0.28), existe una vecindad de (x0 , y0 )
en R2 y una funci
on f (x, y) denida en tales que un punto (x, y, z) esta
1
en F (a) si y solo si z = f (x, y). Es decir, F 1 (a) se puede describir
localmente como la graca de la funci
on z = f (x, y). Por el lema anterior se
1
tiene que F (a) es una supercie diferenciable. S es un conjunto cerrado,
pues es la imagen del conjunto cerrado {a} bajo la funci
on continua F .
(Vease la gura 2.8.)
Ejemplo 2.13. Sea E el elipsoide en R3 denido mediante
2
x
y2 z2
E = (x, y, z) 2 + 2 + 2 = 1 .
a
b
c
Veremos que E es una supercie diferenciable, mostrando que es la imagen
inversa de un valor regular.
Se tiene que E = F 1 (0) para la funci
on
2
y2 z2
x
.
+
+
F (x, y, z) = 1
a2
b2
c2
El gradiente
F F F
,
,
x y z
2x 2y 2z
, 2 , 2
a2
b
c
se anula si y s
olo si x = y = z = 0. Pero el punto (0, 0, 0) no pertenece a
E, de donde todos los puntos de E son regulares. Por el lema 2.12, E es
una supercie diferenciable en R3 .
Ejemplo 2.14. El hiperboloide de dos hojas en R3 es el conjunto
H = {(x, y, z) | 1 = x2 y 2 + z 2 }.
Si denimos la funci
on diferenciable F (x, y, z) = z 2 x2 y 2 , entonces
el hiperboloide est
a dado por H = F 1 (1). El gradiente de F est
a dado por
F = (2x, 2y, 2z) y se anula s
olo si (x, y, z) = (0, 0, 0). Como tal punto
no est
a en H, el lema 2.12 implica que H es una supercie diferenciable.
(Vease la gura 2.9.) Notemos que H es un conjunto disconexo.
i
i
92
PN = (0, 0, R)
y
PS = (0, 0, R)
x
Demostraci
on. Sean p un punto en S y : U una parametrizaci
on de
una vecindad de p. Utilizando las coordenadas (u, v) en y (x, y, z) en R3 ,
sabemos que uno de los menores que aparecen en el tercer inciso del lema
2.6 es distinto de cero. Supongamos, sin perdida de generalidad, que
D(x, y)
(q)
= 0,
D(u, v)
i
i
Captulo 2. Superficies en R3
93
z
(V1 )
v
q
(p)
V1
D( )q =
xu xv
yu yv
y
det D( )q =
D(x, y)
= 0.
D(u, v)
v = v(x, y).
i
i
94
Ejemplo 2.16. Veremos que la parte superior del cono circular recto C
denido por la ecuaci
on
x2 + y 2 = z 2
no es una supercie diferenciable.
Supongamos que C es diferenciable. Por el lema 2.15, C se puede expresar cerca de (0, 0, 0) mediante alguna de las siguientes formas,
z = f (x, y),
x = h(y, z),
y = g(x, z),
donde f, g, h son funciones diferenciables. Las dos u
ltimas expresiones pueden descartarse, pues las proyecciones correspondientes no son inyectivas.
Por u
ltimo, si z = f (x, y), entonces f coincidira con
la funci
on x2 + y 2
en una vecindad de (0, 0, 0). Esto no es posible, pues x2 + y 2 no es diferenciable en el origen. (Vease la gura 2.11.)
Vertice
y
x
i
i
Captulo 2. Superficies en R3
95
i
i
96
U1
U6
U2
S2
U3
U5
U4
y = R sen ,
z = ln r,
donde (r, ) (0, ) (0, 2), no cubre a C, pues omite a la recta denida
por las ecuaciones x = R, y = 0.
La funci
on F (x, y, z) = x2 + y 2 s dene de manera global a C debido a
que
C = F 1 (R),
siendo R un valor regular.
De la ecuaci
on x2 + y 2 = R2 se puede obtener una funci
on del tipo
y = f (x, z) = R2 x2
que dene al semicilindro de C dado por y > 0. Sin embargo, el cilindro
i
i
Captulo 2. Superficies en R3
97
i
i
98
(a, 0)
R
z = R sen u,
i
i
Captulo 2. Superficies en R3
99
1 (
u0 , v0 ) = (u0 , v0 ).
Las transformaciones:
) 1 (U U
),
1 : 1 (U U
denotada por
u
=u
(u, v)
y
y v = v(u, v),
) 1 (U U
),
1 : 1 (U U
denotada mediante
u = u(
u, v)
y v = v(
u, v),
v
1
)
(U U
)
(U U
i
i
100
R2 u
,
u2 + v 2
R2 v
.
v = v(u, v) = 2
u + v2
u
= u
(u, v) =
Observese que u
y v son funciones diferenciables en R2 {0}.
i
i
Captulo 2. Superficies en R3
101
Rk
(u, v)
f (p) = h(u, v)
h=f
bles.
i
i
102
la cual es diferenciable.
2.3
El espacio tangente
En la secci
on 0.8 establecimos una diferencia entre cada punto p de R3 y
los vectores anclados en dicho punto, deniendo su espacio tangente Tp R3 .
Utilizaremos esta distincion para denir el espacio tangente a la supercie
S en un punto p.
Denici
on 2.25. Sea S una supercie en R3 y p S. El conjunto de
vectores anclados en p dado por
{ Tp R3 | existe : (, ) S, con (0) = p y (0)
= }
se llama el espacio tangente a S en p, y se le denota por Tp S.
As, Tp S es el conjunto de vectores tangentes a todas las curvas contenidas en la supercie S y que pasan por el punto p. Observe que, en
general, S y Tp S son dos conjuntos muy distintos y que la distinci
on entre los puntos de una supercie y los vectores tangentes es evidente. Como
habamos se
nalado con anterioridad, esta diferencia se obscurece en los casos
2
3
de R y R .
La denici
on 2.25 es adecuada para nuestros nes. Por desgracia, tiene
un defecto: A diferencia de Tp R2 o Tp R3 , no es claro de la denicion que Tp S
sea un espacio vectorial. La siguiente proposicion nos dice que Tp S es en
realidad un espacio vectorial, dado por la imagen de los vectores tangentes
al punto q bajo la diferencial dq de una parametrizaci
on. (Vease la
gura 2.16.)
Proposici
on 2.26. Sea : R2 S una parametrizaci
on de S en el
2
punto p = (q), q . Entonces la imagen de Tq R bajo dq es el espacio
tangente a S en p; es decir,
Tp S = dq (Tq R2 ).
Demostraci
on. Sea Tp S. Entonces existe una curva : J = (, ) S
tal que (0) = p y (0)
= .
i
i
Captulo 2. Superficies en R3
103
Tp S
v
p
e2
u
S
e1
(t)
= d(t) ((t)).
En consecuencia, si (0)
= Tq R2 , tenemos que dq () = , lo que dice
2
que esta en dq (Tq R ).
De manera recproca, sea dq (Tq R2 ). Entonces existe Tq R2 tal
que dq () = . Considerese ahora la recta (t) = q + t. Es claro que
(t)
= d(t) ((t)),
con lo que (0)
d
+ v v(t)
i
i
104
donde
, v =
.
u
v
Por lo tanto, si (0)
= u (q)u(0)
+ v (q)v(0).
u =
Esto dice que cualquier vector tangente se puede expresar como combinaci
on lineal de los vectores u (q) y v (q). Adem
as, el lector puede vericar
que u (q) y v (q) son linealmente independientes. De esta forma, Tp S es
un espacio vectorial real de dimensi
on 2, con una base dada por {u , v }q .
Ejemplo 2.27. Considerese la esfera S2R de radio R en R3 . La parametrizaci
on por coordenadas co-geogr
acas est
a dada por
(, ) = (R cos sen , R sen sen , R cos ),
de donde
= (R sen sen , R cos sen , 0),
= (R cos cos , R sen cos , R sen ).
La base del espacio tangente a S2R en el punto (/2, /2) = (0, R, 0)
est
a formada por los vectores
(/2, /2) = (0, 0, R),
i
i
Captulo 2. Superficies en R3
105
con (, ) (0, 2) R = .
Si q y p = (q), entonces
= (R senh sen , R senh cos , 0)
= (R cosh cos , R cosh sen , R senh )
lo que nos dice que
= a1 (q) + a2 (q)
= a1 R( senh sen , senh cos , 0)|q
+a2 R(cosh cos , cosh sen , senh )|q ,
es la expresi
on general para cada vector Tp L2 .
Ahora considerese el caso cuando la supercie S puede describirse localmente mediante una ecuacion de la forma
F (x, y, z) = 0.
Si (t) = (x(t), y(t), z(t)) es una curva sobre la supercie S se tiene que
0 = F ((t)) = F (x(t), y(t), z(t)),
de donde
0=
d
F
F
F
F (r(t)) =
x(t)
+
y(t)
+
z(t)
dt
x
y
z
Esto nos dice que el vector gradiente en el punto (t) dado por
F
F
F
F(t) =
((t)),
((t)),
((t))
x
y
z
y,
z)
es tangente a S en (t)
es normal al plano T(t) S, pues el vector (x,
por denici
on.
Si es cualquier vector tangente en Tp S, tenemos que Fp , = 0, que
es la forma vectorial de la ecuacion del plano tangente.
Ejemplo 2.29. Consideremos un cono C con vertice en el origen de cooron
denadas, denido en las coordenadas cartesianas de R3 por la ecuaci
z 2 x2 y 2 = 0.
i
i
106
La funci
on
F (x, y, z) = z 2 x2 y 2
dene al cono como la imagen inversa de 0: C = F 1 (0). El gradiente de
F es
F(x,y,z) = (2x, 2y, 2z),
que se anula en el punto vertice del cono (0, 0, 0). Esto dice que 0 no es un
valor regular de F . Adem
as, en el punto (0, 0, 0) del cono no est
a denido
el espacio tangente.
2.4
(t)
dt,
i
i
Captulo 2. Superficies en R3
107
= .
La curva se puede escribir, como ya lo hemos mencionado, de la forma
(t) = (u(t), v(t)) para alguna curva (u(t), v(t)) en .
Entonces, debido a que (0)
= u(0)
u + v(0)
v , tenemos que
2
= (0),
(0)
= u(0)
(0)
u + v(0)
v , u(0)
u + v(0)
v ,
se calcula mediante
2p = u(0)
2 u , u + 2u(0)
v(0)
2 v , v .
u , v + v(0)
Denotamos
E = u , u ,
F
= u , v = v , u ,
G = v , v ,
para escribir lo anterior como
2p = E u(0)
2 + 2F u(0)
v(0)
+ Gv(0)
2
E F
E F
u(0)
T
,
= (u(0)
v(0))
=
F G
F G
v(0)
En cursos m
as avanzados, donde se extienden estas ideas a ambientes m
as generales,
la primera forma fundamental tambien se suele llamar m
etrica riemanniana.
i
i
108
Observaci
on. Cuando se extiende el concepto de primera forma fundamental a ambientes de dimension mayor, se acostumbra denotar por (gij ) a
esta matriz de coecientes.
Para cada punto p en la imagen de la parametrizaci
on se obtiene una
matriz de la primera forma fundamental, lo que nos indica que en una
vecindad de tal punto se obtiene toda una familia de matrices. Cada matriz
dene un producto escalar en el espacio tangente correspondiente, heredado
por el producto escalar del espacio ambiente R3 .
A continuaci
on calcularemos las matrices de coecientes de la primera
forma fundamental para algunas supercies.
Ejemplo 2.31. Sea P un plano que contenga al punto q, paralelo a los
vectores ortonormales 1 y 2 . Entonces la transformaci
on : R2 P dada
por
(u, v) = q + u1 + v2
es una parametrizaci
on global de P . Para cada punto p P se cumple
u = 1 ,
v = 2 .
= u , v = 1 , 2 = 0,
G = v , v = 2 , 2 = 1.
Esto es, en cualquier punto la matriz de coecientes de la primera forma
fundamental en P es la identidad.
Ejemplo 2.32. El cilindro circular recto C se dene en terminos de la
ecuaci
on x2 + y 2 = 1, con z arbitrario.
Una parametrizaci
on local est
a dada por (u, v) = (cos u, sen u, v) donde
u (0, 2), v R.
Un c
alculo directo prueba que en el punto p = (u, v) tenemos una base
de Tp C formada por los vectores
u = ( sen u, cos u, 0),
v = (0, 0, 1).
i
i
Captulo 2. Superficies en R3
109
= u , v = 0,
G = v , v = 1.
Como en el ejemplo anterior, se tiene que la matriz de coecientes en
cada punto de C es igual a la identidad.
Ejemplo 2.33. Considerese a la esfera S2R , parametrizada localmente por
las coordenadas co-geogr
acas (, ).
Se ha obtenido ya que
= (R sen sen , R cos sen , 0),
= (R cos cos , R sen cos , R sen ),
de modo que
E = , = R2 sen2 ,
F
= , = 0,
G = , = R2 ,
son los coecientes de la primera forma fundamental de S2R en el punto
(, ).
Ejemplo 2.34. Consideremos ahora una supercie de revoluci
on S R3
obtenida al hacer girar alrededor del eje z una curva parametrizada por
x = f (u) y z = g(u), u (a, b), la cual no interseca a tal eje.
Una parametrizaci
on local de S est
a dada por
(u, v) = (f (u) cos v, f (u) sen v, g(u)),
con (u, v) = (a, b) (0, 2).
De esta forma, si calculamos la base de Tp S para cualquier punto p S
se tiene
u = (f (u) cos v, f (u) sen v, g (u)),
v = (f (u) sen v, f (u) cos v, 0),
i
i
110
ngulos en superficies
2.5. Longitud y a
G = v , v = f (u)2 .
Para ilustrar esto, en el caso del toro T 2 se tienen las funciones
f (u) = a + R cos u
g(u) = R sen u,
para la parametrizaci
on en cuesti
on.
2.5
Longitud y
angulos en supercies
=
(t),
(t)dt.
=
a
(Vease la gura 2.17.) Como (t) = (u(t), v(t)) entonces tenemos que
+ v v(t),
u u(t)
+ v v(t)
(t),
(t)
= u u(t)
v(t)
+ v , v v 2 (t)
= u , u u 2 (t) + 2u , v u(t)
v(t)
+ Gv 2 (t),
= E u 2 (t) + 2F u(t)
lo que implica que, desde el punto de vista de la supercie, la longitud se
calcula por
b
E u 2 (t) + 2F u(t)
v(t)
+ Gv 2 (t) dt
=
a
i
i
Captulo 2. Superficies en R3
111
Al estilo del calculo, usaremos la notacion de las diferenciales para escribir de otra manera la expresi
on anterior. Recordemos que u = du/dt y
v = dv/dt y escribamos
2
du
du2
= 2,
dt
dt
y de manera similar para dv/dt, de modo que
E u 2 (t) + 2F u(t)
v(t)
+ Gv 2 (t) dt = E du2 + 2F du dv + G dv 2 ;
denotaremos por ds2 a la expresi
on dentro de la raz3 y la usaremos como
otra notaci
on para la primera forma fundamental; as,
ds2 = E du2 + 2F du dv + G dv 2 ;
o bien, en forma matricial,
2
ds = (du dv)
E F
F G
du
dv
.
Observaci
on. En cursos m
as avanzados se da un signicado formal a
expresiones como du o dv. Por el momento, usaremos estas notaciones solo
de una manera intuitiva.
Ejemplo 2.35. Consideremos los siguientes ejemplos ya conocidos, con la
notaci
on dada.
a. Para el plano P y la parametrizaci
on (u, v) = q + u1 + v2 , la
primera forma fundamental se escribe
ds2 = du2 + dv 2 .
b. Para el cilindro circular recto en coordenadas (u, v), la primera forma
fundamental se escribe
ds2 = du2 + dv 2 .
3
i
i
112
ngulos en superficies
2.5. Longitud y a
(a)
(t)
(t)
S
(b)
i
i
Captulo 2. Superficies en R3
113
Area
de regiones
2.6
u du v dv
e2 dv
u du
v dv
e1 du
S
u
i
i
2.6. Area
de regiones
114
Denici
on 2.36. Denimos el
area de la regi
on R S como
Area
(R) =
u v du dv.
Observaci
on. Si denota el angulo que forman los vectores tangentes
b
asicos u y v , entonces
u v 2 = u 2 v 2 sen2 = u 2 v 2 (1 cos2 )
= u 2 v 2 u 2 v 2 cos2
= u , u v , v u , v 2
E F
2
,
= EG F =
F G
de donde se obtiene
u v =
EG F 2 .
Area (R) =
EG F 2 du dv.
EG F 2 = R2 (a + R cos u)2
i
i
Captulo 2. Superficies en R3
115
y calculamos el a
rea de ( ). Despues calculamos el lmite cuando 0
para obtener el a
rea del toro. Esto es, consideramos
2 2
EG F 2 du dv =
R2 (a + R cos u)2 du dv.
Ya que s
olo un meridiano y un paralelo no son cubiertos por la parametrizaci
on y este conjunto tiene a
rea cero en el toro, se sigue que
Area
(T 2 ) = lim
EG F 2 du dv
0
de modo que el a
rea del toro es 4 2 aR.
Area
(S2R ) =
R4 sen2 d d = 2 R2
sen d = 4R2 ,
0
2.7
Supercies isom
etricas
Uno de los principales problemas en la matematica es la clasicacion de objetos que tienen las mismas caractersticas: algebraicas, topologicas, metricas,
etcetera.
El problema de clasicaci
on de las supercies de acuerdo con sus propiedades metricas se resuelve a traves de la idea de isometra.
i
i
116
tricas
2.7. Superficies isome
Denici
on 2.39. Sean S1 , S2 R3 dos supercies regulares.
a. Una transformaci
on f : S1 S2 es una isometra entre las supercies
S1 y S2 si y solo si f es un difeomorsmo tal que para todo p S1
y cualquier pareja de vectores 1 , 2 en el espacio tangente Tp S1 es
v
alida la igualdad
1 , 2 p = dfp (1 ), dfp (2 )f (p) .
S1 y S2 son (globalmente) isom
etricas si y solo si existe una
isometra f : S1 S2 .
b. Una transformaci
on f : S1 S2 es una isometra local en p S1 si
y solo si existe una vecindad U de p en S1 tal que f |U : U f (U ) es
una isometra. f es una isometra local si y solo si f es una isometra
local en p para todo p S1 .
etricas si y solo si existen isometras
S1 y S2 son localmente isom
locales f : S1 S2 y g : S2 S1 .
Desde el punto de vista geometrico, la denici
on de isometra (local o
global) nos habla de la preservaci
on del producto escalar en Tp S1 bajo la
diferencial de dfp al tangente Tf (p) S2 . Ademas, la relaci
on ser isometricas
es una relacion de equivalencia en el conjunto de supercies, como se puede
vericar en forma directa.
Observaci
on. Veamos que ocurre en terminos matriciales. Si 1 : 1
U1 S1 y 2 : 2 U2 S2 son parametrizaciones locales de las supercies S1 y S2 , de modo que
F
E F
E
y G2 =
G1 =
F G
F G
son las primeras formas fundamentales correspondientes en U1 y U2 y
f
A=
x p
es la matriz jacobiana de una transformaci
on f : S1 S2 , entonces f es
una isometra en p si y solo si
E F
, p = T
F G
i
i
Captulo 2. Superficies en R3
117
es igual a
F
E
= dfp ()
dfp ()
F G
T
F
f
f
E
T
F G
x p
x p
E F
F G
f
x
T
p
F
E
F G
f
x
= AT G 2 A
p
es valida en p.
Supongamos que S1 y S2 son localmente isometricas y sea f : U1 U2 =
f (U1 ) S2 una isometra local alrededor del punto p S1 . Supongamos
ademas que : U1 es una parametrizacion de U1 con coordenadas
(u, v). La composicion
= f : U2
es una nueva parametrizacion de la vecindad U2 del punto q = f (p), con las
coordenadas (u, v). En otras palabras, f hace corresponder al punto en U1
con coordenadas (u, v) el punto en U2 con las mismas coordenadas. Para
a entonces que
que se preserve el producto escalar en Tq S2 , bastar
F
E
F G
E F
F G
i
i
118
tricas
2.7. Superficies isome
E = E,
Hemos demostrado el siguiente resultado importante.
Teorema 2.40. Con la notaci
on anterior, las siguientes armaciones son
equivalentes:
a. f es una isometra local.
F = F y G = G.
b. E = E,
c. (1 ) = (f 1 ) para toda curva 1 .
De aqu se desprende el siguiente resultado.
Corolario 2.41. Suponga que existen parametrizaciones de S1 y S2 denidas en una misma regi
on dadas por
1 : S1 ,
2 : S2 ,
tales que en las coordenadas (u, v) los coecientes de las primeras formas
F = F y G = G.
i
i
Captulo 2. Superficies en R3
119
q
p
p
i
i
120
tricas
2.7. Superficies isome
R3 , donde
1 (u, v) = (a cosh v cos u, a cosh v sen u, av)
y siendo a > 0. (Vease la gura 2.20.) Se tiene entonces
(1 )u = (a cosh v sen u, a cosh v cos u, 0)
(1 )v = (a senh v cos u, a senh v sen u, a)
Los coecientes de la primera forma fundamental son
E = (1 )u , (1 )u = a2 cosh2 v,
F
= F = (1 )u , (1 )v = 0,
G = (1 )v , (1 )v = a2 cosh2 v.
i
i
Captulo 2. Superficies en R3
121
)
0
Dh(u,v) =
=
0 a cosh v
D(u, v)
= a cosh v > 0.
i
i
122
2.8
Supercies conformes
M
as adelante introduciremos un criterio para decidir, con relativa facilidad,
si dos supercies son isometricas. Sin embargo, tambien veremos que la
exigencia de una transformaci
on que preserve distancias y angulos es muy
fuerte. En esta seccion reducimos el an
alisis al caso de las transformaciones
que preservan angulos y mencionamos un importante resultado en este sentido. Para esto necesitamos algunas deniciones.
Denici
on 2.44. Sean S1 y S2 R3 dos supercies diferenciables.
1. Una transformacion f : S1 S2 es una aplicaci
on conforme entre
las supercies S1 y S2 si y solo si f es un difeomorsmo y existe una
funci
on : S1 R positiva y diferenciable tal que
dfp (1 ), dfp (2 )f (p) = (p)1 , 2 p
para todo p S1 y cualesquiera 1 , 2 Tp S1 .
S1 y S2 son (globalmente) conformes o conformemente equivalentes si y solo si existe una aplicacion conforme f : S1 S2 .
2. Una transformaci
on f : S1 S2 es una aplicaci
on conforme local
en p S1 si y solo si existe una vecindad U de p en S1 tal que
f |U : U f (U ) es una aplicacion conforme. f es una aplicaci
on
conforme local si y solo si f es una aplicacion conforme local en p
para todo p S1 .
S1 y S2 son localmente conformes o localmente conformemente
equivalentes si y solo si existen aplicaciones conformes locales f :
S1 S 2 y g : S 2 S1 .
Es claro que la relaci
on ser conformes es una relacion de equivalencia
entre las supercies.
El siguiente lema es un resultado que puede ser probado de igual forma
que el teorema 2.40.
Lema 2.45. Una condici
on necesaria y suciente para que dos supercies
S1 y S2 sean localmente conformes es la existencia de parametrizaciones
1 : S1 , 2 : S2 , R2 , tales que los coecientes de las
i
i
Captulo 2. Superficies en R3
123
E(p) = (p)E(p),
G(p) = (p)G(p),
para cada p en .
Observemos que una aplicaci
on conforme f : S1 S2 preserva el angulo
entre vectores. De manera concreta, sean 1 , 2 Tp S1 , el angulo entre los
vectores dados y el angulo entre los vectores imagenes dfp (1 ) y dfp (2 ).
Entonces,
cos =
dfp (1 ), dfp (2 )
dfp (1 ) dfp (2 )
(p)dfp (1 ), dfp (2 )
(p)dfp (1 ) (p)dfp (2 )
1 , 2 p
= cos .
1 p 2 p
Denici
on 2.46. Sea (u, v) un sistema de coordenadas en la supercie S
tal que la primera forma fundamental en S es conformemente equivalente
a la euclidiana. Esto es, al considerar la parametrizaci
on : S con
coordenadas (u, v), la primera forma fundamental en S toma la forma
ds2 = (u, v)(du2 + dv 2 ).
donde = (u, v) es una funci
on positiva. Tales coordenadas (u, v) se llamar
an isotermas y la primera forma fundamental se dice conformemente
plana.
Ejemplo 2.47. En el ejemplo 2.43 se mostr
o que la catenoide con la parametrizaci
on
(u, v) = (a senh v cos u, a senh v sen u, au)
en las coordenadas (u, v) (0, 2) R tiene la primera forma fundamental
2
0
a cosh2 v
= (a2 cosh2 v)(ij ),
0
a2 cosh2 v
conforme con la primera forma fundamental euclidiana (ij ).
i
i
124
r = R cot
,
= ,
2
con inversa denida mediante las ecuaciones
r
= 2 arccot
,
= .
R
PN
(, )
R
(r, )
/2
r
R
2rR
sen
= 2
sen = 2 cos
= 2
.
2
2
2
2
2
2
R + r2
R +r
R +r
Por otro lado, un c
alculo directo prueba que
d =
2Rdr
R2 + r 2
i
i
Captulo 2. Superficies en R3
lo que implica que
ds2 = R2 (d2 + sen2 d2 ) = R2
=
4R4 r 2
(dr2
(R2 +r2 )2
+ r2 d2 ).
4R2 dr2
(R2 +r 2 )2
125
4R2
d2
(R2 +r2 )2
4R4
(dx2 + dy 2 )
(R2 + x2 + y 2 )2
y esta es una primera forma fundamental conforme para la esfera.
ds2 =
El siguiente resultado nos dice que si S R3 admite una parametrizacion con funciones analticas4 , entonces S es localmente conforme al
plano euclidiano. Este teorema tiene una extensi
on para el caso C , pero
la demostraci
on es mas elaborada.
Teorema 2.49 (de Bers-Beltrami). Toda supercie S R3 regular dotada
de una primera forma fundamental analtica admite una reparametrizaci
on
por coordenadas isotermas. Esto es, existe una parametrizaci
on de S por
coordenadas (u, v), tal que en estas coordenadas la primera forma fundamental se escribe
ds2 = (u, v)(du2 + dv 2 ).
i
i
126
Demostraci
on. Sea
(
u, v) = (x(
u, v), y(
u, v), z(
u, v))
una parametrizaci
on arbitraria. En estas coordenadas, la primera forma
fundamental se escribe como
ds2 = E d
u2 + 2F d
u d
v + G d
v2.
F +i g
F i g
2
ds =
d
v
d
v .
E d
u+
E d
u+
E
E
Ya que el conjugado complejo del primer factor
F +i g
d
v
E d
u+
E
es el otro factor, entonces se busca una funci
on analtica f (u, v) con valores
complejos tal que se satisfagan las ecuaciones diferenciales ordinarias
F +i g
f (u, v)
E d
u + E d
v = du + i dv,
(2.2)
F i g
E d
u + E d
v = du i dv,
f(u, v)
de modo que al multiplicar los terminos de cada lado, tengamos
|f (u, v)|2 ds2 = du2 + dv 2 ;
es decir,
i
i
Captulo 2. Superficies en R3
127
F +i g
u
u
v
v
d
u+
d
v
d
v =
Ed
u+
f (u, v)
+i
+i
u
v
E
Al desarrollar e igualar los coecientes de d
u y d
v , se debe cumplir
u
v
f (u, v) E =
+i
u
F +i g
u
v
=
f (u, v)
+i .
v
E
Al despejar a f e igualar los resultados se obtiene la ecuacion
u
u
v
v
=E
.
(F + i g)
+i
+i
u
v
Al comparar la parte real e imaginaria de la u
ltima ecuaci
on se llega al par
de igualdades
u v
u
g
= E
u
v
v
v
u
g
+F
= E .
u
v
De la primera ecuacion se obtiene
u
1
u
v
F
,
=
E
u
g
u
v
F
E
F u
v
1 u
1 u
v
=
g
g
=
+F
+ F u v
v
E
u
E
u
g
2 u EF u
1 g u
1 u F 2 uu EF u
v
u
+ F u
v
g
+
=
=
E
u
g
E
g
u
2 u EF u
1 (EG F 2 ) u
1 EG u
u
+ F u
v
u
EF
v
=
=
E
g
E
g
=
u
G u
u
F
v
.
i
i
128
G u F u
v
= u v
v
g
E v F v
u
= u v ,
u
F v G v
u
= v u .
v
g
v u
u
v
y del primer par de ecuaciones, se tiene
v
v
0 =
v u
u
v
#
$
#
$
u
u
u
F u E v
G u
u
F
v
=
v
g
u
g
$
#
$
#
F
F u E
v
v G u
+
(u)
=
v
g
u
g
De manera an
aloga, de la igualdad
u
u
=
v u
u
v
y el segundo par de ecuaciones se concluye que
#
$
#
$
F u E
F
v
v G u
0=
+
(v).
v
g
u
g
De esta forma, las funciones u = u(
u, v), v = v(
u, v) deber
an satisfacer
las ecuaciones diferenciales parciales L(u) 0 y L(v) 0, donde
$
$
#
#
G
F u E
v
u
v
L=
+
,
v
u
EG F 2
EG F 2
i
i
Captulo 2. Superficies en R3
129
E u
se obtiene el factor integrante f , y de all la funci
on buscada
(u, v) =
1
,
f (u, v)2
2.9
Ejercicios
x2 y 2 z 2
+ 2 + 2 = 1,
a2
b
c
mediante coordenadas esfericas.
x2 y 2
2,
a2
b
i
i
130
2.9. Ejercicios
(c) El paraboloide elptico
z=
x2 y 2
+ 2,
a2
b
sen2 s + b2 cos2 s.
i
i
Captulo 2. Superficies en R3
131
es constante. Este
es un caso particular de una propiedad general
de las supercies de revolucion llamada relaci
on de Clairaut.
6. Dada la esfera S2R de radio R con centro en (0, 0, 0) con coordenadas
espaciales x1 , x2 , x3 , considere las seis cartas en la esfera {(Ui , i )},
i = 1, 2, 3, dadas por las regiones
Ui+ = {(x1 , x2 , x3 ) S2R : xi > 0},
Ui = {(x1 , x2 , x3 ) S2R : xi < 0},
y por las proyecciones canonicas
i+ : Ui+ Vi ,
i : Ui Vi ,
de cada Ui en Vi , el disco de radio R en el plano cuyas coordenadas no
incluyen a la coordenada xi . Cada i esta dada por i (x1 , x2 , x3 ) =
(xi1 , xi+i ), omitiendo la mencionada coordenada (vease el ejemplo
2.18).
Demuestre que {(Ui , i )} provee de un atlas diferenciable a S2R y que
le hace una supercie diferenciable.
7. Halle las ecuaciones del plano tangente y la recta normal a la supercie
S en el punto dado.
(a) El paraboloide hiperb
olico dado por
(u, v) = (u, v, u2 v 2 ),
en el punto (u, v) = (1, 1),
i
i
132
2.9. Ejercicios
(b) El helicoide dado por
(v cos u, v sen u, u),
en el punto (u, v) = (/2, 1).
(c) La supercie de Enneper, dada por
u3
v3
+ uv 2 , v
+ vu2 , u2 v 2 ,
(u, v) = u
3
3
en el punto (u, v) = (1, 1).
(d) El elipsoide F 1 (0), donde
F (x, y, z) = 3x2 + 6y 2 + 3z 12,
en el punto (1, 1, 1).
(e) El hiperboloide F 1 (0), donde
F (x, y, z) = x2 y 2 z 2 + 1,
en el punto (1, 1, 1).
F
x , Fy
Fx2
,
Fz2
F
y
F =
Fx F y
,
Fz2
G=1+
y suponemos que Fz =
Fy2
Fz2
F
z
= 0.
i
i
Captulo 2. Superficies en R3
133
y .
11. Sea S una supercie cuyos coecientes de la primera forma fundamental con respecto de una parametrizaci
on (u, v) son
E(u, v) = 1,
F = 0,
G(u, v) = senh2 u,
0 z 3.
i
i
134
2.9. Ejercicios
17. Demuestre que el conjunto de isometras de una supercie diferenciable es un grupo bajo la composici
on.
18. (a) Si f : R3 R3 es una isometra y S R3 es una supercie
diferenciable tal que f (S) S, demuestre que la restriccion f :
S S es una isometra.
(b) Demuestre que el grupo de isometras de la esfera unitaria S2 esta
contenido en el grupo ortogonal O(3).
(c) Demuestre que toda rotacion a lo largo del eje de una supercie
de revoluci
on S es una isometra de S.
19. Un difeomorsmo f : S S preserva el area si y solo si para toda
region R S se cumple que el area de R es igual al area de su imagen.
Demuestre que un difeomorsmo conforme que preserva area es una
isometra.
20. La denici
on 2.4 se puede extender a conjuntos que sean subconjuntos
omo se
de R3 . En este ejercicio daremos un ejemplo y la idea de c
realiza esta extension.
Consideremos la siguiente relacion entre puntos de la esfera unitaria
acil ver que es una
S2 : p q si y solo si p = q o p = q. Es f
relacion de equivalencia. Las clases de equivalencia bajo forman un
conjunto llamado el plano proyectivo real, denotado por RP 2 . Sea
: S2 RP 2 la transformaci
on que a cada p S2 le asocia su clase
de equivalencia.
Demuestre primero que cada p S2 posee una vecindad U tal que
|U : U (U ) es biyectiva. Luego, sean i : i U , i = 1, 2, dos
parametrizaciones de tal vecindad U . Muestre que 1
2 1 : 1 2
es diferenciable. (As, las transformaciones i de este tipo se pueden
considerar como parametrizaciones de (U ).)
21. Una generalizaci
on del lema 2.12 nos dir
a que: Si F : RN R es una
funci
on diferenciable y R es un valor regular en el sentido que
todo p F 1 () tiene un gradiente no nulo, entonces F 1 () es una
supercie diferenciable en RN de dimensi
on N 1.
Utilice este resultado para demostrar que SL(n, R) es una supercie
contenida en GL(n, R) y que tiene dimension n2 1.
i
i
Captulo 3
En este captulo iniciamos el estudio de la geometra intrnseca de una supercie mediante su caracterstica geometrica fundamental: la curvatura.
Deniremos la curvatura de una supercie en cada punto a traves de dos invariantes, la primera forma fundamental (denida en el captulo anterior) y
la segunda forma fundamental, las cuales nos dar
an toda la informaci
on sobre el comportamiento geometrico de la supercie en una vecindad del punto
dado. M
as adelante probaremos que en realidad la curvatura depende s
olo
de la primera forma fundamental.
3.1
Curvatura para gr
acas de funciones
i
i
136
ficas de funciones
3.1. Curvatura para gra
1 + 2
.
2
i
i
137
p
a.
b.
c.
i
i
138
ficas de funciones
3.1. Curvatura para gra
p
p
Punto parab
olico
Punto plano
i
i
139
3.2
Orientaci
on
U
p
i
i
140
n
3.2. Orientacio
(
u, v), entonces el plano tangente Tp S esta generado en forma simult
anea
por las bases
{u , v } y {
u ,
v }.
, de modo
:
Si consideramos el cambio de coordenadas 1
que (u, v) = (u(
u, v), v(
u, v)), estas bases estan relacionadas de la manera
siguiente:
u
v
+ v ,
u = u
u
u
v
+ v ,
v = u
v
o en forma matricial,
u v
u
u
u
=
.
u
v
v
v
i
i
141
Lema 3.3. Sea S R3 una supercie diferenciable que puede ser cubierta
, ).
S es un conjunto
con s
olo dos parametrizaciones (U, ) y (U
Si U U
conexo, entonces S es orientable.
Demostraci
on. Sean (u, v) las coordenadas dadas por (U, ) y (
u, v) las
, ).
el cambio de coordenadas
dadas por (U
Para todo punto p W = U U
(
u, v) (u, v) satisface que
D(u, v)
(p)
= 0.
D(
u, v)
Como W es conexo se tiene que
D(u, v)
>0
D(
u, v)
D(u, v)
< 0.
D(
u, v)
u v
.
u v
i
i
142
n
3.2. Orientacio
=C
U U
= S2
U U
U U
U U
a.
b.
u
+ v
u
+ v
= u v
,
v = u
u
v
D(
u, v)
lo que implica que los normales correspondientes en el punto p se relacionan
por la f
ormula
u
v
u v
D(u, v)
(p) =
N
= N (p).
(3.2)
=
signo
u
v
u v
D(
u, v)
i
i
143
En una supercie orientable se tienen cambios de coordenadas con jacobianos positivos. Estos cambios no afectan la denici
on de un vector normal
(p) = N (p).
n. Por lo tanto, N
El siguiente teorema provee de una gran cantidad de ejemplos de supercies diferenciables que admiten una orientaci
on.
olo
Teorema 3.6. Una supercie diferenciable S R3 es orientable si y s
si la aplicaci
on de Gauss N : S S2 es diferenciable y est
a denida en
toda la supercie S.
Demostraci
on. Demostramos primero la suciencia. Supongamos que la
aplicacion de Gauss N : S S2 es diferenciable y esta denida en S.
Considerese una familia de parametrizaciones {(Ui , i )} que cubra a S y
sea : U un elemento de esta familia. Sin perdida de generalidad,
podemos suponer que es conexo y que para todo punto p ,
N (p) =
u v
(p),
u v
u v
(p)
u v
i
i
144
n
3.2. Orientacio
Fp
;
Fp
1
Fx2 (p) + Fy2 (p) + Fz2 (p)
on F .
donde Fx , Fy , Fz denotan a las derivadas parciales de la funci
Ahora mostramos que existen supercies diferenciables contenidas en R3
que no son orientables. Aunque el ejemplo de supercie dado se dene como
un espacio de identicaci
on, se menciona la idea de su no orientabilidad. En
la lista de ejercicios del captulo se propone la prueba pertinente.
i
i
145
a
(2, t)
b
b
b
(0, t)
a
c
c
c = c
N
b = b
a = a
i
i
146
3.3
u v
(q)
||u v
= u u(t)
+ v v(t).
Por lo tanto,
(t)
= uu u(t)
2 + uv u(t)
v(t)
+ u u
(t)
v(t)
+ vv v(t)
2 + v v(t)
+ vu u(t)
2 + 2uv u(t)
v(t)
+ vv v(t)
2 + u u
(t) + v v(t).
= uu u(t)
Recordemos que la curvatura de una curva es una medida de cu
anto
se aparta la curva de su recta tangente. Para el caso de las supercies
podemos establecer una situacion an
aloga: Para ver cu
anto se aparta una
supercie de su plano tangente, es necesario analizar la variaci
on de sus
vectores tangentes (t).
y
midiendo su proyecci
on (t),
i
i
147
= uv , N = vu , N ,
g = vv , N .
Podemos ver entonces a la proyeccion de (t)
en el vector N como una
forma cuadr
atica denida en cada punto de la regi
on parametrizada por
en la supercie diferenciable S. Esto es, en cada punto tenemos una matriz
simetrica
e f
B=
(3.3)
f g
y denimos una forma que aplicada en un vector tangente r(0)
= satisface
T B = , B .
Denici
on 3.10. La forma cuadr
atica , B denida por la matriz (3.3)
se llama la segunda forma fundamental de la supercie S en el punto p.
Observaci
on. Como en el caso de la primera forma, hemos utilizado los
smbolos cl
asicos para los coecientes de la segunda forma fundamental.
En el caso de las extensiones de este concepto a ambientes con dimension
mayor, se acostumbra denotar a la matriz de la segunda forma por (bij ).
Ejemplo 3.11. Calcularemos la segunda forma fundamental para la esfera
S2R , parametrizada por las coordenadas co-geogr
acas
(, ) = (R cos sen , R sen sen , R cos ).
Los vectores b
asicos en el punto (, ) son
= (R sen sen , R cos sen , 0),
= (R cos cos , R sen cos , R sen ).
i
i
148
Un c
alculo directo prueba que
= (R2 cos sen2 , R2 sen sen2 , R2 sen cos )
con lo que
= R2 sen .
= , N = 0,
g = , N = R,
son los coecientes de la segunda forma fundamental.
i
i
149
= vv , N = 0,
g = vv , N = 0,
son los coecientes de la segunda forma fundamental para C.
3.4
A continuaci
on relacionamos las formas fundamentales de una supercie
con el concepto de curvatura. Utilizaremos para ello la metodologa de las
curvaturas normales debida a L. Euler.
Consideremos una supercie S R3 y un punto p S. Sea una curva
que pasa por p y que se obtiene al cortar a la supercie S con un plano P
que contiene al normal N (p) a S en p. Diremos entonces que la curva es
una secci
on normal a S en p. (Vease la gura 3.6.)
Localmente, si : S es una parametrizacion de S alrededor de p
con coordenadas (u, v), la curva se puede escribir como (t) = (u(t), v(t)),
de modo que su vector tangente es u
u + v
v . Ademas, podemos suponer
que t es el par
ametro de longitud de arco.
Teorema 3.13 (de Euler). Sean p un punto de una supercie S y (t) =
(u(t), v(t)) una secci
on normal a S en p, parametrizada por longitud de
arco t. Salvo el signo, la curvatura k de esta curva coincide con la segunda
forma fundamental aplicada al vector tangente u
u + v
v . Es decir,
k = eu 2 + 2f u v + g v 2 .
i
i
150
N (p)
p
i
i
151
N (p)
p
1
2
i
i
152
e f
E F
f g F G =0
i
i
153
Como
x = (1, 0, fx ),
y = (0, 1, fy ),
se tiene que
E = x , x = 1,
F
= x , y = fx fy ,
G = y , y = 1.
De esta forma, la matriz de coecientes de la primera forma fundamental
en el punto p = (x0 , y0 , f (x0 , y0 )) S es
1
fx fy
.
fx fy
1
Adem
as, al calcular las segundas derivadas, se obtiene
xx = (0, 0, fxx ),
xy = (0, 0, fxy ),
yy = (0, 0, fyy ),
y tambien
x y = (fx , fy , 1)
de donde
N=
x y
(fx , fy , 1)
="
.
x y
1 + fx2 + fy2
fxx
1 + fx2 + fy2
= xy , n = "
fxy
g = yy , n = "
fyy
1 + fx2 + fy2
1 + fx2 + fy2
i
i
154
y 2 = 21 e1 + 22 e2 .
M
as a
un, su producto escalar 1 , 2 G se calcula con facilidad mediante
1 , 2 G = G1 , 2 = G2 , 1
debido a que
1 , 2 G = 2T G1 = 1T G2 .
Lema 3.17. Los vectores propios 1 y 2 son ortogonales con respecto de
, G cuando los valores propios 1 y 2 son diferentes.
Demostraci
on. 1 y 2 satisfacen las ecuaciones vectoriales
(B 1 G)1 = 0
(B 2 G)2 = 0.
(B 2 G)2 , 1 = 0
B2 , 1 2 G2 , 1 = 0
i
i
155
La siguiente denici
on clasica los puntos de una supercie diferenciable
orientable.
Denici
on 3.18. Sean 1 y 2 los valores propios asociados a la pareja
(G, B) en el punto p S. Entonces:
a. p es un punto elptico si y solo si 1 2 > 0.
b. p es un punto hiperb
olico si y solo si 1 2 < 0.
c. p es un punto parab
olico si y solo si 1 2 = 0 y al menos un i
= 0.
d. p es un punto plano si y solo si 1 = 2 = 0.
e. p es un punto umblico si y solo si 1 = 2 .
La gura 3.8 ilustra los tipos de puntos de la denici
on 3.18.
Elptico
Parab
olico
Hiperb
olico
Plano
Hiperb
olico
Parab
olico
Elptico
i
i
156
i
i
157
Un c
alculo directo prueba que en estas coordenadas
1 0
0 0
G=
y B=
.
0 1
0 0
De aqu que los valores propios asociados a (G, B) sean iguales a cero.
Por lo tanto, todo punto p en un plano es umblico y plano.
El siguiente resultado puede verse como el puente entre el algebra lineal
y la geometra de las supercies.
Teorema 3.22. Sean p un punto no umblico de una supercie S y 1 ,
2 , con 1 2 , los valores propios asociados a la pareja (G, B) de formas
axima y
fundamentales de S en p. Entonces 1 y 2 son las curvaturas m
mnima respectivamente, al considerar todas las secciones normales en p.
Demostraci
on. Supongamos que alrededor del punto p = (x0 , y0 , z0 ) la supercie S se puede escribir como la graca de una funci
on z = f (x, y), con
z0 = f (x0 , y0 ). Supongamos adem
as que (x0 , y0 ) es un punto crtico de f .
El caso general se obtiene mediante la aplicacion de una isometra en R3
(rotaci
on de la supercie y traslaci
on) para que la supercie en cuesti
on
quede en la posicion del caso estudiado.
ultiplo de la identidad, y es claro que
Si 1 = 2 , entonces B es un m
podemos encontrar una base ortonormal de vectores propios.
Por otro lado, si los valores propios de B son distintos, el lema 3.17
garantiza que los vectores propios asociados a la segunda forma fundamental B son ortogonales en la forma usual, pues G es la forma fundamental
euclidiana.
De esta forma, podemos aplicar una rotaci
on alrededor del punto (x0 , y0 )
para reemplazar el sistema de coordenadas (x, y) por un sistema de coordenadas nuevo (u, v) donde la segunda forma fundamental de f en (x0 , y0 )
tome la forma
1 0
.
0 2
Por el teorema 3.13, una secci
on normal (u(t), v(t), z(t)), con par
ametro de
longitud de arco t, que pasa por el punto (x0 , y0 , z0 ) tiene una curvatura
dada por
2 + 2 v(0)
2.
kn = 1 u(0)
i
i
158
Aqu, = (u(0),
v(0),
+ v(0)
2 = 1, el angulo entre y el eje nuevo u
satisface las relaciones trigonometricas
2,
cos2 = u(0)
sen2 = v(0)
2.
1 + 2
2
i
i
159
eg f 2
det B
=
.
EG F 2
det G
Demostraci
on. Las curvaturas principales 1 y 2 son los valores propios
asociados a la pareja (G, B); es decir, son races del polinomio
det(B G) = 0.
Como G es denida positiva, entonces es invertible y se cumple la igualdad
det(B G) = det(GG1 B G) = det(G) det(G1 B I).
Ya que det(B G) = 0 y det(G)
= 0 entonces
det(G1 B I) = 0.
Esto nos dice que 1 y 2 tambien son valores propios de la matriz
G1 B. De esta forma, existe un cambio lineal de coordenadas en el plano
que lleva la matriz G1 B en una matriz diagonal
1 0
0 2
con el mismo determinante que G1 B.
Por lo tanto,
K = 1 2 = det(G1 B) =
det B
,
det G
i
i
160
det B
0
= = 0.
det G
1
Esto es, la curvatura gaussiana del cilindro es igual a cero para cualquier
punto.
Ejemplo 3.26. Para cualquier punto p S2R expresado con coordenadas
co-geogr
acas se tiene que
2
R sen2 0
= R4 sen2
det G =
0
R2
y
R sen2 0
det B =
0
R
= R2 sen2 ,
det B
R2 sen2
1
= 4
= 2
2
det G
R sen
R
3.5
Este
es uno de los resultados mas importantes de la geometra diferencial,
ademas de que nos da un invariante metrico de una supercie.
Sea S R3 una supercie regular orientable, parametrizada por :
R3 . Recordemos que localmente podemos denir un vector ortogonal
al plano Tp S dado por
N (p) =
u v
(p).
u v
En la denici
on 3.5 llamamos a la transformaci
on N : S S2 que asocia a
cada punto p () el vector normal N (p) unitario dado por la expresi
on
anterior la aplicaci
on de Gauss de S.
i
i
161
N (p)
N (p)
S
TN (p) S2
Tp S
S2
(3.4)
Lema 3.27. Los coecientes del sistema (3.4) se calculan mediante las
ecuaciones de Weingarten
a11 =
f F eG
,
EGF 2
a12 =
eF f E
,
EGF 2
a21 =
gF f G
,
EGF 2
a22 =
f F gE
.
EGF 2
(3.5)
Demostraci
on. Al derivar las relaciones de ortogonalidad
u , N = 0
y v , N = 0
i
i
162
es decir,
e = a11 E + a12 F,
f
= a11 F + a12 G.
F f Ge
EG F 2
y a12 =
F e Ef
EG F 2
De forma an
aloga se calculan a21 y a22 .
Ahora consideremos las derivadas de los vectores u , v y N . Como el
conjunto {u , v , N } es una base de Tp R3 , entonces
uu = 111 u + 211 v + L1 N
uv = 112 u + 212 v + L2 N
vu = 121 u + 221 v + L2 N
(3.6)
vv = 122 u + 222 v + L3 N
para alguna familia de n
umeros {kij }, i, j, k = 1, 2, y L1 , L2 , L2 y L3 . Estos
escalares son los coecientes de los vectores derivadas de {u , v , N } en la
base {u , v , N } de Tp R3 .
i
i
163
Denici
on 3.28. {kij } son los smbolos o coecientes de Christoel
de las derivadas de u y v , en la base {u , v , N }.
Observaci
on. Como es diferenciable (por tanto al menos de clase C 2 ),
se tiene que uv = vu , de donde
112 = 121
212 = 221 ;
g = vv , N = L3 N, N = L3 .
Procedemos ahora a calcular los smbolos de Christoel por medio del
producto escalar con los vectores basicos {u , v } de Tp S.
Por ejemplo, para la primera coordenada de uu se tiene que
uu , u = 111 u , u + 211 u , v + eu , N = 111 E + 211 F
Pero por otro lado,
Eu =
u , u = u , u u = uu , u + u , uu = 2uu , u
u
i
i
164
u , v = uu , v + u , uv
u
u , u = uv , u + u , uv = 2u , uv
v
se obtiene la relacion
Ev =
1
Fu = uu , v + u , uv = uu , v + Ev
2
lo que implica que
1
uu , v = Fu Ev
2
Por lo tanto, se obtiene la ecuacion
1
F 111 + G211 = Fu Ev .
2
Un procedimiento similar al utilizado para calcular los coecientes kij
nos lleva al siguiente teorema.
Proposici
on 3.29. Los smbolos de Christoel quedan determinados por
los sistemas de ecuaciones lineales
%
E111 + F 211 = 12 Eu ,
%
%
F 111 + G211 = Fu 12 Ev ,
E112 + F 212 =
F 112 + G212 =
1
2 Ev ,
1
2 Gu ,
E122 + F 222 = Fv 12 Gu ,
F 122 + G222 =
1
2 Gv .
i
i
165
i
i
166
eF f E
f F gE
(eg f 2 )
det B
= EK.
e
=
E
=E
2
2
2
EG F
EG F
EG F
det G
i
i
167
Consideremos de nuevo las siguientes igualdades entre las derivadas parciales mixtas de y N :
(uu )v (uv )u = 0,
(vv )u (vu )v = 0,
Nuv Nvu = 0.
De la primera ecuacion obtuvimos la relaci
on
(111 )u u + 111 (112 u + 212 v + f N ) + (211 )v v
+ 211 (122 u + 222 v + gN ) + ev N + e(a12 u + a22 v )
= (112 )u u + 112 (111 u + 211 v + eN ) + (212 )u v
+ 212 (112 u + 212 v + f N ) + fu N + f (a11 u + a12 v )
Agrupamos las coordenadas con respecto de cada uno de los vectores
{u , v , N } y escribimos esta relacion en la forma
A1 u + B1 v + C1 N = 0.
Como tales vectores forman una base, tenemos que A1 = 0, B1 = 0 y
C1 = 0. Al considerar B1 = 0 obtuvimos la igualdad
111 211 + (211 )v + 211 222 112 211 (212 )u (212 )2 = EK,
llamada la f
ormula de Gauss.
En general, al considerar todas las relaciones se obtienen tres ecuaciones
lineales
A1 u + B1 v + C1 N = 0
A2 u + B2 v + C2 N = 0
A3 u + B3 v + C3 N = 0
donde los coecientes Ai , Bi , Ci se anulan, debido a la independencia lineal
de los vectores basicos.
Se puede comprobar que estas ecuaciones llevan no s
olo a la f
ormula de
Gauss, sino ademas a las relaciones
E Eu e
F Fu f + (EG 2F F + GE)(ev fu )
G Gu g
(Eg 2F f + Ge)(Ev Fu ) = 0
i
i
168
y
E Ev e
F Fv f + (EG 2F F + GE)(fv gu )
G Gv g
(Eg 2F f + Ge)(Fv Gu ) = 0
llamadas las ecuaciones de Peterson-Mainardi-Codazzi.
Obtuvimos la f
ormula de Gauss y las ecuaciones de Peterson-MainardiCodazzi asociadas a una supercie parametrizada S R3 a partir de sus
dos formas fundamentales. La situaci
on recproca muestra que estas ecuaciones determinan la geometra intrnseca de la supercie; es decir, existe
un resultado an
alogo al teorema de clasicacion de curvas espaciales (teorema fundamental de la teora de las curvas, teorema 1.43) para supercies.
Este resultado es llamado el teorema fundamental de la teora de las
supercies, o teorema de Bonnet.
Teorema 3.32 (de Bonnet). Sean
E du2 + 2F du dv + G dv 2
e du2 + 2f du dv + g dv 2
3.6
C
alculos con coordenadas isotermas
i
i
169
111 =
u
2 ,
2 = v ,
11
2
112 =
v
2 ,
122 = 2u ,
2 =
12
u
2 ,
2 =
22
v
2 ,
u
2
v
.
2
En particular, para la esfera S2R de radio R parametrizada con las coordenadas isotermas u = x, v = y dadas por la proyecci
on estereogr
aca, el factor
de conformidad es
4R2
(x, y) = 2
(x + y 2 + R2 )2
de donde
x =
16R2 x
,
(x2 + y 2 + R2 )3
y =
16R2 y
(x2 + y 2 + R2 )3
y
2y
.
= 2
2
x + y 2 + R2
Por lo tanto,
122 (x, y) = 111 (x, y) = 212 (x, y) =
x2
2x
,
+ y 2 + R2
y
222 (x, y) = 211 (x, y) = 112 (x, y) =
son los smbolos de Christoel para la esfera.
2y
x2 + y 2 + R2
i
i
170
1
ln (u, v),
2(u, v)
donde
=
2
2
+
u2 v 2
u , v = 0.
v
v
e2 = =
,
v
N = e1 e2 .
f = uv , N ,
g = vv , N .
det B
eg f 2
=
det G
2
i
i
171
De manera an
aloga, al derivar respecto a v, se obtiene
1 (u, v)
= vv , v = uv , u .
2 v
Por u
ltimo, de la igualdad u , v = 0, se obtiene, derivando respecto
a u y a v,
uu , v + u , uv = uv , v + u , vv = 0.
Usaremos estas igualdades para calcular las coordenadas de los vectores
uu , uv y vv con respecto de la base {e1 , e2 , N }.
Calculemos las coordenadas de uu con respecto de la base {e1 , e2 , N }.
La primera coordenada est
a dada por
1
u
1
uu , e1 = uu ,
= uu , u =
.
2 u
De manera an
aloga, la segunda coordenada es
1
v
1
.
= u , uv =
uu , e2 = uu ,
2 v
Por u
ltimo, la tercera coordenada de uu es
uu , N = e,
de modo que las coordenadas de uu en la base dada son
1
1
,
,e .
2 u 2 v
De manera analoga, las coordenadas para los vectores uv y vv en la
base {e1 , e2 , N } son
1
1
uv =
,
,f
2 v
2 u
y
vv =
1 1
,
,g .
2 u 2 v
i
i
172
2
2 $
1 2
= uuv , v + uv , uv
2 u2
pero
uuv , v =
uu , v uu , vv
v
de donde
1 2
2 u2
=
=
=
+
.
uu , v eg f 2
v
2
v
u
uu , v =
(u , uv ) =
v
v
v
con lo que se tiene
1 2
1 2
1
=
(eg f 2 ) +
2 u2
2 v 2
2
o en forma equivalente,
eg f
1
2 v
2
+
1 2
,
2 v 2
2 $
#
2 $$
2 2
2
1
+ 2
+
u2
v
v
u
$
#
2
2
1
1
+
=
.
2
u
v
1
=
2
i
i
173
De esta forma,
eg f 2
1
=
2
1
2
2
2 $
2
ln =
2
2 $
de donde
K(u, v) =
eg f 2
det B
1
=
ln (u, v),
=
2
det G
((u, v))
2(u, v)
(R2
4R4
+ x2 + y 2 )2
se tiene
ln (x, y) = ln(4R4 ) 2 ln(R2 + x2 + y 2 )
de donde
ln
4x
,
= 2
x
R + x2 + y 2
2 ln
4(R2 + x2 y 2 )
=
x2
(R2 + x2 + y 2 )2
ln
4y
,
= 2
y
R + x2 + y 2
2 ln
4(R2 + y 2 x2 )
=
y 2
(R2 + x2 + y 2 )2
8R2
(1 + x2 + y 2 )2
i
i
174
y en consecuencia,
ln
=
K(x, y) =
2
1 (1 + x2 + y 2 )2
8R2
1
= 2
4
2
2
2
2
4R
(1 + x + y )
R
2 ln
= 0;
u2
adem
as,
ln
2 ln
= 2 sech2 v.
= 2 tanh v,
v
v 2
En consecuencia,
ln = 2 sech2 v.
Por lo tanto, para cada punto p = (u, v) de la catenoide se tiene que
K(u, v) =
1
sech4 v
1
2
ln = 2
(2
sech
v)
=
2
a2
2a cosh2 v
es una expresi
on para la curvatura en el punto p.
Observaci
on. La expresion para la curvatura obtenida en el teorema 3.34
solo depende de la primera forma fundamental. Esta f
ormula proporciona
otra demostraci
on del teorema egregio de Gauss, ya que dos supercies
localmente isometricas tienen la misma primera forma fundamental.
En esta seccion vimos la conveniencia de la existencia de una parametrizacion isoterma para simplicar los calculos de los objetos geometricos asociados a una supercie. En las secciones posteriores introduciremos nuevos
objetos geometricos y mostraremos como estos objetos estan asociados a
parametrizaciones especiales con diversas e importantes propiedades.
i
i
3.7
175
Curvas asint
oticas y lneas de curvatura
i
i
176
Al observar un campo con estas caractersticas, surge una pregunta natural: Existir
a una curva tangente en cada punto a una direcci
on asint
otica?
Es decir, existir
a una curva : I S tal que para cada t I ocurra que
(t) dena una direcci
on asint
otica? Una curva de este tipo es una curva
asint
otica.
Ejemplo 3.38. Para cualquier punto del plano R2 y cada direcci
on
2
Tp R se tiene que la curvatura normal se anula, de modo que cualquier
direcci
on es asint
otica. En este caso, cualquier curva es asint
otica. Vease
la gura 3.11.
Lneas asint
oticas
i
i
177
M
as adelante volveremos a esta cuestion. Por el momento mencionaremos otros campos de direcciones.
Recordemos (denicion 3.1) que en cada punto de una supercie tenemos
las curvaturas principales 1 y 2 y que si 1 = 2 , decimos que p es un
punto umblico. Si p no es un punto umblico, 1 y 2 se alcanzan en una
pareja de direcciones ortogonales (vease el lema 3.17). Un punto no umblico
tiene una vecindad formada por puntos no umblicos, de modo que a cada
punto de dicha vecindad podemos asociarle dos direcciones principales. Al
elegir una direcci
on en cada punto obtenemos lo que se conoce como un
campo de direcciones principales. En la gura 3.12 vemos un campo
de este tipo. (Compare con la gura 3.10.)
De nuevo, la pregunta es si existe una curva tal que en cada punto sea
tangente a una direcci
on principal. Una curva con esta propiedad recibe el
nombre de lnea de curvatura.
Ejemplo 3.40. Sea S una supercie cuyos puntos sean todos umblicos.
En este caso, las curvaturas principales son iguales y entonces todas las
direcciones son principales. En consecuencia, cualquier curva en S es lnea
de curvatura.
i
i
178
3.8
Campos vectoriales
i
i
X(p)
179
(t)
= X((t))
p
S
(t)
(3.7)
donde (t) = (x1 (t), x2 (t)) y Y = (Y 1 , Y 2 ). As, para determinar una curva
integral debemos resolver el sistema (3.7) de ecuaciones diferenciales ordinarias. Para esto, apelaremos al siguiente teorema, que se puede consultar
en [1].
Teorema 3.42 (de unicidad y existencia). Sea (3.7) un sistema de ecuaciones diferenciales en un abierto del plano, donde las funciones Y 1 , Y 2 son
continuas. Entonces para cada condici
on inicial dada por una pareja (a1 , a2 )
existe un intervalo I que contiene a 0 y dos funciones x1 , x2 : I tales
on de
que x1 (0) = a1 , x2 (0) = a2 y (t) = (x1 (t), x2 (t)) conforma una soluci
(3.7). Esta soluci
on es u
nica en el siguiente sentido: Si = ( 1 , 2 ) : J
es otra soluci
on de (3.7) tal que 0 J, 1 (0) = a1 y 2 (0) = a2 , entonces
(t) = (t) para todo t I J.
i
i
180
i
i
181
1. 0 (u) = u.
2. t s = t+s para cualesquiera s, t reales donde tenga sentido la
composici
on.
3. Para cada t, t es invertible.
Demostraci
on. (1) es solo una reformulaci
on de la primera propiedad dada
en el teorema 3.43.
Para demostrar (2), sean s, t peque
nos tales que las curvas
(t) = t+s (u)
(t) = t (s (u))
(t)
= (t (s (u))) = X(t (s (u))) = X((t)),
t
lo que indica que (t) y (t) son curvas integrales del campo X.
Observemos que ambas pasan por el punto s (u) debido a que
(0) = 0+s (u) = s (u)
y
(0) = 0 (s (u)) = s (u).
El teorema 3.42 implica que (t) = (t) en un intervalo J que contiene a 0.
En otras palabras, para t J,
t+s (u) = (t) = (t) = t (s (u)) = t s (u),
lo que prueba la armaci
on.
Por u
ltimo, por la propiedad (2) se tiene que
t t = t+(t) = 0 = Id,
lo cual implica que t es invertible.
i
i
182
3.9
Parametrizaciones distinguidas
u + C v)
= 0.
(3.9)
Demostraci
on. Supongamos primero que tal factorizaci
on existe, de modo
que los coecientes A, B, C deben satisfacer
A2 = e,
A(B + C) = 2f,
BC = g.
i
i
183
Au + C v = 0.
(B, A)
(u, v)
u
i
i
184
i
i
185
Demostraci
on. Sea p un punto cualquiera de la regi
on en cuestion. Aplicando el teorema 3.43 a los campos X1 , X2 , sabemos que existe una vecindad
U de p, un intervalo I = (, ) y transformaciones 1 , 2 : I U S tales
que i (0, q) = q para todo q U , i = 1, 2, de modo que la curva i (t, q)
(q jo) es una curva integral del campo Xi , i = 1, 2. Consideremos la
transformaci
on : I I S dada por
(t, s) 2 (s, 1 (t, p)).
Armamos que es un difeomorsmo local. Para mostrar esto, calculemos
la derivada de en (0, 0):
(0, 0) = X2 (p),
s
de modo que la matriz D(0, 0) tiene rango 2. Por el teorema de la funci
on
inversa, es un difeomorsmo local y sirve como parametrizacion de una
vecindad de p. De la denici
on de es claro que las curvas coordenadas
u = constante y v = constante corresponden a las curvas integrales de los
campos X1 , X2 .
Corolario 3.49. Sea p un punto hiperb
olico de una supercie S. Entonces
existe una vecindad de p parametrizada de modo que las curvas coordenadas
sean curvas asint
oticas.
Corolario 3.50. Sea p un punto no umblico de una supercie S. Entonces
existe una vecindad de p parametrizada de modo que las curvas coordenadas
sean lneas de curvatura.
Como tercer corolario del teorema 3.48 mostraremos la existencia de un
u
ltimo tipo de parametrizaci
on distinguida.
Denici
on 3.51. Una parametrizaci
on de una regi
on en una supercie
S es ortogonal si en cada punto las curvas coordenadas son ortogonales.
Corolario 3.52. Sea p un punto arbitrario de una supercie S. Entonces
existe una vecindad de p parametrizada de modo que las curvas coordenadas
sean ortogonales; es decir, la parametrizaci
on es ortogonal.
i
i
186
3.10. Ejercicios
Demostraci
on. Sea (u, v) una parametrizaci
on (arbitraria) de una vecindad V de p. Entonces los vectores u (q) y v (q) son linealmente independientes para cada q U . Podemos aplicar el proceso de ortogonalizacion
de GramSchmidt para obtener una base ortogonal X1 (q), X2 (q) del plano
tangente en cada punto de V . Por u
ltimo, usamos el teorema 3.48 para
obtener el resultado.
Notamos que el corolario 3.52 tambien se obtiene como consecuencia
directa del teorema 2.49, donde la parametrizaci
on por coordenadas isotermas = (u, v) es tal que u , v = 0 = F ; es decir, {u , v } es una
base ortogonal. Al considerar los campos vectoriales X1 = u y X2 = v y
utilizar el teorema 3.48 se concluye la armacion.
Observaci
on. El uso de parametrizaciones distinguidas como las expuestas en los corolarios anteriores permite simplicar muchos calculos. Por
ejemplo, consideremos el caso de las curvas asintoticas. Recordemos que la
ecuacion diferencial correspondiente es
eu 2 + 2f u v + g v 2 = 0.
Si una regi
on de una supercie S esta parametrizada como en el primero
de los corolarios anteriores, entonces la curva u = u(t) = t, v = constante,
es una curva asint
otica y de la ecuacion obtenemos que e = 0. De manera
an
aloga obtenemos que g = 0. El lector puede vericar con facilidad el
recproco de esta situacion: Si una parametrizaci
on satisface e = g = 0,
entonces las curvas coordenadas son curvas asint
oticas.
3.10
Ejercicios
1. (Demostraci
on de la no orientabilidad de M 2 .) Considere las
parametrizaciones de la banda de M
obius M 2 dadas por
u
u
u
(u, v) = 2 v sen
sen u, 2 v sen
cos u, v cos
2
2
2
donde (u, v) (0, 2) (1, 1), y
,
x = 2 v sen 4 + u2 cos u
u
(
u, v) :
,
y = 2 v sen 4 + 2 sen u
z = v cos 4 + u2 ,
i
i
187
denida en (
u, v) (, ) (1, 1).
(a) Demuestre que y
cubren a M 2 y que sus imagenes se intersecan en un conjunto no conexo formado por dos componentes
A, B M 2 .
(b) Calcule los cambios de coordenadas en A y B y verique que los
jacobianos respectivos tienen diferente signo.
(c) Concluya de (b) que M 2 no es orientable.
2. Calcule la segunda forma fundamental en cada punto para las supercies dadas.
(a) La supercie de Enneper (vease la gura 3.16),
u3
v3
2
2 2
2
(u, v) = u
+ uv , v
+ vu , u v .
3
3
x2 y 2
+ 2.
a2
b
i
i
188
3.10. Ejercicios
(c) El cono x2 + y 2 z 2 = 0, (x, y, z)
= (0, 0, 0).
(d) El paraboloide hiperb
olico,
x2 y 2
2 = z.
a2
b
(e) El elipsoide circular de revoluci
on,
(, ) = (a cos sen , a sen sen , c cos ).
(f) La supercie silla del mono (vease la gura 3.17),
(u, v) = (u, v, u3 3v 2 u).
i
i
189
1
cosh(a y 2 + z 2 + b),
a
a, b > 0,
i
i
190
3.10. Ejercicios
llamada la supercie de Bolyai, y que se obtiene al hacer girar la
curva x = a1 cosh(ay + b) alrededor del eje y.
9. (a) (F
ormula de O. Rodrigues). Demuestre que una curva conexa
S es lnea de curvatura de S si y solo si para toda parametrizacion (t) de existe una funci
on real diferenciable (t) tal
que si N (t) = N ((t)), entonces
N (t) = (t)(t).
(u, v) = (u, v, u2 v 2 ).
i
i
191
E = 1,
e = 1,
F = 0,
f = 0,
y
G = sen2 u,
g = sen2 u.
17. Calcule la curvatura media de una supercie parametrizada con coordenadas isotermas.
18. Transforme una primera forma fundamental ds2 = dx2 + f (x)dy 2 en
una expresi
on del tipo (u, v)(du2 + dv 2 ).
19. (Beltrami-Enneper) Demuestre que en cualquier punto p de una
lnea asint
otica que no sea una recta, la torsi
on (p) satisface que
(p) = K(p).
i
i
i
i
Bibliografa
193
i
i
i
i
Indice alfab
etico
Angulo,
5
entre curvas, 112
Aplicacion
conforme, 122
local, 122
de Gauss, 142, 160
Area
de la esfera, 115
de una regi
on, 114
del toro, 114
Atlas, 79, 83
Banda de M
obius, 145
Base canonica, 2
Becerril et al., 1
Beltrami-Enneper, 191
Bola, 11
unitaria, 13
Cambio de coordenadas, 99
de clase C r , 18
Campo
de direcciones
asint
oticas, 175
principales, 177
vectorial, 178
Carta, 79
Categora de una supercie, 95
Catenoide, 119
Cerradura, 11
Crculo maximo, 130
Circunferencia, 36
osculatriz, 51
Clase C 0 , 14
Clase C , 15
Clase C r , 15
Conjunto
abierto, 11
relativo, 13
cerrado, 11
conexo, 12
por trayectorias, 75
disconexo, 12
Conjuntos
difeomorfos, 16
homeomorfos, 16
Coordenadas, 2
cartesianas, 2
cilndricas, 18, 21
co-geogracas esfericas, 23
esfericas, 22
isotermas, 123
polares, 17, 21
pseudosfericas, 87
Curva
195
i
i
196
Indice alfabe
tico
asint
otica, 176
derivable, 27, 28
imagen, 27
integral, 178
loxodr
omica, 133
regular, 30
parametrizada, 33
Curvas
coordenadas, 26
Curvatura, 47, 50, 58, 135, 136
con signo, 52
gaussiana, 136, 158
media, 136, 158
normal, 151
Curvaturas principales, 136, 158
C
uspide, 30
Delta de Kronecker, 19
Derivada, 27
Derivadas parciales, 14
Desigualdad
de Schwarz, 3
del tri
angulo, 4, 5
Difeomorsmo, 16
de clase C r , 16
Diferenciabilidad en conjuntos
arbitrarios, 15
Diferencial de longitud de arco, 111
Direccion asint
otica, 175
Direcciones principales, 158
Distancia, 4
Ecuaciones
de Peterson-MainardiCodazzi, 168
de Weingarten, 161
Elipsoide, 91, 191
i
i
Indice alfabe
tico
197
de una curva, 33
de una supercie, 78
jacobiano, 20
ortogonal, 185
Par
ametro
Lnea de curvatura, 177
de longitud de arco, 38
Longitud
Plano, 191
de una curva, 35
normal, 67, 68, 70
osculador, 67, 69, 70
Matriz
recticador, 67, 69, 70
antisimetrica, 75
Plano proyectivo real, 134
derivada, 16
Primera forma fundamental, 107
hessiana, 136
conformemente plana, 123
jacobiana, 20
Producto
Matriz de coecientes
cruz, 8
de la primera forma fundamenescalar, 2
tal, 107
interior, 2
M
aximo local, 136
interno, 2
Meridiano
mixto, 9
de la esfera, 86
punto, 2
de una supercie
vectorial, 8
de revoluci
on, 98
Proyecci
on
del hiperboloide, 88
de un vector, 5
Metrica
Punto
riemanniana, 107
crtico, 135
Mnimo local, 136
degenerado, 138
no degenerado, 136
Norma, 3
elptico, 137, 155
Operador de Beltrami, 129
frontera, 11
Orientaci
on, 54, 140
hiperb
olico, 137, 155
interior, 11
Paraboloide elptico, 187
parab
olico, 138, 155
Paralelo
plano, 138, 155
de la esfera, 86
regular, 20, 89
de una supercie
umblico, 155
de revoluci
on, 98
del hiperboloide, 88
Radio de curvatura, 60
Parametrizacion
Region, 12
local, 116
i
i
198
Indice alfabe
tico
con frontera, 12
Regla de la mano derecha, 5
Relacion de Clairaut, 131
Reparametrizacion, 36, 55
Representacion, 100
Seccion
normal, 149
Segunda forma fundamental, 147
Serret-Frenet, 59
sistema isometrico, 65
Smbolos de Christoel, 163
Sistema de coordenadas, 1, 79
Supercie
compacta, 133
de Bolyai, 190
de Enneper, 187
de revoluci
on, 97
diferenciable, 82
no orientable, 140
orientable, 140
silla del mono, 188
topol
ogica, 78
Supercies
conformemente
equivalentes, 122
conformes, 122
globalmente isometricas, 116
isometricas, 116
localmente conformemente
equivalentes, 122
localmente conformes, 122
localmente isometricas, 116
Teorema
de Bers-Beltrami, 125
de Bonnet, 168
de Euler, 149
de Kovalevsky, 129
de la funci
on implcita, 17
de la funci
on inversa, 16
de Meusnier, 151
de Pit
agoras, 3
de unicidad y existencia, 179
egregio de Gauss, 160, 165
fundamental de la teora
de las curvas, 64
fundamental de la teora
de las supercies, 168
Toro de dimensi
on 2, 98
Torsion, 59, 70
Transformaci
on
que invierte la orientaci
on, 7
que preserva la orientacion, 7
Transformaciones
de transici
on, 99
Traza, 27
Triedro de Serret-Frenet, 56, 57, 70
Triple producto escalar, 9
Valor
propio, 152
regular, 20, 89
Vecindad relativa, 13
Vector
binormal, 57
gradiente, 105
normal principal, 57
tangente, 24, 33, 57
unitario, 5
velocidad, 28
Vectores
paralelos, 9
perpendiculares, 3
i
i