O Grupo Fundamental PDF

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
Identificao
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 influncia 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 definies, 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 homomorfismo 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
Bibliografia 49
Lista de Figuras
1.1 Espao de Hausdorff 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 Grfico de f : I I . . . . . . . . . . . . . . . . . . . . . . . . . 24
2.11 Associatividade . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
3.1 Isomorfismo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 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 especficos 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 finali-
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].
Definio 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 A1 , ..., An , ento A1 ... An ;
3. Dada uma famlia arbitrria (A )L , com A para cada L, tem-se

S
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.
Definio 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 x0 X se, dado qualquer A , com f (x0 ) A, existe B ,
com x0 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.
Definio 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 homeomorfismo.
Quando existe um homeomorfismo entre X e Y , dizemos que X e Y so
homeomorfos.
Definio 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

definidos em um espao topolgico.
Definio 1.5. Um caminho num espao topolgico X uma aplicao contnua

a : [x0 , x1 ] X, onde [x0 , x1 ] um intervalo fechado em R. Se a(x0 ) = x e
a(x1 ) = y, ento a um caminho de x para y e x, y so ditos pontos inicial e
final respectivamente.
Definio 1.6. Um conjunto M X conexo por caminhos se, para cada dois
pontos x, y de M , existe um caminho a : [x0 , x1 ] M de x para y, ou de y para
x.
Definio 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 Rn , 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 definir a noo de compacidade para
espaos topolgicos, conforme faremos a seguir.
10
Definio 1.8. Seja X um conjunto. Seja {A }L uma famlia de subconjuntos

S
de X. Dizemos que tal famlia uma cobertura de X se X = L A .
Particularmente, se L for finito, a cobertura {A }L dita ser finita.
Definio 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.
Definio 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 definio 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=
S
n=1 (n, n) uma cobertura aberta de R. Todavia, tal cobertura no
finita nem admite subcobertura finita.
A partir das definies acima, podemos definir compacidade para espaos

topolgicos.
Definio 1.11. Um espao topolgico (X, ) compacto se, dada qualquer co-
S
bertura aberta X = L A (ou seja, com cada A ), existe uma subcobertura
finita X = A1 An .
Exemplo 1.5. Seja (X, ) um espao topolgico finito qualquer. Ento, X

compacto.
De fato, seja (X, ) = {x1 , x2 , , xn }. Para mostrar que X compacto,
devemos exibir uma cobertura aberta que admite subcobertura finita.
Temos que {xi } aberto, 1 i n. Ento, ni=1 {xi } uma cobertura aberta
S
de X e, alm disso, finita. Tomando como subcobertura a prpria cobertura,

encontramos uma subcobertura finita.
Apresentaremos, a seguir, alguns resultados referentes compacidade.
Teorema 1.1. A imagem de um conjunto compacto por uma aplicao contnua

um conjunto compacto.
Definio 1.12. Um espao topolgico X chama-se um espao de Hausdorff

quando, dados dois pontos arbitrrios x 6= y em X, existem abertos A, B X
tais que x A, y B e A B = .
11
Figura 1.1: Espao de Hausdorff X
Teorema 1.2. Seja X um espao de Hausdorff. Todo subconjunto compacto

F X fechado em X.
Definio 1.13. Sejam (X, dX ), (Y, dY ) espaos mtricos. Uma aplicao f :

(X, dX ) (Y, dY ) diz-se uniformemente contnua quando, para todo > 0 dado
arbitrariamente, existir > 0 tal que dX (x, y) < implica dY (f (x), f (y)) < ,
para quaisquer x, y X.
Teorema 1.3. Seja f : (X, dX ) (Y, dY ), com X compacto. Se f contnua,

ento f uniformemente contnua.
Seja E um espao vetorial (real ou complexo). Nele, possvel definir a noo

de comprimento de vetores x E, o que chamamos de norma de um vetor.
Definio 1.14. Uma norma em E uma funo k k : E [0, ) que satisfaz:
1. kxk = 0 x = 0;
2. kxk = || kxk , x E, escalar (real ou complexo);
3. kx + yk kxk + kyk , x, y E.
Um espao vetorial normado um par (E, k k), onde E um espao vetorial e

k k uma norma em E. Geralmente, espao vetorial normado denotado apenas
por E, deixando a norma subentendida.
Exemplo 1.6. Considerando x = (x1 , , xn ) Rn , temos os seguintes espaos

vetoriais normados:
Pn 1
p p
(Rn , kxkp ), onde kxkp = ( i=1 |xi | ) , p 1;
(Rn , kxk ), onde kxk = max {|xi | : 1 i n}.
Para encerrar este captulo, recordaremos o homomorfismo de grupos.
Definio 1.15. Sejam (G, ) e (G0 , ) grupos. Uma aplicao f : G G0 um

homomorfismo se, para todo x, y G, tem-se
f (x y) = f (x) f (y).
Dizemos que f um isomorfismo se f um homomorfismo 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 definies, o
smbolo I representa o intervalo compacto [0, 1].
2.1 Aplicaes Homotpicas

Definio 2.1. Sejam X, Y espaos topolgicos. Duas aplicaes contnuas f, g :
X Y dizem-se homotpicas quando existe uma aplicao contnua H : X I
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 Ht : X Y , definida por Ht (x) = H(x, t), temos que (Ht )tI define
uma famlia contnua a um parmetro - a continuidade, neste caso, significa
que (x, t) 7 Ht (x) uma aplicao contnua. Em t = 0 temos f ; para t = 1
temos g; e nos instantes 0 < t < 1, as aplicaes Ht 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, definindo 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 fixo 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:
1o ) 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).
2o ) (Poincar-Bohl.) Se f, g : X E{0} 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 figura 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 Rn+1 a esfera unitria n-dimensional. Dadas duas

