Conteudo

A Rigidez da Esfera 351

Exponencial e Superfcies Completas

B Aplicacao 361

350

Apendice A

Rigidez da Esfera

Vamos provar que a esfera e rgida, isto e,

se uma superfcie regular S e isometrica
a
S e de fato uma esfera.
uma esfera, entao
Para provar a rigidez da esfera, precisamos do seguinte resultado.

Teorema 1 Seja S R3 uma superfcie regular, compacta e conexa com curvatura Gaussi-
S e uma esfera.
ana constante K. Entao

A rigidez da esfera segue-se deste teorema. De fato, seja : S uma isometria

como e contnua, () = S e
de uma esfera sobre uma superfcie regular S. Entao,
disso, S tem curvatura constante igual a` da esfera , pois a curvatura
compacta e conexa. Alem
KS ((p)) = K (p) para todo p , onde KS e K
Gaussiana e invariante por isometria, isto e,
as curvaturas Gaussianas de S e respectivamente.
sao

1 Existem superfcies homeomorfas a` esfera que nao

Observacao sao
rgidas.

Fig. 1: Superfcies homeomorfas a` esfera que nao

sao
rgidas
 plana P da superfcie regular S por uma lombada para fora
Substituindo um disco da regiao
de forma que a superfcie resultante S 0 seja regular, obtemos uma outra superfcie regular
S 00 , refletindo os pontos de S 0 acima do plano P em relacao
a este plano, que e isometrica
a`
superfcie S 0 . Observe que nao
existe uma isometria de R3 em R3 que leve S 0 em S 00 .

2 Na realidade, a rigidez da esfera segue-se de um resultado mais geral, de-

Observacao
vido a Cohn-Vossen:
Se : S1 S2 e uma isometria entre duas superfcies ovais, entao
e a restricao
de
uma isometria de R3 (i.e., a composta de uma isometria linear com uma translacao).
As

superfcies ovais ou ovaloides as superfcies compactas conexas em R3 com curvatura
sao
Gaussiana positiva em todos os pontos.
deste resultado pode ser encontrada em Curves and Surfaces in Euclidean
Uma demonstracao
Spaces de S. S. Chern, Studies in Global Geometry and Analysis, MAA Studies in Mathema-
tics, The Mathematical Association of America, 1967. 

do Teorema 1 e baseada no seguinte lema local, no qual escolhemos

