Problema

Sea S 2 una superficie regular orientable y sea 𝜑 : S 1 → S 2 una aplicación diferenciable que
es
un difeomorfismo local en cada p ∈ S 1 . Demostrar que S 1 es orientable.

Theorem 1 Una superficie regular S ⊂ R 3 es orientable si y solo si existe un campo

vectorial diferenciable normal N : S → R 3 en S.

Definition 1 Sea 𝜑 : S 1 → S 2 una aplicación diferenciable entre superficies regulares. 𝜑 es

un difeomorfismo local si, para cada p ∈ S 1 , existe un conjunto abierto V 1 de p en S 1 y un
conjunto abierto V 2 de 𝜑(p) en S 2 tales que 𝜑(V 1 ) = V 2 y 𝜑 : V 1 → V 2 es un
difeomorfismo.

𝜑|V1 : V1 → V2
Entonces, ∃𝜓 : V 2 → V 1 , (𝜓 ∘ 𝜑)(p) = I V1 → (d𝜓) 𝜑(p) ∘ d𝜑 p = dI p = I Tp S1 . Es decir d𝜑 p
es un isomorfismo. Ya que S 2 es orientable entonces existe un campo vectorial diferenciable
normal a la superficie N 2 : S 2 → R 3 , es decir para cada q ∈ S 2 → N 2 (q) ∈ R 3 , y
N2 (q), v = 0, ∀v ∈ T q S 2 .
Sea N 1 : S 1 → R 3 campo vectorial en S 1 , dado por
a×b
N 1 ( p) =
‖a × b‖
donde a, b ∈ T p S 1 es una base de T p S 1 tales que
det(d𝜑p (a), d𝜑p (b), N2 (𝜑(p))) > 0
N1 esta bien definido, ya que si p ∈ S1 y { a, b }, { c, d } son dos bases de Tp S1 tales que
det(d𝜑p (a), d𝜑p (b), N2 (𝜑(p))) > 0, det(d𝜑p (c), d𝜑p (d), N2 (𝜑(p))) > 0
y M es la matriz de cambio de bases entre { d𝜑 p (c), d𝜑 p (d), N 2 (𝜑(p))} y
d𝜑 p (a), d𝜑 p (b), N2 (𝜑(p)), entonces
det(d𝜑p (c), d𝜑p (d), N2 (𝜑(p))) = det M det(d𝜑p (u), d𝜑p (v), N2 (𝜑(p)))
de donde det M > 0, por lo tanto N 1 no cambia de signo y es normal a S 1 . Ahora se afirma
que N 1 es diferenciable. Sea X : U → S una parametrización en un subconjunto abierto
conexo de R 2 . Entonces, { X u , X v } es base del plano correspondiente en cada punto de U;
se tiene
(d𝜑)X(u,v0 ) (Xu ) = ((𝜑 ∘ X)(u, v0 ))u ; (d𝜑)X(u0 ,v) (Xv ) = ((𝜑 ∘ X)(u0 , v))v ;
y (d𝜑) X es un isomorfismo entre T X(u,v) S 1 y T 𝜑(X(u,v)) S 2 ; entonces
det((d𝜑)X (Xu ), (d𝜑)X (Xv ), N2 ∘ 𝜑 ∘ X)
es una función continua en U que no se anula para cualesquiera (u, v) ∈ U. Cambiar, si es
necesario la parametrización X a Y(u, v) = X(v, u) asi que este signo siempre se puede
tomar positivo. De acuerdo a la definición de N 1 , se tiene
Xu × Xv
N1 ∘ X =
‖ Xu × Xv ‖
y por lo tanto N 1 es diferenciable, luego S 1 es orientable. ∎
Problema
Sea S una supercie regular recubierta por dos entornos coordenados V 1 y V 2 . Supóngase
que V 1 ∩ V 2 tienen dos componentes conexas, W 1 y W 2 y que el jacobiano del cambio de
coordenadas es positivo en W 1 y negativo en W 2 . Demuestrese que S es no orientable.

