01234 23

0 Introdução

Historicamente, uma das razões principais atrás de descoberto de novos conjun-

tos dos números é resolução das equações algébricas. Para denir o conjunto dos
números complexos devemos considerar a seguinte equação:

(0.1) x2 + 1 = 0.

Evidentemente esta equação não possui solução em conjunto de números reais R.

Portanto precissamos denir um número cujo quadrado seja igual −1. Vamos supor
que existe algum conjunto numérico C contendo R e também um número i cujo
quadrado vale −1, ou seja:
i2 = −1 .

Nesse suposto conjunto, assumindo que temos uma soma e um produto, estendendo
a soma e o produto de R, é razoável esperarmos que para a, b, c, d ∈ R tenhamos:

(a + bi) + (c + di) = (a + c) + (b + d)i,

(a + bi) · (c + di) = ac + adi + bci + bdi2 = ac + adi + bci + bd × (−1)

= (ac − bd) + (ad + bc)i .

Diremos que:
a + bi = c + di ⇐⇒ a = c e b = d,

de forma que este suposto conjunto C esteja em correspondência biunívoca com R2 ,

ou sej:

R2 ←→ C

(a, b) ↔ a + bi .

Esta é a inspiração para a criação do corpo dos números complexos.

4
0 1 2 3041425

674849 0
3728529 7238295 3718519 7138195
6748 0
728 827 718 817
1  0 67 0
71 17 7
2  0 67 0
72 27 7
1 67 048 0
718 817 
8 7 718 77 
2 67 048 0
728 827 
8 7 728 727 
2 1 674849 0
7238195 7281729 3718529 7291829
30415 30425
 0
12345
0678123459234 3

7123453712345 0
 712 234 45
712244324 245
0
103 35 712345
712345712345 712345 0

15715

1 5 7 1 5

7
 012314514312
3 67879 3

6879

3 15689
156 8 9
15689
567879
1256
 89
 

3
12 614319512 14312 1
68389 

0 6879 
 0 1234567

0 823957 829

039 7 3 72

0 9 2

829 9 8
387 8 387
38729  3872 
 01234056 78405
01 449 6564 6951
54 6 5

16 

16  
12345 78451 
 10 1 2
1345 6 717
1
717389 1 5 1 34 56
1325  1 325  1 32 5 

7173110

9 1 3 150

1

 1 3 10

1

 1 130
1

 151 3151
012345647845647

012239 0439 949 90439 949  043 949 043 949

01222348 9498

0239456479894599479

03
484

0239498949 4
8

0223458 94497

02223 4 8 4 
8

4
8 999
0213
 49 
8
 01 02
301402353013430236

789 2
79   
8  6
 0 123 04516

7894

78 7 04 0 0
7 7
087 123 04516
7
7804516 123
0 7
7 0
56 606 056
7
01234356

012787479

0 28

12 8 
0
12  
012  
1
1 218 
 012345678 69 7 
0 12345637 8 69 37 
30 1 30


1
1
1
 1  
 01 23
04 501 3
01561789 1  1
 01
  1 7  1 7
0561 89
4
   
5 04 501  0
 0 12 34
9 4 9 4
153678 0  8 0  340

1 4 3
✷ ❋✉♥$%❡' ❍♦❧♦♠♦,❢❛'

✷✳✶ ❘❡✈✐'(♦ ❞❡ +♦♣♦❧♦❣✐❛ ❞♦ ♣❧❛♥♦✱ ❧✐♠✐+❡ ❡ ❝♦♥+✐♥✉✐❞❛❞❡ ❞❛'

❢✉♥67❡' ✈❡+♦8✐❛✐' f : R2 → R2

❱✐♠♦$ ♥❛ $❡()♦ ❛♥*❡+✐♦+ ,✉❡ ❝♦♠♦ ❝♦♥❥✉♥*♦ ♦ ❝♦+♣♦ ❞♦$ ♥2♠❡+♦$ ❝♦♠♣❧❡①♦$ *❡♠
✐❞❡♥*✐✜❝❛()♦ ❝♦♠ ♦ ♣❧❛♥♦ ❝❛+*❡$✐❛♥♦ +❡❛❧✳ ■$*♦ ♥♦$ ♣❡+♠✐*❡ ❞♦*❛+ C ❝♦♠ ❛ *♦♣♦❧♦❣✐❛
❞❡ R2✳ ❊♠ $❡❣✉✐❞❛✱ ❞✐$❝✉*✐+❡♠♦$ ❜+❡✈❡♠❡♥*❡ ❛❧❣✉♥$ ❝♦♥❝❡✐*♦$ *♦♣♦❧=❣✐❝♦$ ❞❡ R2
♥❡❝❡$$>+✐♦$ ❛♦ ❡$*✉❞♦ ❞♦ ❝>❧❝✉❧♦ ❞❡ ❢✉♥(@❡$ ❞❡ ✉♠❛ ✈❛+✐>✈❡❧ ❝♦♠♣❧❡①❛✱ ❢❛③❡♥❞♦ ❝♦♥✲
*✉❞♦ ❛ *+❛❞✉()♦ ♣❛+❛ C ❛*+❛✈C$ ❞❛ ✐❞❡♥*✐✜❝❛()♦ ❛❝✐♠❛ ❝✐*❛❞❛✳ ❙)♦ ❜♦❛$ ❛$ ❝❤❛♥❝❡$
❞♦ ❡$*✉❞❛♥*❡ ❥> *❡+ ✈✐$*♦ ❛ ♠❛✐♦+✐❛ ❞♦$ *=♣✐❝♦$ ❞❡$*❛ $❡()♦✱ ♣♦+ ❡①❡♠♣❧♦ ❡♠ ❣+❛❞❡$
❝♦♠♦ ❈>❧❝✉❧♦ ❡♠ ♠❛✐$ ❞❡ ✉♠❛ ✈❛+✐>✈❡❧✱ ❊$♣❛(♦$ ▼C*+✐❝♦$✱ ❚♦♣♦❧♦❣✐❛✱ ❡*❝✳
❉❡✜♥✐%&♦ ✷✳✶✳ ❙❡❥❛♠ z 0 ∈ C ❡ r ∈ R>0 := (0, ∞)✳ ❈❤❛♠❛✲)❡ ❞✐)❝♦ ❛❜❡/0♦ ♦✉ ❜♦❧❛
❛❜❡/0❛ ❞❡ ❝❡♥0/♦ z0 ❡ /❛✐♦ r ♦ ❝♦♥❥✉♥0♦

D(z0 , r) = {z ∈ C : |z − z0 | < r}

❡ ❞❡ ❞✐)❝♦ ❢❡❝❤❛❞♦ ♦✉ ❜♦❧❛ ❢❡❝❤❛❞❛ ❞❡ ❝❡♥0/♦ z0 ❡ /❛✐♦ r ♦ ❝♦♥❥✉♥0♦

D(z0 , r) = {z ∈ C : |z − z0 | ≤ r} .

❊①❡♠♣❧♦ ✷✳✶✳ ❘❡♣/❡)❡♥0❡ ❣/❛✜❝❛♠❡♥0❡ ♦) ❝♦♥❥✉♥0♦) D(0, 2) ❡ D(2 + i, 1)✳

✶
❉❡✜♥✐%&♦ ✷✳✷✳ ❙❡❥❛♠ S ✉♠ &✉❜❝♦♥❥✉♥+♦ ❞❡ C ❡ z 0 ∈ S ✳ ❉✐③❡♠♦& 1✉❡ z0 2 ♣♦♥+♦
✐♥+❡4✐♦4 ❞❡ S &❡ ❡①✐&+✐4 r > 0 +❛❧ 1✉❡ D(z0 , r) ⊂ S ✳ ❉❡♥♦+❛4❡♠♦& ♣♦4 int (S) ♦
❝♦♥❥✉♥+♦ ❞❡ +♦❞♦& ♦& ♣♦♥+♦& ✐♥+❡4✐♦4❡& ❞❡ S ✳

❊①❡♠♣❧♦ ✷✳✷✳ ❉❡+❡4♠✐♥❡ int (D(z0 , r)) ❡ int (D(z0 , r))✳

❉❡✜♥✐%&♦ ✷✳✸✳ ❯♠ &✉❜❝♦♥❥✉♥+♦ A ❞❡ C 2 ❝❤❛♠❛❞♦ ✉♠ ❝♦♥❥✉♥+♦ ❛❜❡4+♦ &❡ A =

int (A)✳

■♥"✉✐"✐✈❛♠❡♥"❡✱ ❞✐③❡, -✉❡ A . ❛❜❡,"♦ 1✐❣♥✐✜❝❛ -✉❡ "♦❞♦1 ♦1 ♣♦♥"♦1 1✉✜❝✐❡♥"❡♠❡♥"❡

♣,6①✐♠♦1 ❞❡ ✉♠ ♣♦♥"♦ z∈A "❛♠❜.♠ ♣❡,"❡♥❝❡♠ ❛ A✳

❊①❡♠♣❧♦ ✷✳✸✳ ❙❡❣✉❡ ❞❛ ❞❡✜♥✐;<♦ 1✉❡ ∅, D(z , r) ❡0

D∗ (z0 , r) := {z ∈ C : 0 < |z − z0 | < r}

&<♦ ❡①❡♠♣❧♦& ❞❡ ❝♦♥❥✉♥+♦& ❛❜❡4+♦&✳ ❊&+❡ >❧+✐♠♦ 2 ❝❤❛♠❛❞♦ ❞❡ ❞✐&❝♦ ❛❜❡4+♦ ❢✉4❛❞♦
❞❡ ❝❡♥+4♦ z0 ❡ 4❛✐♦ r✳ ❚❛♠❜2♠ 2 ❛❜❡4+♦ ♦ ❝♦♥❥✉♥+♦ {z ∈ C : Re (z) > 0}✳ ◗✉❛❧1✉❡4
❞✐&❝♦ ❢❡❝❤❛❞♦ D(z0 , r) ♥<♦ 2 ✉♠ ❝♦♥❥✉♥+♦ ❛❜❡4+♦✳

✷
❖❜"❡$✈❛'(♦ ✷✳✶✳ ❆!"❛✈%& ❞❛ ✐❞❡♥!✐✜❝❛-.♦ ❡♥!"❡ C ❡ R ❥1 ❝✐!❛❞❛✱ ♦❜&❡"✈❡ 4✉❡ ♣❡❧❛
2

