Tarea 2.

Geometrı́a Diferencial 1
Cálculo en Superficies
2.1 Superficies en R3

2.1.1 Demostrar que el cilindro

C 2 = {(x, y, z) ∈ R3 |x2 + y 2 = 1},
es una superficie regular. Encontrar un atlas para C 2 , i.e. encuentre parametrizaciones cuyas
cartas coordenadas lo cubran completamente.
2.1.2* Demostrar que el cono de una hoja definido por
p
z = x2 + y 2 , (x, y) ∈ R2 ,
no es una superficie regular.
2.1.3 ¿En cuáles de los siguientes casos es el mapeo ϕ : R2 −→ R3 es una carta regular?
(a) ϕ(u, v) = (u, uv, v). (b) ϕ(u, v) = (u2 , u3 , v).
(c) ϕ(u, v) = (u, u2 , v + v 3 ). (d) ϕ(u, v) = (cos(2πu), sin(2πu), v).
2.1.4* (a) Demostrar que M : (x2 + y 2 )2 + 3z 2 = 1 es una superficie.
(b) ¿Para que valores de c es M : z(z − 2) + xy = c una superficie?
2.1.5 Sea ϕ : U ⊂ R2 −→ R3 la función
ϕ(u, v) = (u2 , uv, v 2 ),
definida sobre el primer cuadrante U : u > 0, v > 0. Demostrar que ϕ es uno a uno y encontrar
una fórmula para su función inversa ϕ−1 : ϕ(U ) −→ U . Con ésto demostrar que ϕ es una carta
coordenada.
2.1.6* Si F : R3 −→ R3 es un difeomorfismo y M una superficie regular en R3 , demostrar que la
imagen F (U ) es también una superficie en R3 . (Sugerencia: mostrar que si ϕ es una carta
coordenada en M , entonces la composición F ◦ ϕ es regular pues (F ◦ ϕ)∗ = F∗ ◦ ϕ∗ .)
2.1.7 Encontrar una parametrización de la superficie entera obtenida por la rotación de las siguientes
curvas
(a) C : y = cosh(x) alrededor del eje x (Catenoide).
(b) C : (x − 2)2 + y 2 = 1 alrededor del eje y (El toro).
(c) C : z = x2 alrededor del eje z (El paraboloide).
2.1.8* Dada una carta coordenada ϕ : U ⊂ R2 −→ M ⊂ R3 , podemos considerar las funciones reales
E = hϕu , ϕu i, F = hϕu , ϕv i, G = hϕv , ϕv i,
sobre U . Demostrar que ϕ es un mapeo regular, i.e. ϕ∗ es uno a uno si y sólo si
kϕu × ϕv k2 = EG − F 2
nunca es cero. (Esta es una manera sencilla de verificar la condición de regularidad.)
2.1.9* Una forma de definir un sistema de coordenadas para la esfera S 2 , dada por x2 +y 2 +(z−1)2 = 1,
es considerar la proyección estereográfica π : S 2 /{N } −→ R2 que lleva un punto p = (x, y, z) ∈
S 2 /{N }, donde N = (0, 0, 2) es el polo norte de S 2 , sobre la intersección del plano Pxy con la
lı́nea recta que conecta N con p. Sea (u, v) = π(x, y, z), donde (x, y, z) ∈ S 2 /{N } y (u, v) ∈ Pxy .
1
2

a). Demostrar que π −1 : R2 −→ S 2 está dado por

 4u 4v 2(u2 + v 2 ) 
π −1 (u, v) = , , .
u2 + v 2 + 4 u2 + v 2 + 4 u2 + v 2 + 4
b). Demostrar que es posible, usando la proyección estereográfica, cubrir la esfera con dos cartas
coordenadas, esto es, encontrar un atlas de dos cartas para la esfera (mostrar que se satisface
la condición de compatibilidad).
2.1.10 Sea β una parametrización de rapidez unitaria del cı́rculo unitario en el plano Pxy . Construir la
siguiente superfice: Mueva una lı́nea L a los largo de β de tal forma que L es siempre ortogonal
0
al radio del cı́rculo y hace un ángulo constante de π/4 con el tangente a la curva β (puede ver
la figura 4.20 del O’Neill second edition).
(a) Encuentré que la parametrización para esta superficie resultante, M , es
0
ϕ(u, v) = β(u) + v(β (u) + Û3 ).
(b) Expresar ϕ explı́citamente en términos de v y las funciones coordenadas de β.
(c) Deducir que M está dada explı́citamente por la ecuación
x2 + y 2 − z 2 = 1.
(d) Demostrar que si el ángulo π/4 se cambia por −π/4, resulta la misma superficie. De esta
forma M es doblemente reglada.
(e) Hacer un diagrama de la superficie M mostrando que las dos rectas generadoras pasan a
través de cada uno de los puntos (1, 0, 0) y (2, 1, 2).

