Topologia Algebrica

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

ACIO
Um dos problemas b asicos da Topologia e saber se dois espac os s ao homeomorfos ou
n ao. Na verdade n ao existem m etodos gerais para resolver esta quest ao. Vericar se
dois espac os s ao homeomorfos consiste em encontrar uma func ao contnua, bijetiva
com inversa contnua, entre ambos os espacos. Agora provar que dois espac os n ao
s ao homeomorfos 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 traba-
lhos onde fundamentou 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 funda-
mental, 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 fun-
damental. 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, estruturas e propriedades alg ebricas. A vantagem deste
tratamento e a riqueza que possui a

Algebra, obtida atrav es de mil enios, o que n ao
acontece com a Topologia. Por exemplo, 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 cont-
nuas e homeomorsmos, grupos, homomorsmos de grupos e isomorsmos de gru-
pos de tal forma que estudando as propriedades alg ebricas possamos extrair con-
sequ 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 conceitos estudados nestas notas n ao ser a possvel provar este
fato.
Nestas notas, exigiremos conhecimentos de Topologia Geral 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 livres.
Desejo agradecer ao meu aluno Andr e T. Machado pela motivac ao de fazer estas notas
e de forma muito especial a minha colega professora Maria Luiza Corr ea pela leitura
rigorosa dos mauscritos, al em dos in umeros coment arios e observac oes, os quais per-
mitiram dar clareza aos t opicos estudados.
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 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.6 Exemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
1.7 Espacos Contr ateis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
1.8 Retratos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
1.9 Homotopia e Extens ao de Func oes . . . . . . . . . . . . . . . . . . . . . . 25
1.10 Homotopia de Caminhos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
1.11 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
2 GRUPO FUNDAMENTAL 35
2.1 Introduc ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
2.2 Mudanca do Ponto Base . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
2.3 Grupos de Homotopias Abelianos . . . . . . . . . . . . . . . . . . . . . . 46
2.4 Homomorsmo Induzido . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
2.5 Espacos Simplesmente Conexos . . . . . . . . . . . . . . . . . . . . . . . . 54
2.6 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
3 GRUPO FUNDAMENTAL DO C
IRCULO 59
3.1 Introduc ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
3.2 C alculo do Grupo Fundamental do Crculo . . . . . . . . . . . . . . . . . 64
3.3 Algumas Consequ encias do Isomorsmo . . . . . . . . . . . . . . . . . . 66
3.4 Grupo Fundamental do Espaco Projetivo Real . . . . . . . . . . . . . . . 70
3.4.1 Introduc ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
3.4.2 C alculo do Grupo Fundamental de RP
n
. . . . . . . . . . . . . . . 72
3.5 Grupo Fundamental de Grupos Ortogonais . . . . . . . . . . . . . . . . . 74
3.5.1 Introduc ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74
3.5.2 Estudo do grupo SO(3) . . . . . . . . . . . . . . . . . . . . . . . . 74
3.5.3 C alculo do Grupo Fundamental de SO(3) . . . . . . . . . . . . . . 77
5
6 CONTE