♥♦&&❛ ❞❡✜♥✐-.♦ ✉♠ ❝♦♥❥✉♥!♦ A ⊂ C % ❛❜❡"!♦ &❡✱ ❡ &♦♠❡♥!❡ &❡✱ A % ❛❜❡"!♦ ✈✐&!♦ ❝♦♠♦
&✉❜❝♦♥❥✉♥!♦ ❞❡ R2✳ :♦" ❡①❡♠♣❧♦✱ ❡&❝"❡✈❡♥❞♦ z0 = x0 + y0i✱ ♦ ❞✐&❝♦ ❛❜❡"!♦ D(z0, r) %
✐❞❡♥!✐✜❝❛❞♦ ❝♦♠ ♦ 4✉❡ ❝♦&!✉♠❛♠♦& !❛♠❜%♠ ❝❤❛♠❛" ❞❡ ❜♦❧❛ ❛❜❡"!❛ ❞❡ ❝❡♥!"♦ (x0, y0)
❡ "❛✐♦ r > 0 ❞❡ R2
B(x0 , y0 ; r) = {(x, y) ∈ R2 : (x, y) − (x0 , y0 ) < r}
p
= {(x, y) ∈ R2 : (x − x0 )2 + (y − y0 )2 < r} .

❋❡♥>♠❡♥♦ &❡♠❡❧❤❛♥!❡ ♦❝♦""❡ ♣❛"❛ ♦✉!"♦& ❝♦♥❝❡✐!♦& !♦♣♦❧?❣✐❝♦& 4✉❡ ✈❡"❡♠♦& ❛

&❡❣✉✐"✳
-$♦♣♦"✐'(♦ ✷✳✶✳ ❆ ✉♥✐.♦ ❞❡ ✉♠❛ ❝♦❧❡-.♦ ❛"❜✐!"1"✐❛ ❞❡ ❝♦♥❥✉♥!♦& ❛❜❡"!♦& % ✉♠
❝♦♥❥✉♥!♦ ❛❜❡"!♦✳ ❆ ✐♥!❡"&❡-.♦ ❞❡ ✉♠❛ ❝♦❧❡-.♦ ✜♥✐!❛ ❞❡ ❝♦♥❥✉♥!♦& ❛❜❡"!♦& % ✉♠
❝♦♥❥✉♥!♦ ❛❜❡"!♦✳
❉❡✜♥✐'(♦ ✷✳✹✳ ❉✐③✲&❡ 4✉❡ ♦ ♣♦♥!♦ z ∈ C % ❛❞❡"❡♥!❡ ❛♦ ❝♦♥❥✉♥!♦ X ⊂ C 4✉❛♥❞♦
❡①✐&!❡ ✉♠❛ &❡4✉D♥❝✐❛ ❞❡ ♣♦♥!♦& xn ∈ X !❛✐& 4✉❡ n→∞
lim xn = z ✳ ❈❤❛♠❛✲&❡ ❢❡❝❤♦ ❞♦
❝♦♥❥✉♥!♦ X ⊂ C ♦ ❝♦♥❥✉♥!♦ X ❢♦"♠❛❞♦ ♣♦" !♦❞♦& ♦& ♣♦♥!♦& ❛❞❡"❡♥!❡& ❛ X ✳

✸
 ❈♦♠♦ #♦❞♦ ♣♦♥#♦ x ∈ X '❡ ❡'❝*❡✈❡ x = n→∞lim xn ✱ ♦♥❞❡ xn = x ♣❛*❛ #♦❞♦ n✱ ✈❛❧❡
'❡♠♣*❡ X ⊂ X ✳ ❙❡❣✉❡ ✐♠❡❞✐❛#❛♠❡♥#❡ ❞❛ ❞❡✜♥✐56♦ 7✉❡ ✉♠ ♣♦♥#♦ z ∈ C 8 ❛❞❡*❡♥#❡
❛♦ ❝♦♥❥✉♥#♦ X ⊂ C '❡✱ ❡ '♦♠❡♥#❡ '❡✱ ♣❛*❛ #♦❞♦ r > 0✱ #❡♠♦'
D(z, r) ∩ X 6= ∅ .

❉❡✜♥✐%&♦ ✷✳✺✳ ❉✐③❡♠♦& '✉❡ ♦ ❝♦♥❥✉♥,♦ F ⊂ C - ❢❡❝❤❛❞♦ &❡ F = F ✳

❆''✐♠✱ F '❡*; ❢❡❝❤❛❞♦ 7✉❛♥❞♦ ♦ ❧✐♠✐#❡ ❞❡ #♦❞❛ '❡7✉>♥❝✐❛ ❞❡ ♣♦♥#♦' ❞❡ F 8 ❛✐♥❞❛
✉♠ ♣♦♥#♦ ❞❡ F ✳
❊①❡♠♣❧♦ ✷✳✹✳ ❙❡❣✉❡ ❞❛ ❞❡✜♥✐67♦ '✉❡ C ❡ D(z , r) &7♦ ❡①❡♠♣❧♦& ❞❡ ❝♦♥❥✉♥,♦& ❢❡✲
0

❝❤❛❞♦&✳ ❚❛♠❜-♠ - ❢❡❝❤❛❞♦ ♦ ❝♦♥❥✉♥,♦ {z ∈ C : Re (z) ≥ 0}✳ ◗✉❛❧'✉❡? ❞✐&❝♦ ❛❜❡?,♦

D(z0 , r) ♥7♦ - ✉♠ ❝♦♥❥✉♥,♦ ❢❡❝❤❛❞♦✳

✹
 ❖! ❝♦♥❝❡✐'♦! ❞❡ ❛❜❡+'♦ ❡ ❢❡❝❤❛❞♦ ♥.♦ ❝♦♥!'✐'✉❡♠ ✉♠❛ ❞✐❝♦'♦♠✐❛✳ 2♦+ ❡①❡♠♣❧♦✱ ♦
❝♦♥❥✉♥'♦ D(z0, r) − {z0}✱ 8✉❡ ♣♦❞❡+9❛♠♦! ❝❤❛♠❛+ ❞❡ ❞✐!❝♦ ❢❡❝❤❛❞♦ ❢✉+❛❞♦ ❞❡ ❝❡♥'+♦
z0 ❡ +❛✐♦ r✱ ♥.♦ : ❛❜❡+'♦ ❡ '❛♠❜:♠ ♥.♦ : ❢❡❝❤❛❞♦✳

!♦♣♦$✐&'♦ ✷✳✷✳ ❙❡❥❛ S ⊂ C✳ ❊♥'(♦ S * ❢❡❝❤❛❞♦ /❡✱ ❡ /♦♠❡♥'❡ /❡✱ /❡✉ ❝♦♠♣❧❡✲
♠❡♥'❛6 C \ S * ❛❜❡6'♦✳

!♦♣♦$✐&'♦ ✷✳✸✳ ❆ ✐♥'❡6/❡:(♦ ❞❡ ✉♠❛ ❝♦❧❡:(♦ ❛6❜✐'6;6✐❛ ❞❡ ❝♦♥❥✉♥'♦/ ❢❡❝❤❛❞♦/ *

✉♠ ❝♦♥❥✉♥'♦ ❢❡❝❤❛❞♦✳ ❆ ✉♥✐(♦ ❞❡ ✉♠❛ ❝♦❧❡:(♦ ✜♥✐'❛ ❞❡ ❝♦♥❥✉♥'♦/ ❢❡❝❤❛❞♦/ * ✉♠
❝♦♥❥✉♥'♦ ❢❡❝❤❛❞♦✳
❉❡✜♥✐&'♦ ✷✳✻✳ ❙❡❥❛♠ z ∈ C ❡ X ⊂ C✳ ❉✐③❡♠♦/ ?✉❡ z * ✉♠ ♣♦♥'♦ ❞❡ ❛❝✉♠✉❧❛:(♦
❞❡ X /❡ ♣❛6❛ '♦❞♦ r > 0✱ '❡♠♦/

D∗ (z, r) ∩ X 6= ∅ .

❊♠ ♦✉'+❛! ♣❛❧❛✈+❛!✱ z : ♣♦♥'♦ ❞❡ ❛❝✉♠✉❧❛=.♦ ❞❡ X !❡ '♦❞♦ ❞✐!❝♦ ❛❜❡+'♦ ❝❡♥'+❛❞♦

❡♠ z ❝♦♥':♠ ♣♦♥'♦! ❞❡ X ❞✐❢❡+❡♥'❡! ❞❡ z✳

❊①❡♠♣❧♦ ✷✳✺✳ ❈♦♥/✐❞❡6❡ ♦ ❝♦♥❥✉♥'♦ F = {z0} ❢♦6♠❛❞♦ ♣♦6 ✉♠ A♥✐❝♦ ♣♦♥'♦ z0 ∈ C✳

❚❡♠♦/ ?✉❡ z0 * ✉♠ ♣♦♥'♦ ❛❞❡6❡♥'❡ ❛ F ✭❞❡ ❢❛'♦ F * ❢❡❝❤❛❞♦✮✱ ♣♦6*♠ z0 ♥(♦ * ♣♦♥'♦
❞❡ ❛❝✉♠✉❧❛:(♦ ❞❡ F ✳ ❖ ❝♦♥❥✉♥'♦ ❞♦/ ♣♦♥'♦/ ❞❡ ❛❝✉♠✉❧❛:(♦ ❞♦ ❞✐/❝♦ ❛❜❡6'♦ D(z0 , r)
* ♦ ❞✐/❝♦ ❢❡❝❤❛❞♦ D(z0 , r)✱ ♦✉ /❡❥❛✱ ❝♦✐♥❝✐❞❡ ❝♦♠ ♦ ❢❡❝❤♦ ❞❡ D(z0 , r)✳

✺
❉❡✜♥✐%&♦ ✷✳✼✳ ❙❡ x ∈ X ♥#♦ % ✉♠ ♣♦♥)♦ ❞❡ ❛❝✉♠✉❧❛.#♦ ❞❡ X ✱ ❞✐③❡♠♦2 3✉❡ x %
✉♠ ♣♦♥)♦ ✐2♦❧❛❞♦ ❞❡ X ✳ ◗✉❛♥❞♦ )♦❞♦2 ♦2 ♣♦♥)♦2 ❞❡ X 2#♦ ✐2♦❧❛❞♦2✱ ❞✐③❡♠♦2 3✉❡ X
% ✉♠ ❝♦♥❥✉♥)♦ ❞✐2❝7❡)♦✳

❊①❡♠♣❧♦ ✷✳✻✳ ❚❡♠♦2 3✉❡ Z ⊂ C % ✉♠ ❝♦♥❥✉♥)♦ ❞✐2❝7❡)♦✳ ❖ ❝♦♥❥✉♥)♦