aplicaes contnuas f, g : X S n , se f (x) 6= g(x) para todo x X (isto ,
f (x) e g(x) nunca so pontos antpodas), ento f ' g.
14
De fato, nestas condies, vale (1 t)f (x) + tg(x) 6= 0 para todo t I e todo
1
x X, pois (1 t)f (x) + tg(x) = 0 se t = 2
e f (x) = g(x); mas, por hiptese,
f (x) 6= g(x), x X.
Ento, obtemos uma homotopia H : X I S n , entre f e g, definindo
(1 t)f (x) + tg(x)
H(x, t) = .
|(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 fixos (isto , f (x) 6= 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 R2k e podemos considerar cada ponto
z = (x1 , y1 , x2 , y2 , , xk , yk ) de S n como uma lista z = (z1 , , zk ) de nmeros
complexos zj = xj + i yj tais que |z1 |2 + |zk |2 = 1.
Agora, para cada nmero complexo u S 1 , de mdulo 1, e cada vetor z =
(z1 , , zk ) S n , definiremos u z S n por u z = (u z1 , , u zk ). Assim,
H : S n I S n , dada por H(z, t) = eti z, uma homotopia entre a aplicao
antpoda (z) = z e a aplicao identidade de S n , lembrando que eit = 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
Demonstrao: Para provar que se trata de uma relao de equivalncia,

preciso mostrar que a relao de homotopia reflexiva, simtrica e transitiva.
Reflexiva: 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. Definindo
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 = A B, onde A e B so fechados em X. Sejam f : A Y

e g : B Y contnuas. Se f (x) = g(x), x A B, ento a funo F : X Y ,
definida 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 0 uma homotopia entre g e h. Ento,
definimos H : X I Y por

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

F 0 (x, 2t 1). Alm disso, H contnua nos dois subconjuntos fechados X [0, 12 ]
e X [ 21 , 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
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 0 : X Y e g, g 0 : Y Z aplicaes contnuas. Se

f ' f 0 e g ' g 0 , ento g f ' g 0 f 0 .
Demonstrao: Por hiptese, f ' f 0 e g ' g 0 . Logo, existem F : X I Y

uma homotopia entre f e f 0 , G : Y I Z uma homotopia entre g e g 0 . To-
mando uma aplicao H : X I Z, dada por H(x, t) = G(F (x, t), t), definimos
uma homotopia entre g f e g 0 f 0 .
Em consequncia da proposio acima, possvel definir composio entre

classes de homotopia: dadas f : X Y e g : Y Z, definimos [g] [f ] =
[g f ]. A classe [g f ] no depende dos representantes g, f das classes [g] e [f ]
respectivamente.
Para finalizar este captulo, apresentaremos alguns tipos de homotopia.
Definio 2.2. Dizemos que uma aplicao contnua f : X Y uma equi-

valncia homotpica quando existe g : Y X contnua tal que g f ' idX e
f g ' idY .
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.
Definio 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, A I) (Y, B)
tal que H(x, 0) = f (x) e H(x, 1) = g(x) para todo x X. Deve-se, portanto, ter
Ht (A) B para todo t I.
Definio 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
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 ' idX . Como
g f uma aplicao constante, mostramos o que queramos.
() Se idX ' constante, ento idX 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 idX e a aplicao constante X
{p} , p X, ento, para cada ponto x X, a correspondncia t 7 H(x, t) define
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 idX 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 idY e uma
constante, ento G : X I Y , definida 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, definida
por H(x, t) = (1 t)x + tp, uma homotopia entre idX 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
2.3 Homotopia de Caminhos

Consideraremos, agora, um caso particular do conceito geral de homotopia.
Definio 2.5. Dois caminhos a, b : I X so ditos caminhos homotpicos se

possuem as mesmas extremidades, isto , a(0) = b(0) = x0 e a(1) = b(1) = x1 ,
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) = x0 ; H(1, t) = x1 .
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) =
x0 X, para quaisquer s, t I, tem-se
H(s, 0) = a(s); H(s, 1) = b(s); H(0, t) = H(1, t) = x0 .
Figura 2.6: Homotopia de caminhos fechados
19
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 definir H : I I X por H(s, t) = (1 t)a(s) + tb(s) e H
ser uma homotopia entre a e b.
Definio 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 reflexiva, simtrica e transitiva, sendo, ento, relaes de equi-
valncia. A demonstrao de tal afirmao 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 fixos durante a homotopia. A classe
de homotopia do caminho constante ex , tal que ex (s) = x para todo s [0, 1],
ser denotada por x = [ex ].
Definio 2.7. Definimos o caminho inverso de a : I X como o caminho

a1 : I X, dado por a1 (s) = a(1 s), 0 s 1.
Temos, ento, que a1 comea onde a termina e termina na origem de a. Alm

disso, considerando h : I I a funo h(s) = 1 s, temos que a1 = a h.
Definio 2.8. Sejam a e b caminhos em X de x0 para x1 e de x1 para x2

respectivamente. Definimos 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, definida por

a(2s) se 0 s 1
2
a b(s) =
b(2s 1) se 1 s 1.
2
Como a(1) = b(0) = x1 , a aplicao a b est bem definida. Alm disso, pelo
Lema 2.1, a b contnua. Segue, ento, que a b um caminho de x0 para x2 ,
isto , que comea em a(0) e termina em b(1).
20
A operao produto de caminhos induz uma operao nas classes de homoto-

pia de caminhos, definida por
= , onde = [a], = [b] e = [a b].
Para verificarmos tal fato, seja F uma homotopia de caminhos entre a e a0 e

G uma homotopia de caminhos entre b e b0 . Defina H : I I X por

F (2s, t) se 0 s 1 , t I
2
H(s, t) =
G(2s 1, t) se 1 s 1, t I.
2
Como F (1, t) = x1 = G(0, t) para todo t I, temos que H est bem defi-
nida. Pelo Lema 2.1, conclumos que H contnua. Assim, H a homotopia de
caminhos desejada entre a b e a0 b0 .
Figura 2.8: Operao produto nas classes de homotopia de caminhos
Todavia, a operao no est definida para todo par de classes. Define-se,

apenas, para os pares , tais que a(1) = b(0).
Para finalizar, 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 definido, ento ( ) tambm est

definido e, alm disso, so iguais.
2. (Identidade direita e esquerda) Dados x X e o caminho constante

ex : I X tal que ex (s) = x, s I, se a um caminho em X de x0 para
x1 , ento
x1 = e x0 = .
21
3. (Inverso) Se a um caminho em X de x0 para x1 e a1 o caminho inverso

de a, ento
1 = x0 e 1 = x1 .
Demonstrao: Para provarmos as trs propriedades acima, necessitaremos

