ti a 35 (2002) 17{40

nea Matema
Mis ela SMM

Geodesi as y Curvatura: una introdu ion

elemental

Santiago R. Siman a

Institute for Mathemati al S ien es
Stony Brook
NY 11794, USA
santiagomath.sunysb.edu

1 Geodesi as en super ies

Aunque nos parez a un he ho trivial, uando onsideramos una super-
ie S dentro de R , ella adquiere una estru tura metri a indu ida por
3

la metri a Eu lideana en el espa io ambiente. Esto es tautologi amente

obvio: dados ve tores X; Y tangentes a S en un punto p, podemos pen-
sarlos omo ve tores en R basados en el mismo punto, y de nir su
3

produ to interno por

hX; Y ip = hX; Y iR : 3

En parti ular, podemos de nir la norma de X en p por la expresion

kX kp = hX; X iR :
1
2
3

Con esto en mente, podemos ahora plantearnos el problema de me-

dir longitudes de urvas (t) = (x(t); y(t); z(t)) que ya en en S , es
de ir, urvas para las uales (t) 2 S para todo t. La solu ion de di ho
problema es relativamente sen illa. Si onsideramos un segmento de la
urva in nitesimalmente peque~no, entre t y t + dt, la longitud dl de
este segmento, a la ual llamaremos el elemento diferen ial de longitud,
 Elpresente trabajo fue realizado bajo los auspi ios de la Funda ion Gabriella
y Paul Rosenbaum.

17
18 Santiago R. Siman a

estara dada por dl = k _ k t dt. La longitud de la urva entre los puntos

( )
(t ) y (t ) es la suma de estas ontribu iones in nitesimales desde t
0 1 0
and t , es de ir, la integral
1

Z t1 Z t1
L( )= dl = k_k (t) dt : (1)
t0 t0

Observe que di ha expresion tiene sentido siempre que sepamos medir

la longitud del ve tor velo idad de la urva, independientemente de si
la super ie esta inmersa en el espa io Eu lideano o no.
Ejemplo 1. Las urvas (t)=( os t; sen t; t) and (t)=( os 2t; sen 2t; t)
1 2
ya en ambas en el ilindro f(x; y; z) : x + y = 1g. Comienzan en
2 2

p = (1; 0; 0) uando t = 0, y pasan por el punto q = (1; 0; 2 ) uando

t = 2 . Sus longitudes entre estos dos puntos son
p p
L( ) = 2 2 y L( ) = 2 5 ;
1 2

respe tivamente. >Por que es L( ) menor que L( )?

1 2

Sabiendo enton es medir las longitudes de urvas en una super ie,

podemos plantearnos problemas un tanto mas exigentes. Entre otros,
si nos damos puntos p y q en S , podemos preguntarnos si existen urvas
en la super ie que unan a los puntos en uestion, y de ser as, entre
todas tales urvas, quisieramos en ontrar aquella que tenga la menor
longitud.
La primera parte del problema anterior es relativamente banal. A
ve es los puntos p y q dados no pueden one tarse por medio de urvas
ontnuas en la super ie, omo en el aso de la super ie en R de nida 3

por la e ua ion x y z = 1, la ual posee dos hojas, y puntos en

2 2 2

una de ellas no pueden ser unidos on puntos en la otra. Por tal motivo,
nos apartaremos de trivialidades inne esarias onsiderando solamente
super ies que sean onexas, o en el peor de los asos, onsiderando tan
solo una omponente onexa de la super ie dada. Pues si p y q ya en
en la misma omponente, siempre existiran urvas ( ontnuas) que los
unan.
Bajo esta suposi ion, la segunda parte del problema adquiere sen-
tido: puesto que existen urvas que unen a dos puntos dados p y q,
podemos preguntarnos si existe una urva on tal propiedad uya lon-
gitud sea lo mas peque~na posible. Tal urva sera, por de ni ion, una
urva geodesi a que une a p y a q . De manera un po o mas general,
se de ne omo geodesi a entre p y q a ualquier urva en S que una a
 Geodesi as y Curvatura 19
estos puntos y que sea un punto rti o del fun ional longitud des rito
en (1).
Previo al estudio de ejemplos, observemos que la solu ion al pro-
blema de omo medir longitudes de urvas nos abre un gran amino de
posibilidades para el estudio de la super ie S . En efe to, puesto que
dados puntos p y q en S existen urvas que los unen uyas longitudes
sabemos omo medir, podemos de nir la fun ion
dS (p; q ) = inf L( ) ;

tomando el n mo sobre todas las urvas en S que unen a los puntos
dados. Di ha fun ion laramente satisfa e las siguientes propiedades:
a) dS (p; q)  0, y es ero si p = q;
b) dS (p; q) = dS (q; p);
) dS (p; q)  dS (p; r) + dS (r; q).
Ex epto por una propiedad que ha e falta veri ar, dS de ne una no ion
de distan ia en la super ie S . Tal propiedad tiene que ver on el
re pro o de la propiedad indi ada en (a): dS (p; q) solo puede ser ero
uando p = q.
Esto le on ere a la super ie S una estru tura de espa io metri o.
Podemos enton es preguntarnos si di ha estru tura metri a determina
de alguna forma uales son las urvas geodesi as en S . La respuesta es
s, y esta odi ada en la desigualdad triangular ( ). Pues si de nimos
una no ion de triangulo en la super ie uyos lados tengan longitudes
que satisfagan esta desigualdad, los segmentos de urvas que delimitan
a tal triangulo son ne esariamente segmentos de urvas geodesi as en
el espa io metri o (S; dS ). Veamos.
Ejemplo 2. >Cuales son las geodesi as en el plano on la metri a Eu-
lideana?
Primero que todo, podemos ambiar de oordenadas si es ne esario,
para que en el nuevo sistema el plano dado sea el plano xy. Y en lo que
respe ta a este problema, nos referiremos a di ho plano omo a R on 2

su metri a usual, olvidandonos que esta in luido en R . No ometemos

3

ningun error al ha erlo pues las metri as de R y R son ompatibles.

2 3

La no ion de distanpia entre los puntos p = (p ; p ) y q = (q ; q ) esta

1 2 1 2
dada por d(p; q) = (p q ) + (p q ) .
1 1
2
2 2
2

La distan ia d ha sido usada desde ha e mu hos siglos en el estudio

de triangulos, onjuntos delimitados por tres segmentos de re tas. La
20 Santiago R. Siman a

longitud de un lado en un triangulo ualquiera es la distan ia entre

