UNIVERSIDADE FEDERAL DE SO CARLOS

Centro de Cincias Exatas e de Tecnologia

Departamento de Matemtica
Trabalho de Concluso de Curso B
Relatrio Final
O Grupo Fundamental
Aluna: Las Alegria dos Santos.
Orientador: Prof. Dr. Joo Nivaldo Tomazella.
So Carlos
2010
Identicao
Local de desenvolvimento:
UNIVERSIDADE FEDERAL DE SO CARLOS
Centro de Cincias Exatas e de Tecnologia
Departamento de Matemtica
Aluna: Las Alegria dos Santos - RA: 299871
Aluna do Curso Bacharelado e Licenciatura em Matemtica
Orientador: Prof. Dr. Joo Nivaldo Tomazella
Professor Associado do Departamento de Matemtica
Disciplina: Trabalho de Concluso de Curso B
Professores responsveis: Liane Bordignon
Ivo Machado da Costa
Vera Lcia Carbone
Ttulo do Projeto: O Grupo Fundamental
Perodo do projeto: Agosto/2010 a Dezembro/2010
So Carlos, 30 de Novembro de 2010.
Las Alegria dos Santos.
Prof. Dr. Joo Nivaldo Tomazella.
Jamais considere seus estudos como uma obrigao,
mas como uma oportunidade invejvel para aprender a
conhecer a inuncia libertadora da beleza do reino do
esprito, para seu prprio prazer pessoal e para proveito
da comunidade qual seu futuro trabalho pertencer.
Albert Einstein
Agradecimentos
Agradeo a Deus que me permitiu estar aqui e a todos que, direta ou indire-
tamente, me ajudaram a desenvolver este trabalho, alcanando uma nova etapa
e encerrando mais este ciclo.
Resumo
Este relatrio o fechamento do projeto desenvolvido durante o segundo se-
mestre de 2010 sobre o Grupo Fundamental. Nele, apresentamos os principais
tpicos estudados, destacando denies, teoremas, proposies, exemplos e apli-
caes.
Palavras-chave: Homotopia e grupo fundamental.
Sumrio
Introduo 8
1 Pr-requisitos 9
2 Homotopia 13
2.1 Aplicaes Homotpicas . . . . . . . . . . . . . . . . . . . . . . . 13
2.2 Espaos Contrteis . . . . . . . . . . . . . . . . . . . . . . . . . . 18
2.3 Homotopia de Caminhos . . . . . . . . . . . . . . . . . . . . . . . 19
3 O Grupo Fundamental 26
3.1 O homomorsmo induzido . . . . . . . . . . . . . . . . . . . . . . 28
3.2 Espaos simplesmente conexos . . . . . . . . . . . . . . . . . . . . 32
4 Exemplos e Aplicaes 35
4.1 O grupo fundamental do crculo . . . . . . . . . . . . . . . . . . . 35
4.2 O nmero de voltas de uma curva plana fechada . . . . . . . . . . 40
4.3 O nmero de voltas expresso como integral curvilnea . . . . . . . 43
Concluses 48
Bibliograa 49
Lista de Figuras
1.1 Espao de Hausdor X . . . . . . . . . . . . . . . . . . . . . . . . 12
2.1 Quando 0 pertence ao segmento [f(x), g(x)]. . . . . . . . . . . . . 14
2.2 Quando [f(x) g(x)[ < [f(x)[, o segmento de reta [f(x), g(x)] no
contm a origem 0. . . . . . . . . . . . . . . . . . . . . . . . . . . 15
2.3 Quando t varia entre 0 e 1, H(x, t) descreve o arco de crculo
mximo que liga f(x) a g(x). . . . . . . . . . . . . . . . . . . . . 15
2.4 Transitividade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
2.5 Homotopia de caminhos . . . . . . . . . . . . . . . . . . . . . . . 20
2.6 Homotopia de caminhos fechados . . . . . . . . . . . . . . . . . . 20
2.7 O caminho produto a b . . . . . . . . . . . . . . . . . . . . . . . 21
2.8 Operao produto nas classes de homotopia de caminhos . . . . . 22
2.9 Homotopia de caminhos . . . . . . . . . . . . . . . . . . . . . . . 22
2.10 Grco de f : I I . . . . . . . . . . . . . . . . . . . . . . . . . 24
2.11 Associatividade . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
3.1 Isomorsmo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
3.2 Caminhos livremente homotpicos . . . . . . . . . . . . . . . . . . 29
3.3 Retrao de um quadrado sobre sua base horizontal . . . . . . . . 30
3.4 Diagrama comutativo . . . . . . . . . . . . . . . . . . . . . . . . . 31
3.5 Diagrama . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
4.1 Toro . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
7
Introduo
A noo de grupo fundamental, conhecida e utilizada atualmente, deve-se a
Henri Poincar (1854-1912) - matemtico francs tido como o ltimo contribuidor
para o progresso de todos os ramos importantes da Matemtica.
Em Topologia, uma questo basilar determinar quando dois espaos topol-
gicos so, ou no, homeomorfos. Todavia, no existem mtodos especcos para
solucionar tal questo, exceto algumas tcnicas que podem ser aplicadas em casos
particulares. O grupo fundamental surge, ento, como uma destas tcnicas.
Neste contexto, o objetivo deste trabalho apresentar um estudo do grupo
fundamental e mostrar que este grupo um invariante topolgico, isto , se dois
espaos topolgicos so homeomorfos, eles possuem o mesmo grupo fundamental.
Iniciamos com uma reviso de alguns conceitos bsicos de topologia. Em se-
guida, apresentaremos a teoria de homotopia - ferramenta essencial para o estudo
do grupo fundamental. O terceiro captulo destinado ao grupo fundamental e
suas particularidades, incluindo alguns resultados relacionados a ele. Para nali-
zar, apresentaremos alguns exemplos e aplicaes do grupo fundamental.
8
Captulo 1
Pr-requisitos
Inicialmente, destacaremos alguns conceitos topolgicos que nos acompanha-
ro no decorrer deste trabalho. Algumas demonstraes, porm, no sero feitas,
detalhadamente, pois fogem do nosso objetivo central.
As informaes que sero oferecidas aqui foram baseadas, principalmente, em
[3], [4] e [5].
Denio 1.1. Um espao topolgico X um conjunto onde faz-se uma escolha
de uma parte (X) = todas as partes de X. Esta parte chamada uma
topologia em X se:
1. e X pertencem a ;
2. Se A
1
, ..., A
n
, ento A
1
... A
n
;
3. Dada uma famlia arbitrria (A

)
L
, com A

para cada L, tem-se

L
A

.
O espao topolgico em questo o par (X, ) e cada elemento de dito
um aberto da topologia.
Exemplo 1.1. Dado um conjunto X qualquer, temos duas topologias extremas:
topologia catica: = , X;
topologia discreta: = (X).
Exemplo 1.2. Todo espao mtrico um espao topolgico.
Exemplo 1.3. Se (X, ) e (Y, ) so espaos topolgicos, ento X Y um
espao topolgico, com a topologia produto ( ) = U V ; U , V
(X Y ).
9
CAPTULO 1. PR-REQUISITOS
A noo de continuidade em espaos topolgicos pode ser expressa atravs de
abertos (e, consequentemente, de fechados) da topologia.
Denio 1.2. Sejam (X, ) e (Y, ) espaos topolgicos. Uma funo f : X
Y contnua se, para todo A , tivermos f
1
(A) . Temos, tambm, que f
contnua em x
0
X se, dado qualquer A , com f(x
0
) A, existe B ,
com x
0
B, tal que f(B) A.
Em outras palavras, uma funo contnua se a imagem inversa de um aberto
em Y for um aberto em X. Consequentemente, temos que uma funo continua
se a imagem inversa de um fechado em Y for fechado em X.
Denio 1.3. Sejam X e Y dois espaos topolgicos. Se f : X Y uma
funo bijetora, contnua e com inversa f
1
tambm contnua, ento dizemos que
f um homeomorsmo.
Quando existe um homeomorsmo entre X e Y , dizemos que X e Y so
homeomorfos.
Denio 1.4. Um espao topolgico X conexo se no existem A X e
B X, abertos, disjuntos e no vazios, tais que X = A B. Caso contrrio, X
dito desconexo.
A idia de conexidade pode ser expressa, tambm, por meio de caminhos
denidos em um espao topolgico.
Denio 1.5. Um caminho num espao topolgico X uma aplicao contnua
a : [x
0
, x
1
] X, onde [x
0
, x
1
] um intervalo fechado em R. Se a(x
0
) = x e
a(x
1
) = y, ento a um caminho de x para y e x, y so ditos pontos inicial e
nal respectivamente.
Denio 1.6. Um conjunto M X conexo por caminhos se, para cada dois
pontos x, y de M, existe um caminho a : [x
0
, x
1
] M de x para y, ou de y para
x.
Denio 1.7. Seja X um espao topolgico. Um conjunto M X diz-se con-
vexo quando, para todo par de pontos x, y M, o segmento de reta [x, y] est
inteiramente contido em M.
Em R
n
, diz-se que um conjunto A compacto se fechado e limitado. Em
espaos topolgicos, porm, a noo de limitado no existe e todo X = X
fechado. Apesar disso, tambm possvel denir a noo de compacidade para
espaos topolgicos, conforme faremos a seguir.
10
CAPTULO 1. PR-REQUISITOS
Denio 1.8. Seja X um conjunto. Seja A

L
uma famlia de subconjuntos
de X. Dizemos que tal famlia uma cobertura de X se X =

L
A

.
Particularmente, se L for nito, a cobertura A

L
dita ser nita.
Denio 1.9. Seja (X, ) um espao topolgico. Uma cobertura de X, A

L
,
dita ser uma cobertura aberta de X se cada A

, ou seja, A

um aberto.
Denio 1.10. Seja X um conjunto. Seja A

L
uma cobertura de X. Uma
subcobertura de A

L
uma subcoleo A

SL
A

L
tal que A

S
, ainda, uma cobertura.
Note que, a partir da denio acima, a prpria cobertura uma subcobertura.
Exemplo 1.4.
Seja X um espao topolgico com a topologia discreta. Ento, x
xX

uma cobertura aberta de X.
R =

n=1
(n, n) uma cobertura aberta de R. Todavia, tal cobertura no
nita nem admite subcobertura nita.
A partir das denies acima, podemos denir compacidade para espaos
topolgicos.
Denio 1.11. Um espao topolgico (X, ) compacto se, dada qualquer co-
bertura aberta X =

L
A

(ou seja, com cada A

), existe uma subcobertura

nita X = A

1
A

n
.
Exemplo 1.5. Seja (X, ) um espao topolgico nito qualquer. Ento, X
compacto.
De fato, seja (X, ) = x
1
, x
2
, , x
n
. Para mostrar que X compacto,
devemos exibir uma cobertura aberta que admite subcobertura nita.
Temos que x
i
aberto, 1 i n. Ento,

n
i=1
x
i
uma cobertura aberta
de X e, alm disso, nita. Tomando como subcobertura a prpria cobertura,
encontramos uma subcobertura nita.
Apresentaremos, a seguir, alguns resultados referentes compacidade.
Teorema 1.1. A imagem de um conjunto compacto por uma aplicao contnua
um conjunto compacto.
Denio 1.12. Um espao topolgico X chama-se um espao de Hausdor
quando, dados dois pontos arbitrrios x ,= y em X, existem abertos A, B X
tais que x A, y B e A B = .
11
CAPTULO 1. PR-REQUISITOS
Figura 1.1: Espao de Hausdor X
Teorema 1.2. Seja X um espao de Hausdor. Todo subconjunto compacto
F X fechado em X.
Denio 1.13. Sejam (X, d
X
), (Y, d
Y
) espaos mtricos. Uma aplicao f :
(X, d
X
) (Y, d
Y
) diz-se uniformemente contnua quando, para todo > 0 dado
arbitrariamente, existir > 0 tal que d
X
(x, y) < implica d
Y
(f(x), f(y)) < ,
para quaisquer x, y X.
Teorema 1.3. Seja f : (X, d
X
) (Y, d
Y
), com X compacto. Se f contnua,
ento f uniformemente contnua.
Seja E um espao vetorial (real ou complexo). Nele, possvel denir a noo
de comprimento de vetores x E, o que chamamos de norma de um vetor.
Denio 1.14. Uma norma em E uma funo | | : E [0, ) que satisfaz:
1. |x| = 0 x = 0;
2. |x| = [[ |x| , x E, escalar (real ou complexo);
3. |x +y| |x| +|y| , x, y E.
Um espao vetorial normado um par (E, | |), onde E um espao vetorial e
| | uma norma em E. Geralmente, espao vetorial normado denotado apenas
por E, deixando a norma subentendida.
Exemplo 1.6. Considerando x = (x
1
, , x
n
) R
n
, temos os seguintes espaos
vetoriais normados:
(R
n
, |x|
p
), onde |x|
p
= (

n
i=1
[x
i
[
p
)
1
p
, p 1;
(R
n
, |x|

), onde |x|

= max [x
i
[ : 1 i n.
Para encerrar este captulo, recordaremos o homomorsmo de grupos.
Denio 1.15. Sejam (G, ) e (G

, ) grupos. Uma aplicao f : G G

um
homomorsmo se, para todo x, y G, tem-se
f(x y) = f(x) f(y).
Dizemos que f um isomorsmo se f um homomorsmo bijetor.
12
Captulo 2
Homotopia
Neste captulo, trataremos de noes bsicas sobre homotopia, as quais sero
utilizadas em todo o trabalho. Alm disso, em todos os resultados e denies, o
smbolo I representa o intervalo compacto [0, 1].
2.1 Aplicaes Homotpicas
Denio 2.1. Sejam X, Y espaos topolgicos. Duas aplicaes contnuas f, g :
X Y dizem-se homotpicas quando existe uma aplicao contnua H : XI
Y tal que H(x, 0) = f(x) e H(x, 1) = g(x), para todo x X.
A aplicao H dita uma homotopia entre f e g e, aqui, representada por
f g.
Se f g e g uma aplicao constante, dizemos que f homotopicamente
nula.
Intuitivamente, podemos pensar na homotopia como um processo de defor-
mao contnua da aplicao f na aplicao g. Tal deformao existe durante
uma unidade de tempo; neste caso, o intervalo I. Em outras palavras, dada
H uma homotopia entre f e g e considerando, para cada t I, a aplicao
contnua H
t
: X Y , denida por H
t
(x) = H(x, t), temos que (H
t
)
tI
dene
uma famlia contnua a um parmetro - a continuidade, neste caso, signica
que (x, t) H
t
(x) uma aplicao contnua. Em t = 0 temos f; para t = 1
temos g; e nos instantes 0 < t < 1, as aplicaes H
t
fornecem as deformaes
intermedirias.
Exemplo 2.1. Seja Y E, onde E um espao vetorial normado. Dadas
as aplicaes contnuas f, g : X Y , suponhamos que, para todo x X, o
segmento de reta [f(x), g(x)] esteja contido em Y . Ento, denindo H(x, t) =
13
CAPTULO 2. HOMOTOPIA
(1 t)f(x) +tg(x), obtemos uma homotopia H : X I Y entre f e g, a qual
chamamos uma homotopia linear. Para cada x X xo e t variando de 0 a 1,
o ponto H(x, t) percorre o segmento de reta que liga o ponto f(x) ao ponto g(x).
Como casos particulares, temos:
1
o
) Duas aplicaes contnuas quaisquer f, g : X E que tomam valores em
um espao vetorial normado so homotpicas. Particularmente, toda aplicao
contnua f : X E homotpica a aplicao constante 0, pela homotopia
H(x, t) = (1 t)f(x).
2
o
) (Poincar-Bohl.) Se f, g : X E0 so tais que [f(x) g(x)[ < [f(x)[
para todo x X, ento f g.
De fato, se 0 pertencesse ao segmento [f(x), g(x)] para algum x X, teramos
[f(x) g(x)[ = [f(x)[ +[g(x)[ [f(x)[,
conforme ilustra a gura abaixo:
Figura 2.1: Quando 0 pertence ao segmento [f(x), g(x)].
Logo, [f(x), g(x)] E 0 para todo x X e, da, f linearmente homo-
tpica a g.
Figura 2.2: Quando [f(x) g(x)[ < [f(x)[, o segmento de reta [f(x), g(x)] no
contm a origem 0.
Exemplo 2.2. Seja S
n
R
n+1
a esfera unitria n-dimensional. Dadas duas
aplicaes contnuas f, g : X S
n
, se f(x) ,= g(x) para todo x X (isto ,
f(x) e g(x) nunca so pontos antpodas), ento f g.
14
CAPTULO 2. HOMOTOPIA
De fato, nestas condies, vale (1 t)f(x) +tg(x) ,= 0 para todo t I e todo
x X, pois (1 t)f(x) +tg(x) = 0 se t =
1
2
e f(x) = g(x); mas, por hiptese,
f(x) ,= g(x), x X.
Ento, obtemos uma homotopia H : X I S
n
, entre f e g, denindo
H(x, t) =
(1 t)f(x) +tg(x)
[(1 t)f(x) +tg(x)[
.
Figura 2.3: Quando t varia entre 0 e 1, H(x, t) descreve o arco de crculo mximo
que liga f(x) a g(x).
Como casos particulares do exemplo acima, temos:
1. Se f : S
n
S
n
no possui pontos xos (isto , f(x) ,= x para todo x),
ento f homotpica aplicao antpoda : S
n
S
n
, (x) = x.
2. Se f : S
n
S
n
tal que f(x) = x para todo x S
n
, ento f homotpica
aplicao identidade de S
n
.
Exemplo 2.3. Se n mpar, ento a aplicao antpoda : S
n
S
n
, (x) =
x, homotpica identidade id : S
n
S
n
.
De fato, seja n = 2k 1. Ento, S
n
R
2k
e podemos considerar cada ponto
z = (x
1
, y
1
, x
2
, y
2
, , x
k
, y
k
) de S
n
como uma lista z = (z
1
, , z
k
) de nmeros
complexos z
j
= x
j
+i y
j
tais que [z
1
[
2
+ [z
k
[
2
= 1.
Agora, para cada nmero complexo u S
1
, de mdulo 1, e cada vetor z =
(z
1
, , z
k
) S
n
, deniremos u z S
n
por u z = (u z
1
, , u z
k
). Assim,
H : S
n
I S
n
, dada por H(z, t) = e
ti
z, uma homotopia entre a aplicao
antpoda (z) = z e a aplicao identidade de S
n
, lembrando que e
it
= cos(t) +
i sen(t).
Proposio 2.1. Sejam X, Y dois espaos topolgicos. A relao de homotopia,
f g, uma relao de equivalncia no conjunto das aplicaes contnuas de X
em Y .
15
CAPTULO 2. HOMOTOPIA
Demonstrao: Para provar que se trata de uma relao de equivalncia,
preciso mostrar que a relao de homotopia reexiva, simtrica e transitiva.
Reexiva: Para toda f : X Y contnua, a aplicao H : X I Y ,
dada por H(x, t) = f(x), uma homotopia entre f e f. Logo, f f.
Simtrica: Seja H : X I Y uma homotopia entre f e g. Denindo
G : X I Y por G(x, t) = H(x, 1 t), obtemos uma homotopia entre g e f.
Logo, f g g f.
Transitiva: Para provar a transitividade, necessitamos do seguinte resultado:
Lema 2.1. Seja X = AB, onde A e B so fechados em X. Sejam f : A Y
e g : B Y contnuas. Se f(x) = g(x), x AB, ento a funo F : X Y ,
denida por F(x) = f(x), se x A, e F(x) = g(x), se x B, contnua.
Demonstrao: (Lema 2.1.) Seja C um subconjunto fechado de Y . Temos
que F
1
(C) = f
1
(C) g
1
(C). Como f contnua, f
1
(C) fechado em A e,
assim, fechado em X. Analogamente, g
1
(C) fechado em B e, portanto, fechado
em X. A unio F
1
(C) , ento, fechado em X.
Voltemos demonstrao da transitividade.
Seja F uma homotopia entre f e g e F

uma homotopia entre g e h. Ento,

denimos H : X I Y por
H(x, t) =
_
_
_
F(x, 2t) se 0 t
1
2
F

(x, 2t 1) se
1
2
t 1.
A aplicao H est bem denida, pois se t =
1
2
, temos F(x, 2t) = g(x) =
F

(x, 2t 1). Alm disso, H contnua nos dois subconjuntos fechados X[0,
1
2
]
e X [
1
2
, 1] de X I e, assim, pelo Lema 2.1, contnua em todo X I; logo,
uma homotopia entre f e h. Desse modo, f g, g h f h.

Figura 2.4: Transitividade

16
CAPTULO 2. HOMOTOPIA
As classes de equivalncia segundo a relao de homotopia so chamadas clas-
ses de homotopia. Indicaremos a classe de homotopia de uma aplicao contnua
f : X Y pelo smbolo [f].
Mostraremos, a seguir, que a composio de aplicaes preserva homotopias.
Proposio 2.2. Sejam f, f

: X Y e g, g

: Y Z aplicaes contnuas. Se
f f

e g g

, ento g f g

.
Demonstrao: Por hiptese, f f

e g g

. Logo, existem F : X I Y
uma homotopia entre f e f

, G : Y I Z uma homotopia entre g e g

. To-
mando uma aplicao H : XI Z, dada por H(x, t) = G(F(x, t), t), denimos
uma homotopia entre g f e g

.
Em consequncia da proposio acima, possvel denir composio entre
classes de homotopia: dadas f : X Y e g : Y Z, denimos [g] [f] =
[g f]. A classe [g f] no depende dos representantes g, f das classes [g] e [f]
respectivamente.
Para nalizar este captulo, apresentaremos alguns tipos de homotopia.
Denio 2.2. Dizemos que uma aplicao contnua f : X Y uma equi-
valncia homotpica quando existe g : Y X contnua tal que g f id
X
e
f g id
Y
.
Diz-se, ento, que g um inverso homotpico de f e que os espaos topolgicos
X e Y tm o mesmo tipo de homotopia.
Diremos que (X, A) um par de espaos topolgicos quando A for um subes-
pao de X. Assim, dados os pares (X, A) e (Y, B), uma aplicao contnua
f : (X, A) (Y, B) uma aplicao contnua f : X Y tal que f(A) B.
Denio 2.3. Dadas as aplicaes contnuas f, g : (X, A) (Y, B), uma homo-
topia de pares entre f e g uma aplicao contnua H : (X I, AI) (Y, B)
tal que H(x, 0) = f(x) e H(x, 1) = g(x) para todo x X. Deve-se, portanto, ter
H
t
(A) B para todo t I.
Denio 2.4. Dadas f, g : X Y contnuas, dizemos que f homotpica
a g relativamente a um subespao A X, e representamos por f g (rel.A),
quando existe uma homotopia H entre f e g tal que H(x, t) = f(x) = g(x) para
todo x A.
17
CAPTULO 2. HOMOTOPIA
2.2 Espaos Contrteis
Dizemos que um espao topolgico X contrtil quando ele tem o mesmo
tipo de homotopia que um ponto.
Proposio 2.3. X contrtil se, e somente se, a aplicao identidade id : X
X homotpica a uma aplicao constante X X.
Demonstrao: () Suponha X contrtil. Se f : X p uma equivalncia
homotpica e g : p X inversa homotpica de f, ento g f id
X
. Como
g f uma aplicao constante, mostramos o que queramos.
() Se id
X
constante, ento id
X
e a constante so equivalncias homot-
picas, uma inversa da outra. Logo, X contrtil.
Corolrio 2.1. Um espao contrtil X conexo por caminhos.
De fato, se H uma homotopia entre id
X
e a aplicao constante X
p , p X, ento, para cada ponto x X, a correspondncia t H(x, t) dene
um caminho ligando x a p.
Proposio 2.4. Se X ou Y contrtil, ento toda aplicao contnua f : X
Y homotpica a uma constante.
Demonstrao: Se X for contrtil e H : X I X for uma homotopia
entre id
X
e uma constante, ento, dada qualquer f : X Y , a aplicao f H :
X Y Y ser uma homotopia entre f e uma constante.
Se Y for contrtil e F : Y I Y for uma homotopia entre id
Y
e uma
constante, ento G : X I Y , denida por G(x, t) = F(f(x), t), uma
homotopia entre f : X Y e uma aplicao constante.
Corolrio 2.2. Se X contrtil e Y conexo por caminhos, ento duas apli-
caes contnuas quaisquer f, g : X Y so homotpicas. Se Y contrtil,
ento, qualquer que seja X, duas aplicaes contnuas f, g : X Y so sempre
homotpicas.
Exemplo 2.4. Um subconjunto X de um espao vetorial normado E chama-se
uma estrela de vrtice p quando, para todo x X, o segmento de reta [p, x] est
contido em X. Se X uma estrela de vrtice p, ento H : X I X, denida
por H(x, t) = (1 t)x + tp, uma homotopia entre id
X
e a aplicao constante
X p. Logo, toda estrela contrtil.
Outros exemplos de espaos contrteis so os subconjuntos convexos de um
espao vetorial normado E, pois um conjunto convexo pode ser considerado como
estrela, com vrtice em qualquer um dos seus pontos; logo, contrtil. Em
particular, um espao vetorial normado E convexo e, portanto, contrtil.
18
CAPTULO 2. HOMOTOPIA
2.3 Homotopia de Caminhos
Consideraremos, agora, um caso particular do conceito geral de homotopia.
Denio 2.5. Dois caminhos a, b : I X so ditos caminhos homotpicos se
possuem as mesmas extremidades, isto , a(0) = b(0) = x
0
e a(1) = b(1) = x
1
,
e se existe uma aplicao contnua H : I I X tal que, quaisquer que sejam
s, t I, temos
H(s, 0) = a(s); H(s, 1) = b(s),
H(0, t) = x
0
; H(1, t) = x
1
.
A aplicao contnua H dita uma homotopia de caminhos entre a e b. Se a
e b so caminhos homotpicos, denotamos por a

= b.
Figura 2.5: Homotopia de caminhos
Particularmente, os caminhos fechados a, b : I X so homotpicos quando
existe uma aplicao contnua H : I I X tal que, assumindo a(0) = a(1) =
x
0
X, para quaisquer s, t I, tem-se
H(s, 0) = a(s); H(s, 1) = b(s); H(0, t) = H(1, t) = x
0
.
Figura 2.6: Homotopia de caminhos fechados
19
CAPTULO 2. HOMOTOPIA
Exemplo 2.5. Seja X um subconjunto convexo de um espao vetorial normado.
Se a, b : I X so caminhos com as mesmas extremidades, ento a

= b.
De fato, basta denir H : I I X por H(s, t) = (1 t)a(s) + tb(s) e H
ser uma homotopia entre a e b.
Denio 2.6. Dizemos que dois caminhos fechados a, b : I X so livre-
mente homotpicos quando existe uma aplicao contnua H : I I X tal que
H(s, 0) = a(s); H(s, 1) = b(s) e H(0, t) = H(1, t) para quaisquer s, t I.
As relaes de homotopia de caminhos e homotopia livre tambm satisfazem
as propriedades reexiva, simtrica e transitiva, sendo, ento, relaes de equi-
valncia. A demonstrao de tal armao similar que foi desenvolvida na
Proposio 2.1.
Indicaremos por = [a] a classe de homotopia do caminho a : I X, ou seja,
o conjunto de todos os caminhos em X que possuem as mesmas extremidades que
a e que so homotpicos a a com extremos xos durante a homotopia. A classe
de homotopia do caminho constante e
x
, tal que e
x
(s) = x para todo s [0, 1],
ser denotada por
x
= [e
x
].
Denio 2.7. Denimos o caminho inverso de a : I X como o caminho
a
1
: I X, dado por a
1
(s) = a(1 s), 0 s 1.
Temos, ento, que a
1
comea onde a termina e termina na origem de a. Alm
disso, considerando h : I I a funo h(s) = 1 s, temos que a
1
= a h.
Denio 2.8. Sejam a e b caminhos em X de x
0
para x
1
e de x
1
para x
2
respectivamente. Denimos o produto a b de a e b como sendo o caminho que
consiste em percorrer primeiro a e depois b.
Figura 2.7: O caminho produto a b
Tal caminho dado pela aplicao a b : I X, denida por
a b(s) =
_
_
_
a(2s) se 0 s
1
2
b(2s 1) se
1
2
s 1.
Como a(1) = b(0) = x
1
, a aplicao a b est bem denida. Alm disso, pelo
Lema 2.1, a b contnua. Segue, ento, que a b um caminho de x
0
para x
2
,
isto , que comea em a(0) e termina em b(1).
20
CAPTULO 2. HOMOTOPIA
A operao produto de caminhos induz uma operao nas classes de homoto-
pia de caminhos, denida por
= , onde = [a], = [b] e = [a b].
Para vericarmos tal fato, seja F uma homotopia de caminhos entre a e a

e
G uma homotopia de caminhos entre b e b

. Dena H : I I X por
H(s, t) =
_
_
_
F(2s, t) se 0 s
1
2
, t I
G(2s 1, t) se
1
2
s 1, t I.
Como F(1, t) = x
1
= G(0, t) para todo t I, temos que H est bem de-
nida. Pelo Lema 2.1, conclumos que H contnua. Assim, H a homotopia de
caminhos desejada entre a b e a

.
Figura 2.8: Operao produto nas classes de homotopia de caminhos
Todavia, a operao no est denida para todo par de classes. Dene-se,
apenas, para os pares , tais que a(1) = b(0).
Para nalizar, mostraremos que a operao nas classes de homotopia de
caminhos satisfaz algumas propriedades que se assemelham aos axiomas de um
grupo.
Teorema 2.5. Sejam = [a], = [b] e = [c]. A operao possui as seguintes
propriedades:
1. (Associatividade) Se ( ) est denido, ento ( ) tambm est
denido e, alm disso, so iguais.
2. (Identidade direita e esquerda) Dados x X e o caminho constante
e
x
: I X tal que e
x
(s) = x, s I, se a um caminho em X de x
0
para
x
1
, ento

x
1
= e
x
0
= .
21
CAPTULO 2. HOMOTOPIA
3. (Inverso) Se a um caminho em X de x
0
para x
1
e a
1
o caminho inverso
de a, ento

1
=
x
0
e
1
=
x
1
.
Demonstrao: Para provarmos as trs propriedades acima, necessitaremos
de dois fatos:
1
o
) Se f : X Y uma aplicao contnua e se F uma homotopia de
caminhos em X entre os caminhos a e b, ento f F uma homotopia de caminhos
em Y entre os caminhos f a e f b.
Figura 2.9: Homotopia de caminhos
2
o
) Se f : X Y uma aplicao contnua e se a e b so caminhos em X
com a(1) = b(0), ento f (a b) = (f a) (f b).
Para vericar a segunda propriedade, sejam e
0
o caminho constante em I no
ponto 0 e i : I I a aplicao identidade, a qual um caminho em I de 0 para
1. Ento, e
0
i tambm um caminho em I de 0 para 1.
Como I convexo, existe uma homotopia de caminhos G em I entre i e e
0
i.
Assim, a G uma homotopia de caminhos em X entre os caminhos a i = a e
a (e
0
i) = (a e
0
) (a i) = e
x
0
a.
Analogamente, assumindo que se e
1
denota o caminho constante em 1, ento
i e
1
um caminho homotpico ao caminho i em I, mostramos que
x
1
= .
Para provar a propriedade do inverso, note que a inversa de i i
1
(s) = 1 s
e, sendo assim, i i
1
um caminho em I que comea e termina em 0. Logo, o
caminho constante e
0
.
Como I convexo, existe uma homotopia de caminhos H em I entre e
0
e ii
1
.
Ento, aH uma homotopia de caminhos entre ae
0
= e
x
0
e (ai) (ai
1
) =
a a
1
.
De modo anlogo, usando o fato de que i
1
i um caminho homotpico a
e
1
em I, mostramos que
1
=
x
1
.
Para mostrarmos a associatividade, conveniente denirmos o produto a b
de uma maneira diferente.
22
CAPTULO 2. HOMOTOPIA
Se [x
0
, x
1
] e [x
2
, x
3
] so dois intervalos em R, existe uma nica aplicao
f : [x
0
, x
1
] [x
2
, x
3
] da forma f(x) = mx + k que leva x
0
em x
2
e x
1
em x
3
, a
qual chamaremos uma aplicao linear positiva de [x
0
, x
1
] para [x
2
, x
3
], pois seu
grco uma linha reta com inclinao positiva.
Com tal terminologia, o produto a b pode ser descrito da seguinte maneira:
em [0,
1
2
], igual a aplicao linear positiva de [0,
1
2
] para [0, 1], seguida por a; e
em [
1
2
, 1], igual a aplicao linear positiva de [
1
2
, 1] para [0, 1] seguida por b.
Vamos, agora, provar a propriedade associativa.
Dados os caminhos a, b e c em X, os produtos a(bc) e (ab)c so denidos,
precisamente, quando a(1) = b(0) e b(1) = c(0). Assumindo estas duas condies,
denimos o produto triplo dos caminhos a, b e c, como segue: escolha pontos x
0
e x
1
em I tais que 0 < x
0
< x
1
< 1. Dena um caminho k
x
0
,x
1
em X de modo
que: em [0, x
0
] igual a aplicao linear positiva de [0, x
0
] para I seguida de a;
em [x
0
, x
1
] igual a aplicao linear positiva de [x
0
, x
1
] para I seguida de b; e em
[x
1
, 1] igual a aplicao linear positiva de [x
1
, 1] para I seguida de c. Assim, o
caminho k
x
0
,x
1
depende da escolha dos pontos x
0
e x
1
, ao contrrio de sua classe
de homotopia de caminhos. Mostraremos, a seguir, que se x
2
e x
3
formam outro
par de pontos em I com 0 < x
2
< x
3
< 1, ento k
x
2
,x
3
um caminho homotpico
a k
x
0
,x
1
.
Seja f : I I uma aplicao cujo grco representado na gura 2.10. Tal
aplicao, quando restrita a [0, x
0
], [x
0
, x
1
] e [x
1
, 1], igual a aplicaes lineares
positivas destes intervalos para [0, x
2
], [x
2
, x
3
] e [x
3
, 1] respectivamente. Segue que
k
x
2
,x
3
f = k
x
0
,x
1
. Todavia, f um caminho em I de 0 para 1, assim como a
aplicao identidade i : I I. Assim, existe uma homotopia de caminhos F em
I entre f e i. Logo, k
x
2
,x
3
F uma homotopia de caminhos em X entre k
x
0
,x
1
e
k
x
2
,x
3
, pois k
x
2
,x
3
F(s, 0) = k
x
2
,x
3
f(s) = k
x
0
,x
1
e k
x
2
,x
3
F(s, 1) = k
x
2
,x
3
i(s) =
k
x
2
,x
3
.
Figura 2.10: Grco de f : I I
Atravs do produto triplo, somos capazes de provar a propriedade associa-
23
CAPTULO 2. HOMOTOPIA
tiva, pois o produto a (b c) exatamente o produto tripo k
x
0
,x
1
no caso onde
x
0
=
1
2
e x
1
=
3
4
, enquanto o produto (a b) c igual a k
x
2
,x
3
, no caso onde
x
2
=
1
4
e x
3
=
1
2
, conforme ilustrado na gura 2.11. Portanto, estes dois produtos
so caminhos homotpicos.

Figura 2.11: Associatividade

De modo mais geral, temos o seguinte teorema:
Teorema 2.6. Sejam a um caminho em X e x
0
, , x
n
pontos tais que 0 = x
0
<
x
1
< < x
n
= 1. Seja a
i
: I X um caminho igual a aplicao linear positiva
de I para [x
i1
, x
i
] seguida por a. Ento,
= [a
1
] [a
n
].
A demonstrao do teorema acima pode ser feita por recorrncia, considerando
as subdivises 0 = x
0
< x
1
< < x
n
= 1 duas a duas.
Observao 2.1. Em uma homotopia a

= b c, permitido ao trmino de b
(origem de c) mover-se durante o processo. Os extremos de b c (iguais aos de
a) que devem permanecer xos.
24
Captulo 3
O Grupo Fundamental
O conjunto das classes de homotopia de caminhos, considerando caminhos
em um espao topolgico X, no forma um grupo segundo a operao , pois
o produto de duas classes de homotopia de caminhos no est denido sempre.
Entretanto, se tomarmos um ponto x
0
em X, x-lo como um ponto base e
restringir-nos aos caminhos que comeam e terminam em x
0
, o conjunto das
classes de homotopia de caminhos para tais caminhos formar um grupo com a
operao . Tal grupo dito o Grupo Fundamental de X.
Neste captulo, estudaremos o grupo fundamental e algumas de suas proprie-
dades.
Denio 3.1. Sejam X um espao topolgico e x
0
um ponto de X. O conjunto
das classes de homotopia de caminhos para caminhos fechados com base em x
0
,
com a operao , chamado o grupo fundamental de X relativo ao ponto base
x
0
e denotado por
1
(X, x
0
).
Dados dois caminhos fechados a e b com base em x
0
, o produto ab est sempre
denido e um caminho fechado baseado em x
0
. Segue do Teorema 2.5 que a
operao , quando restrita ao conjunto das classes de homotopia de caminhos,
satisfaz os axiomas de grupo.
Mostraremos, a seguir, que a escolha do ponto base no afeta a estrutura do
grupo fundamental.
Proposio 3.1. Se x
0
e x
1
pertencem mesma componente conexa por cami-
nhos de X, ento
1
(X, x
0
) e
1
(X, x
1
) so isomorfos. Mais precisamente, cada
classe de homotopia de caminhos que ligam x
0
a x
1
induz um isomorsmo
:
1
(X, x
1
)
1
(X, x
0
), dado por () =
1
.
Demonstrao: Seja uma classe de homotopia de caminhos que ligam x
0
a
x
1
. Se
1
(X, x
1
), ento
1

1
(X, x
0
).
25
CAPTULO 3. O GRUPO FUNDAMENTAL
Mostremos que, para ,
1
(X, x
1
), um homomorsmo.
() () = (
1
) (
1
)
= ( )
1
= ( ).
Para mostrar que um isomorsmo, devemos provar que ()
1
o inverso
de .
De fato, para cada
1
(X, x
0
), temos
()
1
() =
1
(
1
)
1
=
1
,
(()
1
()) = (
1
)
1
= .
Analogamente, mostra-se que ()
1
(()) = , para cada
1
(X, x
1
) .
Figura 3.1: Isomorsmo

Corolrio 3.1. Se X conexo por caminhos, ento, para quaisquer pontos base
x
0
, x
1
X, os grupos fundamentais
1
(X, x
0
) e
1
(X, x
1
) so isomorfos.
O isomorsmo entre
1
(X, x
0
) e
1
(X, x
1
), mencionado no corolrio acima,
depende dos caminhos escolhidos (variando a classe , o isomorsmo varia
tambm.) Todavia, quando
1
(X, x
0
) abeliano, o isomorsmo independe do
caminho; isto , duas classes quaisquer , , ligando x
0
a x
1
, denem o mesmo
isomorsmo: = . De fato, neste caso, para todo
1
(X, x
1
), vale:
() =
1
=
1

1

1
=
=
1

1

1
=
1
= (),
pois
1
e
1
, pertencendo ambas ao grupo abeliano
1
(X, x
0
),
comutam.
Segue destas consideraes e do Corolrio 3.1 que, sendo X um espao to-
polgico conexo por caminhos com
1
(X, x
0
) abeliano para algum x
0
X, o
grupo
1
(X, x
1
) tambm ser abeliano, seja qual for o ponto base x
1
X.
26
CAPTULO 3. O GRUPO FUNDAMENTAL
Alm disso, dados, arbitrariamente, x
0
, x
1
X, existe um isomorsmo natu-
ral
1
(X, x
1
)
1
(X, x
0
); isto , a cada
1
(X, x
1
) corresponde uma nica
classe
1
(X, x
0
), denida sem ambiguidade nem escolhas arbitrrias. Neste
caso, mostraremos que podemos considerar o grupo fundamental de X como o
conjunto das classes de homotopias livres de caminhos fechados em X e, portanto,
represent-lo por
1
(X), sem apresentar explicitamente o ponto base.
De fato, seja (X) o conjunto das classes de homotopias livres de caminhos
fechados em X. Fixemos um ponto base x
0
X e consideremos a aplicao
:
1
(X, x
0
)
1
(X) tal que () = classe de homotopia livre que contm .
Para qualquer espao conexo por caminhos X, a aplicao sempre sobrejetora,
pois todo caminho fechado a em X, com base em x
1
, livremente homotpico a
um caminho fechado b com base x
0
- basta tomar um caminho c ligando x
0
a x
1
e denir b = (c a) c
1
. Quando
1
(X, x
0
) abeliano, tambm injetora,
pois se = [a] e = [b] em
1
(X, x
0
) so tais que () = (), ento a e b
so livremente homotpicos. Logo, e so elementos conjugados no grupo
comutativo
1
(X, x
0
) e, portanto, = . Sendo assim, uma bijeo de

1
(X, x
0
) sobre
1
(X).
3.1 O homomorsmo induzido
Seja f : X Y uma aplicao contnua que leva o ponto x
0
de X no ponto y
0
de Y . Se a um caminho fechado em X com base em x
0
, ento f a : I Y um
caminho fechado em Y com base em y
0
. A correspondncia a f a d origem
a uma nova aplicao que leva
1
(X, x
0
) a
1
(Y, y
0
), chamada homomorsmo
induzido por uma aplicao contnua.
Denio 3.2. Seja f : X Y uma aplicao contnua. Denimos o homomor-
smo induzido por f como a aplicao f

:
1
(X, x
0
)
1
(Y, y
0
), com y
0
= f(x
0
),
dada por f

() = [f a], onde = [a].

A aplicao f

est bem denida, pois se F uma homotopia de caminhos

entre os caminhos a e b, ento f F uma homotopia de caminhos entre os
caminhos f a e f b. Como f (ab) = (f a) (f b), segue que f

realmente
um homomorsmo.
Teorema 3.2. Se f : X Y e g : Y Z so duas aplicaes contnuas, e f

1
(X, x
0
)
1
(Y, y
0
) e g

:
1
(Y, y
0
)
1
(Z, z
0
), com y
0
= f(x
0
) e z
0
= g(y
0
),
so os homomorsmos induzidos por tais aplicaes, ento (gf)

= g

. Alm
27
CAPTULO 3. O GRUPO FUNDAMENTAL
disso, se id : X X a aplicao identidade, ento id

:
1
(X, x
0
)
1
(X, x
0
)
o homomorsmo identidade.
Demonstrao: Seja = [a]. Por denio,
(g f)

() = [(g f) a],
(g

)() = g

(f

()) = g

([f a]) = [g (f a)].

Analogamente, id

() = [id a] = [a] = .

Segue da denio e do teorema apresentados acima que espaos homeomorfos

possuem grupos fundamentais isomorfos. Mais precisamente, se h : X Y for
um homeomorsmo, ento h

:
1
(X, x
0
)
1
(Y, y
0
), com y
0
= h(x
0
), um
isomorsmo.
De fato, seja h
1
: Y X a inversa de h. Ento, h
1

= (h
1
h)

= id

,
onde id a identidade de X; e h

h
1

= (h h
1
)

= id

, onde id

a identidade
de Y . Como id

e id

so os homomorsmos identidade dos grupos

1
(X, x
0
) e

1
(Y, y
0
), respectivamente, ento h
1

o inverso de h

.
Proposio 3.3. Sejam a, b : I X caminhos fechados com bases nos pontos
x
0
, y
0
respectivamente. A m de que a e b sejam livremente homotpicos, ne-
cessrio e suciente que exista um caminho c : I X, ligando x
0
a y
0
, tal que
a

= (c b) c
1
.
Figura 3.2: Caminhos livremente homotpicos
Demonstrao: (Necessrio) Seja H : I I X uma homotopia livre entre
os caminhos fechados a e b. Denamos c : I X por c(t) = H(0, t) = H(1, t).
Consideremos uma aplicao contnua : I I I I que transforma o bordo
do quadrado I I em si mesmo da seguinte maneira: (0, t) = (0, 0); (1, t) =
(1, 0); (s, 0) = (s, 0), para quaisquer s, t I, e
28
CAPTULO 3. O GRUPO FUNDAMENTAL
(s, 1) =
_

_
(0, 2s) se 0 s
1
2
,
(4s 2, 1) se
1
2
s
3
4
,
(1, 4 4s) se
3
4
s 1.
A aplicao , denida acima, existe. De fato, toda aplicao contnua :
(I I) I I do bordo do quadrado em I I estende-se, continuamente, a
uma aplicao de I I em I I, pois o quadrado I I contrtil; logo,
homotpica a uma constante.
Tomando F = H , temos que F uma homotopia de caminhos entre a e
(c b) c
1
.
(Suciente) Suponha a

= (c b) c
1
. Para mostrarmos que a livremente
homotpico a b, basta mostrarmos que b e (cb)c
1
so livremente homotpicos.
Seja H : I I X uma homotopia livre denida por H = ((c b) c
1
) ,
onde : I I I uma retrao do quadrado sobre sua base horizontal,
conforme ilustra a gura abaixo: a identidade na base; transforma linearmente
cada segmento horizontal, indicado na gura, no segmento [
1
4
,
1
2
] da base; cada
segmento de origem 0 no segmento [0,
1
4
] e cada segmento de origem 1 no segmento
1
2
, 1. Temos, assim, que H uma homotopia livre entre (c b) c
1
e b.
Figura 3.3: Retrao de um quadrado sobre sua base horizontal

Corolrio 3.2. Sejam f, g : X Y aplicaes contnuas homotpicas. Os

homomorsmos f

:
1
(X, x
0
)
1
(Y, y
0
) e g

:
1
(X, x
0
)
1
(Y, y
1
), com y
0
=
f(x
0
) e y
1
= g(x
0
), so relacionados por f

= g

, onde :
1
(Y, y
1
)
1
(Y, y
0
)
um isomorsmo denido na forma da Proposio 3.1.
Basta observar que se H : X I Y uma homotopia entre f e g, ento
c : I Y , denido por c(t) = H(x
0
, t), um caminho ligando y
0
= f(x
0
) a
y
1
= g(x
0
). Como, para todo caminho fechado a : I X com base em x
0
, a
aplicao (s, t) H(a(s), t) uma homotopia livre entre f a e g a, temos,
29
CAPTULO 3. O GRUPO FUNDAMENTAL
pela Proposio 3.3, f a

= c (g a) c
1
. Fazendo = [c] e = [a], temos
f

() = [f a] = [c (g a) c
1
] = (g

())
1
= (g

()).
A partir do Corolrio 3.2, temos que o diagrama abaixo comutativo:
Figura 3.4: Diagrama comutativo
Proposio 3.4. Se dois espaos topolgicos X e Y , conexos por caminhos, tm
o mesmo tipo de homotopia, ento seus grupos fundamentais so isomorfos.
Demonstrao: Sejam f : X Y e g : Y X contnuas tais que g f id
X
e f g id
Y
. Tomemos um ponto base x
0
X e faamos y
0
= f(x
0
), x
1
= g(y
0
)
e y
1
= f(x
1
).
Sejam f
0

:
1
(X, x
0
)
1
(Y, y
0
), f
1

:
1
(X, x
1
)
1
(Y, y
1
) e g

:
1
(Y, y
0
)

1
(X, x
1
) homomorsmos induzidos por f e g respectivamente.
Da homotopia g f id
X
, conclumos, pelo Corolrio 3.2 da Proposio 3.3,
que g

f
0

= :
1
(X, x
0
)
1
(X, x
1
), onde o isomorsmo denido na
Proposio 3.1, a partir da classe de homotopia de um caminho em X, ligando
x
1
a x
0
. Analogamente, de f g id
Y
, conclumos que f
1

= :
1
(Y, y
0
)

1
(Y, y
1
), onde o isomorsmo de conjugao pela classe de homotopia de
um caminho em Y , ligando y
1
a y
0
.
Com estas relaes, obtemos a comutatividade do diagrama abaixo:
Figura 3.5: Diagrama
30
CAPTULO 3. O GRUPO FUNDAMENTAL
Dos isomorsmos g

f
0

= e f
1

= , conclumos que g

sobrejetivo e
injetivo respectivamente. Logo, g

um isomorsmo e, portanto, f
0

e f
1

tambm
so isomorsmos. Em particular,
1
(X, x
0
) e
1
(Y, y
0
) so isomorfos.

Corolrio 3.3. O grupo fundamental de um espao contrtil possui um nico

elemento.
Observao 3.1. Um enunciado mais preciso para a Proposio 3.4 seria: se
f : X Y uma equivalncia homotpica, ento o homomorsmo induzido
f

:
1
(X, x
0
)
1
(Y, y
0
), com y
0
= f(x
0
), um isomorsmo.
3.2 Espaos simplesmente conexos
Um espao topolgico X dito simplesmente conexo quando conexo por
caminhos e, para todo x
0
X, tem-se
1
(X, x
0
) = 0, isto ,
1
(X, x
0
) o
grupo trivial (formado por um elemento).
Em outras palavras, para todo caminho fechado a : I X, com base em x
0
,
temos que a

= e
x
0
. Ou ainda, equivalentemente, X conexo por caminhos e todo
caminho fechado a : I X livremente homotpico a um caminho constante.
Exemplo 3.1. Todo espao contrtil simplesmente conexo.
Proposio 3.5. Em um espao simplesmente conexo, dois caminhos quaisquer
com as mesmas extremidades xas so homotpicos.
Demonstrao: Sejam a, b : I X dois caminhos de x
0
para x
1
. Ento, ab
1
est denido e um caminho fechado com base em x
0
. Como, por hiptese, X
simplesmente conexo, a b
1
homotpico ao caminho fechado constante em x
0
,
isto , a b
1

= e
x
0
. Ento, a

= (a b
1
) b

= e
x
0
b

= b. Logo, a

= b.
Nosso objetivo, agora, mostrar que, quando n > 1, a esfera unitria S
n

simplesmente conexa. Para compor tal demonstrao, necessitamos de algumas

ferramentas, as quais sero apresentadas a seguir.
Sejam a : I X um caminho e : I I uma parametrizao de I, isto ,
uma funo contnua tal que (I) I. Tal parametrizao dita positiva
quando (0) = 0 e (1) = 1; negativa quando (0) = 1 e (1) = 0; e trivial
quando (0) = (1).
O caminho b = a : I X chama-se uma reparametrizao do caminho a.
31
CAPTULO 3. O GRUPO FUNDAMENTAL
Proposio 3.6. Seja b = a uma reparametrizao do caminho a : I X.
Se a parametrizao for positiva, ento b

= a; se for negativa, tem-se b

= a
1
;
se for trivial, ento b

= constante.
Demonstrao: Pelo exemplo 2.5, dois caminhos em I so homotpicos (com
extremidades xas) se, e somente se, tm a mesma origem e o mesmo m. Sejam
i, j : I I dadas por i(s) = s e j(s) = 1 s. Temos, ento,

= i,

= j
ou

= constante, conforme seja uma reparametrizao positiva, negativa ou
trivial. Segue que a

= a i = a, a

= a j = a
1
ou a

= constante
respectivamente.
Corolrio 3.4. Dados um caminho a : I X e pontos 0 = s
0
< s
1
< <
s
k
= 1, seja, para cada i = 1, , k, a
i
: I X o caminho parcial, denido por
a
i
= (a[[s
i1
, s
i
])
i
, onde
i
: I [s
i1
, s
i
] o homeomorsmo linear crescente.
Ento, fazendo b = a
1
a
2
a
k
, temos b

= a.
Lema 3.1. Seja a : I S
n
um caminho tal que a(I) ,= S
n
. Ento, a

= e
x
0
,
se a(0) = a(1) = x
0
, e a

= c, onde c : I S
n
um caminho injetivo, se
a(0) ,= a(1).
Demonstrao: Como a(I) ,= S
n
, existe p S
n
a(I). Seja : S
n
p R
n
a projeo estereogrca. Ento, como R
n
simplesmente conexo, a : I R
n
homotpico (com extremos xos) a uma constante ou a um segmento de reta
(parametrizado injetivamente), conforme a seja fechado ou no. O mesmo ocorre
com a =
1
( a).
Lema 3.2. Seja n > 1. Se o caminho a : I S
n
injetivo, sua imagem um
subconjunto fechado com interior vazio em S
n
.
Demonstrao: Como I compacto, a(I) compacto e, portanto, fechado em
S
n
. Alm disso, sendo injetivo, a um homeomorsmo de I sobre sua imagem
a(I), a qual, se tivesse interior no vazio, conteria uma bola aberta B, de centro
x = a(s). Ento, devemos ter B = a(J), onde J um intervalo aberto contendo
s. Sendo assim, o caminho a seria um homeomorsmo de J sobre B, o que um
absurdo, pois J s desconexo, enquanto B x conexo, em virtude de
n > 1.
Lema 3.3. Todo caminho a : I S
n
homotpico (com extremos xos) a um
caminho b : I S
n
tal que b(I) ,= S
n
.
Demonstrao: Devido a continuidade uniforme de a, podemos obter pontos
0 = s
0
< s
1
< < s
k
= 1 de tal forma que, tomando I
i
= [s
i1
, s
i
], tenhamos
32
CAPTULO 3. O GRUPO FUNDAMENTAL
a(I
i
) ,= S
n
para todo i = 1, , k. Pelo Corolrio 3.4, temos a

= a
1
a
2
a
k
,
onde cada a
i
: I S
n
uma reparametrizao de a[I
i
, com a
i
(I) = a(I
i
). Pelos
lemas anteriores, temos a
i

= b
i
, onde a imagem b
i
(I) um fechado com interior
vazio em S
n
. Fazendo b = b
1
b
2
b
k
, temos que
a

= a
1
a
2
a
k

= b
1
b
2
b
k
= b
e a imagem b(I) = b
1
(I) b
k
(I) uma reunio nita de fechados com
interior vazio em S
n
. Segue, ento, que b(I) tem interior vazio. Em particular,
b(I) ,= S
n
.
Neste momento, somos capazes de provar o seguinte resultado:
Proposio 3.7. Se n > 1, a esfera S
n
simplesmente conexa.
Demonstrao: Pelo Lema 3.3, todo caminho fechado em S
n
homotpico
a um caminho fechado cuja imagem no toda S
n
. Este ltimo caminho, pelo
Lema 3.1, homotpico a uma constante. Logo, S
n
simplesmente conexa.
Para encerrar esta seo, destacamos duas propriedades do grupo fundamen-
tal:
Proposio 3.8. O grupo fundamental de um produto cartesiano X Y iso-
morfo ao produto cartesiano dos grupos fundamentais de X e Y . Mais precisa-
mente, se p : X Y X e q : X Y Y so as projees naturais, ento
:
1
(X Y, (x
0
, y
0
))
1
(X, x
0
)
1
(Y, y
0
), dado por () = (p

(), q

())
um isomorsmo.
Demonstrao: Um caminho fechado c : I X Y , com base no ponto
(x
0
, y
0
), tem a forma c(s) = (a(s), b(s)), onde a = p c um caminho fechado
em X, com base em x
0
, e b = q c fechado com base em y
0
Y . Dado,
tambm, c

: I X Y , com c

(s) = (a

(s), b

(s)), temos c

= c

se, e somente se,

a

= a

e b

= b

. De fato, uma homotopia de caminhos H entre c e c

tem a forma
H(s, t) = (F(s, t), G(s, t)), onde F e G so homotopias de caminhos entre a e a

,
b e b

respectivamente. Da resulta a proposio.

Corolrio 3.5. Se X e Y so simplesmente conexos, ento o produto cartesiano
X Y simplesmente conexo.
33
Captulo 4
Exemplos e Aplicaes
Como fechamento dos tpicos estudados, apresentaremos, neste ltimo cap-
tulo, alguns exemplos e aplicaes do grupo fundamental em casos particulares.
4.1 O grupo fundamental do crculo
O principal objetivo desta seo mostrar que o grupo fundamental do crculo
S
1
innito cclico e, portanto, existe um isomorsmo entre os grupos
1
(S
1
) e
Z. Faremos isto associando a cada caminho fechado a no crculo um nmero
n(a), chamado o grau de a, tal que dois caminhos so homotpicos se, e somente
se, possuem o mesmo grau. Alm disso, todo nmero inteiro n grau de algum
caminho fechado em S
1
.
Para determinarmos
1
(S
1
), utilizaremos a aplicao exponencial : R S
1
,
denida por
(t) = e
it
= (cos(t), sen(t)).
Tal contnua e sobrejetora, alm de ser um homomorsmo do grupo aditivo
R para o grupo multiplicativo S
1
(nmeros complexos mdulo 1), pois e
i(s+t)
=
(cos(s + t), sen(s + t)) = e
is
e
it
. O ncleo de o grupo 2Z = 2n; n Z,
formado pelos mltiplos inteiros de 2 e, alm disso, dado u S
1
, temos
1
(u) =
t + 2n; n Z, onde t R um nmero real qualquer tal que (t) = u.
Lema 4.1. : R S
1
uma aplicao aberta.
Demonstrao: Dado um conjunto aberto U R, devemos provar que sua
imagem (U) um subconjunto aberto de S
1
. Ou, equivalentemente, tomando
F = S
1
(U), devemos provar que F fechado em S
1
. Mas,
1
((U)) =

nZ
(U + 2n) aberto em R; logo, seu complementar
1
(F) fechado em R.
34
CAPTULO 4. EXEMPLOS E APLICAES
Note que, para cada x R, existe x

[0, 2] tal que (x

) = (x). Portanto,
F = (
1
(F)) = (
1
(F) [0, 2]). Todavia, o conjunto
1
(F) [0, 2]
compacto; logo, sua imagem por tambm compacta, ou seja F compacto e,
da, F um subconjunto fechado em S
1
.
Proposio 4.1. A restrio de a todo intervalo aberto (t, t + 2) de compri-
mento 2 um homeomorsmo sobre S
1
(t).
Demonstrao: A restrio [(t, t + 2) uma bijeo contnua sobre S
1

(t). Pelo lema anterior, transforma abertos do intervalo (t, t+2) em abertos
de S
1
; logo, a inversa de [(t, t + 2) tambm contnua.
Corolrio 4.1. Todo ponto u = (t) S
1
possui uma vizinhana aberta V =
S
1
u

, u

= u, cuja imagem inversa

1
(V ) a reunio dos intervalos
abertos I
n
= (t + (2n 1), t + (2n + 1)), n Z, cada um dos quais aplicado
homeomorcamente por sobre V .
Seja a : J R
2
, com J = [s
0
, s
1
], um caminho tal que [a(s)[ = 1 para todo
s J. Ento, a(s) S
1
para todo s; logo, podemos escrever a : J S
1
.
Uma funo-ngulo para o caminho a uma funo a : J R tal que a(s) =
(cos( a(s)), sen( a(s))) para todo s J. Como (s) = (cos(s), sen(s)) = e
is
, temos
que a uma funo-ngulo para o caminho a se, e somente se, a = a.
Proposio 4.2. Dados um intervalo J = [s
0
, s
1
], uma funo contnua a : J
S
1
e um nmero real t
0
com a(s
0
) = e
it
0
, existe uma nica funo contnua
a : J R tal que a(s) = e
i a(s)
para todo s J (isto , a = a) e a(s
0
) = t
0
.
Demonstrao: Inicialmente, temos que o resultado vlido no caso em que
a(J) S
1
y, para algum y S
1
, e assim, como a(s
0
) ,= y, existe um nico
x
1
(y) tal que t
0
(x, x+2). Ento,
x
= [(x, x+2) um homeomorsmo
sobre S
1
y e, fazendo a =
1
x
a, obtemos a funo desejada.
Suponhamos, agora, que J = J
1
J
2
seja reunio de dois intervalos compactos
com um extremo s

em comum, e que a proposio seja vlida para as restries

a
1
= a[J
1
e a
2
= a[J
2
. Escolhemos a
1
: J
1
R de modo que a
1
(s
0
) = t
0
e a
1
= a
1
. Em seguida, escolhemos a
2
: J
2
R tal que a
2
= a
2
e
a
1
(s

) = a
2
(s

), o que possvel, visto que ( a

1
(s

)) = a
1
(s

) = a
2
(s

).
Finalmente, denimos a : J R fazendo a[J
1
= a
1
e a[J
2
= a
2
.
No caso geral, a existncia de a se reduz aos dois casos particulares abordados
acima, pois, devido a compacidade de J, para toda aplicao contnua a : J S
1
,
existe uma decomposio J = J
1
J
k
como reunio de intervalos justapostos,
de forma que a(J
i
) ,= S
1
para todo i = 1, 2, , k.
35
CAPTULO 4. EXEMPLOS E APLICAES
Quanto a unicidade, devemos observar que se a, a : J R so funes cont-
nuas tais que e
i a(s)
= e
i a(s)
para todo s J, ento
f(s) =
a(s) a(s)
2
,
para todo s J, um inteiro que depende continuamente de s. Segue, ento,
que f(s) constante. Particularmente, se a(s
0
) = a(s
0
), ento a = a.

Fixado t
0
com a(s
0
) = (t
0
) e obtida uma funo-ngulo a com a(s
0
) = t
0
, as
demais funes-ngulo para a, que devem ter incio nos pontos t
0
+ 2k, k Z,
tm a forma a

(s) = a(s)+2k. Alm disso, se a : I S

1
um caminho fechado,
toda funo-ngulo a : I R para a deve ser tal que o nmero
n(a) =
a(1) a(0)
2
inteiro (positivo, negativo ou nulo). Tal inteiro n(a) chama-se o grau do
caminho fechado a e indica o nmero lquido de voltas que o ponto mvel a(s)
d ao longo de S
1
quando o tempo s varia de 0 a 1.(Lquido signica o nmero
de voltas positivas - dadas no sentido anti-horrio - menos o nmero de voltas
negativas).
Note que o nmero n(a) no depende da funo-ngulo escolhida, pois duas
quaisquer delas diferem por uma constante, que desaparece ao efetuarmos a dife-
rena a(1) a(0).
Proposio 4.3. Sejam a, b : I S
1
caminhos fechados. Ento:
1. Se a e b tm o mesmo ponto base, vale n(a b) = n(a) +n(b);
2. Se a e b so livremente homotpicos, tem-se n(a) = n(b);
3. Se n(a) = n(b), ento a e b so livremente homotpicos. Alm disso, a

= b
quando a e b tm o mesmo ponto base.
4. Dados p S
1
e k Z, existe um caminho fechado a : I S
1
, com base no
ponto p, tal que n(a) = k.
Demonstrao:
1. Sejam a,

b : I R funes-ngulo para a e b, respectivamente, com a(1) =

b(0). Ento, faz sentido denirmos a

b : I R, a qual ser uma funo-

ngulo para a b. Mas, 2 n(a b) = a

b(1) a

b(0) =

b(1) a(0) =
(

b(1)

b(0)) + ( a(1) a(0)) = 2(n(a) +n(b)).

36
CAPTULO 4. EXEMPLOS E APLICAES
2. Primeiramente, consideremos o caso particular em que vale [a(s) b(s)[ < 2
para todo s I, isto , os pontos a(s) e b(s) nunca so antpodas. Ento, to-
mando a(0) = e
is
0
e b(0) = e
it
0
, podemos supor que [s
0
t
0
[ < . Tomemos
funes-ngulo a,

b com a(0) = s
0
e

b(0) = t
0
. Como a(s) e b(s) nunca so
antpodas, devemos ter a(s)

b(s) ,= para todo s I. Isto, juntamente

com

a(0)

b(0)

< , nos d

a(s)

b(s)

< para todo s. Mas, temos

que 2(n(a)n(b)) = a(1) a(0)

b(1)+

b(0) = ( a(1)

b(1))( a(0)

b(0)) <
+ = 2. Logo, [n(a) n(b)[ < 1 e, portanto, n(a) = n(b).
O caso geral de dois caminhos fechados livremente homotpicos a, b : I
S
1
reduz-se a este.
De fato, sendo a homotopia H : I I S
1
uniformemente contnua, existe
> 0 tal que [t t

[ < [H(s, t) H(s, t

)[ < 2 para todo s I. Sejam

0 = t
0
< t
1
< < t
k
= 1 tais que t
i+1
t
i
< e denamos caminhos
fechados a
0
= a, a
1
, , a
k
= b em S
1
, fazendo a
i
(s) = H(s, t
i
). Ento,
[a
i
(s) a
i+1
(s)[ < 2 para todo t I. Isto implica que n(a) = n(a
1
) = =
n(a
k1
) = n(b).
3. Sejam a,

b : I R funes-ngulo para a e b respectivamente. A hiptese

n(a) = n(b), garante que a(1) a(0) =

b(1)

b(0). Denamos uma homoto-

pia H : I I R, entre a e

b, pondo H(s, t) = (1 t) a(s) +t

b(s). Ento,
para todo t I, vale H(1, t)H(0, t) = (1t)( a(1) a(0))+t(

b(1)

b(0)) =
(1 t) 2 n + t 2 n = 2 n, onde n = n(a) = n(b). Da resulta que,
fazendo K = H, obtemos uma aplicao contnua K : I I S
1
, com
K(s, 0) = a(s), K(s, 1) = b(s) e K(0, t) = K(1, t) para quaisquer s, t I.
Logo, K uma homotopia livre entre os caminhos fechados a e b.
Se a e b tiverem o mesmo ponto base, tomaremos a(0) =

b(0), consequen-
temente, a(1) =

b(1), e teremos a

= b pela homotopia K.
4. Seja s
0
R tal que (s
0
) = p. O caminho fechado a : I S
1
, dado por
a(s) = (cos(s
0
+ 2ks), sen(s
0
+ 2ks)), tem base no ponto p e admite a
funo-ngulo a(s) = s
0
+ 2k s. Logo, n(s) = [ a(1) a(0)]/2 = k.

Como mencionamos no incio da seo, nosso objetivo mostrar que

1
(S
1
)
Z. Neste momento, baseados nas consideraes apresentadas acima, somos capa-
zes de comprovar a existncia de tal isomorsmo, atravs da proposio a seguir.
Proposio 4.4. O grupo fundamental do crculo S
1
isomorfo ao grupo aditivo
Z dos inteiros.
37
CAPTULO 4. EXEMPLOS E APLICAES
Demonstrao: A cada classe de homotopia = [a] de caminhos fechados em
S
1
, associemos o inteiro n(a). Pelo item 2 da proposio anterior, o grau n(a)
depende apenas da classe , mas no do caminho fechado a que escolhemos para
represent-la. Assim, podemos falar no grau n() da classe e obtemos uma
aplicao n :
1
(S
1
) Z. Pelo item 1 da proposio acima, temos que n um
homomorsmo; pelo item 3, n injetivo; e pelo item 4, n sobrejetivo. Logo, n
um isomorsmo entre
1
(S
1
) sobre Z.
Corolrio 4.2. O grupo fundamental do toro T = S
1
S
1
abeliano livre, com
dois geradores.
De fato, pela Proposio 3.8, temos que
1
(T) =
1
(S
1
)
1
(S
1
) = Z Z.
Um dos geradores de
1
(T) pode ser tomado como a classe de homotopia de um
paralelo a e o outro como a classe de um meridiano b.
Um caminho fechado c no toro homotpico a ma + nb se n o nmero
lquido de vezes em que o caminho c corta o paralelo a e m o nmero lquido
de vezes em que c corta o meridiano b. (Neste contexto, lquido signica que
contamos apenas as vezes em que c passa de um lado para outro de a ou de b. Alm
disso, devemos contar positivamente as passagens para um lado e negativamente
para o outro.)
Por exemplo, o caminho c da gura abaixo homotpico a a + 3b.
Figura 4.1: Toro
Corolrio 4.3. O cilindro C = S
1
R tem grupo fundamental cclico innito.
De fato, C tem o mesmo tipo de homotopia que o crculo S
1
. Um gerador
de
1
(C) o crculo central a(s) = (e
is
, 0). Um caminho fechado c no cilindro
homotpico a n vezes o gerador a quando n o nmero lquido de vezes em que
o caminho corta a geratriz u R, com u = (1, 0) S
1
.
38
CAPTULO 4. EXEMPLOS E APLICAES
Seguem, abaixo, algumas aplicaes de
1
(S
1
) = Z.
Exemplo 4.1. O toro T = S
1
S
1
e a esfera S
2
no so homeomorfos.
De fato, apesar de ambos serem conexos e compactos, o
1
(T) = Z Z (pela
Proposio 3.8) e
1
(S
2
) = 0, pois S
2
simplesmente conexo (pela Proposi-
o 3.7).
Exemplo 4.2. Os cilindros C = S
1
I e C = S
1
R no so homeomorfos.
Com efeito, os dois cilindros possuem o mesmo grupo fundamental (
1
(C =
S
1
I) =
1
(C = S
1
R) = Z). Todavia, diferem pela compacidade: C = S
1
I
compacto e C = S
1
R no.
Exemplo 4.3. Sejam
X =
_
(x, y) R
2
; x
2
+y
2
r
_
e
Y =
_
(x, y) R
2
; r
1
x
2
+y
2
r
2
_
,
com r, r
1
e r
2
nmeros reais positivos. Ento, X e Y no so homeomorfos.
De fato, X e Y so compactos e conexos. Contudo,
1
(X) = 0 e
1
(Y ) = Z,
pois Y homotpico a S
1
.
Exemplo 4.4. S
1
no simplesmente conexo. Em particular, S
1
no contrtil.
Analogamente para o toro T = S
1
S
1
.
4.2 O nmero de voltas de uma curva plana fe-
chada
Nesta seo, substituiremos o intervalo I = [0, 1] pelo intervalo compacto
J = [s
0
, s
1
].
Sejam p um ponto do plano R
2
e c : J R
2
p um caminho plano cuja
imagem no contm o ponto p. Existe uma funo contnua c : J R tal que
c(s) = p + (s)e
i c(s)
, para todo s J, onde (s) = [c(s) p[. A funo c uma
funo-ngulo do caminho
s
c(s) p
[c(s) p[
em S
1
.
39
CAPTULO 4. EXEMPLOS E APLICAES
Suponhamos, agora, que o caminho c seja fechado, isto , c(s
0
) = c(s
1
). Ento,
para toda funo-ngulo c, a diferena c(s
1
) c(s
0
) um mltiplo inteiro de 2,
o qual no depende da escolha de c.
O nmero de voltas que o caminho fechado c : J R
2
p d em torno do
ponto p o nmero inteiro
n(c, p) =
c(s
1
) c(s
0
)
2
.
Em outras palavras, n(c, p) o grau do caminho a : J S
1
, denido por
a(s) =
c(s) p
[c(s) p[
.
A proposio seguinte resume algumas das principais propriedades do inteiro
n(c, p).
Proposio 4.5.
1. Seja c : [s
0
, s
2
] R
2
p um caminho tal que c(s
0
) = c(s
1
) = c(s
2
),
onde s
0
< s
1
< s
2
. Tomemos c
1
= c[[s
0
, s
1
] e c
2
= c[[s
1
, s
2
]. Ento,
n(c, p) = n(c
1
, p) +n(c
2
, p).
2. Os caminhos fechados c, c

: [s
0
, s
1
] R
2
p so livremente homotpicos
se, e somente se, n(c, p) = n(c

, p).
3. Se os pontos p e q podem ser ligados por um caminho no complementar
da imagem c(J) do caminho fechado c, ento n(c, p) = n(c, q). Em outras
palavras, n(c, p) , como funo de p,(mantido c xo) constante em cada
componente conexa de R
2
c(J).
4. Dado o caminho fechado c : [s
0
, s
1
] R
2
p, sejam , : [t
0
, t
1
] [s
0
, s
1
]
funes contnuas tais que (t
0
) = (t
1
) = s
0
e (t
1
) = (t
0
) = s
1
. Ento,
n(c , p) = n(c, p) = n(c , p).
5. Para todo k Z e todo p R
2
, o caminho fechado c : [0, 2] R
2
p,
dado por c(s) = p +e
iks
, cumpre n(c, p) = k.
6. Sejam c, c

: J R
2
p caminhos fechados tais que, para todo s J, o
segmento de reta [c(s), c

(s)] no contm o ponto p. Ento, n(c, p) = n(c

, p).
7. Sejam c, c

: J R
2
0 caminhos fechados. Se [c(s) c

(s)[ < [c(s)[

para todo s J, ento n(c, 0) = n(c

, 0). (Rouch)
Demonstrao:
40
CAPTULO 4. EXEMPLOS E APLICAES
1. Seja c : [s
0
, s
2
] R uma funo-ngulo para c. Ento, as restries c
1
=
c[[s
0
, s
1
] e c
2
= c[[s
1
, s
2
] so funes-ngulo para c
1
e c
2
respectivamente.
Disto, segue o resultado.
2. Como a aplicao h
p
: R
2
p S
1
, dada por
h
p
(z) =
z p
[z p[
,
uma equivalncia homotpica e (h
p
c)(s) = e
i c(s)
, temos n(c, p) = n(h
p
c).
Logo, c

= c

h
p
c

= h
p
c

n(h
p
c) = n(h
p
c

) n(c, p) = n(c

, p).
3. Seja a : I R
2
c(J) um caminho tal que a(0) = p e a(1) = q. Denamos
H : J I S
1
por
H(s, t) =
c(s) a(t)
[c(s) a(t)[
.
Ento, baseados na notao do item anterior, temos H(s, 0) = h
p
c e
H(s, 1) = h
q
c para todo s J. Logo, H uma homotopia livre entre os
caminhos fechados h
p
c, h
q
c : J S
1
. Segue que n(c, p) = n(h
p
c) =
n(h
q
c) = n(c, q).
4. Segue da Proposio 3.6.
5. Evidente.
6. Consequncia do item 2 acima e do exemplo 2.1.
7. Segue do item anterior.

Exemplo 4.5. Seja p : C C o polinmio complexo de grau k > 0, dado por

p(z) = a
0
+a
1
z + +a
k
z
k
.
Para todo nmero real r 0, p transforma o crculo de centro 0 e raio r numa
curva fechada do plano (quando r = 0, o crculo se degenera em um ponto).
Supondo que p no possua razes z com [z[ = r, queremos determinar quantas
voltas em torno da origem d essa curva fechada. Mais precisamente, sendo
c
r
: [0, 2] C 0 o caminho fechado denido por c
r
(s) = p(r e
is
), nosso
objetivo determinar n(c
r
, 0). Em geral, este nmero depende de r, pois, supondo
o polinmio p xado, para cada r > 0 tal que p no possui raiz de mdulo r, o
nmero n(c
r
, 0) igual ao nmero de razes de p com mdulo menor do que r,
41
CAPTULO 4. EXEMPLOS E APLICAES
contadas de acordo com suas multiplicidades. Todavia, provaremos apenas que,
para todo r sucientemente grande, vale n(c
r
, 0) = k.
Quando o polinmio p(z) = a
k
z
k
se reduz a um monmio, a armao acima
ca evidente. No caso geral, podemos escrever p(z) = a
k
z
k
+ q(z), onde q(z)
um polinmio de grau k 1. Assim,

p(z) a
k
z
k

a
k
z
k

f(z), com f(z) =

q(z)
a
k
z
k
,
e, portanto,
lim
|z|
f(z) = 0.
Logo, existe um nmero real positivo r
0
tal que
[z[ = r > r
0

p(z) a
k
z
k

<

a
k
z
k

.
Segue, ento, do Teorema de Rouch, que o caminho fechado c
r
d k voltas
em torno da origem para todo r > r
0
.
Aplicao: O Teorema Fundamental da lgebra.
O enunciado do teorema diz que todo polinmio complexo de grau k > 0
possui ao menos uma raiz complexa.
Suponha, por absurdo, que p(z) ,= 0 para todo z C. Ento, c
r
: [0, 2]
C 0 est denido para todo r 0. Note que, para quaisquer r, r

reais no-
negativos temos c
r
c
r
, atravs da homotopia H(s, t) = p(((1 t)r + tr

)e
is
).
Portanto, n(c
r
, 0) no depende de r. Ora, n(c
0
, 0) = 0, pois c
0
constante.
Contudo, como visto anteriormente, n(c
r
, 0) = k para r suciente grande. E,
assim, chegamos a uma contradio. Logo, devemos ter p(z) = 0 para algum z.
4.3 O nmero de voltas expresso como integral
curvilnea
Uma forma diferencial, de grau 1, em um aberto U R
2
uma expresso do
tipo
= fdx +gdy,
onde f, g : U R so funes de classe C
1
em U, isto , possuem derivadas
parciais contnuas em todos os pontos de U.
Apresentaremos, a seguir, algumas consideraes sobre formas diferenciais:
42
CAPTULO 4. EXEMPLOS E APLICAES
1. Sempre que restringirmos a forma a um caminho c : J U, de classe
C
1
, com c(t) = (x(t), y(t)) e J = [t
0
, t
1
], substituiremos dx por x

(t)dt e dy
por y

(t)dt.
2. Dizemos que = fdx+gdy e
1
= f
1
dx+g
1
dy, denidas no mesmo aberto
U R
2
, so iguais quando f = f
1
e g = g
1
.
3. A soma das formas e
1
, como denidas no item anterior, a forma
+
1
= (f +f
1
)dx + (g +g
1
)dy.
4. O produto da forma pela funo h : U R a forma h = hfdx+hgdy.
No multiplicaremos duas formas diferenciais.
5. Dada a forma em U, se existir : U R, de classe C
2
, tal que
= d =

x
dx +

y
dy,
diremos que uma forma exata.
Sejam = fdx+gdy uma forma diferencial no aberto U R
2
e c : J U um
caminho de classe C
1
em U, dado por c(t) = (x(t), y(t)), t J, onde x, y : J R
so funes continuamente derivveis e J = [t
0
, t
1
].
A integral (curvilnea) da forma ao longo do caminho c denida por
_
c
=
_
t
1
t
0
[f(x(t), y(t)) x

(t) +g(x(t), y(t)) y

(t)]dt.
Propriedades. Dados uma forma diferencial num aberto U R
2
e um
caminho c : J U, de classe C
1
, onde J = [t
0
, t
1
], tem-se:
1. Seja J = J
1
J
2
reunio de dois intervalos compactos com um extremo em
comum. Fazendo c
1
= c[J
1
e c
2
= c[J
2
, temos
_
c
=
_
c
1
+
_
c
2
.
2. Sejam , : [s
0
, s
1
] [t
0
, t
1
] funes de classe C
1
, com (s
0
) = (s
1
) = t
0
e (s
1
) = (s
0
) = t
1
. Ento,
_
c
=
_
c
e
_
c
=
_
c
.
O caminho c ser representado por c.
43
CAPTULO 4. EXEMPLOS E APLICAES
Sejam = d uma forma exata, diferencial da funo : U R, de classe
C
2
, e c : J U um caminho de classe C
1
. A derivada da funo composta
c : J R, pela regra da cadeia, vale
( c)

(t) =
d
dt
(x(t), y(t)) =

x
x

+

y
y

.
Segue, ento, que
_
c
=
_
c
d =
_
t
1
t
0
_

x
x

+

y
y

_
dt =
=
_
t
1
t
0
( c)

(t)dt = (c(t
1
)) (c(t
0
)).
Particularmente, temos que, se = d uma forma exata, a integral
_
c

depende apenas dos extremos c(t

0
) e c(t
1
). Isto ,
_
c
= 0 para todo caminho
fechado c em U.
Uma forma diferencial = fdx + gdy, em um aberto U R
2
, chama-se
fechada quando, em U,
f
y
=
g
x
.
Por exemplo, se exata, digamos = d, ento
f =

x
e g =

y
;
logo,
f
y
=

2

yx
=

2

xy
=
g
x
.
Portanto, toda forma exata fechada. Todavia, a recproca no verdadeira;
isto , nem toda forma fechada exata. Vejamos:
Consideremos no aberto U = R
2
0 a forma diferencial
=
y
x
2
+y
2
dx +
x
x
2
+y
2
dy.
Temos, ento,
f =
y
x
2
+y
2
e g =
x
x
2
+y
2
.
Logo,
f
y
=
g
x
=
y
2
x
2
(x
2
+y
2
)
2
.
44
CAPTULO 4. EXEMPLOS E APLICAES
Portanto, uma forma fechada. No entanto, no exata em U, isto , no
existe : U R, de classe C
2
, tal que = d, pois, se existisse, a integral de
ao longo de qualquer caminho fechado de classe C
1
por partes (c : J U, com
J = J
1
J
2
J
k
, onde cada J
i
um intervalo compacto que tem exatamente
um ponto em comum (um extremo) com J
i+1
e, tomando c
i
= c[J
i
, i = 1, , k,
cada c
i
de classe C
1
), contido em U, seria 0; o que no ocorre, segundo a
proposio abaixo.
Proposio 4.6. Seja c : J R
2
0 um caminho fechado, de classe C
1
por
partes. Ento,
n(c, 0) =
1
2
_
c
, onde =
y
x
2
+y
2
dx +
x
x
2
+y
2
dy.
Demonstrao: Suponha que c(t) = (x(t), y(t)) seja de classe C
1
em todo J.
Seja : J R uma funo-ngulo para c, isto , a funo-ngulo da curva
c(t)
[c(t)[
.
Temos que x = cos() e y = sen(), onde
2
= x
2
+ y
2
e x, y, e so as
abreviaes de x(t), y(t), (t) e (t) respectivamente. Derivando, temos
x

cos() sen()

sen() +cos()

Substituindo,
_
c
=
_
s
1
s
0
_
y
x
2
+y
2
x

+
x
x
2
+y
2
y

_
dt =
=
_
s
1
s
0

(t)dt = (s
1
) (s
0
) = 2 n(c, 0).
No caso geral, temos uma partio P = s
0
= t
0
< t
1
< < t
k
= s
1
tal que,
para cada i = 1, , k, as restries c
i
= c[[t
i1
, t
i
] e [[t
i1
, t
i
] so de classe C
1
.
Ento,
_
c
=
k

i=1
_
c
i
=
k

i=1
[(t
i
) (t
i1
)] = (s
1
) (s
0
).
Como o caminho c fechado, (s
1
) (s
0
) um mltiplo inteiro de 2. Logo,
_
c
= 2 n(c, 0).

Observao 4.1. A forma diferencial , denida em R

2
0, chamada o
elemento de ngulo no plano.
45
CAPTULO 4. EXEMPLOS E APLICAES
A proposio acima representa o nmero de voltas de um caminho C
1
por
partes em torno da origem em R
2
como a integral de uma certa forma diferencial
.
Para encerrar, mostraremos que o nmero de voltas n(c, 0) que um caminho
fechado c : J R
2
0, de classe C
1
por partes, d em torno da origem tambm
pode ser expresso atravs de uma integral complexa:
n(c, 0) =
1
2i
_
c
dz
z
, com z C.
De fato, na integral acima, temos
dz = dx +idy e
1
z
=
1
x +iy
=
x iy
x
2
+y
2
Logo,
dz
z
=
(x iy)(dx +idy)
x
2
+y
2
=
1
+i
2
,
onde

1
=
x
x
2
+y
2
dx +
y
x
2
+y
2
dy

2
=
y
x
2
+y
2
dx +
x
x
2
+y
2
dy.
Mas
1
= d(log
_
x
2
+y
2
) uma forma exata em R
2
0 e, portanto,
_
c

1
=
0 para todo caminho fechado c, de classe C
1
por partes em R
2
0.
Por outro lado,
2
o elemento de ngulo no plano; logo,
_
c
dz
z
= i
_
c

2
= 2i n(c, 0).
46
Concluses
O projeto encerra-se tendo concludo todos os tpicos previstos e alcanado
os objetivos desejados, visto que, para o Trabalho de Concluso de Curso B,
a principal proposta era estudar o Grupo Fundamental, incluindo exemplos e
aplicaes.
Foi um trabalho muito proveitoso e enriquecedor, pois retomou contedos
vistos anteriormente e acrescentou novos saberes, os quais no so estudados na
Graduao.
Com este relatrio, encerramos as atividades referentes ao ltimo perodo do
curso de Licenciatura em Matemtica.
47
Bibliograa
[1] LIMA, E. L.: Grupo Fundamental e Espaos de Recobrimento, Instituto
de Matemtica Pura e Aplicada, Rio de Janeiro, Projeto Euclides, 1993.
[2] MUNKRES, J.R.: Topology: a rst course, Prentice Hall College Div, June
1974.
[3] LIMA, E. L.: Espaos Mtricos, Instituto de Matemtica Pura e Aplicada,
Rio de Janeiro, Projeto Euclides, 1977.
[4] LIMA, E. L.: Elementos de Topologia Geral, Instituto de Matemtica Pura
e Aplicada, Rio de Janeiro, 1970.
[5] SHIRALI, S., VASUDEVA, H. L.; Metric Spaces, Springer-Verlag, 2006.
48