Você está na página 1de 45

Algumas Superfcies Notveis em

Espaos No-Euclidianos

Ion Moutinho Gonalves


Universidade Federal Fluminense

3o Colquio da Regio Nordeste


Setembro de 2014

Sumrio
1

Decompondo o espao R3 em dois fatores


1.1 O espao Euclidiano . . . . . . . . . . . . .
1.2 O sistema de coordenadas esfricas no R3 .
1.3 O sistema de coordenadas cilndricas no R3
1.4 Feixes . . . . . . . . . . . . . . . . . . . . . .

.
.
.
.

3
3
6
7
9

2 O estudo da Geometria Hiperblica por meio de um modelo


2.1 Geometria Hiperblica . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.2 Um modelo de Espao Hiperblico . . . . . . . . . . . . . . . . . . . . . .
2.3 Outros sistemas de coordenadas em H . . . . . . . . . . . . . . . . . . . .

13
13
13
20

3 Algumas superfcies notveis do Espao Hiperblico


3.1 Algumas superfcies do R3 generalizadas para H . . . . . . . . . . . . . .

25
25

4 O Espao Esfrico
4.1 Um modelo de Espao Esfrico . . . . . . . . . . . . . . . . . . . . . . . .
4.2 As coordenadas esfricas e cilndricas em S3 . . . . . . . . . . . . . . . .

31
31
32

5 Continuando o estudo
5.1 A noo de distncia nos espaos no-euclidianos . . . . . . . . . . . . .
5.2 O Clculo Diferencial para o estudo das formas em H . . . . . . . . . . .
5.3 Produto warped . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

35
35
36
38

Referncias Bibliogrficas

41

iii

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

Introduo
Este texto para um minicurso sobre espaos geomtricos, de dimenso 3, noeuclidianos, o Espao Hiperblico e o Esfrico. Destacamos em primeiro lugar que
a abordagem que ser adotada aqui baseada no uso de modelos, isto , no vamos
estruturar as definies e propriedades por meio de uma apresentao axiomtica. Em
particular, no vamos fazer uso sistemtico de um estudo axiomtico. Contudo, no
estamos impedidos de fazer uso de resultados das teorias de Geometria. Vejamos,
agora, esta questo em mais detalhes.
Adotamos um modelo para o Espao Hiperblico e outro para o Esfrico. Estes
modelos dependero de conhecimentos sobre o espao euclidiano Rn , onde R
representa o conjunto dos nmeros reais. Assim, nossa base de conhecimento o
conjunto Rn como modelo de espao euclidiano, isto , de espao vetorial normado,
com a norma proveniente de um produto interno, e de dimenso finita. Ao contrrio
do que acontece num estudo axiomtico e abstrato, quando no importa o que so os
objetos envolvidos, qual a natureza destes, e s o que interessa so as propriedades
assumidas para os objetos, os axiomas da teoria, em um estudo baseado num modelo
os objetos de estudo so explicitamente descritos e as propriedades devem, ou
melhor, podem ser deduzidas a partir de conhecimentos da natureza destes objetos.
Por exemplo, num modelo, propriedades, que num estudo axiomtico so apenas
postuladas, podem ser provadas. Este tipo de estudo tem a grande vantagem de, na
hora de justificar um resultado de interesse, no depender de muitos conhecimentos
da teoria ou de grande habilidade na deduo de resultados intermedirios. Por
outro lado, no estamos impedidos de fazer uso de eventuais propriedades que
conheamos por meio do estudo axiomtico das Geometrias, elaborando argumentos
lgico-dedutivos exclusivamente baseados nos axiomas e resultados j conhecidos da
teoria estudada, a Geometria Hiperblica ou a Geometria Esfrica. Um exemplo na
Geometria Euclidiana plana, suponhamos que precisemos mostrar que trs pontos do
R2 so vrtices de um tringulo retngulo. Podemos determinar equaes para as
retas que contm cada par de ponto e analisar o ngulo entre elas. Ou, podemos usar o
teorema de Pitgoras para tringulo retngulo vlido para a Geometria Euclidiana. Se
verificarmos a relao entre as distncias, de acordo com o teorema, temos que os trs
pontos indicam um tringulo retngulo. Alis, o quanto podemos usar de resultados
de um estudo axiomtico vai depender da habilidade e conhecimento de cada um de
ns.
A proposta aqui desenvolver um estudo mesclado, ora usando argumentos
baseados nas relaes explcitas entre os objetos do modelo, ora usando argumentos
lgico-dedutivos exclusivamente baseados nos axiomas e resultados bsicos da
Geometria Hiperblica, ou Esfrica. Um estudo assim, no caso euclidiano, conhecido

como Geometria Analtica. Assim, considerando um modelo de Espao Hiperblico e


de Espao Esfrico, podemos seguir uma teoria que bem poderia se chamar Geometria
Hiperblica Analtica e Geometria Esfrica Analtica.
O objetivo deste curso, alm de apresentar um estudo analtico dos Espaos
Hiperblico e Esfrico, introduzir uma noo de decomposio nestes espaos. Esta
no uma tarefa imediata, pois os espaos no-euclidianos no possuem retngulos,
isto , no admitem duas famlias ortogonais formadas por retas ou planos paralelos
entre si. Com o objetivo de buscar decomposies para espaos no-Euclidianos
vamos estudar uma generalizao das coordenadas esfricas e cilndricas do R3 . Como
aplicao deste estudo, vamos utilizar as decomposies como um critrio para a
criao de algumas superfcies bastante estudadas no espao euclidiano, a saber, cones,
cilindros e superfcies de rotao. Neste sentido, o Espao Hiperblico apresenta
surpresas interessantes.
importante destacar tambm que este texto no segue a abordagem matemtica
tradicional da busca por teoremas. O objetivo principal aqui conhecer e manipular
novos objetos, normalmente desconsiderados nos estudos tradicionais de Geometria.
Temos, por outro lado, a pretenso de deixar questes de investigao, no caso do leitor
desenvolver estudos na rea de Geometria diferencial.
Os assuntos abordados neste texto so tambm uma apresentao elementar de
objetos que so temas de pesquisas matemticas recentes na rea de Geometria
Diferencial.

Captulo 1
Decompondo o espao R3 em dois
fatores
A introduo de novos sistemas de coordenadas em regies do espao R3 tem por
finalidade simplificar a descrio de certos conjuntos ou funes. Vamos apresentar
algumas definies relacionadas a este conceito a fim de estudar alguns subconjuntos
especiais, a saber, superfcies do tipo de rotao, cone e cilindro.

1.1

O espao Euclidiano

O conjunto R3 = {( x, y, z) : x, y, z R} se torna um espao vetorial de dimenso 3


quando munido das operaes naturais de adio de vetores e de multiplicao de
vetor por escalar. O espao vetorial R3 chamado espao euclidiano quando munido
tambm do produto interno usual.
Notaes:
o smbolo + denota a soma usual de vetores do R3 :

( x, y, z) + ( a, b, c) = ( x + a, y + b, z + c), para todos ( x, y, z), ( a, b, c) R3 ;


o smbolo . denota o produto usual de um vetor por um escalar:
a.( x, y, z) = ( ax, ay, az), para todos a R e ( x, y, z) R3 ;
a notao h, i usada para o produto interno usual do R3 :

h( x, y, z), ( a, b, c)i = xa + yb + zc, para todos ( x, y, z), ( a, b, c) R3 ;


a notao k k usada para a norma euclidiana, proveniente do produto interno:
p
k( x, y, z)k = x2 + y2 + x2 , para todos ( x, y, z) R3 .
Quando munido destas operaes, o R3 vira um modelo de Espao Euclidiano.
Agora, a partir destes elementos, e com a construo de outros, como o conceito de
ngulo, temos que o R3 pode ser visto como um modelo da Geometria Espacial de
Euclides. Dependendo da forma como interpretamos os objetos relacionados com o

Captulo 1: Decompondo o espao R3 em dois fatores

R3 , podemos cham-los de modo diferente. Assim, podemos usar tanto o termo vetor
quanto o termo ponto para os elementos de R3 , dependendo do contexto.
Por ter dimenso 3, os pontos do espao R3 podem ser determinados atravs de
3 coordenadas formadas por nmeros reais. Dada uma base {u1 , u2 , u3 } de R3 , todo
vetor u R3 pode ser escrito como combinao linear da base dada,
u = xu1 + yu2 + zu3 , com x, y, z R3 .
Os valores obtidos, x, y, z R3 , so chamados coordenadas na base {u1 , u2 , u3 }. As
coordenadas de um vetor na base cannica, {(1, 0, 0), (0, 1, 0), (0, 0, 1)}, so conhecidas
como coordenadas cartesianas, e coincidem com as prprias coordenadas de definio
dos objetos elementos de R3 .
A determinao dos elementos de R3 atravs de um sistema de coordenadas numa
base fixada pode ser visto como uma aplicao

( x, y, z) R3 7 xu1 + yu2 + zu3 R3 .


De modo bem mais geral, vamos chamar toda aplicao bijetiva entre subconjuntos de
R3 de um sistema de coordenadas (local) em R3 . Com esta definio, inclumos exemplos
como as coordenadas esfricas e cilndricas, exemplos que sero relembrados logo a
seguir.
A ideia de um sistema de coordenadas de R3 , a princpio, descrever pontos do
conjunto em funo de ternos de nmeros reais, o que pode ser visto como uma forma
de decompor o espao euclidiano em 3 fatores de dimenso 1, R R R. Agora,
podemos ver se no interessante tentar decompor R3 em dois fatores. Neste caso,
temos um fator de dimenso 1 e outro de dimenso 2. Vejamos um exemplo para
ilustrar um pouco melhor esta ideia.
Exemplo: (decomposio ortogonal do R3 em dois fatores) Seja um plano do R3 que
passe pela origem e seja r uma reta ortogonal a , tambm passando pela origem de
R3 . A aplicao

