Captulo VI

Teora de las superficies

1.

F
ormulas de Gauss y de Weingarten

Consideremos una parametrizaci

on regular : U R3 , = (u, v), de clase C 2 de una
superficie S = Im de R3 .
Del mismo modo a como sobre una curva parametrizada de modo regular de R3 (de clase
C 2 y con curvatura no nula en todo punto) tenemos su triedro de Frenet, sobre la superficie S
tenemos tambien un triedro m
ovil que en cada punto de S es una base de R3 : u , v y N .
En el caso de una curva = (t) parametrizada por su longitud de arco, las formulas
de Frenet expresan la derivada de los vectores T, N, B como combinacion lineal de la base
{T, N, B}, obteniendose que los coeficientes de dichas combinaciones dependen u
nicamente de
la curvatura y de la torsi
on.
Para la superficie S, las derivadas parciales de los vectores u , v y N tambien tienen sus
coordenadas en la base que dichos vectores forman: existen funciones kij , ij , ij , i sobre el
abierto U tales que

uu = 111 u + 211 v + 11 N

1
2
uv = 12 u + 12 v + 12 N

1
2
vv = 22 u + 22 v + 22 N
;
(1.1)

Nu = 11 u + 12 v + 1 N

1
2
Nv = 2 u + 2 v + 2 N
uu , uv , vv , Nu , Nv son continuas porque es de clase C 2 (en general, si es de clase C r con
r 2, entonces uu , uv , vv , Nu , Nv son de clase C r2 ). Las formulas (1.1) son las analogas
para las superficies a las de Frenet para las curvas, y veremos que los coeficientes que aparecen
en ellas dependen u
nicamente de la primera y segunda formas fundamentales de la superficie.
Calculemos los coeficientes de las dos u
ltimas, las cuales se conocen como formulas de
Weingarten porque expresan el valor del operador de Weingarten sobre la base {u , v } de
vectores tangentes a S, y por tanto determinan totalmente dicho operador:
(u ) =
u N = Nu ,

(v ) =
v N = Nv ;

en particular Nu y Nv son tangentes a S (porque transforma campos tangentes a S en campos

97

98

Captulo VI. Teora de las superficies

tangentes a S) y por tanto 1 = 0 = 2 (Nu y Nv no tienen componente normal a S). De lo

dicho se sigue que las f
ormulas de Weingarten se expresan como
! 
)

11 21
Nu = 11 u + 12 v
matriz de en
=
.
donde
la base {u , v }
12 22
Nv = 21 u + 22 v
Sabemos que dicha matriz es
1
(gij )1 (Lij ) =
|gij |
1
=
|gij |

g22
g12

g12

g11

g22 L11 g12 L12

g11 L12 g12 L11

L11

L12

L12

L22

g22 L12 g12 L22

g11 L22 g12 L12

por lo que obtenemos

11 =

g12 L12 g22 L11

,
|gij |

21 =

g12 L22 g22 L12

,
|gij |

12 =

g12 L11 g11 L12

,
|gij |

22 =

g12 L12 g11 L22

.
|gij |

Respecto a las tres primeras f

ormulas de (1.1), comencemos observando que






L11 = uu N = 111 u N + 211 v N + 11 N N = 11 ,






L12 = uv N = 112 u N + 212 v N + 12 N N = 12 ,






L22 = vv N = 122 u N + 222 v N + 22 N N = 22 ,
de modo que dichas f
ormulas se expresan como

uu = 111 u + 211 v + L11 N

1
2
uv = 12 u + 12 v + L12 N
.

vv = 122 u + 222 v + L22 N

(1.2)


Las ecuaciones (1.2) se conocen como f
ormulas de Gauss, y la familia de funciones kij se denominan smbolos de Christoffel de la superficie S (respecto de la parametrizacion = (u, v)).
Calculemos los smbolos k11 que aparecen en la primera ecuacion, para lo cual multipliquemos
escalarmente dicha ecuaci
on por u y por v :






)
uu u = 111 u u + 211 v u + L11 N u = g11 111 + g12 211
;






uu v = 111 u v + 211 v v + L11 N v = g12 111 + g22 211
el anterior sistema de ecuaciones con las incognitas 111 y 211 podemos expresarlo matricialmente como
!
!
111
uu u


gij
=
,
211
uu v

99

2. Teorema fundamental de las superficies

y resolviendo por Cramer obtenemos

!
111
211

= gij

1

uu u

uu v

!
.

Procediendo de modo an
alogo con las otras dos formulas de Gauss obtenemos
!
!
!
!
112
122
uv u
vv u

1

1
= gij
,

= gij
.

212
uv v
222
vv v
Seg
un todo lo anterior, para ver que los smbolos de Christoffel de S solo dependen de
su primera forma fundamental, debemos comprobar que las seis funciones uu u , uu v ,
uv u , uv v , vv u , vv v s
olo dependen de la primera forma fundamental:


(g11 )u = u u u = uu u + u uu = 2 uu u


(g11 )v = v u u = = 2 uv u
(g22 )u = 2 uv v

uv v =

1
2

uu u =

uv u =

(g22 )v = 2 vv v

(g22 )u ,

1
2

1
2

(g11 )u ,

(g11 )v ,
vv v =

1
2

(g22 )v ,

(g12 )u = u u v = uu v + u uv
= uu v +
(g12 )v = = vv u +

2.

1
(g11 )v
2

1
(g22 )u
2

uu v = (g12 )u 12 (g11 )v ,
vv u = (g12 )v 12 (g22 )u .

Teorema fundamental de las superficies

Dadas funciones diferenciables , : I R, con I intervalo abierto de la recta real, podemos

ver las formulas de Frenet

T0 =
N

0
N = T + B

B0 =
N
como un sistema de (nueve) ecuaciones diferenciales ordinarias con incognitas T = (T1 , T2 , T3 ),
N = (N1 , N2 , N3 ), B = (B1 , B2 , B3 ). El teorema fundamental de las curvas afirma que cuando
(t) > 0 para todo t I, dicho sistema tiene soluciones que son el triedro de Frenet de alguna
curva = (t) parametrizada por su longitud de arco; como consecuencia se obtiene adem
as
que y son la curvatura y la torsi
on de . Podemos expresar lo anterior diciendo que las
formulas de Frenet son integrables cuando la funcion es siempre positiva .
Ahora, dadas funciones diferenciables g11 , g12 , g22 , L11 , L12 , L22 definidas sobre un abierto
2 > 0, g
U de R2 tales que g11 g22 g12
etrica (gij ) sea
11 > 0, g22 > 0 (para que la matriz sim




definida positiva), consideramos sobre U las funciones kij , ij obtenidas a partir de gij , Lij