UDO
4 ESPAC OS DE RECOBRIMENTOS 81
4.1 Introduc ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81
4.2 Recobrimentos de G-espacos . . . . . . . . . . . . . . . . . . . . . . . . . 87
4.3 Generalizac oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91
4.4 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 94
5 RECOBRIMENTO E GRUPO FUNDAMENTAL 95
5.1 Crit erio Geral de Levantamento . . . . . . . . . . . . . . . . . . . . . . . . 97
5.2 Grupo Fundamental e G-espacos . . . . . . . . . . . . . . . . . . . . . . . 101
5.3 Transformac oes de Recobrimentos . . . . . . . . . . . . . . . . . . . . . . 105
5.4 Aplicac oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 116
5.5 Recobrimentos de S
n
, (n > 1) . . . . . . . . . . . . . . . . . . . . . . . . . 119
5.6 Recobrimentos dos Espacos Lenticulares . . . . . . . . . . . . . . . . . . . 119
5.7 Recobrimentos do Espaco Projetivo Real . . . . . . . . . . . . . . . . . . . 119
5.8 Recobrimentos do Crculo . . . . . . . . . . . . . . . . . . . . . . . . . . . 120
5.9 Recobrimentos do Toro . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 121
5.10 Recobrimentos da Faixa de M oebius . . . . . . . . . . . . . . . . . . . . . 127
5.11 Recobrimentos da Garrafa de Klein . . . . . . . . . . . . . . . . . . . . . . 130
5.12 Ac ao do Grupo fundamental sobre as Fibras . . . . . . . . . . . . . . . . 133
5.13 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 135
6 TEOREMA DE SEIFERT - VAN KAMPEN 137
6.1 Introduc ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 137
6.2 Grupos Livres . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 138
6.3 Produto Livre de Grupos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 140
6.4 Produto Amalgamado de Grupos . . . . . . . . . . . . . . . . . . . . . . . 142
6.5 Teorema de Seifert-Van Kampen . . . . . . . . . . . . . . . . . . . . . . . 144
6.6 Representac oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 146
6.7 Primeiras Aplicac oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 147
6.8 Segunda Aplicac ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 154
6.9 Soma Conexa de Superfcies . . . . . . . . . . . . . . . . . . . . . . . . . . 155
6.10 Grupo Fundamental de uma Superfcie Compacta . . . . . . . . . . . . . 163
Bibliograa 166
Captulo 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 fun c ao H e dita homotopia entre f e g.
1. A notac ao que se usa para indicar que f e homot opica a g e:
H : f g.
2. 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.
7
8 CAP
ITULO 1. HOMOTOPIA
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:
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).
1.2. PROPRIEDADES DAS HOMOTOPIAS 9
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
_
.
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 origemn ao pertence ao segmento de reta f(x)g(x); caso contr ario,
poderamos ter:
10 CAP
ITULO 1. HOMOTOPIA
|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:
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 R
n+1
1.3. HOMOTOPIA E CAMPOS DE VETORES NA ESFERA 11
a esfera unit aria com a topologia induzida pela topologia 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
.
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.
12 CAP
ITULO 1. HOMOTOPIA
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 = (uz
1
, uz
2
, . . . , uz
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
func 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.
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
1.4. HOMOTOPIA RELATIVA 13
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:
1. Se n e mpar, ent ao a id
S
n.
2. Se existe um campo de vetores contnuo sem singularidades em S
n
, ent ao a
id
S
n.
3.

E possvel provar, utilizando conceitos mais avancados, que a id
S
n, implica em
n mpar.
1.4 Homotopia Relativa
Sejam A X, f, g : X Y contnuas tais que f(a) = g(a), para todo a A.
14 CAP
ITULO 1. HOMOTOPIA
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).
1.5. TIPO DE HOMOTOPIA 15
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 tem o 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
.
16 CAP
ITULO 1. HOMOTOPIA
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
[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
.
1.6. EXEMPLOS 17
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);
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
.
18 CAP
ITULO 1. HOMOTOPIA
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)]).
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
1.7. ESPAC OS CONTR

ATEIS 19
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 func 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.
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:
20 CAP
ITULO 1. HOMOTOPIA
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 func 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 21
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 cami-
nhos, 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 X Y 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:
22 CAP
ITULO 1. HOMOTOPIA
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.
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)].
1.8. RETRATOS 23
[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.
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.
24 CAP
ITULO 1. HOMOTOPIA
Exemplo 1.6.
[1] S
n
e umretrato 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:
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)|
].
1.9. HOMOTOPIA E EXTENS

AO DE FUNC

OES 25
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).
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 deformac ao de X ou um retrato por deformac 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:
26 CAP
ITULO 1. HOMOTOPIA
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 armac oes s ao equivalentes:
1. A e um retrato de X.
2. Para todo espaco topol ogico Z, a func ao contnua f : A Z se estende conti-
nuamente a X.
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 armac oes s ao equivalentes:
1. f c, onde c e uma func ao constante.
1.10. HOMOTOPIA DE CAMINHOS 27
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
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).
28 CAP
ITULO 1. HOMOTOPIA
(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.
(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.
30 CAP
ITULO 1. HOMOTOPIA
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.
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
32 CAP
ITULO 1. HOMOTOPIA
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), .
1.11. EXERC
ICIOS 33
1.11 Exerccios
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 ).
34 CAP
ITULO 1. HOMOTOPIA
Captulo 2
GRUPO FUNDAMENTAL
Muitas quest oes da Topologia s ao surpreendentemente f aceis de formular, por emmuito
difceis de serem respondidas. 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 respondida utilizando
m etodos da Topologia Geral, n ao a primeira.
Neste par agrafo comecaremos a relacionar a Topologia com a

Algebra. Construire-
mos para cada espaco topol ogico um grupo, o qual nos permitir a responder 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.
35
36 CAP
ITULO 2. GRUPO FUNDAMENTAL

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
];
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).
2.1. INTRODUC

