Introducao Topologia Algebrica

INTRODUC
AO
`
A TOPOLOGIA
ALG
EBRICA
Mauricio A. Vilches
Departamento de An alise - IME
UERJ
2
Copyright by Mauricio A. Vilches
Todos os direitos reservados
Proibida a reproduc ao parcial ou total
3
PREF

ACIO
Um dos problemas b asicos da Topologia e saber se dois es-
pacos s ao homeomorfos ou n ao. Na verdade n ao existem
m etodos gerais para resolver esta quest ao. Vericar se dois
espacos s ao homeomorfos consiste emencontrar uma func ao
contnua, bijetiva com inversa contnua, entre ambos os es-
pacos. Agora provar que dois espacos n ao s ao homeomor-
fos e muito mais complicado pois e necess ario provar que
n ao existe nenhuma func ao contnua, bijetiva com inversa
contnua, entre ambos os espacos.
A Topologia Alg ebrica naceu nas ultimas d ecadas do s eculo
XIX, quando no ano de 1894 o eminente matem atico franc es
Henri Poincar e apresentou uma s erie de trabalhos onde fun-
damentou a Topologia Alg ebrica, com o nome de Analisys
Situs. Dentre as descobertas de Poincar e, destacam-se os
conceitos de homotopia e de grupo fundamental, al em de
alguns teoremas, muitos dos quais somente foram provados
muitos anos depois (1931), essencialmente por de de Rham.
Poincar e, entendeu que existia uma profunda relac ao entre
a estrutura topol ogica de um espaco e seu grupo fundamen-
tal. Ele, entre outras coisas, tentava estabelecer quando duas
superfcies s ao homeomorfas ou n ao.
A id eia fundamental da Topologia Alg ebrica e associar, de
forma unvoca a espacos e propriedades topol ogicas, estru-
turas e propriedades alg ebricas. A vantagem deste trata-
mento e a riqueza que possui a

Algebra, obtida atrav es de
mil enios, o que n ao acontece com a Topologia. Por exemplo,
4
nos espacos topol ogicos, os seus elementos n ao podem ser
somados, j a a soma de grupos e um grupo.
Nestas notas, que s ao introdut orias, associaremos a espacos
topol ogicos, func oes contnuas e homeomorsmos, grupos,
homomorsmos de grupos e isomorsmos de grupos de tal
forma que estudando as propriedades alg ebricas possamos
extrair consequ encias sobre a geometria e a topologia do
espaco em quest ao. Por exemplo, e posvel provar que o
toro e a garrafa de Klein n ao s ao homeomorfas, pois seus
grupos fundamentais n ao s ao isomorfos. J a provar que S
2
e
S
3
n ao s ao homemorfas e muito mais difcil e com os con-
ceitos estudados nestas notas n ao ser a possvel provar este
fato.
Nestas notas, exigiremos conhecimentos de Topologia Ge-
ral e o mnimo em relac ao aos conhecimentos de

Algebra.
Devido a isto, deixamos de fora o teorema de Seifert-Van
Kampen, um cl assico da Topologia Alg ebrica, pois envolve
conhecimento de grupos livres e representac ao de grupos li-
vres.
Desejo agradecer ao meu aluno Andr e T. Machado pela mo-
tivac ao de fazer estas notas e de forma muito especial a mi-
nha colega professora Maria Luiza Corr ea pela leitura ri-
gorosa dos mauscritos, al em dos in umeros coment arios e
observac oes, os quais permitiram dar clareza aos t opicos es-
tudados.
Mauricio A. Vilches
Rio de Janeiro
Conte udo
1 HOMOTOPIA 7
1.1 Introduc ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.2 Propriedades das Homotopias . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.3 Homotopia e Campos de Vetores na Esfera . . . . . . . . . . . . . . . . . 10
1.4 Homotopia Relativa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.5 Tipo de Homotopia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.6 Exemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.7 Espacos Contr ateis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
1.8 Retratos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
1.9 Homotopia e Extens ao de Func oes . . . . . . . . . . . . . . . . . . . . . . 23
1.10 Homotopia de Caminhos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
1.11 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
2 GRUPO FUNDAMENTAL 31
2.1 Introduc ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
2.2 Mudanca do Ponto Base . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
2.3 Grupos de Homotopias Abelianos . . . . . . . . . . . . . . . . . . . . . . 41
2.4 Homomorsmo Induzido . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
2.5 Espacos Simplesmente Conexos . . . . . . . . . . . . . . . . . . . . . . . . 48
2.6 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
3 GRUPO FUNDAMENTAL DO C
IRCULO 53
3.1 Introduc ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
3.2 C alculo do Grupo Fundamental do Crculo . . . . . . . . . . . . . . . . . 57
3.3 Algumas Consequ encias do Isomorsmo . . . . . . . . . . . . . . . . . . 59
3.4 Grupo Fundamental do Espaco Projetivo Real . . . . . . . . . . . . . . . 63
3.4.1 Introduc ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
3.4.2 C alculo do Grupo Fundamental de RP
n
. . . . . . . . . . . . . . . 65
3.5 Grupo Fundamental de Grupos Ortogonais . . . . . . . . . . . . . . . . . 66
3.5.1 Introduc ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66
3.5.2 Estudo do grupo SO(3) . . . . . . . . . . . . . . . . . . . . . . . . 67
3.5.3 C alculo do Grupo Fundamental de SO(3) . . . . . . . . . . . . . . 69
5
6 CONTE

UDO
4 ESPAC OS DE RECOBRIMENTOS 73
4.1 Introduc ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
4.2 Recobrimentos de G-espacos . . . . . . . . . . . . . . . . . . . . . . . . . 79
4.3 Generalizac oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82
4.4 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85
5 RECOBRIMENTO E GRUPO FUNDAMENTAL 87
5.1 Crit erio Geral de Levantamento . . . . . . . . . . . . . . . . . . . . . . . . 89
5.2 Grupo Fundamental e G-espacos . . . . . . . . . . . . . . . . . . . . . . . 93
5.3 Transformac oes de Recobrimentos . . . . . . . . . . . . . . . . . . . . . . 96
5.4 Aplicac oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 106
5.5 Recobrimentos de S
n
, (n > 1) . . . . . . . . . . . . . . . . . . . . . . . . . 108
5.6 Recobrimentos dos Espacos Lenticulares . . . . . . . . . . . . . . . . . . . 109
5.7 Recobrimentos do Espaco Projetivo Real . . . . . . . . . . . . . . . . . . . 109
5.8 Recobrimentos do Crculo . . . . . . . . . . . . . . . . . . . . . . . . . . . 110
5.9 Recobrimentos do Toro . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 111
5.10 Recobrimentos da Faixa de M oebius . . . . . . . . . . . . . . . . . . . . . 116
5.11 Recobrimentos da Garrafa de Klein . . . . . . . . . . . . . . . . . . . . . . 119
5.12 Ac ao do Grupo fundamental sobre as Fibras . . . . . . . . . . . . . . . . 121
5.13 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 123
6 TEOREMA DE SEIFERT - VAN KAMPEN 125
6.1 Introduc ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 125
6.2 Grupos Livres . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 126
6.3 Produto Livre de Grupos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 128
6.4 Produto Amalgamado de Grupos . . . . . . . . . . . . . . . . . . . . . . . 130
6.5 Teorema de Seifert-Van Kampen . . . . . . . . . . . . . . . . . . . . . . . 131
6.6 Representac oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 133
6.7 Primeiras Aplicac oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 134
6.8 Segunda Aplicac ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 141
6.9 Soma Conexa de Superfcies . . . . . . . . . . . . . . . . . . . . . . . . . . 142
6.10 Grupo Fundamental de uma Superfcie Compacta . . . . . . . . . . . . . 150
Bibliograa 153
Cap tulo 1
HOMOTOPIA
1.1 Introdu c ao
Nos captulos seguintes, X e Y s ao espacos topol ogicos; I = [0, 1] R com a topologia
induzida pela topologia usual de R e todas as func oes consideradas s ao contnuas.
Deni c ao 1.1. f e g s ao ditas homot opicas se existe uma fun c ao contnua:
H : X I Y tal que
H(x, 0) = f(x),
H(x, 1) = g(x)
para todo x X.
A func ao H e dita homotopia entre f e g. A notac ao que se usa para indicar que f e
homot opica a g e:
H : f g.
A homotopia entre f e g e uma famlia a um par ametro de func oes contnuas entre X
e Y , isto e, para cada t I:
f
t
: X Y
e contnua, onde f
t
(x) = H(x, t). Intuitivamente, a homotopia deformacontinuamente
f em g.
Exemplo 1.1.
[1] Sejam X = a, Y = a, b com a topologia discreta e f, g : X Y denidas por
f(a) = a e g(a) = b; ent ao f n ao e homot opica a g.
[2] Sejam f, g : R R
2
denidas por f(x) = (x, x
2
) e g(x) = (x, x); logo f g.
De fato, denamos a seguinte homotopia:
7
8 CAP
ITULO 1. HOMOTOPIA
H : R I R
2
H(x, t) = (x, x
2
t x
2
+ t x).
Claramente, H e contnua, H(x, 0) = f(x) e H(x, 1) = g(x) para todo x R. Logo:
f g.
Figura 1.1: Homotopia entre f e g
1.2 Propriedades das Homotopias
[1] Sejam f, g : X Y tais que f(x) = y
0
e g(x) = y
1
para todo x X; ent ao, n ao
necessariamente, temos que f g. De fato, f g se, e somente se y
0
e y
1
pertencem ` a
mesma componente conexa por caminhos.
() Denotemos H : f g; ent ao : I Y denida por (t) = H(x, t) e um caminho
tal que (0) = y
0
e (1) = y
1
.
() Seja : I Y um caminho ligando y
0
a y
1
; denamos a seguinte homotopia:
H :X I Y
(x, t) (t).
Ent ao H(x, 0) = (0) = y
0
e H(x, 1) = (1) = y
1
; logo H : f g.
[2] Consideremos : I X um caminho; ent ao c
0
, onde c
0
e o caminho cons-
tante, denido por c
0
(t) = (0) para todo t I. De fato, consideremos:
H :I I X
(t, s)
_
(1 s) t
_
.
1.2. PROPRIEDADES DAS HOMOTOPIAS 9
Logo, H e contnua e H(t, 0) = (t) e H(t, 1) = (0) = c
0
(t).
[3] Se f : R
n
X e contnua, ent ao f c
0
, onde c
0
(x) = f(0) para todo x R
n
. De
fato, consideremos:
H :R
n
I X
(x, t) f
_
(1 t) x
_
.
Logo, H e contnua; H(x, 0) = f(x) e H(x, 1) = f(0) = c
0
(x).
[4] Sejam f, g : X R
n
contnuas; ent ao f g. De fato, consideremos:
H :X I R
n
(x, t) (1 t) f(x) + t g(x).
Logo, H e contnua, H(x, 0) = f(x) e H(x, 1) = g(x). Em geral, se E e um espaco
vetorial normado e f, g : X E s ao contnuas, ent ao f g. De fato, podemos
denir a homotopia:
H :X I E
(x, t) (1 t) f(x) + t g(x).
Esta homotopia e dita linear. A propriedade f g ainda e v alida se substituirmos E
por um subconjunto convexo C de E.
[5] (Poincar e -Bohl) Sejam E um espaco vetorial normado e
f, g : X E 0
contnuas tais que |f(x) g(x)| < |f(x)|, para todo x X; ent ao f g.
De fato, notemos que a origem n ao pertence ao segmento de reta f(x)g(x); caso contr ario,
poderamos ter:
|f(x) g(x)| = |f(x)| +|g(x)| > |f(x)|;
logo, consideramos a homotopia linear H(x, t) = (1 t) f(x) +t g(x), para todo (x, t)
X I.
[6] Denotemos por C
_
X, Y
_
o conjunto de todas as func oes f : X Y contnuas. Ser
homot opica e uma relac ao de equival encia em C
_
X, Y
_
.
A unica propriedade que n ao e imediata e a transitiva. Sejam H : f g e K : g h
as respectivas homotopias; devemos provar que existe Q : f h. Denamos Q :
X I Y por:
10 CAP
ITULO 1. HOMOTOPIA
Q(x, t) =
_
H(x, 2 t) se 0 t 1/2
K(x, 2 t 1) se 1/2 t 1.
Q e contnua, Q(x, 0) = H(x, 0) = f(x) e Q(x, 1) = K(x, 1) = h(x), para todo x X.
[7] Sejam f
0
, f
1
C
_
X, Y
_
e g
0
, g
1
C
_
Y, Z
_
tais que f
0
f
1
e g
0
g
1
. Ent ao
g
0
f
0
g
1
f
1
,
isto e, a composic ao de func oes preserva as homotopias.
Novamente, sejam H : f
0
f
1
e K : g
0
g
1
as respectivas homotopias; ent ao dena-
mos Q : X I Z por:
Q(x, t) = K(H(x, t), t).
Q e contnua e para todo x X, temos que:
Q(x, 0) = K(H(x, 0), 0) = K(f
0
(x), 0) =
_
g
0
f
0
_
(x),
Q(x, 1) = K(H(x, 1), 1) = K(f
1
(x), 1) =
_
g
1
f
1
_
(x).
1.3 Homotopia e Campos de Vetores na Esfera
Seja S
n
= x R
n+1
/ |x| = 1 a esfera unit aria com a topologia induzida pela topolo-
gia usual de R
n+1
. Denotemos por:
a :S
n
S
n
x x.
A func ao a e dita antpoda.
Proposi c ao 1.1. Sejam f, g : S
n
S
n
contnuas tais que f(x) ,= g(x), para todo x S
n
;
ent ao f g.
Consideremos a homotopia:
H(x, t) =
(1 t) f(x) + t g(x)
|(1 t) f(x) + t g(x)|
.
H e bem denida e contnua pois f(x) ,= g(x), para todo x S
n
, o que equivale
ao segmento de reta f(x)g(x) n ao conter a origem. Por outro lado, H(x, 0) = f(x) e
H(x, 1) = g(x), para todo x S
n
.
1.3. HOMOTOPIA E CAMPOS DE VETORES NA ESFERA 11
f(x)
-f(x)
g(x)
S
n
H(x,t)
O
Figura 1.2: Homotopia entre f e g
Corol ario 1.1. Seja f : S
n
S
n
contnua:
1. Se f n ao possui pontos xos, ent ao f a.
2. Se f(x) ,= x, para todo x S
n
, ent ao f id
S
n.
3. Se n e mpar, ent ao a id
S
n.
Prova :
1. De fato, se f n ao possui pontos xos, ent ao f(x) ,= x, para todo x S
n
; logo
f(x) ,= a(x). Pela proposic ao anterior, temos que f a
2. f(x) ,= x, para todo x S
n
; logo f(x) ,= id
S
n(x). Pela proposic ao anterior, temos
que f id
S
n
3. Se n = 2 k 1,ent ao S
n
R
2k
= C
k
; denotemos por z
i
= (x
i
, y
i
) C; logo:
z = (z
1
, z
2
, . . . , z
k
) S
n
|z
1
|
2
+|z
2
|
2
+ . . . +|z
k
|
2
= 1.
Por outro lado, sabemos que o grupo S
1
atua sobre S
n
se n e mpar; isto e, para todo
u S
1
e todo z S
n
temos que u z = (u z
1
, u z
2
, . . . , u z
k
) S
n
. Denamos:
H(z, t) = exp( i t) z;
logo, H e contnua; H(z, 0) = z e H(z, 1) = z = a(z).
Corol ario 1.2. Se f : X S
n
e contnua e n ao sobrejetiva, ent ao f c, onde c e uma
fun c ao constante.
Prova : Como f n ao e sobrejetiva, ent ao existe y S
n
tal que f(x) ,= y, para todo
x X. Seja c : X S
n
tal que c(x) = y, para todo x X; logo f(x) ,= c(x), isto e,
f c.
12 CAP
ITULO 1. HOMOTOPIA
Deni c ao 1.2. Um campo de vetores contnuos tangentes a S
n
e uma fun c ao contnua:
: S
n
R
n+1
tal que < (x), x >= 0, para todo x S
n
,
onde < , > e o produto interno euclidiano emR
n+1
. Se (x
0
) = 0, ent ao x
0
e dita singularidade
do campo .
n
S
x
(x)
Figura 1.3: Campo tangente a S
n
Se n e mpar, ent ao existe um campo de vetores contnuo, sem singularidades, tangente
a S
n
.
De fato: como antes consideremos S
n
R
2k
e denamos:
(x
1
, x
2
, . . . , x
k
, y
1
, y
2
, . . . , y
k
) = (y
1
, y
2
, . . . , y
k
, x
1
, x
2
, . . . , x
k
).
e um campo contnuo, sem singulariades e tangente a S
n
.
Se existe um campo de vetores contnuo, sem singularidades e tangente a S
n
, ent ao
a id
S
n.
De fato. Seja o campo e denamos f : S
n
S
n
por:
f(x) =
x + (x)
|x + (x)|
.
f e contnua e f(x) ,= x; logo f(x) ,= a(x) e f a. Por outro lado, seja
H(x, t) =
x + t (x)
|x + t (x)|
,
H e bem denida; H(x, 0) = x, H(x, 1) = f(x) e f id
S
n. Logo, por transitividade,
a id
S
n.
Resumindo: em S
n
, temos:
i. Se n e mpar, ent ao a id
S
n.
ii. Se existe um campo de vetores contnuo sem singularidades em S
n
, ent ao a id
S
n.
iii.

E possvel provar, utilizando conceitos mais avancados, que a id
S
n, implica em n
mpar.
1.4. HOMOTOPIA RELATIVA 13
1.4 Homotopia Relativa
Sejam A X, f, g : X Y contnuas tais que f(a) = g(a), para todo a A.
Deni c ao 1.3. f e homot opica a g relativamente a A se existe homotopia:
H :X I Y tal que
H(x, 0) = f(x),
H(x, 1) = g(x),
H(a, t) = f(a) = g(a)
para todo a A e x X.
A notac ao de f ser homot opica a g relativamente a A e:
f
A
g.
Durante a deformac ao, o conjunto A permanece invariante. Se A = ; ent ao a homoto-
pia relativamente a A e a homotopia denida anteriormente.
Exemplo 1.2.
Sejam f, g : [0, 1] S
2
denidas por:
f(t) = (sen( t), 0, cos( t))
g(t) = (0, sen( t), cos( t)).
[1] Se A = 1/2 I, ent ao f n ao pode ser homot opica a g, relativamente a A. De fato,
se f
A
g, necessariamente deveramos ter f(1/2) = g(1/2), o que e falso.
[2] Se A = 0, 1 I, ent ao f
A
g. De fato, denamos H : I I S
2
por:
H(t, s) =
_
cos(s /2) sen( t), sen(s /2) sen( t), cos( t)
_
.
Note que |H(t, s)| = 1, para todo (t, s) I I e:
H(t, 0) = f(t)
H(t, 1) = g(t)
H(0, s) = f(0) = H(1, s) = g(1).
14 CAP
ITULO 1. HOMOTOPIA
Figura 1.4: A homotopia H (f e g em vermelho)
[3] Denotemos por R
n
= R
n
0 e seja:
r :R
n
R
n
x x/|x|.
Ent ao r
S
n id
R
n
. De fato, denamos H : R
n
I R
n
por:
H(x, t) = (1 t) x + t r(x).
Logo, H(x, 0) = x, H(x, 1) = r(x). Em particular, para todo x
0
S
n
, temos:
H(x
0
, t) = (1 t) x
0
+ t r(x
0
)
= (1 t) x
0
+ t x
0
= x
0
.
1.5 Tipo de Homotopia
Neste par agrafo introduziremos um conceito mais fraco que o de homeomorsmo, o
qual nos permitir a diferenciar espacos.
Deni c ao 1.4. Os espa cos X e Y temo mesmo tipo de homotopia ou s ao homot opicamen-
te equivalentes, se existem
f : X Y e g : Y X,
contnuas, tais que:
g f id
X
e f g id
Y
.
As func oes f e g s ao ditas inversas homot opicas. Denotaremos os espacos com o
mesmo tipo de homotopia por:
X Y.
Se X e Y s ao homeomorfos, ent ao X Y . A recproca e, claramente, falsa. Ser homo-
topicamente equivalente e, claramente, uma relac ao de equival encia.
1.6. EXEMPLOS 15
1.6 Exemplos
[1] R
n
0.
De fato, considere as func oes f : R
n
0 tal que f(x) = 0 para todo x R
n
e
g : 0 R
n
a inclus ao. Por outro lado, seja H : R
n
I R
n
denida por:
H(x, t) = t x;
H e contnua; H(x, 0) = 0 =
_
g f
_
(x) e H(x, 1) = x = id
X
(x); ent ao H : g f id
X
.
Como
_
f g
_
(0) = f(0) = 0 = id
{0}
(0), f g = id
{0}
.
[2] S
1
R S
1
0

= S
1
.
De fato, considere f : S
1
R S
1
0 denida por f(x, t) = (x, 0) e g : S
1
0
S
1
Ra inclus ao, isto e g(x, 0) = (x, 0). Por outro lado, seja H :
_
S
1
R
_
I
_
S
1
R
_
denida por:
H((x, t), s) = (x, t s);
logo, H e contnua e:
H((x, t), 0) = (x, 0) =
_
g f
_
(x, t)
H((x, t), 1) = (x, t) = id
S
1
R
(x, t).
Ent ao H : g f id
S
1
R
. Note que
_
f g
_
(x, 0) = (x, 0) = id
S
1
R
(x, 0); logo, f g =
id
S
1
R
.
x {0}
1
S
1
IR x S
Figura 1.5: Equival encia entre o cilindro S
1
R e o crculo S
1
[3] S
n
R
n+1
0.
De fato, considere as seguintes func oes f : R
n+1
0 S
n
e g : S
n
R
n+1
0
tais que f(x) = x/|x| e g e a inclus ao natural. Por outro lado, seja H : S
n
I S
n
denida por:
H(x, t) = (1 t) x + t f(x);
16 CAP
ITULO 1. HOMOTOPIA
logo, H e contnua e:
H(x, 0) = x = id
S
n(x)
H(x, 1) =
_
g f
_
(x).
Ent ao, H : g f id
S
n. Note que
_
f g
_
(x) = f(x) = x = id
S
n(x); ent ao f g = id
S
n.
[4] Sabemos que se p
n
= (0, 0, . . . , 1) S
n
, ent ao S
n
p
n
e homeomorfo a R
n
, via
projec ao estereogr aca. Logo, se p
s
= (0, 0, . . . , 1) S
n
, pelo tem anterior:
S
n
p
n
, p
s

= R
n
0 S
n1
.
Logo:
S
n
p
n
, p
s
S
n1
.
[5] Seja M a faixa de M oebius. Lembremos que M =
_
Q
_
_
, onde Q = I I, I = [0, 1]
e e a relac ao de equival encia (0, y) (1, 1 y). Denotemos por:
= [(x, 1/2)] / x [0, 1].
M e dito crculo central da faixa. Note que

= S
1
, isto e e homeomorfo a S
1
.
Figura 1.6: Crculo central da faixa
Denamos:
f : M
f([(x, y)]) = [(x, 1/2)].
f e bem denida, pois:
f([(1, 1 y)]) = [(1, 1/2)] = [(1, 1 1/2)] = [(0, 1/2)] = f([(0, y)]).
Seja g : M a inclus ao; temos que:
_
f g)([(x, 1/2)]) = [(x, 1/2)] = id
([(x, 1/2)]).
1.6. EXEMPLOS 17
Denamos:
H : M I M
H([(x, y)], t) = [(1 t) (x, y) + t (x, 1/2)].
0
1
1/2
Figura 1.7: Equival encia entre a faixa e o crculo central
H e contnua e bem denida. De fato:
H([(0, y)], t) = [(1 t) (0, y) + t (0, 1/2)]
= [(0, y t y + t/2)]
= [(1, 1 y + t y t/2)]
= [((1 t) (1, 1 y) + t (1, 1/2))]
= H([(1, 1 y)], t).
Por outro lado:
H([(x, y)], 0) = [(x, y)] = id
M
[(x, y)]
H([(x, y)], 1) = [(x, 1/2)] =
_
g f
_
[(x, y)] = g f id
M
.
Proposi c ao 1.2. Seja
_
X, Y
o conjunto das classes de homotopias de fun c oes contnuas de X

em Y . Se X X
e Y Y
, ent ao #
_
X, Y
= #
_
X
, Y
, onde # indica a cardinalidade do

conjunto.
Prova : Sejam : X
X e : Y Y
equival encias homot opicas. Denamos:

G :
_
X, Y
_
X
, Y
_
f
_
f
.
Claramente G e uma bijec ao.
18 CAP
ITULO 1. HOMOTOPIA
1.7 Espa cos Contr ateis
Deni c ao 1.5. X e contr atil se X tem o mesmo tipo de homotopia que um ponto.
Exemplo 1.3.
[1] R
n
e B[x, r] s ao espacos contr ateis.
[2] Em geral, se E e um espaco vetorial normado, os conjuntos convexos de E s ao
contr ateis. Em particular, E e contr atil.
[3] Seja X um espaco topol ogico e consideremos CX o cone de X. CX e contr atil. Para
detalhes, veja [MV]. Denamos:
H : CX I CX
([(x, t)], s) [(x, (1 s) t + s)].
Logo, H([(x, t)], 0) = [(x, t)] = id
CX
([(x, t)]
_
e H([(x, t)], 1) = [x, 1], onde [(x, 1)] e o
v ertice do cone.
Proposi c ao 1.3. X e contr atil se, e somente se id
X
c, onde c : X X e a fun c ao constante
c(x) = p, para todo x X.
Prova : () Se X p, existem f : X p e g : p X inversas homot opicas;
ent ao g f id
X
e g f = c.
() Se id
X
c, ent ao id
X
e c s ao inversas homot opicas; logo X p.
Proposi c ao 1.4. Se X e contr atil, ent ao X e conexo por caminhos.
Prova : Fixemos p X e seja H : id
X
c. Para cada x X denamos:
x
:I X
t H(x, t).
Logo,
x
e um caminho contnuo que liga x a p.
Proposi c ao 1.5. Se X ou Y e contr atil, ent ao, para toda f : X Y contnua, f c.
Prova : Suponha X contr atil e H : id
X
c. Denamos:
K : X I Y
K(x, t) = f
_
H(x, t)
_
.
Logo, K(x, 0) =
_
f id
X
_
(x) = f(x) e K(x, 1) = f(p) = c(x); ent ao f c. Por outro
lado, se Y e contr atil e H : id
Y
c
1
, denamos:
K : X I Y
K(x, t) = H(f(x), t).
Logo, K(x, 0) = f(x) e K(x, 1) = c
1
(f(x)); ent ao f c
1
.
1.7. ESPAC OS CONTR

ATEIS 19
Corol ario 1.3.
1. Se X e contr atil e Y e conexo por caminhos, ent ao, para todas f, g : X Y contnuas,
temos que f g.
2. Se Y e contr atil, ent ao, qualquer que seja X e para todas f, g : X Y contnuas, temos
que, f g.
Prova : 1. Seja H : id
X
c, denamos:
K(x, t) = f
_
H(x, t)
_
K : f c
1
L(x, t) = g
_
H(x, t)
_
L : g c
2
,
onde c
1
(x) = f(p) e c
2
(x) = g(p), para todo x X. Como Y e conexo por caminhos,
existe caminho contnuo ligando f(p) e g(p); denamos:
G : Y I Y
(y, t) (t).
Logo, c
1
c
2
e f g.
2. A prova e imediata.
Proposi c ao 1.6. Se X e contr atil, ent ao XY Y , para todo Y . Em particular se Y tamb em
e contr atil, ent ao X Y e contr atil.
Prova : Seja H : id
X
c; denotemos por:
pr
2
: X Y Y e i
p
: Y X Y,
tal que pr
2
(x, y) = y e i
p
(y) = (p, y). Ent ao, temos que:
_
i
p
pr
2
_
(x, y) = i
p
(y) e
_
pr
2
i
p
_
(y) = y = id
Y
(y).
Denamos:
G : X Y I X Y
G((x, y), t) =
_
H(x, t), y).
Logo, G((x, y), 0) = (x, y) = id
XY
(x, y) e G((x, y), 1) = (p, y) =
_
i
p
pr
2
_
(x, y); ent ao
id
XY
i
p
pr
2
.
Exemplo 1.4.
[1] S
1
R
n
S
1
0

