Documente Academic
Documente Profesional
Documente Cultură
olico
1
Claudia Candida Pansonato
Departamento de Matem atica
Centro de Ciencias Naturais e Exatas CCNE
Universidade Federal de Santa Maria UFSM
2
Rosane Rossato Binotto
Departamento de Matem atica
Centro de Ciencias Naturais e Exatas CCNE
Universidade Federal de Santa Maria UFSM
1 pansonato@smail.ufsm.br
2 rrbinotto@smail.ufsm.br
Conte
udo
Introdu
c
ao 2
1 Modelo do Semiplano 7
1.1 Retas Hiperbolicas . . . . . . . . . . . . . . . . . . . . 7
1.2 A esfera de Riemann . . . . . . . . . . . . . . . . . . . 10
1.3 A Fronteira no Infinito de H . . . . . . . . . . . . . . . 17
3 Dist
ancia em H 44
3.1 Elementos de Comprimento de Arco . . . . . . . . . . 44
3.2 Comprimento de Arco em H . . . . . . . . . . . . . . . 46
3.3 Metrica em H . . . . . . . . . . . . . . . . . . . . . . . 51
3.4 Formula para Distancia Hiperb olica . . . . . . . . . . 55
3.5 Isometrias . . . . . . . . . . . . . . . . . . . . . . . . . 57
4 Area e o Teorema de Gauss-Bonnet 62
4.1 Convexidade . . . . . . . . . . . . . . . . . . . . . . . 62
4.2 Polgonos Hiperb
olicos . . . . . . . . . . . . . . . . . . 63
i
ii
CONTEUDO
4.3
Area Hiperb
olica . . . . . . . . . . . . . . . . . . . . . 68
4.4 Teorema de Gauss-Bonnet . . . . . . . . . . . . . . . . 70
Bibliografia 76
Apresentac
ao
1
Introduc
ao
2
INTRODUC
AO 3
Figura 1: Retas n
ao paralelas
Desde o incio, esse postulado foi criticado, por ele ter uma ela-
boracao mais complexa que os demais, e sobretudo por dar a im-
pressao de redundancia. Ele n ao parecia ter a evidencia suficiente
para ser aceito sem demonstracao. Suspeitava-se que ele pudesse ser
provado a partir das nocoes primitivas e dos quatro primeiros postu-
lados. Alem disso, outro fato que os intrigava era o retardamento do
uso deste postulado por parte de Euclides. Ele provou vinte e oito
proposicoes sem usar o quinto postulado numa prova. Iniciaram-se
entao, tentativas para se provar o quinto postulado. Elas surgiram
logo apos o aparecimento dos Elementos e so terminaram na primeira
metade do seculo XIX. Nestas tentativas, geometras frequentemente
faziam suposicoes e as usavam para provar o quinto postulado. S o que
cada uma destas hip oteses foi provada como equivalente ao postulado
das paralelas. Uma destas equivalencias atribui-se ao matematico e
geologo ingles John Playfair (1748-1819) e diz o seguinte: por um
4 INTRODUC
AO
ponto fora de uma reta pode-se tracar uma u nica reta paralela `a reta
dada. Tambem foi mostrado que o quinto postulado e independente
dos quatro primeiros. Em outras palavras, eles descobriram que exis-
tem geometrias nas quais a negacao do quinto postulado e um axioma.
Estas geometrias sao conhecidas como geometrias n ao euclidianas e
dentre elas destacam-se a geometria hiperb olica e a geometria elptica.
A geometria hiperb olica, tema deste trabalho, e baseada nos pos-
tulados um, dois, tres e quatro da geometria euclidiana, ([2] e [3]), e
na negacao do axioma de Playfair, por um ponto fora de uma reta
podem-se tracar mais de uma reta paralela a reta dada. A outra
negacao do postulado das paralelas, segundo a versao de Playfair,
diz que: por um ponto fora de uma reta n ao passa nenhuma reta
paralela `a reta dada. Este postulado e a base da geometria elptica.
Assim, todos os resultados que dependem do quinto postulado sofrem
alteracoes nestas novas geometrias. Um exemplo e o teorema da soma
dos angulos internos de um triangulo. Como veremos no Captulo 5,
na geometria hiperb olica este teorema estabelece que: a soma dos
angulos internos de um triangulo e menor do que dois angulos retos.
As geometrias hiperb olica e elptica n
ao foram muito bem aceitas
no incio. Isto se deve, em parte, ao questionamento da consistencia
dessas geometrias. Uma teoria e chamada consistente se n ao puder-
mos, a partir de seus axiomas, provar um teorema e a negacao dele,
o que representa uma quest ao logica de grande dificuldade. Uma
importante contribuicao ao desenvolvimento dessa quest ao foi dada
em 1930 pelo logico austraco Kurt G odel (1906-1978). G odel provou
que, em teorias suficientemente complexas n ao e possvel demonstrar
consistencia partindo de elementos da propria teoria, mas pode-se
detectar uma consistencia relativaatraves de modelos. Assim, um
modelo para a geometria hiperb olica, construdo a partir de elemen-
tos da geometria euclidiana, mostra que, se esta for consistente, a
hiperb olica tambem o sera. Os modelos permitem concluir que as
tres geometrias sao equivalentes quanto ` a consistencia. Um dos pri-
meiros modelos para a geometria hiperb olica foi elaborado em 1868
pelo matematico italiano Eugenio Beltrami (1835-1900).
A descoberta da geometria hiperb olica deve-se em particular ao
matematico russo Nicolai Ivanovich Lobachevsky (1793-1856) e ao
matematico h ungaro Janos Bolyai (1802-1860) que publicaram seus
trabalhos independentemente em 1829 e 1832, respectivamente. Ou-
INTRODUC
AO 5
Figura 2: Parabol
oide hiperb
olico
Figura 3: Pseudoesfera
Modelo do Semiplano
7
8 CAPITULO 1. MODELO DO SEMIPLANO
Como no caso euclidiano, dizemos que duas retas hiperb olicas sao
paralelas se elas sao disjuntas.
Na geometria euclidiana, temos que retas paralelas existem e, da-
dos uma reta R e um ponto p n ao pertencente a R, existe uma u nica
reta T paralela a R atraves de p. Como foi discutido na Introducao
este e o postulado das paralelas e sua negacao leva a diferentes tipos
de geometria. Com o modelo de geometria hiperb olica que estamos
trabalhando, junto com a definicao de reta adotada, obtemos o se-
guinte teorema.
Teorema 1. Seja uma reta hiperb olica em H e seja p um ponto
em H n ao pertencente a . Ent
ao, existem infinitas retas hiperb
olicas
atraves de p que s
ao paralelas a .
Demonstraca o. Vamos inicialmente considerar o caso em que est a
contida numa reta euclidiana R. Como p n ao pertence a R, existe
uma reta euclidiana K atraves de p e paralela a R. Como R e per-
pendicular a R, temos que K tambem e perpendicular a R. Logo,
uma reta hiperb olica em H atraves de p e paralela a e H K.
Para construir outra reta hiperb olica atraves de p e paralela a ,
tome um ponto x sobre R entre K e L e seja A o crculo euclidiano
centrado em R que passa atraves de x e p. Sabemos que tal crculo
euclidiano existe, pois Re(x) 6= Re(p).
Por construcao, A e disjunto de R, e portanto a reta hiperb olica
H A e disjunta de . Como existem infinitos pontos em R entre K
e L, esta construcao nos da infinitas retas hiperbolicas atraves de p
e paralelas a (ver figura 1.3).
10 CAPITULO 1. MODELO DO SEMIPLANO
os dois tipos de retas hiperb olicas, ou seja, aquelas que estao con-
tidas em retas euclidianas e aquelas que est ao contidas em crculos
euclidianos. Para isto vamos considerar a projecao estereogr
afica que
e definida como segue.
Seja S1 um crculo unit
ario em C, e considere a funcao
: S1 {i} R
que associa a cada ponto z S1 {i} o ponto (z) = RKz , onde Kz
e a reta atraves de i e z. Observe que esta funcao est
a bem definida,
pois Kz e R interceptam-se num u nico ponto.
A funcao acima e conhecida como projeca
o estereogr afica.
C = C {}
U (z) = {w C : |w z| < }.
Definimos U () por
Proposiao 2. H e aberto em C.
c
Defini
cao 3. Um conjunto X em C e fechado se seu complementar
C X e aberto.
1.2. A ESFERA DE RIEMANN 13
C S1 = U1 (0) U1 ().
Proposi
c o J : C C definida por
ao 3. A funca
1
J(z) = para z C {0}, J(0) = , and J() = 0
z
e contnua em C.
1 1
|J(w)| = < = ,
|w|
1
|| < |J(z)| + = + .
|z|
1
Como 2|z| , temos que
3
|| < .
2|z|
1
Fazendo = w, obtemos que
1 3 1 3
< , e portanto < .
|w| 2|z| |zw| 2|z|2
Tomando = 32 |z|2 , temos para |z w| < que
1 1 |z w| 2 3
|J(z) J(w)| = =
< |z|2 = .
z w |zw| 3 2|z|2
e contnua.
16 CAPITULO 1. MODELO DO SEMIPLANO
para |z| 1.
Portanto, dado > 0, tome > 0 de modo que > 1 e
|an |n nA n1 > . Ent
ao, para |z| > temos que
1
f 1 (z) = (z b) z C e f 1 () = .
a
O Grupo Geral de
Mobius
2.1 Transformac
oes de M
obius
Como estamos interessados em determinar as transformacoes que le-
vam retas hiperb olicas em retas hiperbolicas, e desde que toda reta
hiperb a contida num crculo de C, determinaremos o grupo
olica est
de homeomorfismos de C que leva crculos de C em crculos de C.
Denotaremos por HomeoC (C) o subconjunto do grupo Homeo(C)
que contem todos os homeomorfismos que levam crculos de C em
crculos de C.
O objetivo e iniciarmos com duas funcoes de HomeoC (C) e con-
siderar todas as possveis combinacoes lineares destas funcoes para
chegarmos na definicao de transformacoes de M obius.
19
20 CAPITULO 2. O GRUPO GERAL DE MOBIUS
z z + z + z + = 0,
z + z + = 0. (2.1)
2 2 2
Dado um crculo (x h) + (y k) = r , tomando z0 = h + ik,
podemos reescrever a equacao e obter
|z z0 |2 = z z z0 z z0 z + |z0 |2 = r2 .
2.1. TRANSFORMAC
OES
DE MOBIUS 21
z z + z + z + = 0. (2.2)
Combinando as equacoes 2.1 e 2.2 obtemos que um crculo A de
C pode ser representado por uma equacao da forma
z z + z + z + = 0, (2.3)
onde 6= 0 se e somente se A e um crculo de C.
Demonstraca
o. Comecamos com o caso em que A e uma reta eucli-
diana em C. Pelo lema anterior, A e uma solucao da equacao
A = {z C | z + z + = 0},
1 1
z + z + = (w b) + (w b) +
a a
= w+ w b b + = 0.
a a a a
Desde que a b + a b = 2Re a b e real, temos que w tambem
satisfaz a equacao de reta euclidiana. Logo, f leva retas euclidianas
de C em retas euclidianas de C.
A demonstracao no caso em que A e um crculo euclidiano e
analoga. feita substituindo-se z = 1 (w b) na equacao
E a
z z + z + z + = 0, o que resulta em
2
2
w + a b + || = 0.
|a|2
22 CAPITULO 2. O GRUPO GERAL DE MOBIUS
Proposi
c o J : C C definida por
ao 7. A funca
1
J(z) = para z C {0}, J(0) = , and J() = 0
z
1 1 1 1
+ + + + = 0.
ww w w
Multiplicando ambos os lados da equacao por ww
temos que w
satisfaz a equacao
+ w + ww
+ w = 0.
Como e sao reais e como os coeficientes de w e w
sao conju-
gados, a equacao acima representa um crculo em C.
az + b
m(z) = ,
cz + d
onde a, b, c, d C e ad bc 6= 0. Usaremos Mob+ para denotar o
conjunto de todas as transformacoes de M
obius.
2.1. TRANSFORMAC
OES
DE MOBIUS 23
Observa ao. E
c importante fazer uma analise sobre o comporta-
mento destas aplicacoes com relacao a .
Definimos a m() por continuidade. Isto e,
az + b a + zb a
m() = lim = lim = .
z cz + d z c + d c
z
az + b a(az + b) a(az + b)
p(z) = = = .
cz + d a(cz + d) acz + ad
Usando o fato que ad = bc na expressao do lado direito, obtemos
a(az + b) a(az + b) a
p(z) = = = ,
acz + bc c(az + b) c
e portanto p e uma funcao constante. Logo, p nao e um homeomor-
fismo de C.
Finalizaremos esta secao com um importante resultado sobre pon-
tos fixos de uma transformacao de M obius. Dizemos que z C e um
ponto fixo de uma transformacao de M obius m se m(z) = z.
z z1 z2 z3 (z2 z3 )z z1 (z2 z3 )
m(z) = = . (2.4)
z z3 z2 z1 (z2 z1 )z z3 (z2 z1 )
Atraves de um c alculo direto pode-se verificar que a funcao m
acima satisfaz as condicoes m(z1 ) = 0, m(z2 ) = 1, m(z3 ) = e a
condicao da definicao de transformacao de M
obius.
No caso em que z1 = , a transformacao de M obius levando
(, z2 , z3 ) em (0, 1, ) e dada por
z2 z3
m(z) = .
z z3
zz1 z2 z3
Observa ao. A expressao m(z) = zz
c 3 z2 z1
na equacao 2.4 e
conhecida como raz ao cruzada e e denotada por [z, z1 , z2 , z3 ]. Um
c
alculo direto mostra que a raz ao cruzada e invariante por trans-
formacoes de M obius, isto e, se m e qualquer transformacao de M obius
ent
ao [z, z1 , z2 , z3 ] = [m(z), m(z1 ), m(z2 ), m(z3 )].
ob+ sobre conjuntos de
Outro resultado envolvendo a acao de M
C e o seguinte.
Teorema 5. O grupo das transformaco es de M
obius atua transitiva-
mente sobre o conjunto de crculos de C.
+
2.2. PROPRIEDADES TRANSITIVAS DE MOB 27
2.3 Classifica
cao das Transformac
oes de
Mobius
Nosso objetivo agora e conjugar uma dada transformacao de M obius
numa forma padr ao e entao classificar estas formas padr oes. Isto
e feito estudando-se a quantidade de pontos fixos de uma trans-
formacao de M
obius. A proxima definicao tornara preciso o conceito
conjugacao.
2.4 Transformac
oes de M
obius como Ma-
trizes
Comecamos associando a toda transformacao de M
obius m uma ma-
triz 2 2, [m].
az + b a b
M (z) = [m] = .
cz + d c d
ob+ C
: M
(m) = (p m p1 ) = (1 + 1)2 = 4.
Observe que se e e a transformacao identidade ent
ao (e) = 4.
2.4. TRANSFORMAC
OES
DE MOBIUS COMO MATRIZES 31
Note neste caso que (m) e real e pertence ao intervalo [0, 4).
No caso em que m e loxodromica, podemos escrever = ei para
algum > 0, 6= 1, [0, ). Calculando temos
[1] m e parab
olica se e somente se (m) = 4;
[3] m e loxodr
omica se e somente se (m) tem parte imagin aria
ao nula, ou (m) e real a pertence a (, 0) (4, ).
n
1 z + 1
2 2
m(z) = .
1 z + 3
2 2
2.5 A Conjuga
cao Complexa
Vimos anteriormente que o grupo Mob+ est
a contido no conjunto dos
homeomorfismos de C que levam crculos em crculos, HomeoC (C).
Nosso objetivo agora e estender o grupo M ob+ . Para isto consi-
deraremos um homeomorfismo de C que n ao pertence a M ob+ dado
por
Proposi
c o C : C C definida por
ao 9. A funca
e um elemento de Homeo(C).
p = C mk C m1
ob+ .
para algum k 1, onde mk e um elemento de M
ob HomeoC (C).
Teorema 7. M
1 + i
2 2
m(z) = .
i z + 1
2 2
Logo,
1
CA (z) = m C m1 (z) = .
z
Assim, J pode ser vista como a composicao de C(z) = z e da
reflexao em S1 , CA (z) = z1 .
No caso da aplicacao f (z) = az + b, observamos que f e a com-
posicao de L(z) = az e P (z) = z + b e, portanto basta mostrar o
resultado para estas aplicacoes.
Para a aplicacao P a ideia e expressar a translacao ao longo da
reta atraves de 0 e b como a composicao de duas reflex oes: uma
atraves da reta A que passa por 0 e e perpendicular a e a outra
atraves da reta B que passa por 21 b e e perpendicular a .
Para a aplicacao L, escrevemos a = 2 e2i , e observamos que L
e a composicao de D(z) = 2 z e E(z) = e2i z. Assim, expressamos
D como a composicao da reflex ao c(z) = z1 em S1 com a reflex ao
c2 (z) = z no crculo euclidiano de centro na origem e raio .
A aplicacao E por sua vez pode ser expressa como a composicao
da reflexao C(z) = z com a reflex ao C2 (z) = ei z da reta euclidiana
atraves da origem fazendo um angulo com R.
Vimos no Teorema 7 que o grupo geral de M obius est
a contido
no conjunto dos homeomorfismos de C que levam crculos de C em
crculos de C. O proximo teorema estabelece que, de fato, os dois
conjuntos coincidem.
ob = HomeoC (C).
Teorema 8. M
Ideia da Demonstraca o. Pelo Teorema 7 basta mostrarmos que
HomeoC (C) M ob. Para isto, considere um elemento f de
HomeoC (C). Seja p a transformacao de M obius levando a tripla
(f (0), f (1), f ()) na tripla (0, 1, ). Logo p f fixa os pontos 0,
1 e .
2.6. PRINCIPAIS PROPRIEDADES DE MOB 35
(C2 , C1 ) = (C1 , C2 ).
Observe que dadas duas curvas, elas formam entre si dois angulos
cuja soma e . Assim, para que o
angulo entre duas curvas fique bem
definido, ele deve tomar seus valores em R/Z.
Um homeomorfismo de C que preserva o valor absoluto do angulo
entre curvas e chamado de conforme. Temos ent ao o seguinte resul-
tado.
Teorema 9. Os elementos de M
ob s
ao homeomorfismos conformes
de C.
Demonstraca
o. Pela definicao de
angulo, basta mostrarmos o resul-
tado para duas retas. Sejam, ent ao X1 e X2 duas retas euclidianas
em C. Vamos mostrar que (X1 , X2 ) e igual a (m(X1 ), m(X2 )).
Sejam z0 o ponto de interseccao entre as duas retas e zk um ponto
em Xk distinto de z0 . Chamando de sk o coeficiente angular da reta
36 CAPITULO 2. O GRUPO GERAL DE MOBIUS
Xk temos que
Im(zk z0 )
sk = .
Re(zk z0 )
Seja k o angulo que Xk faz com o eixo real R. Utilizando o fato que
sk = tan(k ), temos que
Logo,
ob(H) = {m M
M ob | m(H) = H}.
2.7. O SUBGRUPO MOB(H) 37
Demonstraca
o. A demonstracao deste teorema segue do Teorema 9,
juntamente com o fato que toda reta hiperbolica e a interseccao de
H com um crculo em C perpendicular a R.
a
z+b
(m C)(z) = .
c
z+d
z +f
e
A composicao m n, com n(z) = z +h
g e
(ae + bg)
z + af + bh
(m n)(z) = ,
ce + dg)
z + cf + dh
que tem a forma desejada.
Analogamente, pode-se mostrar que a composicao (p n), onde
z +b
a
z +d tamb
p(z) = c em tem uma das formas desejadas.
ob(H) = {m M
M ob | m(R) = R}.
Vamos determinar quais condicoes devemos impor sobre a, b, c, d
para que m(R) = R.
38 CAPITULO 2. O GRUPO GERAL DE MOBIUS
az + b m()cz m1 (0)m()c
m(z) = = .
cz + d cz m1 ()c
Normalizando m podemos obter uma condicao sobre c,
d = cm1 () e b = (1 m1 ())cm(1).
E ent
ao temos que
1 = ad bc = (m1 () 1)c2 m(1),
o que significa novamente que a, b, c, d sao todos reais ou imaginarios
puros.
O caso c = 0 e mostrado de forma analoga.
Temos ent ao o seguinte resultado.
2.7. O SUBGRUPO MOB(H) 39
ai + b
Im(m(i)) = Im
ci + d
(ai + b)(ci + d) 1
= Im = 2 > 0,
(ci + d)(ci + d) c + d2
z +b
a
[2] m(z) = z +d ,
c onde a, b, c, d s
ao imagin
arios puros e adbc = 1.
ob+ (H)
Uma consequencia do Teorema 12 e que todo elemento de M
tem a forma
az + b
m(z) = , onde a, b, c, d R e ad bc = 1,
cz + d
visto que nenhum elemento de M
ob(H) da forma
a
z+b
n(z) = arios puros e ad bc = 1
com a, b, c, d imagin
c
z+d
ob+ (H).
pode ser um elemento de M
ario 3. O grupo M
Corol ob(H) e gerado pelos elementos da forma
m(z) = az + b para a > 0 e b R, K(z) = z1 e B(z) = z.
az+b
Demonstraca o. Considere um elemento m(z) = cz+d de M ob(H).
a b
Se c = 0, m(z) = d z + d . Como 1 = ad bc = ad, segue que
a 2
d = a > 0.
Se c 6= 0, m(z) = f (K(g(z))), onde g(z) = c2 z +cd e f (z) = z + ac .
z +b ez+f
Para n(z) = a z +d , observamos que B n = m, onde m(z) = gz+h
c
+ 1
e um elemento de M ob (H) e, portanto, n = B m.
Vamos agora discutir a transitividade de M ob(H) sobre elementos
de H. Provaremos inicialmente que a acao de M ob(H) sobre H e
transitiva, isto e, dados dois pontos distintos w1 e w2 em H, existe
um elemento de M ob(H) levando w1 em w2 . Observamos que, embora
Mob atue de forma transitiva sobre triplas de C, n ao e imediato que
existe um elemento de M ob que preserve H e que leve w1 em w2 .
Proposiao 12. M
c ob(H) atua transitivamente em H.
Demonstracao. Utilizando o Lema 2, e suficiente mostrar que dado
qualquer ponto w H, existe um elemento m de M ob(H) satisfazendo
m(w) = i.
Escrevendo w = a + ib, a, b, R, b > 0, construiremos um ele-
mento de M ob(H) levando w a i. Iniciamos primeiro levando w para
ario positivo atraves da aplicacao p(z) = z a. Assim,
o eixo imagin
p(w) = bi.
2.7. O SUBGRUPO MOB(H) 41
Proposi ao 13. M
c ob(H) atua transitivamente sobre o conjunto de
retas hiperb
olicas em H.
cos()z sen ()
n (z) =
sen ()z + cos()
pertence a M ob(H) e fixa i. Alem disto, o angulo entre I e n(z) (I)
em i, medido de I a n (I), e .
Portanto, se tomarmos = , teremos que n (I) e m() sao re-
tas hiperb
olicas atraves de i que fazem um angulo com I. Portanto,
m() = n (I), e I = n1 m().
Proposi ao 14. M
c ob(H) atua transitivamente sobre o conjunto de
semiplanos abertos em H.
Demonstraca
o. Seja H o semiplano aberto
H = {z H | Re(z) > 0}
determinado pelo eixo imagin ario positivo. Pelo Lema 2, dado qual-
quer semiplano aberto L em H, basta construirmos um elemento de
Mob(H) levando L em H.
Seja a reta fronteira de L. Pela Proposicao 13, existe um ele-
mento m de M ob(H) satisfazendo m() = I. Ent ao, m leva os dois
semiplanos abertos determinados por nos dois semiplanos abertos
determinados por I.
Se m() = H, o resultado est a demonstrado. Caso contrario,
ao B m(L) = H, onde B(z) =
ent z e a reflex
ao em I.
Dist
ancia em H
44
3.1. ELEMENTOS DE COMPRIMENTO DE ARCO 45
p
onde (x (t))2 + (y (t))2 dt e o elemento de comprimento de arco em
R2 .
Podemos tambem escrever o caminho f como f (t) = x(t) + iy(t)
e olha-lo como um caminho em C. Neste caso,
p
|f (t)| = (x (t))2 + (y (t))2 dt
|dz| = |f (t)|dt.
Com esta notacao escreveremos o comprimento de arco l(f ) da
seguinte forma
Z b Z
l(f ) = |f (t)|dt = |dz|.
a f
l (f ) = l ( f ),
para todo elemento de M
ob(H).
Para isto, vamos considerar incialmente um elemento de
Mob+ (H). Temos ent
ao que
Z b Z b
(f (t))|f (t)|dt = l( f ) = (( f )(t))|( f ) (t))|dt.
a a
Z b Z b
(f (t))|f (t)|dt = (( f )(t))| (f (t))| |f (t)|dt,
a a
o que e equivalente a
3.2. COMPRIMENTO DE ARCO EM H 47
Z b
((f (t)) (( f )(t))| (f (t))|) |f (t)|dt = 0.
a
Escrevendo
(z) = (z) ((z))| (z)|, (3.1)
a equacao acima fica
Z Z b
(z)|dz| = (f (t))|f (t)|dt = 0,
f a
1
f (t) = z + t.
3
Observe que (f (t)) > 0 para todoR t em [0, 1], pois f (t) U (z) para
todo t [0, 1]. Assim temos que f (z)|dz| > 0, o que contradiz a
hipotese.
ob+ (H).
avel por partes f : [a, b] H e M
caminho diferenci
Utilizando o lema anterior, obtemos ent
ao que
0 (z) = (z) (z + b)
para todo z H e todo b R. Logo,
(z) = (z + b).
Como a igualdade acima vale para todo b R, temos que (z)
depende somente da parte imagin aria y = Im(z) de z. Isto significa
que pode ser vista como uma funcao de uma variavel real y = Im(z).
Considere agora o gerador (z) = az para a > 0. Como (z) = a
para todo z H, a condicao imposta sobre (z) e
f (y) = af (ay)
para todo y > 0 e todo a > 0. Permutando a e y na igualdade acima
temos
1
f (ay) = f (a).
y
1
Tomando a = 1, obtemos f (y) = y f (1) e, usando que
(z) = f (Im(z)), temos que
c
(z) = ,
Im(z)
onde c e uma constante positiva arbitraria.
Resta-nos saber agora se este elemento de comprimento de arco e
invariante sob todos os elementos de M ob(H). Para isto basta saber
se o elemento de comprimento de arco e invariante sob as aplicacoes
K(z) = 1z e B(z) = z.
Para mostrar a invariancia sob K(z) = 1z , devemos mostrar que
c
0 = K (z), com K (z) dada pela expressao 3.1 e (z) = Im(z) .
Como
1 1
K (z) = (z)
z |z|2
e
c|z|2
1
= ,
z Im(z)
ent
ao
1 1
(z) = 0,
z |z|2
como queramos.
O calculo para B(z) e similar, mas neste caso temos que usar dire-
tamente a definicao de comprimento, visto que a funcao B(z) n
ao e di-
ferenciavel em C. Para isto tomamos um caminho f : [a, b] H dado
por f (t) = x(t) + iy(t) e consideramos a composicao
50 CAPITULO 3. DISTANCIA
EM H
l(B f ) = l(f ).
b
1 1
Z Z
lH (f ) = |dz| = |f (t)|dt.
f Im(z) a Im(f (t))
b
1 1 b
Z Z
lH (f ) = |dz| = dt = ln .
f Im(z) a t a
3.3 M
etrica em H
Nosso objetivo agora e construir a nocao de distancia em H. Para
isto precisamos da definicao de metrica.
Uma metrica sobre um conjunto X e uma funcao
d:X X R
lH (f ) = lH ( f )
b
1
Z
lH (g) = |y (t)|dt
a y(t)
Z bp
(x (t))2 + (y (t))2 dt
a
= lH (f ). (3.3)
54 CAPITULO 3. DISTANCIA
EM H
3.4 F
ormula para Dist
ancia Hiperb
olica
Suponha que desejamos calcular a distancia hiperb olica entre os pon-
tos x = 2 + i e y = 3 + i. A reta hiperb olica contendo
estes pontos
e dada pelo crculo euclidiano de centro 12 e raio 229 .
Como visto na demonstracao do Teorema 14, devemos inicial-
mente determinar um elemento de M ob(H) que leve a reta hi-
perbolica no eixo imagin ario positivo de modo que (x) = i e
(y) = i e ent ao a distancia hiperbolica sera dada por
dH (x, y) = dH (i, i) = ln .
Os pontos extremos no infinito de sao dados por
1 + 29 1 29
p= eq= .
2 2
A aplicacao (z) = zp e tal que (p) = 0 e (q) = . Alem
zq
disto, e um elemento de Mob+ (H). Logo, leva no eixo imaginario
positivo.
Temos ent ao que
pq
(2 + i) = i
(2 q)2 + 1
e
pq
(3 + i) = i.
(3 + q)2 + 1
Logo,
" #
58 + 10 29
dH (2 + i, 3 + i) = dH ((2 + i), (3 + i)) = ln .
58 10 29
Como vimos acima, este n ao e um metodo muito pratico para
se calcular a distancia hiperbolica entre dois pontos. Vamos, ent
ao,
obter uma formula mais f acil de ser usada.
56 CAPITULO 3. DISTANCIA
EM H
e, portanto
csc(2 ) cot(2 )
= ln y2 (x1 c r) .
dH (z1 , z2 ) = lH (f ) = ln
csc(1 ) cot(1 ) y1 (x2 c r)
3.5 Isometrias
Uma isometria de um espaco metrico (X, d) e um homeomorfismo f
de X que preserva distancia, isto e, f e um homeomorfismo de X tal
que
d(x, y) = d(f (x), f (y))
para todo par de pontos x e y de X.
Observamos que se f e um homeomorfismo que preserva distancia,
entao f 1 preserva distancia e que a composicao de dois homeomor-
fismos que preservam distancia tambem e um homeomorfismo que
preserva distancia. Logo, o conjunto de todas as isometrias de um
espaco metrico (X, d) forma um grupo.
Restringiremos nossa atencao `as isometrias de (H, dH ) e usaremos
Isom(H) para denotar o grupo das isometrias de (H, dH ).
O principal resultado desta secao estabelece que o grupo das iso-
metrias de (H, dH ), Isom(H), coincide com o grupo M ob(H).
Observamos que, em virtude da Proposicao 16, temos que
M ob(H) Isom(H). Para demonstrar a outra inclusao precisaremos
de alguns resultados.
Proposiao 17. Sejam x, y e z pontos distintos em H. Ent
c ao,
(x) = i e (z) = i,
reta hiperb
olico ligando m(x) = i a m(z) = i. Logo, a = 0 e
1 b e, portanto
dH (x, y) = dH (i, bi) = ln(b)
e hi
dH (y, z) = dH (bi, i) = ln = dH (x, z) ln(b).
b
Assim, dH (x, z) = dH (x, y) + dH (y, z).
Suponha agora que y n ao pertence ao segmento hiperb olico xz
ligando x a z. Entao m(y) pertence ao eixo imaginario ou n ao.
No primeiro caso, a = 0, e ent ao m(y) = bi, onde 0 < b < 1 ou
b > .
Se 0 < b < 1, ent
ao
hi
dH (x, y) = ln(b) e dH (y, z) = ln = dH (x, z) ln(b).
b
Como ln(b) < 0, temos que
dH (x, y) + dH (y, z) > dH (x, z).
No caso b > obtemos de modo analogo que
dH (x, y) + dH (y, z) = 2 ln(b) dH (x, z) > dH (x, z).
Considere agora a 6= 0. Seja f : [, ] H um caminho
realizando a distancia entre i = f () e a + bi = f (). Seja
g : [, ] H o caminho dado por g(t) = Im(f (t))i. Temos pela
expressao (?? da Secao 3.3 que lH (g) < lH (f ). Logo,
dH (i, bi) < dH (i, a + bi) = dH (x, y).
De modo analogo temos tambem que
dH (bi, i) < dH (a + bi, i) = dH (y, z).
Se 1 b , ent
ao
dH (x, z) = dH (i, i) = dH (i, bi) + dH (bi, i) < dH (x, y) + dH (y, z).
Quando b n ao pertence a [1, ] temos dois casos a considerar.
Quando 0 < b < 1,
dH (x, z) < dH (x, z)2 ln(b) = dH (i, bi)+dH (bi, i) < dH (x, y)+dH (y, z).
O caso b > e analogo ao anterior.
3.5. ISOMETRIAS 59
p
z
q
w
Area e o Teorema de
Gauss-Bonnet
4.1 Convexidade
Para a definicao de polgono hiperb olico que faremos na proxima
secao, serao necessarios alguns resultados sobre convexidade. As de-
monstracoes destes resultados serao omitidas e podem ser encontra-
das em [1].
Um conjunto Z no plano complexo C e convexo se para cada par
de pontos z0 e z1 em Z, o segmento de reta euclidiano ligando z0 a z1
esta inteiramente contido em Z. No plano hiperb olico fazemos uma
definicao analoga.
Defini ao 14. Um subconjunto X do plano hiperb
c olico e convexo se
para cada par de pontos x e y em X, o segmento de reta hiperb olico
fechado xy ligando x e y e que contem os pontos x e y, esta contido
em X.
62
4.2. POLIGONOS HIPERBOLICOS
63
P = Hk H Hk .
4.3
Area Hiperb
olica
Como vimos anteriormente, o comprimento hiperb olico de um cami-
nho diferenci
avel por partes e calculado integrando o comprimento de
1
arco hiperb
olico Im(z) |dz| ao longo do caminho. A area hiperb olica
de um conjunto X em H e dada integrando o quadrado do elemento
de comprimento de arco hiperb olico sobre o conjunto.
Defini
cao 19. A a rea hiperb
olica AH (X) de um conjunto X em H
e dada pela integral
1
Z
AH (X) = 2
dxdy,
X (Im(z))
onde z = x + iy.
Considere a regiao X em H que e limitada pelas tres retas euclidia-
nas {z H | Re(z) = 1}, {z H | Re(z) = 1} e
{z H | Im(z) = 1}. Observe que, como a terceira reta euclidi-
ana n ao est
a contida numa reta hiperb olica, esta regiao nao e um
polgono hiperbolico.
A area hiperbolica de X e ent
ao dada por
Z 1Z
1 1
Z
AH (X) = 2
dxdy = 2
dxdy = 2.
X y 1 1 y
O proximo teorema estabelece a invariancia da area sob as isome-
trias do plano hiperb
olico.
4.3. AREA
HIPERBOLICA 69
Teorema 17. A a
rea hiperb
olica em H e invariante sob a aca
o do
grupo M
ob(H).
((cx + d)2 + c2 y 2 )2
h f (x, y) = .
y2
1
Z
AH (f (X)) = dx dy
f (X) y2
Z
= h f (x, y)| det(Df )| dxdy
X
1
Z
= dxdy = AH (X).
X y2
Para completar a prova resta demonstrar que a area hiperb olica e
invariante sob a aplicacao B(z) =
z . Esta demonstracao e analoga
`a anterior e n
ao sera feita aqui.
cos cos
1 1 1
Z Z Z Z
AH (P ) = dxdy = dydx = dx.
P y2 cos 1x2 y2 cos 1 x2
Fazendo a substituicao trigonometrica x = cos(w), temos que
dx = sen (w)dw e
4.4. TEOREMA DE GAUSS-BONNET 71
cos
1
Z Z
dx = dw = .
cos 1 x2
Atraves deste c
alculo obtemos a seguinte proposicao.
Proposi ao 21. Seja P um tri
c angulo hiperb
olico com um vertice
ideal, e sejam 2 e 3 os a ngulos internos nos outros dois vertices,
que podem ser vertices ideais ou n
ao. Entao,
AH (P ) = (2 + 3 ).
AH (T ) = (1 + ). (4.1)
AH (T ) = ( 2 + 3 ). (4.2)
AH (T ) = AH (T ) + AH (P ).
AH (P ) = AH (T ) AH (T ) = (1 + 2 + 3 ).
AH (P ) = ( + + ).
4.4. TEOREMA DE GAUSS-BONNET 73
Observe que, do Teorema 18, temos que a soma dos angulos in-
ternos de um triangulo hiperb
olico e menor que . Este resultado e
uma das consequencias da negacao do quinto postulado da geometria
euclidiana, como descrito no Captulo 1.
65
4 e a equa cao de C13 e |z 2| = 5. Para utilizarmos o Teorema 18
para o calculo da area de P , precisamos calcular os angulos internos
nos vertices de P . Observamos inicialmente que se dois crculos C1 e
C2 de centro euclidiano ck e raio euclidiano rk se interceptam, ent ao,
pela lei dos cossenos o angulo entre C1 e C2 satisfaz
ou seja, 0.0555.
O angulo entre C23 e C13 e dado por
65
16 + 5 | 49 2|2 18
cos = = ,
65 325
2 4 5
ou seja, 0.0555.
O angulo entre C12 e C23 e dado por
65 65
16 + 16 | 7 94 |2 126
cos = 4 = ,
2 465 465 130
ou seja, 0.2487.
Portanto, pelo Teorema 18, temos
AH (P ) = ( + + ) 2.7819.
74 CAPITULO 4. AREA
E O TEOREMA DE GAUSS-BONNET
onde k denota o a
ngulo interno em vk .
AH (Tk ) = (k + k+1 + k ).
n
X n
X
AH (P ) = AH (Tk ) = [ (k + k+1 + k )]
k=1 k=1
n n n
" #
X X X
= n k + k+1 + k .
k=1 k=1 k=1
76