( x, y) r 7 x + y R3
descreve pontos do R3 em funo de duas coordenadas, uma dada pelos elementos de
, espao de dimenso 2, e outra pelos elementos de r, espao de dimenso 1. Este
sistema de coordenadas determina uma representao do R3 como produto do plano
pela reta r.

1.1: O espao Euclidiano

Um exemplo de aplicao deste sistema de coordenadas a descrio da


transformao reflexo com relao ao plano que, neste sistema, fica bem
simplificada. De fato, quando o R3 representado como o produto de por r, a
transformao reflexo expressa por

( x, y) r 7 ( x, y) r.

Este tipo de sistema de coordenadas tambm til para a descrio de um


subconjunto especial, a saber, as superfcies cilndricas. Vamos apresentar uma descrio
paramtrica para este tipo de conjunto.
Seja : I R R3 uma curva. Ento, a aplicao

(s, t) I r 7 ((s), t) r
representa um cilindro sobre a curva .
Exerccio: A aplicao, f (s, t) = (2s2 + s t, s2 + s + t, s2 s + 2t), parametriza um
cilindro. Encontre a decomposio ortogonal do espao em dois fatores que permita
obter uma parametrizao do cilindro como no exemplo anterior.
Exerccio: Encontre, se possvel, outros objetos e transformaes do espao cuja
expresso em funo de uma decomposio ortogonal em dois fatores fique
simplificada.

Captulo 1: Decompondo o espao R3 em dois fatores

1.2

O sistema de coordenadas esfricas no R3

Outro sistema de trs parmetros muito usado para descrever pontos do espao
o sistema que considera a distncia de um ponto dado origem e a sua direo
no espao, conhecido como sistema de coordenadas esfricas. Mais precisamente, dado
p R3 (0, 0, 0), se > 0 a distncia de p origem e se [0, ) e [0, 2 )
so os parmetros que determinam a direo de p, representando a colatitude, isto , o
ngulo que o vetor p faz com o eixo z, e representando a longitude, isto , o ngulo que a
projeo de p sobre o plano xy faz com o eixo x, respectivamente, ento as coordenadas
esfricas de p so representadas por (, , ). Neste caso, as coordenadas cartesianas
de p, ( x, y, z), so expressas em funo das coordenadas esfricas pelas relaes

R3

x = sin( ) cos( )
y = sin( ) sin( ).
z = cos( )
Em linguagem vetorial, temos

( x, y, z) = (sin( ). cos(), sin( ). sin(), cos()).


Note
que (sin( ). cos( ), sin( ). sin( ), cos( )) um ponto da esfera
 (verifique)
3
= u R : kuk = 1 . s vezes, um problema envolvendo coordenadas esfricas
no exige que se mencione explicitamente os parmetros e . Neste caso, a expresso
de um ponto ( x, y, z) de R3 em coordenadas esfricas pode ser simplificada para

S2

( x, y, z) = u, onde > 0 e u S2 .
Em particular, a expresso fornece uma decomposio do R3 (0, 0, 0) como produto
de dois fatores, (0, +) e u S2 (o primeiro fator pertence a um espao de
dimenso 1 e o segundo pertence a um espao de dimenso 2). Em resumo, a aplicao,

(, u) (0, +) S2 7 u R3 (0, 0, 0),


define um sistema de coordenadas sobre R3 (0, 0, 0), chamado tambm de
coordenadas esfricas, que representa o espao como um produto de uma semirreta por
uma esfera.
Exemplo: A equao da esfera de centro em (0, 0, 0) e raio r dada, em coordenadas
esfricas, por = r. De fato, a expresso = r significa que o parmetro fixado e o
parmetro u S2 varia livremente, ou seja, todo ponto que satisfaa equao = r
tem que ter a norma fixada, mas pode variar a direo, o que permite descrever todos
os pontos da esfera de raio r.
Exemplo: A equao da semirreta de R3 que parte da origem e passa por um ponto a,
em coordenadas esfricas, da forma u = k aak (vetor unitrio). De fato, um ponto de

R3 da forma p = u, com u =

a
k ak

, s tem o parmetro livre, ou seja, s pode variar

1.3: O sistema de coordenadas cilndricas no R3

o seu comprimento, enquanto que a direo fica constante. Como > 0, tais pontos
esto sobre uma semirreta.
Exemplo: (descrio paramtrica de um cone) Um cone uma figura geomtrica
formada por um feixe de semirretas com origem em um ponto do espao e que passam
por uma curva. Por exemplo, se : I R R3 uma curva ento a aplicao

(s, t) (0, +) I 7 s(t) R3


parametriza o cone gerado pela curva com vrtice na origem.
A escolha arbitrria de uma curva para descrever um cone pode no ser uma
boa opo. Por exemplo, o conhecimento de pode ainda no deixar claro como
o formato do cone. S para ilustrar, poderamos ter parametrizando um crculo no
espao sem que o cone seja reto e de base circular. Alm disso, as curvas coordenadas,
s = constante e t = constante, podem no ser ortogonais.
Uma maneira tima de descrever um cone a partir de uma curva considerar
que a curva tal que k(t)k = 1 para todo t I, ou seja, uma curva da
forma : I R S2 . Neste caso, as coordenadas esfricas servem para uma boa
parametrizao. Em coordenadas esfricas, temos

(s, t) (0, +) I 7 (s, (t)) (0, +) S2 .

1.3

O sistema de coordenadas cilndricas no R3

Outro sistema de coordenadas que fornece uma decomposio do espao em dois


fatores o sistema de coordenadas cilndricas,

( x, , ) R (0, +) [0, 2 ) 7 ( x, cos( ), sin( )) R3 {( x, 0, 0) : x R} .




2 denotar o semiplano ( t , t ) R2 : t > 0 e S1 denotar o crculo
Agora,
fazendo
R
2
2
1
+


x R2 : k x k = 1 , a aplicao acima pode ser revista como a seguinte decomposio

Captulo 1: Decompondo o espao R3 em dois fatores

(t1 , t2 , x ) R2+ S1 7 (t1 , t2 x ) R R2 R3 .


Exemplo: Considere a decomposio do R3 como produto de um semiplano por um
crculo, obtida atravs do sistema de coordenadas cilndricas, e seja : I R2+ uma
curva. Ento, a aplicao

(t, x ) I S1 7 ((t), x ) R2+ S1


representa a superfcie de rotao gerada pela curva . De outra forma, quando o R3
est decomposto como o produto de um semiplano por um crculo, segundo o sistema
de coordenadas cilndricas, uma superfcie de rotao do espao o produto de uma
curva do semiplano com o crculo e parametrizada pela parametrizao da curva
vezes a identidade do crculo.
As curvas coordenadas, t 7 ((t), x0 ) R2+ S1 e x 7 ((t0 ), x ) R2+ S1 ,
parametrizam, respectivamente, os meridianos e os paralelos da superfcie de rotao.

1.4: Feixes

O objetivo, neste texto, para a definio dos sistemas de coordenadas estabelecidos


aqui bem simples, simplesmente o de estabelecer uma maneira de representar
as superfcies discutidas nos exemplos, cilindros, cones e de rotao. Por exemplo,
se consideramos um sistema de coordenadas, : R2+ S1 R3 , a aplicao,
f : I S1 7 R2+ S1 , f (t, x ) = ((t), x ), deve ser reconhecida como uma superfcie
de rotao. Essa notao ser muito til quando buscarmos um estudo anlogo sobre
superfcies nos espaos hiperblico e esfrico.
Cabe chamar a ateno do leitor para o fato de que possvel, e muito
til, desenvolver conhecimentos matemticos relacionados com os sistemas de
coordenadas que estamos vendo aqui. Contudo, isso exigiria conhecimentos que ainda
no estamos assumindo no texto.
Exerccio: Defina um sistema de coordenadas cilndricas em R4 do tipo R2+ S2 e
utilize-o para definir uma noo hipersuperfcie de rotao em R4 . Neste caso, qual
a dimenso dos meridianos e dos paralelos? Qual a natureza dos meridianos? E
dos paralelos? Voc tambm pode definir outro sistema de coordenadas cilndricas em
R4 agora do tipo R3+ S1 . Utilize-o para definir mais uma noo de hipersuperfcie
de rotao R4 . Como fica a dimenso dos meridianos e dos paralelos neste novo caso?
Qual a natureza dos meridianos? E dos paralelos?

1.4

Feixes

Podemos definir sistemas de coordenadas a partir das aplicaes mais variadas.


Contudo, os exemplos vistos at agora podem ser colocados dentro de um nico ponto
de vista, desenvolvido a partir do conceito de feixe, de retas e semirretas e de planos e
semiplanos.
Um feixe de semirretas com origem p o conjunto das semirretas com origem no
ponto p. Vamos tambm considerar a noo de feixe de retas paralelas, o conjunto das
retas paralelas a uma reta dada. De modo anlogo se define feixe de semilplanos e feixe
de planos paralelos.
Antes de analisarmos os referidos sistemas de coordenadas de R3 do ponto de
vista de feixes, vamos fazer algumas observaes sobre uma verso planar da questo,
vamos falar sobre o sistema de coordenadas polares do R2 . Uma forma de descrever o

10

Captulo 1: Decompondo o espao R3 em dois fatores

sistema de coordenadas polares consider-lo como a aplicao

(, u) (0, +) S1 7 u R2 {(0, 0)} ,




onde S1 = u R2 : kuk = 1 . Este sistema de coordenadas induz uma decomposio
do plano num produto de uma semirreta por um crculo. Note que todo vetor u S1
pode ser escrito da forma u = (cos( ), sin( )) e a aplicao acima se escreve em
coordenadas como
(, ) 7 ( cos( ), sin( )),
forma que talvez o leitor esteja mais acostumado.
As curvas coordenadas do sistema de coordenadas polares so as curvas u =
constante, que formam um feixe de semirretas com origem (0, 0), e as curvas =
constante, que formam os crculos de centro (0, 0).

