Você está na página 1de 91

Universidade Estadual Paulista Jlio de Mesquita Filho

Instituto de Geocincias e Cincias Exatas


Campus de Rio Claro
Forma Cohomolgica do Teorema de Cauchy
Leda da Silva
Dissertao apresentada ao Programa de
Ps-Graduao Mestrado Prossional em
Matemtica Universitria do Departamento
de Matemtica como requisito parcial para a
obteno do grau de Mestre
Orientadora
Profa. Dra. Alice Kimie Miwa Libardi
2010
514.2
S586f
Silva, Leda da
Forma Cohomolgica do Teorema de Cauchy/ Leda da Silva- Rio
Claro: [s.n.], 2010.
89 f. : il., gs.
Dissertao (mestrado) - Universidade Estadual Paulista, Instituto
de Geocincias e Cincias Exatas.
Orientadora: Alice Kimie Miwa Libardi
1. Anlise Complexa. 2. Topologia Algbrica. 3. Teorema de
Cauchy. 4. Funes Holomorfas. 5. Primeiro Grupo de Cohomologia.
I. Ttulo
Ficha Catalogrca elaborada pela STATI - Biblioteca da UNESP
Campus de Rio Claro/SP
TERMO DE APROVAO
Leda da Silva
Forma Cohomolgica do Teorema de Cauchy
Dissertao aprovada como requisito parcial para a obteno do grau de
Mestre no Curso de Ps-Graduao Mestrado Prossional em Matemtica
Universitria do Instituto de Geocincias e Cincias Exatas da Universidade
Estadual Paulista Jlio de Mesquita Filho, pela seguinte banca examina-
dora:
Profa. Dra. Alice Kimie Miwa Libardi
Orientadora
Prof. Dr. Joo Peres Vieira
Departamento de Matemtica - Universidade Estadual Paulista "Jlio de Mesquita Filho"
Prof. Dr. Gerson Petronilho
Departamento de Matemtica - Universidade Federal de So Carlos
Rio Claro, 04 de Maio de 2010
Dedico esta dissertao ao meu exemplo de vida, Maria Helena que sempre me
estimulou a dar este grande passo. Com muita sabedoria, discernimento, bom senso e
dedicao, esteve ao meu lado me encorajando nas horas difceis e me aplaudindo nos
momentos de glria. Obrigada por ser minha me, fonte de inspirao, apoio e ensino
dirio.
Agradecimentos
Agradeo primeiramente a Deus. Obrigado pela oportunidade que me foi dada e
por estar presente em cada passo, cada detalhe e cada instante da minha vida. Faz-me
acreditar que tudo possvel na Tua presena.
Profa. Dra. Alice Libardi, orientadora desta dissertao, por todo empenho,
sabedoria, compreenso e, acima de tudo, exigncia. Obrigada por fazer dos nossos
encontros momentos prazerosos. Obrigada por me proporcionar a curiosidade e a von-
tade de uma nova descoberta. Exemplo de prossional que sabia fazer de uma simples
orientao um momento de reexo. Obrigada por acreditar no meu trabalho.
Ao meu companheiro Juliano pelo incentivo e pela conana em mim. Obrigada
pela compreenso e pelo carinho... s o meu mais el amigo... Obrigada por fazer dessa
caminhada a melhor que eu poderia ter...
Agradeo aos meus amigos da Primeira Turma de Ps-Graduao em Matemtica
Universitria... vocs foram os melhores; cada qual com sua peculiaridade, mas in-
substituveis. Em especial, Ana Claudia, Ricardo Batista, Fabrcio Tofu e Robinson...
que prazer t-los em minha vida... simplesmente os amo...no haveria palavras para
descrever quanta felicidade vocs me proporcionam!
Por m, minha querida me e irm Leila. Obrigada por vocs existirem. Obrigada
por depositarem em mim a conana para todas as horas. Sei que vocs se orgulham
por eu ter atingido uma etapa que nenhum outro de ns tinha atingido antes. Mas este
orgulho que sentem por mim, converto numa obrigao de a cada dia ser mais digna
de represent-las.
Felizes aqueles que se divertem com problemas
que educam a alma e elevam o esprito.
Fenelon
Resumo
O objetivo desta dissertao apresentar uma abordagem cohomolgica do Teorema
de Cauchy e alguns resultados equivalentes a que um subconjunto aberto e conexo de
C seja simplesmente conexo.
Ressaltamos que um dos objetivos desta dissertao, inserida no Mestrado Pros-
sional, Matemtica Universitria, estabelecer uma conexo entre as diversas reas da
Matemtica, dando uma viso global da mesma, necessria ao professor universitrio.
Desta forma, o tema escolhido "Teorema de Cauchy" um assunto visto na graduao,
porm a abordagem usando grupos de cohomologia, nmeros de voltas, espaos de re-
cobrimento, feixes de germes de funes holomorfas, contribuem para o enriquecimento
da formao da mestranda.
Palavras-chave: Anlise Complexa, Topologia Algbrica, Teorema de Cauchy, Funes
Holomorfas, Primeiro Grupo de Cohomologia.
Abstract
In this work we present a cohomological approach of the Cauchys Theorem and
also present several characterizations of simply connected domains of C.
Keywords: Complex Analysis, Algebraic Topology, Cauchys Theorem, Holomorphic
Functions, First Cohomology Group.
Lista de Figuras
2.1 Tringulo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
2.2 Domnios Estrelados . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
2.3 Caminhos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
3.1 Retngulo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
3.2 Retngulo Fechado . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
3.3 a int (R) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
3.4 D(a, r) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
4.1 Continuao Analtica de f
a
ao longo de . . . . . . . . . . . . . . . . 71
4.2 Primitiva de f sobre . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
Sumrio
1 Introduo 17
2 Teoria de Cauchy 19
2.1 Integrao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
2.2 Os Teoremas de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . . 27
3 Funes C-diferencivel e Funes Holomorfas 39
3.1 Denies e Propriedades Bsicas . . . . . . . . . . . . . . . . . . . . . 39
3.2 Integrao sobre curvas . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
3.3 Propriedades Fundamentais de Funes Holomorfas . . . . . . . . . . . 61
4 Espaos de Recobrimento 67
4.1 Espaos de Recobrimento e Levantamento de Curvas . . . . . . . . . . 67
4.2 O Feixe de Germes de Funes Holomorfas . . . . . . . . . . . . . . . . 69
4.3 Espaos de Recobrimento e Integrao ao longo de Curvas . . . . . . . 71
5 O Nmero de Voltas 75
5.1 O Nmero de Voltas . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
5.2 O Teorema do Resduo . . . . . . . . . . . . . . . . . . . . . . . . . . . 78
6 A Forma Cohomolgica do Teorema de Cauchy 81
6.1 A Forma Cohomolgica do Teorema de Cauchy . . . . . . . . . . . . . 81
7 Aplicao 87
Referncias 89
1 Introduo
O primeiro captulo deste texto dedicado a apresentar conceitos bsicos e essenciais
da teoria de funes de uma varivel complexa. Dessa forma, este estudo visto
num curso de graduao de maneira elementar. Apresentaremos aqui esta verso e a
partir do captulo seguinte, estaremos fazendo uma nova leitura desses resultados (que
so equivalentes) e apresentaremos uma abordagem usando cohomologia, que poder
motivar futuros estudos para funes de vrias variveis complexas.
Denotaremos por H() o conjunto de todas as funes holomorfas em , o qual
munido de operaes de adio, multiplicao de funes e multiplicao de funes
por constantes uma lgebra sobre o corpo complexo C.
Inicialmente, utilizaremos a frmula integral de Cauchy para estabelecer a equiva-
lncia entre os conceitos de funo holomorfa e funo C-diferencivel.
Faremos um estudo sobre Espaos de Recobrimento denindo germes de funes
holomorfas. Com isso, apresentaremos uma relao entre integrao sobre curvas e o
levantamento de curvas relativamente derivada d : O O.
Faremos um estudo sobre o nmero de voltas de uma curva em relao a um ponto
a, com o objetivo de dar uma condio equivalente ao conceito de um subconjunto
aberto e conexo ser simplesmente conexo.
Deniremos o Primeiro Grupo de Cohomologia com o objetivo de dar uma condio
suciente para a existncia de primitivas para toda f H() e provaremos a Forma
Cohomolgica do Teorema de Cauchy, cujo grupo de cohomologia denido atravs
de uma cobertura e o enunciado dado atravs de uma sequncia exata. E como
consequncia, teremos que toda funo f H() tem uma primitiva se, e somente se,
H
1
(U, C) = 0 para algum recobrimento aberto de por subconjuntos simplesmente
conexos U
i
.
Como aplicao dos resultados estudados, provaremos um teorema que caracteriza
um subconjunto simplesmente conexo.
17
2 Teoria de Cauchy
Esse captulo dedicado a apresentar os resultados fundamentais sobre funes de
uma varivel complexa. Diferentemente das funes reais, as holomorfas admitem uma
boa representao integral, isto , elas podem ser dadas nos pontos interiores a um
disco fechado por uma integral ao longo de sua fronteira, nos permitindo obter vrios
resultados.
Denio 2.1. Um caminho suave em C uma aplicao
: J C
com derivada contnua em todos os pontos de J, onde J R um intervalo da forma
J = [a, b] , a < b. A imagem (J) uma curva no plano C.
Denio 2.2. Um caminho suave por partes em C uma coleo nita de ca-
minhos suaves
1
: [a
1
, b
1
] C,
2
: [a
2
, b
2
] C, ...,
n
: [a
n
, b
n
] C, satisfazendo:

i
(b
i
) =
i+1
(a
1+i
) para 1 i n 1. Denotaremos por
1

2

n
caminhos
suaves por partes. Quando
1
(a
1
) =
n
(b
n
), dizemos que o caminho suave fechado.
Denio 2.3. Um subconjunto no vazio U C chamado um domnio se U
aberto e se, dados pontos quaisquer z
1
e z
2
em U, existe um caminho suave por partes,
inteiramente contido em U, cujos pontos inicial e nal so, respectivamente, z
1
e z
2
.
Denio 2.4. Seja f : A C, A C aberto, uma funo complexa. f holomorfa
em A se f

(z) existe para todo ponto z A.


Denio 2.5. Uma funo complexa f, denida em todo C e que holomorfa em C
chamada funo inteira.
Proposio 2.1. (Condies de Cauchy-Riemann) Se uma funo f(z) = u(x, y)+
iv(x, y) tem derivada no ponto z
0
= x
0
+iy
0
ento
u
x
(x
0
, y
0
) =
v
y
(x
0
, y
0
) e
v
x
(x
0
, y
0
) =
u
y
(x
0
, y
0
) .
19
20 Teoria de Cauchy
2.1 Integrao
Antes de falar em integrao, vamos exibir o seguinte resultado sobre diferenciao:
Lema 2.1. Sejam U C um domnio e f : U C uma funo holomorfa. Se
f

(z) = 0 em todo ponto z U, ento f uma funo constante.


Demonstrao. Fixe um ponto qualquer z
0
U. Dado z U, seja : [0, 1] U um
caminho suave por partes tal que (0) = z
0
e (1) = z. O caminho , digamos, a
justaposio dos caminhos =
1

2

n
. A funo composta f : [0, 1] C
o caminho suave por partes f = (f
1
) (f
2
) (f
n
). Vamos estudar
cada (f
i
), para 1 i n. Escrevendo f = u(x, y) +iv(x, y) e
i
(t) = x
i
(t) +iy
i
(t)
temos que
(f
i
) (t) = f (
i
(t)) = u(x
i
(t), y
i
(t)) + iv (x
i
(t), y
i
(t)) .
Considere as funes F
i
(t) = u(x
i
(t), y
i
(t)) e G
i
(t) = v (x
i
(t), y
i
(t)). Essas so funes
reais da varivel real t e, pela regra da cadeia
F

i
(t) =
u
x
(x
i
(t), y
i
(t)) x

i
(t) +
u
y
(x
i
(t), y
i
(t)) y

i
(t)
G

i
(t) =
v
x
(x
i
(t), y
i
(t)) x

i
(t) +
v
y
(x
i
(t), y
i
(t)) y

i
(t).
Agora, como f holomorfa, vale que
f

=
u
x
+i
v
x
bem como valem as condies de Cauchy-Riemann
u
x
=
v
y
e
v
x
=
u
y
.
J que f

= 0, conclumos que
u
x
=
v
y
=
v
x
=
u
y
= 0
e portanto F

i
(t) = 0 e G

i
(t) = 0. Sabemos ento, do clculo de uma varivel real, que
as funes F
i
e G
i
so constantes, ou seja, F
i
(t) =
i
e G
i
(t) =
i
. Mas como
(f
i
) (t) = F
i
(t) +iG
i
(t)
conclumos que f
i
constante, f
i
(t)
i
+ i
i
. Isso mostra que f
i
(t)
constante para todo i e, como o ponto inicial de
i+1
o ponto nal de
i
, camos com
f(z
0
) = (f
1
) (0) = (f
n
) (1) = f(z). Uma vez que z um ponto qualquer de U
obtemos f(z) = f(z
0
), z U.
Vamos agora integrar funes complexas. Considere inicialmente um caminho suave
: [a, b] C e seja f : U C uma funo contnua, onde U C um domnio.
Integrao 21
Denio 2.6. A integral da funo f ao longo do caminho o nmero complexo
_

f(z)dz =
_
b
a
f ((t))

(t)dt.
Observao 2.1. A estrutura complexa desempenha um papel fundamental nessa
denio. De fato, escrevendo (t) = x(t) + iy(t) temos que

(t) = x

(t) + iy

(t). Por
outro lado, se f(z) = u(x, y) + iv(x, y) ento
f ((t)) = u(x(t), y(t)) + iv(x(t), y(t))
e a expresso acima se torna
_

f(z)dz =
_
b
a
f ((t))

(t)dt
=
_
b
a
[u(x(t), y(t)) + iv(x(t), y(t))] [x

(t) +iy

(t)] dt.
Efetuando o produto,
[u(x(t), y(t)) +iv(x(t), y(t))] [x

(t) +iy

(t)]
= [u(x(t), y(t))x

(t) v(x(t), y(t))y

(t)] +i [u(x(t), y(t))y

(t) v(x(t), y(t))x

(t)]
conclumos que
_

f(z)dz =
_
b
a
f ((t))

(t)dt
=
_
b
a
[u(x(t), y(t))x

(t) v(x(t), y(t))y

(t)] dt
+i
_
b
a
[u(x(t), y(t))y

(t) +v(x(t), y(t))x

(t)] dt
ou seja,
_

f(z)dz dada por duas integrais de linha ao longo do caminho :


_

f(z)dz =
_

udx vdy +i
_

