Você está na página 1de 79

Isometrias do Plano Hiperb

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

2 O Grupo Geral de M obius 19


2.1 Transformacoes de M obius . . . . . . . . . . . . . . . . 19
2.2 Propriedades Transitivas de M ob+ . . . . . . . . . . . 25
2.3 Classificacao das Transformacoes de Mobius . . . . . . 28
2.4 Transformacoes de M obius como Matrizes . . . . . . . 29
2.5 A Conjugacao Complexa . . . . . . . . . . . . . . . . . 32
2.6 Principais Propriedades de M ob . . . . . . . . . . . . . 33
2.7 O Subgrupo M ob(H) . . . . . . . . . . . . . . . . . . . 36

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

O objetivo principal deste minicurso e estudar a geometria do plano


hiperbolico H atraves da acao do grupo geral de M obius. Para isto,
inicialmente faremos um breve apanhado historico sobre a geometria
hiperbolica, relacionando-a com a geometria euclidiana e procurando
motivar a adocao de um modelo euclidiano para o estudo da geometria
hiperbolica. Maiores detalhes podem ser encontrados em [3], [4] e [5].
Utilizando o modelo do semiplano superior, boa parte do mini-
curso sera dedicada ao estudo do grupo geral de M obius e sua acao so-
bre H. A partir da sera explorada a nocao de distancia e angulos em
H. Finalmente, abordaremos tambem o Teorema de Gauss-Bonnet.
A principal referencia utilizada na preparacao deste texto foi o
livro [1].

1
Introduc
ao

As nocoes elementares de geometria nasceram da necessidade de se


efetuar medidas, isto e, comparar distancias e determinar as dimensoes
dos objetos que rodeavam os seres humanos.
O historiador grego Her odoto (500 a.C.) atribuiu aos egpcios o
incio da geometria, mas outras civilizacoes mais antigas (babil
onios,
hindus e chineses) tambem possuiam muitas informacoes geometricas.
Mas foi na Grecia antiga que a geometria teve grande desenvolvi-
mento, principalmente entre os seculos VI e II a.C., destacando-se
os trabalhos de Tales de Mileto, Pit agoras, Euclides, Apolonio e Ar-
quimedes. O seu apogeu deu-se em torno do ano 300 a.C., quando
o matematico grego Euclides coletou, sistematizou e ampliou os co-
nhecimentos matematicos da epoca. Partindo de nocoes primitivas
de ponto, reta, plano e espaco, desenvolveu um dos primeiros exem-
plos de uma teoria dedutiva, estabelecendo sob forma de axiomas
ou postulados (proposicoes aceitas sem demonstracao), as relacoes
entre nocoes primitivas e suas propriedades. Os axiomas e suas con-
sequencias, os teoremas, demonstraveis a partir dos proprios axiomas,
foram reunidos por ele numa obra composta por 13 livros, denomi-
nada Elementos, a qual abrangia resultados de geometria, de teoria
de n umeros e de
algebra (geometrica) elementar. Este livro se tornou,
ao longo do tempo, a obra mais lida e mais publicada, vigorando por
muitos e muitos seculos como o texto padr ao de geometria. Alem
disso, o livro Elementos e considerado um marco na historia da Ma-
tematica, pois ele e o primeiro grande exemplo do uso do metodo
axiomatico.
A origem das geometrias n ao euclidianas est a ligada ao ques-
tionamento de um dos cinco postulados estabelecido por Euclides,

2
INTRODUC
AO 3

mais precisamente, o quinto postulado. Esse postulado, tambem


conhecido como postulado das paralelas, afirma que: se uma reta,
cortando duas outras retas no plano, forma angulo internos de um
mesmo lado menores que dois retos, ent ao as duas retas, prolonga-
das ao infinito se encontrar
ao na parte em que os dois angulos sao
menores que dois retos.

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

tro matematico que trabalhou extensivamente na geometria hiperb o-


lica foi Karl Friedrich Gauss (1777-1855), porem este n ao publicou os
resultados obtidos.
Tambem e importante mencionar o extraordinario trabalho do
matematico alem ao Georg Bernhard Riemann (1826-1866). Baseado
nos trabalhos de Gauss, Riemann propunha uma geometria fundada
no conceito de curvatura. As geometrias euclidiana, hiperb olica e
elptica, onde a curvatura e constante, passaram a ser descritas de-
pois como casos especiais da geometria de Riemann. Foi a geome-
tria riemanniana que deu suporte ` a Teoria Geral da Relatividade,
proposta por Albert Einstein (1879-1955) em 1917. O trabalho de
Riemann so foi publicado em 1868. Neste mesmo ano, Beltrami mos-
trou que em uma superfcie de curvatura constante negativa, tomando
um conceito apropriado de retas (geodesicas), todos os resultados ob-
tidos por Lobachevsky eram localmente verificados. Modelos para a
geometria hiperb olica sao dados por superfcies com curvatura cons-
tante negativa, enquanto para a geometria euclidiana sao dados por
superfcies com curvatura constante zero. Uma ideia local para a ge-
ometria hiperb olica pode ser dada pelo parabol oide hiperb
olico (sela).
Porem, este modelo n ao e plenamente adequado, pois esta superfcie
tem curvatura variavel.

Figura 2: Parabol
oide hiperb
olico

Um outro modelo local para a geometria hiperb olica e dado pela


pseudoesfera. Este modelo tambem nao e totalmente adequado, pois
possui pontos singulares que impedem o prolongamento das geodesicas,
o que contradiz o Postulado 2 estabelecido por Euclides.
6 INTRODUC
AO

Figura 3: Pseudoesfera

O fenomeno dos pontos singulares ocorre em todas as superfcies


de curvatura constante negativa, como demonstrou David Hilbert
(1862-1943). Dessa forma, n ao e possvel obter um modelo con-
creto (superfcie do espaoo usual) para o que e denominado plano
hiperbolico. O modelo, neste caso, e desenvolvido de forma abstrata,
pela introducao de diferentes nocoes de distancia e angulo. Um mo-
delo mais satisfat orio para a geometria hiperb olica foi obtido pelo
matematico alem ao Felix Kelin (1849-1925) e est a relacionado com a
geometria projetiva. O frances Henri Poincare (1854-1912), por sua
vez, introduziu modelos locais abstratos para a geometria hiperb olica
atraves de uma nova nocao de distancia para pontos do plano. Esses
modelos foram utilizados por ele no estudo de variaveis complexas.
Um destes modelos e conhecido como modelo do semiplano superior
(ou modelo do semiplano de Poincare ) e sera o modelo que adotare-
mos para o estudo das isometrias do plano hiperb olico.
Captulo 1

Modelo do Semiplano

1.1 Retas Hiperb


olicas
Como foi observado na Introducao, uma das possveis maneiras de se
estudar a geometria hiperb
olica e atraves da adocao de um modelo.
O modelo que vamos considerar aqui para o plano hiperb olico H e o
modelo do semiplano superior definido por

H = {z C : Im(z) > 0}.


As nocoes de pontos e de
angulos sao as mesmas do plano com-
plexo C. Faremos agora a definicao de reta hiperb olica em H.
Observamos que esta definicao e feita de modo a tornar as propri-
edades de retas compatveis com os axiomas da geometria hiperb o-
lica.
Defini cao 1. Existem dois diferentes tipos de reta hiperb
olica, am-
bas definidas em termos de objetos euclidianos em C. Uma e a in-
tersecca
o de H com a reta euclidiana em C perpendicular ao eixo
real R em C. A outra e a intersecca
o de H com o crculo euclidiano
centrado no eixo real R.
Veremos a seguir algumas propriedades de retas hiperb
olicas.
Proposi ao 1. Para cada par p e q de pontos distintos em H, existe
c
uma u
nica reta hiperb
olica em H atraves de p e q.

7
8 CAPITULO 1. MODELO DO SEMIPLANO

Figura 1.1: Retas hiperb


olicas em H

Demonstraca o. Existem dois casos a considerar. Suponhamos inici-


almente que Re(p) = Re(q). Ent ao a reta euclidiana R dada pela
equacao R = {z C | Re(z) = Re(p)} e perpendicular ao eixo real e
passa atraves de p e q. Portanto, a reta hiperb olica = H R e uma
reta hiperb olica entre p e q.
Suponha agora que Re(p) 6= Re(q). Como neste caso n ao e
possvel obter uma reta euclidiana atraves de p e q, precisamos
construir um crculo euclidiano centrado no eixo real R passando
atraves de p e q.
Seja Rpq o segmento de reta euclidiano atraves de p e q e seja
K a mediatriz deste segmento. Como os pontos p e q tem partes
reais distintas, a reta euclidiana K n ao e paralela a R. Logo, K e R
interceptam-se num u nico ponto c.
Seja A o crculo euclidiano de centro c e raio |c p|; logo, o ponto
p pertence a A. Como c K, temos que |c p| = |c q|, e portanto
q tambem pertence a A. A interseccao = H A e ent ao uma reta
hiperb olica atraves de p e q.

Figura 1.2: Reta hiperb


olica

A unicidade da reta hiperb olica atraves de p e q vem da unicidade


da reta e do crculo euclidianos utilizados na demonstracao.

1.1. RETAS HIPERBOLICAS 9

Observamos que se e uma reta hiperb olica atraves de p e q e


p e q possuem partes reais iguais, ent ao podemos descrever expli-
citamente como = R H, onde R e a reta euclidiana dada por
R = {z C | Re(z) = Re(p)}. No caso em que Re(p) 6= Re(q) temos
que e um crculo atraves de p e q e, analisando a demonstracao da
Proposicao 1, e possvel obter uma expressao explcita para o centro
e o raio deste crculo.

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

Figura 1.3: Retas hiperb


olicas atraves de p e paralelas a

Vamos supor agora que est a contida num crculo euclidiano A.


Seja D o crculo euclidiano que e concentrico a A passando atraves
de P . Como crculos concentricos sao disjuntos, uma reta hiperb olica
atraves de p e paralela a e H D.
Para construir uma segunda reta hiperb olica atraves de p e pa-
ralela a , tome qualquer ponto x em R entre entre A e D. Seja E
o crculo euclidiano centrado em R passando por x e p. Novamente
por construcao, E e A sao disjuntos, e portanto H E e uma reta
hiperb olica atraves de p e paralela a .
De modo analogo ao caso anterior, temos que, como existem in-
finitos pontos em R entre A e D, existem infinitas retas hiperb olicas
atraves de p e paralelas a (ver figura 1.4).

Figura 1.4: Retas hiperb


olicas atraves de p e paralelas a

1.2 A esfera de Riemann


Com o objetivo de estudar as transformacoes que levam retas hiper-
b
olicas em retas hiperb
olicas precisamos de uma maneira de unificar
1.2. A ESFERA DE RIEMANN 11

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.

Figura 1.5: Projecao estereogr


afica

Temos que, em termos das coordenadas cartesianas usuais do


plano o coeficiente angular da reta Kz e dado por
Im(z) 1
m= .
Re(z)
Logo, a equacao de Kz e dada por
Im(z) 1
y1= x,
Re(z)
e assim a interseccao de Kz com R e
Re(z)
(z) = .
1 Im(z)
importante notar que se z e w sao pontos distintos em S1 {i},
E
ao as retas Kz e Kw sao distintas e, portanto (z) 6= (w). Logo,
ent
a funcao e uma bijecao entre S1 {i} e R.
12 CAPITULO 1. MODELO DO SEMIPLANO

Como obtemos uma reta euclidiana removendo um ponto de S1 ,


podemos pensar no caminho inverso, isto e, podemos acrescentar um
ponto a uma reta para obtermos um crculo. Este ponto sera deno-
tado por . O conjunto de pontos

C = C {}

e classicamente conhecido por esfera de Riemann. Este espaco contem


H, e crculos e retas estao unificados, pois imaginamos um crculo
como uma reta unida com .
Para explorar as propriedades b asicas deste espaco e necessario
estudar alguns conceitos topol ogicos. Um conjunto X em C e aberto
se para cada z X, existe algum > 0 de modo que U (z) X,
onde
U (z) = {w C : |w z| < }.
Com o intuito de estender esta definicao para C precisamos, neste
caso, definir U (z). Se z C, ent
ao

U (z) = {w C : |w z| < }.

Definimos U () por

U () = {w C : |w| > } {}.

Defini ao 2. Dizemos que um conjunto X em C e aberto se, para


c
cada ponto x X, existe algum > 0 tal que U (x) X.

Um consequencia importante desta definicao e que se um deter-


minado conjunto D e aberto em C, entao ele tambem e aberto em C.
Outra importante consequencia e dada pela seguinte proposicao.

Proposiao 2. H e aberto em C.
c

Demonstracao. Seja z H. A distancia euclidiana de z a R e Im(z).


Logo UIm(z) (z) est
a contida em H.

Defini
cao 3. Um conjunto X em C e fechado se seu complementar
C X e aberto.
1.2. A ESFERA DE RIEMANN 13

ario S1 e fechado em C, pois seu com-


Por exemplo, o crculo unit
plementar e a uni
ao

C S1 = U1 (0) U1 ().

Podemos agora definir convergencia em C. Isto e feito de modo


analogo ao que e feito em C. Dizemos que uma sequencia {zn } de
pontos em C converge a um ponto z C se para cada > 0 existe N
de modo que zn U (z) para todo n > N .
Seja X um subconjunto de C. Definimos o fecho X de X em C
por

X = {z C : U (z) X 6= , > 0}.


A proxima definicao nos permitir
a unificar retas e crculos de C.
Definiao 4. Um crculo em C e um crculo euclidiano em C ou a
c
ao de uma reta euclidiana em C com {}.
uni
Se L e uma reta euclidiana em C, denotaremos por
L = L {} o crculo em C contendo L. Por exemplo, o eixo
real estendido R = R {} e o crculo em C contendo o eixo real R
em C.
Vamos agora definir continuidade em C.
Definicao 5. Uma funca o f : C C e contnua em z se dado > 0
existe > 0 tal que w U (z) implica que f (w) U (f (z)). Uma
o f : C C e contnua se e contnua para todo z C.
funca
Com esta definicao, podemos demonstrar muitos resultados de
modo analogo ao que fazemos para funcoes de R em R. Porem,
alguns casos sao um pouco diferentes devido `a presenca do .
Para o estudo das transformacoes de M obius que faremos no
Captulo 2, precisaremos estudar um conjunto importante de funcoes
em C, que definiremos a seguir.
Definiao 6. Uma funca
c o f : C C e um homeomorfismo se f e
o e se f e f 1 s
uma bijeca ao contnuas.
Usaremos a notacao Homeo(C) para designar o conjunto dos ho-
meomorfismos de C.
14 CAPITULO 1. MODELO DO SEMIPLANO

