Curvas y Superficies, Grupo A

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

Miércoles, 13 de Mayo de 2020

1. Introducción: Geometrı́a Intrı́nseca versus Geometrı́a

Extrı́nseca.
A lo largo de este curso, con frecuencia, me he referido a la Geometrı́a Intrı́nseca de una
superficie en contraste con la Geometrı́a Extrı́nseca de dicha superficie en el espacio que la
circunda. Quiero, aunque sea pesado, referirme una vez más a esta dicotomı́a en la Geometrı́a
de las superficies regulares en R3 .
Estamos estudiando superficies regulares que viven en el espacio Euclideo tridimensional

S ⊂ R3 .

Entonces, es fácil entender que existen propiedades en la Geometrı́a de S que sólo dependen
de la propia superficie sin que su manera de estar dentro de R3 influya en ellas. Naturalmente,
en contraste, hay otras propiedades en las que la manera en que la superficie está en R3
resulta esencial y decisiva. Las primeras forman parte de lo que conocemos como Geometrı́a
Intrı́nseca de la superficie mientras que el estudio de las segundas integran lo que conocemos
como Geometrı́a Extrı́nseca de S en R3 .
Abusando de vuestra paciencia, en términos alegóricos, se podrı́a decir que la Geometrı́a
Intrı́nseca de una superficie es la que aprecian, miden y observan los habitantes de la superficie,
aquella que forma parte del diario de sus ciudadanos cual si estiviesen confinados (como en
las pandemias) dentro de la superficie e incluso en una vecindad o barrio (parametrización) de
la misma. Saben, por ejemplo, que su barrio se puede parametrizar, al menos una vez, lo que
les permite hablar de coordenadas. Aparecen, por cada punto de aquel dos curvas, llamadas
coordenadas, cuyos vectores tangentes generan el plano tangente a la superficie en el punto, el
plano tangente de su barrio que aparece en cada punto del mismo. Son conceptos intrı́nsecos,
propios de la superficie.
Otra cosa es que nosotros, siempre en una situación ventajosa, desde fuera de S, veamos las
curvas coordenadas de una superficie como curvas en R3 que están en la superficie. También
vemos que sus vectores tangentes como vectores del espacio tienen tres coordenadas, algo
desconocido para ellos. Además, parece claro que, los pobladores de una superficie no tienen

1
noción de la existencia de la recta normal en cada punto, del barrio. Desconocen la existencia
de vectores normales a la superficie.
Es posible que uno de los conceptos más valiosos para explicar la dicotomı́a entre las Ge-
ometrı́as Intrı́nseca y Extrı́nseca de una superficie es el de orientabilidad. Sabemos muy bien
que el que una superficie, S, sea orientable es una caracterı́stica propia de su Geometrı́a In-
trı́nseca y ası́ lo pusimos de manifiesto en su momento. Sus habitantes saben comparar a las
distintas parametrizaciones bajo el punto de vista de ser compatibles. Pero, claro descono-
cen algo que nosotros, los listos, conocemos, que al estar su mundo dentro de R3 , entonces
la orientabilidad que ellos aprecian es equivalente a la existencia de un campo de vectores,
normal y unitario, globalmente definido sobre la superficie, una caracterización extrı́nseca de
un concepto intrı́nseco. Nosotros, desde fuera de S sabemos apreciar su orientabilidad de dos
maneras equivalentes, una intrı́nseca (la única manera conocida para los ciudadanos de S) y
otra extrı́nseca que aparece por estar S dentro de R3 .

Dicho todo este rollo, te propongo el siguiente experimento.

II Experimento: Desde el privilegio de estar en R3 , nos colocamos en un buen lugar,

cómodos y teniendo buenas vistas. Entonces, desde él, observamos, analizamos y estudiamos
a una superficie, digamos S ⊂ R3 . Nos interesa conocer el diario geométrico de sus habitantes,
¿qué pueden hacer, medir, calcular, percibir, apreciar de la geometrı́a de S o al menos de su
barrio en S?

I Naturalmente, tendremos que proporcionales de una herramienta que les pueda

permitir hacer Geometrı́a. Bueno pues con cuidado y nocturnidad, sin que sospechen de
nuestra existencia, de nuestra presencia, les proporcionamos una métrica, la inducida
sobre los planos tangentes de S por la Euclidea de R3 tan sensitiva y cotidiana para
nosotros. Pero, ¡ojo! ellos sólo conocen la métrica sobre el plano tangente en cada
punto, sólo tienen noción del producto escalar de vectores que sean tangentes a S.
Esto, como bien sabes, es decir que en cada parametrización que consideren de su vecindad,
conocen los tres items, los tres coeficientes, E, F, G de la primera forma fundamen-
tal que codifican el comportamiento métrico de los campos tangentes y locales de
su barrio, los tantentes en cada punto de las correspondientes curvas coordenadas.

I En esencia, queremos estudiar las propiedades de una superficie que sólo dependen de
ella y naturalmente de su primera forma fundamental y a esto le llamamos Geometrı́a
Intrı́nseca de la superficie.

2. Algunas Propiedades Naturales de la Geometrı́a In-

trı́nseca.
I El escenario es el siguiente: Se tiene una superficie S ⊂ R3 , entonces para cada uno de
sus puntos, p ∈ S, se tiene el plano tangente Tp S, un plano de R3p que hereda la métrica
Euclidea (los ciudadanos de S tienen conciencia de Tp S dotado de la métrica inducida pero
no tienen conciencia de que realmente es un plano del espacio Euclideo R3p ). Cuando se toma

2
una parametrización alrededor, en el barrio, del punto genérico p