= S
1
, pois R
n
0.
[2] Seja D
2
S
1
, onde D
2
e um disco fechado no plano; ent ao D
2
S
1
S
1
. O espaco
D
2
S
1
e dito toro s olido.
20 CAP
ITULO 1. HOMOTOPIA
1.8 Retratos
Deni c ao 1.6. Seja A X. A e um retrato de X se existe r : X A contnua tal que com
a inclus ao i : A X, o seguinte diagrama comuta:
X
r
A
A
i
id
A
~
~
~
~
~
~
~
Isto e, r i = id
A
. A fun c ao r e dita retra c ao entre X e A.
Exemplo 1.5.
[1] A esfera S
n
R
n+1
e um retrato de R
n+1
0. De fato, podemos denir a seguinte
retrac ao:
r : R
n+1
0 S
n
x
x
|x|
.
[2] Seja M a faixa de M oebius; ent ao , o crculo central e um retrato de M. De fato,
denamos:
r : M
[(x, y)] [(x, 1/2)].
[3] S
1
0 e um retrato de S
1
R. De fato, denamos:
r : S
1
R S
1
0
((x, y), z) ((x, y), 0).
[4] Se A e um retrato de X, ent ao A = x X / r(x) = x, onde r e a retrac ao. Se X e
de Hausdorff, temos que A e fechado em X.
Deni c ao 1.7. Seja A X. A e um retrato por deforma c ao de X, se existe retra c ao
r : X A tal que:
i r id
X
.
Se A e um retrato por deformac ao de X, ent ao existe homotopia:
H :X I X
H(x, 0) = x
H(x, 1) A,
para todo x X.
Se A e um retrato por deformac ao de X, ent ao A e um retrato de X.
1.8. RETRATOS 21
Deni c ao 1.8. Seja A X. A e um retrato por deforma c ao forte de X, se existe retra c ao
r : X A tal que:
i r
A
id
X
.
Se A e um retrato por deformac ao forte de X, ent ao existe homotopia:
H :X I X
H(x, 0) = x
H(x, 1) A
H(a, t) = a,
para todo a A e x X.
Exemplo 1.6.
[1] S
n
e um retrato por deformac ao forte de R
n+1
0. Basta utilizar a retrac ao denida
anteriormente e utilizar uma homotopia linear.
[2] Consideremos T o toro, como espaco quociente. Para detalhes, veja [MV]. Por
comodidade, suponhamos que T =
_
[1, 1] [1, 1]
_
_
, onde:
(1, y) (1, y) e (x, 1) (x, 1).
Denotemos por X = T [(0, 0)], |(x, y)| = max[x[, [y[, para todo (x, y) R
2
.
Seja A = [(x, y)] X / |(x, y)| = 1. Armamos que A e um retrato por deformac ao
forte de X.
A T
Figura 1.8: Os conjuntos T e A
Fica como exerccio provar que A e homeomorfo ao conjunto S:
22 CAP
ITULO 1. HOMOTOPIA
A A
S
Figura 1.9: Homeomorsmo entre A e S
Consideremos a retrac ao r : X A, denida por:
r([(x, y)]) = [
(x, y)
|(x, y)|
].
Denamos a homotopia H : X I X por:
H([(x, y)], t) = [(1 t) (x, y) +
t (x, y)
|(x, y)|
].
Figura 1.10: A homotopia H
H e bem denida. De fato:
H([(1, y)], t) = [(1 t) (1, y) +
t (1, y)
|(1, y)|
]
= [(1 t) (1, y) + t (1, y)] = [(1, y)]
= [(1, y)] = [(1 t) (1, y) +
t (1, y)
|(1, y)|
]
= H([(1, y)], t).
1.9. HOMOTOPIA E EXTENS

AO DE FUNC

OES 23
Analogamente, H([(x, 1)], t) = H([(x, 1)], t). Por outro lado:
H([(x, y)], 0) = [(x, y)]
H([(x, y)], 1) = [
(x, y)
|(x, y)|
].
Se [(x, y)] A, ent ao H([(x, y)], t) = [(x, y)] para todo t I.
Corol ario 1.4. Se A e um retrato por deforma c ao de X ou um retrato por deforma c ao forte de
X, ent ao A X.
De fato, existe H : i r id
X
e r i = id
A
.
1.9 Homotopia e Extens ao de Fun c oes
A extens ao de func oes e um tema central na Topologia. O problema geral pode ser
enunciado da seguinte forma:
Sejam A X um subconjunto fechado e f : A Y contnua.

E possvel achar:
f : X Y
contnua tal que

f
A
= f?
Em outras palavras, se i : A X e a inclus ao, podemos obter o diagrama:
A
i
Y
X
~
~
~
~
~
~
~
~
tal que

f i = f?
A seguir, estudaremos alguns casos particulares de extens ao de func oes.
Note que um retrato e uma extens ao contnua da identidade de A:
A
i
id
A
A
X
r
~
~
~
~
~
~
~
Proposi c ao 1.7. A seguintes arma c oes s ao equivalentes:
1. A e um retrato de X.
2. Para todo espa co topol ogico Z, a fun c ao contnua f : A Z se estende continuamente a
X.
24 CAP
ITULO 1. HOMOTOPIA
Prova : (1) (2) Dada a retrac ao r : X A, para f : A Z arbitr aria, considere a
extens ao

f = f r : X Z
(2) (1) Considere o diagrama comutativo:
A
i
Z
X
~
~
~
~
~
~
~
Basta considerar Z = A e f = id
A
.
Proposi c ao 1.8. Denotemos por B = B[0, 1] R
n+1
; lembremos que B = S
n
. As seguintes
arma c oes s ao equivalentes:
1. f c, onde c e uma fun c ao constante.
2. f : S
n
X contnua se estende continuamente a B.
Prova : (1) (2) Seja F : f c tal que c(x) = y
0
, para todo x S
n
. Denamos:
f(x) =
_
y
0
se 0 |x| 1/2
F
_
x/|x|, 2 2 |x|
_
se 1/2 |x| 1.
f e contnua (veja [MV]). Se x ,= 0, ent ao x/|x| S

n
; se 1/2 |x| 1, ent ao
2 2 |x| I; se |x| = 1/2, ent ao F
_
x/|x|, 1
_
= c(x/|x|) = y
0
e se |x| = 1, ent ao
f(x) = F(x, 0) = f(x).

(2) (1) Considere o seguinte diagrama comutativo:
S
n
i
X
B
|
|
|
|
|
|
|
|
Como B e contr atil, existe homotopia H :

f c
1
. Denamos a homotopia K, conside-
rando o seguinte diagrama comutativo:
S
n
I
i
X
B I
H
w
w
w
w
w
w
w
w
w
Logo, K : f c. De fato, K(x, t) =
_
H i
_
(x, t) e:
K(x, 0) =
_
H i
_
(x, 0) = H(x, 0) =
_
f i
_
(x) = f(x)
K(x, 1) =
_
H i
_
(x, 1) = H(x, 1) =
_
c
1
i
_
(x) = c(x).
1.10. HOMOTOPIA DE CAMINHOS 25
1.10 Homotopia de Caminhos
Neste par agrafo estudaremos um caso especial de homotopia relativa. Este tipo de
homotopia e fundamental nos pr oximos captulos.
Deni c ao 1.9. Sejam , : I X caminhos contnuos tais que (1) = (0).
(0)
(1)
(1)=(0)
Figura 1.11:
O produto dos caminhos e e denotado por e denido por:
(t) =
_
(2 t) se 0 t 1/2
(2 t 1) se 1/2 t 1.
Note que : I X e um caminho contnuo tal que (0) = (0) e (1) = (1).
Intuitivamente, para denir no intervalo I dobramos a velocidade de cada
caminho, isto e, reparametrizamos os caminhos pelos homeomorsmos lineares:
h
1
: [0, 1/2] [0, 1]
t 2 t
e
h
2
: [1/2, 1] [0, 1]
t 2 t 1.
26 CAP
ITULO 1. HOMOTOPIA
(1)=(0)
1 1/2 0
(1)
(0)
Figura 1.12: Produto de caminhos
Note que dados , , : I X caminhos, ent ao:
_

_
,=
_

_
.
Deni c ao 1.10. Os caminhos e tais que (0) = (0) e (1) = (1) s ao ditos equivalen-
tes se relativamente a 0, 1.
Denotaremos os caminhos equivalentes por . Ent ao, se existe homotopia:
H :I I X tal que
H(t, 0) = (t),
H(t, 1) = (t),
H(0, s) = (0) = (0),
H(1, s) = (1) = (1), s, t I.
0
1
t
s
1
H
(0)=(0)
(1)=(1)
Figura 1.13: Caminhos equivalentes
Note que durante a homotopia, os extremos dos caminhos permanecem xos. Em
particular se e s ao caminhos fechados equivalentes, ent ao existe homotopia H :
I I X tal que:
H(t, 0) = (t),
H(t, 1) = (t),
H(0, s) = H(1, s) = (0) = (0) = (1) = (1), s, t I.
x
0
Figura 1.14: Caminhos fechados equivalentes
Lema 1.1. Sejam
0
,
1
,
0
,
1
: I X caminhos tais que
0

1
,
0

1
e
0
(1) =
0
(1); ent ao:
0

0

1

1
.
0
0
1
Figura 1.15:
Prova : Sejam F :
0

1
e G :
0

1
as homotopias respectivas; denamos H :
I I X por:
H(t, s) =
_
F(2 t, s) se 0 t 1/2
G(2 t 1, s) se 1/2 t 1.
28 CAP
ITULO 1. HOMOTOPIA
Claramente H e contnua. Por outro lado:
H(t, 0) =
_
F(2 t, 0) se 0 t 1/2
G(2 t 1, 0) se 1/2 t 1
=
_
0
(2 t) se 0 t 1/2
0
(2 t 1) se 1/2 t 1
=
0

0
(t),
e:
H(t, 1) =
_
F(2 t, 1) se 0 t 1/2
G(2 t 1, 1) se 1/2 t 1
=
_
1
(2 t) se 0 t 1/2
1
(2 t 1) se 1/2 t 1.
=
1

1
(t).
Por outro lado, H(0, s) = H(1, s) = x
0
Deni c ao 1.11. Seja : I X um caminho ligando x
0
e x
1
. O caminho inverso de e
denotado por
1
e denido por:
1
: I X
t (1 t).
x
x
0
1
1
Figura 1.16: e
1
Note que
1
tem o mesmo percurso que , mas se inicia em x
1
e termina em x
0
.
Denotaremos por:
[] = : I X / (0) = (0), (1) = (1), .
30 CAP
ITULO 1. HOMOTOPIA
1.11 Exerc cios
1. Sob que condic oes a homotopia relativa e uma relac ao de equival encia?
2. Sejam X espaco topol ogico, A X, Y R
n
e f, g : X Y contnuas. Se para
todo x X, f(x)g(x) Y e f
A
= g
A
, verique que f
A
g.
3. Seja E um espaco vetorial normado. A E e dito estrela de v ertice p se para todo
X A o segmento de reta px A. Verique que se A e uma estrela de v ertice p,
ent ao A p.
4. Verique que o crculo central e um retrato por deformac ao forte da faixa de
M oebius M.
5. Sejam f, g : X Y tais que f g. Verique que para todo A X, temos
f
A
g
A
.
6. Denotemos por:
_
f
= g : X Y, g f
_
X, Y
=
_
f
/ f : X Y
a classe de homotopia de f e o conjunto das classes de homotopias de func oes
contnuas de X em Y , respectivamente. Verique que se C E (conjunto con-
vexo contido num espaco vetorial normado), ent ao
_
X, C
= [c],
onde c : X C e uma func ao constante.
7. Sejam x
0
, x
1
X. Denotemos por:
(X, x
0
, x
1
) = : I X / (0) = x
0
, (1) = x
1
.
Verique que e uma relac ao de equival encia em (X, x
0
, x
1
).
8. Sejam f : X Y contnua e , : I X caminhos tais que esteja
denido. Verique que f ( ) (f ) (f ).
Cap tulo 2
GRUPO FUNDAMENTAL
Muitas quest oes da Topologia s ao surpreendentemente f aceis de formular, por em muito
difceis de serem contestadas. Por exemplo, a esfera S
3
e homeomorfa a S
1
S
1
S
1
ou S
2
e homeomorfa ao toro T? A segunda quest ao pode ser contestada utilizando
m etodos da Topologia Geral, n ao a primeira.
Neste par agrafo comecaremos a relacionar a Topologia com a

Algebra. Construiremos
para cada espaco topol ogico um grupo, o qual nos permitir a contestar muitas quest oes
deste tipo.
2.1 Introdu c ao
Fixemos x
0
X e denotemos por:
1
_
X, x
0
_
= [] / : I X, (0) = (1) = x
0
,
isto e, o conjunto das classes de homotopias de caminhos fechados em x
0
. O ponto x
0
e dito base de
1
_
X, x
0
_
.
Dados [], []
1
_
X, x
0
_
temos que
_

_
(0) =
_

_
(1) = x
0
. Logo e um
caminho em X, fechado em x
0
; ent ao [ ]
1
_
X, x
0
_
Deni c ao 2.1. Em
1
_
X, x
0
_
denotemos e denamos o seguinte produto por:
:
1
_
X,x
0
_
1
_
X, x
0
_

1
_
X, x
0
_
([], []) [] [] = [ ].
Lema 2.1. Este produto em
1
_
X, x
0
_
est a bem denido.
Prova : Dados [
0
], [
1
], [
0
] e [
1
]
1
_
X, x
0
_
tais que [
0
] = [
1
] e [
0
] = [
1
], provare-
mos que :
[
0
] [
0
] = [
1
] [
1
];
31
32 CAP
ITULO 2. GRUPO FUNDAMENTAL

equivalentemente, [
0

0
] = [
1

1
]; em outras palavras:
0

0

1

1
.
Primeiramente escrevemos:
0

0
(t) =
_
0
(2 t) se 0 t 1/2
0
(2 t 1) se 1/2 t 1,
e:
1

1
(t) =
_
1
(2 t) se 0 t 1/2
1
(2 t 1) se 1/2 t 1.
Denotemos por F :
0

1
e G :
0

1
as respectivas homotopias; denamos:
H : I I X
por:
H(t, s) =
_
F(2 t, s) se 0 t 1/2
G(2 t 1, s) se 1/2 t 1.
H e contnua. Por outro lado:
H(t, 0) =
_
F(2 t, 0) se 0 t 1/2
G(2 t 1, 0) se 1/2 t 1
=
_
0
(2 t) se 0 t 1/2
0
(2 t 1) se 1/2 t 1
=
0

0
(t),
H(t, 1) =
_
F(2 t, 1) se 0 t 1/2
G(2 t 1, 1) se 1/2 t 1
=
_
1
(2 t) se 0 t 1/2
1
(2 t 1) se 1/2 t 1
=
1

1
(t).
e H(0, s) = H(1, s) = x
0
.
Teorema 2.1.
1
_
X, x
0
_
, com o produto denido por (2.1) e um grupo, isto e, satisfaz ` as se-
guintes propiedades:
1. Associatividade : Para todo [], [], []
1
_
X, x
0
_
temos que:
_
[] []
_
[] = []
_
[] []
_
.
2.1. INTRODUC

AO 33
2. Elemento neutro : Existe [e]
1
_
X, x
0
_
tal que:
[e] [] = [] [e] = [],
para todo []
1
_
X, x
0
_
.
3. Elemento inverso : Dado []
1
_
X, x
0
_
, existe []
1

1
_
X, x
0
_
tal que:
[] []
1
= []
1
[] = [e].
Prova : Associatividade Provaremos a associatividade do produto com o m aximo de
detalhes. Provaremos que
_
[] []
_
[] = []
_
[] []
_
, isto e:
_

_

_

_
.
Primeiramente escrevamos
_

_
(t) :
_

_
(t) =
_
(2 t) se 0 t 1/2
(2 t 1) se 1/2 t 1
=
_
_
(4 t) se 0 t 1/4
(4 t 1) se 1/4 t 1/2
(2 t 1) se 1/2 t 1.
0 1 1/2 1/4

Figura 2.1:
_

_
esquematicamente
Analogamente, escrevamos
_

_
(t):

_

_
(t) =
_
(2 t) se 0 t 1/2
(2 t 1) se 1/2 t 1
=
_
_
(2 t) se 0 t 1/2
(4 t 2) se 1/2 t 3/4
(4 t 3) se 3/4 t 1.
0 1 1/2 3/4
Figura 2.2:
_

_
esquematicamente
34 CAP

Para determinar a homotopia entre
_

_
e
_

_
, juntaremos os esquemas
anteriores:
t
s
3/4
1

1/2
1/4
1/2
1
0
Figura 2.3: Homotopia entre
_

_
e
_

_
Notemos que:
i) Para s = 0, temos (t) com t [0, 1/4], (t) com t [1/4, 1/2] e (t) com t [1/2, 1].
ii) Para s = 1, temos (t) com t [0, 1/2], (t) com t [1/2, 3/4] e (t) com t [3/4, 1].
Determinemos os segmentos de reta que ligam os pontos (1/4, 0) a (1/2, 1) e (1/2, 0) a
(3/4, 1):
i) t = (s + 1)/4 e o segmento de reta que liga (1/4, 0) a (1/2, 1).
ii) t = (s +2)/4 e o segmento de reta que liga (1/2, 0) a (3/4, 1). Ent ao, para s arbitr ario,
devemos ter:
(t) com t [0, (s + 1)/4]
(t) com t [(s + 1)/4, (s + 2)/4]
(t) com t [(s + 2)/4, 1].
Consideremos os seguintes homeomorsmos:
h
1
: [0, (s + 1)/4] [0, 1],
h
2
: [(s + 1)/4, (s + 2)/4] [0, 1],
h
3
: [(s + 2)/4, 1] [0, 1]
denidos por h
1
(t) = 4 t/(s + 1), h
2
(t) = 4 t s 1 e h
3
(t) = (s 4 t + 2)/(s 2),
respectivamente. Finalmente, denamos a homotopia H : I I X por:
H(t, s) =
_
_
(h
1
(t)) se 0 t (s + 1)/4
(h
2
(t)) se (s + 1)/4 t (s + 2)/4
(h
3
(t)) se (s + 2)/4 t 1.
2.1. INTRODUC

AO 35
H e contnua, e:
H(t, 0) =
_
_
(4 t) se 0 t 1/4
(4 t 1) se 1/4 t 1/2
(2 t 1) se 1/2 t 1
=
_

_
(t),
H(t, 1) =
_
_
(2 t) se 0 t 1/2
(4 t 2) se 1/2 t 3/4
(4 t 3) se 3/4 t 1
=
_

_
(t),
H(0, s) = H(1, s) = x
0
; logo
_

_

_

_
, isto e:
_
[] []
_
[] = []
_
[] []
_
.
Elemento neutro : Seja e
x
0
: I X tal que e
x
0
(x) = x
0
. Armamos que:
[e
x
0
] [] = [] [e
x
0
] = [],
para todo []
1
_
X, x
0
_
.
Provaremos que [] [e
x
0
] = [], isto e e
x
0
. De forma an aloga ` a associatividade:
e
x
0
(t) =
_
(2 t) se 0 t 1/2
x
0
se 1/2 t 1
Consideramos o seguinte diagrama:
0
1
1/2
s
t
1

e
x
0
Figura 2.4: Homotopia entre e

x
0
e
36 CAP

Como antes:
i) O segmento de reta que liga os pontos (1/2, 0) a (1, 1) e t = (s + 1)/2.
ii) Consideramos o homeomorsmo:
h : [0, (s + 1)/2] [0, 1]
t
2t
s + 1
.
Denamos a homotopia H : I I X por:
H(t, s) =
_
(h(t)) se 0 t (s + 1)/2
x
0
se (s + 1)/2 t 1.
H e contnua, e:
H(t, 0) =
_
(2 t) se 0 t 1/2
x
0
se 1/2 t 1
= e
x
0
(t),
H(t, 1) =
_
(t) se 0 t 1
x
0
se t = 1
= (t),
H(0, s) = H(1, s) = x
0
; logo e
x
0
e:
[] [e
x
0
] = [].
A prova de que [e
x
0
] [] = [] e an aloga.
Elemento inverso : Dado []
1
_
X, x
0
_
, consideramos o caminho inverso de de-
nido por
1
(t) = (1 t); ent ao [
1
]
1
_
X, x
0
_
. Provaremos que
[
1
] [] = [e
x
0
],
isto e,
1
e
x
0
. Logo, []
1
= [
1
].
Novamente:
1
(t) =
_
1
(2 t) se 0 t 1/2
(2 t 1) se 1/2 t 1
Consideramos:
2.1. INTRODUC

AO 37
0
1
s
t
1

1/2
e
x
0
1
Figura 2.5: Homotopia entre
1
e e
x
0
Como antes:
i) O segmento de reta que liga os pontos (1/2, 0) a (0, 1) e t = (1 s)/2 e o segmento de
reta que liga os pontos (1, 0) a (0, 1) e t = 1 s.
ii) Consideramos os homeomorsmos:
h
1
: [0, (1 s)/2] [0, 1]
t
2t
1 s
,
h2 : [(1 s)/2, 1 s] [0, 1]
t
2t 1 +s
1 s
.
h
1
(t) =
2t
1 s
e h
2
(t) =
2t 1 +s
1 s
.
Denamos a homotopia H : I I X por:
H(t, s) =
_
1
(h
1
(t)) se 0 t (1 s)/2
(h
2
(t)) se (1 s)/2 t 1 s
x
0
se 1 s t 1.
H e contnua, e:
H(t, 0) =
_
1
(2 t) se 0 t 1/2
(2 t 1) se 1/2 t 1.
H(t, 1) = x
0
, H(0, s) = H(1, s) = x
0
, logo:
[
1
] [] = [e
x
0
].
38 CAP

A prova de que [] [
1
] = [e], e an aloga.
1
_
X, x
0
_
e dito grupo fundamental de X, ou grupo de Poincar e de X, ou primeiro
grupo de homotopia de X.
Exemplo 2.1.
[1] Sabemos que emR
n
, todos os caminhos s ao homot opicos; basta considerar homoto-
pias lineares. Em particular, todos os caminhos fechados s ao homot opicos ao caminho
constante c(x) = x
0
, para todo x R
n
; logo:
1
_
R
n
, x
0
_
= [e
x
0
]

= 0.
Em geral, se C R
n
e convexo, ent ao para todo p
0
C temos que:
1
_
C, p
0
_
= 0.
[2] Seja Q com a topologia induzida pela usual de R. Os unicos caminhos fechados em
x
0
Q s ao os caminhos constantes; logo:
1
_
Q, x
0
_
= [e
x
0
]

= 0.
Em geral, o c alculo do grupo fundamental de espacos topol ogicos e bastante difcil.
Os par agrafos seguintes tem o objetivo de apresentar propriedades dos grupos funda-
mentais a m de obter exemplos n ao triviais.
2.2 Mudan ca do Ponto Base
Uma quest ao natural que surge da denic ao de grupo fundamental e a seguinte:
Dados x
0
, x
1
X que relac ao existe entre
1
_
X, x
0
_
e
1
_
X, x
1
_
?
A resposta a esta quest ao e dada pelo teorema 2.2:
Teorema 2.2. Se existe um caminho entre x
0
e x
1
, ent ao:
1
_
X, x
0
_

1
_
X, x
1
_
,
isto e, os grupos
1
_
X, x
0
_
e
1
_
X, x
1
_
s ao isomorfos.
Prova : Seja : I X um caminho tal que (0) = x
0
e (1) = x
1
. Denamos:
:
1
_
X, x
1
_

1
_
X, x
0
_
[] [
1
].
2.2. MUDANC A DO PONTO BASE 39
e um isomorsmo n ao can onico de grupos, isto e, depende da classe de homotopia

de .
0
x
x
1
Figura 2.6: Denic ao de
Para todo [], []

1
_
X, x
1
_
, temos:
_
[] []
_
=
_
[ ]
_
= [ ( )
1
]
= [(
1
) (
1
)]
= [
1
] [
1
]
=
_
[]
_

_
[]
_
.
N ao e difcil ver que
1
1. De fato, para todo []

1
_
X, x
0
_
:
_
[]
_
= [
1
].
Por outro lado, para todo []
1
_
X, x
0
_
:
_
_
([]) =
_
[
1
]
_
= [
1

1
]
= [e
x
0
e
x
0
]
= [].
Analogamente,
1
= id
1
(X,x
1
)
.
Exemplo 2.1.
Seja X = R S
1
(uni ao disjunta). Se x
0
[a, b], ent ao
1
_
X, x
0
_
= 0. Por outro lado,
se x
1
S
1
, mostraremos no pr oximo captulo que
1
_
X, x
1
_
e um grupo n ao trivial.
Portanto,
1
_
X, x
0
_
e
1
_
X, x
1
_
n ao podem ser isomorfos.
40 CAP

Corol ario 2.1. Se X e conexo por caminhos, ent ao:
1
_
X, x
0
_

1
_
X, x
1
_
,
quaisquer que sejam os pontos b asicos x
0
, x
1
X.
Deni c ao 2.2. Seja
_
G,
_
um grupo. O centro de G e e denotado por Z(G) e denido por:
Z(G) = a G/ a b = b a, para todo b G,
isto e, o conjunto dos elementos de G que comutam. N ao e difcil vericar que o centro de um
grupo e um subgrupo.
Proposi c ao 2.1. Sejam e caminhos ligando x
0
e x
1
. Ent ao
se, e somente se
[
1
] Z
_
1
_
X, x
0
__
.
x
0
x
1
Figura 2.7:
Prova : () Para todo []
1
_
X, x
1
_
, temos:
_
[]
_
= [
1
] = [
1

1
]
= [
1
] [
1
]
= [
1
] [
1
]
= [
1

1
]
= [
1
]
=
_
[]
_
,
pois [
1
]
1
_
X, x
0
_
.
() Sejam e caminos ligando x
0
e x
1
; ent ao
se, e somente se
2.3. GRUPOS DE HOMOTOPIAS ABELIANOS 41
=
1
se, e somente se
1 =
1. Logo, para todo []

1
_
X, x
0
_
:
1
_
[]
_
=
1
_
[]
_
[
1
] = [
1
];
equivalentemente:
1

1

1

1

1

1
1

1

1

1

1

1

1

1
[
1
] = [
1
]
Logo, [
1
] [] = [] [
1
]; ent ao [
1
] Z
_
1
_
X, x
0
__
.
Corol ario 2.2.
1
_
X, x
0
_
e abeliano se, e somente se
n ao depende de .
Prova : () Sejam e caminhos ligando x
0
e x
1
; ent ao:
[
1
] Z
_
1
_
X, x
0
__
=
1
_
X, x
0
_
.
Logo
, isto e
n ao depende de .
() Sejam []
1
_
X, x
0
_
e um caminho ligando x
0
e x
1
; ent ao e um caminho
ligando x
0
e x
1
; pela proposic ao anterior:
[
_

_

1
] Z
_
1
_
X, x
0
__
Como [] = [
_

_

1
] Z
_
1
_
X, x
0
__
temos que
1
_
X, x
0
_
Z
_
1
_
X, x
0
__
, isto e:
1
_
X, x
0
_
= Z
_
1
_
X, x
0
__
.
Em geral, os grupos de homotopias n ao s ao abelianos. O grupo fundamental de um
espaco depende apenas da componente conexa por caminhos do ponto x
0
. Logo, e
natural estudar o grupo fundamental s o para espacos conexos por caminhos.
2.3 Grupos de Homotopias Abelianos
Aseguir, apresentamos uma classe especial de espacos topol ogicos que possuem grupo
fundamental abeliano. Em particular, os grupos fundamentais s ao todos isomorfos.
Deni c ao 2.3. Ogrupo G e dito topol ogico se tamb em e umespa co topol ogico tal que a opera c ao
do grupo e a aplica c ao:
:G G
a a
1
s ao contnuas.
42 CAP

Exemplo 2.2.
[1] R
n
com a topologia e a multiplicac ao usual e um grupo topol ogico.
[2] Seja S
1
C com a topologia induzida pela topologia usual de C. Ent ao S
1
com a
multiplicac ao de n umeros complexos e um grupo topol ogico.
[3] Analogamente, o toro S
1
S
1
e um grupo topol ogico.
[4] Os grupos de matrizes com o produto de matrizes s ao grupos topol ogicos.
Como veremos a seguir, a estrutura alg ebrica no espaco topol ogico G se reete forte-
mente em seu grupo fundamental.
Utilizando a operac ao contnua do grupo topol ogico, isto e:
: G G G
(a, b) a b,
denimos um novo produto em
1
_
G, e
_
, onde e e a identidade de G.
Dados , : I G caminhos tais que (0) = (1) = (0) = (1) = e, denotamos e
denimos este novo produto por:
(t) = (t) (t), (2.1)
para todo t I. Note que (0) = (0) (0) = e e = e = (1).
Podemos denir atrav es de (2.1) um novo produto em
1
_
G, e
_
:
1
_
G, e
_
1
_
G, e
_

1
_
G, e
_
([], []) [ ].
Utilizamos a seguinte notac ao:
[] [] = [ ].
Como antes, denotemos o caminho constante por c
e
(t) = e, para todo t I.
Lema 2.2. Sejam
1
,
2
,
1
,
2
: I G:
1. Se
1

2
e
1

2
, ent ao:
1

1

2

2
.
2. Em particular, se
1
,
2
,
1
,
2
s ao caminhos fechados, com ponto base e, ent ao
_
1

1
_
2

2
_
=
_
1

2
_
1

2
_
.
2.3. GRUPOS DE HOMOTOPIAS ABELIANOS 43
Prova :
1. Sejam F :
1

2
e G :
1

2
as respectivas homotopias. Denamos H(t, s) =
F(t, s) G(t, s); ent ao H :
1

1

2

2
.
2. Utilizamos as denic oes de cada produto:
_
1

1
_
2

2
_
(t) =
1

1
(t)
2

2
(t)
=
_
1
(2 t)
2
(2 t) se 0 t 1/2
1
(2 t 1)
2
(2 t 1) se 1/2 t 1
=
_
1

2
_
1

2
_
(t).
Observa c oes 2.1.
1. Fazendo
2
=
1
= c
e
, na segunda parte do lema, temos:
1

2
(
1
c
e
) (c
e

2
) = (
1
c
e
) (c
e

2
)
1

2
.
Logo,
[
1

2
] = [
1

2
], (2.2)
isto e, ambos os produtos em
1
_
G, e
_
coincidem.
2. Fazendo
1
=
2
= c
e
, na segunda parte do lema, temos:
1

2
(c
e

1
) (
2
c
e
) = (c
e

2
) (
1
c
e
)
2