de dois fatos:
1o ) 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
2o ) 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 verificar a segunda propriedade, sejam e0 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, e0 i tambm um caminho em I de 0 para 1.
Como I convexo, existe uma homotopia de caminhos G em I entre i e e0 i.
Assim, a G uma homotopia de caminhos em X entre os caminhos a i = a e
a (e0 i) = (a e0 ) (a i) = ex0 a.
Analogamente, assumindo que se e1 denota o caminho constante em 1, ento
i e1 um caminho homotpico ao caminho i em I, mostramos que x1 = .
Para provar a propriedade do inverso, note que a inversa de i i1 (s) = 1 s
e, sendo assim, i i1 um caminho em I que comea e termina em 0. Logo, o
caminho constante e0 .
Como I convexo, existe uma homotopia de caminhos H em I entre e0 e ii1 .
Ento, a H uma homotopia de caminhos entre a e0 = ex0 e (a i) (a i1 ) =
a a1 .
De modo anlogo, usando o fato de que i1 i um caminho homotpico a
e1 em I, mostramos que 1 = x1 .
Para mostrarmos a associatividade, conveniente definirmos o produto a b
de uma maneira diferente.
22
Se [x0 , x1 ] e [x2 , x3 ] so dois intervalos em R, existe uma nica aplicao

f : [x0 , x1 ] [x2 , x3 ] da forma f (x) = mx + k que leva x0 em x2 e x1 em x3 , a
qual chamaremos uma aplicao linear positiva de [x0 , x1 ] para [x2 , x3 ], pois seu
grfico uma linha reta com inclinao positiva.
Com tal terminologia, o produto a b pode ser descrito da seguinte maneira:
em [0, 12 ], igual a aplicao linear positiva de [0, 21 ] para [0, 1], seguida por a; e
em [ 12 , 1], igual a aplicao linear positiva de [ 21 , 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 definidos,
precisamente, quando a(1) = b(0) e b(1) = c(0). Assumindo estas duas condies,
definimos o produto triplo dos caminhos a, b e c, como segue: escolha pontos x0
e x1 em I tais que 0 < x0 < x1 < 1. Defina um caminho kx0 ,x1 em X de modo
que: em [0, x0 ] igual a aplicao linear positiva de [0, x0 ] para I seguida de a;
em [x0 , x1 ] igual a aplicao linear positiva de [x0 , x1 ] para I seguida de b; e em
[x1 , 1] igual a aplicao linear positiva de [x1 , 1] para I seguida de c. Assim, o
caminho kx0 ,x1 depende da escolha dos pontos x0 e x1 , ao contrrio de sua classe
de homotopia de caminhos. Mostraremos, a seguir, que se x2 e x3 formam outro
par de pontos em I com 0 < x2 < x3 < 1, ento kx2 ,x3 um caminho homotpico
a kx0 ,x1 .
Seja f : I I uma aplicao cujo grfico representado na figura 2.10. Tal
aplicao, quando restrita a [0, x0 ], [x0 , x1 ] e [x1 , 1], igual a aplicaes lineares
positivas destes intervalos para [0, x2 ], [x2 , x3 ] e [x3 , 1] respectivamente. Segue que
kx2 ,x3 f = kx0 ,x1 . 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, kx2 ,x3 F uma homotopia de caminhos em X entre kx0 ,x1 e
kx2 ,x3 , pois kx2 ,x3 F (s, 0) = kx2 ,x3 f (s) = kx0 ,x1 e kx2 ,x3 F (s, 1) = kx2 ,x3 i(s) =
kx2 ,x3 .
Figura 2.10: Grfico de f : I I
Atravs do produto triplo, somos capazes de provar a propriedade associa-
23
tiva, pois o produto a (b c) exatamente o produto tripo kx0 ,x1 no caso onde
1
x0 = 2
e x1 = 34 , enquanto o produto (a b) c igual a kx2 ,x3 , no caso onde
1
x2 = 4
e x3 = 12 , conforme ilustrado na figura 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 x0 , , xn pontos tais que 0 = x0 <

x1 < < xn = 1. Seja ai : I X um caminho igual a aplicao linear positiva
de I para [xi1 , xi ] seguida por a. Ento,
= [a1 ] [an ].
A demonstrao do teorema acima pode ser feita por recorrncia, considerando

as subdivises 0 = x0 < x1 < < xn = 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 fixos.
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 definido sempre.
Entretanto, se tomarmos um ponto x0 em X, fix-lo como um ponto base e
restringir-nos aos caminhos que comeam e terminam em x0 , 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.
Definio 3.1. Sejam X um espao topolgico e x0 um ponto de X. O conjunto

das classes de homotopia de caminhos para caminhos fechados com base em x0 ,
com a operao , chamado o grupo fundamental de X relativo ao ponto base
x0 e denotado por 1 (X, x0 ).
Dados dois caminhos fechados a e b com base em x0 , o produto ab est sempre

definido e um caminho fechado baseado em x0 . 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 x0 e x1 pertencem mesma componente conexa por cami-

nhos de X, ento 1 (X, x0 ) e 1 (X, x1 ) so isomorfos. Mais precisamente, cada
classe de homotopia de caminhos que ligam x0 a x1 induz um isomorfismo
: 1 (X, x1 ) 1 (X, x0 ), dado por () = 1 .
Demonstrao: Seja uma classe de homotopia de caminhos que ligam x0 a

x1 . Se 1 (X, x1 ), ento 1 1 (X, x0 ).
25
CAPTULO 3. O GRUPO FUNDAMENTAL
Mostremos que, para , 1 (X, x1 ), um homomorfismo.
() () = ( 1 ) ( 1 )
= ( ) 1
= ( ).
Para mostrar que um isomorfismo, devemos provar que ()1 o inverso

de .
De fato, para cada 1 (X, x0 ), temos
()1 () = 1 ( 1 )1 = 1 ,
(()1 ()) = ( 1 ) 1 = .
Analogamente, mostra-se que ()1 (()) = , para cada 1 (X, x1 ) .
Figura 3.1: Isomorfismo
Corolrio 3.1. Se X conexo por caminhos, ento, para quaisquer pontos base
x0 , x1 X, os grupos fundamentais 1 (X, x0 ) e 1 (X, x1 ) so isomorfos.
O isomorfismo entre 1 (X, x0 ) e 1 (X, x1 ), mencionado no corolrio acima,

depende dos caminhos escolhidos (variando a classe , o isomorfismo varia
tambm.) Todavia, quando 1 (X, x0 ) abeliano, o isomorfismo independe do
caminho; isto , duas classes quaisquer , , ligando x0 a x1 , definem o mesmo
isomorfismo: = . De fato, neste caso, para todo 1 (X, x1 ), vale:
() = 1 = 1 1 1 =
= 1 1 1 = 1 = (),
pois 1 e 1 , pertencendo ambas ao grupo abeliano 1 (X, x0 ),

comutam.
Segue destas consideraes e do Corolrio 3.1 que, sendo X um espao to-
polgico conexo por caminhos com 1 (X, x0 ) abeliano para algum x0 X, o
grupo 1 (X, x1 ) tambm ser abeliano, seja qual for o ponto base x1 X.
26
Alm disso, dados, arbitrariamente, x0 , x1 X, existe um isomorfismo natu-

ral 1 (X, x1 ) 1 (X, x0 ); isto , a cada 1 (X, x1 ) corresponde uma nica
classe 1 (X, x0 ), definida 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 x0 X e consideremos a aplicao
: 1 (X, x0 ) 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 x1 , livremente homotpico a
um caminho fechado b com base x0 - basta tomar um caminho c ligando x0 a x1
e definir b = (c a) c1 . Quando 1 (X, x0 ) abeliano, tambm injetora,
pois se = [a] e = [b] em 1 (X, x0 ) so tais que () = (), ento a e b
so livremente homotpicos. Logo, e so elementos conjugados no grupo
comutativo 1 (X, x0 ) e, portanto, = . Sendo assim, uma bijeo de
1 (X, x0 ) sobre 1 (X).
3.1 O homomorfismo induzido

Seja f : X Y uma aplicao contnua que leva o ponto x0 de X no ponto y0
de Y . Se a um caminho fechado em X com base em x0 , ento f a : I Y um
caminho fechado em Y com base em y0 . A correspondncia a 7 f a d origem
a uma nova aplicao que leva 1 (X, x0 ) a 1 (Y, y0 ), chamada homomorfismo
induzido por uma aplicao contnua.
Definio 3.2. Seja f : X Y uma aplicao contnua. Definimos o homomor-

fismo induzido por f como a aplicao f] : 1 (X, x0 ) 1 (Y, y0 ), com y0 = f (x0 ),
dada por f] () = [f a], onde = [a].
A aplicao f] est bem definida, 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 (a b) = (f a) (f b), segue que f] realmente
um homomorfismo.
Teorema 3.2. Se f : X Y e g : Y Z so duas aplicaes contnuas, e f] :