Sean (V 1 , (u, v)) un entorno coordenado, y (V 2 , ( u

⏨, v⏨)) otro entorno coordenado, tales que
V1 ∪ V2 = S y V1 ∩ V2 = W1 ∪ W2 tienen dos componentes conexas, W1 y W2 , sea el
∂ ( u , v)
jacobiano del cambio de coordenadas es positivo en W 1 y negativo en W 2 . Pero
∂( u⏨, v⏨)
∂ ( u , v)
x⏨u⏨× x⏨v⏨ = (xu × xv )
∂( u⏨, v⏨)
que es un campo vectorial normal a la superficie S cambia de signo al pasa de componente,
por lo tanto S no puede ser orientable. ∎
Definition 2 (Curva regular) Un subconjunto C ⊂ R 3 es una curva regular si para cada
p ∈ C existe una vecindad V en R 3 y una transformación x : I → V ∩ C de un abierto I ⊂ R
sobre V ∩ C ⊂ R 3 tal que
i) x es diferenciable, esto es x(t) = (x(t), y(t), z(t)), t ∈ I, donde las funciones x, y, z tienen
derivadas continuas de todos los ordenes en I.
ii) x es un homeomorfismo. Ya que x es continua por i), esto significa que x tiene inversa
x -1 : V ∩ C → I es continua.
iii) Para cada q ∈ I, La diferencial dx q : R → R 3 es inyectiva.
Problema
Dos superficies regulares S 1 y S 2 se intersectan transversalmente si para cualquier
p ∈ S1 ∩ S2 entonces Tp S1 ≠ Tp S2 . Probar que si S1 intersecta transversalmente S2 .
Entonces, S 1 ∩ S 2 es una curva regular.

Lemma 1 Sea S una superficie y sea p un de sus puntos. Demostrar que existen un
conjunto abierto O ⊂ R 3 tal que p ∈ O y una aplicación diferenciable f : O → R que tiene a
0 como un valor regular, tal que S ∩ O = f -1 ({ 0 }).
Ya que cualquier superficie regular es localmente la gráfica de una función diferenciable, hay
un conjunto abierto V de S con p ∈ V, un conjunto abierto U ⊂ R 2 y una función
diferenciable h : U → R tal que V es la gráfica de h, esto es,

V = ( x , y , z) ∈ R 3 : ( x , y ) ∈ U , z = h ( x , y )

Entonces, establecer O = U × R ⊂ R 3 , que es un conjunto abierto, y f : O → R, la función

definida f(x, y, z) = z - h(x, y). Como f z = 1, 0 es un valor regular, entonces
S ∩ O = f -1 ({ 0 }). ∎

Lemma 2 Suponer f : U ⊂ R 3 → R 2 es una función diferenciable y (a, b) ∈ f(U) es un

valor regular de f. Entonces f -1 (a, b) es una curva regular en R 3 .

f : U ⊂ R3 → R2
(x, y, z) ↦ f(x, y, z) = (f1 (x, y, z), f2 (x, y, z))
y sea p = (x 0 , y 0 , z 0 ) un elemento de f -1 (a, b). Entonces, ya que (a, b) es un valor regular,
entonces

∂f1 ∂f2
( p) ( p)
∂x ∂x
∂f1 ∂f2
df p = ( p) ( p)
∂y ∂y
∂f1 ∂f2
( p) ( p)
∂z ∂z
es sobreyectiva , luego df p es de rango 2, así

∂f1 ∂f2
( p) ( p)
∂y ∂y
≠0
∂f1 ∂f2
( p) ( p)
∂z ∂z
Definir F : U ⊂ R 3 → R 3 tal que
F(x, y, z) = (x, f1 (x, y, z), f2 (x, y, z)) = (u, v, t)
Entonces
 ∂f1 ∂f2
1
∂x ∂x ∂f1 ∂f2
∂f1 ∂f2 ∂y ∂y
dFp = 0 → det dFp = ≠0
∂y ∂y ∂f1 ∂f2
∂f1 ∂f2 ∂z ∂z
0
∂z ∂z

Por lo tanto por el teorema de la función inversa, existe abiertos V y W de p = (x 0 , y 0 , z 0 ) y

F(p) = (a, b) respectivamente, tales que F : V → W es un difeomorfismo. Por lo tanto F -1 es
x = u , y = g( u , v, t ) , z = h( u , v, t )
son diferenciables, en particular,

y = g(u, a, b) = g⏨(u), z = ⏨ h ( u , a, b ) = ⏨
h ( u)
son funciones diferenciables. Ahora, sea I ⊂ W ∩ {(u, v, t) : v = a, t = b } tal que
p ∈ F -1 (I), entonces F -1 |I es un difeomorfismo de I con un subconjunto de f -1 (a, b) ∩ V
Ya que p es arbitrario, se ve que f -1 (a, b) es difeomorfo a una curva. ∎

Ya que cualquier superficie regular es localmente la gráfica de una función diferenciable, S 1