A demonstracao
as curvaturas principais 1 e 2 de modo que 1 (q) 2 (q) para todo q S. Desta maneira,
funcoes
1 e 2 sao connuas em S que sao diferenciaveis
exceto, possivelmente, nos pontos
3.1, 3.2 e 3.3 do Captulo 4).
umblicos (onde 1 = 2 ) de S (ver observacoes

Lema 1 Sejam S uma superfcie regular e p um ponto de S satisfazendo as seguintes condicoes:

a curvatura Gaussiana de S em p e positiva.
1. K(p) > 0, isto e,
2. p e ao mesmo tempo um ponto de maximo
1 e um ponto de mnimo local
local da funcao
2 (1 2 ).
da funcao
p e um ponto umblico de S.
Entao

Prova.
e um ponto umblico. Entao
Suponhamos que p nao X : U X(U)
existe uma parametrizacao
de S em p tal que as curvas coordenadas sao as linhas de curvatura (ver Corolario
4.4 do
Captulo 4).
3.11 do Captulo 4, as curvaturas principais sao
Logo f = F = 0 e, pela Observacao dadas por
e g
e .
E G
e
que todos os pontos de X(U) nao
Podemos supor tambem sao
umblicos e que 1 = e
E
g
2 =
em X(U) (intercambiando as variaveis
u e v, se necessario).
G

352 J. Delgado - K. Frensel

 de Mainardi-Codazzi (ver Exemplo 2.2 do Captulo
Neste sistema de coordenadas, as equacoes

5) sao:
1 1
ev = Ev (1 + 2 ) e gu = Gu (1 + 2 ) .
2 2
e
1 =
Derivando a equacao a v,
com relacao
E

ev = (1 )v E + 1 Ev ,

1
ev = Ev (1 + 2 ), obtemos
e usando a equacao
2

1 1
Ev (1 + 2 ) = (1 )v E + 1 Ev E (1 )v = Ev (2 1 ) . (1)
2 2

g
2 =
Analogamente, derivando a equacao a u e usando a equacao
com relacao
G
1
gu = Gu (1 + 2 ), obtemos que
2

1
G (2 )u = Gu (1 2 ) . (2)
2

Por outro lado, como F = 0, a formula de Gauss (ver Exerccio 2.3 do Captulo 5) se reduz a:
    
1 E G
K= v + u .
2 EG EG v EG u

Logo,
   
E G EG Ev EG Gu
2K EG = vv + uu v
u
,
EG EG EG EG

ou seja,
2KEG = Evv + Guu + MEv + NGu , (3)
  
EG EG
v u
onde M = eN= funcoes
sao diferenciaveis
em U.
EG EG
(1) e (2),
Pelas equacoes

2E(1 )v
Ev = (4)
2 1
2G(2 )u
e Gu = . (5)
1 2

Instituto de Matematica - UFF 353
 (4) e (5) com respeito a v e a u, respectivamente, obtemos:
Derivando as equacoes

2Ev (1 )v + 2E(1 )vv 2E(1 )v (2 1 )v

Evv =
2 1 (2 1 )2
2Gu (2 )u + 2G(2 )uu 2G(2 )u (1 2 )u
e Guu = ;
1 2 (1 2 )2

Ou seja,

2E(1 )vv
Evv = + L(1 )v (6)
1 2
2G(2 )uu e
e Guu = + L(2 )u , (7)
1 2

onde L(u, v) e L(u, funcoes

e v) sao diferenciaveis
em U.
(4), (5), (6) e (7) na equacao
Introduzindo as equacoes (3), temos:

2E 2G
2KEG = (1 )vv + (2 )uu + M(
f 1 )v + N(
e 2 )u ,
1 2 1 2

onde M
feN funcoes
e sao diferenciaveis
em U.

Entao,

2(1 2 )KEG = 2E(1 )vv + 2G(2 )uu + M(

f 1 2 )(1 )v + N(
e 1 2 )(2 )u . (8)

(8) e negativo em p.
Como K(p) > 0 e 1 (p) > 2 (p), o primeiro membro da equacao

Por outro lado, como 1 atinge um maximo local em p e 2 atinge um mnimo local em p, temos:

(1 )v = 0 , (2 )u = 0 , (1 )vv 0 e (2 )uu 0 ,

em p. Assim, o segundo membro da equacao (8) e positivo ou nulo, o que e uma contradicao,

ja que o primeiro membro e negativo. 

3 Supondo que 1 tem um mnimo local e 2 um maximo

Observacao se
local em p, nao
chega, na demonstracao acima, a uma contradicao.
Em verdade, como veremos no exemplo
pode ocorrer em uma superfcie com curvatura Gaussiana positiva sem
abaixo, tal situacao
pontos umblicos.

Exemplo 1 Seja S a superfcie de revolucao

dada por

X(u, v) = ( (v) cos u , (v) sen u , (v) ) ,

354 J. Delgado - K. Frensel

onde u (0, 2), c > 1,

(v) = c cos v ,
Zv p
(v) = 1 c2 sen2 d , (0) = 0 ,
0

1
e |v| < arc sen , de modo que (v) fique bem definida.
c

Entao:

E = (v)2 = c2 cos2 v ;
F = 0;
G = 0 (v)2 + 0 (v)2 = 1 ;
p
e = (v) 0 (v) = c cos v 1 c2 sen2 v ;
f = 0;
g = 0 (v) 00 (v) 00 (v) 0 (v)
p c3 sen v sen v cos v
= c cos v 1 c2 sen2 v
p
1 c2 sen2 v
c cos v 1 c2 sen2 v + c2 sen2 v


= p
1 c2 sen2 v
c cos v
= p ;
1 c2 sen2 v

3.11 do Captulo 4,
e, pela Observacao
p
e 1 c2 sen2 v
1 = =
E c cos v
g c cos v
e 2 = = p ,
G 1 c2 sen2 v

com 1 > 2 , pois c > 1.

tem pontos umblicos e tem curvatura Gaussiana K = 1 2 = 1 positiva e
Portanto, S nao
constante.
1
disso, como 1 = para v = 0 e
Alem
c
p
1 c2 sen2 v 1
1 = > ,
c cos v c

Instituto de Matematica - UFF 355
 para v 6= 0 (pois cos2 v 1 = sen2 v > c2 sen2 v), temos que 1 atinge um mnimo e,

portanto, 2 atinge um maximo (pois 1 2 = 1) nos pontos do paralelo v = 0. 

Este exemplo tambem mostra que a hipotese

de compacidade da superfcie no Teorema
1 e essencial, pois a superfcie S dada acima tem curvatura positiva constante, mas nao
e uma
esfera.

e uma esfera
Fig. 2: Superfcie com curvatura positiva constante em todo ponto e que nao

do Teorema 1 vamos utilizar o seguinte resultado.

Na demonstracao

Lema 2 Uma superfcie regular compacta S R3 possui um ponto elptico.

Prova.
Seja p0 R3 e considere a funcao
diferenciavel
f : S R dada por f(p) = kp p0 k2 .
contnua, existe p1 S tal que f(p1 ) f(p) para todo
Como S e compacta e f e uma funcao
p S, ou seja, kp p0 k R, para todo p S, onde R = kp1 p0 k .

Fig. 3:

356 J. Delgado - K. Frensel

 1: Tp1 S = Tp1 (SR (p0 )) , onde SR (p0 ) e a esfera de centro p0 e raio R.
Afirmacao

De fato, seja Tp1 (SR (p0 )) = q R3 | hq p1 , p0 p1 i = 0 o plano tangente a SR (p0 ) em p1 .

2.4, basta mostrar que (Tp1 (SR (p0 ))) S = {p1 }, pois, neste caso,
Pelo Exerccio 18 da secao
teremos Tp1 S = Tp1 SR (p0 ) . 

2: Se kq p0 k R, entao
Afirmacao hq p1 , p0 p1 i 0, e hq p1 , p0 p1 i = 0 se, e so
se, q = p1 .
De fato, pela desigualdade de Cauchy-Schwarz,

hq p1 , p0 p1 i = hq p0 + p0 p1 , p0 p1 i = hq p0 , p0 p1 i + R2
kq p0 k kp0 p1 k + R2 R2 + R2 = 0 ,

pois kq p0 k R e kp0 p1 k = R.
E hq p1 , p0 p1 i = 0 se, e so se, kq p0 k = R e

hq p0 , p0 p1 i = kq p0 k kp0 p1 k = R2

Como hq p0 , p0 p1 i = kq p0 k kp0 p1 k se, e so se, q p0 = (p0 p1 ), com < 0, e

kq p0 k = kp0 p1 k = R , temos que hq p1 , p0 p1 i = 0 se, e so se, q p0 = (p0 p1 ),
ou seja, se, e so se, q = p1 . 

Sejam v Tp1 S {0} e v o plano que passa por p1 e e paralelo a v e p0 p1 .

v SR (p0 ) e um grande crculo e v S = Cv e a secao

Entao normal de S em p1 na direcao
v.

Fig. 4:

Instituto de Matematica - UFF 357
 Seja : (, ) Cv uma parametrizacao pelo comprimento de arco de Cv em p1 tal que
diferenciavel
(0) = p1 , e considere a funcao f : (, ) R dada por

f(s) = h(s) p0 , (s) p0 i .

Como f(0) = kp1 p0 k2 = R2 e f(s) R2 para todo s (, ), 0 e um ponto de maximo

da
f.
funcao
Assim, f 0 (0) = 2h 0 (0) , p1 p0 i = 0 e

f 00 (0) = 2h 00 (0) , p1 p0 i + 2h 0 (0) , 0 (0)i = 2 (h 00 (0) , p1 p0 i + 1) 0 ,

pois k 0 (0)k = 1 .
Como 00 (0) 0 (0) e h 00 (0) , p0 p1 i 1, temos que 00 (0) e um multiplo
positivo de p0 p1 .

Entao
00 (0) p p1
n(0) = 00
= 0 = N(p1 ) ,
k (0)k R

onde n(0) e o vetor normal a em 0 e N(p1 ) e o vetor unitario

normal a` superfcie S em p1 .
Assim,
p0 p1
h (0) n(0) , p0 p1 i = (0)h , p0 p1 i = (0) R 1 ,
R

ou seja,
1
(0) ,
R

onde (0) e a curvatura de em 0.

p0 p1 1
tomando N(p1 ) =
Entao, , n p1 (v) = (0)hn(0) , N(p1 )i = (0) para todo
R R
v Tp S {0}, onde n p1 (v) e a curvatura normal de S em p1 na direcao
v.
1
Portanto p1 e um ponto elptico de S, pois K(p1 ) = 1 (p1 ) 2 (p1 )
> 0, ja que as curvaturas
R2
1
ambas maiores ou iguais a . 
principais, 1 (p1 ) e 2 (p1 ), de S em p1 sao
R
Prova.
do Teorema 1) Como S e compacta, pelo Lema 2, S possui um ponto elptico.
(Demonstracao
E sendo K constante, K > 0 em S.
contnua 1 atinge um maximo
Por compacidade, a funcao em um ponto p S. Como K = 1 2
e uma constante positiva, 2 e uma funcao
decrescente de 2 e, portanto, atinge um mnimo

358 J. Delgado - K. Frensel

em p. Logo, pelo lema 1, p e um ponto umblico de S, isto e,
1 (p) = 2 (p). Seja q um ponto
qualquer de S. Como estamos supondo que 1 (q) 2 (q), temos que

1 (p) 1 (q) 2 (q) 2 (p) = 1 (p) .

Portanto, 1 (q) = 2 (q) para todo q S, isto e,

todos os pontos de S sao
umblicos. Assim,
2.4 do Captulo 4, S esta contida em uma esfera ou em um plano. Sendo
pela Proposicao
K > 0, S esta contida em uma esfera .
Por compacidade, S e fechada em e como S e uma superfcie regular, S e aberta em . Logo,
como e conexa, S = .
a superfcie S e uma esfera. 
Entao,

4 O Teorema 1 e um resultado tpico da Geometria Diferencial Global, isto e,

Observacao
sobre conceitos locais (neste caso, a curvatura) junto com hipoteses
informacao globais fracas
(neste caso, compacidade e conexidade) implicam fortes restricoes sobre a superfcie como
um todo (neste caso, ser uma esfera). Observe que o unico
efeito da conexidade e impedir a

ocorrencia do Teorema 1. Por outro lado, a hipotese
de duas ou mais esferas na conclusao de
compacidade e essencial em varios

aspectos. Uma de suas funcoes foi a de assegurar que
apenas uma superfcie contida em uma esfera.
obtemos uma esfera inteira e nao

5 Na demonstracao
Observacao do Teorema 1, a hipotese
de que K = 1 2 e constante (e
portanto, positiva) foi usada para garantir que 2 e uma funcao
decrescente de 1 . A mesma
1 + 2
e valida
conclusao
se supormos que a curvatura media H= e constante.
2

Teorema 2 Seja S uma superfcie regular compacta e conexa com curvatura Gaussiana po-

sitiva e curvatura media S e uma esfera.
constante. Entao

deste Teorema e analoga

A demonstracao a` que foi dada para o Teorema 1.
Em verdade o argumento pode ser aplicado sempre que 2 = f(1 ), onde f e uma funcao

decrescente de 1 .

Teorema 3 Seja S uma superfcie regular compacta e conexa com curvatura Gaussiana
decrescente de 1 , 1 2 ,
2 = f(1 ) onde f e uma funcao
K > 0. Se existe uma relacao
S e uma esfera.
entao

6 O Teorema 2 pode ser enunciado da seguinte maneira: Um ovoloide

Observacao com

curvatura media constante e uma esfera.

Instituto de Matematica - UFF 359

Por outro lado, uma consequ encia 1) e que um
do Teorema de Gauss-Bonnet (aplicacao

ovoloide e homeomorfo a uma esfera. H. Hopf provou que o Teorema 2 continua valido
com o

seguinte enunciado (mais forte): Uma superfcie regular com curvatura media constante que e
homeomorfa a uma esfera e uma esfera.
de
Um teorema devido a A. Alexandroff estende este resultado ao substituir a condicao
ser homeomorfa a uma esfera por compacidade: Uma superfcie regular conexa e compacta

com curvatura media constante e uma esfera.
dos resultados mencionados acima pode ser encontrada em Lectures on
Uma exposicao
Differential Geometry in the Large de H. Hopf, Lecture Notes in Mathematics, 1000, Springer-
Verlag, 1983.

360 J. Delgado - K. Frensel


Apendice B

Exponencial e Superfcies
Aplicacao
Completas

Como ja vimos na Proposicao

3.5 do Captulo 5, dado um ponto p de uma superfcie regu-

lar S e um vetor nao-nulo v Tp S, existe uma unica

geodesica parametrizada : (, ) S
com (0) = p e 0 (0) = v. Para indicar a dependencia

desta geodesica ao vetor v,
em relacao

vamos denota-la por (t, v) = .

Lema 3 Se a geodesica
(t, v) e definida para t (, ), entao
a geodesica
(t, v), > 0,
   
e definida para t , e (t, v) = (t, v) para todo t , .

Prova.
 
Seja : , S a curva parametrizada dada por (t) = (t, v).

(0) = (0, v) = p e 0 (0) = 0 (0, v) = v.
Entao

Como 00 (t) = 2 00 (t, v), temos que

D 0 D 0 (t, v)
(t) = 2 = 0.
dt dt

 
Segue-se que : , S e uma geodesica
iniciais (0) = p e 0 (0) =
com condicoes

v e, por unicidade,
(t) = (t, v) = (t, v) ,
 
para todo t , . 

 Intuitivamente, como a velocidade (em modulo)

de uma geodesica e constante, o Lema 1

significa que podemos percorrer o traco de uma geodesica em um tempo prescrito ajustando
a velocidade de maneira apropriada.
 
v
Se v Tp S {0} e tal que kvk,
Notacao: = (1, v) esta definido, escrevemos
kvk

expp (v) = (1, v) e expp (0) = p .

corresponde a percorrer (se possvel) um comprimento igual a kvk ao longo

Esta construcao

da geodesica de v; o ponto assim obtido e denotado por expp (v).
passando por p na direcao

Exemplo 2 Na esfera S2 , expp (v) esta definida para todo v Tp S2 , pois toda geodesica
da
esfera esta definida em toda a reta.
Para v Tp S2 , com kvk = , 3, . . . , (2n + 1), expp (v) e o ponto antpoda p de p, e para
v Tp S2 , com kvk = 0, 2, 4, . . . , (2n), expp (v) e o proprio
p. 

Se removermos de S2 o antpoda (p) de p, entao

expp fica definida apenas no interior
de um disco de Tp S2 de raio e centro na origem.

Fig. 1:

Exemplo 3 No cone C de uma folha menos o vertice,

esta definido para um
expp (v) nao
vetor v Tp C na direcao
de um meridiano que conecta p ao vertice,
quando kvk d e d e a

distancia
de p ao vertice. 

362 J. Delgado - K. Frensel

 Fig. 2:

Para provar que expp esta definida e e diferenciavel

em alguma vizinhanca da origem

de Tp S, utilizaremos o Teorema de existencia,
unicidade e dependencia
diferenciavel das
iniciais de um sistema de equacoes
condicoes diferenciais.

Um campo de vetores diferenciavel num aberto V Rn e uma aplicacao : V Rn

diferenciavel, de e uma curva : I V tal que 0 (t) = ((t)). Em outras
e uma trajetoria

palavras, uma trajetoria e uma curva cuja velocidade em cada ponto p e o vetor (p).

Teorema 4 Dado um campo de vetores diferenciavel

: V Rn Rn e p0 V, existem
> 0, uma vizinhanca aberta U V de p0 , e uma aplicacao
diferenciavel
: (, ) U V
tais que, para cada p U, a curva t 7 (t, p) e a unica

trajetoria inicial
de com condicao
com a mesma condicao
(0, p) = p (no sentido de que qualquer outra trajetoria inicial coincide
dos domnios).
com esta na interseccao

7 Num ponto p onde o campo se anula, uma trajetoria

Observacao de que passa por
p e a curva constante (t) = p; e o teorema garante que esta e a unica

trajetoria que passa
por p. Assim, as singularidades do campo correspondem as ` trajetorias

estacionarias. As

trajetorias curvas regulares, ja que, se a derivada de (t) se anular
dos outros pontos sao
(t0 ) e uma singularidade de e a unica
em t0 , entao
trajetoria que passa por (t0 ) e a

estacionaria;
assim, uma trajetoria
nao-constante pode ter pontos de velocidade nula.
nao

diferenciais das geodesicas.

Vamos aplicar o Teorema acima ao sististema de equacoes
Seja X : U X(U) S uma parametrizacao de S. Entao, como vimos na secao
3 do
Captulo 5, uma curva (t) = X(u(t), v(t)) e uma geodesica se, e so se,

u 00 + 1 (u 0 )2 + 2 1 u 0 v 0 + 1 (v 0 )2 = 0
11 12 22
(1)
v 00 + 2 (u 0 )2 + 2 2 u 0 v 0 + 2 (v 0 )2 = 0 .
11 12 22

Instituto de Matematica - UFF 363
 O sistema (1) pode ser reescrito na forma:

u 00 = H (u, v, u 0 , v 0 )
1
(2)
v 00 = H (u, v, u 0 , v 0 ) ,
2

ou ainda


u0


=a


v 0 =b
(3)

a0


= H1 (u, v, a, b)


b 0 = H2 (u, v, a, b) ,

onde H1 e H2 sao funcoes

diferenciaveis definidas em U R2 R4 , sendo U o domnio da
X : U X(U).
parametrizacao

O Teorema 1 garante que para cada (u0 , v0 , a0 , b0 ) U R2 existem uma vizinhanca

aberta W, que podemos supor da forma W = W1 W2 , 1 > 0 e uma aplicacao diferenciavel

e : (1 , 1 ) W1 W2 U R2 ,

tais que, para cada (u, v, a, b) W1 W2 , a curva

t 7 (t;
e u, v, a, b)

e a unica
do sistema (3) com condicao
solucao inicial (0;
e u, v, a, b) = (u, v, a, b).

Escrevendo
e = (1 , 2 , 3 , 4 ), temos que:

1 2
3 = e 4 = .
t t

Pondo = (1 , 2 ), a conclusao que obtemos para o sistema (2), e portanto para o

: (1 , 1 )W1 W2 U, sendo W1 e W2 vizinhancas
sistema (1) e a seguinte: a aplicacao
abertas de (u0 , v0 ) e (a0 , b0 ), respectivamente, e tal que, para (u, v, a, b) W1 W2 , a curva
t 7 (t; u, v, a, b) e a unica
de (2) com condicoes
solucao iniciais:

d
(0; u, v, a, b) = (u, v) e (t; u, v, a, b)|t=0 = (a, b) .
dt

Em resumo, uma solucao (u(t), v(t)) de (1) fica completamente determinada pelas condi-

coes iniciais (u(0), v(0)) e (u 0 (0), v 0 (0)), e as solucoes
dependem diferenciavelmente dessas
iniciais.
condicoes
Dado p0 = X(u0 , v0 ) X(U), sejam W1 W2 a vizinhanca aberta associada a (u0 , v0 , 0, 0),
: (1 , 1 ) W1 W2 U correspondentes.
o 1 > 0 e a aplicacao

364 J. Delgado - K. Frensel

Teorema 5 Dado p0 S, existem numeros
dife-
reais 1 > 0 e 1 > 0 e uma aplicacao

renciavel
: (1 , 1 ) B1 (0) S ,

onde B1 (0) = {v Tp0 S | kvk < 1 }, tais que para v B1 (0) {0}, a curva t 7 (t, v) e a
unica

geodesica de S com (0, v) = p e 0 (0, v) = v, e, para v = 0, (t, 0) = p.

Prova.
linear L : R2 Tp0 S dada por L(a, b) = aXu (u0 , v0 ) + bXv (u0 , v0 ). Entao
Seja a aplicacao L e
um isomorfismo e
!
1 G F
L1 (v) = (hv , Xu i , hv , Xv i) ,
EG F2 F E

os coeficientes da primeira forma fundamental de X em (u0 , v0 ), Xu = Xu (u0 , v0 ),

onde E, F, G sao
Xv = Xv (u0 , v0 ).
Como o conjunto
V1 = {a Xu (u0 , v0 ) + b Xv (u0 , v0 ) | (a, b) W2 }

e um aberto de Tp0 S que contem

a origem, existe 1 > 0 tal que

B1 (0) = {v Tp0 S | kvk < 1 } V1 .

: (1 , 1 ) B1 (0) S , dada por

Seja a aplicacao

(t, v) = X (t; (u0 , v0 ), L1 (v)) .

e diferenciavel
Entao e, para cada v B1 (0) {0}, t (1 , 1 ), a curva t 7 (t, v) e a
unica

geodesica de S com (0, v) = p, 0 (0, v) = v, e para v = 0, (t, 0) = p. 

1 Dado p0 S, existe > 0 tal que expp esta definida e e diferenciavel

Proposicao na bola
aberta B (0) = {v Tp0 S | kvk < }.

Prova.
Pelo Teorema 2, dado p0 S, existem 1 > 0, 1 > 0 e uma aplicacao
diferenciavel

: (1 , 1 ) B1 (0) S ,

tais que, para cada v B1 (0) {0}, t (1 , 1 ), a curva t 7 (t, v) e a unica

geodesica de
S com (0, v) = p, 0 (0, v) = v e, para v = 0, (t, 0) = 0.

Instituto de Matematica - UFF 365


Como a geodesica (t, v) esta definida para |t| < 1 e kvk < 1 , obtemos, fazendo = 1 no
2
 
Lema 1, que t, 1 v esta definida para todo t (2, 2) e kvk < 1 .
2

Portanto, expp (v) = (1, v) esta definida no disco aberto B (0) Tp S, onde 0 < < 1 1 . Alem

2
 2   2 
1

disso, como a aplicacao , v e diferenciavel
com respeito a v e expp (v) = 1 , v
2 1 2 1

em B (0), temos que a aplicacao
expp : B (0) S

e diferenciavel.


2 A aplicacao
Proposicao expp : B (0) S e um difeomorfismo em um aberto U B (0),
com 0 U.

Prova.
Vamos mostrar que a diferencial d(expp )0 e um isomorfismo. Para isto, identificamos o espaco

de vetores tangentes a Tp S em 0 com o proprio Tp S.

(0) = 0 e 0 (0) = v.
Consideremos a curva (t) = tv em Tp S. Entao

Como expp (t) = expp (tv) = (1, tv) = (t, v), temos que:

d
(expp )(t)|t=0 = 0 (0, v) = v ,
dt

ou seja, d(expp )0 (v) = v. Logo d(expp )0 : Tp S Tp S e um isomorfismo.

Inversa, obtemos que existem um aberto U B (0), com 0 U, e

Pelo Teorema da Aplicacao
um aberto V S com p S, tais que expp : U V e um difeomorfismo. 

do resultado acima, podemos provar o seguinte fato.

Como aplicacao

3 Sejam S1 , S2 superfcies regulares e , : S1 S2 isometrias de S1 sobre

Proposicao
S2 . Suponhamos que S1 e conexa e existe p0 S1 tal que (p0 ) = (p0 ) e dp0 = dp0 .
= .
Entao

Prova.
Seja A = {p S1 | (p) = (p) e dp = dp }. Entao,
por hipotese,
A e nao-vazio.

1: A e fechado em S1 .
Afirmacao

De fato, seja (pn ) uma sequ encia de pontos de A que converge para um ponto p S1 .

366 J. Delgado - K. Frensel

 contnuas e (pn ) = (pn ) para todo n N, temos que (p) = (p).
Como e sao
Seja X : U X(U) uma parametrizacao
de S1 em p, com X(u0 , v0 ) = p.
Seja n0 N tal que pn X(U) para todo n n0 e sejam (un , vn ) U tais que X(un , vn ) = pn
para todo n n0 .
Como dpn = dpn para todo n, temos que

( X)u (un , vn ) = dpn (Xu (un , vn )) = dpn (Xu (un , vn )) = ( X)u (un , vn ) ,

para todo n n0 .
Logo, ( X)u (u0 , v0 ) = ( X)u (u0 , v0 ), isto e,
dp (Xu (u0 , v0 )) = dp (Xu (u0 , v0 )).

De modo analogo, podemos provar que dp (Xv (u0 , v0 )) = dp (Xv (u0 , v0 )).

Como {Xu (u0 , v0 ), Xv (u0 , v0 )} e uma base de Tp S1 , temos que dp = dp . Logo, p A.

2: A e aberto em S1 .
Afirmacao
Seja p A. Pela Proposicao
2, existe > 0 tal que V = expp (B (0)) e um aberto de S1 que
p, onde B (0) = {v Tp S1 | kvk < }.
contem
da exponencial,
Pela definicao

V = expp (B (0)) = {1 (t; p, v) | t [0, ) , v Tp S1 , kvk = 1} .

disso, como e sao

Alem isometrias, temos que se 1 (t) = 1 (t; p, v), t [0, ), e a

geodesica de S1 com 1 (0) = p e 10 (0) = v, entao
1 e 2 sao
geodesicas
de S2 tais que
1 (0) = (p) = (p) = 1 (0) e ( 1 ) 0 (0) = dp (10 (0)) = dp (10 (0)) = ( 1 ) 0 (0).

Logo, pela unicidade das geodesicas, 1 (t) = 1 (t) para todo t [0, ). Como v Tp S1 ,
kvk = 1, e arbitrario,
temos que (p) = (p) para todo p V. Sendo V aberto em S1 , temos
que dp = dp para todo p S1 . Logo V A.
tambem

Provamos, assim, que A e aberto em S1 .

Como A e nao-vazio,
aberto e fechado em S1 e S1 e conexa, temos que A = S1 , isto e,

(p) = (p) para todo p S1 . 

Corolario 1 As isometrias da esfera unitaria

S2 = {(x, y, z) R3 | x2 + y2 + z2 = 1}

a S2 das transformacoes
as restricoes
sao lineares ortogonais de R3 .

Instituto de Matematica - UFF 367
 Prova.
Seja L : R3 R3 uma transformacao
linear ortogonal de R3 , isto e,
L e linear e

hL(v) , L(w)i = hv , wi

para todos v, w R3 .

Como L(S2 ) = S2 e dLp = L para todo p R3 , temos que L : S2 S2 e uma isometria de S2 .

Por outro lado, se : S2 S2 e uma isometria de S2 , p0 S2 e {v1 , v2 } e uma base orto-

{p0 , v1 , v2 } e {(p0 ), dp (v1 ), dp (v2 )} sao
normal de Tp0 S2 , entao bases ortonormais de R3 ,
pois: kp0 k = k(p0 )k = 1; {dp0 (v1 ), dp0 (v2 )} e uma base ortonormal de T(p0 ) S2 , ja que
dp0 : Tp0 S2 T(p0 ) S2 preserva produto interno;

Tp0 S2 = {v R3 | hv , p0 i = 0} e T(p0 ) S2 = {w R3 | hw , (p0 )i = 0} .

existe uma isometria linear L : R3 R3 tal que L(p0 ) = (p0 ), L(v1 ) = dp0 (v1 ) e
Entao
L(v2 ) = dp0 (v2 ).

Como S2 e conexa e L : S2 S2 e uma isometria tal que L(p0 ) = (p0 ) e dLp0 = dp0 ,
3, que = L, isto e,
pois dLp0 (vi ) = L(vi ) = dp0 (vi ), i = 1, 2, temos, pela Proposicao e a
a S2 da isometria linear L. 
restricao

8 Seja S2R (p0 ) a esfera de centro p0 e raio R > 0. Entao

Observacao as isometrias de S2R (p0 )
a S2R (p0 ) das isometrias de R3 da forma T L, onde L e uma isometria linear
as restricoes
sao
de R3 e T e a translacao
T (p) = p + p0 L(p0 ).

De fato, seja f : R3 R3 o difeomorfismo dado por f(p) = Rp + p0 . Entao

f(S2 ) = S2R (p0 ),
q p0 w
f1 (q) = , dfp (v) = Rv e d(f1 )q (w) = para todos v, w R3 .
R R

Seja : S2R (p0 ) S2R (p0 ) uma isometria de S2R (p0 ). Entao
f1 f e uma isometria de S2 ,
pois f1 f(S2 ) = S2 , f1 f : S2 S2 e um difeomorfismo e

d(f1 f)p (v) = d(f1 )f(p) df(p) dfp (v) = d(f1 )f(p) df(p) (R v)

R
= d(f1 )f(p) (R df(p) (v)) = df(p) (v) = df(p) (v) ,
R

para todo p S2 e todo v Tp S2 = Tf(p) S2R (p0 ).

acima, existe uma isometria linear L : R3 R3 tal que L(p) = f1 f(p)

Logo, pelo corolario
para todo p S2 . Assim,
  q p  1 
0
(q) = f L f1 (q) = f L =f (L(q) L(p0 )) = L(q) + p0 L(p0 ) ,
R R

368 J. Delgado - K. Frensel

para todo q S2R (p0 ), isto e,

= T L,

onde T e a translacao
T (q) = q + p0 L(p0 ). 

1 Dizemos que um aberto V S e uma vizinhanca normal de p S se

Definicao
V = expp (U), onde U e um aberto de Tp S, com 0 U, tal que expp : U V e um difeo-
morfismo.

Aplicacao: expp : U V um difeomorfismo, ela pode ser usada para
Sendo a aplicacao
introduzir coordenadas em V.
1. As coordenadas normais que correspondem a um sistema de coordenadas retangulares no
plano tangente Tp S.

As coordenadas normais sao obtidas atraves

da escolha de dois vetores unitarios
orto-
gonais e1 e e2 do plano tangente Tp S. Como expp : U V e um difeomorfismo, temos que
X : U0 V, X(u, v) = expp (ue1 + ve2 ), e uma parametrizacao
de S em p, com X(0, 0) = p,
onde U0 = {(u, v) R2 | ue1 + ve2 U} e um aberto de R2 . Assim, se q = expp (ue1 + ve2 ),
(u, v) sao
entao as coordenadas normais do ponto q com respeito a` parametrizacao
X.
Em um sistema de coordenadas normais centrado em p, as geodesicas que passam que
imagens X(at, bt) = expp ((ae1 + be2 )t) das retas (at, bt) que passam pela
passam por p sao
origem.
Como X(u, 0) = expp (ue1 ) = (u, e1 ) e X(0, v) = expp (ve2 ) = (v, e2 ), temos que
Xu (0, 0) = 0 (0, e1 ) = e1 e Xv (0, 0) = 0 (0, e2 ) = e2 . Logo os coeficientes da primeira forma
fundamental na origem de um tal sistema de coordenadas sao dados por E(0, 0) = G(0, 0) = 1
e F(0, 0) = 0.

2. As coordenadas polares geodesicas ` coordenadas polares no plano
que correspondem as
tangente Tp S.

Sejam e1 , e2 dois vetores unitarios ortogonais de Tp S e X(u, v) = expp (ue1 +ve2 ) o sistema
de coordenadas normais visto acima. Vamos tomar U = B (0).

Neste caso, U0 = {(u, v) R2 | u2 + v2 < 2 }.

(u, v) = ( cos , sen ) com
Sejam (, ) as coordenadas polares de (u, v), isto e,
> 0 e (0, 2).

Instituto de Matematica - UFF 369
 Como (, ) 7 ( cos , sen ) e um difeomorfismo de (0, ) (0, 2) sobre
U0 {(u, 0) | u [0, )}, temos que a aplicacao
Y : (0, ) (0, 2) V L, dada por

Y(, ) = expp ( cos e1 + sen e2 ) ,

de S, onde L = expp (`) e ` = {te1 | t [0, )}.

e uma parametrizacao

Fig. 3:

as coordenadas polares geodesicas

Dizemos que (, ) sao do ponto expp ( cos e1 +
sen e2 ).

2 As imagens por expp : U V de crculos em U centrados em 0 sao

Definicao chamados

crculos geodesicos chamadas
de V, e as imagens por expp de retas passando por 0 sao

geodesicas radiais de V.

4 Seja Y : (0, ) (0, 2) V L um sistema de coordenadas polares

Proposicao

geodesicas os coeficientes E = E(, ), F = F(, ) e G = G(, ) da primeira
(, ). Entao

forma fundamental satisfazem as condicoes:

E 1 , F 0 , lim G = 0 , lim ( G) = 1 .
0 0

Prova.
escrevemos
Para abreviar a notacao

= cos e1 + sen e2 e = sen e1 + cos e2 .

Temos assim
2
d
E = hY , Y i = exp ( ) = k 0 (, )k2 = k k2 = 1 ,
d p

ja que 7 expp ( ) = (, ) e uma geodesica

e, portanto, k 0 (, )k e constante.

370 J. Delgado - K. Frensel

 D
disso, como a derivada covariante
Alem Y de Y ao longo de 7 Y(, ) e nula, pois Y e
d
o campo de vetores tangentes a` geodesica
7 Y(, ), temos que