1
.
Logo,
[
1

2
] = [
2

1
]. (2.3)
Teorema 2.3. Se G e um grupo topol ogico, ent ao
1
_
G, e
_
e um grupo abeliano. Al em disso,
os produtos denidos em
1
_
G, e
_
coincidem.
Prova : Segue de (5.3) e (2.3). De fato, de (5.3), para todo [], []
1
_
G, e
_
, temos que
[] [] = [] []. De (2.3), temos:
[] [] = [] [] = [ ] = [ ] = [] [].
Exemplo 2.3.
[1] Considere S
1
como grupo topol ogico e e = (1, 0); ent ao
1
_
S
1
, e
_
e um grupo abeli-
ano.
[2] Considere S
1
S
1
como grupo topol ogico; ent ao
1
_
S
1
S
1
, e
_
e um grupo abeliano.
[3]
1
_
O(n), I
_
e um grupo abeliano.
Observe que n ao utilizamos todas as propriedades do grupo topol ogico. Isto nos indica
que e possvel enfraquecer a hip otese da estrutura de grupo. Essencialmente utiliza-
mos a identidade, sendo a operac ao do grupo contnua.
44 CAP

2.4 Homomorsmo Induzido
Seja f : X Y contnua. Nos captulos anteriores provamos os seguintes fatos:
1. Se e s ao caminhos em X, ent ao f e f s ao caminhos em Y .
2. Se , ent ao f f .
3. f ( ) (f ) (f ).
4. Se []
1
_
X, x
0
_
, ent ao [f ]
1
_
Y, f(x
0
)
_
.
Lema 2.3. Se f : X Y e contnua, ent ao
f
:
1
_
X, x
0
_

1
_
Y, f(x
0
)
_
[] [f ],
e um homomorsmo de grupos.
Prova : Sejam [] e []
1
_
X, x
0
_
, ent ao
f
_
[] []
_
= f
_
[ ]
_
= [f
_

_
]
= [f f
= [f ] [f
= f
_
[]
_
f
_
[]
_
.
O homomorsmo f
e dito induzido por f.

Proposi c ao 2.2. Se f : X Y e g : Y Z s ao contnuas, ent ao:
_
g f
_
= g
.
Em particular, id
X
induz id
1
(X,x
0
)
.
A prova e imediata.
Corol ario 2.3. Se f : X Y e um homeomorsmo, ent ao
f
:
1
_
X, x
0
_

1
_
Y, f(x
0
)
_
e um isomorsmo.
2.4. HOMOMORFISMO INDUZIDO 45
Exemplo 2.4.
[1] Utilizando a projec ao estereogr aca; S
n
p

= R
n
, temos:
1
_
S
n
p, p
0
_
=
1
_
R
n
, x
0
_
= q0.
[2] R
2
= S
1
R. Ent ao:
1
_
R
2
, (x
0
, y
0
)
_
=
1
_
S
1
R, (z
0
, t
0
)
_
.
[3] Sabemos que RP
1

= S
1
e CP
1

= S
2
; ent ao: :
1
_
RP
1
, [p]
_
=
1
_
S
1
, z
0
_
1
_
CP
1
, [q]
_
=
1
_
S
2
, w
0
_
.
Corol ario 2.4. Seja r : X A uma retra c ao e i : A X a inclus ao; ent ao:
1. r
e um homomorsmo sobrejetivo. Em particular, pelo teorema do isomorsmo:
1
_
X, x
0
_
/Ker(r
)
1
_
A, x
0
_
,
onde Ker(r
) e o n ucleo do homomorsmo r
.
2. i
e um homomorsmo injetivo. Em particular, se

1
_
X, x
0
_
e nitamente gerado, ent ao
1
_
A, x
0
_
e nitamente gerado.
Prova : Ambas seguem diretamente do fato que:
A
i
X
r
A,
e tal que r i = id
A
e
X
r
A
i
X,
e tal que i r = id
X
.
Lema 2.4. Sejam X e Y conexos por caminhos f, g : X Y fun c oes contnuas, tais que
f g e os homomorsmos induzidos:
f
:
1
_
X, x
0
_

1
_
Y, y
0
_
g
:
1
_
X, x
0
_

1
_
Y, y
1
_
,
onde y
0
= f(x
0
) e y
1
= g(x
0
). Ent ao, existe um caminho ligando y
0
a y
1
tal que
1
= g
.
Isto e, temos o seguinte diagrama comutativo:
1
_
X, x
0
_
f
w
w
w
w
w
w
w
w
w
w
1
_
Y, y
0
_
1
_
Y, y
1
_
46 CAP

Prova : Observe que n ao e evidente que as homotopias preservem os pontos bases dos
grupos.
Por hip otese existe homotopia F : f g; logo, necessariamente, durante a homotopia,
deve existir um caminho que liga y
0
a y
1
, isto e, existe (t) = F(x
0
, t). Devemos provar
que para todo []
1
_
X, x
0
_
:
_
__
[]
_
= g
_
[]
_
[
1
_
f
_
] = [g ].
Logo, devemos provar que
1
_
f
_
g relativamente a 0, 1. Como antes:
_
f
_
(t) =
_
1
(4 t) se 0 t 1/4
(f )(4 t 1) se 1/4 t 1/2
(2 t 1) se 1/2 t 1
=
_
_
(1 4 t) = F(x
0
, 1 4 t) se 0 t 1/4
F((4 t 1), 0) se 1/4 t 1/2
F(x
0
, 2 t 1) se 1/2 t 1
Note que (g )(t) = F((t), 1); por outro lado, g e
y
1
(g ) e
y
1
e
e
y
1
(g ) e
y
1
(t) =
_
_
F(x
0
, 1) se 0 t 1/4
F((4 t 1), 1) se 1/4 t 1/2
F(x
0
, 1) se 1/2 t 1
Denamos a homotopia H :
1
_
f
_
g , por:
H(t, s) =
_
_
F(x
0
, 1 4 t + 4 t s) se 0 t 1/4
F((4 t 1), s) se 1/4 t 1/2
F(x
0
, 2 (t + s t s) 1) se 1/2 t 1
Logo, H(t, 0) =
1
_
f
_
(t), H(t, 1) = g (t) e H(0, s) = H(1, s) = y
1
.
Teorema 2.4. SejamX e Y espa cos conexos por caminhos. Se f : X Y e uma equival encia
homot opica, ent ao:
f
:
1
_
X, x
0
_

1
_
Y, f(x
0
)
_
e um isomorsmo de grupos.
Prova : Sejam f : X Y e g : Y X inversas homot opicas; ent ao g f id
X
; pelo
lema 2.4, existe tal que:

_
g f
_
= id
1
(X,x
0
)
.
Logo,
_
g f
_
e, necessariamente, isomorsmo; ent ao g
e sobrejetiva e f
e injetiva.
Por um argumento an alogo, de f g id
Y
, obtemos que g
e injetiva e f
e sobrejetiva.
2.4. HOMOMORFISMO INDUZIDO 47
Corol ario 2.5. Se X e contr atil, ent ao
1
_
X, x
0
_
0.
Corol ario 2.6. Se A X e um retrato por deforma c ao ou um retrato por deforma c ao forte,
ent ao a retra c ao induz um isomorsmo:
r
:
1
_
X, x
0
_
=
1
_
A, x
0
_
.
Em geral, como veremos mais adiante, as propriedades de f n ao s ao herdadas por f
.
Por exemplo, se f e injetiva, n ao necessariamente f
e injetiva.
Se
1
_
X, x
0
_

1
_
Y, f(x
0
)
_
, isto n ao implica que exista um homeomorsmo entre X e
Y .
Exemplo 2.5.
[1] S
1
0 e um retrato por deformac ao de S
1
R. Ent ao:
1
_
S
1
R, (z
0
, 0)
_

1
_
S
1
0, (z
0
, 0)
_

1
_
S
1
, z
0
_
[2] O crculo central e um retrato por deformac ao da faixa de M oebius M. Ent ao:
1
_
M, x
0
_

1
_
, x
0
_

1
_
S
1
, z
0
_
.
Isto mostra que embora
1
_
M, x
0
_
e
1
_
S
1
, z
0
_
sejam isomorfos, M e S
1
n ao s ao home-
omorfos (por que?).
Proposi c ao 2.3. Sejam x
0
X, y
0
Y e X Y com a topologia produto. Ent ao
1
_
X Y, (x
0
, y
0
)
_

1
_
X, x
0
_
1
_
Y, y
0
_
,
onde
1
_
X, x
0
_
1
_
Y, y
0
_
e o produto direto de grupos.
Prova : Denotemos por p : X Y X e q : X Y Y as projec oes naturais.
Denamos:
:
1
_
X Y, (x
0
, y
0
)
_

1
_
X, x
0
_
1
_
Y, y
0
_
[]
_
p
([]), q
([])
_
.
i) est a bem denida, isto e, se [] = [] devemos provar que
_
[]
_
=
_
[]
_
.
Se [] = [], existe F : homotopia correspondente.
Consideremos H
1
(t, s) = (p F)(t, s) e H
2
(t, s) = (q F)(t, s); ent ao:
H
1
(t, 0) = p
_
(t)
_
, H
1
(t, 1) = p
_
(t)
_
H
2
(t, 0) = q
_
(t)
_
, H
2
(t, 1) = q
_
(t)
_
.
48 CAP

Logo,
_
[]
_
=
_
[]
_
.
ii) e um homomorsmo, pois p
e q
s ao homomorsmos.
iii) e sobrejetiva. De fato, para todo
_
[
1
], [
2
]
_

1
_
X, x
0
_
1
_
Y, y
0
_
, consideremos
(t) = (
1
(t),
2
(t)); ent ao []
1
_
X Y, (x
0
, y
0
)
_
e tal que:
_
[]
_
=
_
p
([]), q
([])
_
=
_
[
1
], [
2
]
_
.
iv) e injetiva. Seja []
1
_
X Y, (x
0
, y
0
)
_
; ent ao (t) = (
1
(t),
2
(t)) e tal que
1
(0) =
1
(1) = x
0
e
2
(0) =
2
(1) = y
0
_
[]
_
= ([c
x
0
], [c
y
0
]) [p ] = [c
x
0
] e [q ] = [c
y
0
],
isto e, existem F : p c
x
0
e G : q c
y
0
. Denamos:
H(t, s) = (F(t, s), G(t, s)), logo :
H(t, 0) = (F(t, 0), G(t, 0)) = ((p )(t), (q )(t)) = (
1
(t),
2
(t))
H(t, 1) = (F(t, 1), G(t, 1)) = (x
0
, y
0
)
Ent ao, [] = [c
(x
0
,y
0
)
]; logo Ker() = [c
(x
0
,y
0
)
] e e injetiva.
Exemplo 2.6.
[1] Sabemos que
1
_
R
2
, (x
0
, y
0
)
_

1
_
S
1
R, (z
0
, t
0
)
_
; logo:
1
_
R
2
, (x
0
, y
0
)
_
=
1
_
S
1
R, (z
0
, t
0
)
_
=
1
_
S
1
, z
0
_
1
_
R, t
0
_
=
1
_
S
1
, z
0
_
.
Em geral, R
n
p