Temos, por definicao, que o inverso de um homeomorfismo e um


homeomorfismo. Alem disto, a composicao de dois homeomorfis-
mos e tambem um homeomorfismo. Como a aplicacao identidade
f : C C dada por f (z) = z tambem e um homeomorfismo, segue
que Homeo(C) e um grupo sob a operacao de composicao. A seguir
obteremos importantes funcoes dentro deste grupo.

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.

Demonstracao. Vamos mostrar inicialmente que J e contnua em 0.


Seja > 0. Como J(0) = , precisamos mostrar que existe algum
> 0 tal que

J(U (0)) U (J(0)) = U ().


1
Tome = . Para cada w U (0) {0} temos
1 1
|J(w)| = > = ,
|w|
o que significa que J(w) U (). Como J(0) = U () por
definicao, temos que J e contnua em 0.
Para provar que J e contnua em procedemos de maneira
analoga ao caso anterior. Dado > 0, tomamos = 1 . Ent
ao,
para cada w U () {}, temos que

1 1
|J(w)| = < = ,
|w|

e portanto J(w) U (0). Como J() = 0 U (0), J e contnua em


.
Resta provar que J e contnua em z C {0}. Considere,
ao, > 0. Precisamos encontrar tal que w U (z) implica que
ent
1
J(w) U (J(z)). Seja = min(, 2|z| ). Observe que U (z) n ao
contem 0.
1.2. A ESFERA DE RIEMANN 15

Para qualquer U (J(z)), temos que

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

Como < , temos que J e contnua em z C {0}.

Corol o J : C C dada pela proposica


ario 1. A funca o anterior e
um homeomorfismo de C.

Demonstraca o. Observe que J J(z) = z para todo z C. Para


mostrar que J e injetiva, suponha que existam pontos z e w para os
quais J(z) = J(w) e note que z = J(J(z)) = J(J(w)) = w. Para
mostrar que J e sobrejetiva, observe que para todo z C, tem-se que
z = J(J(z)).
Alem disto, como J 1 (z) = J(z) para todo z C, temos da
proposicao anterior que J 1 e contnua.

Proposi ao 4. Seja g(z) uma funca


c o polinomial. A funca
o
f : C C, definida por

f (z) = g(z) para z C e f () = ,

e contnua.
16 CAPITULO 1. MODELO DO SEMIPLANO

Demonstraca o. Usaremos o fato que f e contnua para todo z C.


Resta entao provarmos que f e contnua em . Para isto precisamos
provar que dado > 0 existe > 0 de modo que se z U () ent ao
f (z) U ().
Temos que
g(z) = an z n + + a1 z + a0 ,
para n 1, e an 6= 0. Pela desigualdade triangular, temos que

|g(z)| ||an z n | |an1 z n1 + + a1 z + a0 ||.

Seja A = max{|an1 |, , |a0 |}. Ent


ao

|an1 z n1 + + a1 z + a0 | A(|z n1 | + |z| + 1) nA|z|n1

para |z| 1.
Portanto, dado > 0, tome > 0 de modo que > 1 e
|an |n nA n1 > . Ent
ao, para |z| > temos que

|g(z)| |an ||z|n |an1 z n1 + + a1 z + a0 |


|an ||z|n nA|z|n1
n1 (|an | nA) > .

Corol ario 2. Seja f : C C como na proposica


o anterior. Ent
ao
f e um homeomorfismo de C se e somente se o grau de g e um.

Demonstraca o. Vamos mostrar que se d = grau(g) 2, ent ao f n


ao e
uma bijecao. Pelo teorema fundamental da algebra, temos que existe
um ponto c de C de modo que a equacao g(z) = c possui duas solucoes
distintas. Se g(z) nao se fatora da forma g(z) = (z a)d , podemos
tomar c = 0.
Se g(z) = (z a)d , ent
ao tomamos c = 1 e as solucoes de g(z) = 1
sao dadas por
   
2
z = a + exp i |0kd .
d
1.3. A FRONTEIRA NO INFINITO DE H 17

Se d = grau(g) = 0, ent ao f e uma funcao constante e, portanto,


n
ao pode ser bijetiva.
Se d = grau(g) = 1, ent ao g(z) = az + b, a 6= 0. Pela proposicao
anterior, f e contnua. Para mostrarmos que f e bijetiva e que f 1
e contnua, escrevemos uma expressao explcita para f 1 .

1
f 1 (z) = (z b) z C e f 1 () = .
a

1.3 A Fronteira no Infinito de H


Neste secao, faremos algumas consideracoes sobre o que chamaremos
de fronteira no infinito de H e obteremos dois tipos de retas paralelas
em H.
Como vimos anteriormente, um crculo em C e um crculo eucli-
diano em C ou a uni ao de uma reta euclidiana em C com {}.
O complementar de um crculo em C tem duas componentes. Se
o crculo for o S1 , as componentes de C S1 sao o disco euclidiano
D = U1 (0) e o disco U1 (). Se o crculo for o eixo real estendido R,
as componentes de C R sao o semiplano superior H e o semiplano
inferior {z C | Im(z) < 0}.

Defini ao 7. Um disco em C ser


c a definido como uma das compo-
nentes do complementar em C de um crculo em C.

Note que todo disco em C determina um u nico crculo em C, e


que todo crculo em C determina dois discos disjuntos em C.
Centralizaremos agora nossa atencao em H e no crculo de C que
o determina, R. R sera denominado fronteira no infinito de H e seus
pontos serao chamados de pontos no infinito de H. A raz ao para esta
nomenclatura ficara mais clara quando falarmos de distancia em H.
Se X e um conjunto qualquer de H, chamaremos de fronteira no
infinito de X a interseccao X R, onde X e o fecho de X em C.
Considere agora uma reta hiperb olica em H e suponha que
esteja contida no crculo A em C. Ent ao, a fronteira no infinito de
e o par de pontos contidos na interseccao A R.
18 CAPITULO 1. MODELO DO SEMIPLANO

Considere agora duas retas hiperb olicas 1 e 2 paralelas em H.


Sejam C1 o crculo em C contendo 1 e C2 o crculo em C contendo
2 . Observe que os crculos C1 e C2 podem ser disjuntos ou podem
se interceptar num ponto x R. No primeiro caso dizemos que as
retas 1 e 2 sao ultraparalelas.

Figura 1.6: Duas possibilidades para retas hiperb


olicas paralelas

Vimos na Proposicao 1 que dois pontos em H determinam uma


u
nica reta hiperb
olica em H. Podemos obter um resultado semelhante
caso um dos pontos esteja no infinito.
Proposi ao 5. Seja p um ponto em H e q um ponto de R. Ent
c ao
existe uma unica reta hiperb
olica em H determinada por p e q.
Demonstraca o. Suponha que q = . De todas as retas hiperb olicas
atraves de p existe exatamente uma que contem q em sua fronteira
no infinito, que e a reta hiperb
olica contida na reta euclidiana
{z C | Re(z) = Re(p)}.
A unicidade segue da observacao de que nenhuma reta hiperb olica
contida num crculo euclidiano contem em sua fronteira no infinito.
Suponha agora que q 6= e que Re(p) = Re(q). Ent ao, a reta
hiperb
olica contida na reta euclidiana
{z C | Re(z) = Re(p)}.
e a u
nica reta hiperb olica atraves de p que contem q em sua fronteira
no infinito.
Suponha agora que q 6= e que Re(p) 6= Re(q). Ent ao, procede-
mos de maneira analoga ao que foi feito na Proposicao 1, tomando-se
a mediatriz so segmento determinado por p e q para encontrar o
u
nico crculo euclidiano centrado em R passando por p e q. Tomando
a interseccao deste crculo com H, obtemos a u nica reta hiperb
olica
passando por p e q.
Captulo 2

O Grupo Geral de
Mobius

Com o objetivo de estudar a geometria hiperb olica atraves da acao de


um grupo de transformacoes que preserva, entre outras coisas, retas
hiperb
olicas, dedicaremos nosso estudo ao grupo das transformacoes
de Mobius. Depois, faremos a composicao das transformacoes de
Mobius com a conjugacao complexa, obtendo um grupo mais abran-
gente denominado grupo geral de M obius. Finalmente restringiremos
nossa atencao aos elementos deste grupo que preservam H.

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

Vamos entao considerar alguns homeomorfismos de C que est ao