100

Captulo VI. Teora de las superficies

como hemos descrito en la anterior secci

on, y obtenemos que las formulas de Gauss-Weingarten
definen un sistema de (dieciocho) ecuaciones en derivadas parciales,

Fu = 111 F + 211 G + L11 H

Gu = Fv = 112 F + 212 G + L12 H

1
2
Gv = 22 F + 22 G + L22 H
,

Hu = 11 F + 12 G

1
2
Hv = 2 F + 2 G

(2.1)

con incognitas F = (F1 , F2 , F3 ), G = (G1 , G2 , G3 ), H = (H1 , H2 , H3 ).

Diremos que el sistema de Gauss-Weingarten (2.1) es integrable cuando existen soluciones
F, G, H de clase C 1 ; en ese caso se cumple Fv = Gu y por lo tanto es facil encontrar una
aplicacion = (u, v) que cumple u = F y v = G. Si la solucion se ha determinado fijando
unas condiciones iniciales convenientes (por ejemplo, que para cierto (u0 , v0 ) U , H(u0 , v0 )
sea un vector unitario ortogonal a F (u0 , v0 ) y G(u0 , v0 )), entonces para la superficie S que
define la parametrizaci
on = (u, v) tenemos que H es un vector unitario normal sobre todo
S, y por tanto el sistema de ecuaciones
(2.1)

se convierte en las formulas de Gauss-Weingarten
de S ; en particular, las funciones gij , Lij de partida cumplen que (gij ) es la primera forma
fundamental de S y (Lij ) es la segunda forma fundamental de S.
El problema cl
asico de integrabilidad de las formulas de Gauss-Weingarten se expresa abreviadamente del siguiente modo: dadas una metrica simetrica definida positiva g y una metrica
simetrica 2 , existe alguna superficie de R3 cuya primera forma fundamental sea g y cuya
segunda forma fundamental sea 2 ?
En general la respuesta es negativa, a no ser que se cumplan ciertas condiciones de compatibilidad que resultan de la siguiente observacion: si = (u, v) es la parametrizacion de
una superficie para la que queremos asegurar que los coeficientes {Lij } de su segunda forma
fundamental sean de clase C 1 , entonces debe ser de clase C 3 , en cuyo caso u y v seran de
clase C 2 y por lo tanto sus derivadas cruzadas coincidiran, (u )uv = (u )vu y (v )uv = (v )vu ,
es decir
(uu )v = (uv )u ,
(vv )u = (uv )v .
(2.2)
Utilizando las f
ormulas de Gauss podemos expresar las ecuaciones (2.2) como




111 u + 211 v + L11 N v = 112 u + 212 v + L12 N u ,




122 u + 222 v + L22 N u = 112 u + 212 v + L12 N v .
Si primero derivamos respecto de u y v, luego sustituimos uu , uv , vv , Nu , Nv en funcion de
u , v , N utilizando las f
ormulas de Gauss-Weingarten, y por u
ltimo igualamos coordenadas
teniendo en cuenta que {u , v , N } forman base, entonces llegamos a seis igualdades que se
reducen a las tres siguientes:

(L11 )v (L12 )u = L11 112 + L12 212 111 L22 211
,
(2.3)


(L12 )v (L22 )u = L11 122 + L12 222 112 L22 212

2. Teorema fundamental de las superficies



 






1
1 1 + 2 1 1 2 2 1
Lij  = g11 1

22 u
12 v
22 11
22 12
12
12 22






+ g12 222 u 212 v + 122 211 112 212 .

101

(2.4)

Las ecuaciones de compatibilidad (2.3) y (2.4) relacionan los coeficientes de la primera forma
fundamental con los coeficientes de la segunda forma fundamental; las (2.3) se conocen como
ecuaciones de Codazzi-Mainardi, y (2.4) se llama ecuacion de Gauss.
Por tanto, si queremos que unas metricas dadas (gij ) y (L
las formas fundamentales
ij ) sean
de alguna superficie, entonces es necesario que las funciones gij , Lij cumplan las ecuaciones
de Codazzi-Mainardi y la ecuaci
on de Gauss. El teorema fundamental de las superficies
afirma que el cumplimiento de dichas ecuaciones es tambien una condicion suficiente; por este
motivo, las ecuaciones de compatibilidad (2.3) y (2.4) se conocen tambien como condiciones
de integrabilidad de las f
ormulas de Gauss-Weingarten.
2.1 (Teorema fundamental de las superficies) Sea U un abierto de R2 sobre el que hay
definidas funciones g11 , g12 , g22 de clase C 2 y funciones L11 , L12 , L22 de clase C 1 tales que:
2 > 0;
(i) g11 > 0, g22 > 0, g11 g22 g12

(ii) g11 , g12 , g22 , L11 , L12 , L22 cumplen las ecuaciones de Codazzi-Mainardi (2.3) y la
ecuaci
on de Gauss (2.4).
Entonces, para cada (u0 , v0 ) U existe una parametrizacion regular = (u, v) de clase
definida en un entorno abierto de (u0 , v0 ) dentro de U para la cual (gij ) es la primera forma fundamental y (Lij ) es la segunda forma fundamental. Ademas, la superficie que define la
parametrizaci
on = (u, v) es u
nica salvo su posicion en el espacio (esto es, salvo un movimiento directo).
C3

La demostraci
on del teorema fundamental de las superficies se obtiene como consecuencia
de los teoremas de existencia y unicidad de soluciones para ciertos sistemas de ecuaciones en
derivadas parciales, y es por eso que no la haremos. (Recuerdese que para probar el teorema
fundamental de las curvass se aplicaba la teora de ecuaciones diferenciales ordinarias.)
Una consecuencia de la ecuaci
on de Gauss es el siguiente resultado muy importante:
2.2 (Teorema egregio de Gauss) La curvatura de Gauss de una superficie de clase C 3 de
R3 depende solamente de su primera forma fundamental.
Demostraci
on. Sea = (u, v) una parametrizacion regular de clase C 3 de una superficie S, y
sean g11 = u u , . . . , L22 = vv N las funciones coeficientes
de la primera y segunda formas


fundamentales de S donde N = (u v )/|u v | . Entonces la curvatura de Gauss KG de
S cumple la igualdad
 
Lij 
L11 L22 L212
KG =   =
2 .
g11 g22 g12
gij
Para terminar la demostraci
on basta tener en cuenta que seg
un la ecuacion de Gauss (2.4) el
numerador de la igualdad anterior puede expresarse como funcion de las funciones {gij } (y sus
derivadas).