1 (X, x0 ) 1 (Y, y0 ) e g] : 1 (Y, y0 ) 1 (Z, z0 ), com y0 = f (x0 ) e z0 = g(y0 ),
so os homomorfismos induzidos por tais aplicaes, ento (g f )] = g] f] . Alm
27
disso, se id : X X a aplicao identidade, ento id] : 1 (X, x0 ) 1 (X, x0 )

o homomorfismo identidade.
Demonstrao: Seja = [a]. Por definio,
(g f )] () = [(g f ) a],
(g] f] )() = g] (f] ()) = g] ([f a]) = [g (f a)].
Analogamente, id] () = [id a] = [a] = .

Segue da definio e do teorema apresentados acima que espaos homeomorfos
possuem grupos fundamentais isomorfos. Mais precisamente, se h : X Y for
um homeomorfismo, ento h] : 1 (X, x0 ) 1 (Y, y0 ), com y0 = h(x0 ), um
isomorfismo.
De fato, seja h1 : Y X a inversa de h. Ento, h1
] h] = (h
1
h)] = id] ,
onde id a identidade de X; e h] h1 1 0 0
] = (h h )] = id] , onde id a identidade
de Y . Como id] e id0] so os homomorfismos identidade dos grupos 1 (X, x0 ) e
1 (Y, y0 ), respectivamente, ento h1
] o inverso de h] .
Proposio 3.3. Sejam a, b : I X caminhos fechados com bases nos pontos

x0 , y0 respectivamente. A fim de que a e b sejam livremente homotpicos, ne-
cessrio e suficiente que exista um caminho c : I X, ligando x0 a y0 , tal que
a= (c b) c1 .
Figura 3.2: Caminhos livremente homotpicos
Demonstrao: (Necessrio) Seja H : I I X uma homotopia livre entre

os caminhos fechados a e b. Definamos 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

(0, 2s) se 0 s 21 ,

(s, 1) = (4s 2, 1) se 12 s 43 ,

(1, 4 4s) se 3 s 1.

4
A aplicao , definida 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) c1 .
(Suficiente) Suponha a
= (c b) c1 . Para mostrarmos que a livremente
homotpico a b, basta mostrarmos que b e (cb)c1 so livremente homotpicos.
Seja H : I I X uma homotopia livre definida por H = ((c b) c1 ) ,
onde : I I I uma retrao do quadrado sobre sua base horizontal,
conforme ilustra a figura abaixo: a identidade na base; transforma linearmente
cada segmento horizontal, indicado na figura, no segmento [ 14 , 21 ] da base; cada
segmento de origem 0 no segmento [0, 41 ] e cada segmento de origem 1 no segmento
1
2
, 1. Temos, assim, que H uma homotopia livre entre (c b) c1 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

homomorfismos f] : 1 (X, x0 ) 1 (Y, y0 ) e g] : 1 (X, x0 ) 1 (Y, y1 ), com y0 =
f (x0 ) e y1 = g(x0 ), so relacionados por f] = g] , onde : 1 (Y, y1 ) 1 (Y, y0 )
um isomorfismo definido na forma da Proposio 3.1.
Basta observar que se H : X I Y uma homotopia entre f e g, ento

c : I Y , definido por c(t) = H(x0 , t), um caminho ligando y0 = f (x0 ) a
y1 = g(x0 ). Como, para todo caminho fechado a : I X com base em x0 , a
aplicao (s, t) 7 H(a(s), t) uma homotopia livre entre f a e g a, temos,
29
pela Proposio 3.3, f a

= c (g a) c1 . Fazendo = [c] e = [a], temos
f] () = [f a] = [c (g a) c1 ] = (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 ' idX

e f g ' idY . Tomemos um ponto base x0 X e faamos y0 = f (x0 ), x1 = g(y0 )
e y1 = f (x1 ).
Sejam f]0 : 1 (X, x0 ) 1 (Y, y0 ), f]1 : 1 (X, x1 ) 1 (Y, y1 ) e g] : 1 (Y, y0 )
1 (X, x1 ) homomorfismos induzidos por f e g respectivamente.
Da homotopia g f ' idX , conclumos, pelo Corolrio 3.2 da Proposio 3.3,
que g] f]0 = : 1 (X, x0 ) 1 (X, x1 ), onde o isomorfismo definido na
Proposio 3.1, a partir da classe de homotopia de um caminho em X, ligando
x1 a x0 . Analogamente, de f g ' idY , conclumos que f]1 g] = : 1 (Y, y0 )
1 (Y, y1 ), onde o isomorfismo de conjugao pela classe de homotopia de
um caminho em Y , ligando y1 a y0 .
Com estas relaes, obtemos a comutatividade do diagrama abaixo:
Figura 3.5: Diagrama
30
Dos isomorfismos g] f]0 = e f]1 g] = , conclumos que g] sobrejetivo e