2

 
1 1
X= + i:n∈N
n n
)❛♠❜%♠ % ❞✐2❝7❡)♦✱ ❡ )❡♠ ❛ ♦7✐❣❡♠ ❞❡ C ❝♦♠♦ <♥✐❝♦ ♣♦♥)♦ ❞❡ ❛❝✉♠✉❧❛.#♦✳

12♦♣♦3✐%&♦ ✷✳✹✳ ❙❡❥❛ z ✉♠ ♣♦♥)♦ ❡ X ✉♠ 2✉❜❝♦♥❥✉♥)♦ ❞❡ C✳ ❚❡♠♦2 3✉❡ z %

♣♦♥)♦ ❞❡ ❛❝✉♠✉❧❛.#♦ ❞❡ X 2❡✱ ❡ 2♦♠❡♥)❡ 2❡✱ ♣♦❞❡♠♦2 ❡2❝7❡✈❡7 z = lim xn ✱ ♦♥❞❡
n→∞
xn ∈ X − {z}✳

❉❡✜♥✐%&♦ ✷✳✽✳ ❙❡❥❛♠ z ∈ C ❡ S ⊂ C✳ ❉✐③❡♠♦2 3✉❡ z % ✉♠ ♣♦♥)♦ ❢7♦♥)❡✐7❛ ❞❡ S

2❡ ♣❛7❛ )♦❞♦ r > 0 ✈❛❧❡

D(z, r) ∩ S 6= ∅ ❡ D(z, r) ∩ (C \ S) 6= ∅ .

❉❡♥♦$❛&❡♠♦( ♦ ❝♦♥❥✉♥$♦ ❞♦( ♣♦♥$♦( ❢&♦♥$❡✐&❛( ❞❡ S ♣♦& ∂S ✳ ❙❡❣✉❡ ✐♠❡❞✐❛$❛♠❡♥$❡

❞❛ ❞❡✜♥✐45♦ 6✉❡ ∂S = S ∩ C \ S ✱ ❡ ♣♦&$❛♥$♦ ♣❡❧❛ 9&♦♣♦(✐45♦ ✷✳✸ ❛ ❢&♦♥$❡✐&❛ ❞❡
6✉❛❧6✉❡& ❝♦♥❥✉♥$♦ < (❡♠♣&❡ ✉♠ ❝♦♥❥✉♥$♦ ❢❡❝❤❛❞♦✳
❊①❡♠♣❧♦ ✷✳✼✳ ❉❡)❡7♠✐♥❡ ❛ ❢7♦♥)❡✐7❛ ❞♦2 ❝♦♥❥✉♥)♦2 D(z , r)✱ D(z , r) ❡ {z ∈ C :
0 0

Re (z) > 0}✳

✻
❉❡✜♥✐%&♦ ✷✳✾✳ ❯♠ "✉❜❝♦♥❥✉♥)♦ ♥*♦ ✈❛③✐♦ D ⊂ C / ❝❤❛♠❛❞♦ ✉♠ ❞♦♠2♥✐♦ "❡ D /
❛❜❡4)♦✱ ❡ ❛❧/♠ ❞✐""♦ ❞❛❞♦" 7✉❛✐"7✉❡4 ❞♦✐" ♣♦♥)♦" ❞✐")✐♥)♦" ❞❡ D✱ ❡①✐")❡ ✉♠ ❝❛♠✐♥❤♦
♣♦❧✐❣♦♥❛❧ ✐♥)❡✐4❛♠❡♥)❡ ❝♦♥)✐❞♦ ❡♠ D ✉♥✐♥❞♦ ❡""❡" ❞♦✐" ♣♦♥)♦"✳
■♥❢♦$♠❛❧♠❡♥)❡✱ ♣♦❞❡♠♦- ❞✐③❡$ 0✉❡ ✉♠ ❞♦♠2♥✐♦ D 3 ✉♠ ❝♦♥❥✉♥)♦ ❛❜❡$)♦ ❝♦♥-✲

)✐)✉2❞♦ ❞❡ ✉♠ 8♥✐❝♦ ✧♣❡❞❛:♦✧✳ <❛$❛ ♦- ❧❡✐)♦$❡- ♠❛✐- ❢❛♠✐❧✐❛$✐③❛❞♦- ❝♦♠ ♥♦:=❡- ❞❡

)♦♣♦❧♦❣✐❛✱ ✉♠ ❞♦♠2♥✐♦ D 3 -✐♠♣❧❡-♠❡♥)❡ ✉♠ ❝♦♥❥✉♥)♦ ❛❜❡$)♦ ❡ ❝♦♥❡①♦✳

❊①❡♠♣❧♦ ✷✳✽✳ ❚❡♠♦" 7✉❡ C✱ D(z , r) ❡ C

0
∗
"*♦ ❡①❡♠♣❧♦" ❞❡ ❞♦♠2♥✐♦✳
= C − {0}
❏> ♦" ❛❜❡4)♦" C \ R ❡ A = D(0, 12 ) ∪ D(1, 12 ) ♥*♦ "*♦ ❞♦♠2♥✐♦"✳

❉❡✜♥✐%&♦ ✷✳✶✵✳ ❯♠ ❞♦♠2♥✐♦ D / ❞✐)♦ "✐♠♣❧❡"♠❡♥)❡ ❝♦♥❡①♦ "❡✱ ♣❛4❛ 7✉❛❧7✉❡4 ❝✉4✈❛
❢❡❝❤❛❞❛ ❝♦♥)✐❞❛ ❡♠ D✱ ❛ 4❡❣✐*♦ ❧✐♠✐)❛❞❛ ♣♦4 ❡❧❛ ❡")> ✐♥)❡✐4❛♠❡♥)❡ ❝♦♥)✐❞❛ ❡♠ D✳
❊①❡♠♣❧♦ ✷✳✾✳ ❙❡❣✉❡ 7✉❡ C ❡ D(z , r) "*♦ ❡①❡♠♣❧♦" ❞❡ ❝♦♥❥✉♥)♦" "✐♠♣❧❡"♠❡♥)❡
0

❝♦♥❡①♦"✳ A♦4 ♦✉)4♦ ❧❛❞♦✱ 7✉❛❧7✉❡4 ❞✐"❝♦ ❢✉4❛❞♦ D∗(z0, r) ♥*♦ / "✐♠♣❧❡"♠❡♥)❡ ❝♦♥❡①♦✳

✼
✷✳✶✳✶ ■❞❡♥'✐✜❝❛♥❞♦ ❛❜❡.'♦/ ❡ ❢❡❝❤❛❞♦/

❖ !❡❣✉✐♥'❡ ♠)'♦❞♦ ♣❡-♠✐'❡ ❡♠ ❜♦❛ ♣❛-'❡ ❞❛! ✈❡③❡! ❥✉!'✐✜❝❛- 5✉❡ ✉♠ ❝♦♥❥✉♥'♦ )
❛❜❡-'♦ ♦✉ ❢❡❝❤❛❞♦✳ ❊♠ ❣❡-❛❧✱ ❞❛❞❛ 5✉❛❧5✉❡- ❢✉♥<=♦ ❝♦♥'>♥✉❛ f : R2 → R ❡ 5✉❛❧5✉❡-
a ∈ R✱ '❡♠♦! 5✉❡ ♦! ❝♦♥❥✉♥'♦!

{(x, y) : f (x, y) 6= a}, {(x, y) : f (x, y) < a}, {(x, y) : f (x, y) > a}

!=♦ ❛❜❡-'♦! ❞❡ R2 ❡ ♦! ❝♦♥❥✉♥'♦!

{(x, y) : f (x, y) = a}, {(x, y) : f (x, y) ≥ a}, {(x, y) : f (x, y) ≤ a}

!=♦ ❢❡❝❤❛❞♦! ❞❡ R2✳

?❡❧❛ ?-♦♣♦!✐<=♦ ✷✳✶✱ ❛ ✉♥✐=♦ ❞❡ ✉♠❛ ❝♦❧❡<=♦ ❛-❜✐'-B-✐❛ ❜❡♠ ❝♦♠♦ ❛ ✐♥'❡-!❡<=♦
❞❡ ✉♠ ♥C♠❡-♦ ✜♥✐'♦ ❞❡ ❝♦♥❥✉♥'♦! ❞♦ ♣-✐♠❡✐-♦ '✐♣♦ ) ❛✐♥❞❛ ✉♠ ❝♦♥❥✉♥'♦ ❛❜❡-'♦✳
❉❡ ❢♦-♠❛ !✐♠✐❧❛-✱ ♣❡❧❛ ?-♦♣♦!✐<=♦ ✷✳✸✱ ❛ ✐♥'❡-!❡<=♦ ❞❡ ✉♠❛ ❝♦❧❡<=♦ ❛-❜✐'-B-✐❛ ❜❡♠
❝♦♠♦ ❛ ✉♥✐=♦ ❞❡ ✉♠ ♥C♠❡-♦ ✜♥✐'♦ ❞❡ ❝♦♥❥✉♥'♦! ❞♦ !❡❣✉♥❞♦ '✐♣♦ ) '❛♠❜)♠ ✉♠
❝♦♥❥✉♥'♦ ❢❡❝❤❛❞♦✳ ❉❡ ❢❛'♦✱ ❜♦❛ ♣❛-'❡ ❞♦! ❡①❡♠♣❧♦! ❞❡ ❝♦♥❥✉♥'♦! ❛❜❡-'♦! ❡ ❢❡❝❤❛❞♦!
5✉❡ ❡♥❝♦♥'-❛♠♦! ❛♦ ❧♦♥❣♦ ❞❡ ♥♦!!♦! ❡!'✉❞♦! !=♦ ❞❛❞♦! ❞❡!!❛ ❢♦-♠❛✳ ❉❛❞❛ ❛❣♦-❛
✉♠❛ ❢✉♥<=♦ f : C → R✱ ❛♦ ❢❛③❡-♠♦! ❛ ✐❞❡♥'✐❝❛<=♦ ✉!✉❛❧ ❞❡ C ❝♦♠ R2✱ ♣♦❞❡♠♦! ❡♠
C❧'✐♠❛ ❛♥B❧✐!❡ ❝♦♥!✐❞❡-❛-♠♦! 5✉❡ '❡♠♦! ✉♠❛ ❢✉♥<=♦ ❞❡ R2 ❡♠ R✳ ❙❡ ❡!'❛ C❧'✐♠❛ ❢♦-
❝♦♥'>♥✉❛✱ ♣♦❞❡♠♦! ❛'-❛✈)! ❞❛ ♠❡!♠❛ ❣❡-❛-♠♦! ❝♦♥❥✉♥'♦! ❛❜❡-'♦! ❡ ❢❡❝❤❛❞♦! ❝♦♠♦
❞❡!❝-✐'♦ ❛❝✐♠❛✳ ❱❡❥❛♠♦! ✉♠ ❡①❡♠♣❧♦✳
❊①❡♠♣❧♦ ✷✳✶✵✳ ❯!✐❧✐③❡ ❛ ♦❜)❡*✈❛,-♦ ❛❝✐♠❛ ♣❛*❛ ♠♦)!*❛* 1✉❡ D(z0 , r) ❡ D∗(z0, r)
)-♦ ❝♦♥❥✉♥!♦) ❛❜❡*!♦)✱ ❡ D(z0, r) 6 ✉♠ ❝♦♥❥✉♥!♦ ❢❡❝❤❛❞♦✳