102

Captulo VI. Teora de las superficies

2.3 (Geometra intrnseca) Consideremos una parametrizacion regular : U R3 ,

= (u, v), de clase C 2 de una superficie S de R3 . Recordemos que por definicion suponemos que el abierto U es conexo, de modo que la superficie S tambien es conexa. Por lo tanto
todo par de puntos suyos se pueden unir por una curva que yace sobre S : dados P0 , P1 S,
existe una curva : I S tal que (t0 ) = P0 y (t1 ) = P1 para ciertos t0 , t1 I , (esta
afirmacion se deje como ejercicio).
Sabemos que la primera forma fundamental de S determina las longitudes de las curvas que
estan sobre S, por lo que la primera forma fundamental define la siguiente distancia : dados
P, Q S,
d(P, Q) := nfimo de las longitudes de los arcos de curva sobre S que van de P a Q .
Es inmediato comprobar que la aplicaci
on d : S S R definida es una distancia en el sentido
de la topologa.
No es facil, pero puede probarse que si se conoce la distancia d sobre S, entonces puede
construirse a partir de ella la primera forma fundamental g de la superficie.
La geometra intrnseca de S es el estudio de las propiedades de la superficie que permanecen
invariantes cuando se deforma S sin estirarla ni romperla, es decir, conservando las distancias
entre sus puntos. Seg
un lo dicho en el p
arrafo anterior, las propiedades intrnsecas de S son
aquellas que dependen u
nicamente de su primera forma fundamental g. Un ser bidimensional
que habitara la superficie S ajeno al espacio R3 del que S forma parte, podra determinar
todas las propiedades intrnsecas de la superficie sin mas que saber medir las distancias entre
los puntos de S (esto es, las longitudes de los arcos de curvas sobre S): areas de regiones, el
angulo formado por dos direcciones en un punto, la curvatura de Gauss (teorema egregio), el
tipo de un punto (elptico, hiperb
olico o parabolico/plano).
La segunda forma fundamental 2 no es una propiedad intrnseca de la superficie porque no
esta determinada por la primera forma fundamental g, si bien esta lejos de ser independiente
de g porque se deben cumplir las ecuaciones de Gauss y de Codazzi-Mainardi. Para entender el
papel de la segunda forma fundamental hay que tener en cuenta que al deformar S sin alterar
las distancias entre sus puntos, podemos obtener otra superficie de aspecto o forma muy
diferente. Por ejemplo, una peque
na region de un cilindro circular puede desplegarse para
dar lugar a una regi
on plana; ambas superficies tienen la misma primera forma fundamental a
pesar de tener formas distintas; la diferencia entre ellas viene dada por la diferencia entre sus
segundas formas fundamentales. As pues, la segunda forma fundamental determina el modo
en que la superficie se sumerge en R3 .

3.

Curvatura normal y curvatura geod

esica

Fijemos una parametrizaci

on regular : U R3 , = (u, v), de clase C 2 de una superficie
S = Im de R3 . Tenemos la base {u , v } de campos tangentes a S y el vector unitario
N = (u v )/|u v | normal a S. Tambien tenemos, respecto de dicha base, la matriz (gij )
de la primera forma fundamental g y la matriz (Lij ) de la segunda forma fundamental 2 .
Definici
on 3.1 Sea : I R3 una curva regular que yace sobre S ; esto es, (t) =




(u,v)
u(t), v(t) con I U diferenciable tal que u0 (t), v 0 (t) 6= (0, 0) para todo t I. El

3. Curvatura normal y curvatura geodesica

103

vector tangente unitario a la curva es T = 0 /| 0 |. Se define la curvatura normal de la curva

sobre la superficie S como la funci
on
Kn := 2 (T, T ) ;
es decir, dado t I, en el punto (t) la curvatura normal es
Kn (t) := 2,(t) (Tt , Tt ) .
Notese que Kn puede tomar valores negativos.
3.2 Recordemos que Kn (t) es (salvo el signo) la curvatura en el punto (t) de la seccion plana
de la superficie S en (t) seg
un la direccion tangente a la curva en dicho punto (vease la
interpretaci
on geometrica V.6.19). Por lo tanto es claro que la curvatura normal de en un
punto depende solamente de la direccion tangente a la curva en el punto. Es decir, se cumple:
(Teorema de Meusnier) Si dos curvas sobre S son tangentes en un punto P , entonces tienen en
P la misma curvatura normal.


3.3 Veamos la expresi
on de Kn en coordenadas. Como (t) = u(t), v(t) tenemos 0 =
u0 u + v 0 v es decir, las coordenadas de 0 en la base {u , v } son (u0 , v 0 ). Por lo tanto
!
0








u
0 0
0 2
0 2
+
2L
u
v
+
L
v
,
=
L
u
2 ( 0 , 0 ) = u0 v 0 Lij
12
22
11
v0
!
0
 0 2

2

2




u
  = g( 0 , 0 ) = u0 v 0 gij
= g11 u0 + 2g12 u0 v 0 + g22 v 0 ,
0
v
 0


0
1
2 ( 0 , 0 )
0
0
Kn = 2 (T, T ) = 2
,
=

(
,

)
=
;
2
| 0 | | 0 |
| 0 |2
g( 0 , 0 )
por lo tanto

2

2
L11 u0 + 2L12 u0 v 0 + L22 v 0
Kn =
(3.1)

2

2 .
g11 u0 + 2g12 u0 v 0 + g22 v 0
Definiciones 3.4 Sean un punto P S y un vector no nulo DP TP S. Se dice que DP es una
direccion asint
otica de la superficie S en el punto P si 2,P (DP , DP ) = 0 (esto es, si el vector
DP es isotropo para la metrica 2,P ). Equivalentemente, DP es una direccion asintotica si
la curvatura en P de la secci
on plana de S en P seg
un la direccion DP es nula.
Se dice que la curva = (t) es una lnea asintotica de la superficie S si el vector tangente
en cada punto de la curva es una direccion asintotica de la superficie en ese punto. Equivalentemente, = (t) es una lnea asint
otica si su curvatura normal es constantemente nula.
3.5 De la expresi
on (3.1) obtenida para la
curvatura normal se sigue que la condicion necesaria
y suficiente para que (t) = u(t), v(t) sea una lnea asintotica es que su vector tangente
0 = (u0 , v 0 ) cumpla

2

2
L11 u0 + 2L12 u0 v 0 + L22 v 0 = 0 .
(3.2)
De otro modo, las lneas asint
oticas de S son las curvas sobre la superficie dadas por las
soluciones (u, v) de la ecuaci
on diferencial (3.2).

