Curvas y Superficies, Grupo A

TEMA 4, Geometrı́a Intrı́nseca de Superficies

Miércoles, 20 de Mayo de 2020

1. Existe una Isometrı́a Local entre un Cilindro y el

Plano.
JJ Ya sabes que si tienes una curva en un plano, la puedes trasladar a lo largo de la dirección
perpendicular a dicho plano y ası́ construyes un cilidro sobre ella cuyas generatrices son rectas
paralelas a la dirección del desplazamiento.

JJ Sin perder generalidad puedes considerar que la curva está en el plano z = 0

α : I ⊂ R → R3 , α(t) = (x(t), y(t), 0),

entonces al desplazarla en la dirección del eje z, obtienes el cilindro sobre la curva

Cα = {α(t) + v~e3 : t ∈ I, v ∈ R}.

JJ También conoces de sobra que Cα es una superficie regular que puedes parametrizar a
partir de la siguiente aplicación diferenciable (difeomorfismo local que es global cuando la
curva α es simple)

F : I × R ⊂ R2 → Cα , F (t, v) = α(t) + v~e3 = (x(t), y(t), v).

¨ ¥
F §La aplicación anterior es una isometrı́a local. ¦
¨ ¥
F §Además, es una isometrı́a global cuando la curva sobre la que costruyes ¦
¨ ¥
el
§
cilindro es una curva simple. ¦

I Prueba: Lo primero que hacemos es parametrizar por su arco la curva de partida, de

manera que la aplicación se escribe

F : J × R ⊂ R2 → Cα , F (s, v) = α(s) + v~e3 = (x(s), y(s), v).

1
Entonces vamos a ver que cada punto (so , vo ) ∈ J × R ⊂ R2 posee un entorno, U , tal que la
restricción de F a él es una isometrı́a global.
Basta con tomar U como un abierto que contenga a (so , vo ) en el que la aplicación F sea
inyectiva (esto sabes que se puede hacer siempre y cuando la curva es simple, U es el propio
J × R). Entonces se tiene:
i : U → J × R, la inclusión que es una parametrización trivial,
y la restricción de F a U ,
X = F ◦ i : U → V = X(U ) ⊂ Cα , parametrización,
sólo hay que ver que ambas parametrizaciones proporcionan los mismos items para la primera
forma fundamental lo que es obvio pues
dX(~e1 ) = Xs = (x0 (s), y 0 (s),0), dX(~e2 ) = Xv = (0, 0, 1),
y la curva la habı́amos parametrizado por su arco.

F Todo cilindro es localmente isométrico al plano y si la curva sobre la que

está construido es simple, entonces es globalmente isométrico al plano.

2. El Catenoide y el Helicoide son Localmente isométri-

cos.
Catenoide: Ya sabes que es la superficie de revolución cuya curva perfil es la catenaria,
se puede parametrizar, de manera natural como las superficies de revolución, a partir de
la siguiente aplicación diferenciable:
F : R2 → Catenoide, F (t, v) = (cosh t cos v, cosh t sin v, t),
ası́ que consideramos una parametrización genérica, pero natural, del mismo
X : U ⊂ R2 → Catenoide, X(t, v) = (cosh t cos v, cosh t sin v, t), parametrización.

Helicoide: También sabes que se genera a partir de una recta que se mueve helicoidal-
mente y que se puede parametrizar de manera global (es difeomorfa al plano) por
Y : R2 → Helicoide, Y (ū, v̄) = (v̄ cos ū, v̄ sin ū, ū).

Para ver que son localmente isométricas, −globalmente no lo pueden ser pues no son difeo-
morfas al no ser homeomorfas (el grupo fundamental del Catenoide no es trivial mientras que
el del Helicoide al ser homeomorfo al plano es trivial)−, procedemos como sigue:
1. En primer lugar consideramos la siguiente aplicación diferenciable
φ : R2 → R2 , φ(t, v) = (ū = v, v̄ = sinh t),
es obvio que se trata de un difeomorfismo, que podemos usar para reparametrizar al
Helicoide, ası́ obtenemos la siguiente reparametrización del mismo
X̄ : R2 → Helicoide, X̄(t, v) = (sinh t cos v, sinh t sin v, v).
Por cierto puedes ver como ejercicio que se trata de una parametrización isoterma del
Helicoide.