em HomeoC (C). Usando a mesma notacao do captulo anterior, va-
a funcao g(z) = az + b em C a funcao f : C C dada
mos associar `
por
f (z) = g(z) para z C e f () = .
Temos ent
ao o seguinte resultado.

Proposi c o f : C C definida acima, com a, b, C e


ao 6. A funca
a 6= 0 e um elemento de HomeoC (C).

Para a demonstracao desta proposicao precisaremos obter uma


expressao para crculos de C.

Lema 1. Um crculo A de C pode ser visto como o conjunto das


soluco
es de uma equaca
o da forma

z z + z + z + = 0,

onde , R e C. Alem disto, 6= 0 se, e somente se, A e um


crculo de C.

Demonstraca o. Como um crculo de C e um crculo em C ou uma


reta em C vamos inicialmente obter as expressoes para as equacoes
de retas e crculos em C. Dado z = x + iy C, podemos escrever
1 i
x = Re(z) = (z + z) e y = Im(z) = (z z).
2 2
Logo,
1 i 1 1
ax+by+c = a (z + z)+b (z z)+c = (aib)z + (a+ib)
z +c = 0
2 2 2 2
Chamando 21 (a ib) = e c = , temos que a equacao acima fica

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

z0 = e |z0 |2 r2 = , a equacao acima fica


Escrevendo

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.

Vamos agora fazer a demonstracao da Proposicao 6.

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},

onde C e R. Vamos provar que se z satisfaz a equacao acima,


ent
ao w = az +b satisfaz uma equacao semelhante. Como w = az +b,
ao z = a1 (w b). Substituindo isto na equacao de A, obtemos
ent

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

ario 6 que a funcao J : C C definida por


Vimos no Corol
1
J(z) = para z C {0}, J(0) = , and J() = 0
z

e um homeomorfismo de C. Veremos agora que esta funcao tambem


leva crculos de C em crculos de C.

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

e um elemento de HomeoC (C).

Demonstracao. Seja A um crculo em C dado pela equacao


z z + z + z + = 0, onde , R e C. Seja w = z1 .
Logo, z = w1 . Substituindo isto na equacao de A, temos

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.

Observe que todas as possveis composicoes dos dois tipos de ho-


meomorfismos de C estudados anteriormente sao do tipo
az+b
m(z) = cz+d . Isto nos leva `
a seguinte definicao.

Definiao 8. Uma transformaca


c o de M
obius e uma funca
o
m : C C da forma

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

Note que o valor m() e bem definido, desde que a e c n ao sao


simultaneamente nulos, devido ` a condicao ad bc 6= 0 na definicao.
Alem disto m() = se e somente se c = 0.
Por outro lado, se z e tal que cz + d = 0, ent ao podemos, por
continuidade, dar um sentido a m(z). Neste caso, c 6= 0, pois caso
contrario, de cz + d = 0 teramos que d = 0 e c e d n ao podem ser
simultaneamente nulos. Ent ao
d
cz + d = 0 z = 6= 0.
c
Logo,
a d
c +b
ad+bc
c v
m(z) = = = ,
0 0 0
onde v 6= 0.
Entao fazemos
v v
= lim .
0 w0 w
Como v 6= 0, wv 6= 0, e considerando o modulo wv , podemos

concluir que limw0 wv = em C.


E importante notar que a composicao de duas transformacoes de
M obius e tambem uma transformacao de M obius e que toda trans-
formacao de M obius tem uma inversa, a saber, a inversa de
m(z) = az+bcz+d e m1 (z) = cz+adzb
. Alem disto, a aplicacao iden-
tidade g(z) = z tambem e uma transformacao de M obius. Segue
entao que o conjunto das transformacoes de M obius forma um grupo
sob a operacao de composicao.
Veremos no proximo teorema que as transformacoes de M obius
sao homeomorfismos de C que levam crculos em crculos.

ob+ HomeoC (C).


Teorema 2. M
24 CAPITULO 2. O GRUPO GERAL DE MOBIUS

Demonstraca o. Vamos mostrar que se m e uma transformacao de


Mobius, entao m e uma composicao das aplicacoes f e J estudadas
anteriormente. Como estas aplicacoes sao homeomorfismos de C que
levam crculos de C em crculos de C, ent ao teremos que as aplicacoes
de Mobius tambem terao estas propriedades.
az+b
Seja, ent
ao m(z) = cz+d , com a, b, c, d C e ad bc 6= 0.
ao m(z) = d z + db .
Se c = 0, ent a

Se c 6= 0, ent ao m(z) = h(J(g(z)), onde g(z) = c2 z + cd e


h(z) = (ad bc)z + ac .

Vamos agora explicar a condicao ad bc 6= 0 na definicao de


transformacao de M obius.
az+b
Para isto, considere a funcao p : C C dada por p(z) = cz+d ,
com a, b, c, d C e ad bc = 0. Vamos mostrar que p n ao e um
homeomorfismo de C.
Observamos inicialmente que n ao pode ocorrer de todos os
coeficientes de p serem zero, pois neste caso p seria indeterminada.
Suponha, ent ao, ad = bc e a 6= 0. Temos ent
ao que

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.

Teorema 3. Seja m(z) uma transformaca o de M obius fixando tres


pontos distintos de C. Ent
ao, m e a transformaca
o identidade.
az+b
Demonstraca
o. Suponha que m(z) = cz+d seja uma transformacao
de M
obius diferente da identidade. Vimos anteriormente que
m() = ac e, portanto, m() = se e somente se c = 0.
+

2.2. PROPRIEDADES TRANSITIVAS DE MOB 25

Se c = 0, m(z) = ad z + db . Se ad = 1, a equacao m(z) = z n ao


possui solucao em C. Se ad 6= 1, entao z = da b
e a u
nica solucao de
m(z) = z em C. Logo, se c = 0 ent ao m tem um ou dois pontos fixos.
Se c 6= 0 ent ao m() 6= . Logo as solucoes de m(z) = z est ao
em C e sao razes da equacao polinomial cz 2 + (d a)z b = 0. Logo,
neste caso m tem um ou dois pontos fixos.

2.2 Propriedades Transitivas de Mob+


Uma das propriedades b asicas satisfeitas pelo grupo das transforma-
coes de Mobius e que ele atua transitivamente de maneira u nica sobre
o conjunto de triplas distintas de C. Isto significa que dadas duas
triplas (z1 , z2 , z3 ) e (w1 , w2 , w3 ) de pontos distintos de C, existe uma
u
nica transformacao de M obius m tal que m(z1 ) = w1 , m(z2 ) = w2
e m(z3 ) = w3 .
Antes de mostrarmos este resultado, observamos que ele esta in-
serido num contexto mais amplo de acao de um grupo sobre um
conjunto que definiremos a seguir.

Defini ao 9. Dizemos que um grupo G atua num conjunto X se


c
existe um homomorfismo de G no grupo das bijeco es de X. Dize-
mos que G atua transitivamente sobre X se para cada par x e y de
elementos de X, existe um elemento g de G satisfazendo g(x) = y.

O proximo lema nos d a um metodo mais facil de saber se a acao


de um grupo e transitiva.

Lema 2. Suponha que um grupo G atue sobre um conjunto X, e seja


x0 um ponto de X. Suponha que para cada ponto y de X existe um
elemento g de G tal que g(y) = x0 . Ent
ao, G atua transitivamente
sobre X.

Demonstraca o. Dados dois pontos y e z de X, escolha elemen-


tos gy e gz de G de modo que gy (y) = x0 = gz (z). Ent ao
(gz )1 gy (y) = z.

Teorema 4. M ob+ atua transitivamente de maneira u


nica no con-
junto de triplas de pontos distintos de C.
26 CAPITULO 2. O GRUPO GERAL DE MOBIUS

Demonstraca o. Vamos inicialmente provar a unicidade. Considere


duas triplas (z1 , z2 , z3 ) e (w1 , w2 , w3 ) de pontos distintos de C e su-
ponha que existam duas transformacoes de M obius m e n satisfazendo
n(z1 ) = w1 = m(z1 ), n(z2 ) = w2 = m(z2 ) e n(z3 ) = w3 = m(z3 ).
Como m1 n fixa tres pontos distintos de C temos pelo Teorema 3
que m1 n e a identidade. Logo, m = n.
Para demonstrar a existencia de uma transformacao de M obius
levando (z1 , z2 , z3 ) em (w1 , w2 , w3 ), e suficiente mostrar que existe
uma transformacao de M obius m satisfazendo m(z1 ) = 0, m(z2 ) = 1
e m(z3 ) = . Se pudermos construir uma tal transformacao m,
podemos tambem construir uma n satisfazendo n(w1 ) = 0, n(w2 ) = 1
e n(w3 ) = e, portanto, n1 m levar a (z1 , z2 , z3 ) em (w1 , w2 , w3 ).
Vamos considerar o caso em que os zk est ao em C. Explicitamente,
considere a funcao em C dada por

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

Demonstraca o. Para demonstrar o teorema devemos observar que


uma tripla de pontos distintos (z1 , z2 , z3 ) de C determina um u nico
crculo de C.
De fato, se todos os zk estao em C e nao sao colineares, existe um
u
nico crculo euclidiano atraves destes pontos. Se eles sao colineares,
existe uma u nica reta euclidiana atraves deste pontos. Se um dos
zk e existe uma u nica reta euclidiana passando pelos outros dois
pontos.
Entao, sejam A e B dois crculos distintos de C. Escolha uma
tripla de pontos distintos em A e uma tripla de pontos distintos em
B, e seja m a transformacao de M obius levando a tripla de A na
tripla de B. Como m(A) e B sao dois crculos em C que passam pela
mesma tripla, ent ao m(A) = B.

Observamos que como um crculo de C n ao determina uma u nica


tripla de pontos, Mob+ atua transitivamente nos crculos de C, porem
n
ao de maneira u nica.
Vamos agora analisar a acao do grupo de Mobius sobre o conjunto
de discos de C.

Teorema 6. O grupo das transformaco es de M


obius atua transitiva-
mente sobre o conjunto de discos em C.

Demonstraca o. Sejam D e E dois discos em C e sejam CD e CE os


respectivos crculos. Do teorema anterior sabemos que existe uma
transformacao de M obius m tal que m(CD ) = CE . Logo, m(D) e um
disco de determinado por CE . Se este disco for E, o resultado est a
provado. Agora, se m(D) for o disco complementar a E, precisamos
de uma transformacao de M obius que leve este disco em E, ou seja
uma transformacao de M obius que troque os dois discos determinados
por CE .
Para isto observe que a transformacao de M obius J(z) = z1 tem a
propriedade de levar R em R (pois J(0) = , J() = 0 e J(1) = 1).
Como J(i) = i, esta aplicacao troca os dois discos determinados por
R. Considere agora um crculo qualquer A em C e seja n uma trans-
formacao de M obius satisfazendo n(A) = R. Ent ao a transformacao
n1 J n leva A nele mesmo e troca os dois discos determinados
por A.
28 CAPITULO 2. O GRUPO GERAL DE MOBIUS

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.

Definiao 10. Dizemos que duas transformaco


c es de Mobius m1 e
m2 s
ao conjugadas se existe alguma transformaca
o de Mobius p tal
que m2 = p m1 p1 .

Geometricamente, se m1 e m2 sao conjugadas por p, ent


ao o efeito
de m1 sobre C e o mesmo de m2 sobre p(C) = C. Alem disto m1 e
m2 tem o mesmo numero de pontos fixos. Isto decorre do fato que se
m1 fixa um ponto x de C, entao m2 fixa p(x). Por outro lado se m2
fixa um ponto y pode-se mostrar que m1 = p1 m2 p fixa p1 (y).
Vamos agora trabalhar com uma transformacao de M obius m di-
ferente da identidade. Suponha inicialmente que m tenha somente
um ponto fixo x em C. Seja y qualquer ponto em C {x} e observe
que (x, y, m(y)) e uma tripla de pontos distintos de C.
Seja p a transformacao de M obius levando a tripla (x, y, m(y)) na
tripla (, 0, 1), e considere a composicao p m p1 .
Pela construcao de p, temos que p m p1 () = . Como
p m p1 fixa , podemos escrever esta aplicacao pondo
p m p1 = az + b com a 6= 0. Como esta aplicacao fixa somente ,
nao existe solucao em C para a equacao p m p1 = z, e portanto
a deve ser igual a 1.
Alem disto, como p m p1 (0) = p m(y) = 1 vemos que
b = 1. Logo, p m p1 (z) = z + 1. Com isto temos que qualquer
transformacao de M obius com somente um ponto fixo e conjugada por
uma transformacao de M obius a n(z) = z + 1. Neste caso dizemos
que m e parabolica e sua forma padr ao e z + 1.
Suponha agora que m tenha dois pontos fixos x e y. Seja q uma
transformacao de M obius satisfazendo q(x) = 0 e q(y) = , e consi-
dere a composicao q m q 1 .
2.4. TRANSFORMAC
OES
DE MOBIUS COMO MATRIZES 29

Entao q m q 1() = , q m q 1(0) = 0 e podemos escrever


q m q 1 = az, para algum a C {0, 1}. Dizemos neste caso que
a e um m ultiplo de m.
Se o m ultiplo de m satisfaz |a| = 1, ent ao podemos escrever
a = e2i , para algum em (0, ), e q m q 1 (z) = e2i z e uma
rotacao ao redor da origem de um angulo de 2. Dizemos neste caso
que m e elptica, e e2i z e sua forma padr ao.
Se, por outro lado, |a| = 6 1, ent ao podemos escrever a = 2 e2i
para algum n umero real 6= 1 e algum em [0, ), de modo que
q m q 1 = 2 e2i z e a composicao de uma dilatacao por 2 (uma
expansao se 2 > 1 ou uma contracao se 2 < 1) e uma rotacao ao
redor da origem de um angulo de 2. Dizemos neste caso que m e
loxodr omica e sua forma padr ao e 2 e2i z.

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

Como os coeficientes da transformacao de M obius n ao sao u


nicos,
a matriz correspondente tambem n ao e u
nica: se k e uma constante
n
ao nula, entao a matriz correspondente k[m] corresponde `a mesma
transformacao de M obius que a matriz [m]. Entretanto, se [m] for
normalizada impondo ad bc = 1, ent ao existem duas possveis ma-
trizes associadas a uma dada transformacao de M obius: se uma e
ao a outra e [m], o que significa que a matriz e unicamente
[m], ent
determinada a menos de sinal.
A correspondencia entre matrizes e transformacoes de Mobius
pode ser feita de uma maneira explcita atraves do seguinte homo-
morfismo de grupos:
30 CAPITULO 2. O GRUPO GERAL DE MOBIUS