✽
✷✳✷ ▲✐♠✐%❡ ❡ ❝♦♥%✐♥✉✐❞❛❞❡ ❞❛- ❢✉♥/0❡- ✈❡%♦2✐❛✐- f : R2 → R2
❙❡❥❛ A ✉♠ &✉❜❝♦♥❥✉♥+♦ ❞❡ C✳ ❯♠❛ ❢✉♥01♦ f : A → C 2 ❝❤❛♠❛❞❛ ❞❡ ❢✉♥01♦ ❝♦♠♣❧❡①❛
❞❡ ✈❛8✐:✈❡❧ ❝♦♠♣❧❡①❛✳ ❆♦ ✐❞❡♥+✐✜❝❛8 ♦& ♣♦♥+♦& ❞❡ C ❝♦♠ ♦& ♣♦♥+♦& ❞♦ ♣❧❛♥♦ R2 ✱ ❡♠
>❧+✐♠❛ ❛♥:❧✐&❡ ♣♦❞❡♠♦& ❝♦♥&✐❞❡8❛8 ?✉❡ +❛✐& ❢✉♥0@❡& &1♦ ❞❛ ❢♦8♠❛ f : A → R2 ✱ ♦♥❞❡
A 2 ✉♠ &✉❜❝♦♥❥✉♥+♦ ❞❡ R2 ✳

❉❡✜♥✐%&♦ ✷✳✶✶✳ ❙❡❥❛ f : A ⊂ R2 → R2 ❡ (x0 , y0 ) ✉♠ ♣♦♥)♦ ❞❡ ❛❝✉♠✉❧❛-.♦ ❞❡

A✳ ❉✐③❡♠♦3 4✉❡ ♦ ❧✐♠✐)❡ ❞❡ f 4✉❛♥❞♦ (x, y) )❡♥❞❡ ❛ (x0 , y0 ) 5 (a, b) ∈ R2 3❡✱ ❞❛❞♦
4✉❛❧4✉❡7 ♥8♠❡7♦ ε > 0✱ 5 ♣♦339✈❡❧ ❡♥❝♦♥)7❛7 ✉♠ ♥8♠❡7♦ δ > 0✱ ❞❡ ♠♦❞♦ 4✉❡ 3❡

0 < (x, y) − (x0 , y0 ) < δ ❡♥).♦ f (x, y) − (a, b) < ε .

◆❡33❡ ❝❛3♦ ❡3❝7❡✈❡♠♦3

lim f (x, y) = (a, b) .
(x,y)→(x0 ,y0 )

❉❛❞❛ ✉♠❛ ❢✉♥01♦ f : A ⊂ R2 → R2 ✱ ♣♦❞❡♠♦& ❡&❝8❡✈B✲❧❛& ❛+8❛✈2& ❞❡ ❝♦♠♣♦♥❡♥+❡&

f (x, y) = (u(x, y), v(x, y))✱ ♦♥❞❡ u, v : A → R✳ ❱❛❧❡

+,♦♣♦.✐%&♦ ✷✳✺✳ ❉❛❞❛ f : A ⊂ R 2

→ R2 ❡ (x0 , y0 ) ✉♠ ♣♦♥)♦ ❞❡ ❛❝✉♠✉❧❛-.♦ ❞❡ A✱
)❡♠♦3 4✉❡
lim f (x, y) = (a, b)
(x,y)→(x0 ,y0 )

3❡✱ ❡ 3♦♠❡♥)❡ 3❡✱

lim u(x, y) = a ❡ lim v(x, y) = b .

(x,y)→(x0 ,y0 ) (x,y)→(x0 ,y0 )

✾
✷✳✷ ▲✐♠✐%❡ ❡ ❝♦♥%✐♥✉✐❞❛❞❡ ❞❛- ❢✉♥/0❡- ✈❡%♦2✐❛✐- f : R2 → R2
❙❡❥❛ A ✉♠ &✉❜❝♦♥❥✉♥+♦ ❞❡ C✳ ❯♠❛ ❢✉♥01♦ f : A → C 2 ❝❤❛♠❛❞❛ ❞❡ ❢✉♥01♦ ❝♦♠♣❧❡①❛
❞❡ ✈❛8✐:✈❡❧ ❝♦♠♣❧❡①❛✳ ❆♦ ✐❞❡♥+✐✜❝❛8 ♦& ♣♦♥+♦& ❞❡ C ❝♦♠ ♦& ♣♦♥+♦& ❞♦ ♣❧❛♥♦ R2 ✱ ❡♠
>❧+✐♠❛ ❛♥:❧✐&❡ ♣♦❞❡♠♦& ❝♦♥&✐❞❡8❛8 ?✉❡ +❛✐& ❢✉♥0@❡& &1♦ ❞❛ ❢♦8♠❛ f : A → R2 ✱ ♦♥❞❡
A 2 ✉♠ &✉❜❝♦♥❥✉♥+♦ ❞❡ R2 ✳

❉❡✜♥✐%&♦ ✷✳✶✶✳ ❙❡❥❛ f : A ⊂ R2 → R2 ❡ (x0 , y0 ) ✉♠ ♣♦♥)♦ ❞❡ ❛❝✉♠✉❧❛-.♦ ❞❡

A✳ ❉✐③❡♠♦3 4✉❡ ♦ ❧✐♠✐)❡ ❞❡ f 4✉❛♥❞♦ (x, y) )❡♥❞❡ ❛ (x0 , y0 ) 5 (a, b) ∈ R2 3❡✱ ❞❛❞♦
4✉❛❧4✉❡7 ♥8♠❡7♦ ε > 0✱ 5 ♣♦339✈❡❧ ❡♥❝♦♥)7❛7 ✉♠ ♥8♠❡7♦ δ > 0✱ ❞❡ ♠♦❞♦ 4✉❡ 3❡

0 < (x, y) − (x0 , y0 ) < δ ❡♥).♦ f (x, y) − (a, b) < ε .

◆❡33❡ ❝❛3♦ ❡3❝7❡✈❡♠♦3

lim f (x, y) = (a, b) .
(x,y)→(x0 ,y0 )

❉❛❞❛ ✉♠❛ ❢✉♥01♦ f : A ⊂ R2 → R2 ✱ ♣♦❞❡♠♦& ❡&❝8❡✈B✲❧❛& ❛+8❛✈2& ❞❡ ❝♦♠♣♦♥❡♥+❡&

f (x, y) = (u(x, y), v(x, y))✱ ♦♥❞❡ u, v : A → R✳ ❱❛❧❡

+,♦♣♦.✐%&♦ ✷✳✺✳ ❉❛❞❛ f : A ⊂ R 2

→ R2 ❡ (x0 , y0 ) ✉♠ ♣♦♥)♦ ❞❡ ❛❝✉♠✉❧❛-.♦ ❞❡ A✱
)❡♠♦3 4✉❡
lim f (x, y) = (a, b)
(x,y)→(x0 ,y0 )

3❡✱ ❡ 3♦♠❡♥)❡ 3❡✱

lim u(x, y) = a ❡ lim v(x, y) = b .

(x,y)→(x0 ,y0 ) (x,y)→(x0 ,y0 )

✾
❉❡✜♥✐%&♦ ✷✳✶✷✳ ❈♦♥#✐❞❡'❡ f : A ⊂ R2 → R2 ✱ ♦♥❞❡ A ) ✉♠ ❝♦♥❥✉♥.♦ ❛❜❡'.♦✳
❉✐③❡♠♦# 4✉❡ f ) ❝♦♥.5♥✉❛ ♥♦ ♣♦♥.♦ (x0, y0) ∈ A #❡

lim f (x, y) = f (a, b) .

(x,y)→(x0 ,y0 )

◗✉❛♥❞♦ f ) ❝♦♥.5♥✉❛ ❡♠ .♦❞♦# ♦# ♣♦♥.♦# ❞❡ A✱ ❞✐③❡♠♦# #✐♠♣❧❡#♠❡♥.❡ 4✉❡ f ) ✉♠❛

❢✉♥:;♦ ❝♦♥.5♥✉❛✳
+,♦♣♦.✐%&♦ ✷✳✻✳ ❙❡❥❛ f : A ⊂ R 2
→ R2 ✱
♦♥❞❡ A ) ✉♠ #✉❜❝♦♥❥✉♥.♦ ❛❜❡'.♦✳ ❊#❝'❡✲
✈❡♥❞♦ f = (u, v)✱ .❡♠♦# 4✉❡ f ) ❝♦♥.5♥✉❛ ❡♠ (x0 , y0 ) ∈ A #❡✱ ❡ #♦♠❡♥.❡ #❡✱ u ❡ v
#;♦ ❝♦♥.5♥✉❛# ❡♠ (x0, y0 )✳

✶✵
2 Funções Holomorfas

2.1 Funções Complexas

Denição 2.1. Seja A um subconjunto de C. Chamamos de função complexa de

variável complexa a toda função f : A → C. Assim, a cada z ∈ A associamos um
elemento w = f (z) ∈ C.

O conjunto A é chamado domínio de f , enquanto que o conjunto imagem de f

é denido por
f (A) = {w ∈ C : w = f (z), z ∈ A} .

Exemplo 2.1. f : C → C, f (z) = z 2 , ∀z ∈ C.

Exemplo 2.2. f : C∗ → C, f (z) = z1 , ∀z ∈ C∗ .

Quando nada é falado a respeito do domínio de uma expressão f (z), conveciona-

