Escolar Documentos
Profissional Documentos
Cultura Documentos
Francili Duran
Orientador
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 estereogrca. I. Ttulo
TERMO DE APROVAO
Francili Duran
Transformaes de Mbius e Inverses
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.
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 innito e as classicamos em elptica, hiperblica,
loxodrmica e parablica.
Palavras-chave:
Abstract
The aim of this work is the study of arbitrary Mbius transformations by use of
simpler ones.
Keywords:
Lista de Figuras
1.1
. . . . . . . . . .
19
1.2
. . . . . . . . . . . . . . . . .
20
1.3
Tringulos
. . . . . . . . . . . . . . . . .
20
1.4
22
1.5
22
1.6
Propriedades da inverso
1.7
1.8
1.9
RL e inverso IK
semelhantes 4aqb 4e
bqe
a . .
IK
. . . . . . . . . . . . . . . . . . . . . . . .
RM
IC
23
. . . . . . . . . . . . . . . . . . .
24
. . . . . . . . . . . . . . . . . . .
25
. . . . . . . . . . . . . . .
26
. . . .
28
29
29
30
. . . . . . . . . . . . . . . . . .
q.
. . . . . . . . . . . . . . .
30
. . . . . . . . . . . . . . . . . . . . . . . . . .
31
2.1
. . . . . . .
33
2.2
35
2.3
. . . . .
36
2.4
. . . . .
37
2.5
37
2.6
. . . . .
39
2.7
. . . . .
40
z 7 z
2.8
Efeito da aplicao
em uma grade . . . . . . . . . . . . . . . . .
42
3.1
46
3.2
47
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.4
3.5
3.6
Imagem de
[z, q, r, s]
. . . .
47
. . . . . . . . . . . . . . . .
48
52
f = F M F 1
M
5.1
Ilustrao da composio
. . . . . . . . . . . . . . .
62
5.2
63
5.3
64
5.4
. . . . . . . . . .
64
5.5
. . . . . . . . . . .
66
Sumrio
1 Inverso Geomtrica
19
1.1
Invertendo circunferncias
. . . . . . . . . . . . . . . . . . . . . . . . .
21
1.2
23
1.3
Preservao de ngulos . . . . . . . . . . . . . . . . . . . . . . . . . . .
24
1.4
. . . . . . . . . . . . . . . . . . . . .
26
1.5
. . . . . . . . . . . . . . . . . . . . . .
28
33
2.1
Projeo estereogrca . . . . . . . . . . . . . . . . . . . . . . . . . . .
33
2.2
36
2.3
. . . . . . .
38
2.4
. . . . . . . . . . . . . . . . . .
41
3 Transformaes de Mbius
43
3.1
Resultados bsicos
. . . . . . . . . . . . . . . . . . . . . . . . . . . . .
46
3.2
Razo cruzada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
50
Representao matricial
4.2
53
. . . . . . . . . . . . . . . . . . . . . . . . . .
53
Coordenadas homogneas
. . . . . . . . . . . . . . . . . . . . . . . . .
54
4.3
Autovalores e autovetores
. . . . . . . . . . . . . . . . . . . . . . . . .
55
4.4
. . . . . . . . . . . .
5 Visualizao e Classicao
58
61
5.1
A ideia principal
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
61
5.2
63
5.3
. . . . . . . . . . . . .
65
5.4
Transformaes parablicas
. . . . . . . . . . . . . . . . . . . . . . . .
66
5.5
Calculando o multiplicador . . . . . . . . . . . . . . . . . . . . . . . . .
67
5.6
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, vericaremos
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 classicao das transformaes de Mbius em quatro tipos,
a saber, elptica, hiperblica, loxodrmica e parablica. Tal classicao leva em conta
a existncia de pontos xos para estas transformaes, e faz uso de um nmero complexo
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
e uma esfera
em ,
em
atravs
para uma
1 Inverso Geomtrica
Neste captulo apresentaremos uma transformao geomtrica do plano no plano,
a saber, a inverso geomtrica.
de raio
e centro
q.
Denio 1.1.
de
Observe que, se
que
R,
C,
e centro
pertence
ento a distncia de
p = IC (p)
R2 /
q
p = p
RL
em relao reta
L.
IK
Notemos que:
(i) a reta
RL (z)
RL (z);
permanece xo;
aplicao identidade.
19
RL (z) RL (z)
Inverso Geomtrica
20
z
K
IK
RL
z
(a)
(b)
RL
IK
e inverso
e sua reexo
K,
IK
mais o efeito de
IK
se parece com o de
RL .
e a distncia de
K.
ze = IK (z)
so
Propriedade 1.2.
a e b (ambos diferentes
e
aqb e bqe
a so semelhantes.
Demonstrao. Seja
de
q)
em
a, b
e
a
eb
respectivamente, ento os
e raio
R.
a e b dois
e
a = IC (a) e eb =
Sejam
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)
a
q
R
b
b
Figura 1.3: Tringulos semelhantes
4aqb 4ebqe
a
Invertendo circunferncias
Propriedade 1.3.
Sejam
21
d(e
a, eb) =
K.
R2
d(q, a)d(q, b)
e
a = IK (a)
eb = IK (b)
suas
d(a, b).
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).
L
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).
Proposio 1.4.
Se uma reta
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
o ponto de interseo de
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
L.
qe
a
IK
paralela
L.
Teorema 1.6.
K,
por
Se uma circunferncia
q.
Demonstrao. Sejam
aplica
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
23
Denio 1.7.
K.
K.
Proposio 1.8.
a prpria circunferncia
C.
tangente
interceptando
em
a,
K,
ortogonal
de centro
K,
e raio
em relao
R,
b,
K,
e uma circun-
isto , a reta
e pelo ponto
de
ze.
b
C,
intercepta
z0
a
K
K
(b) Inverso de z por meio de interseo
de circunferncias ortogonais a K
Inverso Geomtrica
24
Proposio 1.9.
A imagem
ze de z
K.
C1
C2
ortogonais
so invariantes.
contendo
z.
Assim,
z 6= q ,
ze deve
o segundo ponto
e que so ortogonais
pertencer
C1
C2 ,
pois ambas
Denio 1.10.
Sejam
C1
C2
C1
C2
em
C1
de
o ngulo entre
respectivamente.
Analogamente, se
ngulo agudo
de
Proposio 1.11.
C1
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,
que estas duas retas formam ngulos congruentes com a semirreta de origem
por
p.
K2
T2
pe
T1
K1
q passando
Preservao de ngulos
Na gura 1.8a, os pontos
25
L.
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 reetidos em pontos simtricos em
relao reexo de L.
reexo em relao reta
M,
obtemos os pontos
C
a
L
b
L
a
e
K
RM
IC
Mostremos agora que a reexo 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
Proposio 1.13.
de circunferncias ortogonais.
Demonstrao. Dividiremos a demonstrao em trs casos. Fixemos
circunferncia de inverso, com centro em
Caso 1:
q.
K 1 e K2
como sendo a
no passem pelo
Caso 2:
centro de inverso
em
pe.
q.
K1
K2
passem pelo
O resultado segue de modo anlogo ao caso 1, apenas observando que estas duas
T10
T20 .
Inverso Geomtrica
26
Caso 3:
suponhamos que
K1
2.
K2 .
Nesta caso
Nesta seo, obteremos resultados anlogos aos obtidos at o momento, que tratam
da inverso em relao a uma esfera.
a,
L.
q,
em relao esfera
E,
e o plano
um plano
Denio 1.14.
Observamos que, assim como no caso plano, o centro de inverso no pode ser
invertido.
ponto
Propriedade 1.15.
que no contm
q,
um plano
27
por
q.
Outro resultado generalizado pode ser obtido se rotacionarmos a gura 1.5 ao redor
da reta por
a.
Propriedade 1.16.
A inverso
IE
IE .
Se tomarmos uma
interceo de duas esferas, obteremos uma circunferncia no espao, que pode ento
ser invertida.
seguinte:
Propriedade 1.17.
circunferncia. Se
de
em
q.
Sob a inverso
IE ,
uma
IE (C)
Propriedade 1.18.
em relao
de
S.
Seja
Sob a inverso
IE
pontos simtricos
S.
E , as imagens
naturalmente que:
S , respectivamente.
Assim, deduzimos
Propriedade 1.19. Sob a inverso em relao a uma esfera E , cada esfera S ortogonal
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
Ento,
ortogonais.
S1
S2
S1
S2
com um plano
C1
C2
(passando pelos
C1
C2
so
, ento a inverso
bidimensional em relao C1 .
S1
idntica inverso
pe = IS1 (p)
encontra-se em
C1 ;
S1
p.
S2
C2
(ii) so ortogonais a
E.
Seja
Propriedade 1.21.
em esferas ortogonais.
Observao 1.22.
tomar
Como
S = S1 e E = S2 . Assim, IE
IE (C) = C , onde C = S E ,
preserva
e aplica
a nica possibilidade
IE (S) = S .
E.
29
lema, consideremos a gura 1.11, onde imaginamos que so dadas duas circunferncias
B
e
que so tangentes em
q.
Cn , A
B.
que tangente
A e B.
que Cn+1
C0
C1 , C2 , C3 ,
e etc, tais
C0 , C1 , C2 ,
B em q .
Cn
rn ,
C3 .
Cn
2nrn .
A gura 1.11
C2
C3
C1
6r3
C0
A
L
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
Ce3
Ae
Ce2
Ce1
Ce0
Be
Inverso Geomtrica
30
A gura 1.13
q.
Se re-
ortogonais, cada par de circunferncias centradas nos vrtices de uma mesma aresta se
interceptam ortogonalmente, tanto em
quanto na reexo de
q.
C.
Por m,
IK (C)
inverso
q
O Teorema de Ptolomeu.
em uma circunferncia.
abcd
inscrito
soma dos produtos dos lados opostos o produto das diagonais. Em smbolos
31
a),
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) =
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.
chegamos ao Teorema de
C,
e uma esfera
atravs
em
em
e com
{N }
e os pontos do plano
ou vice-versa.
{N }
33
34
S)
de
em particular,
norte de
exceto o polo
aplicado em
se aproxima de
N,
a reta
Np
Proposio 2.1.
uma reta
contida em
em
furada em
paralelo ao plano
a reta
N paralela
reta L, onde L a projeo estereogrca 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
contendo
O que se pode dizer sobre a orientao dos ngulos? Para darmos uma resposta,
devemos denir ngulos orientados na esfera. Com base na gura 2.2, o ngulo em
pb
orientado
Proposio 2.2.
1 Uma
Projeo estereogrca
35
pelos pontos de
C,
O,
N O.
S a esfera de raio 2 centrada em N , ento a projeo estereogrca a restrio da inverso geomtrica em relao S . Em outras palavras,
se p um ponto de e p
b a sua projeo estereogrca em , ento pb = IS (p) e
p = IS (b
p).
Propriedade 2.3.
Se
tringulos
N px
S.
Seja
x
N
o ponto de in-
S.
Como os
d(N, pb)
d(N, p)
=
d(N, pb)d(N, x) = d(N, p)d(N, O),
d(N, O)
d(N, x)
mas sendo
por
N pbO
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)
e portanto,
p = IS (b
p)
pb = IS (p).
Conclumos ento, por meio da propriedade acima e da Propriedade 1.17, que projeo estereogrca preserva circunferncias. Note que a Proposio 2.1 tambm poderia ter sido derivada de 1.17 desta forma.
36
+1
pb
pb
+1
pb = (x, y) C.
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)
Np
N pb,
|b
p|
1
=
,
0
|p |
1Z
(2.2)
p = (X, Y, Z) 7 pb =
Y
X
,
1Z 1Z
1 Z 2,
ou seja,
em termos
das coordenadas de
(2.3)
|b
p|2 =
|p0 |2
(1 Z)(1 + Z)
1+Z
=
=
,
2
2
(1 Z)
(1 Z)
1Z
37
N
p
1
C
p0
pb
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
X=
x2
2x
,
+ y2 + 1
Y =
x2
pb na
2y
,
+ y2 + 1
(2.4)
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
(, )
(x, y, z).
N
p
r
/2
pb
pb
e da s resta encontrar
em funo de
de coordenadas
(, ),
ento
pb = rei ,
38
N pS e N 0b
p so semelhantes (caso AA), e pelo fato N Sp = /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
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-
Propriedade 2.4.
Se
pb e qb satisfazem
contida em centrada
ogrcas
unitria
na origem.
q . Para
pb e qb , na verdade, simtrica: pb = 1/b
vericarmos a armao 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
i(+)
i i
i
qb = tg
e
= tg
e e = tg
e =
2
2
2
1
1
i = 1/b
p.
e
cotg
2
em
em
39
Mas antes, vale observar que os resultados da inverso de retas podem ser
C {0},
z 7 1/z ,
se distancia da origem,
1/z
se aproxima de
0.
) e o denirmos
denir
{q}.
transformao bijetora de
z 7 1/z
Portanto, nada mais natural do que dizer que uma reta uma
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 estereogrcas 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
atravs do plano-xz .
dois
pontos conjugados de
C,
os tringulos retngulos
b
z
zb
40
Agora, considere
ncia unitria
z 7 ze = 1/z ,
seo vertical de
tomada atravs de
Propriedade 2.6.
z em C.
para .
e do ponto
K, de
equatorial, C.
bidimensional) em relao
b
ze
zb
ze = 1/
z
obtendo:
Proposio 2.7.
esfera de
A aplicao
z 7 1/z
em
na
IK
z 7 1/z
a composio da inverso
, portanto,
plano-xy , respectiva-
(em
ao redor deste
eixo.
41
Por exemplo, a Proposio 2.7 mostra que a inverso complexa preserva tais ngulos
em
N,
e por isso dito ser conforme no innito. 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.
At o momento, pensamos em
como no pargrafo anterior,
mesma esfera.
pontos de um
C,
ou seja,
z -plano
w-plano.
w-esfera).
z -esfera)
zb 7 w
b
onde
um inteiro positivo. A gura 2.8a ilustra o efeito desta aplicao (no caso
n = 2)
ngulo
w-plano
para a
z -esfera
e a
w-esfera,
z -plano
e a
em
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
em
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
n.
Assim,
z 7 w = z n
Por m, podemos estudar como uma aplicao se comporta no innito, por meio
da composio com a inverso complexa. Pela Proposio 2.7, esta inverso complexa
rotaciona
0.
N =
S=
z 7 1/z
Exemplo 2.9.
Seja
particular,
(z + 1)3
f (z) = 5
.
z z
f (z)
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.
f (z)
f (z)
3 Transformaes de Mbius
O objetivo deste captulo denir 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
coecientes
coecientes
a, b, c, d
a, b, c, d
Alm disso,
a/c.
se c 6= 0,
Denio 3.1.
z 7 T (z) =
denimos
T (z) =
a, b , c
cujos
por
onde
az + b
cz + d
satisfaam
por
dada por
maes de no-singulares.
constante igual a
T : C C
em
az + b
cz + d
C ,
dada
(3.1)
ad bc 6= 0.
dadas
T (z) =
az + b
cz + d
S(z) =
z +
z +
duas tais
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.
z 7 z
T 1 : C C ,
dada por
z 7 T 1 (z) =
dz b
.
cz + a
Como a identidade
a, b, c, d no so nicos, isto , se 6= 0
az + b
a0 z + b 0
T (z) =
= 0
tambm dene a mesma
cz + d
c z + d0
43
Transformaes de Mbius
44
b0 c0 = 2 (ad bc) 6= 0,
se = 1/ ad bc,
de modo que,
ento
a0 d0 b0 c0 = 1,
a0 d 0
e neste
) dita normalizada.
a possibil-
Proposio 3.2.
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,
Lema 3.3.
A transformao de Mbius
T (z) = 1/z
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),
(3.3) como
Azz + Ez + Ez + D = 0,
onde
E = B + iC .
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, E
D,
D, E
substitudos
z = 0 no
tambm uma
circunferncia, j que
ela no passa
pela origem.
A 6= 0.
D, E 6= 0,
E 6= 0,
A = 0
A=D=0
1/z
Teorema 3.4.
4. Por m, se (3.4) descreve uma reta que passa pela origem, isto , se
e
D = 0,
T (z) =
aplica circunferncia em circunferncia.
az + b
cz + d
Transformaes de Mbius
46
Observao 3.5.
No plano estendido
ncia passando por
C ,
IK
q.
Por
q,
L,
q.
K
p
q
C.
C,
limitado
Primeiro vamos dar uma maneira til de pensar sobre esse disco. Imagine per-
correr em torno de
para
Ce.
C,
a qual
nesta orientao.
Resultados bsicos
47
Ce.
C.
conter ou no a origem.
1. Se
depende de
a mesma orientao
IK (C)
1
Ce
e nem
2. Se
K
C
0
Ce
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
Para resumir,
Proposio 3.6.
C
Ce de
e.
de C
Pontos xos
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
so as
solues de
z = M (z) =
az + b
.
cz + d
(3.6)
Mas, como esta equao equivalente a uma equao quadrtica, podemos armar que
com exceo da aplicao identidade, uma transformao de Mbius tem no mximo
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
a + d = 2, obtemos apenas =
caso c = 0.
(3.7)
ad
, o nico ponto xo.
2c
c = 0 a transformao de Mbius M
dada por
Se escrevermos
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,
> 1).
> 0)
com uma
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
Se
< 0
> 1,
Transformaes de Mbius
50
divergindo do plo sul e convergindo para o plo norte, porm, rotacionando ao redor
s retas invariantes em
C.
Sendo
paralela
(a) Elptica
(b) Hiperblica
(c) Loxodrmica
(d) Parablica
M (z)
uma
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 denidas acima.
q , r,
q 0 , r0
s0 ,
qe, re
se,
ento
ser
Razo cruzada
de Mbius
s.
Mqrs
51
q, r
para os pontos
Mqerese.
q 0 , r0
Em virtude da
M = Mqe1
rese Mqrs
uma transformao de Mbius aplicando
q, r
q 0 , r0
(3.8)
para
q 0 , r0
s0 ,
e da para
s0 =
Mqrs .
s0
e a existncia de
Mqrs
q 0 = 0, r0 = 1
qe, re e se,
[z, q, r, s].
q, r
em
0, 1
(z q)(r s)
.
(z s)(r q)
[z, q, r, s] =
Denio 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
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)
z0
M o nico
[w0 , qe, re, se] = [z0 , q, r, s].
pela transformao
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
[z, q, r, s]
a imagem de
ferncia orientada
C,
q, r
0, 1 e .
passando por
ento o interior de
w =
Se
q , r, s
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
r
s
[z, q, r, s]
pe
Ce
p
Figura 3.6: Imagem de
[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.
M (z) =
az + b
[M ] =
cz + d
"
uma matriz
a b
c d
22
M,
pois se
por
[M ]
tambm
matriz
1 Pois
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
Observao 4.1.
em
M (z) =
1
, que certamente
z
C.
R2
ou de
em
C,
R2
em
[E] =
"
1 0
0 1
A transformao de Mbius
somente se,
[M ]
E(z) = z
com matriz
[M ] =
[M ]
"
a b
c d
no singular, ou ainda,
det[M ] =
ad bc 6= 0.
dz b
,
cz + a
dada por
M 1 (z) =
[M 1 ] = [M ]1 .
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
Ao invs de expressarmos
z = x + iy
em termos de dois
z=
z1
.
z2
z1
z2 ,
isto ,
Autovalores e autovetores
55
[z1 : 0]?
z1
tomarmos
z2
Se xarmos
tendendo a
R2
para elementos de
R2
(x, y)
(x, y) de nmeros
[z, w]
para elementos de
em
C2 ,
e portanto, as matrizes
"
C2
em
C2
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
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.
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
singulares.
linear de
um vetor
C2 ,
representada por
z=
"
z1
z2
[M ] =
z.
a b
c d
Em outras
de
z1
z=
z2
aplicado em
Proposio 4.2.
z=
"
z1
z2
C2
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
xo, ento
e portanto,
c = 0, = a
"
e
z1
0
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.
conr-
representada
Autovalores e autovetores
57
k,
plausvel que
[M ] est normalizada,
M.
ento
da transformao de Mbius
2 (a + d) + 1 = 0,
(4.1)
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 ,
a + d.
Examinando os coecientes da
1 2 = 1
Portanto, se conhecermos
1 ,
1 + 2 = a + d.
obteremos
2 = 1/1 .
(4.3)
1 , 2 =
p
1
(a + d) (a + d)2 4 .
2
quadrada de ordem
tr N ,
de uma
1 2 n = det N
em que
1 , 2 , . . . , n
1 + 2 + + n = tr N,
N,
chamado de trao de
N.
!
!
!
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
e que, se
dos
58
p)
em
C2 .
Obser-
p =
p1
p2
q1
q2
q =
em
R2
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 denido no adequado para C .
Uma soluo para isto generalizar o produto escalar p q para o chamado produto
interno, denido por
hp, qi := p q = p1 q1 + p2 q2 .
Observe que a denio 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);
hp, qi := p1 q1 + p2 q2 = 0.
O que esta ortogonalidade signica em termos dos pontos
vetores das coordenadas homogneas so
so ortogonais, ento
Proposio 4.3.
1
q= ,
p
C2
q?
p=
p1
p2
q=
q1
,
q2
cujos
Dois vetores em
antipodais na esfera
(4.4)
C2
em
C2 ,
59
anloga a uma
(4.5)
onais.
Surge naturalmente a seguinte questo: qual transformao na esfera
ser in-
R?
A invarincia do produto interno descrita em (4.5) pode ser perfeitamente reformulada utilizando uma operao chamada transposta conjugada, indicada pelo sobrescrito
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
def.
def.
(4.6)
No caso de matrizes
22
simplesmente resolvendo
Assim sendo, se
induzida na esfera
R : C2 C2
arbitrria da esfera
R(z) =
az + b
.
bz + a
5 Visualizao e Classicao
Neste captulo, analisaremos a quantidade de pontos xos de uma transformao
de Mbius com o objetivo de classicar esta transformao como elptica, hiperblica,
loxodrmica ou parablica.
m,
um
M,
apresentada na
. 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 classicadas em quatro tipos, cada
est
Ob-
z 7 w = M (z),
outro membro de
Se pensarmos em
C1 ,
C1
C1
aplicada em
M.
um ponto
61
Visualizao e Classicao
62
so circunferncias pelo
e como
C2
ortogonal
C1 ,
F (z) =
z +
.
z
C1
C2
spectivamente.
w
e
w
M
e
M
e
z
0
+
F 1
C2
C1
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)
e assim
w
e = F (w) = F (M (z)) = F (M (F 1 (e
z ))),
f = F M F 1
M
f so 0
M
uma transformao de Mbius xa tais pontos, ela s pode ser da forma
m = ei
seguida de
f(e
M
z ) = me
z,
onde
por
f
M
chamado de multiplicador de
M.
M,
f,
M
como
como ver-
63
Elptica:
Dizemos que
m = ei .
Desde que
f
M
f
M
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
Hiperblica:
Dizemos que
f
M
m = 6= 0, 1.
> 1.
uma homotetia se, e somente se, deixa invariante cada reta pela origem,
f
M
C1 .
Visualizao e Classicao
64
+ )
+ ,
sendo espremida em
so trocados.
Loxodrmica:
e multiplicador
m = ei ,
m = ei e pontos xos
multiplicador m = e pontos
xos
65
em
0,
ao invs de
da transformao de Mbius
w = M (z)
Permutar
ento
f satisfaz F M = M
f F.
M
w +
=m
w
z +
z
m+ .
m+ ?
z
z +
M .
w +
1
=
w
m
m para
1
m
em
em
z +
z
(5.2)
F,
(5.1)
Assim
Recordando a denio de
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+
m+ = ei/3 .
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
C2
C1
C2
circunferncias centradas em
2
.
C1 ,
+ .
+ ,
mais as
+ m+ = > 1. Isso nos diz que o efeito local de M em uma vizinhana innitesimal
de + uma expanso centrada neste ponto. Em breve vericaremos que o fator de
a
1 Analogamente,
2 Uma
denimos m .
reta perpendicular a uma circunferncia se, e somente se, passa pelo centro desta.
Visualizao e Classicao
66
expanso precisamente
local de
1/,
1.
No entanto, no to claro
W
=m
w
Como
tende para
0, z
Z
z
=m
Z
tendem para
+ ,
w
z
e assim
W = mZ ,
como desejado.
(ou de
ou seja,
sendo
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
G(z) =
Claramente,
C1
C2
1
.
z
viamente, se aplicarmos
G1
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
f(e
ze 7 w
e=M
z ),
Como
Assim,
Mbius
denida por
f = G M G1 .
M
f,
M
deduzimos que
f(e
M
z ) = ze + p.
f s
M
p.
f.
sombreado aplicado no seguinte, por M
C1
p,
M,
C2
M (z) =
somente se,
az + b
cz + d
a + d = 2.
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.
f no
M
da forma
me
z.
az + b
.
M (z) =
cz + d
Visualizao e Classicao
68
Desde que
w = M () = a/c,
isto ,
m+ =
a c+
.
a c
+ ,
(5.3)
z 7 1/z .
Os pontos xos so as
innitesimal de cada ponto xo simplesmente rotacionada ao redor deste ponto por
um ngulo de
m,
Se
1
m + = a + d.
m
(5.4)
"
ser
pois os coecientes
# "
#
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
1/m
tambm
Mbius normalizada
elptica
M (z) =
hiperblica
a+d
loxodrmica
parablica
az + b
cz + d
real e
a+d
|a + d| < 2;
real e
a+d
|a + d| > 2;
complexo;
a + d = 2.
69
(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 +
= cos(/2) ( + + ) + i sen(/2) ( + ) ,
a+d
um nmero complexo.
um nico multiplicador.
a + d = 2.
p
(a + d)2 4 = 0,
ou seja,
[M ]
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.
Proposio 5.1.
autovalor
Se um ponto xo de
M.
[M ]
est
Mais precisamente,
m = 1/2 .
Antes de provarmos este resultado, vejamos como ca o caso da inverso complexa
M : z 7 1/z .
m = 1.
= 1,
"
[M ] =
" #
z
vetor
,
1
#
0 i
.
i 0
ento
Visualizao e Classicao
70
"
#" #
" #
0 i 1
1
=i
i 0 1
1
z = 1
"
so
"
#
1
.
1
Desde que
#" #
" #
0 i 1
1
= i
,
i 0
1
1
= i,
m e so razes
2 .
Entretanto, no
n n,
diz
se
De fato,
+ 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
[M ]
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+ ,
, 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