Note que as coordenadas polares formam um sistema no qual a rede de curvas


coordenadas tal que elas se interceptam ortogonalmente. Note tambm que esta a
nica maneira de se obter um sistema de coordenadas cuja rede de curvas coordenadas
formada por um feixe de semirretas com origem num ponto e por uma famlia de
curvas ortogonais a este feixe. De fato, a nica famlia de curvas ortogonais a um feixe
de semirretas a famlia de curvas formadas por crculos concntricos e com centro na
origem do feixe.
Uma variao deste tipo de construo ocorre quando fazemos a origem do feixe
de semirretas se deslocar, na direo do eixo y, para o infinito. Neste caso, o feixe de
semirretas se transforma num feixe de retas paralelas e a famlia de crculos, sempre
ortogonal ao feixe, muda para um outro feixe de retas paralelas, ortogonal ao feixe
limite. Ou seja, o sistema de coordenadas cartesianas aparece como um caso limite de
sistemas de coordenadas polares.
Como foi dito no incio desta seo, podemos expressar o espao R3 em termos
dos mais variados tipos de sistemas de coordenadas. Entretanto, se quisermos definir
um sistema de coordenadas no espao que o decomponha em dois fatores e que seja
descrito em termos de feixes de retas e semirretas, ou de planos e semiplanos, e de

1.4: Feixes

11

famlias de superfcies, ou de curvas, ortogonais ao feixe, as possibilidades se reduzem


aos sistemas j vistos aqui, de coordenadas esfricas, cilndricas e ortogonais.
Em funo do uso constante que faremos das famlias de curvas e superfcies
relacionadas com os sistemas de coordenadas, vamos introduzir a seguinte
terminologia. Dado um sistema de coordenadas, o conjunto das famlias de curvas,
ou superfcies, induzidas pela equao, coordenada = constante, ser chamado de
rede induzida pelo sistema de coordenadas. Por exemplo, no plano, a rede induzida pelas
coordenadas polares formada pelas semirretas com origem em (0, 0) e pelos crculos
de centro em (0, 0). No sistema de coordenadas esfricas do R3 , a rede induzida
formada pelas semirretas de origem (0, 0, 0) e as esferas de centro em (0, 0, 0).
Resumindo, temos trs casos.
Caso 1: Imagine um feixe de retas paralelas em R3 . Sendo o feixe uma famlia de
curvas, isto , de objetos de dimenso 1, uma famlia ortogonal ao feixe de retas deve
ser formada por superfcies. A nica maneira de se obter uma famlia de superfcies
ortogonais a um feixe de retas paralelas formando uma famlia de planos paralelos,
ortogonais ao feixe.
Um sistema de coordenadas em R3 cuja rede induzida tenha estas caractersticas
tem, ento, que coincidir com o sistema de coordenadas ortogonais.
Caso 2: Imagine um feixe de semirretas com origem em (0, 0, 0). A nica maneira de se
obter uma famlia de superfcies ortogonais a um feixe de semirretas formando uma
famlia de esferas com centro na origem de feixe.
Um sistema de coordenadas em R3 cuja rede induzida tenha estas caractersticas
tem, ento, que coincidir com o sistema de coordenadas esfricas.
Caso 3: Imagine agora um feixe de semiplanos, ou seja, um conjunto de semiplanos
com origem em uma determinada reta do espao. Sendo o feixe uma famlia de
superfcies, isto , de objetos de dimenso 2, uma famlia ortogonal ao feixe de
semiplanos deve ser formada por curvas. A nica maneira de se obter uma famlia
de curvas ortogonais a um feixe de semiplanos formando uma famlia de crculos
com centro na reta origem do feixe, ortogonais ao feixe.
Um sistema de coordenadas em R3 cuja rede induzida tenha estas caractersticas
tem, ento, que coincidir com o sistema de coordenadas cilndricas.

12

Captulo 1: Decompondo o espao R3 em dois fatores

Captulo 2
O estudo da Geometria Hiperblica por
meio de um modelo
Vamos estudar um modelo de Geometria Espacial diferente da Euclidiana. Neste
modelo poderemos explorar e investigar sobre conhecimentos relacionados com a
Geometria Hiperblica. O foco estudar algumas superfcies notveis, por analogia
ao caso euclidiano.

2.1

Geometria Hiperblica

A Geometria Hiperblica resultado de um longo processo de questionamentos e


anlises da estrutura axiomtica da Geometria Euclidiana, e at de experimentaes
prticas. Como consequncia deste processo, no sculo XIX, estabeleceu-se uma nova
estrutura axiomtica que deu origem a outra geometria, de caractersticas prprias.
Basicamente, a Geometria Hiperblica nasce quando se troca o quinto postulado de
Euclides pelo postulado que diz que por um ponto fora de uma reta podem ser traados pelo
menos duas retas que no encontram a reta dada.
Considerando esta mudana axiomtica, cabe lembrar que muitos enunciados de
natureza mtrica, ou quantitativa, dependem do quinto postulado de Euclides para
serem considerados como resultados da Geometria Euclidiana. Por exemplo, temos o
teorema de Pitgoras para tringulos retngulos e o teorema sobre a soma dos ngulos
de um tringulo ser 180o .
A proposta aqui no desenvolver um estudo axiomtico da Geometria
Hiperblica, muito menos se pretende fazer uso sistemtico deste conhecimento.
Vamos, sim, fazer referncia a elementos da Geometria Hiperblica e, para isto,
faremos nosso estudo apoiados num modelo desta teoria.

2.2

Um modelo de Espao Hiperblico

O modelo de espao hiperblico que vamos considerar o conhecido modelo do


semiespao de Poincar, H, onde:


H = ( x, y, z) R3 : z > 0 ;
13

14

Captulo 2: O estudo da Geometria Hiperblica por meio de um modelo

os pontos de H so os elementos do prprio conjunto;


as retas de H so os semicrculos de R3 contidos em H que tm centro no plano
z = 0 e esto contidos num plano perpendicular ao plano z = 0; alm das
semirretas de R3 que esto contidas em H, tm origem no plano z = 0 e so
perpendiculares a este;
os planos de H so as semiesferas de R3 contidas em H e que tm centro no plano
z = 0, alm dos semiplanos com origem no plano z = 0 e perpendiculares a este.
Em primeiro lugar, no custa lembrar que estes elementos no definem exatamente
a Geometria Hiperblica. Estas so somente as primeiras referncias para se
estabelecer o conjunto H como um modelo da teoria.
Quando for necessrio ser mais especfico, usaremos os termos ponto hiperblico, reta
hiperblica e plano hiperblico como referncia aos elementos geomtricos de H.

Exemplo: Num estudo axiomtico e abstrato, no importa o que so os objetos


envolvidos, qual a natureza deles. S o que interessa so as propriedades assumidas
para os objetos, os axiomas da teoria. Por outro lado, num estudo baseado num
modelo, os objetos de estudo so explicitamente descritos e as propriedades devem,
ou melhor, podem ser deduzidas a partir do conhecimento da natureza destes objetos.
A partir do modelo estabelecido aqui, podemos verificar resultados da teoria
da Geometria Hiperblica levando em considerao os elementos do modelo
explicitamente definidos. Por exemplo, num estudo axiomtico e abstrato desta teoria,
a propriedade, dois pontos distintos quaisquer pertencem a uma nica reta, um de seus
axiomas, uma propriedade postulada. Agora, no nosso modelo, podemos verificar
tal propriedade. De fato, dados P e Q em H, se as respectivas projees ortogonais
destes pontos sobre z = 0 no coincidem, existe um nico plano euclidiano, , que
perpendicular ao plano euclidiano z = 0 e que contm P e Q. Para este caso
consideramos o ponto mdio, A = ( P + Q)/2, e, ento, consideramos a reta euclidiana,
r, que passa por A, perpendicular ao segmento euclidiano PQ e est contida em . A
reta hiperblica que contm P e Q dada pelo semicrculo contido em que contm
P e Q e tem centro dado pela interseo da reta r com o plano z = 0. Se a projeo
ortogonal de P sobre z = 0 igual projeo ortogonal de Q sobre z = 0, a reta
hiperblica dada pela semirreta que contm P e Q e tem origem no plano z = 0.
A verificao da unicidade imediata de conhecimentos de Geometria Euclidiana
espacial. Veja uma representao grfica da situao aqui descrita.

2.2: Um modelo de Espao Hiperblico

15

Observao: Procedendo como no exemplo anterior, podemos usar o modelo para


provar propriedades da Geometria Hiperblica. Contudo, podemos tambm mesclar
o estudo, ora usando argumentos baseados nas relaes explcitas entre os objetos
do modelo, ora usando argumentos lgico-dedutivos exclusivamente baseados nos
axiomas e resultados bsicos da Geometria Hiperblica. Um estudo assim, no caso
euclidiano, conhecido como Geometria Analtica. Assim, considerando o nosso
modelo de espao hiperblico, podemos seguir uma teoria que bem poderia se chamar
Geometria Hiperblica Analtica.
Continuando com a descrio do modelo de espao hiperblico, quero agora
falar sobre um conhecimento fundamental, as isometrias do espao hiperblico. As
isometrias de H so dadas pelas restries a H de isometrias euclidianas, homotetias e
inverses (que levam H sobre H), alm das composies destas.
Lembro que uma homotetia uma aplicao de R3 , definida a partir de um ponto
~
C R3 e um fator r > 0, que transforma um ponto X num ponto X da semirreta CX

de modo que CX = r.CX. E uma inverso uma aplicao definida a partir de um