d DY
F = hY , Y i = h , Y i + hY , Y i
d d
1 d
= hY , Y i = 0 ,
2 d

ja que E = hY , Y i 1.
F nao
Entao depende de . Por outro lado,

F = hY , Y i = hd(expp ) ( ) , d(expp ) ( )i
= hd(expp ) ( ) , d(expp ) ( )i .

Logo
|F| d(expp ) ( ) d(expp ) ( ) .

Como expp : B (0) V e uma aplicacao

diferenciavel,
(expp )0 = id e k k = k k = 1 ,
depende de , isto implica que F = 0.
temos que lim F = 0. Junto com o fato de que F nao
0

Para provar as duas ultimas

igualdades, consideremos o sistema de coordenadas normais
X(u, v) = expp (ue1 + ve2 ), cujos coeficientes designaremos por E, F e G.

Como u = cos , v = sen , para (u, v) 6 {(u, 0) | u [0, )} , E(0, 0) = G(0, 0) = 1 e

F(0, 0) = 0, e lembrando que

q  
p  (u, v) 
2
G= EG F2 = EG F 
 ,
(, ) 

(u, v)
onde e o Jacobiano da mudanca de coordenadas, temos
(, )

q
2
G(, ) = E G F ( cos , sen ) .

Portanto, lim G=0e
0

  q
