Documente Academic
Documente Profesional
Documente Cultură
Dissertação de Mestrado - Trnsofmrações de Mobius e Inversões
Încărcat de
Abelardo AlvesDrepturi de autor
Formate disponibile
Partajați acest document
Partajați sau inserați document
Vi se pare util acest document?
Este necorespunzător acest conținut?
Raportați acest documentDrepturi de autor:
Formate disponibile
Dissertação de Mestrado - Trnsofmrações de Mobius e Inversões
Încărcat de
Abelardo AlvesDrepturi de autor:
Formate disponibile
Universidade Estadual Paulista Jlio de Mesquita Filho
Instituto de Geocincias e Cincias Exatas
Cmpus de Rio Claro
Transformaes de Mbius e Inverses
Francili Duran
Dissertao apresentada ao Programa de
Ps-Graduao Mestrado Pro ssional em
Matemtica Universitria como requisito parcial para a obteno do grau de Mestre
Orientador
Prof. Dr. Thiago de Melo
2013
516
D948t
Duran, Francili
Transformaes de Mbius e Inverses/ Francili Duran- Rio
Claro: [s.n.], 2013.
71 f.: g.
Dissertao (mestrado) - Universidade Estadual Paulista, Instituto de Geocincias e Cincias Exatas.
Orientador: Thiago de Melo
1. Transformao de Mbius. 2. Inverso. 3. Projeo estereogr ca. I. Ttulo
Ficha Catalogr ca elaborada pela STATI - Biblioteca da UNESP
Cmpus de Rio Claro/SP
TERMO DE APROVAO
Francili Duran
Transformaes de Mbius e Inverses
Dissertao aprovada como requisito parcial para a obteno do grau de
Mestre no Curso de Ps-Graduao Mestrado Pro ssional em Matemtica
Universitria do Instituto de Geocincias e Cincias Exatas da Universidade
Estadual Paulista Jlio de Mesquita Filho, pela seguinte banca examinadora:
Prof. Dr. Thiago de Melo
Orientador
Prof. Dr. Vanderlei Marcos do Nascimento
Departamento de Matemtica - IGCEUnesp
Prof. Dr. Mrcio de Jesus Soares
Departamento de Matemtica - UFSCar
Rio Claro, 18 de maro de 2013
Aos meus pais Adelaide e Idneo,
minha irm Thais
e ao meu noivo Bruno,
dedico.
Agradecimentos
A Deus, por ter me guiado durante essa trajetria, por me dar fora para superar
os momentos difceis e mostrar o caminho nas horas de incerteza.
Aos meus pais, Adelaide e Idneo, que me trouxeram com tanto amor e carinho
este mundo e me ensinaram a viver com dignidade, por terem me apoiado e incentivado
com amor incondicional.
A minha irm Thais, que da sua maneira, tanto me ajudou e apoiou, mesmo no
tendo tempo, mas contribuindo muito para realizao deste trabalho.
Ao meu noivo Bruno, amigo e companheiro, por ser to compreensivo e paciente,
por estar presente em todos os momentos, pelo amor, pela ateno e por me fazer feliz
todos os dias.
Ao Prof. Dr. Thiago de Melo, por me orientar durante essa caminhada, pela ajuda,
compreenso e pacincia em tantos momentos.
Aos meus colegas e professores do curso de Ps-Graduao em Matemtica Universitria, pela convivncia e aprendizado.
Aos amigos e colegas que contriburam de forma direta ou indireta para realizao
desse trabalho.
Aos companheiros de estrada, pelo apoio nas horas mais complicadas, por fazerem
que o trajeto de toda sexta-feira casse menos cansativo, pela ajuda, pelos momentos
de alegria, pelo apoio, pelo carinho e por doarem um pouco de si para que eu chegasse
at aqui.
Um sonho sonhado sozinho um sonho.
Um sonho sonhado junto realidade.
Raul Seixas
Resumo
O objetivo deste trabalho estudar Transformaes de Mbius arbitrrias por meio
de transformaes mais simples. Um estudo detalhado de inverso geomtrica realizado com o objetivo de estudar a inverso complexa. Apresentamos o comportamento
das Transformaes de Mbius no in nito e as classi camos em elptica, hiperblica,
loxodrmica e parablica.
Palavras-chave:
Transformao de Mbius, Inverso, Projeo estereogr ca.
Abstract
The aim of this work is the study of arbitrary Mbius transformations by use of
simpler ones.
A detailed study of geometric inversions is done to well understand
complex inversions. We present the behavior of Mbius transformations at in nity and
classify them as elliptic, hyperbolic, loxodromic, and parabolic.
Keywords:
Mbius transformation, Inversion, Stereographic projection.
Lista de Figuras
1.1
Inverso geomtrica em relao uma circunferncia
. . . . . . . . . .
19
1.2
Analogia entre re exo
. . . . . . . . . . . . . . . . .
20
1.3
Tringulos
. . . . . . . . . . . . . . . . .
20
1.4
Inverso de uma circunferncia furada . . . . . . . . . . . . . . . . . . .
22
1.5
Inverso de uma circunferncia . . . . . . . . . . . . . . . . . . . . . . .
22
1.6
Propriedades da inverso
1.7
Preservao de ngulos pela inverso
1.8
Propriedades anlogas para
1.9
Inverso de uma esfera em relao esfera
RL e inverso IK
semelhantes 4aqb 4e
bqe
a . .
IK
. . . . . . . . . . . . . . . . . . . . . . . .
RM
IC
23
. . . . . . . . . . . . . . . . . . .
24
. . . . . . . . . . . . . . . . . . .
25
. . . . . . . . . . . . . . .
1.10 Inverso bidimensional vista a partir da inverso tridimensional
26
. . . .
28
1.11 Cadeia de circunferncias tangentes . . . . . . . . . . . . . . . . . . . .
29
1.12 Inverso da cadeia de circunferncias tangentes . . . . . . . . . . . . . .
29
1.13 Quadriltero com diagonais ortogonais
30
. . . . . . . . . . . . . . . . . .
1.14 Inverso das circunferncias tangentes em
1.15 O Teorema de Ptolomeu
q.
. . . . . . . . . . . . . . .
30
. . . . . . . . . . . . . . . . . . . . . . . . . .
31
2.1
Projeo estereogr ca de uma circunferncia furada em
. . . . . . .
33
2.2
ngulos preservados pela projeo estereogr ca . . . . . . . . . . . . .
35
2.3
Projeo estereogr ca como restrio de inverso geomtrica
. . . . .
36
2.4
Projeo estereogr ca em termos de coordenadas cartesianas
. . . . .
37
2.5
Projeo estereogr ca em termos de coordenadas esfricas . . . . . . .
37
2.6
Transferncia da conjugao complexa para uma re exo de
. . . . .
39
2.7
Transferncia da inverso geomtrica para uma re exo de
. . . . .
40
z 7 z
2.8
Efeito da aplicao
em uma grade . . . . . . . . . . . . . . . . .
42
3.1
Sequncia de circunferncias invertidas convergente para uma reta . . .
46
3.2
Inverso complexa quando a origem no pertence circunferncia
nem ao seu interior . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.3
47
Inverso complexa quando a origem pertence ao interior da circunferncia
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.4
Inverso complexa quando a origem pertence circunferncia
3.5
Transformaes de Mbius Elptica, Hiperblica, Loxodrmica e Parablica 50
3.6
Imagem de
pela razo cruzada
[z, q, r, s]
. . . .
47
. . . . . . . . . . . . . . . .
48
52
f = F M F 1
M
5.1
Ilustrao da composio
. . . . . . . . . . . . . . .
62
5.2
Efeito de uma transformao de Mbius elptica . . . . . . . . . . . . .
63
5.3
Efeito de uma transformao de Mbius hiperblica . . . . . . . . . . .
64
5.4
Efeito de uma transformao de Mbius loxodrmica
. . . . . . . . . .
64
5.5
Efeito de uma transformao de Mbius parablica
. . . . . . . . . . .
66
Sumrio
1 Inverso Geomtrica
19
1.1
Invertendo circunferncias
. . . . . . . . . . . . . . . . . . . . . . . . .
21
1.2
Invertendo pontos por meio de circunferncias ortogonais . . . . . . . .
23
1.3
Preservao de ngulos . . . . . . . . . . . . . . . . . . . . . . . . . . .
24
1.4
Inverso em relao uma esfera
. . . . . . . . . . . . . . . . . . . . .
26
1.5
Algumas aplicaes de inverso
. . . . . . . . . . . . . . . . . . . . . .
28
2 Plano Complexo Estendido
33
2.1
Projeo estereogr ca . . . . . . . . . . . . . . . . . . . . . . . . . . .
33
2.2
Projeo estereogr ca em coordenadas . . . . . . . . . . . . . . . . . .
36
2.3
Transferncia de funes complexas para funes na esfera
. . . . . . .
38
2.4
Comportamento de funes no in nito
. . . . . . . . . . . . . . . . . .
41
3 Transformaes de Mbius
43
3.1
Resultados bsicos
. . . . . . . . . . . . . . . . . . . . . . . . . . . . .
46
3.2
Razo cruzada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
50
4 Transformaes de Mbius e lgebra Linear
4.1
Representao matricial
4.2
53
. . . . . . . . . . . . . . . . . . . . . . . . . .
53
Coordenadas homogneas
. . . . . . . . . . . . . . . . . . . . . . . . .
54
4.3
Autovalores e autovetores
. . . . . . . . . . . . . . . . . . . . . . . . .
55
4.4
Rotao da esfera como transformao de Mbius
. . . . . . . . . . . .
5 Visualizao e Classi cao
58
61
5.1
A ideia principal
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
61
5.2
Transformaes elptica, hiperblica e loxodrmica . . . . . . . . . . . .
63
5.3
Interpretao geomtrica local do multiplicador
. . . . . . . . . . . . .
65
5.4
Transformaes parablicas
. . . . . . . . . . . . . . . . . . . . . . . .
66
5.5
Calculando o multiplicador . . . . . . . . . . . . . . . . . . . . . . . . .
67
5.6
Interpretao do multiplicador por meio de autovalores
69
Referncias
. . . . . . . . .
71
Introduo
Ao estudar as transformaes observamos que as mesmas representam um papel importante em vrias reas da Matemtica, assim como, na cincia de modo geral. Essa
importncia apoia-se no fato das transformaes tornarem possvel converter problemas
aparentemente complicados em problemas anlogos, mas com solues mais simples.
August Ferdinand Mbius, matemtico alemo que nasceu em 1790 e morreu em 1868,
introduziu o que hoje conhecemos por transformao de Mbius, uma transformao de
em
C,
que pode ser vista como composio de transformaes complexas mais sim-
ples, como por exemplo, translao, rotao, homotetia e inverso. Estas composies
tornam mais claras algumas propriedades das transformaes de Mbius.
Neste trabalho, estudaremos as transformaes de Mbius por meio do estudo dessas
transformaes mais simples. Veremos que o conjunto das transformaes de Mbius
forma um grupo com a operao composio, que as mesmas so conformes e que podemos associ-las a uma matriz quadrada complexa de ordem 2. Tambm, veri caremos
que estas transformaes preservam ngulos.
Por meio da inverso geomtrica mostraremos que uma transformao de Mbius
aplica circunferncias generalizadas em circunferncias generalizadas, mas no necessariamente circunferncias em circunferncias ou retas em retas, pois estas podem ser
trocadas.
Outra propriedade interessante que veremos a preservao da razo cruzada, isto
, se uma transformao de Mbius aplica quatro pontos distintos
quatro pontos distintos
w1 , w2 , w3 , w4 ,
z1 , z2 , z3 , z4
em
respectivamente, ento
(z1 z3 )(z2 z4 )
(w1 w3 )(w2 w4 )
=
.
(z2 z3 )(z1 z4 )
(w2 w3 )(w1 w4 )
Tambm estudaremos a classi cao das transformaes de Mbius em quatro tipos,
a saber, elptica, hiperblica, loxodrmica e parablica. Tal classi cao leva em conta
a existncia de pontos xos para estas transformaes, e faz uso de um nmero complexo
associado a elas, chamado de multiplicador.
Esse trabalho est dividido da seguinte forma:
No captulo 1, apresentaremos a inverso geomtrica de nida no plano. Mostraremos
que esta inverso aplica circunferncia em circunferncia e que preserva ngulos. Generalizaremos para o espao os conceitos de inverso no plano e nalizaremos o captulo
17
18
com trs propriedades da inverso: um problema sobre circunferncias tangentes, uma
propriedade de quadrilteros com diagonais ortogonais e o Teorema de Ptolomeu.
No captulo 2, mostraremos uma relao entre um plano
e uma esfera
da projeo estereogr ca. Faremos a transferncia de funes de
funo de
em ,
em
atravs
para uma
e com isso examinaremos o comportamento das funes no in nito.
No captulo 3, de niremos as transformaes de Mbius e mostraremos algumas
de suas propriedades interessantes, como por exemplo, uma estrutura de grupo no
conjunto destas transformaes.
No captulo 4, daremos um tratamento matricial s transformaes de Mbius e
utilizaremos ferramentas da lgebra Linear, como por exemplo, autovalores e autovetores.
Por m, no captulo 5, estudaremos a existncia de pontos xos para estas transformaes, com o objetivo de classi c-las de acordo com a quantidade destes pontos.
De niremos o que vem a ser uma transformao elptica, hiperblica, loxodrmica e
parablica, e estudaremos o comportamento geomtrico destas ao redor de um ponto
xo.
A referncia adotada para este trabalho [1].
[2, 3, 4].
O leitor tambm pode consultar
1 Inverso Geomtrica
Neste captulo apresentaremos uma transformao geomtrica do plano no plano,
a saber, a inverso geomtrica.
de raio
e centro
e com isso de niremos o inverso geomtrico, em relao
q.
qualquer ponto diferente de
De nio 1.1.
Mais precisamente, xaremos uma circunferncia
de
q . Dado p 6= q pertencente ao plano, seja a distncia de q p. De nimos p
e = IC (p), o inverso geomtrico
de p em relao C, como sendo o ponto no mesmo sentido de q para p cuja distncia
2
R / de q .
Seja
Observe que, se
que
R,
C,
uma circunferncia de raio
e centro
C , ento pe = p; e que, se a distncia de q p maior
q pe menor que R, e vice-versa. A gura 1.1 abaixo
pertence
ento a distncia de
ilustra esse fato.
p = IC (p)
R2 /
q
p = p
Figura 1.1: Inverso geomtrica em relao uma circunferncia
Podemos fazer uma analogia entre a inverso
e a re exo
RL
em relao reta
L.
IK
em relao a uma circunferncia
Para isso, vamos observar as guras 1.2a e 1.2b.
Notemos que:
(i) a reta
separa o plano em duas partes das quais so trocadas por
(ii) Cada ponto da reta
(iii) a aplicao
RL (z)
RL (z);
permanece xo;
a sua prpria aplicao inversa, ou seja,
aplicao identidade.
19
RL (z) RL (z)
Inverso Geomtrica
20
z
K
IK
RL
z
(a)
(b)
Figura 1.2: Analogia entre re exo
Consideremos agora um ponto
RL
IK
e inverso
ze = RL (z) em L. Tal par chamado
L. Ou seja, a re exo faz com que
e sua re exo
de imagem re etida ou simtricos em relao
cada par de pontos troque de lugar. Agora, analisando os tringulos sombreados na
gura 1.2b vemos que, quanto maior for a razo entre o raio de
K,
IK
mais o efeito de
IK
se parece com o de
RL .
e a distncia de
Por essas razes, tambm chamamos
de re exo em relao uma circunferncia e os pares de pontos
chamados de simtricos em relao
K.
ze = IK (z)
so
A seguir, apresentamos duas propriedades simples da inverso geomtrica.
Propriedade 1.2.
Se a inverso em relao a uma circunferncia com centro em
a e b (ambos diferentes
e
aqb e bqe
a so semelhantes.
aplica dois pontos
tringulos
Demonstrao. Seja
de
q)
em
uma circunferncia de centro
pontos distintos tais que
a, b
e
a
eb
respectivamente, ento os
e raio
R.
no sejam colineares, e sejam
a e b dois
e
a = IC (a) e eb =
Sejam
IC (b) suas respectivas imagens sob a inverso em relao C . Da de nio, sabemos
que d(q, a)d(q, e
a) = R2 = d(q, b)d(q, eb) e observando o ngulo comum aqb = ebqe
a
obtemos,
d(q, a)
d(q, eb)
=
,
d(q, a)d(q, e
a) = d(q, b)d(q, eb)
d(q, b)
d(q, e
a)
como pode ser observado na gura 1.3.
a
q
R
b
b
Figura 1.3: Tringulos semelhantes
4aqb 4ebqe
a
Invertendo circunferncias
Propriedade 1.3.
Sejam
21
dois pontos arbitrrios e
respectivas imagens sob a inverso em relao
dada por
d(e
a, eb) =
K.
R2
d(q, a)d(q, b)
e
a = IK (a)
eb = IK (b)
suas
Ento, a distncia entre as imagens
d(a, b).
Demonstrao. Usando os tringulos semelhantes da propriedade anterior temos
e da obtemos
d(e
a, eb)
d(q, eb)
d(q, eb)d(q, b)
R2
=
=
=
d(a, b)
d(q, a)
d(q, a)d(q, b)
d(q, a)d(q, b)
d(e
a, eb) =
R2
d(q, a)d(q, b)
d(a, b).
1.1 Invertendo circunferncias
A partir de agora usaremos o termo reta furada
L
para fazer referncia ao conjunto
L{q}, sempre que o centro de inverso q pertencer reta L.
Deste modo, abusaremos
da notao e indicaremos a imagem de uma reta furada do mesmo modo que indicamos
a imagem de uma reta qualquer, ou seja,
circunferncia furada
C .
IK (L).
Analogamente, usaremos o termo
L que passa pelo centro q de uma circunferncia K. Pela
de nio de IK claro que IK aplica a reta furada L nela mesma, o que podemos
escrever como IK (L) = L. Dessa forma, IK troca as partes de L interiores e exteriores
a K e os nicos pontos de L que permanecem xos so os dois pontos onde L intercepta
K.
A proposio a seguir nos diz o que acontece com uma reta L que no passa pelo
centro q de K ao ser invertida em relao K (ver gura 1.4).
Consideremos uma reta
Proposio 1.4.
L no passa pelo centro q de uma circunferncia K,
K aplica L em uma circunferncia furada.
Se uma reta
ento a inverso em relao
L
e
com a reta perpendicular passado por q . Da Propriedade 1.2 temos que q be
a = qab =
. Portanto, e
b est na circunferncia onde o segmento de reta qe
a o seu dimetro.
2
Demonstrao. Sejam
um ponto arbitrrio da reta
o ponto de interseo de
Observao 1.5. A inverso de uma circunferncia furada, em relao K, uma reta.
e
a e eb sempre formam um tringulo
retngulo com o ponto q , portanto a reta que passa por a e b sempre perpendicular
reta que passa por q e e
a. Como eb arbitrrio e esta reta perpendicular nica, segue
De fato, pela demonstrao anterior os inversos de
o resultado.
Inverso Geomtrica
22
b
a
a
b
K
L
q
Figura 1.4: Inverso de uma circunferncia furada
Em resumo, podemos dizer que a inverso
retas (mas no retas furadas).
Note que a reta
L.
qe
a
IK
permuta circunferncias furadas com
contm o dimetro da circunferncia e, perpendicular reta
Portanto, a reta tangente a esta circunferncia em
paralela
L.
O prximo resultado diz respeito a inverso de uma circunferncia que no passa
pelo centro de inverso.
Teorema 1.6.
K,
por
Se uma circunferncia
ento a inverso em relao
q.
Demonstrao. Sejam
no passa pelo centro de uma circunferncia
aplica
em uma circunferncia que no passa
uma circunferncia de centro
outra circunferncia que
a e b em C de modo que sejam os
extremos de um dimetro de C , e colineares com o centro q . Assim, temos um ngulo
reto em um ponto c de C (c 6= a e c 6= b). Sejam e
a, eb e e
c as imagens de a, b e c
respectivamente. Da Propriedade 1.2 temos que os ngulos qac e qe
ce
a so congruentes,
bem como os ngulos qbc e qe
ceb. Em seguida, considerando o tringulo abc, observamos
que o ngulo qac igual a soma dos ngulos acb e cba. Segue que e
ae
ceb = , e portanto,
2
e
a e eb so as extremidades de um dimetro de uma circunferncia passando por e
c.
no passa pelo centro
q de K.
Consideremos os pontos
c
b
a
q
C
Figura 1.5: Inverso de uma circunferncia
Invertendo pontos por meio de circunferncias ortogonais
23
1.2 Invertendo pontos por meio de circunferncias ortogonais
Nesta seo em vrios momentos ser necessria a construo de circunferncias
ortogonais a uma circunferncia xada
tal circunferncia contendo o centro de
De nio 1.7.
K.
K.
Porm, vale ressaltar que no existe uma
Duas circunferncias so ditas ortogonais se, elas se interceptam for-
mando ngulos retos, ou seja, se seus raios so perpendiculares no ponto de interseco.
Proposio 1.8.
A inverso de uma circunferncia
a prpria circunferncia
C.
Demonstrao. Considere uma circunferncia
ferncia
tangente
interceptando
em
a,
K,
ortogonal
de centro
perpendicularmente nos pontos
por exemplo, passa por
K,
e raio
em relao
R,
b,
K,
e uma circun-
isto , a reta
(ver gura 1.6a). Sabemos que os pontos
b permanecem xos quando invertidos em relao K. Considere um ponto z ,
em C , e a semirreta passando por q e z . Esta semirreta interceptar C em um ponto
z 0 . De acordo com o valor da potncia de q com respeito circunferncia C , temos
d(q, z)d(q, z 0 ) = d(q, b)2 = R2 = d(q, a)2 , o que caracteriza z 0 como sendo o inverso de
z em relao K. Mas, existe apenas uma circunferncia passando por a, b e z 0 , a
prpria C , de onde segue o resultado.
a
A gura 1.6a ilustra duas consequncias imediatas deste resultado. A primeira
que o disco delimitado por
reta passando por
inverso
tambm aplicado em si mesmo e a segunda que a
e pelo ponto
de
ze.
b
C,
intercepta
pela segunda vez no ponto de
z0
a
K
(a) Invarincia de C pela inverso IK
K
(b) Inverso de z por meio de interseo
de circunferncias ortogonais a K
Figura 1.6: Ilustrao para as Proposies 1.8 e 1.9
Inverso Geomtrica
24
Outra consequncia a construo geomtrica mostrada na gura 1.6b:
Proposio 1.9.
A imagem
ze de z
sob a inverso em relao
de interseco de quaisquer duas circunferncias que passam por
K.
Demonstrao. A prova simples. Dado um
C1
C2
ortogonais
so invariantes.
contendo
z.
Assim,
z 6= q ,
ze deve
o segundo ponto
e que so ortogonais
basta tomar duas circunferncias
pertencer
C1
C2 ,
pois ambas
1.3 Preservao de ngulos
Nesta seo, de niremos ngulo entre duas circunferncias e mostraremos que a
inverso geomtrica preserva estes ngulos.
De nio 1.10.
Sejam
C1
C2
C1
p. De nimos o ngulo entre
T2 , nesta ordem, onde T1 e T2
duas circunferncias que se inteceptam em um ponto
e
C2
em
C1
de
o ngulo entre
como sendo o ngulo agudo
so as retas tangentes s circunferncias
respectivamente.
Analogamente, se
ngulo agudo
de
Proposio 1.11.
C1
uma reta que intercepta
T1 ,
para
p,
C1
K1 e K2 circunferncias ortogonais
C . Dado p K1 K2 , sejam T1 e T2 as tangentes K1 e K2 , em p, formando ngulo
agudo . Ento, o ngulo agudo entre as tangentes K1 e K2 em p
e tambm .
Sejam
nesta ordem.
em
T1 para
C2 em p,
uma circunferncia e,
Demonstrao. A prova simples e portanto daremos apenas uma ideia (ver gura 1.7).
Sendo
Ti
Ti0
as tangentes
Ki
em
pe,
respectivamente, mostramos primeiramente
que estas duas retas formam ngulos congruentes com a semirreta de origem
por
p.
Por m, basta comparar estes ngulos com o ngulo
K2
T2
pe
T1
K1
Figura 1.7: Preservao de ngulos pela inverso
q passando
Preservao de ngulos
Na gura 1.8a, os pontos
25
L.
so simtricos em relao reta
Fazendo uma
e. Assim,
e
a e eb bem como uma reta L
e. Ou
pode-se provar, por meio de congruncia, que e
a e eb so simtricos em relao L
seja, pontos simtricos em relao a uma reta L so re etidos em pontos simtricos em
relao re exo de L.
re exo em relao reta
M,
obtemos os pontos
C
a
L
b
L
a
e
K
(a) Re exo em relao M , de
pontos simtricos em relao L
(b) Inverso em relao C , de pontos simtricos
em relao K
Figura 1.8: Propriedades anlogas para
RM
IC
Mostremos agora que a re exo de uma circunferncia em relao a uma circunferncia tambm possui propriedade similar.
Propriedade 1.12.
C e K duas
a),
e
a = IC (a) e eb = IC (b). Ento eb = IKe (e
Sejam
circunferncias. Dados
onde
e = IC (K).
K
b = IK (a),
sejam
O resultado acima consequncia da Proposio 1.9 e da proposio a seguir.
Proposio 1.13.
A inverso aplica um par de circunferncias ortogonais em um par
de circunferncias ortogonais.
Demonstrao. Dividiremos a demonstrao em trs casos. Fixemos
circunferncia de inverso, com centro em
Caso 1:
q.
suponhamos que as duas circunferncias ortogonais
K 1 e K2
como sendo a
no passem pelo
q . Dadas as tangentes T1 e T2 a estas duas circunferncias formando
um ngulo = /2, construmos duas circunferncias X1 e X2 , ambas ortogonais
C , tendo T1 e T2 como suas tangentes em p. Pela Proposio 1.11, o ngulo entre as
0
0
tangentes T1 e T2 X1 e X2 em p
e tambm .
centro de inverso
Caso 2:
suponhamos que as duas circunferncias ortogonais
centro de inverso
em
pe.
q.
K1
K2
passem pelo
J sabemos portanto que seus simtricos so retas concorrentes
O resultado segue de modo anlogo ao caso 1, apenas observando que estas duas
retas so na verdade as tangentes
T10
T20 .
Inverso Geomtrica
26
Caso 3:
suponhamos que
K1
passe pelo centro de inverso mas no
a demonstrao anloga ao Caso
2.
A Propriedade 1.12 pode ser agora entendida.
K2 .
Nesta caso
Observando a gura 1.8b temos
a e b so ortogonais K e que suas
e . Portanto, se
C so ortogonais K
e.
relao K
que as circunferncias tracejadas passando por
respectivas imagens pela inverso em relao
interceptam em um par de pontos inversos em
1.4 Inverso em relao uma esfera
Nesta seo, obteremos resultados anlogos aos obtidos at o momento, que tratam
da inverso em relao a uma esfera.
Por exemplo, considerando a gura 1.4, se a
rotacionarmos (no espao) ao redor da reta por
esfera de inverso
a,
obteremos a gura 1.9, onde a
obtida pela rotao da circunferncia de inverso
obtido pela rotao da reta
L.
Figura 1.9: A inverso de uma esfera contendo
q,
em relao esfera
E,
e o plano
um plano
Seguindo esta analogia, a de nio abaixo surge naturalmente.
De nio 1.14.
E uma esfera de raio R e centro q . Se p 6= q um ponto do
espao distncia de q , ento IE (p) o ponto da semirreta de q para p distncia
R2 / de q . A aplicao IE chamada de inverso do espao tridimensional em relao
esfera E .
Seja
Observamos que, assim como no caso plano, o centro de inverso no pode ser
invertido.
ponto
Portanto continuaremos a fazer uso do termo furado para excluirmos o
do conjunto com o qual estivermos trabalhando.
O primeiro resultado que facilmente generalizado para o espao o seguinte:
Propriedade 1.15.
que no contm
Sob a inverso em relao a uma esfera centrada em
q,
um plano
invertido em uma esfera furada, e cujo plano tangente neste
Inverso em relao uma esfera
ponto paralelo ao
27
Reciprocamente, uma esfera furada invertida em um plano
paralelo ao plano tangente a esfera em
por
q.
Outro resultado generalizado pode ser obtido se rotacionarmos a gura 1.5 ao redor
da reta por
a.
Mais precisamente temos que:
Propriedade 1.16.
A inverso
IE
aplica esfera em esfera.
No apenas esferas ou planos podem ser invertidos por
IE .
Se tomarmos uma
interceo de duas esferas, obteremos uma circunferncia no espao, que pode ento
ser invertida.
Assim, aplicando a Propriedade anterior a estas esferas, deduzimos o
seguinte:
Propriedade 1.17.
circunferncia. Se
de
em
q.
Sob a inverso
IE ,
a imagem de uma circunferncia
uma
furada, ento sua imagem uma reta paralela reta tangente
Demonstrao. De fato, basta considerarmos a circunferncia
terseo de duas esferas, e assim,
IE (C)
como sendo uma in-
ser a interseo das inverses destas esferas,
e portanto, ser uma circunferncia.
A estreita ligao entre a inverso em relao a uma circunferncia e a re exo
em relao a uma reta tambm persiste: re exo em um plano um caso limite de
inverso em relao a uma esfera.
Uma propriedade anloga Propriedade 1.12 tambm existe para o caso tridimensional. Mais precisamente:
Propriedade 1.18.
em relao
de
S.
Seja
um plano ou uma esfera, e sejam
Sob a inverso
IE
pontos simtricos
em relao a qualquer plano ou esfera
so simtricas em relao imagem de
S.
E , as imagens
A seguir, descrevemos brevemente as etapas que levam a este resultado, observando
que so anlogas s utilizadas para a obteno do resultado bidimensional.
Observando a gura 1.6a, se a rotacionarmos em torno da reta que contm os
centros de
K e de C , obteremos duas esferas, E
naturalmente que:
S , respectivamente.
Assim, deduzimos
Propriedade 1.19. Sob a inverso em relao a uma esfera E , cada esfera S ortogonal
aplicada nela mesma.
Quando dizemos que esferas so ortogonais queremos dizer que seus planos tangentes so ortogonais em cada ponto de suas circunferncias de interseco. No entanto,
a m de ilustrarmos os objetos envolvidos nos resultados anteriores, vamos reformular
esta descrio tridimensional em termos bidimensionais:
Inverso Geomtrica
28
Propriedade 1.20.
Sejam
S1
S2
duas esferas que se interceptam e sejam
circunferncias formadas pela interseco de
centros das esferas).
Ento,
ortogonais.
S1
S2
S1
S2
com um plano
C1
C2
(passando pelos
so ortogonais se, e somente se,
C1
C2
so
, ento a inverso
bidimensional em relao C1 .
A gura 1.10 nos ajuda a ver que, se restringirmos a ateno ao
tridimensional em relao
S1
idntica inverso
Essa maneira de visualizar a inverso em relao s esferas nos permite generalizar os
resultados anteriores rapidamente.
Figura 1.10: Inverso bidimensional vista a partir da inverso tridimensional
Por exemplo, referindo-se gura 1.6b, descobrimos que se
ento
pe = IS1 (p)
(iii) passam por
Suponha que
encontra-se em
pode ser construdo como o segundo ponto de interseco de duas
circunferncias quaisquer como
C1 ;
S1
p.
S2
C2
que: (i) esto contidas em
(ii) so ortogonais a
(esferas ortogonais da gura 1.10) so submetidas inverso
em relao a uma terceira esfera
E.
Seja
o nico plano passando pelos centros de
S1 , S2 e E , e seja C a circunferncia na qual E intercepta . Uma vez que IC aplica C1
e C2 em circunferncias ortogonais (pois C1 C2 ), deduzimos rapidamente que:
Propriedade 1.21.
A inverso em relao a uma esfera
em esferas ortogonais.
Observao 1.22.
tomar
Como
aplica esferas ortogonais
A Propriedade 1.19 um caso especial do resultado acima. Basta
S = S1 e E = S2 . Assim, IE
IE (C) = C , onde C = S E ,
preserva
e aplica
em uma esfera ortogonal
a nica possibilidade
IE (S) = S .
E.
Observao 1.23. Ao considerarmos um plano como sendo um caso limite de esferas,
vemos que os trs ltimos resultados acima, de fato, nos levam Propriedade 1.18.
1.5 Algumas aplicaes de inverso
A seguir apresentamos trs aplicaes de inverso. A primeira trata do efeito da
inverso em uma cadeia de circunferncias tangentes; a segunda lida com quadrilteros
de diagonais ortogonais; a terceira apresenta o Teorema de Ptolomeu.
Algumas aplicaes de inverso
Um Problema sobre Circunferncias Tangentes.
29
Para o nosso primeiro prob-
lema, consideremos a gura 1.11, onde imaginamos que so dadas duas circunferncias
B
e
que so tangentes em
q.
Construmos agora a circunferncia
e cujo centro situa-se na reta horizontal
Cn , A
B.
que tangente
A e B.
que Cn+1
que passa pelos centros de
Finalmente, construmos a cadeia de circunferncias
tangente
C0
C1 , C2 , C3 ,
e etc, tais
Assim, obtemos dois resultados sobre esta cadeia de circunferncias:
C0 , C1 , C2 ,
B em q .
(a) Os pontos de contato da cadeia
(tracejada) que tangencia
(b) Se o raio de
Cn
rn ,
etc, cam todos em uma circunferncia
ento a distncia do centro de
ilustra esse fato na circunferncia
C3 .
Cn
2nrn .
A gura 1.11
C2
C3
C1
6r3
C0
A
L
Figura 1.11: Cadeia de circunferncias tangentes
A inverso nos permite demonstrar estes resultados de uma s vez. Na gura 1.11,
temos uma nica circunferncia
relao
aplica
na gura 1.12.
C3
centrada em
nela mesma, e
AeB
q,
ortogonal
C3 .
Assim a inverso em
em retas verticais paralelas, como mostrado
Ce3
Ae
Ce2
Ce1
Ce0
Be
Figura 1.12: Inverso da cadeia de circunferncias tangentes
Inverso Geomtrica
30
Uma Propriedade de Quadrilteros com Diagonais Ortogonais.
A gura 1.13
mostra um quadriltero cujas diagonais se interceptam ortogonalmente em
etirmos
q.
Se re-
em relao cada um dos lados do quadriltero, obteremos quatro novos
pontos. Por esses quatro pontos temos uma circunferncia.
Figura 1.13: Quadriltero com diagonais ortogonais
Para demonstrar o resultado usando a inverso, primeiro representamos a re exo
q em relao a um lado, como o segundo ponto de interseco de duas circunferncias
por q cujos centros so os vrtices deste lado (ver gura 1.14). Como as diagonais so
de
ortogonais, cada par de circunferncias centradas nos vrtices de uma mesma aresta se
interceptam ortogonalmente, tanto em
q . Daqui resulta que,
circunferncia K de centro q , ento
quanto na re exo de
se aplicarmos uma inverso em relao a qualquer
um tal par de circunferncias ortogonais ser aplicado em um par de retas ortogonais,
paralelas s diagonais do quadriltero (parte direita da gura 1.14). Assim, as imagens
das quatro re exes de
circunferncia
de
q.
C.
so os vrtices de um retngulo e portanto, pertencem a uma
Por m,
IK (C)
uma circunferncia que contm as quatro re exes
inverso
q
Figura 1.14: Inverso das circunferncias tangentes em
O Teorema de Ptolomeu.
em uma circunferncia.
A gura 1.15a apresenta um quadriltero
abcd
inscrito
Ptolomeu descobriu que em um quadriltero inscritvel, a
soma dos produtos dos lados opostos o produto das diagonais. Em smbolos
d(a, d)d(b, c) + d(a, b)d(c, d) = d(a, c)d(b, d).
Algumas aplicaes de inverso
31
Invertendo a gura 1.15a em relao a uma circunferncia
vrtices (digamos
a),
obtemos a gura 1.15b, com
centrada em um dos
eb, e
c, de colineares,
e portanto
e = d(eb, d).
e
d(eb, e
c) + d(e
c, d)
(1.1)
d
b
c
d
b
b
(a)
d
c
(b)
Figura 1.15: O Teorema de Ptolomeu
Lembrando que a propriedade 1.8 nos diz como a distncia entre dois pontos invertidos est relacionada com a distncia entre os pontos originais, e assumindo que a
circunferncia
tem raio
R,
obtemos
R2
d(b, c),
d(a, b)d(a, c)
R2
e =
d(e
c, d)
d(c, d) e
d(a, c)d(a, d)
R2
e =
d(eb, d)
d(b, d).
d(a, b)d(a, d)
d(eb, e
c) =
Substituindo em (1.1) deduzimos que
d(b, c)
d(c, d)
d(b, d)
+
=
.
d(a, b)d(a, c) d(a, c)d(a, d)
d(a, b)d(a, d)
Multiplicando ambos os lados por
Ptolomeu.
d(a, b)d(a, c)d(a, d),
chegamos ao Teorema de
2 Plano Complexo Estendido
Este captulo apresenta uma relao entre um plano
da projeo estereogr ca. Tambm identi caremos o plano
C,
e uma esfera
atravs
com o plano complexo
com o objetivo de obtermos a projeo estereogr ca em termos de coordenadas.
Veremos como transferir uma funo de
em
para uma funo de
em
e com
isso examinar o comportamento de funes no in nito.
2.1 Projeo estereogr ca
Nesta seo, estabeleceremos uma correspondncia biunvoca entre uma esfera furada (ou seja, uma esfera menos um de seus pontos) e um plano. Inicialmente, consid-
O, e seja um plano passando por O.
Para associarmos os pontos de a pontos de , primeiro tomamos o dimetro N S da
esfera, perpendicular ao plano em O . Ento, dado p {N }, construmos a reta
N p, que intercepta o plano em um nico ponto pb.
eremos uma esfera
de raio unitrio e centro
A construo acima fornece a correspondncia desejada, chamada de projeo es-
tereogr ca, entre os pontos de
{N }
e os pontos do plano
O contexto deixar claro se a projeo deve ser considerada como funo de
para
ou vice-versa.
Figura 2.1: Projeo estereogr ca de uma circunferncia furada em
{N }
A gura acima ilustra algumas propriedades da projeo estereogr ca, como por
exemplo:
33
Plano Complexo Estendido
34
(i) o interior da circunferncia unitria do plano
(que contm
S)
de
em particular,
aplicado sobre o hemisfrio sul
(ii) cada ponto da circunferncia unitria do plano
(iii) o exterior da circunferncia unitria do plano
norte de
exceto o polo
Notemos que, quando
aplicado em
(chamado de polo sul);
aplicado nele mesmo;
aplicado sobre o hemisfrio
que no imagem de nenhum ponto do plano.
se aproxima de
N,
a reta
Np
tende a ser paralela ao
e portanto a projeo p se distancia de O. Tambm, qualquer plano que
contm N e no paralelo ao plano , intercepta em uma circunferncia C . Assim,
se p C , p 6= N , a reta N p est contida em de modo que a projeo p
est contida
na interseo , que uma reta. Isto mostra que:
plano
Proposio 2.1.
uma reta
A projeo estereogr ca de uma circunferncia
contida em
Note que, como o plano tangente esfera
em
furada em
paralelo ao plano
a reta
N paralela
reta L, onde L a projeo estereogr ca da circunferncia furada C = C {N } (basta
considerar o plano que contm C ).
Consideremos duas curvas 1 , 2 contidas em e que se interceptam em um ponto
p, suaves no sentido de possurem retas tangentes T1 , T2 em p. Utilizando os planos
que contm N , T1 e T2 , obtemos duas circunferncias C1 , C2 contidas em , de modo
0
0
que suas retas tangentes em p so exatamente T1 , T2 , respectivamente. Sejam T1 e T2
as retas tangentes a estas duas circunferncias em N . Por simetria, o ngulo entre
as tangentes em p congruente ao ngulo entre as tangentes em N . Pelo pargrafo
0
0
anterior, T1 e T2 so paralelas s retas L1 e L2 contidas em , obtidas pela projeo
0
0
das circunferncias furadas C1 , C2 . Portanto, seus ngulos so congruentes.
tangente a uma circunferncia
(no furada) qualquer de
contendo
Em resumo, a projeo estereogr ca preserva magnitude de ngulos.
O que se pode dizer sobre a orientao dos ngulos? Para darmos uma resposta,
devemos de nir ngulos orientados na esfera. Com base na gura 2.2, o ngulo em
pb
positivo, ou seja, no sentido anti-horrio, quando visto de cima do plano. Porm,
o ngulo em
negativo, ou seja, no sentido horrio. No entanto, se olharmos este
ngulo de dentro da esfera, ento ele ser positivo. Assim, um ngulo em
no sentido anti-horrio ser dito positivo se for visto do interior de
orientado
Com as orientaes escolhidas como acima, obtemos o seguinte:
Proposio 2.2.
A projeo estereogr ca conforme .
N so retas. Alm disso,
podemos ver facilmente que a projeo de uma circunferncia C de , paralela ao plano
J sabemos que a projeo de circunferncias furadas em
1 Uma
aplicao dita conforme se preserva ngulos.
Projeo estereogr ca
35
Figura 2.2: ngulos preservados pela projeo estereogr ca
novamente uma circunferncia, centrada em
pelos pontos de
C,
O,
pois as retas passando por
formam um cone reto com eixo na reta
N O.
O que acontece com
as demais circunferncias? Neste caso, suas projees tambm so circunferncias.
Para entendermos isto, considerando novamente a gura 1.9 (pg. 26), observamos
certa semelhana com a de nio da projeo estereogr ca. Mais precisamente, seja
K a esfera centrada em N interceptando em uma circunferncia unitria contida em
, centrada em O. A gura 2.3 mostra um seo vertical de K, e (atravs de
N ). A imagem tridimensional obtida atravs da rotao desta gura ao redor da reta
passando por N e S .
Podemos, ento, mostrar que:
S a esfera de raio 2 centrada em N , ento a projeo estereogr ca a restrio da inverso geomtrica em relao S . Em outras palavras,
se p um ponto de e p
b a sua projeo estereogr ca em , ento pb = IS (p) e
p = IS (b
p).
Propriedade 2.3.
Se
Demonstrao. Consideremos o segmento de reta por
terseo da reta passando por
tringulos
N px
S.
Seja
e perpendicular ao segmento por
x
N
o ponto de in-
S.
Como os
so semelhantes temos a seguinte relao:
d(N, pb)
d(N, p)
=
d(N, pb)d(N, x) = d(N, p)d(N, O),
d(N, O)
d(N, x)
d(N, O) = 1 temos d(N, pb)d(N, x) = d(N, p).
d(N, p)/d(N, x) obtemos
mas sendo
por
N pbO
Multiplicando ambos os lados
d(N, p)2
d(N, x)2 + d(x, p)2
(1 + d(O, x))2 + d(x, p)2
=
=
d(N, x)
d(N, x)
1 + d(O, x)
2(1 + d(O, x))
=
= 2.
1 + d(O, x)
d(N, p)d(N, pb) =
Logo,
d(N, p)d(N, pb) = 2,
e portanto,
p = IS (b
p)
pb = IS (p).
Conclumos ento, por meio da propriedade acima e da Propriedade 1.17, que projeo estereogr ca preserva circunferncias. Note que a Proposio 2.1 tambm poderia ter sido derivada de 1.17 desta forma.
Plano Complexo Estendido
36
+1
pb
pb
+1
Figura 2.3: Projeo estereogr ca como restrio de inverso geomtrica
2.2 Projeo estereogr ca em coordenadas
,
Nesta seo, identi caremos o plano
utilizado anteriormente na construo da
projeo estereogr ca, com o plano complexo
relacionando as coordenadas de um ponto
sua projeo estereogr ca
pb = (x, y) C.
C, de modo a obtermos uma expresso
p = (X, Y, Z) com as coordenadas de
X e Y coincidam
com os eixos x e y de C, e assim, o eixo positivo Z passar por N . Deste modo, a
2
2
2
equao de X + Y + Z = 1 e, as coordenadas de N e S so (0, 0, 1) e (0, 0, 1),
Escolheremos um sistema de coordenadas de modo que os eixos
respectivamente.
Assim, seja
est no mesmo
p0 = (X, Y ) C o p da
0
sentido de p , e portanto,
pb =
perpendicular de
para
C.
|b
p| 0
p.
|p0 |
O ponto
pb
(2.1)
e C tomada atravs de N e p. Note
0
contm p e p
b. Da semelhana dos tringulos
A gura 2.4 mostra a interseco vertical de
que este plano vertical necessariamente
retngulos com hipotenusas
Np
N pb,
deduzimos imediatamente que
|b
p|
1
=
,
0
|p |
1Z
(2.2)
e assim, substituindo (2.2) em (2.1), obtemos nossa primeira frmula estereogr ca:
p = (X, Y, Z) 7 pb =
Y
X
,
1Z 1Z
Vamos, agora, inverter o processo para encontrar as coordenadas de
1 Z 2,
ou seja,
em termos
pb. Sabemos que X +Y +Z = 1, ou equivalentemente, X 2 +Y 2 =
|p0 |2 = 1 Z 2 = (1 Z)(1 + Z). Tomando o quadrado em ambos os
das coordenadas de
(2.3)
membros de (2.2) temos
|b
p|2 =
|p0 |2
(1 Z)(1 + Z)
1+Z
=
=
,
2
2
(1 Z)
(1 Z)
1Z
Projeo estereogr ca em coordenadas
37
N
p
1
C
p0
pb
Figura 2.4: Projeo estereogr ca em termos de coordenadas cartesianas
na qual isolamos
do seguinte modo:
1+Z
(1 Z)|b
p|2 = (1 + Z) |b
p|2 Z|b
p|2 = 1 + Z
1Z
x2 + y 2 1
|b
p|2 1
2
2
2
2
= 2
.
Z + Z|b
p| = |b
p| 1 Z(1 + |b
p| ) = |b
p| 1 Z = 2
|b
p| + 1
x + y2 + 1
|b
p|2 =
Substituindo
obtido acima nas coordenadas de
X=
x2
2x
,
+ y2 + 1
Y =
x2
pb na
equao (2.3), obtemos
2y
,
+ y2 + 1
(2.4)
ou seja, obtemos a aplicao
pb = (x, y) 7 p =
2x
2y
x2 + y 2 1
,
,
x2 + y 2 + 1 x2 + y 2 + 1 x2 + y 2 + 1
Embora a construo acima seja til, mais natural utilizarmos coordenadas esfricas
(, )
ao invs de coordenadas retangulares
(x, y, z).
mede o ngulo em torno do eixo Z , com = 0 comeando
do semi-plano vertical pelo eixo X positivo. Portanto, para um ponto p
b em C, o ngulo
simplesmente o ngulo a partir do eixo real positivo para pb. A de nio do ngulo
est ilustrada na gura 2.5 o ngulo subentendido do centro de para os pontos
N e p. Por exemplo, o equador corresponde a = . Por conveno, 0 6 6 .
2
Primeiro lembramos que
N
p
r
/2
pb
Figura 2.5: Projeo estereogr ca em termos de coordenadas esfricas
Se
pb
a projeo estereogr ca do ponto
e da s resta encontrar
em funo de
de coordenadas
(, ),
ento
pb = rei ,
Ao observar a gura 2.5 ca claro que os
Plano Complexo Estendido
38
N pS e N 0b
p so semelhantes (caso AA), e pelo fato N Sp = /2,
r = cotg . Portanto, uma outra frmula para a projeo estereogr ca
2
i
pb = cotg
e .
2
tringulos
segue que
(2.5)
p
obtido pela rotao de
pe so ( , ) e se b
pe
Vamos agora mostrar duas aplicaes desta nova formulao. Na primeira, seja
tendo coordenadas (, ), e seja pe o ponto
(de um ngulo ) ao redor do eixo real. As coordenadas de
a imagem estereogr ca de p
e, ento
i
1
i
1
b
ei = .
e = tg
e =
pe = cotg
2
2
2
pb
cotg
2
um ponto de
Para a segunda aplicao, lembramos que dois pontos em uma esfera que so di-
ametralmente opostos so ditos antipodais.
Propriedade 2.4.
Se
q so pontos antipodais de , ento suas projees estereqb = 1/b
p, ou seja, qb = IC (b
p), onde C a circunferncia
pb e qb satisfazem
contida em centrada
ogr cas
unitria
na origem.
q . Para
pb e qb , na verdade, simtrica: pb = 1/b
veri carmos a a rmao do enunciado, primeiro observamos que, se p tem coordenadas
(, ), ento q tem coordenadas ( , + ). Usando (2.5),
i
i(+)
pb = cotg
e ,
qb = cotg
e
.
(2.6)
2
2
2
Demonstrao. Note que a relao entre
cos
sen
2
2
2 = tg ,
=
cotg
=
2
2
2
cos
sen
2
2
2
Como
substituindo em (2.6), obtemos
i(+)
i i
i
qb = tg
e
= tg
e e = tg
e =
2
2
2
1
1
i = 1/b
p.
e
cotg
2
2.3 Transferncia de funes complexas para funes
na esfera
A projeo estereogr ca, discutida nas sees anteriores, nos permite transferirmos
uma funo de
em
para uma funo de
em
Trataremos deste assunto nesta
Transferncia de funes complexas para funes na esfera
seo.
39
Mas antes, vale observar que os resultados da inverso de retas podem ser
tratados como um caso especial dos resultados da inverso de circunferncias, desde
que utilizemos circunferncias de raio in nito. Isto ser formalizado em breve.
Para lidarmos com a inverso geomtrica em relao a uma circunferncia, foi
necessrio removermos o centro desta circunferncia, uma vez que este ponto no possua um inverso geomtrico. Assim, tnhamos uma transformao bijetora de
Tambm, quando estudamos a aplicao complexa
C {0},
domnio est restrito
z 7 1/z ,
observamos que seu
e alm disso, sabemos que 0 no pertence imagem
desta aplicao. No entanto, quando
se distancia da origem,
1/z
Com isso, se introduzirmos um nico ponto no in nito (denotado por
como sendo o limite para o qual
7 0 e 0 7 , ou seja, z 7 1/z passa a ser uma
= C {}, chamado de plano complexo estendido.
Com esta nova abordagem, podemos, ento, dizer que
cunferncia que contm
na Proposio 1.4.
se aproxima de
0.
) e o de nirmos
converge, independente da direo, poderemos ento
de nir
{q}.
em uma reta que contm
transformao bijetora de
z 7 1/z
aplica uma cir-
estendendo o resultado obtido
Portanto, nada mais natural do que dizer que uma reta uma
circunferncia pelo in nito.
Voltando a tratar da projeo estereogr ca, dada uma aplicao complexa
zb 7
w
b = f (b
z ) de C em C, obtemos uma aplicao correspondente z 7 w de em , onde
z e w so as projees estereogr cas de zb e w
b, respectivamente.
Agora, pensamos no seguinte: o que acontece se transferirmos f (z) = z para ?
Neste caso, temos:
Proposio 2.5.
A conjugao complexa em
uma re exo da esfera
induz, pela projeo estereogr ca,
atravs do plano-xz .
Demonstrao. A demonstrao simples, basta observarmos a gura 2.6 abaixo, que
representa um corte transversal de
atravs do plano-yz . Portanto, sendo
dois
4zN O e 4zN O so congruentes.
Tomando suas projees em , pela Proposio 2.3, d(N, z)d(N, z
b) = d(N, z)d(N, b
z) =
2. Portanto, os tringulos 4b
z N O e 4b
z N O so congruentes (por LAL), e ento, os
b
pontos z
b, z so simtricos em relao ao plano-xz .
pontos conjugados de
C,
os tringulos retngulos
b
z
zb
Figura 2.6: Transferncia da conjugao complexa para uma re exo de
Plano Complexo Estendido
40
Agora, considere
ncia unitria
z 7 ze = 1/z ,
que a inverso geomtrica em relao circunfer-
de centro na origem (ver Observao 3.5). A gura 2.7 mostra uma
seo vertical de
tomada atravs de
ilustra o resultado da transferncia dessa inverso
Propriedade 2.6.
z em C.
para .
e do ponto
Esta gura tambm
K, de
equatorial, C.
A inverso geomtrica em relao circunferncia unitria
centro na origem, induz uma re exo da esfera
Demonstrao. Primeiro note que os pontos
atravs do seu plano
z e ze no so apenas simtricos (no sentido
K, mas tambm so simtricos (no sentido tridimensional)
em relao . Pela Propriedade 2.3, z
b = IS (z) e b
ze = IS (e
z ), e pela Propriedade 1.18,
so simtricos em relao IS (). Como IS () = C, segue o resultado.
bidimensional) em relao
b
ze
zb
ze = 1/
z
Figura 2.7: Transferncia da inverso geomtrica para uma re exo de
Ao combinar os resultados acima, podemos transferir a inverso complexa para a
esfera
obtendo:
Proposio 2.7.
esfera de
A aplicao
z 7 1/z
em
induz uma rotao de um ngulo
na
em torno do eixo real.
Demonstrao. Sabemos que a inverso complexa
geomtrica
IK
z 7 1/z
a composio da inverso
, portanto,
plano-xy , respectiva-
com a conjugao complexa. A aplicao induzida em
a composio de duas re exes, em relao ao plano-xz e ao
mente. No entanto, o efeito de re exes sucessivas (em
em relao a dois planos
perpendiculares entre si, atravs do eixo-x, uma rotao de
(em
ao redor deste
eixo.
foi anteriormente de nido como sendo a imagem
de z = 0, pela inverso complexa z 7 1/z . Assim, a Proposio 2.7 nos permite
considerar a projeo estereogr ca de N como sendo o ponto , j que z = 0 a
projeo de S .
Por m, lembramos que o ponto
Comportamento de funes no in nito
41
2.4 Comportamento de funes no in nito
Suponha que duas curvas em
C se estendem a uma distncia arbitrariamente grande,
desde a origem. Podemos dizer que elas se encontram em um ponto no in nito. Em ,
esta interseco acontece em N , e se cada uma das curvas chega ao N em uma direo
bem de nida, ento podemos atribuir um ngulo de interseo no . Por exemplo, a
gura 2.2 mostra que se duas retas se cruzam em C em um ponto nito e contm um
ngulo , ento elas se cruzam pela segunda vez no e contm um ngulo nesse
ponto.
Ao transferir uma funo complexa para a esfera
podemos examinar seu compor-
tamento no in nito, exatamente como seria em qualquer outro ponto. Em particular,
pode-se ver se a funo preserva o ngulo entre quaisquer duas curvas passando pelo
Por exemplo, a Proposio 2.7 mostra que a inverso complexa preserva tais ngulos
em
N,
e por isso dito ser conforme no in nito. Da mesma forma, aquela rotao de
tambm preserva o ngulo entre duas curvas que passam pela singularidade z = 0 de
z 7 1/z , e ento a inverso complexa conforme em z = 0, ou mais ainda, conforme
em todo o plano complexo estendido.
z 7 w como uma aplicao de C em C, ou tambm,
zb 7 w
b aplicando pontos de uma esfera em pontos desta
At o momento, pensamos em
como no pargrafo anterior,
mesma esfera.
pontos de um
C,
ou seja,
Mas muitas vezes melhor pensarmos que estas aplicaes enviam
z -plano
w-plano.
em pontos da imagem que pertencem a uma segunda cpia de
No mesmo raciocnio, a aplicao induzida
como aplicando pontos de uma esfera (a
w-esfera).
z -esfera)
zb 7 w
b
pode ser vista
em pontos de uma segunda esfera (a
Ilustramos isto com o exemplo a seguir.
Exemplo 2.8. Considere a aplicao do z -plano para o w-plano, dada por z 7 w = z n ,
onde
um inteiro positivo. A gura 2.8a ilustra o efeito desta aplicao (no caso
n = 2)
em uma grade de pequenos quadrados entre duas semi-retas que formam um
ngulo
As imagens desses quadrados no
w-plano so novamente quase quadrados.
Sendo a projeo estereogr ca conforme, ao transferirmos a grade do
grade do
w-plano
para a
z -esfera
e a
w-esfera,
z -plano
respectivamente, ainda temos grades
de quadrados ( gura 2.8b). De modo geral, qualquer aplicao conforme de
induzir uma aplicao conforme de
e a
em
em , que tambm aplica grades de quadrados
in nitesimais para grades de quadrados in nitesimais.
A gura 2.8a nos sugere uma conformalidade de
z 7 w = z 2 ,
em alguns pontos,
mas tambm mostra que esta conformalidade se perde na origem, pois o ngulo
seu valor dobrado; mais geralmente,
z 7 w = z
multiplica os ngulos em
tem
por
n.
Tais pontos so chamados de pontos crticos da aplicao. Assim, podemos dizer que
z 7 w = z n .
C em C, a origem
um ponto crtico de
Como aplicao de
o nico ponto crtico desta aplicao. No
entanto, se observarmos a aplicao induzida de
em
a gura 2.8b deixa claro que
Plano Complexo Estendido
42
z2
(a) z 7 z 2 no plano
N
z2
(b) z 7 z 2 na esfera
Figura 2.8: Efeito da aplicao
os ngulos em
z 7 z 2
em uma grade
no so preservados, e portanto, no plano complexo estendido, esta
aplicao possui um segundo ponto crtico, o ponto no in nito, no qual os ngulos so
tambm multiplicados por
pontos crticos so 0 e
n.
Assim,
z 7 w = z n
uma aplicao conforme cujos
Por m, podemos estudar como uma aplicao se comporta no in nito, por meio
da composio com a inverso complexa. Pela Proposio 2.7, esta inverso complexa
rotaciona
0.
de forma que uma vizinhana de
N =
torna-se uma vizinhana de
S=
Assim, para examinarmos o comportamento prximo ao in nito, podemos aplicar
primeiro a inverso complexa
z 7 1/z
e, em seguida, examinar seu comportamento na
vizinhana da origem. Mais precisamente, para estudarmos
F (z) = f (1/z) na origem. Em
F (z) conforme na origem.
Exemplo 2.9.
Seja
particular,
(z + 1)3
f (z) = 5
.
z z
f (z)
f (z) no in nito, estudamos
conforme no in nito se, e somente se,
Considerando
1
F (z) = f
z
temos
3
1
z 3 + 3z 4 + 3z 5 + z 6
+1
z 3 (1 + 3z + 3z 2 + z 3 )
z 2 (1 + z)3
z
z6
,
F (z) = 5
=
=
=
z z5
z(1 z 4 )
1 z4
1
1
z6
z
z
que tem uma raiz dupla em
tende a zero quando
dupla em
z = .
z = 0.
Assim, ao invs de simplesmente dizermos que
tende para o in nito, podemos dizer que
f (z)
f (z)
tem uma raiz
3 Transformaes de Mbius
O objetivo deste captulo de nir transformao de Mbius
e a partir da mostrar
algumas propriedades interessantes, como por exemplo, o fato de que toda transformao de Mbius pode ser decomposta em outras (de Mbius) mais simples, ou ainda,
o efeito de uma tal transformao em circunferncias do plano.
Considere a transformao
coe cientes
coe cientes
a, b, c, d
a, b, c, d
Alm disso,
a/c.
se c 6= 0,
De nio 3.1.
z 7 T (z) =
T (d/c) como sendo o ponto no in nito, denotado
2.3, e T () = a/c. Por m, se c = 0, de nimos
de nimos
Um transformao de Mbius uma aplicao de
T (z) =
a, b , c
cujos
ad bc 6= 0, e dessa forma, chamaremos tais transforCaso ad bc = 0, teramos ad = bc e, com isso, T seria
por
onde
az + b
cz + d
satisfaam
, como descrito na Seo
T () = . Em resumo, temos:
por
dada por
so nmeros complexos. Notemos que interessante supor que os
maes de no-singulares.
constante igual a
T : C C
em
az + b
cz + d
so constantes complexas satisfazendo
C ,
dada
(3.1)
ad bc 6= 0.
fcil mostrar que a composio de duas transformaes de Mbius tambm
uma transformao de Mbius:
dadas
T (z) =
az + b
cz + d
S(z) =
z +
z +
duas tais
transformaes, uma composio
T (S(z)) =
com
(a + b)z + (a + b)
Az + B
=
,
(c + d)z + (c + d)
Cz + D
(3.2)
AD BC = (ad bc)( ) 6= 0.
Outra propriedade das transformaes de Mbius a existncia de uma transformao inversa
z 7 z
T 1 : C C ,
dada por
z 7 T 1 (z) =
dz b
.
cz + a
Como a identidade
uma transformao de Mbius, o conjunto das transformaes de Mbius no
singulares possui estrutura de grupo, com a operao composio.
a, b, c, d no so nicos, isto , se 6= 0
az + b
a0 z + b 0
T (z) =
= 0
tambm de ne a mesma
cz + d
c z + d0
Vale ressaltar que os coe cientes complexos
um nmero complexo ento
43
Transformaes de Mbius
44
transformao da equao (3.1).
b0 c0 = 2 (ad bc) 6= 0,
No entanto, os novos coe cientes satisfazem
se = 1/ ad bc,
de modo que,
caso a transformao de Mbius
(e tambm sua inversa
ento
a0 d0 b0 c0 = 1,
a0 d 0
e neste
) dita normalizada.
Um dos principais fatos a respeito de uma transformao de Mbius
a possibil-
idade de decomp-la em termos de transformaes mais simples. Mais precisamente,
temos o seguinte:
Proposio 3.2.
Toda transformao de Mbius se decompe em termos de (no nec-
essariamente todas) transformaes de Mbius dos tipos:
translao
rotao
homotetia
inverso
z 7 z + ;
z 7 z ,
com
z 7 z ,
|| = 1;
com
>0
real;
z 7 1/z .
a
b
az + b
qualquer. Se c = 0 ento T (z) =
z+
cz + d
d
d
a
composio H G, com G(z) =
z e H(z) = z + b/d, rotao e/ou homotetia
d
translao, respectivamente. Se c 6= 0, seja = (ad bc)/c 6= 0. Tomando
Demonstrao. Seja
T1 : z 7 cz,
segue que
T (z) =
T2 : z 7 z + d,
T3 : z 7 /z,
a
e
T4 : z 7 z + a/c,
T (z) = T4 (T3 (T2 (T1 (z)))).
Lema 3.3.
A transformao de Mbius
T (z) = 1/z
aplica circunferncia ou reta em
circunferncia ou reta, no respectivamente.
Demonstrao. Como sabemos da Geometria Analtica ([5, Cap. 23]), uma equao de
qualquer reta ou circunferncia no plano pode ser escrita na forma
A(x2 + y 2 ) + 2Bx + 2Cy + D = 0,
que descreve uma reta se
B + C AD > 0.
A = 0
e uma circunferncia se
Sejam
x2 + y 2 = zz,
onde
B 2 + C 2 > 0,
(3.3)
2x = z + z,
A 6= 0
2y = i(z z),
z = x yi o nmero complexo conjugado de z = x + yi, assim podemos escrever
(3.3) como
Azz + Ez + Ez + D = 0,
onde
E = B + iC .
A equao acima uma reta se, e somente se,
uma circunferncia se, e somente se,
A 6= 0
EE AD > 0.
(3.4)
A=0
E 6= 0,
45
Para encontrarmos a imagem da curva dada pela equao (3.4), sob a transformao
1/z ,
substitumos
por
1
w
em (3.4) e obtemos
A
ou, multiplicando por
1
1
1
+ E + E + D = 0,
ww
w
w
ww,
Dww + Ew + Ew + A = 0.
(3.5)
A equao (3.5) tem a mesma forma da equao (3.4), com
por
A, E
D,
D, E
substitudos
respectivamente. Portanto, temos quatro casos a considerar:
1. Se (3.4) descreve uma circunferncia que no passa pela origem, isto ,
D 6= 0. Portanto, (3.5) descreve
EE AD > 0. Alm disso, como A 6= 0,
z = 0 no
soluo desta equao, ento
tambm uma
circunferncia, j que
ela no passa
pela origem.
2. Se (3.4) descreve uma circunferncia que passa pela origem, ou seja, se
ento (3.5) descreve uma reta que no passa pela origem, pois
A 6= 0.
3. Se (3.4) descreve uma reta que no passa pela origem, ou seja, se
D, E 6= 0,
E 6= 0,
A = 0
A=D=0
obtemos como imagem uma reta que passa pela origem.
Os resultados obtidos acima podem ser resumidos com a tabela abaixo:
1/z
circunferncia fora da origem
circunferncia fora da origem
circunferncia pela origem
reta fora da origem
reta fora da origem
circunferncia pela origem
reta pela origem
reta pela origem
Por meio da Proposio 3.2 e do Lema anterior obtemos diretamente o seguinte:
Teorema 3.4.
ento obtemos em (3.5) uma circunferncia que passa pela origem.
4. Por m, se (3.4) descreve uma reta que passa pela origem, isto , se
e
D = 0,
Toda transformao de Mbius
T (z) =
aplica circunferncia em circunferncia.
az + b
cz + d
Transformaes de Mbius
46
Observao 3.5.
w de um nmero complexo z dado por
w = z/|z| . Portanto, se tomarmos w = z/|z|2 , temos um nmero complexo, que
exatamente o inverso geomtrico IK (z), como na De nio 1.1, onde a inverso
feita em relao a circunferncia unitria K de centro na origem. Assim sendo, para
obtermos a inverso complexa z 7 1/z , conjugamos a inverso geomtrica z 7 IK (z).
Sabemos que o inverso
No plano estendido
ncia passando por
no passam pelo centro
C ,
podemos pensar em uma reta como sendo uma circunfer-
A gura 3.1 representa uma sequncia de circunferncias, que
de inverso, convergindo para uma circunferncia por
meio da inverso geomtrica
IK
q.
Por
(ou tambm por meio da inverso complexa, devido
observao anterior) obtemos uma sequncia de circunferncias, que no passam por
q,
convergindo para uma reta
L,
que no passa por
q.
K
p
q
Figura 3.1: Sequncia de circunferncias invertidas convergente para uma reta
3.1 Resultados bsicos
No incio deste captulo, observamos que o conjunto das transformaes de Mbius
possui uma estrutura de grupo, com a composio de funes como operao. Mostraremos
agora algumas outras propriedades destas transformaes, lembrando que agora podemos considerar retas como sendo circunferncias contendo
Preservao de circunferncias, ngulos e simetrias
J vimos que uma circunferncia
em uma circunferncia
por
C.
C,
aplicada, por uma transformao de Mbius,
Analisaremos agora o que acontece com o disco
limitado
Primeiro vamos dar uma maneira til de pensar sobre esse disco. Imagine per-
C no sentido anti-horrio; este movimento determina uma orientao
chamamos de orientao positiva, e dizemos que D est esquerda de
correr em torno de
para
Ce.
C,
a qual
nesta orientao.
Resultados bsicos
47
Agora, considere o efeito das quatro transformaes da Proposio 3.2 em
Translaes, rotaes e homotetias preservam a orientao de
para o interior de
Ce.
C.
e aplicam seu interior
No entanto, o efeito da inverso complexa em
conter ou no a origem.
C e D no contm a origem (ver Figura 3.2), ento Ce tem
e (denotado por D
e ).
de C , e D aplicado para o interior de C
1. Se
depende de
a mesma orientao
IK (C)
1
Ce
Figura 3.2: Inverso complexa quando a origem no pertence circunferncia
ao seu interior
e nem
C contm a origem em seu interior, ento Ce tem a orientao oposta e o interior
e, ou seja, a regio esquerda de C aplicada
de C aplicado para o exterior de C
e (ver Figura 3.3).
na regio esquerda de C
2. Se
K
C
0
Ce
Figura 3.3: Inverso complexa quando a origem pertence ao interior da circunferncia
Transformaes de Mbius
48
3. Se
passa pela origem, ento seu interior aplicado para o semiplano esquerda
da reta orientada
Ce (ver
Figura 3.4).
C
IK (C)
0
1
Ce
Figura 3.4: Inv. complexa quando a origem pertence circunferncia
Para resumir,
Proposio 3.6.
C
Uma transformao de Mbius aplica uma circunferncia orientada
Ce de
e.
de C
em uma circunferncia orientada
aplicada em uma regio esquerda
Pontos xos
tal forma que a regio esquerda de
A m de mostrarmos que existe uma nica transformao de Mbius que aplica trs
pontos dados em outros trs pontos dados, introduzimos um conceito extremamente
importante, que trata de pontos xos de uma transformao. Um ponto
de ponto xo de uma aplicao
z 7 Id(z) = z ,
se
f () = .
chamado
Note que sob a aplicao identidade,
todo ponto um ponto xo.
Por de nio, ento, os pontos xos de uma transformao de Mbius
so as
solues de
z = M (z) =
az + b
.
cz + d
(3.6)
Mas, como esta equao equivalente a uma equao quadrtica, podemos a rmar que
com exceo da aplicao identidade, uma transformao de Mbius tem no mximo
dois pontos xos .
M e N so duas transformaes de Mbius que aplicam trs pontos dados (digamos q, r, s) para trs pontos
1
dados. Desde que N
M uma transformao de Mbius que tem q, r, s como pontos
xos, ento ela deve ser a transformao identidade, e assim N = M .
Agora, descrevemos os pontos xos explicitamente. Se M est normalizada, ou seja,
se ad bc = 1, ento os dois pontos xos + , , razes da equao (3.6), so razes de
Voltando ao nosso objetivo sobre a unicidade, suponha que
Resultados bsicos
cz 2 + (d a)z b = 0.
=
Fazendo
(a d)
Logo,
49
so dados por
(d a)2 4c(b)
(a d) d2 2ad + a2 + 4bc
=
.
2c
2c
bc = ad 1 temos
p
(a d) (a + d)2 4
(a d) d2 + 2ad + a2 4
=
=
.
2c
2c
4bc = 2bc + 2bc
a + d = 2, obtemos apenas =
caso c = 0.
No caso particular onde
A seguir, estudamos o
(3.7)
ad
, o nico ponto xo.
2c
Pontos xos no in nito
Se
c = 0 a transformao de Mbius M
dada por
M (z) = Az + B , que representa,
como j mencionado na Proposio 3.2, uma semelhana no plano.
Se escrevermos
A = e , ento M pode ser vista facilmente como a composio da rotao por um
ngulo , centrada na origem, com a homotetia por , e nalmente com a translao
por B .
Vamos visualizar cada uma dessas trs transformaes na esfera .
i
Se > 0, a gura 3.5a sugere que a rotao z 7 e z em C induz uma rotao na
esfera , por um ngulo , ao redor do eixo vertical que passa pelo centro de . Cada
circunferncia horizontal em rotacionada (na direo das setas), ou seja, aplicada
em si mesma, e so portanto chamadas de curvas invariantes da transformao. Note
que no existem pontos xos nestas circunferncias.
nicos pontos xos da transformao so
Assim, torna-se claro que os
e que as circunferncias (tracejadas)
por esses pontos xos (que so ortogonais s invariantes) so trocadas entre si. Uma
transformao como esta chamada transformao de Mbius elptica. claro que, se
< 0,
as rotaes so no sentido contrrio.
> 1, a gura 3.5b ilustra a transformao induzida em , correspondente
homotetia z 7 z (uma expanso, neste exemplo). Se < 1, temos uma contrao
em C e os pontos de movem-se para o sul e no para o norte. Novamente, os nicos
pontos xos so 0 e , mas o comportamento das duas famlias de curvas na gura
Se
3.5b so agora invertidos: as curvas invariantes so as grandes circunferncias pelos
pontos xos, e as circunferncias (tracejadas) ortogonais a elas so trocadas entre si.
Uma transformao como esta chamada transformao de Mbius hiperblica.
A gura 3.5c mostra o efeito da composio de uma rotao (com
homotetia (com
> 1).
> 0)
com uma
Neste caso, as curvas invariantes so as espirais, divergindo do
plo sul e convergindo para o plo norte de
No entanto, cada membro da famlia
de circunferncias da gura 3.5a (ou da gura 3.5b) so permutados entre si, ou seja,
cada famlia invariante, como um todo. Uma transformao como esta chamada
transformao de Mbius loxodrmica.
Se
< 0
> 1,
ainda temos as curvas
Transformaes de Mbius
50
divergindo do plo sul e convergindo para o plo norte, porm, rotacionando ao redor
< 1, o movimento seria do plo norte para o
plo sul, com o sentido da rotao ao redor do eixo vertical dependendo do sinal de .
Finalmente, a gura 3.5d mostra a translao. Desde que as curvas invariantes em C
do eixo vertical no sentido contrrio. Se
formam uma famlia de retas paralelas direo da translao, as curvas invariantes em
formam uma famlia de circunferncias, cuja reta tangente comum no
s retas invariantes em
C.
Sendo
paralela
o nico ponto xo, podemos dizer que a translao
uma transformao de Mbius parablica.
(a) Elptica
(b) Hiperblica
(c) Loxodrmica
(d) Parablica
Figura 3.5: Transformaes de Mbius Elptica, Hiperblica, Loxodrmica e Parablica
Da discusso acima conclumos que:
Uma Transformao de Mbius tem um ponto xo no
M (z)
uma
se, e somente se, uma
M (z) = Az +B . Alm disso, o nico ponto xo se, e somente
translao, isto , M (z) = z + B .
semelhana, ou seja,
se,
No Captulo (5), usaremos esse fato para mostrar que cada transformao de Mbius
equivalente, em um certo sentido, a um (e somente um) dos quatro tipos de transformaes de nidas acima.
3.2 Razo cruzada
Como observado acima, se pudermos encontrar uma transformao de Mbius
que aplica trs pontos dados
q , r,
em trs pontos dados
nica. Portanto nos resta mostrar que tal
pontos arbitrrios
q 0 , r0
s0 ,
qe, re
se,
ento
ser
sempre existe. Para isto, xemos trs
e suponhamos que podemos escrever uma transformao
Razo cruzada
de Mbius
s.
Mqrs
aplicando trs pontos arbitrrios
51
q, r
para os pontos
Exatamente do mesmo modo tambm podemos escrever
Mqerese.
q 0 , r0
Em virtude da
propriedade de grupo, fcil ver agora que
M = Mqe1
rese Mqrs
uma transformao de Mbius aplicando
q, r
q 0 , r0
(3.8)
para
q 0 , r0
s0 ,
e da para
como era desejado.
Agora, o ponto crucial a escolha de
determinar
e
s0 =
Mqrs .
s0
de tal forma que seja possvel
Pode parecer aleatrio no momento, mas escolheremos
e a existncia de
Mqrs
q 0 = 0, r0 = 1
estar garantida. Junto com esta escolha especial vem
uma notao especial: a nica transformao de Mbius que aplica
qe, re e se,
respectivamente ser escrita como
[z, q, r, s].
q, r
em
0, 1
Para que isto ocorra, o numerador e o
[z, q,r, s] devem
ser proporcionais (z q) e (z s), respectivamente.
zq
, onde k uma constante. Finalmente, como desejamos
Assim, [z, q, r, s] = k
z
s
rq
rs
e assim
que [r, q, r, s] = k
= 1, deduzimos que k =
rs
rq
denominador de
(z q)(r s)
.
(z s)(r q)
[z, q, r, s] =
De nio 3.7.
cruzada de
A imagem de
z0 , q, r, s,
z0
pela transformao
[z, q, r, s]
chamada de razo
nesta ordem.
z 7 w = M (z) da
M = [z, qe, re, se]1 [z, q, r, s] e
Em resumo, a nica transformao de Mbius
enviando
q, r
para
qe, re e se
dada por
(w qe)(e
r se)
(z q)(r s)
= [w, qe, re, se] = [z, q, r, s] =
.
(w se)(e
r qe)
(z s)(r q)
Ou seja, a imagem de um ponto
z0
M o nico
[w0 , qe, re, se] = [z0 , q, r, s].
pela transformao
que as razes cruzadas coincidam, isto ,
Observamos que, pela construo da transformao de Mbius
equao (3.8)
satisfaz
ponto
(3.9)
w0
de modo
acima, a razo
cruzada torna-se invariante por esta transformao. Por outro lado, temos tambm que
[z1 , z2 , z3 , z4 ] = [w1 , w2 , w3 , w4 ],
tal que M (zi ) = wi .
se
ento existe uma nica transformao de Mbius
Recordando a Proposio 3.6, podemos entender melhor a razo cruzada:
[z, q, r, s]
a imagem de
ferncia orientada
C,
q, r
0, 1 e .
passando por
ento o interior de
w =
pela nica transformao de Mbius que aplica a circun-
trs pontos so aplicados em
em
Se
para o eixo real de tal forma que estes
q , r, s
induzem uma orientao positiva
(lado esquerdo) aplicado no semi-plano superior (acima
do eixo). A gura 3.6 ilustra este fato e assim podemos deduzir uma equao para a
circunferncia
C,
ou seja:
Transformaes de Mbius
52
Proposio 3.8.
Seja
uma circunferncia orientada positivamente (passando) pelos
q , r e s, nesta ordem. Assim, p C se, e somente se, Im[p, q, r, s] = 0.
Tambm, p est no interior de C se, e somente se, Im[p, q, r, s] > 0. Se a orientao
de C negativa, ento a desigualdade invertida.
pontos
r
s
[z, q, r, s]
pe
Ce
p
Figura 3.6: Imagem de
pela razo cruzada
[z, q, r, s]
4 Transformaes de Mbius e
lgebra Linear
Neste captulo, associaremos a uma transformao de Mbius uma matriz e apresentaremos suas propriedades relacionadas lgebra Linear, por meio do uso de
coordenadas homogneas, autovalores e autovetores, por exemplo.
4.1 Representao matricial
Vamos agora associar transformao de Mbius
M (z) =
az + b
[M ] =
cz + d
"
uma matriz
a b
c d
22
Como e os coe cientes da transformao de Mbius no so nicos,
no a nica matriz correspondente
M,
pois se
por
[M ]
tambm
uma constante no nula, ento a
k[M ], de nida multiplicando cada entrada de [M ] pela constante k , corresponde
mesma transformao de Mbius M . No entanto, se M est normalizada, isto ,
ad bc = 1, ento existem exatamente duas1 matrizes associadas M , denotadas por
[M ] e [M ]. Em outras palavras, a matriz unicamente determinada, a menos do
sinal. A partir de agora, iremos supor M normalizada.
Em geral, podemos associar uma
!matriz real 2 2 a uma transformao linear de
0 1
R2 em R2 . Por exemplo
representa uma rotao no plano (ao redor da
1
0
origem) por um ngulo de /2, no sentido anti-horrio. De fato, quando a aplicamos
!
x
2
no vetor
de R , obtemos
y
!
!
!
0 1
x
y
=
.
1
0
y
x
"
#
a b
No entanto, a matriz [M ] =
correspondendo transformao de Mbius M ,
c d
matriz
1 Pois
a multiplicao por 1 no altera o determinante, j que a matriz 2 2.
53
Transformaes de Mbius e lgebra Linear
54
em geral, tem nmeros complexos em suas entradas, e ento, no pode ser interpretada como uma transformao linear de
R2
em
R2 ,
como de costume.
Mesmo que
as entradas
sejam
"
# reais, no podemos pensar desta maneira. Por exemplo, a matriz
[M ] =
0 1
1
0
corresponde transformao de Mbius
no uma transformao linear de
Observao 4.1.
em
M (z) =
1
, que certamente
z
C.
Para evitar confuso, vamos adotar a seguinte notao: usaremos
parnteses para uma matriz real correspondendo a uma transformao linear de
R2
ou de
em
C,
R2
em
e usaremos colchetes para uma matriz complexa correspondendo a
uma transformao de Mbius.
Apesar desta observao, temos as seguintes semelhanas entre o comportamento
de uma transformao de Mbius e a matriz que a representa:
A transformao de Mbius identidade
identidade, ou seja,
[E] =
"
1 0
0 1
A transformao de Mbius
somente se,
[M ]
E(z) = z
corresponde conhecida matriz
com matriz
possui inversa, ou seja,
[M ] =
[M ]
"
a b
c d
possui inversa se, e
no singular, ou ainda,
det[M ] =
ad bc 6= 0.
Como a inversa de uma transformao de Mbius
dz b
,
cz + a
vemos facilmente que
dada por
M 1 (z) =
[M 1 ] = [M ]1 .
Em lgebra Linear, compomos duas transformaes lineares multiplicando suas
matrizes.
Se multiplicarmos as matrizes
transformaes de Mbius
"
#"
a2 b 2
c2 d2
M2
a1
c1
[M2 ]
[M1 ]
correspondentes as duas
M1 , ento obtemos
# "
#
b1
a2 a1 + b 2 c 1 a2 b 1 + b 2 d 1
=
.
d1
c 2 a1 + d 2 c 1 c 2 b 1 + d 2 d 1
e
Porm, como mostrado na equao (3.2), isto simplesmente a matriz da transformao de Mbius
M2 M1 .
Portanto
[M2 ][M1 ] = [M2 M1 ].
4.2 Coordenadas homogneas
As propriedades apresentadas na seo anterior no so coincidncias. Para entendermos o motivo, devemos primeiramente descrever o plano complexo com um novo
sistemas de coordenadas.
Ao invs de expressarmos
nmeros reais, escrevemos
z = x + iy
em termos de dois
como a razo de dois nmeros complexos,
z=
z1
.
z2
z1
z2 ,
isto ,
Autovalores e autovetores
55
z1 e z2 so chamados de coordenadas homogneas de z , que
neste caso, denotado por z = [z1 : z2 ]. A cada [z1 : z2 ], com z2 6= 0, corresponde
z1
, mas a cada nmero complexo z corresponde uma
um nico nmero complexo z =
z2
in nidade de coordenadas homogneas, pois [kz1 : kz2 ] = [z1 : z2 ], onde k um nmero
Os nmeros complexos
complexo arbitrrio no nulo.
[z1 : 0]?
O que podemos dizer sobre as coordenadas da forma
z1
0, est claro que [z1 : 0] corresponder a um ponto no in nito.
Portanto, a totalidade dos pares [z1 : z2 ] fornece coordenadas homogneas para o plano
tomarmos
z2
Se xarmos
tendendo a
complexo estendido. A introduo destas coordenadas possibilita para a lgebra o que
a esfera
possibilita para a geometria, como veremos.
Em geral, usamos o smbolo
reais e usamos o smbolo
R2
para denotar o conjunto de pares
para elementos de
R2
(z, w) de nmeros com2
2
entre R e C , usaremos
para denotar o conjunto de pares
plexos. Assim como na Observao 4.1, para evitar confuso
(x, y)
(x, y) de nmeros
[z, w]
para elementos de
de transformaes lineares complexas de
em
C2 ,
e portanto, as matrizes
sero denotadas com colchetes,
deixando os parnteses para as reais.
Em resumo, uma transformao linear de
matriz complexa
"
C2
em
C2
ser representada por uma
2 2:
#
"
# "
#"
# "
#
z1
w1
a b
z1
az1 + bz2
7
=
=
.
z2
w2
c d
z2
cz1 + dz2
2
[z1 , z2 ] e[w1 , w2 ] so
como as coordenadas homogneas em C dos
pensados
w1
z1
e w =
em C, ento a transformao linear acima induz a
pontos z =
z2
w2
seguinte transformao (no necessariamente linear) em C:
z1
a
+b
z1
w1
az1 + bz2
az + b
z2
z=
7 w =
=
=
=
.
z1
z2
w2
cz1 + dz2
cz + d
c
+d
z2
Mas, se
Esta nada mais que uma transformao de Mbius geral.
Portanto, podemos agora entender como uma transformao de Mbius em
se
parece com uma transformao linear, ela pode ser vista como uma transformao
linear atuando nos pares de coordenadas homogneas de um ponto de
C.
4.3 Autovalores e autovetores
A representao de uma transformao de Mbius por meio de matrizes fornece um
elegante e prtico mtodo de fazer clculos. Com isso, muitas tcnicas e ferramentas
utilizadas na lgebra Linear se aplicam agora para estas transformaes.
Transformaes de Mbius e lgebra Linear
56
Por exemplo, observando a equao (3.2), ca claro que a composio de duas
transformaes de Mbius no singulares novamente no singular.
Por meio do
clculo de determinantes, isto novamente veri cado apenas lembrando que
det [M2 ][M1 ] = det[M2 ] det[M1 ].
det[M2 ] 6= 0 e det[M1 ] 6= 0, ento det [M2 ][M1 ] 6= 0. Em particular,
se det[M2 ] = det[M1 ] = 1, ento det [M1 ][M2 ] = 1, e assim, o conjunto de matrizes
normalizadas 2 2 forma um grupo, ou um subgrupo do grupo das matrizes no
Portanto, se
singulares.
Para o nosso segundo exemplo, faremos
uso#dos autovetores de uma transformao
"
linear de
um vetor
C2 ,
representada por
z=
"
z1
z2
[M ] =
z.
. Por de nio, um autovetor de
cuja direo inalterada pela transformao, no sentido de que
z ; neste caso, chamado autovalor do
palavras, um autovetor, com autovalor , satisfaz a equao:
"
#"
#
"
#
a b
z1
z1
=
.
c d
z2
z2
sua imagem simplesmente um mltiplo
autovetor
a b
c d
Em outras
de
Em termos da transformao de Mbius correspondente em
z1
z=
z2
aplicado em
Proposio 4.2.
z=
"
z1
z2
C2
C, isto signi ca que
z1
M (z) =
= z , e ento, obtemos o seguinte:
z2
z1
C um ponto xo de M se, e somente se,
ponto z =
z2
um autovetor de
[M ].
Uma vantagem em se tratar pontos xos assim, que no existe nenhuma distino
entre um ponto xo nito e um "
ponto# xo
mente a um autovetor da forma
um ponto xo se, e somente
xo, ento
e portanto,
c = 0, = a
"
e
z1
0
pois este ltimo corresponde simples-
z1
. Por exemplo, podemos reobter o fato de que
0
se, M uma semelhana. De fato, se um ponto
"
a b
c d
#"
a
b
M (z) = z + ,
d
d
z1
0
"
az1
cz1
como desejado.
O fato de que os autovetores carregam informaes geomtricas sobre
mado notando-se que estes vetores no dependem do modo como
con r-
representada
[M ], pois qualquer outra matriz
simplesmente obtida pelo produto com uma constante k . Mas, isso no altera o autovetor pois, se z um autovetor de [M ] (com autovalor ), ento ele tambm um
autovetor de k[M ], mas com autovalor k.
matricialmente, ou seja, no depende da escolha de
Autovalores e autovetores
57
Por outro lado, desde que os autovalores dependem da escolha de
k,
plausvel que
estes autovalores no tenham in uncia na natureza geomtrica da transfor=mao
Muito surpreendentemente, no entanto, o fato de que se
[M ] est normalizada,
M.
ento
exatamente o oposto verdadeiro, ou seja, os autovalores de uma matriz normalizada
[M ] determinam completamente a natureza geomtrica
M correspondente. Trataremos deste assunto em breve.
da transformao de Mbius
Continuemos investigando os autovalores, lembrando que estes so as solues da
[M ], det ([M ] [E]) = 0, em que [E] a
Usando o fato de que [M ] est normalizada, encontramos
ento chamada equao caracterstica de
matriz identidade de ordem 2.
que a equao caracterstica
2 (a + d) + 1 = 0,
(4.1)
e que (para uso posterior) pode ser escrita como
1
= a + d,
+
j que
6= 0
(4.2)
no soluo de (4.1).
A primeira observao sobre esta equao que existem, geralmente, dois autovalores,
2 ,
que so determinados somente por
a + d.
Examinando os coe cientes da
quadrtica, imediatamente deduzimos que
1 2 = 1
Portanto, se conhecermos
1 ,
1 + 2 = a + d.
obteremos
2 = 1/1 .
(4.3)
Enfatizamos este fato pois ele
no bvio quando escrevemos a frmula para os autovalores, ou seja,
1 , 2 =
p
1
(a + d) (a + d)2 4 .
2
Estudantes de lgebra Linear reconheceriam (ou deveriam reconhecer) (4.3) como
um caso especial do seguinte resultado geral sobre autovalores
matriz
quadrada de ordem
tr N ,
de uma
(no necessariamente diagonal),
1 2 n = det N
em que
1 , 2 , . . . , n
1 + 2 + + n = tr N,
soma dos elementos da diagonal da matriz
N,
chamado de trao de
N.
As duas igualdades acima podem ser obtidas lembrando que
!
!
!
n
n
n
n
n
n
X
X
X
X
X
X
tr AB =
(aik bki ) =
(bki aik ) =
(bki aik ) = tr BA,
i=1
k=1
i=1
k=1
k=1
i=1
R a matriz dos autovetores de N , ento RN R1 = , com matriz diagonal
autovalores de N . Da, basta fazer
e que, se
dos
1 2 = det = det(RN R1 ) = (det R)(det N )(det R1 ) = det N,
1 + 2 = tr = tr(RN R1 ) = tr(RR1 N ) = tr N.
Transformaes de Mbius e lgebra Linear
58
4.4 Rotao da esfera como transformao de Mbius
Nesta seo, de niremos ortogonalidade entre dois vetores
vamos que estamos usando letras gticas (por ex.
p)
em
C2 .
Obser-
para vetores com coordenadas
complexas, deixando as letras latinas para os de coordenadas reais. Tambm, usaremos
matrizes coluna (parnteses e colchetes, para real e complexo, resp.) para representar
vetores, visando uma facilidade
nos clculos
a seguir.
!
!
Dois vetores
p =
p1
p2
q1
q2
q =
em
R2
so ortogonais se, e somente se, seu
produto escalar (estamos supondo o usual) nulo, isto ,
p q = p1 q1 + p2 q2 = 0.
" #
" #
p1
q1
2
Deste modo, parece natural dizer que p =
e q =
em C so ortogonais
p2
q2
se p q = p1 q1 + p2 q2 = 0. Em particular, gostaramos
" que
# "este
# produto fosse tal que
1
1
= 0. Dessa forma, o
p p seja real positivo. No entanto, fcil ver que
i
i
2
produto acima de nido no adequado para C .
Uma soluo para isto generalizar o produto escalar p q para o chamado produto
interno, de nido por
hp, qi := p q = p1 q1 + p2 q2 .
Observe que a de nio acima tambm possui as seguintes propriedades do produto
escalar:
1.
hp, pi 0;
2.
hp, pi = 0 p1 = 0 = p2
(ou seja,
3.
hp + q, ri = hp, ri + hq, ri
p = 0);
hr, p + qi = hr, pi + hr, qi.
Note, no entanto, que este produto no comutativo, pois
hp, qi = p1 q1 + p2 q2 = p1 q1 + p2 q2 = q1 p1 + q2 p2 = hq, pi.
Agora, uma boa de nio para
ortogonais seria quando
hp, qi := p1 q1 + p2 q2 = 0.
O que esta ortogonalidade signi ca em termos dos pontos
vetores das coordenadas homogneas so
so ortogonais, ento
Proposio 4.3.
1
q= ,
p
C2
coordenadas homogneas de pontos de
q?
p=
p1
p2
q=
q1
,
q2
A equao (4.4) nos diz que, se
cujos
e assim, da Propriedade 2.4 deduzimos que
Dois vetores em
antipodais na esfera
(4.4)
so ortogonais se, e somente se, so vetores de
projetados (estereogra camente) em pontos
Rotao da esfera como transformao de Mbius
Suponhamos que
rotao, ou seja,
seja uma transformao linear de
C2
em
C2 ,
59
anloga a uma
preserva produto interno
hR(p), R(q)i = hp, qi, p, q.
Em particular,
(4.5)
aplica cada par de vetores ortogonais em outro par de vetores ortog-
onais.
Surge naturalmente a seguinte questo: qual transformao na esfera
duzida pela transformao de Mbius
ser in-
correspondente transformao linear
R?
A invarincia do produto interno descrita em (4.5) pode ser perfeitamente reformulada utilizando uma operao chamada transposta conjugada, indicada pelo sobrescrito
Mais precisamente, para matrizes complexas obtemos
transposta conjugada de
M = M t,
matriz
M.
Obtemos ento
" #
i
h
p1
p =
= p1 p2
p2
"
# "
#
a
b
a
c
[R] =
=
.
c d
b d
Deste modo, o produto interno pode ser expresso simplesmente em termos de multiplicao de matrizes, ou seja,
equivalente
hp, qi = p q, e uma vez que ([R]p) = p [R] , a equao (4.5)
def.
def.
hR(p), R(q)i = ([R]p) ([R]q) = (p [R] )([R]q) = p q = hp, qi, p, q
que satisfeita se, e somente se,
[R] [R] = [E].
(4.6)
Matrizes satisfazendo (4.6) so chamadas unitrias.
No caso de matrizes
normalizadas, podemos facilmente encontrar uma matriz unitria
22
[R] que satisfaz (4.6),
[R] = [R] , ou seja,
# "
#
"
#
"
a c
d b
a b
=
[R] =
.
b d
c a
b a
simplesmente resolvendo
Assim sendo, se
induzida na esfera
R : C2 C2
preserva produto interno, ento a transformao
ser contnua, preservando pontos antpodas e ngulo, e portanto,
deve ser uma rotao ao redor de algum eixo.
arbitrria da esfera
Em outras palavras, uma rotao
pode ser expressa como uma transformao de Mbius da forma
R(z) =
az + b
.
bz + a
5 Visualizao e Classi cao
Neste captulo, analisaremos a quantidade de pontos xos de uma transformao
de Mbius com o objetivo de classi car esta transformao como elptica, hiperblica,
loxodrmica ou parablica.
Para tal, tambm utilizaremos o multiplicador
m,
um
nmero complexo associado a esta transformao.
5.1 A ideia principal
Embora a decomposio de uma transformao de Mbius
M,
apresentada na
Proposio 3.2, como composio de transformaes mais simples tem-se revelada
valiosa na obteno de resultados, isto faz
parecer muito mais complicada do que
. Nesta seo vamos revelar esta simplicidade escondida, examinando os pontos xos
em maior detalhe, o que nos permitir visualizar as transformaes de Mbius de uma
forma mais clara. Neste processo, vamos esclarecer a nossa observao anterior de que
as transformaes de Mbius podem ser classi cadas em quatro tipos, cada
est
sendo equivalente a um (e apenas um) dos quatro tipos de transformao ilustrados
na Figura 3.5.
Para comear, vamos supor que
tem dois pontos xos distintos,
Ob-
serve o lado esquerdo da gura 5.1 e, em particular, a famlia de circunferncias
(tracejadas) passando pelos pontos xos.
z 7 w = M (z),
outro membro de
Se pensarmos em
como uma aplicao
desta gura nela mesma, ento cada membro de
C1 ,
C1
C1
aplicada em
j que so circunferncias que passam pelos pontos xos de
Ainda com referncia ao lado esquerdo da gura 5.1, suponha que
M.
um ponto
e , mas que no est entre os pontos xos. Se K a
p+
kp + kkp k centrada em p, ento + e so simtricos
circunferncia de raio
em relao a K. Assim, K intercepta cada membro de C1 ortogonalmente. Atravs da
variao de p, obtemos uma famlia de circunferncias C2 (linha slida) tal que + e
so simtricos em relao a cada membro de C2 , e cada membro de C2 ortogonal a
cada um de C1 .
Agora, o passo principal aplicar uma transformao de Mbius F , no lado esquerdo
da gura 5.1, que aplica um ponto xo (digamos + ) em 0 e o outro ponto xo ( )
em . Com isso, a famlia C1 aplicada em uma famlia de retas pela origem (que
arbitrrio da reta por
61
Visualizao e Classi cao
62
so circunferncias pelo
e como
C2
ortogonal
C1 ,
sua imagem s pode ser uma
famlia de circunferncias centradas na origem (pois s assim sero ortogonais s retas
pela origem). O lado direito da gura 5.1 ilustra este fato.
Uma possvel transformao (no necessariamente normalizada) seria
F (z) =
z +
.
z
C1
Notamos que, poderamos obter as famlias
inversa
C2
por meio da transformao
, aplicando-a nas retas pela origem e nas circunferncias concntricas, re-
spectivamente.
w
e
w
M
e
M
e
z
0
+
F 1
C2
C1
Figura 5.1: Ilustrao da composio
Sejam
F
M (z)
em
ze = F (z)
w
e = F (w)
as imagens sob
f = F M F 1
M
de
w = M (z).
Podemos pensar
z 7 w =
f(e
ze 7 w
e=M
z)
como sendo uma aplicao que transfere a transformao de Mbius
(atuando no lado esquerdo) para uma transformao de Mbius
(atuando no lado direito). Mais explicitamente,
e assim
w
e = F (w) = F (M (z)) = F (M (F 1 (e
z ))),
f = F M F 1
M
uma transformao de Mbius. Alm disso, segue imedi-
atamente da construo que os pontos xos de
f so 0
M
Porm, j vimos que se
uma transformao de Mbius xa tais pontos, ela s pode ser da forma
m = ei
seguida de
f(e
M
z ) = me
z,
onde
um nmero complexo. Geometricamente,
por
uma homotetia por
Este nmero complexo
f
M
apenas uma rotao
no s determina completamente a aplicao
tambm caracteriza a natureza geomtrica da transformao de Mbius
emos em breve. O nmero
chamado de multiplicador de
M.
M,
f,
M
como
como ver-
Transformaes elptica, hiperblica e loxodrmica
63
5.2 Transformaes elptica, hiperblica e loxodrmica
Nesta seo, aprofundaremos o estudo dos trs tipos de transformaes j estudamos
anteriormente.
Elptica:
Dizemos que
uma transformao de Mbius elptica, se
ou seja, uma rotao pura correspondente
m = ei .
Desde que
f
M
f
M
uma rotao se,
e somente se, aplica cada circunferncia centrada na origem em si mesma,
se, e somente se, aplica cada circunferncia de
C2
em si mesma.
elptica,
elptica
f no ponto
= /3, o lado direito da gura 5.1 ilustra o efeito de M
ze. No lado esquerdo, vemos o correspondente efeito de M : movimenta z ao longo de
uma circunferncia C de C2 at a interseo com uma circunferncia de C1 que faz um
ngulo de /3 com C .
A gura 5.2 fornece uma ideia do movimento produzido por M no plano todo. Cada
retngulo sombreado aplicado por M no prximo retngulo sombreado, na direo
das setas (lembrando que = /3 e que a grade circular foi feita com ngulo /6).
Pela escolha de , seis aplicaes sucessivas de M produzem a identidade, e portanto
m
m
2 , onde
uma
dizemos que M tem perodo 6. Mais geralmente, se =
n
n
frao irredutvel, ento M tem perodo n. Porm, se
irracional, no importa
2
quantas vezes aplicamos M , nunca obteremos a identidade.
Por exemplo, se
Figura 5.2: Efeito de uma transformao de Mbius elptica
Hiperblica:
Dizemos que
uma transformao de Mbius hiperblica, se
hiperblica, ou seja, uma homotetia correspondente a
f
M
m = 6= 0, 1.
A gura 5.3 ilustra tal transformao com
> 1.
Uma vez que
uma homotetia se, e somente se, deixa invariante cada reta pela origem,
hiperblica se, e somente se, deixa invariante cada circunferncia de
f
M
C1 .
Note que, se compusermos esta
transformao, ento qualquer regio (por exemplo, a regio hachurada prxima de
Visualizao e Classi cao
64
+ )
aplicada para longe de
ponto xo repulsor e
+ ,
. Neste caso + chamado
m = < 1 ento os papis de + e
sendo espremida em
ponto xo atrator. Se
so trocados.
Figura 5.3: Efeito de uma transformao de Mbius hiperblica
Loxodrmica:
f a composio de uma rotao com uma
m = ei , ento M
homotetia. Assim, M chamada de transformao de Mbius loxodrmica . Neste
caso, nem as circunferncias de C1 , nem as de C2 so invariantes. As curvas que so
invariantes esto ilustradas na gura 5.4, com > 0 e > 1, que tambm mostra o
efeito de aplicaes sucessivas de M em uma pequena regio prxima de + .
Se
Figura 5.4: Efeito de uma transformao de Mbius loxodrmica
Observando a gura conclumos que: uma transformao de Mbius loxodrmica,
com pontos xos
e multiplicador
m = ei ,
a composio (em qualquer ordem)
m = ei e pontos xos
multiplicador m = e pontos
de: (i) uma transformao de Mbius elptica com multiplicador
(ii) uma transformao de Mbius hiperblica com
xos
Interpretao geomtrica local do multiplicador
65
5.3 Interpretao geomtrica local do multiplicador
Na Seo 5.1, escolhemos arbitrariamente enviar
sentido, a de nio do multiplicador
em
0,
ao invs de
da transformao de Mbius
Note que, por de nio,
se
w = M (z)
Permutar
ento
e como se relacionaria com
f satisfaz F M = M
f F.
M
w +
=m
w
z +
z
m+ .
m+ ?
z
z +
Assim, o multiplicador trocado de
dos de o multiplicador de
M .
w +
1
=
w
m
m para
1
m
em
em
z +
z
(5.2)
e ambos os valores podem ser chama-
Re namos nossa linguagem chamando o nmero
aparece em (5.1) de multiplicador associado
F,
(5.1)
neste caso obtemos
Assim
Recordando a de nio de
na equao acima equivalente a aplicar
w
=m
w +
Neste
torna-se am-
bgua e uma notao mais sugestiva deveria ter sido utilizada, por exemplo,
sendo, qual seria o multiplicador
1 a e denotando-o por
+
m+ .
m que
Nestes ter-
mos, mostramos que os multiplicadores associados aos dois pontos xos so inversos
um ao outro, ou seja,
m =
1
.
m+
Tentaremos entender este fato geometricamente. Observando novamente a gura 5.1,
ca claro que
m+ = ei/3 .
Tentaremos agora interpretar
m+
diretamente atravs da
situao apresentada na gura 5.2, sem a ajuda do lado direito da gura 5.1. Quanto
mais prximo de
+ ,
mais os membros de
cntricas neste ponto.
circunferncias de
bro de
C2
C1
C2
se aproximam de circunferncias con-
De fato, quanto menor a vizinhana ao redor de
se comportam como suas retas tangentes em
, por construo, ortogonal aos membros de
circunferncias centradas em
2
.
Isto posto, podemos concluir que o efeito local de
C1 ,
+ .
+ ,
mais as
Mas cada mem-
e portanto, devem ser
(em uma vizinhana in nitesi-
+ ) uma rotao centrada em + por um ngulo de /3. Este o signi cado do
i(/3)
multiplicador m+ = e
associado a + . claro que a mesma argumentao se aplica
para uma vizinhana in nitesimal de . Porm, como pode ser visto na gura 5.2, o
efeito local de M nesta vizinhana uma rotao de /3 e o multiplicador associado
1
torna-se m =
.
m+
mal de
Continuando a interpretao geomtrica, podemos ver na gura 5.3 que o mesmo
fenmeno ocorre no caso de uma transformao hiperblica, e o multiplicador associado
+ m+ = > 1. Isso nos diz que o efeito local de M em uma vizinhana in nitesimal
de + uma expanso centrada neste ponto. Em breve veri caremos que o fator de
a
1 Analogamente,
2 Uma
de nimos m .
reta perpendicular a uma circunferncia se, e somente se, passa pelo centro desta.
Visualizao e Classi cao
66
expanso precisamente
local de
tambm evidente, a partir da mesma gura, que o efeito
em uma vizinhana in nitesimal de
uma contrao, de modo que o
multiplicador associado a esse ponto real e menor que
que esse nmero seja
1/,
1.
No entanto, no to claro
como suspeitamos ser. Isso tambm pode ser demonstrado
geometricamente, mas ao invs disso, voltamos para os argumentos algbricos.
Z = z + e W = w + , vistos como vetores com origem em + at z e
at sua imagem w = M (z). Como observado acima, se Z in nitesimal ento o efeito
de M rotacionar Z por e expandir por , ou seja, W = mZ . Mais precisamente,
Sejam
note que (5.1) pode ser reescrita como
W
=m
w
Como
tende para
0, z
Z
z
=m
Z
tendem para
+ ,
w
z
e assim
W = mZ ,
como desejado.
Finalmente, para uma transformao de Mbius loxodrmica, o efeito geomtrico
local ao redor de
(ou de
uma mescla dos dois anteriores, ou seja, rotao com
expanso/contrao, dependendo do valor de
5.4 Transformaes parablicas
J temos algum entendimento das transformaes de Mbius com dois pontos xos.
Resta agora tratar o caso em que
tem apenas um ponto xo
ou seja,
sendo
uma transformao de Mbius parablica.
Figura 5.5: Efeito de uma transformao de Mbius parablica
Considere o lado esquerdo da gura 5.5, mas ignore as setas por enquanto. Podemos
observar duas famlias de circunferncias passando por
C2
as famlias
C1
(tracejada) e
(slida). Alm disso, cada membro de uma famlia ortogonal a cada membro da
Calculando o multiplicador
67
outra, nos dois pontos de interseo. O lado direito da gura 5.5 ilustra o que acontece
quando aplicamos
em
por meio da transformao de Mbius, por exemplo,
G(z) =
Claramente,
C1
C2
1
.
z
so transformadas em famlias ortogonais de retas paralelas. Ob-
viamente, se aplicarmos
G1
obteremos o efeito contrrio, ou seja, famlias de retas so
aplicadas em famlias de circunferncias.
ze = G(z) e w
e = G(w) as imagens de z e w = M (z).
Mbius z 7 w = M (z) induz outra transformao de
Como antes, sejam
a transformao de
f(e
ze 7 w
e=M
z ),
Como
Assim,
Mbius
de nida por
o nico ponto xo de
f = G M G1 .
M
f,
M
deduzimos que
f(e
M
z ) = ze + p.
f s
M
pode ser uma translao,
Suponhamos que as setas no lado direito da gura 5.5 representam a direo da
translao por
p.
Assim, obtemos uma grade alinhada com
f.
sombreado aplicado no seguinte, por M
C1
a qual cada quadrado
No lado esquerdo da mesma gura, observa-
mos a ao da transformao de Mbius parablica
invariante, e as circunferncias de
p,
M,
onde cada circunferncia de
C2
so trocadas entre si. Mais ainda, cada regio
sombreada aplicada na prxima regio sombreada, na direo das setas.
Se
M (z) =
somente se,
az + b
cz + d
est normalizada, pela equao (3.7),
a + d = 2.
termos dos coe cientes de
Desde que
Em cada caso
M.
w = M () =
onde o sinal
a
c
1
parablica se, e
ad
. Agora, vamos
2c
f G fornece
GM =M
A igualdade
determinar
em
1
1
=
+ p.
w
z
, conclumos que
1
2c
p= a
=
=
= c,
a ad
a+d
c
c
2c
determinado por a + d.
Note que no de nimos multiplicador para uma transformao de Mbius parablica,
uma vez que
f no
M
da forma
me
z.
5.5 Calculando o multiplicador
Vimos anteriormente como o multiplicador
determina o carter de uma trans-
formao de Mbius. Agora, mostraremos como determinar
cientes de
az + b
.
M (z) =
cz + d
diretamente dos coe -
Visualizao e Classi cao
68
Suponhamos j calculados os pontos xos
emplo.
Desde que
w = M () = a/c,
por meio da equao (3.7), por ex-
(5.1) fornece o multiplicador associado a
isto ,
m+ =
a c+
.
a c
Por exemplo, considere a inverso complexa
+ ,
(5.3)
z 7 1/z .
Os pontos xos so as
z = 1/z , que so = 1. Assim, o multiplicador associado a + = 1
i
m+ = + / = 1 = e , que neste caso o mesmo que o multiplicador m =
1/m+ associado a = 1. Assim, a inverso complexa elptica e uma vizinhana
solues de
in nitesimal de cada ponto xo simplesmente rotacionada ao redor deste ponto por
um ngulo de
(o sentido depende do ponto).
Se desejarmos, podemos obter explicitamente
m,
substituindo (3.7) em (5.3).
Se
apenas quisermos saber o carter da transformao de Mbius, ento podemos prosseguir
como se segue.
O multiplicador
m est relacionado com os coe cientes da transformao de Mbius
normalizada por meio da equao
1
m + = a + d.
m
(5.4)
f] = [F ][M ][F ]1 , ento det[M
f] = det([F ][F ]1 ) det[M ] = det[M ].
[M
Assim, independentemente se [F ] est, ou no, normalizada, [M ] est normalizada se,
f] est normalizada. Desde que M
f(z) = mz , e sua matriz normalizada
e somente se, [M
De fato, como
"
ser
pois os coe cientes
# "
#
0
m
0
f] =
[M
=
,
0
0 1/ m
devem satisfazer
= 1
/ = m.
Calculando o trao,
obtemos
1
m + = tr([F ][M ][F ]1 ) = tr([F ]1 [F ][M ]) = tr([M ]) = a + d.
m
A simetria da equao (5.4) implica que, se
soluo.
uma soluo, ento
1/m
tambm
Com isso obtemos a seguinte classi cao algbrica: a transformao de
Mbius normalizada
elptica
M (z) =
se, e somente se,
hiperblica
a+d
se, e somente se,
loxodrmica
parablica
az + b
cz + d
se, e somente se,
real e
a+d
se, e somente se,
|a + d| < 2;
real e
a+d
|a + d| > 2;
complexo;
a + d = 2.
Interpretao do multiplicador por meio de autovalores
69
Para veri carmos estes casos, observamos primeiramente que, a partir da equao
m(a + d) + 1 = 0. Fazendo x = m, obtemos uma
p
equao quadrtica cujas solues so ((a + d)
(a + d)2 4)/2.
i
Assim, M elptica se, e somente se, m = e
, para 0 < < . Da equao
(5.4),
deve ser soluo de
(5.4), obtemos
ei +
ei = 2 cos(/2) = a + d,
a + d real e |a + d| < 2.
Tambm, M hiperblica se, e somente se, possui os dois multiplicadores reais, ou
seja, a + d real e |a + d| > 2.
Alm disso, M loxodrmica se, e somente se, possui dois multiplicadores m =
ei , onde = 1/+ . Por (5.4), obtemos
e portanto,5
+ ei +
ei = + (cos(/2) + i sen(/2)) + (cos(/2) i sen(/2))
= cos(/2) ( + + ) + i sen(/2) ( + ) ,
que um nmero complexo. Portanto,
Por m,
a+d
um nmero complexo.
parablica se, e somente se, possui um nico ponto xo, e portanto,
um nico multiplicador.
Isso ocorre se, e somente se,
a + d = 2.
p
(a + d)2 4 = 0,
ou seja,
5.6 Interpretao do multiplicador por meio de autovalores
Se a matriz
[M ]
representa uma transformao linear de
C2
em
C2 ,
vimos na
Proposio 4.2 que seus autovetores so vetores de coordenadas homogneas dos pontos
xos da correspondente transformao de Mbius
M.
Tambm vimos que, se
normalizada, ento seus autovalores determinam o carter de
Proposio 5.1.
autovalor
Se um ponto xo de
de uma matriz normalizada
ponto xo dado por
M.
[M ]
est
Mais precisamente,
M representado como um autovetor (com
[M ], ento o multiplicador m associado a este
m = 1/2 .
Antes de provarmos este resultado, vejamos como ca o caso da inverso complexa
M : z 7 1/z .
J sabemos que os pontos xos so
cadores associados so dados por
m = 1.
= 1,
e que ambos os multipli-
Tambm, facilmente encontramos que a matriz normalizada
Tomando como vetor de coordenadas homogneas do complexo
"
[M ] =
" #
z
vetor
,
1
#
0 i
.
i 0
ento
Visualizao e Classi cao
70
os autovetores associados aos pontos xos
"
#" #
" #
0 i 1
1
=i
i 0 1
1
vemos que os autovalores so dados por
z = 1
"
so
"
#
1
.
1
Desde que
#" #
" #
0 i 1
1
= i
,
i 0
1
1
= i,
como a rmado na Proposio 5.1.
Retornando ao caso geral, as equaes (4.2) e (5.4) mostram que
m e so razes
da mesma equao quadrtica e assim deduzimos imediatamente de 5.1 que os dois
valores recprocos de
so iguais aos dois valores recprocos de
2 .
Entretanto, no
sabemos como estes valores se correspondem. Apresentamos, ento, uma abordagem
mais produtiva.
Um resultado bem conhecido da lgebra Linear, vlido para matrizes
que:
n n,
diz
e um autovetor de [A] com autovalor , ento ee := [B]e um autovetor
e := [B][A][B]1 , tambm com autovalor .
de [A]
se
De fato,
e ee = ([B][A][B]1 )[B]e = ([B][A])e = [B](e) = [B]e = ee.
[A]
+ de M (com
f = F M F 1 , por meio
multiplicador associado m+ ) aplicado no ponto xo 0 de M
de z 7 z
e = F (z) = (z + )/(z ).
" #
+
2
2
Em termos de transformaes lineares de C em C , o autovetor
de [M ]
1
" #
0
f] = [F ][M ][F ]1 . Pelo resultado acima (da
aplicado por [F ] no autovetor
de [M
1
" #
" #
" #
+
0
0
f]
lgebra Linear), se + o autovalor de
, ento [M
= +
, estando, ou
1
1
1
Considere novamente as hipteses da gura 5.1, na qual o ponto xo
no, normalizadas as matrizes acima.
Suponhamos, agora, que
[M ]
que a matriz normalizada de
onde conclumos que
est normalizada, como exigido em 5.1. J sabemos
f : ze 7 m+ ze
M
dada por
f] =
[M
"
m+
0
0
1/ m+
" # "
#" #
" #
0
0
0
m+
0
+
=
= 1/ m+
.
1
0
1/ m+ 1
1
Portanto,
m+ = 1/2+ ,
como era para ser mostrado.
Terminamos, assim, a classi cao das transformaes de Mbius.
, de
Referncias
[1] NEEDHAM, T. Visual Complex Analysis. 5. ed. New York: Clarendon Press, Oxford, 2000.
[2] CONWAY, J. B. Functions of One Complex Variable. 1. ed. New York: Springer,
1973.
[3] COXETER, H. S. M. Introduction to geometry. 2. ed. New York: Wiley, 1969.
[4] MARSDEN, J. E.; HOFFMAN, M. J. Basic complex analysis. 3. ed. New York: W.
H. Freeman, 1999.
[5] CAMARGO, I. de; BOULOS, P. Geometria Analtica, um tratamento vetorial. 3.
ed. So Paulo: Pearson, Prentice Hall, 2005.
71
S-ar putea să vă placă și
- Manual HarmônicasDocument66 paginiManual HarmônicasKiko Liko100% (2)
- Fluidos e Teoria Do ContinuoDocument34 paginiFluidos e Teoria Do ContinuoAbelardo AlvesÎncă nu există evaluări
- DP j763 Cinematica Dos SolosDocument39 paginiDP j763 Cinematica Dos SolosAna LimaÎncă nu există evaluări
- Como Instalar ATPDRAWDocument11 paginiComo Instalar ATPDRAWJucelino JúniorÎncă nu există evaluări
- Cap.6 TurbinasDocument20 paginiCap.6 TurbinasLuisZuluagaRodriguezÎncă nu există evaluări
- AtpDocument10 paginiAtpAbelardo AlvesÎncă nu există evaluări
- Aprendendo Inglês Com Vídeos #001: From Struggle Comes SuccessDocument4 paginiAprendendo Inglês Com Vídeos #001: From Struggle Comes SuccessAbelardo AlvesÎncă nu există evaluări
- Como Instalar ATPDRAWDocument11 paginiComo Instalar ATPDRAWJucelino JúniorÎncă nu există evaluări
- Cap.6 TurbinasDocument20 paginiCap.6 TurbinasLuisZuluagaRodriguezÎncă nu există evaluări
- Dis LuisPereira Final PDFDocument94 paginiDis LuisPereira Final PDFAbelardo AlvesÎncă nu există evaluări
- Baterias de Ion de LítioDocument18 paginiBaterias de Ion de LítioAbelardo AlvesÎncă nu există evaluări
- AtpDocument10 paginiAtpAbelardo AlvesÎncă nu există evaluări
- Dis LuisPereira Final PDFDocument94 paginiDis LuisPereira Final PDFAbelardo AlvesÎncă nu există evaluări
- Bovespa - Introdução Ao Mercado de Capitais - 38pgDocument38 paginiBovespa - Introdução Ao Mercado de Capitais - 38pgRodrigo100% (14)
- Dis LuisPereira Final PDFDocument94 paginiDis LuisPereira Final PDFAbelardo AlvesÎncă nu există evaluări
- MecânicaDocument33 paginiMecânicaAbelardo AlvesÎncă nu există evaluări
- Revista Brasileira de Energias RenováveisDocument12 paginiRevista Brasileira de Energias RenováveisAbelardo AlvesÎncă nu există evaluări
- Curso Python PDFDocument83 paginiCurso Python PDFAbelardo AlvesÎncă nu există evaluări
- E Book Francês Rápido para IniciantesDocument37 paginiE Book Francês Rápido para IniciantesAron Mariano de OliveiraÎncă nu există evaluări
- Eletromagnetismo - William H. Hayt - 7 EdiçãoDocument48 paginiEletromagnetismo - William H. Hayt - 7 EdiçãoAbelardo AlvesÎncă nu există evaluări
- Atlas Brasileiro Energia Solar 2a EdicaoDocument80 paginiAtlas Brasileiro Energia Solar 2a EdicaoBruno RoganiÎncă nu există evaluări
- Curto Circuito - Geraldo KindermannDocument225 paginiCurto Circuito - Geraldo Kindermannmarcelviegas0% (1)
- TICnoensinoaprendizagemdecienciaetecnologia Artigo16Document11 paginiTICnoensinoaprendizagemdecienciaetecnologia Artigo16John Cervantes GomÎncă nu există evaluări
- Bovespa - Introdução Ao Mercado de Capitais - 38pgDocument38 paginiBovespa - Introdução Ao Mercado de Capitais - 38pgRodrigo100% (14)
- Síntese Do Relatório Final - 2017 - WebDocument232 paginiSíntese Do Relatório Final - 2017 - WebElder Teixeira dos SantosÎncă nu există evaluări
- Livro TFCDocument67 paginiLivro TFCAbelardo AlvesÎncă nu există evaluări
- ReadmeDocument1 paginăReadmeRíminni LavieriÎncă nu există evaluări
- ReadmeDocument1 paginăReadmeRíminni LavieriÎncă nu există evaluări
- Funcoes InorganicasDocument50 paginiFuncoes InorganicasThiago LimaÎncă nu există evaluări
- Macetes GraficosDocument4 paginiMacetes Graficoswashington_luiz_deÎncă nu există evaluări
- Semelhanca de Triangulos e Relacoes Metricas No Triangulo RetanguloDocument29 paginiSemelhanca de Triangulos e Relacoes Metricas No Triangulo RetanguloRoger MascarenhasÎncă nu există evaluări
- ZazaDocument2 paginiZazaMarcílio QuintelaÎncă nu există evaluări
- Assiclero Cavalcante Teotonio de Lacerda PDFDocument97 paginiAssiclero Cavalcante Teotonio de Lacerda PDFAlinne OliveiraÎncă nu există evaluări
- A4 Curvatransicao PDFDocument31 paginiA4 Curvatransicao PDFLeandro AlvesÎncă nu există evaluări
- 6ºteste-Matematica CorreçaoDocument4 pagini6ºteste-Matematica CorreçaoProf. Paulo VascoÎncă nu există evaluări
- Ficha-11 - FQ11 CíntiaDocument9 paginiFicha-11 - FQ11 CíntiaRodrigo GomesÎncă nu există evaluări
- Lista de Exercícios de Geometria - 9º Ano - Prof. LucasDocument3 paginiLista de Exercícios de Geometria - 9º Ano - Prof. LucasLe SilvaÎncă nu există evaluări
- Ficha 2 CinematDocument4 paginiFicha 2 CinematMugaua Jamal100% (1)
- Lista de Exercícios 1 - Questoes e GabaritoDocument70 paginiLista de Exercícios 1 - Questoes e GabaritoFelipe CarmoÎncă nu există evaluări
- Geometria EspacialDocument2 paginiGeometria EspacialAlexsandra SantosÎncă nu există evaluări
- 2021-22 Ficha4 F Forças MovimentosDocument4 pagini2021-22 Ficha4 F Forças MovimentosAfonso RomualdoÎncă nu există evaluări
- Teste de Avaliação Modulo Inicial 10º Ano Matematica A PDFDocument4 paginiTeste de Avaliação Modulo Inicial 10º Ano Matematica A PDFffben100% (1)
- Apostila de Geometria Analítica I (11 Páginas, 88 Questões, Com Gabarito) PDFDocument11 paginiApostila de Geometria Analítica I (11 Páginas, 88 Questões, Com Gabarito) PDFAdriana MoraisÎncă nu există evaluări
- Tabela de FórmulaDocument3 paginiTabela de Fórmulasueli souzaÎncă nu există evaluări
- Apostila Teoria Fisica Aplicada Completa 1Document136 paginiApostila Teoria Fisica Aplicada Completa 1Jefferson Luis Carlos RochaÎncă nu există evaluări
- Provas Impa PDFDocument9 paginiProvas Impa PDFWauney SantosÎncă nu există evaluări
- Formulario VetoresDocument2 paginiFormulario VetoresarnholdiegoÎncă nu există evaluări
- Ceja Matematica Unidade 20Document40 paginiCeja Matematica Unidade 20Miriam Cristina CamachoÎncă nu există evaluări
- Revisão TrigonometriaDocument44 paginiRevisão Trigonometriadonne MardoneÎncă nu există evaluări
- Ortogonalidade e Processo de Gram-SchmidtDocument14 paginiOrtogonalidade e Processo de Gram-SchmidtsaraÎncă nu există evaluări
- Porto Editora - Novo Espaco - 12 Ano 2018-19 - 2 Teste PDFDocument9 paginiPorto Editora - Novo Espaco - 12 Ano 2018-19 - 2 Teste PDFcarolinaÎncă nu există evaluări
- Ângulos, Retas e PolígonosDocument3 paginiÂngulos, Retas e PolígonosAnonymous lSaukRMaÎncă nu există evaluări
- Exercícios Derivadas 02Document4 paginiExercícios Derivadas 02Lilia RochaÎncă nu există evaluări
- Razões Trigonométricas de Ângulos GeneralizadosDocument22 paginiRazões Trigonométricas de Ângulos GeneralizadosANACASTROÎncă nu există evaluări
- Lista Geom Plana 2013.1 - TriangulosDocument5 paginiLista Geom Plana 2013.1 - TriangulosIsabela FurquimÎncă nu există evaluări
- LABORATORIO DE MATEMATICA E FISICA - Movimento Retilneo Uniformemente Variado MRUVRelatrioDocument5 paginiLABORATORIO DE MATEMATICA E FISICA - Movimento Retilneo Uniformemente Variado MRUVRelatrioFrancisco JacksonÎncă nu există evaluări
- Trabalho de MatemáticaDocument13 paginiTrabalho de MatemáticaDanielle MatosoÎncă nu există evaluări