esta dado por f(x, y, z) = 0 y S 2 esta dado por g(x, y, z) = 0 en una vecindad de p; aquí 0
es un valor regular de la funciones diferenciables f y g. En esta vecindad de p, S 1 ∩ S 2
esta dada como la imagen inversa de (0, 0) de la función G : R 3 → R 2 ,
G(q) = (f(q), g(q)). Ya que S1 y S2 se intersectan transversalmente, los vectores normales
∇f = (fx , fy , fz ), y ∇g = (gx , gy , gz ) son linealmente independientes, Por lo tanto

∂f ∂g
∂x ∂x
∂f ∂g
dG p =
∂y ∂y
∂f ∂g
∂z ∂z
es de rango 2, luego (a, b) es un valor regular de G. Por lo tanto S 1 ∩ S 2 es una superficie
regular.
Problema
Considere la parametrización X(x, y) = (x, y, f(x, y)) que describe el gráfico de una función
diferenciable f(x, y). Obtenga K(x, y), H(x, y).

Xx = (1, 0, fx ), X xy = (0, 0, fxy ), X xx = (0, 0, fxx )

Xy = (0, 1, fy ), X yy = (0, 0, fyy )

E = Xx , Xx = 1 + fx2 , F = fx fy , G = 1 + fy2

i j k
Xx × Xy
N ( x, y) = , Xx × Xy = 1 0 fx = (-fx , - fy , 1)
‖ Xx × Xy ‖
0 1 fy

(-fx , - fy , 1)
N ( x, y) =
fx2 + fy2 + 1

fxx fxy
e = N, Xxx = , f = N, Xxy = ,
fx2 + fy2 +1 fx2 + fy2 +1
fyy
g = N, Xyy =
fx2 + fy2 + 1

2
fxx fyy fxy
-
eg - f 2 fx2 + fy2 + 1 fx2 + fy2 + 1 fx2 + fy2 + 1
K ( x, y) = =
EG - F 2 1 + fx2 1 + fy2 - (fx fy ) 2
2
fxx fyy fxy
- 2
fxx fyy - fxy
fx2 +fy2 +1 fx2 +fy2 +1
K ( x, y) = =
1 + fx2 + fy2 fx2 + fy2 + 1
2

fxx fxy fyy

1 + fy2 - 2 (f x f y ) + 1 + fx2
1 eG - 2fF + gE 1 fx2 + fy2 +1 fx2 + fy2 +1 fx2 + fy2 + 1
H= =
2 EG - F 2 2 1 + fx2 1 + fy2 - (fx fy ) 2
 fxx +fxx fy2 -2fxy fx fy +fyy +fyy fx2
2 2
1 fx2 + fy2 + 1 1 fxx + fxx fy - 2fxy fx fy + fyy + fyy fx
H ( x, y) = =
2 fx2 + fy2 + 1 2 f2 + f2 + 1
3
x y
2
fxx fyy - fxy 2 =
a) K(x, y) = 0 ⇔ = 0 ⇔ fxx fyy - fxy 0.
2
fx2 + fy2 + 1
b)
1 fxx + fxx fy2 - 2fxy fx fy + fyy + fyy fx2
H( x , y ) = 0 ⇔ 3
= 0 ⇔ fxx 1 + fy2 - 2fxy fx fy + fyy 1 + fx2 = 0
2
f x2 + f y2 + 1
Problema
Probar que la catenoide, x(u, v) = (cosh v cos u, cosh v sin u, v), es un superficie mínima
(curvatura media nula, esto es, H = 0).
xu = (-cosh v sin u, cosh v cos u, 0), xv = (sinh v cos u, sinh v sin u, 1)
xuu = (-cosh v cos u, -cosh v sin u, 0), xvv = (cosh v cos u, cosh v sin u, 0)
xuv = (-sinh v sin u, sinh v cos u, 0)
E = xu , xu = cosh 2 v, F = 0, G = sinh 2 v + 1 = cosh 2 v
i j k
xu × xv = -cosh v sin u cosh v cos u 0 = (cosh v cos u, cosh v sin u, -sinh v cosh v)
sinh v cos u sinh v sin u 1

‖ xu × xv ‖ 2 = cosh 2 v + sinh 2 v cosh 2 v = cosh 2 v 1 + sinh 2 v = cosh 4 v

xu × xv 1
N ( u , v) = = (cos u, sin u, -sinh v)
‖ xu × xv ‖ cosh v
1
e = N, xuu = (-cosh v) = - 1, f = N, xuv = 0,
cosh v
1
g = N, xvv = (cosh v) = 1
cosh v
2 2
1 eG - 2fF + gE 1 (-1) cosh v - 2(0)(0) + (1) cosh v
H ( u , v) = = =0∎
2 EG - F 2 2 cosh 4 v