AO 37
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 seguintes propiedades:
1. Associatividade : Para todo [], [], []
1
_
X, x
0
_
temos que:
_
[] []
_
[] = []
_
[] []
_
.
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):
38 CAP

_

_
(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
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:
2.1. INTRODUC

AO 39
(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.
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
_
.
40 CAP

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
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),
2.1. INTRODUC

AO 41
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:
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:
42 CAP

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
].
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:
2.2. MUDANC A DO PONTO BASE 43
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
].
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:
44 CAP
_
[] []
_
=
_
[ ]
_
= [ ( )
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.
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.
2.2. MUDANC A DO PONTO BASE 45
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
=
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
__
.
46 CAP

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 possuemgrupo
fundamental abeliano. Em particular, os grupos fundamentais s ao todos isomorfos.
Deni c ao 2.3. O grupo G e dito topol ogico se tamb em e um espa co topol ogico tal que a opera c ao
do grupo e a aplica c ao:
:G G
a a
1
s ao contnuas.
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.
2.3. GRUPOS DE HOMOTOPIAS ABELIANOS 47
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:
: GG 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
_
.
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
.
48 CAP

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:
[] [] = [] [] = [ ] = [ ] = [] [].
2.4. HOMOMORFISMO INDUZIDO 49
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.
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.

50 CAP

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.
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 retrac 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 func 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
= g
. Isto e, temos o seguinte diagrama comutativo:
1
_
X, x
0
_
f

g

M
M
M
M
M
M
M
M
M
M
1
_
Y, y
0
_
1
_
Y, y
1
_
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
52 CAP

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. Sejam X e Y espacos 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.
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 deformac ao ou um retrato por deformac ao
forte, ent ao a retrac 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)
_
.
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
54 CAP
_
[]
_
= ([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 .
2.5. ESPAC OS SIMPLESMENTE CONEXOS 55
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.
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 espaco topol ogico tal que X = U V , onde U e V s ao subespacos
abertos simplesmentes conexos e U V e conexo por caminhos. Ent ao X e simples-
mentes 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:
56 CAP

x
0
1
(t
1
)
(t
2
)
2
(t
(t
i-1
)
i
i
)
2
Figura 2.8:
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
2.5. ESPAC OS SIMPLESMENTE CONEXOS 57
1
_
X, x
0
_
= 0.
S
a
b
n
m
S
Figura 2.9: X = S
n
S
m
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!).
58 CAP

2.6 Exerccios
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.
Captulo 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:
59
60 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
3.1. INTRODUC

AO 61
O caminho e dito levantamento do caminho com ponto inicial em (0).
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 func 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,
em particular, fechado.
Corol ario 3.1. Se X e um espaco topol ogico, ent ao toda func ao f : X S
1
n ao sobre-
jetiva e homotopicamente nula.
62 CAP
IRCULO
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
.
Teorema 3.1. (Levantamento dos Caminhos)
Toda func 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]
com t
i
+ e
i
t
i+1
e
i+1
para i = 0, ..., n 1.
Escolhemos a
i
(t
i+1
e
i+1
, t
i+1
+ e
i+1
) para i = 1, , n 1 tais que o conjunto
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:
3.1. INTRODUC

AO 63
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 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.
4. Indutivamente obtemos F.
64 CAP
IRCULO
3.2 C alculo do Grupo Fundamental do Crculo
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 func 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
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.
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
).
3.2. C