udy +vdx.
Esse mesmo procedimento, nos fornece que o comprimento do caminho suave
denido por
l() =
_
b
a
[

(t)[ dt =
_
b
a
_
x

(t)
2
+y

(t)
2
dt.
A partir de agora usaremos a seguinte notao para o comprimento de um caminho
suave :
l() =
_

[dz[
22 Teoria de Cauchy
Exemplo 2.1. Seja f(z) =
1
z
e seja o caminho suave um crculo de centro em 0 e
raio r > 0. se expressa por () = r (cos +i sen ), isto , () = re
i
, 0 2.
Temos ento que

() = rie
i
, ou seja, dz = rie
i
d e
_

f(z)dz =
_

1
z
dz =
_
2
0
1
re
i
rie
i
d =
_
2
0
id = i
_
2
0
d = 2i.
Por outro lado, o comprimento de dado por
_

[dz[ =
_
2
0

rie
i

d =
_
2
0
r

ie
i

d =
_
2
0
rd = r
_
2
0
d = 2r.
Como a integral
_

f(z)dz dada atravs de integrais de linha, a sensibilidade ao


sentido de percurso do caminho est presente, isto , se
1
denota o caminho inverso
de , ento
_

1
f(z)dz =
_

f(z)dz.
De fato, se : [a, b] U dado por (t) = (x(t), y(t)) temos que
1
(t) =
(x(a +b t), y(a +b t)) e da
_

1
f(z)dz =
_
b
a
[u(x(a +b t), y(a +b t))x

(a +b t) +v(x(a +b t), y(a +b t))y

(a +b t)] dt
+i
_
b
a
[u(x(a +b t), y(a +b t))y

(a +b t) v(x(a +b t), y(a +b t))x

(a +b t)] dt
=
_

f(z)dz.
Uma vez entendida a integral de f(z) ao longo de um caminho suave, estendemos
de modo natural essa denio a caminhos suaves por partes:
Denio 2.7. Sejam f : U C uma funo contnua e U C um domnio. Seja
=
1

2

n
um caminho suave por partes em U. A integral de f ao longo de
o nmero complexo
_

f(z)dz =
_

1
f(z)dz +
_

2
f(z)dz + +
_

n
f(z)dz.
Analogamente, o comprimento do caminho suave por partes dado por
l() =
_

[dz[ = l(
1
) +l(
2
) + +l(
n
)
=
_

1
[dz[ +
_

2
[dz[ + +
_

n
[dz[ .
Integrao 23
A integrao de funes complexas contnuas goza das seguintes propriedades, que
seguem da denio:
c
_

f(z)dz =
_

cf(z)dz, c C
_

[f(z) +g(z)] dz =
_

f(z)dz +
_

g(z)dz.
Como no caso de funes reais de uma varivel, temos o seguinte conceito:
Denio 2.8. Seja f : U C uma funo contnua, onde U C um domnio.
Uma funo F : U C chamada uma primitiva de f se F holomorfa em U e
F

(z) = f(z) para todo ponto z U.


Observe que se F uma primitiva de f, ento G(z) = F(z) + c tambm o , pois
G

(z) = F

(z) = f(z). Mas essa falta de unicidade da primitiva no vai mais longe
do que isso pelo Lema 2.1. De fato, se F e G satisfazem F

= G

= f ento a funo
H : U C denida por H(z) = F(z) G(z) tal que H

(z) = F

(z) G

(z) =
f(z) f(z) = 0 em todos os pontos de U, e pelo Lema 2.1 temos que H uma funo
constante, H c. Isso nos d G(z) = F(z) +c.
Agora, apresentaremos uma verso do Teorema Fundamental do Clculo para vari-
veis complexas, que possibilita o clculo rpido da integral de funes cuja primitiva
seja conhecida.
Teorema 2.1. Sejam U C um domnio, f : U C uma funo contnua, F uma
primitiva de f em U e um caminho suave por partes em U unindo o ponto z
0
ao
ponto z
1
. Ento
_

f(z)dz = F(z
1
) F(z
0
).
Em particular, se o caminho fechado, ento
_

f(z)dz = 0.
Demonstrao. Vamos supor (t) = x(t) +iy(t) suave, a t b, (a) = z
0
, (b) = z
1
.
Ponha (t) = f((t))

(t) e (t) = F((t)). Escrevendo (t) = u(t) + iv(t) e (t) =


U(t) + iV (t), temos que F

= f fornece

(t) = U

(t) + iV

(t) = u(t) + iv(t) = (t).


Pelo Teorema Fundamental do Clculo,
_

f(z)dz =
_
b
a
(t)dt =
_
b
a
u(t)dt +i
_
b
a
v(t)dt
= U(b) U(a) + i (V (b) V (a))
= U(b) +iV (b) U(a) iV (a)
= (b) (a) = F(z
1
) F(z
0
).
24 Teoria de Cauchy
Um exemplo importante de funes que admitem primitiva dado pelas funes
polinomiais. Usaremos o prximo Teorema para apresentar um exemplo mais geral.
Teorema 2.2. Seja f(z) =

n=0
a
n
z
n
uma srie de potncias com raio de convergn-
cia R > 0. Ento
f

(z) =

n=1
na
n
z
n1
para todo z tal que [z[ < R, isto , podemos derivar termo a termo uma srie de
potncias no interior de seu disco de convergncia.
Proposio 2.2. Seja f(z) =

n=0
a
n
(z z
0
)
n
denida por uma srie de potncias
com raio de convergncia R > 0. Ento a funo
F(z) =

n=0
a
n
n + 1
(z z
0
)
n+1
uma primitiva de f e a srie que a dene converge para [z z
0
[< R.
Demonstrao. Basta mostrar que a srie que dene F converge para [z z
0
[< R pois,
pelo Teorema 2.2 podemos deriv-la termo a termo e concluir que F

= f. Agora,

a
n
n + 1
(z z
0
)
n+1

=
[z z
0
[
n + 1
[a
n
(z z
0
)
n
[
e, para n sucientemente grande,
|zz
0
|
n+1
< 1. Portanto, se n sucientemente grande

a
n
n + 1
(z z
0
)
n+1

< [a
n
(z z
0
)
n
[
e segue do critrio de comparao de sries numricas que

n=0
a
n
n+1
(z z
0
)
n+1
con-
verge para [z z
0
[< R.
Antes de darmos uma caracterizao geral das funes que admitem primitiva num
domnio, exibimos um resultado de natureza tcnica, porm de muita utilidade para o
que vir.
Lema 2.2. Sejam U C um domnio, f : U C uma funo contnua e : [a, b] C
um caminho suave por partes em U, de comprimento l(). Seja K 0 um nmero
real tal que [f ((t))[ K para todo a t b. Ento

f(z)dz

Kl().
Integrao 25
Demonstrao. Inicialmente observamos que um tal nmero K sempre existe, pois
simplesmente o valor mximo de [f[ ao longo do caminho . Comeamos mostrando a
seguinte desigualdade: se e so funes reais contnuas, ento

_
b
a
((t) + i(t)) dt

_
b
a
[(t) + i(t)[ dt. (2.1)
Para ver isso, sejam A =
_
b
a
(t)dt e B =
_
b
a
(t)dt. Ento
A +iB =
_
b
a
((t) +i(t)) dt
e

A
2
+B
2
= [A +iB[ =

_
b
a
((t) + i(t)) dt

.
Agora,
A
2
+B
2
= (A +iB) (A iB) = (A iB)
_
b
a
((t) +i(t)) dt
e como A e B so constantes,
A
2
+B
2
=
_
b
a
(A iB) ((t) + i(t)) dt
=
_
b
a
[A(t) +B(t)] dt +i
_
b
a
[A(t) B(t)] dt.
Mas A
2
+B
2
um nmero real e portanto sua parte imaginria nula. Logo,
A
2
+B
2
=
_
b
a
[A(t) +B(t)] dt. (2.2)
Agora, o integrando nessa expresso nada mais que o produto escalar dos vetores
(A, B) ((t), (t)) = A(t) +B(t)
e sabemos do Clculo que
A(t) +B(t) [(A, B) ((t), (t))[ [(A, B)[ [((t), (t))[ .
Logo,
_
b
a
[A(t) + B(t)] dt
_
b
a
[(A, B)[ [((t), (t))[ dt
= [(A, B)[
_
b
a
[((t), (t))[ dt
=

A
2
+B
2
_
b
a
[(t) + i(t)[ dt
e, usando a igualdade 2.2,
A
2
+B
2

A
2
+B
2
_
b
a
[(t) + i(t)[ dt
26 Teoria de Cauchy
o que fornece

A
2
+B
2

_
b
a
[(t) +i(t)[ dt
ou seja,

_
b
a
((t) + i(t)) dt

A
2
+B
2

_
b
a
[(t) +i(t)[ dt
e a desigualdade 2.1 est demonstrada. Com isso em mos, temos:

f(z)dz

_
b
a
f((t))

(t)dt

_
b
a
[f((t))[ [

(t)[ dt
_
b
a
K[

(t)[ dt = Kl()
provando o que queramos.
Finalmente, podemos caracterizar funes que admitem primitivas em domnios.
Teorema 2.3. Seja f : U C uma funo contnua denida no domnio U C. As
seguintes armativas so equivalentes:
(i) f tem uma primitiva em U.
(ii)
_

f(z)dz = 0 para qualquer caminho fechado, suave por partes em U.


(iii)
_

f(z)dz s depende dos pontos inicial e nal de qualquer caminho suave por
partes em U.
Demonstrao. O Teorema 2.1 nos diz que (i) (ii) e (i) (iii). Para ver que (ii)
(iii), sejam
1
e
2
dois caminhos suaves por partes em U, ambos ligando o ponto
z
0
U ao ponto z
1
U. Olhe para o caminho
1

1
2
. Esse um caminho fechado
em U e portanto, como vale (ii),
_

1
2
f(z)dz = 0.
Mas ento
0 =
_

1
2
f(z)dz =
_

1
f(z)dz +
_

1
2
f(z)dz =
_

1
f(z)dz
_

2
f(z)dz
e obtemos (iii), ou seja,
_

f(z)dz independe do caminho. Resta mostrar que (iii)


(i). Para ver isso, xe um ponto qualquer z
0
em U e, dado um ponto z U, seja um
caminho suave por partes em U ligando z
0
a z. Denimos uma funo F : U C por
F(z) =
_

f(w)dw.
F est bem denida pois, por hiptese,
_

f(w)dw s depende de z
0
e de z e no do
caminho . Para concluir a prova devemos mostrar que F uma primitiva de f, ou
seja, F

= f.
Os Teoremas de Cauchy 27
Como U aberto, se h C tem mdulo [h[ sucientemente pequeno ento z+h U.
Considere o segmento de reta (um caminho em U) unindo z a z + h, (t) = z + th,
0 t 1.
Pela denio de F temos
F(z +h) =
_

f(w)dw =
_

f(w)dw +
_

f(w)dw
ou seja,
F(z +h) = F(z) +
_

f(w)dw
e da
F(z +h) F(z)
h
=
1
h
_

f(w)dw.
Por outro lado,
_

f(z)dw = f(z)
_

dw = f(z)h
_
1
0
dt = f(z)h
e camos com
F(z +h) F(z)
h
f(z) =
1
h
_

f(w)dw
1
h
_

f(z)dw.
Mas essa ltima expresso igual a
_

f(w) f(z)
h
dw.
Agora, como f contnua, dado > 0 temos que [f(w) f(z)[ < para [w z[
sucientemente pequeno. Logo, tomando w ao longo de temos, pelo Lema Tcnico
2.2, que

f(w) f(z)
h
dw


[h[
l() =

[h[
[h[ = .
Como arbitrrio, conclumos que
lim
h0
_

f(w) f(z)
h
dw = 0.
Mas isso o mesmo que dizer que
lim
h0
F(z +h) F(z)
h
f(z) = 0
ou seja, F

(z) = f(z).
2.2 Os Teoremas de Cauchy
Nesta seo, apresentamos o resultado central da teoria de funes de uma varivel
complexa (Frmula Integral de Cauchy) e exploramos algumas de suas consequncias.
28 Teoria de Cauchy
Teorema 2.4. (Teorema de Cauchy-Goursat) Sejam U um domnio em C e f :
U C uma funo holomorfa. Suponhamos que U um tringulo que limita
uma regio inteiramente contida em U. Ento
_

f(z)dz = 0.
U
3 2
1
Figura 2.1: Tringulo
Denio 2.9. Seja U C um domnio. Dizemos que U estrelado se existe um
ponto z
0
U satisfazendo a seguinte propriedade: dado qualquer ponto z U, o
segmento de reta unindo z
0
a z, z
0
z, est inteiramente contido em U. O ponto z
0

chamado um centro do domnio U.
Corolrio 2.1. Sejam U C um domnio estrelado e f : U C uma funo holo-
morfa. Ento f admite uma primitiva em U.
Demonstrao. Seja z
0
um centro de U e dena a funo F : U C por
F(z) =
_
z
0
z
f(w)dw.
F est bem denida e s nos resta mostrar que ela derivvel comF

(z) = f(z), z U.
Agora, tome h C com [h[ sucientemente pequeno a m de que z +h U e os pontos
z
0
, z e z +h sejam os vrtices de um tringulo contido em U. Temos que
F(z +h) =
_

z
0
z+h
f(w)dw.
O Teorema de Cauchy-Goursat 2.4 nos diz que
_

f(w)dw = 0 e como
_

f(w)dw =
_
z
0
z
f(w)dw +
_

zz+h
f(w)dw
_

z
0
z+h
f(w)dw
camos com
F(z +h) F(z) =
_

zz+h
f(w)dw.
Os Teoremas de Cauchy 29
Portanto,
F(z +h) F(z)
h
f(z) =
1
h
_

zz+h
f(w)dw f(z)
mas, f(z) =
1
h
_

zz+h
f(z)dw e da
F(z +h) F(z)
h
f(z) =
1
h
_

zz+h
f(w)dw
1
h
_

zz+h
f(z)dw
=
1
h
_

zz+h
[f(w) f(z)] dw.
Mas pela continuidade de f, dado > 0 podemos achar > 0 tal que 0 < [w z[ <
[f(w) f(z)[ < . Assim sendo, se 0 < [h[ < temos, pelo Lema Tcnico 2.2, que

1
h
_

zz+h
[f(w) f(z)] dw

1
[h[
_

zz+h
[f(w) f(z)[ [dw[ <
[h[
[h[
e portanto

F(z+h)F(z)
h
f(z)

<
|h|
|h|
= ou seja, F

(z) = f(z) e F uma primitiva


de f.
Corolrio 2.2. (Teorema de Cauchy-Goursat 2a.verso) Sejam U C um
domnio estrelado e f : U C uma funo holomorfa. Se um caminho fechado
suave por partes em U, ento
_

f(z)dz = 0.
Demonstrao. Pelo Corolrio 2.1, f tem uma primitiva em U e, pelo Teorema 2.3,
_

f(z)dz = 0.
O prximo resultado nos diz que, se conhecemos o comportamento de f ao longo
da fronteira do disco, ento determinamos f em todos os pontos interiores a ele.
Teorema 2.5. (Frmula Integral de Cauchy) Seja f : U C uma funo holo-
morfa. Sejam D(z
0
, r
0
) um disco fechado inteiramente contido em U e sua fronteira,
orientada compativelmente. Se z um ponto qualquer no interior de D(z
0
, r
0
) ento
f(z) =
1
2i
_

f(w)
w z
dw.
Demonstrao. Inicialmente observamos que, como U aberto e D(z
0
, r
0
) U
fechado, podemos encontrar um disco aberto D(z
0
, R) com R > r
0
e tal que D(z
0
, r
0
)
D(z
0
, R) U. A partir de agora, vamos considerar f apenas em D(z
0
, R). Fixe
z D(z
0
, r
0
) (o interior de D(z
0
, r
0
)) e olhe para a funo g(w) =
f(w)
wz
. Essa holo-
morfa em todos os pontos de D(z
0
, R) exceto z. Considere o dimetro de D(z
0
, R)
que passa por z. Esse dimetro determina dois segmentos de reta com extremo em z,
digamos L
1
e L
2
(veja gura).
Agora, D(z
0
, R) L
1
e D(z
0
, R) L
2
so domnios estrelados, nos quais g(w)
holomorfa. Em seguida, isolamos o ponto z considerando um crculo nele centrado,
30 Teoria de Cauchy
L1 L2
z0
z
z0
z
D(z0,R) D(z0,R)
Figura 2.2: Domnios Estrelados
de raio r > 0 sucientemente pequeno am de que o disco D(z, r) esteja inteiramente
contido em D(z
0
, r
0
). Como e D(z
0
, r
0
) tem orientao compatvel, deve ser per-
corrido no sentido anti-horrio. Considere os caminhos, suaves por partes,
1
e
2
,
obtidos da seguinte maneira (veja gura):
d
U
-
c
-
z0
z
b
-

D(z0,r0) a
Figura 2.3: Caminhos

1
= (poro de
1
entre os pontos b e c)(poro de entre os pontos d e a).

2
= (poro de entre os pontos a e d)
1
(poro de
1
entre os pontos c e b)

1
.
Como
1
e
2
so caminhos fechados em domnios estrelados nos quais g(w)
Os Teoremas de Cauchy 31
holomorfa temos, pelo Teorema de Cauchy-Goursat 2a.verso 2.2, que
_

1
f(w)
w z
dw =
_

2
f(w)
w z
dw = 0.
Logo,
_

1
f(w)
w z
dw +
_

2
f(w)
w z
dw = 0
mas,
_

1
f(w)
w z
dw +
_

2
f(w)
w z
dw =
_

f(w)
w z
dw +
_

1
f(w)
w z
dw
e portanto,
_

f(w)
w z
dw +
_

1
f(w)
w z
dw = 0
ou seja,
_

f(w)
w z
dw =
_

f(w)
w z
dw. (2.3)
Vamos agora trabalhar a integral
_

f(w)
wz
dw. Temos
_

f(w)
w z
dw =
_

f(w) f(z) + f(z)


w z
dw
=
_

f(w) f(z)
w z
dw +
_

f(z)
w z
dw
=
_

f(w) f(z)
w z
dw +f(z)
_

dw
w z
pois, como z est xado, f(z) uma constante. Ora, dado por (t) = z +re
it
, 0
t 2 e ento
f(z)
_

dw
w z
= f(z)
_
2
0
rie
it
re
it
dt = f(z)
_
2
0
idt = 2if(z).
Quanto a
_

f(w)f(z)
wz
dw, procedemos usando a continuidade de f. Dado > 0, podemos
encontrar > 0 tal que 0 < [w z[ < [f(w) f(z)[ < . Escolhendo o raio r do
crculo menor do que e invocando o Lema Tcnico 2.2, obtemos

f(w) f(z)
w z
dw

[f(w) f(z)[
[w z[
[dw[ <

r
2r = 2
Como arbitrrio, conclumos que
_

f(w)f(z)
wz
dw = 0 e, portanto,
_

f(w)
w z
dw = 2if(z).
Segue de 2.3 que
f(z) =
1
2i
_

f(w)
w z
dw
e o teorema est demonstrado.
32 Teoria de Cauchy
Agora, com a Frmula Integral de Cauchy, denimos funo holomorfa como aquela
que admite derivada em todos os pontos de seu domnio, sem fazer quaisquer outras
hipteses sobre a derivada.
Corolrio 2.3. Seja f : U C uma funo holomorfa, onde U um domnio. Ento
f tem derivadas de todas as ordens em todos os pontos de U e
f
(n)
(z) =
n!
2i
_

f(w)
(w z)
n+1
dw, z U
onde qualquer crculo centrado em z, percorrido no sentido anti-horrio e limitando
um disco fechado contido em U.
Demonstrao. Seja r > 0 tal que o crculo (t) = z +re
it
, 0 t 2 limita um disco
fechado contido em U. Pelo Teorema 2.5, temos
f(z +h) f(z)
h
=
1
2i
_

1
h
_
f(w)
w (z +h)

f(w)
w z
_
dw.
Mas,
_

1
h
_
f(w)
w (z +h)

f(w)
w z
_
dw =
_

f(w)
(w z h)(w z)
dw.
Agora,
f(w)
(w z)
2

f(w)
(w z h)(w z)
=
hf(w)
(w z)
2
(w z h)
e, usando o Lema Tcnico 2.2

_
f(w)
(w z)
2

f(w)
(w z h)(w z)
_
dw

hf(w)
(w z)
2
(w z h)
dw

[h[ [f(w)[
[w z[
2
[w z h[
[dw[ .
Se K o valor mximo de [f[ ao longo de e se [h[ < r/2 ento, [w z h[
[w z[ [h[ > r r/2 e obtemos
_

[h[ [f(w)[
[w z[
2
[w z h[
[dw[ <
[h[ K
r
2
r
2
l() =
[h[ K
r
3
2
2r =
[h[ K
r
2
4.
Tomando o limite com h 0, conclumos
lim
h0
_

f(w)
(w z h)(w z)
dw =
_

f(w)
(w z)
2
dw.
Como
2i
f(z +h) f(z)
h
=
_

f(w)
(w z h)(w z)
dw,
isso nos diz que
f

(z) = lim
h0
f(z +h) f(z)
h
=
1
2i
_

f(w)
(w z)
2
dw.
Para mostrar que f tem derivada segunda, repetimos exatamente o mesmo procedi-
mento utilizando a frmula integral obtida acima para f

e assim sucessivamente con-


clumos o Corolrio.
Os Teoremas de Cauchy 33
Continuando o procedimento do resultado anterior, obtemos o seguinte resultado:
Corolrio 2.4. (Estimativas de Cauchy) Seja f uma funo holomorfa denida no
disco D(z
0
, R) e suponhamos que [f[ K em D(z
0
, R). Ento

f
(n)
(z
0
)

n!K
R
n
.
Corolrio 2.5. (Teorema de Liouville) Seja f uma funo inteira, isto , f : C
C. Se existe um nmero K 0 tal que [f(z)[ K ento f uma funo constante.
Demonstrao. Como f est denida em todo C, ela holomorfa em qualquer disco
D(z, R), centrado em z C e de raio arbitrrio. Pelo Corolrio 2.4
[f

(z)[
1!K
R
.
Da vem que, como R arbitrrio
[f

(z)[ lim
R
K
R
= 0
e portanto f

(z) = 0 para todo z C. Segue do Lema 2.1 que f constante.


Apresentaremos em seguida um outro resultado importante que no tem paralelo
no caso real, o qual arma que uma funo holomorfa no constante f, denida num
domnio U, tal que [f[ no possui valor mximo em U. Para tanto, precisamos do
seguinte Lema:
Lema 2.3. Sejam D(a, r), r > 0 um disco e f : D(a, r) C uma funo holomorfa.
Se a imagem f (D(a, r)) est contida numa circunferncia [w[ = , ento f uma
funo constante.
Demonstrao. Se = 0 no h o que mostrar. Suponha ento > 0 e escreva
f = u + iv. A funo g(x, y) = [f(z)[ =
_
u
2
(x, y) +v
2
(x, y) constante, pois igual
a , tem derivadas parciais contnuas e
g
x
=
1

u
2
+v
2
_
u
u
x
+v
v
x
_
= 0,
g
y
=
1

u
2
+v
2
_
u
u
y
+v
v
y
_
= 0.
Como valem as condies de Cauchy-Riemann, camos com
u
u
x
+v
v
x
= 0
v
u
x
u
v
x
= 0
o que fornece
u
x
=
v
x
= 0. Logo, f

(z) = 0 em todos os pontos de D(a, r). Segue do


Lema 2.1 que f constante.
34 Teoria de Cauchy
Corolrio 2.6. (Princpio do Mximo) Sejam U um domnio em C e f : U C
uma funo holomorfa . Se existe um ponto a U tal que [f(a)[ [f(z)[ para todo
z U, ento f uma funo constante.
Demonstrao. Seja D(a, r) um disco centrado em a cujo fecho D(a, r) U. A fron-
teira de D(a, r) expressa por (t) = a + re
it
, 0 t 2. Pela Frmula Integral de
Cauchy
f(a) =
1
2i
_

f(w)
w a
dw
=
1
2i
_
2
0
f(a +re
it
)rie
it
re
it
dt =
1
2
_
2
0
f(a +re
it
)dt.
Portanto, usando o Lema Tcnico 2.2 e a hiptese
[f(a)[
1
2
_
2
0

f(a +re
it
)

dt
1
2
_
2
0
[f(a)[ dt = [f(a)[ .
Mas isso nos diz que
1
2
_
2
0
_
[f(a)[

f(a +re
it
)

dt = 0.
Como o integrando uma funo contnua no-negativa, obtemos
[f(a)[ =

f(a +re
it
)

, t [0, 2] .
Agora, r arbitrrio e, fazendo-o variar, conclumos que a imagem de um disco D(a, R)
por f est contida no crculo [w[ = [f(a)[. Pelo Lema anterior, f constante.
Agora, fazendo uso da Frmula Integral de Cauchy, estabeleceremos a equivalncia
entre os conceitos de funo holomorfa e de funo analtica. Recordemos o conceito
de funo analtica:
Denio 2.10. Sejam U C um domnio e f : U C uma funo. f analtica
em U se, para todo ponto z
0
U, f se expressa como uma srie de potncias de centro
z
0
com raio de convergncia R
z
0
> 0.
Repetindo, f analtica em U se, dado z
0
U temos
f(z) =

n=0
a
n
(z z
0
)
n
e a srie converge absolutamente num disco D(z
0
, R
z
0
) U, R
z
0
> 0.
Teorema 2.6. Sejam f : U C uma funo holomorfa, onde U um domnio em C
e z
0
U um ponto qualquer. Ento
f(z) =

n=0
f
(n)
(z
0
)
n!
(z z
0
)
n
Os Teoremas de Cauchy 35
ou seja, f dada por sua srie de Taylor de centro z
0
e portanto uma funo analtica.
Alm disso, essa srie converge em qualquer disco (aberto) D(z
0
, r) U, isto , o raio
de convergncia R da srie acima a menor entre as distncias de z
0
aos pontos da
fronteira de U.
Demonstrao. A Frmula Integral de Cauchy nos diz que
f(z) =
1
2i
_

f(w)
w z
dw
onde (t) = z
0
+ re
it
, r > 0, 0 t 2 qualquer crculo centrado em z
0
, limitando
um disco fechado contido em U e z qualquer ponto satisfazendo [z z
0
[ < r. Para
obter o resultado, vamos inicialmente trabalhar a expresso
1
wz
. Temos
1
w z
=
1
w z
0
+z
0
z
=
1
(w z
0
)
_
1 +
z
0
z
wz
0
_
=
1
(w z
0
)
_
1
zz
0
wz
0
_ =
1
(w z
0
)
_
1
1
zz
0
wz
0
_
.
Usando a igualdade
1
1
zz
0
wz
0
= 1 +
z z
0
w z
0
+
_
z z
0
w z
0
_
2
+ +
_
z z
0
w z
0
_
n
+
_
zz
0
wz
0
_
n+1
1
zz
0
wz
0
,
obtemos
1
w z
=
1
(w z
0
)
_
1
1
zz
0
wz
0
_
=
1
(w z
0
)
n

j=0
_
z z
0
w z
0
_
j
+
1
(w z
0
)
_
zz
0
wz
0
_
n+1
_
1
zz
0
wz
0
_
=
1
(w z
0
)
n

j=0
_
z z
0
w z
0
_
j
+
(z z
0
)
n+1
(w z)(w z
0
)
n+1
=
n

j=0
1
(w z
0
)
j+1
(z z
0
)
j
+
(z z
0
)
n+1
(w z)(w z
0
)
n+1
.
Multiplicando por f(w), obtemos o integrando da Frmula Integral de Cauchy
f(w)
w z
=
n

j=0
f(w)
(w z
0
)
j+1
(z z
0
)
j
+
f(w)(z z
0
)
n+1
(w z)(w z
0
)
n+1
e integrando ao longo de , camos com
f(z) =
1
2i
_

f(w)
w z
dw
=
n

j=0
_
1
2i
_

f(w)
(w z
0
)
j+1
dw
_
(z z
0
)
j
+
1
2i
_

f(w)(z z
0
)
n+1
(w z)(w z
0
)
n+1
dw.
36 Teoria de Cauchy
Pelo Corolrio 2.3, isso o mesmo que
f(z) =
n

j=0
f
(j)
(z
0
)
j!
(z z
0
)
j
+
1
2i
_

f(w)(z z
0
)
n+1
(w z)(w z
0
)
n+1
dw.
Ponha
R
n
(z) =
1
2i
_

f(w)(z z
0
)
n+1
(w z)(w z
0
)
n+1
dw.
Para mostrar que a srie

j=0
f
(j)
(z
0
)
j!
(z z
0
)
j
converge para f(z), suciente mostrar
que lim
n
R
n
(z) = 0 qualquer que seja z satisfazendo z D(z
0
, r). Ora, seja K o
valor mximo de [f(w)[ ao longo de w = (t) = z
0
+ re
it
, r > 0, 0 t 2. Usando
o Lema Tcnico 2.2, temos
[R
n
(z)[ =

1
2i
_

f(w)(z z
0
)
n+1
(w z)(w z
0
)
n+1
dw

1
2
_

[f(w)[ [z z
0
[
n+1
[w z[ [w z
0
[
n+1
[dw[

1
2
_

K[z z
0
[
n+1
[w z[ [w z
0
[
n+1
[dw[ .
Agora, [w z
0
[ = r e como [w z
0
[ [w z[ +[z z
0
[, obtemos r[z z
0
[ [w z[
e da
1
[w z[

1
r [z z
0
[
.
Assim sendo,
[R
n
(z)[
1
2
_

K[z z
0
[
n+1
[w z[ [w z
0
[
n+1
[dw[

1
2
_

K[z z
0
[
n+1
(r [z z
0
[)r
n+1
[dw[
=
1
2
K[z z
0
[
n+1
(r [z z
0
[)r
n+1
2r
=
K[z z
0
[
n+1
(r [z z
0
[)r
n
.
Faa [z z
0
[ = e observe que < r, pois z est no disco D(z
0
, r). A expresso acima
se transforma em
[R
n
(z)[
K
n+1
(r )r
n
=
K
n+1
r
n+1
r
n

=
K
_
1

r
_
_

r
_
n+1
.
Logo
0 lim
n
[R
n
(z)[
K
_
1

r
_ lim
n
_

r
_
n+1
= 0
pois

r
< 1. Isso mostra que
f(z) =

j=0
f
(j)
(z
0
)
j!
(z z
0
)
j
.
Os Teoremas de Cauchy 37
J que a nica restrio imposta ao raio r do crculo que limite um disco fechado
contido em U, conclumos que essa srie representa f em qualquer disco de centro z
0
e
de raio que satisfaa essa propriedade.
Denio 2.11. Dizemos que um caminho suave por partes e fechado simples, se
a aplicao : [0, 1] C que o dene injetiva, exceto pelos pontos 0 e 1, ou seja,
(0) = (1), (t) ,= (0), 0 < t < 1 e (t
1
) ,= (t
2
) se 0 < t
1
,= t
2
< 1. Uma curva de
Jordan suave por partes um caminho suave por partes, fechado e simples.
Teorema 2.7. (Teorema de Green) Sejam U R
2
um domnio e f : U R
2
uma
aplicao suave. Seja V U um subconjunto satisfazendo: (i) V fechado e limitado,
(ii) a fronteira V de V consiste de um nmero nito de curvas de Jordan suaves por
partes, V =
1

2

n
, e (iii) V V um domnio. Suponhamos que V e V
tm orientao compatvel. Ento, escrevendo f(x, y) = (u(x, y), v(x, y)), temos que
_
V
f =
_
V
udx +vdy =
_ _
V
_
v
x

u
y
_
dxdy.
Teorema 2.8. (Teorema de Cauchy) Sejam U C um domnio e f : U C uma
funo holomorfa. Seja V U um subconjunto fechado e limitado, cuja fronteira V
consiste de um nmero nito de curvas de Jordan suaves por partes, V =
1

n
,
e tal que V V um domnio. Ento
_
V
f(z)dz = 0.
Demonstrao. Tome V e V com orientao compatvel. J sabemos que f tem
derivadas de todas as ordens em todos os pontos de U e, escrevendo f(z) = u(x, y) +
iv(x, y), conclumos que as funes u e v tem derivadas parciais de todas as ordens
em todos os pontos de U. Em particular, as derivadas parciais dessas funes so
contnuas. Podemos ento usar o Teorema de Green 2.7 e argumentar como se segue:
_
V
f(z)dz =
_
V
(u +iv)(dx +idy)
=
_
V
udx vdy +i
_
V
udy +vdx.
Aplicando o Teorema de Green s duas integrais, obtemos
_
V
udx vdy =
_ _
V
_

v
x

u
y
_
dxdy =
_ _
V
_
v
x
+
u
y
_
dxdy
e
_
V
udy +vdx =
_
V
vdx +udy =
_ _
V
_
u
x

v
y
_
dxdy.
Mas, como f holomorfa, as condies de Cauchy-Riemann so satisfeitas e isso d
u
x

v
y
= 0 e
v
x
+
u
y
= 0. Portanto,
_
V
udx vdy = 0 e
_
V
udy +vdx = 0
38 Teoria de Cauchy
ou seja,
_
V
f(z)dz = 0.
O resultado nal deste captulo uma recproca do Teorema 2.8.
Teorema 2.9. (Teorema de Morera) Sejam U C um domnio e f : U C uma
funo contnua. Se
_

f(z)dz = 0 para todo caminho triangular U, ento f


holomorfa em U.
Demonstrao. Devemos mostrar que f possui derivada em todos os pontos de U.
Dado z
0
U, tome um disco D(z
0
, r) U, r > 0. Esse disco um domnio estrelado e,
repetindo a demonstrao do Corolrio 2.1, utilizando
_

f(z)dz = 0 para D(z


0
, r)
ao invs do Teorema de Cauchy-Goursat, conclumos que f tem uma primitiva em
D(z
0
, r) e, portanto, derivvel em z
0
. Como z
0
um ponto arbitrrio de U, o teorema
est demonstrado.
3 Funes C-diferencivel e Funes
Holomorfas
Neste captulo estudaremos a teoria clssica de funes holomorfas. O objetivo
central estabelecer a equivalncia entre os conceitos de funo holomorfa e funo
C-diferencivel. Em todo captulo, ser um conjunto aberto em C.
3.1 Denies e Propriedades Bsicas
Denio 3.1. Sejam f : C e a . Dizemos que f C-diferencivel em a
se
lim
0
=0
f(a +) f(a)

existe. Quando esse limite existe, denotamos por f

(a) e chamamos de derivada de f


em a.
Dizemos que f C-diferencivel em se, para qualquer a , f C-diferencivel
em a.
Denio 3.2. Seja f : C. Dizemos que f holomorfa em se, para todo
a , existe uma vizinhana U de a, U , e uma sequncia c
n
, n = 0, 1, . . ., de
nmeros complexos tais que, para qualquer z U, a srie

n=0
c
n
(z a)
n
converge para f(z).
Posteriormente, provaremos que uma funo holomorfa em um aberto se, e
somente se, C-diferencivel em .
Proposio 3.1. Seja f : C. Se f C-diferencivel em a , ento as derivadas
parciais (f/x)(a) e (f/y)(a) existem e satisfazem
f
x
(a) = i
f
y
(a) = f

(a).
39
40 Funes C-diferencivel e Funes Holomorfas
Demonstrao. Sejam a = + i, R e ,= 0. Ento, pela denio de f

(a),
temos:
f

(a) = lim
0
f(a +) f(a)

= lim
0
f( +i +) f( +i)

= lim
0
f( +, ) f(, )

=
f
x
(a).
Analogamente, se R, ( ,= 0), temos:
f

(a) = lim
0
f(a +i) f(a)
i
= lim
0
f( +i +i) f( +i)
i
= lim
0
f(, +) f(, )
i
=
1
i
f
y
(a) = i
f
y
(a).
E assim, chegamos ao resultado esperado.
Denio 3.3. Seja f : C e suponhamos que f possui a derivada parcial de
primeira ordem em a. Denimos:
f
z
(a) =
1
2
_
f
x
(a) i
f
y
(a)
_
f
z
(a) =
1
2
_
f
x
(a) +i
f
y
(a)
_
Proposio 3.2. Se f C-diferencivel em a , ento
f

(a) =
f
z
(a) e
f
z
(a) = 0.
Demonstrao. De fato, usando a proposio 3.1 e a denio 3.3 temos:
f
z
(a) =
1
2
_
f
x
(a) i
f
y
(a)
_
=
1
2
_
f
x
(a) +
f
x
(a)
_
=
1
2
2
f
x
(a) =
f
x
(a) = f

(a)
E,
f
z
(a) =
1
2
_
f
x
(a) + i
f
y
(a)
_
=
1
2
_
i
f
y
(a) + i
f
y
(a)
_
= 0.
Proposio 3.3. Seja f : C e escrevamos f = u +iv onde u, v : R. Se f
C-diferencivel em a, ento
u
x
(a) =
v
y
(a),
v
x
(a) =
u
y
(a).
Essas equaes so chamadas equaes de Cauchy-Riemann.
Denies e Propriedades Bsicas 41
Demonstrao. Como f(a) = f(x +iy) = u(x, y) +iv(x, y) e f C-diferencivel em a,
temos que:
Se R e ,= 0, ento
f

(a) = lim
0
f(a +) f(a)

= lim
0
u(x +, y) + iv(x +, y) u(x, y) iv(x, y)

= lim
0
_
u(x +, y) u(x, y)

+i
v(x +, y) v(x, y)

_
= lim
0
u(x +, y) u(x, y)

+i lim
0
v(x +, y) v(x, y)

=
u
x
(x, y) + i
v
x
(x, y)
Se R e ,= 0, ento
f

(a) = lim
0
f(a +i) f(a)
i
= lim
0
u(x, y +) + iv(x, y +) u(x, y) iv(x, y)
i
= lim
0
_
u(x, y +) u(x, y)
i
+i
v(x, y +) v(x, y)
i
_
= lim
0
u(x, y +) u(x, y)
i
+ lim
0
v(x, y +) v(x, y)

=
1
i
u
y
(x, y) +
v
y
(x, y) = i
u
y
(x, y) +
v
y
(x, y)
Dessa forma, f

(a) =
u
x
(a) +i
v
x
(a) = i
u
y
(a) +
v
y
(a). Logo,
u
x
(a) =
v
y
(a),
v
x
(a) =
u
y
(a).
Corolrio 3.1. Seja f : C e escrevamos f = u + iv onde u, v : R. As
equaes
1.
f
x
= i
f
y
2.
f
z
= 0
3.
u
x
=
v
y
,
v
x
=
u
y
4.
f
x
=
f
z
so duas a duas equivalentes.
Demonstrao. De fato, se
f
x
= i
f
y
, ento
f
z
=
1
2
_
f
x
+i
f
y
_
=
1
2
_
i
f
y
+i
f
y
_
= 0.
42 Funes C-diferencivel e Funes Holomorfas
Se
f
z
= 0, ento
1
2
_
f
x
+i
f
y
_
= 0
f
x
+i
f
y
= 0
f
x
= i
f
y
.
Logo,
u
x
+i
v
x
= i
_
u
y
+i
v
y
_

u
x
+i
v
x
=
v
y
i
u
y
e, portanto,
u
x
=
v
y
e
v
x
=
u
y
.
Se
u
x
=
v
y
e
v
x
=
u
y
, ento
f
z
=
1
2
_
f
x
i
f
y
_
=
1
2
_
f
x
i
_
u
y
+i
v
y
__
=
1
2
_
f
x
i
u
y
+
v
y
_
=
1
2
_
f
x
+i
v
x
+
u
x
_
=
1
2
_
f
x
+
f
x
_
=
f
x
.
Por m, se
f
z
=
f
x
, ento
f
x
=
1
2
_
f
x
i
f
y
_
2
f
x
=
f
x
i
f
y

f
x
= i
f
y
.
Essas equaes podem ser vistas com uma outra interpretao mais importante
dentro do nosso contexto. Vejamos:
Sejam f : C , a e escrevamos f = u + iv onde u, v : R. Seja
: C R
2
a funo (x + iy) = (x, y), x, y R; um R-isomorsmo e
1
a
funo (x, y) x +iy. Suponhamos que f tenha derivada primeira parcial em a.
Seja d(u, v) : R
2
R
2
a aplicao R-linear dada por:
d(u, v)(, ) =
_
u
x
(a) +
u
y
(a) ,
v
x
(a) +
v
y
(a)
_
.
d(u, v) conhecida como aplicao tangente em a da funo (u, v) : R
2
. Denimos
a aplicao R-linear df : C C por df =
1
d(u, v); df simplesmente a aplicao
tangente aps a identicao do R
2
com C (por meio de
1
) de forma que o seguinte
diagrama comuta:
C

R
2
d(u,v)
R
2

1
C
. .
df
Denies e Propriedades Bsicas 43
Proposio 3.4. Com a notao anterior, temos que f/z(a) = 0 se, e somente se,
a aplicao df : C C C-linear, isto , df( ) = df() , C. Se este o
caso, ento
df() =
f
z
(a) , C.
Demonstrao. Considere uma aplicao R-linear l : R
2
R
2
denida por l(, ) =
(A + B, C + D) = (l
1
(, ), l
2
(, )), onde A, B, C, D R. Seja L : C C a
aplicao R-linear dada por L =
1
l .
C

R
2
l
R
2

1
C
. .
L
Ento L C-linear se, e somente se, L(i) = i L(), C. Segue da denio de L
que L(i) = i L() l(, ) = (l
2
(, ), l
1
(, )), isto ,
l
1
(, ) = l
2
(, ) e l
2
(, ) = l
1
(, ).
Isto simplesmente signica que
A +B = C +D, , R,
ou seja,
A = D, B = C.
Se isto ocorre, ento
L( +i) =
_

1
l
_
( +i)
=
1
(l(( +i)))
=
1
(l(, ))
=
1
(l
1
(, ), l
2
(, ))
= l
1
(, ) + il
2
(, )
= l
2
(, ) il
1
(, )
= C +D +iA iB = B +A +iA iB
= (A iB) ( +i).
Tomando l = d(u, v), tal que L = df, encontramos que df C-linear se, e somente
se,
u
x
(a) =
v
y
(a) e
v
x
(a) =
u
y
(a),
isto , se, e somente se, f/z(a) = 0. Se isso ocorre, ento
df() =
_
u
x
(a) i
u
y
(a)
_
.
44 Funes C-diferencivel e Funes Holomorfas
J que as equaes de Cauchy-Riemann e o Corolrio 3.1 valem, ento
df() =
_
u
x
(a) +i
v
x
(a)
_
=
f
x
(a) =
f
z
(a) .
As prximas propriedades de funes C-diferenciveis so consequncias fceis da
denio:
1. Se f e g so C-diferenciveis em e C, ento f +g, f g e f tambm so
C-diferenciveis.
2. Se U, V so conjuntos abertos em C e f : U C, g : V C so C-diferenciveis,
e se f(U) V , ento gf : U C C-diferencivel em U. Alm disso, se a U,
temos
(g f)

(a) = g

(f(a)) f

(a).
Proposio 3.5. Seja f : C e suponhamos que f/x, f/y existam e so
contnuas em . Se
f
x
= i
f
y
em
ento f C-diferencivel em .
Demonstrao. Seja = + i C, , R e escrevamos f = u + iv, onde
u, v : R. Seja a = +i , , R. Ento
f(a +) f(a) = u(a +) +iv(a +) u(a) iv(a)
= u( +i + +i) +iv( +i + +i) u( +i) iv( +i)
= u( +, +) u(, ) + i [v( +, +) v(, )] .
J que f/x, f/y so contnuas, pelo Teorema de Taylor,
u( +, +) u(, ) =
u
x
(, ) +
u
y
(, ) +
1
(, )
e
v( +, +) v(, ) =
v
x
(, ) +
v
y
(, ) +
2
(, )
onde
i
(, )/([[ +[[) 0, i = 1, 2, quando , 0. Assim,
f(a +) f(a) =
_
u
x
(, ) +i
v
x
(, )
_
+
_
u
y
(, ) +i
v
y
(, )
_
+()
=
f
x
(a) +
f
y
(a) +()
Denies e Propriedades Bsicas 45
onde ()/ [[ 0 quando 0. Como f/y = i(f/x), obtemos
lim
0
=0
f(a +) f(a)

=
f
x
(a) + lim
0
()

=
f
x
(a) = f

(a).
Na verdade, a hiptese da continuidade das derivadas parciais no necessria.
Isso foi provado por Looman e Mencho. A prova deste teorema que iremos enunciar
encontra-se na referncia [4].
Teorema 3.1. (O teorema de Loomann-Mencho) Seja f uma funo contnua
em C. Suponhamos que as derivadas parciais f/x e f/y existam em to-
dos os pontos de e satisfaam f/x = i (f/y). Ento f C-diferencivel (e
holomorfa) em .
Lema 3.1. (Lema de Abel) Dada uma sequncia c
n

n0
de nmeros complexos,
existe um R 0 (R pode ser igual a ) tal que a srie

n=0
c
n
z
n
converge para [z[ < R e diverge para [z[ > R.
Alm disso, a srie converge uniformemente em quaisquer subconjuntos compactos
do disco z C/ [z[ < R .
Demonstrao. Seja R = sup r/r 0, M = M
r
tal que [c
n
[ r
n
M, n 0. Se
[z[ > R, a sequncia [c
n
[ [z[
n
no limitada, de forma que a srie

c
n
z
n
no con-
verge.
Seja K um subconjunto compacto de D(0, R) = z C/ [z[ < R . Escolhemos
< R tal que K z C/ [z[ e seja r tal que < r < R. Existe M > 0 tal que
[c
n
[ r
n
M. Ento temos que, para z K,
[c
n
z
n
[ = [c
n
[ [z
n
[ [c
n
[
n

M
r
n

n
= M
_

r
_
n
.
J que < r, a srie M
_

r
_
n
< , e assim a srie

c
n
z
n
converge uniformemente
em K.
Corolrio 3.2. Uma funo holomorfa em contnua em .
Demonstrao. De fato, sendo f holomorfa em , a srie

n=0
c
n
z
n
converge uni-
formemente para f(z). Logo f(z) contnua para todo z .
Denio 3.4. Dada uma sequncia c
n

n0
de nmeros complexos, o R cuja existn-
cia garantida pelo Lema de Abel chamado de raio de convergncia da srie de
potncias

n=0
c
n
z
n
.
46 Funes C-diferencivel e Funes Holomorfas
Lema 3.2. O raio de convergncia da srie de potncias

n=1
nc
n
z
n1
o mesmo da srie

n=0
c
n
z
n
.
Demonstrao. Dado um nmero z vericando [z[ < R, escolha um nmero satisfa-
zendo [z[ < < R. Como

n=0
c
n
z
n
converge absolutamente para [z[ < R, a sequncia
c
n

n
limitada e podemos achar K > 0 tal que
[c
n

n
[ = [c
n
[
n
< K [c
n
[ <
K

n
para todo n. Agora,

nc
n
z
n1

= n[c
n
[

n1

n1
< n
K

n1

n1
= n
K

n1
.
Logo,

nc
n
z
n1

< n
K

n1

n=1
n

c
n
z
n1

n=1
n

n1
e, como z < , a srie

n=1
n

n1
convergente. Portanto,

n=1
nc
n
z
n1
converge
absolutamente para [z[ < R.
O prximo lema ser usado para mostrar que sries de potncias podem ser derivadas
termo a termo.
Lema 3.3. Sejam , C. Ento
[( +)
n

n
[ n[[ ([[ +[[)
n1
para n 1.
Demonstrao. Podemos supor que ,= 0. Ento, se t = /,
[( +)
n

n
[ =

n
_
1 +

_
n

= [
n
(1 +t)
n
1[
=

n
n

=1
_
n

_
t

= [
n
[

=1
_
n

_
t

[[
n
n

=1
_
n

_
[t[

= [[
n
[(1 +[t[)
n
1] .
Agora, fazendo uso da Desigualdade do Valor Mdio para Integrais, se 0, temos
que
(1 +)
n
1 = n
_

0
(1 + u)
n1
du n (1 + )
n1
Denies e Propriedades Bsicas 47
Com isso, para n 1, segue que
[( +)
n

n
[ [[
n
n

_
1 +

_
n1
= n

_
1 +

_
n1
= n [[ [[
n1

_
1 +

_
n1
= n [[
_
[[ +[[

_
n1
= n [[ ([[ +[[)
n1
.
Proposio 3.6. Seja R > 0 e suponhamos que a srie de potncias

n=0
c
n
(z a)
n
converge para f(z), com z D(a, R) = w C/ [w a[ < R . Ento f C-diferencivel
em D(a, R) e
f

(z) =

n=1
nc
n
(z a)
n1
, z D(a, R).
Demonstrao. Seja z D(a, R) e seja C, 0 < [[ <
1
2
(R [z a[) . Ento
1

(f(z +) f(z)) =

n=1
c
n
(z + a)
n
(z a)
n

.
Tome N > 0. Pelo Lema 3.3,

n>N
c
n
(z + a)
n
(z a)
n

n>N

c
n
((z a) + )
n
(z a)
n

n>N
[c
n
[
[((z a) +)
n
(z a)
n
[
[[

n>N
[c
n
[
[[
n[[ ([z a[ +[[)
n1
=

n>N
n[c
n
[ ([z a[ +[[)
n1

n>N
n[c
n
[
n1
onde =
1
2
(R +[z a[). J que [z a[ < R, temos que < R e [z a[ < . Logo,

(f(z +) f(z))

n=1
nc
n
(z a)
n1

n=1
[c
n
[

(z + a)
n
(z a)
n

n(z a)
n1

+ 2

n>N
n[c
n
[
n1
.
48 Funes C-diferencivel e Funes Holomorfas
Agora, dado > 0, podemos escolher N (dependendo de , z, R) tal que

n>N
n[c
n
[
n1
<
1
2
(Lema 3.2). Alm disso,
1

((z + a)
n
(z a)
n
) n(z a)
n1
quando 0.
Portanto, podemos escolher > 0 (dependendo de N, z e c
n
, n N), onde
<
1
2
(R [z a[), tal que

nN
[c
n
[

((z + a)
n
(z a)
n
) n(z a)
n1

< para 0 < [[ < .


Logo, para 0 < [[ < ,

(f(z +) f(z))

n=1
nc
n
(z a)
n1

< 2.
Corolrio 3.3. Qualquer funo holomorfa no aberto C-diferencivel em .
Demonstrao. Basta usar a denio de funo holomorfa tomando U = D(a, R).
Consequentemente, pela Proposio 3.6, obteremos o resultado.
Corolrio 3.4. Se f holomorfa em , ento f innitamente diferencivel em .
Demonstrao. De fato, se f holomorfa em , pelo Corolrio 3.3, f C-diferencivel
em . Como f(z) =

n=0
c
n
(z a)
n
, pela Proposio 3.6, temos que f

(z) =

n=1
nc
n
(z a)
n1
que holomorfa em com o mesmo raio de convergncia de f(z).
Usando o Corolrio 3.2, obtemos a continuidade de f

em . Mas, pela Proposio 3.2,


f

=
f
z
e
f
z
= 0, ou seja,
f
z
contnua. Finalmente, a Proposio 3.1 e a Proposio
3.5 nos d que f

C-diferencivel em . Para obter a innidade da diferenciabilidade


de f, basta iterar esses fatos.
3.2 Integrao sobre curvas
Na seo anterior, provamos que qualquer funo holomorfa C-diferencivel. Mostraremos
aqui a recproca, provando a equivalncia. Para tal resultado, faz-se necessrio o estudo
de integrao ao longo de curvas.
Denio 3.5. Seja X um espao topolgico. Uma curva em X uma funo con-
tnua
: [a, b] X
onde [a, b] o intervalo fechado t R/a t b , a, b R, a < b. O ponto (a)
chamado de ponto inicial e (b) de ponto nal da curva .
Denio 3.6. Uma curva : [a, b] X chamada de curva fechada se (a) = (b)
(= x
0
X por exemplo). Nesse caso, dizemos que um lao em x
0
.
Denio 3.7. Se : [a, b] X uma curva, denotamos por () a imagem de ,
isto , () = (t) : t [a, b] .
Integrao sobre curvas 49
Denio 3.8. Se X um espao topolgico e : [a, b] X uma curva em X,
denimos a curva
1
(chamada de inversa de ) por:

1
: [a, b] X,
1
(t) = (b +a t).
Note que
1
descrita no sentido oposto da curva (
1
(a) = (b) e
1
(b) = (a))
e que (
1
) = ().
Denio 3.9. Sejam X um espao topolgico e
1
: [a
1
, b
1
] X,
2
: [a
2
, b
2
] X
curvas em X tais que
1
(b
1
) =
2
(a
2
). Denimos a curva =
1

2
por:
: [a, b] X, a = a
1
, b = b
1
+b
2
a
2
,
e
(t) =
_

1
(t) para a
1
t b
1

2
(t +a
2
b
1
) para b
1
t b
1
+b
2
a
2
.
J que
2
(b
1
+ a
2
b
1
) =
2
(a
2
) =
1
(b
1
), a curva =
1

2
est bem denida e,
portanto, contnua.
Observao 3.1. Ao usarmos a notao
1

2
, estaremos considerando que o ponto
inicial de
2
igual ao ponto nal de
1
.
Denio 3.10. Sejam um conjunto aberto em C e : [a, b] uma curva em
. Dizemos que diferencivel por partes se existe uma partio a = a
0
< a
1
<
< a
k
= b de [a, b] tal que /
[a
j
,a
j+1
]
continuamente diferencivel ( C
1
) para
j = 0, 1, . . . , k 1 (ou seja, a restrio para [a
j
, a
j+1
] de uma funo denida e
continuamente diferencivel em um aberto de R contendo [a
j
, a
j+1
]).
Note que existe um subconjunto nito S [a, b] tal que d/dt existe e contnua
em [a, b] S; d/dt tambm limitada neste conjunto.
Observao 3.2. Se ,
1
e
2
so curvas em diferenciveis por partes, ento
1
e

1

2
tambm so curvas diferenciveis por partes em .
Denio 3.11. Sejam
j
: [a
j
, b
j
] X, j = 1, 2 duas curvas no espao topolgico X.
Dizemos que
2
obtida de
1
por reparametrizao (ou que
2
uma reparametriza-
o de
1
) se existe uma funo : [a
2
, b
2
] [a
1
, b
1
] sobrejetora, contnua e estrita-
mente crescente tal que
1
=
2
.
Observe que, neste caso, (
1
) = (
2
). Outro fato a ser observado que, se
X = um aberto em C e se
1
e
2
so diferenciveis por partes, usaremos a
reparametrizao somente se pudermos escolher diferencivel por partes.
Denio 3.12. Sejam um subconjunto aberto de C, : [a, b] uma curva
diferencivel por partes em e f : C uma funo contnua. Denimos a integral
de f sobre pela frmula
50 Funes C-diferencivel e Funes Holomorfas
_

fdz =
_
b
a
f ( (t))

(t) dt.
Note que
_

fdz =
_

f (z) dz.
Observao 3.3. O valor da integral de f sobre no depende da partio usada na
denio de diferencivel por partes j que

(t) est intrinsicamente denida exceto


em um conjunto nito.
Lema 3.4. Sejam
1
e
2
duas curvas diferenciveis por partes em . Se
2
uma
reparametrizao de
1
, ento
_

2
fdz =
_

1
fdz
Demonstrao. Dadas as curvas
1
: [a
1
, b
1
] e
2
: [a
2
, b
2
] diferenciveis por
partes, temos:
_

1
fdz =
_
b
1
a
1
f (
1
(t))

1
(t) dt
_

2
fdz =
_
b
2
a
2
f (
2
(t))

2
(t) dt
e
2
=
1
, onde : [a
2
, b
2
] [a
1
, b
1
]. Logo,
_

2
fdz =
_
b
2
a
2
f ((
1
) (t)) (
1
)

(t) dt
=
_
b
2
a
2
f (
1
((t)))

1
((t))

(t) dt
Fazendo a mudana (t) = e usando o fato de que estritamente crescente e
sobrejetora, temos
_

2
fdz =
_
b
1
a
1
f (
1
())

1
() d
=
_

1
fdz.
Denio 3.13. Seja : [a, b] uma curva diferencivel por partes no aberto .
O comprimento L() de dado por
L() =
_
b
a

(t)

dt.
Lema 3.5. Sejam f uma funo contnua em e : [a, b] uma curva diferencivel
por partes em . Se M = sup
z()
[f(z)[, ento

fdz

M L() .
Integrao sobre curvas 51
Demonstrao.

fdz

_
b
a
f ( (t))

(t) dt

_
b
a
[f ( (t))

(t)[ dt

_
b
a
M [

(t)[ dt = M
_
b
a
[

(t)[ dt
= M L() .
Lema 3.6. Sejam ,
1
e
2
curvas diferenciveis por partes em e seja f contnua
em . Se
1

2
est denida, ento
_

2
fdz =
_

1
fdz +
_

2
fdz,
_

1
fdz =
_

fdz.
Alm disso, L(
1

2
) = L(
1
) + L(
2
) e L(
1
) = L() .
Demonstrao. Sejam
1
: [a
1
, b
1
] e
2
: [a
2
, b
2
] tais que
1
(b
1
) =
2
(a
2
). Seja
=
1

2
dada por:
: [a, b] , a = a
1
, b = b
1
+b
2
a
2
,
e
(t) =
_

1
(t) para a
1
t b
1

2
(t +a
2
b
1
) para b
1
t b
1
+b
2
a
2
.
Ento
_

2
fdz =
_

fdz =
_
b
a
f ( (t))

(t) dt =
_
b
1
+b
2
a
2
a
1
f ( (t))

(t) dt
=
_
b
1
a
1
f (
1
(t))

1
(t) dt +
_
b
1
+b
2
a
2
b
1
f (
2
(t))

2
(t) dt
=
_

1
fdz +
_

2
fdz
L(
1

2
) = L() =
_
b
a
[

(t)[ dt =
_
b
1
+b
2
a
2
a
1
[

(t)[ dt
=
_
b
1
a
1
[

1
(t)[ dt +
_
b
1
+b
2
a
2
b
1
[

2
(t)[ dt
= L(
1
) +L(
2
)
52 Funes C-diferencivel e Funes Holomorfas
Agora, considere
1
como na Denio 3.8. Ento temos:
_

1
fdz =
_
b
a
f
_

1
(t)
_
(
1
)

(t) dt
=
_
b
a
f ( (a +b t))

(a +b t) dt
=
_
a
b
f ( (v))

(v) (dv) =
_
b
a
f ( (v))

(v) dv
=
_

f (dz) =
_

fdz.
E,
L
_

1
_
=
_
b
a

(
1
)

(t)

dt
=
_
b
a
[

(a +b t)[ dt =
_
a
b
[

(v)[ (dv)
=
_
b
a
[

(v)[ dv = L() .
Denio 3.14. Sejam a < b, c < d nmeros reais. O conjunto R = [a, b] [c, d] =
z C/a Re(z) b, c Im(z) d chamado de retngulo fechado. O inte-
rior de R (dado por z C/a < Re(z) < b, c < Im(z) < d) chamado de retngulo
aberto. Os pontos V
1
= a +ic, V
2
= b +ic, V
3
= b +id e V
4
= a +id so os vrtices
de R.
Exemplo 3.1. Seja R = [a, b] [c, d] um retngulo fechado com vrtices V
1
, V
2
, V
3
e V
4
como na denio anterior. A fronteira R de R a curva
1

4
, onde
1
=

V
1
V
2
,

2
=

V
2
V
3
,
3
=

V
3
V
4
e
4
=

V
4
V
1
. Os segmentos
1
,
2
,
3
,
4
so chamados lados
do retngulo (Veja Figura 3.1). O comprimento de R 2 (b a) + 2 (d c) .
De fato, os segmentos de reta

V
1
V
2
,

V
2
V
3
,

V
3
V
4
,

V
4
V
1
so as curvas
i
: [0, 1]
C, i = 1, 2, 3, 4 respectivamente, denidas por

1
(t) = (1 t)V
1
+tV
2

2
(t) = (1 t)V
2
+tV
3

3
(t) = (1 t)V
3
+tV
4

4
(t) = (1 t)V
4
+tV
1
Logo,
L(R) = L(
1

2

3

4
) = L(
1
) + L(
2
) + L(
3
) +L(
4
)
=
_
1
0
[V
1
+V
2
[ dt +
_
1
0
[V
2
+V
3
[ dt +
_
1
0
[V
3
+V
4
[ dt +
_
1
0
[V
4
+V
1
[ dt
= [a ic +b +ic[ +[b ic +b +id[ +[b id +a +id[ +[a id +a +ic[
= [b a[ +[i(d c)[ +[a b[ +[i(c d)[
= 2 (b a) + 2 (d c) .
Integrao sobre curvas 53
V4 = a + id V3 = b + id
V1 = a + ic V2 = b + ic
R 2
3
4
1
Figura 3.1: Retngulo
Proposio 3.7. Sejam um aberto em C e f C
1
(). Se R um retngulo fechado,
R , ento
_ _
R
f
z
dxdy =
1
2i
_
R
fdz.
Demonstrao. Seja R = [a, b] [c, d] e sejam V
1
, V
2
, V
3
, V
4
os vrtices de R como na
denio 3.14 e
1
,
2
,
3
,
4
os lados de R. A curva x x + ic, a x b uma
reparametrizao de
1
; a curva x x + id, a x b uma reparametrizao de

1
3
. Logo,
_ _
R
f
y
dxdy =
_
d
c
_
b
a
f
y
dxdy =
_
b
a
__
d
c
f
y
dy
_
dx
=
fC
1
()
_
b
a
[f(x, y)]
d
c
dx =
_
b
a
(f(x, d) f(x, c)) dx
=
_

1
3
fdz
_

1
fdz =
__

1
fdz +
_

3
fdz
_
Analogamente, usando a reparametrizao y b + iy, c y d de
2
e a
reparametrizao y a +iy, c y d de
1
4
, encontramos
_ _
R
f
x
dxdy = i
__

2
fdz +
_

4
fdz
_
.
Portanto, usando a denio 3.3, temos
_ _
R
f
z
dxdy =
1
2
_ _
R
_
f
x
+i
f
y
_
dxdy
=
1
2
__
i
_

2
fdz i
_

4
fdz
_
+
_
i
_

1
fdz i
_

3
fdz
__
=
i
2
4

n=1
_

n
fdz
=
1
2i
_
R
fdz.
54 Funes C-diferencivel e Funes Holomorfas
Corolrio 3.5. Se f C
1
() e f C-diferencivel em , ento para qualquer retn-
gulo fechado R , temos que
_
R
fdz = 0.
Demonstrao. Pela proposio anterior, temos que
_
R
fdz = 2i
_ _
R
f
z
dxdy.
Como f C-diferencivel, pela proposio 3.2,
_
R
fdz = 2i
_ _
R
0dxdy = 0.
Note que, pelo Corolrio 3.3, se f holomorfa em , o resultado tambm segue.
Lema 3.7. Seja f : C contnua. Suponhamos que exista uma funo F, C-
diferencivel em tal que F

= f. Ento, para qualquer curva em fechada e


diferencivel por partes
_

fdz = 0.
Demonstrao. Seja : [a, b] uma curva fechada e diferencivel por partes. Ento
_

fdz =
_
b
a
f ( (t))

(t) dt =
_
b
a
F

( (t))

(t) dt
=
_
b
a
d
dt
F ( (t)) dt = F ( (b)) F ( (a)) = 0
j que (a) = (b).
Corolrio 3.6. Se f um polinmio em z e uma curva fechada diferencivel por
partes em C, ento
_

fdz = 0.
Demonstrao. Se f(z) =

d
n=0
a
n
z
n
e F(z) =

d
n=0
a
n
n+1
z
n+1
, ento F

= f e aplica-se
o lema anterior.
O prximo resultado traz uma ferramenta para a prova de que funes C-diferenciveis
so holomorfas. um teorema mais forte, que central para o resto deste captulo.
Posteriormente, a m de us-lo, apresentaremos uma forma mais geral desse resultado.
Teorema 3.2. (O Teorema de Cauchy-Goursat) Sejam um aberto em C e f
uma funo C-diferencivel em . Ento, para qualquer retngulo fechado R ,
temos que
_
R
fdz = 0.
Integrao sobre curvas 55
Demonstrao. Considere os vrtices V
1
, V
2
, V
3
, V
4
de R como na denio 3.14. Vamos
dividir R em 4 retngulos R
1
, R
2
, R
3
, R
4
como mostra a Figura 3.2. Os vrtices W
1
=
1
2
(V
1
+V
2
), W
2
=
1
2
(V
2
+V
3
), W
3
=
1
2
(V
3
+V
4
), W
4
=
1
2
(V
4
+V
1
) so os pontos
mdios das curvas
1
,
2
,
3
,
4
respectivamente e o ponto V
0
=
1
4
(V
1
+V
2
+V
3
+V
4
)
o centro de R. Portanto, R
1
tem vrtices V
1
, W
1
, V
0
, W
4
, R
2
tem vrtices W
1
, V
2
, W
2
, V
0
,
R
3
tem vrtices V
0
, W
2
, V
3
, W
3
e R
4
tem vrtices W
4
, V
0
, W
3
, V
4
. Ento, temos que
_
R
fdz =
4

=1
_
R

fdz
V0
V2
V3
W2
V1
W4
V4
W1
R4 R3
R2 R1
W3
Figura 3.2: Retngulo Fechado
Observe que o segmento de reta

W
1
V
0
ocorre na fronteira de R
1
;

V
0
W
1
ocorre em
R
2
e a soma das integrais sobre esses dois segmentos nula.
Seja A =

_
R
fdz

. J que A =

4
=1
_
R

fdz



4
=1

_
R

fdz

, existe um

1
, (1
1
4) tal que

_
R

1
fdz


1
4
A.
Agora, dividimos R

1
em quatro retngulos R

, = 1, . . . , 4 como anteriormente.
O retngulo R

1
ter um novo centro e os pontos mdios de seus lados sero novos
vrtices de R

. Novamente,
_
R

1
fdz =
4

=1
_
R

fdz
de modo que existe um
2
, (1
2
4) tal que

_
R

2
fdz


1
4

_
R

1
fdz


_
1
4
_
2
A.
Note que L(R

1
) =
1
2
L(R), L(R

2
) =
1
4
L(R), dimetro(R

1
) =
1
2
dimetro(R)
e dimetro(R

2
) =
1
4
dimetro(R).
Iterando este processo, encontramos uma sequncia de retngulos R

1
...
k

k1
, 1

j
4 com as seguintes propriedades:
1. R

1
...
k

k+1
R

1
...
k
,
2. L(R

1
...
k
) = 2
k
L(R) ,
3. dimetro(R

1
...
k
) = 2
k
dimetro(R) e
56 Funes C-diferencivel e Funes Holomorfas
4.

_
R

1
...
k
fdz

4
k
A.
Visto que cada R

1
...
k
compacto, os fatos 1 e 3 implicam que a interseco de todos
os R

1
...
k
consiste de um nico ponto, ou seja,

k1
R

1
...
k
= a .
Denimos, ento, a funo (z) por
f(z) = f(a) + (z a) f

(a) + (z) ;
como f C-diferencivel em a, temos que limza
z=a
(z)
|za|
= 0. Assim, pela denio de
limite, dado > 0, existe > 0 tal que [ (z)[ [z a[ para [z a[ . Alm disso,
pelo Corolrio 3.6 temos que
_
R

1
...
k
fdz =
_
R

1
...
k
f(a) + (z a) f

(a)
. .
polinmio em z
dz +
_
R

1
...
k
dz
= 0 +
_
R

1
...
k
dz =
_
R

1
...
k
dz.
Agora, escolhemos k sucientemente grande de forma que o dimetro(R

1
...
k
) < ;
ento [z a[ < para qualquer z R

1
...
k
. Com isso,
4
k
A

_
R

1
...
k
fdz

_
R

1
...
k
dz

ML(R

1
...
k
)
onde M = sup
z
(
R

1
...
k
)
[(z)[ (Lema 3.5). Logo,
ML(R

1
...
k
) dimetro (R

1
...
k
) L(R

1
...
k
)
= 2
k
dimetro (R) 2
k
L(R) .
Portanto, A dimetro (R) L(R) . Como > 0 arbitrrio, segue que A = 0
provando o teorema.
Teorema 3.3. Sejam um aberto em C e f uma funo contnua em . Seja a e
suponhamos que f/
{a}
C-diferencivel em a. Ento, para qualquer retngulo
fechado R , temos que
_
R
fdz = 0.
Demonstrao. Se a / R, o resultado segue do Teorema 3.2 (aplicado f/
{a}
).
Agora, suponhamos que a R. Escolhemos um retngulo fechado R

contido
no interior de R e cujo vrtices convergem para os vrtices de R quando 0. (Se
Integrao sobre curvas 57
V4 V3
V1 V2
R1 R2
a = + i
Figura 3.3: a int (R)
R = [a, b] [c, d], podemos, por exemplo, pegar R

= [a +, b ] [c +, d ].)
Ento, j que f contnua e, portanto, uniformemente contnua em R, temos que
_
R

fdz
_
R
fdz quando 0.
Mas, pelo Teorema 3.2,
_
R

fdz = 0; logo,
_
R
fdz = 0.
Por m, suponhamos que a est no interior de R (a = +i). Sejam R
1
o retngulo
de vrtices V
1
, +iIm(V
1
), +iIm(V
3
), V
4
e R
2
o retngulo de vrtices +iIm(V
1
),
V
2
, V
3
, +iIm(V
3
) (veja gura 3.3). Ento,
_
R
fdz =
_
R
1
fdz +
_
R
2
fdz.
Mas a R
1
e a R
2
, o que implica que as duas ltimas integrais so nulas, devido
ao caso tratado acima.
Lema 3.8. Se R um retngulo fechado em C e a int (R), ento
_
R
1
z a
dz = 2i.
Demonstrao. Seja 0 t 1. Ento existe um nico nmero > 0 tal que a+e
2it

(R); denotamos o nmero por (t) e r(t) = a + (t)e


2it
. A funo t (t)
diferencivel por partes ( diferencivel exceto nos quatro valores de t para os quais
r(t) um vrtice de R). Alm disso, a funo t r(t) uma reparametrizao de
R. Logo,
_
R
1
z a
dz =
_
1
0
_
1
a +(t)e
2it
a
_
d
dt
_
a +(t)e
2it
_
dt
=
_
1
0
_

(t)
(t)
+ 2i
_
dt
= log

(1)
(0)

+ 2i.
Como (0) = (1), log ((1)/(0)) = 0 e o lema est provado.
58 Funes C-diferencivel e Funes Holomorfas
Teorema 3.4. (Frmula de Cauchy para um Retngulo) Sejam um aberto em
C e f uma funo C-diferencivel em . Seja R um retngulo fechado. Ento,
para qualquer a int(R),
f(a) =
1
2i
_
R
f(z)
z a
dz.
Demonstrao. Dena a funo g da seguinte forma:
g(z) =
_
f(z)f(a)
za
se z , z ,= a
f

(a) se z = a.
Como f C-diferencivel em , a funo g contnua em e g/
{a}
C-diferencivel.
Logo, pelo Teorema 3.3
0 =
_
R
g(z)dz =
_
R
f(z)
z a
dz f(a)
_
R
1
z a
dz
=
_
R
f(z)
z a
dz 2if(a)
f(a) =
1
2i
_
R
f(z)
z a
dz.
O prximo teorema completa a proposta desta seo que mostrar a equivalncia
entre funes holomorfas e funes C-diferenciveis. A prova desse resultado no d o
melhor valor possvel de r; isso ser feito na prxima seo.
Teorema 3.5. Sejam um aberto em C e f uma funo C-diferencivel em . Ento
f holomorfa. Mais precisamente, se a , ento existe r > 0 dependendo somente
de a e , e uma sequncia c
n

n0
de nmeros complexos tais que

n=0
c
n
(z a)
n
converge para f(z), z D(a, r).
Demonstrao. Seja a . Escolha um retngulo fechado R com a int(R) e
r > 0 tal que D(a, r) int(R). Se w D(a, r), pelo Teorema 3.4,
f(w) =
1
2i
_
R
f(z)
z w
dz.
Agora,
1
z w
=
1
z a
_
1
w a
z a
_
1
=
1
z a

n=0
_
w a
z a
_
n
se [w a[ < [z a[ .
Claramente, se w D(a, r) e z (R), podemos tomar 0 < < 1 ( dependendo
somente de r e R) de forma que [w a[ [z a[. Logo,
f(w) =
1
2i
_
R
f(z)

n=0
(w a)
n
(z a)
n+1
dz
Integrao sobre curvas 59
e a srie converge uniformemente para w D(a, r) e z (R). Podemos, portanto,
permutar a ordem do somatrio e da integral e obter
f(w) =

n=0
c
n
(w a)
n
para w D(a, r)
onde
c
n
=
1
2i
_
R
f(z)
(z a)
n+1
dz.
Corolrio 3.7. Se f C
1
() e
f
z
= 0 em , ento f holomorfa.
Demonstrao. A Proposio 3.5 e o Corolrio 3.1 implicam que f C-diferencivel
em . Portanto, com o Teorema 3.5, chegamos prova do nosso Corolrio.
Corolrio 3.8. Qualquer funo C-diferencivel em innitamente diferencivel.
Demonstrao. De fato, pelo Teorema 3.5, f holomorfa em . Assim, tendo em vista
o Corolrio 3.4, f innitamente diferencivel em .
Teorema 3.6. (Teorema de Morera) Seja um aberto em C e seja f uma funo
contnua em . Suponhamos que para qualquer retngulo fechado R , temos
_
R
fdz = 0.
Ento f holomorfa em .
Demonstrao. suciente provar este teorema quando um disco. Ento, seja
a = +i o centro do disco.
Para z , z = x +iy (x, y R), seja z

= x +i e
z
a curva

az

z. Denimos
uma funo F em por
F(z) =
_

z
f(w)dw.
Seja h ,= 0 um nmero real sucientemente pequeno. Ento,
F(z +ih) F(z)
h
=
1
h
_
L
f(w)dw
onde L o segmento de reta

z z +ih (Veja gura 3.4).
Logo,
F(z +ih) F(z)
h
=
i
h
_
y+h
y
f(x +it)dt.
Portanto, F/y existe e igual a if em .
Agora, seja z

o ponto z

= +iy e seja
z
a curva

az

z. Armamos que
_

z
f(w)dw =
_

z
f(w)dw. (3.1)
60 Funes C-diferencivel e Funes Holomorfas
z'' z
a z'
x
z
z + ih
z
y + h
y


Figura 3.4: D(a, r)
De fato, se z tal que x ,= e y ,= , ento
_

z
f(w)dw
_

z
f(w)dw =
_
R
f(w)dw,
onde R o retngulo de vrtices a, z

, z, z

e
_
R
f(w)dw = 0 por hiptese.
Suponhamos que x = . Ento z

= a e z

= z, de modo que
_

z
f(w)dw =
_

z

z
f(w)dw =
_
az
f(w)dw
j que

az

foi reduzido a um ponto e


_

az

f(w)dw = 0. Analogamente,
_

z
f(w)dw =
_
az
f(w)dw (

z

z reduziu a um ponto). E, neste caso, (3.1) est provado.


O caso em que y = decorre da mesma forma e assim, tambm prova (3.1).
Agora, seja h ,= 0 um nmero real sucientemente pequeno. Segue de (3.1) que
1
h
(F(z +h) F(z)) =
1
h
_

z(z+h)
f(w)dw =
1
h
_
x+h
x
f(t +iy)dt.
Com isso, segue que F/x existe e igual a f em . Portanto F/x, F/y so
contnuas e F/x = f = i(if) = i (F/y) . Logo, pela Proposio 3.5, F C-
diferencivel em e, pelo Teorema 3.5, holomorfa, com F

= f. A Proposio 3.6
conclui que F

= f holomorfa.
Proposio 3.8. Seja um aberto conexo e seja f uma funo contnua em . Ento
existe uma funo holomorfa F em tal que F

= f se e somente se
_

fdz = 0
para toda curva fechada e diferencivel por partes em . Em particular, f ento
holomorfa.
Propriedades Fundamentais de Funes Holomorfas 61
Demonstrao. J vimos no Lema 3.7 que se F holomorfa em e F

= f, ento
_

fdz = 0 para qualquer curva fechada e diferencivel por partes em .


Agora, vamos supor que f satisfaz a condio
_

fdz = 0, para toda curva fechada


e diferencivel por partes em . O Teorema 3.6 implica que f holomorfa.
Fixe a . Para w , escolhemos uma curva
w
diferencivel por partes ligando
a a w, e denimos
F(w) =
_

w
fdz.
Devido ao fato de ser conexo, isto depende somente de w e no da curva que liga a
a w.
Sejam w
0
e D(w
0
, r) um disco centrado em w
0
tal que D(w
0
, r) . Para
w D(w
0
, r), sejam w

= Re(w) + iIm(w
0
) e
w
a curva

w
0
w

w. Se
w
0
uma
curva ligando a a w
0
, ento
w
0

w
a curva de a a w e diferencivel por partes se

w
tambm diferencivel por partes. Logo
F(w) F(w
0
) =
_

w
fdz.
Esta ltima integral exatamente a funo considerada na prova do Teorema de Mo-
rera. Disso, segue que
dF(w)
dw
=
d
dw
(F(w) F(w
0
)) = f(w) em .
3.3 Propriedades Fundamentais de Funes Holomor-
fas
Denio 3.15. Seja um conjunto aberto em C. Denotaremos por H() o conjunto
de todas as funes holomorfas em . Sob a adio e multiplicao de funes e
multiplicao de funes por constantes, H() uma lgebra sobre o corpo C dos
nmeros complexos.
Teorema 3.7. (O Princpio da Continuao Analtica) Seja um aberto conexo
de C e seja f H(). Se existe um conjunto aberto U no-vazio de tal que f/
U
0,
ento f 0 em .
Demonstrao. Sejam f
(0)
= f e f
(n)
a n-sima derivada de f. Seja
E
n
=
_
z /f
(n)
(z) = 0
_
e E =

n0
E
n
.
Como f
(n)
contnua, E
n
fechado em para cada n; logo, E tambm fechado
em .
62 Funes C-diferencivel e Funes Holomorfas
Seja a . J que f H(), existe um disco D com centro em a tal que
f(z) =

n=0
c
n
(z a)
n
para z D. Em z = a, temos que f(a) = c
0
. Agora, pela
Proposio 3.6, f

(z) =

n=1
nc
n
(z a)
n1
e
f
(k)
(z) =

n=k
n(n 1) (n k + 1) c
n
(z a)
nk
.
Fazendo z = a nesta ltima equao, temos
c
k
=
1
k!
f
(k)
(a).
Suponhamos agora que a E. Ento f
(k)
(a) = 0 para todo k 0; assimc
k
= 0, k 0.
Logo, f(z) =

0
c
k
(z a)
k
= 0 para todo z D. Segue que f
(n)
(z) = 0, z D;
consequentemente D E. E isso prova que E aberto.
Portanto E aberto e fechado. Se f/
U
0, claramente temos que U E impli-
cando que E ,= . Agora, j que conexo, ento E = e, portanto, f 0 em
.
Denio 3.16. Sejam f H() e a . A srie

n=0
1
n!
f
(n)
(a) (z a)
n
chamada de srie de Taylor de f em a.
Lema 3.9. Sejam f H() e a . Ento, a srie de Taylor de f em a converge para
f em alguma vizinhana de a. A srie

n=0
c
n
(z a)
n
a nica com esta propriedade.
Demonstrao. Note que no decorrer da prova do Teorema 3.7 provamos este fato.
Teorema 3.8. Sejam um aberto conexo em C e f H(). Seja
Z
f
= z /f(z) = 0 .
Ento Z
f
discreto se f ,= 0.
Demonstrao. Primeiramente, como f contnua, Z
f
fechado. Agora, considere
a Z
f
. Ento, existe uma vizinhana U de a e uma expanso
f(z) =

n=0
c
n
(z a)
n
, z U.
Temos que c
0
= f(a) = 0. Como f ,= 0, pelo Teorema 3.7, f/
U
,= 0 e ento existe
n > 0 tal que c
n
,= 0. Seja k o menor inteiro n > 0 tal que c
n
,= 0. Temos
f(z) = (z a)
k

n=k
c
n
(z a)
nk
= (z a)
k
g(z).
Claramente g(a) = c
k
,= 0, de forma que existe uma vizinhana V U de a tal que
g(z) ,= 0, z V. Ento
Z
f
V = a ;
assim a um ponto isolado de Z
f
.
Propriedades Fundamentais de Funes Holomorfas 63
Corolrio 3.9. Sejam um aberto conexo em C e f, g H(). Se o conjunto
z /f(z) = g(z)
tem um ponto de acumulao em , ento f g.
Demonstrao. Suponhamos que f g ,= 0. Pelo Teorema 3.8, temos que Z
f
=
z /f(z) g(z) = 0 discreto, o que contradiz a hiptese de que o conjunto
z /f(z) = g(z) tem um ponto de acumulao em .
Denio 3.17. Seja f H(). Uma primitiva de f em uma funo F H()
cuja derivada f, ou seja, F

= f.
Lema 3.10. (a) Seja a srie

n=0
c
n
(z a)
n
que converge para f(z) com z D(a, r).
Ento f tem uma primitiva em D(a, r).
(b) Seja um aberto conexo e sejam F, G duas primitivas de f H() em . Ento
F G constante.
Demonstrao. (a) A srie

n=0
c
n
n+1
(z a)
n+1
uma primitiva de f em D(a, r)
(Proposio 3.6).
(b) Dena H = F G. Ento H

= 0 em . Logo, H
(n)
= 0 em para n 1. Se
a e U uma vizinhana de a tal que a srie de Taylor de H converge para H
em U (Lema 3.9), ento, pela Denio 3.16,
H(z) =

n=0
1
n!
H
(n)
(a) (z a)
n
= H(a), z U.
Logo H/
U
constante e, fazendo f(z) = H(z) H(a), pelo Teorema 3.7, H
constante em .
O prximo teorema j foi provado na demonstrao do Teorema 3.6 de Morera. O
que faremos agora apresentar uma outra maneira que passa do local para o global.
Teorema 3.9. (Teorema de Cauchy para um Disco) Se D = D(a, r) um disco
(a C e r > 0; podendo r = ), ento qualquer f H(D) tem uma primitiva.
Demonstrao. Pelo Lema 3.10(a), se f H(D), ento f tem uma primitiva em D(a, )
para algum > 0. Dena
r
0
= sup /0 < < r, f tem uma primitiva em D(a, ) .
Primeiro, f tem uma primitiva em D(a, r
0
). De fato, sejam < r
0
e G qualquer
primitiva de f em D(a, ). Dena F

= G G(a). Se <

< r
0
, denimos F

=
H H(a), onde H uma primitiva de f em D(a,

). Como F

e F

so primitivas
64 Funes C-diferencivel e Funes Holomorfas
de f em D(a, ), pelo Lema 3.10(b), segue que F

constante em D(a, ). Mas


F

(a) = 0 = F

(a) e, portanto, F

/
D(a,)
= F

. Se denimos F H (D(a, r
0
)) exigindo
que F/
D(a,)
= F

para < r
0
, ento F ser uma primitiva de f em D(a, r
0
).
Agora, mostraremos que r
0
= r. Suponhamos que r
0
< r. Para cada w, com
[w a[ = r
0
, tomamos um disco D
w
centrado em w no qual f tem uma primitiva G
w
,
e escolhemos um ponto a
w
D
w
D(a, r
0
). Seja F uma primitiva da f em D(a, r
0
).
Adicionando uma constante G
w
, podemos supor que G
w
(a
w
) = F(a
w
). Armamos
que F = G
w
em D
w
D(a, r
0
); de fato, como D
w
e D(a, r
0
) so conexos, a inter-
seco conexa e assim, F G
w
constante em D
w
D(a, r
0
) (Lema 3.10(b)). Como
F(a
w
) G
w
(a
w
) = 0, temos que F = G
w
em D
w
D(a, r
0
).
Armamos que se D
w
D
w
,= , ento G
w
= G
w
em U = D
w
D
w
. De fato,
U conexo e, portanto, G
w
G
w
constante em U (Lema 3.10(b)). Agora, se U
no-vazio, ento U D(a, r
0
) ,= . Logo G
w
= F = G
w
em U D(a, r
0
) e, j que
G
w
G
w
constante em U, G
w
G
w
= 0.
Se V = D(a, r
0
)
|wa|=r
0
D
w
, podemos denir H H(V ) exigindo que H/
D(a,r
0
)
=
F, F/
D
w
= G
w
para [w a[ = r
0
. Claramente, H uma primitiva de f; alm disso,
existe , r
0
< < r, tal que D(a, ) V . Isso contradiz a denio de r
0
. Logo, r
0
= r
e, portanto, o teorema est provado.
Teorema 3.10. Seja D = D(a, r) um disco aberto e f H(D). Ento, para qualquer
curva em D fechada e diferencivel por partes,
_

fdz = 0.
Demonstrao. Pelo Teorema 3.9, f H(D) tem uma primitiva F, ou seja, F

= f em
D. Com isso, usando o Lema 3.7, para qualquer curva em D fechada e diferencivel
por partes, temos que
_

fdz = 0.
Teorema 3.11. (Frmula de Cauchy para um Disco) Seja um aberto em C.
Sejam a e r > 0 tais que D(a, r) . Ento, para qualquer f H() e
w D(a, r) temos que
f(w) =
1
2i
_

f(z)
z w
dz.
Demonstrao. Denimos uma funo g em por
g(z) =
_
f(z)f(w)
zw
, z , z ,= w
f

(w), z = w.
Ento g H(). Para vericar este fato, temos que mostrar que g holomorfa em
uma vizinhana de w. Se f(z) =

n=0
c
n
(z w)
n
para z prximo de w, temos que
g(z) =

n=1
c
n
(z w)
n1
para estes valores de z.
Agora, para z em , z ,= w, pelo Teorema 3.10 temos que
_

gdz = 0
_

f(z)
z w
dz = f(w)
_

dz
z w
Propriedades Fundamentais de Funes Holomorfas 65
Reparametrizando na forma w +()e
2i
(0 1) como na prova do Lema
3.8 (w D(a, r)), encontramos, mais uma vez na prova citada, que
_

dz
zw
= 2i, w
D(a, r).
Mas, f(w)
_

dz
zw
= f(w) 2i f(w) =
1
2i
_

f(z)
zw
dz.
Teorema 3.12. Sejam a C, r > 0 e D = D(a, r). Ento, para qualquer f H(D),
a srie de Taylor

n=0
1
n!
f
(n)
(a) (z a)
n
converge para f(z), z D.
Demonstrao. Sejam 0 < < r e w D(a, ). Temos
f(w) =
1
2i
_

f(z)
z w
dz,
sendo a curva t a +e
2it
, 0 t 1. Agora
1
z w
=
1
z a
_
1
w a
z a
_
1
=

n=0
(w a)
n
(z a)
n+1
,
a srie converge uniformemente para [z a[ = se [w a[ < (w est xado). Con-
sequentemente, para w D(a, ), temos
f(w) =

n=0
c
n
(w a)
n
onde c
n
=
1
2i
_

f(z)
(z a)
n+1
dz.
Segue do Lema 3.9 que c
n
=
f
(n)
(a)
n!
. Assim, a srie de Taylor de f em a converge para
f em D(a, ). Como < r arbitrrio, isto prova o resultado.
Corolrio 3.10. Seja a . Ento, para qualquer f H(), a srie de Taylor de
f em a converge para f no maior disco D(a, r) contido em (r a distncia de a a
).
Teorema 3.13. (Desigualdade de Cauchy) Sejam f uma funo holomorfa em
D(a, r), 0 < < r e M() = sup
|za|=
[f(z)[. Ento

f
(n)
(a)

n!M()
n
, para n 0.
Equivalentemente, se

n=0
c
n
(z a)
n
a srie de Taylor de f em a, temos
[c
n
[ M()
n
, para n 0.
Demonstrao. Vimos na prova do Teorema 3.12 que
c
n
=
1
2i
_

f(z)
(z a)
n+1
dz, (t) = a +e
2it
, 0 t 1
=
1
2i
_
1
0
f
_
a +e
2it
_

_
e
2it
_
n1

d
dt
_
e
2it
_
dt
=
n
_
1
0
f
_
a +e
2it
_
e
2int
dt, n 0.
66 Funes C-diferencivel e Funes Holomorfas
Logo,
[c
n
[
n
_
1
0

f
_
a +e
2it
_

dt M()
n
.
Teorema 3.14. (Teorema de Liouville) Seja f holomorfa em C. Se f limitada,
ento f constante.
Demonstrao. Seja M(r) = sup
|z|=r
[f(z)[. Se f limitada, ento existe M > 0 tal
que M(r) M, r > 0. Seja

0
c
n
z
n
a srie de Taylor de f em 0. Logo, pelo
Teorema 3.13,
[c
n
[ M(r)r
n

M
r
n
, para n 0.
Fixando n 1 e fazendo r , segue que c
n
= 0, n > 0. Portanto, f(z) = c
0
.
4 Espaos de Recobrimento
4.1 Espaos de Recobrimento e Levantamento de Cur-
vas
Denio 4.1. Um espao topolgico X dito um espao de Hausdor se para cada
par de pontos x e y distintos em X, existe uma vizinhana U de x e V de y tais que
U V = .
Denio 4.2. (Homeomorsmo) Sejam X e Y espaos topolgicos e seja f : X
Y uma funo bijetora. Se f e f
1
so contnuas, dizemos que f um homeomorsmo.
Denio 4.3. Seja X um espao topolgico. Uma separao de X um par de
subconjuntos abertos, no-vazios e disjuntos de X tais que U V = X. O espao X
dito ser conexo se no existe uma separao de X.
Denio 4.4. Seja X um espao topolgico de Hausdor. Dizemos que X uma
variedade de dimenso n se todo ponto a X tem uma vizinhana aberta U que
homeomorfa a um conjunto aberto do R
n
. Tambm dizemos que X uma variedade.
Se : U um homeomorsmo, onde R
n
um aberto, ento (U, ), ou
apenas U, chamado de uma carta.
Denio 4.5. Sejam X e X

variedades de dimenso n e seja p : X

X um
homeomorsmo local (isto , a

, existe um conjunto aberto U

, a

, tal
que p(U

) = U aberto e p/
U
um homeomorsmo sobre U).
Seja Y um espao topolgico e f : Y X uma aplicao contnua.
Um levantamento f

de f (para X

ou com relao a p) uma aplicao contnua


f

: Y X

tal que p f

= f.
Se um levantamento f

existe, dizemos que a aplicao f pode ser levantada.


Observao 4.1. Dado um homeomorsmo local p : X

X e uma aplicao contnua


f : Y X, nem sempre existe um levantamento de f; mesmo que exista, em geral, ele
no nico.
Lema 4.1. Sejam p : X

X um homeomorsmo local e Y um espao de Hausdor


conexo. Seja f : Y X uma aplicao contnua e, suponhamos que so dados dois
67
68 Espaos de Recobrimento
levantamentos f
1
e f
2
de f. Se existe um ponto y
0
Y tal que f
1
(y
0
) = f
2
(y
0
), ento
f
1
f
2
.
Demonstrao. Seja E = y Y/f
1
(y) = f
2
(y). Ento y
0
E e, como Y Hausdor,
E fechado.
Sejam y E e a

, a

= f
1
(y) = f
2
(y). Por hiptese, existe uma vizinhana
U

de a

tal que p(U

) = U aberto e p/
U
um homeomorsmo sobre U. J que
f
1
, f
2
so contnuas, existe uma vizinhana aberta V de y tal que f

(V ) U

para
= 1, 2. Agora, para qualquer v V , temos que f
1
(v), f
2
(v) U

e, como f
1
, f
2
so levantamentos, p (f
1
(v)) = f(v) = p (f
2
(v)). Assim, sendo p/
U
injetiva, temos que
f
1
(v) = f
2
(v). Logo, V E. Isto prova que E aberto.
Como Y conexo e E ,= simultaneamente aberto e fechado, temos que E =
Y .
Denio 4.6. Sejam X e X

variedades e p : X

X uma aplicao contnua. Dize-


mos que p uma aplicao de recobrimento (e chamamos X

de um recobrimento
de X) se todo a X tem uma vizinhana U com a seguinte propriedade:
p
1
(U) uma unio disjunta, p
1
(U) =

jJ
U

j
, de conjuntos abertos U

j
em X

tais que p/
U

j
um homeomorsmo sobre U para cada j J.
Tal conjunto aberto U dito ser propriamente coberto por p. Se U conexo, os
U

j
so simplesmente as componentes conexas de p
1
(U).
Observao 4.2. Uma aplicao de recobrimento necessariamente um homeomor-
smo local. Se U X propriamente coberto por p e V U aberto, ento V
tambm propriamente coberto por p.
Proposio 4.1. Sejam p : X

X uma aplicao de recobrimento e a

,
p(a

) = a. Seja I = [0, 1] o intervalo unitrio fechado e seja : I X uma curva com


(0) = a. Ento existe um levantamento

: I X

de com

(0) = a

.
Demonstrao. Para qualquer x X, existe uma vizinhana aberta U
x
de x pro-
priamente coberta por p. Como I compacto, podemos encontrar pontos 0 = t
0
<
t
1
< < t
p+1
= 1 tais que ([t
v
, t
v+1
]) est contida em U
x
para algum x e para
v = 0, 1, . . . , p. Escolhemos x
v
X, v = 0, . . . , p, tal que
(t) U
x
v
para t
v
t t
v+1
, v = 0, 1, . . . , p.
Por hiptese, U
x
0
est propriamente coberto; ento, seja p
1
(U
x
0
) =

jJ
0
U

0,j
onde a
unio disjunta e p
0,j
= p/
U

0,j
um homeomorsmo sobre U
x
0
. Denimos

em [t
0
, t
1
]
por

(t) = p
1
0,j
0
(t), t
0
t t
1
,
onde j
0
est indexado para o qual a

0,j
0
. Suponhamos que

foi denido em [t
0
, t
v
]
e seja
p
1
(U
x
v
) =
_
jJ
v
U

v,j
,
O Feixe de Germes de Funes Holomorfas 69
onde a unio disjunta, e p
v,j
= p/
U

v,j
um homeomorsmo sobre U
x
v
. Denimos

em [t
v
, t
v+1
] por

(t) = p
1
v,j
v
(t), t
v
t t
v+1
,
onde j
v
est indexado em J
v
para o qual

(t
v
) U

v,j
v
. Isto indutivamente dene

(t)
para t t
p+1
= 1.
4.2 O Feixe de Germes de Funes Holomorfas
Seja a C. Considere o conjunto de pares (U, f), onde U um aberto contendo a
e f H(U). Denimos uma relao neste conjunto por
(U, f) (V, g)
se existe uma vizinhana aberta W de a, W U V , tal que f/
W
= g/
W
.
Essa relao de equivalncia. Uma classe de equivalncia f
a
chamada um germe
de uma funo holomorfa em a. Se (U, f) um representante do germe f
a
, dizemos
que f
a
o germe de f em a.
Denotamos por O
a
o conjunto de todos os germes em a.
Se f
a
O
a
, denimos o valor f
a
(a) do germe f
a
em a da seguinte forma: Para
qualquer representante (U, f) de f
a
, temos que f
a
(a) = f(a). Por denio de relao
de equivalncia, isto independe do representante (U, f) de f
a
.
Denimos da mesma maneira o valor em a das derivadas de f
a
: f
(k)
a
(a) = f
(k)
(a)
onde (U, f) um representante de f
a
.
Proposio 4.2. A multiplicao e a adio de funes induzem a estrutura de anel
comutativo em O
a
. O
a
um espao vetorial complexo. Alm disso, os elementos
distintos da unidade de O
a
formam um ideal m
a
em O
a
que um ideal maximal.
Demonstrao. Sejam f
a
, g
a
O
a
e C. Sejam (U, f), (V, g) respectivamente,
representantes de f
a
, g
a
. Denimos f
a
+ g
a
, f
a
g
a
e f
a
respectivamente, como os
germes em a denidos por
(U V, f +g) , (U V, f g) , (U, f) .
Seja m
a
o conjunto dos elementos diferentes da unidade de O
a
. Armamos que
f
a
m
a
se, e somente se, f
a
(a) = 0. De fato, se f(a) ,= 0 e V = z U/f(z) ,= 0 e se
g
a
o germe em a de
_
V,
1
f
_
, claramente temos que f
a
g
a
= 1, de modo que f
a
uma
unidade. Reciprocamente, se f
a
uma unidade e se f
a
g
a
= 1 com g
a
O
a
, considere
(U, f), (V, g) representantes de f
a
, g
a
respectivamente. Ento, temos que f(z)g(z) = 1
para todo z em uma vizinhana de a, de modo que, em particular, f(a) ,= 0.
Logo, m
a
= f
a
O
a
/f
a
(a) = 0; obviamente este conjunto um ideal. Alm disso,
qualquer ideal prprio (,= 0 e ,= O
a
) de O
a
deve consistir de elementos diferentes da
unidade e assim deve estar contido em m
a
.
70 Espaos de Recobrimento
Lema 4.2. O
a
/m
a

= C.
Demonstrao. De fato, a aplicao f
a
f
a
(a) um homomorsmo sobre C, ou seja,
: O
a
C , (f
a
) = f
a
(a) tal que (f
a
+ g
a
) = (f
a
+ g
a
)(a) = f
a
(a) + g
a
(a) =
(f
a
) + (g
a
) e, pela Proposio 4.2, Ker = f
a
O
a
/f
a
(a) = 0 = m
a
. Como
sobrejetora, temos que O
a
/m
a

= O
a
/m
a

= C.
Considere o conjunto O =

aC
O
a
sendo uma unio disjunta. Introduzimos uma
topologia em O da seguinte forma:
Sejam f
a
O
a
e (U, f) um representante de f
a
. Denotamos por N (U, f) o conjunto
de germes em diferentes pontos de U denidos por (U, f), isto ,
N (U, f) = f
z
O
z
/f
z
o germe em z U denido por (U, f) . (4.1)
A topologia em O denida exigindo que quando (U, f) percorre todos os represen-
tantes de f
a
, os conjuntos N (U, f) formam um sistema fundamental de vizinhanas
de f
a
.
Denimos uma aplicao p : O C por p(f
a
) = a se f
a
O
a
( isto , p leva um
germe em a sobre o ponto a).
Denio 4.7. O espao O junto com a aplicao p : O C chamado de feixe
de germes de funes holomorfas sobre C. Usaremos frequentemente este termo
apenas para o espao O.
Proposio 4.3. O um espao de Hausdor.
Demonstrao. Sejam f
a
O
a
e g
b
O
b
, (a, b C) e suponhamos que f
a
,= g
b
.
(Caso a ,= b). Sejam (U, f), (V, g) representantes de f
a
e g
b
respectivamente.
Escolha vizinhanas U

U, V

V de a, b respectivamente tais que U

= .
Ento N (U

, f), N (V

, g) so vizinhanas disjuntas de f
a
, g
b
.
(Caso a = b). Sejam (U, f), (V, g) representantes de f
a
e g
b
(= g
a
) como no caso
anterior. Seja D um disco com centro a, D U V . Armamos que se f
a
,= g
a
,
ento N (D, f) N (D, g) = ; de fato, se h
z
N (D, f) N (D, g), ento f e g
ambas denem o germe h
z
de z; assim, por denio, existe uma vizinhana W
de z, W D tal que f/
W
= g/
W
. E, pelo Teorema 3.7, f g em D (conexo),
em particular f
a
= g
a
.
Proposio 4.4. A aplicao p : O C, p(O
a
) = a, contnua e um homeomorsmo
local.
Espaos de Recobrimento e Integrao ao longo de Curvas 71
Demonstrao. Sejam f
a
O
a
e (U, f) um representante de f
a
. Ento p (N (U, f)) =
U; se V um aberto em C contendo a, ento p (N (U V, f)) = U V V , de
modo que p contnua. Alm disso, a equao p (N (U, f)) = U implica que p uma
aplicao aberta. Finalmente p/
N(U,f)
injetiva tendo a inversa z f
z
igual o germe
em z denida por (U, f). Portanto, para qualquer conjunto da forma N (U, f), p/
N(U,f)
um homeomorsmo sobre U.
Corolrio 4.1. O uma variedade de dimenso 2.
Demonstrao. A aplicao p : O C homeomorsmo local, isto , para cada O
a
de
O, existe um aberto W contendo O
a
tal que p(W) aberto e p/
W
homeomorsmo
sobre um aberto de C; isto equivale a denio de variedade de dimenso 2.
Denio 4.8. Seja f
a
O
a
e seja : [0, 1] C uma curva com (0) = a. Uma
continuao analtica de f
a
ao longo de um levantamento de para O (com
relao a aplicao p) tal que (0) = f
a
. Tambm chamamos (t) o germe de (t)
obtido pela continuao analtica de f
a
ao longo de .
fa O
p
~

a C
[0,1]

Figura 4.1: Continuao Analtica de f


a
ao longo de
4.3 Espaos de Recobrimento e Integrao ao longo
de Curvas
Antes de estabelecer a relao entre levantamento de curvas e integrao sobre
curvas diferenciveis por partes, daremos alguns exemplos.
72 Espaos de Recobrimento
Exemplo 4.1. Seja C

= C 0. A aplicao exp : C C

dada por exp(z) = e


z

uma aplicao de recobrimento. De fato, se V C da forma < z < + 2 onde


R, temos exp
1
(exp(V )) =

nZ
V
n
comV
n
= V +2in = z + 2in/z V . Logo
exp(V ) propriamente coberto. (exp(V ) o complemento emC

do raio e
ir
/ > 0).
Exemplo 4.2. Se n Z, n > 0, a aplicao C

dada por z z
n
uma aplicao
de recobrimento.
Denio 4.9. Denimos a derivada d como uma aplicao d : O O dada por: se
f
a
O
a
e (U, f) representante de f
a
, denimos d(f
a
) = (df)
a
sendo o germe em a
de (U, f

) onde f

=
df
dz
a derivada de f.
Proposio 4.5. d : O O uma aplicao de recobrimento.
Demonstrao. Sejam f
a
O e (U, f) um representante de f
a
. Seja D um disco
centrado em a tal que D U.
Sejam F uma primitiva de f em D e D = N (D, f). Para qualquer c C, seja
U
c
= N (D, F +c). Armamos que d
1
(D) =
cC
U
c
.
Para provar isso, sejam z D e g
z
O
z
cuja (dg)
z
= f
z
. Seja (W, g) um rep-
resentante de g
z
onde W uma vizinhana conexa de z, W D. Ento g

= f em
uma vizinhana de z; logo, g

= f em W de modo que
_
d
dz
_
(g F) = 0 em W. Logo,
g = F +c em W e g
z
U
c
. Reciprocamente, temos que d (U
c
) = N (D, f) = D.
Agora vamos vericar que d/
U
c
um homeomorsmo sobre D para qualquer c C.
Temos somente que checar que d/
U
c
injetiva, o que bvio j que d leva elementos
distintos de U
c
para germes em diferentes pontos de D. Como os U
c
com valores
distintos de c so mutuamente disjuntos, D propriamente coberto por d.
Agora, mostraremos que existe uma conexo prxima entre integrao sobre curvas
e o levantamento de curvas relativamente derivada d : O O.
Denio 4.10. Sejam um aberto em C, f H() e seja : [0, 1] uma curva
em . Uma primitiva de f sobre um levantamento, em relao d : O O,
da aplicao (contnua) : [0, 1] O dada por (t) = germe de (, f) em (t). (Isto
existe porque d : O O uma aplicao de recobrimento).
Se F
1
e F
2
so duas primitivas de f sobre , ento existe uma constante c tal que
F
1
(t) = F
2
(t) +c, t [0, 1] .
De fato, j que F
1
(0) e F
2
(0) so ambas primitivas de f em uma vizinhana de
(0), temos que F
1
(0) = F
2
(0) +c para algum c C. Ento F
1
(t), F
2
(t) +c so ambas
levantamentos de que coincidem em t = 0 e so idnticas pelo Lema 4.1.
Lema 4.3. Seja f H() e seja : [0, 1] uma curva diferencivel por partes.
Se F : [0, 1] O uma primitiva de f sobre e (t) o valor de F(t) em (t), ento
(1) (0) =
_

fdz.
Espaos de Recobrimento e Integrao ao longo de Curvas 73
O
F
d
[0,1]

O
Figura 4.2: Primitiva de f sobre
Demonstrao. Denimos um aplicao G : [0, 1] O da seguinte forma: sejam 0
t
0
1 e D um disco com centro (t
0
), D . Seja h a primitiva de f em D para o
qual
h((t
0
)) =
_
t
0
0
f ((t))

(t)dt =
_
t
0
0
(h )

(t)dt.
Ento denimos G(t
0
) como sendo o germe de h em (t
0
). Claramente dG(t
0
) =
germe em (t
0
) de h

= germe de f em (t
0
). Armamos que G um levantamento de
, isto , que G contnua.
Para ver isto, seja 0 t
0
1 e seja D o menor disco com centro em (t
0
). Seja
h H(D) tal que (D, h) um representante do germe F ((t
0
)). Tome > 0 tal que
(t) D para [t t
0
[ < . Por hiptese, h((t
0
)) =
_
t
0
0
f ((s))

(s)ds.
Agora, para [t t
0
[ < ,
h((t)) h((t
0
)) =
_
t
t
0
d
ds
h((s)) ds =
_
t
t
0
f ((s))

(s)ds
j que h

= f em D. Logo, h((t)) =
_
t
0
f ((s))

(s)ds, de modo que G(t) = germe de


h em (t) para [t t
0
[ < ; em particular, G(t) N (D, h), de forma que G contnua.
Agora, se F qualquer primitiva de f sobre , existe uma constante c tal que
F(t) = G(t) +c, t [0, 1]. Logo
F(1) ((1)) F(0) ((0)) = G(1) ((1)) G(0) ((0))
=
_
1
0
f ((s))

(s)ds =
_

fdz.
Este Lema nos sugere como podemos denir integrao sobre curvas que no so
necessariamente diferenciveis por partes.
74 Espaos de Recobrimento
Denio 4.11. Seja f H() e seja : [0, 1] uma curva contnua. Denimos
_

fdz = (1) (0)


onde (t) (0 t 1) o valor em t de F(t), F : [0, 1] O sendo uma primitiva de
f sobre .
(Como duas primitivas sobre diferem por uma constante, isto independe da escolha
de F.)
Lema 4.4. Seja f H(). Se f tem uma primitiva em , ento, para qualquer curva
fechada : [0, 1] , temos que
_

fdz = 0.
Demonstrao. Se H uma primitiva de f em , ento F : [0, 1] O denida por
F(t) = germe de H em (t)
uma primitiva de f sobre . Logo,
_

fdz = H ((1)) H ((0)) = 0


desde que (0) = (1).
5 O Nmero de Voltas
5.1 O Nmero de Voltas
Denio 5.1. Sejam : [0, 1] C uma curva fechada em C e a C, a / () =
([0, 1]). De modo anlogo ao Exemplo 4.1, a aplicao
C C a
z a +e
z
uma aplicao de recobrimento.
Ento, seja um levantamento de (com relao a esta aplicao). Denimos o
nmero de voltas n(, a) de em relao a a por
n(, a) =
1
2i
[ (1) (0)] .
n(, a) s vezes chamado de ndice de em relao a a.
Lema 5.1. Se : [0, 1] C uma curva, a C (), e se
1
,
2
so dois
levantamentos de com relao a aplicao z a+e
z
, ento
2
(1)
2
(0) =
1
(1)

1
(0). Portanto, n(, a) depende somente de e de a (no do levantamento).
Demonstrao. Como
1
,
2
so dois levantamentos de , a+e

1
(0)
= (0) = a+e

2
(0)
.
Logo, existe n Z tal que
2
(0) =
1
(0) +2in. Agora, t
1
(t) +2in e
2
so dois
levantamentos de que coincidem em t = 0. Logo,
2
(t) =
1
(t) +2in, t (Lema 4.1)
e segue o resultado.
Lema 5.2. Com a notao e a hiptese da Denio 5.1, n(, a) um nmero inteiro.
Demonstrao. Se um levantamento de com relao a aplicao C C a
dada por z a +e
z
, ento
(1) = a +e
(1)
e (0) = a +e
(0)
.
Como a curva fechada,
a +e
(1)
= a +e
(0)
75
76 O Nmero de Voltas
Logo, (1) = (0) + 2in, n Z. E, portanto,
n(, a) =
1
2i
[ (1) (0)]
=
1
2i
[ (0) + 2in (0)]
= n, n Z.
Lema 5.3. Com a notao anterior, temos
n(, a) =
1
2i
_

dz
z a
.
Demonstrao. Seja d : O O a derivada da Denio 4.9. Seja : C a O a
aplicao (w) = germe em w da funo z 1/(z a). Seja : [0, 1] Ca uma
curva fechada e seja = . Seja um levantamento de com relao a d. Sejam
w = (t), t [0, 1] e F
w
o germe (t); seja (D, F) um representante de F
w
onde D
um disco centrado em w.
Por denio da aplicao d, temos F

(z) = 1/(za), z D. Logo,


d
dz
_
(z a)e
F(z)

=
(1 (z a)F

(z)) e
F(z)
= 0, z D.
Seja
1
(t) = valor do germe (t) em(t). Agora ((t

) a) e

1
(t

)
= ((t

) a) e
F((t

))
para t

sucientemente prximo de t (porque (t

) o germe induzido por F em (t

)
perto de t). J que (z a)e
F(z)
constante em D, segue que t ((t) a) e

1
(t)

localmente constante, logo constante, em [0, 1]. Se = ((0) a) e

1
(0)
e c C tal
que e
c
= , ento a aplicao
t (t) =
1
(t) +c
um levantamento de (com relao a z a +e
z
). Logo, pela Denio 5.1,
2i n(, a) = (1) (0) = (
1
(1) +c) (
1
(0) +c)
= (1) ((1)) (0) ((0))
= F
(1)
F
(0)
.
Como F uma primitiva da funo 1/(z a), segue da Denio 4.11 que
2i n(, a) =
_

dz
z a
.
Teorema 5.1. Sejam X, X

variedades e p : X

X uma aplicao de recobrimento.


Seja Y uma variedade simplesmente conexa. Seja a

, a = p(a

). Suponhamos que
f : Y X uma aplicao contnua e que exista y
0
Y tal que f(y
0
) = a. Ento,
existe um levantamento f

: Y X

tal que f

(y
0
) = a

.
O Nmero de Voltas 77
Lema 5.4. Se uma curva fechada em C, a aplicao a n(, a) localmente
constante em C ().
Demonstrao. Seja : [0, 1] C uma curva fechada. Para a C(), denotamos
por
a
a curva
a
(t) = (t) a;
a
uma curva fechada em C

= C0. Se
a
um
levantamento de
a
com relao a aplicao z e
z
de C sobre C

, ento
n(, a) =
1
2i
(
a
(1)
a
(0)) .
Seja > 0 tal que o disco D

= w/ [w a[ < disjunto de (), e consideremos a


aplicao
I D

, (t, w) (t) w.
Agora, I D

simplesmente conexo (
1
(I D

) =
1
(I)
1
(D

)). Logo, pelo


Teorema 5.1, existe uma aplicao contnua : I D

C tal que e
(t,w)
= (t) w,
(t, w) I D

. Em particular, a aplicao t (t, w) (t I, w xado) um


levantamento de
w
com relao a z e
z
. Logo, para w D

,
n(, w) =
1
2i
((1, w) (0, w)) .
Segue que a aplicao w n(, w) uma aplicao contnua de D

em C. J que
n(, w) Z para todo w D

, segue que n(, w) = n(, a) para w D

.
Denio 5.2. Dizemos que duas curvas
0
e
1
em um conjunto aberto de C so
homotpicas xando os pontos iniciais e nais a, b, se existe uma funo contnua
H : I I tal que H(t, 0) =
0
(t), H(t, 1) =
1
(t) e H(0, s) = a, H(1, s) = b.
Teorema 5.2. (A Forma Homotpica do Teorema de Cauchy) Seja um con-
junto aberto em C. Sejam
0
e
1
duas curvas em com os mesmo pontos nais a, b
(isto , dadas
0
,
1
: [0, 1] , temos que
0
(0) =
1
(0) = a e
0
(1) =
1
(1) = b). Se
existe uma homotopia entre
0
e
1
em xando estes pontos, ento, para qualquer
f H(), temos que
_

0
fdz =
_

1
fdz.
Demonstrao. A prova desse Teorema encontra-se no texto [4].
Lema 5.5. Seja a C e sejam
1
,
2
dois laos em z
0
C a. Se
1
e
2
so
homotpicas em C a (por uma homotopia xando z
0
), ento
n(
1
, a) = n(
2
, a).
Demonstrao. Usando um caso especial do Teorema de Cauchy (Teorema 5.2) apli-
cado funo g em a denida por g(z) = f(z)/ (z a), temos que
_

1
gdz =
_

2
gdz. Logo, com o Lema 5.3, conclumos a prova.
78 O Nmero de Voltas
5.2 O Teorema do Resduo
Denio 5.3. Sejam um aberto em C e E um subconjunto discreto de . Seja
f H( E). Denimos o resduo de f em a E da seguinte forma:
Escolha r > 0 tal que D(a, r) , D(a, r) E = a. Ento f tem uma expanso de
Laurent
f(z) =

n=
c
n
(z a)
n
, 0 < [z a[ < r.
Denimos
res
f
(a) = c
1
e chamamos de resduo de f em a.
Denio 5.4. Seja f holomorfa em D

(a, r) = z C : 0 < [z a[ < r, e seja


f(z) =

n=
c
n
(z a)
n
sua expanso de Laurent. A srie
1

n=
c
n
(z a)
n
dene uma funo g, holomorfa em C a. Dizemos que g a parte principal de
f em a.
Teorema 5.3. (O Teorema do Resduo) Seja um conjunto aberto em C e seja E
um conjunto discreto em . Seja uma curva fechada em E homotpica a uma
constante como uma curva em .
Ento, para qualquer f H( E), o conjunto a E[n(, a) ,= 0 nito, e
1
2i
_

fdz =

aE
res
f
(a) n(, a).
Demonstrao. Seja : [0, 1] E e seja F : I I uma homotopia de a
uma constante (a homotopia xando (0) = (1)). Seja K = F(I I). Como K
compacto, K E nito. Se a E e a / K, ento F uma homotopia de a uma
constante emCa, de modo que n(, a) = 0 (Lema 5.5). Logo, a E : n(, a) ,= 0
est contido em K E, e portanto nito. Seja K E = a
1
, . . . , a
p
, e seja g
j
a
parte principal de f em a
j
. Ento f g
1
g
p
holomorfa em um conjunto aberto
U K, e homotpica a uma constante em U. Logo, pelo Teorema de Cauchy 5.2,
_

fdz =
p

j=1
_

g
j
dz.
O Teorema do Resduo 79
Seja g
j
(z) =

1
n=
c
(j)
n
(z a
j
)
n
, z ,= a
j
. A srie converge uniformemente em (),
de modo que
_

g
j
dz =
1

n=
c
(j)
n
_

(z a
j
)
n
dz = 2ic
(j)
1
n(, a
j
)
j que (z a
j
)
n
tem a primitiva (z a
j
)
n+1
/(n+1) em Ca
j
para n ,= 1. Portanto
1
2i
_

fdz =
p

j=1
n(, a
j
)c
(j)
1
=
p

j=1
n(, a
j
)res
f
(a
j
)
=

aE
n(, a)res
f
(a),
j que n(, a) = 0 se a E, a ,= a
j
.
Teorema 5.4. (Frmula de Cauchy) Seja um conjunto aberto em C e seja uma
curva fechada em , homotpica a uma constante. Sejam f H() e a ().
Ento,
n(, a)f(a) =
1
2i
_

f(z)
z a
dz.
Demonstrao. Como a funo g em a denida por g(z) = f(z)/ (z a)
holomorfa em a e res
g
(a) = f(a) temos, pelo Teorema 5.3, que
1
2i
_

g(z)dz = n(, a)f(a).


6 A Forma Cohomolgica do Teorema
de Cauchy
6.1 A Forma Cohomolgica do Teorema de Cauchy
O objetivo deste captulo dar uma condio necessria e suciente para a existn-
cia de primitivas para toda f H(). Para este fato, deniremos o Primeiro Grupo
de Cohomologia, com o qual relacionaremos com primitivas e chamaremos essa re-
lao de Forma Cohomolgica do Teorema de Cauchy. Comearemos com as denies
necessrias.
Sejam um conjunto aberto em C e U = U
i

iI
uma cobertura aberta de , isto
, U
i

iI
uma famlia de conjuntos abertos tais que =
iI
U
i
.
Seja J I I o conjunto dos pares (i, j) tais que U
i
U
j
,= .
Para qualquer conjunto aberto V C, seja C(V ) o conjunto das funes f : V C
que so localmente constantes, ou seja, para cada x V , existe uma vizinhana W V
de x tal que f/
W
constante; se V conexo, ento f constante.
Seja C
1
(U, C) =

(i,j)J
C(U
i
U
j
). Um elemento de C
1
(U, C) chamado uma
1 - cocadeia da cobertura U com valores em C.
Seja Z
1
(U, C) o subconjunto de C
1
(U, C) denido do seguinte modo:
_
(c
ij
)
(i,j)J
C
1
(U, C) /c
ij
+c
jk
+c
ki
= 0 em U
i
U
j
U
k
com U
i
U
j
U
k
,=
_
.
Um elemento de Z
1
(U, C) chamado um 1 - cociclo da cobertura Ucom valores
em C.
Agora, seja C
0
(U, C) =

iI
C(U
i
). Denimos a aplicao
: C
0
(U, C) Z
1
(U, C)
da seguinte forma: se (c
i
)
iI
C
0
(U, C), c
i
C(U
i
), fazemos
(c)
ij
= (c
i
/U
i
U
j
) (c
j
/U
i
U
j
) = c
i
c
j
em U
i
U
j
81
82 A Forma Cohomolgica do Teorema de Cauchy
para (i, j) J. Denotamos por B
1
(U, C) a imagem de . Os conjuntos Z
1
(U, C) e
B
1
(U, C) so grupos aditivos e, mais do que isso, so espaos vetoriais complexos e
B
1
(U, C) um subespao de Z
1
(U, C) e uma aplicao C-linear.
Denio 6.1. Com a notao acima, o espao vetorial quociente
H
1
(U, C) = Z
1
(U, C) /B
1
(U, C)
chamado de Primeiro Grupo de Cohomologia de U com coecientes complexos.
Teorema 6.1. Seja U = U
i

iI
uma cobertura aberta de por discos (isto , cada
U
i
um disco). Se H
1
(U, C) = 0, ento qualquer f H() tem uma primitiva em .
Demonstrao. J que cada U
i
um disco, pelo Teorema 3.9, f tem uma primitiva F
i
em U
i
. Se (i, j) J, denimos c
ij
= F
i
F
j
em U
i
U
j
; como U
i
U
j
conexo, c
ij

constante (Lema 3.10(b)). Se i, j, k I so tais que U
i
U
j
U
k
,= , temos que
c
ij
+c
jk
+c
ki
= (F
i
F
j
) + (F
j
F
k
) + (F
k
F
i
) = 0.
Logo, a famlia
=
_
(c
ij
)
(i,j)J
_
Z
1
(U, C) .
Como H
1
(U, C) = 0, existe c = (c
i
)
iI
C
0
(U, C) tal que (c) = , isto , existe uma
famlia (c
i
)
iI

iI
C(U
i
) com
F
i
F
j
= c
i
c
j
em U
i
U
j
, (i, j) J.
Denimos F em por F/
U
i
= F
i
c
i
; j que F
i
c
i
= F
j
c
j
em U
i
U
j
(sempre
que essa interseco no vazia), F/
U
i
est bem denida. Portanto, como c
i
uma
constante para todo i I e F
i
uma primitiva de f em U
i
, temos que F

= F

i
= f
em U
i
, i I; ou seja, F uma primitiva de f em .
Agora, recordemos que um conjunto X simplesmente conexo se X um espao de
Hausdor conexo por caminho e qualquer lao em X homotpico a uma constante.
Tambm vamos precisar do prximo Teorema que nos auxiliar na prova do principal
resultado deste captulo. A prova deste fato encontra-se na referncia [4].
Teorema 6.2. Seja um aberto em C e seja U = U
i

iI
uma cobertura aberta de
. Para qualquer i, j I, suponhamos dado f
ij
H(U
i
U
j
) (usamos a conveno
de que H() = 0). Suponhamos que a famlia f
ij
satisfaa a condio
f
ij
+f
jk
= f
ik
em U
i
U
j
U
k
para todo i, j, k I.
Ento, existe uma famlia f
i

iI
, onde f
i
H(U
i
), tal que
f
i
f
j
= f
ij
em U
i
U
j
para todo i, j I.
A Forma Cohomolgica do Teorema de Cauchy 83
Sejam um aberto em C e U = U
i

iI
uma cobertura aberta de por conjuntos
abertos U
i
que so simplesmente conexos.
Denimos um homomorsmo (de C-espaos vetoriais)
=
U
: H() H
1
(U, C)
da seguinte forma:
Seja f H(). J que cada U
i
simplesmente conexo, f/
U
i
tem uma primitiva F
i
em U
i
(Forma Homotpica do Teorema de Cauchy). Agora,
_
d
dz
_
(F
i
F
j
) = f f = 0
em U
i
U
j
, de forma que c
ij
= F
i
F
j
localmente constante em U
i
U
j
. Claramente,
a famlia c
ij

(i,j)J
(onde J = (i, j) I I/U
i
U
j
,= ) pertence a Z
1
(U, C) (j
que c
ij
+c
jk
= (F
i
F
j
) + (F
j
F
k
) = F
i
F
k
= c
ik
em U
i
U
j
U
k
).
Denimos (f) =
U
(f) sendo a classe em H
1
(U, C) = Z
1
(U, C) /B
1
(U, C) de
c
ij
. Para vericar que
U
(f) est bem denida, seja G
i

iI
uma outra famlia tal
que G
i
H(U
i
) e G

i
= f

em U
i
. Ento
_
d
dz
_
(G
i
F
i
) = 0 em U
i
, e U
i
sendo conexo,
c
i
= G
i
F
i
uma constante. Se denotamos o elemento de Z
1
(U, C) obtido de G
i

por =
ij

(i,j)J
(de modo que
ij
= G
i
G
j
em U
i
U
j
), temos que

ij
c
ij
= c
i
c
j
em U
i
U
j
assim,
ij
c
ij
B
1
(U, C) (B
1
(U, C) a imagem de ). Portanto
U
(f) no
depende da escolha da primitiva F
i
.
Seja d = d

: H() H() denotando a derivada f f

= df/dz. Ento, a
equao d(F) = f simplesmente signica que F uma primitiva de f em .
Teorema 6.3. (A Forma Cohomolgica do Teorema de Cauchy) Seja um
conjunto aberto conexo em C e seja U = U
i

iI
uma cobertura aberta de por
conjuntos abertos simplesmente conexos U
i
. Ento a seguinte sequncia exata:
0 C
i

H()
d

H()

U
H
1
(U, C) 0,
onde a aplicao i

simplesmente leva um nmero c C para a funo constante z c


em .
Observao 6.1. Relembramos que uma sequncia
0 E
0
d
0
E
1
d
1

d
p
E
p+1
0,
onde os E
j
so C-espaos vetoriais e os d
j
so aplicaes C-lineares, chamada exata
se d
0
injetiva, d
p
sobrejetora e ker(d
j
) = (d
j1
) para 1 j p.
84 A Forma Cohomolgica do Teorema de Cauchy
Demonstrao. A aplicao i

obviamente injetiva: se uma constante c, considerada


como uma funo, 0, ento c = 0.
Considere ker(d

). Como conexo, d

(f) =
df
dz
= 0 se, e somente se, f uma
constante. Logo, (i

) = ker(d

).
Portanto, para concluirmos a prova deste teorema, temos que provar as seguintes
armaes:
1. ker(
U
) = (d

).
2.
U
(H()) = H
1
(U, C) .
Prova:
1. Se d

(F) = f, ento podemos denir


U
(f) tomando a famlia (F
i
) de primitivas
como sendo F
i
= F/
U
i
. Ento
U
(f) a classe de F
i
F
j
= 0 em U
i
U
j
, de
modo que
U
(f) = 0. Logo, (d

) ker(
U
).
Inversamente, seja f ker(
U
). Seja F
i
H(U
i
) uma primitiva de f em U
i
e
seja c
ij
= F
i
F
j
em U
i
U
j
. J que
U
(f) = 0, temos que
U
(f) B
1
(U, C)
e, pela denio de B
1
(U, C), existe uma famlia c
i

iI
, onde c
i
uma funo
localmente constante (logo constante) em U
i
tal que c
i
c
j
= c
ij
em U
i
U
j
.
Logo, c
ij
= F
i
F
j
= c
i
c
j
, ou F
i
c
i
= F
j
c
j
em U
i
U
j
. Portanto,
existe uma funo F em com F/
U
i
= F
i
c
i
; claramente F H() e temos
que d

(F/
U
i
) =
_
d
dz
_
(F
i
c
i
) = f/
U
i
j que c
i
localmente constante. Logo,
f (d

). Portanto, ker(
U
) (d

).
2. Seja H
1
(U, C) e seja c
ij
Z
1
(U, C) um representante de em H
1
(U, C).
Agora, c
ij
localmente constante, logo c
ij
H(U
i
U
j
). O Teorema 6.2 nos
garante que existe uma famlia F
i

iI
, com F
i
H(U
i
), tal que F
i
F
j
= c
ij
em U
i
U
j
. J que
_
dF
i
dz
_

_
dF
j
dz
_
=
dc
ij
dz
= 0 em U
i
U
j
(c
ij
sendo localmente
constante), existe f H() tal que f/
U
i
=
dF
i
dz
.
Considere
U
(f). Podemos denir
U
(f) escolhendo como primitiva de f em U
i
a funo F
i
acima. Assim,
U
(f) a classe em H
1
(U, C) de (F
i
F
j
) [U
i
U
j
,
isto , de c
ij
. Logo,
U
(f) = .
E o teorema est provado.
Corolrio 6.1. Seja um conjunto aberto conexo em C. Ento, toda funo f H()
tem uma primitiva se, e somente se, H
1
(U, C) = 0 para alguma cobertura U de por
conjuntos abertos simplesmente conexos. Se esta condio satisfeita para uma tal
cobertura U, ento satisfeita para toda cobertura U.
Demonstrao. Fixe uma cobertura U por conjuntos abertos simplesmente conexos.
J que
U
sobrejetota, H
1
(U, C) = 0 se, e somente se, ker(
U
) = H(). Pelo
Teorema 6.3, isto ocorre se, e somente se, H() = (d

).
A Forma Cohomolgica do Teorema de Cauchy 85
Para apresentarmos o ltimo fato deste captulo, enunciaremos o seguinte Teorema
o qual a prova ser feita no ltimo captulo.
Teorema 6.4. Seja C um conjunto aberto simplesmente conexo. Ento qualquer
f H() tem uma primitiva em .
Corolrio 6.2. Seja um conjunto aberto simplesmente conexo em C. Ento, para
qualquer cobertura U de por conjuntos abertos simplesmente conexos, temos que
H
1
(U, C) = 0.
Demonstrao. Se simplesmente conexo, ento qualquer f H() tem uma
primitiva (Teorema 6.4). Logo, d

(H()) = H() e, pelo Teorema 6.3, temos que


ker(
U
) = H(). Portanto 0 =
U
(H()) = H
1
(U, C) .
7 Aplicao
Para apresentarmos o teorema que caracteriza domnios simplesmente conexos em
C, usaremos os seguintes resultados:
Teorema 7.1. (A Forma Homolgica do Teorema de Cauchy) Sejam um
conjunto aberto conexo em C e : [0, 1] uma curva fechada em C. Se

0,
ento, para qualquer f H(), temos que
_

fdz = 0.
Teorema 7.2. Seja um subconjunto aberto e conexo de C, ,= C. Suponhamos que
para qualquer f H(), que nunca se anula, exista g H() tal que g
2
= f. Ento
analiticamente isomorfo ao disco D.
A prova desses dois fatos encontra-se na referncia [4].
Denio 7.1. Seja um subconjunto aberto e conexo de C e seja : [0, 1]
uma curva fechada em . Dizemos de homloga a zero em e escrevemos

0
se valer:
"Se S = a C Im()/n(, a) ,= 0, ento S ."
Teorema 7.3. Seja um subconjunto aberto e conexo de C. So equivalentes:
1. simplesmente conexo.
2. Para qualquer a C e qualquer curva fechada em , o nmero de voltas
n(, a) = 0, isto , qualquer curva fechada homloga a zero.
3. Para qualquer cobertura aberta de , U = U
i

iI
, por abertos simplesmente
conexos, tem-se que H
1
(U, C) = 0.
4. Qualquer f H() tem uma primitiva.
5. Se f H() nunca se anula, existe g H() com e
g
= f.
6. Se f H() nunca se anula, existe g H() com g
2
= f.
87
88 Aplicao
Demonstrao. (1 4) Seja : O a aplicao z germe de (, f) em z. J
que d : O O uma aplicao de recobrimento, existe uma aplicao contnua
: O tal que d = (Teorema 5.1). Denimos uma funo F em por
F(z) = valor em z de (z).
Armamos que F H(). Se z
0
e (U, ) um representante de (z
0
), ento a
continuidade de signica que (z) = germe em z de (U, ) para z em uma vizinhana
V de z
0
. Logo, F/
V
= /
V
, e assim, F H().
Como d = , temos que F

= f em .
(4 5) Se f H() nunca se anula e F uma primitiva de f

/f, ento x
, (f(x).e
F(x)
)

= 0. Logo f.e
F
constante.
(5 6) Se f H() nunca se anula e f = e

, H(), ento g
2
= f, onde
g = e
/2
.
(6 1) Se = C, ento simplesmente conexo. Se ,= C, ento analiti-
camente isomorfo ao disco D = D(0, 1), pelo Teorema 7.2. Como D simplesmente
conexo, ento tambm o ser.
(2 4) J que a curva homloga a zero, segue do Teorema 7.1 que
_

fdz = 0
para qualquer f H() e qualquer curva fechada em .
(4 2) Por hiptese, a funo z 1/za tem uma primitiva. Logo, para qualquer
curva fechada em , temos que
_

dz
za
= 0. Assim, pelo Lema 5.3, temos que
n(, a) =
1
2i
_

dz
z a
= 0.
(3 4) Este fato decorre do Corolrio 6.1 onde a sequncia exata da forma coho-
molgica do teorema de Cauchy arma que a derivada sobrejetiva exatamente quando
o ltimo termo H
1
(U, C) 0.
Referncias
[1] Fulton, W. Algebraic Topology - A rst course, GTM, Springer Verlag, 1995.
[2] Massey, W. S. Algebraic Topology: an introducion, GTM, Springer Verlag, 1977.
[3] Munkres, J. R. Topology, Prentice Hall Inc., Upper Saddle River, 2000.
[4] Narasimhan, R. Complex Analysis in One Variable, Birkhausee, Boston Inc., 1985.
[5] Soares, M. G. Clculo em uma Varivel Complexa, Coleo Matemtica Univer-
sitria, IMPA, Rio de Janeiro, 2006.
89