Escolar Documentos
Profissional Documentos
Cultura Documentos
ICMC-USP
Verão de 2022
SMA-Funções de uma variável complexa (ICMC-USP) A esfera de Riemann December 23, 2021 1 / 18
A esfera de Riemann
Consideremos um elemento ∞ 6∈ C.
O conjunto C̄ = C ∪ {∞} é chamado de esfera de Riemann.
Os pontos de C são chamados de pontos finitos.
Um subconjunto V ⊂ C̄ é uma vizinhança de ∞ se ∞ ∈ V e existe r > 0
tal que C \ Dr (0) ⊂ V .
É fácil ver que
Uma união qualquer de vizinhanças de ∞ é uma vizinhança de ∞;
Uma interseção finita de vizinhanças de ∞ é uma vizinhança de ∞;
Para quaisquer z0 ∈ C e r ≥ 0, C̄ é uma vizinhança de ∞.
Além disso,
\ \
(C̄ \ Dr (z0 )) = (C̄ \ Dn (z0 )) = {∞}.
r ≥0 n∈N
SMA-Funções de uma variável complexa (ICMC-USP) A esfera de Riemann December 23, 2021 2 / 18
Um subconjunto A ⊂ C̄ é aberto se A é uma vizinhança de todos os
seus pontos;
Uma sequência {an }n≥1 em C̄ converge para a ∈ C̄ se para toda
vizinhança V de a existe n0 ≥ 1 (que depende de V ) tal que zn ∈ V
para todo n ≥ n0 .
Se f : A ⊂ C̄ → C̄ é uma função e z0 é um ponto de acumulação de
A, diz-se que limz→z0 f (z) = w0 ∈ C̄ se, para toda vizinhança V de
w0 , existe uma vizinhança U de z0 tal que f (U ∩ A \ {z0 }) ⊂ V .
Uma função f : A ⊂ C̄ → C̄ é contı́nua em z0 ∈ A se z0 for um ponto
isolado de A ou se z0 for um ponto de acumulação de A e
limz→z0 f (z) = f (z0 ).
SMA-Funções de uma variável complexa (ICMC-USP) A esfera de Riemann December 23, 2021 3 / 18
Exemplo: Sejam P(z) e Q(z) polinômios de uma variável complexa sem
raı́zes comuns.
A função f : C̄ → C̄, definida por
P(z)
Q(z) , se z ∈ C e Q(z) 6= 0;
f (z) = ∞, se z ∈ C e Q(z) = 0;
limw →∞ P(z) , se z = ∞,
Q(z)
SMA-Funções de uma variável complexa (ICMC-USP) A esfera de Riemann December 23, 2021 4 / 18
As homografias
f (∞) = ca , se c 6= 0;
f (∞) = ∞, se c = 0.
SMA-Funções de uma variável complexa (ICMC-USP) A esfera de Riemann December 23, 2021 5 / 18
Temos:
Segue-se que
SMA-Funções de uma variável complexa (ICMC-USP) A esfera de Riemann December 23, 2021 6 / 18
Funções holomorfas f : U ⊂ C̄ → C̄
SMA-Funções de uma variável complexa (ICMC-USP) A esfera de Riemann December 23, 2021 7 / 18
Com esta definição, uma função meromorfa f : U ⊂ C → C pode ser
considerada como uma função holomorfa f : U ⊂ C̄ → C̄.
De fato, se z0 ∈ U é um polo de f , estendemos a definição de f colocando
f (∞) = ∞.
Como limz→∞ f (z) = ∞, tal extensão é contı́nua em z0 .
Por outro lado, como
g (z)
f (z) =
(z − z0 )n
em uma vizinhança perfurada V de z0 , em que n ≥ 1, g é holomorfa em
V ∪ {∞} e g (z0 ) 6= 0, é imediato que
1 (z − z0 )n
=
f (z) g (z)
SMA-Funções de uma variável complexa (ICMC-USP) A esfera de Riemann December 23, 2021 8 / 18
Funções holomorfas f : C̄ → C̄
Teorema: Seja f : C̄ → C̄ uma função holomorfa.
(a) Se f (C̄) 6= C̄, então f é constante;
(b) Se f não é constante, então f |C é uma função racional.
SMA-Funções de uma variável complexa (ICMC-USP) A esfera de Riemann December 23, 2021 10 / 18
Seja {z1 , . . . , zn } = f −1 (w0 ) ∩ C.
Os pontos z1 , . . . , zn são polos de g = f |C̄ .
Seja rj a ordem de zj como polo de g , 1 ≤ j ≤ n.
Podemos então escrever g (z) = ḡ (z)/(z − zj )rj em uma vizinhança
perfurada de zj , em que ḡ é holomorfa e ḡ (zj ) 6= 0.
Isto implica que a função
SMA-Funções de uma variável complexa (ICMC-USP) A esfera de Riemann December 23, 2021 11 / 18
Automorfismos holomorfos de C̄
SMA-Funções de uma variável complexa (ICMC-USP) A esfera de Riemann December 23, 2021 12 / 18
Algumas propriedades das homografias
az + b (bc − ad)/c) a
S(z) = = + .
cz + d cz + d c
SMA-Funções de uma variável complexa (ICMC-USP) A esfera de Riemann December 23, 2021 13 / 18
Proposição: Toda homografia diferente da identidade tem um ou dois
pontos fixos.
Demonstração: Escreva S(z) = (az + b)/(cz + d), ad − bc 6= 0.
Então S(z) = z se, e somente se, cz 2 + (d − a)z − b = 0.
SMA-Funções de uma variável complexa (ICMC-USP) A esfera de Riemann December 23, 2021 14 / 18
Proposição: Uma homografia fica completamente determinada por seus
valores em três pontos distintos.
Demonstração: Se z1 , z2 e z3 ∈ C̄ são pontos distintos e S, T são
homografias tais que S(zi ) = T (zi ), 1 ≤ i ≤ 3, então z1 , z2 e z3 são
pontos fixos da homografia T −1 ◦ S.
Logo T −1 ◦ S é a identidade pela proposição anterior, e portanto T = S.
SMA-Funções de uma variável complexa (ICMC-USP) A esfera de Riemann December 23, 2021 15 / 18
Seja F a famı́lia cujos elementos são os cı́rculos de C e as uniões r ∪ {∞},
em que r é uma reta de C.
SMA-Funções de uma variável complexa (ICMC-USP) A esfera de Riemann December 23, 2021 16 / 18
Sejam A, C ∈ R e seja B = b1 + ib2 ∈ C tais que |B|2 > AC .
A equação
Az z̄ + Bz + B̄ z̄ + C = 0 (1)
se escreve, em coordenadas reais z = x + iy , como
Ax 2 + Ay 2 + 2b1 x − 2b2 y + C = 0,
b1 2 b2 2 AC − b12 − b22
x+ + y− + = 0.
A A A2
A + B z̄ + B̄z + Cz z̄ = 0,