injetivo respectivamente. Logo, g] um isomorfismo e, portanto, f]0 e f]1 tambm
so isomorfismos. Em particular, 1 (X, x0 ) e 1 (Y, y0 ) 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 homomorfismo induzido
f] : 1 (X, x0 ) 1 (Y, y0 ), com y0 = f (x0 ), um isomorfismo.
3.2 Espaos simplesmente conexos

Um espao topolgico X dito simplesmente conexo quando conexo por
caminhos e, para todo x0 X, tem-se 1 (X, x0 ) = {0}, isto , 1 (X, x0 ) o
grupo trivial (formado por um elemento).
Em outras palavras, para todo caminho fechado a : I X, com base em x0 ,
temos que a
= ex . Ou ainda, equivalentemente, X conexo por caminhos e todo
0
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 fixas so homotpicos.
Demonstrao: Sejam a, b : I X dois caminhos de x0 para x1 . Ento, ab1

est definido e um caminho fechado com base em x0 . Como, por hiptese, X
simplesmente conexo, a b1 homotpico ao caminho fechado constante em x0 ,
isto , a b1
= ex0 . Ento, a
= (a b1 ) b
= ex0 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
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
= a1 ;
se for trivial, ento b
= constante.
Demonstrao: Pelo exemplo 2.5, dois caminhos em I so homotpicos (com

extremidades fixas) se, e somente se, tm a mesma origem e o mesmo fim. 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 = a1 ou a
= constante
respectivamente.
Corolrio 3.4. Dados um caminho a : I X e pontos 0 = s0 < s1 < <

sk = 1, seja, para cada i = 1, , k, ai : I X o caminho parcial, definido por
ai = (a|[si1 , si ])i , onde i : I [si1 , si ] o homeomorfismo linear crescente.
Ento, fazendo b = a1 a2 ak , temos b = a.
Lema 3.1. Seja a : I S n um caminho tal que a(I) 6= S n . Ento, a

= ex0 ,
se a(0) = a(1) = x0 , e a
= c, onde c : I S n um caminho injetivo, se
a(0) 6= a(1).
Demonstrao: Como a(I) 6= S n , existe p S n a(I). Seja : S n {p} Rn

a projeo estereogrfica. Ento, como Rn simplesmente conexo, a : I Rn
homotpico (com extremos fixos) 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 homeomorfismo 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 homeomorfismo 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 fixos) a um

caminho b : I S n tal que b(I) 6= S n .
Demonstrao: Devido a continuidade uniforme de a, podemos obter pontos

0 = s0 < s1 < < sk = 1 de tal forma que, tomando Ii = [si1 , si ], tenhamos
32
a(Ii ) 6= S n para todo i = 1, , k. Pelo Corolrio 3.4, temos a

= a1 a2 ak ,
onde cada ai : I S n uma reparametrizao de a|Ii , com ai (I) = a(Ii ). Pelos
lemas anteriores, temos ai
= bi , onde a imagem bi (I) um fechado com interior
vazio em S n . Fazendo b = b1 b2 bk , temos que
a
= a1 a2 ak
= b1 b2 bk = b
e a imagem b(I) = b1 (I) bk (I) uma reunio finita de fechados com

interior vazio em S n . Segue, ento, que b(I) tem interior vazio. Em particular,
b(I) 6= 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, (x0 , y0 )) 1 (X, x0 ) 1 (Y, y0 ), dado por () = (p] (), q] ())
um isomorfismo.
Demonstrao: Um caminho fechado c : I X Y , com base no ponto

(x0 , y0 ), tem a forma c(s) = (a(s), b(s)), onde a = p c um caminho fechado
em X, com base em x0 , e b = q c fechado com base em y0 Y . Dado,
tambm, c0 : I X Y , com c0 (s) = (a0 (s), b0 (s)), temos c
= c0 se, e somente se,
a= a0 e b
= b0 . De fato, uma homotopia de caminhos H entre c e c0 tem a forma
H(s, t) = (F (s, t), G(s, t)), onde F e G so homotopias de caminhos entre a e a0 ,
b e b0 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 infinito cclico e, portanto, existe um isomorfismo 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 ,
definida por
(t) = eit = (cos(t), sen(t)).
Tal contnua e sobrejetora, alm de ser um homomorfismo do grupo aditivo