2.2 Funciones Diferenciables y Vectores Tangentes

2.2.1* Sea ϕ una carta coordenada en M

(a) Si ϕ∗ es el push forward (o mapeo diferencial) de ϕ, demostrar que
ϕ∗ (U1 ) = ϕu , ϕ∗ (U2 ) = ϕv ,
donde U1 , U2 es el sistema natural de referencia en R2 .
(b) Si f es una función diferenciable en M , f : M −→ R, demostrar
∂ ∂
ϕu [f ] = f (ϕ), ϕv [f ] = f (ϕ).
∂u ∂v
2 2 2
2.2.2 Construir un difeomorfismo entre el elipsoide xa2 + yb2 + zc2 = 1 y la esfera x2 + y 2 + z 2 = 1.
2.2.3* Demostrar que la definición de mapeo diferencial entre superficies F : M −→ N , es independi-
ente de las cartas coordenadas en las superficies M y N .
2.2.4 Demostrar que la relación “la superficie M es difeomorfa a la superficie N ” es una relación de
equivalencia en el conjunto de las superficies regulares.
2.2.5* Sean ϕ y ψ cartas coordenadas para la esfera unitaria S12 ⊂ R3 que están definidas sobre el
cı́rculo unitario U : u2 + v 2 < 1 por
p
ϕ(u, v) = (u, v, f (u, v)), φ(u, v) = (v, f (u, v), u), f = 1 − u2 − v 2 .
(a) Hacer un diagrama de la esfera en donde se indique explı́citamente las imagenes ϕ(U ), ψ(U )
y la región donde se traslapan.
(b) ¿ En que puntos de U está definida la composición ψ −1 ◦ ϕ? Encontrar una fórmula para
esta función.
(c) ¿ En que puntos de U está definida la composición ϕ−1 ◦ ψ? Encontrar una fórmula para
esta función.
 3

2.2.6* Encontrar un campo vectorial normal sobre la superficie M : z = xy y dos campos vectoriales
tangentes que sean linealmente independientes en cada punto de M .
2.2.7 (a) Demostrar que la ecuación del plano tangente en el punto (x0 , y0 , z0 ) de una superficie
regular dada por f (x, y, z) = 0 es
∂f  ∂f  ∂f 
(x − x0 ) + (y − y0 ) + (z − z0 ) = 0.
∂x (x0 ,y0 ,z0 ) ∂y (x0 ,y0 ,z0 ) ∂z (x0 ,y0 ,z0 )
  

(b) Determinar los planos tangentes de x2 + y 2 − z 2 = 1 en los puntos (x, y, 0) y mostrar que
todos son paralelos al eje z.
(c) Demostrar que el plano tangente a la superficie que es la gráfica de una función diferen-
ciable z = f (x, y), en el punto p0 = (x0 , y0 ), está dada por
∂f  ∂f 
z = f (x0 , y0 ) + (x − x0 ) + .
∂x (x0 ,y0 ) ∂y 8x0 ,y0 )
 

Recordar la definición de la diferencial df de una función f : R2 −→ R y demostrar que el plano

tangente es la gráfica de la diferencial dfp .
(d) Demostrar que los planos tangentes de una superficie dada por z = xf (y/x), x 6= 0,
donde f es una función diferenciable, pasan todos a través del origen (0, 0, 0).
2.2.8* Dados los mapeos entre superficies F : M −→ N , G : N −→ P y sea G ◦ F : M −→ P la
composición. Demostrar que
(a) G ◦ F es diferenciable,
(b) (G ◦ F )∗ = G∗ ◦ F∗ ,
(c) (G ◦ F )∗ = F ∗ ◦ G∗ ,
que es, para alguna forma ξ en P , (G ◦ F )∗ (ξ) = F ∗ (G∗ (ξ)).
2.2.9* (Superficies tubulares). Sea α : I ⊂ R −→ R3 una curva regular parametrizada con longitud de
arco, tal que tiene curvatura distinta de cero en todos sus puntos. Sea