ponto C R3 e um fator r > 0, que leva um ponto X 6= C num ponto X da semirreta
~ de modo que CX.CX = r2 (A inverso funciona como a reflexo com relao a
CX
uma esfera).
Exerccio: Descreva explicitamente quais so as isometrias, homotetias e inverses
de R3 que levam H sobre H. Mostre que o conjunto das composies destes tipos de
aplicaes forma um subgrupo de Bij(H), conjunto de todas as bijees de H.
Uma curiosidade, se tivssemos iniciado este estudo de acordo com a abordagem
proposta por Felix Klein, em seu Erlanger programm, em 1872, para se estabelecer o
conjunto H como modelo de espao hiperblico, definiramos em primeiro lugar um
determinado grupo de transformaes de H. No caso, devemos considerar o subgrupo
de bijees de H, Iso(H), que gerado pelos trs tipos de aplicaes que acabamos
de destacar. Podemos dizer que Iso(H) o grupo das transformaes hiperblicas e seus
elementos so chamados de transformaes isomtricas, ou simplesmente de isometrias.
Pela interpretao do termo, transformao, que se d a uma funo, dizemos que o
grupo Iso(H) age sobre H.
Segundo a proposta de Klein, o estudo da Geometria Hiperblica se d a partir
do estudo de propriedades que so invariantes pela ao de Iso(H) e, assim, a anlise
de invariantes hiperblicos tambm pode ser uma possibilidade de abordagem para
desenvolvimento do nosso estudo sobre Geometria Hiperblica. Por exemplo, uma
vez estabelecido o grupo de transformaes que agem sobre H, podemos verificar

16

Captulo 2: O estudo da Geometria Hiperblica por meio de um modelo

que as retas e os planos hiperblicos so de fato elementos da Geometria Hiperblica,


pois as propriedades, "ser reta hiperblica"e "ser plano hiperblico", so propriedades
invariantes pela ao de Iso(H).
Exerccio: Verifique que as isometrias de H levam retas hiperblicas em retas
hiperblicas e planos hiperblicos em planos hiperblicos, isto , retas e planos
hiperblicas so invariantes pela ao de Iso(H). Aproveitando o exerccio, mostre
que, dadas duas retas hiperblicas, existe uma isometria de H que transforma uma
reta na outra (o mesmo vale para dois planos hiperblicos).
Exerccio: Verifique se so invariantes pela ao de Iso(H), sempre que esto contidos
em H: as esferas euclidianas; os crculos euclidianos (contidos num plano euclidiano);
os semiplanos euclidianos; os planos euclidianos; as semirretas euclidianas; as retas
euclidianas.
Com relao noo de ngulo, o conceito anlogo ao caso euclidiano e a medida
de ngulo em H deve coincidir com a noo de medida de ngulo entre curvas de R3 .
Observe que s pode ser assim, pois as aplicaes escolhidas como as isometrias de
H so aplicaes conformes de R3 . Ou seja, a noo euclidiana de medida de ngulo
entre curvas uma propriedade invariante pela ao do grupo Iso(H).
Exerccio: Uma aplicao f : U R3 R3 , com U sendo um aberto de R3 , dita
uma aplicao conforme se diferencivel e, para todo p U, para todos u, v R3 ,
tem-se h f ( p)u, f ( p)vi = ( p) hu, vi , onde ( p) representa um nmero que depende
de p. Verifique que as isometrias de H so aplicaes conformes. Verifique que
uma aplicao conforme preserva ngulo entre curvas, ou seja, se f uma aplicao
conforme e , so curvas que se interceptam em p R3 ento o ngulo entre e
em p igual ao ngulo entre f e f em f ( p).
Exemplo: Um cilindro da Geometria Euclidiana obtido pela unio de retas paralelas
entre si e que contm algum ponto de uma curva plana (para simplificar nossa
discusso, vamos considerar a noo de cilindro completo, isto , com as geratrizes
sendo retas). Assim, um cilindro euclidiano fica determinado quando dada uma
curva contida num plano e uma reta secante a este plano. Contudo, transferir este
conceito para o espao hiperblico no um ao imediata. De fato, quando se
estabelece uma reta hiperblica e uma curva sobre um plano hiperblico, dado um
ponto da curva, no possvel determinar precisamente a reta paralela que contm este
ponto, pois, ao contrrio do que acontece na Geometria Euclidiana, existem infinitas
retas paralelas a uma reta dada e sobre um mesmo ponto.
Dada uma reta hiperblica e um ponto fora desta, existem uma infinidade de retas
hiperblicas paralelas reta dada que contm tal ponto. Porm, podemos usar a noo
de ngulo para determinar uma reta especfica. Vejamos, ento, o cilindro euclidiano
sobre outro enfoque. Dado um cilindro euclidiano, consideramos uma geratriz do
cilindro e um plano euclidiano perpendicular geratriz. A interseo deste plano com
a superfcie uma curva. Assim, podemos ver um cilindro como o conjunto das retas
perpendiculares a um plano e que passam por algum ponto da curva.

2.2: Um modelo de Espao Hiperblico

17

Com base nessa preliminar, parece ser razovel definir a seguinte noo. Um
cilindro hiperblico completo a unio de retas hiperblicas que passam por uma
curva contida num plano hiperblico e so perpendiculares a este. A pergunta que
segue depois desta definio : Esta uma boa definio? Ou melhor, ser que
as propriedades conhecidas para os cilindros euclidianos so preservadas para esta
verso hiperblica? Ou, ser que esta definio gera propriedades to boas quanto a
verso euclidiana gera? Vou deixar estas perguntas no ar por enquanto e o leitor est
convidado a pensar sobre o assunto.

Observao: No exemplo anterior, eu chamei a ateno para o fato de que, dada uma
reta r e um ponto fora desta, existe uma infinidade de retas paralelas a r que passam
por P. Na verdade, esta situao no aleatria. Veja uma interpretao da situao na
seguinte representao do nosso modelo de espao hiperblico. claro que a discusso
sobre retas paralelas s faz sentido quando restritas a um plano. A figura representa
uma reta r dada e um ponto P fora desta. A, percebemos uma infinidade de retas
hiperblicas que passam por P e so paralelas a r, isto , percebemos um feixe de
retas paralelas a r e passando por P. Note, pelo desenho, que devem existir duas retas
especiais, so retas que vou chamar, por hora, de retas limites do feixe. Estas retas
gozam de propriedades especiais. Por exemplo, possvel mostrar que se s uma das
duas retas limites do feixe ento dH (r, s) = inf {dH ( p, q) : p r e q s} = 0, onde dH
denota a distncia hiperblica (noo que ainda vamos apresentar). Assim, duas retas
hiperblicas paralelas com um ponto em comum no plano z = 0 so chamadas de retas
assintticas. Duas retas hiperblicas paralelas que no sejam assintticas so chamadas
de retas ultraparalelas.

18

Captulo 2: O estudo da Geometria Hiperblica por meio de um modelo

Observao: Antes de continuarmos, preciso chamar ateno para uma questo que
o leitor certamente j conhece, mas que acredito que deva ser enfatizada para melhor
apreciao do estudo que estamos desenvolvendo. A pura e simples definio de
um conjunto no determina exatamente o que este conjunto. Para isto, preciso
tambm estabelecer uma estrutura para o conjunto. Talvez seja mais fcil falar sobre
isto a partir de um exemplo. O R2 um conjunto formado por pares de nmeros
reais. Bom, definindo alguns elementos para este conjunto, ele pode ser visto como
um plano da Geometria Euclidiana. Por outro lado, definindo operaes adequadas, o
mesmo conjunto pode ser visto como um conjunto numrico, o conjunto dos nmeros
complexos. Ou, ento, podemos ver o conjunto R2 como espao de vetores. A forma de
entender o conjunto R2 s vai mudando, dependendo da estrutura que consideramos.
Por exemplo, o R2 pode ser visto como um espao vetorial de dimenso 2, quando
um espao vetorial real. Mas, tambm pode ser visto como um espao vetorial
de dimenso 1, quando um espao vetorial complexo. Neste texto, ns vamos
considerar vrias estruturas diferentes para um mesmo conjunto, o R3 . A, devemos
ver este conjunto de vrias maneiras. Ns j lidamos com esta
forma
 diferena 3de uma
3
bastante evidente, quando consideramos o conjunto R+ = ( x, y, z) R : z > 0 com
elementos que o munem com a estrutura de espao hiperblico (ainda falta falar sobre
alguns elementos). Tanto assim que para destacar esta diferena, usamos a letra H
para indicar o conjunto R3+ com esta nova estrutura geomtrica. Fique atento para
estas mudanas de estrutura, leitor. s vezes elas so sutis, mas so importantes.
Com o modelo do semiespao de Poincar, a introduo de um sistema de
3
coordenadas em H bem simples, basta
 considerar 3a aplicao,
i : R+ H, i ( x ) = x,
3
3
para todo x R+ , onde R+ = ( x, y, z) R : z > 0 . Analisando a questo
sobre conjuntos e estruturas, podemos ver a aplicao i, do ponto de vista de
conjunto, apenas como a aplicao identidade. Mas, considerando possveis estruturas
associadas ao mesmo conjunto, podemos ter uma aplicao com caractersticas
bastante variadas. Prestar a ateno para estas questes um timo exerccio de
Matemtica, leitor.
Exemplo: O conjunto {( x, y, z) H : x = a, y = b} descreve uma reta hiperblica. A
equao ( x a)2 + (y b)2 + z2 = r2 , determina um plano de H.

2.2: Um modelo de Espao Hiperblico

19

Exemplo: As aplicaes T : H H, T ( p) = p + ( a, b, 0), e L : H H, L( p) =


p p0
2 + p0 , onde p0 = ( a, b, 0), descrevem isometrias de H.
k p p0 k

Exemplo: Consideremos as trs retas sobre o plano y = 0, r, s e t, dadas,