mos que nesse caso o domínio da função é o conjunto de todos os números complexos
para os quais a expressão dada tem sentido. Assim, por exemplo, f (z) = z 2 +1
z
e
g(z) = |z|
Re z
possuem domínios C∗ e C \ {yi : y ∈ R}, respectivamente.

Parte real e parte imaginária de f

Como temos uma identicação de C com R2 , dada uma função f : A ⊂ C → C
podemos expressá-la em termos de sua parte real e de sua parte imaginária, ou seja,
representamos f na forma
f = u + iv,

onde u(z) = Re(f (z)) e v(z) = Im(f (z)), para todo z ∈ A. Escrevendo z = (x, y),
podemos considerar u e v como funções reais de duas variáveis reais, u, v : A ⊂
R2 → R.

Exemplo 2.3. Seja f : C → C, f (z) = z 2 + z + 1. Então

f (z) = (x + iy)2 + (x + iy) + 1 = x2 − y 2 + 2xyi + x + iy + 1 =

= (x2 − y 2 + x + 1) + i(2xy + y)

1
onde temos que
u : R2 → R, u(x, y) = x2 − y 2 + x + 1

é a parte real de f , enquanto

v : R2 → R, v(x, y) = 2xy + y

é a parte imaginária de f .

Exemplo 2.4. f (z) = z+1

z

Exemplos de funções complexas

Uma função da forma
f (z) = an z n + · · · + a1 z + a0 ,

onde a0 , a1 , . . . , an são números complexos, é dita polinomial. Assim o domínio de

qualquer função polinomial é C. Se an 6= 0, dizemos que f é uma função polinomial
de grau n. Observe que não denimos o grau para o polinômio identicamente nulo
f (z) = 0.

2
Exemplo 2.5. A função f (z) = z + b geometricamente representa uma translação
pelo número complexo b. Se b = 0 temos a chamada função identidade.

Exemplo 2.6. A função f (z) = az , onde a é um número complexo de módulo

igual a 1, geometricamente representa uma rotação (pelo ângulo correspondente ao
argumento de a).

Exemplo 2.7. A função f (z) = az , onde a é um número real não nulo, geometri-
camente representa uma homotetia. Dizemos que f é uma dilatação se a > 1 e uma
contração se 0 < a < 1.

Dada uma função f : A → C, dizemos que z0 ∈ A é um zero de f (ou uma raiz

de f ) se f (z0 ) = 0. Por exemplo, 1 é o único zero da função f (z) = z + 2z − 3.

Proposição 2.1. Seja f (z) = an z n + · · · + a1 z + a0 uma função polinomial não

identicamente nula. Se z0 ∈ C é uma raiz de f , então existe um número natural m
e uma função polimonial g tal que

f (z) = (z − z0 )m g(z) ,

para todo z ∈ C, com g(z0 ) 6= 0. Em outras palavras, z0 não é raiz de g . O número

m é chamado de multiplicidade de z0 como raiz de f .

3
 Veremos mais tarde o teorema fundamental da álgebra, que arma que toda
função polinomial de grau n ≥ 1 possui pelo menos uma raiz em C. Provaremos
também que os zeros de uma função holomorfa qualquer se enquadram em uma
situação parecida à da Proposição 2.1.
Uma função
an z n + · · · + a1 z + a0
f (z) = ,
bm z m + · · · + b1 z + b0
onde a0 , a1 , . . . , an , b0 , b1 , . . . , bm são números complexos, sendo que b0 , b1 , . . . , bm não
são todos nulos ao mesmo tempo, é dita racional. Assim, o domínio de uma função
racional é o conjunto formado pelos elementos de C para os quais o denominador
não se anula. Observe também que as funções polinomiais se enquadram como um
caso particular de funções racionais.

Exemplo 2.8. A função racional f (z) = z

z 2 +1
tem domínio C \ {i, −i}.

Limite e continuidade das funções complexas

Vamos em seguida denir o limite de uma função complexa de variável complexa.
Seja f : A ⊂ C → C, z0 = x0 + y0 i um ponto de acumulação de A e L = L1 + L2 i
uma constante complexa. Baseado no que já observamos, que f pode ser vista como
função de A ⊂ R2 em R2 , podemos nos perguntar se faz sentido dizer que

lim f (z) = L
z→z0

4
se
lim u(x, y) = L1 e lim v(x, y) = L2 ,
(x,y)→(x0 ,y0 ) (x,y)→(x0 ,y0 )

onde u e v são as partes real e imaginária de f , respectivamente. Por este ponto

de vista estamos, digamos, tirando vantagem do nosso conhecimento de limites de
funções de duas variáveis reais. A resposta é sim, mas é conveniente darmos uma
denição em termos da variável complexa diretamente.

Denição 2.2. Seja f : A ⊂ C → C e z0 um ponto de acumulação de A. Dizemos

que o limite de f quando z tende a z0 é L ∈ C se, dado qualquer número ε > 0, é
possível encontrar um número δ > 0, de modo que se

0 < |z − z0 | < δ então f (z) − (z0 ) < ε .

Nesse caso escrevemos

lim f (z) = L .
z→z0

Assim como no cálculo em uma variável real, podemos mostrar a partir da de-
nição que se lim f (z) = L e lim f (z) = M , então L = M . Em outras palavras, o
z→z0 z→z0
valor do limite quando existe é único. Veremos em breve que outras propriedades pa-
recidas com a do cálculo em uma variável real também ocorrem, com demonstrações
similares.

Exemplo 2.9. Mostremos que z→0

lim f (z) = 1, para f : C∗ → C denida por

3z Re z
f (z) = + 1.
2|z|

Nossa digressão inicial torna-se então uma proposição.

5
Proposição 2.2. Seja f : A ⊂ C → C e z0 = x0 + y0 i um ponto de acumulação de
A. Escrevamos

f (x + iy) = u(x, y) + iv(x, y) e L = L1 + L2 i ∈ C .

Então temos que

lim f (z) = L ⇐⇒ lim u(x, y) = L1 e lim v(x, y) = L2 .

z→z0 (x,y)→(x0 ,y0 ) (x,y)→(x0 ,y0 )

Exemplo 2.10. Usando a proposição anterior, mostremos que não existe z→0
lim |z|z .

Proposição 2.3. Sejam f, g : A ⊂ C → C e z0 um ponto de acumulação de A.

Suponhamos que lim f (z) = L e lim g(z) = M . Então
z→z0 z→z0

(a) lim cf (z) = cM , para qualquer c ∈ C.

z→z0

(b) lim (f (z) ± g(z)) = L ± M .

z→z0

(c) lim f (z)g(z) = LM .

z→z0

(d) lim f (z)

= L
, caso M 6= 0.
z→z0 g(z) M

(e) lim Re f (z) = Re L e lim Im f (z) = Im L.

z→z0 z→z0

(f) lim f (z) = L e lim f (z) = |L|.

z→z0 z→z0

6
Exemplo 2.11. Calculemos lim .
z +z 2
Re |z+i|
z→i

Proposição 2.4 (Propriedade do Anulamento para limite complexo). Sejam f :

A → C, z0 um ponto de acumulação de A, e g : A → C uma função limitada. Se
f possui limite nulo quando z tende a z0 , então o limite de f g quando z tende a z0
existe e este vale zero.

Observe que na última proposição não estamos supondo que existe o limite de
g(z) quando z → z0 (se assim o fosse bastaria usarmos a Proposição 2.3 (b) para
obtermos a mesma conclusão). A Proposição também é válida se supusermos que
g é limitada numa vizinhança de z0 , ou seja, existem r > 0 e M > 0 tais que
g(z) ≤ M, ∀z ∈ D(z0 , r) ∩ A.

7
Exemplo 2.12. Calculemos z→0
 
lim z sen 1
|z|2
.

Denição 2.3. Considere f : A → C, onde A ⊂ C é um conjunto aberto. Dizemos

que f é contínua no ponto z0 ∈ A se

lim f (z) = f (z0 ) .

z→z0

Quando f é contínua em todos os pontos de A, dizemos simplesmente que f é uma

função contínua.

Exemplo 2.13. Qualquer função polinomial é contínua em todo todo C, e qualquer

função racional é contínua no conjunto de pontos de C onde o denominador não se
anula. Isto é consequância da denição de continuidade que demos e da utilização
das propriedades (a), (b), (c) e (d) da Proposição 2.3. Pode-se mostrar que a função
Arg z é contínua em C \ [0, +∞) e descontínua em (0, ∞).

Proposição 2.5. Suponhamos que as funções f : A → C e g : A → C são contínuas

em um ponto z0 pertencente ao aberto A ⊂ C. Então as funções cf , onde c é um
número complexo, f ± g , f g , f /g (se g(z0 ) 6= 0 neste caso), e |f | são todas contínuas
em z0 . Em particular, se f e g são contínuas, então todas as funções listadas
anteriormente são contínuas.

8
 A respeito das funções Re f , Im f e f , podemos armar algo mais forte com
relação à continuidade.

Proposição 2.6. Seja f : A → C uma função complexa, onde A ⊂ C é um aberto,

e z0 ∈ A. São equivalentes

(a) f é contínua em z0 .

(b) Re f e Im f são contínuas em z0 .

(c) f é contínua em z0 .

Observe que a Proposição 2.6 (b) é o equivalente da Proposição 2.2 para conti-
nuidade.

Proposição 2.7. Sejam A, B ⊂ C conjuntos abertos, f : A ⊂ C e g : B → C

tais que f (A) ⊂ B . Se f é contínua em z0 ∈ A e g é contínua em f (z0 ) então
g ◦ f : A → C é contínua em z0 .

9
 Notas de Funções Complexas
Raphael Constant da Costa e Younes Nikdelan
1 2

Departamento de Análise Matemática (Dep. I),

Instituto de Matemática e Estatística (IME),
Universidade do Estado do Rio de Janeiro (UERJ),
Rua São Francisco Xavier, 524, Rio de Janeiro, Brazil / CEP: 20550-900.

1 e-mail: raphaelconstant@ime.uerj.br
2 e-mail: younes.nikdelan@ime.uerj.br

1
4 Sequências e Séries Complexas
aberto
Seja f : J ⊆ R → R uma função real e lembra que f é uma função analítica em
J se ela pode ser localmente expandida em séries de Taylor, em outras palavras, se
f é uma função innitamente derivável em J e para cada x0 ∈ J existe uma aberta
x0 ∈ Vx0 ⊆ J tal que ∀x ∈ Vx0 temos:
∞
X f (n) (x0 )
f (x) = (x − x0 )n .
n=0
n!