104

Captulo VI. Teora de las superficies

Definici
on 3.6 Veamos la curva = (t) como curva en R3 (independiente de la superficie
S). Un campo a soporte en la curva consiste en dar un vector de R3 en cada punto de la curva.
Un tal campo se expresar
a en la forma D = (f1 , f2 , f3 ) con fi = fi (t), i = 1, 2, 3, de modo que
para cada t I, D(t) = (f1 (t), f2 (t), f3 (t)) es un vector de R3 en el punto (t). Supondremos
en lo que sigue que los campos a soporte en son diferenciables, esto es, que las funciones
f1 , f2 , f3 son diferenciables.
Como ejemplo de campo a soporte en tenemos: el vector tangente unitario T , el vector
normal principal N y el vector binormal B (los dos u
ltimos definidos donde la curvatura de
no se anula). Un campo a soporte a puede ser tangente a (como T ), o puede ser no tangente
a (como N o B).
3.7 Igual que derivamos covariantemente campos a soporte en la superficie S respecto de campos tangentes a S, podemos tambien derivar covariantemente campos a soporte en respecto
de campos tangentes a . Basta tener en cuenta que la derivada covariante se defina en cada
punto P respecto de un vector e en ese punto: para calcular eP D se elega cualquier curva
= (t) que cumpliera (t0 ) = P y 0 (t0 ) = e para alg
un valor t0 del parametro, y entonces


eP D = (f1 )0 (t0 ), (f2 )0 (t0 ), (f3 )0 (t0 ) ,
D = (f1 , f2 , f3 ) .
Cuando D es un campo en R3 la curva no tiene mas restricciones; cuando D es un campo
sobre la superficie S la curva debe yacer sobre S. Ahora, para un campo a soporte en la
curva deber
a estar dentro de la curva .
Sea entonces D = (f1 , f2 , f3 ) un campo a soporte en . Si en el punto P = (t0 ) consideramos el vector e = 0 (t0 ), entonces para calcular la derivada covariante eP D bastara tomar
= , en cuyo caso ser
a (fi )(t) = (fi )(t) = fi (t), i = 1, 2, 3, y obtenemos


0 (t0 )P D = f10 (t), f20 (t), f30 (t) .
Haciendo abstracci
on del punto P = (t0 ) tenemos


0 D = f10 , f20 , f30 = D0 ,
es decir, derivar covariantemente campos a soporte en respecto del vector tangente 0 es igual
a derivar respecto del par
ametro t.
= h 0 para alguna funcion
Cualquier otro campo tangente a la curva sera de la forma D
diferenciable h = h(t), y por lo tanto sera (basta comprobarlo punto a punto):
D = h 0
D

D = h 0 D = hD0 = hf10 , hf20 , hf30 .

Es facil ver que esta manera de derivar covariantemente campos a soporte en la curva respecto de campos tangentes a la curva cumple las mismas propiedades que la derivada covariante
sobre una superficie (veanse V.5.23 y V.5.24). Con esta notacion, las formulas de Frenet de la
curva se escriben como:

T T =
N

T N = T + B
.

T B =
N

105

3. Curvatura normal y curvatura geodesica

3.8 Volvamos de nuevo a ver la curva = (t) sobre la superficie S fijada al comienzo de

0

la seccion. Ya sabemos que el vector 00 = 0
no es, en general tangente a la curva, e
incluso puede no ser tangente a la superficie.
Dados campos tangentes D1 , D2 a la superficie S, D1 D2 es un campo de vectores sobre S
que tendra su componente tangente a S y su componente normal a S. La parte tangente a S la
denotaremos D1 D2 . La parte normal debe ser de la forma hN para cierta funcion h = h(u, v).
As, D1 D2 y hN son campos a soporte en S tales que
D1 D2 = D1 D2 + hN ,

D1 D2 N = 0 .

Por lo tanto






2 (D1 , D2 ) = D1 D2 N = D1 D2 + hN N = D1 D2 N + h(N N ) = h ,
y obtenemos la f
ormula
D1 D2 = D1 D2 + 2 (D1 , D2 ) N .

(3.3)

En particular, para el vector 0 tangente a la curva tenemos

00 = 0

0 + 2 ( 0 , 0 ) N .

(3.4)

3.9 Interpretemos geometricamente la formula (3.4). Si entendemos = (t) como la trayectoria de un m

ovil en el tiempo t , entonces 0 y 00 son, respectivamente, los vectores velocidad
y aceleraci
on del m
ovil, y se dice que = (t) es una trayectoria inercial si su aceleraci
on
00
00
00
00
es constantemente nula: si = (1 , 2 , 3 ) es tal que = (1 , 2 , 3 ) = (0, 0, 0), entonces
integrando se obtiene f
acilmente que existen escalares a1 , a2 , a3 , b1 , b2 , b3 R tales que
(t) = (a1 t + b1 , a2 t + b2 , a3 t + b3 ) = t(a1 , a2 , a3 ) + (b1 , b2 , b3 ) ,
es decir, = (t) es (un segmento de) la recta de R3 que pasa por el punto (b1 , b2 , b3 ) con
la direccion del vector (a1 , a2 , a3 ). Como ya sabamos, las trayectorias inerciales de R3 son las
rectas. Pero n
otese que son las rectas parametrizadas afnmente , no vale parametrizarlas de
cualquier manera: (t) = (t3 + t, 0, 0) = (t3 + t)(1, 0, 0) es una parametrizacion regular de la
recta y = 0 = z, pero no es una trayectoria inercial porque su aceleracion 00 = (6t, 0, 0) no es
identicamente nula.
Ahora, si la curva est
a sobre S, para un ser bidimensional que habitara la superficie sera

0

= (t) una trayectoria cuya aceleracion es la parte tangencial 0
del vector 00 (la
parte normal 2 ( 0 , 0 ) N es ajena a un tal habitante); es decir, la aceleracion de la trayectoria

0

= (t) sobre S que vera un habitante de la superficie es 0
. Calculemos esta
u
ltima aceleraci
on y veamos que es una propiedad intrnseca de la superficie. Como viene siendo
habitual, utilizaremos el triedro m
ovil {u , v , N } sobre S y las formulas de Gauss-Weingarten:


(t) = u(t), v(t) ,

0 = u0 u + v 0 v ,

106

Captulo VI. Teora de las superficies

00 = u0 u + v 0 v

0





= u00 u + u0 u0 uu + v 0 uv + v 00 v + v 0 u0 uv + v 0 vv
i
h
i