respectivamente, pelas equaes ( x 1)2 + y2 = 2, (3 + x )2 + y2 = 18 e x = 0.
Consideremos agora o tringulo formado a partir destas retas. Usando as equaes,
fcil falar sobre os ngulos deste tringulo. Com contas elementares, podemos obter,
usando aproximaes, 71o para o ngulo entre as retas r e s, e 45o para os outros
dois ngulos. Note que a soma dos ngulos menor do que 180o . Usando uma
representao geomtrica de R3 e das retas hiperblicas, podemos analisar a situao
a partir da seguinte figura.

Exerccio: Consideremos os pontos (0, 0, 2) e (0, 0, 1) e o grupo G formado por todas


as isometrias de H que deixam invariante o plano hiperblico dado pela equao
x = 0 e que deixam o ponto (0, 0, 2) fixo. Ou seja, se g G ento g(0, y, z) =
(0, g2 (y, z), g3 (y, z)) e g(0, 0, 2) = (0, 0, 2). Determine uma equao que descreva o
conjunto X = { g(0, 0, 1) H : g G }. Reescreva o conjunto X usando a noo de
distncia. O conjunto X descreve que objeto da Geometria Hiperblica? (Note que
ainda no falei sobre a noo de distncia hiperblica, mas natural esperar, ou pedir,
que esta seja invariante pela ao de Iso(H).)
Exerccio: Novamente, consideremos os pontos (0, 0, 2) e (0, 0, 1). Mas, agora G denota
o grupo de todas as isometrias de H que deixam o ponto (0, 0, 2) fixo. Determine uma
equao que descreva o conjunto X = { g(0, 0, 1) H : g G }. Reescreva o conjunto
X usando a noo de distncia. O conjunto X descreve que objeto da Geometria
Hiperblica?
Projeto: Segundo a apresentao deste texto, ainda no sabemos falar sobre a noo
de distncia hiperblica. Contudo, podemos comparar tamanhos com apoio das
isometrias. O programa de Geometria Dinmica, GeoGebra, pode ser uma tima
ferramenta para o estudo de transformaes dadas pelas isometrias hiperblicas.
Sugiro tentar perceber o modelo do semiespao de Poincar como Espeo Hiperblico
com a ajuda deste programa. Por exemplo, tente obter um segmento isomtrico
a outro dado, em uma mesma reta e em retas distintas. Procure notar como

20

Captulo 2: O estudo da Geometria Hiperblica por meio de um modelo

a percepo euclidiana bem diferente da percepo oferecida pelo modelo da


geometria hiperblica. Sugiro tambm entender a transitividade das transformaes
hiperblicas, isto , a propriedade de que dados p, q H, existe g Iso(H) tal
que q = g( p). Inclusive, alguns exerccios podem ser resolvidos com recursos do
GeoGebra.

2.3

Outros sistemas de coordenadas em H

O sistema de coordenadas, i : R3+ H, i ( x ) = x, no to especial quanto no


caso euclidiano. Em H, este sistema de coordenadas no cartesiano, apesar de ser
ortogonal. Ou seja, as curvas coordenadas, x = constante e y = constante, formam
uma rede de curvas ortogonais entre si, mas estas curvas no so retas hiperblicas,
pelo menos as curvas da famlia y = constante no so. Vale lembrar que a Geometria
Hiperblica no permite nenhum sistema de coordenadas cartesianas, isto um dos
resultados da teoria.
No entanto, em R3 , encontramos outros sistemas de coordenadas ortogonais
importantes, como as coordenadas cilndricas e as coordenadas esfricas. Ser possvel
encontrar algo anlogo no espao hiperblico? Se sim, estes sistemas de coordenadas
descreveriam mais facilmente superfcies e slidos de interesse?
Em primeiro lugar, vejamos como seria um sistema de coordenadas polares no
plano hiperblico. Vamos analisar esta questo a partir da noo de feixes de retas
hiperblicas, e de semirretas hiperblicas.
Um sistema de coordenadas polares no plano euclidiano caracterizado por ter
duas famlias ortogonais de curvas coordenadas, uma dada por um feixe de semirretas
com origem num mesmo ponto e outra formada necessariamente por crculos com
centro na origem do feixe. A reproduo desta ideia para o plano hiperblico
ilustrada nas prximas figuras.

2.3: Outros sistemas de coordenadas em H

21

Caso 1: (feixe de semirretas hiperblicas)


Considerando um feixe de semirretas hiperblicas, a famlia de curvas ortogonais
necessariamente formada por crculos, mas o centro dos crculos no coincide com
a origem do feixe de semirretas. O leitor pode provar este fato, mas tambm pode
perceb-lo com recursos da Geometria Dinmica.

A situao aqui realmente anloga ao caso euclidiano, pois as curvas ortogonais


ao feixe de semirretas so tambm crculos hiperblicos.
Projeto: Com os recursos do GeoGebra, realize transformaes sobre um segmento
PQ com o grupo das isometrias que deixam P fixo. Verifique que o conjunto das
imagens de Q pela ao deste grupo um crculo euclidiano contido em H. Os crculos
euclidianos so crculos hiperblicos.
O interessante da verso hiperblica das coordenadas polares que podemos obter
mais dois casos.

22

Captulo 2: O estudo da Geometria Hiperblica por meio de um modelo

Caso 2: (feixe de retas hiperblicas paralelas assintticas)


Uma curiosidade na relao entre as coordenadas polares e as cartesianas no plano
euclidiano que a ltima pode ser vista como uma situao limite da primeira, quando
fazemos a origem do feixe de semirretas ir para infinito. As duas figuras a seguir
representam dois sistemas de coordenadas quando levamos para o infinito a origem
de um feixe de semirretas hiperblicas.

Apesar do aspecto diferente entre as duas figuras, os dois sistemas de coordenadas


so equivalentes, pois um pode ser visto com resultado da transformao por uma
isometria do tipo reflexo com relao a um crculo.
Os sistemas de coordenadas ilustrados no caso 2 podem ser descritos como um
sistema de coordenadas com uma famlia de curvas coordenadas formada por um
feixe de retas hiperblicas assintticas. Note que as curvas ortogonais ao feixe de retas
hiperblicas assintticas so invariantes pela ao de Iso(H).

2.3: Outros sistemas de coordenadas em H

23

Caso 3: (feixe de retas hiperblicas ultraparalelas)


Seguindo a generalizao, e utilizando feixes de retas hiperblicas paralelas agora
do tipo ultraparalelas, obtemos mais uma generalizao do sistema de coordenadas
polares. A figura a seguir ilustra este caso.

Novamente, as curvas ortogonais ao feixe de retas hiperblicas ultraparalelas so


invariantes pela ao de Iso(H).
A partir das verses hiperblicas das coordenadas polares, podemos especular
sobre verses hiperblicas para coordenadas esfricas e cilndricas.
Se estas
generalizaes fizerem sentido, temos, ento, seis possibilidades, trs possibilidades
de coordenadas esfricas e trs de coordenadas cilndricas.
A introduo de sistemas de coordenadas no espao hiperblico a partir dos trs
casos apresentados leva a formalizao de seis sistemas de coordenadas ortogonais
bastante interessantes, trs casos do tipo coordenadas esfricas hiperblicas e trs casos do
tipo coordenadas cilndricas hiperblicas. Vejamos como seriam estas generalizaes.
As coordenadas esfricas do espao euclidiano so obtidas considerando um feixe
de semirretas. Neste caso, a famlia ortogonal formada por esferas com centro na
origem do feixe. A reproduo desta ideia para o caso 1 das coordenadas polares
hiperblicas gera um sistema de coordenadas a partir da decomposio de H por uma
famlia formada por um feixe de semirretas hiperblicas e por uma famlia de esferas
euclidianas ortogonais ao feixe. Podemos reproduzir esta ideia a partir dos outros dois
casos de coordenadas polares hiperblicas.
As coordenadas cilndricas do espao euclidiano so obtidas a partir de um feixe
de semiplanos. Neste caso, a famlia ortogonal um conjunto de crculos ortogonais
aos semiplanos e com centro no eixo origem do feixe. A reproduo desta ideia para
o caso 1 das coordenadas polares hiperblicas coincide com a imagem euclidiana de
um sistema de coordenadas cilndricas. Novamente podemos reproduzir a ideia de
coordenadas cilndricas para o espao hiperblico a partir dos outros dois casos de
coordenadas polares hiperblicas.

24

Captulo 2: O estudo da Geometria Hiperblica por meio de um modelo

Vamos formalizar a ideia de sistema de coordenadas. Toda aplicao bijetiva,


: U R3 H, onde U denota um conjunto aberto de R3 , ser chamada de um
sistema (local) de coordenadas em H. Assim, podemos indicar um sistema de coordenadas
esfricas hiperblicas, por exemplo, por
: R ( N { p}) R3 H,
onde N denota uma esfera euclidiana contida em H e tangente ao plano z = 0, e
p o ponto de tangncia. Devemos observar que a notao no explicita como a
aplicao parametriza o espao H, mas no deixa dvidas sobre qual dos trs tipos
de coordenadas esfricas estamos nos referindo. Neste exemplo, a referncia s pode
ser com relao s coordenadas esfricas que generalizam o 2o caso de coordenadas
polares.
Exerccio: Faa desenhos que representem os trs casos de coordenadas esfricas e os
trs casos de coordenadas cilndricas.
Exerccio: Represente todos os tipos de coordenadas esfricas, e cilndricas, por meio
de aplicaes do tipo : U R3 H.

Captulo 3
Algumas superfcies notveis do Espao
Hiperblico
De posse de sistemas de coordenadas anlogos aos sistemas de coordenadas
esfricas e cilndricas, vamos criar, por analogia ao caso euclidiano, algumas
superfcies notveis.

3.1

Algumas superfcies do R3 generalizadas para H