Por exemplo:
∞
1 X
• = xn , |x| < 1
1 − x n=0
∞
x
X xn
•e = , ∀x ∈ R
n=0
n!
∞
X (−1)n 2n+1
• sen x = x , ∀x ∈ R
n=0
(2n + 1)!

O objetivo é conseguir extender essa noção às funções complexas também. Por este
m, precisaremos às sequências e séries complexas.

4.1 Sequências e séries numéricas

Denição 4.1. Uma sequência numérica de números complexos é uma função:

w : N → C.

Para simplicar a notação, denotamos o n-ésimo termo w(n) por wn e escrevemos

a sequência como w1 , w2 , w3 , . . . ou (wn ).

Exemplo 4.1. • Sequência constante:

• Progressão aritmética:

30
 • Progressão geométrica:

• Sequências denidas recursivamente:

• Sequências sem termo geral explicito:

Observação 4.1. Dizemos que uma sequência (zn ) é limitada se o conjunto {z1 , z2 , z3 , . . .} ⊂
C é limitado, i.e.,
∃ K ∈ R t.q |zn | < K , ∀ n ∈ N .

Caso contrário, dizemos que (zn ) é ilimitada.

Denição 4.2. Dizemos que a sequência (zn ) converge a z ∈ C, e escrevemos

lim zn = z ou zn −→ z , se:
n→∞

∀  > 0, ∃ N ∈ N t.q se n > N =⇒ |zn − z| <  .

z chama-se o limite da (zn ). No caso que (zn ) não é convergente, é dita que (zn ) é
divergente.

31
Proposição 4.1. Seja (zn ) uma sequência em C com zn = an + ibn , onde (an ) e
(bn ) são duas sequências em R.

lim zn = z = a + ib ⇐⇒ lim an = a e lim bn = b

n→∞ n→∞ n→∞

Exemplo 4.2. Vamos estudar a convergência das seguintes sequências:

1−2i


• n

32
 3−4i


• n−i

4+3i n



• 5

Observação 4.2. 1) O limite de uma sequência convergente é único.

2) Qualquer sequência convergente é limitada.

33
3) Se zn −→ z , então |zn | −→ |z|.

4) zn −→ 0 ⇐⇒ |zn | −→ 0.

Proposição 4.2. Sejam (zn ) e (wn ) duas sequências em C satisfazendo zn −→ z e

wn −→ w. Então:

1) n→∞
lim (czn ) = cz, ∀ c ∈ C.

2) n→∞
lim (zn + wn ) = z + w.

3) n→∞
lim (zn · wn ) = z · w.

4) n→∞
lim ( w1n ) = w1 , desde que w 6= 0.

5) n→∞
lim ( wznn ) = wz , desde que w 6= 0.

34
Proposição 4.3. Seja (zn )uma sequência em C satisfazendo zn −→ z e seja f :
D ⊆ C → C uma função contínua em z tal que {z1 , z2 , z3 , . . .} ⊆ D. Então:

lim f (zn ) = f (z) .

n→∞

Corolário 4.1. Se zn −→ z , então |zn | −→ |z|.

35
Teorema 4.1. (Critério de Cauchy) Seja (zn )uma sequência em C. Temos:

(zn ) converge ⇐⇒ (∀ > 0 , ∃N ∈ N t.q n, m ≥ N =⇒ |zm − zn | <  ) .

Podemos associar a uma sequência (zn ) em C outra nova sequência (sn ), chamada
sequência das somas parciais de (zn ) denida por sn = (anote que, depen-
Pn
j=1 zj

dendo de contexto, a índice n da (zn ) pode começar de 0, ou seja, n ∈ N0 := N∪{0},

e neste caso sn = = 0, 1, 2, 3, . . .).
Pn
j=0 zj , n

Denição 4.3. Uma série numérica em C é a sequência (sn ) de somas parci-

ais gerada por uma sequência numérica (zn ) em C, e a denotamos por .
P∞
n=0 zn

Se sn −→ s, para algum s ∈ C, dizemos que a série converge a s e escrevemos

n=0 zn = s.
P∞

36
Observação 4.3. Considere a série , onde zn = xn + iyn . Então a sé-
P∞
n=0 zn

rie de números complexos converge se e somente se as séries xn e

P∞ P∞
n=0 zn n=0

yn de números reais convergem. Portanto para estudar a convergência das sé-

P∞
n=0

ries complexas podemos usar os fatos e critérios conhecidos de Cálculo para as séries
de números reais (teste da Integral, teste da comparação, teste da comparação do
limite, critério da comparação de razões, teste da divergência, teste da razão (crité-
rio de d'Alembert), série alternada (critério de Leibnitz), testes de Abel e Dirichlet,
Série telescópica, série geométrica, séries harmônica e hiper-harmônica (p-série)).

Proposição 4.4. (Teste da divergência) Se a série de números com-

P∞
n=0 zn

plexos converge, então zn −→ 0.

37
Observação 4.4. Proposição 4.4 é equivalente a dizer:
∞
X
zn 9 0 =⇒ zn diverge .
n=0

Isso também implica que se (zn ) não é limitada, então diverge.

P∞
n=0 zn

Exemplo 4.3. Fixe z ∈ C e vamos estudar a convergência da série:

∞
X
zn ,
n=0

que é conhecida como série geométrica. De fato vamos observar que se |z| < 1,
então
∞
X 1
zn = ,
n=0
1−z
e se z ≥ 1, então a série geométrica diverge.

Proposição 4.5. Sejam e wn duas séries convergentes de números

P∞ P∞
n=0 zn n=0

complexos com =se wn = r. Então:

P∞ P∞
n=0 zn n=0

1) czn = cs, ∀ c ∈ C.
P∞
n=0