= S
n1
R; logo:
1
_
R
n
p, p
0
_
=
1
_
S
n1
R, (w
0
, p
0
)
_
=
1
_
S
n1
, w
0
_
.
[2] Considere o toro T = S
1
S
1
; ent ao:
1
_
T, (z
0
, z
0
)
_
=
1
_
S
1
, z
0
_
1
_
S
1
, z
0
_
.
[3] Considere o toro s olido S
1
B; ent ao:
1
_
S
1
B, (z
0
, p
0
)
_
=
1
_
S
1
, z
0
_
1
_
B, p
0
_
=
1
_
S
1
, z
0
_
.
2.5 Espa cos Simplesmente Conexos
Deni c ao 2.4. X e simplesmente conexo se e conexo por caminhos e
1
_
X, x
0
_
= 0, x
0
X.
Proposi c ao 2.4. X e simplesmente conexo se, e somente se para todos , : I X tais que
(0) = (0) e (1) = (1), tem-se .
Prova : Sejam e caminhos ligando x
0
a x
1
X; ent ao [
1
]
1
_
X, x
0
_
. Se X e
simplesmente conexo, ent ao
1
e
x
0
; logo
1
e
x
0
; logo .
A recproca e imediata.
2.5. ESPAC OS SIMPLESMENTE CONEXOS 49
Exemplo 2.7.
[1] Se X e contr atil, ent ao e simplesmente conexo. Veremos mais adiante que a recproca
e falsa.
[2] Se X e Y s ao simplesmente conexos, ent ao X Y e simplesmente conexo.
Lema 2.5. Seja X um espa co topol ogico tal que X = U V , onde U e V s ao subespa cos abertos
simplesmentes conexos e U V e conexo por caminhos. Ent ao X e simplesmentes conexo.
Prova : Seja []
1
_
X, x
0
_
tal que x
0
U V . Como e contnua, temos que o
conjunto
1
_
U
_
,
1
_
V
_
e uma cobertura do compacto I. Logo, existe (por que?) uma
partic ao de I:
0 = t
0
< t
1
< . . . < t
n1
< t
n
= 1
tal que
_
[t
i1
, t
i
]
_
U ou
_
[t
i1
, t
i
]
_
V . Se dois intervalos consecutivos [t
i1
, t
i
] e
[t
i
, t
i+1
] s ao tais que
_
[t
i1
, t
i
_
e
_
[t
i
, t
i+1
]
_
pertencem ambos a U ou V , eliminamos o
ponto comum t
i
; logo, podemos considerar (t
i
) U V . Por outro lado, como U V
e conexo por caminhos, podemos ligar x
0
a (t
i
) por um caminho
i
:
Para cada i, denamos:
i
(s) = ((t
i
t
i1
) s + t
i1
), 0 s 1.
Logo,
i
(0) = (t
i1
) e
i
(1) = (t
i
); como
1

2

n
, ent ao:
(
1

1
1
) (
1

2

1
2
) (
2

3

1
3
) . . . (
n

n
).
Veja o seguinte desenho:
x
0
1
(t
1
)
(t
2
)
2
(t
(t
i-1
)
i
i
)
2
Figura 2.8:
50 CAP

Note que cada
i
i+1
1
i+1
U ou a V ; como U e V s ao simplesmente conexos, temos
que para cada i
i

i+1

1
i+1
c
i
; ent ao c
x
0
.
Logo
1
_
X, x
0
_
= 0.
E possvel enfraquecer as hip oteses do lema. Por exemplo, se X = AB tal que AB

seja conexo por caminhos, sem necessariamente A ou B serem abertos em X. Basta
considerar U e V abertos tais que A U, B V , U V conexo por caminhos e as
inclus oes: A U e B V que s ao equival encias homot opicas.
Corol ario 2.7.
1
_
S
n
, p
_
= 0 para todo n 2.
Prova : N ao e difcil ver que:
S
n

= S
n
S
n
+
,
onde S
n
+
= S
n
p
N

= R
n
e S
n
= S
n
p
S

= R
n
; ambos os conjuntos s ao abertos
e contr ateis; logo, s ao abertos e simplesmente conexos. Por outro lado, sabemos que
S
n
S
n
+
S
n1
, logo e conexo por caminhos. Pelo lema, temos que S
n
e simplesmente
conexo, para todo n 2. Veja [MV].
Provaremos nos pr oximos par agrafos que S
1
n ao e simplesmente conexo. Por outro
lado, segue do teorema de Stokes que S
n
n ao e contr atil.
Exemplo 2.8.
[1] R
n
= R
n
0 e simplesmente conexo se n > 2. De fato, R
n
S
n1
.
[2] Sejam S
m
e S
n
R
n+1
esferas tais que S
n
S
m
= p, com n m 2.
Consideremos X = S
n
S
m
; ent ao
1
_
X, x
0
_
= 0.
S
a
b
n
m
S
Figura 2.9: X = S
n
S
m
2.5. ESPAC OS SIMPLESMENTE CONEXOS 51
Sejam a S
n
, b S
m
tais que a, b ,= p; U = X a e V = X b, claramente
S
m
U, S
n
V
e U V e conexo por caminhos; ent ao X e simplesmente conexo.
[3] Para m2 n, temos os seguintes homeomorsmos:
R
m
R
n

=
_
R
mn
0
_
R
n

= S
mn1
R
n
;
por outro lado, sabemos que S
mn1
R
n
S
mn1
. Logo:
1
_
R
m
R
n
, (z
0
, w
0
)
_
=
1
_
S
mn1
R
n
, (x
0
, y
0
)
_
=
1
_
S
mn1
, x
0
_
= 0,
se m2 > n.
Notamos que existem exemplos em que a reuni ao de espacos simplesmente conexos
n ao e necessariamente simplesmente conexo, mesmo que tenham um ponto comum.
(Verique!).
52 CAP

2.6 Exerc cios
1. Prove que h : [a, b] [0, 1] denido por h(t) =
t a
b a
e um homeomorsmo.
2. Complete todos os detalhes da prova do teorema anterior.
3. Se consideramos
_
X, x
0
, x
1
o conjunto das classes de caminhos que ligam x

0
a
x
1
, (x
0
,= x
1
), com a mesma operac ao denida anteriormente para
1
_
X, x
0
_
, o
conjunto
_
X, x
0
, x
1
e um grupo? Justique sua resposta.

4. Seja
(X, x
0
) = : I X / (0) = (1) = x
0
.
Verique que:
1
_
X, x
0
_
= (X, x
0
)
_
,
onde e a homotopia de caminhos.
5. Um espaco topol ogico X e dito espaco de Hopf ou H-espaco se existem func ao
contnua (multiplicac ao):
m : X X X,
e x
0
X tais que m(x
0
, x
0
) = x
0
, q
1
i
{x
0
}
id
X
e m q
2

{x
0
}
id
X
, onde
q
1
, q
2
: X X X
s ao denidas por q
1
(x) = (x, x
0
) e q
2
(x) = (x
0
, x). Com as notac oes anteriores,
seja X um H-espaco. Verique que:
(a) m((q
1
) (q
2
)) , onde e s ao caminhos fechados em x
0
.
(b)
1
_
X, x
0
_
e abeliano.
Cap tulo 3
GRUPO FUNDAMENTAL DO
C
IRCULO
Este captulo e crucial para obter novos exemplos de grupo fundamental e estudar, em
particular, as t ecnicas gerais que apressentaremos nos pr oximos captulos.
Para calcular
1
_
S
1
, x
0
_
estudaremos uma s erie de conceitos novos que ser ao natural-
mente estendidos a espacos topol ogicos em geral.
3.1 Introdu c ao
Seja x
0
= (1, 0) S
1
C, xado. Todo caminho em S
1
fechado em x
0
, arbitr ario tem
que dar um m ultiplo inteiro de voltas ao redor de S
1
.
Provaremos que essencialmente, existe somente uma unica classe de caminhos fecha-
dos n ao homot opicos a uma constante em S
1
.
A id eia b asica deste captulo e comparar caminhos de S
1
com caminhos de R via o
homeomorsmo local exp. (Veja [MV]):
Para visualizar geometricamente a aplicac ao exp, consideramos H uma h elice emR
3
:
Figura 3.1:
53
54 CAP
ITULO 3. GRUPO FUNDAMENTAL DO C
IRCULO
Parametrizada por:
: R R
3
t (cos(2 t), sen(2 t), t);
temos que H e homeomorfo a R .
O homeomorsmo local exp pode ser pensado como a restric ao da projec ao de p :
R
3
R
2
, onde p(x, y, z) = (x, y) para todo (x, y, z) H.
Por outro lado, temos que exp
1
(1, 0) = Z e que se n for positivo o caminho sobe
ao longo da h elice; analogamente se n e negativo o caminho desce ao longo da h elice.
exp : R S
1
t exp(t) = e
2it
.
S
1
exp
IR
Figura 3.2:
Provaremos que para todo : I S
1
caminho fechado em x
0
, existe um unico
caminho : I R que liga a origem com n, logo (t) = nt, tal que = exp . Em
outras palavras, existe um unico que torna o seguinte diagrama comutativo:
R
exp

S
1
O caminho e dito levantamento do caminho com ponto inicial em (0).
3.1. INTRODUC

AO 55
Fixando uma orientac ao em S
1
, se o caminho fechado em x
0
percorre n vezes S
1
no
sentido positivo (em relac ao ` a base can onica de R
2
), diremos que o n umero de voltas
do caminho e n; caso contr ario que e n. Este n umero inteiro e dito o grau do caminho
. Denamos:
gr :
1
_
S
1
, x
0
_
Z
[] (1) = n,
onde = exp . Provaremos que gr e um isomorsmo de grupos. A prova segue dos
seguintes teoremas:
Lema 3.1. Sejam U S
1
x
0
aberto e V = [0, 1] exp
1
(U) R. Ent ao:
1.
exp
1
_
U
_
=
_
nZ
v + n; v V ,
onde a uni ao dos abertos V + n := v + n; v V e disjunta.
2. Para cada n Z, V + n e homeomorfo a U via a fun c ao exp.
Prova :
1. Sem perda de generalidade podemos supor que o aberto de S
1
e da forma:
U = exp(2it); t (a, b) [0, 1].
Logo, V = [0, 1] exp
1
(U) = (a, b); ent ao V + n = (a + n, b + n) para todo n Z.
Claramente, exp
1
_
U
_
e a uni ao disjunta dos abertos V + n.
2. Denotando por e
n
= exp
V +n
temos que e
n
e contnua e bijetiva. Vericaremos
a continuidade de (e
n
)
1
: U S
1
(V + n) R. Seja W V + n fechado.
Como V+n e limitado ent ao W e compacto; por outro lado S
1
e de Hausdorff; logo
e
n
: W e
n
(W) U e um homeomorsmo; ent ao e
n
(W) e compacto e, emparticular,
fechado.
Corol ario 3.1. Se X e um espa co topol ogico, ent ao toda fun c ao f : X S
1
n ao sobrejetiva e
homotopicamente nula.
Prova : Suponha que x / Im(f). Ent ao S
1
x e homeomorfo a (0, 1). Por outro lado
o intervalo (0, 1) e contr atil; logo,f e homotopicamente nula.
A seguir apresentamos o primeiro resultado crucial deste captulo: o chamado Teo-
rema de Levantamento dos Caminhos. Este teorema e bastante geral. Neste par agrafo
apresentamos apenas a prova para exp : R S
1
.
56 CAP
IRCULO
Teorema 3.1. Toda fun c ao contnua f : I S
1
possui um levantamento F. Fixado t
0
R
com exp(t
0
) = f(0), o levantamento F tal que F(0) = t
0
e unico.
R
exp
I
f

S
1
Prova : Para cada x S
1
, seja U
x
uma vizinhanca de x. Pelo lema anterior exp
1
(U
x
)
e uma reuni ao disjunta de abertos (homeomorfos ` a U
x
via a exp). Como f e contnua,
ent ao:
f
1
(U
x
); x S
1
= (x
j
, y
j
) [0, 1]; j J
e uma cobertura aberta para I. Pela compacidade de I, existe uma subcobertura nita:
[0, t
1
+ e
1
), (t
2
e
2
, t
2
+ e
2
), , (t
n
e
n
, 1]
comt
i
+e
i
t
i+1
e
i+1
para i = 0, ..., n1. Escolhemos a
i
(t
i+1
e
i+1
, t
i+1
+e
i+1
) para
i = 1, , n 1 tais que 0 = a
0
, a
1
, , a
n
= 1 e uma partic ao de I. Seja S
i
S
1
conjunto aberto tal que f([a
i
, a
i+1
]) S
i
, i = 0, , n. Deniremos (indutivamente)
levantamentos F
k
sobre [0, a
k
] da seguinte forma:
a
I
exp
S
k k+1
1
a
k
)
k
,
k+1
a
S
k
f
F
W
IR
f([
])
a
a
~
(
Figura 3.3:
1. Para k = 0, seja F
0
= t
0
.
2. Suponha que F
k
: [0, a
k
] R e denida e unica (com F
k
(0) = t
0
).
3. Aplicando o lema anterior, temos que exp
1
(W
k
) e uma uni ao disjunta de aber-
tos tal que (exp[
W
j
) e um homeomorsmo para cada j J (W
k
e um aberto tal que
3.2. C

ALCULO DO GRUPO FUNDAMENTAL DO C
IRCULO 57
f([a
k
, a
k+1
]) W
k
). F
k
(a
k
) W para algum W W
j
; j J. Note que W e unico.
Qualquer extens ao F
k+1
leva [a
k
, a
k+1
] em W ([a
k
, a
k+1
] e conexo por caminhos e F
k+1
e contnua). Como (exp[
W
) : W S
k
e homeomorsmo, existe uma unica func ao
: [a
k
, a
k+1
] W tal que exp[
W
= f[
[a
k
,a
k+1
]
, onde = (exp[
W
)
1
. Denimos:
F
k+1
(s) =
_
F
k
(s) se 0 s a
k
(s) se a
k
s a
k+1
.
F
k+1
e contnua (F
k
(a
k
) = (a
k
)) e unica por construc ao. Indutivamente obtemos F.
3.2 C alculo do Grupo Fundamental do C rculo
Usando o teorema, podemos denir a func ao grau de um caminho fechado em S
1
.
Seja um caminho fechado tal que x
0
S
1
e xado e : I R seu unico le-
vantamento tal que (0) = 0. Como exp
1
((1)) = exp
1
(1) = Z (denotamos por
1 = (0, 1) S
1
), vemos que (1) e um inteiro; logo, denimos:
gr() = (1).
Mostraremos que caminhos (homotopicamente) equivalentes possuem o mesmo grau.
Inicialmente mostraremos que seus respectivos levantamentos s ao (homotopicamente)
equivalentes. Para isto, trocaremos [0, 1] por [0, 1] [0, 1] no teorema anterior.
Lema 3.2. (Levantamento das Homotopias)
Toda fun c ao contnua H : [0, 1] [0, 1] S
1
possui um levantamento:
H : [0, 1] [0, 1] R.
Dado x
0
R com exp(x
0
) = H(0, 0), existe um unico levantamento de H tal que H(0, 0) =
x
0
.
R
exp
I I
H
e
H
x
x
x
x
x
x
x
x
x
S
1
A prova e an aloga ` a do lema anterior. Sabendo que I
2
e compacto, denimos induti-
vamente levantamentos F
i,j
sobre ret angulos.
Como corol ario do lema anterior, temos o seguinte teorema de monodromia para a
aplicac ao:
exp : R S
1
,
dizendo que caminhos homot opicos tem o mesmo grau.
58 CAP
IRCULO
Corol ario 3.2. Se
0
e
1
s ao caminhos homot opicos em S
1
xados em x
0
, e
0
e
1
s ao seus
levantamentos respectivos com
0
(0) =
1
(0), ent ao
0
(1) =
1
(1). Logo:
gr(
0
) = gr(
1
).
Prova : Considere uma homotopia F :
0

1
. Ent ao, existe um unico levantamento
G : I
2
R com G(0, 0) =
0
(0) =
1
(0). Analogamente, existem levantamentos
0
para
0
e
1
para
1
. Como F(t, 0) =
0
(t), temos G(t, 0) =
0
(t) e G(t, 1) =
1
(t).
F(1, t) =
0
(1) =
1
(1); ent ao G(1, t) e um caminho entre
0
(1) e
1
(1). Mas, G(1, t)
exp
1
(
0
(1))

= Z. Portanto G(1, t) e constante e
0
(1) =
1
(1).
Estamos agora em condic oes de calcular o grupo fundamental do crculo.
Teorema 3.2. Seja x
0
= (1, 0); ent ao, temos um isomorsmo de grupos:
_
1
_
S
1
, x
0
_
,
_
=
_
Z, +
_
.
Em outras palavras,
1
_
S
1
, x
0
_
e um grupo cclico innito gerado por [], onde o caminho
: I S
1
e tal que (t) = exp(t).
Prova : Denimos a aplicac ao:
gr :
1
_
S
1
,x
0
_
Z
[] (1)
onde e o unico levantamento de .
1. Pelo corol ario anterior, gr e bem denida.
2. A func ao gr e um homomorsmo de grupos. Devemos provar que, para todo
[], []
1
_
S
1
, x
0
_
, temos que
gr([] []) = gr([]) + gr([]).
Por outro lado, [] [] = [ ]. Consideremos : [0, 1] R denida por:
(t) =
_
(2 t) se 0 t 1/2
(2 t 1) + (1) se 1/2 t 1.
O caminho e bem denido em t = 1/2. Como (1) e um inteiro, temos que exp =
e, portanto, pela unicidade do levantamento =

. Ent ao:
gr([] []) = gr([ ]) = (1) = (1) +
(1) = gr([]) + gr([]).

3. A func ao gr e injetiva, isto e, se gr([] = gr([]), ent ao (1) =

(1), como (0) =
(0) = 0. Consideremos a homotopia:

H(t, s) = exp((1 s) (t) + s
(t)).
3.3. ALGUMAS CONSEQU
ENCIAS DO ISOMORFISMO 59
H(t, 0) = (t) e H(t, 1) =

(t). Logo, [] = [].
4. A func ao gr e sobrejetiva. Dado n Z, seja : [0, 1] R denida por (t) = nt;
ent ao, exp : [0, 1] S
1
e exp (0) = exp (1) = x
0
. Logo, e um levantamento
de exp tal que (0) = 0; ent ao:
gr([exp ]) = (1) = n.
Isto completa a prova do resultado principal.
3.3 Algumas Consequ encias do Isomorsmo
[1] A esfera S
n
, (n > 1) n ao e homeomorfa a S
1
. De fato, se fossem homeomorfas:
0 =
1
_
S
n
, p
0
_
=
1
_
S
1
, x
0
_
= Z,
o que e absurdo.
[2] Seja o cilindro C = S
1
R; ent ao:
1
_
C, (x
0
, z
0
)
_
=
1
_
S
1
, x
0
_
1
_
R, z
0
_
= Z.
Dos captulos anteriores sabemos que S
1
0 e um retrato por deformac ao de S
1
R.
Um gerador do grupo
1
_
C, (x
0
, z
0
)
_
e a classe de homotopia do crculo central (t) =
(exp(t), 0). Um caminho fechado em C e homot opico a n vezes o gerador , quando
n e o n umero de vezes que o caminho fechado intersecta transversalmente a geratriz
(1, 0) R.
S
S x IR
1
1
Figura 3.4: Gerador de
1
_
C, (x
0
, z
0
)
_
Em geral,
1
_
S
1
R
n
, p
0
_
= Z.
60 CAP
IRCULO
[3] Considere o toro T
2
= S
1
S
1
; ent ao:
1
_
T
2
, (z
0
, z
0
)
_
=
1
_
S
1
, z
0
_
1
_
S
1
, z
0
_
= Z Z.
O gerador do grupo
1
_
T
2
, (z
0
, z
0
)
_
pode ser entendido da seguinte forma: considere o
paralelo e o meridiano :
Figura 3.5: Meridiano e paralelo do toro
Todo caminho fechado e homot opico a p + q , onde p e o n umero de vezes que o
caminho fechado intersecta transversalmente o paralelo e q e o n umero de vezes que
o caminho fechado intersecta tranversalmente o meridiano com o seguinte cuidado:
xando uma direc ao, contamos positivamente as passagens para um lado e negativa-
mente para o outro.
1
_
T
2
, (z
0
, z
0
)
_
) Z Z
[] (p, q)
Figura 3.6: e homot opico a p + q
[4] Considere o toro s olido S
1
B; ent ao:
1
_
S
1
B, (z
0
, p
0
)
_
=
1
_
S
1
, z
0
_
= Z.
3.3. ALGUMAS CONSEQU
ENCIAS DO ISOMORFISMO 61
[5] O crculo central e um retrato por deformac ao da faixa de M oebius M. Ent ao:
1
_
M, x
0
_

1
_
, x
0
_

1
_
S
1
, z
0
_
Z.
[6] A esfera S
n
, (n > 1) n ao e homeomorfa a T
n
= S
1
S
1
. . . S
1
, (n-vezes). De fato,
se fossem homeomorfas, teramos que:
1
_
S
n
, z
0
_
=
1
_
T
n
, y
0
_
=
1
_
S
1
, x
0
_

1
_
S
1
, x
0
_
.
Isto e:
0

= Z . . . Z
= Z
n
,
o que e absurdo.
[7] Pelo mesmo argumento anterior, S
n
n ao e homeomorfa a S
n1
S
1
.
Corol ario 3.3. (Teorema Fundamental da

Algebra) Todo polin omio n ao constante com
coecientes em C possui uma raiz em C.
Prova : Sem perda de generalidade podemos supor que o polin omio tem a forma:
p(z) = z
n
+ a
1
z
n1
+ + a
n
.
Se p(z) n ao possui razes, para cada n umero real r 0, denimos:
f
r
(t) =
p(r exp(t))
|p(r exp(t))|
|p(r)|
p(r)
.
onde 0 t 1, f
r
(t) dene um caminho fechado em S
1
com ponto base x
0
. Seja
H(t, s) =
_
f
s/1s
(t) se 0 t 1, 0 s < 1
exp(nt) se 0 t 1, s = 1.
Note que:
lim
s1
H(s, t) = lim
s1
f
s/1s
(t) = lim
r+
f
r
(t) = (exp(t))
n
.
Logo, H e contnua. Por outro lado H(t, 0) = f
0
(t) = x
0
que e o caminho constante em
x
0
e
H(t, 1) = exp(nt), isto e H : f
0
f
1
, ent ao
0 = gr([f
0
]) = gr([f
1
]) = n
o que e uma contradic ao.
Corol ario 3.4. (Teorema do ponto xo de Brouwer para n=2) Seja D C tal que D =
S
1
. Toda fun c ao contnua h : D D possui um ponto xo, isto e, existe x D tal que
h(x) = x.
62 CAP
IRCULO
Prova : Suponhamos que h(x) ,= x para todo x D. Denamos
r : D S
1
do seguinte modo: r(x) S
1
e obtido da intersec ao de S
1
com a semi-reta de origem
em x e que passa por h(x).
O
r(x)
h(x)
x
S
1
Figura 3.7: Denic ao da func ao r = r(x)
A continuidade de r e clara, pois pequenas pertubac oes de x produzem pequenas
pertubac oes de h(x) e portanto pequenas pertubac oes da reta que liga estes pontos.
Note que se x S
1
, ent ao r(x) = x; logo, se consideramos i : S
1
D a inclus ao,
temos que r e um retrato, pois r i = id
S
1. Logo:
r
: 0

=
1
_
S
1
, x
0
_
Z
o que e uma contradic ao, pois D e contr atil.
Utilizando Geometria Analtica elementar, podemos dar uma denic ao explcita da
func ao r = r(x).
De fato, denotemos por v
1
= h(x), z = r(x) e v = (x v
1
)/|x v
1
|; logo
r(v) = z = v
1
+ t v,
para algum t 0 tal que v
1
+t v S
1
, isto e (v
1
+t v) (v
1
+t v) = 1, que e equivalente
a:
(x x) t
2
+ 2 t (v
1
x) + v
1
v
1
= 1.
Denotemos por t
x
a raiz positiva desta equac ao; ent ao:
r(x) = h(x) + t
x
x v
1
|x v
1
|
.
3.4. GRUPO FUNDAMENTAL DO ESPAC O PROJETIVO REAL 63
3.4 Grupo Fundamental do Espa co Projetivo Real
3.4.1 Introdu c ao
Nesta sec ao determinaremos o grupo fundamental do espaco projetivo real. Para isto,
utilizaremos diversas propriedades dos espacos projetivos reais j a estudadas em [MV].
Repetiremos as provas de alguns teoremas gerais, que ser ao apresentadas nos captulos
seguintes. Notamos que estas provas ser ao id enticas ` as vistas neste captulo.
Seja RP
n
o espaco projetivo real de dimens ao n. De [MV] sabemos que a projec ao:
: S
n
RP
n
e aberta e que para todo U S
n
aberto, temos:
1
_
_
U
__
= U
_
U
_
.
Por outro lado, : S
n
RP
n
e um homeomorsmo local.
De fato. Seja p RP
n
; ent ao p = x, x. Seja

U S
n
vizinhanca de x que n ao contem
nenhum ponto antpoda de seus pontos, isto e,

U
_
U
_
= . Logo,
_
U
_
= U e uma
vizinhanca de p, tal que:
1
_
U
_
=

U
_

U
_
e
e
U
e um homeomorsmo sobre U.
Observa c oes 3.1.
1. A vizinhanca U do lema anterior, tamb em e chamada vizinhanca distinguida do
ponto p RP
n
.
2. Como no caso de S
1
, mostraremos que : S
n
RP
n
tamb em tem a propriedade
do levantamento dos caminhos.
Proposi c ao 3.1. Sejam : I = [t
0
, t
1
] RP
n
e x
0
S
n
tal que (x
0
) = (t
0
). Existe um
unico caminho : I S
n
tal que (t
0
) = x
0
e = , isto e, temos o seguinte diagrama
comutativo:
S
n
{
{
{
{
{
{
{
{
RP
n
Prova : Observemos que proposic ao e v alida se:
1. (I) U e U RP
n
e uma vizinhanca distinguida do ponto x
0
, x
0
, tal que:
1
_
U
_
=

U
_

U
_
.
64 CAP
IRCULO
De fato, suponha que x
0

U e denotemos por =
e
U
. Logo, :

U U e um
homeomorsmo. Consideremos : I

U denida por =
1
.
2. O intervalo I = I
1
I
2
(i = 1, 2), onde I
i
s ao intervalos fechados com um extremo
comum t
2
e tais que a proposic ao seja v alida para
I
1
=
1
e
I
2
=
2
.
De fato, aplicando a proposic ao a cada intervalo, obtemos
1
: I
1
S
n
tal que

1
(t
0
) = x
0
e
1
=
1
e, a seguir,
2
: I
1
S
n
tal que
2
(t
2
) =
1
(t
2
) e
2
=
2
.
Logo, denimos : I S
n
por:
(t) =
_

1
(t) se t I
1

2
(t) se t I
2
.
O caso geral, segue dos casos 1. e 2. De fato, como I e compacto, ent ao podemos
decompor I numa reuni ao nita de subintervalos compactos justapostos, isto e I =
I
1
I
2
. . . I
k
tais que (I
i
) U
i
, para cada i, onde U
i
e uma vizinhanca distinguida.
A unicidade de segue do fato de que se supomos que existem ,
: I S
n
tais que
=
, ent ao para todo t I devemos ter (t) =

(t) ou (t) =
(t); utilizando
o produto interno de R
n+1
, temos < (t),
(t) >= 1, para todo t I; por outro lado,

como I e conexo, o produto interno anterior deve ser constante. Logo, se (t
0
) =

(t),
ent ao (t) =

(t) para todo t I.
Note que o levantamento de um caminho fechado em S
n
nem sempre e um caminho
fechado emRP
n
, pois cada caminho em S
n
possui dois levantamentos; al em disso, um
deles e fechado se, e somente se ambos s ao fechados. De fato, se : I S
n
e tal que
= e se e fechado, o caminho fechado possui um levantamento fechado. Se
os extremos do caminho s ao antipodais, e um caminho fechado emRP
n
que possui
levantamento n ao fechado.
Proposi c ao 3.2. Seja n 2; xando x
0
S
n
e p
0
= (x
0
) RP
n
e considerando , :
I RP
n
caminhos fechados de base p
0
, denotemos por ,
: I S
n
os correspondentes
levantamentos com origem em x
0
. Com as nota c oes anteriores, temos que (1) =

(1) se, e
somente se .
Prova : Se ,
: I S
n
s ao tais que (1) =

(1), como S
n
e simplesmente conexo,
temos .
Se =

, como (0) =

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

(1) = x
0
. Por
hip otese (1) =

(1) se, e somente se [ (1)

(1)[ , = 2, onde [ [ e a norma induzida
em RP
n
pela norma de R
n+1
. Em particular, se |(t) (t)| , = 2, para todo t I,
isto e (t) e (t) nunca s ao antipodais, ent ao [ (t)

(t)[ , = 2, para todo t I; como
(0) =

(0), n ao podemos ter [ (1)

(1)[ = 2. Em geral, considere a homotopia
H : ; pela continuidade uniforme de H, existem 0 = t
0
< t
1
< . . . < t
n
= 1 tais
que [H(s, t
i1
) H(s, t
i
)[ < 2, para todo s I e i = 1, . . . n. Denamos os caminhos
3.4. GRUPO FUNDAMENTAL DO ESPAC O PROJETIVO REAL 65
fechados em p
0
:
i
(s) = H(s, t
i
); os pontos
i
(s) e
i+1
(s) n ao podem ser antipodais,
logo
i
(1) =
i+1
(1). Ent ao,

0
(1) =
1
(1) = . . . =
n
(1) =

(1).
3.4.2 C alculo do Grupo Fundamental de RP
n
Sabemos que RP
1
S
1
, ent ao:
1
_
RP
1
, p
0
_
= Z.
Para n 2, existem apenas duas classes de homotopias de caminhos fechados em
RP
n
, com ponto base p
0
. A classe dos caminhos cujo levantamento e fechado e os que
possuem o levantamento aberto. Logo:
Teorema 3.3. Para n 2:
1
_
RP
n
, p
0
_
Z
2
.
Geradores do grupo
1
_
RP
n
, p
0
_
.
Seja (s) = (cos(s ), sen(s ), 0, . . . , 0) um caminho em S
n
, logo (0) = e
1
e () =
e
1
. O caminho fechado em RP
n
n ao e homot opico a uma constante. Note que
= 2 = 0. Logo, [] gera
1
_
RP
n
, p
0
_
.
Corol ario 3.5. (Teorema de Borsuk-Ulam para n=2)
N ao existe fun c ao f : S
2
S
1
contnua tal que f(x) = f(x), para todo x S
2
.
Prova : Se tal func ao existe, ent ao f(x) = f(x), para todo x S
2
. Ent ao, f induz no
quociente

f : RP
2
RP
1
tal que o seguinte diagrama comuta:
S
2
f
S
1
2
RP
2

f
RP
1
S
1
Isto e,

f
1
=
2
f. Por outro lado sabemos que:
1
_
RP
1
, p
0
_
=
1
_
S
1
, p
0
_
= Z
e
1
_
RP
2
, p
0
_
= Z
2
.
Logo,

f
: Z
2
Z deve ser um homorsmo trivial, pensados como grupos aditivos.
Seja um caminho emS
2
que liga o polo norte ao polo sul de S
2
ao longo de meridiano
66 CAP
IRCULO
de comprimento xo; ent ao [
1
] e um gerador de
1
_
RP
2
, p
0
_

= Z
2
. Como o polo
norte e o polo sul s ao pontos antipodais de S
2
, estes pontos, s ao identicados emRP
1
;
logo [
2
f ] e n ao trivial em
1
_
RP
1
, p
0
_
. Por outro lado:
[(
2
f) ] = [(

f
1
) ] =

f
([
1
]) = 0,
o que e uma contradic ao.
Aplica c oes do Teorema de Borsuk-Ulam
[1] Se f : S
2
R
2
contnua e tal que f(x) = f(x), para todo x S
2
, ent ao
f(z
0
) = (0, 0), para algum z
0
S
2
.
De fato, suponha que f(z) ,= (0, 0) para todo z S
2
. Ent ao, podemos denir:
h(z) =
f(z)
|f(z)|
e obtemos h : S
2
S
1
contnua tal que h(x) = h(x), o que contradiz o teorema de
Borsuk-Ulam.
[2] Se f : S
2
R
2
e contnua, ent ao existe z S
2
tal que f(z) = f(z).
De fato, suponha que f(z) ,= f(z) para todo z S
2
. Ent ao, podemos denir:
h(z) = f(z) f(z),
contnua tal que h(z) = h(z) e h ,= 0, o que contradiz o teorema de Borsuk-Ulam.
Em paricular, n ao existe subconjunto de R
2
que seja homeomorfo a S
2
.
3.5 Grupo Fundamental de Grupos Ortogonais
3.5.1 Introdu c ao
Estudaremos somente os grupos ortogonais especiais SO(n), n 3.
Consideremos o grupo topol ogico SO(n). Claramente, SO(1) = 1, isto e, um grupo
de um elemento; logo:
1
_
SO(1), p
0
_
= 0.
Por outro lado, SO(2) e formado pelas matrizes de ordem 2, tais que suas colunas
formam uma base ortonormal positiva de R
2
; logo estas colunas devem ser w e i w,
onde w S
1
. Ent ao,
SO(2) S
1
e consequentemente:
1
_
SO(2), p
0
_
= Z.
3.5. GRUPO FUNDAMENTAL DE GRUPOS ORTOGONAIS 67
3.5.2 Estudo do grupo SO(3)
Consideremos R
4
como o R-espaco vetorial de base 1, i, j, k. Isto e, se q R
4
, ent ao:
q = a + b i + c j + d k,
onde a, b, c, d R.
Deni c ao 3.1. Denotamos e denamos por Ho espa co vetorial R
4
, com o produto determinado
pelas seguinte regras:
i
2
= j
2
= k
2
= 1
i j = j i = k,
j k = k j = i,
k i = i k = j.
H e dito espa co dos quat ernios.
Observa c oes 3.2.
1. N ao e difcil vericar que
_
H, +,
_
e um anel.
2. Seja q H; denotamos o conjugado de q por q e denimos por:
q = a b i c j d k,
se q = a + b i + c j + d k.
3. N ao e difcil vericar que q q = q q 0, para todo q H.
4. Pelo tem anterior, denimos a norma emH:
|q|
2
= q q = q q = a
2
+ b
2
+ c
2
+ d
2
.
Esta norma coincide com a norma usual de R
4
e
|q
1
q
2
| = |q
1
| |q
2
|, (3.1)
para todo q
1
, q
2
H.
5. Se q ,= 0, podemos denir o inverso de q por:
q
1
=
q
|q|
.
6. N ao e difcil vericar que o produto denido em H e n ao comutativo. Portanto, H
n ao e um corpo.
68 CAP
IRCULO
7. Podemos identicar R com o subespaco vetorial gerado por < 1 > e R
3
com o
subespaco vetorial gerado por < i, j, k >. Logo, para todo q H temos que
q = a + p,
onde a R e p R
3
. Com estas identicac oes, os elementos de R s ao ditos quat ernios
reais e os de R
3
s ao ditos quat ernios puros.
De 3.1, temos que R e R
3
s ao ortogonais e que S
3
R
4
pode ser considerada como:
S
3
= q H/ |q| = 1.
De forma an aloga ` a S
1
C, S
3
H tem uma estrutura de grupo induzido pelo pro-
duto de H. Como a multiplicac ao denida em H e bilinear, logo contnua, segue que
S
3
e um grupo topol ogico.
Proposi c ao 3.3.
1. Z
_
H
_
= R, isto e, o centro do grupo H s ao os quat ernios reais.
2. q R
3
se, e somente se q
2
0.
3. Se q H e tal que q p = p q, para todo p R
3
, ent ao q R. Em particular, se q S
3
,
ent ao q = 1, isto e, Z
_
S
3
_
= 1, 1.
Prova : 1. Seja q = a + b i + c j + d k Z
_
H
_
; ent ao
i q = b + a i d j + c k
q i = b + a i + d j c k;
logo, d = c = 0 e q = a + b i. Analogamente:
j q = a j b k
q j = a j + b k;
logo, b = 0 e q = a.
2. Se q = b i + c j + d k R
3
, ent ao q
2
= (b
2
+ c
2
+ d
2
) 0.
Reciprocamente, seja q = a + b i + c j + d k, ent ao
q
2
= a
2
b
2
c
2
d
2
+ 2 a (b i + c j + d k).
Como q
2
R, temos que a = 0 e q R
3
ou b = c = d = 0 e a ,= 0 e q
2
> 0. Logo, se
q
2
0, ent ao q R
3
.
3. Seja q = a + b i + c j + d k; ent ao i q = b + a i d j + c k.
Por outro lado i q = q i = b + a i + d j c k; ent ao c = d = 0. Logo, q = a + i b;
analogamente temos que q j = j q, donde b = 0.
Note que se q S
3
e tal que q
2
= 1, ent ao q S
2
. De fato, como q
2
< 0, ent ao q R
3
e |q| = 1.
Observemos que i n ao possui nenhuma propriedade fundamental nos quat ernios pu-
ros. Dado q R
3
unit ario, sempre podemos considerar uma base ortonormal positiva
1, q, c, d, .
Lema 3.3. Seja B SO(3); ent ao existe uma base ortonormal a, b, c R
3
tal que nesta
base, B se escreve:
_
_
1 0 0
0 cos() sen()
0 sen() cos()
_
_
,
isto e, B e uma rota c ao de angulo em rela c ao ao eixo a.
Prova : Seja A a matriz B em alguma base ortonormal de R
3
; ent ao A
t
A = I e det(A) =
1; logo A
t
(AI) = I A
t
e:
det(A I) = detA
t
(AI) = det(I A
t
) = det(AI).
Donde det(A I) = 0. Logo, exite um vetor n ao nulo a R
3
tal que (A I) a = 0,
isto e Ba = a. Se for necess ario, mudamos a por a/|a|. Consideremos a unit ario.
Seja V o plano passando pela origem, ortogonal a a. Denotemos por b, c uma base
ortormal de V . Como B e uma isometria temos B(V ) V . Logo, C = B
V
tamb em e
uma isometria. A equac ao Ba = a implica que detB = detC = 1. Logo, a matriz C em
relac ao ` a base b, c e
_
cos() sen()
sen() cos()
_
3.5.3 C alculo do Grupo Fundamental de SO(3)
Seja q S
3
; denamos:
q
: H H
p q p q = q p q
1
.
A func ao
q
e naturalmente linear; na verdade, e um isomorsmo de espacos vetoriais,
com inversa
1
q
(p) = q p q.
Por outro lado,
q
(q) = q e
q
e uma isometria. De fato:
|
q
(p)| = |q p q| = |q| |p| |q| = |p|.
70 CAP
IRCULO
Sejam q
1
, q
2
S
3
, ent ao:
q
1
q
2
(p) = (q
1
q
2
) p (q
1
q
2
)
= q
1
(q
2
p q
2
) q
1
= q
1

q
2
(p) q
1
=
q
1
(
q
2
(p))
=
_
q
1

q
2
_
(p).
Claramente
q
deixa R invariante. Note que
q
tamb em deixa R
3
invariante; de fato,
seja p R
3
; denotemos por r = q p q; ent ao:
r
2
= q p q q p q = q p
2
q = p
2
0.
Ent ao, r R
3
. Logo, a aplicac ao:
q
: R
3
R
3
p q p q
e bem denida. A matriz de
q
tem como vetores colunas q i q
1
, q j q
1
e q k q
1
,
que dependem continuamente de q S
3
.
Suponha que q = cos() + a sen() onde a S
3
. Seja a, b, c uma base ortonormal
com a mesma orientac ao da base can onica de R
3
; ent ao:
q
(a) = a
q
(b) = b cos(2 ) + c sen(2 )
q
(c) = b cos(2 ) + c sen(2 ).
Logo,
q
SO(3); pelo lema e pelas observac oes anteriores, temos o seguinte teorema:
Teorema 3.4. A aplica c ao:
: S
3
SO(3)
e um homomorsmo contnuo sobrejetivo.
Note que o n ucleo da aplicac ao e formado pelos q S
3
tais que:
q p q
1
= p, ou seja q p = p q.
Logo, ker( = 1, 1, isto e,
q
1
=
q
2
se, e somente se q
1
= q
2
.
Corol ario 3.6.
SO(3) RP
3
.
De fato, de [MV], sabemos que RP
3
= S
3
_
ker() e:
S
3
SO(3)
RP
3
e
v
v
v
v
v
v
v
v
v
Como e uma bijec ao contnua, RP
3
compacto e SO(3) e de Hausdorff, ent ao e um
homeomorsmo.
Logo, obtemos o seguinte teorema:
Teorema 3.5.
1
_
SO(3), A
0
_
=
1
_
RP
3
, p
0
_
Z
2
.
72 CAP
IRCULO
Cap tulo 4
ESPAC OS DE RECOBRIMENTOS
4.1 Introdu c ao
Neste captulo generalizaremos todas as id eias sobre levantamento de func oes, estu-
dadas no captulo anterior e utilizadas no c alculo do grupo fundamental do crculo e
do espaco projetivo real.
Sejam X,

X espacos topol ogicos e p :

X X uma func ao contnua.
O aberto U X e dito vizinhanca distinguida se:
p
1
_
U
_
=
_
,
onde V
/ e uma famlia de abertos de

X, dois a dois disjuntos, tais que:
p
V
: V
U
e um homeomorsmo.
Deni c ao 4.1. Uma aplica c ao de recobrimento (ou simplesmente um recobrimento) e uma fun-
c ao
p :

X X
contnua, sobrejetiva e tal que todo x X possui uma vizinhan ca distinguida.
X e dito espaco de recobrimento; X e dito a base do recobrimento; a func ao p e dita

projec ao e p
1
(x) e bra sobre x X. A notac ao utilizada para recobrimentos e:
_
X, p,

X
_
.
A func ao contnua p :

X X e uma aplicac ao de recobrimento se, e somente se:
i. p e sobrejetiva.
73
74 CAP
ITULO 4. ESPAC OS DE RECOBRIMENTOS

ii. Para todo x X existe U vizinhanca de x tal que:
p
1
_
U
_
=
_
,
onde V

X s ao abertos tais que V
= para todo ,= e
p : V
U
e um homeomorsmo, para todo , isto e, p e um homeomorsmo local sobreje-
tivo.
p
x
-1
X
X
U
~
V
V
p
(x)
Figura 4.1: Vizinhanca distinguida de um ponto
Se p e um recobrimento ent ao p e um homeomorsmo local sobrejetivo. A recproca e
falsa, isto e, existem homeomorsmos locais sobrejetivos que n ao s ao recobrimentos.
(Verique!).
Exemplo 4.1.
[1] Se p : X X e um homeomorsmo, ent ao
_
X, p, X
_
e um recobrimento.
[2] Do captulo anterior:
_
R, exp, S
1
_
e um recobrimento.
4.1. INTRODUC

AO 75
S
1
exp
IR
Figura 4.2:
Por exemplo, dado o aberto U = S
1
(0, 1), temos que:
exp
1
_
U
_
=
_
nZ
(n 1/2, n + 1/2).
Note que exp
1
(1) = t R/ e
2it
= 1 = Z.
[3] Analogamente,
_
R
2
, p, T
2
_
, onde T
2
= S
1
S
1
e:
p : R
2
T
2
(s, t) (exp(s), exp(t))
e um recobrimento. Por outro lado, p
1
(1, 1) = Z Z.
[4] Em geral,
_
R
n
, p, T
n
_
, onde T
n
= S
1
S
1
. . . S
1
, (n-vezes) e:
p(t
1
, t
2
, . . . , t
n
) = (exp(t
1
), exp(t
2
), . . . , exp(t
n
))
e um recobrimento.
[5]
_
S
1
R, p, T
2
_
, tamb em e um recobrimento do toro, onde:
p(z, t) = (z, exp(t)).
Fica como exerccio determinar as bras nos exemplos anteriores.
[6] Seja:
p : R [0, +)
x [x[.
76 CAP

Ent ao p n ao e um recobrimento. Caso contr ario, considerando 0 R e um aberto
(, ), ( > 0), ent ao p
(,)
e um homeomorsmo, o que e absurdo pois, p n ao e
injetiva.
[7] Por um argumento similar ao anterior
_
C, p, C
_
, onde p(z) = z
2
n ao e um recobri-
mento.
[8] Seja X = R 0,

X = (r, ) / 0 < r < + e:
Pol :

X X
(r, ) (r cos(), r sen()).
_
X, Pol, X
_
e um recobrimento. Note que Pol e a mudanca de coordenadas polares e
que a vari avel angular toma innitos valores separados por m ultiplos de 2 .
[9] A aplicac ao p : N R R denida por p(n, x) = x e um recobrimento. De fato:
p
1
_
R
_
=
_
nN
n R
e p
{n}R
e um homeomorsmo sobrejetivo.
[10] Em geral, a aplicac ao p : Y X X tal que p(y, x) = x e Y e discreto e um
recobrimento.
Lema 4.1.
1. Sejam f : X Y e g : Y Z fun c oes contnuas tais que f e g f s ao homeomors-
mos locais sobrejetivos; ent ao g e um homeomorsmo local sobrejetivo.
2. Se p : X Y e um homeomorsmo local sobrejetivo com bra nita e tal que X e de
Hausdorff, ent ao p e uma aplica c ao de recobrimento.
Prova :
1. Exerccio.
2. Seja y Y ; ent ao p
1
(y) = x
1
, x
2
, . . . , x
n
. Como X e de Hausdorff, existem
vizinhancas U
2
i
abertas de x
i
tais que U
2
i
U
2
j
= se i ,= j. Por outro lado, p sendo um
homeomorsmo local, ent ao para cada x
i
podemos escolher vizinhancas U
1
i
abertas de
x
i
tais que U
1
i
U
2
i
, p
_
U
1
i
_
e um aberto de Y e p
U
1
i
: U
1
i
p
_
U
1
i
_
e um homeorsmo.
Denotemos por:
V
y
= p
_
U
1
1
_
. . . p
_
U
1
n
_
e U
i
= p
U
1
i
_
V
y
_
.
Logo:
p
1
(V
y
_
=
n
_
i=1
U
i
e p
U
i
: U
i
V
y
e um homeomorsmo. Ent ao, p : X Y e um recobrimento.
4.1. INTRODUC

AO 77
_
X, p,

X
_
um recobrimento; ent ao as bras p
1
(x) s ao discretas.
Prova : Como cada y p
1
(x) possui uma vizinhanca U tal que y o unico elemento de
U com p(y) = x (lembrando que p e um homeomorsmo local), ent ao U p
1
(x) = y.
Logo, todo ponto de p
1
(x) e isolado; portanto p
1
(x) e discreto.
Note que na prova da proposic ao somente utilizamos que p e localmente injetiva, isto
e, a proposic ao pode ser provada somente com esta hip otese.
Corol ario 4.1. Se
_
X, p,

X
_
e um recobrimento tal que

X e compacto, X e conexo e de Haus-
dorff, ent ao as bras s ao nitas.
A cardinalidade de p
1
(x) e chamada o n umero de folhas do recobrimento. Logo, um
recobrimento com as hip oteses do corol ario possui um n umero nito de folhas.
Exemplo 4.2.
[1] A aplicac ao:
exp : R S
1
t exp(t)
e um recobrimento de innitas folhas.
[2] A aplicac ao:
p : S
1
S
1
z z
n
e um recobrimento de n folhas. De fato, p e um homeomorsmo local sobrejetivo, S
1
e compacta, de Hausdorff e p
1
(x) tem cardinalidade n. (S ao as razes n- esimas da
unidade).
[3] Seja
_
S
2n+1
, , CP
n
_
, onde
: S
2n+1
C
n
CP
n
e a projec ao can onica;
_
S
2n+1
, , CP
n
_
e um recobrimento?
A resposta e negativa, pois
1
([x])

= S
1
, isto e a bra n ao e nita.
Teorema 4.1. Seja
_
X, p,

X
_
um recobrimento; ent ao:
1. p e aberta.
2. X tem a topologia quociente em rela c ao a p.
78 CAP

Prova :
1. Exerccio.
2. Como p e contnua e aberta, ent ao U X e aberto se, e somente se p
1
_
U
_
e aberto
em

X.
Exemplo 4.1.
Se M e a faixa de M oebius e p a projec ao can onica, ent ao:
p : R I M
e um recobrimento.
Primeiramente denamos:
M
1
= [0, 1] [1, 1]
_
1
onde (0, t)
1
(1, t), t [1, 1]. Denotemos por:
p
1
: [0, 1] [1, 1] M
1
a aplicac ao quociente. Por outro lado, a faixa de M oebius tamb em pode ser denida
como:
M = R [1, 1]
_
onde (x, t) (x + q, (1)

q
t), q Z e t [1, 1]. Denotemos por:
p : R [1, 1] M
a aplicac ao quociente. Note que p e aberta, pois se U R [1, 1] e aberto:
p
1
_
p(U)
_
=
_
qZ
R
q
_
U
_
,
onde:
R
q
: R [1, 1] R [1, 1]
(r, t) (x + q, (1)
q
t).
Note que R
q
e um homeomorsmo, para todo q Z.
Denotemos por i : [0, 1] [1, 1] R [1, 1] a inclus ao can onica, que induz no
quociente a aplicac ao contnua f : M
1
M tal que o seguinte diagrama e comutativo:
[0, 1] [1, 1]
i
R [1, 1]
p
1
_
p
M
1
f
M
4.2. RECOBRIMENTOS DE G-ESPAC OS 79
Isto e, pi = f p
1
. Como f e sobrejetiva e M e de Hausdorff, ent ao f e um homeomor-
smo. Note que M possui uma cobertura determinada pelos abertos p
_
(0, 1) [1, 1]
_
e p
_
(1/2, 1/2) [1, 1]
_
e :
p
1
_
p
_
(0, 1) [1, 1]
__
=
_
qZ
_
(q, q + 1) [1, 1]
_
e
p : (q, q + 1) [1, 1] p
_
(0, 1) [1, 1]
_
e um homeomorsmo. Analogamente para o aberto p
_
(1/2, 1/2) [1, 1]
_
.
4.2 Recobrimentos de G-espa cos
Para mais detalhes sobre G-espacos, veja [MV].
Seja G um grupo que atua sobre X de modo que X e um G-espaco.
Deni c ao 4.2. A a c ao do grupo G sobre X e dita totalmente descontnua se para todo x X,
existe vizinhan ca U de x tal que
g
1
U g
2
U = ,
para todo g
1
, g
2
G e g
1
,= g
2
.
Se o grupo G age de forma totalmente descontnua sobre X, ent ao g x ,= x para todo
g G, g ,= e e todo x X. (Verique!).
Exemplo 4.3.
[1] Seja a : S
n
S
n
denida por a(x) = x, onde x e o ponto antipodal de x; ent ao
G = id
S
n, a, com a composta de func oes e um grupo. G atua descontinuamente
sobre S
n
. De fato, se U S
n
e um aberto contido num dos hemisf erios, temos:
a U U = .
[2] Seja Z
n
R
n
. Considere a seguinte ac ao:
Z
n
R
n
R
n
(v, x) x + v.
Esta ac ao e totalmente descontnua; basta considerar abertos de di ametro menor que
1.
Teorema 4.2. Se X e um G-espa co e G age de forma totalmente descontnua sobre X, ent ao a
proje c ao can onica:
p : X X
_
G
e um recobrimento.
80 CAP

Prova : Note que p : X X
_
G e contnua, sobrejetiva e aberta. Seja U X uma
vizinhanca de x X; ent ao p
_
U
_
e uma vizinhanca de G x = p(x) e
p
1
_
p(U)
_
=
_
gG
g U.
g U e uma famlia de abertos disjuntos de X e p
gU
: g U p
_
U
_
e um homeomor-
smo.
Exemplo 4.4.
[1] Considere a ac ao de
_
Z, +
_
sobre R, denida por x x + n. Ent ao:
p : R R
_
Z S
1
e um recobrimento.
De fato, a ac ao e totalmente descontnua. Seja 0 < < 1/2; ent ao U = (x, x+) e uma
vizinhanca de x que satisfaz ` a condic ao da denic ao de ser totalmente descontnua.
Pode ser vericado (exerccio) que este exemplo e id entico ao estudado no captulo
anterior para exp : R S
1
.
[2] Em geral,
: R
n
R
n
_
Z
n
T
n
,
onde e a projec ao can onica, e um recobrimento.
[3] A projec ao can onica:
: S
n
PR
n
e um recobrimento.
De fato, seja
_
Z
2
,
_
e consideremos S
n
como um Z
2
-espaco com a ac ao 1 x = x.
Para cada x S
n
consideremos:
U = y S
n
/ |y x| < 1/2.
U e uma vizinhanca de x que satisfaz ` a condic ao da denic ao de ser totalmente des-
contnua. De forma alternativa, como x ,= x, existem V e W vizinhancas disjuntas de
x e x respectivamente e basta considerar U = V
_
W
_
.
[4] Considere a ac ao de
_
Z, +
_
sobre X = R (1, 1), denida por:
(n, (x, y)) (x + n, (1)
n
y).
Ent ao:
p : X X
_
Z

= M,
e um recobrimento, onde M e a faixa de M oebius. (Verique!).
4.2. RECOBRIMENTOS DE G-ESPAC OS 81
Deni c ao 4.3. A a c ao do grupo G sobre X e dita livre se g x ,= x, para todo x X e todo
g G, g ,= e.
Proposi c ao 4.2. Seja X de Hausdorff e G um grupo nito, ent ao, G atua livremente sobre X
se, e somente se a a c ao e totalmente descontnua.
Prova : Seja G = g
0
, g
1
, . . . , g
n
, onde e = g
0
. Como X e de Hausdorff, existem
vizinhancas U
0
, U
1
, . . . U
n
de g
0
x, g
1
x, . . . g
n
x, respectivamente, tais que U
0
U
i
= ,
(i = 1, 2, , . . . n). Denotemos por:
U =
n
i=0
g
1
i
U
i
.
U e uma vizinhanca de x; por outro lado:
g
j
U =
n
i=0
g
j
_
g
1
i
U
i
_
g
j
U g
i
U = g
i
_
(g
1
i
g
j
) U
_
U = g
i
_
g
k
U U
_
= ,
pois g
k
U U
k
e U U
0
, g
k
,= e.
Se G e um grupo innito a ac ao livre pode n ao ser totalmente descontnua. Isto e:
p : X X
_
G
pode n ao ser um recobrimento, ainda que a ac ao seja livre e X de Hausdorff.
Exemplo 4.5.
[1] Seja S
2n+1
C
n+1
tal que:
S
2n+1
= (z
0
, z
1
, . . . , z
n
) C
n+1
/ |z
0
|
2
+ . . . +|z
n
|
2
= 1.
Sejam p, q
1
, . . . q
n
Z tais que p e primo e os q
j
s ao primos relativos a p; denamos
h : S
2n+1
S
2n+1
por:
h(z
0
, z
1
, . . . , z
n
) = (e
2i/p
z
0
, e
2iq
1
/p
z
1
, . . . , e
2iqn/p
z
n
).
h e um homeomorsmo tal que h
p
= id. Consideremos S
2n+1
como Z
p
-espaco com a
seguinte ac ao:
n (z
0
, z
1
, . . . , z
n
) = (e
2in/p
z
0
, e
2inq
1
/p
z
1
, . . . , e
2iqn/p
z
n
),
82 CAP

onde n Z
p
= 0, 1, . . . , p 1. Esta ac ao e livre. De fato, se:
n (z
0
, z
1
, . . . , z
n
) = (z
0
, z
1
, . . . , z
n
),
ent ao: e
2inq
j
/p
z
j
= z
j
com 0 j n e q
0
= 1 Como (z
0
, z
1
, . . . , z
n
) S
2n+1
, existe
z
j
0
,= 0 para algum j
0
, logo:
e
2inq
j
0
/p
= 1
e nq
j
0
= 0 mod(p). Como q
j
0
,= 0 mod(p) e p e primo, ent ao n = 0 mod(p). Isto e, n e a
identidade de Z
p
. Logo, a ac ao e livre e S
2n+1
e de Hausdorff; ent ao:
p : S
2n+1
L(p, q
1
, . . . , q
n
),
onde L(p, q
1
, . . . , q
n
) = S
2n+1
_
Z
p
e um recobrimento. O espaco L(p, q
1
, . . . , q
n
) e cha-
mado lenticular. Note que L(2, q
1
, . . . , q
n
) = RP
2n+1
.
[2] Seja G o grupo gerado pelos homeomorsmos a, b : R
2
R
2
denidos por:
a(x, y) = (x, y + 1) e b(x, y) = (x + 1, y).
Sabemos que K = R
2
_
G, e a garrafa de Klein. A ac ao:
:GK K
(f, (x, y)) f (x, y) = f(x, y),
e livre, R
2
e de Hausdorff; ent ao
_
R
2
, p, K
_
e um recobrimento. Note que G n ao e
isomorfo a Z Z, pois G e n ao comutativo e satisfaz ` a relac ao b a b = a.
4.3 Generaliza c oes
A seguir, apresentaremos as generalizac oes das propriedades de levantamento dos ca-
minhos e das homotopias, estudadas no captulo anterior. A maioria das provas s ao
id enticas.
Deni c ao 4.4. Sejam
_
X, p,

X
_
um recobrimento e f : Y X uma fun c ao contnua. A
fun c ao contnua

f : Y

X e dita um levantamento de f se o seguinte diagrama comuta:
X
p
Y
f
e
f

X
Isto e, p

f = f.
4.3. GENERALIZAC

OES 83
Lema 4.2. Sejam
_
X, p,

X
_
um recobrimento e f
i
: Y

X, (i = 1, 2) levantamentos de
f : Y X, isto e, temos o seguinte diagrama comutativo:
X
p
Y
f
f
1
, f
2

X
Se Y e conexo e f
1
(y
0
) = f
2
(y
0
), ent ao f
1
= f
2
.
Prova : Seja W = y Y / f
1
(y) = f
2
(y), W ,= pois y
0
W. Provaremos que W e
aberto e fechado e como Y e conexo, ent ao W = Y . Seja y Y ; ent ao existe vizinhanca
aberta V de f(y) tal que
p
1
_
V
_
=
_
jJ
V
j
e p
V
j
: V
j
V e um homeomorsmo, para todo j J. Se y W, ent ao f
1
(y) =
f
2
(y) V
k
, para algum k J e f
1
1
_
V
k
_
f
1
2
_
V
k
_
e um aberto tal que:
y f
1
1
_
V
k
_
f
1
2
_
V
k
_
W.
Se x f
1
1
_
V
k
_
f
1
2
_
V
k
_
, ent ao f
1
(x), f
2
(x) V
k
e (p f
1
)(x) = (p f
2
)(x). Por outro
lado, p
V
k
e um homeomorsmo; temos que f
1
(x) = f
2
(x). Logo, todo elemento de W
possui uma vizinhanca contida em W, isto e, W e aberto.
Se y / W, ent ao f
1
(y) V
k
e f
2
(y) V
j
, para i, j tais que i ,= j; logo, f
1
1
_
V
k
_
f
1
2
_
V
j
_
e um aberto tal que
y f
1
1
_
V
k
_
f
1
2
_
V
k
_
W
C
.
Pelo mesmo argumento anterior, W
C
e aberto.
Corol ario 4.2. Sejam
_
X, p,

X
_
um recobrimento e h :

X

X contnua tal que

X e conexo
por caminhos e p h = p. Se h(x
1
) = x
1
para algum x
1

X, ent ao h = id
e
X
.
Prova : Exerccio.
Teorema 4.3. Seja
_
X, p,

X
_
um recobrimento.
1. Levantamento dos caminhos: Dado um caminho : I X e x
0

X tal que
p( x
0
) = (0), existe um unico levantamento : I

X tal que p = e (0) = x
0
, isto
e, temos o seguinte diagrama comutativo:
X
p
X
84 CAP

2. Levantamento das homotopias: Dada H : I I X contnua e x
0

X tal que
p( x
0
) = H(0, 0), existe um unico levantamento

H : I I

X tal que p

H = H e
H(0, 0) = x
0
, isto e, temos o seguinte diagrama comutativo:
X
p
I I
H
e
H
z
z
z
z
z
z
z
z
z
X
Prova : A prova e id entica ` as dos teoremas vistos no captulo anterior.
Corol ario 4.3. Se
_
X, p,

X
_
e tal que X e conexo, ent ao a cardinalidade da bra p
1
(x) e
independente de x.
Prova : Para todo x, y X, deniremos uma bijec ao entre p
1
(x) e p
1
(y). Seja:
h : p
1
(x) p
1
(y),
denida da seguinte forma: Dado um caminho que liga x a y, ent ao para cada x
p
1
(x), existe um unico levantamento
x
tal que
x
(0) = x; denamos:
h( x) =
x
(1).
h est a bem denida pois
x
(1) p
1
(y). Analogamente, denimos h
1
utilizando
1
,
isto e:
h
1
( x) =
1
(1).
Logo, h e uma bijec ao.
4.4. EXERC
ICIOS 85
4.4 Exerc cios
1. Sejam p
1
:

X
1
X
1
e p
2
:

X
2
X
2
recobrimentos. Verique que:
p
1
p
2
:

X
1

X
2
X
1
X
2
e um recobrimento.
2. Sejam p :

X X, q : X Y e h = q p. Se p e q s ao recobrimentos, h e um
recobrimento? Verique.
3. SejamZ e X = R (1, 1). Consideremos a seguinte ac ao:
Z X X
(n, (x, y)) (x + n, (1)
n
y).
Verique que esta ac ao e totalmente descontnua.
4. Verique que toda ac ao totalmente descontnua e livre. A recproca e verdadeira?
86 CAP

Cap tulo 5
RECOBRIMENTO E GRUPO
FUNDAMENTAL
Neste captulo estudaremos a relac ao que existe entre os recobrimentos de um espaco
e seu grupo fundamental.
O teorema seguinte nos permite ter uma primeira aproximac aode qual e o grupo
fundamental de um espaco dado, conhecendo apenas as bras de seu recobrimento.
Teorema 5.1. Seja
_
X, p,

X
_
um recobrimento. Se

X e simplesmente conexo, ent ao para cada
x

X existe uma bije c ao:
1
_
X, x
_
p
1
(x),
onde p( x) = x.
Prova : Denamos:
F :
1
_
X, x
_
p
1
(x),
por F([]) = (1), onde e o unico levantamento de tal que (0) = x; logo, pela
unicidade dos levantamentos, F e bem denida. Agora, consideremos:
G : p
1
(x)
1
_
X, x
_
,
denida da seguinte forma:
Sejam y p
1
(x) e : I

X um caminho tal que (0) = x e (1) = y. Logo, o
caminho = p : I X e tal que (0) = p( x) = x e (1) = p( y) = x; ent ao
determina uma unica classe de homotopia []
1
_
X, x
_
. Denamos:
G( y) = [] = [p ].
G est a bem denida, pois para todos e

tais que (0) =

(0) e (1) =

(1), temos

relativamente a 0, 1; ent ao G n ao depende do caminho escolhido. Claramente
F e G s ao inversas.
87
88 CAP
ITULO 5. RECOBRIMENTO E GRUPO FUNDAMENTAL

Exemplo 5.1.
Denotemos por as bijec oes:
[1] Seja
_
R, exp, S
1
_
; ent ao:
exp
1
(1) Z.
[2] Seja
_
R
2
, p, T
2
_
, onde p = (exp, exp); ent ao:
p
1
(1) Z Z = Z
2
.
[3] Em geral, seja
_
R
n
, p, T
n
_
, onde p = (exp, exp, . . . , exp); ent ao:
p
1
(1) Z Z . . . Z = Z
n
.
[4]
_
S
n
, , PR
n
_
(n > 1), onde e a projec ao can onica, e um recobrimento de 2 folhas
e:
1
([x]) = x, x Z
2
.
[5] Seja
_
X, , M
_
, onde X = R (1, 1), M e a faixa de M oebius e e a projec ao
can onica; ent ao:
1
([0, 0]) = (n, 0) / n Z Z.
Teorema 5.2. Seja
_
X, p,

X
_
um recobrimento tal que p( x) = x; ent ao o homomorsmo
induzido:
p
:
1
_
X, x
_

1
_
X, x
_
e um monomorsmo.
Prova : Sejam [ ], [
]
1
_
X, x
_
tal que p
([ ]) = p
([
]; ent ao, [p ] = [p

]. Logo,
existe uma homotopia H : p p
; consideremos o unico levantamento

H de H;
portanto

H :

; logo:
[ ] = [
].
Como p
e um monomorsmo, podemos considerar

1
_
X, x
_
como um subgrupo de
1
_
X, x
_
. Logo, com as hip oteses do teorema, se:
1
_
X, x
_
,= e, ent ao
1
_
X, x
_
,= e.
Teorema 5.3. Sejam
_
X, p,

X
_
um recobrimento e x, x
1
p
1
(x); ent ao todos os subgrupos
p
1
_
X, x
__
e p
1
_
X, x
1
__
s ao conjugados em
1
_
X, x
_
. Se x p
1
(x) e xado, toda classe
conjugada de p
1
_
X, x
__
e igual ao subgrupo p
1
_
X, x
1
__
, para algum x
1
p
1
(x).
5.1. CRIT
ERIO GERAL DE LEVANTAMENTO 89

Prova : Seja um caminho em

X que liga x a x
1
. Sabemos que:
F
e
:
1
_
X, x
_

1
_
X, x
1
_
denida por F
e
([]) = [
1
] e um isomorsmo de grupos. Denamos:
G :
1
_
X, x
_

1
_
X, x
1
_
por G([]) = [p ] [] [p ]
1
. Logo, obtemos o seguinte diagrama comutativo:
1
_
X, x
_
p

1
_
X, x
_
F
e
_G
1
_
X, x
1
_
p

1
_
X, x
1
_
Ent ao, p
1
_
X, x
__
e p
1
_
X, x
1
__
s ao conjugados em
1
_
X, x
_
. Por outro lado, seja
H um subgrupo de
1
_
X, x
_
conjugado a p
1
_
X, x
__
; ent ao:
H = []
1
p
1
_
X, x
__
[].
Seja um levantamento de tal que (0) = x; denotemos por x
1
= (1); ent ao:
H = p
1
_
X, x
1
__
.
5.1 Crit erio Geral de Levantamento
Suponhamos que
_
X, p,

X
_
e um recobrimento e que toda func ao contnua
f : Z X
admite um levantamento

f, ou seja, temos o seguinte diagrama comutativo:
X
p
Z
f
e
f

X
tal que p

f = f. Se p( x
0
) = x
0
, f(z
0
) = x
0
e

f(z
0
) = x
0
, temos que p
= f
e o
diagrama comutativo:
1
_
X, x
0
_
p
1
_
Z, z
0
_
f
e
f
r
r
r
r
r
r
r
r
r
r
1
_
X, x
0
_
90 CAP

Como p
e um monomorsmo, a exist encia de

f
que faz o diagrama comutativo e

equivalente ` a condic ao:
f
1
_
Z, z
0
__
p
1
_
X, x
0
__
.
O teorema geral de levantamento nos d a as condic oes necess arias e sucientes para
a exist encia de levantamentos de um espaco topol ogico. Este teorema e um exemplo
do que estuda a Topologia Alg ebrica. Um problema puramente topol ogico, como a
exist encia de uma func ao contnua (sob certas condic oes) e reduzido a uma condic ao
puramente alg ebrica (uma relac ao entre grupos e homomorsmos).
Teorema 5.4. Crit erio de Levantamento
Sejam
_
X, p,

X
_
um recobrimento e f : Z X contnua. Se Z e conexo e localmente conexo
por caminhos, ent ao existe um levantamento de f se, e somente se
f
1
_
Z, z
0
__
p
1
_
X, x
0
__
,
onde p( x
0
) = x
0
e f(z
0
) = x
0
.
Prova : Se existe levantamento

f de f, isto e, p

f = f, ent ao:
f
1
_
Z, z
0
__
= (p

f)
1
_
Z, z
0
__
p
1
_
X, x
0
__
.
Suponhamos que f
1
_
Z, z
0
__
p
1
_
X, x
0
__
, onde p( x
0
) = x
0
e f(z
0
) = x
0
. Sejam
z
1
Z arbitr ario e o caminho em Z tal que (0) = z
0
e (1) = z
1
; ent ao, f e um
caminho emX tal que (f) (0) = x
0
e (f) (1) = f(z
1
). Pelo teorema de levantamento
dos caminhos, existe um unico levantamento

f : I

X tal que (
f )(0) = x
0
e
p
_
f
_
= f . Logo, denamos:
F : Z X,
onde F(z
0
) = x
0
e F(z
1
) =

f (1).
1. F e bem denida. De fato, seja
1
outro caminho emZ tal que
1
(0) = z
0
e
1
(1) = z
1
;
ent ao
1
1
e tal que (
1
1
)(0) = (
1
1
)(1) = z
0
, isto e, [
1
1
]
1
_
Z, z
0
_
; ent ao:
f
_
[
1
1
]
_
= [f f
1
1
] f
1
_
Z, z
0
__
.
Por outro lado: f
1
_
Z, z
0
__
p
1
_
X, x
0
__
; ent ao existe []
1
_
X, x
0
_
tal que:
[f f
1
1
] = [p ].
5.1. CRIT
ERIO GERAL DE LEVANTAMENTO 91

Logo:
f (f ) e
x
0
(f ) (f
1
1
f
1
)
(f f
1
1
) f
1
p f
1
.
Denotemos por = p f
1
; ent ao

=
f
1
; pela unicidade dos levantamen-
tos:
(
f )(1) =

(1) = (

(f
1
))(1) =

(f
1
)(1).
Nesta parte da prova utilizamos somente a hip otese de que Z e conexo por caminhos.
2. F e contnua. Sejam U

X aberto e z

f
1
_
U
_
; ent ao

f(z) U. Denotemos por
W uma vizinhanca distinguida de (p

f)(z) = f(z) tal que W p
_
U
_
. Como W e
vizinhanca distinguida:
p
1
_
W
_
=
_
jJ
V
j
,
onde cada V
j
e homeomorfo a W e

f(z) V
k
para algum k J. Logo, como V
k
e
U s ao vizinhancas de

f(z) consideramos W
= V
k
U. Note que p
_
W
_
tamb em e
uma vizinhanca distinguida, pois W e distinguida e p
_
W
_
W. Por outro lado, f e
contnua e f
1
_
p
_
W
__
e uma vizinhanca de z Z. Como Z e localmente conexo por
caminhos, existe um caminho ligando uma vizinhanca V de z tal que V f
1
_
p
_
W
__
Mostraremos que

f
_
V
_
U. Primeiramente

f(z) V ; se z
V , existe um caminho
en V ligando z a z
; logo, pela denic ao de

f temos

f(z
) =

f (1), onde

f e o
unico levantamento de f tal que

f (0) =

f(z), pois:
(f )
_
I
_
f
_
V
_
p
_
W
_
e (
f )
_
I
_
p
1
_
p
_
W
__
.
Por outro lado:
p
1
_
p
_
W
__
=
_
jJ
W
j
,
onde os W
j
s ao disjuntos aos pares, cada W
j
e homeomorfo a p
_
W
_
e pelo menos um
W
k
W
; como (
f )(0) =

f(z) W
segue que (
f )(1) =

f(z
). Provamos que
f
_
V
_
W
U e portanto V

f
1
_
U
_
, isto e, todo elemento de
f
1
_
U
_
possui uma
vizinhanca totalmente contida em
f
1
_
U
_
; logo

f e contnua.
Existem exemplos que mostram que a hip otese de ser Z localmente conexo por cami-
nhos n ao pode ser retirada para a prova de que o levantamento

f e contnuo.
_
X, p,

X
_
um recobrimento e Z um espa co simplesmente conexo e lo-
calmente conexo por caminhos; ent ao toda fun c ao contnua f : Z X admite levantamento
f : Z

X.
92 CAP

Prova : Se Z e simplesmente conexo e localmente conexo por caminhos, sempre temos
que:
f
1
_
Z, z
0
__
= f
_
e
_
p
1
_
X, x
0
__
.
Exemplo 5.2.
[1] Toda func ao f : R S
1
admite levantamentos.
[2] Em geral, toda func ao f : R
n
T
n
[3] Se n > 1, toda func ao f : S
n
PR
n
Proposi c ao 5.1. Sejam
_
X, p,

X
_
um recobrimento, , : I X caminhos tais que (0) =
(0) = x
0
e (1) = (1) = x
1
e ,
: I

X levantamentos de e , respectivamente,
de ponto inicial x
0

X tal que p( x
0
) = x
0
. Ent ao, (1) =

(1) se, e somente se [
1
]
p
1
_
X, x
0
__
.
Prova : Seja [
1
] p
1
_
X, x
__
. Denotemos por o levantamento do caminho
1
, a partir do ponto x
0
; logo, e um caminho fechado. Os caminhos ,
: I

X
s ao denidos por:
(t) = (t/2) e

(t) = (1 t/2).
(0) = (0) = x
0
= (1) =

(0) e (1) = (1/2) =

(1). Note que e

s ao levanta-
mentos de e , respectivamente:
(p )(t) = (p )(t/2)
= (
1
)(t/2)
= (2 (t/2))
= (t).
Analogamente,
(p
)(t) = (p )(1 t/2)

= (
1
)(1 t/2)
=
1
(2 (1 t/2) 1)
=
1
(1 t)
= (t).
Em particular, nas hip oteses da proposic ao, temos o seguinte corol ario:
Corol ario 5.2. Dado um caminho fechado em x
0
, seu levantamento, com incio em x
p
1
(x
0
) e fechado se, e somente se [] p
1
_
X, x
__
.
Basta considerar como um caminho constante em x
0
, na proposic ao anterior.
5.2. GRUPO FUNDAMENTAL E G-ESPAC OS 93
5.2 Grupo Fundamental e G-espa cos
Neste par agrafo discutiremos a seguinte quest ao:
Dado X umG-espaco, que relac ao existe entre o grupo fundamental de X
_
Ge o grupo
G?
Observa c oes 5.1.
1. Lembremos que S
1
R
_
Z; logo:
1
_
S
1
, z
0
_
=
1
_
R
_
Z, w
0
_
Z.
2. O toro T
2
= R
2
_
Z
2
; logo:
1
_
T
2
, y
0
_
=
1
_
R
2
_
Z
2
, w
0
_
Z
2
.
3. Ser a possvel armar que, em geral:
1
_
X
_
G, y
0
_
G?
Se a reposta for armativa, por exemplo, teramos que:
1
_
L(p, q
1
, . . . , q
n
), y
0
_
Z
p
.
Se X e um G-espaco, tal que G age de forma totalmente descontnua sobre X, ent ao:
: X X
_
G
e um recobrimento. Por outro lado, se []
1
_
X
_
G, y
0
_
, sabemos que existe um unico
levantamento:
X
{
{
{
{
{
{
{
{
{
X
_
G
tal que (0) = x
0
. Como (1) Gx
0
, (Gx e a orbita de x), ent ao existe um unico g
G
tal que (1) = g
x
0
. Denamos a seguinte aplicac ao:
:
1
_
X
_
G, y
0
_
G
[] g
.
e um homomorsmo de grupos.
Sejam [], []
1
_
X
_
G, y
0
_
tal que y
0
= (x
0
); isto e, y
0
Gx
0
.
94 CAP

Consideremos e

levantamentos de e . Note que

n ao e denido, pois
g
x
0
,= x
0
; por outro lado:
(0) = x
0
, (1) = g
x
0
,
(0) = x
0
,

(1) = g
x
0
.
Seja
g
: X X o homeomorsmo denido por
g
(x) = g
x e denamos:
: I X.
Note que:
_
_
(0) = g
x
0
,
_
_
(1) = g
(g
x
0
).
e um levantamento de . De fato,
_
_
=
_
g
_
=
_
_
= .
Consideremos o caminho
_
_
; logo:

_
_
(0) = (0) = x
0
,

_
_
(1) =
_
_
(1) = g
(g
x
0
).
Ent ao:
_
[] []
_
=
_
[ ]
_
=
_
_
(1) = g
=
_
[]
_
_
[]
_
.
Lema 5.1. ker() =
1
_
X, x
0
__
, onde
e o homomorsmo induzido pela proje c ao:

: X X
_
G
e ker() e o n ucleo de .
Prova : [] ker(), se, e somente se ([]) = e se, e somente se (1) = x
0
, onde e
o unico levantamento de tal que (0) = x
0
. Logo, se, e somente se []
1
_
X, x
0
_
e
= ; ent ao:
[] = [ ] =
_
[]
_

1
_
X, x
0
_
.
Utilizando o primeiro teorema do isomorsmo de grupos, temos:
1
_
X
_
G, y
0
__
ker() =
1
_
X
_
G, y
0
__
1
_
X, x
0
__
Im
_
_
.
Teorema 5.5. Com as nota c oes e as hip oteses do lema anterior, temos:
1
_
X
_
G, y
0
__
1
_
X, x
0
__
G.
5.2. GRUPO FUNDAMENTAL E G-ESPAC OS 95
Prova :
e sobrejetiva. Veja o captulo do grupo fundamental de S

1
Corol ario 5.3. Se X e simplesmente conexo, ent ao:
1
_
X
_
G, y
0
_
G.
Prova : Exerccio. (Veja o caso X = S
1
).
Exemplo 5.3.
[1]Como antes, consideremos S
2n+1
como Z
P
-espaco; ent ao:
1
_
L(p, q
1
, . . . , q
n
), y
0
_
=
1
_
S
2n+1
_
Z
p
, y
0
_
Z
p
;
pois S
2n+1
e simplesmente conexa, (n 1).
[2] Sabemos que o espaco projetivo real PR
n
, (n > 1) pode ser obtido a partir de S
n
como Z
2
-espaco. Logo:
1
_
PR
n
, y
0
_
=
1
_
S
n
_
Z
2
, y
0
_
Z
2
.
[3] Sabemos que a faixa de M oebius M e homeomorfa a X = R(1, 1) como Z-espaco.
Logo:
1
_
M, w
0
_
=
1
_
X
_
Z, y
0
_
Z.
Assim, obtemos o mesmo resultado obtido nos captulos anteriores.
[4] Seja G o grupo gerado pelos homeomorsmos a, b : R
2
R
2
denidos por:
a(x, y) = (x, y + 1) e b(x, y) = (x + 1, y).
Sabemos que K = R
2
_
G e a garrafa de Klein. Lembremos que G n ao e isomorfo a
Z Z, pois satisfaz ` a relac ao b a b = a. Logo:
1
_
K, k
0
_
=
1
_
R
2
_
G, k
0
_
G.
[5] Seja : I S
n
um caminho tal que (0) = (1) e : S
n
PR
n
a projec ao
can onica. Ent ao
1
_
PR
n
, [(0)]
_
e gerado por [p ].
De fato, considere o seguinte diagrama comutativo:
S
n
p
I
p
{
{
{
{
{
{
{
{
PR
n
Por outro lado sabemos que:
:
1
_
PR
n
, [(0)]
_
Z
2
e denida por ([p ]]) = (1); como (0) ,= (1) e e um isomorsmo de grupos,
ent ao ([p ]]) e n ao trivial, logo gera
1
_
PR
n
, [(0)]
_
.
96 CAP

5.3 Transforma c oes de Recobrimentos
Sejam
_
X
1
, p
1
, X
_
e
_
X
2
, p
2
, X
_
recobrimentos sobre X.
Deni c ao 5.1. A fun c ao h :

X
1

X
2
e dita um homomorsmo, se:
1. h e contnua.
2. O seguinte diagrama comuta:
X
2
p
2
X
1 p
1

X
isto e, p
2
h = p
1
.
Note que p
2
h = p
1
implica em que h : p
1
1
(x) p
1
2
(x) seja uma bijec ao.
_
X
1
, p
1
, X
_
e
_
X
2
, p
2
, X
_
recobrimentos tais que

X
1
e

X
2
s ao conexos
e localmente conexos por caminhos. Dados x
1

X
1
, x
2

X
2
e x
0
X arbitr arios, tais que
p
1
( x
1
) = p
2
( x
2
) = x
0
e se p
1
_
1
_
X
1
, x
1
__
p
2
_
1
_
X
2
, x
2
__
, ent ao existe h :

X
1

X
2
contnua tal que h( x
1
) = x
2
e o seguinte diagrama comuta:
X
2
p
2
X
1 p
1

X
Isto e, p
2
h = p
1
e h e um homomorsmo de recobrimento.
Prova : Utilizaremos o teorema 5.4. O recobrimento
_
X
1
, p
1
, X
_
possui a propriedade
dos levantamentos. Denotemos por p
1
o unico levantamento de p
1
:
X
2
p
2
X
1 p
1
e p
1

X
tal que p
2
p
1
= p
1
. Denamos h = p
1
.
5.3. TRANSFORMAC

OES DE RECOBRIMENTOS 97
Exemplo 5.4.
[1] Sejam p
1
: S
1
S
1
e p
2
: S
1
S
1
denidas por p
1
(z) = z
6n
e p
2
(z) = z
2n
,
respectivamente.
Como p
1
_
1
_
S
1
, z
0
__
6 Z e p
2
_
1
_
S
1
, z
0
__
2 Z, temos:
p
1
_
1
_
S
1
, z
0
__
6 Z p
2
_
1
_
S
1
, z
0
__
2 Z.
Pela proposic ao anterior segue que existe h homomorsmo de recobrimentos, onde
temos o seguinte diagrama comutativo:
S
1
p
2
S
1
p
1
}
}
}
}
}
}
}
}
S
1
Note que h : S
1
S
1
e tal que h(z) = z
3
.
Em geral, sejam:
p
m
, p
n
: S
1
S
1
,
onde p
m
(z) = z
m
e p
n
(z) = z
n
; n, m Z. A exist encia do levantamento e equivalente a
que
p
m
_
1
_
S
1
, z
0
__
mZ p
n
_
1
_
S
1
, z
0
__
nZ,
o qual e equivalente a que n divide m, isto e, temos o seguinte diagrama comutativo:
S
1
pn
S
1
pm
}
}
}
}
}
}
}
}
S
1
onde h(z) = z
m/n
.
[2] Sejam p
1
: R
2
T
2
e p
2
: S
1
R T
2
tais que
p
1
(s, t) = (exp(s), exp(t)) e p
2
(z, t) = (z, exp(t)),
respectivamente.
Como p
1
_
1
_
R
2
, t
0
__
0 0 e p
2
_
1
_
S
1
R, (z
0
, t
0
)
__
Z 0, temos:
p
1
_
1
_
R
2
, t
0
__
0 0 p
2
_
1
_
S
1
R, (z
0
, t
0
)
__
Z 0.
Pela proposic ao anterior temos que existe h homomorsmo de recobrimentos, onde
temos o seguinte diagrama comutativo:
S
1
R
p
2
R
2
p
1
v
v
v
v
v
v
v
v
v
T
2
Note que h : R
2
S
1
R e tal que h(s, t) = (exp(s), t).
98 CAP

_
X
1
, p
1
, X
_
e
_
X
2
, p
2
, X
_
recobrimentos e h :

X
1

X
2
um homo-
morsmo; ent ao
_
X
1
, h,
X
2
_
e um recobrimento.
Prova : Note que todo x X possui uma vizinhanca conexa por caminhos que e
uma vizinhanca distinguida para cada recobrimento. De fato, escolhemos U
1
e U
2
vizinhancas distinguidas de x de cada recobrimento; ent ao consideramos U = U
1
U
2
.
Provaremos que h e sobrejetiva. Isto e, provaremos que para todo y

X
2
, existe x

X
1
tal que h( x) = y. Fixemos x
1

X
1
e seja x
2
= h( x
1
), x
0
= p
1
( x
1
) = p
2
( x
2
); denotemos
por um caminho em

X
2
tal que (0) = x
2
e (1) = y. Agora consideramos = p
2

um caminho em X; ent ao existe, um unico levantamento tal que (0) = x
1
e que
satisfaz a p
1
= . Seja x = (1). Logo, os caminhos h e tem o mesmo ponto
inicial e p
2
(h ) = p
2
; pela unicidade do levantamento temos h = , logo
h( x) = y.
Deni c ao 5.2. Dados os recobrimentos
_
X
1
, p
1
, X
_
e
_
X
2
, p
2
, X
_
, a fun c ao
h :

X
1

X
2
e um isomorsmo de recobrimento, se:
1. h e um homeomorsmo.
2. O seguinte diagrama comuta:
X
2
p
2
X
1 p
1

X
isto e, p
2
h = p
1
.
Observa c oes 5.2.
1. Se existe isomosmo entre
_
X
1
, p
1
, X
_
e
_
X
2
, p
2
, X
_
, dizemos que os recobrimentos
s ao isomorfos.
2. Os isomorsmos de recobrimentos tamb em s ao chamados transformac oes de reco-
brimentos.
_
X
1
, p
1
, X
_
e
_
X
2
, p
2
, X
_

X
1
e

X
2
s ao co-
nexos e localmente conexos por caminhos. Dados x
1

X
1
, x
2

X
2
e x
0
X tais que
5.3. TRANSFORMAC

p
1
( x
1
) = p
2
( x
2
) = x
0
e se p
1
_
1
_
X
1
, x
1
__
= p
2
_
1
_
X
2
, x
2
__
, ent ao existe h :

X
1

X
2
homeomorsmo tal que h( x
1
) = x
2
e o seguinte diagrama comuta:
X
2
p
2
X
1 p
1

X
isto e, p
2
h = p
1
e h e um isomorsmo de recobrimento.
Prova : Novamente utilizaremos o teorema 5.4. Ambos os recobrimentos possuem a
propriedade dos levantamentos. Denotemos por p
1
e p
2
os unicos levantamentos de p
1
e p
2
, tais que os seguintes diagramas comutam:
X
2
p
2
X
1 p
1
e p
1

X
X
1
p
1
X
2 p
2
e p
2

X
isto e, p
2
p
1
= p
1
e p
1
p
2
= p
2
. Denotemos por:
f = p
2
p
1
:

X
1

X
1
;
logo, f( x
1
) = ( p
2
p
1
)( x
1
) = p
2
( x
2
) = x
1
. Ent ao, f = id
f
X
1
e, consequentemente, p
1
e
injetiva e p
2
sobrejetiva. Analogamente, denimos:
g = p
1
p
2
:

X
2

X
2
;
temos que g = id
f
X
2
e, consequentemente, p
2
e injetiva e p
1
sobrejetiva. Denimos
h = p
1
.
Em particular, temos o seguinte corol ario:
_
X
1
, p
1
, X
_
e
_
X
2
, p
2
, X
_

X
1
e

X
2
s ao simples-
mente conexos e localmente conexos por caminhos. Ent ao, existe um homeomorsmo, tal que o
seguinte diagram comuta:
X
2
p
2
X
1 p
1

X
O seguinte corol ario e uma recproca da proposic ao anterior.
100 CAP

_
X
1
, p
1
, X
_
e
_
X
2
, p
2
, X
_

X
1
e

X
2
s ao conexos
e localmente conexos por caminhos. Dados x
1

X
1
, x
2

X
2
e x
0
X tais que p
1
( x
1
) =
= p
2
( x
2
) = x
0
, se existe h :

X
1

X
2
homeomorsmo tal que p
2
h = p
1
e h( x
1
) = x
2
,
ent ao:
p
1
_
1
_
X
1
, x
1
__
= p
2
_
1
_
X
2
, x
2
__
O seguinte teorema determina completamente os possves recobrimentos de um espa-
co, salvo isomorsmos, pela classe de conjugac ao de p
1
_
X, x
__
.
Teorema 5.6. Os recobrimentos
_
X
1
, p
1
, X
_
e
_
X
2
, p
2
, X
_
s ao isomorfos se, e somente se
para todos x
1

X
1
, x
2

X
2
e x
0
X tais que p
1
( x
1
) = p
2
( x
2
) = x
0
, os subgrupos
p
1
_
1
_
X
1
, x
1
__
e p
2
_
1
_
X
2
, x
2
__
est ao na mesma classe de conjuga c ao em
1
_
X, x
0
_
.
Prova A prova segue do corol ario anterior e do teorema 5.4.
Observa c oes 5.3.
1. Se

X =

X
1
=

X
2
, os isomorsmos s ao chamados automorsmos do recobrimento
_
X, p,

X
_
.
2. N ao e difcil provar, que os automorsmos de
_
X, p,

X
_
formam um grupo com a
composta de func oes. Denotemos este grupo por:
Aut
_
X, p,

X
_
= h :

X

X / hisomorsmo tal que p h = p.
3. Cada h Aut
_
X, p,

X
_
dene uma permutac ao em cada bra p
1
(x).
4. Note que

X e um Aut
_
X, p,

X
_
-espaco com a ac ao:
: Aut
_
X, p,

X
_
X

X
(h, x) h x = h( x)
Dos teoremas anteriores, segue imediatamente:
_
X, p,

X
_
e x

X. Um automorsmo h e completamente determinado
pelo valor h( x). Isto e, se h
1
, h
2
Aut
_
X, p,

X
_
com h
1
( x) = h
2
( x), ent ao h
1
= h
2
.
Note que se x
0
X e x
0
p
1
(x
0
), ent ao h( x
0
) p
1
(x
0
). Utilizando este corol ario
podemos construir automorsmos, pois, os automorsmos s ao completamente deter-
minados por seus possveis valores na bra. Sejam x
0
X e x
0
p
1
(x
0
). Podemos
construir os automorsmos associando a h( x
0
) os possveis valores em p
1
(x
0
).
5.3. TRANSFORMAC

Exemplo 5.5.
[1] Seja
_
R, exp, S
1
_
; ent ao para cada n Z, temos:
T
n
: R R
x x + n.
As translac oes T
n
s ao automorsmos tais que T
n
(0) = n, para todo n Z. Por outro
lado sabemos que exp
1
(1) Z. Logo, estes s ao todos os possveis automorsmos;
ent ao:
Aut
_
R, exp, S
1
_
= T
n
/ T
n
(x) = x + n, n Z, x R.
[2] Seja
_
R
2
, p, T
2
_
; ent ao, para cada (n, m) Z Z, temos:
T
n,m
: R
2
R
2
(x, y) (x + n, y + m).
As translac oes T
n,m
n,m
(0, 0) = (n, m), para todo (n, m)
Z Z. Por outro lado sabemos que p
1
(1) Z Z. Logo, estes s ao todos os possveis
automorsmos; ent ao:
Aut
_
R
2
, p, T
2
_
= T
n,m
/ T
n,m
(x, y) = (x + n, y + m), (n, m) Z
2
, (x, y) R
2
.
[3] Em geral, seja
_
R
n
, p, T
n
_
; ent ao, para cada v Z
n
, temos:
T
v
: R
n
R
n
x x + v.
As translac oes T
v
v
(0, 0) = v, para todo v Z
n
. Por outro
lado sabemos que p
1
(1) Z
n
. Logo, estes s ao todos os possveis automorsmos;
ent ao:
Aut
_
R
n
, p, T
n
_
= T
v
/ T
v
(x) = x + v, v Z
n
, x R
n
.
[4] Seja
_
PR
n
, , S
n
_
. Como sabemos
1
(1) Z
2
. Logo, estes s ao todos os possveis
automorsmos; ent ao:
Aut
_
PR
n
, , S
n
_
= id, a,
onde a e func ao antpoda.
[5] Sejam
_
X, , M
_
, onde M e a faixa de M oebius e X = R (1, 1); ent ao para cada
n Z, temos:
T
n
: R (1, 1) R (1, 1)
(x, y) (x + n, (1)
n
y).
T
n
n
(0, 0) = (n, 0), para todo n Z. Por outro lado
sabemos que
1
(1) Z. Logo, estes s ao todos os possveis automorsmos; ent ao:
Aut
_
X, , M
_
= T
n
/ T
n
(x, y) = (x + n, (1)
n
y), n Z, (x, y) X.
102 CAP

Teorema 5.7. Se

X e conexo e localmente conexo por caminhos, ent ao Aut
_
X, p, X
_
atua de
forma totalmente descontnua sobre

X. Em particular:
:

X

X
_
Aut
_
X, p, X
_
e um recobrimento.
Prova : Sejam x

X e U uma vizinhanca distinguida de p( x) = x; ent ao:
p
1
_
U
_
=
_
jJ
V
j
,
onde V
j
s ao disjuntas aos pares e cada V
j
e homeomorfa a U. Logo, existe um k J tal
que x V
k
. Seja h Aut
_
X, p, X
_
:
i) Se h( x) = x, ent ao sabemos que h = id
e
X
. Veja o captulo anterior.
ii) Se h ,= id
e
X
, como p
_
h( x)
_
= p( x) segue que h( x) V
s
, para algum s J.
iii) Se V
k
= V
s
, ent ao h( x) = x. Logo, se h ,= id
e
X
, ent ao x V
k
e h( x) V
s
e V
k

V
s
= . Por outro lado, U e conexo por caminhos pois

X e X s ao localmente conexos
por caminhos e os V
j
tamb em s ao conexos por caminhos. Por outro lado, note que
(p h)
_
V
k
_
= U e:
h
_
V
k
_
_
jJ
V
j
;
como h( x) V
s
, para algum x V
k
, temos que h
_
V
k
_
V
s
; logo V
k
h
_
V
k
_
= ; a ac ao
e totalmente descontnua.
Teorema 5.8. Se

X e conexo e localmente conexo por caminhos e p
1
_
X, x
0
__
e um subgrupo
normal de
1
_
X, x
0
_
, ent ao:
X

=

X
_
Aut
_
X, p, X
_
,
onde
= denota homeomorsmo.
Prova : Se p
1
_
X, x
0
__
e um subgrupo normal de
1
_
X, x
0
_
, sabemos que:
p
1
_
X, x
0
__
= p
1
_
X, x
1
__
, para todo x
1
p
1
(x
0
).
Logo, existe h Aut
_
X, p, X
_
tal que h( x
0
) = x
1
. Reciprocamente, se h( x
0
) = x
1
para algum h Aut
_
X, p, X
_
, ent ao p( x
0
) = p( x
1
). Isto e, o grupo Aut
_
X, p, X
_
iden-
tica cada elemento de

X da mesma forma que os identica a aplicac ao de recobri-
mento p. Logo, existe uma bijec ao entre X e

X
_
Aut
_
X, p, X
_
. Por outro lado, X e
X
_
Aut
_
X, p, X
_
tem a topologia quociente determinada por p e , respectivamente.
Logo:
X

=

X
_
Aut
_
X, p,

X
_
.
5.3. TRANSFORMAC

Corol ario 5.7. Seja
_
X, p,

X
_
um recobrimento tal que

X e conexo e localmente conexo por
caminhos. Se p
1
_
X, x
0
__
e um subgrupo normal de
1
_
X, x
0
_
, onde p( x
0
) = x
0
, ent ao
1
_
X, x
0
__
p
1
_
X, x
0
__
Aut
_
X, p, X
_
.
Em particular, se

X e simplesmente conexo, ent ao:
1
_
X, x
0
_
Aut
_
X, p, X
_
.
Exemplo 5.6.
[1] Seja
_
R
n
, p, T
n
_
. Como R
n
e simplesmente conexo, temos que:
Z
n

=
1
_
T
n
, x
0
_
= Aut
_
R
n
, p, T
n
_
.
Por outro lado, sabemos que:
Aut
_
R
n
, p, T
n
_
= T
v
(x) = x + v / v Z
n
, x R.
Logo, pelo teorema 5.8, obtemos novamente que:
R
n
_
Z
n

= T
n
.
[2] Seja
_
PR
n
, , S
n
_
. Como S
n
e simplesmente conexa (n > 1), temos que:
Z
2

=
1
_
PR
n
, x
0
_
= Aut
_
PR
n
, , S
n
_
.
Aut
_
PR
n
, , S
n
_
= id, a,
onde a e a func ao antpoda. Pelo teorema 5.8, obtemos novamente que:
S
n
_
Z
2

= PR
n
.
[3] Seja
_
S
1
, p, S
1
_
tal que p(z) = z
n
, (n N); ent ao como
1
_
S
1
, x
0
_
Z, temos que
p
1
_
S
1
, x
0
__
nZ
e normal emZ e:
Aut
_
S
1
, p, S
1
_
=
1
_
X, x
0
__
p
1
_
X, x
0
__
Z
_
nZ.
Isto e, Aut
_
S
1
, p, S
1
_
e um grupo nito de ordem n. Pelo teorema 5.8, obtemos nova-
mente que:
S
1
_
Z
_
nZ
= S
1
.
104 CAP

[4] Seja
_
X, , M
_
, onde M e a faixa de M oebius e X = R (1, 1). Como X e simples-
mente conexo, temos que:
Z
=
1
_
M, m
0
_
= Aut
_
X, , M
_
.
Aut
_
X, , M
_
= T
n
/ T
n
(x, y) = (x + n, (1)
n
y), n Z, x R.
Pelo teorema 5.8, obtemos novamente que:
X
_
Z
= M.
[5] Seja
_
R
2
, , K
_
, onde K e a garrafa de Klein. Como R
2
e simplesmente conexo,
temos que:
Aut
_
R
2
, , K
_

1
_
K, x
0
_
G,
onde G e o grupo gerado pelos homeomorsmos a, b : R
2
R
2
denidos por:
a(x, y) = (x, y + 1) e b(x, y) = (x + 1, y),
com a relac ao b a b = a. Logo, os automorsmos s ao:
Aut
_
R
2
, , K
_
= T
n,m
/ T
n,m
(x, y) = ((1)
n
x + m, y + n), n, m Z, (x, y) R
2
.
Note que:
T
n,m
(0, 0) = (m, n)
T
1,0
(x, y) = a(x, y)
T
0,1
(x, y) = b(x, y).
R
2
_
G

= K.
[6] Seja
_
L(p, q), , S
2n+1
_
. Como S
2n+1
e simplesmente conexo, ent ao:
Aut
_
L(p, q), , S
2n+1
_

1
_
L(p, q), x
0
_
Z
p
.
S
2n+1
_
Z
p

= L(p, q).
5.3. TRANSFORMAC

Observa c oes 5.4.
1. Sabemos que o teorema 5.6 determina completamente os possves recobrimentos de
um espaco, salvo isomorsmo, pela classe de conjugac ao dos subgrupos p
1
_
X, x
__
.
A recproca ser a verdadeira? Isto e, dada uma classe de conjugac ao de subgrupos de
1
_
X, x
_
existe um recobrimento
_
X, p,

X
_
tal que p
1
_
X, x
__
pertence a esta classe
de conjugac ao? Em geral, a resposta a esta quest ao e negativa.
2. Note que sempre temos o recobrimento
_
X, id, X
_
correspondente ` a classe de conju-
gac ao do subgrupo
1
_
X, x
_
.
Deni c ao 5.3. O recobrimento
_
X, p,

X
_
e dito universal de X, se

X e conexo, localmente
conexo por caminhos e simplesmente conexo.
Exemplo 5.7.
[1]
_
R, exp, S
1
_
e o recobrimento universal de S
1
.
[2] Analogamente,
_
R
2
, (exp, exp), T
2
_
e o recobrimento universal de T
2
.
[3] Em geral,
_
R
n
, (exp, . . . , exp), T
n
_
e o recobrimento universal de T
n
.
[4]
_
S
1
R, (id, exp), T
2
_
n ao e um recobrimento universal de T
2
.
[5]
_
X, , M
_
, onde M e a faixa de M oebius e X = R(1, 1) e o recobrimento universal
de M.
[6]
_
R
2
, , K
_
, onde K e a garrafa de Klein, e o recobrimento universal de K.
O recobrimento universal e associado ao subgrupo e
1
_
X, x
_
.
O n umero de folhas do recobrimento universal e a ordem do grupo fundamental da
base. Por exemplo,
_
R, exp, S
1
_
tem innitas folhas e
_
S
n
, , PR
n
_
, (n > 1) tem 2 folhas.
_
X, p,

X
_
recobrimento universal de X. Para todo
_
X
1
, p
1
, X
_
tal que
X
1
e conexo, existe h :

X

X
1
homomorsmo tal que o seguinte diagrama e comutativo:
X
1
p
1
X p

X
isto e, p
1
h = p.
Prova : Para todo x

X e x
1

X
1
tais que p( x) = p
1
( x
1
) temos:
0 p
1
_
X, x
__
p
1
_
1
_
X
1
, x
1
__
.
106 CAP

Pela proposic ao 5.3 e a proposic ao anterior, temos que:
Dado
_
X, p,

X
_
o recobrimento universal de X, para todo recobrimento
_
X
1
, p
1
, X
_
,
existe homomorsmo h :

X

X
1
tal que
_
X, h,
X
1
_
e um recobrimento de

X
1
. Isto
justica o nome de recobrimento universal.
X
1
p
1
X p

X
Segue diretamente do corol ario 5.5, que dois recobrimentos universais de um mesmo
espaco s ao isomorfos. Neste sentido, o recobrimento universal, se existe, e unico.
E possvel provar a exist encia do recobrimento universal de um espaco com hip oteses
bastante gerais.
5.4 Aplica c oes
Um problema bastante complicado e determinar todos (a menos de isomorsmo) os
recobrimentos de um espaco dado. Neste par agrafo, estudaremos alguns exemplos
com a hip otese de que o espaco de recobrimento e conexo. Utilizaremos o seguinte
corol ario dos par agrafos anteriores.
Teorema 5.9.
Seja X conexo e localmente conexo por caminhos possuindo recobrimento universal
_
X, p,

X
_
. Dado G
1
_
X, x
0
_
um subgrupo, existem um recobrimento
_
X
G
, p, X
_
e
y
0
p
1
(x
0
), tais que:
p
1
_
X
G
, y
0
__
= G.
Prova : Sabemos que
1
_
X, x
0
_
e Aut
_
X, p, X
_
s ao isomorfos. Seja G
1
_
X, x
0
_
um
subgrupo e consideremos G
Aut
_
X, p, X
_
o subgrupo correspondente, dado pelo
isomorsmo; denotemos por:
X
G
=

X
_
G
.
A relac ao de equival encia est a denida por:
x y se, e somente se, existe g G
tal que g(x) = y.

Demos a

X
G
a topologia quociente determinada pela projec ao can onica:
:

X

X
G
.
5.4. APLICAC

OES 107
Denamos a seguinte aplicac ao:
p
G
:

X
G
X
G
x p( x).
Isto e, temos o seguinte diagrama comutativo:
X
G
p
G
X p
~
~
~
~
~
~
~
~
X
De fato, todo elemento da orbita de x e da forma h( x), onde h G
; como G
e um
subgrupo de automorsmos, temos que:
(p h)( x) = p( x),
ent ao p
G
= p. Logo, p
G
e bem denida e sobrejetiva. Por outro lado, G
age de
forma totalmente descontnua; pelo que foi visto nos par agrafos anteriores, p
G
e um
recobrimento. Em particular p
G
e um homeomorsmo local; como X e localmante
conexo, ent ao

X
G
e localmente conexo.

X e simplesmente conexo,

X
G
e conexo; como
e um homomorsmo de recobrimento, em particular,

X e o recobrimento universal
de

X
G
, logo:
1
_
X
G
, y
0
_
G
.
Note que para vericar que p
1
_
X
G
, y
0
__
= G, basta verica que o seguinte diagrama
comuta:
1
_
X
G
, y
0
_

G
p
G
_i
1
_
X, x
0
_

H
onde H = Aut
_
X, p,

X
_
, e s ao isomorsmos e i e a inclus ao. De fato, como
p
G
=
1
i =
1
, ent ao:
p
G
_
1
_
X
G
, y
0
__
=
1
_
1
_
X
G
, y
0
___
=
1
_
G
) = G.
Consideremos o diagrama comutativo:
X
G
p
G
X p
~
~
~
~
~
~
~
~
X
108 CAP

tal que p( x
0
) = x
0
, ( x
0
) = y
0
e p
G
(y
0
) = x
0
. Seja []
1
_
X
G
, y
0
_
; denimos:
: I X,
tal que = p
G
. Note que []
1
_
X, x
0
_
, pois (0) = p
G
((0)) = p
G
(y
0
) = x
0
e
(1) = p
G
((1)) = p
G
(y
0
) = x
0
. Consideremos o levantamento de a partir de x
0
,
isto e:
p = .
Por outro lado, p
G
= p e p = p
G
; logo:
p
G
= p = = p
G
.
Note que ( (0)) = ( x
0
) = y
0
. Logo, e tem ponto inicial y
0
; ent ao e s ao
levantamentos de partindo de y
0
.
I
e

X
p
X
_id
I

X
G
p
G
X
Pela unicidade dos levantamentos:
= .
Logo, e um levantamento em

X de ; ent ao [ ] = []. Como e s ao levantamen-
tos em X, as imagens ([]) e ([]) s ao unicamente determinadas por x
0
e (1). Logo,
([]) = (1) = ([]). Por outro lado, ([]) = (p
G
([])); ent ao:
(p
G
([])) = ([]).
5.5 Recobrimentos de S
n
, (n > 1)
Seja S
n
R
n+1
, (n 2) a esfera unit aria. Como S
n
e simplesmente conexa, ent ao
1
_
S
n
, z
0
_
e, (n 2). Logo, temos que, o unico subgrupo possvel e o subgrupo
trivial, o qual e associado ao recobrimento universal.
De fato:

X
G
= S
n
_
e = S
n
e o recobrimento universal e:
id : S
n
S
n
,
e o unico recobrimento de S
n
, (n > 1).
Logo, todo recobrimento
_
X, p, S
n
_
e isomorfo a este recobrimento.
5.6. RECOBRIMENTOS DOS ESPAC OS LENTICULARES 109
5.6 Recobrimentos dos Espa cos Lenticulares
Seja L(p, q
1
, . . . , q
n
) = S
2n+1
_
Z
p
o espaco lenticular. Sabemos que
1
_
L(p, q
1
, . . . , q
n
), y
0
_
Z
p
,
onde p e um n umero primo e os q
i
s ao inteiros, primos relativos com p. Logo, os unicos
subgrupos de Z
p
s ao e e Z
p
, ent ao:
i) O recobrimento universal:

X
G
= S
2n+1
_
e

= S
2n+1
, e:
: S
2n+1
L(p, q
1
, . . . , q
n
),
onde e a projec ao can onica.
ii) O outro recobrimento e

X
G
= S
2n+1
_
Z
p

= L(p, q
1
, . . . , q
n
)), e:
id : L(p, q
1
, . . . , q
n
) L(p, q
1
, . . . , q
n
).
_
X, p, L(p, q)
_
e isomorfo a um destes recobrimentos.
5.7 Recobrimentos do Espa co Projetivo Real
Seja PR
n
, (n 2) o espaco projetivo real. Sabemos que
1
_
PR
n
, p
0
_
e um grupo nito
de ordem 2, isomorfo a Z
2
. Por outro lado Z
2
admite somente dois subgrupos: e e
Z
2
. Ent ao, temos:
i)

X
G
= S
n
_
e = S
n
e o recobrimento universal:
: S
n
PR
n
,
onde e a projec ao can onica. O grupo de automorsmos e:
1
_
PR
n
, p
0
_
Aut
_
S
n
, , PR
n
_
= id, a,
onde a e a func ao antpoda.
ii)

X
G
= S
n
_
Z
2
= PR
n
e:
id : PR
n
PR
n
,
e recobrimento trivial.
_
X, p, PR
n
_
110 CAP

5.8 Recobrimentos do C rculo
SejamS
1
Ce z
0
= (1, 0). Sabemos que
1
_
S
1
, z
0
_
e um grupo cclico innito, isomorfo
a Z. Os subgrupos de Z s ao do tipo: G
n
= nZ, (n 0).
i)

X = R e o recobrimento universal de S
1
que e associado ao subgrupo e, onde:
exp : R S
1
.
De fato,

X
G
= R
_
e R. O grupo de automorsmos e:
Aut
_
R, , S
1
_
= T
k
(z) = z + k / k Z, z S
1
.
Note que exp T
k
= exp, para todo k Z.
ii) Se G
Z, ent ao

X
G
= R
_
G
S
1
; logo, temos:
id : S
1
S
1
,
o recobrimento trivial.
iii) Os subgrupos G
n
= nZ, ( n N) s ao associados aos recobrimentos:
p
n
:S
1
S
1
z z
n
.
De fato, o subgrupo G
n
tem como subgrupo correspondente pelo isomorsmo:
G
n
= T
n
(z) = z + n/ n Z, z S
1
.
Logo:
X
G
= R
_
G
n
S
1
,
pois:
x x + n, n Z.
Por exemplo, seja o subgrupo 4 Z que tem como subgrupo correspondente pelo iso-
morsmo:
G
4
= T
4
(z) = z + 4 / z S
1
.
Todos os pontos de R s ao equivalentes a um elemento de [0, 4] por G
4
; logo R
_
G
4
e
[0, 4], salvo 0 e 4 que s ao equivalentes, isto e:
R
_
G
4
S
1
.
Note que a aplicac ao T
4
: R R induz p
4
, que corresponde a dar 4 vezes a volta ao
redor do crculo.
R
T
4
R
_
S
1
p
4
S
1
_
X, p, S
1
_
5.9. RECOBRIMENTOS DO TORO 111
5.9 Recobrimentos do Toro
Sejam T
2
o toro e z
0
= (0, 0). Sabemos que
1
_
T
2
, z
0
_
e um grupo cclico innito com 2
geradores, isomorfo a Z Z. Logo, os possveis subgrupos s ao:
i) Subgrupos cclicos com um gerador.
ii) Subgrupos cclicos com dois geradores.
O recobrimento universal do toro:

X
G
= R
2
_
G
0,0

= R
2
:
: R
2
T
2
.
O grupo de automorsmos e:
Aut
_
R
2
, , S
1
S
1
_
= T
k,l
(x, y) = (x + k, y + l) / k, l Z, (x, y) R
2
.
Compondo com o homeomorsmo: T
2
= S
1
S
1
, temos:
p : R
2
T
2
(s, t) (exp(s), exp(t)).
i) Subgrupos gerados por um gerador.
Os subgrupos gerados por vetores paralelos a (1, 0): G
k,0
(k 1) tem como subgrupo
correspondente pelo isomorsmo:
G
k,0
= T
k
(x, y) = (x + k, y) / k Z, (x, y) R
2
,
os quais, s ao associados aos cilindros. De fato:
(x, y) (x + k, y), (x, y) R
2
;
logo:
R
2
_
G
k,0
= (x, y) / 0 x k S
1
R.
2

= S
1
S
1
, temos:
p : S
1
R T
2
(z, t) (z, exp(t)).
112 CAP

p
Figura 5.1: Cilindro recobrindo o toro
Analogamente, os subgrupos gerados por vetores paralelos a (0, 1): G
0,l
(l 1), tem
como subgrupo correspondente pelo isomorsmo:
G
0,l
= T
l
(x, y) = (x, y + l) / l Z, (x, y) R
2
,
os quais, s ao associados aos cilindros. De fato:
(x, y) (x, y + l), (x, y) R
2
;
logo:
R
2
_
G
0,l
= (x, y) / 0 y l R S
1
.
2
= S
1
S
1
, temos:
p : R S
1
T
2
(t, z) (exp(t), z).
p
Figura 5.2: Cilindro recobrindo o toro
Os subgrupos G
k,l
gerados por vetores (k, l) s ao, em geral, faixas do tipo:
G
k,l
= (x, y) / 0 (x, y) (k, l) |(k, l)|
2
,
onde e o produto interno usual do plano.
Figura 5.3:
Logo, ap os rotac oes (que s ao homeomorsmos), obtemos que:
R
2
_
G
k,l
= C,
114 CAP

onde C e um cilindro.
Utilizando a estrutura multiplicativa do grupo T
2

=
= S
1
S
1
, temos que:
p : C T
2
(z, t) (z
k
e
2lt
, z
l
e
2kt
).
Se l = 0, temos que (z, t) (z
k
, e
2kt
) que corresponde ao produto de dois recobri-
mentos, o primeiro nito de S
1
e o segundo o universal.
ii) Subgrupos com dois geradores.
S ao subgrupos gerados por um par de vetores linearmente independentes. Em geral,
estes subgrupos s ao associados a ret angulos:
Figura 5.4:
Portanto os espacos de recobrimento resultantes s ao toros. Se o subgrupo e gerado por
vetores (a, b) e (c, d), linearmente independentes e utilizando a estrutura multiplicativa
do grupo T
2
= S
1
S
1
, temos que:
p : T
2
T
2
(z, w) (z
a
w
c
, z
b
w
d
).
Se c = b = 0, temos que (z, w) (z
a
, w
d
) que corresponde ao produto de dois reco-
brimentos nitos de S
1
.
Distintos pares de geradores geram distintos subgrupos se o conjunto de geradores
n ao s ao equivalentes por Aut
_
R
2
, , S
1
S
1
_
.
Por exemplo, o subgrupo 3 Z0 2 Z0 3 Z2 Z, tem como subgrupo corres-
pondente pelo isomorsmo a G
3,2
, o qual e gerado por:
T
3,0
(x, y) = (x + 3 k, y) e T
2,0
(x, y) = (x, y + 2 l).
Todo ponto de R
2
e equivalente por G
3,2
a um ponto de [0, 3] [0, 2]; logo R
2
_
G
3,2
e um
toro.
p
0
3
2
Figura 5.5: Recobrimento de 6 folhas do toro
A projec ao envia os seis ret angulos no ret angulo original do toro. Logo, e um recobri-
mento de 6-folhas do toro
O subgrupo G gerado por (0, 2) e (1, 1), produz o seguinte recobrimento do toro:
2
1
0
p
Figura 5.6: Recobrimento do toro
116 CAP

O n umero de recobrimentos de k l folhas e determinado pela fatorac ao de k l. Por
exemplo, para recobrimentos de 6 folhas temos:
6 1 = 3 2 = 2 3 = 1 6.
Verique se os recobrimentos anteriores de 6 folhas s ao isomorfos.
Em geral, se T
n
= R
n
_
Z
n
, ent ao todo recobrimento

X, conexo por caminhos de T
n
e:
X T
m
R
nm
,
onde T
0
= x
0
.
De fato, o recobrimento universal de T
n
e R
n
. Por outro lado, todo recobrimento

X,
conexo por caminhos e isomorfo a:
R
n
_
G,
onde G e um subgrupo de
1
_
T
n
, (0, . . . , 0)
_
que e isomorfo a Z
n
. Logo, existem v
1
, v
2
,
. . ., v
m
Z
n
linearmente independentes tais que G e gerado por estes vetores. Utili-
zando a mudanca de bases para base can onica e
1
, e
2
, . . . , e
m
de R
m
, temos:
R
n
_
< e
1
, e
2
, . . . , e
m
> R
m
_
< e
1
, e
2
, . . . , e
m
> R
nm
T
m
R
nm
,
onde < e
1
, e
2
, . . . , e
m
> e o subgrupo gerado pelos elementos e
1
, e
2
, . . . , e
m
.
5.10 Recobrimentos da Faixa de M oebius
Seja M a faixa de M oebius. Sabemos que
1
_
M, z
0
_
e umgrupo cclico innito, isomorfo
a Z. Os subgrupos de Z s ao do tipo: G
n
= nZ, (n 0). Denotemos: X = R (1, 1).
i)

X = X e o recobrimento universal de M associado ao subgrupo G
0
, onde:
: X M.
De fato,

X
G
= X
_
e X. O grupo de automorsmos e:
Aut
_
X, , M
_
= T
k
/ T
k
(x, y) = (x + k, (1)
k
y), k Z, (x, y) X.
Note que T
k
(0, y) = (k, (1)
k
y). Isto e:
(0, y) (k, (1)
k
y).
5.10. RECOBRIMENTOS DA FAIXA DE M

OEBIUS 117
0 1 2
Figura 5.7: Recobrimento universal da faixa de M oebius

ii) Se G
= Z, ent ao

X
G
= X
_
G
M; logo temos:
id : M M,
o recobrimento trivial.
iii) De forma an aloga ao caso do crculo, os subgrupos G
n
= nZ ( n N), s ao associa-
dos, pelo isomorsmo, a subgrupos:
G
n
= T
n
/ T
n
(x, y) = (x + n, (1)
n
y), n Z, (x, y) X.
Logo:
(x, y) (x + n, (1)
n
y).
Os recobrimentos:
X
Gn
= X
_
G
n
,
onde todo ponto de X e equivalente a (x, y) com 0 x n. Obtemos recobrimentos
de n folhas. Logo:
i) Se n e par,

X
Gn
e um cilindro. De fato:
(x, y) (x + n, y).
Por exemplo X
_
2 Z:
118 CAP

0 1 2
Figura 5.8: Recobrimento da faixa de M oebius associado a 2 Z

ii) Se n e mpar,

X
Gn
e uma faixa de M oebius. De fato:
(x, y) (x + n, y).
Por exemplo X
_
3 Z:
0 1 2
3
Figura 5.9: Recobrimento da faixa de M oebius associado a 3 Z
5.11. RECOBRIMENTOS DA GARRAFA DE KLEIN 119
5.11 Recobrimentos da Garrafa de Klein
Seja a garrafa de Klein: K = R
2
_
G, onde G e o grupo gerado pelos homeomorsmos
a, b : R
2
R
2
denidos por:
a(x, y) = (x, y + 1) e b(x, y) = (x + 1, y),
tal que b a b = a. Sabemos que
1
_
K, p
0
_
G.
Note que se g G, ent ao g = a
m
b
n
, m, n Z de forma unica, e:
a
m
b
n
a
r
b
s
= a
m+r
b
(1)
r
n+s
(a
m
b
n
)
1
= a
m
b
(1)
m+1
n
.
Os possveis subgrupos de G s ao:
i) Os subgrupos cclicos do tipo:
H
m,n
= (a
m
b
n
).
ii) Os subgrupos cclicos do tipo:
H
m,n,k
= (a
m
b
n
, b
k
)
tal que m ,= 0, k > 0 e 0 n < k.
O recobrimento universal:

X
G
= R
2
_
e

= R
2
:
: R
2
K.
O grupo de automorsmos e:
Aut
_
R
2
, , K
_
= T
m,n
/ T
m,n
(x, y) = ((1)
m
x + n, y + m), n, m Z.
Isto e:
(x, y) ((1)
m
x + n, y + m).
i) Consideramos

X
G
= R
2
_
H
m,n
e:
p : R
2
_
H
m,n
K,
onde p e a projec ao can onica.
E possvel provar que se m e par, ent ao:

R
2
_
H
m,n
S
1
R,
e se m e mpar, ent ao:
R
2
_
H
m,n
M,
120 CAP

onde M e a faixa de M oebius.
Por exemplo, seja H
m,0
= T
m,0
(x, y) = ((1)
m
x, y + m). Logo,
(x, y) ((1)
m
x, y + m), m Z
Se m e par, (x, y) (x, y + m), m Z e:
R
2
_
H
m,0
S
1
R.
Se m e mpar, temos:
(x, y) (x, y + m), m Z
logo, R
2
_
H
m,0
M.
ii) Os subgrupos:
H
m,n,k
= (a
m
b
n
, b
k
)
tais que m ,= 0, k > 0 e 0 n < k. Consideramos:
X
G
= R
2
_
H
m,n,k
e a projec ao can onica:
p : R
2
_
H
m,n,k
K.
E possvel provar que se m e par, ent ao:

R
2
_
H
m,n,k
T
2
,
e se m e mpar, ent ao:
R
2
_
H
m,n,k
K.
Por exemplo, consideremos o subgrupo H
m,0,k
que e gerado pelos automorsmos:
T
m,0
(x, y) = ((1)
m
x, y + m)
T
0,k
(x, y) = (x + k, y).
Ent ao, se m e par:
(x, y) (x, y + m)
(x, y) (x + k, y).
Logo:
R
2
_
H
m,0,k
T
2
.
Se m e mpar:
(x, y) (x, y + m)
(x, y) (x + k, y).
5.12. AC

AO DO GRUPO FUNDAMENTAL SOBRE AS FIBRAS 121
Logo:
R
2
_
H
m,0,k
K.
O seguinte recobrimento e determinado pelo subgrupo gerado por T
2,0
e T
1,3
:
p
0 2
Figura 5.10: Recobrimento da garrafa de Klein
5.12 A c ao do Grupo fundamental sobre as Fibras
Seja
_
X, p,

X
_
um recobrimento. N ao e dicil vericar que existe uma ac ao natural do
grupo fundamental de X sobre as bras do recobrimento.
Dado x X, deniremos
:
1
_
X, x
_
p
1
(x) p
1
(x)
([], x) [] x = (1),
onde e o unico levantamento de tal que p
([ ]) = [] e (0) = x. Claramente, p
1
(x)
e um
1
_
X, x
_
-espaco.
Seja X um G-espaco. A ac ao do grupo G sobre o conjunto X e dita transitiva se para
todo x
1
, x
2
X existe g Gtal que gx
1
= x
2
. Lembremos que o subgrupo de isotropia
do elemento x
0
X e:
g G/ g x
0
= x
0
.
122 CAP

_
X, p,

X
_
um recobrimento. Temos:
1.
1
_
X, x
_
atua transitivamente sobre p
1
(x).
2. Para todo x p
1
(x), o subgrupo de isotropia de x e p
1
_
X, x
__
.
3. Para todo h Aut
_
X, p,

X
_
, x p
1
(x) e []
1
_
X, x
_
, temos que:
h([] x) = [] h( x).
Prova :
1. Sejam x
1
, x
2
p
1
(x), como

X e conexo por caminhos, existe um caminho tal que
(0) = x
1
e (1) = x
2
. Denamos = p , ent ao:
(0) = p( x
1
) = x = p( x
2
) = (1);
logo, []
1
_
X, x
_
e [] x
1
= x
2
.
2. Segue da denic ao da ac ao.
3. Seja []
1
_
X, x
_
; denotemos por o unico levantamento de tal que (0) = x e
p = . Logo, [] x = (1); consideremos h caminho em

X tal que (h )(0) = h( x)
e
(h )(1) = h( (1)), ent ao:
p
_
h( )
_
=
_
p h
_
= p( ) = .
Logo, h( ) tamb em e um levantamento de . Pela denic ao da ac ao :
[] h( x) =
_
h
_
(1) = h( (1)) = h([] x).
5.13. EXERC
ICIOS 123
5.13 Exerc cios
1. Um recobrimento
_
X, p,

X
_
e dito regular se para algum x
0

X o subgrupo
p
1
_
X, x
0
__
e normal de
1
_
X, x
0
_
. Verique que se []
1
_
X, x
0
_
, ent ao todos os levanta-
mentos de s ao caminhos fechados ou n ao s ao fechados.
2. Seja
_
X, p,

X
_
um recobrimento tal que X =

X
_
G, onde G e um grupo que age
de forma totalmente descontua sobre

X. Prove que
_
X, p,

X
_
e regular.
3. Seja X = R [0, 1] C e denamos o homeomorsmo
T : X X
z z + 1 +i.
Se G e o grupo gerado por T, calcule
1
_
X
_
G, x
0
_
. (Verique primeiramente que
X
_
G e homeomorfa ` a faixa de M oebius).
4. Verique que o sinal negativo no expoente da primeira componente de
p : C T
2
(z, t) (z
k
e
2lt
, z
l
e
2kt
).
e coerente com a descric ao dos geradores do toro.
124 CAP

Cap tulo 6
TEOREMA DE SEIFERT - VAN
KAMPEN
6.1 Introdu c ao
O Teorema de Seifert-Van Kampen e um cl assico da Topologia Alg ebrica e e uma fer-
ramenta poderosa, que nos permitir a determinar o grupo fundamental de um espaco
topol ogico, conhecendo apenas alguns dos grupos fundamentais de subconjuntos es-
peciais do espaco topologico. Por exemplo, considere a gura do n umero oito. Topo-
logicamente esta gura e homeomorfa a uni ao de dois crculos, disjuntos, salvo num
unico ponto em comum; utilizando o Teorema de Seifert-Van Kampen, poderemos de-
termin a-lo a partir do grupo fundamental do crculo.
Figura 6.1: Uni ao de dois crculos, com um ponto comum.
OTeorema de Seifert-Van Kampen, temalguns pr e-requisitos da Teoria dos Grupos,que
s ao necess arios para seu completo entendimento. Nos par agrafos seguintes, apresen-
taremos de forma bastante sucintas estes pr e-requisitos.
125
126 CAP
ITULO 6. TEOREMA DE SEIFERT - VAN KAMPEN

6.2 Grupos Livres
Nesta sec ao, iniciamos o estudo de alguns conceitos da Teoria dos Grupos, o suciente
para entender e aplicar o Teorema de Seifert-Van Kampen. Para mais detalhes e/ou
aprofundamentos destes t opicos, veja qualquer livro de

Algebra intermedi aria.
Deni c ao 6.1. Seja S ,= um conjunto e F um grupo. Dizemos que F e um grupo livre sobre
S, se existe i : S F injetiva tal que para qualquer fun c ao h : S G, onde G e um grupo
arbitr ario, existe um unico homomorsmo g : F G, tal que o seguinte diagrama comuta:
F
g
1
1
1
S
h

G
Isto e, g i = h
N ao e difcil ver que xado o conjunto S, existe um unico grupo livre F, a menos
de isomorsmos. A exist encia dos grupos livres pode ser vista em qualquer livro de
Algebra intermedi aria.

N ao e difcil ver que o grupo livre G gerado por um unico elemento e isomorfo a Z. De
fato a unica aplicac ao injetiva h : a Z e dada por h(a) = 1, tal que:
G
g
a
h
|
|
|
|
|
|
|
|
Z
Se S e um conjunto nito com n elementos, o grupo livre gerado por S e dito grupo
livre com n geradores. Grupos livres com n > 1 geradores, s ao grupos innitos n ao
abelianos.
A seguinte propriedade caracteriza completamente estes grupos.
Todo grupo e quociente de um grupo livre. De fato. seja G um grupo e S G tal que
G =< S >, onde < S > e o grupo gerado por S, logo a inclus ao natural i : S G
pode ser unicamente estendida a um homomorsmo sobrejetivo f : F G, onde F
e o grupo livre sobre S. Denotando por R = ker(f), pelo teorema do isomorsmo de
grupos temos:
F/R

= G.
Dizemos que R e o grupo de relac oes de G e que S e um sistema ou um conjunto de
geradores de G. O par (S, R) e dito representac ao do grupo G.
Note que sempre temos o seguinte: se G e o grupo gerado por S; ent ao, (S, ) e uma
representac ao de G.
6.2. GRUPOS LIVRES 127
A representac ao de um grupo n ao e unica. De fato, os grupos com representac oes
(x, ) e (x, y, y) s ao isomorfos. Na verdade todo grupo G tem uma representac ao
(
S,

R), para isto, basta considerar:
S = G e

R = (g
1
g
2
) g
1
2
g
1
1
; g
1
, g
2
G.
A partir de agora, utilizaremos as seguintes notac oes:
g g = g
2
, g
1
g
1
= g
2
, em geral g g . . . g = g
n
, g
1
g
1
. . . g
1
= g
n
.
Muitas vezes, por abuso de linguagem, se r R escreveremos r = 1, pois R = ker(f).
Seja F um grupo livre sobre S; consideremos seu subgrupo comutador:
R =< a b a
1
b
1
= 1 / a, b F >;
ent ao, temos que:
G = F/R
e um grupo abeliano livre sobre S. Logo, a inclus ao natural i : S G e tal que, dada
h : S H, onde H e um grupo abeliano, existe un homomorsmo g : G H tal
que o seguinte diagrama comuta:
G
g
1
1
1
S
h
~
~
~
~
~
~
~
H
onde g i = h.

E possvel provar que esta ultima propriedade caracteriza os grupos
livres abelianos sobre S.
E comum introduzir as seguintes notac oes em topologia. Suponha que o conjunto de

geradores e dado por S = a, b, c e o grupo de relac oes R = a
4
b
1
c b
8
, a
3
b
9
c
2
, a
3
b c
2
.
O grupo correspondente e denotado por:
< a, b, c / a
4
b
1
c b
8
= 1, a
3
b
9
c
2
= 1, a
3
b c
2
= 1 > .
Por exemplo, n ao e difcil ver que o grupo:
G =< a, b / b
2
a = b, b a
2
b = a >
e isomorfo ao grupo trivial 1. De fato, b
2
a = b implica b a = 1 ou, equivalentemente
a
1
b
1
= 1; por outro lado, (a
1
b
1
) b a
2
b = a, donde b = 1, logo a = 1.
Considere o grupo Z
2
Z
3
gerado pelo par (1, 1) e que existe um unico homomorsmo
sobrejetivo:
f : Z Z
2
Z
3
128 CAP

tal que f(1) = (1, 1); por outro lado ker(f) =< 6 >, logo o grupo Z
2
Z
3
tem uma
representac ao (a, < 6 >), multiplicativamente, f(6) = 1 e equivalente a a
6
= 1. Se
escolhemos como geradores do grupo Z
2
Z
3
os pares (1, 0) e (0, 1) o ker(f) e gerado
por 2 e 3, a representac ao e (a, b, R) tal que a
2
= 1 e b
3
= 1.
A seguir apresentamos outros exemplos de representac oes de grupos:
Se G e um grupo cclico de ordem n, ent ao G pode ser escrito como < a / a
n
= 1 >.
Logo:
G

= Z
n
.
Seja o grupo sim etrico G = S
3
; temos que:
G =< a, b / a
3
= b
2
= 1, (a b)
2
= 1 > .
Se G e o grupo de simetrias do quadrado; temos que:
G =< a, b / a
4
= b
2
= 1, (a b)
2
= 1 > .
Seja grupo Z
2
= Z Z; temos que:
G =< a, b / a b a
1
b
1
= 1 > .
6.3 Produto Livre de Grupos
Seja G um grupo e G
/ uma famlia de grupos tal que o conjunto dos ndices

pode ser nito ou n ao. Construiremos um novo grupo G, tal que cada G
seja um
subgrupo de G, para todo .
A famlia G
/ gera o grupo G, se todo elemento de G pode ser escrito como

um produto nito de elementos de G
. Logo, dado g G, existem g
1
1
, g
2
2
, . . . g
n
n
, tal
que:
g = g
1
1
g
2
2
. . . . . . g
n
n
,
i
1, 1
e onde cada g
i
i
G
, diferente da identidade, para algum de modo que os elementos

adjacentes a g
i
i
pertencem a diferentes G
. A express ao g
1
1
g
2
2
. . . . . . g
n
n
e chamada
palavra de comprimento n em G.
Suponha que temos:
g = g
1
1
g
2
2
. . . . . . g
n
n
.
Se g
i
i
e g
i+1
i+1
pertencem ao mesmo subgrupo, elas podem ser combinadas num novo
elemento, obtendo uma palavra de comprimento n 1. Aplicando repetidamente esta
operac ao, podemos obter uma palavra que n ao cont em dois elementos consecutivos
de um mesmo subgrupo; esta palavra e dita reduzida.
6.3. PRODUTO LIVRE DE GRUPOS 129
Deni c ao 6.2. Seja G um grupo e G
/ uma famlia de subgrupos que geram G.

G
= e se ,= . Dizemos que G e o produto livre gerado pelos G
, se para cada g G
existe uma unica palavra reduzida em G
que representa a g. Em tal caso escrevemos:

G =
.
No cado nito, escrevemos:
G = G
1
G
2
. . . G
n
.
G e um grupo livre sobre o conjunto das palavras reduzidas. Em resumo, o grupo G e
denido como o conjunto das express oes formais:
g = g
1
1
g
2
2
. . . . . . g
n
n
,
onde cada g
i
i
pertence a algum G
i
diferente da identidade e tal que os elementos adja-
centes a g
i
i
pertencem a diferentes G
.
Note que a operac ao em G e um produto, por justaposic ao seguida de uma reduc ao.
De outra forma, o ultimo dos g
i
i
da primeira palavra e o ultimo da segunda podem
estar no mesmo grupo, ent ao elas podem ser combinadas num novo elemento.
Por exemplo, se g
1
= g
1
1
g
2
2
. . . . . . g
k
k
e g
2
= g
j
j
g
j+1
j+1
. . . . . . g
n
n
, ent ao
g
1
g
2
=
_
g
1
1
g
2
2
. . . . . . g
k
k
_ _
g
j
j
g
j+1
j+1
. . . . . . g
n
n
_
= g
1
1
g
2
2
. . . . . .
_
g
k
k
g
j
j
_
g
j+1
j+1
. . . . . . g
n
n
O elemento identidade de G e a palavra vazia a qual e denotada por 1.

E possvel
provar, que o produto livre de grupos sempre existe.
O grupo G assim denido, satisfaz ` a seguinte propriedade universal:
Para todo grupo H e famlia de homorsmos h
k
: G
k
H, existe um unico homo-
morsmo h : G H tal que h i
k
= h
k
, para todo k; isto e, o seguinte diagrama
comuta:
G
h
1
1
1
G
k
h
k
i
k
|
|
|
|
|
|
|
|
H
onde h(g
1
g
2
. . . g
n
) = h
1
(g
1
) h
2
(g
2
) . . . h
n
(g
n
).
Em geral, o produto livre de grupos n ao e um grupo livre. Por exemplo, considere o
produto livre dos grupos Z
2
:
Z
2
Z
2
=< a, b / a
2
= b
2
= 1 > .
130 CAP

Logo, para todo g Z
2
Z
2
tal que g ,= 1, o elemento g pode ser escrito, somente como
produto de a e b, pois pot encias de a e b s ao triviais; logo os geradores devem aparecer
alternados, por exemplo:
a, b, a b, b a, a b a, a b a b, . . . .
Como a b ,= b a, o grupo e n ao abeliano e observe que ambos os elementos tem ordem
nita. Por outro lado:
Z
2
Z
2
,= Z
2
Z
2
.
O grupo Z
2
Z
2
e abeliano de ordem 4.
6.4 Produto Amalgamado de Grupos
Nesta sec ao estudaremos o caso mais simples de produto amalgamado de grupos.
Sejam G
0
, G
1
e G
2
tr es grupos e os seguintes homomorsmos:
G
1
G
0
h
2
h
1
|
|
|
|
|
|
|
|
G
2
Considere G
1
G
2
o produto livre dos grupos G
1
e G
2
e seja N o subgrupo normalizador
de G
1
G
2
, isto e, o subgrupo gerado pelas palavras:
h
1
(g)
1
h
2
(g) / g G
0
G
1
G
2
.
Deni c ao 6.3. O produto amalgamado de G
1
e G
2
, em rela c ao aos homomorsmos h
1
e h
2
, se
denota e se dene por:
G
1
G
0
G
2
= G
1
G
2
_
N.
Por exemplo, consideremos os seguintes grupos:
Z
2
=< z / z
2
= 1 >, Z
4
=< a / a
4
= 1 > e Z
6
=< b / b
6
= 1 >
tais que:
Z
4
Z
2
h
2
h
1
}
}
}
}
}
}
}
}
Z
6
onde h
1
(z) = a
2
e h
2
(z) = b
3
s ao os unicos homomorsmos n ao triviais, ent ao:
6.5. TEOREMA DE SEIFERT-VAN KAMPEN 131
Z
4

Z
2
Z
6
= a, b / a
4
= b
6
= 1, x
2
= y
3
.
Denotemos por i
k
: G
k
G
1
G
2
as inclus oes can onicas, k = 1, 2 e por pr : G
1
G
2

G
1

G
0
G
2
a projec ao can onica, ent ao o seguinte diagrama comuta:
G
1
i
1
j
1
x
x
x
x
x
x
x
x
x
x
x
x
G
0
h
1
v
v
v
v
v
v
v
v
v
v
h
2
r
r
r
r
r
r
r
r
r
r
G
1
G
2
pr
G
1
G
0
G
2
G
2
j
2
p
p
p
p
p
p
p
p
p
p
p
p
i
2
onde j
i
= pr i
1
, i = 1, 2. O produto amalgamado G
1

G
0
G
2
pode ser considerado
como o produto livre G
1
G
2
, m odulo a identicac ao h
1
(g) = h
2
(g) para todo g G
0
.
Se G
0
= id, ent ao:
G
1

G
0
G
2
= G
1
G
2
.
N ao e difcil ver que:
G
1

G
0
1 G
1
e 1
G
0
G
2
G
2
.
A seguinte propriedade caracteriza completamente o produto amalgamado de grupos.
Propriedade Universal do Produto Amalgamado
Com as notac oes e denic oes acima, dado um grupo H arbitr ario e
k
: G
k
H,
k = 1, 2, homomorsmos tais que
1
h
1
=
2
h
2
, existe um unico homomorsmo
: G
1

G
0
G
2
H tal que i
k
=
k
, k = 1, 2 e tal que os seguintes diagramas
comutam:
G
1
i
1
t
t
t
t
t
t
t
t
t
t
t
G
0
h
1
t
t
t
t
t
t
t
t
t
t
t
h
2
t
t
t
t
t
t
t
t
t
t
t
G
1

G
0
G
2

H
G
2
t
t
t
t
t
t
t
t
t
t
t
i
2
6.5 Teorema de Seifert-Van Kampen

Agora apresentaremos o teorema central do captulo
132 CAP

Considermos U, V e U V conjuntos abertos do espaco topol ogico X e as inclus oes
naturais:
U
U V
w
w
w
w
w
w
w
w
w
q
q
q
q
q
q
q
q
q
X
V
Teorema 6.1. (Seifert-Van Kampen) Sejam X = U V , onde U, V e U V s ao abertos

conexos por caminhos tal que x
0
U V . Denotemos por:
1
_
U, x
0
_
j
1
1
_
U V, x
0
_
i
1
o
o
o
o
o
o
o
o
o
o
o
i
2
y
y
y
y
y
y
y
y
y
y
y
i
3

1
_
X, x
0
_
1
_
V, x
0
_
j
2
os homorsmos induzidos pelas inclus oes tal que o diagrama comuta. Dados H um grupo e os
homomorsmos:
1
:
1
_
U, x
0
_
H e
2
:
1
_
V, x
0
_
H,
existe um unico homorsmo :
1
_
X, x
0
_
H tal que o seguinte diagrama comuta:
1
_
U, x
0
_
j
1
q
q
q
q
q
q
q
q
q
q
1
_
U V, x
0
_
i
3
i
1
o
o
o
o
o
o
o
o
o
o
o
i
2
y
y
y
y
y
y
y
y
y
y
y
1
_
X, x
0
_
1
_
V, x
0
_

2
w
w
w
w
w
w
w
w
w
w
j
2
Isto e, j
1
=
1
e j
2
=
2
.
Em outras palavras:
1
_
X, x
0
_
=
1
_
U, x
0
_
1
_
UV,x
0
_
1
_
V, x
0
_
.
Ou, equivalentemente:
6.6. REPRESENTAC

OES 133
1
_
U, x
0
_

1
_
V, x
0
__
N

=
1
_
X, x
0
_
onde N e o menor subgrupo normal de
1
_
U, x
0
_

1
_
V, x
0
_
que contem i
1
() i
1
2
(),
para todo
1
_
U V, x
0
_
.
A seguir, apresentaremos um esboco sucinto, da prova do teorema. Denotemos por:
j :
1
_
U, x
0
_

1
_
V, x
0
_

1
_
X, x
0
_
o homomorsmo induzido pela extens ao dos homomorsmos j
k
, que s ao sobrejetivos,
logo o homomorsmo j e sobrejetivo. Por outro lado N o normalizador de
1
_
U, x
0
_
1
_
V, x
0
_
satisfaz N ker(j), De fato, provaremos que para todo g
1
_
U V, x
0
_
:
i
1
(g)
1
i
2
(g) ker(j).
Pela comutatividade do diagrama, temos que: j(i
1
(g)) = j
1
(i
1
(g)) = i
3
(g) = j
2
(i
2
(g)) =
j(i
2
(g)) e N ker(j). Logo, j induz um homomorsmo sobrejetivo:
f :
1
_
U, x
0
_

1
_
V, x
0
__
N
1
_
X, x
0
_
.
Agora, se devemos provar que essencialmente N = ker(j), utilizando o fato de que f
e um homomorsmo injetivo. Esta parte e bastante longa e car a fora destas notas.
O teorema de Seifert-Van Kampen, implica em que a classe de lacos que gera
1
_
X, x
0
_
pode ser expressada como produto de classes de lacos em
1
_
U, x
0
_
e
1
_
V, x
0
_
.
Corol ario 6.1. Nas hip oteses do teorema de Seifert-Van Kampen, se U e V s ao simplesmente
conexos:
1
_
X, x
0
_
= e.
Corol ario 6.2. Nas hip oteses do teorema de Seifert-Van Kampen, se U V e simplesmente
conexo:
1
_
X, x
0
_
=
1
_
U, x
0
_

1
_
V, x
0
_
.
6.6 Representa c oes
Suponha que conhecemos as representac oes dos grupos envolvidos no Teorema de
Seifert-Van Kampen:
1
_
U V, x
0
_
=< S, R >
1
_
U, x
0
_
=< S
1
, R
1
>
1
_
V, x
0
_
=< S
2
, R
2
>
134 CAP

Consideremos o diagrama comutativo, induzido pelas inclus oes naturais:
1
_
U, x
0
_
j
1
1
_
U V, x
0
_
i
1
o
o
o
o
o
o
o
o
o
o
o
i
2
y
y
y
y
y
y
y
y
y
y
y
i
3

1
_
X, x
0
_
1
_
V, x
0
_
j
2
Seja s S, logo i
1
(s)
1
_
U, x
0
_
e i
2
(s)
1
_
V, x
0
_
, ent ao podemos escrever estes
elementos nos respectivos grupos, utilizando os respectivos geradores de cada grupo.
Denotemos por

i
1
(s) e

i
2
(s) estes elementos. Denamos:
R
S
=
i
1
(s) =

i
2
(s) / s s.
Ent ao, o teorema de Seifert- Van Kampen, ca:
Teorema 6.2. Nas hip oteses do teorema de Seifert- Van Kampen e nota c oes anteriores, temos
que:
1
_
X, x
0
_
=< S
, R
>,
onde:
S
= S
1
S
2
e R
= R
1
R
2
R
S
,
Note que o conjunto de relac oes R de
1
_
U V, x
0
_
n ao e utilizado na determinac ao do
grupo
1
_
X, x
0
_
.
6.7 Primeiras Aplica c oes
[1] Provaremos que S
2
e simplesmente conexo para n 2. Isto e:
1
_
S
n
, p
0
_
= e, n 2.
Sejam p
N
e p
S
os polos norte e sul de S
n
; consideremos U = S
n
p
N
e V = S
n
p
s
,
ambos conjuntos abertos e conexos por caminhos.
Por outro lado, U e V s ao homemorfos a R
n
, via a aplicac ao estereogr aca, logo sim-
plesmente conexos. O conjunto aberto U V e conexo por caminhos para n 2; note
que tem o mesmo tipo de homotopia que S
n1
. Aplicando o primeiro corol ario do
Teorema de Seifert-Van Kampen, temos o resultado.
[2] Denotemos o espaco obtido pela uni ao disjuntas de 2 c opias, disjunta e homeomor-
fas a S
1
, com um ponto em comum p, por S
1
p
S
1
; ent ao:
6.7. PRIMEIRAS APLICAC

OES 135
1
_
S
1
p
S
1
, p
_
= Z Z.
De fato, podemos considerar as seguintes c opias, homeomorfas a S
1
:
A = (x, y) / (x 1)
2
+ y
2
= 1 e B = (x, y) / (x + 1)
2
+ y
2
= 1.
Sejam q
1
A e q
2
B tal que q
1
,= p e q
2
,= p.
q q
p
1 2
Figura 6.2: O espaco S
1
p
S
1
Denotemos por U = P
2
q
1
e V = P
2
q
2
ambos os conjuntos abertos e conexos por
caminhos. Os dois conjuntos, tem o mesmo tipo de homotopia de S
1
, ent ao
1
_
U, p
_
=
1
_
V, p
_
= Z.
q
2
p
Figura 6.3: O conjunto U
Por outro lado:
S
1
p
S
1
= U V.
U V e simplesmente conexo e p U V :
p
Figura 6.4: O conjunto U V
Logo, pelo segundo corol ario do Teorema de Seifert-Van Kampen:
136 CAP
1
_
S
1
p
S
1
, p
_
= Z Z.
Interpreta c ao Geom etrica do Resultado
1
_
U, p
_
e um grupo cclico gerado pela classe de homotopia a = [] e
1
_
V, p
_
e um
grupo cclico gerado pela classe de homotopia b = [], como no desenho:
p
Figura 6.5: Os geradores

Osegundo corol ario do Teorema de Seifert-Van Kampen nos indica que o grupo
1
_
S
1
p
S
1
, p
_
e gerado por pot encias de a e b. Por exemplo, o elemento:
a
3
b
2
a
2

1
_
S
1
p
S
1
, p
_
corresponde a classe de homotopia do laco obtido percorrendo 3 vezes, ao redor de U
o laco seguido de percorrer 2 vezes o laco , ao redor de V e nalmente, o laco e
percorrido uma vez, no sentido contr ario em U.
Agora estudemos o caso de tr es c opias de S
1
unidas por um ponto comum p:
S
1
p
S
1
p
S
1
.
Consideremos U, V e U V como nos desenhos:
U V
Figura 6.6: Os conjuntos U e V

OES 137
U e um conjunto aberto e conexo por caminhos, que tem o mesmo tipo de homotopia
de
S
1
p
S
1
, V e um conjunto aberto e conexo por caminhos, que tem o mesmo tipo de
homotopia que S
1
, U V e simplesmente conexo, e:
S
1
p
S
1
p
S
1
= U V.
Como p U V , pelo segundo corol ario do Teorema de Seifert-Van Kampen:
1
_
S
1
p
S
1
p
S
1
, p
_
= Z Z Z.
Em geral, por induc ao, podemos provar que o conjunto formado por n c opias de S
1
,
com um ponto p em comum:
P
n
= S
1
p
S
1
p
. . .
p
S
1
,
tem grupo fundamental:
1
_
P
n
, p
_
= Z Z . . . Z,
isto e, um grupo livre com n geradores. O espaco P
n
e dito buqu e de n p etalas.
Utilizando os mesmos argumentos anteriores, se prova o seguinte corol ario :
Corol ario 6.3. Seja X
i
, i = 1 . . . n uma famlia de espa cos topol ogicos conexos por caminhos
e x X
i
um ponto em comum; se X =
n
i=1
X
i
, ent ao:
1
_
X, x
_
=
1
_
X
1
, x
_

1
_
X
2
, x
_
. . .
1
_
X
n
, x
_
.
Nos captulos passados, calculamos o grupo fundamental do toro:
1
_
T
2
, x
0
_
= Z Z.
Como motivac ao dos pr oximos par agrafos, determinaremos novamente o grupo fun-
damental do toro, utilizando o Teorema de Seifert-Van Kampen.
138 CAP

Consideremos, o toro:
a
b
a
b
b
a
x
1
1
x
1
x
1
x
Figura 6.8: O toro T
2
tal que a a e b b
Sejam dois discos conc entricos, inscritos no ret angulo, de raios r
2
> r
1
> 0, respectiva-
mente. Denotemos por U o complementar, no toro, do disco de raio r
2
e V o interior
do disco de raio r
1
; como no seguinte desenho:
a
b
a
b
U
a
a
V
b
b
Figura 6.9: Os conjuntos U e V
Os conjuntos U, V e U V s ao abertos e conexos por caminhos tais que T
2
= U V .
Sabemos que U e um retrato por deformac ao de S
1
p
S
1
, veja os desenhos:

OES 139
b
a
a
b
a
b
x
0
x
0
x
0
x
0
x
0
b
x
0
Figura 6.11: O conjunto U.
b
x
a
0
Figura 6.12: O conjunto U
V e contr actil e tem o mesmo tipo de homotopia do ponto x
0
U V , pois e contr actil
e U V tem o mesmo tipo de homotopia de S
1
; ent ao:
1
_
U, x
0
_
= Z Z,
1
_
V, x
0
_
= 1 e
1
_
U V, x
0
_
= Z.
Logo, temos o seguinte diagrama comutativo:
Z Z
j
1
Z
i
1
u
u
u
u
u
u
u
u
u
u
u
i
2
r
r
r
r
r
r
r
r
r
r
r
i
3

1
_
T
2
, x
0
_
1
j
2
Pelo segundo corol ario do Teorema de Seifert-Van Kampen:
1
_
T
2
, x
0
_
=
_
Z Z
_
Z
1.
Seja z um gerador de
1
_
U V, x
0
_
, ent ao i
2
(z) = 1 e i
1
(z) = a b a
1
b
1
, logo:
1
_
T
2
, x
0
_
=
_
Z Z
_
Z
1 = a, b / a b a
1
b
1
= 1

= Z Z.
140 CAP

Interpreta c ao Geom etrica do Resultado
Seja x
0
U V , denotemos por um caminho entre x
0
e x
1
, e lacos em x
0
, que
representam a e b, respectivamente e
a =
1
,

b =
1
,
como no desenho:
a
a
b
b
x
0
x
1
x
1
x
1
x
1
Figura 6.13: Laco em U V
O grupo
1
_
U, x
0
_
tem como geradores [ a] e [
b]. Como S
1
= S
2
= , pelo teorema de
Seifert-Van Kampen, temos que
1
_
T
2
, x
0
_
e gerado por [ a] e [
b].
Por outro lado, seja z = [] o gerador de
1
_
U V, x
0
_
= Z; ent ao:

1

1

1
(
1
) (
1
) (
1

1
) (
1

1
)
a
b a
1
b
1
.
Logo:
i
2
(z) = [ a] [
b] [ a]
1
[
b]
1
.
Por abuso de linguagem, denotando a = [ a] e b = [
b], temos o resultado.

De forma completamente an aloga, podemos aplicar o teorema de de Seifert-Van Kam-
pen a K, a garrafa de Klein. De fato, utilizando as mesmas notac oes.
Seja x
0
U V , denotemos por um caminho entre x
0
e x
1
, e lacos em x
0
, que
representam a e b, respectivamente e
a =
1
,

b =
1
,
como no desenho:
6.8. SEGUNDA APLICAC

AO 141
a
a
b
b
x
0
x
1
x
1
x
1
x
1
Figura 6.14: O laco na garrafa de Klein
O grupo
1
_
U, x
0
_
tem como geradores [ a] e [
b]. Como S
1
= S
2
= , pelo teorema de
Seifert-Van Kampen, temos que
1
_
T
2
, x
0
_
e gerado por [ a] e [
b].
Por outro lado, seja z = [] o gerador de
1
_
U V, x
0
_
= Z; ent ao:

1

1
(
1
) (
1
) (
1

1
) (
1
)
a
b a
1
b.
Novamente por abuso de linguagem, temos:
1
_
K, x
0
_
= a, b / a b a
1
b = 1.
Logo, podemos armar que o toro e a garrafa de Klein tem tipo de homotopia diferen-
tes. Caso contr ario deveriam ter grupos fundamentais isomorfos.
6.8 Segunda Aplica c ao
Neste par agrafo determinaremos o grupo de homotopia das superfcies compactas e
conexas, isto e, variedadedes topol ogicas de dimens ao 2, compactas e conexas.
Todos os resultados e notac oes utizados neste par agrafo s ao do livro [MV]. Faremos
algumas simplicac oes para facilitar sua melhor compreens ao.
Essencialmente, conhecemos 4 exemplos de superfcies compactas:
142 CAP

a
a
a
a
Figura 6.15: A esfera e o plano projetivo real, respectivamente
a
a
a
b
b
b
b
Figura 6.16: O toro e a garrafa de Klein, respectivamente
A pergunta e, existem outras superfcies compactas, diferentes das citadas acima?
6.9 Soma Conexa de Superfcies
Sejam S
1
e S
2
superfcies compactas, conexas e disjuntas. Dados x
i
S
i
, i = 1, 2,
existem conjuntos abertos U
i
S
i
tal que:
U
i

D e U
i
S
1
, i = 1, 2
onde D e um disco fechado emR
2
e signica homeomorfo.
Deni c ao 6.4. Dado qualquer homeomorsmo h : U
1
U
2
, a soma conexa das superfcies
S
1
e S
2
e denotada e denida por:
S
1
#S
2
=
_
S
1
U
1
_
.
_
S
2
U
2
__
onde x h(x) para todo x U

1
.
6.9. SOMA CONEXA DE SUPERF
ICIES 143
A soma conexa de superfcies independe da escolha dos abertos e dos homeomors-
mos, envolvidos. N ao e difcil ver que S
1
#S
2
e uma superfcie.
Por exemplo consideremos as duas superfcies, como no seguinte desenho:
S
1
S
2
Figura 6.17: S
1
U
1
e S
2
U
2
De ambas as superfcies foram removidos discos e identicadas nos bordos dos discos.
O seguinte desenho e a soma conexa de ambas as superfcies.
S
1
#
S
2
Figura 6.18: A soma conexa S
1
#S
2
A soma conexa n ao depende do homeomorsmo da identicac ao. A soma conexa e
compacta. Fica como exerccio que, para toda superfcie S:
S#S
2
S.
E possvel vericar que o conjunto de todas as superfcies compactas com a soma co-
nexa formam um semigrupo com identidade S
2
, isto e, um monoide.
Sabemos que o toro T
2
pode ser representado como espaco quociente de um quadrado,
onde seus lados foram identicados da seguinte forma:
144 CAP

a
b
a
b
Figura 6.19: O toro T
2
tal que a a e b b
E comum em Topologia das Superfcies associar a cada superfcie uma palavra, a qual
arquiva, de forma univoca, todas as informac oes topol ogicas da superfcie.
Estas palavras s ao formadas pelas letras das arestas na direc ao indicada pelas setas,
tal quando lidas,adicionamos um expoente -1, caso percorramos a aresta no sentido
contr ario.
Na classicac ao das superfcies compactas, as palavras tem um papel central. Existe
uma grande quantidade de propriedades que envolvem as palavras associadas ` as su-
perfcies. N os apresentaremos apenas exemplos desas palavras.
Note que temos as seguintes palavras:
S
2
tem a palavra: a a
1
RP
2
tem a palavra: a a
T
2
tem a palavra: a b a
1
b
1
K tem a palavra: a b a
1
b.
Determinemos T
2
#T
2
. Consideremos dois toros disjuntos, representados por:
a a
b
b
c
c
d
d
Figura 6.20: Os toros menos um disco
Agora identicamos os bordos dos discos retirados:
ICIES 145
a
a
b
b
c
d
d
c
Figura 6.21: Os toros identicados
Finalmente obtemos:
a
b
a
c
d
c
d
b
Figura 6.22: A superfcie T
2
#T
2
.
Esta superfcie tem associada a palavra:
a b a
1
b
1
c d c
1
d
1
.
Identicando os lados, obtemos um bi-toro ou um 2-toro:
a
b
c
d
Figura 6.23: O bi-toro T
2
#T
2
146 CAP

Agora consideremos o plano projetivo real RP
2
, que pode ser representado como um
espaco quociente de um disco, com a seguinte identicac ao:
a
a
Figura 6.24: O plano projetivo real RP
2
Verequemos que:
K = RP
2
#RP
2
,
isto e a soma conexa de dois planos projetivos e uma garrafa de Klein.
Consideremos duas c opias disjuntas de RP
2
, como no desenho:
a
a
b
b
Figura 6.25: Os planos projetivos menos um disco
Abramos os discos e deformemos, contnuamente, do seguinte modo:
ICIES 147
a
a
b
b
Figura 6.26: Os planos projetivos menos um disco
Colando, obtemos:
b
b
a
a
Figura 6.27: Soma dos planos projetivos
Agora facamos o seguinte corte, introduzindo novos lados c:
b
b
a
a
c
c
a
c
c
b
a b
Figura 6.28: Cortando e introduzindo outros lados
Fazendo uma rotac o e colamos pelo lado a e obtemos a garrafa de Klein:
148 CAP

b
a
c
c
c
b
c
b
b
a
Figura 6.29: A garrafa de Klein
Mudando c por a, temos:
b
a
a
b
Figura 6.30: A garrafa de Klein: a b a
1
b.
Um fato surpreendente e que a soma conexa de um toro e uma garrafa de Klein e
homeomorfa ` a soma conexa de 3 planos projetivos reais:
T
2
#RP
2
RP
2
#RP
2
#RP
2
.
Denotemos por:
mT
2
= T
2
#T
2
#. . . #T
2
, m-vezes.
A superfcie mT
2
e dita um m-toro ou toro de genero m.
ICIES 149
Figura 6.31: Um 5-toro
Analogamente denimos:
nRP
2
= RP
2
#RP
2
#. . . #RP
2
, n-vezes.
Teorema 6.3. (Teorema de Classi c ao das Superf cies) Toda superfcie S, compacta e
homeomorfa a:
S

= S
2
#mT
2
#nRP
2
,
para algum, m 0 e n 0.
Uma superfcie e dita orient avel se n ao contem uma faixa de M oebius. Caso contr ario
e dita n ao orient avel.
Por exemplo, o plano projetivo e a garrafa de Klein s ao n ao orient aveis o toro e as
esferas s ao orient aveis.
a
Faixa
a
a
a
b
b
Faixa
Figura 6.32: O plano projetivo e a garrafa de Klein
Se S e uma superfcie compacta orient avel, e possvel provar que:
S

= S
2
#mT
2
.
O n umero m 0 e dito genero da superfcie. Analogamente, se S e uma superfcie
compacta n ao orient avel, e possvel provar que:
150 CAP

S

= S
2
#nRP
2
.
E o n umero n 1 e dito genero da superfcie.
6.10 Grupo Fundamental de uma Superfcie Compacta
Finalmente, tamb em e possvel provar:
Se S uma superfcie compacta, orient avel de genero m 1, ent ao, S e homeomorfa ao
espaco quociente obtido de um polgono de 4 m lados, identicados aos pares, como
no desenho:
a
b
a
1
a
1
b
1
1
2
a
2
Figura 6.33: Polgono de 4m lados
A palavra associada a mT
2
e:
a
1
b
1
a
1
1
b
1
1
. . . a
n
b
n
a
1
m
b
1
m
.
Se S e uma superfcie compacta, orient avel de genero m 1; ent ao, a fronteira do
polgono de 4m lados tem o mesmo tipo de homotopia que:
S
1
S
1
. . . S
1
,
2m vezes.
De forma completamente an aloga ao c alculo do grupo fundamental do toro, conside-
remos dois crculos conc entricos, inscritos no polgono, de raios r
2
> r
1
.
Denotemos por U o complemento do disco de maior raio no polgono e V o interior do
disco de raio menor. O aberto U tem o mesmo tipo de homotopia que o buqu e P
2m
; V
tem o mesmo tipo de homotopia de um ponto e U V tem o mesmo tipo de homotopia
que S
1
.
Por outro lado, U, V e U V s ao conexos por caminhos e S = U V . Ent ao:
6.10. GRUPO FUNDAMENTAL DE UMA SUPERF
ICIE COMPACTA 151
1
_
U, x
0
_
= ao grupo livre gerado por 2m elementos a

1
, b
1
,. . . a
m
, b
m

= Z Z . . . Z
1
_
V, x
0
_
= ao grupo trivial 1
1
_
U V, x
0
_
= ao grupo cclico gerado por z

Z Z . . . Z
j
1
Z
i
1
r
r
r
r
r
r
r
r
r
r
r
r
i
2
u
u
u
u
u
u
u
u
u
u
u
u
u
i
3

1
_
S, x
0
_
1
j
2
Como antes, i
2
(z) = 1 e i
1
(z) = a
1
b
1
a
1
1
b
1
1
a
2
b
2
a
1
2
b
1
2
. . . a
m
b
m
a
1
m
b
1
m
. Logo, temos
o seguinte teorema:
Teorema 6.4. Se S = S
2
#mT
2
, ent ao:
1
_
S, x
0
_
=< a
1
, b
1
, . . . a
m
b
m
/ a
1
b
1
a
1
1
b
1
1
a
2
b
2
a
1
2
b
1
2
. . . a
m
b
m
a
1
m
b
1
m
= 1 > .
Se S uma superfcie compacta n ao orient avel de genero n 1, ent ao, S e homeomorfa
ao espaco quociente obtido de um polgono de 2 mlados, identicados aos pares, como
no desenho:
a
b
a
b
b
1
a
1
1
1
2
2
Figura 6.34: Polgono de 2m lados
A palavra associada a nRP
2
e:
a
1
a
1
b
1
b
1
. . . a
n
a
n
b
n
b
n
.
De forma an aloga ao caso orient avel, temos:
152 CAP

Teorema 6.5. Se S = S
2
#nRP
2
, ent ao:
1
_
S, x
0
_
=< a
1
, a
2
, . . . a
n
/ a
1
a
1
a
2
a
2
a
3
a
3
. . . a
n
a
n
= 1 >
=< a
1
, a
2
, . . . a
n
/ a
2
1
a
2
2
a
2
3
. . . a
2
n
= 1 > .
Por exemplo:
1
_
RP
2
, x
0
_
=< a, a
2
= 1 >
= Z
2
.
Bibliograa
[MV] Vilches M.: Topologia Geral, Edic ao online: www.ime.uerj.br/calculo
[GG] Godbillon C: El` ements de Topologie Alg` ebrique, Boston, Allyn & Bacon
[EL2] Lima E.: Espa cos de Recobrimento, Projeto Euclides, Impa - Brasil
[CK] Kosniowski C: A First Course in Algebraic Topology, Cambridge Univ. Press
153

Introducao Topologia Algebrica

Enviado por

Dados do documento

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

Introducao Topologia Algebrica

Enviado por

Direitos autorais:

Formatos disponíveis

INTRODUC

o conjunto das classes de homotopias de fun c oes contnuas de X

, onde # indica a cardinalidade do

equival encias homot opicas. Denamos:

f e contnua (veja [MV]). Se x ,= 0, ent ao x/|x| S

f(x) = F(x, 0) = f(x).

ITULO 2. GRUPO FUNDAMENTAL

ITULO 2. GRUPO FUNDAMENTAL

Figura 2.4: Homotopia entre e

ITULO 2. GRUPO FUNDAMENTAL

ITULO 2. GRUPO FUNDAMENTAL

e um isomorsmo n ao can onico de grupos, isto e, depende da classe de homotopia

Figura 2.6: Denic ao de

Para todo [], []

1. De fato, para todo []

ITULO 2. GRUPO FUNDAMENTAL

1. Logo, para todo []

ITULO 2. GRUPO FUNDAMENTAL

ITULO 2. GRUPO FUNDAMENTAL

e dito induzido por f.

e um homomorsmo sobrejetivo. Em particular, pelo teorema do isomorsmo:

e um homomorsmo injetivo. Em particular, se

ITULO 2. GRUPO FUNDAMENTAL

e, necessariamente, isomorsmo; ent ao g

ITULO 2. GRUPO FUNDAMENTAL

ITULO 2. GRUPO FUNDAMENTAL

E possvel enfraquecer as hip oteses do lema. Por exemplo, se X = AB tal que AB

ITULO 2. GRUPO FUNDAMENTAL

o conjunto das classes de caminhos que ligam x

e um grupo? Justique sua resposta.

ITULO 3. GRUPO FUNDAMENTAL DO C

ITULO 3. GRUPO FUNDAMENTAL DO C

ITULO 3. GRUPO FUNDAMENTAL DO C

(1) = gr([]) + gr([]).

(0) = 0. Consideremos a homotopia:

ITULO 3. GRUPO FUNDAMENTAL DO C

ITULO 3. GRUPO FUNDAMENTAL DO C

ITULO 3. GRUPO FUNDAMENTAL DO C

, ent ao para todo t I devemos ter (t) =

(t) >= 1, para todo t I; por outro lado,

ITULO 3. GRUPO FUNDAMENTAL DO C

ITULO 3. GRUPO FUNDAMENTAL DO C

ITULO 3. GRUPO FUNDAMENTAL DO C

ITULO 3. GRUPO FUNDAMENTAL DO C

/ e uma famlia de abertos de

X e dito espaco de recobrimento; X e dito a base do recobrimento; a func ao p e dita

ITULO 4. ESPAC OS DE RECOBRIMENTOS

ITULO 4. ESPAC OS DE RECOBRIMENTOS

ITULO 4. ESPAC OS DE RECOBRIMENTOS

onde (x, t) (x + q, (1)

ITULO 4. ESPAC OS DE RECOBRIMENTOS

ITULO 4. ESPAC OS DE RECOBRIMENTOS

ITULO 4. ESPAC OS DE RECOBRIMENTOS

ITULO 4. ESPAC OS DE RECOBRIMENTOS

ITULO 5. RECOBRIMENTO E GRUPO FUNDAMENTAL

; consideremos o unico levantamento

e um monomorsmo, podemos considerar

ERIO GERAL DE LEVANTAMENTO 89

ITULO 5. RECOBRIMENTO E GRUPO FUNDAMENTAL

e um monomorsmo, a exist encia de

que faz o diagrama comutativo e

ERIO GERAL DE LEVANTAMENTO 91

; logo, pela denic ao de