Professional Documents
Culture Documents
Espaos No-Euclidianos
Sumrio
1
.
.
.
.
3
3
6
7
9
13
13
13
20
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
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
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) 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.
( x, y) r 7 ( x, y) r.
(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.
1.2
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
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,
R3 da forma p = u, com u =
a
k ak
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
1.3
1.4: Feixes
1.4
Feixes
10
1.4: Feixes
11
12
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
2.2
14
15
16
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
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.
19
20
2.3
21
22
23
24
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
25
26
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
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
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
29
30
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
31
32
4.2
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
34
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
35
36
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).
( p)u, ( p)v ( p) = hu, vi p .
5.2
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
38
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
h, i = h, iV + 2 h, i N .
39
40
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