38
2) + wn ) = s + r.
P∞
n=0 (zn

Denição 4.4. Dizemos que a série dos números complexos é absoluta-

P∞
n=0 zn

mente convergente se a série |zn | dos números reais é convergente.

P∞
n=0

Na seguinte proposição outra vez veremos a importância dos fatos e testes relacio-
nados aos séries dos números reais com termos positivos para estudo de convergência
das séries dos números complexos.

Proposição 4.6. Se a série é absolutamente convergente, então ela é con-

P∞
n=0 zn

vergente. Além disso:

∞
X ∞
X
zn ≤ |zn | .
n=0 n=0

39
Observação 4.5. A recíproca da Proposição 4.6 não vale em geral. Por exemplo a
série
∞ n
X i
,
n=1
n
é convergente, mas não é absolutamente convergente.

Exemplo 4.4. Vamos estudar a convergência da série

∞
X
n(1 + i)n (2i)−n .
n=1

40
Proposição 4.7. Sejam e wn duas séries absolutamente convergentes
P∞ P∞
n=0 zn n=0

de números complexos com n=0 zn = s e n=0 wn = r . Para n ∈ N0 denimos

P∞ P∞

n
X
cn := zj wn−j .
j=0

Então a série , que é conhecida como o produto de Cauchy das séries s e

P∞
n=0 cn

r, é também absolutamente convergente e temos:

∞
X
cn = rs .
n=0

Para demonstração vejam Exercício 16 do Cápitulo 3 do Livro de Márcio Soares,

Cálculo em uma Variável Complexa.
Foturamente precisaremos de somas innitas de números complexos indexados
em Z, ou seja, séries da forma , onde . . . , z−2 , z−1 , z0 , z1 , z2 , . . . são números
P∞
n=−∞ zn

complexos. De fato, a série dene-se como a sequência (família) das somas

P∞
n=−∞ zn

parciais (sm,n )m,n∈N dada por:

sm,n = z−m + z−m+1 + . . . + zn−1 + zn .

Dizemos que é convergente se as séries e

P∞ P∞ P∞ P−1
n=−∞ zn n=0 zn n=1 z−n (= n=−∞ zn )

são convergentes, e assim temos:

∞
X ∞
X ∞
X
zn = z−n + zn .
n=−∞ n=1 n=0

Caso contrário, dizemos que diverge.

P∞
n=−∞ zn

Exemplo 4.5. Vamos estudar a convergência da série 2−|n| .

P∞
n=−∞

41
 Notas de Funções Complexas
Raphael Constant da Costa e Younes Nikdelan
1 2

Departamento de Análise Matemática (Dep. I),

Instituto de Matemática e Estatística (IME),
Universidade do Estado do Rio de Janeiro (UERJ),
Rua São Francisco Xavier, 524, Rio de Janeiro, Brazil / CEP: 20550-900.

1 e-mail: raphaelconstant@ime.uerj.br
2 e-mail: younes.nikdelan@ime.uerj.br

1
4.2 Séries de potências e raio de convergência
Antes de falar de séries de potências, precisamo conhecer as sequências de funções.
Uma seqência de funções complexas é uma função que associa a cada número na-
tural n ∈ N uma função complexa fn : D ⊂ C → C, que denotamos por (fn (z)),
n=0 . O fato importante relacionado às sequencias (fn (z)) é ob-
(fn (z))n∈N0 ou (fn (z))∞
ter números complexos z ∈ C para os quais a sequência (fn (z)) converge. Nosso foco,
neste texto, será concentrado sobre as sequências dadas por fn (z) = αn (z − z0 )n ,
onde (αn ) é uma seuqência de números complexos, ou seja as seqências da forma
n=0 . Observe que Dom(fn ) = C, n ∈ N0 , e se z = z0 , então
(αn (z − z0 )n )∞

fn (z) −→ 0 , ∀z ∈ C.

Observação 4.6. Se na sequência (αn (z − z0 )n )∞

n=0 fazemos a substituição w :=

n=0 . Logo, sem perder a generalidade,

z − z0 , então teremos a sequência (αn wn )∞
podemos estudar a seqência (αn z n )∞
n=0 e generalizar os resultados para a sequência

n=0 .
(αn (z − z0 )n )∞

Exemplo 4.6. Vamos estudar a convergência da sequência (αn (z − z0 )n )∞

n=0 nos

seguintes casos:
ni
• αn = , z0 = i
n!

42
 √
n
• αn = ni , z0 = 2

43
 Agora, seja sn (z) a sequência das somas parciais gerada por (αn (z − z0 )n )∞
n=0 :

Anote que cada n-ésima soma parcial sn (z) é um polinômio, e logo seu domínio é
todo plano complexo C.

Denição 4.5. A série gerado por somas parciais sn (z) de uma sequência (αn (z − z0 )n )
chama-se uma série de potências de centro em z0 (ou, centrada em z0 ), e a denota-
mos por αn (z − z0 )n . Os termos da sequência (αn ) chamam-se os coecientes
P∞
n=0

da série, e α0 é dita o termo constante da série.

Sabemos que, pela denição, para um z ∈ C a série de potências

P∞
n=0 αn (z−z0 )n
converge se a sequência de somas parciais sn (z) converge, em outras palavras:
∞
X
αn (z − z0 )n = lim sn (z) ,
n→∞
n=0

desde que o limite existir. O objetivo será encontrar o maior subconjunto de C onde
uma dada série de potências é convergente. Primeiramente, na seguinte Obsevação,
veremos que pelo menos existe um ponto onde a série é convergente.

Observação 4.7. Se z = z0 , então αn (z − z0 )n = α0 .

P∞
n=0

44
Observação 4.8. Análogo a Observação 4.6, se na série de poteência
P∞
n=0 αn (z −
z0 )n fazemos a substituição w := z−z0 , então teremos a série αn wn . Portanto,
P∞
n=0

sem perder a generalidade, podemos estudar as propriedades de série de potências

αn z n centrada em 0 e generalizá-las para série de potências
P∞ P∞
n=0 n=0 αn (z − z0 )n
centrada em z0 .

Na seguinte proposição veremos uma propriedade importante sobre convergência

das séries de potências.

Proposição 4.8. Seja αn (z − z0 )n uma série de potências centrada em z0 .

P∞
n=0

(1) Se a série converge em z1 ∈ C, (z1 6= z0 ), então ela converge absolutamente em

qualquer ponto z ∈ C satisfazendo |z| < |z1 |.

(2) Se a série diverge em z2 ∈ C, (z2 6= z0 ), então ela diverge em qualquer ponto

z ∈ C satisfazendo |z| > |z2 |.

45
46
 Dada uma série s(z) := αn (z − z0 )n , denimos:
P∞
n=0

(4.1) R := sup{|z − z0 | : s(z) é convergente}.

Anote que s(z), pelo menos, é convergente em z0 , e se não existir outro ponto z
onde s(z) seja convergente, então R = 0. Além disso, se o conjunto {z ∈ C :
s(z) é convergente} é ilimitado, então R = +∞. Pela proposição anterior, s(z) é
absolutamente convergente no disco aberto:

D(z0 , R) := {z ∈ C : |z − z0 | < R} ,

e é divergente em C \ D(z0 , R). De fato,

s : D(z0 , R) → C

z 7−→ s(z)

dene uma função complexa. Lembra que:

• se R = 0, então D(z0 , R) = D(z0 , 0) = ∅,

• se R = +∞, então D(z0 , R) = D(z0 , +∞) = C.

Denição 4.6. O número não negativo R denida em (4.1) chama-se o raio de

convergência da série s(z) (que pode ser +∞ também), e o disco aberto D(z0 , R) é
dita o disco de convergência da série s(z).

Exemplo 4.7. Vamos estudar a convergência das seguintes séries de potências:

∞
X
• n!z n
n=0

47
 ∞
X √
n
• ni(z − 2)n
n=0

48
 ∞
X ni
• (z − i)n
n=0
n!

49
 Dada uma série s(z) := αn (z −z0 )n , se trabalharmos com a correspondente
P∞
n=0

série dos módulos |αn (z − z0 )n | e usamos Teste de Razão ou Teste de Raiz,

P∞
n=0

então teremos a seguinte proposição:

Proposição 4.9. Seja s(z) := αn (z − z0 )n uma série de potências tal que
P∞
n=0

αn 6= 0, ∀n ≥ k para algum k ∈ N. Denimos:

αn+1 p
ρ := lim ou ρ := lim n |αn | ,
n→∞ αn n→∞

desde que esses limites existem. Então o raio de convergência da s(z) é dada por:
1
R= .
ρ
(anote que 1
0
= +∞ e 1
+∞
= 0).

50
Observação 4.9. Em geral, não podemos declarar nenhuma armação sobre o com-
portamento de uma série de potências sobre o bordo do seu disco de convergência
∂D(z0 , R). Por exemple, o disco de convergência da séri ∞n=0 n é D(0, 1) e para
zn
P

z = 1 ∈ ∂D(0, 1) temos a série ∞ n=0 n que diverge, mas para z = −1 ∈ ∂D(0, 1)

1
P
P∞ (−1)n
obtemos a série n=0 n
que pelo Teste das Séries Alternadas converge.

Proposição 4.10. Sejam αn (z − z0 )n e βn (z − z0 )n duas séries de po-

P∞ P∞
n=0 n=0

tências centradas em z0 com raio de convergência R1 e R2 , respectivamente. Então:

(1) Para qualquer c ∈ C, a série cαn (z − z0 )n tem raio de convergência R1 e:

P∞
n=0

∞
X ∞
X
n
cαn (z − z0 ) = c αn (z − z0 )n , ∀z ∈ D(z0 , R1 ) .
n=0 n=0

(2) βn (z−z0 )n tem raio de convergência R := min{R1 , R2 }

P∞ n
P∞
n=0 αn (z−z0 ) + n=0

e ∀z ∈ D(z0 , R) temos:
∞
X ∞
X ∞
X
n n
αn (z − z0 ) + βn (z − z0 ) = (αn + βn )(z − z0 )n .
n=0 n=0 n=0

(3) Se denimos
γn = α0 βn + α1 βn−1 + . . . + αn β0 ,

então a série γn (z − z0 )n tem raio de convergência R e temos:

P∞
n=0

∞ ∞
! ∞ !
X X X
γn (z − z0 )n = αn (z − z0 )n βn (z − z0 )n .
n=0 n=0 n=0

51
4.3 Derivada de séries de potências (série de Taylor)
O objetivo desta subseção é observar que uma série de potências é holomorfa no
seu disco de convergência e a sua derivada é dada por série gerada por derivada dos
termos dela.

Lema 4.1. Seja 0 ≤ x < 1. Então:

 0 ∞
1 X
= nxn−1 .
1−x n=1

52
Proposição 4.11. Seja f (z) = αn (z − z0 )n uma série de potências com raio
P∞
n=0

de convergência R > 0. Então a série

∞
X
g(z) = nαn (z − z0 )n−1 ,
n=1

também tem o raio de convergência R.

53
Teorema 4.2. Seja f (z) = αn (z − z0 )n uma série de potências com raio de
P∞
n=0

convergência R > 0. Então

∞
X
0
f (z) = nαn (z − z0 )n−1 .
n=1

54
Observação 4.10. Teorema 4.2 diz que uma série de potências apresenta uma
função holomorfa no interior do seu disco de convergência.

Corolário 4.2. Seja f (z) uma função dada pela série de potências
P∞
n=0 αn (z −z0 )n
no seu disco de convergência D(z0 , R) com R > 0. Então f (z) possui derivadas de
todas as ordens no disco D(z0 , R), e temos
∞
f (n) (z0 )
(4.2)
X
f (z) = (z − z0 )n , ∀z ∈ D(z0 , R) .
n=0
n!

56
Denição 4.7. Sub as hipótesis de Corolário 4.2, a série dada em (4.2) chama-se
a série de Taylor da função f (z).

Exemplo 4.8. Considere a série geométrica:

∞
1 X
f (z) = = z n , |z| < 1 .
1−z n=0

57
 Notas de Funções Complexas
Raphael Constant da Costa e Younes Nikdelan
1 2

Departamento de Análise Matemática (Dep. I),

Instituto de Matemática e Estatística (IME),
Universidade do Estado do Rio de Janeiro (UERJ),
Rua São Francisco Xavier, 524, Rio de Janeiro, Brazil / CEP: 20550-900.

1 e-mail: raphaelconstant@ime.uerj.br
2 e-mail: younes.nikdelan@ime.uerj.br

1
Denição 4.8. Seja f : D ⊆ C → C uma função complexa. Dizemos que f é
analítica em z0 ∈ C se existir R > 0 tal que f pode ser escrita como uma série de
potências centrada em z0 com raio de convergência R, em outra palavras, se existir
uma sequência (αn )n∈N0 tal que:
∞
X
f (z) = αn (z − z0 )n , ∀z ∈ D(z0 , R) .
n=0

Dizemos que f é analítica em D se ela é analítica em qualquer ponto de D.

Pelo Corolário 4.2 podemos observar que

f (n) (z0 )
αn = , ∀n ∈ N0 ,
n!

ou seja, f pode ser expressada como série de Taylor

∞
X f (n) (z0 )
f (z) = (z − z0 )n , ∀z ∈ D(z0 , R) .
n=0
n!

centrada em z0 .

Exemplo 4.9. Vamos ver que a função f (z) = z1 é uma função analítica em C∗ :

58
Proposição 4.12. Seja f (z) = αn (z−z0 )n uma série de potências com raio de
P∞
n=0

convergência R > 0 e não identicamente nula. Se f (z0 ) = 0, então existe 0 < r < R
tal que f (z) 6= 0 para qualquer z ∈ D∗ (z0 , r) (ou seja, z0 é uma raíz isolada da f (z)).

Para demonstrar esta proposição precisaremos o seguinte lema.

Lema 4.2. Seja f : D ⊆ C → C uma função complexa. Se f é contínua em z0 ∈ D

e f (z0 ) 6= 0, então existe r > 0 tal que f (z) 6= 0 para qualquer z ∈ D(z0 , r).

59
60
 .

Teorema 4.3. (Princípio da Identidade) Seja f (z) = αn (z − z0 )n uma

P∞
n=0

série com raio de convergência R > 0. Se existir uma sequência não constante
(wn )n∈N tal que f (wn ) = 0, ∀n ∈ N, e wn −→ z0 , então f é identicamente nula, ou
seja, αn = 0, ∀n ∈ N0 .

61
62
 Notas de Funções Complexas
Raphael Constant da Costa e Younes Nikdelan
1 2

Departamento de Análise Matemática (Dep. I),

Instituto de Matemática e Estatística (IME),
Universidade do Estado do Rio de Janeiro (UERJ),
Rua São Francisco Xavier, 524, Rio de Janeiro, Brazil / CEP: 20550-900.

1 e-mail: raphaelconstant@ime.uerj.br
2 e-mail: younes.nikdelan@ime.uerj.br

1
5 Integração Complexa e o Teorema de Cauchy(-

Goursat)

Teorema de Cauchy-Goursat é um dos resultados fundamentais, não só de análise

complexa, mas també de Matemática. Este teorema dá origem aos outros teoremas
e fatos importantes para funções complexas que são ausentes para funções reais. O
Teorema de Cauchy-Goursat arma que se f : U ⊂ C → C é uma função holomorfa
e γ é um caminho fechado suave por partes em U satisfazendo certas condições,
então: Z
f (z)dz = 0 .
γ
O matemático francês Augustin-Louis Cauchy provou este teorema em 1825 sob
uma hipótese adicional que considera a função derivada f 0 seja uma função contínua.
Posteriormente, em 1900, outro matemático francês Édouard Jean-Baptiste Goursat
demonstrou o teorema sem esta hipótese adicional.

5.1 Caminhos
Primeiro vamos recordar alguns fatos relacionados aos caminhos e xar nossas no-
tações. Um caminho (ou uma curva ) γ num subconjunto U ⊂ C é uma função
continua da forma:

γ :[a, b] → U

γ(t) = x(t) + iy(t)

• γ(a) é dito ponto inicial e γ(b) chama-se ponto nal do caminho.

• Se γ(a) = γ(b), dizemos que γ é um caminho fechado.

• γ ([a, b]) chama-se a trajetoria de γ e o denotamos por {γ}, ou, por abuso de
notação, simplesmente o denotamos por γ , se não houver confusão. Perceba
que {γ} é um subconjunto compacto de C, pois γ é contínua.

• Dizemos que γ é um caminho simples se ∀t1 , t2 ∈ [a, b] temos γ(t1 ) 6= γ(t2 ), com
a exceção que no caso de caminho fechado simples podemos ter γ(a) = γ(b).

65
• A orientação de γ é o sentido sobre {γ} no qual o caminho é traçado quando
o parâmetro t cresce de a para b.

• O caminho reverso de γ , denotado por γ −1 , dene-se da seguinte forma:

γ : [a, b] → U

γ −1 (t) = γ(a + b − t) = x(a + b − t) + iy(a + b − t)

Anote que {γ} = {γ −1 }, mas γ e γ −1 possuem orientações opostas.

• Sejam γ1 : [a, b] → U e γ2 : [c, d] → U dois caminhos. Dizemos que γ2

é uma reparametrização de γ1 se existe um homeomorsmo C 1 por partes
h : [c, d] → [a, b], tal que o homeomorsmo inverso h−1 : [a, b] → [c, d] também
seja C 1 por partes, e temos γ2 = γ1 ◦ h. No caso que h(c) = a e h(d) = b, é dito
que γ2 é uma reparametrização positiva, e no caso que h(c) = b e h(d) = a,
dizemos que γ2 é ua reparametrização negativa. Perceba que {γ1 } = {γ2 }.

Denotaremos por γ1 ∼ γ2 , se γ2 é uma parametrização positiva de γ1 . Observe

que "∼"é uma relação de equivalência (Exercício).
Dado um caminho, uma reparametrização positiva dele da forma γ : [0, 1] → U
chama-se uma reparametrização (caminho) normalizada. Dado um caminho

γ̃ : [a, b] → U ,

usando:

h : [0, 1] → [a, b]

h(t) = bt + (1 − t)a ,

66
 podemos encontrar a seguinte reparametrização normalizada da γ̃ :

γ = γ̃ ◦ h : [0, 1] → U .

• Sejam γ1 : [a, b] → U e γ2 : [c, d] → U dois caminhos satisfazendo γ1 (b) = γ2 (c).

Uma justaposição de γ1 com γ2 , denotada por γ1 ∗ γ2 , é qualquer representação
positiva do seguinte caminho:

γ1 ∗ γ2 : [a, b + d − c] → U

 γ (t);
1 a ≤ t ≤ b;
γ1 ∗ γ2 (t) =
 γ (t − b + c); b ≤ t ≤ b + d − c.
2

Anote que {γ1 ∗ γ2 } = {γ1 } ∪ {γ2 }. Por indução, para n caminhos

γj : [aj , bj ] → U , satisfazendo γj (bj ) = γj+1 (aj+1 ), j = 1, 2, . . . , n,

podemos denir γ1 ∗ γ2 ∗ . . . ∗ γn .

Exemplo 5.1. Sejam z, z1 , z2 , z3 ∈ C e r > 0.

1. Caminho dado pelo segmento [z1 , z2 ].

67
 2. Caminho dado pelo ∂∆, onde ∆ = ∆(z1 , z2 , z3 ) é a região delimitada pelo
triângulo com vértices z1 , z2 e z3 .

3. Caminho dado por ∂D(z, r).

Denição 5.1. Um caminho

γ :[a, b] → C

γ(t) = x(t) + iy(t)

é dito um caminho suave se ele é derivável em [a, b] e a sua derivada γ 0 é contínua em

[a, b], em outras palavras, γ é de classe C 1 em [a, b]. Um caminho suave γ : [a, b] → C
é dito regular se γ 0 (t) 6= 0, ∀t ∈ (a, b).

68
 Anote que
γ 0 (t) = x0 (t) + iy 0 (t) , ∀t ∈ (a, b) ,

γ 0 (a) = γ+0 (a) =

e
γ 0 (b) = γ−0 (b) =

Um caminho γ : [a, b] → C é dito suave por partes se existe uma partição

a = t0 < t1 < . . . < tn = b ,

do intervalo [a, b] tal que para cada k, 1 ≤ k ≤ n, o caminho

γk := γ|[tk−1 ,tk ] : [tk−1 , tk ] → C,

é suave. Assim, temos:

γ = γ1 ∗ γ2 ∗ . . . ∗ γn

Denição 5.2. Seja γ : [a, b] → C um caminho. Comprimento de γ , denotado por

l(γ), dene-se:
 


 n
n ∈ N, e 


X 
l(γ) := sup |γ(tj−1 ) − γ(tj )| : a = t0 < t1 < . . . < tn = b .
 
 j=0 é uma partição de [a, b]

 



Se l(γ) < +∞, dizemos que γ é um caminho reticável.

Observação 5.1. • Se

γ :[a, b] → C

γ(t) = x(t) + iy(t)

é um caminho suave, então ela é reticável e

Z bp
l(γ) = x0 (t)2 + y 0 (t)2 dt .
a

69
 • Em geral, l(γ) pode ser diferente que o comprimrnto de {γ}.

• Se γ = γ1 ∗ γ2 ∗ . . . ∗ γn é um caminho suave por partes, então

l(γ) = l(γ1 ) + l(γ2 ) + . . . + l(γn ) .

Lema 5.1. Seja f : U → C uma função holomorfa num domínio U ⊆ C. Se

f 0 (z) = 0, ∀z ∈ U , então f é uma função constante.

70
71
5.2 Integrais ao longo de caminhos
Seja

f :[a, b] → C

f (t) = u(t) + iv(t)

uma função complexa de uma variável real. Dizemos que f é integrável em [a, b] se
as funções reais u e v são integráveis em [a, b] e, neste caso, denimos:
Z b Z b Z b
f (t)dt = u(t)dt + i v(t)dt .
a a a

Sabemos que se u : [a, b] → R é uma função real limitada e é contínua em [a, b],
exceto num número nito dos pontos, então ela é integrável. Portanto, toda função
limitada f : [a, b] → C e contínua em [a, b], a menos num número nito dos pontos,
é integrável.

Exemplo 5.2. Vamos calcular a seguinte integral:

Z 3π
2
teit dt =
0

Proposição 5.1. Sejam f, g : [a, b] → C duas funções integráveis, α ∈ C e c ∈ (a, b).

Então:

(1) f + g é uma função integrável em [a, b] e

Z b Z b Z b
(f + g)(t)dt = f (t)dt + g(t)dt .
a a a

72
(2) αf é uma função integrável em [a, b] e
Z b Z b
(αf )(t)dt = α f (t)dt .
a a

(3) f é uma função integrável em [a, c] e [c, b], e temos

Z b Z c Z b
f (t)dt = f (t)dt + f (t)dt .
a a c

(4) |f | é uma função real integrável em [a, b] e

Z b Z b
f (t)dt ≤ |f (t)|dt .
a a

73
Observação 5.2. Seja f : [a, b] → C uma função limitida e contínua em [a, b],
a menos num número nito dos pontos. Então podemos encontrar uma prtição
a = t0 < t1 < t2 < . . . < tn = b do intervalo [a, b] tal que f seja contínua em cada
intervalo aberto (tj , tj+1 ), j = 0, 1, 2, . . . , n. Proposição 5.1(3) implica:
Z b Z t1 Z t2 Z b
f (t)dt = f (t)dt + f (t)dt + . . . + f (t)dt .
a a t1 tn−1

Proposição 5.2. Seja f : [a, b] → C uma função complexa de uma variável real.

74
(1) Se f é uma função integrável em [a, b], então a função F : [a, b] → C denida
por: Z x
F (x) := f (t)dt ,
a

é uma função contínua. Além disso, se f é contínua num ponto x ∈ [a, b],
então F é derivável em x e

F 0 (x) = f (x) .

(2) Se f 0 existe e é integrável em [a, b], então

Z b
f 0 (t)dt = f (b) − f (a) .
a

(3) Se f é contínua em [a, b] e se g : [c, b] → R, satisfazendo g([c, d]) ⊆ [a, b], é

derivável com g 0 integrável em [c, d], então:
Z d Z g(d)
0
f (g(t))g (t)dt = f (s)ds .
c g(c)

Denição 5.3. Sejam γ : [a, b] → C um caminho suave e f uma função complexa

denida e contínua sobre {γ} (i.e., f : {γ} → C é bem denida e contínua). A
integral da f ao longo de γ (ou, sobre γ ), denotada por f (z)dz , dene-se:
R
γ

Z Z b
f (z)dz = f (γ(t))γ 0 (t)dt .
γ a

Observação 5.3. (ii) f (z)dz é independente das reparametrizações positivas do

R
γ

75
 caminho γ .

(i) Sejam f (z) = u(x, y) + iv(x, y), com z = x + iy, e γ(t) = x(t) + iy(t). Então
temos:
Z Z Z
f (z)dz = udx − vdy + i udy + vdx
γ γ γ

76
(iii) Também temos:
Z Z b
l(γ) = |dz| = |γ 0 (t)| dt
γ a

Exemplo 5.3. Vamos calcular f (z)dz , onde f (z) = 1

e γ(t) é o círculo de centro
R
γ z

na origem e de raio r > 0.

77
Proposição 5.3. Sejam f : U ⊆ C → C uma função contínu, γ : [a, b] → U e
β : [c, d] → U dois caminhos suaves.

(1) Temos: Z Z
f (z)dz = − f (z)dz .
γ −1 γ

(2) Se γ ∗ β é denido, então:

Z Z Z
f (z)dz = f (z)dz + f (z)dz .
γ∗β γ β

78
.

79
.

80