los verti es que lo de nen, y las longitudes de los tres lados satisfa en
la desigualdad triangular. Esto es todo lo que ne esitamos para poder
on luir que los segmentos de re tas son las urvas geodesi as del plano.
En efe to, dados los puntos p y q, existe una urva que los une, y
puesto que las longitudes estan a otadas inferiormente, podemos de nir
d(p; q ) = inf L( ). Supongamos que di ho n mo es realizado por
alguna urva (t). Si di ha urva no es un segmento de re ta, tomemos
una por ion su ientemente peque~na de ella, digamos entre t = a y
t = b donde esto se mani este. Consideremos los puntos p = (a) y
0
q = (b), y un punto intermedio r = (t) para ierto t 2 (a; b). Como
0
no es un segmento de re ta en di ho intervalo, los puntos p , q y r
0 0
de nen un triangulo. Si el intervalo [a; b℄ tiene medida muy peque~na,
el segmento de re ta entre p y r tiene longitud l aproximadamente
0 1
igual a la longitud de entre di hos puntos. De manera similar, el
segmento de re ta entre r y q tiene longitud l aproximadamente igual
0 2
a la longitud de entre di hos puntos. En onse uen ia, la longitud de
entre p y q es aproximadamente igual a l + l , y la aproxima ion
0 0 1 2
es ada vez mas exa ta en la medida en que el intervalo [a; b℄ se haga
ada vez mas peque~no. Pero ahora bien, si l es la longitud del segmento
de re ta entre p y q , por la desigualdad triangular podemos on luir
0 0
que l < l + l . Luego, obtendremos una urva entre p y q de longitud
1 2
estri tamente mas peque~na que L( ) si reemplazamos a la urva en el
intervalo [a; b℄ por el segmento de re ta que une los puntos (a) y (b).
Pero esto ontradira el he ho de que realiza la distan ia entre p y
q , y por ende no puede haber una urva entre tales puntos de longitud
menor a la longitud de .
Ejemplo 3. Podramos ata ar el problema planteado en el ejemplo
anterior usando te ni as de Cal ulo Diferen ial. Nos damos la fun ion
longitud de , L( ), para una urva que une a p y q, y nos proponemos
hayar su mnimo. Ha emos esto hayando los puntos rti os de L, es
de ir, aquellos puntos donde su derivada se ha e ero. >Que quiere
de ir eso? Puesto que L es una fun ion de , la interpreta ion de este
metodo hay que ha erla on ierta deli adeza.
Comen emos por a larar un tanto el dominio de la fun ion L, el
ual hemos ignorado hasta el presente. Se trata del onjunto de urvas
que unen a p y q. No perdemos ninguna generalidad si suponemos
que tales urvas unen a di hos puntos en tiempo 1, omenzando en
t = 0 en p y terminando en t = 1 en q . Y puesto que queremos
al ular sus longitudes, supondremos adi ionalmente que tales urvas
son diferen iables on respe to a t. O di ho de otra forma, que poseen
 Geodesi as y Curvatura 21
ve tor velo idad en ada punto. Tambien ne esitaremos que posean
ve tor a elara ion, para lo ual se requiere la existen ia de segundas
derivadas. Terminamos as onsiderando al onjunto
Cpq = f : [0; 1℄ 7! R C diferen iable ; (0) = p; (1) = qg
2 2

omo el dominio de la fun ion L,

L : Cpq 7! R ;

de manera que si es ribimos a en oordenadas omo (t)=( (t); (t)), 1 2

tendremos que
s
Z  2  2
1
d 1 d 2
L( )= + dt :
0 dt dt

>Como podemos al ular la derivada de L? Redu iendo di ho al-

ulo al de la derivada de una fun ion de variable real, omo aquellas
sobre las uales aprendemos en ursos elementales. Veamos.
Sea h : [0; 1℄ 7! R una fun ion ualquiera que al menos sea diferen-
2

iable dos ve es, y tal que h(0) = h(1) = (0; 0). Para un parametro real
 y una urva en Cpq , la fun ion  = +  h tambien sera un elemento
de Cpq , es de ir, una urva C diferen iable que une a los puntos p y q.
2

No pare e el que hayamos ganado mu ho, pero el argumento aun no

termina. Supongamos que es un punto rti o de L, y mas espe i a-
mente aun, supongamos que es un mnimo de L. Luego, L( )  L(~)
para toda urva ~ 2 Cp;q . En parti ular, para ualquier h omo la del
parrafo anterior, tendremos que L( )  L(  ), y la fun ion L(  ) tiene
un mnimo lo al en  = 0. Por lo tanto, su derivada on respe to a 
debe ser nula uando  = 0.
Como fun ion de  , L(  ) es una fun ion omo las estudiadas en
ursos de Cal ulo Diferen ial. Determinaremos su derivada, y usare-
mos el resultado para dedu ir la on lusion apropiada on respe to al
problema de minimiza ion que originalmente nos propusimos.
Usemos la nota ion _ para referirnos a derivadas on respe to a t,
el argumento de la urva (o de h). Usando la regla de la adena,
obtenemos que:
s

d
L( +  h) j =
=0
d
Z 1
d( +  h )  +  d( +  h )  dt j
1 1
2
2 2
2

=0
d d 0 dt dt

=
Z 1
1 (_ h_ + _ h_ )dt :
0 k_k 1 1 2 2
22 Santiago R. Siman a

Ahora podemos integrar por partes. Puesto que h(0) = h(1) = (0; 0),
los terminos de borde se anulan, y obtenemos por resultado
Z     
d
L(  ) j = h
1
d _ dt + h
1 d _ 2
dt :
dt k _ k dt k _ k
=0 1 2
d 0

Para que = sea un mnimo de L, la expresion anterior debe

0
ser identi amente nula para ualquier h = (h ; h ) del tipo onsiderado.
1 2
Es ojamos a h de la forma
 
h =  (t)
d _ ;
dt k _ k

donde (t) es una fun ion no negativa en [0; 1℄ que se anula en 0 y en

1, y que es identi amente igual a 1 en asi todo el resto del intervalo.
Con luimos, por positividad del integrando, que

d _  = 0: (2)
dt k _ k

Podemos re-es ribir el resultado anterior on respe to a un para-

metro mas onveniente que el parametro t. Despues de todo, t fue
sele ionado arbitrariamente y, por onvenien ia, podemos ambiarlo a
nuestro antojo. En efe to, onsideremos el parametro longitud de ar o
s, rela ionado on t por la e ua ion diferen ial
ds
dt
= k _ (t)k :
Notemos que omo fun ion de s, el ve tor velo idad de tiene norma
1. De he ho,
d
= _ ;
ds k_k
lo ual ha e mani estamente obvio lo a rmado. La e ua ion (2) es
equivalente a
d 2

ds
= 0:2

En otras palabras, omo fun ion de la longitud de ar o, (s) tiene

a elera ion nula, y por lo tanto, debe ser una fun ion lineal en s. Puesto
que une a los puntos p y q, si l es la longitud de entre di hos puntos,
tendremos que
(s) = l l s p + sl q :
 Geodesi as y Curvatura 23
Notese omo _ (s) = (q p)=l es un ve tor de norma 1 pues l = kq pk.
Y observe que en este aso, la uni idad del punto rti o del fun ional
L en (1) es su iente para on luir que la urva es en realidad su
mnimo.
Las geodesi as en el plano que pasan a traves de un punto dado
jamas vuelven a to arse. Por otro lado, dada una geodesi a y un punto
exterior a ella, existe una uni a geodesi a que ontiene a di ho punto y
que no interse ta a la geodesi a ini ial. ut
Ejemplo 4. >Cuales son las geodesi as de la esfera de radio a? Respon-
deremos a esta pregunta de manera muy sen illa, utilizando nuevamente
el argumento del Ejemplo 2.
El radio a ara teriza a la esfera da una manera esen ial. Y por estar
in luida en R , la esfera hereda una no ion de distan ia indu ida por la
3

no ion de distan ia en di ho espa io. De he ho, aprendemos sobre esta

no ion muy rapidamente, en ursos de Geometra Eu lideana. Pues
dado puntos p y q en la esfera de radio a, la distan ia entre ellos es
igual a a, donde  es el angulo que sustenta el ar o de p a q sobre
el meridiano de nido por di hos puntos. Llamamos meridiano de una
esfera a ualquier ir unferen ia que tenga el mismo radio y entro de
la esfera en uestion. Ellos son el resultado de interse tar la esfera on
planos que ontienen a su entro. Dos puntos distintos de la esfera
determinan un meridiano de manera uni a, pues ellos, junto on el
entro, determinan de manera uni a un plano.
De esta manera, ya sabemos medir las distan ias entre puntos de
una esfera dada. Ahora podemos de nir un triangulo esferi o. Comen-
zaremos por de ir que tres puntos de la esfera p, q y r no son olineales
si los tres no ya en simultaneamente sobre el mismo meridiano. Dado
tales puntos, el triangulo esferi o que ellos de nen es el onjunto de
puntos de la esfera a otado por los ar os de los meridianos determina-
dos por p y q, q y r, y r y p, respe tivamente.
Las longitudes de los lados de triangulos esferi os satisfa en la de-
sigualdad triangular. En onse uen ia, repitiendo el argumento del
Ejemplo 2, podemos on luir que las geodesi as de la esfera son sus
segmentos de meridianos.
Las geodesi as esferi as (en otras palabras, los meridianos) que pa-
san a traves de un punto vuelven a en ontrarse en el punto antipodal.
Por otro lado, dada una geodesi a y un punto exterior a ella, no existe
ninguna otra geodesi a que ontenga a di ho punto y que no interse te
a la geodesi a ini ial. ut
24 Santiago R. Siman a

Ejer i io 5. Convenzase de que los triangulos esferi os satisfa en la

desigualdad triangular (rela ione este he ho on propiedades de los o-
nos solidos sustentados por triangulos esferi os).
Ejer i io 6. De una demostra ion de que las geodesi as esferi as son
segmentos de meridianos mayores usando un prin ipio varia ional, omo
el utilizado en el Ejemplo 3. >Que sistema de oordenadas sera onve-
niente utilizar? >Como debe ser el ve tor a elera ion de una geodesi a
esferi a en rela ion on la esfera misma?
Ejemplo 7. Finalmente onsideramos un aso muy interesante, el ual
nos servira de mu ho. Por ahora nos ilustrara la dependen ia estre ha
que hay entre la no ion de geodesi a y la metri a subya ente sobre la
super ie en uestion.
Por razones histori as, imitaremos la nota ion usada en Fsi a. Mi-
raremos el onjunto de puntos (x; y; t) 2 R = R que satisfa en la
3 2+1

rela ion x + y t = a para ierto numero real a > 0:

2 2 2 2

Ha = f(x; y; t) : x + y2 2
t = a g:
2 2

Sin embargo, le daremos a este onjunto una estru tura metri a que no
es la indu ida por la metri a Eu lideana en R . Veamos.3

Dar una metri a en una super ie es darse una manera de medir

el produ to interno de ve tores tangentes a la super ie en ualquier
punto de ella. Si U = u x + v y + w t y V = u x + v y + w t
1 1 1 2 2 2
son ve tores tangentes a R , de niremos la forma bilineal Q por la
3

expresion
Q(U; V ) = u u + v v
1 2 1 2ww : 1 2

A R provisto on esta estru tura le llamaremos espa io-tiempo, termi-

3

nologa usada por los Fsi os, y analoga al on epto de espa io Eu li-
deano, termino usado por los Matemati os para referirse a R provisto 3

on su estru tura metri a habitual. Usando esta p forma uadrati a, el

onjunto Ha se torna en la Q-esfera de radio a . 2

Q no es un produ to interno porque en general Q(U; U ) no es mayor

o igual que ero. De he ho, podemos lasi ar los ve tores tangentes
en tres tipos: de imos que U es un ve tor espa ial si Q(U; U ) > 0; U es
un ve tor temporal si Q(U; U ) < 0; y U es un ve tor nulo o en el ono
de luz si Q(U; U ) = 0.
Le daremos a Ha la metri a que la forma bilineal Q indu e sobre
la super ie. Es de ir, de niremos el produ to interno en Ha por la
expresion
= Q(U; V ) :
hU; V i def (3)
 Geodesi as y Curvatura 25
<Un momento! >Por que es esto un produ to interno sobre Ha ? Para
ello todos los ve tores no triviales tangentes a Ha tendran que ser
espa iales, y eso no pare e obvio, >verdad?
En efe to, no es obvio, pero lo podemos veri ar. Consideremos un
ve tor tangente a Ha en el punto (x; y; t):
U = ux + vy + wt :

Puesto que U es tangente a Ha en (x; y; t), tenemos que

xu + yv tw = 0 ;

y por ende,
hU; U i = uu + vv ww
= u + v (xu +t yv)
2
2 2
2

 t (u + v ) (ut + v )(x + y )
2 2 2 2 2 2 2

= at (u + v ) :
2
2 2
2

En la obten ion de este resultado, hemos apelado al uso de la desigual-

dad de Cau hy-S hwarz.
La ota inferior en la expresion anterior solo puede ser ero si u =
v = 0, y en tal aso, w es ero tambien. En otras palabras, hU; U i  0,
y puede ser igual a 0 solamente uando U es el ve tor nulo. <Eureka!
Sobre la super ie Ha, (3) de ne un produ to interno en el espa io
tangente en ada punto.
Ahora sabemos omo medir la longitud del ve tor tangente a una
urva en ada uno de sus puntos, y usando (1), podemos al ular su
longitud. >Cuales son enton es las urvas que minimizan este fun ional
en Ha? La respuesta es bastante sen illa, y la daremos usando un
metodo varia ional.
Puesto que Ha no es onexo, onsideraremos su omponente Ha +

onsistente de puntos (x; y; t) en este onjunto para los uales t > 0. Y

llamaremos s al parametro de la urva (s) = (x(s); y(s); t(s)) que une
a dos puntos dados p y q en Ha . La expresion f_ indi ara la derivada de
+

la fun ion f on respe to a s, y por ahora, tomaremos el parametro s de

manera tal que (0) = p y (1) = q. Luego, si h = (h (s); h (s); h (s))
1 2 3
es ualquier fun ion tal que
x(s)h (s) + y (s)h (s) t(s)h (s) = 0 ;
1 2 3 (4)
26 Santiago R. Siman a

y tal que h(0) = h(1) = (0; 0; 0), enton es  = +  h de ne una

familia de urvas en Ha que one ta a p on q, y que oin ide on
uando  = 0. De tal manera que si es un punto rti o de (1), luego
de una integra ion por partes, obtenemos que
t_
Z      
d  1
d x_ d y_ d
0 = d j = (h ds k _ k + h ds k _ k h ds k _ k )ds ;
=0 1 2 3
0

donde k _ k es medida usando (3). Reparametri emos ahora la urva

omo hi imos en el Ejemplo 3, y usemos la longitud de ar o, parametro
al ual llamaremos s tambien para evitar ambios inne esarias. En
tal aso, k _ k = 1, y en vista del multipli ador de Lagrange (4), la
e ua ion anterior, que se debe satisfa er para todo un tal h, impli a
que  = dds =  . En otras palabras, el ve tor a elera ion de una
_

urva rti a debe ser propor ional al ve tor posi ion. Ahora bien,
puesto que h ; i = a , tenemos que h _ ; i = 0, y por lo tanto,
2

h; i + h _ ; _ i = 0 = a + 1. De tal manera que  = 1=a . Luego,

2 2

la e ua ion geodesi a, es rita on respe to a la longitud de ar o, esta

dada por
 = dds_ = a1 ; 2

y su solu ion es la urva

s s
(s) = p osh a
+ av senh a
;

donde el ve tor velo idad ini ial v, el ual satisfa e hv; vi = 1, se es-
oge de tal manera que (l) = q para ierto numero real positivo l, la
longitud de entre p y q. Vemos enton es que
a q + hp; q ip
2
v= p ;
a hp; q i a 2 4

y que la longitud de entre los puntos p y q es

p !
l = a log
hp; qi + hp; qi a : 2 4

a2

En estas expresiones, hp; qi = Q(p; q) uando vemos a p y a q omo

ve tores tangentes en el espa io-tiempo.
Re ordemos que las geodesi as esferi as se pueden obtener omo
interse iones de la esfera on planos que pasan por su entro. Las
geodesi as de la pseudo-esfera Ha se pueden obtener de manera similar,
 Geodesi as y Curvatura 27
interse tando on planos. Sean p y q puntos distintos en Ha . Ellos +

junto on (0; 0; 0) de nen de manera uni a un plano. La geodesi a

en Ha que une a p y q es un segmento de la urva que se obtiene
interse tando di ho plano on Ha. Tal a rma ion se puede demostrar a
partir de la expresion para la geodesi a (s) en ontrada anteriormente,
la ual, para ada valor de s, es una ombina ion lineal de los ve tores
p y q que ya e en Ha .
La pseudoesfera Ha tiene una realiza ion visualmente a otada. Con-
sideremos la rama Ha , y miremos al mapa
+

x y 
(x; y; t) 7! (u; v) = ;
t t
:

Este es un difeomor smo entre Ha y el dis o Da = f(u; v) 2 R :

+ 2

u + v < a g, provisto on la metri a

2 2 2 1

ds =
(1 a (u + v) )(du + dv ) + a (udu + vdv) ; (5)
2
1
2
2 2 2 2 1
2
2

(1 a (u + v) ) 1
2
2 2 2

y las geodesi as vistas en Da son segmentos de re tas. Sin embargo,

desde el punto de vista metri o, el dis o Da no es a otado. Su metri a
(5) di ere notablemente de du + dv , la estru tura indu ida por la
2 2

metri a habitual del plano, y bajo ella, el borde Da esta a una distan-
ia in nita de ualquiera de sus puntos interiores.
Las geodesi as en Ha se omportan de una manera interesante. Da-
da una geodesi a y un punto exterior a ella, existe un numero in nito
de geodesi as a traves de di ho punto que no interse tan a la geodesi a
original. ut
Los ejemplos dis utidos anteriormente tienen un omportamiento
radi almente distinto. Esto se debe a una propiedad que estudiaremos
en la proxima se ion, y que ya se mani esta en las osas que hemos
he ho hasta ahora.
1 Laexpresion ds2 es una manera l asi a de referirse al produ to interno de
ve tores, de tal forma que si U = (u; v )u + (u; v )v y V = ~ (u; v )u + ~(u; v )v
son ve tores tangentes a Da en el punto (u; v ), su produ to interno en la metri a
(5) es la fun ion

(1 a2 (u + v ) )(
1 2 2 e + e) + a2 (u
1
+ v )(u e + v e)
:
a2 (u + v ) )
(1 1 2 2 2

Cuando U = V es el ve tor tangente a una urva, la raiz uadrada de di ha expre-

sion, es de ir ds, produ e el elemento diferen ial de longitud de la urva.
28 Santiago R. Siman a

En efe to, a manera de ejemplo ilustrativo, onsideremos la esfera

S2 de radio
p 1, el plano Eu lideano R , y la pseudo-esfera H de (pseudo)
2

radio 1. En ada uno de estos asos, miremos ir unferen ias en

estos espa ios, y al ulemos sus longitudes. Por de ni ion, las ir un-
feren ias se des riben dando un punto en el espa io, su entro, y un
numero real positivo r, su radio, y onsisten en el onjunto de puntos
en la super ie que distan r unidades de su entro. Para los ejemplos
es ogidos, las longitudes de tales ir unferen ias no dependen del punto
es ogido omo entro, y resultan ser iguales a 2 sen r, 2r y 2 senh r,
respe tivamente.
En el aso de S , el radio puede variar en el intervalo (0; ), y la
2

longitud de la ir unferen ia de radio r es una fun ion a otada que

al anza su maximo uando r = =2, es de ir, uando se trata del me-
ridiano e uatorial, visto onsiderando su entro omo uno de los polos
esferi os.
Para el plano, las ir unferen ias de radio r tienen longitudes que
varan linealmente on r, y puesto que este vara en (0; 1), di has
longitudes no estan a otadas.
Para la pseudo-esfera H , el radio puede variar en (0; 1) y la fun ion
longitud de una ir unferen ia de radio r no esta a otada tampo o, as
omo o urre en el aso del plano. Sin embargo, esta vez tal longitud
re e exponen ialmente on el radio.
Por ejemplo, si es ojemos al metro omo unidad de longitud, las
ir unferen ias de radio =2 en ada uno de estos tres asos tendran
longitudes 6; 283 m, 9; 870 m, y 14; 459 m, respe tivamente. Si es o-
jemos un radio de 20 metros, la ir unferen ia orrespondiente en H
tendra una longitud del orden de 10 m, es de ir, del orden de un millon
9

de kilometros. En el plano, tal ir unferen ia tendra una longitud del

orden de 125 m. En S , un tal radio es ex esivamente grande, y no
2

podemos hablar de una ir unferen ia on estas ara tersti as. De

ualquier manera, ya sabemos que ah la mayor longitud posible es de
6; 283 m.
Los resultados anteriores no dependen del punto es ogido omo en-
tro porque las super ies estudiadas poseen una gran antidad de si-
metras. Cer a de ualquier punto, di has super ies lu en metri a-
mente de la misma manera omo lu iran si ambiasemos el punto en
uestion.
 Geodesi as y Curvatura 29
2 Curvatura.
En las tres super ies distintas analizadas en la se ion anterior, las
geodesi as exhiben un omportamiento ompletamente distinto. Pa-
ra la esfera, las geodesi as a traves de un punto ini ialmente se se-
paran para luego enfo arse nuevamente en el punto antipodal. Para
el plano, las geodesi as a traves de un punto nun a vuelven a en on-
trarse, y la longitud de la ir unferen ia on entro en di ho punto
re e propor ionalmente on la distan ia a el. En el hiperboloide o
pseudo-esfera, las geodesi as a traves de un punto omun tampo o
vuelven a en ontrarse, pero esta vez la longitud de la ir unferen ia
entrada en di ho punto re e exponen ialmente on la distan ia al
punto en uestion. >Que propiedad de la super ie es responsable por
este omportamiento tan distinto de las geodesi as que pasan por un
punto omun?
La propiedad en uestion es lo al, es de ir, lo que ontribuye a este
omportamiento es algo intrnse o a la super ie uyo efe to en un
punto dado solo depende de lo que pasa metri amente er a del punto.
El efe to neto que produ e enfo amiento o dispersion de las geodesi as
es la \suma de estas ontribu iones lo ales" uando nos movemos a
lo largo de la urva. Por ahora nos on entraremos en la de ni ion y
estudio de esta propiedad lo al, o urvatura.
El termino es apropiado. Anali emos el on epto primeramente a
traves del estudio de una super ie S dentro del espa io Eu lideano R ,3

dada por la e ua ion z = f (x; y). Queremos ver omo se deforma di ha

super ie en el punto (0; 0; f (0; 0)).
Por simpli idad, rede nimos las oordenadas, si es ne esario, para
ponernos en la situa ion donde f (0; 0) = 0. Luego, el plano tangente
en el punto (0; 0; 0), uya e ua ion es xfx(0; 0) + yfy (0; 0) z = 0,
nos permite aproximar linealmente la super ie. En otras palabras,
si intentamos en ontrar puntos (x; y; z) en S on x y y muy er anos
a ero, la mejor aproxima ion lineal es la dada por z = xfx(0; 0) +
yfy (0; 0) donde (x; y ) vara en el entorno de (0; 0) donde ha emos la
aproxima ion. Eso esta muy bien, pero di ha aproxima ion solo re eja
la estru tura lineal de la super ie S en el punto (0; 0; 0). Y queremos
ver la deforma ion de S en (0; 0; f (0; 0)) que nos indique su urvatura.
Pare e enton es razonable estudiar la diferen ia z =f (x; y) xfx(0; 0)
yfy (0; 0), y ver el omportamiento de la super ie resultante er a de
(0; 0; 0). Puesto que hemos removido los terminos que aproximan li-
nealmente la super ie S en (0; 0; 0), el estudio de esta nueva e ua ion
30 Santiago R. Siman a

nos permitira entender la deforma ion de S er a de (0; 0; 0) que no es

lineal, y por ende, envuelve la ontorsion lo al que la super ie expe-
rimenta. Tal ontorsion dependera de los terminos uadrati os de la
fun ion que de ne la super ie S en (0; 0; 0), y resultara inexistente si
estos se anulan en el punto. El on epto es uno de orden al menos 2.
As pues, supongamos que
z = f (x; y ) ; (6)
donde
f (0; 0) = 0 ; (fx (0; 0); fy (0; 0)) = (0; 0) : (7)
>En que sentido es esta super ie S urva en (0; 0; 0)?
En vista de las ondi iones en (7), el plano tangente a S en el punto
(0; 0; 0) es horizontal (y oin ide on el plano xy). La onvexidad de S
mide su urvatura en (0; 0; 0), siendo positiva, omo la de una esfera,
uando todos los puntos de S er a de (0; 0; 0) ya en en el mismo lado
del plano tangente, o negativa si en ualquier entorno de (0; 0; 0) hay
puntos que ya en en distintos lados de di ho plano. Esta expli a ion
heursti a adquiere pre ision si de nimos la urvatura K en (0; 0; 0) por
 
x x f (0; 0) y x f (0; 0)
K = det ; (8)
x y f (0; 0) y y f (0; 0)
el determinante del Hessiano de la fun ion f en el origen.
Puesto que el Hessiano es una matriz simetri a, se puede diagonali-
zar. Si  y  son sus autovalores, K =   . Luego, K > 0 si ambos
1 2 1 2
autovalores son no nulos del mismo signo, K < 0 si los autovalores son
no nulos de signos distintos, y K = 0 si al menos uno de los autovalores
es nulo. La expli a ion heursti a del on epto de urvatura dada en
el parrafo anterior queda perfe tamente lara si es ojemos las oorde-
nadas (x; y; z) de tal forma que f (x; y) =  x +  y + o(x + y ),
1
1
2 1
2
2 2 2

y estudiamos el gra o de z = f (x; y) en un entorno su ientemente

2 2

peque~no del origen.

Usemos (8) para al ular la urvatura del plano. Esto es relati-
vamente elemental. Dado ualquier punto p en el plano xy, pensado
omo un plano inmerso en R , podemos es oger las oordenadas de tal
3

forma que p orresponda a (0; 0; 0) y que z este dada por la fun ion
f (x; y )  0. El Hessiano de tal fun ion es ero. Luego, K (p) = 0 para
ualquier p, lo ual era de esperarse pues el plano es exa tamente eso,
plano.
Ahora usemos (8) para al ular la urvatura del la esfera de radio a.
Podemos ha erlo pues la esfera tambien esta sumergida en R y tiene la
3
 Geodesi as y Curvatura 31
metri a que di ho espa io indu e. El entro de la esfera es irrelevante, y
dado un punto p ualquiera en ella, es ogemos las oordenadas (x; y; z)
de tal forma que p se orresponda
p on (0; 0; 0) y la esfera este dada
lo almente por z = a + a x y . Luego,
2 2 2

 
0
1 0 1
K (p) = det
x x f (0; 0) y x f (0; 0)
= det B a C
= 1:
x y f (0; 0) y y f (0; 0)
0 1
 A
a2

a
Este resultado muestra que la urvatura de la esfera es positiva y no
depende del punto donde se al ule. Su valor a disminuye uadra-
2

ti amente on el radio, lo ual es bastante razonable. Una esfera de

radio ada vez mas y mas grande lu e ada vez mas y mas plana. La
Tierra, una ( asi) esfera on un radio de aproximadamente 6378; 15
km, se rea plana hasta ha e relativamente po o tiempo. Esto no es
sorprendente. Su urvatura (en km ) es del orden de 3; 46  10 .
2 8

Ejer i io 8. Considere las super ies en R de nidas por las e ua iones

3

1 1
z = x + y and z = x
2 2 1 1y : 2 2

2 2 2 2
Por la de ni ion anterior, sabemos que sus urvaturas en el punto
(0; 0; 0) son 1 y 1, respe tivamente. Cal ule la urvatura de ada
una de estas super ies en ualquiera de sus puntos. >Que signo tienen
los resultados?
Ejer i io 9. Demuestre que la urvatura de un ilindro en ualquiera
de sus puntos es ero. >Por que tiene el ilindro la misma urvatura
que el plano?
A pesar del avan e que hemos he ho en el estudio del on epto de
urvatura, la de ni ion se ha dado tan solo para super ies dentro del
espa io Eu lideano, he ho no apli able a la pseudo-esfera Ha dis utida
en el Ejemplo 7. >Como podremos dar una de ni ion intrnse a, es
de ir, una de ni on que solo dependa de S y no del espa io ambiente
donde S pueda estar in luida? Podemos responder di ha pregunta de
varias formas, y por supuesto, todas involu ran a la estru tura metri a
de la super ie.
Una primera forma onsiste en de nir la urvatura en un punto p
por la expresion
K (p) = 3 lim
(log r) : (9)
r! 0
32 Santiago R. Siman a

Aqu,
es el Lapla iano de la metri a en S , y r = r(q) es la distan ia

geodesi a de q al punto p. El Lapla iano es apli ado a la fun ion log r
omo fun ion de q.
Veamos lo que (9) nos da en el aso del plano. La distan ia geodesi a
de q a un punto jo p es la longitud Eu lideana del ve tor q p. Tome-
mos oordenadas que identi quen a p on el origen. Luego, r = kqk es
la distan ia geodesi a entre p y q. Ahora bien, en oordenadas polares
(r; ), el Lapla iano
es el operador dado por

=  + 1 + 1  :
2
r
r
r
r2
2


Para fun iones que solo dependen del radio, el Lapla iano solo involu ra
el al ulo de dos de sus derivadas on respe to a r. De tal forma que
   
1
3
(log r) = 3  +  log r = 3
2
1 1
+ = 0;
r r
r r2 r2

y por ende, K (p) = 0, omo ya sabamos.

Miremos ahora lo que (9) nos da en el aso de la esfera de radio
a. Sea p un punto dado, y es ojamos oordenadas polares (r; ) en la
esfera: r es la distan ia geodesi a al punto p, el ual tomamos omo
uno de los polos de la esfera, y  es el angulo longitudinal del punto,
medido modulo 2 desde un meridiano jo. En estas oordenadas, el
Lapla iano de la esfera es el operador

!2
os ar
 +

= r + a sen
2 1
: 2

a sen ar
r r 
a

Para al ular
(log r) podemos ignorar nuevamente el termino que en-

vuelve a las derivadas on respe to a . Obtenemos

!

2
os a
os

(log r)= r + a sen r r log r = r + ar sen r = 31a +O(r ) ;
r
1 r
a
2
2 2
a a

donde la ultima igualdad se obtiene usando una expansion de Taylor

en torno a r = 0. Luego,
K (p) = 3 lim
(log r) =
1;
r!0 a2
reprodu iendo el resultado para la urvatura de la esfera de radio a
obtenido on anterioridad.
 Geodesi as y Curvatura 33
Ejemplo 10. Puesto que (9) pare e fun ionar bien para al ular la
urvatura del plano y la esfera, usemos di ha de ni ion para al ular
la urvatura de Ha en un punto p.
En oordenadas polares entradas en p, la metri a de Ha se es ribe
omo r
ds = dr + a senh
2 2 2 2
d :
2

a
Impl itamente hemos visto tal osa al al ular la longitud de la ir-
unferen ia de radio geodesi o igual a r para esta super ie. En vista
de ello, el Lapla iano de Ha esta dado por

!
2
osh r
1

= r + a senh ar
r + a senh r
 ;
2
2

a a

analogo al Lapla iano de la esfera on el rol de las fun iones trigo-

nometri as jugado esta vez por las fun iones trigonometri as hiperbo-
li as. Luego,

!

2
osh a
 osh

(log r) = r + a senh r r log r = r + ar senh r
= 31a + O(r ) ;
r
1 r
a 2
2 2
a a

y por ende,
K (p) = 3 rlim
(log r) =
1:
0 ! a2

As pues, la urvatura de la pseudo-esfera Ha no depende del punto

donde se le al ula, y es igual a la onstante negativa 1=a . 2

Ejer i io 11. >Que pasa on los Lapla ianos de la esfera de radio a y

de Ha uando a ! 1? >Por que o urre esto?
Ejer i io 12. El ejer i io anterior sugiere el que podemos ver al pla-
no omo un ierto lmite de super ies de urvatura positiva, y omo
un ierto lmite de super ies de urvatura negativa. >Que propiedad
topologi a permitira diferen iar di hos lmites?
Los resultados anteriores indi an que las expresiones (8) y (9) pro-
du en resultados oherentes. >Como podremos justi ar la equivalen ia
entre ambos on eptos? Responderemos a esta pregunta usando un ar-
gumento elemental, justi ando nuestra respuesta a traves del uso de
dos sistemas de oordenadas muy utiles.
Observemos que el plano tangente a la super ie S en el punto
(0; 0; 0) oin ide on el plano xy, y las dire iones a lo largo de los ejes
de oordenadas son perpendi ulares. Tomemos el ve tor uu + vv en el
34 Santiago R. Siman a

punto (u; v; 0), y por trasla ion pensemoslo omo un ve tor en (0; 0; 0).
Queremos hallar la geodesi a (s) = (x(s); y(s); f (x(s); y(s)) que en el
origen tiene a di ho ve tor omo su ve tor velo idad.
Puesto que S es una super ie dentro de R , tiene ompleto sentido
3

el al ular , y podemos de nir tal expresion omo el ve tor a elera-

ion de la urva . Un argumento sen illo demuestra que la urva es
una geodesi a si y solo si su a elera ion es perpendi ular a la super-
ie, y omo los ve tores x + fxz y y + fy z son tangentes a S en
(x; y; f (x; y)), on luimos que las e ua iones para las omponentes x(s)
y y(s) de una geodesi a estan dadas por
fx (fxx x_ + 2fxy x_ y_ + fyy y_ )
2 2
x + = 0;
1 + fx + fy
2 2

fy (fxxx_ + 2fxy x_ y_ + fyy y_ )

2 2
y + = 0:
1+f +f
2
x
2
y

Usamos di ho resultado para hallar el desarrollo en serie de Taylor de

x_ (s) y y_ (s) de orden 2, y tomando el valor de orrespondiente al
parametro s = 1, obtenemos un punto de la super ie S uyas oorde-
nadas x y y tienen expansiones dadas por
= x(u; v) = u (fxxu + 2fxy uv + 6fyy v )(fxxu + fxy v) + o((u + v ) ) ;
2 2
2 3
x 2 2

y = y (u; v ) = v
(fxxu + 2fxy uv + fyy v )(fxy u + fyy v) + o((u + v ) ) ;
2 2
2 2 3
6 2

(10)
donde las derivadas de f son todas evaluadas en (0; 0).
Lo que el resultado anterior nos di e es que si tomamos el punto de
oordenadas (u; v) en el plano tangente en el origen y nos movemos a
lo largo de la geodesi a (s) uyo ve tor velo idad ini ial es uu + vv ,
uando s = 1 obtenemos el punto p de la super ie S uyas oorde-
nadas x y y poseen las expansiones dadas por (10). De imos enton es
que p tiene oordenadas normales (u; v), y las expansiones nos dan las
aproxima iones ubi as en u y v de las oordenadas x(p) y y(p) de p
omo un punto en R . 3

Podemos ahora pro eder de dos maneras distintas. En oordenadas

normales, el Lapla iano en (0; 0) esta dado por el operador u + v . De
2 2

tal manera que para al ular (9) y demostrar su equivalen ia on (8),

podramos es ribir a la distan ia geodesi a r omo fun ion de (u; v)
y usar (10) para hallar su expansion en serie de Taylor de orden 3, a
partir de la ual sera sen illo el obtener limr!
(log r). En lugar de
0
ello, demostraremos la equivalen ia entre los dos on eptos usando a un
 Geodesi as y Curvatura 35
argumento que involu ra las oordenadas polares, justi ando de paso
la manera omo fueron presentados los al ulos en donde utilizamos la
no ion dada por (9).
En efe to, de imos que el punto p, al ual le hi imos orresponder
sus oordenadas normales (u; v), tiene oordenadas polares (r; ) si u =
r os  and v = r sen . La fun ion que enva a (u; v ) en el valor en s = 1
de la geodesi a que posee di ho ve tor omo velo idad ini ial, enva a
los ve tores r y  en ve tores tangentes a S que son perpendi ulares
el uno on el otro. Abusando de la nota ion, llamaremos r y  a
estos ultimos ve tores tambien. Es evidente que kr k = 1, y por la
perpendi ularidad de r y  , la metri a se expresa omo
ds = dr + g (r; ) d ;
2 2 2 2
(11)
para ierta fun ion nonegativa g(r; ). Claramente, di ha fun ion no es
otra osa sino la norma de  .
>Como podremos hallar la expresion en oordenadas de  ? En otras
palabras, > omo podremos hallar los oe ientes que nos produz an la
igualdad
 = Ax + By + Cz
en el punto on oordenadas polares (r; )? Para ello, onsideremos
la urva (s) = (x(u; v); y(u; v); f (x(u; v); y(u; v))) donde u = u(s) =
r os ( + s) y v = v (s) = r sen ( + s). Los oe ientes en uestion
estan dados por
A = dsd x(u(s); v(s)) js ; =0

d
B = y (u(s); v (s)) js ;
=0
ds
d
C = f (x(u(s); v (s)); y (u(s); v (s)) js ;
=0
ds
y sus expansiones de Taylor son
Æ
I(u; v)( fxxv + fxy u) I(u; v )(fxxu + fxy v )
A = v ;
6 Æ
3
I(u; v )( fxyv + fyy u) I(u; v )(fxy u + fyy v )
B = u ;
6 3
C = (fxx x(u; v ) + fxy y (u; v ))A + (fxy x(u; v ) + fyy y (u; v ))B ;

donde x(u; v) y y(u; v) estan dados por las expansiones (10), y

I(u; v ) = fxx u + 2fxy uv + fyy v
2 2
36 Santiago R. Siman a

y Æ
I(u; v ) = (fyy fxx )uv + fxy (u2 v2) ;
respe tivamente. p
La fun ion g(r; ) = k k se obtiene al ulando A + B + C . 2 2 2

Puesto que r = u + v , es sen illo ver que

2 2 2

r
g (r; )= r
(fxxfyy fxy ) r + o(r )=r(1 (fxxfyy fxy ) r +o(r )) :
2 2
2 2

3 6
2 4 4

Luego,

(log r) = r1 + rgr g = fxxfyy3 fxy + o(1) ;
2

y la equivalen ia entre (8) y (9) queda as laramente estable ida.

En realidad, la demostra ion abal de la equivalen ia requiere el es-
tudiar los residuos en la expansiones de Taylor que usamos en nuestro
argumento, demostrando que ellos no ontribuyen al tomar el lmite en
uestion. Esto se puede formalizar ompletamente si asumimos que la
fun ion f tiene al menos todas sus derivadas de hasta orden 3 ontnuas,
pues en tal aso, la metri a es lo su ientemente regular para garanti-
zar que tales residuos son despre iables. De he ho, podemos ha er la
demostra ion exigiendo un poquito menos de la fun ion f , pero omiti-
remos tales detalles te ni os aqu.
La de ni ion de urvatura dada por (9) es intrnse a y nos permite
al ular di ha fun ion para los tres modelos que hemos analizado hasta
ahora. Sin embargo, envuelve un operador diferen ial aso iado a la
metri a de la super ie. Quisieramos ver si podemos rede nir di ho
on epto apoyandonos en la no ion de area, en lugar del Lapla iano
mismo.
La idea es sugerida por los argumentos utilizados para llegar a la
de ni ion que dimos en el aso en que la super ie estaba sumergida
en el espa io Eu lideano. La urvatura K (p) mide la distorsion lo al
de un dis o de radio r en el plano tangente a la super ie en el punto
p, uando lo queremos omparar on el dis o de radio r en la super ie
misma. Tal distorsion es apturada en las areas de di hos dis os.
En efe to, dada la super ie S y un punto p en ella, trabajemos en
oordenadas polares (r; ) entradas en p, donde la metri a luz a omo
en (11) para ierta fun ion nonegativa g(r; ). Sea Dr el dis o en S de
entro p y radio geodesi o r. Sea Dr el dis o en el tangente a S en el
0

punto p, de radio r. El tangente es un plano, y lo proveeremos de la

metri a usual. Luego, el area A (r) de Dr es igual a r . Por otro lado,
0
0 2
 Geodesi as y Curvatura 37
el area A(r) del dis o Dr en S se puede al ular por la integral doble
ZZ
A(r) = g (s; )ds d : (12)
Dr

De nimos enton es a K (p) de a uerdo a la expresion

A (r) A(r)
K (p) = 12 lim (13)
0
;
r! 0r A (r) 2
0

y la usaremos para re al ular las urvaturas de los tres modelos hasta

ahora onsiderados.
Para el plano, g(r; ) = r, y (12) en ese aso nos di e que A(r) = r , 2

oin idiendo on A (r). Esto es bien natural: los dis os Dr y Dr son

0
0

ongruentes uno on el otro, y no hay distorsion alguna. Cal ulando el

lmite (13), obtenemos que K (p) = 0.

Para la esfera de radio a, g(r; ) = a sen ar . Una integra ion sen-
illa nos di e que
  
A(r) = 2a 1 2
os ar :
Una expansion de Taylor nos dira enton es que
A (r) A(r) =
1 r + O(r ) ;
4
6
0
12 a 2

y usando (13), obtenemos que K (p) = 1=a . 2

Finalmente, para Ha , tenemos que g(r; ) = a senh ar
. En tal aso,

  r 
A(r) = 2a 1
2
osh ;
a
y on luimos que
A0 (r)
1 r + O(r ) :
A(r) =
4
6

12 a 2

El lmite de nido por (13) produ e K (p) = 1=a . 2

Ejer i io 13. Sea S una super ie en R de nida por z = f (x; y).

3

Demuestre que la fun ion K de nida en (13) satisfa e la rela ion

(1 + fx + fy ) K = fxxfyy fxy :
2 2 2 2

Con luya que (8) y (13) son equivalentes.

38 Santiago R. Siman a

3 Breve perspe tiva histori a.

El on epto de urvatura de super ies se debe a Carl F. Gauss (1777-
1855) [4℄, quien pare e haberse tomado unos 15 a~nos en el desarrollo y
depura ion de sus ideas. Su ontribu ion fue seminal en el subse uente
desarrollo de la Geometra Diferen ial.
Para una super ie S en R , Gauss introdujo el mapa  : S 7! S ,
3 2

la normal de S en ada punto (hoy da, nos referimos a este omo el

mapa de Gauss). De nio enton es el valor absoluto de la urvatura
omparando las areas de  (Dr ) y de Dr en S y S , respe tivamente,
2

para Dr un dis o de radio r en S . De manera mas pre isa, tomo

a jK (p)j omo el lmite uando r ! 0 del o iente de las areas de
 (Dr ) y Dr , respe tivamente, y de nio el signo de K (p) onsiderando
la orientabilidad del diferen ial de  en p, pensado omo un mapa de
Tp S en s mismo.
Gauss estudio di ho on epto en gran detalle, onsiderando a S
desde varios puntos de vista, omo super ie de nivel, omo la imagen
de una inmersion, o omo el gra o de una fun ion. En el ultimo aso,
demostro la identidad ontenida en el Ejer i io 13. Sin embargo, su
resultado fundamental on respe to a K fue la demostra ion de que tal
on epto es independiente de la manera omo S este in luida en R , 3

y de que es invariante bajo la a ion de isometras, es de ir, bajo la

a ion de transforma iones de la super ie que preservan la distan ia
entre dos puntos ualesquiera. Gauss logra on ello el demostrar que su
on epto de urvatura era una propiedad intrnse a de la super ie, y
no de la manera omo esta estaba inmersa dentro del espa io ambiente.
Gauss pare e haber ono ido de la existen ia de super ies de ur-
vatura negativa, donde hay un numero in nito de geodesi as que pasan
por un punto omun y que no interse tan a una otra geodesi a dada.
Sin embargo, se abstuvo de publi ar su resultado. Nikolay Loba hevsky
(1792-1856) omenzo el estudio de geometras no-Eu lideanas en 1829.
En 1868, Eugenio Beltrami (1835-1900) [1℄ demostro que tal problema
no era otra osa sino el estudio de super ies de urvatura onstante
negativa, e introdujo un modelo del aso analizado en el Ejemplo 7. Fe-
lix Klein (1849-1925) reinterpreto di ho modelo en 1871, y popularizo
su version proje tiva, es de ir, la dada por el dis o Da on la metri a
(5). Klein introdujo el termino hiperboli a, que hoy da es mu ho mas
popular al referirse a este tipo de geometra. Dos a~nos despues de la
muerte de Bernhard Riemann (1826-1866) en 1866, se publi o su famo-
sa lase inaugural de 1854, onteniendo los fundamentos generales de
la geometra Riemanniana, y en donde las super ies pasaron a ser un
 Geodesi as y Curvatura 39
aso parti ular. Beltrami se entera de ello, y en 1868 mismo generalizo
el ejemplo de la pseudo-esfera a dimensiones mayores.
Gauss estudio el on epto de geodesi a para super ies en R , y 3

su omportamiento uando la super ie en uestion tena urvatura de

ierto signo. Demostro que si se usa la longitud de ar o omo parametro
de la urva, el ve tor a elera ion de una geodesi a debe ser siempre
perpendi ular a la super ie. Este resultado haba sido des ubierto por
Leonhard Euler (1707-1783) en 1744 [3℄. Euler fue estudiante de Johann
Bernoulli (1667-1748), el ual, junto on sus hijos y en parti ular, Daniel
Bernoulli (1700-1782), haba resuelto algunos problemas varia ionales
de importan ia en la primera mitad del siglo XVIII.
Gauss onsidero la urvatura total de triangulos geodesi os, la inte-
gral de la urvatura sobre una tal region, y demostro que tal antidad
mide la diferen ia entre la suma de sus angulos internos y . De esta
manera, los triangulos esferi os tienen angulos que suman a un valor
mayor que , mientras que los triangulos hiperboli os ha en lo ontra-
rio y sus angulos suman a un valor menor que . Gauss des ubrio as la
in uen ia de la urvatura sobre la topologa de la super ie, abriendo
de esta manera una novedosa lnea de investiga ion que aun ontinua
on vigor.
La literatura existente sobre los temas aqu estudiados es inmen-
sa. Como punto de partida para investiga iones adi ionales, el le tor
puede referirse a [2℄, y analizar algunos de los art ulos itados en su
bibliografa. Esta publi a ion apare io en o asion de la onmemora ion
de los 200 a~nos del na imiento de Gauss, e in luye una tradu ion al
ingles de su trabajo seminal [4℄, uya le tura sigue siendo hoy altamente
pla entera.

Referen ias
[1℄ E. Beltrami, Saggio di interpretazione della geometra non-
eu lidea, Gior. Mat. 6, pp. 248-312.

[2℄ P. Dombrowski, 150 years after Gauss' Disquisitiones genera-

les ir a super ies urvas, with the original text of Gauss,
Asterisque 62, So iete Mathmatique de Fran e, 1979.
[3℄ L. Euler, Methodus inveniendi lineas urvas maximi minimive
proprietate gaudentes, Lausanne, 1744.
40 Santiago R. Siman a

[4℄ C.F. Gauss, Disquisitiones generales ir a super ies urvas,

Commentationes Gottingensis, 1827.