: GL2 (C) Mob+


 
a b az + b
[m] = 7 m(z) = ,
c d cz + d

onde GL2 (C) e dado por


  
a b
| a, b, c, d C e ad bc 6= 0 .
c d
Atraves de um calculo direto pode-se mostrar que a multiplicacao
de matrizes corresponde `a composicao das transformacoes de M
obius.
Disto segue entao que e um homomorfismo.

Depois de termos normalizado uma transformacao de M obius, es-


tudaremos agora uma outra quantidade u til associada a m, que cor-
responde a tomar o traco. Considere a funcao

ob+ C
: M

definida por (m) = (a + d)2 . Como a u nica ambiguidade na de-


finicao de uma transformacao de M obius normalizada surge de mul-
tiplicar todos os coeficientes por 1, vemos que (m) est a bem de-
finida. Como o traco de uma matriz e invariante sob conjugacao
(traco(M)=traco(P M P 1)), ent ao tambem e invariante por con-
jugacao. Logo, via o homomorfismo mencionado acima temos que
e invariante sob conjugacao de transformacoes de M
obius.
Utilizando a invariancia sob conjugacao, podemos distinguir
diferentes tipos de transformacoes de M obius sem precisar conjuga-
las explicitamente em suas formas padr oes. De fato, seja m uma
transformacao de M obius e p a transformacao que conjuga m em
sua forma padr ao. Desde que (m) = (p m p1 ), e suficiente
considerar os valores de nas formas padr oes.
Se m e parabolica ent ao p m p1 = z + 1, e portanto
ao, ent

(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

Se m e elptica ou loxodromica, podemos escrever p m p1 =


2
z, onde C {0, 1}. Normalizando para que o determinante de
m seja 1, podemos escrever

m(z) = z,
1
e portanto
(m) = (p m p1 ) = ( + 1 )2 .
No caso em que m e elptica, || = 1, e podemos escrever = ei
para algum (0, ). Temos neste caso que

(m) = ( + 1 )2 = (ei + ei )2 = 4 cos2 ().

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

(m) = ( + 1 )2 = cos(2)(2 + 2 ) + 2 + i sen (2)(2 2 ).

Como 6= 1, temos que Im( (m)) 6= 0 para 6= 0 e 6= 2 .


Para os casos em que = 0 e = 2 , usamos o fato 2 + 2 2
e + 2 = 2 se e somente se = 1 e obtemos que para = 0
2

(m) > 4, enquanto para = 2 , (m) < 0.


Resumindo, obtemos o seguinte resultado.

Proposi ao 8. Seja m uma transformaca


c o de M
obius diferente da
identidade. Ent
ao,

[1] m e parab
olica se e somente se (m) = 4;

[2] m e elptica se e somente se (m) e real e pertence ao intervalo


[0, 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

Exemplo. Considere m(z) = z+1z+3 . O determinante de m


e 2.
Para obtermos a forma normalizada de m, devemos multiplicar os
32 CAPITULO 2. O GRUPO GERAL DE MOBIUS

obius por 12 para que


coeficientes a, b, c e d da transformacao de M
o determinante seja 1. Logo, a forma normalizada de m e

1 z + 1
2 2
m(z) = .
1 z + 3
2 2

Como (m) = 8 temos que m e loxodromica.

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

C(z) = z para z C e C() = ,

que e denominado conjugaca


o complexa.
Geometricamente, o efeito de C sobre C e a reflex
ao no eixo real
estendido R.

Proposi
c o C : C C definida por
ao 9. A funca

C(z) = z para z C e C() =

e um elemento de Homeo(C).

Demonstraca o. Note que C e sua propria inversa, e portanto C e


uma bijecao de C.
A continuidade de C segue do fato que para qualquer z C e
qualquer > 0, C(U (z)) = U (C(z)).

Para ver que C n ao e um elemento de Mob+ , observe que C fixa


todo ponto de R, e em particular C fixa 0, 1 e . Entretanto, C n ao
e a identidade. Como todo elemento de M ob+ que fixa tres pontos
distintos e a identidade, segue que C nao pode pertencer a M ob+ .

2.6. PRINCIPAIS PROPRIEDADES DE MOB 33

Defini ao 11. O grupo geral de M


c obius Mob e o grupo gerado por
Mob+ e C. Isto e, todo elemento (n
ao trivial) p de Mob pode ser
expresso como uma composicao

p = C mk C m1

ob+ .
para algum k 1, onde mk e um elemento de M

Como M ob contem M ob+ , ent


ao todas as propriedades transitivas
+
de M ob sao herdadas por M ob, isto e, M
ob atua transitivamente
sobre o conjunto de triplas distintas de C, sobre o conjunto de crculos
de C e sobre o conjunto de discos de C. Observe, porem, que M ob
age transitivamente sobre triplas de pontos de C, mas n ao de maneira
u
nica, pois a aplicacao de conjugacao fixa mais que tres pontos.

2.6 Principais Propriedades de M


ob
Nesta secao obteremos importantes propriedades referentes ao grupo
geral de M obius.
O proximo teorema afirma que o grupo geral de M obius est
a con-
tido no conjunto dos homeomorfismos de C que levam crculos em
crculos. Sua demonstracao e analoga `
a do Teorema 2.

ob HomeoC (C).
Teorema 7. M

Como vimos, a conjugacao C(z) = z e uma reflex ao no crculo


R. Definimos a reflex ao num crculo A como sendo a composicao
CA = m C m1 , onde m e um elemento de M ob levando R em
A. Observamos que, embora n ao haja um u nico elemento de M ob
levando R em A, a reflex ao independe da aplicacao m escolhida. A
demonstracao deste resultado pode ser encontrada em [1].

Proposi ao 10. Todo elemento de M


c ob pode ser expresso como a
composica
o de reflex
oes em finitos crculos de C.

Demonstraca o. Como todo elemento de M


ob e gerado por Mob+ e
+ 1
por C(z) = z, e como M ob e gerado por J(z) = z e por
f (z) = az + b, a, b C, a 6= 0, basta mostrar o resultado para
estas aplicacoes.
34 CAPITULO 2. O GRUPO GERAL DE MOBIUS

No caso da aplicacao J, considere A = S1 . Um elemento de M ob+


1
levando R em S e a transformacao levando a tripla (0, 1, ) na tripla
(i, 1, 1), que e dada por

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

Como pf leva crculos de C em crculos de C, entao pf (R) = R,


pois R e o crculo determinado pela tripla (0, 1, ) e p f fixa esta
tripla de pontos.
De p f (R) = R segue que p f (H) = H ou p f (H) e o semi-
plano inferior. No primeiro caso tomamos m = p e, no u ltimo caso,
tomamos m = C p, onde C(z) = z.
Assim m M ob e m satisfaz m f (0) = 0, m f (1) = 1,
m f () = e m f (H) = H. A ideia e ent ao mostrar que m f e a
aplicacao identidade. Isto e feito construindo-se um conjunto denso
de pontos de C que sao fixos por m f . A continuidade de m f im-
plicara que m f e a identidade. Desta forma, teremos que f = m1 ,
ou seja, f M ob que completa o resultado.

Veremos, a seguir qual o efeito dos elementos de M ob sobre o


angulo entre curvas.
Dadas duas curvas C1 e C2 em C que se interceptam num ponto
z0 , definimos o a ngulo (C1 , C2 ) entre C1 e C2 em z0 como sendo o
angulo entre as retas tangentes a C1 e C2 em z0 medido de C1 a C2 .
Vamos utilizar a convencao que angulos medidos no sentido anti-
hor ario sao positivos e
angulos no sentido hor
ario sao negativos. Com
esta convencao temos que