ALCULO DO GRUPO FUNDAMENTAL DO C
IRCULO 65
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 cami-
nho : 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)).
66 CAP
IRCULO
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,
3.3. ALGUMAS CONSEQU
ENCIAS DO ISOMORFISMO 67
1
_
S
1
R
n
, p
0
_
= Z.
[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
68 CAP
IRCULO
[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.
[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 emC possui uma raiz emC.
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:
3.3. ALGUMAS CONSEQU
ENCIAS DO ISOMORFISMO 69
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 func ao contnua h : D D possui um ponto xo, isto e, existe x D tal que
h(x) = x.
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,
70 CAP
IRCULO
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 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
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 proprie-
dade do levantamento dos caminhos.
3.4. GRUPO FUNDAMENTAL DO ESPAC O PROJETIVO REAL 71
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
_
.
De fato, suponha que x
0

U e denotemos por =
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.
72 CAP
IRCULO
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 notac 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
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 func ao f : S
2
S
1
contnua tal que f(x) = f(x), para todo x S
2
.
3.4. GRUPO FUNDAMENTAL DO ESPAC O PROJETIVO REAL 73
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
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
.
74 CAP
IRCULO
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.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.
3.5. GRUPO FUNDAMENTAL DE GRUPOS ORTOGONAIS 75
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.
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.
76 CAP
IRCULO
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 rotac ao de angulo em relac 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
(A I) = I A
t
e:
det(A I) = detA
t
(A I) = det(I A
t
) = det(A I).
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|.
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).
78 CAP
IRCULO
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 aplicac 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

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
.
80 CAP
IRCULO
Captulo 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.
81
82 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 83
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[.
84 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 func oes contnuas tais que f e g f s ao homeo-
morsmos 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 aplicac 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
_
.
4.1. INTRODUC

AO 85
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.
_
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
Hausdorff, 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
86 CAP

: 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 relac ao a p.
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
4.2. RECOBRIMENTOS DE G-ESPAC OS 87
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
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
.
88 CAP

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-espaco e G age de forma totalmente descontnua sobre X,
ent ao a projec ao can onica:
p : X X
_
G
e um recobrimento.
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.
4.2. RECOBRIMENTOS DE G-ESPAC OS 89
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!).
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 ac 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:
90 CAP

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
),
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:
4.3. GENERALIZAC

OES 91
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

X
Isto e, p

f = f.
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:
92 CAP
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
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
4.3. GENERALIZAC

OES 93
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
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.
94 CAP

4.4 Exerccios
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?
Captulo 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 bijec 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 ].
95
96 CAP
ITULO 5. RECOBRIMENTO E GRUPO FUNDAMENTAL

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.
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:
5.1. CRIT
ERIO GERAL DE LEVANTAMENTO 97
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 sub-
grupos
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).
Prova : Seja um caminho em

X que liga x a x
1
. Sabemos que:
F

:
1
_
X, x
_

1
_
X, x
1
_
denida por F

([ ]) = [
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

_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:
98 CAP
X
p
Z
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
r
r
r
r
r
r
r
r
r
r
1
_
X, x
0
_
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
5.1. CRIT
ERIO GERAL DE LEVANTAMENTO 99

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 em Z 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 ].
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
100 CAP

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 espaco simplesmente conexo
e localmente conexo por caminhos; ent ao toda func ao contnua f : Z X admite
levantamento

f : Z

X.
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:
5.2. GRUPO FUNDAMENTAL E G-ESPAC OS 101
(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-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:
102 CAP
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
.
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:
5.2. GRUPO FUNDAMENTAL E G-ESPAC OS 103
_
_
(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 projec 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 notac oes e as hip oteses do lema anterior, temos:
1
_
X
_
G, y
0
__
1
_
X, x
0
__
G.
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.
104 CAP

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)]
_
.
5.3. TRANSFORMAC

OES DE RECOBRIMENTOS 105
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 co-
nexos e localmente conexos por caminhos. Dados x
1

X
1
, x
2

X
2
e x
0
X ar-
bitr 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
p
1

X
tal que p
2
p
1
= p
1
. Denamos h = p
1
.
106 CAP

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.
5.3. TRANSFORMAC

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).
_
X
1
, p
1
, X
_
e
_
X
2
, p
2
, X
_
recobrimentos e h :

X
1

X
2
um
homomorsmo; 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
.
108 CAP

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
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
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
p
1

X
X
1
p
1
X
2 p
2
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
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
X
2
e, consequentemente, p
2
e injetiva e p
1
sobrejetiva. Denimos
h = p
1
.
Em particular, temos o seguinte corol ario:
5.3. TRANSFORMAC

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

X
1
e

X
2
s ao sim-
plesmente conexos e localmente conexos por caminhos. Ent ao, existe um homeomor-
smo, 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.
_
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
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 conjugac 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:
110 CAP

_
X, p,

X
_
e x

X. Um automorsmo h e completamente de-
terminado 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
).
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:
5.3. TRANSFORMAC

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.
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
X
. Veja o captulo anterior.
ii) Se h ,= id
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
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:
112 CAP

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
_
.
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
_
.
5.3. TRANSFORMAC

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
.
[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
_
.
114 CAP

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
__
.
116 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:
5.4. APLICAC

OES 117
:

X

X
G
.
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:
118 CAP
X
G
p
G
X p
~
~
~
~
~
~
~
~
X
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

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) 119
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 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
,
120 CAP

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
_
5.8 Recobrimentos do Crculo
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:
5.9. RECOBRIMENTOS DO TORO 121
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
SejamT
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:
122 CAP

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)).
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.
124 CAP