R para o grupo multiplicativo S 1 (nmeros complexos mdulo 1), pois ei(s+t) =
(cos(s + t), sen(s + t)) = eis eit . 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 )) =
1
S
nZ (U + 2n) aberto em R; logo, seu complementar (F ) fechado em R.
34
CAPTULO 4. EXEMPLOS E APLICAES
Note que, para cada x R, existe x0 [0, 2] tal que (x0 ) = (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 homeomorfismo 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 In = (t + (2n 1), t + (2n + 1)), n Z, cada um dos quais aplicado
homeomorficamente por sobre V .
Seja a : J R2 , com J = [s0 , s1 ], 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 .
: J R tal que a(s) =
Uma funo-ngulo para o caminho a uma funo a
(cos( a(s))) para todo s J. Como (s) = (cos(s), sen(s)) = eis , temos
a(s)), sen(
uma funo-ngulo para o caminho a se, e somente se, a = a
que a .
Proposio 4.2. Dados um intervalo J = [s0 , s1 ], uma funo contnua a : J

S 1 e um nmero real t0 com a(s0 ) = eit0 , existe uma nica funo contnua
: J R tal que a(s) = eia(s) para todo s J (isto , a = a
a ) e a
(s0 ) = t0 .
Demonstrao: Inicialmente, temos que o resultado vlido no caso em que

a(J) S {y}, para algum y S 1 , e assim, como a(s0 ) 6= y, existe um nico
1
x 1 (y) tal que t0 (x, x+2). Ento, x = |(x, x+2) um homeomorfismo

= x1 a, obtemos a funo desejada.
sobre S 1 {y} e, fazendo a
Suponhamos, agora, que J = J1 J2 seja reunio de dois intervalos compactos
com um extremo s em comum, e que a proposio seja vlida para as restries
a1 = a|J1 e a2 = a|J2 . Escolhemos a1 : J1 R de modo que a1 (s0 ) = t0
e a1 = a1 . Em seguida, escolhemos a2 : J2 R tal que a2 = a2 e
a1 (s ) = a2 (s ), o que possvel, visto que (a1 (s )) = a1 (s ) = a2 (s ).
: J R fazendo a
Finalmente, definimos a |J1 = a1 e a
|J2 = a2 .
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 = J1 Jk como reunio de intervalos justapostos,
de forma que a(Ji ) 6= S 1 para todo i = 1, 2, , k.
35
Quanto a unicidade, devemos observar que se a : J R so funes cont-

, a
nuas tais que eia(s) = eia(s) para todo s J, ento
(s) a
a (s)
f (s) = ,
2
para todo s J, um inteiro que depende continuamente de s. Segue, ento,
que f (s) constante. Particularmente, se a
(s0 ) = a
(s0 ), ento a
=a
.

Fixado t0 com a(s0 ) = (t0 ) e obtida uma funo-ngulo a
com a
(s0 ) = t0 , as
demais funes-ngulo para a, que devem ter incio nos pontos t0 + 2k, k Z,
0 (s) = a
tm a forma a (s) + 2k. Alm disso, se a : I S 1 um caminho fechado,
: I R para a deve ser tal que o nmero
toda funo-ngulo a
(1) a
a (0)
n(a) =
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 significa 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-
(1) a
rena 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 definirmos 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
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) = eis0 e b(0) = eit0 , podemos supor que |s0 t0 | < . Tomemos
funes-ngulo a , b com a
(0) = s0 e b(0) = t0 . Como a(s) e b(s) nunca so
antpodas,
devemos ter a (s) b(s)
6= 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 t0 | < |H(s, t) H(s, t0 )| < 2 para todo s I. Sejam
0 = t0 < t1 < < tk = 1 tais que ti+1 ti < e definamos caminhos
fechados a0 = a, a1 , , ak = b em S 1 , fazendo ai (s) = H(s, ti ). Ento,
|ai (s) ai+1 (s)| < 2 para todo t I. Isto implica que n(a) = n(a1 ) = =
n(ak1 ) = n(b).
, b : I R funes-ngulo para a e b respectivamente. A hiptese

3. Sejam a
(0) = b(1) b(0). Definamos uma homoto-
(1) a
n(a) = n(b), garante que a
e b, pondo H(s, t) = (1 t)
pia H : I I R, entre a 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 s0 R tal que (s0 ) = p. O caminho fechado a : I S 1 , dado por

a(s) = (cos(s0 + 2ks), sen(s0 + 2ks)), tem base no ponto p e admite a
(s) = s0 + 2k s. Logo, n(s) = [
funo-ngulo a a(1) a
(0)]/2 = k.

1
Como mencionamos no incio da seo, nosso objetivo mostrar que 1 (S )
Z. Neste momento, baseados nas consideraes apresentadas acima, somos capa-
zes de comprovar a existncia de tal isomorfismo, atravs da proposio a seguir.
Proposio 4.4. O grupo fundamental do crculo S 1 isomorfo ao grupo aditivo

Z dos inteiros.
37
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
homomorfismo; pelo item 3, n injetivo; e pelo item 4, n sobrejetivo. Logo, n
um isomorfismo 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 significa 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 figura abaixo homotpico a a + 3b.
Figura 4.1: Toro
Corolrio 4.3. O cilindro C = S 1 R tem grupo fundamental cclico infinito.
De fato, C tem o mesmo tipo de homotopia que o crculo S 1 . Um gerador

de 1 (C) o crculo central a(s) = (eis , 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
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) R2 ; x2 + y 2 r e

Y = (x, y) R2 ; r1 x2 + y 2 r2 ,

com r, r1 e r2 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 = [s0 , s1 ].
Sejam p um ponto do plano R2 e c : J R2 {p} um caminho plano cuja
imagem no contm o ponto p. Existe uma funo contnua c : J R tal que
c(s) = p + (s)eic(s) , para todo s J, onde (s) = |c(s) p|. A funo c uma
funo-ngulo do caminho
c(s) p
s 7
|c(s) p|
em S 1 .
39
Suponhamos, agora, que o caminho c seja fechado, isto , c(s0 ) = c(s1 ). Ento,
para toda funo-ngulo c, a diferena c(s1 ) c(s0 ) um mltiplo inteiro de 2,
o qual no depende da escolha de c.
O nmero de voltas que o caminho fechado c : J R2 {p} d em torno do
ponto p o nmero inteiro
c(s1 ) c(s0 )
n(c, p) = .
2
Em outras palavras, n(c, p) o grau do caminho a : J S 1 , definido por
c(s) p
a(s) = .
|c(s) p|
A proposio seguinte resume algumas das principais propriedades do inteiro
n(c, p).
Proposio 4.5.
1. Seja c : [s0 , s2 ] R2 {p} um caminho tal que c(s0 ) = c(s1 ) = c(s2 ),

onde s0 < s1 < s2 . Tomemos c1 = c|[s0 , s1 ] e c2 = c|[s1 , s2 ]. Ento,
n(c, p) = n(c1 , p) + n(c2 , p).
2. Os caminhos fechados c, c0 : [s0 , s1 ] R2 {p} so livremente homotpicos

se, e somente se, n(c, p) = n(c0 , 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 fixo) constante em cada
componente conexa de R2 c(J).
4. Dado o caminho fechado c : [s0 , s1 ] R2 {p}, sejam , : [t0 , t1 ] [s0 , s1 ]

funes contnuas tais que (t0 ) = (t1 ) = s0 e (t1 ) = (t0 ) = s1 . Ento,
n(c , p) = n(c, p) = n(c , p).
5. Para todo k Z e todo p R2 , o caminho fechado c : [0, 2] R2 {p},

dado por c(s) = p + eiks , cumpre n(c, p) = k.
6. Sejam c, c0 : J R2 {p} caminhos fechados tais que, para todo s J, o

segmento de reta [c(s), c0 (s)] no contm o ponto p. Ento, n(c, p) = n(c0 , p).
7. Sejam c, c0 : J R2 {0} caminhos fechados. Se |c(s) c0 (s)| < |c(s)|

para todo s J, ento n(c, 0) = n(c0 , 0). (Rouch)
Demonstrao:
40
1. Seja c : [s0 , s2 ] R uma funo-ngulo para c. Ento, as restries c1 =