A introduo de novos sistemas de coordenadas em regies do espao euclidiano


costuma ter por finalidade simplificar a descrio de certos conjuntos ou funes.
Vamos aplicar esta ideia no espao hiperblico a fim de criar alguns subconjuntos
especiais, a saber, superfcies do tipo de rotao e cone.
O sistema de coordenadas cilndricas euclidianas til para a descrio das
superfcies conhecidas como superfcie de rotao. Vamos generalizar este conceito
para o espao hiperblico por analogia. Assim, um subconjunto S H ser chamado
de superfcie de rotao hiperblica se puder ser parametrizado por uma aplicao do tipo

(s, t) I N 7 ((s), t),


onde : V N R3 H representa um sistema de coordenadas cilndricas
hiperblicas e : I R V representa uma curva sobre o semiplano, ou plano
(dependendo do caso), V. Numa superfcie de rotao parametrizada, os paralelos
so dados pela imagem das curvas t N 7 (s0 , t) I N 7 ((s0 ), t) H e os
meridianos so dados pela imagem das curvas s I 7 (s, t0 ) I N 7 ((s), t0 )
H.
O primeiro caso de coordenadas cilndricas hiperblicas leva a uma imagem da
superfcie de rotao hiperblica semelhante euclidiana.
Agora, considerando os outros casos de coordenadas cilndricas hiperblicas, a
simples generalizao do conceito euclidiano de superfcie de rotao no parece fazer
muito sentido para nossa percepo euclidiana. Veja um caso representado na prxima
figura.

25

26

Captulo 3: Algumas superfcies notveis do Espao Hiperblico

No
caso
ilustrado,
a
superfcie
de
rotao
hiperblica possuiria uma parametrizao do tipo (s, t) I N 7 ((s), t), onde
: V N R3 H representa um sistema de coordenadas cilndricas hiperblicas
a partir de um feixe de planos hiperblicos ultraparalelos. O primeiro fator, N, um
desses planos hiperblicos. A imagem da curva contida em N se estende ao longo
de curvas ortogonais ao feixe de planos hiperblicos. Curiosamente, a figura obtida
coincide com a percepo euclidiana de um cone. Ser que podemos mesmo chamar
este tipo de superfcie de superfcie de rotao?
Uma propriedade que caracteriza as superfcies de rotao no espao euclidiano
a invarincia destas pelo subgrupo das isometrias do espao que deixa uma reta fixa.
Ser que as superfcies de rotao hiperblicas gozam desta propriedade?
Exerccio: Seja S uma superfcie de rotao hiperblica obtida do primeiro caso de
coordenadas cilndricas. Seja G o grupo das isometrias que deixa o eixo do feixe de
semiplanos fixo. Entenda, com um bom desenho, que S invariante por G, isto ,
para todo g G, g(S) S. Verifique que, quando o eixo do feixe uma semirreta
euclidiana, G dado justamente pelas rotaes do espao euclidiano que deixam tal
eixo fixo.
Exerccio: Entenda que, para os dois outros casos de superfcie de rotao hiperblica,
tambm existe um subgrupo de isometrias de Iso(H) que deixa a superfcie invariante.
Nestes casos, existe um subconjunto deixado fixo?
O conceito de superfcie de rotao foi muito importante para a navegao ao
redor de nosso planeta. Numa poca em que se imaginava que a forma da Terra era
esfrica, em 1569, o cosmgrafo e cartgrafo, Gerhard Kremer, desenvolveu a Projeo
de Mercator, que permitia representar o globo terrestre numa regio plana de uma
maneira muito especial, onde os meridianos e os paralelos da Terra so representados
por segmentos de reta e os segmentos de reta, de modo geral, representavam as curvas
de rumo (ou loxodrmicas), curvas que permitiam um navegante traar rotas a partir
da medio de direes (com bssolas ou pelas estrelas, por exemplo). Contudo,
posteriormente, a partir de trabalhos de Newton, descobriu-se que a terra no tinha

3.1: Algumas superfcies do R3 generalizadas para H

27

uma forma esfrica, mas algo do tipo elipsoidal. O interessante que a projeo de
Mercator continuou sendo til para o novo modelo matemtico da Terra. O fato que
o conceito de projeo de Mercator serve para qualquer superfcie de rotao, isto ,
qualquer superfcie de rotao possui um mapa plano de navegao (ver [1], pgina
276, exerccio 20). Alm das superfcies cilndricas, as superfcies de rotao so as
superfcies navegveis, no sentido da Projeo de Mercator.
As superfcies de rotao hiperblicas passaram a ter algumas caractersticas
diferentes das que percebemos no caso euclidiano. Por exemplo, os paralelos nem
sempre so curvas fechadas (isso acontece no segundo caso). Contudo, os trs casos
de superfcie de rotao hiperblica possuem a propriedade de serem navegveis, isto
, possuem uma rede formada por meridianos e paralelos e admitem o conceito de
loxodrmicas.
Projeto: O leitor interessado certamente encontrar bons problemas dentro do tema,
navegao em superfcies hiperblicas. Explicitar a Projeo de Mercator e as curvas
loxodrmicas para as superfcies de rotao hiperblicas parece ser um bom problema
de investigao.
Ainda falaremos sobre outras propriedades das superfcies de rotao hiperblicas.
No espao euclidiano, as coordenadas esfricas serviram para a definio do
conceito de cone. Um cone obtido a partir de uma curva da esfera e de um ponto, ou
melhor, a unio de um feixe de semirretas a partir de um ponto e passando por uma
curva dada na esfera. Esta ideia facilmente reproduzida no espao hiperblico. Para
isso, considere um sistema de coordenadas esfricas hiperblicas,
: I N R3 H .
Um cone hiperblico a superfcie obtida por uma parametrizao do tipo

(s, t) I J 7 (s, (t)),


onde : J R N representa uma curva sobre a superfcie N.

No espao euclidiano, quando a curva est contida numa esfera com centro
na origem do feixe de semirretas, o vrtice do cone, no precisamos conhecer
explicitamente tal vrtice. Neste caso, o cone fica determinado pelo feixe das semirretas
que passam pela curva e so ortogonais esfera que contm a curva. Esta ideia

28

Captulo 3: Algumas superfcies notveis do Espao Hiperblico

tambm se propaga no caso hiperblico. O interessante que esta observao nos


leva a exemplos sem correspondncia com o caso euclidiano.
Quando consideramos um sistema de coordenadas esfricas hiperblicas do tipo,
: R ( N { p}) R3 H, onde N denota uma esfera euclidiana contida em H e
tangente ao plano z = 0, e p o ponto de tangncia, temos um cone sem comparao
no espao euclidiano, um cone sem vrtices. o que chamamos de um cone completo. O
terceiro caso de coordenadas esfricas tambm gera cones completos. Mas, existe uma
particularidade neste caso.
A figura a seguir representa um cone obtido a partir do terceiro caso de
coordenadas esfricas. O leitor j viu esta figura. Ela tambm representou a construo
de um cilindro hiperblico. Agora a generalizao dos dois conceitos ficou confusa. No
caso euclidiano, as superfcies cilndricas e os cones tm caractersticas bem distintas,
tirando o fato de serem todas superfcies regradas.

Podemos chamar uma superfcie como a representada na figura acima de cone


hiperblico? De cilindro hiperblico? Num cilindro euclidiano, as sees paralelas a tal
superfcie so figuras isomtricas entre si. Tal fato se propaga no Espao Hiperblico?
Como falar em sees paralelas no espao hiperblico mais complicado, ser que
podemos falar em sees perpendiculares as retas hiperblicas que formam o cilindro?
Existem outras propriedades sobre superfcies cilndricas do espao euclidiano que
poderiam ser preservadas no caso hiperblico?
Se olharmos uma superfcie como a representada na ltima figura como um cone
hiperblico, podemos verificar que as curvas obtidas de seces pela famlia de
superfcies ortogonais ao feixe de retas hiperblicas possuem a mesma forma, mas
tamanhos diferentes, assim como acontece no caso euclidiano?
Projeto: Crie uma representao bidimensional de um cilindro hiperblico/cone
hiperblico, como na figura abaixo, no programa GeoGebra. Use as isometrias
hiperblicas para tentar responder as ltimas perguntas.

3.1: Algumas superfcies do R3 generalizadas para H

29

Leitor, precisamos tomar muito cuidado com generalizaes, ou analogias,


principalmente na hora de dar nomes ou de classificar. No ltimo captulo vamos
terminar esta discusso sobre a classificao das superfcies consideradas aqui.
Projeto: Estudar a possibilidade de estender o conceito de helicide, que encontramos
no Espao Euclidiano, para o espao H.
Projeto: Falar de cones, ou mesmo de cilindros, no espao euclidiano, significa falar
de superfcies que no so necessariamente planas, mas que podem se deformadas
isometricamente num plano. Por exemplo, um cone de papel, quand cortado, pode
ser esticado sobre uma mesa e assume uma forma plana. No podemos fazer isso com
qualquer superfcie, no podemos planificar uma esfera. E no Espao Hiperblico, ser
que os cones hiperblicos podem ser deformados isometricamente sobre um plano
hiperblico? Este parece ser um bom problema de investigao.

30

Captulo 3: Algumas superfcies notveis do Espao Hiperblico

Captulo 4
O Espao Esfrico
De posse de sistemas de coordenadas anlogos aos sistemas de coordenadas
esfricas e cilndricas, vamos criar, por analogia ao caso euclidiano, algumas
superfcies notveis.

4.1

Um modelo de Espao Esfrico

A Geometria Hiperblica nasceu de uma mudana do sistema axiomtico que