2
 2. La podemos enfrentar con la parametrización anterior del catenoide, cuando la restringi-
mos al dominio de aquella con lo que obtenemos dos parametrizaciones del Catenoide y
el Helicoide definidas en el mismo abierto del plano, esto es:

X : U ⊂ R2 → Catenoide, X(t, v) = (cosh t cos v, cosh t sin v, t),

X̄ : U ⊂ R2 → Helicoide, X̄(t, v) = (sinh t cos v, sinh t sin v, v).

3. Puedes ver, de manera sencilla, que estas dos parametrizaciones proporcionan los mismos
items de la primera forma fundamental, concretamente

E = Ē = cosh2 t, F̄ = F = 0, G = Ḡ = cosh2 t.

4. Finalmente, usamos un resultado que aprendimos en la clase de ayer para garantizar que
si llamamos V1 = X(U ) y V2 = X̄(U ) a los correspondientes abiertos del Catenoide y del
Helicoide en los que están definidas las parametrizaciones, respectivamente, entonces

X̄ −1 ◦ X : V1 ⊂ Catenoide → V2 ⊂ Helicoide, Isometrı́a Global.

3. Caracterización de las Isometrı́as.

I Es obvio que toda isometrı́a local es automáticamente una aplicación conforme. Vamos a
ver a continuación que:

F Toda isometrı́a local conserva las longitudes de las curvas.

Sea entonces F : S1 → S2 , una isometrı́a local y sea una curva, α : I ⊂ R → S1 , entonces se

tiene la curva imagen en la segunda superficie, ᾱ : I ⊂ R → S2 , con

ᾱ(t) = F (α(t)),

ası́ que, para cada [a, b] ⊂ I, se tiene:

Z b
Lba (ᾱ) = |ᾱ0 (t)| dt
a

pero es claro que

ᾱ0 (t) = dFα(t) (α0 (t))
y puesto que F es una isometrı́a local, su diferencial en cada punto es una isometrı́a lineal, en
consecuencia
|ᾱ0 (t)| = |dFα(t) (α0 (t))| = |α0 (t)|,
por lo tanto, se tiene
Z b Z b
Lba (ᾱ) = 0
|ᾱ (t)| dt = |α0 (t)| dt = Lba (α).
a a

F ¿Qué te parece si comprobamos que el recı́proco del resultado anterior es tam-

bién cierto? en efecto, vamos a ver la siguiente.

3
F Afirmación: Sea F : S1 → S2 una aplicación diferenciable que conserva la longitud
de curvas, entonces es una isometrı́a local.

I Vamos a probar que la diferencial de F en cualquier punto es una isometrı́a lineal. Sea
entonces p1 ∈ S1 y sea ~x ∈ Tp1 S1 , consideramos una curva α : (−², ²) ⊂ R → S1 con α(0) = p1
y α0 (0) = ~x.
Sea ahora δ con 0 < δ < ², por hipótesis se sabe que F conserva la longitud de la curvas con
lo que para cada t ∈ (−δ, ²) se tiene que

Lt−δ (F (α)) = Lt−δ (α),

es decir Z t Z t
0
|dFα(v) (α (v))| dv = |α0 (v)| dv,
−δ −δ

derivando, se tiene la igualdad de los integrandos

|dFα(t) (α0 (t))| = |α0 (t)|, ∀t ∈ (−δ, ²),

y en particular, tomando t = 0

|dFp1 (~x)| = |~x|, ∀~x ∈ Tp1 S1 , ∀p1 ∈ S1 ,

ahora seguro que sabes probar que en estas condiciones, dFp1 es una isometrı́a lineal.