c|[s0 , s1 ] e c2 = c|[s1 , s2 ] so funes-ngulo para c1 e c2 respectivamente.
Disto, segue o resultado.
2. Como a aplicao hp : R2 {p} S 1 , dada por
zp
hp (z) = ,
|z p|
uma equivalncia homotpica e (hp c)(s) = eic(s) , temos n(c, p) = n(hp c).
Logo, c
= c0 hp c
= hp c0 n(hp c) = n(hp c0 ) n(c, p) = n(c0 , p).
3. Seja a : I R2 c(J) um caminho tal que a(0) = p e a(1) = q. Definamos

H : J I S 1 por
c(s) a(t)
H(s, t) = .
|c(s) a(t)|
Ento, baseados na notao do item anterior, temos H(s, 0) = hp c e

H(s, 1) = hq c para todo s J. Logo, H uma homotopia livre entre os
caminhos fechados hp c, hq c : J S 1 . Segue que n(c, p) = n(hp c) =
n(hq 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) = a0 + a1 z + + ak 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
cr : [0, 2] C {0} o caminho fechado definido por cr (s) = p(r eis ), nosso
objetivo determinar n(cr , 0). Em geral, este nmero depende de r, pois, supondo
o polinmio p fixado, para cada r > 0 tal que p no possui raiz de mdulo r, o
nmero n(cr , 0) igual ao nmero de razes de p com mdulo menor do que r,
41
contadas de acordo com suas multiplicidades. Todavia, provaremos apenas que,

para todo r suficientemente grande, vale n(cr , 0) = k.
Quando o polinmio p(z) = ak z k se reduz a um monmio, a afirmao acima
fica evidente. No caso geral, podemos escrever p(z) = ak z k + q(z), onde q(z)
um polinmio de grau k 1. Assim,
p(z) ak z k = ak z k f (z), com f (z) = q(z) ,

ak z k
e, portanto,
lim f (z) = 0.
|z|
Logo, existe um nmero real positivo r0 tal que

|z| = r > r0 p(z) ak z k < ak z k .
Segue, ento, do Teorema de Rouch, que o caminho fechado cr d k voltas

em torno da origem para todo r > r0 .
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) 6= 0 para todo z C. Ento, cr : [0, 2]
C {0} est definido para todo r 0. Note que, para quaisquer r, r0 reais no-
negativos temos cr ' cr0 , atravs da homotopia H(s, t) = p(((1 t)r + tr0 )eis ).
Portanto, n(cr , 0) no depende de r. Ora, n(c0 , 0) = 0, pois c0 constante.
Contudo, como visto anteriormente, n(cr , 0) = k para r suficiente 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 R2 uma expresso do
tipo
= f dx + 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
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 = [t0 , t1 ], substituiremos dx por x0 (t)dt e dy
por y 0 (t)dt.
2. Dizemos que = f dx + gdy e 1 = f1 dx + g1 dy, definidas no mesmo aberto

U R2 , so iguais quando f = f1 e g = g1 .
3. A soma das formas e 1 , como definidas no item anterior, a forma

+ 1 = (f + f1 )dx + (g + g1 )dy.
4. O produto da forma pela funo h : U R a forma h = hf dx+hgdy.

No multiplicaremos duas formas diferenciais.
5. Dada a forma em U , se existir : U R, de classe C 2 , tal que

= d = dx + dy,
x y
diremos que uma forma exata.
Sejam = f dx+gdy uma forma diferencial no aberto U R2 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 = [t0 , t1 ].
A integral (curvilnea) da forma ao longo do caminho c definida por
Z Z t1
= [f (x(t), y(t)) x0 (t) + g(x(t), y(t)) y 0 (t)]dt.
c t0
Propriedades. Dados uma forma diferencial num aberto U R2 e um

caminho c : J U , de classe C 1 , onde J = [t0 , t1 ], tem-se:
1. Seja J = J1 J2 reunio de dois intervalos compactos com um extremo em

comum. Fazendo c1 = c|J1 e c2 = c|J2 , temos
Z Z Z
= + .
c c1 c2
2. Sejam , : [s0 , s1 ] [t0 , t1 ] funes de classe C 1 , com (s0 ) = (s1 ) = t0

e (s1 ) = (s0 ) = t1 . Ento,
Z Z Z Z
= e = .
c c c c
O caminho c ser representado por c.
43
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
d 0 0
( c)0 (t) = (x(t), y(t)) = x + y.
dt x y
Segue, ento, que
Z Z Z t1
0 0
= d = x + y dt =
c c t0 x y
Z t1
= ( c)0 (t)dt = (c(t1 )) (c(t0 )).
t0
R
Particularmente, temos que, se = d uma forma exata, a integral c
R
depende apenas dos extremos c(t0 ) e c(t1 ). Isto , c = 0 para todo caminho
fechado c em U .
Uma forma diferencial = f dx + gdy, em um aberto U R2 , chama-se
fechada quando, em U ,
f g
= .
y x
Por exemplo, se exata, digamos = d, ento

f= e g= ;
x y
logo,
f 2 2 g
= = = .
y yx xy x
Portanto, toda forma exata fechada. Todavia, a recproca no verdadeira;
isto , nem toda forma fechada exata. Vejamos:
Consideremos no aberto U = R2 {0} a forma diferencial
y x
= dx + dy.
x2 + y 2 x2 + y 2
Temos, ento,
y x
f= e g= .
x2 + y2 x2 + y2
Logo,
f g y 2 x2
= = 2 .
y x (x + y 2 )2
44
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 = J1 J2 Jk , onde cada Ji um intervalo compacto que tem exatamente
um ponto em comum (um extremo) com Ji+1 e, tomando ci = c|Ji , i = 1, , k,
cada ci de classe C 1 ), contido em U , seria 0; o que no ocorre, segundo a
proposio abaixo.
Proposio 4.6. Seja c : J R2 {0} um caminho fechado, de classe C 1 por

partes. Ento,
y
Z
1 x
n(c, 0) = , onde = dx + dy.
2 c x2 + y 2 x2 + y 2
Demonstrao: Suponha que c(t) = (x(t), y(t)) seja de classe C 1 em todo J.