2 h
= u00 u + u0 111 u + 211 v + L11 N + u0 v 0 112 u + 212 v + L12 N
h
i
i

2 h
+ v 00 v + v 0 u0 112 u + 212 v + L12 N + v 0 122 u + 222 v + L22 N
h
h

2

2 i

2

2 i
= u00 + u0 111 + 2u0 v 0 112 + v 0 122 u + v 00 + u0 211 + 2u0 v 0 212 + v 0 222 v
h

2

2 i
+ L11 u0 + 2L12 u0 v 0 + L22 v 0
N;

por lo tanto la componente de 00 que es tangente a S es

0
h 00

2

2 i
0
= u + u0 111 + 2u0 v 0 112 + v 0 122 u
h

2

2 i
+ v 00 + u0 211 + 2u0 v 0 212 + v 0 222 v .

(3.5)

0

en la base {u , v } dependen solamente
Como puede verse, las coordenadas del vector 0
de los smbolos de Christoffel de S, es decir, de la primera forma fundamental de la superficie.
Definici
on 3.10 Con la notaci
on de los puntos anteriores, diremos que la curva = (t) es

0

una geodesica de la superficie S si se cumple 0
= 0, es decir, si el vector 00 es normal
a S a lo largo de toda la curva. Las geodesicas de S son las trayectorias inerciales propias de
la superficie.
3.11 De la
f
ormula (3.5) se sigue que la condicion necesaria y suficiente para que (t) =
u(t), v(t) sea una geodesica es que se cumplan

2

2
u00 + u0 111 + 2u0 v 0 112 + v 0 122 = 0
.

2

2
v 00 + u0 211 + 2u0 v 0 212 + v 0 222 = 0

(3.6)

De otro modo, las geodesicas de S son las curvas sobre la superficie dadas por las soluciones
(u, v) del sistema de ecuaciones diferenciales ordinarias de segundo orden (3.6).
3.12 Aunque ya lo hemos dicho, insistimos porque es importante: las geodesicas de S son
curvas parametrizadas, es decir, puede ocurrir que = (t) sea una geodesica de S, pero que
despues de hacer un cambio de par
ametro t = t(s) obtengamos una nueva parametrizacion
(s) = (t(s)) de la misma curva que ya no sea geodesica de la superficie.
Sin embargo, tambien es importante conocer cuales son las geodesicas de la superficie S
en el siguiente sentido: cu
ales curvas de S admiten una parametrizacion con la que resultan
ser geodesica? Por ejemplo, si S es un plano de R3 , entonces las u
nicas geodesicas de S son
sus rectas. En efecto, el plano S tendr
a un vector normal unitario constante N0 , y existira un
escalar R tal que la ecuaci
on de S es X N0 = ; si = (t) es una curva que esta sobre
el plano cumplir
a N0 = , y derivando dos veces tenemos 00 N0 = 0; si es geodesica de

107

3. Curvatura normal y curvatura geodesica

S, entonces 00 es proporcional a N0 y por lo tanto debe ser 00 = 0, es decir, existen vectores

e0 , v0 R3 tales que (t) = tv0 + e0 .
Otro ejemplo: las geodesicas de una esfera son sus crculos maximos (lo veremos un poco
mas adelante).
El siguiente resultado simplifica el problema de obtener las geodesicas de la superficie S.
Lema 3.13 Sea = (t) una geodesica de S. Se cumplen:
(i) El m
odulo del vector tangente 0 es constante.
d

(ii) Si = (s) es otra parametrizacion de la curva dada cuyo vector tangente

tiene
ds
modulo constante, entonces = (s) tambien es geodesica de S.
Demostraci
on. El apartado (i) es sencillo: si el vector 00 es proporcional al vector normal
unitario N a la superficie, entonces 0 y 00 son ortogonales y por lo tanto

0
0 0 = 00 0 + 0 00 = 0 ,
 2
es decir, la funci
on  0  = 0 0 es constante.
Probemos (ii). Sea t = t(s) un cambio de parametro y consideremos la nueva parametrizad
tiene modulo constante, veamos
cion (s) = (t(s)) para la curva. Supuesto que el vector
que

d2
ds2

es proporcional a 00 (en ese caso

d2
ds2

ds

sera normal a la superficie, porque 00 lo es, y

 
 d 

por tanto = (s) sera geodesica de S). Sean , R constantes tales que | 0 | = y  = ;
ds
tenemos
 
   
 d   dt     dt 
d
d dt
dt 0
=
=

=   =    0  =   ,
ds
dt ds
ds
ds
ds
ds
dt
ds

dt

es constante:
= = /. Entonces obtenemos
ds


 0



d d
d
d 0
d dt
d2
0
=
=
=
=
= 2 00 ,
ds2
ds ds
ds
ds
dt ds

y por lo tanto la funci

on

que es lo que queramos demostrar.

