Es conveniente introducir, para lo que sigue, una noción de distancia entre dos puntos de S

que únicamente depende de la geometría intrínseca de S y no de la forma en que S está

sumergida en R3 (cf. La observación 1, sec. 4.2). observe que, como S ⊂ R3, es posible definir
una distancia entre dos puntos de S como la distancia entre estos dos puntos en R3. Sin
embargo, esta distancia depende de la segunda forma fundamental, por tanto, no es adecuada
para los propósitos de este capítulo.

Necesitamos algunos preliminares.

Se dice que una aplicación continúa α : [ a , b ] → S , de un intervalo cerrado [ a . b ] de la recta

real R en una superficie S, es una curva parametrizada diferenciable a trozos que une α (a) y
α (b) si existe una partición de [ a , b ] mediante los puntos a=t 0< t 1 <t 2< …<t k <t k+1=b tal
que α es diferenciable en [ t i , t i+1 ], i=0 , … , k . La longitud l(α ) de α se define como:
k t i+ 1

l ( α ) =∑ ∫ |α ´ (t)|dt .
i=0 t i

PROPOSICION 2. Dados dos puntos p y q ∈ S de una superficie regular (conexa) S, existe una
curva parametrizada diferenciable a trozos que une a p con q.

Demostración. Al ser S conexa, existe una curva continua α : [ a , b ] → S con α ( a )= p y α ( b )=q

. Para t ∈ [ a .b ], sea I t un intervalo abierto en [ a . b ] que contiene a t , tal que α ( I t) esta
contenido en un entorno coordenado de α ( t ). La unión ∪ I t ,t ∈ [ a , b ], recubre [ a , b ] y, por
compacidad, [ a . b ] todavía puede recubrirse con un número finito I 1 , … , I n de tales intervalos.
En consecuencia, es posible descomponer I mediante puntos a=t 0< t 1 <t 2< …<t k <t k+1=b de
forma que [ t i , t i+1 ] está contenido en algún I j , j=1 , … , n. Por tanto, α (t i , t i+1) está contenida
en algún entorno coordenado.

Ya que p=α (t 0 ) y α ( t 1 ) se halla en un mismo entorno coordenado x (U )⊂ S, es posible

unirlos mediante una curva diferenciable, a saber, la imagen atravez de x de una curva
−1
diferenciable en U ⊂ R2 que una x (α ( t 0 ) ) con x ( α ( t 1 ) ). Mediante este proceso, unimos
−1

α (t i) con α (t i+1), i=0 , … , k , mediante una curva diferenciable a trozos, que une p=α (t 0 )
con q=α (t k+1 ), concluyendo la demostración de la proposición.

Sean ahora p , q ∈ S dos puntos de una superficie regular S. Denotamos por α p ,q una curva
parametrizada, diferenciable a trozos que une p y q ; siendo l(α p ,q ) su longitud. La prop. 2
establece que el conjunto de tales α p ,q es no vacío. Por tanto, podemos formular la siguiente:

DEFINICIÓN 3. La distancia (intrínseca) d ( p , q) del punto p ∈ S al punto q ∈ S es el número

d ( p ,q )=infl ( α p ,q ),

Donde se toma el ínfimo sobre todas las curvas parametrizadas y diferenciables a trozos que
une p y q .

PROPOSICION 3. La distancia d que acabamos de introducir tiene las propiedades siguientes,

1. d ( p . q )=d ( q , p),
2. d ( p ,q ) +d ( q , r ) ≥ d ( p ,r ),
3. d ( p , q) ≥0 ,
4. d ( p ,q )=0 si y sólo si p=q ,

Donde p , q , r son puntos arbitrarios de S.

Demostración:

La propiedad 1, es inmediata pues cada curva parametrizada

α : [a , b ] → S
Con α ( a )= p , α ( b )=q , da lugar a una curva parametrizada ~
α : [ a , b ] → S , definida por
~
α=α ( a−t +b). Está claro que ~ α ( b )= p y l ( α p ,q ) =l(~
α ( a )=q , ~ α q , p ).

La propiedad 2 es consecuencia del hecho de que el infimo de que, cuando A y B son

conjuntos de números reales y A ⊆B , entonces infA ≥ infB .

La propiedad 3 se deduce del hecho de que el infimo de un conjunto de números positivos

es un número positivo o cero.

La propiedad 4,

 Sea p=q. Entonces, al tomar la curva constante α : [ a , b ] → S , definida por

α ( t )= p, t ∈ [ a , b ], obtenemos l ( α ) =0; luego d ( p ,q )=0 .
 Para probar que d ( p ,q )=0 implica que p=q procedemos de la siguiente
manera .

Supongamos que d ( p ,q )=infl ( α p ,q ) =0 y p ≠ q. Sea V un entorno de p en S, con q ∉ V y

tal que cada punto de V puede unirse a p mediante una única geodésica dentro de V .
Sea Br ( p)⊂ V la región delimitada por un circulo geodésico de radio r, centrado en p y
contenido en V . Por la definición de infimo, dado ε > 0 , 0<ε <r , existe una curva
parametrizada regular a trozos α : [ a , b ] → S que une a p y q con l(α )< ε . Como α ( [ a . b ] )
es convexo y q ∉ B r. Se deduce entonces que l(α ) ≥ r >ε , lo que constituye una
contradicción. Por tanto, p=q, con lo que concluye la demostración de la proposición.

COROLARIO . |d ( p , r )−d (r , q)|≤ d ( p , q)

Basta observar que

d ( p ,r ) ≤ d ( p , q )+ d (q , r ),
d ( r , q ) ≤ d ( r , p )+ d ( p , q);
Luego,

−d ( p , q ) ≤d ( p ,r )−d (r , q)≤ d( p , q)