2 d
q
2

lim G = lim EG F + EG F
0 0 d
q  q q 
2 2 2
= lim E G F + cos E G F + sen EG F = 1.
0 u v

Instituto de Matematica - UFF 371
 9 O significado geometrico
Observacao do fato de que F = 0 e que em uma vizinhanca

normal a famlia de crculos geodesicos e ortogonal a` famlia de geodesicas
radiais. Tal fato e
conhecido como o Lema de Gauss.

geometricas
Apresentaremos agora algumas aplicacoes das coordenadas normais e das

coordenadas polares geodesicas.
Primeiro, vamos estudar as superfcies com curvatura Gaussiana constante. Como em

um sistema de coordenadas polares geodesicas, E = 1 e F = 0, temos que

    !
1 E G
K = +
EG EG EG
 
  

 G
1 G 1
= = G = .
2 G G G G

pode ser considerada como uma equacao

Esta expressao diferencial a ser satisfeita por

curvatura K(, ).
G(, ) se queremos que a superfcie tenha (na vizinhanca em questao)
Se K e constante, a expressao
acima, ou de forma equivalente,
 
G + K G = 0,

e uma equacao
diferencial linear de segunda ordem com coeficientes constantes.

Teorema 6 (de Minding)

Quaisquer duas superfcies com a mesma curvatura Gaussiana constante sao localmente

isometricas. Mais precisamente, sejam S1 e S2 duas superfcies regulares com a mesma cur-
vatura constante K. Sejam p1 S1 , p2 S2 e bases ortonormais {e1 , e2 } de Tp1 S1 , {f1 , f2 } de
existem vizinhancas abertas V1 de p1 , V2 de p2 e uma isometria : V1 V2 tal
Tp2 S2 . Entao
que (p1 ) = p2 , dp1 (e1 ) = f1 e dp1 (e2 ) = f2 .

Para provar o teorema acima vamos utilizar o seguinte resultado de Analise

na Reta.

Lema 4 Seja f : [a, b) R uma funcao

contnua, derivavel
em (a, b) e tal que existe e e
finito lim+ f 0 (x). Entao
f e derivavel
em a e f 0 (a) = lim+ f 0 (x).
xa xa

10 Fixado , os Lema 2 e a Proposicao

Observacao 4, dizem que a extensao
contnua de

(0 < < ) G(, ), dada por G(0, ) = 0, e derivavel
e sua derivada em zero vale 1.

372 J. Delgado - K. Frensel

  
disso, o Lema 2 junto com a igualdade
Alem G = K G nos da que G e duas vezes

 

derivavel em 0 e G (0) = 0, pois

 
lim+ G = lim+ K G = 0 ,
0 0

4.
pela Proposicao

Temos assim que [0, ) G(, ) e a solucao
da equacao
diferencial

X 00 () + K X() = 0 (4)

iniciais X(0) = 0 e X 0 (0) = 1.

com condicoes
Ha tres
casos a considerar.


1. Se K = 0, entao G = A + B.
 
Como G(0) = 0 e G = 1, temos que G(, ) = , ou seja, G(, ) = 2 .

Neste caso,
E = 1, F = 0, G = 2 .
geral da equacao
2. Se K > 0, a solucao (4) e dada por
   
G = A cos K + B sen K .

 
Como G(0) = 0 e G (0) = 1, temos que

1
 
G= sen K .
K

Neste caso,
1
 
2
E = 1, F = 0, G = sen K .
K
geral da equacao
3. Se K < 0, a solucao (4) e dada por
   
G = A cosh K + B senh K .

 
iniciais
Utilizando as condicoes G(0) = 0 e G (0) = 1, verifica-se que

1
 
G= senh K .
K

Instituto de Matematica - UFF 373
 neste caso,
Entao,

1
 
2
E = 1, F = 0, G = senh K .
K

os coeficientes E, F e G da parametrizacao
Conclumos, assim, que se K for constante, entao
Y(, ) so dependem de K e .

Prova.
(do Teorema de Minding)
Seja > 0 tal que B (p1 ) = expp1 (B1 (0)) e B (p2 ) = expp2 (B2 (0)) sejam vizinhancas normais

de p1 e p2 , respectivamente, isto e,

expp1 : B1 (0) Tp1 S1 B (p1 ) S1

e expp2 : B2 (0) Tp2 S2 B (p2 ) S2

difeomorfismos.
sao
Seja L : Tp1 S1 Tp2 S2 a isometria linear tal que L(e1 ) = f1 e L(e2 ) = f2 .

1
f = expp2 L expp1
Afirmacao: : B (p1 ) B (p2 ) e uma isometria.

De fato, f e um difeomorfismo, pois L e um difeomorfismo e L(B1 (0)) = B2 (0).

disso, as coordenadas polares geodesicas
Alem

Y : (0, ) (0, 2) B1 (p1 ) L1 , Y(, ) = expp1 ( cos e1 + sen e2 ) ,


onde L1 = expp1 ( e1 ) | [0, ) , associadas a` base ortonormal {e1 , e2 }, sao
levadas por f
nas coordenadas polares geodesicas Y de B2 (p2 ) L2 , associadas a` base ortonormal {f1 , f2 },

onde L2 = expp2 ( f1 ) | [0, ) , pois

1
f Y(, ) = expp2 L expp1 expp1 ( cos e1 + sen e2 )
= expp2 L ( cos e1 + sen e2 )

= expp2 ( cos f1 + sen f2 ) = Y(, ) .

Como f = Y Y 1 em B1 (p) L1 e os coeficientes da primeira forma fundamental de Y e olY

iguais (Observacao
sao 4) temos, pela Proposicao
1.1 do Captulo 5, que f|B1 (p1 )L1 e uma
isometria.

374 J. Delgado - K. Frensel

Sendo que para todo 0 [0, 2) podemos considerar os sistemas de coordenadas polares

geodesicos

Y0 : (0, ) (0 , 0 + ) B1 (p1 ) L1 0

e Y 0 : (0, ) (0 , 0 + ) B2 (p2 ) L2 0 ,

onde

L10 = expp1 ( cos 0 e1 + sen e2 ) | [0, )

e L2 0 = expp2 ( cos 0 f1 + sen f2 ) | [0, ) ,

podemos provar, usando os argumentos feitos acima, que f|B1 (p 0 = Y 0 Y1 e uma iso-
1 )L1 0

metria. Logo f|B1 (p1 ){p1 } e uma isometria, pois

[  
B1 (p1 ) L1 0 = B1 (p1 ) {p1 } .
0 [0,2)

Por outro lado, como d(expp1 )0 = id : Tp1 S1 Tp1 S1 , d(expp2 )0 = id : Tp2 S2 Tp2 S2 e
dL0 = L : Tp1 S1 Tp2 S2 , temos que dfp1 = L e uma isometria, isto e,
dfp1 : Tp1 S1 Tp2 S2
preserva produto interno.

Portanto, f : B1 (p1 ) B2 (p2 ) e uma isometria. 

das coordenadas polares geodesicas,

Como outra aplicacao vamos estudar algumas

propriedades minimizantes das geodesicas.

3 Dizemos que uma curva regular por partes : [a, b] S, tal que (a) = p e
Definicao

(b) = q, minimiza a distancia (ou e minimizante) se `() = d(p, q), onde