X : U ⊂ R2 → V = X(U ) ⊂ S,

entonces aparece una base local de campos de vectores tangentes {Xu , Xv } cuyos represen-
tantes en cada punto de V = X(U ) proporcionan una base {Xu (p), Xv (p)} de Tp S, (natural-
mente los habitantes de la superficie conocen esta base aunque no su expresión en R3 ). En
esta base, conocen la métrica, lo que estamos llamando primera forma fundamental
µ ¶
E = hXu , Xu i F = hXu , Xv i
I≡ ,
F = hXu , Xv i G = hXv , Xv i

la cuestión es entonces, ¿Qué pueden medir y calcular en (V = X(U ), I)? Veamos algunos
ejemplos de cosas que pueden matrializar, ejemplos de propiedades de la Geometrı́a Intrı́nseca.

F Pueden calcular longitudes de trozos de curvas. En efecto, sea α : I ⊂ R →

V = X(U ) es una curva, entonces nosotros sabemos que para cada [a, b] ⊂ I, la longitud
del correspondeinte trozo de curva es
Z b
b
La (α) = |α0 (t)| dt,
a

veamos que esta cantidad la pueden medir los habitantes de la superficie. En efecto como
la curva está en V = X(U ), entonces será imagen por X de una curva β(t) = (u(t), v(t))
en U ⊂ R2 de manera que al ser α0 (t) ∈ Tα(t) S, saben expresarlo en la base de la
parametrización, es decir conocen la siguente expresión

α0 (t) = u0 (t) Xu (α(t)) + v 0 (t) Xv (α(t)),

de manera que

|α0 (t)|2 = E (u0 (t))2 + 2F u0 (t)v 0 (t) + G (v 0 (t))2 = Iα(t) (α0 (t)),

y por lo tanto saben calcular la longitud por:

Z b q
Lba (α) = Iα(t) (α0 (t)) dt.
a

I Por ejemplo si viven en una superficie de revolución saben calcular la longitud de sus
paralelos. En efecto si α(t) = (x(t), 0, z(t)) es la curva perfil, entonces las parametriza-
ciones naturales de la superficie de revolución que genera al girar alrededor del eje z son,
como bien sabes, del tipo siguiente:

X(t, v) = (x(t) cos v, x(t) sin v, z(t)),

en este caso sabes que los items de la primera forma fundamental son

E = |α0 (t)|2 , F = 0, G = x(t)2 ,

3
de manera que la longitud del paralelo, P (to ) = X(to , v), obtenido al girar el punto α(to )
saben calcularla, es justamente
Z 2π p
L(P (to )) = G(to , v) dv = 2πx(to ).
0

I Puedes ver cómo los habitantes de un catenoide, S, saben calcular la longitud de la

siguiente curva, entre dos puntos cualesquiera de ella,

α : R → S, α(t) = X(mt, nt), para dos constantes m, n,

donde X es una parametrización natural del catenoide como una superficie de revolución.
F Pueden calcular ángulos de curvas que se cortan en un punto. Imagina que
tienes dos curvas que se cortan en un punto de una superficie, α1 : I1 ⊂ R → S y
α2 : I2 ⊂ R → S con α1 (to ) = α2 (so ) = po ∈ S. Entonces sus vectores tangentes en Tpo S
son: ~x = α1 (to ) y ~y = α2 (so ). Para calcular el ángulo que forman, los artistas que viven
en la superficie toman una parametrización alrededor del punto po y expresan ambos
vectores en dicha parametrización (sus coordenadas sabes que son las mismas que los
tangentes a las curvas en el plano que se aplican por la parametrización en las curvas
dadas, en la base canónica)

~x = α1 (to ) = a Xu (po ) + b Xv (po ), ~y = α2 (so ) = c Xu (po ) + d Xv (po ),

entonces calculan el coseno del ángulo que forman por:

h~x, ~y i E ac + F (ad + bc) + G bd
cos φ = = p p .
|~x||~y | Ipo (~x) Ipo (~y )

I Por ejemplo vamos a ver cómo los habitantes de una esfera se las arreglan para calcular
las llamadas Loxodromas o Lı́neas de Rumbo de la esfera, es decir aquellas curvas en
la esfera que forman un ángulo constante con los meridianos. Para ello consideramos,
por simplicidad la esfera de radio uno y centro el origen, que parametrizamos por sus
coordenadas geográficas (como una superficie de revolución alrededor del eje que une sus
polos, que previamente se han quitado de ella).

X(θ, ϕ) = (sin θ cos ϕ, sin theta sin ϕ, cos θ),

los items de la primera forma fundamental en esta parametrización son

E = 1, F = 0, G = sin2 θ.

Si γ(t) = X(θ(t), ϕ(t)) es una curva dentro de esta parametrización, entonces

γ 0 (t) = θ0 (t) Xθ + ϕ0 (t) Xϕ ,

puesto que el tangente a los meridianos es Xθ , el coseno del ángulo que forma γ 0 (t) con
Xθ es
θ0 (t)
p ,
(θ0 (t))2 + sin2 θ(t)(ϕ0 (t)2

4
entonces, la curva γ(t) es una loxodroma si la cantidad anterior es constante, que lla-
mamos cos c lo que te proporciona una ecuación diferencial muy fácil de integrar puesto
que es de variables separadas, concretamente obtienes

θ0 (t)
= ± cot c ϕ0 (t),
sin θ(t)

cuyas soluciones te proporcionan las ecuaciones de las loxodromas. Son las imágenes por
X de las curvas, en el abierto del plano donde está definida, que son solución de esta
ecuación diferencial, imagino que sabes integrarla.