Figura 5.3:
Logo, ap os rotac oes (que s ao homeomorsmos), obtemos que:
R
2
_
G
k,l
= C,
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.
126 CAP

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
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:
5.10. RECOBRIMENTOS DA FAIXA DE M

OEBIUS 127
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).
128 CAP

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:
5.10. RECOBRIMENTOS DA FAIXA DE M

OEBIUS 129
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
130 CAP

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:

5.11. RECOBRIMENTOS DA GARRAFA DE KLEIN 131
R
2
_
H
m,n
S
1
R,
e se m e mpar, ent ao:
R
2
_
H
m,n
M,
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:
132 CAP

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).
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. AC

AO DO GRUPO FUNDAMENTAL SOBRE AS FIBRAS 133
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
.
_
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:
134 CAP

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 135
5.13 Exerccios
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.
136 CAP

Captulo 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.
137
138 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
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.
6.2. GRUPOS LIVRES 139
Note que sempre temos o seguinte: se G e o grupo gerado por S; ent ao, (S, ) e uma
representac ao de G.
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
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.
140 CAP

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
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:
6.3. PRODUTO LIVRE DE GRUPOS 141
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.
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:
142 CAP

G
h
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 > .
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
.
6.4. PRODUTO AMALGAMADO DE GRUPOS 143
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:
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
N
N
N
N
N
N
N
N
N
N
N
N
G
0
h
1
v
v
v
v
v
v
v
v
v
v
h
2
H
H
H
H
H
H
H
H
H
H
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.
144 CAP

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
J
J
J
J
J
J
J
J
J
J
J
G
0
h
1
t
t
t
t
t
t
t
t
t
t
t
h
2
J
J
J
J
J
J
J
J
J
J
J
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
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
G
G
G
G
G
G
G
G
G
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
O
O
O
O
O
O
O
O
O
O
O
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:
6.5. TEOREMA DE SEIFERT-VAN KAMPEN 145
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
G
G
G
G
G
G
G
G
G
G
1
_
U V, x
0
_
i
3
i
1
o
o
o
o
o
o
o
o
o
o
o
i
2
O
O
O
O
O
O
O
O
O
O
O
1
_
X, x
0
_
_ _ _
H
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:
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
_
.
146 CAP

Corol ario 6.1. Nas hip oteses do teorema de Seifert-Van Kampen, se U e V s ao simples-
mente conexos:
1
_
X, x
0
_
= e.
Corol ario 6.2. Nas hip oteses do teorema de Seifert-Van Kampen, se U V e simples-
mente 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
>
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
O
O
O
O
O
O
O
O
O
O
O
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 notac oes anteriores,
temos que:
1
_
X, x
0
_
=< S
, R
>,
6.7. PRIMEIRAS APLICAC

OES 147
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:
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.
148 CAP

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:
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
_

OES 149
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
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:
150 CAP
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 espacos 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.
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

OES 151
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:
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.
152 CAP

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
H
H
H
H
H
H
H
H
H
H
H
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.
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:

OES 153
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:
154 CAP

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:
6.9. SOMA CONEXA DE SUPERF
ICIES 155
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
.
156 CAP

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:
ICIES 157
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:
158 CAP

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
ICIES 159
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:
160 CAP

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:
ICIES 161
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.
162 CAP

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 Superfcies) 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:
6.10. GRUPO FUNDAMENTAL DE UMA SUPERF
ICIE COMPACTA 163

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:
164 CAP
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
K
K
K
K
K
K
K
K
K
K
K
K
K
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:
6.10. GRUPO FUNDAMENTAL DE UMA SUPERF
ICIE COMPACTA 165

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
.
166 CAP

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
167

Topologia Algebrica

Enviado por

Dados do documento

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

Topologia Algebrica

Enviado por

Direitos autorais:

Formatos disponíveis

INTRODUC

o conjunto das classes de homotopias de func oes contnuas

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

ITULO 2. GRUPO FUNDAMENTAL

Figura 2.4: Homotopia entre e

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 [], []

ITULO 2. GRUPO FUNDAMENTAL

1. De fato, para todo []

1. Logo, para todo []

ITULO 2. GRUPO FUNDAMENTAL

ITULO 2. GRUPO FUNDAMENTAL

e dito induzido por f.

ITULO 2. GRUPO FUNDAMENTAL

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

e um homomorsmo injetivo. Em particular, se

. Isto e, temos o seguinte diagrama comutativo:

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

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 97

ITULO 5. RECOBRIMENTO E GRUPO FUNDAMENTAL

e um monomorsmo, a exist encia de

que faz o diagrama comutativo e

ERIO GERAL DE LEVANTAMENTO 99