8.

Teorema do m
odulo m
aximo
8.1. Teorema do m
odulo m
aximo. Seja U aberto e conexo em C, e
seja f H(U ). Se existir D(a; r) U tal que
(1)

|f (z)| |f (a)|

para todo z D(a; r),

ent
ao f e constante.
Demonstrac
ao. Provaremos que f e constante em D(a; r). Como U e
conexo, o princpio de identidade (Corolario 6.2) vai garantir que f e constante em U .
Suponhamos que f nao seja constante em D(a; r). Pelo teorema da
aplicacao aberta (Teorema 7.3) f (D(a; r)) e aberto em C. Logo existe > 0
tal que D(f (a); ) f (D(a; r)). Seja w D(f (a); ) tal que |w| > |f (a)|.
Seja z D(a; r)) tal que f (z) = w. Entao |f (z)| > |f (a)|, contradizendo (1).
Logo f e constante em D(a; r), como queriamos.
8.2. Corol
ario. Seja U aberto e limitado em C, e seja f : U C
ao
contnua em U e holomorfa em U . Ent
max{|f (z)| : z U } = max{|f (z)| : z U }.
Demonstrac
ao. Como U e compacto, existe a U tal que
|f (z)| |f (a)|

para todo z U .

Se a U , nao precisamos provar mais nada. Se a U , entao, pelo teorema

do modulo maximo, f e constante em Ua , a componente conexa de U que
contem a. Seja b Ua . Entao e facil ver que b U e
|f (z)| |f (a)| = |f (b)|

para todo z U .

8.3. Lema de Schwarz. Seja f H(D), e suponhamos que f (0) = 0 e

|f (z)| 1 para todo z D. Ent
ao:
(a) |f 0 (0)| 1 e |f (z)| |z| para todo z D.
(b) Se |f 0 (0)| = 1, ou se |f (z)| = |z| para algum z D, com z 6= 0, ent
ao
existe c C, com |c| = 1, tal que f (z) = cz para todo z D.
47

Demonstrac
ao. (a) Como f (0) = 0, podemos escrever
f (z) =

cn z n

para todo z D.

n=1

Seja g definida por

g(z) =

cn z n1

para todo z D.

n=1

Entao g H(D), g(0) = c1 = f 0 (0) e

g(z) =

f (z)
z

para todo z D, z 6= 0.

Se 0 < r < 1, entao segue da hipotese que

|g(z)| =

|f (z)|
1

|z|
r

se |z| = r,

e portanto
1
r

se |z| r,

|g(z)| 1

se |z| < 1.

|g(z)|
pelo Corolario 8.2. Logo

Segue que
|f (z)| |z|

para todo z D,

e |f 0 (0)| = |g(0)| 1.
(b) Se |f 0 (0)| = 1, ou se |f (z)| = |z| para algum z D, z 6= 0, vemos
que a funcao |g| atinge seu valor maximo em 0, e e portanto constante. Logo
existe c C, com |c| = 1, tal que g(z) = c para todo z D, ou seja f (z) = cz
para todo z D.
8.4. Proposic
ao. Seja a D, seja U = {z C : z 6= 1/a}, e seja
a : U C definida por
za
a (z) =
.
1 az
Entao:
48

(a) D U , a H(U ), a (0) = a e a (a) = 0.

(b) 0a (0) = 1 |a|2 , 0a (a) = 1/(1 |a|2 ).
(c) a : D D e bijetiva, e sua inversa e a func
ao a .
(d) a (D) = D e a (D) = D.
Demonstrac
ao. Ja vimos (a) e (b) no Exerccio 1.F.
(c) Como
 it
 

 e a   eit a 
=
 = 1,
|a (e )| = 
1 aeit   eit a 
it

vemos que a (D) D, e segue do Corolario 8.2 que a (D) D.

facil verificar que a (a (z)) = z para todo z D. Segue que a : D
E
D e bijetiva, e sua inversa e a funcao a .
(d) Agora segue facilmente que a (D) = D e a (D) = D.
8.5. Teorema. Seja f : D D holomorfa e bijetiva, com f (a) = 0.
Entao existe c C, com |c| = 1, tal que f = ca .
Demonstrac
ao. Seja g : D D a inversa de f . Pelo Corolario 7.4 g e
holomorfa.
Seja F = f a . Entao F e holomorfa, F (D) D e F (0) = 0. Pelo
lema de Schwarz, |F 0 (0)| 1. Como
F 0 (0) = f 0 (a)0a (0) = f 0 (a)(1 |a|2 ),
segue que
(2)

|f 0 (a)|

1
.
1 |a|2

Seja G = a g. Entao G e holomorfa, G(D) D e G(0) = 0. Pelo lema

de Schwarz, |G0 (0)| 1. Como
G0 (0) = 0a (a)g 0 (0) =

g 0 (0)
,
1 |a|2

segue que
(3)

|g 0 (0)| 1 |a|2 .

49

Por outro lado, como g f (z) = z para cada z D, segue que

(4)

g 0 (0)f 0 (a) = 1.

De (2), (3) e (4) segue que

1 = |g 0 (0)||f 0 (a)| (1 |a|2 )

1
= 1.
1 |a|2

Logo
|g 0 (0)| = 1 |a|2 ,

|f 0 (a)| =

1
.
1 |a|2

Segue que
|F 0 (0)| = |f 0 (a)|(1 |a|2 ) = 1,
e o lema de Schwarz garante que F (z) = cz para algum c C, com |c| = 1.
Segue que
cz = F (z) = f (a (z)) para todo z D,
e portanto
para todo w D.

ca (w) = f (w)

Exerccios
8.A. Seja U aberto e conexo em C, e seja f H(U ). Suponhamos que
exista um disco D(a; r) U tal que
|f (a)| |f (z)|

para todo z D(a; r).

Prove que f (a) = 0 ou f e constante.

8.B. Seja U aberto e conexo em C, e seja f H(U ).
(a) Se Ref tem um maximo local ou um mnimo local em algum ponto
de U , prove que f e constante.
(b) Se Imf tem um maximo local ou um mnimo local em algum ponto
de U , prove que f e constante.
8.C. Seja U aberto, conexo e limitado em C, e seja f : U C uma funcao
que e contnua em U e holomorfa em U . Suponhamos que exista c 0 tal
que |f (z)| = c para todo z U . Prove que Z(f ) 6= ou f e constante.
50

8.D. Seja U aberto e limitado em C, e seja (fn )

uencia de
n=1 uma seq

funcoes que sao contnuas em U e holomorfas em U . Se (fn )n=1 converge

uniformemente em U , prove que (fn ) converge uniformemente em U .
8.E. Seja f H(D) tal que |f (z)| < 1 para todo z D. Prove que:


 f (z) f (0) 


(a)

 |z| para todo z D,
 1 f (0)f (z) 
(b)

|f (z)|

|z| + |f (0)|
1 |f (0)||z|

51

para todo z D.