Corolario 3.14 Una curva sobre S es una geodesica (i.e., tiene una parametrizacion con la
que es una geodesica) si y s
olo si al parametrizarla por su longitud de arco es geodesica.
Ejemplo 3.15 Veamos que las geodesicas de una esfera S de R3 son sus crculos maximos
(= circunferencias sobre S que tienen su centro en el centro de S).
Consideremos una geodesica = (t) sobre S ; seg
un el anterior corolario podemos suponer
que esta parametrizada por su longitud de arco. Sabemos que por ser una curva esferica tiene
, B} a
curvatura no nula en todo punto, y por tanto esta definido su triedro de Frenet {T, N
0
00
00
. Como hN i por ser
lo largo de toda la curva, siendo en este caso = T y = N
00

geodesica, la condici
on = N implica que la recta normal principal a en un punto (t)
tiene la direcci
on normal a la esfera en dicho punto; por las propiedades de la esfera, lo anterior
significa que todas las rectas normales principales de la curva pasan por el centro de la esfera.
Por lo tanto = (t) es un arco de circunferencia cuyo centro es el centro de S (vease el
problema III.5.2).

108

Captulo VI. Teora de las superficies

3.16 Terminaremos esta secci

on dando otra definicion equivalente de geodesica. Sea = (t)
una parametrizaci
on natural de una curva que yace sobre la superficie S. Seg
un la formula (3.3)
que hemos probado en la p
agina 105, para el vector tangente unitario T = 0 se cumple
T T = T T + 2 (T, T )N = T T + Kn N ,
y como los vectores T T y N son ortogonales podemos aplicar el teorema de Pitagoras para
obtener
 2


T T  = T T 2 + Kn2 .
 

La funcion T T  =  00 | = es la curvatura de como curva de R3 (es independiente de que


se considere dentro de la superficie S). La funcion T T  se denota Kg y se llama curvatura
geodesica (o curvatura tangencial) de la curva (como curva sobre la superficie S); Kg es la
curvatura de que vera un habitante de la superficie. Tenemos la formula
2 = Kg2 + Kn2 .
Por definicion, es un geodesica de S cuando el vector T T es identicamente nulo, es decir,
una curva sobre una superficie es una geodesica cuando su curvatura geodesica es identicamente nula .

4.

Superficies de curvatura constante

4.1 Las superficies de curvatura constante nula son las llamadas superficies desarrollables .
Como ejemplo hemos visto los cilindros, los conos y las desarrollables tangenciales. Puede
probarse que cualquier superficie desarrollable es localmente como uno de los tres casos mencionados.
Como ejemplo de superficie de curvatura constante positiva tenemos la esfera. Se cumple el
siguiente resultado:
4.2 (Teorema de Liebmann) Las u
nicas superficies compactas (conexas) de R3 de curvatura constante positiva son las esferas.
Mas adelante veremos c
omo construir superficies de R3 de curvatura constante positiva que
no son parte de una esfera (vease el punto 4.8); no seran compactas.
Hemos mencionado dos ejemplos de superficies de curvatura constante que tienen ademas
la propiedad de que todos sus puntos son umblicos: el plano y la esfera. Tenemos:
Teorema 4.3 Sea S una superficie (conexa) de R3 . Si todos los puntos de S son umblicos,
entonces S es un abierto de un plano
o es un abierto de una esfera.
Todos los resultados enunciados hasta ahora en esta seccion tienen demostraciones que
podramos hacer con las herramientas con las que contamos. Sin embargo no los demostraremos
por falta de tiempo.

109

4. Superficies de curvatura constante

4.4 (Teorema de Hilbert) No existe en R3 ninguna superficie cerrada de curvatura constante negativa.
La demostraci
on del anterior teorema es difcil y no esta a nuestro alcance. Un resultado
mas debil que s podramos probar nosotros es el siguiente:
Teorema 4.5 Toda superficie compacta de R3 tiene curvatura positiva en alguno de sus
puntos. Como consecuencia, no existe en R3 ninguna superficie compacta de curvatura constante negativa.
4.6 Veamos c
omo construir superficies de revolucion de curvatura constante (vease el problema
IV.5.4). Dada en el semiplano {y = 0, x > 0} la curva regular (t) = (f (t), 0, h(t)) (con
f, h : I R funciones de clase C m definidas en un intervalo abierto I, siendo f (t) > 0 para
todo t I), haciendola girar alrededor del eje z obtenemos la superficie de revolucion S (de
clase C m ) parametrizada como
: I R R3
(t, ) 7

f (t) cos , f (t) sen , h(t) .

En la resoluci
on del problema V.7.10 se obtiene que la curvatura de Gauss de S es


h0 f 0 h00 f 00 h0
KG =

2

2
2 .
f f 0 + h0
Vamos a considerar curvas que son la grafica de una funcion z = h(x), es decir, (t) = (t, 0, h(t))
con t > 0, en cuyo caso tenemos
KG =

h0 h00
t 1 + h0

2
2 .

(4.1)

Supongamos que queremos obtener una funcion z = h(x) tal que la superficie de revoluci
on
S definida por ella tenga curvatura de Gauss constantemente igual a un n
umero real KG fijado;
entonces hay que encontrar una solucion de la ecuacion diferencial ordinaria de segundo orden
(4.1); si imponemos a dicha ecuaci
on condiciones iniciales h(t0 ) = a0 y h0 (t0 ) = b0 , entonces la
teora de ecuaciones diferenciales nos asegura que existe una u
nica solucion.
z
6

a0

Q
Q
Q

Qr
Q recta de pendiente
Q
Q igual a b0
Q
Q

t0

- x

Es decir, fijados un punto y una recta que pasa

por el, existe una u
nica grafica que pasa por
ese punto, cuya recta tangente en el punto es la
recta fijada, y tal que la superficie de revoluci
on
que genera tiene curvatura constante igual al
valor KG prefijado.

4.7 Utilizando los c

alculos del punto anterior, podemos preguntarnos como son las superficies
de revoluci
on obtenidas a partir de la grafica de una funcion z = h(x) que son desarrollables.
Si KG = 0, entonces h0 h00 = 0 y por tanto h00 = 0, es decir, h(x) = ax+b, de modo que la grafica
es una recta y la superficie de revolucion es un cono. (El cilindro tambien es una superficie de
revolucion desarrollable, pero la recta x =cte no es la grafica de una funcion.)

110

Captulo VI. Teora de las superficies

4.8 Veamos, como consecuencia de lo dicho en el punto 4.6, que existen superficies de revolucion de curvatura constante positiva que no son parte de una esfera. Fijemos n
umeros reales
t0 y R tales que t0 > R > 0, y sea KG = 1/R2 > 0.
z
Q
Q
Si la superficie de revoluci
on S obtenida con es6
Q

Qr
tos datos fuera parte de una esfera S, entonces S
a0
Q
Q
tendra su centro en el eje z, y por tanto su radio
Q
Q

R sera mayor o igual que la distancia del punto

t0 > R.
(t0 , a0 ) S S a dicho eje, esto es, R
r
- x
t0 > R
Pero entonces tendramos
curvatura de Gauss de S = curvatura de Gauss de S
2 < 1/R2 = KG = curvatura de Gauss de S ,
= 1/R
lo cual es absurdo. Por lo tanto S es una superficie de revolucion de curvatura constante positiva
igual a 1/R2 que no es parte de una esfera. Seg
un el teorema de Liebmann 4.2, la superficie S
no puede ser compacta.
Terminaremos dando un ejemplo de superficie de curvatura constante negativa, la seudoesfera, que es la superficie de revoluci
on generada por la curva plana llamada tractriz.
4.9 (Tractriz) En el plano de las coordenadas (x, z), consideremos un carrito que esta sobre
la parte positiva del eje x a una distancia R > 0 del origen, y supongamos que en el origen
hay un ni
no que tiene agarrada una cuerda no elastica de longitud R que esta atada al carrito.
La tractriz es la curva que describe el carrito cuando el ni
no comienza a andar en la direccion
positiva del eje z sin soltar la cuerda.
z
Calculemos la funci
on z = h(x) cuya grafica es la tractriz. Fijemos un valor x0 en el intervalo abierto I = (0, R).
6
Consideremos el punto P0 = (x0 , h(x0 )) de la tractriz, y
Q0
sea Q0 el punto corte de la tangente a la tractriz en P0
con el eje z. La ecuaci
on de la recta tangente a la grafica
de la funcion z = h(x) en el punto P0 es
6


z h(x0 ) = h0 (x0 ) x x0 ,
h(x0 )

P0

de modo que con un c

alculo sencillo
obtenemos la igual

0
6
dad Q0 = 0 , h(x0 ) x0 h (x0 ) . Observese que en cada
x
momento la cuerda que une al ni
no con el carrito es tan

x0
R
gente a la trayectoria (cuando el carrito esta en el punto
P0 el ni
no se encuentra en el punto Q0 ), y que la distancia
entre el carrito y el ni
no es constantemente igual a R (la distancia de P0 a Q0 es R). Por lo
tanto tenemos

2

2
R2 = d(P0 , Q0 ) = x20 + x20 h0 (x0 ) .

2
Haciendo abstracci
on del valor x0 I obtenemos la igualdad R2 = x2 + x2 h0 , y como es
claro que la pendiente de la funci
on z = h(x) es negativa, concluimos que h cumple la ecuacion

111

5. Problemas

diferencial

r
h0 =

p
R 2 x2
R2
1 =
.
x2
x

Integrando obtenemos
Z
h(x) =
x

p
R2 t2
dt + cte ,
t

x (0, R) ;

(4.2)

como la funci
on h es continua en el intervalo (0, R] si definimos h(R) = 0, concluimos que la
constante que aparece en la igualdad (4.2) debe ser nula.
4.10 (Seudoesfera) Sea h = h(t), 0 < t < R, la funcion que se ha obtenido en el punto
anterior, y cuya gr
afica es la tractriz. La seudoesfera es la superficie de revolucion que se
genera al girar alrededor del eje z la curva (t) = (t, 0, h(t)) (vease el punto 4.6).

Para calcular la curvatura KG de la seudoesfera utilizaremos la formula (4.1):

p
h0 h00
R2 t2
R2
1
0

KG =
h =
, h00 = p

2
2 = 2 < 0 .
t
R
t 1 + h0
t2 R2 t2
Por analoga (recordemos que una esfera de radio R tiene curvatura constante positiva igual a
1/R2 ), se dice que R es el seudoradio de la seudoesfera.

5.

Problemas

Sea C una curva sobre una superficie S de R3 .

(a) Si C es una recta, entonces C es lnea asintotica de S y tambien es geodesica de S.
(b) Si C es lnea asint
otica y es geodesica de S, entonces C es una recta.
(c) La condici
on necesaria y suficiente para que C sea lnea asintotica de S es que en cada
punto de C de curvatura no nula coincidan el plano osculador a C y el plano tangente a S.
(d) La condici
on necesaria y suficiente para que C sea geodesica de S es que en cada punto
de C de curvatura no nula el plano osculador a C sea perpendicular al plano tangente a S.

5.1

5.2

Sean S1 y S2 superficies de R3 que son tangentes a lo largo de una curva C.

(a) Si C es lnea asint
otica de una de las superficies, entonces tambien lo es de la otra.
(b) Si C es geodesica de una de las superficies, entonces tambien lo es de la otra.

112

Captulo VI. Teora de las superficies

5.3 Pruebese que la condici

on necesaria y suficiente para que la curvatura media km :=
1
(k
+
k
)
de
una
superficie
S
de R3 se anule en un punto P S, es que exista una base
1
2
2
ortogonal de TP S formada por vectores isotropos. [As como el ser ortogonales se refiere siempre
a la metrica eucldea g (la primera forma fundamental de S), el ser isotropo se referira a la
metrica simetrica 2 (la segunda forma fundamental de S).]
5.4 Sean C1 y C2 curvas que yacen sobre una superficie S de R3 y que se cortan ortogonalmente en un punto P S. Pruebese que la suma de las curvaturas normales de C1 y C2 en
P es constante (no depende de las curvas C1 y C2 ). Claramente, dicha constante debe ser la
suma de las curvaturas principales de S en P (i.e., el doble de la curvatura media).
5.5 Sea S una superficie de R3 cuya curvatura de Gauss no se anula en ning
un punto y cuya
curvatura media se anula en todo punto. Pruebese que por cada punto de S pasan dos, y solo
dos, curvas asint
oticas, que adem
as son ortogonales.
Sea = (u, v) una parametrizacion de una superficie S de R3 .
(a) Pruebese: las curvas parametricas son lneas de curvatura g12 = 0 = L12 en los
puntos no umblicos.
(b) Pruebese: las curvas parametricas son lneas asintoticas L11 = 0 = L22 .
(c) Que debe ocurrir para que las curvas parametricas sean geodesicas?

5.6

5.7

5.8

Sea S el cilindro circular de radio r > 0 centrado en el eje z, cuya ecuacion es x2 +y 2 = r2 .

(a) Est
udiesen las lneas asint
oticas de S.
(b) Est
udiesen las geodesicas de S.
Considerese en R3 la superficie S parametrizada del siguiente modo:
: U R3
(u, v) 7 (u cos v, u sen v, v 2 ) ,

siendo U = R2 {(0, 0)}.

(a) Est
udiesen las lneas asint
oticas de S.
(b) Son geodesicas las curvas parametricas?

2
5.9 Sea S la superficie de R3 dada por la ecuacion z = y 2 x . Pruebese que el lugar
geometrico de los puntos parab
olicos de S es una curva que es lnea asintotica de S.
5.10 Teorema de Beltrami-Enneper: Sea C una lnea asintotica de una superficie S de
R3 . En los puntos de C donde est
a definida su torsion (donde la curvatura de C no se anula)
se cumple
p
= KG .
5.11 Teorema de Meusnier: Sean P un punto de una superficie S de R3 y sea DP TP S
una direccion no asint
otica. Si se considera el haz de planos determinado por la recta P + hDP i
(que es una recta tangente a S), entonces los crculos osculadores de la interseccion de S con
dichos planos est
an sobre una esfera.

113

5. Problemas

5.12 Sea = (t) una curva sobre una superficie S de R3 y sea N el vector normal unitario
a la superficie. La curva es una geodesica de S si y solo si se cumple [ 0 , 00 , N ] = 0 en todos
los puntos de la curva.
5.13 Considerese una funci
on diferenciable F sobre R3 de clase suficientemente alta y de3
notemos J = F (R ), que ser
a un intervalo de R. Supongase que el campo de vectores grad F
sobre R3 no tiene puntos singulares, en cuyo caso tenemos en R3 la familia de superficies
{S F (x1 , x2 , x3 ) = }J .
Pruebese que las geodesicas de dicha familia de superficies estan dadas por las ecuaciones
diferenciales

 0
 x x00 Fx1 
3
1
1


X

 0
00 F
x
x
x0i Fxi = 0 ,
 2
x2  = 0 .
2


i=1
 x0 x00 Fx 
3
3
3
Es decir, una curva : I R3 , (t) = (1 (t), 2 (t), 3 (t)), es geodesica de S para alg
un
J, si y s
olo si para todo t I se cumplen
 0

 (t) 00 (t) Fx1 ((t)) 
3
1
1


X


 0

i0 (t)Fxi 1 (t), 2 (t), 3 (t) = 0 ,
 2 (t) 200 (t) Fx2 ((t))  = 0.


i=1
 0 (t) 00 (t) Fx ((t)) 
3

5.14 Obtenganse, aplicando el problema 5.13, las geodesicas de una esfera de R3 centrada en
el origen.
5.15 Sea = (t) una curva sobre una superficie S de R3 y sea N el vector normal unitario
a la superficie. La curva es lnea asintotica de S si y solo si se cumple 0 N 0 = 0 sobre toda
la curva.
5.16 Con la notaci
on fijada en el problema 5.13, pruebense:
(a) Las lneas asint
oticas de la familia de superficies {S }J estan dadas por las ecuaciones
3
X

x0i Fxi = 0 ,

i=1

3
X

x0i x0j Fxi xj = 0 .

i,j=1

(b) Las lneas asint

oticas de la familia de superficies {S }J estan dadas por las ecuaciones
3
X
i=1

x0i Fxi = 0 ,

3
X

x00i Fxi = 0 .

i=1

x4
y4

. Pruebese que las lneas

a4
b4
asintoticas de S son las curvas en que la superficie es cortada por las familias de cilindros
 2

 2

x
y2
x
y2
+ 2 =
,
2 =
.
a2
b
a2
b

5.17

Considerese en R3 la superficie S de ecuacion z =

114

Captulo VI. Teora de las superficies

TIRANDO DEL TREN

SURGE UNA GEOMETRA

La pasada semana conocimos a la cicloide. Vimos que era una curva muy
especial que se dibuja mecnicamente al moverse una rueda. Hoy te
traemos otra importantsima curva que tambin se genera de un modo
mecnico. Naci de la imaginacin de Huygens en 1692, quien le puso
de nombre tractriz o tractrix. Despus, Leibniz y los Bernoulli siguieron estudiando sus propiedades en profundidad. A finales del siglo XIX, Beltrami encontr una aplicacin insospechada de ella en la seudoesfera.

por Lolita Brain

AS SE GENERA LA TRACTRIZ

n modo mecnico y sencillo de generar la tractriz

es como sigue: si alguien
tira de un tren de juguete al
que lleva sujeto por una
cadena tensa y comienza a
caminar por el borde de
una acera rectilnea, el trenecito de juguete se desplazar tal y como ves en el
diagrama. El juguete dibujar una tractriz.

AULA

DE EL

MUNDO

sta es la imagen de la tractriz. Como ves tiene dos ramas, segn el

movimiento se realice hacia la izquierda o hacia la derecha. La
recta en rojo se denomina asntota de la tractriz, ya que la curva se
aproxima a ella pero nunca llega a contactarla. En el caso del tren de
juguete, la asntota sera la acera por la que se desplaza la persona
que tira de l. Esta curva se hizo famosa por el problema propuesto
por Leibniz: Cul ser la curva que dibuje un reloj de bolsillo sobre
una mesa, cuando, manteniendo tensa su cadena, se desplaza el
otro de sus extremos por una recta?

T TAMBIN PUEDES HACERLO

i quieres dibujar mecnicamente una tractriz, slo necesitas cinta adhesiva, una chincheta con cabeza grande, un bolgrafo, una tira de cartn con
dos agujeros, uno en cada uno de sus extremos, y una hoja de papel (imagen 1). Coloca la hoja de papel en la que se dibujar la tractriz sobre una
mesa, cuidando de ajustar sus bordes con la hoja. Sujtala a la mesa con
cinta adhesiva. Coloca la tira de cartn perpendicularmente sobre el papel.

Pincha la chincheta en uno de sus agujeros e introduce el bolgrafo en el otro

(imagen 2). Desliza suavemente la chincheta hacia la derecha sin permitir
que se separe del borde de la mesa. Al hacerlo, no presiones con el bolgrafo, djalo deslizar suavemente segn mueves la chincheta (imagen 3). Conforme deslizas la chincheta, sta arrastrar la tira de papel y el bolgrafo dibujar en la hoja una tractriz (imagen 4).

LA TRACTRIZ Y LA CATENARIA

a catenaria y la tractriz
estn ntimamente ligadas.
Se dice que la tractriz es la
evoluta de la catenaria: si en
cada punto de la tractriz trazas su tangente y una recta
perpendicular a ella, la llamada normal, la curva que
envuelve esas normales es
una catenaria. Al revs, si por cada punto P de la catenaria trazas su tangente y sobre ella llevas la distancia que separa a P del
vrtice de la catenaria -el extremo inferior-, se traza una tractriz, que es la involuta de la catenaria.

LA SEUDOESFERA DE BELTRAMI

esde que Lobachevski demostrara que la Geometra Eucldea, en la que la suma de los ngulos de
un tringulo es de 180 , no era la nica posible,
sino que perfectamente poda existir la Geometra
Hiperblica en la que los
tres ngulos de un tringulo suman menos de 180 ,
los matemticos se pusieron a buscar modelos reales en los que la nueva
geometra funcionara. No
fue un camino fcil. El italiano Beltrami encontr, en
1868, que la seudoesfera
era un espacio para la geometra hiperblica. Ms
tarde, Klein encontr otro
EUGENIO BELTRAMI
modelo.
(1835-1900)
o

i hacemos girar una tractriz

alrededor de su asntota,
obtenemos una superficie
de revolucin que tiene curvatura negativa (se curva
hacia adentro) en todos
sus puntos. Es la
seudoesfera.

AL CORTAR UNA CADENA

i colgamos una cadena por sus

extremos, la forma que adopta
es de una catenaria. Cortando la
cadena por el punto inferior, su
punto medio, el extremo de cada
brazo de la misma dibujar precisamente una tractriz. Ello se
produce porque la tractriz es
la evoluta de la catenaria. La
asntota de la tractriz es por
tanto la mxima altura que la
cadena no alcanza cuando
se corta.

lolitabrain@lolitabrain.com