ϕ(s, v) = α(s) + r(N (s) cos v + B(s) sin v), r = const. 6= 0, s ∈ I,

una superficie parametrizada (el tubo de radio r alrededor de α), donde N es el vector normal
y B es el binormal de α. Demostrar que, cuando α es regular, su vector normal unitario es

N (s, v) = −(N (s) cos v + B(s) sin v).

2.2.10 Sea A ⊂ M un subconjunto de una superficie regular M . Demostrar que A es una superficie
regular si y sólo si A es un abierto en M ; esto es, A = U ∩ M , donde U es un abierto de R3 .

2.3 Orientabilidad, Propiedades Topológicas, Formas Diferenciales e Integración

2.3.1 Demostrar las fórmulas

d(f g) = gdf + f dg, d(f ψ) = df ∧ φ + f dφ, f, g ∈ C(M ), φ ∈ T ∗ M.

(Sugerencia: Por definición, (f φ)(vp ) = f (p)φ(vp ); en este caso (f φ)(ϕu = f (ϕ)φ(ϕu ).)
2.3.2* (a) Formas diferenciales en el plano R2 . Sean u1 = u y u2 = v las funciones coordenadas
naturales, y U1 , U2 el campo natural de sistemas de referencia de R2 Demostrar que si f es una
función, φ una 1-forma y η una 2-forma, entonces
(1) φ = f1 du1 + f2 du2 , donde fi = φ(Ui ).
(2) η = gdu1 du2 , donde g = η(U1 , U2 ).
(b) Derive las siguientes fórmulas utilizando las propiedades de d y de ∧.
4

(1) Para Ψ = g1 du1 + g2 du2 y φ = f1 du1 + f2 du2

φ ∧ Ψ = (f1 g2 − f2 g1 )du1 du2 .

∂f ∂f
(2) df = ∂u1du1 + ∂u du2 .
2 
∂f2 ∂f1
(3) dφ = ∂u1 − ∂u2 du1 du2 .
2.3.3* Si f, g, h son funciones sobre una superficie M , y φ es una 1-forma, demostrar
(a) d(f gh) = ghdf + f hdg + f gdh,
(b) d(φf ) = f dφ −0 phi ∧ df , (φf = f φ),
(c) (df ∧ dg)(v, w) = v[f ]w[g] − v[g]w[f ].
2.3.4* Si ϕ : U ⊂ R2 −→ M es un sistema de coordenadas en M , sean u, v las funciones coordenadas
de ϕ−1 , de manera que ϕ−1 (p) = (u(p), v(p)) para todo p ∈ ϕ(U ). Demostrar que
(a) u y v son diferenciables en ϕ(U ) tales que

u(ϕ(u, v)) = u, v(ϕ(u, v)) = v.

Estas funciones constituyen un sistema de coodenadas asociado con ϕ.

(b) du(ϕu ) = 1, du(ϕv ) = 0, dv(ϕu ) = 0, dv(ϕv ) = 1.
(c) Si φ es una uno forma y η una dos forma, entonces

φ = f du + gdv, donde f (ϕ) = φ(ϕu ), f (ϕ) = φ(ϕv );

η = dudv, donde h(ϕ) = η(ϕu , ϕv ).

(Sugerencia: para (b) use el ejercicio 4(b) de la sección 4.3 del O’Neill second edition.)
2.3.5 Describir el sistema de coordenadas asociado a u, v de
(a) El sistema de coordenadas polares ϕ(u, v) = (u cos v, u sin v) definido sobre el dominio
U : u > 0, 0 < v < 2π.
(b) El parce identidad ϕ(u, v) = (u, v) ∈ R2 .
(c) El sistema de coodenadas geográficas ϕ en la esfera.
2.3.6 Si α es una curva en R2 y φ es una uno forma, demostrar la siguiente regla para encontrar
0
φ(α )dt: Substituir u = α1 y v = α2 en la expresión coordenada φ = f (u, v)du + g(u, v)dv.
2.3.7 La uno forma
udv − vdu
Ψ= ,
u2 + v 2
está bien definida sobre el plano R2 /{0}. Demostrar
(a) Ψ es cerrada pero no es exacta sobre R2 /{0}. (Sugerencia: Integrar alrededor del cı́rculo
unitario y usar el ejercicio 3. de la sección 4.6 O’Neill second edition.)
(b) La restricción de Ψ al semiplano derecho u > 0 es exacta.
2.3.8 (a) Demostrar que cada curva α en R2 que no pasa por el origen tiene una reparametrización
(que conserva la orientación) en coordenadas polares

α(t) = (r(t) cos ϑ(t), r(t) sin ϑ(t)).

(Sugerencia: Usar el ejercicio 12 de la sección 2.1 O’Neill second edition.)

Si la curva α : [a, b] −→ R2 /{0} es cerrada, probar:
(b) wind(α) = ϑ(b)−ϑ(a)
2π es un entero.
Este número entero, llamado número de vueltas de α alrededor de 0, representa en número
de veces que α rodea al origen en dirección contraria a las manecillas del reloj. (Notar que
wind(α) = wind(α/kαk).)
 5

(c) Si Ψ es la uno forma del ejercicio (2.2.7), entonces

Z
1
wind(α) = Ψ.
2π α
(d) Si α = (f, g), entonces
b 0 0 b 0
f g − gf
Z Z
1 1 det(α(t), α (t))
wind(α) = dt = dt.
2π a
2
f +g 2 2π a hα, α0 i
0
(El determinante es de una matriz de 2 × 2 cuyas filas son α(t) y α (t).)
2.3.9* Sea F : M −→ N un mapeo entre superficies. Demostrar
(a) Si α es un segmento de curva en M , y φ es una uno forma en N , entonces
Z Z
F ∗φ = φ.
α F (α)

(b) Si ϕ es un 2-segmento en M , y η es una 2-forma en N , entonces

Z Z Z Z
F ∗η = η.
ϕ F (ϕ)

2.3.10* Sea ϕ : F −→ M un mapeo diferenciable y sea (U, V ) : R −→ F es mapeo regular uno a uno
cuyo determinante jacobiano
∂(U, V )
J(u, v) = ,
∂(u, v)
es siempre positivo (i.e. preserva la orientación) o siempre negativo (invierte la orientación).
Entonces, sea ψ : R −→ M está dado por ψ(u, v) = ϕ(U (u, v), V (u, v)).
(a) Para una dos forma η en M , usar
∂U ∂V ∂U ∂V
ϕu = ψU + ψv , ϕv = ψU + ψv ,
∂u ∂u ∂v ∂v
para demostrar que

η(ϕu , ϕv ) = J(u, v)η(ψU (U, V ), ψV (U, V )).

RR RR RR RR
(b) Deducir que ϕ
η = ψ
η si se preserva la orientación y que ϕ
η = − ψ η si la
orientación se invierte. (Sugerencia: La fórmula del cambio de variables en la integral doble
involucra el valor absoluto del determinante jacobiano.)
2.3.11 ¿Cuáles de las siguientes superficies son compactas y cuáles son conexas?
(a) Una esfera con un punto eliminado.
(b) La región z > 0 en M : z = xy.
(c) Un toro con la curva α(t) = ϕ(t, t) eliminada.
(d) La superficie en la fig. 4.8 del O’Neill second edition.
(e) M : x2 + y 4 + z 6 = 1.
2.3.12* Sea F : M −→ N un mapeo regular. Demostrar que si N es orientable, entonces M es orientable.
2.2.13 (a) Si un lazo α es libremente homotópico a una constante por medio de ϕ, demostrar que para
alguna uno forma φ,
Z Z Z
φ= dφ.
α ϕ

(b) Si las curvas cerradas α y β en R2 /{p} son libremente homotópicas en R2 /{p}, demostrar
que tienen el mismo número de vueltas alrededor de p.
6

(c) Un disco suave D en una superficie es la imagen del disco unitario x2 + y 2 ≤ 1 en R2 bajo
un mapeo regular uno a uno F . Demostrar que el 2-segmento

ϕ(u, v) = F (u cos v, u sin v), (0 ≤ u ≤ 1, 0 ≤ v ≤ 2π),

llena D y es una homotopı́a libre de la curva frontera (cerrada) v 7−→ ϕ(1, v) a una constante.
2.2.14 Sea φ una uno forma cerrada y α una curva cerrada.
R
(a) Demostrar que −αφ = 0 si φ es exacta o α es libremente homotópica a una constante.
(b) Deducir que sobre un toro T los meridianos y paralelos no son libremente homotópicos a
una constante, y las uno formas cerradas ξ y η del ejercicio 9 de la sección 6 del O’Neill
(second edition) no son exactas.
2.2.15* El axioma de separabilidad de Hausdorff afirma que dos puntos distintos p 6= q hienen vecindades
disjuntas. Demostrar:
(a) R3 obedece el axioma de Hausdorff. (La misma demostración funciona para Rn .
(b) Una superficie M en R3 obedece el axioma de Hausdorff.
2.2.16* Sean M y N superficies en R3 tales que M está contenida en N .
(a) Si M es compacto y N es conexo, demostrar que M = N . (Sugerencia: Demostrar que M
es cerrado y abierto en N .)
(b) Dar ejemplos para demostrar que (a) falla si M nos es compacto o si N no es conexo.
(c) Deducir de (a) que si F : M −→ N es un difeomorfismo local con M compacta y N conexa,
entonces F (M ) = N .

2.4 La primera Forma Fundamental

2.4.1* Calcular la primera forma fundamental para las siguientes superficies parametrizadas regulares
(a) El elipsoide ϕ(u, v) = (a sin u cos v, b sin u sin v, c cos u).
(b) El paraboloide eliptico ϕ(u, v) = (au cos v, bu sin v, u2 ).
(c) El paraboloide hiperbólico ϕ(u, v) = (au cosh v, bu sinh v, u2 ).
(d) El hiperboloide de dos hojas ϕ(u, v) = (a sinh u cos v, b sinh u sin v, c cosh u).
2.4.2* Obtener la primera forma fundamental de la esfera en la parametrización dada por la proyección
estereográfica del ejercicio2.1.9.
2.4.3 Dada la superficie parametrizada por

ϕ(u, v) = (u cos v, u sin v, log(cos(v)) + u), −π/2 < v < π/2,

demostrar que las dos curvas ϕ(u1 , v), ϕ(u2 , v) determinan segmentos de losngitudes iguales
para todas las curvas ϕ(u, const.).
2.4.4* Demostrar que el área de una región acotada R de la superficie z = f (x, y) es
Z Z q
A= 1 + fx2 + fy2 dxdy,
Q

donde Q es la proyección de R sobre el plano Pxy .

2.4.5 (a) Las curvas coordenadas de la parametrización ϕ(u, v) constituyen un net de Tchebyshef si
las longitudes de los lados opuestos de cualquier cuadrilátero formado por ellas son iguales..
Demostrar que una condición necesaria y suficiente para ésto es
∂E ∂G
= = 0.
∂v ∂u
(b) Demostrar que siempre que el sistema de curvas coordenadas constituyan un net de Tchebyshef
es posible reparametrizar la vecindad coordenada de tal forma que los nuevos coeficientes de la
 7

primera forma fundamental son

E = 1, F = cos θ, G = 1,
donde θ es el ángulo de las curvas coordenadas.
2.4.6* (Gradiente sobre superficies) El gradiente de una función diferenciable f : M −→ R es el mapeo
diferenciable grad(f ) : M −→ R3 que asigna a cada punto p ∈ M un vector grad(f )(p) ∈
Tp M ⊂ R3 tal que
hgrad(f )(p), vip = dfp (v), ∀v ∈ Tp M.
Demostrar que
(a) Si E, F, G son los coeficientes de la primera forma fundamental en una parametrización
ϕ : U ⊂ R2 −→ M , entonces gradf sobre ϕ(U ) está dado por
fu G − fv F fv E − fu F
grad f = ϕu + ϕv .
EG − F 2 EG − F 2
En particular, si M = R2 con coordenadas x e y,
grad f = fx e1 + fy e2 ,
donde {e1 , e2 } es la base canónica de R2 (ası́, la definición está de acuerdo con la definición
usual de gradiente sobre un plano.)
(b) Si se toma un punto fijo p ∈ M y v varia en el cı́rculo unitario |v| = 1 en Tp M , entonces
dfp (v) es máximo si y sólo si v = grad f /|gra f | (de esta manera, grad f (p) da la dirección
de la máxima variación de f en p.)
(c) Si grad f 6= 0 en todos los puntos de la curva de nivel C = {q ∈ M |f (q) = const.},
entonces C es una curva regular en M y grad f es normal a C en todos los puntos de C.