Escolar Documentos
Profissional Documentos
Cultura Documentos
ICMC-USP
Verão de 2021
Demonstração:
Demonstração:
f (z) , se z 6= 0,
g (z) = z
0
f (0), se z = 0.
f (z) , se z 6= 0,
g (z) = z
0
f (0), se z = 0.
e iθ − a e iθ − a z −a
|Φa (z)| = = = = 1,
1 − āe iθ e −iθ − ā z̄ − ā
e iθ − a e iθ − a z −a
|Φa (z)| = = = = 1,
1 − āe iθ e −iθ − ā z̄ − ā
e iθ − a e iθ − a z −a
|Φa (z)| = = = = 1,
1 − āe iθ e −iθ − ā z̄ − ā
e iθ − a e iθ − a z −a
|Φa (z)| = = = = 1,
1 − āe iθ e −iθ − ā z̄ − ā
e iθ − a e iθ − a z −a
|Φa (z)| = = = = 1,
1 − āe iθ e −iθ − ā z̄ − ā
e iθ − a e iθ − a z −a
|Φa (z)| = = = = 1,
1 − āe iθ e −iθ − ā z̄ − ā
e iθ − a e iθ − a z −a
|Φa (z)| = = = = 1,
1 − āe iθ e −iθ − ā z̄ − ā
1 1 − |a|2 0
g 0 (0) = Φ0b (b)f 0 (a)Φ0−a (0) = f 0
(a)(1 − |a| 2
) = f (a).
1 − |b|2 1 − |b|2
1 1 − |a|2 0
g 0 (0) = Φ0b (b)f 0 (a)Φ0−a (0) = f 0
(a)(1 − |a| 2
) = f (a).
1 − |b|2 1 − |b|2
Segue-se que
1 − |b|2
|f 0 (a)| ≤ .
1 − |a|2
1 1 − |a|2 0
g 0 (0) = Φ0b (b)f 0 (a)Φ0−a (0) = f 0
(a)(1 − |a| 2
) = f (a).
1 − |b|2 1 − |b|2
Segue-se que
1 − |b|2
|f 0 (a)| ≤ .
1 − |a|2
Além disso, se vale a igualdade na desigualdade acima, então |g 0 (0)| = 1.
1 1 − |a|2 0
g 0 (0) = Φ0b (b)f 0 (a)Φ0−a (0) = f 0
(a)(1 − |a| 2
) = f (a).
1 − |b|2 1 − |b|2
Segue-se que
1 − |b|2
|f 0 (a)| ≤ .
1 − |a|2
Além disso, se vale a igualdade na desigualdade acima, então |g 0 (0)| = 1.
Então (pelo Lema de Schwarz), g (z) = λz, |λ| = 1, para todo
z ∈ D(0, 1).
1 1 − |a|2 0
g 0 (0) = Φ0b (b)f 0 (a)Φ0−a (0) = f 0
(a)(1 − |a| 2
) = f (a).
1 − |b|2 1 − |b|2
Segue-se que
1 − |b|2
|f 0 (a)| ≤ .
1 − |a|2
Além disso, se vale a igualdade na desigualdade acima, então |g 0 (0)| = 1.
Então (pelo Lema de Schwarz), g (z) = λz, |λ| = 1, para todo
z ∈ D(0, 1).
Isto implica que f (z) = Φ−b (λΦa (z)) para todo z ∈ D(0, 1).
SMA-Funções de uma variável complexa (ICMC-USP)
O Teorema do Módulo máximo e o Lema de Schwarz December 23, 2021 17 / 20
Teorema: Sejam f : D(0, 1) → D(0, 1) uma bijeção holomorfa e a o único
número complexo em D(0, 1) tal que f (a) = 0.
para quaisquer z, w ∈ D(0, 1). Além disso, vale a desigualdade estrita para
quaisquer z, w ∈ D(0, 1), a menos que f = λΦa para algum λ ∈ C,
|λ| = 1, e algum a ∈ D(0, 1).
SMA-Funções de uma variável complexa (ICMC-USP)
O Teorema do Módulo máximo e o Lema de Schwarz December 23, 2021 20 / 20