definiu a Geometria Euclidiana. Considerando novas mudanas podemos obter outras
geometrias. Considerando um novo sistema axiomtico que contenha a troca do o
quinto postulado de Euclides pela afirmao de que por um ponto fora de uma reta
no podem ser traados retas que no encontram a reta dada, podemos definir a conhecida
Geometria Esfrica. Esta a verso tridimensional da bastante conhecida
geometria da esfera. Este captulo um exerccio de generalizao do que foi
estudado neste texto. Vamos novamente adotar um modelo para o estudo. Uma
grande diferena na nova abordagem considerar um modelo definido no espao
quadridimensional, R4 . Agora no teremos mais o apoio de uma boa visualizao dos
objetos de estudo, pois estamos falando de objetos de um espao de dimenso quatro.
O modelo de Espao Esfrico que vamos considerar o dado pelo conjunto, S3 , onde:


S3 = p R4 : k p k = 1 ;

os pontos de S3 so os elementos de prprio conjunto;


as retas de S3 so as intersees de subespaos vetoriais bidimensionais de R4
com S3 , os chamados crculos mximos;
os planos de S3 so as intersees de subespaos vetoriais tridimensionais de R4
com S3 .

Novamente, estes objetos ainda no definem completamente um modelo de Geometria


Esfrica, so apenas as primeiras referncias para se estabelecer o conjunto S3 como um
modelo de Espao Esfrico.
Outros elementos que definimos facilmente so ngulo e as isometrias do espao.
A noo de ngulo entre retas esfricas a dada pela noo de ngulo entre curvas do

31

32

Captulo 4: O Espao Esfrico

R4 . As isometrias de S3 so justamente as isometrias de R4 que deixam S3 invariante,


isto , so os operadores ortogonais de R4 .
Exerccio: Leitor, note que no dissemos que o conceito de ngulo anlogo ao
caso euclidiano, assim como fizemos para o espao hiperblico. O que acha, voc
conseguiria reproduzir o conceito de ngulo euclidiano para o espao esfrico? Pense
no problema num plano esfrico, isto , na esfera S2 de R3 . Uma dica, voc j ouviu
falar em lnulas, ou bingulos? A propsito, voc sabe o que significa ngulo entre
curvas? Cuidado para no confundir a noo com a de mediada de ngulo!
O espao esfrico tambm no goza de um sistema de coordenadas cartesianas.
Assim, a busca por outras formas de decomposies pode se basear na tcnica utilizada
no caso hiperblico.
Exerccio: Mostre que no existem retngulos em S3 .
O leitor interessado pode encontrar informaes interessantes sobre a Geometra
Esfrica em [5].

4.2

As coordenadas esfricas e cilndricas em S3

As coordenadas esfricas e cilndricas de S3 sero definidas como generalizao das


respectivas noes nos espaos euclidiano e hiperblico a partir da ideia de feixe. Antes
de apresentarmos estes sistemas de coordenadas, vamos analisar como seria o sistema
de coordenadas polares no plano esfrico S2 R3 . Neste caso, as retas esfricas so
os crculos mximos e, em particular, no temos a noo de feixe de retas paralelas
(no existem retas paralelas num plano esfrico). Tambm no parece ter sentido falar
em semirretas. Assim, consideramos s a noo de feixe de retas concorrentes. Dado
um ponto p S2 , um feixe de retas esfricas concorrentes em p um conjunto de crculos
mximos que passam por p. Uma famlia de curvas ortogonais a um feixe de retas
concorrentes em p dada por crculos da esfera obtidos como interseo de S2 com
planos euclidianos de R3 ortogonais ao vetor p.
Um sistema de coordenadas em S2 com uma rede induzida sendo formada por um
feixe de retas esfricas concorrentes em e3 = (0, 0, 1) e por uma famlia de crculos
ortogonais ao feixe pode ser descrita por

(t, x ) (0, ) S1 7 sin(t) x + cos(t)e3 S2 {e3 } ,



onde S1 = ( x, y, 0) R3 : x2 + y2 = 1 . Neste sistema, quando t varia, segmentos de
retas do feixe so descritos e, quando s varia, crculos ortogonais ao feixe so descritos.
As coordenadas esfricas no espao esfrico S3 (com origem no ponto e4 =
(0, 0, 0, 1), por simplicidade) so generalizadas da seguinte maneira. A aplicao


(t, x ) (0, ) S2 7 sin(t) x + cos(t)e4 S3 {e4 } ,



onde S2 = ( x, y, z, 0) R4 : x2 + y2 + z2 = 1 , define um sistema de coordenadas em
S3 {e4}. As curvas t 7 sin(t) x + cos(t)e4 esto no plano gerado pelos vetores x


4.2: As coordenadas esfricas e cilndricas em S3

33

e e4 . Da, esto na interseo de S3 com um plano, ou seja, esto sob retas esfricas
que passam por e4 . Portanto, as curvas x = constante parametrizam o feixe das retas
esfricas concorrentes em e4 . imediato verificar que as curvas t = constante so
esferas ortogonais ao feixe.
Assim, pelas caractersticas observadas, vemos que o sistema de coordenadas
definido acima generaliza a noo de coordenadas esfricas para o espao S3 . Note
que as coordenadas esfricas combrem S3 menos dois pontos antpodas.
Exemplo: Seja : I R S2 uma curva. Fazendo analogia com o caso euclidiano
temos que a aplicao

(s, t) (0, ) I 7 sin(s)(t) + cos(s)e4 S3 {e4 }


descreve uma superfcie de S3 que, por suas caractersticas, pode ser chamada de um
cone do espao esfrico, ou cone esfrico. Podemos representar esta parametrizao de
modo mais breve por
(s, t) (0, ) I 7 (s, (t)),
onde a aplicao que representa um sistema de coordenas esfricas em S3 , isto ,
uma aplicao do tipo : J N S3 , com J sendo um crculo mximo menos
dois pontos antpodas e N sendo uma esfera bidimensional contida em S3 . Nesta
notao, as curvas coordenadas t J 7 (t, x0 ) parametrizam retas esfricas e as
curvas coordenadas x N 7 (t0 , x ) parametrizam esferas esfricas.
Uma propriedade anloga ao caso euclidiano que percebemos imediatamente que
as curvas parametrizadas por t (s0 , (t)) possuem a mesma forma, mas tamanhos
diferentes. Uma curiosidade que os cones esfricos tm dois vrtices.
Deixamos como exerccio para o leitor desenvolver um sistema de coordenadas
cilndricas para o Espao Esfrico S3 . O primeiro passo desecrever um feixe de
semiplanos com origem num crculo mximo.

34

Captulo 4: O Espao Esfrico

Captulo 5
Continuando o estudo
Este captulo encerra o texto mostrando como o estudo de espaos no-euclidianos
poderia continuar, a saber, por meio de recursos do Clculo Diferencial e Integral.

5.1

A noo de distncia nos espaos no-euclidianos

Podemos fazer vrias perguntas sobre os objetos apresentados aqui e,


consequentemente, estender o estudo. Na verdade, j deixamos perguntas. Contudo,
importante desenvolver ferramentas adequadas para a abordagem de novos
problemas. Uma tcnica que funcionou muito bem para a Geometria Euclidiana foi o
Clculo Diferencial e Integral. Ser que podemos fazer uso dos conceitos desta rea nos
espaos hiperblicos e esfricos? Certamente podemos aplicar estes conhecimentos
no espao esfrico. Por exemplo, podemos falar em distncia entre dois pontos
explicitamente e facilmente. Se : [0, 1] S3 parametriza o menor segmento de
R1
reta que liga dois pontos p e q, ento a distncia entre eles dada por 0 k (t)k dt?
A extenso do Clculo Diferencial e Integral para o espao hiperblico no to
simples. Para esse caso, preciso rever o conceito de espao vetorial munido de um
produto interno e generalizar para a ideia de mtrica Riemanniana. Na prtica, o que
precisamos fazer definir uma noo de produto interno para o espao tangente a H
em cada um de seus pontos. Lembramos que o espao tangente a H em p H dado
por
Tp H = {( p, v) H R3 : v = (0), com : (, ) H
curva diferencivel tal que (0) = p}
Normalmente, identificamos Tp H com R3 e escrevemos simplesmente v Tp H, em
vez de ( p, v) Tp H.
Para cada ponto p = ( x, y, z) H, definimos o produto interno em Tp H, h, i p , por

hu, vi p = hu, vi , para todo u, v Tp H,


onde h, i representa o produto interno cannico de R3 . Assim, o produto interno h, i p
varia de acordo com o ponto p. A aplicao g : H R3 R3 R, g( p, u, v) = hu, vi p
chamada de mtrica riemanniana hiperblica de H. Com esta mtrica podemos falar

35

36

Captulo 5: Continuando o estudo

em comprimento na Geometria Hiperblica. Dada uma curva : [ a, b] H, o


comprimento de em H definido por
l () =

Z b
a


(t)

(t)

dt.

Exemplo: Seja : [ a, 1] H dada por (t) = (0, 0, t), onde 0 < a < 1. Ento,
l () =

Z 1
a

k(0, 0, 1)k(t) dt =

Z 1
1
a

dt = ln( a).

Note que o comprimento de aumenta indefinidamente, medida que a se aproxima


de 0. Vista como um curva do espao euclidiano, o comprimento de dado por
l () = 1 a, valor que no ultrapassa 1.
Exerccio: Mostre que para toda isometria de H e para todo p H, vale que:



( p)u, ( p)v ( p) = hu, vi p .

Exerccio: Mostre que se uma curva ento e tm o mesmo comprimento,

qualquer que seja a isometria de H. Ou seja, o conceito de comprimento de curva