d(p, q) = inf { `() | : [a, b] S e regular por partes, (a) = p , (b) = q }

e a distancia
1.7 do Captulo 5).
intrnseca entre p e q em S (ver Observacao

Exemplo 4 Nem sempre existem curvas em uma superfcie S que minimizam a distancia.

De fato, basta tomar S como sendo um plano furado (i.e. um plano do qual se retirou um ponto
O) e considerar em S dois pontos p e q tais que O [p, q]. A distancia
intrnseca entre p e q e
kp qk, mas nao
existe em S nenhuma curva de p a q com comprimento kp qk. 

Instituto de Matematica - UFF 375
 Fig. 4: Plano furado

Uma propriedade fundamental de uma geodesica e o fato de que, localmente, ela mini-
miza o comprimento de arco. Mais precisamente, temos:

5 Seja p um ponto em uma superfcie regular S. Se B (p) e uma vizinhanca

Proposicao
normal de p e q B (p), entao a geodesica
radial de p a q e a unica
curva minimizante
se : [0, 1] B (p) e a geodesica
entre p e q, isto e, radial tal que (0) = p , (1) = q e
: [a, b] S e uma curva diferenciavel
por partes ligando p a q, entao

`() `() ,

disso, se `() = `(), entao

onde ` denota o comprimento da curva. Alem o traco de coincide
com o traco de entre p e q.

Prova.
Seja t1 = sup { t [a, b] | (t) = p }. Como o conjunto { t [a, b] | (t) = p } e fechado e nao-

vazio e (b) = q 6= p, temos que t1 [a, b), (t1 ) = p e (t) 6= p para todo t (t1 , b].
provarmos que
Basta, entao,
`() `(|[t1 ,b] ) ,

pois `(|[t1 ,b] ) `() , e `(|[t1 ,b] ) = `() , se, e so se, (t) = p, t [a, t1 ].

Suponhamos primeiro que ([t1 , b]) B (p). Como expp e um difeomorfismo em B (p), existe
uma curva : [t1 , b] B (0) diferenciavel
disso,
por partes tal que expp ((t)) = (t). Alem
como (0) = 0 e (t) 6= 0 para t (t1 , b], pode ser escrita na forma

(t) = expp ((t) (t)) ,

376 J. Delgado - K. Frensel


onde = : (t1 , b] Tp S e uma curva diferenciavel
por partes em Tp S com kk = 1 e
kk
= kk : (t1 , b] R e uma funcao
positiva diferenciavel
por partes.
diferenciavel
Seja a aplicacao por partes f : (0, ) (t1 , b] S dada por

f(, t) = expp ( (t)) .

Logo, exceto para um numero

finito de pontos,

f f
0 (t) = ((t), t) 0 (t) + ((t), t) , (5)
t

pois (t) = f((t), t) para t (t1 , b].

Como (ver Observacao 3) em uma vizinhanca normal a famlia de crculos geodesicos
e orto-
gonal a` famlia de geodesicas
radiais, temos que

f f
h , i((t), t) = 0 .
t
 
 f 
disso,  (, t) = 1, pois, para t fixo, f(, t) = expp ( (t)) e uma geodesica
Alem parametri-

zada pelo comprimento de arco, ja que k(t)k = 1. Logo, por (5),
2
f

k (t)k = (t) + ((t), t) 0 (t)2 ,
0 2 0 2
(6)

t

para todo t (t1 , b].

para > 0 pequeno,
Entao,
Zb Zb Zb
0
k (t)k dt | (t)| dt
0
0 (t) dt = (b) (t1 + ) . (7)
t1 + t1 + t1 +

Fazendo 0, obtemos que `(|[t1 ,b] ) `(), pois (t1 ) = 0 e (b) = `(), ja que (b) =
expp ((b) (b)) = q e, portanto, (s) = expp (s (b) (b)).

Se a desigualdade (6) ou a segunda desigualdade em (7) e estrita, entao `(|[ t1 , b]) > `().

f

| 0 (t)| = 0 (t) e ((t), t) = 0, isto e,
Logo, se `() = `(|[t1 ,b] ), entao 0 (t) = 0, pois

t

f
((t), t) = d(expp )(t)(t) ((t) 0 (t)) ,
t

d(expp )(t)(t) e um isomorfismo e (t) > 0, para todo t (t1 , b].

Instituto de Matematica - UFF 377
 Assim, (t) = const = (b). Segue-se da que (t) = expp ((t)(b)) e uma reparametrizacao

positiva de (s) = expp (s (b) (b)) .

esta contida em B (p), entao,

Se ([t1 , b]) nao dado 0 < r < , seja

tr = inf {t [t1 , b] | (t) pertence ao crculo geodesico

de raio = r} .

Como o conjunto

A = {t [t1 , b] | (t) pertence ao crculo geodesico

de raio = r}

e fechado e nao-vazio

(pelo Teorema da Alfandega,
ver Curso de Ana-
lise, vol 1, de Elon Lima, pag. 57) e t1 6 A, temos tr A, tr > t1 e
[t1 , tr ] Br (p). Entao,
pelo provado acima,
Fig. 5:

`(|[t1 ,b] ) `(|[t1 ,tr ] ) r ,

e esta desigualdade, valendo para todo 0 < r < , implica que `(|[t1 ,b] ) > (b) = `(),
pois q = expp ((b) (b)) B (p). 

11 A proposicao
Observacao anterior nao
e valida
se considerarmos
globalmente, isto e,

um arco suficientemente grande de geodesica, ele pode deixar de ser minimizante.

No cilindro x2 + y2 = 1, por exemplo, a geodesica

minimiza a distancia
(t) = (cos t, sen t, t) nao entre
(0) = (1, 0, 0) e (2) = (1, 0, 2), pois o segmento
de reta (t) = (1, 0, t), t [0, 2], contido no cilindro,
e a curva de menor comprimento que liga os pontos
(1, 0, 0) e (1, 0, 2).
dois pontos que nao
Na esfera, tambem, sao
antpodas

podem ser ligados por dois arcos de geodesicas de
comprimentos diferentes e apenas o menor deles sa- Fig. 6: Arco minimizante de p a q na esfera
da proposicao.
tisfaz as conclusoes

B (p) = { q S | d(p, q) < }.

12 Se expp : B (0) B (p) e um difeomorfismo, entao
Observacao
De fato, se q B (p), temos, pela Proposicao
6, que se q = expp (v) , kvk < , entao
d(p, q) =
`(), onde e a geodesica
radial (s) = expp (sv), s [0, 1]. Assim,

B (p) { q S | d(p, q) < } .

378 J. Delgado - K. Frensel

Por outro lado, se q S B (p), resulta da demonstracao 6, que d(p, q) .
da Proposicao
Logo,
{ q S | d(p, q) < } B (p) .

Segue-se desta observacao que para todo p S, existe > 0, tal que a bola aberta de
centro p e raio 0 na metrica
d,
{ p S | d(p, q) < 0 } ,

e um aberto de S com a topologia induzida de R3 , para todo 0 < 0 < , fato que usamos para

provar que os abertos de S com a metrica d coincidem com os abertos de S com a topologia
induzida de R3 (ver Observacao
1.8 do Captulo 5).

Por outro lado, se uma curva diferenciavel por partes e minimizante, provaremos que
e uma geodesica.
Para isto, necessitamos de um refinamento da Proposicao 2.

Teorema 7 Dado p0 S, existem um aberto W S, com p0 W, e um numero

> 0 tais
que, para cada q W, expq e um difeomorfismo em B (0) Tq S e expq (B (0)) W; isto e,
W
e uma vizinhanca normal de todos os seus pontos.

Prova.
Seja X : U X(U) uma parametrizacao
de S em p0 , com X(u0 , v0 ) = p0 .
Sejam 1 > 0, V1 U, V2 vizinhancas abertas de (u0 , v0 ) e (0, 0), respectivamente, e

: (1 , 1 ) V1 V2 U

diferenciais:
o fluxo local do sistema de equacoes

u 00 + 11
1
(u 0 )2 + 212
1
u 0 v 0 + 22
1
(v 0 )2 = 0
(8)
v 00 + 11
2
(u 0 )2 + 212
2
u 0 v 0 + 22
2
(v 0 )2 = 0 .

Ou seja, para cada (u, v, a, b) V1 V2 a curva t 7 (t; u, v, a, b) e a unica

de (8)
solucao
iniciais:
com condicoes

(0; u, v, a, b) = (u, v)
d
e (t; u, v, a, b)|t=0 = (a, b) .
dt


Podemos tomar V2 = D1 (0, 0) = (a, b) R2 | a2 + b2 < 21 . Seja 2 = 1 1 > 0. Como, para
2
 
> 0, (t; u, v, a, b) = (t; u, v, a, b) para todo t 1 , 1 (correspondente ao Lema 1

Instituto de Matematica - UFF 379
 em coordenadas locais), temos que, para todo (u, v) V1 e todo (a, b) D1 (0, 0),

 
t; u, v, 1 a, 1 b
2 2

esta definida em (2, 2).

Portanto
(t; u, v, a, b)
esta definida em (2, 2), para todo (u, v) V1 e todo (a, b) D2 (0, 0).
diferenciavel
Seja a aplicacao

: V1 D2 (0, 0) U R2 ,

dada por
(u, v, a, b) = (u, v, (1; u, v, a, b)) .

d(u0 ,v0 ,0,0) : R4 R4 e um isomorfismo.

Afirmacao:

De fato, seja : (, ) V1 uma curva diferenciavel

com (0) = (u0 , v0 ) e 0 (0) = (c, d)
t 7 ((t), 0, 0) e uma curva em V1 D2 (0, 0) que passa por (u0 , v0 , 0, 0) com
R2 . Entao
velocidade (c, d, 0, 0).
Assim,

d d
d(u0 ,v0 ,0,0) (c, d, 0, 0) = ((t), 0, 0, 0)|t=0 = ((t), (t))|t=0 = (c, d, c, d) ,
dt dt

pois (t; u0 , v0 , (0, 0)) = (u0 , v0 ) para todo t.

2
Por outro lado, se (e, f) R2 {(0, 0)}, entao
a curva t 7 (u0 , v0 , te, tf) , |t| < p , esta
e2 + f2
contida em V1 D2 (0, 0) e passa por (u0 , v0 , 0, 0) com velocidade (0, 0, e, f). Portanto,

d
d(u0 ,v0 ,0,0) (0, 0, e, f) = (u0 , v0 , te, tf)|t=0
dt
d
 
= 0, 0, (1; u0 , v0 , te, tf)|t=0
dt
d
 
= 0, 0, (t; u0 , v0 , e, f)|t=0
dt
= (0, 0, e, f) .

Conclumos assim que

d(u0 ,v0 ,0,0) (c, d, e, f) = (c, d, c + e, d + f) ,

380 J. Delgado - K. Frensel

para qualquer (c, d, e, f) R4 , o que mostra que d(u0 ,v0 ,0,0) : R4 R4 e um isomorfismo. 

Inversa, existem abertos V3 V1 , D3 (0, 0) D2 (0, 0) e

Pelo Teorema da Aplicacao
V U R2 , com (u0 , v0 ) V3 e (u0 , v0 , u0 , v0 ) V, tais que

: V3 D3 (0, 0) V

e um difeomorfismo.

Seja V0 um aberto tal que (u0 , v0 ) V0 , V0 V3 , e seja S1 = (a, b) R2 | a2 + b2 = 1 .

contnua : V0 S1 R dada por

Considere a aplicacao

(u, v, a, b) = ka Xu (u, v) + b Xv (u, v)k .


Seja 0 = inf (u, v, a, b) | (u, v) V0 e (a, b) S2 . Como e contnua e V0 S1 e
compacto, existe (u, v, a, b) V0 S1 tal que

ka Xu (u, v) + b Xv (u, v)k = 0 .

Sendo (a, b) 6= (0, 0) e Xu (u, v), Xv (u, v) vetores LI, temos que 0 > 0.
Logo,

a Xu (u, v) + b Xv (u, v)
0 ,
k(a, b)k0
p
para todo (u, v) V 0 e todo (a, b) R2 {(0, 0)}, onde k(a, b)k0 = a2 + b2 .
Assim,
ka Xu (u, v) + b Xv (u, v)k 0 k(a, b)k0 , (9)

para todo (u, v) V 0 e todo (a, b) R2 .

se (u, v) V0 e
Seja = 0 3 > 0. Entao,

ka Xu (u, v) + b Xv (u, v)k < ,

temos, por (9), que

> ka Xu (u, v) + b Xv (u, v)k 0 k(a, b)k0 = k(a, b)k0 < = 3 .
0

f w B (0) = { v Tq S | kvk < }, e (a, b) R2 tal que

Sejam q X(V0 ) = W,

w = a Xu (e
u, e
v) + b Xv (e
u, e
v) ,

Instituto de Matematica - UFF 381
 onde X(e (e
v) = q. Entao
u, e v) V0 e (a, b) D3 (0, 0).
u, e

Como = X (t; u v, a, b), t (2, 2) e a geodesica

e, e de S com (0) = X(e v) = q e
u, e
0 (0) = a Xu (e
u, e
v) + b Xv (e v) = w, temos que expq esta definida em B (0) para todo q W.
u, e f


Sejam B (W) = (q, w) | q W , w Tq S , kwk < e a aplicacao
Afirmacao: f f contnua inje-

tora DX : U R2 R6 , dada por

DX(u, v, a, b) = (X(u, v), a Xu (u, v) + b Xv (u, v)) .

(DX)1 (B (w))
Entao e e um aberto de U R2 que contem
o ponto (u0 , v0 , 0, 0).

De fato, se (u, v, a, b) (DX)1 (B (w)),

e X(u, v) W
isto e, f e ka Xu (u, v) + b Xv (u, v)k < ,
existem um aberto U0 U, com (u, v) U0 , e um aberto V0 R2 , com (a, b) V0 , tais
entao
que X(u, v) Wf e ka Xu (u, v) + b Xv (u, v)k < para todo (u, v) U0 e todo (a, b) V0 , pois
X : U X(U) e
as aplciacoes

U R2 R3
(u, v, a, b) 7 a Xu (u, v) + b Xv (u, v) ,

f X(U) e aberto. 
contnuas e W
sao

Sejam 4 > 0, 4 < 3 e V4 V0 aberto com (u0 , v0 ) V4 tal que V4 D4 (0, 0) (DX)1 (B (W)),
f
e seja V5 V4 aberto tal que (u0 , v0 ) V5 e

V5 V5 (V4 D4 (0, 0)) .

Seja W = X(V5 ).
expq e um difeomorfismo em B (0) e W expq (B (0, 0)) para todo q W.
Afirmacao:

De fato, como : V0 D3 (0, 0) V

e e um difeomorfismo e

(u, v, a, b) = (u, v, g(u, v, a, b)) ,

onde g(u, v, a, b) = (1; u, v, a, b), temos que, para todo (u, v) V, a aplicacao
g(u,v) (a, b) =
g(u, v, a, b) e um difeomorfismo em D3 (0, 0), ja que g(u,v) e injetora e d(g(u,v) )(a,b) : R2 R2
e um isomorfismo para todo (a, b) R2 .
Logo, como
 
expq (w) = X 1 ; u , v , L1
(u,v) (w) = X g(u,v) L1
(u,v) (w) ,

382 J. Delgado - K. Frensel

onde q = X(u, v) e L(u,v) (a, b) = a Xu (u, v) + b Xv (u, v) e um isomorfismo linear, temos que
expq e um difeomorfismo em B (0) para todo q W, pois B (0) L(u,v) (D3 (0, 0)) , para todo
(u, v) V0 .
disso, como V5 V5 (V4 D4 (0, 0)), se (u, v) V5 , entao
Alem

{(u, v)} V5 ({(u, v)} D4 (0, 0)) ,

V5 g(u,v) (D4 (0, 0)).

isto e,

Logo

W = X(V5 ) X g(u,v) (D4 (0, 0)) X g(u,v) L1

(u,v) (B (0)) = expq (B (0)) ,

para todo q = X(u, v) W = X(V5 ), pois

D4 (0, 0) L1
(u,v) (B (0))

para todo (u, v) V5 V4 . 

6 Seja : [a, b] S uma curva regular por partes tal que em cada arco
Proposicao

regular o parametro e proporcional ao comprimento de arco. Suponha que o comprimento
entre quaisquer dois de seus pontos seja menor ou igual ao comprimento de qualquer curva

diferenciavel e uma geodesica
por partes ligando estes pontos. Entao parametrizada; em
particular, e regular por toda parte.

Prova.

Basta provar que, dado um ponto qualquer p0 = (s0 ) na curva, existe > 0 tal que a restricao
|[s0 ,s0 +] ([a, a + ) ou (b , b] se for s0 = a ou s0 = b) e uma geodesica.

Sejam > 0 e o aberto W S, com p0 = (s0 ) W, dados pelo Teorema 4. Seja > 0 tal
que tal que p = (s0 ) e q = (s0 + ) estejam ambos em W.
Como W expp (B (0)) = B (p) e |[s0 ,s0 +] e minimizante, temos, pela Proposicao
5, que

(t) = expp ((t) v) ,

onde 0 (t) > 0 e kvk = 1.

Sendo expp ((t)v) = ((t), v), temos que k 0 (t)k = 0 (t) k 0 ((t), v)k = 0 (t). Alem
disso,
como k 0 (t)k e constante em cada arco regular, temos que (t) = ct para algum c > 0 e para
todo t [s0 , s0 + ].
(t) = expp (ctv) = (t, cv) e uma geodesica
Entao parametrizada em [s0 , s0 + ]. 

Como consequ encia dos resultados acima, provaremos o seguinte:

Instituto de Matematica - UFF 383
 Teorema 8 (de Hopf e Rinow)
dados dois pontos p, q S, existe uma geodesica
Seja S uma superfcie completa. Entao,
minimizante ligando p a q.

4 Dizemos que uma superfcie conexa S e completa se qualquer geodesica

Definicao para-
metrizada (t; p, v) de S esta definida para todo t R. De modo equivalente, S e completa se,
para qualquer p S, expp esta definida em todo o espaco tangente Tp S.

Exemplo 5 O plano e evidentemente uma superfcie completa. O cone menos o vertice

nao
e uma superfcie completa, pois quando estendemos suficientemente uma geratriz (que e uma

geodesica),
atingimos o vertice, pertence a` superfcie (ver Exemplo 2). A esfera e
que nao

uma superfcie completa, pois suas geodesicas os grandes
parametrizadas (cujos tracos sao
e uma superfcie
crculos da esfera) podem ser definidas em toda a reta real. O cilindro tambem

completa, pois as suas geodesicas crculos, retas e helices
sao definidas para todos
que estao
os valores reais. 

O resultado abaixo nos da muitos exemplos de superfcies completas.

7 Toda superfcie regular conexa fechada S e completa.

Proposicao

Prova.
Sejam p S e v Tp S, com kvk = 1. Entao
a geodesica
(s) = (s; p, v) esta definida
para todo s [0, ).
De fato, seja A = {s0 > 0 | esta definida em [0, s0 ]}.
3.5 do Captulo 5, A e nao-vazio.
Pela proposicao Seja s = sup A.
s = +.
Afirmacao:
Suponhamos, por absurdo, que s > 0 e finito. Como s = sup A, existe uma sequ encia
(sn ),
com sn A, crescente tal que sn s. Entao esta definida em [0, s], pois esta definida
em [0, sn ] para todo n N.
Como kp qk d(p, q) para todos p, q S (ver Proposicao
1.2 - (a) do Captulo 5), temos
que
k(sn ) (sm )k d((sn ), (sm )) ksn sm k ,

pois ksn sm k e o comprimento da geodesica

entre sn e sm .

Assim, ((sn )) e uma sequ encia

de Cauchy em R3 . Como S e fechada, o limite p desta

sequ encia pertence a S.

384 J. Delgado - K. Frensel

Pelo Teorema 4, existe > 0 e um aberto W S, com p W, tais que expq esta definida em
B (0) para todo q W, isto e,
as geodesicas
definidas pelo
radiais que emanam de q estao
menos no intervalo [0, ).

Fixemos n0 N de modo que sn0 > s e (sn0 ) W, e
2
sejam q = (sn0 ), w = 0 (sn0 ).

Como a geodesica e(t) = (t; q, w) esta definida em (, ),

Fig. 7:
e 0 (0) = w, temos que (s) =
e(0) = q e
e(s sn0 ) e uma

geodesica definida em ( + sn0 , + sn0 ) , tal que
e(0) = q = (sn0 ) e
(sn0 ) = 0 (sn0 ) =
e 0 (0) = w = 0 (sn0 ).

h i

Logo, pela unicidade das geodesicas, esta definida em [0, +sn0 ) 0, s + , uma contradicao,

2
ja que s = sup {s0 > 0 | esta definida em [0, s0 ]}.

De modo analogo,
podemos provar que a geodesica (s) = (s; , v) esta definida em (, 0].
Logo, (s; p, v) esta definida para qualquer valor real. 

Corolario 2 Toda superfcie conexa compacta e completa.

13 Mas existem superfcies completas que nao

Observacao fechadas em R3 . Portanto
sao

a hipotese de completitude e mais fraca do que a de compacidade.

Exemplo 6 Seja a aplicacao

X : R2 R3 dada por

X(u, v) = ( (1 + eu ) cos u , (1 + eu ) sen u , v) .

facil
E verificar que S e uma bijecao
diferenciavel
sobre S = X(R2 )
que e homeomorfismo, pois
   
1 1
X (x, y, z) = log p ,z
x2 + y2 1

e uma aplciacao
diferenciavel
em

A = { (x, y, z) R3 | x2 + y2 > 1 e z R }

e S = X(R2 ) A. Fig. 8:

Logo, S e uma superfcie regular. Na realidade S e o cilindro sobre a curva

(u) = ( (1 + eu ) cos u , (1 + eu ) sen u , 0 ) , u R,

Instituto de Matematica - UFF 385
 com geratrizes paralelas ao eixo Oz.

Fig. 9: A superfcie S e completa e nao-fechada

Como Xv (u, v) = (0, 0, 1) e Xu (u, v) = ( sen u eu (cos u + sen u) , cos u + eu (cos u

sen u) , 0), temos, por um calculo simples, que:

E = hXu , Xu i = 1 + 2e2u + 2eu = (u) ; F = 0; e G = 1.

Zu p
diferenciavel
Seja a funcao dada por (u) = (s) ds.
0

(R) = R.
Afirmacao:
p p
De fato, como (u) = 1 + 2e2u + 2eu 1 para todo u R, temos que:

Zu p Zu
(u) = (s) ds 1 ds = u ,
0 0

para todo u 0, e

Zu p Z0 p Z0
(u) = (s) ds = (u) ds < 1 ds = u ,
0 u u

para todo u 0.
Logo lim (u) = . Assim, (R) = R, ja que (R) e um intervalo.
u
p
disso, como 0 (u) =
Alem : R R possui uma inversa diferenciavel
(u) > 0, a funcao
h1 : R R definida em toda a reta.
Seja h : R R R R o difeomorfismo dado por h(u, v) = (h1 (u), h2 (v)), onde h2 (v) = v.

386 J. Delgado - K. Frensel

 Y = X h : R R S e uma parametrizacao
Entao de S tal que Y(R R) = S,

X (h(u, v))
Yu (u, v) = Xu (h(u, v)) h10 (u) = u ,
E (h1 (u))

Yv (u, v) = Xv (h(u, v)) h20 (v) = Xv (h(u, v)) ,

Logo E = hYu , Yu i = 1 , F = hYu , Yv i = 0 e G = hYv , Yv i = 1 . Portanto, ijk = 0 , para

i, j, k = 1, 2, onde ijk sao
os smbolos de Christoffel da parametrizacao
Y.

diferencial da geodesica
Assim, pela equacao 32 do Captulo 5), Y(u(t), v(t)) e uma
(equacao

geodesica se, e so se, u 00 (t) = v 00 (t) = 0. Isto e,
as geodesicas
da
parametrizadas de S sao
forma
Y(at + x0 , bt + y0 ) , t R,

onde (a, b) R2 {(0, 0)} e (x0 , y0 ) R2 .

e fechada em R3 , pois cada ponto do

Logo S e uma superfcie completa. No entanto, S nao
cilindro x2 + y2 = 1 nao
pertence a S, mas e o limite em R3 de alguma sequ encia
de pontos
de S. Por exemplo, se (x0 , y0 , z0 ) = (cos 0 , sen 0 , z0 ) pertence ao cilindro, basta tomar a

sequ encia pn = X(0 + 2n, z0 ) de pontos de S. 

Para provarmos o Teorema 5, precisamos do seguinte resultado.

8 Seja p0 um ponto da superfcie S. Entao

Proposicao f(p) = d(p0 , p), p S, e
a funcao
contnua em S.

Prova.
2, existe 0 < 0 < , tal que expp : B 0 (0) B 0 (p)
Sejam p S e > 0. Pela proposicao
e um difeomorfismo, onde B 0 (0) = { v Tp S | kvk < 0 } e, ver observacao
6, B 0 (p) =
expp (B 0 (0)) = { q S | d(p, q) < 0 } .

e (p) = {q
e (p) S B 0 (p), onde B
Logo, como B 0 (p) e aberto em S, existe > 0 tal que B
R3 | kq pk < } e a bola aberta de R3 de raio e centro p. Assim, se q B
e (p) S, ou seja,
se kp qk < e q S, entao

|f(q) f(p)| = |d(q, p0 ) d(p, p0 )| d(p, q) < 0 < ,


o que completa a demonstracao.

14 Em particular, a restricao
Observacao da funcao
f(p) = d(p, p0 ) a qualquer compacto

de S atinge um maximo e um mnimo.

Instituto de Matematica - UFF 387
 Prova.
do Teorema 5) Sejam p S e > 0 tais que expp : B (0) B (p) e
(Demonstracao
um difeomorfismo. Se q B (p), existe v B (0) tal que expp (v) = (1; p, v) = q.

6, d(p, q) = kvk, isto e,

Logo, pela Proposicao (t; p, v), t [0, 1], e a unica

geodesica minimi-
zante que liga os pontos p e q.
Suponhamos que ` = d(p, q) , isto e, que q 6 B (p), e considere o crculo geodesico





S1 (p; /2) de centro p e raio . Como S1 (p; /2) e compacto, pois S1 (p; /2) = expp v Tp S ; kvk = ,
2 2
1
acima, que existe um ponto x0 S (p; /2) tal que
temos, pela observacao

d(q, x0 ) d(q, x) ,

para todo x S1 (p; /2).

O ponto x0 pode ser escrito como x0 = expp (/2, v), onde v Tp S, kvk = 1. Seja a geodesica

parametrizada pelo comprimento de arco dada por (s) = expp (sv) (= (/2) = x0 ).

Fig. 10:

Como S e completa, esta definida para todo s R. Em particular, esta definida no intervalo
e uma geodesica
[0, `]. Se mostrarmos que (`) = q, entao ligando p a q que e minimizante,
pois `() = ` = d(p, q).
h i
Para provar isto, vamos mostrar que se s
, ` , entao
2

d((s), q) = ` s . (10)

(10) implica, para s = `, que (`) = q como desejado.

De fato, a equacao

(10), vamos mostrar primeiro que ela vale para s = .
Para provar a equacao
2
Seja : [a, b] S uma curva diferenciavel

por partes tal que (a) = p e (b) = q. Entao,

pelo Teorema da Alfandega, a curva intersecta o conjunto S1 (p; /2).

388 J. Delgado - K. Frensel

 
Seja t0 = inf t [a, b] | (t) S1 (p; /2) .

Como e contnua e S1 (p; /2) e fechado, temos que (t0 ) S1 (p; /2).

Entao

`() = `(|[a,t0 ] ) + `(|[t0 ,b] ) d(p, (t0 )) + d((t0 ), q) + d(x0 , q) ,
2

pois d(p, (t0 )) = /2 e d(x0 , q) d(x, q) para todo x S1 (p; /2).

Logo ` + d(x0 , q), pois
2

` = d(p, q) = inf{`() | Cp,q } ,

onde Cp,q = { : [a, b] S | e diferenciavel

por partes ; (a) = p e (b) = q}. Da, sendo
x0 = (/2), temos que

d((/2), q) ` . (11)
2

Por outro lado, pela desigualdade triangular,

d((/2), q) = d(x0 , q) d(p, q) d(p, x0 ) = ` . (12)
2

Assim, por (11) e (12),

d((/2), q) = ` .
2

Observe que o conjunto

A = {s [/2, `] | d((s), q) = ` s}

e fechado em [/2, `] e, pelo provado acima, tambem

e nao-vazio.

Seja s0 = sup A. Como A e fechado, s0 A. Suponhamos que s0 [/2, `).
Existe 0 > 0 tal que s0 + 0 A.
Afirmacao:
2, existe 00 > 0, 00 < ` s0 , tal que exp(s0 ) e um difeomorfismo em B 00 (0) =
Pela proposicao
{v T(s0 ) S | kvk < 00 }.

Seja S1 ((s0 ); 00 /2) = exp(s0 ) (B 00 /2 (0)). Se x 0 S1 ((s0 ); 00 /2), a funcao

contnua d(x 0 , q)
atinge um mnimo em x00 S1 ((s0 ); 00 /2).

Instituto de Matematica - UFF 389
 Fig. 11:

como anteriormente, com (s0 ) e x00 no lugar de p e x0 , respectivamente, podemos

Entao,
provar que:
d(x00 , q) = d((s0 ), q) 00 /2 .
(10) vale em s0 , temos que d((s0 ), q) = ` s0 e, portanto,
Como a equacao

00
d(x00 , q) = ` s0 . (13)
2

disso, como
Alem
d(p, x00 ) d(p, q) d(x00 , q) ,
(13), que:
obtemos, da equacao

00
d(p, x00 ) ` (` s0 00 /2) = s0 + . (14)
2

Observe que a curva que vai de p a (s0 ) por e de (s0 ) a x00 por uma geodesica
radial de
00
B 00 ((s0 )) tem comprimento s0 + , e diferenciavel
por partes, e, em cada arco regular, esta
2
00
parametrizada pelo comprimento de arco. Alem disso, como, por (14), d(p, x00 ) s0 + , esta
2
curva, que liga p a x00 , tem comprimento mnimo. Entao,
pela proposicao
7, esta curva e uma

geodesica.

Assim, pela unicidade das geodesicas, ela deve coincidir com em [0, s0 + 00 /2].
Logo (s0 + 00 /2) = x00 e a equacao
(13) pode ser escrita como

d((s0 + 00 /2), q) = ` (s0 + 00 /2) ,

00
que e a equacao
(10) para s = s0 + .
2
Fazendo 0 = 00 /2, obtemos que s0 + 0 A, pois s0 + 0 [/2, `).
Como s0 = sup A e s0 + 0 A, chegamos a uma contradicao.
Logo s0 = `. 

390 J. Delgado - K. Frensel

 15 Na realidade, olhando a demonstracao
Observacao acima, provamos o seguinte resul-
tado: se p S e tal que as geodesicas
que emanam de p se estendem a todos os valores do

parametro para qualquer ponto q S, existe alguma geodesica
entao, minimizante de p a q.

5 Dizemos que uma superfcie conexa S e estendvel se existe uma superfcie

Definicao
e tal que S S
conexa S
e como um subconjunto proprio. existe uma tal S,
Se nao e S e chamada

nao-estendvel.

Vamos provar abaixo que qualquer superfcie completa e nao-estend

vel e que existem

superfcies nao-estend sao
veis que nao completas. Portanto, a hipotese
de completitude e

mais forte do que a de nao-estendibilidade.

9 Toda superfcie completa S e nao-estend

Proposicao vel.

Prova.
e tal que S S.
Suponhamos que existe uma superfcie conexa S e Como S e um subconjunto

aberto de S,
e as geodesicas tambem
de S sao geodesicas
e Fixemos p S. Assim, as
de S.

geodesicas de S
e que emanam de p, por serem geodesicas definidas para todos os
de S, estao

valores do parametro. dado q S,
Entao, acima, alguma geodesica
e existe, pela observacao
minimizante de p a q. Mas S e, portanto, q S, o que mostra que S
e S.

Logo, S S e nao-estend
e = S, isto e, vel. 

Exemplo 7 Ja vimos (ver Exemplo 4) que o cone C : z2 = x2 + y2 , z > 0, nao

e uma superfcie
completa. Provaremos agora que C e nao-estend
vel.
De fato, suponhamos, por absurdo, que existe uma superfcie S conexa tal que C S e C 6= S.
Como C e uma superfcie regular, C e aberta em S. A fronteira C de C em S e nao-vazia,
pois,

caso contrario, S = C (S C) seria a uniao
de dois abertos disjuntos S e S C, o que contradiz
a conexidade de S. Portanto, existe um ponto p C e como C e aberto em S, p 6 C.

Seja (pn ) uma sequ encia de pontos de C que converge para p.
Dado > 0, existe n0 N tal que pn esta abaixo do plano z = para todo n n0 .
Afirmacao:
Suponhamos, por absurdo, que a afirmacao acima nao existe N 0 N
e verdadeira. Entao

infinito tal que a subsequ encia (pn )nN 0 esta contida em C {z }. Como C {z } e

fechado e pn 0 p, temos que p C {z } C, o que e uma contradicao.


nN

acima, zn 0, isto e,
Logo, pela afirmacao z = 0, onde pn = (xn , yn , zn ) e p = (x, y, z).

Instituto de Matematica - UFF 391
 Como z2n = x2n + y2n x2 + y2 , temos que x2 + y2 = 0, isto e, x = y = 0. Entao
p = (0, 0, 0).
Assim, a fronteira de C em S e constituda so pelo ponto (0, 0, 0).
Portanto, S = C {(0, 0, 0)}, pois, caso contrario,
teramos S = C {(0, 0, 0)} int(C S) e
S {(0, 0, 0)} nao
seria conexa. Mas C {(0, 0, 0)} nao
e uma superfcie regular, o que prova a

inexistencia de S. 

16 Na demonstracao
Observacao acima usamos o seguinte resultado: se S e uma su-
S {p0 } e conexa.
perfcie conexa e p0 S, entao
De fato, como S e conexa por caminhos, dados p, q S {p0 }, existe uma curva contnua
: [a, b] S tal que (a) = p e (b) = q.

Suponhamos que existe et (a, b) tal que (et) = p0 . Seja X : U X(U) uma parametrizacao

de S em p0 , com X(u0 , v0 ) = p0 , onde U = (u0 , u0 + ) (v0 , v0 + ).
Sejam t1 = inf{t [a, b] | (t) = p0 } e t2 = sup{t [a, b] | (t) = p0 }. Entao
a < t1 t2 < b,
(t1 ) = (t2 ) = p0 e (t) 6= p0 para todo t [a, t1 ) (t2 , b].
Seja > 0 tal que t1 [a, t1 ), t2 + (t2 , b], (t1 ) X(U){p0 } e (t2 +) X(U){p0 }.
Como U {(u0 , v0 )} e conexo por caminhos, existe uma curva contnua : [t1 , t1 + ]
U {(u0 , v0 )} tal que (t1 ) = (u1 , v1 ) e (t2 + ) = (u2 , v2 ), onde X(u1 , v1 ) = (t1 ) e
X(u2 , v2 ) = (t2 + ).

Fig. 12:

a curva contnua : [a, b] S {p0 } dada por:

Entao

(t) , se t [a, t1 ] [t2 + , b]
(t) =
X (t) , se t [t , t + ] ,
1 2

liga os pontos (a) = p e (b) = q em S {p0 }.

Provamos, assim, que S {p0 } e conexo por caminhos. Logo, S {p0 } e conexa.

392 J. Delgado - K. Frensel