(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

(X1 , X2 ) = 2 1 = arctan(s2 ) arctan(s1 ).

Sabemos que M ob e gerado pelas transformacoes da forma


f (z) = az+b, a, b, C, a 6= 0, J(z) = z1 e C(z) = z. Para completar a
prova devemos mostrar o resultado para cada uma destas aplicacoes.
Faremos aqui para a aplicacao f .
Dada f (z) = az + b, escrevemos a = ei . Como f () = ,
f (X1 ) e f (X2 ) sao retas euclidianas em C. Como f (Xk ) passa pelos
pontos f (z0 ) e f (zk ), o coeficiente angular da reta f (Xk ) e

Im(a(zk z0 )) Im(ei (zk z0 ))


tk = = = tan( + k ).
Re(a(zk z0 )) Re(ei (zk z0 ))

Logo,

(f (X1 ), f (X2 )) = arctan(t2 ) arctan(t1 )


= ( + 2 ) ( + 1 )
= 2 1 = (X1 , X2 ).

Observamos que, para demonstrar o resultado para a aplicacao J,


temos mais casos a considerar, pois J(X1 ) e J(X2 ) n ao sao
necessariamente retas euclidianas em C, mas podem ser dois crculos
euclidianos ou uma reta e um crculo euclidianos.

2.7 O Subgrupo Mob(H)


Nesta secao restringiremos nossa atencao ao subgrupo de Mob dado
pelas transformacoes que preservam H, isto e, ao subgrupo dado por

ob(H) = {m M
M ob | m(H) = H}.

2.7. O SUBGRUPO MOB(H) 37

Teorema 10. Todo elemento de M


ob(H) leva retas hiperb
olicas de
H em retas hiperb
olicas de H.

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.

O objetivo agora e obter uma forma explcita para os elementos


de M
ob(H).
Para isto considere o seguinte resultado.

Proposiao 11. Todo elemento m de M


c ob tem uma das seguintes
formas
az + b az+b
m(z) = ou m(z) = ,
cz + d cz+d
onde a, b, c, d C e ad bc = 1.

Demonstraca o. Para isto devemos mostrar que todas as possveis


composicoes de pares de aplicacoes tem uma das formas acima. Ja
sabemos que a composicao de duas transformacoes de M obius e no-
vamente uma transformacao de M obius.
Tomando m(z) = az+bcz+d e compondo com a conjuga cao C, temos

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.

Considere agora o subgrupo

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

Para isto observe que, na segunda forma de m dada pela Pro-


posicao 11, podemos tomar a composicao
az + b
m C(z) = m(
z) = ,
cz + d
e portanto podemos considerar somente o caso em que m e dada por
az + b
m(z) = ,
cz + d
onde a, b, c, d C e ad bc = 1.
Como m leva R em R, temos que os tres pontos
d a b
m1 () = , m() = e m1 (0) =
c c a
pertencem a R.
Vamos supor inicialmente que a 6= 0 e c 6= 0 de modo que esses
tres elementos pertencam a R. Logo podemos expressar m da seguinte
forma

az + b m()cz m1 (0)m()c
m(z) = = .
cz + d cz m1 ()c
Normalizando m podemos obter uma condicao sobre c,

1 = ad bc = c2 [m()(m1 (0) m1 ())].


Como m(), m1 (0) e m1 () sao todos reais, isto significa que
c e real ou imagin
ario puro, ou seja, os coeficientes de m sao todos
reais ou imaginarios puros.
No caso a = 0, a condicao ad bc = 1 implica que c 6= 0. Neste
b
caso consideramos os pontos m(1) = c+d e m1 () = dc . Logo,

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

ob(R) tem uma das seguintes for-


Teorema 11. Todo elemento de M
mas:
az+b
[1] m(z) = cz+d , com a, b, c, d R e ad bc = 1;
z +b
a
[2] m(z) = z +d ,
c com a, b, c, d R e ad bc = 1;
az+b
[3] m(z) = cz+d , arios puros e ad bc = 1;
com a, b, c, d imagin
z +b
a
[4] m(z) = z +d ,
c arios puros e ad bc = 1.
com a, b, c, d imagin

Vamos agora determinar os elementos de M ob(H). Temos que


cada elemento de M ob(R) preserva ou permuta cada um dos dois
discos em C determinados por R. Ent ao para saber qual e o caso,
basta considerar a imagem de um ponto especfico de um dos discos.
Um elemento m de M ob(R) e um elemento de M ob(H) se e so-
mente se a parte imagin aria de m(i) e positiva. Portanto, precisamos
checar cada uma das quatro possveis formas de um elemento de
az+b
M ob(R). Vamos fazer isto para o caso em que m(z) = cz+d , onde
a, b, c, d sao reais e ad bc = 1. Neste caso a parte imaginaria de
m(i) e dada por

 
ai + b
Im(m(i)) = Im
ci + d
 
(ai + b)(ci + d) 1
= Im = 2 > 0,
(ci + d)(ci + d) c + d2

o que significa que m pertence a Mob(H).


Procedendo de modo analogo para as outras tres possveis formas
de m, conclumos que se m tem as formas dadas por 2 e 3 no Teorema
11, ent
ao m n ao pertence a M
ob(H) e, se m tem a forma 4 ent ao m
pertence a M ob(H).
Resumindo, temos o seguinte teorema.

Teorema 12. Todo elemento m de M


ob(H) tem uma das seguintes
formas:
az+b
[1] m(z) = cz+d , onde a, b, c, d R e ad bc = 1;
40 CAPITULO 2. O GRUPO GERAL DE MOBIUS

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

Depois aplicamos q(z) = 1b z a p(w), obtendo q(p(w)) = i. Como


a R e 1b > 0, temos pelo Teorema 12 que p(z) e q(z) pertencem a
ob(H). Logo, q p(z) tambem pertence a M
M ob(H).

A proxima proposicao fala da acao de M


ob(H) sobre o conjunto
de retas hiperb
olicas.

Proposi ao 13. M
c ob(H) atua transitivamente sobre o conjunto de
retas hiperb
olicas em H.

Demonstracao. Seja uma reta hiperb olica em H. Pelo Lema 2,


basta construirmos um elemento de M ob(H) levando no eixo ima-
gin
ario I em H.
Para isto, escolha um ponto z em . Pela Proposicao 12, existe
um elemento m de M ob(H) com m(z) = i. A ideia agora e tomarmos
uma transformacao de Mobius que leve m() em I.
Seja o angulo entre as retas I e m(), medido de I a m().
Para cada , a transformacao

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().

importante observar que, embora M


E ob(H) atue transitivamente
sobre o conjunto de retas hiperb olicas em H, M ob(H) n
ao atua tran-
sitivamente sobre o conjunto de pares de pontos distintos de H.
De fato, suponha, por exemplo, que desejamos encontrar um ele-
mento m de M ob(H) levando i em i e 2i em 3i. Como estes elementos
estao sobre o eixo imagin ario I e, por dois pontos distintos em H
existe uma u nica reta hiperbolica (Proposicao 1), m deve fixar I.
Observe agora que como os pontos extremos de I sao 0 e , todo
elemento de M ob(H) levando I nele mesmo deve fixar os pontos 0 e
ou permuta-los. Utilizando o Teorema 12, temos que um elemento
de M ob(H) fixando 0 e deve ter a forma m(z) = az, com a R,
a > 0, ou a forma m(z) = a z, onde novamente a R e a > 0.
42 CAPITULO 2. O GRUPO GERAL DE MOBIUS

Por outro lado, um elemento de M ob(H) permutando 0 e deve


ter a forma m(z) = zb , onde b R e b > 0, ou ter a forma m(z) = zb ,
com b R e b > 0.
Em qualquer um dos casos acima, n ao existe um elemento m de
Mob(H) satisfazendo as condicoes impostas inicialmente (levar i em
i e 2i em 3i). De fato, o u nico elemento de M ob(H) que leva I nele
mesmo e que fixa i e dado por B(z) = z , que e a reflex
ao em I e
que, portanto, fixa todo elemento de I.

Analisaremos agora a acao de M ob(H) sobre o analogo em H de


um disco em C.
Um semiplano em H e uma componente de uma reta hiperb olica
em H. Temos que cada reta hiperb olica em H determina dois semi-
planos cuja interseccao e a propria reta.
A reta que determina um semiplano e chamada de reta fronteira
para o semiplano. Um semiplano e fechado se e a uniao de uma reta
hiperbolica com uma das componentes de H , e e aberto se e
somente uma das componentes de H . Temos ent ao o seguinte
resultado.

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.

Terminaremos esta secao analisando a acao de M


ob(H) na fron-
teira no infinito R de H.

2.7. O SUBGRUPO MOB(H) 43

Proposicao 15. M ob(H) atua transitivamente no conjunto de triplas


de pontos distintos de R.
Demonstraca o. Pelo Lema 2 basta mostrarmos que, dada uma tripla
de pontos distintos de R, existe um elemento de M ob(H) levando
(z1 , z2 , z3 ) em (0, 1, ).
Seja a reta hiperb olica cujos pontos extremos no infinito sejam
z1 e z3 , e seja m um elemento de M ob(H) levando no eixo imaginario
positivo I. Considerando a composicao de m com K(z) = z1 se
necessario, podemos assumir que m(z1 ) = 0 e que m(z3 ) = . Seja
b = m(z2 ). Observe que b R.
Se b > 0, ent ao a composicao de m com p(z) = 1b z leva (z1 , z2 , z3 )
em (0, 1, ).
Se b < 0, ent ao a composicao de m com q(z) = 1b z leva (z1 , z2 , z3 )
em (0, 1, ).
Captulo 3

Dist
ancia em H

O objetivo deste captulo e construir a nocao de distancia em H. Isto


e feito construindo-se um elemento de comprimento de arco em H
invariante sob a acao do grupo M ob(H).
Obteremos tambem uma f ormula explcita para para o c alculo de
distancias em H.

3.1 Elementos de Comprimento de Arco


Um caminho no plano R2 e uma funcao diferenci avel f : [a, b] R2
dada por f (t) = (x(t), y(t)), onde x(t) e y(t) sao funcoes diferenci aveis
em t e [a, b] e um intervalo em R. A imagem de um intervalo [a, b]
sob f e uma curva em R2 .
Um caminho f : [a, b] R2 e diferenci avel por partes se f e
contnua e se existe uma particao de [a, b] em subintervalos
[a = a0 , a1 ], [a1 , a2 ], [an , an+1 = b] tal que f e diferenciavel em
cada subintervalo [ak , ak+1 ].
Qualquer c alculo feito com um caminho diferenci avel pode ser
feito tambem com um caminho diferenci avel por partes, expressando-
o como a uni ao de caminhos diferenci aveis.
O comprimento de arco euclidiano de f e dado por
Z b p
l(f ) = (x (t))2 + (y (t))2 dt,
a

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

e o comprimento de arco pode ser expresso da seguinte forma


Z b
l(f ) = |f (t)|dt.
a

Assim o elemento de comprimento de arco padr


ao em C pode ser
escrito como

|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

Considere agora uma funcao contnua : C R. A integral de


linha de ao longo de um caminho f : [a, b] C e dada pela integral
Z Z b
(z)|dz| = (f (t))|f (t)|dt.
f a

Esta integral de linha pode ser interpretada como um novo ele-


mento de comprimento de arco, denotado por (z)|dz|, e a funcao
e vista como um fator de escala pontual em relacao ao comprimento
de arco euclidiano. Isto nos leva `
a seguinte definicao.

Defini ao 12. Dado um caminho diferenci


c avel por partes
f : [a, b] C, definimos o comprimento de f com relaca
o ao ele-
mento de comprimento de arco (z)|dz| como sendo a integral
Z Z b
l (f ) = (z)|dz| = (f (t))|f (t)|dt.
f a
46 CAPITULO 3. DISTANCIA
EM H

O elemento de comprimento de arco da forma (z)|dz| e referido


como uma distorca o conforme do comprimento de arco padr ao |dz|
em C.
importante observar que esta definicao de comprimento de um
E
caminho f e invariante por reparametrizaco es, isto e, se f : [a, b] C
e um caminho diferenci avel por partes e h : [c, d] [a, b] e uma
funcao sobrejetiva diferenci
avel monotona, ent ao l (f h) = l (f ).
Este resultado pode ser mostrado diretamente, utilizando-se a regra
da cadeia. A demonstracao completa encontra-se em [1]. Caso a
funcao h seja apenas sobrejetiva vale l (f ) l (f h) e a igualdade
ocorre se, e somente se, h e mon otona.

3.2 Comprimento de Arco em H


Com o objetivo de construir uma nocao de distancia en H, vamos
inicialmente obter um elemento de comprimento de arco em H. Para
isto consideraremos aqueles elementos de comprimento de arco que
sao invariantes sob a acao de Mob(H). Isto e, dado um caminho
avel f : [a, b] H queremos encontrar uma funcao contnua
diferenci
: H R tal que

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

Usando a regra da cadeia obtemos

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

para todo caminho diferenci avel por partes f : [a, b] H e todo


elemento de M ob+ (H). Note que, como (z) e contnua e e
diferenci
avel, (z) e contnua.
Temos ent ao o seguinte resultado.

Lema 3. Sejam D um subconjunto R aberto de C e : D R uma


o contnua. Suponha que f (z)|dz| = 0 para todo caminho
funca
avel por partes f : [a, b] D. Ent
diferenci ao 0.

Demonstraca o. Suponhamos que exista z D tal que (z) 6= 0.


Podemos assumir, sem perda de generalidade que (z) > 0.
Temos que e contnua. Com a notacao da Secao 1.2, segue ent
ao
que dado > 0 existe > 0 tal que U (z) D e w U (z) implica
que (w) U ((z)).
Tomando = 13 |(z)|, vemos que existe > 0 tal que w U (z)
implica que (w) U ((z)). Utilizando a desigualdade triangular e
o fato que (z) > 0, isto implica que (w) > 0 para todo w U (z).
Escolhemos agora um caminho diferenci avel por partes especfico
f : [0, 1] U (z) dado por

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.

Vimos anteriormente que, utilizando Ra hipotese que o compri-


ob+ (H), f (z)|dz| = 0 para todo
mento de arco e invariante sob M
48 CAPITULO 3. DISTANCIA
EM H

ob+ (H).
avel por partes f : [a, b] H e M
caminho diferenci
Utilizando o lema anterior, obtemos ent
ao que

(z) = (z) ((z))| (z)| = 0


para todo z H e todo elemento de M ob+ (H).
ob+ (H), tem-
Observe agora que se e sao dois elementos de M
se que

(z) = (z) (( )(z))|( ) (z)|


= (z) ((z))| (z)| + ((z))| (z)|
(( )(z))| ((z))|| (z)|
= (z) + ((z))| (z)|.

Isto significa que se 0 ent


ao 0. Usando agora o Co-
rolario 3, basta analisarmos nossa condicao sobre , com
(z) = az + b, a, b R, a > 0 e (z) = 1z .
Consideramos incialmente (z) = z + b, para b R. Como
(z) = 1 para todo z H, ent ao

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

0 (z) = (z) a(az),


para todo z H e todo a > 0.
Como depende somente da parte imaginaria de z podemos es-
crever (z) como uma funcao de uma variavel y, isto e (z) = f (y).
Portanto, a relacao acima pode ser expressa como
3.2. COMPRIMENTO DE ARCO EM H 49

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

B f (t) = x(t) + iy(t). Entao |(B f ) (t)| = |f (t)| e


Im(B f )(t) = Im(f (t)) e, portanto,

l(B f ) = l(f ).

Temos mostrado ent


ao o seguinte teorema.

Teorema 13. Para toda constante positiva c, o elemento de compri-


mento de arco
c
|dz|
Im(z)
em H e invariante sob a aca
o de M
ob(H).

Observamos que n ao e possvel determinar um valor especfico de


c. Para simplificar os c
alculos, utilizaremos c = 1. Temos ent ao a
seguinte definicao.

Defini ao 13. Para um caminho diferenci


c avel por partes
f : [a, b] H, definimos o comprimento de arco hiperb
olico de f
como

b
1 1
Z Z
lH (f ) = |dz| = |f (t)|dt.
f Im(z) a Im(f (t))

Exemplo. Considere o caminho f : [a, b] H, onde 0 < a < b,


dado por f (t) = it. A imagem f ([a, b]) e o eixo imaginario positivo.
Temos ent
ao que

b  
1 1 b
Z Z
lH (f ) = |dz| = dt = ln .
f Im(z) a t a

Observamos no exemplo acima que fixado um valor de b, quanto


mais proximo a estiver de zero, maior sera o comprimento hiperb olico
do segmento. De fato, quando a tende a zero, o comprimento hi-
perb
olico do segmento tende para o infinito, muito diferente do que
ocorre no caso euclidiano. Porem, e possvel mostrar que o compri-
mento de arco hiperb olico e sempre um n umero finito, veja [1].

3.3. METRICA EM H 51

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

satisfazendo tres condicoes

[1] d(x, y) 0 para todo x, y X, e d(x, y) = 0 se e somente se


x = y;

[2] d(x, y) = d(y, x); e

[3] d(x, z) d(x, y) + d(y, z) (desigualdade triangular).

Se X e um conjunto munido de uma metrica d, dizemos que (X, d)


e um espaco metrico.
Um exemplo e a metrica padr ao em R e C dada pelo valor abso-
luto.
Considere o semiplano superior H e seja [x, y] o conjunto de todos
os caminhos diferenci aveis por partes f : [a, b] H com f (a) = x e
f (b) = y, ou seja, o conjunto de todos os caminhos unindo x e y.
Considere agora a funcao dH : H H R definida tomando o
nfimo
dH (x, y) = inf{lH (f ) : f (x, y)},

onde lH (f ) representa o comprimento hiperbolico do caminho f .


Baseado no fato que o comprimento hiperb olico de um caminho
e invariante sob a acao de M
ob(H), vamos mostrar que dH tambem
e invariante sob a acao de M
ob(H). Isto e estabelecido na seguinte
proposicao.

Proposicao 16. Para todo elemento de M


ob(H) e para todo par
de pontos x e y de H, temos que

dH (x, y) = dH ((x), (y)).


52 CAPITULO 3. DISTANCIA
EM H

Demonstracao. Seja f : [a, b] H um caminho em (x, y), com


f (a) = x e f (b) = y. Como f (a) = (x) e f (b) = (y) ent
ao
f pertence a [(x), (y)]. Logo,

{ f : f [x, y]} [(x), (y)]. (3.2)

Como lH (f ) e invariante sob a acao de M


ob(H), temos que

lH (f ) = lH ( f )

para todo caminho f em [x, y]. Logo, usando 3.2 e as propriedades


de nfimo de um conjunto obtemos que

dH ((x), (y)) = inf{lH (g) : g [(x), (y)]}


inf{lH ( f ) : f [x, y]}
inf{lH (f ) : f [x, y]}
= dH (x, y).

Como e inversvel e 1 e um elemento de M


ob(H) temos que

{ 1 g : g [((x), (y)]} [x, y]

e, procedendo de modo analogo ao anterior obtem-se que


dH (x, y) dH ((x), (y)).
Portanto, conclumos que dH (x, y) = dH ((x), (y)).
Existem duas quest oes a considerar. Uma e que dH define uma
metrica em H, ou seja, dH satisfaz as tres condicoes de metrica. A
prova deste fato e um pouco extensa e pode ser encontrada em [1]. A
outra, e que existe um caminho g em [x, y] tal que lH (g) = dH (x, y),
isto e, o nfimo e atingido por um elemento do conjunto [x, y]. De
fato, veremos a seguir que este caminho g e um segmento de reta
hiperb olico.
Sejam, ent ao x e y um par de pontos distintos em H, e seja a
reta hiperb olica passando atraves de x e y. Da Proposicao 13 sabemos
que existe um elemento de M ob(H) tal que () e o eixo imaginario
positivo em H.

3.3. METRICA EM H 53

Figura 3.1: Segmento hiperb


olico

Escreva (x) = i e (y) = i. Podemos supor que > , pois


caso contrario, trocamos por K , onde K(z) = z1 .
Como observamos anteriormente, dH (x, y) = dH ((x), (y)). Por-
tanto basta mostrarmos que existe um caminho realizando a distancia
entre i e i para > .
Vamos primeiro calcular o comprimento de arco hiperb olico do
caminho f0 : [, ] H definido por f0 (t) = ti, cuja imagem e o
segmento de reta unindo i e i. Vamos mostrar que este e o menor
caminho entre i e i.
Como Im(f0 (t)) = t e |f0 (t)| = 1, temos
 
1
Z
lH (f0 ) = dt = ln .
t
Seja agora f : [a, b] H qualquer caminho em [i, i]. Se
mostrarmos que lH (f0 ) lH (f ) teremos que lH (f0 ) = dH (i, i).
Para isto, escreva f (t) = x(t) + iy(t) e considere o caminho
g : [a, b] H definido por

g(t) = Im(f (t))i = y(t)i.

Observe que g [i, i]. Temos ent


ao que

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

Assim, dado qualquer caminho f [i, i], podemos construir


um caminho mais curto g [i, i] pondo g(t) = Im(f (t))i. Para
completar a prova, precisamos somente mostrar que se g : [a, b] H
e qualquer caminho em [i, i] da forma g(t) = y(t)i, ent
ao
lH (f0 ) lH (g).
A imagem g([a, b]) de g e o segmento de reta hiperb
olico ligando
i e i, onde < . Defina f1 : [, ] H por f1 (t) = it,
e note que    

lH (f0 ) = ln ln = lH (f1 ). (3.4)

Ent ao, g = f1 (f11 g), onde f1 g : [a, b] [, ] e por
construcao uma funcao sobrejetiva. Observe que f11 g n ao e
necessariamente uma funcao mon otona, o que significa que f11 g
n
ao e uma reparametrizacao de f . Neste caso em que a mudanca de
coordenadas e somente uma funcao sobrejetiva temos, como obser-
vado no final da secao 3.1, que
lH (f1 ) lH (g).
Juntando isto como a desigualdade 3.4 obtemos finalmente que
lH (f0 ) lH (f ),
para todo caminho f em [i, i]. Assim temos mostrado parte do
seguinte resultado.
Teorema 14. (H, dH ) e um espaco metrico. Alem disto, a dist
ancia
entre dois pontos x e y em H e realizada por um segmento de reta
hiperb
olico unindo x e y.
Como um exemplo, considere o caminho g : [1, 1] H dado por
g(t) = (t2 + 1)i.
O menor valor de g e 1, que e atingido em t = 0. Alem disto, como
g(1) = g(1) = 2i, a imagem de [1, 1] sob g e o segmento de reta
hiperb
olico unindo 2i a i. O comprimento hiperb olico de g e
Z 1
1 |2t|
Z
lH (g) = |dz| = 2+1
dt = 2 ln(2).
g Im(z) 1 t

3.4. FORMULA
PARA DISTANCIA
HIPERBOLICA 55

No entanto, a distancia hiperb


olica entre i e 2i e dada por
dH (i, 2i) = ln 2.

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

Considere dois pontos z1 = x1 + iy1 e z2 = x2 + iy2 . Vamos


assumir que x1 6= x2 , pois se x1 = x2 ,
 
y1
dH (z1 , z2 ) = ln .
y2

Sejam c e r o centro e o raio, respectivamente, do crculo eucli-


diano que contem a reta hiperb olica atraves de z1 e z2 . Suponha que
x1 > x2 , e seja k o argumento de zk , variando no intervalo [0, ) e
medido no senti anti-horario a partir do eixo x positivo.
Considere o caminho f : [1 , 2 ] H dado por f (t) = c + reit .
Observe que a imagem de f e o segmento de reta hiperb olico entre z1 e
z2 . Logo, dH (z1 , z2 ) = lH (f ). Como Im(f (t)) = r sen (t) e |f (t)| = r,
temos que
Z 2
1 csc(2 ) cot(2 )
dH (z1 , z2 ) = lH (f ) = dt = ln .
1 sen (t) csc(1 ) cot(1 )

Podemos tambem obter uma expressao em termos de x1 , x2 , y1 e


y2 dada por,
r xk c
csc(k ) = e cot(k ) = .
yk yk
Logo,
r + c xk
| csc(k ) cot(k )| =
,
yk

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)

Se assumssemos x1 < x2 obteramos uma expressao para dH (z1 , z2 )


que difere da expressao acima apenas pelo fator 1. Logo, em qual-
quer caso temos que

y2 (x1 c r)
dH (z1 , z2 ) = ln .
y1 (x2 c r)
3.5. ISOMETRIAS 57

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,

dH (x, y) + dH (y, z) = dH (x, z)

se, e somente se, y est


a contido no segmento hiperb
olico xz unindo
x a z.
Demonstracao. Seja m um elemento de M ob(H) tal que m(x) = i
e m(z) = i, para algum > 1. Para obtermos tal m tomamos
em M ob(H) de modo que leva a reta hiperb olica atraves de x e
z no eixo imagin ario. Seja (x) = i e (z) = i. Podemos supor
< , pois caso contrario substitumos por K , com K(z) = z1 .
1
Considere (z) = z. Logo,

(x) = i e (z) = i,

onde = > 1. Escreva m(y) = a + bi.


Suponha inicialmente que y pertence ao segmento de reta hi-
perb
olico xz ligando x a z. Ent
ao, m(y) pertence ao segmento de
58 CAPITULO 3. DISTANCIA
EM H

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

Corolario 4. Toda isometria de H leva retas hiperb


olicas em retas
hiperb
olicas.

Demonstracao. Suponha que y pertence ao segmento hiperb


olico xy
ligando x a z. Ent
ao,

dH (x, y) + dH (y, z) = dH (x, z).

Se f e uma isometria hiperb


olica, ent
ao

dH (f (x), f (y)) + dH (f (y), f (z)) = dH (f (x), f (z)).

Portanto, f (y) pertence ao segmento hiperb olico f (x)f (z) unindo


f (x) a f (z). Logo,
f (xz ) = f (x)f (z) .
Como uma reta hiperb olica pode ser expressa como uma uniao de
segmentos hiperbolicos, temos que isometrias hiperb
olicas levam retas
hiperb
olicas em retas hiperb olicas.

Proposi ao 18. Dados dois pares (z1 , z2 ) e (w1 , w2 ) de pontos dis-


c
tintos de H, existe um elemento q de M ob(H) levando um par no
outro se, e somente se, dH (z1 , z2 ) = dH (w1 , w2 ).

Demonstraca o. Se existe um elemento q de M


ob(H) levando (z1 , z2 )
em (w1 , w2 ), ent
ao

dH (w1 , w2 ) = dH (q(z1 ), q(z2 )) = dH (z1 , z2 ).

Suponha agora que dH (z1 , z2 ) = dH (w1 , w2 ) e tome um elemento m


de Mob(H) levando z1 em i e z2 em edH (z1 ,z2 ) i. Considere agora um
elemento n de M ob(H) levando w1 em i e w2 em edH (w1 ,w2 ) i. Observe
que m(z1 ) = n(w1 ) = i. Como dH (w1 , w2 ) = dH (z1 , z2 ), temos que
m(z2 ) = n(w2 ) e, portanto, q = n1 m leva (z1 , z2 ) em (w1 , w2 ).

Vamos ent ao mostrar que Isom(H) M ob(H).


Seja f uma isometria hiperb olica. Considere agora dois elementos
x e y sobre o eixo imagin
ario I em H, e seja H um dos semiplanos em
H determinados por I. Como f e uma isometria hiperb olica temos,
pela Proposicao 18, que existe um elemento de M ob(H) tal que
60 CAPITULO 3. DISTANCIA
EM H

(f (x)) = x e (f (y)) = y. Se mostrarmos que f e a identidade,


teremos que f = 1 e, portanto, f pertence a M ob(H).
Como f fixa x e y e, pelo Corol ario 4, f leva retas hiperb olicas
em retas hiperb ao f leva I em I. Se necessario podemos
olicas, ent
substituir por B com B(z) = z para obter um elemento de
Mob(H) que leva I em I e H em H.
Seja z um ponto qualquer em I. Temos que z e unicamente deter-
minado pelas duas distancias hiperb olicas dH (x, z) e dH (y, z). Como
f preserva as duas distancias hiperb ao f fixa todo
olicas, ent
ponto z de I.
Considere agora um ponto qualquer w em H que n ao pertence a I.
Vamos mostrar que f fixa w. Seja a reta hiperb olica atraves de
w e perpendicular a I. Temos que est a contida no crculo euclidiano
de centro 0 e raio euclidiano |w|. Seja z o ponto de interseccao entre
e I.

p
z

q
w

Figura 3.2: Segmento hiperb


olico

Observe que e a mediatriz de algum segmento hiperb


olico pq
ligando pontos p e q em I, isto e

= {k H | dH (p, k) = dH (k, q)}.

Como e definido em termos da distancia hiperb olica e como f


e uma isometria hiperb olica, segue que f () e a mediatriz de
f (pq ). Utilizando agora a Proposicao 17, temos que o segmento
hiperb olico f (p)f (q) unindo f (p) a f (q) e igual a f (pq ).
Assim f () e a mediatriz de f (p)f (q) . Mas f fixa I. Logo
f () e a mediatriz de pq , ou seja, f () = .
3.5. ISOMETRIAS 61

Como dH (z, w) = dH ( f (z), f (w)) = dH (z, f (w)) e como


f preserva os dois semiplanos determinados por I, ent ao f fixa
w. Com isto obtemos que f fixa todo elemento de H e, portanto,
f e a identidade. Com isto chegamos no seguinte teorema.
Teorema 15. Isom(H) = M
ob(H).
Captulo 4

Area e o Teorema de
Gauss-Bonnet

Neste captulo definiremos a area de um polgono hiperb olico e de-


monstraremos o Teorema de Grauss-Bonnet, que estabelece uma for-
mula para a area de um polgono hiperb olico em funcao de seus
angulos. Para isto, precisaremos de algumas definicoes e resultados
referentes a polgonos hiperb
olicos e convexidade.

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

Se p e um ponto em H e q e um ponto em R, chamaremos de raio


hiperb
olico a parte da reta hiperb
olica entre p e q.
Proposi ao 19. Retas hiperb
c olicas, raios hiperb
olicos e segmentos
de reta hiperb
olicos s
ao convexos.
Lembramos que dada uma reta hiperb olica em H, o comple-
mento de no plano hiperb olico tem duas componentes, que sao os
dois semiplanos abertos determinados por . Um semiplano fechado
determinado por e a uni
ao de com um dos dois semiplanos abertos
determinados por . Temos ent ao o seguinte resultado.
Proposi cao 20. Semiplanos abertos e semiplanos fechados no plano
hiperb
olico s
ao convexos.
O proximo teorema estabelece uma importante caracterizacao de
conjuntos convexos em termos de semiplanos.
Teorema 16. Um subconjunto X no plano hiperb olico e convexo se
e somente se X pode ser expresso como a intersecca
o de uma colecao
de semiplanos.

4.2 Polgonos Hiperb


olicos
Vimos no Teorema 16 que um conjunto convexo em H e a inter-
seccao de uma colecao de semiplanos. Para a definicao de polgono
hiperb olico que faremos sera necessario impor uma condicao sobre
esta colecao.
Definicao 15. Seja H = {H }A uma coleca o de semiplanos em
H, e para cada A, seja a reta que determina H . A coleca o
H e localmente finita se para cada ponto z em H, existe > 0 tal que
somente um n umero finito de retas intercepta o disco hiperb olico
aberto U (z) de raio hiperbolico e centro hiperb
olico z.
claro que toda colecao finita de semiplanos e localmente finita.
E
possvel mostrar que qualquer colecao n
E ao enumeravel de semipla-
nos distintos em H n ao pode ser localmente finita. Um exemplo de
uma colecao infinita de semiplanos que e localmente finita e a colecao
{Hn }nZ em H, onde a reta que determina Hn fica no crculo euclidi-
ano com centro euclidiano n e raio euclidiano 1, e Hn e o semiplano
fechado determinado por n contendo o ponto 2i (ver figura 4.1).
64 CAPITULO 4. AREA
E O TEOREMA DE GAUSS-BONNET

Figura 4.1: Colecao localmente finita

Definiao 16. Um polgono hiperb


c olico e um conjunto fechado con-
vexo no plano hiperbolico que pode ser expresso como a interseccao
de uma coleca
o localmente finita de semiplanos fechados.
Vimos anteriormente um exemplo de polgono hiperb olico. Outro
exemplo de polgono hiperb olico e dado pela figura 4.2. O polgono
e dado pela interseccao dos semiplanos H1 = {z H | Re(z) 1},
H2 = {z H | Re(z) 1}, H3 = {z H | |z| 1},
H4 = {z H | |z 1| 1} e H5 = {z H | |z + 1| 1}.

Figura 4.2: Polgono hiperb


olico

Observe que na definicao de polgono dada, uma reta e um pol-


gono, ja que ela e a interseccao dos dois semiplanos que a determinam.
Mas uma reta tem interior vazio no plano hiperb olico. Quando um
polgono X em H tem interior vazio em H, dizemos que X e um
polgono degenerado. Caso contr ario, isto e, quando X tem interior
n
ao vazio, dizemos que X e um polgono n ao-degenerado. No decorrer
do texto estaremos sempre supondo que os polgonos hiperb olicos sao
n
ao degenerados.
Tornaremos precisos agora os conceitos de lado e vertice de um
polgono hiperb olico. Considere ent ao um polgono hiperb olico P e
sua fronteira P . Seja uma reta hiperb olica que intercepta P . Pode
ser que intercepte o interior de P . Neste caso, a interseccao P e
um subconjunto convexo fechado de que n ao e um ponto, logo P
4.2. POLIGONOS HIPERBOLICOS
65

e um segmento de reta hiperb olico fechado em , um raio fechado em


ou toda a reta .
Por outro lado, pode acontecer que n ao intercepte o interior
de P . Neste caso, P est a contido num dos semiplanos fechados de-
terminados por . A interseccao P e novamente um subcon-
junto fechado convexo de , e portanto, e um ponto em , um seg-
mento de reta hiperbolico fechado em , um raio hiperb olico fechado
em , ou toda a reta . Todas estas possibilidades est ao ilustradas
na figura 4.3, cujo polgono P e dado pela interseccao dos semipla-
nos H1 = {z H | Re(z) 1}, H2 = {z H | Re(z) 1},
H3 = {z H | |z| 1} e H4 = {z H | |z + 1| 1}.

Figura 4.3: Interseccao de retas hiperb


olicas com um polgono hi-
perb
olico

As retas da fronteira de P interceptam P numa reta hiperb olica,


num raio hiperb olico fechado, num raio hiperb olico fechado, e num
segmento de reta hiperb olico fechado. A reta hiperbolica que inter-
cepta a fronteira no infinito nos pontos 3 e 21 intercepta P num
u
nico ponto (figura 4.3).
De um modo geral, sejam P e um polgono hiperb olico e uma
reta hiperb olica tal que P intercepta e P est a contido num dos
semiplanos fechados determinados por . Se a interseccao P e
um ponto, dizemos que este ponto e um vertice de P . Nos outros
casos, isto e, quando a interseccao e um segmento de reta hiperbolico
fechado, um raio hiperb olico fechado ou toda a reta, dizemos que a
interseccao e um lado de P . O proximo resultado relaciona os lados
e vertices de um polgono hiperb olico.
Lema 4. Seja P um polgono hiperb
olico. Os vertices de P s
ao os
pontos extremos dos lados de P .
66 CAPITULO 4. AREA
E O TEOREMA DE GAUSS-BONNET

Considere agora um polgono hiperb olico P . Construa uma colecao


H de semiplanos fechados da seguinte maneira. Enumere os lados
de P como s1 , , sk , Para cada sk , seja k a reta hiperb
olica
que contem sk , e seja Hk o semiplano fechado determinado por k
contendo P . Ent ao, H = {Hk } e uma colecao locamente finita de
semiplanos fechados, e

P = Hk H Hk .

Como consequencia disto tem-se que cada vertice v de um polgono


hiperb
olico P e a interseccao de dois lados de P . Podemos falar
tambem sobre o angulo interno em v.

Definicao 17. Seja P um polgono hiperb olico, e seja v um vertice


de P que e a intersecca
o de dois lados s1 e s2 de P . Seja k a reta
hiperb
olica contendo sk . A uniao 1 2 divide o plano hiperb olico
em quatro componentes, uma das quais contem P . O a ngulo inte-
rior de P em v e o angulo entre 1 e 2 , medido na componente do
complemento de 1 2 contendo P .

Vamos considerar agora alguns tipos b asicos de polgonos hiper-


bolicos. Primeiro consideraremos polgonos hiperb olicos compactos.
Neste caso, os lados de P sao segmentos de reta hiperb olicos. Um
tri
angulo hiperb olico e um polgono hiperb olico compacto com tres
lados. Um quadriltero hiperb olico e um polgono hiperb olico com-
pacto com quatro lados. Um losango hiperb olico e um quadril atero
hiperb olico cujos lados tem a mesma medida.
Mais geralmente, um n- agono hiperb olico e um polgono hiperb oli-
co compacto com n lados. Um n-agono hiperb olico e regular se todos
os seus lados tem a mesma medida e todos os seus angulos internos
sao iguais.
Um paralelogramo hiperb olico e um quadril atero hiperb olico cu-
jos lados opostos est ao contidos em retas hiperb olicas paralelas ou
ultraparalelas.
Por exemplo, considere o quadril atero hiperb olico Q em H com
vertices x1 = i 1, x2 = 2i 1, x3 = i + 1 e x4 = 2i + 1. Uma
ilustracao de Q e dada na figura 4.4. Seja sjk o lado de Q ligando os
vertices xj e xk e seja jk a reta hiperb olica contendo sjk .
4.2. POLIGONOS HIPERBOLICOS
67

Figura 4.4: Quadrilatero hiperb


olico

Como 12 e 34 est ao contidas nas retas euclidianas


{z H | Re(z) = 1} e {z H | Re(z) = 1}, respectivamente,
temos que s12 e s34 est
ao contidos em retas hiperbolicas paralelas.
Como 13 e 24 est ao contidas
nas retas euclidianas
{z H | |z| = 2} e {z H | |z| = 5}, respectivamente, temos que
s13 e s24 est
ao contidos em retas hiperbolicas paralelas. Logo, Q e
um paralelogramo.
Vamos agora falar sobre alguns polgonos hiperbolicos n
ao com-
pactos.
Definicao 18. Dizemos que um polgono hiperb olico P em H tem
um vertice ideal em v R se existem dois lados de P que sao raios
hiperb
olicos fechados ou retas hiperb
olicas que compartilham v como
um ponto extremo no infinito.

olico com um vertice ideal no


Figura 4.5: Polgono hiperb

Para cada inteiro n 3, um n-agono ideal e um polgono hiperb


o-
lico que tem n lados e n vertices ideais. Cada lado de um polgono
68 CAPITULO 4. AREA
E O TEOREMA DE GAUSS-BONNET

ideal P e a reta hiperb


olica determinada por um par de vertices ideais.

Figura 4.6: Tri


angulos hiperb
olicos ideal e n
ao ideal

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).

Demonstraca o. Temos que mostrar que se X e um conjunto em H


cuja area hiperb
olica AH (X) est
a definida e se f e um elemento de
Mob(H) ent ao
AH (X) = AH (f (X)).
Para demonstrar o teorema precisamos utilizar o teorema de mudanca
de variaveis na integral dupla que garante que
Z Z
h(x, y) dxdy = h F (x, y)| det(DF )| dxdy,
F (X) X

onde X e um conjunto em R2 , F : R2 R2 e uma funcao dife-


renci
avel, h e uma funcao sobre X e DF e a matriz jacobiana de
F.
Primeiro consideramos f (z) = az+bcz+d , com a, b, c, d R e
ad bc = 1. Escrevendo f em termos de x e y, obtemos

acx2 + acy 2 + bd + bcx + adx + iy


f (x, y) = .
(cx + d)2 + c2 y 2
Portanto, considerando a funcao f : H H dada por

acx2 + acy 2 + bd + bcx + adx


 
y
f (x, y) = 2 2 2
, ,
(cx + d) + c y (cx + d)2 + c2 y 2

temos que o determinante da matriz jacobiana de f e dado por


1
det(Df (x, y)) = .
((cx + d)2 + c2 y 2 )2

Para calcular a area hiperb


olica precisamos integrar a funcao
h(x, y) = y12 e calcular a composicao

((cx + d)2 + c2 y 2 )2
h f (x, y) = .
y2

Utilizando o teorema de mudanca de variaveis tem-se que


70 CAPITULO 4. AREA
E O TEOREMA DE GAUSS-BONNET

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.

4.4 Teorema de Gauss-Bonnet


Nosso objetivo agora e obter uma f ormula para a area de um triangulo
hiperb olico. Para isto expressaremos um dado triangulo hiperb olico
em termos de triangulos hiperb olicos cujas areas sao mais faceis de
calcular.
Considere, inicialmente um triangulo hiperb olico com um vertice
ideal v1 , e com outros dois vertices v2 e v3 , que podem ou n ao ser
vertices ideais. Seja jk a reta hiperb olica determinada por vj e vk .
Utilizando as propriedades transitivas do grupo de isometrias de
H, seja um elemento de M ob(H) que leva v1 em e a reta 23 na
reta hiperb olica contida no crculo unit ario, de modo que v2 = ei e
i
v3 = e , onde 0 < (se = 0 e = , v1 e v2 sao vertices
ideais), figura 4.7.
Como a area hiperb olica e invariante sob a acao de M
ob(H), pode-
mos assumir que P e um triangulo hiperb olico com um vertice ideal
em , e com outros dois vertices em ei e ei , onde 0 < .
Observe que como P tem pelo menos um vertice ideal, P n ao e com-
pacto. Calculando a area hiperb olica de P , temos

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

Figura 4.7: O caso de um vertice ideal

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 ).

Demonstraca o. Em vista do c alculos anteriores, basta observar que


o angulo interno de P no vertice ideal v1 = e 1 = 0, o angulo
interno no vertice v2 = ei e 2 = e o angulo interno no vertice
v3 = ei e 3 = .
Uma consequencia da proposicao acima e que a area de um trian-
gulo ideal e , pois neste caso cada angulo interno e 0.
Vamos agora obter uma expressao para a area de um triangulo
hiperb olico qualquer. A ideia e fazer uma construcao para utilizar a
proposicao anterior.
Considere, ent ao um triangulo hiperb olico P com vertices v1 , v2
e v3 . Seja k o angulo interno de P em vk . Seja o raio hiperb olico
de v1 passando por v2 e seja x o ponto extremo de no infinito.
72 CAPITULO 4. AREA
E O TEOREMA DE GAUSS-BONNET

Figura 4.8: O caso de um triangulo sem vertices ideais

O triangulo hiperbolico T com vertices v1 , v3 e x tem um vertice


ideal em x e dois vertices n ao ideais v1 e v3 . O angulo interno de
T em v1 e 1 e o angulo interno de T em v3 e > 3 . Logo, pela
Proposicao 21 a
area do triangulo hiperbolico T e

AH (T ) = (1 + ). (4.1)

O triangulo hiperbolico T com vertices v2 , v3 e x tem um vertice


ideal em x e dois vertices n ao ideais em v2 e v3 . O angulo interno de
T em v2 e 2 e o
angulo interno de T em v3 e v3 . Portanto,
a area hiperbolica de T e

AH (T ) = ( 2 + 3 ). (4.2)

ao de T e P , e como T e P se interceptam apenas


Como T e a uni
ao longo de um lado, temos que

AH (T ) = AH (T ) + AH (P ).

Logo, utilizando as equacoes 4.1 e 4.2 obtemos

AH (P ) = AH (T ) AH (T ) = (1 + 2 + 3 ).

Com isto temos demonstrado o seguinte teorema.

Teorema 18. (Teorema de Gauss-Bonnet) Seja P um tri


angulo hi-
lperb
olico com a
ngulos internos , e . Ent
ao,

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.

Exemplo. Considere o triangulo hiperb olico P de vertices v1 = i,


v2 = 2 + 2i e v3 = 4 + i. Vamos denotar por jk a reta hiperb olica
contendo os vertices vj e vk de P e por Cjk o crculo euclidiano
contendo jk .
A equacao de C12 e |z 74 | = 465 . A equacao de C23 e |z 94 | =

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

|c1 c2 |2 = r12 + r22 2r1 r2 cos .


Logo, o angulo entre C12 e C13 e dado por
65
16 + 5 | 47 2|2 18
cos = = ,
65 325
2 4 5

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

Vamos agora obter uma generalizacao do Teorema 18 para polgo-


nos hiperb olicos. Consideraremos apenas polgonos hiperb olicos P
com um n umero finito de lados e tal que a quantidade total de vertices
(ideais ou nao) seja igual ao n
umero de lados. Observamos que para
um polgono hiperb olico com n
umero finito de lados, a quantidade
total de vertices e pelo menos o n
umero de lados. Por exemplo, um
semiplano fechado e um polgono que n ao tem vertice e possui um
lado.

Teorema 19. Seja P um polgono hiperb olico com um n umero finito


de lados e vertices (ideais ou nao) v1 , , vn . Alem disto, suponha
que a quantidade total de vertices de P seja igual ao n umero de lados.
Entao,
X n
AH (P ) = (n 2) k ,
k=1

onde k denota o a
ngulo interno em vk .

Demonstraca o. Para provar o teorema, decompomos P em triangulos


e utilizamos o Teorema 18.
Tome um ponto x no interior de P . Como P e convexo, o segmento
de reta hiperb olico (ou raio hiperb
olico) k ligando x a vk est
a contido
em P . Os segmentos de reta 1 , , n dividem P em n triangulos
T1 , , Tn .

Figura 4.9: Decomposicao de um pent


agono hiperb
olico em
triangulos hiperb
olicos
4.4. TEOREMA DE GAUSS-BONNET 75

Suponha que cada triangulo Tk tem vertices x, vk e vk+1 , com


1 k n, onde vn+1 = v1 e Tn+1 = T1 . Seja k o angulo interno de
Tk em x. Logo,
Xn
k = 2.
k=1

Sejam k o angulo interno de Tk em vk e k o angulo interno de


Tk em vk+1 . Como Tk e Tk+1 tem vertice em vk+1 , temos que

k+1 = k + k+1 . (4.3)


Aplicando o Teorema 18 a Tk , temos

AH (Tk ) = (k + k+1 + k ).

Como P = T1 Tn e como os triangulos hiperb


olicos T1 , Tn
se interceptam somente em seus lados, obtemos

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

Utilizando 4.3 na expressao anterior, temos ent


ao que
n
X n
X
AH (P ) = AH (Tk ) = (n 2) k .
k=1 k=1
Bibliografia

[1] J. W. Anderson, Hyperbolic Geometry, Springer-Verlag, London,


1999.
[2] J. L. M. Barbosa, Geometria Euclidiana Plana. 9.ed., IMPA,
Rio de Janeiro, 2000.
[3] J. L. M. Barbosa, Geometria Hiperb
olica. 1.ed., UFG, Goiania,
2002.
[4] M. P. do Carmo, Geometrias N ao-Euclidianas. Matem
atica
Universit
aria, N. 6: 25-48, 1987.
[5] S. I. R. Costa e S. A. Santos, Geometrias N
ao-Euclidianas.
Ciencia Hoje, Vol 11: 15-23, 1990.
[6] T. Needham, Visual Complex Analysis, Oxford University Press
Inc., New York, 1997.

76

Você também pode gostar