um invariante da Geometria Hiperblica.
Exerccio: Descreva como reparametrizar uma curva de H pelo comprimento de arco.
Parametrize uma reta de H pelo comprimento de arco.
Projeto: Como chegar expresso da mtrica riemanniana hiperblica? Existem alguns
caminhos para justificar a frmula apresentada e discutir estes caminhos para uma
abordagem elementar pode ser assunto para um bom estudo. Sugesto: um dos
caminhos trabalhar com as isometrias hiperblicas. Para a mtrica ser um objeto
da Geometria Hiperblica, preciso que seja um invariante pela ao de Iso(H).
De posse do conceito de mtrica riemanniana hiperblica, podemos definir por
analogia ao caso euclidiano, alm da noo de comprimento, noes como de rea
e volume, e at outras como a de gradiente ou laplaciano de uma funo, por exemplo.
Direcionando para o nosso tema central, podemos agora perguntar se relaes
mtricas do Espao Euclidiano conhecidas para as superfcies estudadas aqui se
generalizam para os Espaos Hiperblicos e Esfricos.

5.2

O Clculo Diferencial para o estudo das formas em H

interessante poder falar em acelerao, curvatura de uma superfcie e, de


modo mais geral, de derivada de um campo com relao a outro campo. Ou
seja, interessante poder falar numa noo de derivada compatvel com a estrutura
geomtrica de H.

5.2: O Clculo Diferencial para o estudo das formas em H

37

Vamos apresentar para o leitor a noo de derivada para campo de vetores que
til para o estudo geomtrico do espao hiperblico. De modo geral, precisamos ser
capazes de avaliar a variao de um determinado campo de vetores, Y, com respeito
a outro campo de vetores, X. No espao euclidiano, esta noo obtida pelo clculo
da derivada, dY ( p) X ( p), quando Y visto como uma aplicao de R3 em R3 . No
nosso contexto, a notao utilizada para este conceito de derivao entre campos
dada por X Y para indicar a derivada covariante de Y com respeito a X. Lembramos
que um campo diferencivel de vetores tangentes uma aplicao X : H T H com as
coordenadas sendo funes diferenciveis. O conjunto dos campos diferenciveis de
vetores tangentes denotado por X (H).
Para definir a derivada covariante em H, desejvel que as seguintes propriedades
sejam satisfeitas.
Propriedades: Dados X, Y, X X (H) e dada uma funo diferencivel f ,
X + YZ = X Z + Y Z
f XY = f X Y
X (Y + Z ) = X Y + X Z
X ( f Y ) = X ( f )Y + f X Y
X (hY, Z i) = h X Y, zi + hY, X Z i

xi

x j

x j

xi

A notao X ( f ) representa a derivada de f num ponto dado na direo de X


tambm no ponto dado.
A partir destas propriedades, determinamos a expresso de X Y:
1
1
X Y ( p ) = ( X ( y1 ) ( x1 y3 + x3 y1 ) , X ( y2 ) ( x2 y3 + x3 y2 ),
z
z
1
X (y3 ) + ( x1 y1 + x2 y2 x3 y3 ))
z
Exerccio: Dada uma curva : I H a derivada covariante (t) (t) deve
representar a acelerao da curva no Espao Hiperblico. Verifique a acelerao
de (t) = (0, 0, t) (t) (t) = (0, 0, 1t ). Como parametriza uma reta,
deveramos esperar que o resultado fosse 0, aceleerao nula. Isso aconteceu por que a
parametrizao no estava pelo comprimento de arco. Veja que a curva (t) = (0, 0, et )
tem acelerao nula. Verifique tambm que est parametrizada pelo comprimento
de arco.
Exerccio: Prove que se : H H uma isometria ento d( X Y ) = dX dY.
Com a derivada covariante, podemos estudar a forma geomtrica das superfcies
de H. Para isso, consideramos um campo N de vetores unitrios e ortogonais a uma

38

Captulo 5: Continuando o estudo

superficie dada. O quanto uma superfcie S deixa de ser um plano hiperblico pode ser
medido pela aplicao N : TS TS. Podemos verificar, por exemplo, que quando
S um plano hiperblico, N : TS TS a aplicao nula.
Com a derivada covariante podemos voltar questo das generalizaes das
coordenadas esfricas em H, e em S3 tambm. Pode-se verificar que para as superfcies
ortogonais aos feixes de semirretas e retas, nos trs casos, a aplicao N : TS TS
um mltiplo da identidade. Isto significa que as superfcies se curvam da mesma
maneira em todas as direes. No espao euclidiano, esta propriedade caracteriza
as esferas euclidianas. Mais uma propriedade anloga propagada para o Espao
Hiperblico.
Projeto: Estude as formas das superfcies apresentadas aqui no contexto da Geometria
Hiperblica.

5.3

Produto warped

Um dos objetivos bsicos deste texto iniciar o leitor na rea de Geometria


Diferencial. nto, vamos terminar com algumas orientaes rpidas sobre como o
estudo poderia continuar.
Apresentamos neste texto sistemas de coordenadas que permitiram descrever
superfcies de rotao e cones. Contudo, no nos utilizamos destes sistemas de
coordenadas para estudar melhor estas superfcies. A razo que no temos
ferramentas matemticas suficientes para um estudo assim. Pelo menos, no as
encontramos neste texto.
Bom, com os conceitos apresentados neste captulo j podemos pensar no acesso a
essas ferramentas. Com relao a conhecimentos sobre comprimento, rea e volume,
o leitor pode aplicar conhecimentos sobre o Clculo Integral em R3 , em particular a
frmula de mudana de varivel para integrais mltiplas.
Vamos falar um pouco mais sobre uma forma de produto que bastante estudado
em Geometria Diferencial e muito til em Fsica Matemtica, a saber a noo de
produto warped. Principalmente, desenvolvemos aqui conceitos a partir da noo de
decomposio do espao como um produto de dois fatores, mas um produto com
particularidades. Quando escrevemos o sistema de coordenadas : V N H(S3 ),
em todos os casos, esfrico ou cilndrico, no Espao Hiperblico ou Esfrico, temos
as aplicaes x V 7 ( x, y0 ) representando cpias de V, isto , imagens de V por
uma isometria do espao ambiente. Por outro lado, as aplicaes y N 7 ( x0 , y)
representam objetos diferentes N, mas so objetos com mesma forma, s tamanho
diferente. Ou melhor, temos imagens de N por uma homotetia. O produto warped
a definio de uma mtrica riemanniana para um produto que leve em considerao
estas caractersticas.
Suponhamos que as mtricas riemannianas definidas, respectivamente, para V e
para N sejam conhecidas, digamos, h, iV e h, i N . Ento, possvel escolher uma funo
diferencivel, : V (0, +) tal que a mtrica riemanniana do ambiente, esfrico ou
hiperblico, possa ser expressa por

h, i = h, iV + 2 h, i N .

5.3: Produto warped

39

A funo multiplicando a mtrica riemanniana de N indica a variao do segundo


fator como objeto homottico a N. Por exemplo, no caso euclidiano mesmo, nas
coordenadas esfricas, temos as cpias do segundo fator como esferas de raios
diferentes, todas figuras homotticas entre si.
Para se aprofundar neste tema, recomendo ao leitor ler o livro de ONeill ([11]). O
artigo Dajczer e Tojeiro ([3]) fala sobre o assunto no contexto de imerses isomtrica,
conceito que generaliza a noo de superfcies, e uma boa referncia para se encontrar
as definies de cone, cilndros e superfcies de rotao. Alis, outro timo artigo que
se aprofunda no conceito de produto warped o de Nlker ([10]).
Colocamos em discusso neste texto o problema de conceituar algumas superfcies
em Espaos no-Euclidianos por generalizao. O propsito maior foi mesmo
apresentar estes objetos. O fato que construes deste tipo tm se mostrado
uma importante fonte de exemplos para a compreenso de outros conceitos, como
o de superfcie mnima. Alguns exemplos de pesquisas que se utilizaram das
generalizaes consideradas aqui so [6], [9], [8] [2], [7], [4], [12].
Se o leitor quiser ver aplicaes da noo de produto warped minha sugesto ler
sobre o conceito de espao-tempo de Robert-Walker tambm no livro de ONeill ([11]),
assunto relacionado ao tema Relatividade Geral.

40

Captulo 5: Continuando o estudo

Referncias Bibliogrficas
[1] CARMO, M. P.. Geometria Diferencial de Curvas e Superfcies. Textos
Universitrios, SBM, 2005.
[2] CARMO, M. do, DAJCZER, M.. Rotation hypersurfaces in spaces of constant
curvature. Trans. Amer. Math. Soc., 277 (2) (1983), 685-709.
[3] DAJCZER, M., TOJEIRO, R., Isometric immersions in codimension two of
warped products into space forms. Illinois J. Math. 48 (3) (2004), 711-746.
[4] EJIRI, N.. A generalization of minimal cones. Trans. Am. Math. Soc. 276 (1983),
347-360.
[5] GREENBERG, M. J.. Euclidean and Non-Euclidean Geometry, W.H.Freeman,
New York, 1994.
[6] HSIANG, W. Y.. Generalized rotational hypersurfaces of constant mean
curvature in the Euclidean Spaces. I. J. Diff. Geom. 17 (1982), 337-356.
[7] MORI, H.. Minimal Surfaces of Revolution in H3 and Their Global Stability,
Indiana Univ. Math. J., 30 (5) (1981), 787-794.
[8] MOUTINHO, I.. G-variedades riemannianas como hipersuperfcies de formas
espaciais. Tese de Doutorado, Universidade Federal de So Carlos.
[9] MOUTINHO,
I.,
TOJEIRO,
R..
Polar
actions on compact Euclidean hypersurfaces. Annals Global An. Geom. 33 (4)
(2008), 323-336.
[10] NLKER, S., Isometric immersions of warped products. Diff. Geom. App. 6 (1996),
1-30.
[11] ONEILL, B.. Semi-Riemannian Geometry, Academic Press, 1983.
[12] TAM, L.F., ZHOU, D.. Stability properties for the higher dimensional catenoid
in Rn+1 , Proceedings of the American Mathematical Society 137.10 (2009): 34513461.

41