c(t)
Seja : J R uma funo-ngulo para c, isto , a funo-ngulo da curva .
|c(t)|
Temos que x = cos() e y = sen(), onde 2 = x2 + y 2 e x, y, e so as
abreviaes de x(t), y(t), (t) e (t) respectivamente. Derivando, temos
x0 = 0 cos() sen() 0
y 0 = 0 sen() + cos() 0
Substituindo,
s1
y
Z Z
0 x 0
= x + 2 y dt =
c x2 + y 2 x + y2
Zs0s1
= 0 (t)dt = (s1 ) (s0 ) = 2 n(c, 0).
s0
No caso geral, temos uma partio P = {s0 = t0 < t1 < < tk = s1 } tal que,
para cada i = 1, , k, as restries ci = c|[ti1 , ti ] e |[ti1 , ti ] so de classe C 1 .
Ento,
Z k Z
X k
X
= = [(ti ) (ti1 )] = (s1 ) (s0 ).
c i=1 ci i=1
Como o caminho c fechado, (s1 ) (s0 ) um mltiplo inteiro de 2. Logo,

Z
= 2 n(c, 0).
c
Observao 4.1. A forma diferencial , definida em R2 {0}, chamada o

elemento de ngulo no plano.
45
A proposio acima representa o nmero de voltas de um caminho C 1 por

partes em torno da origem em R2 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 R2 {0}, de classe C 1 por partes, d em torno da origem tambm
pode ser expresso atravs de uma integral complexa:
Z
1 dz
n(c, 0) = , com z C.
2i c z
De fato, na integral acima, temos
1 1 x iy
dz = dx + idy e = = 2
z x + iy x + y2
Logo,
dz (x iy)(dx + idy)
= = 1 + i2 ,
z x2 + y 2
onde
x y
1 = dx + dy
x2 + y 2 x2 + y 2
y x
2 = dx + 2 dy.
x2
+y 2 x + y2
p R
Mas 1 = d(log x2 + y 2 ) uma forma exata em R2 {0} e, portanto, c
1 =
0 para todo caminho fechado c, de classe C 1 por partes em R2 {0}.
Por outro lado, 2 o elemento de ngulo no plano; logo,
Z Z
dz
= i 2 = 2i n(c, 0).
c z c
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
Bibliografia
[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 first 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

O Grupo Fundamental PDF

Enviado por

Dados do documento

Descrição original:

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

O Grupo Fundamental PDF

Enviado por

Direitos autorais:

Formatos disponíveis

UNIVERSIDADE FEDERAL DE SO CARLOS

Centro de Cincias Exatas e de Tecnologia

Trabalho de Concluso de Curso B

Aluna: Las Alegria dos Santos.

Aluna: Las Alegria dos Santos - RA: 299871

Orientador: Prof. Dr. Joo Nivaldo Tomazella

Disciplina: Trabalho de Concluso de Curso B

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.

Este relatrio o fechamento do projeto desenvolvido durante o segundo se-

Palavras-chave: Homotopia e grupo fundamental.

1.1 Espao de Hausdorff X . . . . . . . . . . . . . . . . . . . . . . . . 12

2.1 Quando 0 pertence ao segmento [f (x), g(x)]. . . . . . . . . . . . . 14

A noo de grupo fundamental, conhecida e utilizada atualmente, deve-se a

Inicialmente, destacaremos alguns conceitos topolgicos que nos acompanha-

Definio 1.1. Um espao topolgico X um conjunto onde faz-se uma escolha

2. Se A1 , ..., An , ento A1 ... An ;

3. Dada uma famlia arbitrria (A )L , com A para cada L, tem-se

O espao topolgico em questo o par (X, ) e cada elemento de dito

Exemplo 1.1. Dado um conjunto X qualquer, temos duas topologias extremas:

Exemplo 1.2. Todo espao mtrico um espao topolgico.

Exemplo 1.3. Se (X, ) e (Y, ) so espaos topolgicos, ento X Y um

A noo de continuidade em espaos topolgicos pode ser expressa atravs de

Definio 1.2. Sejam (X, ) e (Y, ) espaos topolgicos. Uma funo f : X

Em outras palavras, uma funo contnua se a imagem inversa de um aberto

Definio 1.3. Sejam X e Y dois espaos topolgicos. Se f : X Y uma

Definio 1.4. Um espao topolgico X conexo se no existem A X e

A idia de conexidade pode ser expressa, tambm, por meio de caminhos

Definio 1.5. Um caminho num espao topolgico X uma aplicao contnua

Definio 1.7. Seja X um espao topolgico. Um conjunto M X diz-se con-

Em Rn , diz-se que um conjunto A compacto se fechado e limitado. Em

Definio 1.8. Seja X um conjunto. Seja {A }L uma famlia de subconjuntos

Definio 1.9. Seja (X, ) um espao topolgico. Uma cobertura de X, {A }L ,

Definio 1.10. Seja X um conjunto. Seja {A }L uma cobertura de X. Uma

Note que, a partir da definio acima, a prpria cobertura uma subcobertura.

A partir das definies acima, podemos definir compacidade para espaos

Exemplo 1.5. Seja (X, ) um espao topolgico finito qualquer. Ento, X

de X e, alm disso, finita. Tomando como subcobertura a prpria cobertura,

Apresentaremos, a seguir, alguns resultados referentes compacidade.

Teorema 1.1. A imagem de um conjunto compacto por uma aplicao contnua

Definio 1.12. Um espao topolgico X chama-se um espao de Hausdorff

Figura 1.1: Espao de Hausdorff X

Teorema 1.2. Seja X um espao de Hausdorff. Todo subconjunto compacto

Definio 1.13. Sejam (X, dX ), (Y, dY ) espaos mtricos. Uma aplicao f :

Teorema 1.3. Seja f : (X, dX ) (Y, dY ), com X compacto. Se f contnua,

Seja E um espao vetorial (real ou complexo). Nele, possvel definir a noo

Definio 1.14. Uma norma em E uma funo k k : E [0, ) que satisfaz:

2. kxk = || kxk , x E, escalar (real ou complexo);

Um espao vetorial normado um par (E, k k), onde E um espao vetorial e

Exemplo 1.6. Considerando x = (x1 , , xn ) Rn , temos os seguintes espaos

Para encerrar este captulo, recordaremos o homomorfismo de grupos.

Definio 1.15. Sejam (G, ) e (G0 , ) grupos. Uma aplicao f : G G0 um

Dizemos que f um isomorfismo se f um homomorfismo bijetor.

Neste captulo, trataremos de noes bsicas sobre homotopia, as quais sero

2.1 Aplicaes Homotpicas

Se f ' g e g uma aplicao constante, dizemos que f homotopicamente

Exemplo 2.1. Seja Y E, onde E um espao vetorial normado. Dadas

(1 t)f (x) + tg(x), obtemos uma homotopia H : X I Y entre f e g, a qual

|f (x) g(x)| = |f (x)| + |g(x)| |f (x)|,