Topologia Algebraica

A
` TOPOLOGIA
INTRODUC
AO
ALGEBRICA
Mauricio A. Vilches
Departamento de Analise - IME

UERJ
Copyright by Mauricio A. Vilches

Todos os direitos reservados
Proibida a reproduca o parcial ou total
PREFACIO
sao homeomorfos ou
Um dos problemas basicos da Topologia e saber se dois espacos
nao. Na verdade nao existem metodos gerais para resolver esta questao. Verificar se
sao homeomorfos consiste em encontrar uma funca o contnua, bijetiva
dois espacos
nao
com inversa contnua, entre ambos os espacos. Agora provar que dois espacos
sao homeomorfos e muito mais complicado pois e necessario provar que nao existe
nenhuma funca o contnua, bijetiva com inversa contnua, entre ambos os espacos.
A Topologia Algebrica naceu nas ultimas

decadas do seculo XIX, quando no ano de
1894 o eminente matematico frances Henri Poincare apresentou uma serie de trabalhos onde fundamentou a Topologia Algebrica, com o nome de Analisys Situs. Dentre
as descobertas de Poincare, destacam-se os conceitos de homotopia e de grupo fundamental, alem de alguns teoremas, muitos dos quais somente foram provados muitos
anos depois (1931), essencialmente por de de Rham. Poincare, entendeu que existia
uma profunda relaca o entre a estrutura topologica

de um espaco e seu grupo fundamental. Ele, entre outras coisas, tentava estabelecer quando duas superfcies sao
homeomorfas ou nao.
A ideia fundamental da Topologia Algebrica e associar, de forma unvoca a espacos
e propriedades topologicas,
estruturas e propriedades algebricas. A vantagem deste
tratamento e a riqueza que possui a Algebra,

obtida atraves de milenios, o que nao
acontece com a Topologia. Por exemplo, nos espacos topologicos,

os seus elementos
nao podem ser somados, ja a soma de grupos e um grupo.
contNestas notas, que sao introdutorias,

associaremos a espacos topologicos,
funcoes
nuas e homeomorfismos, grupos, homomorfismos de grupos e isomorfismos de grupos de tal forma que estudando as propriedades algebricas possamos extrair consequencias sobre a geometria e a topologia do espaco em questao. Por exemplo, e
posvel provar que o toro e a garrafa de Klein nao sao homeomorfas, pois seus grupos
fundamentais nao sao isomorfos. Ja provar que S 2 e S 3 nao sao homemorfas e muito
mais difcil e com os conceitos estudados nestas notas nao sera possvel provar este
fato.
Nestas notas, exigiremos conhecimentos solidos

de Topologia Geral e o mnimo em
relaca o aos conhecimentos de Teoria dos Grupos.
Desejo agradecer ao meu aluno Andre T. Machado pela motivaca o de fazer estas notas
e de forma muito especial a minha colega professora Maria Luiza Correa pela leitura
rigorosa dos mauscritos, alem dos inumeros

comentarios e observacoes,
os quais per
mitiram dar clareza aos topicos
estudados.
Mauricio A. Vilches
Rio de Janeiro
Conteudo
HOMOTOPIA
1.1 Introduca o . . . . . . . . . . . . . . . . . . .
1.2 Propriedades Elementares das Homotopias
1.3 Homotopia e Campos de Vetores na Esfera
1.4 Homotopia Relativa . . . . . . . . . . . . . .
1.5 Tipo de Homotopia . . . . . . . . . . . . . .
1.6 Exemplos . . . . . . . . . . . . . . . . . . . .
1.7 Espacos Contrateis . . . . . . . . . . . . . .
1.8 Retratos . . . . . . . . . . . . . . . . . . . . .
1.9 Homotopia e Extensao de Funcoes

. . . . .
1.10 Homotopia de Caminhos . . . . . . . . . . .
1.11 Exerccios . . . . . . . . . . . . . . . . . . . .
GRUPO FUNDAMENTAL
2.1 Introduca o . . . . . . . . . . . . . .
2.2 Mudanca do Ponto Base . . . . . .
2.3 Grupos de Homotopias Abelianos
2.4 Homomorfismo Induzido . . . . .
2.5 Espacos Simplesmente Conexos . .
2.6 Exerccios . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
GRUPO FUNDAMENTAL DO CIRCULO

3.1 Introduca o . . . . . . . . . . . . . . . . . . . . . .
3.2 Levantamento de Caminhos . . . . . . . . . . . .
3.3 O Grupo Fundamental do Crculo . . . . . . . .
3.4 Algumas Consequencias do Isomorfismo . . . .
3.5 Grupo Fundamental do Espaco Projetivo Real .
3.5.1 Introduca o . . . . . . . . . . . . . . . . . .
3.5.2 O Grupo Fundamental de RPn . . . . . .
3.5.3 Geradores do grupo 1 RPn , p0 . . . . . .
do Teorema de Borsuk-Ulam
3.5.4 Aplicacoes
3.6 Grupo Fundamental de Grupos Ortogonais . . .
3.6.1 O grupo SO(3) . . . . . . . . . . . . . . .
5
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
7
7
9
11
14
16
17
20
23
26
28
33
.
.
.
.
.
.
35
35
43
46
49
54
58
.
.
.
.
.
.
.
.
.
.
.
59
59
61
64
66
70
70
72
73
74
74
75

CONTEUDO
6
3.6.2
O Grupo Fundamental de SO(3) . . . . . . . . . . . . . . . . . . .
4 ESPAC
OS DE RECOBRIMENTOS
4.1 Introduca o . . . . . . . . . . . .
4.2 Recobrimentos . . . . . . . . . .
4.3 Recobrimentos de G-espacos .
4.4 Levantamentos . . . . . . . . .
4.5 Exerccios . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
5 RECOBRIMENTO E GRUPO FUNDAMENTAL

5.1 Criterio Geral de Levantamento . . . . . . . .
5.2 Grupo Fundamental e G-espacos . . . . . . .
de Recobrimentos . . . . . .
5.3 Transformacoes
5.4 Aplicacoes
. . . . . . . . . . . . . . . . . . . .
5.5 Recobrimentos de Sn , (n > 1) . . . . . . . . .
5.6 Recobrimentos dos Espacos Lenticulares . . .
5.7 Recobrimentos do Espaco Projetivo Real . . .
5.8 Recobrimentos do Crculo . . . . . . . . . . .
5.9 Recobrimentos do Toro . . . . . . . . . . . . .
5.10 Recobrimentos da Faixa de Moebius

. . . . .
5.11 Recobrimentos da Garrafa de Klein . . . . . .
5.12 Aca o do Grupo fundamental sobre as Fibras
5.13 Exerccios . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
6 TEOREMA DE SEIFERT - VAN KAMPEN

6.1 Introduca o . . . . . . . . . . . . . . . . . . . . . . .
6.2 Grupos Livres . . . . . . . . . . . . . . . . . . . . .
6.3 Produto Livre de Grupos . . . . . . . . . . . . . . .
6.4 Produto Amalgamado de Grupos . . . . . . . . . .
6.5 Teorema de Seifert-Van Kampen . . . . . . . . . .
6.6 Representacoes
. . . . . . . . . . . . . . . . . . . .
6.7 Primeiras Aplicacoes

. . . . . . . . . . . . . . . . .
6.7.1 Interpretaca o Geometrica do Resultado . .
6.7.2 Interpretaca o Geometrica do Resultado . .
6.8 Segunda Aplicaca o . . . . . . . . . . . . . . . . . .
6.9 Soma Conexa de Superfcies . . . . . . . . . . . . .
6.10 Grupo Fundamental de uma Superfcie Compacta
Bibliografia
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
78
.
.
.
.
.
81
81
81
87
91
94
.
.
.
.
.
.
.
.
.
.
.
.
.
95
97
101
105
116
119
119
119
120
121
127
130
133
135
.
.
.
.
.
.
.
.
.
.
.
.
137
137
138
140
142
144
146
147
148
152
154
155
163
166
Captulo 1
HOMOTOPIA
1.1
Introduca o
Nos captulos seguintes, X e Y sao espacos topologicos;

I = [0, 1] R com a topologia
consideradas sao contnuas.
induzida pela topologia usual de R e todas as funcoes
Definica o 1.1. Sejam f, g : X Y funcoes,

entao:
1. f e g sao ditas homotopicas
se existe uma funca o contnua:
H : X I Y tal que
H(x, 0) = f (x),
H(x, 1) = g(x)
para todo x X.
2. A funca o H e dita homotopia entre f e g.
Observacoes
1.1.
1. A notaca o que se usa para indicar que f e homotopica

a g e :
H : f ' g.

CAPITULO
1. HOMOTOPIA
contnuas
2. A homotopia entre f e g e uma famlia a um parametro de funcoes
entre X e Y , isto e , para cada t I:
ft : X Y
e contnua, onde ft (x) = H(x, t).
3. Intuitivamente, a homotopia deformacontinuamente f em g.
Exemplo 1.1.
[1] Sejam X = {a}, Y = {a, b} com a topologia discreta e f, g : X Y definidas por
f (a) = a e g(a) = b; entao f nao e homotopica

a g.
[2] Sejam f, g : R R2 definidas por f (x) = (x, x2 ) e g(x) = (x, x); logo f ' g.
De fato, definamos a seguinte homotopia:
H : R I R2
H(x, t) = (x, x2 t x2 + 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 ELEMENTARES DAS HOMOTOPIAS
1.2
Propriedades Elementares das Homotopias
Sejam f, g : X Y tais que f (x) = y0 e g(x) = y1 para todo x X; entao, nao

necessariamente, temos que f ' g.
Proposica o 1.1. f ' g se, e somente se y0 e y1 pertencem a` mesma componente conexa
por caminhos.
() Denotemos H : f ' g; entao : I Y definida por (t) = H(x, t) e um caminho
tal que (0) = y0 e (1) = y1 .
() Seja : I Y um caminho ligando y0 a y1 ; definamos a seguinte homotopia:
H :X I Y
(x, t) (t).
Entao H(x, 0) = (0) = y0 e H(x, 1) = (1) = y1 ; logo H : f ' g.
Proposica o 1.2. Consideremos : I X um caminho; entao ' c0 , onde c0 e o

caminho constante, definido por c0 (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) = c0 (t).
Proposica o 1.3. Se f : Rn X e contnua, entao f ' c0 , onde c0 (x) = f (0) para todo
x Rn .
H :Rn I X

(x, t) f (1 t) x .
Logo, H e contnua; H(x, 0) = f (x) e H(x, 1) = f (0) = c0 (x).

CAPITULO
1. HOMOTOPIA
10
Proposica o 1.4. Sejam f, g : X Rn contnuas; entao f ' g.

H :X I Rn
(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 sao contnuas, entao f ' g. De fato, podemos
definir 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 valida se substituirmos E
por um subconjunto convexo C de E.
Proposica o 1.5. (Poincare -Bohl) Sejam E um espaco vetorial normado e
f, g : X E {0}
contnuas tais que kf (x) g(x)k < kf (x)k, para todo x X; entao f ' g.
De fato, notemos que a origem nao pertence ao segmento de reta f (x)g(x); caso contrario,
poderamos ter:
kf (x) g(x)k = kf (x)k + kg(x)k > kf (x)k;
logo, consideramos a homotopia linear:
H(x, t) = (1 t) f (x) + t g(x),
para todo (x, t) X I.

f : X Y
Proposica o 1.6. Denotemos por C X, Y o conjunto de todas as funcoes
contnuas. Ser homotopica

e uma relaca o de equivalencia em C X, Y .
A unica
propriedade que nao e imediata e a transitiva. Sejam H : f ' g e K : g ' h as
respectivas homotopias; devemos provar que existe Q : f ' h.
Definamos Q : X I Y por:
(
H(x, 2 t)
se 0 t 1/2
Q(x, t) =
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.
1.3. HOMOTOPIA E CAMPOS DE VETORES NA ESFERA
11

Proposica o 1.7. Sejam f0 , f1 C X, Y e g0 , g1 C Y, Z tais que f0 ' f1 e g0 ' g1 .
Entao
g0 f0 ' g1 f1 ,
preserva as homotopias.
isto e , a composica o de funcoes
Novamente, sejam H : f0 ' f1 e K : g0 ' g1 as respectivas homotopias; entao definamos 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(f0 (x), 0) = g0 f0 (x),

Q(x, 1) = K(H(x, 1), 1) = K(f1 (x), 1) = g1 f1 (x).
1.3
Homotopia e Campos de Vetores na Esfera
Seja:
S n = {x Rn+1 / kxk = 1} Rn+1
a esfera unitaria com a topologia induzida pela topologia usual de Rn+1 .
Definica o 1.2. Denotemos e definamos por:
a :S n S n
x x.
A funca o a e dita antpoda.
Proposica o 1.8. Sejam f, g : S n S n contnuas tais que f (x) 6= g(x), para todo
x S n ; entao f ' g.
Consideremos a homotopia:
H(x, t) =
(1 t) f (x) + t g(x)
.
k(1 t) f (x) + t g(x)k
H e bem definida e contnua pois f (x) 6= g(x), para todo x S n , o que equivale
ao segmento de reta f (x)g(x) nao conter a origem. Por outro lado, H(x, 0) = f (x) e
H(x, 1) = g(x), para todo x S n .

CAPITULO
1. HOMOTOPIA
12
f(x)
H(x,t)
O
g(x)
-f(x)
Figura 1.2: Homotopia entre f e g

Corolario 1.1. Seja f : S n S n contnua:
1. Se f nao possui pontos fixos, entao f ' a.
2. Se f (x) 6= x, para todo x S n , entao f ' idS n .
3. Se n e mpar, entao a ' idS n .
Prova :
1. De fato, se f nao possui pontos fixos, entao f (x) 6= x, para todo x S n ; logo
f (x) 6= a(x). Pela proposica o anterior, temos que f ' a
2. f (x) 6= x, para todo x S n ; logo f (x) 6= idS n (x). Pela proposica o anterior,
temos que f ' idS n
3. Se n = 2 k 1,entao S n R2k = Ck ; denotemos por zi = (xi , yi ) C; logo:
z = (z1 , z2 , . . . , zk ) S n kz1 k2 + kz2 k2 + . . . + kzk k2 = 1.
Por outro lado, sabemos que o grupo S 1 atua sobre S n se n e mpar; isto e , para
todo u S 1 e todo z S n temos que u z = (u z1 , u z2 , . . . , u zk ) S n . Definamos:
H(z, t) = exp( i t) z;
logo, H e contnua; H(z, 0) = z e H(z, 1) = z = a(z).
1.3. HOMOTOPIA E CAMPOS DE VETORES NA ESFERA
13
Corolario 1.2. Se f : X S n e contnua e nao sobrejetiva, entao f ' c, onde c e uma

funca o constante.
Prova : Como f nao e sobrejetiva, entao existe y S n tal que f (x) 6= y, para todo
x X. Seja c : X S n tal que c(x) = y, para todo x X; logo f (x) 6= c(x), isto e ,
f ' c.
Definica o 1.3. Um campo de vetores contnuos tangentes a S n e uma funca o contnua:
: S n Rn+1 tal que < (x), x >= 0, para todo x S n ,
onde < , > e o produto interno euclidiano em Rn+1 . Se (x0 ) = 0, entao x0 e dita
singularidade do campo .
(x)
x
Figura 1.3: Campo tangente a S n
Observacoes
1.2.
1. Se n e mpar, entao existe um campo de vetores contnuo, sem singularidades,
tangente a S n .
De fato: como antes consideremos S n R2k e definamos:
(x1 , x2 , . . . , xk , y1 , y2 , . . . , yk ) = (y1 , y2 , . . . , yk , x1 , x2 , . . . , xk ).
e um campo contnuo, sem singulariades e tangente a S n .
2. Se existe um campo de vetores contnuo, sem singularidades e tangente a S n ,
entao a ' idS n .
De fato. Seja o campo e definamos f : S n S n por:

CAPITULO
1. HOMOTOPIA
14
f (x) =
x + (x)
.
kx + (x)k
f e contnua e f (x) 6= x; logo f (x) 6= a(x) e f ' a. Por outro lado, seja
H(x, t) =
x + t (x)
,
kx + t (x)k
H e bem definida; H(x, 0) = x, H(x, 1) = f (x) e f ' idS n . Logo, por transitividade,
a ' idS n .
Resumindo: em S n , temos:
1. Se n e mpar, entao a ' idS n .
2. Se existe um campo de vetores contnuo sem singularidades em S n , entao:
a ' idS n .
3. E possvel provar, utilizando conceitos mais avancados, que a ' idS 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.
Definica o 1.4. f e homotopica

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.
1.4. HOMOTOPIA RELATIVA
15
A notaca o de f ser homotopica

a g relativamente a A e :
f 'A g.
Durante a deformaca o, o conjunto A permanece invariante. Se A = ; entao a homotopia relativamente a A e a homotopia definida anteriormente.
Exemplo 1.2.
[1] Sejam f, g : [0, 1] S 2 definidas por:
f (t) = (sen( t), 0, cos( t))
g(t) = (0, sen( t), cos( t)).
1. Se A = {1/2} I, entao f nao pode ser homotopica

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, entao f 'A g. De fato, definamos H : I I S 2 por:

H(t, s) = cos(s /2) sen( t), sen(s /2) sen( t), cos( t) .
Note que kH(t, s)k = 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).
Figura 1.4: A homotopia H (f e g em vermelho)

CAPITULO
1. HOMOTOPIA
16
[2] Denotemos por Rn = Rn {0} e seja:
r :Rn Rn
x x/kxk.
Entao r 'S n idRn . De fato, definamos H : Rn I Rn por:

H(x, t) = (1 t) x + t r(x).
Logo, H(x, 0) = x, H(x, 1) = r(x). Em particular, para todo x0 S n , temos:
H(x0 , t) = (1 t) x0 + t r(x0 )
= (1 t) x0 + t x0
= x0 .
1.5 Tipo de Homotopia

Neste paragrafo introduziremos um conceito mais fraco que o de homeomorfismo, o
qual nos permitira diferenciar espacos.
Definica o 1.5. Os espacos X e Y tem o mesmo tipo de homotopia ou sao homotopicamen
te equivalentes, se existem
f : X Y e g : Y X,
contnuas, tais que:
g f ' idX
f g ' idY .
f e g sao ditas inversas homotopicas.
As funcoes
Denotaremos os espacos com o
mesmo tipo de homotopia por:
X ' Y.
Se X e Y sao homeomorfos, entao X ' Y . A recproca e , claramente, falsa. Ser homotopicamente equivalente e , claramente, uma relaca o de equivalencia.
1.6. EXEMPLOS
1.6
17
Exemplos
[1] Rn ' {0}.

f : Rn {0} tal que f (x) = 0 para todo x Rn e
De fato, considere as funcoes
n
g : {0} R a inclusao. Por outro lado, seja H : Rn I Rn definida por:
H(x, t) = t x;

H e contnua;
H(x,
0)
=
0
=
g
f
(x) e H(x, 1) = x = idX (x); entao H : g f ' idX .

Como f g (0) = f (0) = 0 = id{0} (0), f g = id{0} .
[2] S 1 R ' S 1 {0}
= S 1.
1
Considere f : S 1 R S 1 {0} definida por f (x, t) = (x, 0) e g : S
{0} S 1 R

a inclusao, isto e g(x, 0) = (x, 0). Por outro lado, seja H : S 1 R I S 1 R
definida 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) = idS 1 R (x, t).

Entao H : g f ' idS 1 R . Note que f g (x, 0) = (x, 0) = idS 1 R (x, 0); logo:
f g = idS 1 R .
S1 x IR
S1 x {0}
Figura 1.5: Equivalencia entre o cilindro S 1 R e o crculo S 1

[3] S n ' Rn+1 {0}.

CAPITULO
1. HOMOTOPIA
18
f : Rn+1 {0} S n e g : S n Rn+1 {0}

De fato, considere as seguintes funcoes
tais que f (x) = x/kxk e g e a inclusao natural. Por outro lado, seja H : S n I S n
definida por:
H(x, t) = (1 t) x + t f (x);
logo, H e contnua e:
H(x, 0) = x = idS n (x)

H(x, 1) = g f (x).

Entao, H : g f ' idS n . Note que f g (x) = f (x) = x = idS n (x); entao:
f g = idS n .
[4] Sabemos que se pn = (0, 0, . . . , 1) S n , entao S n {pn } e homeomorfo a Rn , via
projeca o estereografica. Logo, se ps = (0, 0, . . . , 1) S n , pelo tem anterior:
S n {pn , ps }
= Rn {0} ' S n1 .
Logo:
S n {pn , ps } ' S n1 .

[5] Seja M a faixa de Moebius.

Lembremos que M = Q ' , onde Q = I I, I = [0, 1]
e ' e a relaca o de equivalencia (0, y) ' (1, 1 y). Denotemos por:
= {[(x, 1/2)] / x [0, 1]}.
M e dito crculo central da faixa. Note que
= S 1 , isto e e homeomorfo a S 1 .
Figura 1.6: Crculo central da faixa
1.6. EXEMPLOS
19
Definamos:
f : M
f ([(x, y)]) = [(x, 1/2)].
f e bem definida, pois:
f ([(1, 1 y)]) = [(1, 1/2)] = [(1, 1 1/2)] = [(0, 1/2)] = f ([(0, y)]).
Seja g : M a inclusao; temos que:
f g)([(x, 1/2)]) = [(x, 1/2)] = id ([(x, 1/2)]).
Definamos:
H : M I M
H([(x, y)], t) = [(1 t) (x, y) + t (x, 1/2)].
1
1/2
Figura 1.7: Equivalencia entre a faixa e o crculo central

H e contnua e bem definida. 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:

CAPITULO
1. HOMOTOPIA
20
H([(x, y)], 0) = [(x, y)] = idM [(x, y)]

H([(x, y)], 1) = [(x, 1/2)] = g f [(x, y)] = g f ' idM .

contnuas
Proposica o 1.9. Seja X, Y o conjunto das classes
de homotopias

0 de
funcoes
0
0
0
de X em Y . Se X ' X e Y ' Y , entao # X, Y = # X , Y , onde # indica a
cardinalidade do conjunto.
Prova : Sejam : X 0 X e : Y Y 0 equivalencias homotopicas.

Definamos:

G : X, Y X 0 , Y 0

f f .
Claramente G e uma bijeca o.
1.7 Espacos Contrateis

Definica o 1.6. X e contratil se X tem o mesmo tipo de homotopia que um ponto.
Exemplo 1.3.
[1] Rn e B[x, r] sao espacos contrateis.
[2] Em geral, se E e um espaco vetorial normado, os conjuntos convexos de E sao
contrateis. Em particular, E e contratil.
[3] Seja X um espaco topologico

e consideremos CX o cone de X. CX e contratil. Para
detalhes, veja [MV]. Definamos:
H : CX I CX
([(x, t)], s) [(x, (1 s) t + s)].

Logo, H([(x, t)], 0) = [(x, t)] = idCX ([(x, t)] e H([(x, t)], 1) = [x, 1], onde [(x, 1)] e o
vertice do cone.
Proposica o 1.10. X e contratil se, e somente se idX ' c, onde c : X X e a funca o
constante c(x) = p, para todo x X.

1.7. ESPAC
OS CONTRATEIS
21
Prova : () Se X ' {p}, existem f : X {p} e g : {p} X inversas homotopicas;

entao g f ' idX e g f = c.
() Se idX ' c, entao idX e c sao inversas homotopicas;

logo X ' {p}.
Proposica o 1.11. Se X e contratil, entao X e conexo por caminhos.
Prova : Fixemos p X e seja H : idX ' c. Para cada x X definamos:
x :I X
t H(x, t).
Logo, x e um caminho contnuo que liga x a p.
Proposica o 1.12. Se X ou Y e contratil, entao, para toda f : X Y contnua:
f ' c.
Prova : Suponha X contratil e H : idX ' c. Definamos:
K : X I Y

K(x, t) = f H(x, t) .

Logo, K(x, 0) = f idX (x) = f (x) e K(x, 1) = f (p) = c(x); entao f ' c. Por outro
lado, se Y e contratil e H : idY ' c1 , definamos:
K : X I Y
K(x, t) = H(f (x), t).
Logo, K(x, 0) = f (x) e K(x, 1) = c1 (f (x)); entao:
f ' c1 .
Corolario 1.3.
1. Se X e contratil e Y e conexo por caminhos, entao, para todas f, g : X Y
contnuas, temos que f ' g.
2. Se Y e contratil, entao, qualquer que seja X e para todas f, g : X Y contnuas,
temos que, f ' g.

CAPITULO
1. HOMOTOPIA
22
Prova :
1. Seja H : idX ' c, definamos:

K(x, t) = f H(x, t)
K : f ' c1

L(x, t) = g H(x, t)
L : g ' c2 ,
onde c1 (x) = f (p) e c2 (x) = g(p), para todo x X. Como Y e conexo por caminhos, existe caminho contnuo ligando f (p) e g(p); definamos:
G : Y I Y
(y, t) (t).
Logo, c1 ' c2 e f ' g.
2. A prova e imediata.
Proposica o 1.13. Se X e contratil, entao X Y ' Y , para todo Y . Em particular se Y
tambem e contratil, entao X Y e contratil.
Prova : Seja H : idX ' c; denotemos por:
pr2 : X Y Y e ip : Y X Y,
tal que pr2 (x, y) = y e ip (y) = (p, y). Entao, temos que:

ip pr2 (x, y) = ip (y)

pr2 ip (y) = y = idY (y).
Definamos:
G : X Y I X Y
G((x, y), t) = H(x, t), y).

Logo, G((x, y), 0) = (x, y) = idXY (x, y) e G((x, y), 1) = (p, y) = ip pr2 (x, y); entao
idXY ' ip pr2 .
Exemplo 1.4.
[1] S 1 Rn ' S 1 {0}
= S 1 , pois Rn ' {0}.
[2] Seja D2 S 1 , onde D2 e um disco fechado no plano; entao D2 S 1 ' S 1 . O espaco
D2 S 1 e dito toro solido.
1.8. RETRATOS
1.8
23
Retratos
Definica o 1.7. Seja A X. A e um retrato de X se existe r : X A contnua tal que

com a inclusao i : A X, o seguinte diagrama comuta:
XO
i
/A
~>
~
~
~~idA
~
~
r
Isto e , r i = idA . A funca o r e dita retraca o entre X e A.
Exemplo 1.5.
[1] A esfera S n Rn+1 e um retrato de Rn+1 {0}. De fato, podemos definir a seguinte
retraca o:
r : Rn+1 {0} S n
x
x
.
kxk
[2] Seja M a faixa de Moebius;

entao , o crculo central e um retrato de M . De fato,
definamos:
r : M
[(x, y)] [(x, 1/2)].
[3] S 1 {0} e um retrato de S 1 R. De fato, definamos:
r : S 1 R S 1 {0}
((x, y), z) ((x, y), 0).
[4] Se A e um retrato de X, entao A = {x X / r(x) = x}, onde r e a retraca o. Se X e
de Hausdorff, temos que A e fechado em X.
Definica o 1.8. Seja A X. A e um retrato por deformaca o de X, se existe retraca o
r : X A tal que:
i r ' idX .

CAPITULO
1. HOMOTOPIA
24
Se A e um retrato por deformaca o de X, entao existe homotopia:
H :X I X
H(x, 0) = x
H(x, 1) A,
para todo x X.
Se A e um retrato por deformaca o de X, entao A e um retrato de X.
Definica o 1.9. Seja A X. A e um retrato por deformaca o forte de X, se existe retraca o
r : X A tal que:
i r 'A idX .
Se A e um retrato por deformaca o forte de X, entao existe homotopia:
H :X I X
H(x, 0) = x
H(x, 1) A
H(a, t) = a,
para todo a A e x X.
Exemplo 1.6.
[1] S n e um retrato por deformaca o forte de Rn+1 {0}. Basta utilizar a retraca o definida
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)]}, k(x, y)k = max{|x|, |y|}, para todo (x, y) R2 .
Seja A = {[(x, y)] X / k(x, y)k = 1}. Afirmamos que A e um retrato por deformaca o
forte de X.
1.8. RETRATOS
25
Figura 1.8: Os conjuntos T e A

Fica como exerccio provar que A e homeomorfo ao conjunto S:
Figura 1.9: Homeomorfismo entre A e S

Consideremos a retraca o r : X A, definida por:
r([(x, y)]) = [
(x, y)
].
k(x, y)k
Definamos a homotopia H : X I X por:

H([(x, y)], t) = [(1 t) (x, y) +
t (x, y)
].
k(x, y)k
Figura 1.10: A homotopia H

CAPITULO
1. HOMOTOPIA
26
H e bem definida. De fato:
t (1, y)
]
k(1, y)k
= [(1 t) (1, y) + t (1, y)] = [(1, y)]
t (1, y)
= [(1, y)] = [(1 t) (1, y) +
]
k(1, y)k
= H([(1, y)], t).
H([(1, y)], t) = [(1 t) (1, y) +
Analogamente, H([(x, 1)], t) = H([(x, 1)], t). Por outro lado:

H([(x, y)], 0) = [(x, y)]
(x, y)
].
H([(x, y)], 1) = [
k(x, y)k
Se [(x, y)] A, entao H([(x, y)], t) = [(x, y)] para todo t I.
Corolario 1.4. Se A e um retrato por deformaca o de X ou um retrato por deformaca o
forte de X, entao A ' X.
De fato, existe H : i r ' idX e r i = idA .
1.9 Homotopia e Extensao de Funcoes
e um tema central na Topologia. O problema geral pode ser

A extensao de funcoes
enunciado da seguinte forma:
Sejam A X um subconjunto fechado e f : A Y contnua. E possvel achar:
f : X Y
contnua tal que:

fA = f ?
Em outras palavras, se i : A X e a inclusao, podemos obter o diagrama:
f
/Y
>
~
~~
~
i
~~
~~ f
tal que f i = f ?

DE FUNC
1.9. HOMOTOPIA E EXTENSAO
OES
27
A seguir, estudaremos alguns casos particulares de extensao de funcoes.

Note que um retrato e uma extensao contnua da identidade de A:
idA
/A
~>
~
~
i
~~
~~ r
sao equivalentes:
Proposica o 1.14. A seguintes afirmacoes
1. A e um retrato de X.
2. Para todo espaco topologico

Z, a funca o contnua f : A Z se estende continuamente a X.
Prova : (1) (2) Dada a retraca o r : X A, para f : A Z arbitraria, considere a
extensao f = f r : X Z
(2) (1) Considere o diagrama comutativo:
/Z
>
~
~~
~
~
~~ f
X
Basta considerar Z = A e f = idA .
Proposica o 1.15. Denotemos por B = B[0, 1] Rn+1 ; lembremos que B = S n . As

sao equivalentes:
seguintes afirmacoes
1. f ' c, onde c e uma funca o constante.
2. f : S n X contnua se estende continuamente a B.
Prova : (1) (2) Seja F : f ' c tal que c(x) = y0 , para todo x S n . Definamos:
(
y0
se 0 kxk 1/2

f(x) =
F x/kxk, 2 2 kxk
se 1/2 kxk 1.
f e contnua (veja [MV]). Se x 6= 0, entao x/kxk
S n ; se 1/2 kxk 1, entao

2 2 kxk I; se kxk = 1/2, entao F x/kxk, 1 = c(x/kxk) = y0 e se kxk = 1, entao
f(x) = F (x, 0) = f (x).

CAPITULO
1. HOMOTOPIA
28
(2) (1) Considere o seguinte diagrama comutativo:
f
/X
|>
|
||
i
||
|| f
Sn
B
Como B e contratil, existe homotopia H : f ' c1 . Definamos a homotopia K, considerando o seguinte diagrama comutativo:
/
;X
ww
w
ww
ww H
w
w
Sn I
i
BI

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) = c1 i (x) = c(x).
1.10 Homotopia de Caminhos

Neste paragrafo estudaremos um caso especial de homotopia relativa. Este tipo de
homotopia e fundamental nos proximos

captulos.
Definica o 1.10. Sejam , : I X caminhos contnuos tais que (1) = (0).
(1)=(0)
(0)
(1)
Figura 1.11:
O produto dos caminhos e e denotado por e definido por:
(
(2 t)
se 0 t 1/2
(t) =
(2 t 1) se 1/2 t 1.
1.10. HOMOTOPIA DE CAMINHOS
29
Observacoes
1.3.
1. Note que : I X e um caminho contnuo tal que (0) = (0) e
(1) = (1).
2. Intuitivamente, para definir no intervalo I dobramos a velocidade de cada
caminho, isto e , reparametrizamos os caminhos pelos homeomorfismos lineares:
h1 : [0, 1/2] [0, 1]

t 2 t
e
h2 : [1/2, 1] [0, 1]
t 2 t 1.
(1)=(0)
(0)
(1)
1/2
Figura 1.12: Produto de caminhos

3. Dados , , : I X caminhos, entao:

6= .
Definica o 1.11. Os caminhos e tais que (0) = (0) e (1) = (1) sao ditos equivalentes se ' relativamente a {0, 1}.
Denotaremos os caminhos equivalentes por ' . Entao, se ' existe homotopia:

CAPITULO
1. HOMOTOPIA
30
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.
(1)=(1)
1
H
s
(0)=(0)
Figura 1.13: Caminhos equivalentes

Note que durante a homotopia, os extremos dos caminhos permanecem fixos. Em
particular se e sao caminhos fechados equivalentes, entao 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.
x0
Figura 1.14: Caminhos fechados equivalentes

Lema 1.1. Sejam 0 , 1 , 0 , 1 : I X caminhos tais que 0 ' 1 , 0 ' 1 e
1.10. HOMOTOPIA DE CAMINHOS
31
0 (1) = 0 (1); entao:

0 0 ' 1 1 .
1
1
0
0
Figura 1.15:
Prova : Sejam F : 0 ' 1 e G : 0 ' 1 as homotopias respectivas; definamos H :

I I X por:
(
F (2 t, s)
H(t, s) =
G(2 t 1, s)
se 0 t 1/2
se 1/2 t 1.
Claramente H e contnua. Por outro lado:

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

CAPITULO
1. HOMOTOPIA
32
(
F (2 t, 1)
H(t, 1) =
G(2 t 1, 1)
(
1 (2 t)
=
1 (2 t 1)
se 0 t 1/2
se 1/2 t 1
se 0 t 1/2
se 1/2 t 1.
= 1 1 (t).
Por outro lado, H(0, s) = H(1, s) = x0
Definica o 1.12. Seja : I X um caminho ligando x0 e x1 . O caminho inverso de
e denotado por 1 e definido por:
1 : I X
t (1 t).
x1
1
0
Figura 1.16: e 1
Note que 1 tem o mesmo percurso que , mas se inicia em x1 e termina em x0 .
Denotaremos por:
[] = { : I X / (0) = (0), (1) = (1), ' }.

1.11. EXERCICIOS
1.11
33
Exerccios
a homotopia relativa e uma relaca o de equivalencia?

1. Sob que condicoes
n
2. Sejam X espaco topologico,

A
X, Y R e f, g : X Y contnuas. Se para
todo x X, f (x)g(x) Y e f A = g A , verifique que f 'A g.
3. Seja E um espaco vetorial normado. A E e dito estrela de vertice p se para todo

X A o segmento de reta px A. Verifique que se A e uma estrela de vertice p,
entao A ' {p}.
4. Verifique que o crculo central e um retrato por deformaca o forte da faixa de
Moebius
M.
5. Sejam
f, g : X Y tais que f ' g. Verifique 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 funcoes

contnuas de X em Y , respectivamente. Verifique que se C E (conjunto convexo contido num espaco vetorial normado), entao

X, C = [c],
onde c : X C e uma funca o constante.

7. Sejam x0 , x1 X. Denotemos por:
(X, x0 , x1 ) = { : I X / (0) = x0 , (1) = x1 }.
Verifique que ' e uma relaca o de equivalencia em (X, x0 , x1 ).
8. Sejam f : X Y contnua e , : I X caminhos tais que esteja
definido. Verifique que f ( ) ' (f ) (f ).
34
CAPITULO
1. HOMOTOPIA
Captulo 2
GRUPO FUNDAMENTAL
da Topologia sao surpreendentemente faceis de formular, porem muito
Muitas questoes
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 questao pode ser respondida utilizando
metodos da Topologia Geral, nao a primeira.
Neste paragrafo comecaremos a relacionar a Topologia com a Algebra.

Construire
mos para cada espaco topologico
um grupo, o qual nos permitira responder muitas
deste tipo.
questoes
2.1
Introduca o
Fixemos x0 X e denotemos por:

1 X, x0 = {[] / : I X, (0) = (1) = x0 },
isto e , o conjunto das classes
de homotopias de caminhos fechados em x0 . O ponto x0

e dito base de 1 X, x0 .

Dados [], [] 1 X, x0 temos que (0) = (1) = x0 . Logo e um
caminho em X, fechado em x0 ; entao [ ] 1 X, x0

Definica o 2.1. Em 1 X, x0 denotemos e definamos o seguinte produto por:

: 1 X,x0 1 X, x0 1 X, x0
([], []) [] [] = [ ].

Lema 2.1. Este produto em 1 X, x0 esta bem definido.
35

CAPITULO
2. GRUPO FUNDAMENTAL
36

Prova : Dados [0 ], [1 ], [0 ] e [1 ] 1 X, x0 tais que [0 ] = [1 ] e [0 ] = [1 ], provaremos que :
[0 ] [0 ] = [1 ] [1 ];
equivalentemente, [0 0 ] = [1 1 ]; em outras palavras:
0 0 ' 1 1 .
Primeiramente escrevemos:
(
0 (2 t)
0 0 (t) =
0 (2 t 1)
se 0 t 1/2
se 1/2 t 1,
(
1 (2 t)
1 1 (t) =
1 (2 t 1)
se 0 t 1/2
se 1/2 t 1.
e:
Denotemos por F : 0 ' 1 e G : 0 ' 1 as respectivas homotopias; definamos:

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

(
F (2 t, 0)
se 0 t 1/2
H(t, 0) =
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),
(
F (2 t, 1)
se 0 t 1/2
H(t, 1) =
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) = x0 .

Teorema 2.1. 1 X, x0 , com o produto definido por (2.1) e um grupo, isto e , satisfaz
a` s seguintes propiedades:

1. Associatividade : Para todo [], [], [] 1 X, x0 temos que:

[] [] [] = [] [] [] .

2. Elemento neutro : Existe [e] 1 X, x0 tal que:
[e] [] = [] [e] = [],

para todo [] 1 X, x0 .

3. Elemento inverso : Dado [] 1 X, x0 , existe []1 1 X, x0 tal que:
[] []1 = []1 [] = [e].
Prova : Associatividade Provaremos
a associatividadedo produto com o maximo de
detalhes. Provaremos que [] [] [] = [] [] [] , isto e :

' .

Primeiramente escrevamos (t) :
(
(2 t)
(t) =
(2 t 1)
(4 t)
= (4 t 1)
(2 t 1)
1/4
1/2
se 0 t 1/2
se 1/2 t 1
se 0 t 1/4
se 1/4 t 1/2
se 1/2 t 1.
Figura 2.1: esquematicamente

Analogamente, escrevamos (t):

CAPITULO
38
(
(2 t)
(t) =
(2 t 1)
se
(2 t)
= (4 t 2) se
(4 t 3) se
1/2
se 0 t 1/2
se 1/2 t 1
0 t 1/2
1/2 t 3/4
3/4 t 1.
3/4

Figura 2.2: esquematicamente

Para determinar a homotopia entre e , juntaremos os esquemas
anteriores:
1/2
3/4
1/4
1/2

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). Entao, para s arbitrario,
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 homeomorfismos:
h1 : [0, (s + 1)/4] [0, 1],
h2 : [(s + 1)/4, (s + 2)/4] [0, 1],
h3 : [(s + 2)/4, 1] [0, 1]
definidos por h1 (t) = 4 t/(s + 1), h2 (t) = 4 t s 1 e h3 (t) = (s 4 t + 2)/(s 2),
respectivamente. Finalmente, definamos a homotopia H : I I X por:
(h1 (t)) se 0 t (s + 1)/4

H(t, s) = (h2 (t)) se (s + 1)/4 t (s + 2)/4
(h3 (t)) se (s + 2)/4 t 1.

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

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

= (t),

H(0, s) = H(1, s) = x0 ; logo ' , isto e :

[] [] [] = [] [] [] .
Elemento neutro : Seja ex0 : I X tal que ex0 (x) = x0 . Afirmamos que:
para todo [] 1 X, x0 .
[ex0 ] [] = [] [ex0 ] = [],

CAPITULO
40
Provaremos que [] [ex0 ] = [], isto e ex0 ' . De forma analoga a` associatividade:
(
(2 t)
ex0 (t) =
x0
se 0 t 1/2
se 1/2 t 1
Consideramos o seguinte diagrama:
1/2
ex
Figura 2.4: Homotopia entre ex0 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 homeomorfismo:
h : [0, (s + 1)/2] [0, 1]
2t
t
.
s+1
Definamos a homotopia H : I I X por:
(
(h(t))
H(t, s) =
x0
se 0 t (s + 1)/2
se (s + 1)/2 t 1.
H e contnua, e:
(
(2 t)
H(t, 0) =
x0
= ex0 (t),
se 0 t 1/2
se 1/2 t 1

2.1. INTRODUC
AO
41
(
(t)
H(t, 1) =
x0
se 0 t 1
se t = 1
= (t),
H(0, s) = H(1, s) = x0 ; logo ex0 ' e:
[] [ex0 ] = [].
A prova de que [ex0 ] [] = [] e analoga.

Elemento inverso : Dado [] 1 X, x0 , consideramos
o caminho inverso de defi
1
1
nido por (t) = (1 t); entao [ ] 1 X, x0 . Provaremos que
[1 ] [] = [ex0 ],
isto e , 1 ' ex0 . Logo, []1 = [1 ].
Novamente:
(
1 (t) =
1 (2 t)
(2 t 1)
se 0 t 1/2
se 1/2 t 1
Consideramos:
ex
1/2
Figura 2.5: Homotopia entre 1 e ex0

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

CAPITULO
42
h1 : [0, (1 s)/2] [0, 1]

2t
t
,
1s
h2 : [(1 s)/2, 1 s] [0, 1]
2t 1 + s
t
.
1s
2t
2t 1 + s
e h2 (t) =
.
1s
1s
Definamos a homotopia H : I I X por:
(h1 (t)) se 0 t (1 s)/2

H(t, s) = (h2 (t))
se (1 s)/2 t 1 s
x0
se 1 s t 1.
h1 (t) =
H e contnua, e:
(
1 (2 t)
H(t, 0) =
(2 t 1)
se 0 t 1/2
se 1/2 t 1.
H(t, 1) = x0 , H(0, s) = H(1, s) = x0 , logo:

[1 ] [] = [ex0 ].
A prova de que [] [1 ] = [e], e analoga.

Observaca o 2.1. 1 X, x0 e dito grupo fundamental de X, ou grupo de Poincare de
X, ou primeiro grupo de homotopia de X.
Exemplo 2.1.
[1] Sabemos que em Rn , todos os caminhos sao homotopicos;

basta considerar homoto
pias lineares. Em particular, todos os caminhos fechados sao homotopicos
ao caminho
n
constante c(x) = x0 , para todo x R ; logo:

1 Rn , x0 = {[ex0 ]}
= {0}.
Em geral, se C Rn e convexo, entao para todo p0 C temos que:

1 C, p0
= {0}.
2.2. MUDANC
A DO PONTO BASE
43
[2] Seja Q com a topologia induzida pela usual de R. Os unicos

caminhos fechados em
x0 Q sao os caminhos constantes; logo:

1 Q, x0 = {[ex0 ]}
= {0}.
Em geral, o calculo do grupo fundamental de espacos topologicos

e bastante difcil.
Os paragrafos seguintes tem o objetivo de apresentar propriedades dos grupos fundamentais a fim de obter exemplos nao triviais.
2.2
Mudanca do Ponto Base
Uma questao natural que surge da definica o de grupo fundamental e a seguinte:

Dados x0 , x1 X que relaca o existe entre 1 X, x0 e 1 X, x1 ?
A resposta a esta questao e dada pelo teorema 2.2:
Teorema 2.2. Se existe um caminho entre x0 e x1 , entao:

1 X, x0 ' 1 X, x1 ,

isto e , os grupos 1 X, x0 e 1 X, x1 sao isomorfos.
Prova : Seja : I X um caminho tal que (0) = x0 e (1) = x1 . Definamos:

: 1 X, x1 1 X, x0
[] [ 1 ].
e um isomorfismo nao canonico

de grupos, isto e , depende da classe de homotopia
de .
x0
Figura 2.6: Definica o de

CAPITULO
44

Para todo [], [] 1 X, x1 , temos:

[] [] = [ ]
= [ ( ) 1 ]
= [( 1 ) ( 1 )]
= [ 1 ] [ 1 ]

= [] [] .

1 . De fato, para todo [] 1 X, x0 :
Nao e difcil ver que 1
=

1 [] = [ 1 ].

Por outro lado, para todo [] 1 X, x0 :

1
([]) = [ 1 ]
= [ 1 1 ]
= [ex0 ex0 ]
= [].
Analogamente, 1
= id1 (X,x1 ) .
Exemplo 2.1.

Seja X = R S 1 (uniao disjunta). Se x0 [a, b], entao 1 X, x0 = {0}. Por outro lado,
se x1 S 1 , mostraremos
no pr
captulo que 1 X, x1 e um grupo nao trivial.

oximo
Portanto, 1 X, x0 e 1 X, x1 nao podem ser isomorfos.
Corolario 2.1. Se X e conexo por caminhos, entao:

1 X, x0 ' 1 X, x1 ,
quaisquer que sejam os pontos basicos x0 , x1 X.

Definica o 2.2. Seja G, um grupo. O centro de G e e denotado por Z(G) e definido
por:
Z(G) = {a G / a b = b a, para todo b G},
isto e , o conjunto dos elementos de G que comutam. Nao e difcil verificar que o centro
de um grupo e um subgrupo.
2.2. MUDANC
A DO PONTO BASE
45
Proposica o 2.1. Sejam e caminhos ligando x0 e x1 . Entao = se, e somente se

[ 1 ] Z 1 X, x0 .
x1
x0
Figura 2.7:

Prova : () Para todo [] 1 X, x1 , temos:

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

= [] ,

pois [ 1 ] 1 X, x0 .
() Sejam e caminos ligando x0 e x1 ; entao = se, e somente se
1
1
= se, e somente se 1 = 1 . Logo, para todo [] 1 X, x0 :

1 [] = 1 [] [ 1 ] = [ 1 ];
equivalentemente:
1 1 1 1 ' 1 1
1 ' 1 1 1 ' 1 1
1 ' 1 [ 1 ] = [ 1 ]

Logo, [ 1 ] [] = [] [ 1 ]; entao [ 1 ] Z 1 X, x0 .
46
CAPITULO

Corolario 2.2. 1 X, x0 e abeliano se, e somente se nao depende de .
Prova : () Sejam e caminhos ligando x0 e x1 ; entao:
[ 1 ] Z 1 X, x0

= 1 X, x0 .
Logo = , isto e nao depende de .

() Sejam [] 1 X, x0 e um caminho ligando x0 e x1 ; entao e um caminho
ligando x0 e x1 ; pela proposica o anterior:

[ 1 ] Z 1 X, x0

Como [] = [ 1 ] Z 1 X, x0 temos que 1 X, x0 Z 1 X, x0 , isto e :

1 X, x0 = Z 1 X, x0 .
Em geral, os grupos de homotopias nao sao abelianos. O grupo fundamental de um
espaco depende apenas da componente conexa por caminhos do ponto x0 . Logo, e
natural estudar o grupo fundamental so para espacos conexos por caminhos.
2.3 Grupos de Homotopias Abelianos
A seguir, apresentamos uma classe especial de espacos topologicos

que possuem grupo
fundamental abeliano. Em particular, os grupos fundamentais sao todos isomorfos.
Definica o 2.3. O grupo G e dito topologico

se tambem e um espaco topologico
tal que
a operaca o do grupo e a aplicaca o:
:G G
a a1
sao contnuas.
Exemplo 2.2.
[1] Rn com a topologia e a multiplicaca o usual e um grupo topologico.

[2] Seja S 1 C com a topologia induzida pela topologia usual de C. Entao S 1 com a
multiplicaca o de numeros
complexos e um grupo topologico.
[3] Analogamente, o toro S 1 S 1 e um grupo topologico.
[4] Os grupos de matrizes com o produto de matrizes sao grupos topologicos.
2.3. GRUPOS DE HOMOTOPIAS ABELIANOS
47
Como veremos a seguir, a estrutura algebrica no espaco topologico

G se reflete fortemente em seu grupo fundamental.
Utilizando a operaca o contnua do grupo topologico,

isto e :
: G G G
(a, b) a b,

definimos 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
definimos este novo produto por:
(t) = (t) (t),
(2.1)
para todo t I. Note que (0) = (0) (0) = e e = e = (1).

Podemos definir atraves de (2.1) um novo produto em 1 G, e :

1 G, e 1 G, e 1 G, e
([], []) [ ].
Utilizamos a seguinte notaca o:
[] [] = [ ].
Como antes, denotemos o caminho constante por ce (t) = e, para todo t I.
Lema 2.2. Sejam 1 , 2 , 1 , 2 : I G:
1. Se 1 ' 2 e 1 ' 2 , entao:
1 1 ' 2 2 .
2. Em particular, se 1 , 2 , 1 , 2 sao caminhos fechados, com ponto base e, entao

1 1 2 2 = 1 2 1 2 .
Prova :
1. Sejam F : 1 ' 2 e G : 1 ' 2 as respectivas homotopias. Definamos H(t, s) =
F (t, s) G(t, s); entao H : 1 1 ' 2 2 .

CAPITULO
48
de cada produto:
2. Utilizamos as definicoes

1 1 2 2 (t) = 1 1 (t) 2 2 (t)
(
1 (2 t) 2 (2 t)
=
1 (2 t 1) 2 (2 t 1)

= 1 2 1 2 (t).
se 0 t 1/2
se 1/2 t 1
Observacoes
2.1.
1. Fazendo 2 = 1 = ce , na segunda parte do lema, temos:
1 2 ' (1 ce ) (ce 2 ) = (1 ce ) (ce 2 ) ' 1 2 .
Logo,
[1 2 ] = [1 2 ],

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

1 2 ' (ce 1 ) (2 ce ) = (ce 2 ) (1 ce ) ' 2 1 .
Logo,
[1 2 ] = [2 1 ].
(2.3)

entao 1 G, e e um grupo abeliano. Alem
Teorema 2.3. Se G e um grupo topologico,
disso, os produtos definidos 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 topologico

e e = (1, 0); entao 1 S 1 , e e um grupo abeliano.
[2] Considere S 1 S 1 como grupo topologico;

entao 1 S 1 S 1 , e e um grupo abeliano.

[3] 1 O(n), I e um grupo abeliano.
Observe que nao utilizamos todas as propriedades do grupo topologico.

Isto nos indica
que e possvel enfraquecer a hipotese

da estrutura de grupo. Essencialmente utilizamos a identidade, sendo a operaca o do grupo contnua.
2.4
Homomorfismo Induzido
Seja f : X Y contnua. Nos captulos anteriores provamos os seguintes fatos:

1. Se e sao caminhos em X, entao f e f sao caminhos em Y .
2. Se ' , entao f ' f .
3. f ( ) ' (f ) (f ).

4. Se [] 1 X, x0 , entao [f ] 1 Y, f (x0 ) .
Lema 2.3. Se f : X Y e contnua, entao

f : 1 X, x0 1 Y, f (x0 )
[] [f ],
e um homomorfismo de grupos.

Prova : Sejam [] e [] 1 X, x0 , entao

f [] [] = f [ ]

= [f ]
= [f f

= [f ] [f

= f [] f [] .
O homomorfismo f e dito induzido por f .

CAPITULO
50
Proposica o 2.2. Se f : X Y e g : Y Z sao contnuas, entao:

gf
= g f .
Em particular, idX induz id1 (X,x0 ) .

A prova e imediata.
Corolario 2.3. Se f : X Y e um homeomorfismo, entao

f : 1 X, x0 1 Y, f (x0 )
e um isomorfismo.
Exemplo 2.4.
[1] Utilizando a projeca o estereografica; S n {p}
= Rn , temos:

1 S n {p}, p0
= 1 Rn , x0
= q{0}.
[2] R2
= S 1 R. Entao:

1 R2 , (x0 , y0 )
= 1 S 1 R, (z0 , t0 ) .
[3] Sabemos que RP1
= S 1 e CP1
= S 2 ; entao: :

1 RP1 , [p]
= 1 S 1 , z 0

1 CP1 , [q]
= 1 S 2 , w0 .
Corolario 2.4. Seja r : X A uma retraca o e i : A X a inclusao; entao:
1. r e um homomorfismo sobrejetivo. Em particular, pelo teorema do isomorfismo:

1 X, x0 /Ker(r ) ' 1 A, x0 ,
onde Ker(r ) e o nucleo

do homomorfismo r .

e finitamente gerado,
injetivo.
Em
particular,
se
X,
x
2. i e um homomorfismo
1
0

entao 1 A, x0 e finitamente gerado.
51
Prova : Ambas seguem diretamente do fato que:

i
A X A,
e tal que r i = idA e
X A X,
e tal que i r = idX .
contnuas, tais
Lema 2.4. Sejam X e Y conexos por caminhos f, g : X Y funcoes
que f ' g e os homomorfismos induzidos:

f : 1 X, x0 1 Y, y0

g : 1 X, x0 1 Y, y1 ,
onde y0 = f (x0 ) e y1 = g(x0 ). Entao, existe um caminho ligando y0 a y1 tal que

, temos o seguinte diagrama comutativo:
1
f = g . Isto e
1 X, x0
/ 1 Y, y0
MMM
MMM
M
g MMM
&
1 Y, y1
Prova : Observe que nao e evidente que as homotopias preservem os pontos bases dos
grupos.
Por hipotese
existe homotopia F : f ' g; logo, necessariamente, durante a homotopia,
deve existir um caminho que liga y0 a y1 , isto e , existe (t) = F (x0 , t). Devemos provar
que para todo [] 1 X, x0 :

1
[ 1 f ] = [g ].
f [] = g []

Logo, devemos provar que 1 f ' g relativamente a {0, 1}. Como antes:
se 0 t 1/4
(4 t)

1
f (t) = (f )(4 t 1) se 1/4 t 1/2
(2 t 1)
se 1/2 t 1
(1 4 t) = F (x0 , 1 4 t) se 0 t 1/4
= F ((4 t 1), 0)
se 1/4 t 1/2
F (x0 , 2 t 1)
se 1/2 t 1
Note que (g )(t) = F ((t), 1); por outro lado, g ' ey1 (g ) ey1 e

CAPITULO
52
F (x0 , 1)
ey1 (g ) ey1 (t) = F ((4 t 1), 1)
F (x0 , 1)
se 0 t 1/4
se 1/4 t 1/2
se 1/2 t 1

Definamos a homotopia H : 1 f ' g , por:
se 0 t 1/4
F (x0 , 1 4 t + 4 t s)
H(t, s) = F ((4 t 1), s)
se 1/4 t 1/2
F (x0 , 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) = y1 .
Teorema 2.4. Sejam X e Y espacos conexos por caminhos. Se f : X Y e uma
equivalencia homotopica,
entao:

f : 1 X, x0 1 Y, f (x0 )
e um isomorfismo de grupos.
Prova : Sejam f : X Y e g : Y X inversas homotopicas;

entao g f ' idX ; pelo
lema 2.4, existe tal que:
1
gf
= id1 (X,x0 ) .

Logo, g f e , necessariamente, isomorfismo; entao g e sobrejetiva e f e injetiva.
Por um argumento analogo, de f g ' idY , obtemos que g e injetiva e f e sobrejetiva.
Corolario 2.5. Se X e contratil, entao

1 X, x0 ' {0}.
Corolario 2.6. Se A X e um retrato por deformaca o ou um retrato por deformaca o
forte, entao a retraca o induz um isomorfismo:

r : 1 X, x0
= 1 A, x0 .
Em geral, como veremos mais adiante, as propriedades de f nao sao herdadas por f .
Por exemplo, se f e injetiva, nao necessariamente f e injetiva.

Se 1 X, x0 ' 1 Y, f (x0 ) , isto nao implica que exista um homeomorfismo entre X e
Y.
53
Exemplo 2.5.
[1] S 1 {0} e um retrato por deformaca o de S 1 R. Entao:

1 S 1 R, (z0 , 0) ' 1 S 1 {0}, (z0 , 0) ' 1 S 1 , z0
[2] O crculo central e um retrato por deformaca o da faixa de Moebius

M . Entao:

1 M, x0 ' 1 , x0 ' 1 S 1 , z0 .

Isto mostra que embora 1 M, x0 e 1 S 1 , z0 sejam isomorfos, M e S 1 nao sao homeomorfos (por que?).
Proposica o 2.3. Sejam x0 X, y0 Y e X Y com a topologia produto. Entao

1 X Y, (x0 , y0 ) ' 1 X, x0 1 Y, y0 ,

onde 1 X, x0 1 Y, y0 e o produto direto de grupos.
naturais.
Prova : Denotemos por p : X Y X e q : X Y Y as projecoes
Definamos:

: 1 X Y, (x0 , y0 ) 1 X, x0 1 Y, y0

[] p ([]), q ([]) .

i) esta bem definida, isto e , se [] = [] devemos provar que [] = [] .
Se [] = [], existe F : ' homotopia correspondente.
Consideremos H1 (t, s) = (p F )(t, s) e H2 (t, s) = (q F )(t, s); entao:

H1 (t, 0) = p (t) , H1 (t, 1) = p (t)

H2 (t, 0) = q (t) , H2 (t, 1) = q (t) .

Logo, [] = [] .
ii) e um homomorfismo, pois p e q sao homomorfismos.

iii) e sobrejetiva. De fato, para todo [1 ], [2 ] 1 X, x0 1 Y, y0 , consideremos
(t) = (1 (t), 2 (t)); entao [] 1 X Y, (x0 , y0 ) e tal que:

[] = p ([]), q ([]) = [1 ], [2 ] .

iv) e injetiva. Seja [] 1 X Y, (x0 , y0 ) ; entao (t) = (1 (t), 2 (t)) e tal que
1 (0) = 1 (1) = x0 e 2 (0) = 2 (1) = y0

CAPITULO
54

[] = ([cx0 ], [cy0 ]) [p ] = [cx0 ] e [q ] = [cy0 ],
isto e , existem F : p ' cx0 e G : q ' cy0 . Definamos:
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)) = (x0 , y0 )
Entao, [] = [c(x0 ,y0 ) ]; logo Ker() = [c(x0 ,y0 ) ] e e injetiva.
Exemplo 2.6.

[1] Sabemos que 1 R2 , (x0 , y0 ) ' 1 S 1 R, (z0 , t0 ) ; logo:

1 R2 , (x0 , y0 )
= 1 S 1 R, (z0 , t0 )
= 1 S 1 , z0 1 R, t0
= 1 S 1 , z0 .
Em geral, Rn {p}
= S n1 R; logo:

1 Rn {p}, p0
= 1 S n1 R, (w0 , p0 )
= 1 S n1 , w0 .
[2] Considere o toro T = S 1 S 1 ; entao:

1 T, (z0 , z0 )
= 1 S 1 , z0 1 S 1 , z0 .
[3] Considere o toro solido

S 1 B; entao:

1 S 1 B, (z0 , p0 )
= 1 S 1 , z0 1 B, p0
= 1 S 1 , z0 .
2.5 Espacos Simplesmente Conexos

Definica o 2.4. X e simplesmente conexo se e conexo por caminhos e

1 X, x0 = {0}, x0 X.
Proposica o 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 x0 a x1 X; entao [ 1 ] 1 X, x0 . Se X e
simplesmente conexo, entao 1 ex0 ; logo 1 ex0 ; logo ' .
A recproca e imediata.
Exemplo 2.7.
[1] Se X e contratil, entao e simplesmente conexo. Veremos mais adiante que a recproca
e falsa.
[2] Se X e Y sao simplesmente conexos, entao X Y e simplesmente conexo.
Lema 2.5. Seja X um espaco topologico

tal que X = U V , onde U e V sao subespacos
abertos simplesmentes conexos e U V e conexo por caminhos. Entao X e simplesmentes conexo.

contnua, temos que o
Prova : Seja [] 1 X, x
0 tal que x0 U V . Como e

1
1
conjunto { U , V } e uma cobertura do compacto I. Logo, existe (por que?)
uma partica o de I:
0 = t0 < t1 < . . . < tn1 < tn = 1

tal que [ti1 , ti ] U ou [ti1 , ti ] V . Se dois intervalos consecutivos [ti1 , ti ] e
[ti , ti+1 ] sao tais que [ti1 , ti e [ti , ti+1 ] pertencem ambos a U ou V , eliminamos o
ponto comum ti ; logo, podemos considerar (ti ) U V . Por outro lado, como U V
e conexo por caminhos, podemos ligar x0 a (ti ) por um caminho i :
Para cada i, definamos:
i (s) = ((ti ti1 ) s + ti1 ), 0 s 1.
Logo, i (0) = (ti1 ) e i (1) = (ti ); como ' 1 2 n , entao:
' (1 11 ) (1 2 21 ) (2 3 31 ) . . . (n n ).
Veja o seguinte desenho:

CAPITULO
56
(t1 )
2
(t2)
1
1
(ti-1 )
2
x0
(ti )
i
Figura 2.8:
1
Note que cada i i+1 i+1
U ou a V ; como U e V sao simplesmente conexos, temos
que para cada i
1
i i+1 i+1
' ci ; entao ' cx0 .

Logo 1 X, x0 = {0}.
E possvel enfraquecer as hipoteses

do lema. Por exemplo, se X = A B tal que A B
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
inclusoes:
A U e B V que sao equivalencias homotopicas.

Corolario 2.7. 1 S n , p = {0} para todo n 2.
Prova : Nao e difcil ver que:
Sn
= Sn S+n ,
onde S+n = S n {pN }
= Rn e Sn = S n {pS }
= Rn ; ambos os conjuntos sao abertos
e contrateis; logo, sao abertos e simplesmente conexos. Por outro lado, sabemos que
Sn 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 proximos

paragrafos que S 1 nao e simplesmente conexo. Por outro
lado, segue do teorema de Stokes que S n nao e contratil.
Exemplo 2.8.
[1] Rn = Rn {0} e simplesmente conexo se n > 2. De fato, Rn ' S n1 .
[2] Sejam S m e S n Rn+1 esferas tais que S n S m = {p}, com n m 2.
Consideremos X = S n S m ; entao
2.5. ESPAC
OS SIMPLESMENTE CONEXOS
57

1 X, x0 = {0}.
a
b
Sn
Figura 2.9: X = S n S m
Sejam a S n , b S m tais que a, b 6= p; U = X {a} e V = X {b}, claramente
S m ' U,
Sn ' V
e U V e conexo por caminhos; entao X e simplesmente conexo.

[3] Para m 2 n, temos os seguintes homeomorfismos:

Rm Rn
= Rmn {0} Rn
= S mn1 Rn ;
por outro lado, sabemos que S mn1 Rn ' S mn1 . Logo:

1 Rm Rn , (z0 , w0 )
= 1 S mn1 Rn , (x0 , y0 )
= 1 S mn1 , x0 = {0},
se m 2 > n.
Notamos que existem exemplos em que a reuniao de espacos simplesmente conexos
nao e necessariamente simplesmente conexo, mesmo que tenham um ponto comum.
(Verifique!).

CAPITULO
58
2.6 Exerccios
1. Prove que h : [a, b] [0, 1] definido por h(t) =
ta
e um homeomorfismo.
ba
2. Complete todos os detalhes da prova do teorema anterior.

3. Se consideramos X, x0 , x1 o conjunto das classes de caminhos que ligam x0 a
x1 , (x0 6= x1 ), coma mesma operaca o definida anteriormente para 1 X, x0 , o
conjunto X, x0 , x1 e um grupo? Justifique sua resposta.
4. Seja
(X, x0 ) = { : I X / (0) = (1) = x0 }.
Verifique que:

1 X, x0 = (X, x0 ) ' ,
onde e a homotopia de caminhos.
5. Um espaco topologico
X e dito espaco de Hopf ou H-espaco se existem funca o
contnua (multiplicaca o):
m : X X X,
e x0 X tais que m(x0 , x0 ) = x0 , q1 i '{x0 } idX e m q2 '{x0 } idX , onde
q1 , q2 : X X X
anteriores,
sao definidas por q1 (x) = (x, x0 ) e q2 (x) = (x0 , x). Com as notacoes
seja X um H-espaco. Verifique que:
(a) m((q1 ) (q2 )) ' , onde e sao caminhos fechados em x0 .

(b) 1 X, x0 e abeliano.
Captulo 3
GRUPO FUNDAMENTAL DO
CIRCULO
Este captulo e crucial para obter novos exemplos de grupo fundamental e estudar, em
particular, as tecnicas gerais que apressentaremos nos proximos

captulos.

Para calcular 1 S 1 , x0 estudaremos uma serie de conceitos novos que serao natural
mente estendidos a espacos topologicos
em geral.
3.1
Introduca o
Seja x0 = (1, 0) S 1 C, fixado. Todo caminho em S 1 fechado em x0 , arbitrario tem
que dar um multiplo

inteiro de voltas ao redor de S 1 .
Provaremos que essencialmente, existe somente uma unica

classe de caminhos fecha
dos nao homotopicos
a uma constante em S 1 .
A ideia basica deste captulo e comparar caminhos de S 1 com caminhos de R via o
homeomorfismo local exp. (Veja [MV]):
Para visualizar geometricamente a aplicaca o exp, consideramos H uma helice em R3 :
Figura 3.1:
59
60
CAPITULO
3. GRUPO FUNDAMENTAL DO CIRCULO
Parametrizada por:
: R R3
t (cos(2 t), sen(2 t), t);
temos que H e homeomorfo a R .
O homeomorfismo local exp pode ser pensado como a restrica o da projeca o de p :
R3 R2 , onde p(x, y, z) = (x, y) para todo (x, y, z) H.
Por outro lado, temos que exp1 {(1, 0)} = Z e que se n for positivo o caminho sobe
ao longo da helice; analogamente se n e negativo o caminho desce ao longo da helice.
exp : R S 1
t exp(t) = e2it .
IR
exp
S1
Figura 3.2:
Provaremos que para todo : I S 1 caminho fechado em x0 , existe um unico

caminho
e : I R que liga a origem com n, logo
e(t) = n t, tal que = exp
e. Em
outras palavras, existe um unico
e que torna o seguinte diagrama comutativo:

R
?
e

exp
/ S1
3.2. LEVANTAMENTO DE CAMINHOS
61
Observaca o 3.1. O caminho

e e dito levantamento do caminho com ponto inicial
em
e(0).
3.2
Levantamento de Caminhos
Fixando uma orientaca o em S 1 , se o caminho fechado em x0 percorre n vezes S 1 no
sentido positivo (em relaca o a` base canonica

de R2 ), diremos que o numero
de voltas
do caminho e n; caso contrario que e n. Este numero

inteiro e dito o grau do caminho
.
Definamos:

gr : 1 S 1 , x0 Z
[]
e(1) = n,
onde = exp
e. Provaremos que gr e um isomorfismo de grupos. A prova segue dos
seguintes teoremas:
Lema 3.1. Sejam U S 1 {x0 } aberto e V = [0, 1] exp1 (U ) R. Entao:
1.
[
exp1 U =
{v + n; v V },
nZ
onde a uniao dos abertos V + n := {v + n; v V } e disjunta.

2. Para cada n Z, V + n e homeomorfo a U via a funca o 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] exp1
(U ) = (a, b); entao V + n = (a + n, b + n) para todo n Z.
1
U e a uniao disjunta dos abertos V + n.
Claramente, exp

2. Denotando por en = expV +n temos que en e contnua e bijetiva. Verificaremos
a continuidade de (en )1 : U S 1 (V + n) R. Seja W V + n fechado.
Como V+n e limitado entao W e compacto; por outro lado S 1 e de Hausdorff;
logo en : W en (W ) U e um homeomorfismo; entao en (W ) e compacto e,
em particular, fechado.
62
CAPITULO
Corolario 3.1. Se X e um espaco topologico,

entao toda funca o f : X S 1 nao sobrejetiva e homotopicamente nula.
Prova : Suponha que x
/ Im(f ). Entao S 1 {x} e homeomorfo a (0, 1). Por outro lado
o intervalo (0, 1) e contratil; logo,f e homotopicamente nula.
Observaca o 3.2. A seguir apresentamos o primeiro resultado crucial deste captulo: o
chamado Teorema de Levantamento dos Caminhos. Este teorema e bastante geral.
Neste paragrafo apresentamos apenas a prova para:
exp : R S 1 .
Teorema 3.1. (Levantamento dos Caminhos) Toda funca o contnua f : I S 1 possui

um levantamento F . Fixado t0 R com exp(t0 ) = f (0), o levantamento F tal que
F (0) = t0 e unico.
?R

exp

I f / S1
F
Prova : Para cada x S 1 , seja Ux uma vizinhanca de x. Pelo lema anterior exp1 (Ux )
e uma reuniao disjunta de abertos (homeomorfos a` Ux via a exp). Como f e contnua,
entao:
{f 1 (Ux ); x S 1 } = {(xj , yj ) [0, 1]; j J}
e uma cobertura aberta para I. Pela compacidade de I, existe uma subcobertura finita:
[0, t1 + e1 ), (t2 e2 , t2 + e2 ), , (tn en , 1]
com ti + ei ti+1 ei+1 para i = 0, ..., n 1.
Escolhemos ai (ti+1 ei+1 , ti+1 + ei+1 ) para i = 1, , n 1 tais que o conjunto
{0 = a0 , a1 , , an = 1} e uma partica o de I. Seja Si S 1 conjunto aberto tal que:
f ([ai , ai+1 ]) Si ,
i = 0, , n.
Definiremos (indutivamente) levantamentos Fk sobre [0, ak ] da seguinte forma:
3.2. LEVANTAMENTO DE CAMINHOS
63
~
(
ak)
IR
W
F
exp
Sk
f([ak , ak+1])
I
ak
a k+1
S1
Figura 3.3:
1. Para k = 0, seja F0 = t0 .
2. Suponha que Fk : [0, ak ] R e definida e unica

(com Fk (0) = t0 ).
3. . Aplicando o lema anterior, temos que exp1 (Wk ) e uma uniao disjunta de abertos tal que (exp|Wj ) e um homeomorfismo para cada j J (Wk e um aberto tal
que f ([ak , ak+1 ]) Wk ). Fk (ak ) W para algum W {Wj ; j J}. Note que W e
unico.
Qualquer extensao Fk+1 leva [ak , ak+1 ] em W ([ak , ak+1 ] e conexo por caminhos e
Fk+1 e contnua).
Como (exp|W ) : W Sk e homeomorfismo, existe uma unica

funca o : [ak , ak+1 ]
W tal que exp|W = f |[ak ,ak+1 ] , onde = (exp|W )1 . Definimos:
(
Fk (s)
Fk+1 (s) =
(s)
se 0 s ak
se ak s ak+1 .
por construca o.
Fk+1 e contnua (Fk (ak ) = (ak )) e unica
4. Indutivamente obtemos F .
64
CAPITULO
3.3 O Grupo Fundamental do Crculo

Usando o teorema anterior, podemos definir a funca o grau de um caminho fechado
em S 1 .
Seja um caminho fechado tal que x0 S 1 e fixado e

e : I R seu unico
le1
1
vantamento tal que
e(0) = 0. Como exp ((1)) = exp (1) = Z (denotamos por
1 = (0, 1) S 1 ), vemos que
e(1) e um inteiro; logo, definimos:
gr() =
e(1).
Mostraremos que caminhos (homotopicamente) equivalentes possuem o mesmo grau.
Inicialmente mostraremos que seus respectivos levantamentos sao (homotopicamente)
equivalentes. Para isto, trocaremos [0, 1] por [0, 1] [0, 1] no teorema anterior.
Lema 3.2. (Levantamento das Homotopias) Toda funca o contnua:
H : [0, 1] [0, 1] S 1
possui um levantamento:
e : [0, 1] [0, 1] R.
H
Dado x0 R com exp(x0 ) = H(0, 0), existe um unico

levantamento de H tal que
H(0, 0) = x0 .
x< R
e xxx
H
x
xx
xx
I I
exp
/ S1
A prova e analoga a` do lema anterior. Sabendo que I 2 e compacto, definimos indutivamente levantamentos Fi,j sobre retangulos.
Como corolario do lema anterior, temos o seguinte teorema de monodromia para a
aplicaca o:
exp : R S 1 ,
dizendo que caminhos homotopicos

tem o mesmo grau.
Corolario 3.2. Se 0 e 1 sao caminhos homotopicos

em S 1 fixados em x0 , e
e0 e
e1 sao
seus levantamentos respectivos com 0 (0) = 1 (0), entao
e0 (1) =
e1 (1). Logo:
gr(0 ) = gr(1 ).

3.3. O GRUPO FUNDAMENTAL DO CIRCULO
65
Prova : Considere uma homotopia F : 0 ' 1 . Entao, existe um unico

levantamento
2
G : I R com G(0, 0) = 0 (0) = 1 (0).
Analogamente, existem levantamentos
e0 para 0 e
e1 para 1 .
Como F (t, 0) = 0 (t), temos G(t, 0) =
e0 (t) e G(t, 1) =
e1 (t). F (1, t) = 0 (1) = 1 (1);
entao G(1, t) e um caminho entre
e0 (1) e
e1 (1). Mas, G(1, t) exp1 (0 (1))
= Z.
Portanto G(1, t) e constante e
e0 (1) =
e1 (1).
de calcular o grupo fundamental do crculo.
Estamos agora em condicoes
Teorema 3.2. Seja x0 = (1, 0); entao, temos um isomorfismo de grupos:

1 S 1 , x 0 ,
= Z, + .

Em outras palavras, 1 S 1 , x0 e um grupo cclico infinito gerado por [], onde o caminho : I S 1 e tal que (t) = exp(t).
Prova : Definimos a aplicaca o:

gr : 1 S 1 ,x0 Z
[]
e(1)
onde
e e o unico
levantamento de .
1. Pelo corolario anterior, gr e bem definida.
2. A funca o gr e um homomorfismo de grupos.

Devemos provar que, para todo [], [] 1 S 1 , x0 , temos que:
gr([] []) = gr([]) + gr([]).
Por outro lado, [] [] = [ ]. Consideremos : [0, 1] R definida por:
(
e(2 t)
se 0 t 1/2
(t) =
e t 1) +
(2
e(1) se 1/2 t 1.
O caminho e bem definido em t = 1/2. Como
e(1) e um inteiro, temos que :
exp =
e, portanto, pela unicidade do levantamento = ]
. Entao:
e = gr([]) + gr([]).
gr([] []) = gr([ ]) = (1) =
e(1) + (1)
CAPITULO
66
3. A funca o gr e injetiva.
e
e
Isto e , se gr([] = gr([]), entao
e(1) = (1),
como
e(0) = (0)
= 0. Consideremos a
homotopia:
e
H(t, s) = exp((1 s)
e(t) + s (t)).
e
H(t, 0) =
e(t) e H(t, 1) = (t).
Logo, [] = [].
4. A funca o gr e sobrejetiva.
Dado n Z, seja : [0, 1] R definida por (t) = n t; entao, exp : [0, 1] S 1
e exp (0) = exp (1) = x0 . Logo, e um levantamento de exp tal que (0) = 0;
entao:
gr([exp ]) = (1) = n.
Isto completa a prova do resultado principal.
3.4
Algumas Consequencias do Isomorfismo
[1] A esfera S n , (n > 1) nao e homeomorfa a S 1 . De fato, se fossem homeomorfas:

{0} = 1 S n , p0
= 1 S 1 , x 0
= Z,
o que e absurdo.
[2] Seja o cilindro C = S 1 R; entao:

1 C, (x0 , z0 )
= 1 S 1 , x0 1 R, z0
= Z.
1
1
Dos captulos anteriores sabemos que
S {0} e um retrato por deformaca o de S R.
Um gerador do grupo 1 C, (x0 , z0 ) e a classe de homotopia do crculo central:
(t) = (exp(t), 0).
Um caminho fechado em C e homotopico

a n vezes o gerador , quando n e o numero
de vezes que o caminho fechado intersecta transversalmente a geratriz (1, 0) R.

3.4. ALGUMAS CONSEQUENCIAS
DO ISOMORFISMO
67
S1 x IR
S1

Figura 3.4: Gerador de 1 C, (x0 , z0 )
Em geral,

1 S 1 Rn , p0
= Z.
[3] Considere o toro T2 = S 1 S 1 ; entao:

1 T2 , (z0 , z0 )
= 1 S 1 , z0 1 S 1 , z0
= Z Z.

O gerador do grupo 1 T2 , (z0 , z0 ) pode ser entendido da seguinte forma: considere o
paralelo e o meridiano :
Figura 3.5: Meridiano e paralelo do toro
Todo caminho fechado e homotopico

a p + q , onde p e o numero
de vezes que o
caminho fechado intersecta transversalmente o paralelo e q e o numero

de vezes que
o caminho fechado intersecta tranversalmente o meridiano com o seguinte cuidado:
fixando uma direca o, contamos positivamente as passagens para um lado e negativamente para o outro.
CAPITULO
68

1 T2 , (z0 , z0 ) ) Z Z
[] (p, q)
Figura 3.6: e homotopico

a p + q
[4] Considere o toro solido

S 1 B; entao:

1 S 1 B, (z0 , p0 )
= 1 S 1 , z0
= Z.
[5] O crculo central e um retrato por deformaca o da faixa de Moebius

M . Entao:

1 M, x0 ' 1 , x0 ' 1 S 1 , z0 ' Z.
[6] A esfera S n , (n > 1) nao e homeomorfa a Tn = S 1 S 1 . . . S 1 , (n-vezes). De fato,
se fossem homeomorfas, teramos que:

1 S n , z0
= 1 Tn , y0
= 1 S 1 , x 0 1 S 1 , x 0 .
Isto e :
{0}
= Z ... Z
= Zn ,
o que e absurdo.
[7] Pelo mesmo argumento anterior, S n nao e homeomorfa a S n1 S 1 .
Corolario 3.3. (Teorema Fundamental da Algebra)

Todo polinomio
nao constante com
coeficientes em C possui uma raiz em C.

3.4. ALGUMAS CONSEQUENCIAS
DO ISOMORFISMO
69
Prova : Sem perda de generalidade podemos supor que o polinomio

tem a forma:
p(z) = z n + a1 z n1 + + an .
Se p(z) nao possui razes, para cada numero

real r 0, definimos:
p(r exp(t)) kp(r)k
.
kp(r exp(t))k p(r)
onde 0 t 1, fr (t) define um caminho fechado em S 1 com ponto base x0 . Seja
(
fs/1s (t) se 0 t 1, 0 s < 1
H(t, s) =
exp(nt)
se 0 t 1, s = 1.
fr (t) =
Note que:
lim H(s, t) = lim fs/1s (t) = lim fr (t) = (exp(t))n .
s1
s1
r+
Logo, H e contnua. Por outro lado H(t, 0) = f0 (t) = x0 que e o caminho constante em
x0 e H(t, 1) = exp(nt), isto e H : f0 f1 , entao:
0 = gr([f0 ]) = gr([f1 ]) = n
o que e uma contradica o.
Corolario 3.4. (Ponto fixo de Brouwer para n=2) Seja D C tal que D = S 1 . Toda
funca o contnua h : D D possui um ponto fixo, isto e , existe x D tal que h(x) = x.
Prova : Suponhamos que h(x) 6= x para todo x D. Definamos
r : D S 1
do seguinte modo: r(x) S 1 e obtido da interseca o de S 1 com a semi-reta de origem
em x e que passa por h(x).
r(x)
h(x)
S
O
x
Figura 3.7: Definica o da funca o r = r(x)
70
CAPITULO
de x produzem pequenas
A continuidade de r e clara, pois pequenas pertubacoes
de h(x) e portanto pequenas pertubacoes
da reta que liga estes pontos.
pertubacoes
1
Note que se x S , entao r(x) = x; logo, se consideramos i : S 1 D a inclusao,
temos que r e um retrato, pois r i = idS 1 . Logo:

r : {0}
= 1 S 1 , x 0 ' Z
o que e uma contradica o, pois D e contratil.
Utilizando Geometria Analtica elementar, podemos dar uma definica o explcita da
funca o r = r(x).
De fato, denotemos por v1 = h(x), z = r(x) e v = (x v1 )/kx v1 k; logo
r(v) = z = v1 + t v,
para algum t 0 tal que v1 + t v S 1 , isto e (v1 + t v) (v1 + t v) = 1, que e equivalente
a:
(x x) t2 + 2 t (v1 x) + v1 v1 = 1.
Denotemos por tx a raiz positiva desta equaca o; entao:
r(x) = h(x) + tx
x v1
.
kx v1 k
3.5 Grupo Fundamental do Espaco Projetivo Real

3.5.1 Introduca o
Nesta seca o determinaremos o grupo fundamental do espaco projetivo real. Para isto,
utilizaremos diversas propriedades dos espacos projetivos reais ja estudadas em [MV].
Repetiremos as provas de alguns teoremas gerais, que serao apresentadas nos captulos
seguintes. Notamos que estas provas serao identicas a` s vistas neste captulo.
Seja RPn o espaco projetivo real de dimensao n. De [MV] sabemos que a projeca o:
: S n RPn
e aberta e que para todo U S n aberto, temos:
1 U

=U U .
Por outro lado, : S n RPn e um homeomorfismo local.
3.5. GRUPO FUNDAMENTAL DO ESPAC

O PROJETIVO REAL
71
e S n vizinhanca de x que nao contem

De fato. Seja p RPn ; entao p = {x, x}. Seja U

e U
e = . Logo, U
e = U e uma
nenhum ponto antpoda de seus pontos, isto e , U
vizinhanca de p, tal que:

e U
e
1 U = U

e Ue e um homeomorfismo sobre U .
Observacoes
3.1.
1. A vizinhanca U do lema anterior, tambem e chamada vizinhanca distinguida do

ponto p RPn .
2. Como no caso de S 1 , mostraremos que : S n RPn tambem tem a propriedade do levantamento dos caminhos.
Proposica o 3.1. Sejam : I = [t0 , t1 ] RPn e x0 S n tal que (x0 ) = (t0 ). Existe
um unico
caminho
e : I S n tal que
e(t0 ) = x0 e =
e, isto e , temos o seguinte
diagrama comutativo:
n
S
{=
e {{{
{{

{{
I / RPn
Prova : Observemos que proposica o e valida se:
1. (I) U e U RPn e uma vizinhanca distinguida do ponto {x0 , x0 }, tal que:

e U
e .
1 U = U

e e denotemos por = e . Logo, : U
e U e um
De fato, suponha que x0 U
U
e definida por
homeomorfismo. Consideremos
e : I U
e = 1 .
2. O intervalo I = I1 I2 (i = 1, 2), onde Ii sao intervalos
fechados
com um extremo

comum t2 e tais que a proposica o seja valida para I1 = 1 e I2 = 2 .
De fato, aplicando a proposica o a cada intervalo, obtemos
f1 : I1 S n tal que
f1 (t0 ) = x0 e
f1 = 1 e, a seguir,
f2 : I1 S n tal que
f2 (t2 ) =
f1 (t2 ) e
f2 = 2 .
n
Logo, definimos
e : I S por:
(
f1 (t)
se t I1
e(t) =
f2 (t)
se t I2 .
72
CAPITULO
O caso geral, segue dos casos 1. e 2. De fato, como I e compacto, entao podemos
decompor I numa reuniao finita de subintervalos compactos justapostos, isto e I =
I1 I2 . . . Ik tais que (Ii ) Ui , para cada i, onde Ui e uma vizinhanca distinguida.
A unicidade de segue do fato de que se supomos que existem
e, e : I S n tais que
e entao para todo t I devemos ter
e ou
e
e = ,
e(t) = (t)
e(t) = (t);
utilizando
n+1
e
o produto interno de R , temos <
e(t), (t) >= 1, para todo t I; por outro lado,
e
como I e conexo, o produto interno anterior deve ser constante. Logo, se
e(t0 ) = (t),
e para todo t I.
entao
e(t) = (t)
Note que o levantamento de um caminho fechado em S n nem sempre e um caminho
fechado em RPn , pois cada caminho em S n possui dois levantamentos; alem disso, um
deles e fechado se, e somente se ambos sao fechados. De fato, se
e : I S n e tal que
=
e e se
e e fechado, o caminho fechado possui um levantamento fechado. Se
os extremos do caminho
e sao antipodais, e um caminho fechado em RPn que possui
levantamento nao fechado.
Proposica o 3.2. Seja n 2; fixando x0 S n e p0 = (x0 ) RPn e considerando
, : I RPn caminhos fechados de base p0 , denotemos por
e, e : I S n os
anteriores, temos
correspondentes levantamentos com origem em x0 . Com as notacoes
e
que
e(1) = (1) se, e somente se ' .
e
Prova : Se
e, e : I S n sao tais que
e(1) = (1),
como S n e simplesmente conexo,
temos ' .
e como
e
e
Se =
e ' ,
e(0) = (0)
= x0 ,
e(1) = x0 e (1)
= x0 . Por
e
e
hipotese
e(1) = (1) se, e somente se |e

(1) (1)| 6= 2, onde | | e a norma induzida
em RPn pela norma de Rn+1 . Em particular, se k(t) (t)k 6= 2, para todo t I,
e
isto e (t) e (t) nunca sao antipodais, entao |e
(t) (t)|
6= 2, para todo t I; como
e
e
e(0) = (0),
nao podemos ter |e
(1) (1)|
= 2. Em geral, considere a homotopia
H : ' ; pela continuidade uniforme de H, existem 0 = t0 < t1 < . . . < tn = 1 tais
que |H(s, ti1 ) H(s, ti )| < 2, para todo s I e i = 1, . . . n. Definamos os caminhos
fechados em p0 : i (s) = H(s, ti ); os pontos i (s) e i+1 (s) nao podem ser antipodais,
logo ei (1) = g
ao,
i+1 (1). Ent
e
f0 (1) =
f1 (1) = . . . =
fn (1) = (1).
3.5.2 O Grupo Fundamental de RPn

Sabemos que RP1 ' S 1 , entao:

1 RP1 , p0
= Z.
3.5. GRUPO FUNDAMENTAL DO ESPAC

O PROJETIVO REAL
73
Para n 2, existem apenas duas classes de homotopias de caminhos fechados em

RPn , com ponto base p0 . A classe dos caminhos cujo levantamento e fechado e os que
possuem o levantamento aberto. Logo:
Teorema 3.3. Para n 2:

1 RPn , p0 ' Z2 .
3.5.3

Geradores do grupo 1 RPn , p0 .
Seja:
e : I S n ,
tal que
e(s) = (cos(s ), sen(s ), 0, . . . , 0); claramente
e e um caminho em S n . Por
outro lado
e(0) = e1 e
e(1) = e1 . O caminho fechado em RPn nao e homotopico
a
n
uma constante. Note que = 2 = 0. Logo, [] gera 1 RP , p0 .
Corolario 3.5. (Teorema de Borsuk-Ulam para n=2) Nao existe funca o f : S 2 S 1
contnua tal que f (x) = f (x), para todo x S 2 .
Prova : Se tal funca o existe, entao f (x) = f (x), para todo x S 2 . Entao, f induz no
quociente f : RP2 RP1 tal que o seguinte diagrama comuta:
f
S 2
1 y
S1
y 2
RP2 RP1 ' S 1

Isto e , f 1 = 2 f . Por outro lado sabemos que:

1 RP1 , p0 = 1 S 1 , p0
=Z
e

1 RP2 , p0
= Z2 .
Logo, f : Z2 Z deve ser um homorfismo trivial, pensados como grupos aditivos.
Seja um caminho em S 2 que liga o polo norte ao polo sul de S 2 ao
longo de meridiano
2
de comprimento fixo; entao [1 ] e um gerador de 1 RP , p0
= Z2 . Como o polo
2
norte e o polo sul sao pontos antipodais deS , estes pontos, sao identificados em RP1 ;
logo [2 f ] e nao trivial em 1 RP1 , p0 . Por outro lado:
[(2 f ) ] = [(f 1 ) ] = f ([1 ]) = 0,
o que e uma contradica o.
CAPITULO
74
3.5.4
Aplicacoes
do Teorema de Borsuk-Ulam
[1] Se f : S 2 R2 contnua e tal que f (x) = f (x), para todo x S 2 , entao

f (z0 ) = (0, 0), para algum z0 S 2 .
De fato, suponha que f (z) 6= (0, 0) para todo z S 2 . Entao, podemos definir:
h(z) =
f (z)
kf (z)k
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 R2 e contnua, entao existe z S 2 tal que f (z) = f (z).
De fato, suponha que f (z) 6= f (z) para todo z S 2 . Entao, podemos definir:
h(z) = f (z) f (z),
contnua tal que h(z) = h(z) e h 6= 0, o que contradiz o teorema de Borsuk-Ulam.
Em paricular, nao existe subconjunto de R2 que seja homeomorfo a S 2 .
3.6 Grupo Fundamental de Grupos Ortogonais
Da Algebra
Linear sabemos que o conjunto formado pelas matrizes de ordem n
m, tendo como entradas elementos de K = R ou C, e um espaco topologico

conexo.
Fixemos K = R; o caso complexo e analogo. Denotemos este espaco por:

Mnm R .
E conhecido que que existe um homeomorfismo natural:

Mnm R
= Rnm .
Por tanto:

1 Mnm R , I
= {0},
para todo n, m N.
estudaremos somente os grupos ortogonais especiais SO(n), n 3.
Nos,
Consideremos o grupo topologico

SO(n):
Claramente, SO(1) = {1}, isto e , um grupo de um elemento; logo:

1 SO(1), p0
= {0}.
3.6. GRUPO FUNDAMENTAL DE GRUPOS ORTOGONAIS
75
Por outro lado, SO(2) e formado pelas matrizes de ordem 2, tais que suas colunas
formam uma base ortonormal positiva de R2 ; logo estas colunas devem ser w e i w,
onde w S 1 . Entao,
SO(2) ' S 1
e consequentemente:

1 SO(2), p0
= Z.
3.6.1
O grupo SO(3)
Consideremos R4 como o R-espaco vetorial de base {1, i, j, k}. Isto e , se q R4 , entao:

q = a + b i + c j + d k,
onde a, b, c, d R.
Definica o 3.1. Denotamos e definamos por H o espaco vetorial R4 , com o produto
determinado pelas seguinte regras:
i2 = j 2 = k 2 = 1
i j = j i = k,
j k = k j = i,
k i = i k = j.
H e dito espaco dos quaternios.
Observacoes
3.2.

1. Nao e difcil verificar que H, + , e um anel.
2. Seja q H; denotamos o conjugado de q por q e definimos por:
q = a b i c j d k,
se q = a + b i + c j + d k.
3. Nao e difcil verificar que q q = q q 0, para todo q H.
CAPITULO
76
4. Pelo tem anterior, definimos a norma em H:

kqk2 = q q = q q = a2 + b2 + c2 + d2 .
Esta norma coincide com a norma usual de R4 e
kq1 q2 k = kq1 k kq2 k,
(3.1)
para todo q1 , q2 H.
5. Se q 6= 0, podemos definir o inverso de q por:
q 1 =
q
.
kqk
6. Nao e difcil verificar que o produto definido em H e nao comutativo. Portanto,

H nao e um corpo.
7. Podemos identificar R com o subespaco vetorial gerado por < 1 > e R3 com o
subespaco vetorial gerado por < i, j, k >. Logo, para todo q H temos que
q = a + p,
onde a R e p R3 . Com estas identificacoes,

os elementos de R sao ditos
3
quaternios reais e os de R sao ditos quaternios puros.
De 3.1, temos que R e R3 sao ortogonais e que S 3 R4 pode ser considerada como:
S 3 = {q H / kqk = 1}.
De forma analoga a` S 1 C, S 3 H tem uma estrutura de grupo induzido pelo produto de H. Como a multiplicaca o definida em H e bilinear, logo contnua, segue que
S 3 e um grupo topologico.
Proposica o 3.3.

1. Z H = R, isto e , o centro do grupo H sao os quaternios reais.
2. q R3 se, e somente se q 2 0.
3
3. Se q H e tal que q p = p q, para
todo p R , entao q R. Em particular, se
3
3
q S , entao q = 1, isto e , Z S = {1, 1}.
77
Prova :

1. Seja q = a + b i + c j + d k Z H ; entao
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 = aj bk
q j = a j + b k;
logo, b = 0 e q = a.
2. Se q = b i + c j + d k R3 , entao q 2 = (b2 + c2 + d2 ) 0. Reciprocamente, seja
q = a + b i + c j + d k, entao
q 2 = a2 b2 c2 d2 + 2 a (b i + c j + d k).
Como q 2 R, temos que a = 0 e q R3 ou b = c = d = 0 e a 6= 0 e q 2 > 0. Logo,
se q 2 0, entao q R3 .
3. Seja q = a + b i + c j + d k; entao i q = b + a i d j + c k. Por outro lado
i q = q i = b + a i + d j c k; entao 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, entao
q S 2 . De fato, como q 2 < 0, entao q R3 e kqk = 1.
Observemos que i nao possui nenhuma propriedade fundamental nos quaternios puros. Dado q R3 unitario, sempre podemos considerar uma base ortonormal positiva
{1, q, c, d, }.
Lema 3.3. Seja B SO(3); entao existe uma base ortonormal {a, b, c} R3 tal que nesta
base, B se escreve:
1
0
0
0 cos() sen() ,
0 sen() cos()
isto e , B e uma rotaca o de a ngulo em relaca o ao eixo a.
CAPITULO
78
Prova : Seja A a matriz B em alguma base ortonormal de R3 ; entao At A = I e det(A) =

1; logo At (A I) = I At e:
det(A I) = detAt (A I) = det(I At ) = det(A I).
Donde det(A I) = 0. Logo, exite um vetor nao nulo a R3 tal que (A I) a = 0,
isto e B a = a. Se for necessario, mudamos a por a/kak. Consideremos a unitario.
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 tambem e
uma isometria. A equaca o B a = a implica que detB = detC = 1. Logo, a matriz C em
relaca o a` base {b, c} e

cos() sen()
sen() cos()
3.6.2 O Grupo Fundamental de SO(3)

Seja q S 3 ; definamos:
q : H H
p q p q = q p q 1 .
A funca o q e naturalmente linear; na verdade, e um isomorfismo de espacos vetoriais,
com inversa q1 (p) = q p q.
Por outro lado, q (q) = q e q e uma isometria. De fato:
kq (p)k = kq p qk = kqk kpk kqk = kpk.
Sejam q1 , q2 S 3 , entao:
q1 q2 (p) = (q1 q2 ) p (q1 q2 )
= q1 (q2 p q2 ) q1
= q1 q2 (p) q1
= q1 (q2 (p))

= q1 q2 (p).
Claramente q deixa R invariante. Note que q tambem deixa R3 invariante; de fato,
seja p R3 ; denotemos por r = q p q; entao:
r2 = q p q q p q = q p2 q = p2 0.
79
Entao, r R3 . Logo, a aplicaca o:

q : R3 R3
p q p q
e bem definida. 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 orientaca o da base canonica

de R3 ; entao:
q (a) = a
q (b) = b cos(2 ) + c sen(2 )
q (c) = b cos(2 ) + c sen(2 ).
anteriores, temos o seguinte teorema:
Logo, q SO(3); pelo lema e pelas observacoes
Teorema 3.4. A aplicaca o:
: S 3 SO(3)
e um homomorfismo contnuo sobrejetivo.
Note que o nucleo

da aplicaca o 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 , q1 = q2 se, e somente se q1 = q2 .
Corolario 3.6.
SO(3) ' RP3 .

De fato, de [MV], sabemos que RP3 = S 3 ker() e:
S3
RP3
/ SO(3)
;
vv
vv
v
vv
vv e
Como e e uma bijeca o contnua, RP3 compacto e SO(3) e de Hausdorff, entao e e um

homeomorfismo.
Logo, obtemos o seguinte teorema:
Teorema 3.5.

1 SO(3), A0
= 1 RP3 , p0 ' Z2 .
80
CAPITULO
Captulo 4
ESPAC
OS DE RECOBRIMENTOS
4.1
Introduca o
Neste captulo generalizaremos todas as ideias sobre levantamento de funcoes,

estudadas no captulo anterior e utilizadas no calculo do grupo fundamental do crculo e
do espaco projetivo real.
e espacos topologicos
e X uma funca o contnua.
Sejam X, X
ep:X
O aberto U X e dito vizinhanca distinguida se:
[
p1 U =
V ,
e dois a dois disjuntos, tais que:

onde {V / } e uma famlia de abertos de X,

pV : V U
e um homeomorfismo.
4.2
Recobrimentos
Definica o 4.1. Uma aplicaca o de recobrimento (ou simplesmente um recobrimento) e

uma funca o
e X
p:X
contnua, sobrejetiva e tal que todo x X possui uma vizinhanca distinguida.
81

CAPITULO
4. ESPAC
OS DE RECOBRIMENTOS
82
e e dito espaco de recobrimento; X e dito a base do recobrimento;

Observaca o 4.1. X
a funca o p e dita projeca o e p1 (x) e fibra sobre x X. A notaca o utilizada para
recobrimentos e :

e .
X, p, X
e X e uma aplicaca o de recobrimento se, e somente se:
A funca o contnua p : X
i. p e sobrejetiva.
ii. Para todo x X existe U vizinhanca de x tal que:
[
p1 U =
V ,
e sao abertos tais que V V = para todo 6= e

onde V X
p : V U
e um homeomorfismo, para todo , isto e , p e um homeomorfismo local sobrejetivo.
~
X
V
p-1(x)
V
X
x
Figura 4.1: Vizinhanca distinguida de um ponto

Se p e um recobrimento entao p e um homeomorfismo local sobrejetivo. A recproca e
falsa, isto e , existem homeomorfismos locais sobrejetivos que nao sao recobrimentos.
(Verifique!).
Exemplo 4.1.

[1] Se p : X X e um homeomorfismo, entao X, p, X e um recobrimento.

[2] Do captulo anterior: R, exp, S 1 e um recobrimento.
4.2. RECOBRIMENTOS
83
IR
exp
S1
Figura 4.2:
Por exemplo, dado o aberto U = S 1 {(0, 1)}, temos que:
[
exp1 U =
(n 1/2, n + 1/2).
nZ
Note que exp1 (1) = {t R / e2it = 1} = Z.

[3] Analogamente, R2 , p, T2 , onde T2 = S 1 S 1 e:
p : R2 T2
(s, t) (exp(s), exp(t))
e um recobrimento. Por outro lado, p1 (1, 1) = Z Z.

[4] Em geral, Rn , p, Tn , onde Tn = S 1 S 1 . . . S 1 , (n-vezes) e:
p(t1 , t2 , . . . , tn ) = (exp(t1 ), exp(t2 ), . . . , exp(tn ))
e um recobrimento.

[5] S 1 R, p, T2 , tambem e um recobrimento do toro, onde:
p(z, t) = (z, exp(t)).
Fica como exerccio determinar as fibras nos exemplos anteriores.
[6] Seja:
p : R [0, +)
x |x|.

CAPITULO
4. ESPAC
OS DE RECOBRIMENTOS
84
Entao p nao e um recobrimento.

Caso contrario, considerando 0 R e um aberto

(, ), ( > 0), entao p (,) e um homeomorfismo, o que e absurdo pois, p nao e
injetiva.

[7] Por um argumento similar ao anterior C, p, C , onde p(z) = z 2 nao e um recobrimento.
e = {(r, ) / 0 < r < +} e:
[8] Seja X = R {0}, X
e X
P ol : X
(r, ) (r cos(), r sen()).

e P ol, X e um recobrimento. Note que P ol e a mudanca de coordenadas polares e
X,
que a variavel angular toma infinitos valores separados por multiplos

de 2 .
[9] A aplicaca o p : N R R definida por p(n, x) = x e um recobrimento. De fato:
[
p1 R =
{n} R
nN

e p{n}R e um homeomorfismo sobrejetivo.
[10] Em geral, a aplicaca o p : Y X X tal que p(y, x) = x e Y e discreto e um
recobrimento.
Lema 4.1.
contnuas tais que f e g f sao homeo1. Sejam f : X Y e g : Y Z funcoes
morfismos locais sobrejetivos; entao g e um homeomorfismo local sobrejetivo.
2. Se p : X Y e um homeomorfismo local sobrejetivo com fibra finita e tal que
X e de Hausdorff, entao p e uma aplicaca o de recobrimento.
Prova :
1. Exerccio.
2. Seja y Y ; entao p1 (y) = {x1 , x2 , . . . , xn }. Como X e de Hausdorff, existem
vizinhancas Ui2 abertas de xi tais que Ui2 Uj2 = se i 6= j. Por outro lado, p sendo
um homeomorfismo local, entao para cada xi podemos escolher
vizinhancas Ui1

1
2
1
abertas de xi tais que Ui Ui , p Ui e um aberto de Y e pU 1 : Ui1 p Ui1 e
i
um homeorfismo. Denotemos por:

Vy = p U11 . . . p Un1 e Ui = pU 1 Vy .
i
4.2. RECOBRIMENTOS
85
Logo:
n
[
Ui
p1 (Vy =
i=1

e pUi : Ui Vy e um homeomorfismo. Entao, p : X Y e um recobrimento.

e um recobrimento; entao as fibras p1 (x) sao discretas.
Proposica o 4.1. Seja X, p, X
Prova : Como cada y p1 (x) possui uma vizinhanca U tal que y o unico
elemento de
U com p(y) = x (lembrando que p e um homeomorfismo local), entao U p1 (x) = {y}.
Logo, todo ponto de p1 (x) e isolado; portanto p1 (x) e discreto.
Note que na prova da proposica o somente utilizamos que p e localmente injetiva, isto
e , a proposica o pode ser provada somente com esta hipotese.

e e um recobrimento tal que X
e e compacto, X e conexo e de
Corolario 4.1. Se X, p, X
Hausdorff, entao as fibras sao finitas.
A cardinalidade de p1 (x) e chamada o numero

de folhas do recobrimento. Logo, um
recobrimento com as hipoteses

do corolario possui um numero
finito de folhas.
Exemplo 4.2.
[1] A aplicaca o:
exp : R S 1
t exp(t)
e um recobrimento de infinitas folhas.
[2] A aplicaca o:
p : S 1 S 1
z z n
e um recobrimento de n folhas. De fato, p e um homeomorfismo local sobrejetivo, S 1
e compacta, de Hausdorff e p1 (x) tem cardinalidade n. (Sao as razes n-esimas da
unidade).

[3] Seja S 2n+1 , , CPn , onde

CAPITULO
4. ESPAC
OS DE RECOBRIMENTOS
86
: S 2n+1 Cn CPn
e a projeca o canonica;
S 2n+1 , , CPn e um recobrimento?
A resposta e negativa, pois 1 ([x])
= S 1 , isto e a fibra nao e finita.

e um recobrimento; entao:
Teorema 4.1. Seja X, p, X
1. p e aberta.
2. X tem a topologia quociente em relaca o a p.
Prova :
1. Exerccio.

2. Como p e contnua e aberta, entao U X e aberto se, e somente se p1 U e
e
aberto em X.
Exemplo 4.1.
Se M e a faixa de Moebius
e p a projeca o canonica,
entao:
p : R I M
e um recobrimento.
Primeiramente definamos:

M1 = [0, 1] [1, 1] 1
onde (0, t) 1 (1, t), t [1, 1]. Denotemos por:
p1 : [0, 1] [1, 1] M1
a aplicaca o quociente. Por outro lado, a faixa de Moebius

tambem pode ser definida
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.3. RECOBRIMENTOS DE G-ESPAC

OS
87
a aplicaca o quociente. Note que p e aberta, pois se U R [1, 1] e aberto:

[

p1 p(U ) =
Rq U ,
qZ
onde:
Rq : R [1, 1] R [1, 1]
(r, t) (x + q, (1)q t).
Note que Rq e um homeomorfismo, para todo q Z.
Denotemos por i : [0, 1] [1, 1] R [1, 1] a inclusao canonica,

que induz no
quociente a aplicacao contnua f : M1 M tal que o seguinte diagrama e comutativo:
i
[0, 1] [1, 1] R [1, 1]
p
p1 y
y
M1
Isto e , p i = f p1 . Como f e sobrejetiva e M e de Hausdorff, entao f e um homeomor-

fismo. Note que M possui
uma cobertura determinada pelos abertos p (0, 1) [1, 1]
e p (1/2, 1/2) [1, 1] e :
[

p1 p (0, 1) [1, 1] =
(q, q + 1) [1, 1]
qZ
e
p : (q, q + 1) [1, 1] p (0, 1) [1, 1]

e um homeomorfismo. Analogamente para o aberto p (1/2, 1/2) [1, 1] .
4.3
Recobrimentos de G-espacos
Seja G um grupo que atua sobre X de modo que X e um G-espaco. Para mais detalhes
sobre G-espacos, veja [MV].
Definica o 4.2. A aca o do grupo G sobre X e dita totalmente descontnua se para todo
x X, existe vizinhanca U de x tal que
g1 U g2 U = ,
para todo g1 , g2 G e g1 6= g2 .
88
CAPITULO
4. ESPAC
OS DE RECOBRIMENTOS
Lema 4.2. Se o grupo G age de forma totalmente descontnua sobre X, entao g x 6= x

para todo g G, g 6= e e todo x X.
Prova: Exerccio.
Exemplo 4.3.
[1] Seja a : S n S n definida por a(x) = x, onde x e o ponto antipodal de x; entao
e um grupo. G atua descontinuamente
G = {idS n , a}, com a composta de funcoes
n
n
sobre S . De fato, se U S e um aberto contido num dos hemisferios, temos:
a U U = .
[2] Seja Zn Rn . Considere a seguinte aca o:
Zn Rn Rn
(v, x) x + v.
Esta aca o e totalmente descontnua; basta considerar abertos de diametro menor que
1.
Teorema 4.2. Se X e um G-espaco e G age de forma totalmente descontnua sobre X,
entao a projeca o canonica:

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; entao p U e uma vizinhanca de G x = p(x) e
[
p1 p(U ) =
g U.
gG

g U e uma famlia de abertos disjuntos de X e pgU : g U p U e um homeomorfismo.
Exemplo 4.4.

[1] Considere a aca o de Z, + sobre R, definida por x x + n. Entao:

p : R R Z ' S 1
4.3. RECOBRIMENTOS DE G-ESPAC

OS
89
e um recobrimento.
De fato, a aca o e totalmente descontnua. Seja 0 < < 1/2; entao U = (x, x+) e uma
vizinhanca de x que satisfaz a` condica o da definica o de ser totalmente descontnua.
Pode ser verificado (exerccio) que este exemplo e identico ao estudado no captulo
anterior para exp : R S 1 .
[2] Em geral,

: Rn Rn Zn ' Tn ,
onde e a projeca o canonica,

e um recobrimento.
[3] A projeca o canonica:

: S n PRn
e um recobrimento.

De fato, seja Z2 , e consideremos S n como um Z2 -espaco com a aca o 1 x = x.
Para cada x S n consideremos:
U = {y S n / ky xk < 1/2}.
U e uma vizinhanca de x que satisfaz a` condica o da definica o de ser totalmente descontnua. De forma alternativa, como x 6= x, existem V eW vizinhancas disjuntas de
x e x respectivamente e basta considerar U = V W .

[4] Considere a aca o de Z, + sobre X = R (1, 1), definida por:
(n, (x, y)) (x + n, (1)n y).
Entao:

p : X X Z
= M,
e um recobrimento, onde M e a faixa de Moebius.

(Verifique!).
Definica o 4.3. A aca o do grupo G sobre X e dita livre se g x 6= x, para todo x X e
todo g G, g 6= e.
Proposica o 4.2. Seja X de Hausdorff e G um grupo finito, entao, G atua livremente
sobre X se, e somente se a aca o e totalmente descontnua.
Prova : Seja G = {g0 , g1 , . . . , gn }, onde e = g0 . Como X e de Hausdorff, existem
vizinhancas U0 , U1 , . . . Un de g0 x, g1 x, . . . gn x, respectivamente, tais que U0 Ui = ,
(i = 1, 2, , . . . n). Denotemos por:

CAPITULO
4. ESPAC
OS DE RECOBRIMENTOS
90
U=
n
\
gi1 Ui .
i=0
U e uma vizinhanca de x; por outro lado:
gj U =
n
\
gj gi1 Ui

gj U gi U = gi (gi1 gj ) U U = gi gk U U = ,
i=0
pois gk U Uk e U U0 , gk 6= e.
Observaca o 4.2. Se G e um grupo infinito a aca o livre pode nao ser totalmente descontnua. Isto e :

p : X X G
pode nao ser um recobrimento, ainda que a aca o seja livre e X de Hausdorff.
Exemplo 4.5.
[1] Seja S 2n+1 Cn+1 tal que:
S 2n+1 = {(z0 , z1 , . . . , zn ) Cn+1 / kz0 k2 + . . . + kzn k2 = 1}.
Sejam p, q1 , . . . qn Z tais que p e primo e os qj sao primos relativos a p; definamos
h : S 2n+1 S 2n+1
por:
h(z0 , z1 , . . . , zn ) = (e2i/p z0 , e2iq1 /p z1 , . . . , e2iqn /p zn ).
h e um homeomorfismo tal que hp = id. Consideremos S 2n+1 como Zp -espaco com a
seguinte aca o:
n (z0 , z1 , . . . , zn ) = (e2in/p z0 , e2inq1 /p z1 , . . . , e2iqn /p zn ),
onde n Zp = {0, 1, . . . , p 1}. Esta aca o e livre. De fato, se:
n (z0 , z1 , . . . , zn ) = (z0 , z1 , . . . , zn ),
4.4. LEVANTAMENTOS
91
entao: e2inqj /p zj = zj com 0 j n e q0 = 1. Como (z0 , z1 , . . . , zn ) S 2n+1 , existe

zj0 6= 0 para algum j0 , logo:
e2inqj0 /p = 1
e n qj0 = 0 mod(p). Como qj0 6= 0 mod(p) e p e primo, entao n = 0 mod(p). Isto e , n e a
identidade de Zp . Logo, a aca o e livre e S 2n+1 e de Hausdorff; entao:
p : S 2n+1 L(p, q1 , . . . , qn ),

onde L(p, q1 , . . . , qn ) = S 2n+1 Zp e um recobrimento. O espaco L(p, q1 , . . . , qn ) e chamado lenticular. Note que L(2, q1 , . . . , qn ) = RP2n+1 .
[2] Seja G o grupo gerado pelos homeomorfismos a, b : R2 R2 definidos por:
a(x, y) = (x, y + 1) e b(x, y) = (x + 1, y).

Sabemos que K = R2 G, e a garrafa de Klein. A aca o:
:G K K
(f, (x, y)) f (x, y) = f (x, y),

e livre, R2 e de Hausdorff; entao R2 , p, K e um recobrimento. Note que G nao e
isomorfo a Z Z, pois G e nao comutativo e satisfaz a` relaca o b a b = a.
4.4
Levantamentos
das propriedades de levantamento dos caA seguir, apresentaremos as generalizacoes

minhos e das homotopias, estudadas no captulo anterior. A maioria das provas sao
identicas.

e um recobrimento e f : Y X uma funca o contnua.
Definica o 4.4. Sejam X, p, X
e e dita um levantamento de f se o seguinte diagrama
A funca o contnua fe : Y X
comuta:
e
?X

p

Y f /X
fe
Isto e , p fe = f .
92
CAPITULO
4. ESPAC
OS DE RECOBRIMENTOS

e um recobrimento e fi : Y X,
e (i = 1, 2) levantamentos
Lema 4.3. Sejam X, p, X
de f : Y X, isto e , temos o seguinte diagrama comutativo:
e
X
?

p

Y f /X
f1 , f 2
Se Y e conexo e f1 (y0 ) = f2 (y0 ), entao f1 = f2 .

Prova : Seja W = {y Y / f1 (y) = f2 (y)}, W =
6 pois y0 W . Provaremos que W e
aberto e fechado e como Y e conexo, entao W = Y . Seja y Y ; entao existe vizinhanca
aberta V de f (y) tal que
[
p1 V =
Vj
jJ

e pVj : Vj V e um homeomorfismo, para todo j J. Se y W , entao f1 (y) =

f2 (y) Vk , para algum k J e f11 Vk f21 Vk e um aberto tal que:

y f11 Vk f21 Vk W.

Se x f11 Vk f21 Vk , entao f1 (x), f2 (x) Vk e (p f1 )(x) = (p f2 )(x). Por outro
lado, pV e um homeomorfismo; temos que f1 (x) = f2 (x). Logo, todo elemento de W
k
possui uma vizinhanca contida em W , isto e , W e aberto.

Se y
/ W , entao f1 (y) Vk e f2 (y) Vj , para i, j tais que i 6= j; logo, f11 Vk f21 Vj
e um aberto tal que

y f11 Vk f21 Vk W C .
Pelo mesmo argumento anterior, W C e aberto.

e um recobrimento e h : X
e X
e contnua tal que X
e e
Corolario 4.2. Sejam X, p, X
e entao h = id e .
conexo por caminhos e p h = p. Se h(x1 ) = x1 para algum x1 X,
X
Prova : Exerccio.

e um recobrimento.
e tal que
1. Levantamento dos caminhos: Dado um caminho : I X e xe0 X
e tal que p
p(xe0 ) = (0), existe um unico

levantamento
e : I X
e=e
e(0) = xe0 ,
isto e , temos o seguinte diagrama comutativo:
4.4. LEVANTAMENTOS
93
e
@X
/X
e tal que
2. Levantamento das homotopias: Dada H : I I X contnua e xe0 X
e : I I X
e tal que p H
e =He
p(xe0 ) = H(0, 0), existe um unico

levantamento H
e 0) = xe0 , isto e , temos o seguinte diagrama comutativo:
H(0,
e
<X
zz
z
p
zz
zz
z
z

I I H /X
e
H
Prova : A prova e identica a` s dos teoremas vistos no captulo anterior.

e e tal que X e conexo, entao a cardinalidade da fibra p1 (x)
Corolario 4.3. Se X, p, X
e independente de x.
Prova : Para todo x, y X, definiremos uma bijeca o entre p1 (x) e p1 (y). Seja:
h : p1 (x) p1 (y),
definida da seguinte forma: Dado um caminho que liga x a y, entao para cada x
e
p1 (x), existe um unico

levantamento ex tal que ex (0) = x; definamos:
h(e
x) = ex (1).
h esta bem definida pois ex (1) p1 (y). Analogamente, definimos h1 utilizando 1 ,
isto e :
1 (1).
h1 (e
x) = g
Logo, h e uma bijeca o.

CAPITULO
4. ESPAC
OS DE RECOBRIMENTOS
94
4.5 Exerccios
f1 X1 e p2 : X
f2 X2 recobrimentos. Verifique que:
1. Sejam p1 : X
f1 X
f2 X1 X2
p1 p2 : X
e um recobrimento.
e X, q : X Y e h = q p. Se p e q sao recobrimentos, h e um
2. Sejam p : X
recobrimento? Verifique.
3. Sejam Z e X = R (1, 1). Consideremos a seguinte aca o:
Z X X
(n, (x, y)) (x + n, (1)n y).
Verifique que esta aca o e totalmente descontnua.
4. Verifique que toda aca o totalmente descontnua e livre. A recproca e verdadeira?
Captulo 5
RECOBRIMENTO E GRUPO
FUNDAMENTAL
Neste captulo estudaremos a relaca o que existe entre os recobrimentos de um espaco
e seu grupo fundamental.
O teorema seguinte nos permite ter uma primeira aproximaca ode qual e o grupo
fundamental de um espaco dado, conhecendo apenas as fibras de seu recobrimento.

e um recobrimento. Se X
e e simplesmente conexo, entao
e existe uma bijeca o:
para cada x
eX

1 X, x p1 (x),
onde p(e
x) = x.
Prova : Definamos:

F : 1 X, x p1 (x),
por F ([]) =
e(1), onde
e e o unico
levantamento de tal que (0) = x; logo, pela
unicidade dos levantamentos, F e bem definida. Agora, consideremos:

G : p1 (x) 1 X, x ,
definida da seguinte forma:
e um caminho tal que
Sejam ye p1 (x) e
e : I X
e(0) = x
ee
e(1) = ye. Logo, o
caminho = p
e : I X e tal que (0) = p(e
x) =
x
e
(1)
=
p(e
y ) = x; entao
determina uma unica

classe de homotopia [] 1 X, x . Definamos:
G(e
y ) = [] = [p
e].
95
96
CAPITULO
5. RECOBRIMENTO E GRUPO FUNDAMENTAL
e e
e
G esta bem definida, pois para todos
e e e tais que
e(0) = (0)
e(1) = (1),
temos
e ' e relativamente a {0, 1}; entao G nao depende do caminho escolhido. Claramente
F e G sao inversas.
Exemplo 5.1.
Denotemos por as bijecoes:

[1] Seja R, exp, S 1 ; entao:
exp1 (1) Z.

[2] Seja R2 , p, T2 , onde p = (exp, exp); entao:
p1 (1) Z Z = Z2 .

[3] Em geral, seja Rn , p, Tn , onde p = (exp, exp, . . . , exp); entao:
p1 (1) Z Z . . . Z = Zn .
[4] S n , , PRn (n > 1), onde e a projeca o canonica,

e um recobrimento de 2 folhas
e:
1 ([x]) = {x, x} Z2 .
[5] Seja X, , M , onde X = R (1, 1), M e a faixa de Moebius

e e a projeca o
canonica;
entao:
1 ([0, 0]) = {(n, 0) / n Z} Z.

e um recobrimento tal que p(e
x) = x; entao o homomorfismo
induzido:

e x
p : 1 X,
e 1 X, x
e um monomorfismo.

e entao, [p
e Logo,
e 1 X,
e x
e tal que p ([e
]) = p ([];
e] = [p ].
Prova : Sejam [e
], []
e consideremos o unico
e de H;
existe uma homotopia H : p

e ' p ;
levantamento H
e logo:
e :
portanto H
e ' ;
e
[e
] = [].

e x
e como um subgrupo de
Como p e um monomorfismo, podemos considerar 1 X,
1 X, x . Logo, com as hipoteses

do teorema, se:

5.1. CRITERIO
GERAL DE LEVANTAMENTO

e x
1 X,
e 6= {e},
entao
97

1 X, x =
6 {e}.

e um recobrimento e x
Teorema 5.3. Sejam X, p, X
e, xe1 p1 (x); entao todos os subgrupos

e x
e xe1 sao conjugados em 1 X, x . Se x
p 1 X,
e e p 1 X,
e p1 (x) e fixado, toda

e x
e xe1 , para algum xe1
classe conjugada de p 1 X,
e e igual ao subgrupo p 1 X,
p1 (x).
e que liga x
Prova : Seja
e um caminho em X
e a xe1 . Sabemos que:

e x
e xe1
Fe : 1 X,
e 1 X,
definida por Fe ([e
]) = [e
e
e1 ] e um isomorfismo de grupos. Definamos:

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

p
e x
1 X,
e 1 X, x
F
ey
yG
p

e xe1 1 X, x1
1 X,

e x
e xe1 sao conjugados em 1 X, x . Por outro lado, seja
Entao, p 1 X,
e e p 1 X,

e x
H um subgrupo de 1 X, x conjugado a p 1 X,
e ; entao:

e x
H = []1 p 1 X,
e [].
Seja
e um levantamento de tal que
e(0) = x
e; denotemos por xe1 =
e(1); entao:

e xe1 .
H = p 1 X,
5.1
Criterio Geral de Levantamento

e e um recobrimento e que toda funca o contnua
Suponhamos que X, p, X
f : Z X
admite um levantamento fe, ou seja, temos o seguinte diagrama comutativo:
98
CAPITULO
?X

p

Z f /X
fe
tal que p fe = f .
Se p(xe0 ) = x0 , f (z0 ) = x0 e fe(z0 ) = xe0 , temos que p fe = f e o diagrama comutativo:
e xe0
1 X,
8
rrr
r
r
p
r
rrr
r

/ 1 X, x0
Z, z0
fe
Como p e um monomorfismo, a existencia de fe que faz o diagrama comutativo e

equivalente a` condica o:
f 1 Z, z0

e xe0 .
p 1 X,
necessarias e
Observaca o 5.1. O teorema geral de levantamento nos da as condicoes
suficientes para a existencia de levantamentos de um espaco topologico.

Este teorema
e um exemplo do que estuda a Topologia Algebrica. Um problema puramente to
pologico,
como a existencia de uma funca o contnua (sob certas condicoes)
e reduzido
a uma condica o puramente algebrica (uma relaca o entre grupos e homomorfismos).
Teorema 5.4. (Criterio de Levantamento)

e um recobrimento e f : Z X contnua. Se Z e conexo e localmente
Sejam X, p, X
conexo por caminhos, entao existe um levantamento de f se, e somente se
f 1 Z, z0

e xe0 ,
p 1 X,
onde p(xe0 ) = x0 e f (z0 ) = x0 .

Prova : Se existe levantamento fe de f , isto e , p fe = f , entao:
f 1 Z, z0
= (p fe) 1 Z, z0

e xe0 .
p 1 X,

e xe0 , onde p(xe0 ) = x0 e f (z0 ) = x0 . Sejam
Suponhamos que f 1 Z, z0 p 1 X,
z1 Z arbitrario e o caminho em Z tal que (0) = z0 e (1) = z1 ; entao, f e um
caminho em X tal que (f ) (0) = x0 e (f ) (1) = f (z1 ). Pelo teorema de levantamento

5.1. CRITERIO
GERAL DE LEVANTAMENTO
99
e tal que (f]
dos caminhos, existe um unico

levantamento f]
: I X
)(0) = x0 e

]
p f = f . Logo, definamos:
F : Z X,
onde F (z0 ) = x0 e F (z1 ) = f]
(1).
1. F e bem definida. De fato, seja 1 outro caminho em Z tal que 1 (0) = z0 e 1 (1)
= z1 ;
entao 11 e tal que ( 11 )(0) = ( 11 )(1) = z0 , isto e , [ 11 ] 1 Z, z0 ; entao:

f [ 11 ] = [f f 11 ] f 1 Z, z0 .
Por outro lado: f 1 Z, z0

e xe0 ; entao existe [] 1 X,
e xe0 tal que:
p 1 X,
[f f 11 ] = [p ].
Logo:
f ' (f ) ex0 ' (f ) (f 11 f 1 )
' (f f 11 ) f 1
' p f 1 .
Denotemos por = p f 1 ; entao e = f^
1 ; pela unicidade dos levantamentos:
e = ( (f^
(f]
)(1) = (1)
1 ))(1) = (f^
1 )(1).
Nesta parte da prova utilizamos somente a hipotese

de que Z e conexo por caminhos.

1 U ; ent
e aberto e z fg
2. F e contnua. Sejam U X
ao fe(z) U . Denotemos por

W uma vizinhanca distinguida de (p fe)(z) = f (z) tal que W p U . Como W e
vizinhanca distinguida:
[
Vj ,
p1 W =
jJ
onde cada Vj e homeomorfo a W e fe(z) Vk para algum k J. Logo, como Vk e

U sao vizinhancas de fe(z) consideramos W 0 = Vk U . Note que p W 0 tambem e
uma vizinhanca distinguida,
pois W e distinguida e p W 0 W . Por outro lado, f e

0
1
e uma vizinhanca de z Z. Como Z e localmente conexo por
p W
contnua e f

caminhos, existe um caminho ligando uma vizinhanca V de z tal que V f 1 p W 0

Mostraremos que fe V U . Primeiramente fe(z) V ; se z 0 V , existe um caminho
100
CAPITULO
en V ligando z a z 0 ; logo, pela definica o de fe temos fe(z 0 ) = f]

(1), onde f]
e o
e
]
unico
levantamento de f tal que f (0) = f (z), pois:

(f ) I f V p W 0 e (f]
) I p1 p W 0 .
Por outro lado:
p1 p W 0
Wj ,
jJ

onde os Wj sao disjuntos aos pares, cada Wj e homeomorfo a p W 0 e pelo menos um
Wk W 0 ; como (f]
)(0) = fe(z) W 0 segue que (f]
)(1) = fe(z 0 ). Provamos que

1 U , isto e
1 U possui uma
, todo elemento de fg
fe V W 0 U e portanto V fg

1 U ; logo fe e
contnua.
vizinhanca totalmente contida em fg
Existem exemplos que mostram que a hipotese

de ser Z localmente conexo por caminhos nao pode ser retirada para a prova de que o levantamento fe e contnuo.

e um recobrimento e Z um espaco simplesmente conexo
Corolario 5.1. Sejam X, p, X
e localmente conexo por caminhos; entao toda funca o contnua f : Z X admite
e
levantamento fe : Z X.
Prova : Se Z e simplesmente conexo e localmente conexo por caminhos, sempre temos
que:
f 1 Z, z0

e xe0 .
= f {e} p 1 X,
Exemplo 5.2.
[1] Toda funca o f : R S 1 admite levantamentos.
[2] Em geral, toda funca o f : Rn Tn admite levantamentos.
[3] Se n > 1, toda funca o f : S n PRn admite levantamentos.

e um recobrimento, , : I X caminhos tais que
Proposica o 5.1. Sejam X, p, X
e levantamentos de e ,
(0) = (0) = x0 e (1) = (1) = x1 e
e, e : I X
e se, e
e tal que p(xe0 ) = x0 . Entao,
respectivamente, de ponto inicial xe0 X
e(1) = (1)

1
e xe0 .
somente se [ ] p 1 X,

e x
e . Denotemos por
e o levantamento do caminho
Prova : Seja [ 1 ] p 1 X,
e
1 , a partir do ponto xe0 ; logo,
e e um caminho fechado. Os caminhos
e, e : I X
sao definidos por:
5.2. GRUPO FUNDAMENTAL E G-ESPAC

OS
101
e =
e(t) =
e(t/2) e (t)
e(1 t/2).
e e
e
e(0) =
e(0) = xe0 =
e(1) = (0)
e(1) =
e(1/2) = (1).
Note que
e e e sao levantamentos de e , respectivamente:
(p
e)(t) = (p
e)(t/2)
= ( 1 )(t/2)
= (2 (t/2))
= (t).
Analogamente,
e
(p )(t)
= (p
e)(1 t/2)
= ( 1 )(1 t/2)
= 1 (2 (1 t/2) 1)
= 1 (1 t)
= (t).
Em particular, nas hipoteses

da proposica o, temos o seguinte corolario:
Corolario 5.2. Dado um caminho fechado em x0 , seu
levantamento,
e com incio em
e x
x
e p1 (x0 ) e fechado se, e somente se [] p 1 X,
e .
Basta considerar como um caminho constante em x0 , na proposica o anterior.
5.2
Grupo Fundamental e G-espacos
Neste paragrafo discutiremos a seguinte questao:

Dado X um G-espaco, que relaca o existe entre o grupo fundamental de X G e o grupo
G?
Observacoes
5.1.

1. Lembremos que S 1 ' R Z; logo:

2. O toro T2 = R2 Z2 ; logo:

1 S 1 , z0 = 1 R Z, w0 ' Z.

1 T2 , y0 = 1 R2 Z2 , w0 ' Z2 .
102
CAPITULO
Observaca o 5.2. Sera possvel afirmar que, em geral:

1 X G, y0 ' G?
Se a reposta for afirmativa, por exemplo, teramos que:

1 L(p, q1 , . . . , qn ), y0 ' Zp .
Se X e um G-espaco, tal que G age de forma totalmente descontnua sobre X, entao:

: X X G

e um recobrimento. Por outro lado, se [] 1 X G, y0 , sabemos que existe um unico

levantamento:
=X
{{
{
{{
{{
{

{
/
I
X G
tal que
e(0) = x0 . Como
e(1) G x0 , (G x e a orbita
de x), entao existe um unico
g G
tal que
e(1) = g x0 . Definamos a seguinte aplicaca o:

: 1 X G, y0 G
[] g .
e um homomorfismo de grupos.

Sejam [], [] 1 X G, y0 tal que y0 = (x0 ); isto e , y0 G x0 .
Consideremos
e e e levantamentos de e . Note que
e e nao e definido, pois
g x0 6= x0 ; por outro lado:
e(0) = x0 ,
e = x0 ,
(0)
e(1) = g x0 ,
e = g x0 .
(1)
Seja g : X X o homeomorfismo definido por g (x) = g x e definamos:

g e : I X.
Note que:
5.2. GRUPO FUNDAMENTAL E G-ESPAC

OS
103

g e (0) = g x0 ,

g e (1) = g (g x0 ).

g e e um levantamento de . De fato, g e = g e = e = .

Consideremos o caminho
e g e ; logo:
e g e (0) =
e(0) = x0 ,

e g e (1) = g e (1) = g (g x0 ).
Entao:

[] [] = [ ] =
e g e (1) = g g = [] [] .

Lema 5.1. ker() = 1 X, x0 , onde e o homomorfismo induzido pela projeca o:

: X X G
e ker() e o nucleo
de .
Prova : [] ker(), se, e somente se ([]) = e se, e somente se
e(1) = x0 , onde
e e
o unico
levantamento de tal que
e(0) = x0 . Logo, se, e somente se [e
] 1 X, x0 e
=
e; entao:

[] = [
e] = [e
] 1 X, x0 .
Utilizando o primeiro teorema do isomorfismo de grupos, temos:

1 X G, y0 ker() = 1 X G, y0 1 X, x0 ' Im .
e as hipoteses
Teorema 5.5. Com as notacoes

do lema anterior, temos:

1 X G, y0 1 X, x0 ' G.
Prova : e sobrejetiva. Veja o captulo do grupo fundamental de S 1
Corolario 5.3. Se X e simplesmente conexo, entao:

1 X G, y0 ' G.
104
CAPITULO
Prova : Exerccio. (Veja o caso X = S 1 ).

Exemplo 5.3.
[1] Como antes, consideremos S 2n+1 como ZP -espaco; entao:

1 L(p, q1 , . . . , qn ), y0 = 1 S 2n+1 Zp , y0 ' Zp ;
pois S 2n+1 e simplesmente conexa, (n 1).
[2] Sabemos que o espaco projetivo real PRn , (n > 1) pode ser obtido a partir de S n
como Z2 -espaco. Logo:

1 PRn , y0 = 1 S n Z2 , y0 ' Z2 .
[3] Sabemos que a faixa de Moebius

M e homeomorfa a X = R(1, 1) como Z -espaco.
Logo:

1 M, w0 = 1 X Z, y0 ' Z.
Assim, obtemos o mesmo resultado obtido nos captulos anteriores.
[4] Seja G o grupo gerado pelos homeomorfismos a, b : R2 R2 definidos por:
a(x, y) = (x, y + 1) e b(x, y) = (x + 1, y).

Sabemos que K = R2 G e a garrafa de Klein. Lembremos que G nao e isomorfo a
Z Z, pois satisfaz a` relaca o b a b = a. Logo:

1 K, k0 = 1 R2 G, k0 ' G.
[5] Seja : I S n um caminho
tal que (0) = (1) e : S n PRn a projeca o
canonica.
Entao 1 PRn , [(0)] e gerado por [p ].
De fato, considere o seguinte diagrama comutativo:
n
S
{=
{{{
p
{{

{{
I p / PRn
Por outro lado sabemos que:

: 1 PRn , [(0)] Z2
e definida por ([p ]]) = (1); como (0) 6= (1) e e um isomorfismo de grupos,
entao ([p ]]) e nao trivial, logo gera 1 PRn , [(0)] .

5.3. TRANSFORMAC
OES
DE RECOBRIMENTOS
5.3
105
Transformacoes
de Recobrimentos

f1 , p1 , X e X
f2 , p2 , X recobrimentos sobre X.
Sejam X
f1 X
f2 e dita um homomorfismo, se:
Definica o 5.1. A funca o h : X
1. h e contnua.
2. O seguinte diagrama comuta:
f
X2
?

h
p2

f1 p / X
X
1
isto e , p2 h = p1 .
1
Note que p2 h = p1 implica em que h : p1
a o.
1 (x) p2 (x) seja uma bijec

f1 , p1 , X e X
f2 , p2 , X recobrimentos tais que X
f1 e X
f2 sao coProposica o 5.2. Sejam X
f , xe X
f2 e x0 X arnexos e localmente conexos por caminhos. Dados xe1 X
1 2

f1 , xe1 p2 1 X
f2 , xe2 , entao
bitrarios, tais que p1 (xe1 ) = p2 (xe2 ) = x0 e se p1 1 X
f1 X
f2 contnua tal que h(xe1 ) = xe2 e o seguinte diagrama comuta:
existe h : X
f
X2
?
h
p2

f1 p / X
X
1
Isto e , p2 h = p1 e h e um homomorfismo de recobrimento.

f1 , p1 , X possui a propriedade
Prova : Utilizaremos o teorema 5.4. O recobrimento X
dos levantamentos. Denotemos por pe1 o unico

levantamento de p1 :
f
? X2
pe1
p2

f1 p / X
X
1
tal que p2 pe1 = p1 . Definamos h = pe1 .

CAPITULO
106
Exemplo 5.4.
[1] Sejam p1 : S 1 S 1 e p2 : S 1 S 1 definidas por p1 (z) = z 6n e p2 (z) = z 2n ,

respectivamente.

Como p1 1 S 1 , z0 ' 6 Z e p2 1 S 1 , z0 ' 2 Z, temos:
p1 1 S 1 , z0
' 6 Z p2 1 S 1 , z0
' 2 Z.
Pela proposica o anterior segue que existe h homomorfismo de recobrimentos, onde

temos o seguinte diagrama comutativo:
1
S
}>
h }}}
p2
}}

}}
/ S1
S1
p1
Note que h : S 1 S 1 e tal que h(z) = z 3 .

Em geral, sejam:
pm , pn : S 1 S 1 ,
onde pm (z) = z m e pn (z) = z n ; n, m Z. A existencia do levantamento e equivalente a
que
pm 1 S 1 , z0
' m Z pn 1 S 1 , z0
' n Z,
o qual e equivalente a que n divide m, isto e , temos o seguinte diagrama comutativo:

1
S
}>
h }}}
pn
}}
}}

/ S1
S1
pm
onde h(z) = z m/n .

[2] Sejam p1 : R2 T2 e p2 : S 1 R T2 tais que
p1 (s, t) = (exp(s), exp(t))
respectivamente.
Como p1 1 R2 , t0
e p2 (z, t) = (z, exp(t)),

' {0} {0} e p2 1 S 1 R, (z0 , t0 ) ' Z {0}, temos:
p1 1 R2 , t0

' {0} {0} p2 1 S 1 R, (z0 , t0 ) ' Z {0}.

5.3. TRANSFORMAC
OES
DE RECOBRIMENTOS
107
Pela proposica o anterior temos que existe h homomorfismo de recobrimentos, onde

temos o seguinte diagrama comutativo:
S; 1 R
v
v
h vv
p2
v
vv

vv
R2 p1 / T2
Note que h : R2 S 1 R e tal que h(s, t) = (exp(s), t).
Proposica o 5.3. Sejam
homomorfismo; entao

f1 , p1 , X e X
f2 , p2 , X recobrimentos e h : X
f1 X
f2 um
X

f1 , h, X
f2 e um recobrimento.
X
Prova : Note que todo x X possui uma vizinhanca conexa por caminhos que e
uma vizinhanca distinguida para cada recobrimento. De fato, escolhemos U1 e U2
vizinhancas distinguidas de x de cada recobrimento; entao consideramos U = U1 U2 .
f2 , existe x
f1
Provaremos que h e sobrejetiva. Isto e , provaremos que para todo ye X
eX
f1 e seja xe2 = h(xe1 ), x0 = p1 (xe1 ) = p2 (xe2 ); denotemos
tal que h(e
x) = ye. Fixemos xe1 X
f2 tal que (0) = xe2 e (1) = ye. Agora consideramos = p2
por um caminho em X
um caminho em X; entao existe, um unico

levantamento tal que (0) = xe1 e que
satisfaz a p1 = . Seja x
e = (1). Logo, os caminhos h e tem o mesmo ponto
inicial e p2 (h ) = p2 ; pela unicidade do levantamento temos h = , logo
h(e
x) = ye.

f1 , p1 , X e X
f2 , p2 , X , a funca o
Definica o 5.2. Dados os recobrimentos X
f1 X
f2
h:X
e um isomorfismo de recobrimento, se:
1. h e um homeomorfismo.
2. O seguinte diagrama comuta:
f
X2
?

h
p2

f1 p / X
X
1
isto e , p2 h = p1 .
108
CAPITULO
Observacoes
5.2.

f1 , p1 , X e X
f2 , p2 , X , dizemos que os recobrimentos
1. Se existe isomofismo entre X
sao isomorfos.
de reco2. Os isomorfismos de recobrimentos tambem sao chamados transformacoes
brimentos.

f1 , p1 , X e X
f1 e X
f2 sao
Proposica o 5.4. Sejam X
f , xe X
f2 e x0 X tais que
conexos e localmente conexos por caminhos. Dados xe1 X

1 2
f1 , xe1 = p2 1 X
f2 , xe2 , entao existe h : X
f1 X
f2
p1 (xe1 ) = p2 (xe2 ) = x0 e se p1 1 X
homeomorfismo tal que h(xe1 ) = xe2 e o seguinte diagrama comuta:
f
X2
?

h
p2

f1 p / X
X
1
isto e , p2 h = p1 e h e um isomorfismo de recobrimento.

Prova : Novamente utilizaremos o teorema 5.4. Ambos os recobrimentos possuem a
propriedade dos levantamentos. Denotemos por pe1 e pe2 os unicos

levantamentos de p1
e p2 , tais que os seguintes diagramas comutam:
f
? X2
pe1
p2

f1 p / X
X
1
? X1
pe2
p1

f2 p / X
X
2
isto e , p2 pe1 = p1 e p1 pe2 = p2 . Denotemos por:

f1 X
f1 ;
f = pe2 pe1 : X
logo, f (xe1 ) = (pe2 pe1 )(xe1 ) = pe2 (xe2 ) = xe1 . Entao, f = idXf1 e, consequentemente, pe1 e
injetiva e pe2 sobrejetiva. Analogamente, definimos:
f2 X
f2 ;
g = pe1 pe2 : X
temos que g = idXf2 e, consequentemente, pe2 e injetiva e pe1 sobrejetiva. Definimos
h = pe1 .
Em particular, temos o seguinte corolario:

5.3. TRANSFORMAC
OES
DE RECOBRIMENTOS
109

f1 , p1 , X e X
f1 e X
f2 sao simCorolario 5.4. Sejam X
plesmente conexos e localmente conexos por caminhos. Entao, existe um homeomorfismo, tal que o seguinte diagram comuta:
f
X2
?

h
p2

f1 p / X
X
1
O seguinte corolario e uma recproca da proposica o anterior.

f1 , p1 , X e X
f1 e X
f2 sao coCorolario 5.5. Sejam X
f1 , xe2 X
f2 e x0 X tais que
nexos e localmente conexos por caminhos. Dados xe1 X
f1 X
f2 homeomorfismo tal que p2 h = p1 e
p1 (xe1 ) = = p2 (xe2 ) = x0 , se existe h : X
h(xe1 ) = xe2 , entao:
f1 , xe1
p1 1 X
f2 , xe2
= p2 1 X
O seguinte teorema determina completamente os possves recobrimentos de um espa

e x
co, salvo isomorfismos, pela classe de conjugaca o de p 1 X,
e .

f1 , p1 , X e X
f2 , p2 , X sao isomorfos se, e somente
Teorema 5.6. Os recobrimentos X
f1 , xe2 X
f2 e x0 X tais que p1 (xe1 ) = p2 (xe2 ) = x0 , os subgrupos
se para todos xe1 X

f1 , xe1 e p2 1 X
f2 , xe2 estao na mesma classe de conjugaca o em 1 X, x0 .
p1 1 X
Prova A prova segue do corolario anterior e do teorema 5.4.
Observacoes
5.3.
e =X
f
f
1. Se X
1 = X2 , os isomorfismos sao chamados automorfismos do recobrimento
e
X, p, X .

e formam um grupo com a
2. Nao e difcil provar, que os automorfismos de X, p, X
composta de funcoes.
Denotemos este grupo por:

e = {h : X
e X
e / h isomorfismo tal que p h = p}.
Aut X, p, X

e define uma permutaca o em cada fibra p1 (x).
3. Cada h Aut X, p, X

e e um Aut X, p, X
e -espaco com a aca o:
4. Note que X

e X
e X
e
: Aut X, p, X
(h,e
x) h x
e = h(e
x)
Dos teoremas anteriores, segue imediatamente:
110
CAPITULO

e ex
e Um automorfismo h e completamente deCorolario 5.6. Sejam X, p, X
e X.

e com h1 (e
terminado pelo valor h(e
x). Isto e , se h1 , h2 Aut X, p, X
x) = h2 (e
x), entao
h1 = h2 .
Note que se x0 X e xe0 p1 (x0 ), entao h(xe0 ) p1 (x0 ). Utilizando este corolario
podemos construir automorfismos, pois, os automorfismos sao completamente determinados por seus possveis valores na fibra. Sejam x0 X e xe0 p1 (x0 ). Podemos
construir os automorfismos associando a h(xe0 ) os possveis valores em p1 (x0 ).
Exemplo 5.5.

[1] Seja R, exp, S 1 ; entao para cada n Z, temos:
Tn : R R
x x + n.
Tn sao automorfismos tais que Tn (0) = n, para todo n Z. Por outro
As translacoes
lado sabemos que exp1 (1) ' Z. Logo, estes sao todos os possveis automorfismos;
entao:

Aut R, exp, S 1 = {Tn / Tn (x) = x + n, n Z, x R}.

[2] Seja R2 , p, T2 ; entao, para cada (n, m) Z Z, temos:
Tn,m : R2 R2
(x, y) (x + n, y + m).
Tn,m sao automorfismos tais que Tn,m (0, 0) = (n, m), para todo (n, m)
As translacoes
Z Z. Por outro lado sabemos que p1 (1) ' Z Z. Logo, estes sao todos os possveis
automorfismos; entao:

Aut R2 , p, T2 = {Tn,m / Tn,m (x, y) = (x + n, y + m), (n, m) Z2 , (x, y) R2 }.

[3] Em geral, seja Rn , p, Tn ; entao, para cada v Zn , temos:
Tv : Rn Rn
x x + v.
Tv sao automorfismos tais que Tv (0, 0) = v, para todo v Zn . Por outro
As translacoes
lado sabemos que p1 (1) ' Zn . Logo, estes sao todos os possveis automorfismos;
entao:

5.3. TRANSFORMAC
OES
DE RECOBRIMENTOS
111

Aut Rn , p, Tn = {Tv / Tv (x) = x + v, v Zn , x Rn }.

[4] Seja PRn , , S n . Como sabemos 1 (1) ' Z2 . Logo, estes sao todos os possveis
automorfismos; entao:

Aut PRn , , S n = {id, a},
onde a e funca o antpoda.
[5] Sejam X, , M , onde M e a faixa de Moebius

e X = R (1, 1); entao para cada
n Z, temos:
Tn : R (1, 1) R (1, 1)
(x, y) (x + n, (1)n y).
Tn sao automorfismos tais que Tn (0, 0) = (n, 0), para todo n Z. Por outro lado
sabemos que 1 (1) ' Z. Logo, estes sao todos os possveis automorfismos; entao:

Aut X, , M = {Tn / Tn (x, y) = (x + n, (1)n y), n Z, (x, y) X}.
e e conexo e localmente conexo por caminhos, entao Aut X,
e p, X
Teorema 5.7. Se X
e Em particular:
atua de forma totalmente descontnua sobre X.

e X
e Aut X,
e p, X
:X
e um recobrimento.
e e U uma vizinhanca distinguida de p(e
Prova : Sejam x
eX
x) = x; entao:
[
p1 U =
Vj ,
jJ
onde Vj sao disjuntas aos pares e cada Vj e homeomorfa a U . Logo, existe um k J tal

e p, X :
que x
e Vk . Seja h Aut X,
i) Se h(e
x) = x
e, entao sabemos que h = idXe . Veja o captulo anterior.

ii) Se h 6= idXe , como p h(e
x) = p(e
x) segue que h(e
x) Vs , para algum s J.
iii) Se Vk = Vs , entao h(e
x) = x
e. Logo, se h 6= idXe , entao x
e Vk e h(e
x) Vs e Vk
e
Vs = . Por outro lado, U e conexo por caminhos pois X e X sao localmente conexos
por caminhos
e os Vj tambem sao conexos por caminhos. Por outro lado, note que

(p h) Vk = U e:

CAPITULO
112
[
h Vk
Vj ;
jJ

como h(e
x) Vs , para algum x
e Vk , temos que h Vk Vs ; logo Vk h Vk = ; a aca o
e totalmente descontnua.
e e conexo e localmente conexo por caminhos e p 1 X,
e xe0
Teorema 5.8. Se X

subgrupo normal de 1 X, x0 , entao:
e um

e Aut X,
e p, X ,
X
=X
onde
= denota homeomorfismo.
e xe0
Prova : Se p 1 X,

e um subgrupo normal de 1 X, x0 , sabemos que:
e xe0
p 1 X,

e xe1 , para todo x1 p1 (x0 ).
= p 1 X,

e p, X tal que h(xe0 ) = xe1 . Reciprocamente, se h(xe0 ) = xe1
Logo, existe h Aut X,

e p, X , entao p(xe0 ) = p(xe1 ). Isto e , o grupo Aut X,
e p, X idenpara algum h Aut X,
e da mesma forma que os identifica a aplicaca o de recobritifica cada elemento de X

e Aut X,
e p, X . Por outro lado, X e
mento p. Logo, existe uma bijeca o entre X e X

e Aut X,
e p, X tem a topologia quociente determinada por p e , respectivamente.
X
Logo:

e Aut X, p, X
e .
X
=X

e um recobrimento tal que X
e e conexo e localmente conexo
Corolario 5.7. Seja X, p, X

e xe0 e um subgrupo normal de 1 X, x0 , onde p(xe0 ) = x0 ,
por caminhos. Se p 1 X,
entao
1 X, x0

e xe0 ' Aut X,
e p, X .
p 1 X,
e e simplesmente conexo, entao:

Em particular, se X

e p, X .
1 X, x0 ' Aut X,

5.3. TRANSFORMAC
OES
DE RECOBRIMENTOS
113
Exemplo 5.6.

[1] Seja Rn , p, Tn . Como Rn e simplesmente conexo, temos que:

Zn
= 1 Tn , x0
= Aut Rn , p, Tn .
Por outro lado, sabemos que:

Aut Rn , p, Tn = {Tv (x) = x + v / v Zn , x R}.
Logo, pelo teorema 5.8, obtemos novamente que:

Rn Zn
= Tn .

[2] Seja PRn , , S n . Como S n e simplesmente conexa (n > 1), temos que:

Z2
= 1 PRn , x0
= Aut PRn , , S n .

Aut PRn , , S n = {id, a},
onde a e a funca o antpoda. Pelo teorema 5.8, obtemos novamente que:

S n Z2
= PRn .

[3] Seja S 1 , p, S 1 tal que p(z) = z n , (n N); entao como 1 S 1 , x0 ' Z, temos que
p 1 S 1 , x 0
' nZ
e normal em Z e:

e xe0 ' Z nZ.
Aut S 1 , p, S 1
= 1 X, x0 p 1 X,

Isto e , Aut S 1 , p, S 1 e um grupo finito de ordem n. Pelo teorema 5.8, obtemos novamente que:

S 1 Z nZ
= S 1.
[4] Seja X, , M , onde M e a faixa de Moebius

e X = R (1, 1). Como X e simplesmente conexo, temos que:

Z
= 1 M, m0
= Aut X, , M .
114
CAPITULO

Aut X, , M = {Tn / Tn (x, y) = (x + n, (1)n y), n Z, x R}.
Pelo teorema 5.8, obtemos novamente que:

X Z
= M.

[5] Seja R2 , , K , onde K e a garrafa de Klein. Como R2 e simplesmente conexo,
temos que:

Aut R2 , , K ' 1 K, x0 ' G,
onde G e o grupo gerado pelos homeomorfismos a, b : R2 R2 definidos por:
a(x, y) = (x, y + 1) e b(x, y) = (x + 1, y),
com a relaca o b a b = a. Logo, os automorfismos sao:

Aut R2 , , K = {Tn,m / Tn,m (x, y) = ((1)n x + m, y + n), n, m Z, (x, y) R2 }.
Note que:
Tn,m (0, 0) = (m, n)
T1,0 (x, y) = a(x, y)
T0,1 (x, y) = b(x, y).

R2 G
= K.

[6] Seja L(p, q), , S 2n+1 . Como S 2n+1 e simplesmente conexo, entao:

Aut L(p, q), , S 2n+1 ' 1 L(p, q), x0 ' Zp .

S 2n+1 Zp
= L(p, q).

5.3. TRANSFORMAC
OES
DE RECOBRIMENTOS
115
Observacoes
5.4.
1. Sabemos que o teorema 5.6 determina completamente os possves recobrimentos de

e x
um espaco, salvo isomorfismo, pela classe de conjugaca o dos subgrupos p 1 X,
e .
A recproca sera verdadeira? Isto e , dada uma classe de conjugaca o de subgrupos de

e x
e tal que p 1 X,
e x
1 X,
e existe um recobrimento X, p, X
e pertence a esta classe
de conjugaca o? Em geral, a resposta a esta questao e negativa.

2. Note que sempre temos o recobrimento X, id, X correspondente a` classe de conjugaca o do subgrupo 1 X, x .

e e dito universal de X, se X
e e conexo, localmente
Definica o 5.3. O recobrimento X, p, X
conexo por caminhos e simplesmente conexo.
Exemplo 5.7.

[1] R, exp, S 1 e o recobrimento universal de S 1 .

[2] Analogamente, R2 , (exp, exp), T2 e o recobrimento universal de T2 .

[3] Em geral, Rn , (exp, . . . , exp), Tn e o recobrimento universal de Tn .

[4] S 1 R, (id, exp), T2 nao e um recobrimento universal de T2 .
[5] X, , M , onde M e a faixa de Moebius

e X = R(1, 1) e o recobrimento universal
de M .

[6] R2 , , 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 numero
de folhas do recobrimento
universal e a ordem do grupo
fundamental da

n
1
n
base. Por exemplo, R, exp, S tem infinitas folhas e S , , PR , (n > 1) tem 2 folhas.

e recobrimento universal de X. Para todo X
f1 , p1 , X tal
f1 e conexo, existe h : X
e X
f1 homomorfismo tal que o seguinte diagrama e
que X
comutativo:
f
X1
?
h
p1

e p /X
X
isto e , p1 h = p.
e e xe1 X
f1 tais que p(e
Prova : Para todo x
eX
x) = p1 (xe1 ) temos:

f1 , xe1 .
e x
e p1 1 X
{0} ' p 1 X,

CAPITULO
116
Pela proposica o 5.3 e a proposica o anterior, temos que:

e o recobrimento universal de X, para todo recobrimento X
f1 , p1 , X ,
Dado X, p, X

e X
f1 tal que X,
e h, X
f1 e um recobrimento de X
f1 . Isto
existe homomorfismo h : X
justifica o nome de recobrimento universal.
f
X1
?
h
p1

e p /X
X
Segue diretamente do corolario 5.5, que dois recobrimentos universais de um mesmo
espaco sao isomorfos. Neste sentido, o recobrimento universal, se existe, e unico.
E possvel provar a existencia do recobrimento universal de um espaco com hipoteses

bastante gerais.
5.4 Aplicacoes
Um problema bastante complicado e determinar todos (a menos de isomorfismo) os

recobrimentos de um espaco dado. Neste paragrafo, estudaremos alguns exemplos
com a hipotese
de que o espaco de recobrimento e conexo. Utilizaremos o seguinte
corolario dos paragrafos anteriores.
Teorema 5.9.
Seja X conexo e localmente conexo por caminhos possuindo recobrimento universal

e . Dado G 1 X, x0 um subgrupo, existem um recobrimento X
eG , p, X e
X, p, X
y0 p1 (x0 ), tais que:
e G , y0
p 1 X
= G.

e p, X sao isomorfos. Seja G 1 X, x0 um
Prova : Sabemos que 1 X, x0 e Aut X,

e p, X o subgrupo correspondente, dado pelo
subgrupo e consideremos G0 Aut X,
isomorfismo; denotemos por:

eG = X
e G0 .
X
A relaca o de equivalencia esta definida por:
xy
se, e somente se, existe g G0 tal que g(x) = y.
eG a topologia quociente determinada pela projeca o canonica:
Demos a X

5.4. APLICAC
OES
117
e X
eG .
:X
Definamos a seguinte aplicaca o:

eG X
pG : X
G0 x
e p(e
x).
Isto e , temos o seguinte diagrama comutativo:
e
XG
~?
~
~
pG
~
~~
~
~

e p /X
X
De fato, todo elemento da orbita de x
e e da forma h(e
x), onde h G0 ; como G0 e um
subgrupo de automorfismos, temos que:
(p h)(e
x) = p(e
x),
entao pG = p. Logo, pG e bem definida e sobrejetiva. Por outro lado, G0 age de
forma totalmente descontnua; pelo que foi visto nos paragrafos anteriores, pG e um
recobrimento. Em particular pG e um homeomorfismo local; como X e localmante
eG e localmente conexo. X
e e simplesmente conexo, X
eG e conexo; como
conexo, entao X
e e o recobrimento universal
e um homomorfismo de recobrimento, em particular, X
eG , logo:
de X

e G , y 0 ' G0 .
1 X
e G , y0
Note que para verificar que p 1 X
comuta:
= G, basta verifica que o seguinte diagrama

eG , y0
1 X
pG y
1 X, x0
G0
yi
H

e , e sao isomorfismos e i e a inclusao. De fato, como
onde H = Aut X, p, X
pG = 1 i = 1 , entao:
e G , y0
pG 1 X
e G , y0
= 1 1 X
Consideremos o diagrama comutativo:
= 1 G0 ) = G.
118
CAPITULO
XG
~?
~
~
pG
~
~~
~
~

e p /X
X

eG , y0 ; definimos:
tal que p(xe0 ) = x0 , (xe0 ) = y0 e pG (y0 ) = x0 . Seja [] 1 X
: I X,

tal que = pG . Note que [] 1 X, x0 , pois (0) = pG ((0)) = pG (y0 ) = x0 e
(1) = pG ((1)) = pG (y0 ) = x0 . Consideremos
e o levantamento de a partir de xe0 ,
isto e :
p
e = .
Por outro lado, pG = p e p
e = pG
e; logo:
pG
e =p
e = = pG .
Note que (e
(0)) = (xe0 ) = y0 . Logo, e
e tem ponto inicial y0 ; entao
e e sao
levantamentos de partindo de y0 .
p
e
X
yid
G
eG p
I X
X
Pela unicidade dos levantamentos:
e = .
e de ; entao [
Logo,
e e um levantamento em X
e] = []. Como
e e sao levantamentos em X, as imagens ([]) e ([]) sao unicamente determinadas por xe0 e
e(1). Logo,
([]) =
e(1) = ([]). Por outro lado, ([]) = (pG ([])); entao:
(pG ([])) = ([]).
5.5. RECOBRIMENTOS DE SN , (N > 1)
5.5
119
Recobrimentos de Sn, (n > 1)
n+1
n
Seja S n
R , (n 2) a esfera unitaria. Como S e simplesmente conexa, entao
n
1 S , z0 ' {e}, (n 2). Logo, temos que, o unico

subgrupo possvel e o subgrupo
trivial, o qual e associado ao recobrimento universal.

eG = S n {e} = S n e o recobrimento universal e:
De fato: X
id : S n S n ,
e o unico
recobrimento de S n , (n > 1).

e p, S n e isomorfo a este recobrimento.
Logo, todo recobrimento X,
5.6
Recobrimentos dos Espacos Lenticulares

Seja L(p, q1 , . . . , qn ) = S 2n+1 Zp o espaco lenticular. Sabemos que

1 L(p, q1 , . . . , qn ), y0 ' Zp ,
onde p e um numero
primo e os qi sao inteiros, primos relativos com p. Logo, os unicos
subgrupos de Zp sao {e} e Zp , entao:

eG = S 2n+1 {e}
i) O recobrimento universal: X
= S 2n+1 , e:
: S 2n+1 L(p, q1 , . . . , qn ),
onde e a projeca o canonica.

eG = S 2n+1 Zp
ii) O outro recobrimento e X
= L(p, q1 , . . . , qn )), e:
id : L(p, q1 , . . . , qn ) L(p, q1 , . . . , qn ).

e p, L(p, q) e isomorfo a um destes recobrimentos.
5.7
Recobrimentos do Espaco Projetivo Real

Seja PRn , (n 2) o espaco projetivo real. Sabemos que 1 PRn , p0 e um grupo finito
de ordem 2, isomorfo a Z2 . Por outro lado Z2 admite somente dois subgrupos: {e} e
Z2 . Entao, temos:

eG = S n {e} = S n e o recobrimento universal:
i) X
: S n PRn ,

CAPITULO
120
onde e a projeca o canonica.

O grupo de automorfismos e :

1 PRn , p0 ' Aut S n , , PRn = {id, a},
onde a e a funca o antpoda.

eG = S n Z2 = PRn e:
ii) X
id : PRn PRn ,
e recobrimento trivial.

e p, PRn e isomorfo a um destes recobrimentos.
5.8
Recobrimentos do Crculo

Sejam S 1 C e z0 = (1, 0). Sabemos que 1 S 1 , z0 e um grupo cclico infinito, isomorfo
a Z. Os subgrupos de Z sao do tipo: Gn = n Z, (n 0).
e = R e o recobrimento universal de S 1 que e associado ao subgrupo {e}, onde:
i) X
exp : R S 1 .

e 0 = R {e} ' R. O grupo de automorfismos e :
De fato, X
G

Aut R, , S 1 = {Tk (z) = z + k / k Z, z S 1 }.
Note que exp Tk = exp, para todo k Z.

eG0 = R G0 ' S 1 ; logo, temos:
ii) Se G0 ' Z, entao X
id : S 1 S 1 ,
o recobrimento trivial.
iii) Os subgrupos Gn = nZ, ( n N) sao associados aos recobrimentos:
pn :S 1 S 1
z z n .
De fato, o subgrupo Gn tem como subgrupo correspondente pelo isomorfismo:
0
Gn = {Tn (z) = z + n / n Z, z S 1 }.
Logo:
5.9. RECOBRIMENTOS DO TORO
121

e G = R G0 ' S 1 ,
X
n
pois:
x x + n,
n Z.
Por exemplo, seja o subgrupo 4 Z que tem como subgrupo correspondente pelo isomorfismo:
0
G4 = {T4 (z) = z + 4 / z S 1 }.
0
0
Todos os pontos de R sao equivalentes a um elemento de [0, 4] por G4 ; logo R G4 e
[0, 4], salvo 0 e 4 que sao equivalentes, isto e :
0
R G4 ' S 1 .
Note que a aplicaca o T4 : R R induz p4 , que corresponde a dar 4 vezes a volta ao
redor do crculo.
T
4
R
p4
S 1 S 1

e p, S 1 e isomorfo a um destes recobrimentos.
5.9
Recobrimentos do Toro

Sejam T2 o toro e z0 = (0, 0). Sabemos que 1 T2 , z0 e um grupo cclico infinito com 2
geradores, isomorfo a Z Z. Logo, os possveis subgrupos sao:
i) Subgrupos cclicos com um gerador.
ii) Subgrupos cclicos com dois geradores.

eG = R2 G0,0
O recobrimento universal do toro: X
= R2 :
: R2 T2 .

Aut R2 , , S 1 S 1 = {Tk,l (x, y) = (x + k, y + l) / k, l Z, (x, y) R2 }.
Compondo com o homeomorfismo: T2
= S 1 S 1 , temos:

CAPITULO
122
p : R2 T2
(s, t) (exp(s), exp(t)).
i) Subgrupos gerados por um gerador.
Os subgrupos gerados por vetores paralelos a (1, 0): Gk,0 (k 1) tem como subgrupo
correspondente pelo isomorfismo:
0
Gk,0 = {Tk (x, y) = (x + k, y) / k Z, (x, y) R2 },

os quais, sao associados aos cilindros. De fato:
(x, y) (x + k, y), (x, y) R2 ;
logo:
0
R2 Gk,0 = {(x, y) / 0 x k} ' S 1 R.
= S 1 S 1 , temos:
p : S 1 R T2
(z, t) (z, exp(t)).
Figura 5.1: Cilindro recobrindo o toro
123
Analogamente, os subgrupos gerados por vetores paralelos a (0, 1): G0,l (l 1), tem
como subgrupo correspondente pelo isomorfismo:
0
G0,l = {Tl (x, y) = (x, y + l) / l Z, (x, y) R2 },

os quais, sao associados aos cilindros. De fato:
(x, y) (x, y + l), (x, y) R2 ;
logo:
0
R2 G0,l = {(x, y) / 0 y l} ' R S 1 .
= S 1 S 1 , temos:
p : R S 1 T2
(t, z) (exp(t), z).
Figura 5.2: Cilindro recobrindo o toro

Os subgrupos Gk,l gerados por vetores (k, l) sao, em geral, faixas do tipo:
Gk,l = {(x, y) / 0 (x, y) (k, l) k(k, l)k2 },
onde e o produto interno usual do plano.
124
CAPITULO
Figura 5.3:
rotacoes
(que sao homeomorfismos), obtemos que:
Logo, apos
0
R2 Gk,l
= C,
onde C e um cilindro.
Utilizando a estrutura multiplicativa do grupo T2
=
= S 1 S 1 , temos que:
p : C T2
(z, t) (z k e2lt , z l e2kt ).
Se l = 0, temos que (z, t) (z k , e2kt ) que corresponde ao produto de dois recobrimentos, o primeiro finito de S 1 e o segundo o universal.
ii) Subgrupos com dois geradores.

Sao subgrupos gerados por um par de vetores linearmente independentes. Em geral,
estes subgrupos sao associados a retangulos:
125
Figura 5.4:
Portanto os espacos de recobrimento resultantes sao toros. Se o subgrupo e gerado por

vetores (a, b) e (c, d), linearmente independentes e utilizando a estrutura multiplicativa
do grupo T2
= S 1 S 1 , temos que:
p : T2 T2
(z, w) (z a wc , z b wd ).
Se c = b = 0, temos que (z, w) (z a , wd ) que corresponde ao produto de dois recobrimentos finitos de S 1 .
Distintos pares de geradores geram distintos
subgrupos se o conjunto de geradores
nao sao equivalentes por Aut R2 , , S 1 S 1 .
Por exemplo, o subgrupo 3 Z {0} 2 Z {0} ' 3 Z 2 Z, tem como subgrupo corres0
pondente pelo isomorfismo a G3,2 , o qual e gerado por:
T3,0 (x, y) = (x + 3 k, y) e
T2,0 (x, y) = (x, y + 2 l).
0
0
Todo ponto de R2 e equivalente por G3,2 a um ponto de [0, 3] [0, 2]; logo R2 G3,2 e um
toro.
126
CAPITULO
2
Figura 5.5: Recobrimento de 6 folhas do toro

A projeca o envia os seis retangulos no retangulo original do toro. Logo, e um recobrimento de 6-folhas do toro
O subgrupo G gerado por (0, 2) e (1, 1), produz o seguinte recobrimento do toro:
Figura 5.6: Recobrimento do toro
O numero
de recobrimentos de k l folhas e determinado pela fatoraca o de k l. Por
exemplo, para recobrimentos de 6 folhas temos:

5.10. RECOBRIMENTOS DA FAIXA DE MOEBIUS
127
6 1 = 3 2 = 2 3 = 1 6.
Verifique se os recobrimentos anteriores de 6 folhas sao isomorfos.

e conexo por caminhos de Tn e :
Em geral, se Tn = Rn Zn , entao todo recobrimento X,
e ' Tm Rnm ,
X
onde T0 = {x0 }.
e
De fato, o recobrimento universal de Tn e Rn . Por outro lado, todo recobrimento X,
conexo por caminhos e isomorfo a:

Rn G,

onde G e um subgrupo de 1 Tn , (0, . . . , 0) que e isomorfo a Zn . Logo, existem v1 , v2 ,
. . ., vm Zn linearmente independentes tais que G e gerado por estes vetores. Utili
zando a mudanca de bases para base canonica
e1 , e2 , . . . , em de Rm , temos:

Rn < e1 , e2 , . . . , em >' Rm < e1 , e2 , . . . , em > Rnm ' Tm Rnm ,
onde < e1 , e2 , . . . , em > e o subgrupo gerado pelos elementos e1 , e2 , . . . , em .
5.10
Recobrimentos da Faixa de Moebius
Seja M a faixa de Moebius.

Sabemos que 1 M, z0 e um grupo cclico infinito, isomorfo
a Z. Os subgrupos de Z sao do tipo: Gn = n Z, (n 0). Denotemos: X = R (1, 1).
e = X e o recobrimento universal de M associado ao subgrupo G0 , onde:
i) X
e 0
De fato, X
G
: X M.

= X {e} ' X. O grupo de automorfismos e :

Aut X, , M = {Tk / Tk (x, y) = (x + k, (1)k y), k Z, (x, y) X}.
Note que Tk (0, y) = (k, (1)k y). Isto e :
(0, y) (k, (1)k y).

CAPITULO
128
Figura 5.7: Recobrimento universal da faixa de Moebius

eG0 = X G0 ' M ; logo temos:
ii) Se G0 = Z, entao X
id : M M,
o recobrimento trivial.
iii) De forma analoga ao caso do crculo, os subgrupos Gn = nZ ( n N), sao associados, pelo isomorfismo, a subgrupos:
0
Gn = {Tn / Tn (x, y) = (x + n, (1)n y), n Z, (x, y) X}.

Logo:
(x, y) (x + n, (1)n y).
Os recobrimentos:

eGn = X G0 ,
X
n
onde todo ponto de X e equivalente a (x, y) com 0 x n. Obtemos recobrimentos
de n folhas. Logo:
eGn e um cilindro. De fato:
i) Se n e par, X
(x, y) (x + n, y).

Por exemplo X 2 Z:

5.10. RECOBRIMENTOS DA FAIXA DE MOEBIUS
129
Figura 5.8: Recobrimento da faixa de Moebius

associado a 2 Z
eGn e uma faixa de Moebius.
ii) Se n e mpar, X
De fato:
(x, y) (x + n, y).

Por exemplo X 3 Z:
Figura 5.9: Recobrimento da faixa de Moebius

associado a 3 Z
130
CAPITULO
5.11 Recobrimentos da Garrafa de Klein

Seja a garrafa de Klein: K = R2 G, onde G e o grupo gerado pelos homeomorfismos
a, b : R2 R2 definidos por:
a(x, y) = (x, y + 1) e b(x, y) = (x + 1, y),

tal que b a b = a. Sabemos que 1 K, p0 ' G.
Note que se g G, entao g = am bn , m, n Z de forma unica,

e:
am bn ar bs = am+r b(1)
(am bn )1 = am b(1)
n+s
m+1
Os possveis subgrupos de G sao:

i) Os subgrupos cclicos do tipo:
Hm,n = (am bn ).
ii) Os subgrupos cclicos do tipo:
Hm,n,k = (am bn , bk )
tal que m 6= 0, k > 0 e 0 n < k.

eG = R2 {e}
O recobrimento universal: X
= R2 :
: R2 K.

Aut R2 , , K = {Tm,n / Tm,n (x, y) = ((1)m x + n, y + m), n, m Z}.
Isto e :
(x, y) ((1)m x + n, y + m).

eG = R2 Hm,n e:
i) Consideramos X

p : R2 Hm,n K,
onde p e a projeca o canonica.

E possvel provar que se m e par, entao:
5.11. RECOBRIMENTOS DA GARRAFA DE KLEIN

R2 Hm,n ' S 1 R,
e se m e mpar, entao:

R2 Hm,n ' M,
onde M e a faixa de Moebius.

Por exemplo, seja Hm,0 = {Tm,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:

R2 Hm,0 ' S 1 R.
Se m e mpar, temos:
(x, y) (x, y + m), m Z

logo, R2 Hm,0 ' M .
ii) Os subgrupos:
Hm,n,k = (am bn , bk )
tais que m 6= 0, k > 0 e 0 n < k. Consideramos:

eG = R2 Hm,n,k
X
e a projeca o canonica:

p : R2 Hm,n,k K.
E possvel provar que se m e par, entao:

R2 Hm,n,k ' T2 ,
e se m e mpar, entao:

R2 Hm,n,k ' K.
Por exemplo, consideremos o subgrupo Hm,0,k que e gerado pelos automorfismos:
131
132
CAPITULO
Tm,0 (x, y) = ((1)m x, y + m)

T0,k (x, y) = (x + k, y).
Entao, se m e par:
(x, y) (x, y + m)
(x, y) (x + k, y).
Logo:

R2 Hm,0,k ' T2 .
Se m e mpar:
(x, y) (x, y + m)
(x, y) (x + k, y).
Logo:

R2 Hm,0,k ' K.
O seguinte recobrimento e determinado pelo subgrupo gerado por T2,0 e T1,3 :
Figura 5.10: Recobrimento da garrafa de Klein
DO GRUPO FUNDAMENTAL SOBRE AS FIBRAS

5.12. AC
AO
5.12
133
Aca o do Grupo fundamental sobre as Fibras

e um recobrimento. Nao e dificil verificar que existe uma aca o natural do
Seja X, p, X
grupo fundamental de X sobre as fibras do recobrimento.
Dado x X, definiremos

: 1 X, x p1 (x) p1 (x)
([], x
e) [] x
e=
e(1),
levantamento de tal que p ([e
onde
e e o unico
]) = [] e
e(0) = x
e. Claramente, p1 (x)
e um 1 X, x -espaco.
Seja X um G-espaco. A aca o do grupo G sobre o conjunto X e dita transitiva se para
todo x1 , x2 X existe g G tal que gx1 = x2 . Lembremos que o subgrupo de isotropia
do elemento x0 X e :
{g G / g x0 = x0 }.

e um recobrimento. Temos:

1. 1 X, x atua transitivamente sobre p1 (x).

e x
2. Para todo x
e p1 (x), o subgrupo de isotropia de x
e e p 1 X,
e .

e ,x
3. Para todo h Aut X, p, X
e p1 (x) e [] 1 X, x , temos que:
h([] x
e) = [] h(e
x).
Prova :
e e conexo por caminhos, existe um caminho
e tal que
1. Sejam x1 , x2 p1 (x), como X
e(0) = x1 e
e(1) = x2 . Definamos = p
e, entao:
(0) = p(xe1 ) = x = p(xe2 ) = (1);

logo, [] 1 X, x e [] xe1 = xe2 .
2. Segue da definica o da aca o.
e o unico
levantamento de tal que
e(0) = x
ee
3. Seja [] 1 X, x ; denotemos por
e
p
e = . Logo, []e
x=
e(1); consideremos h
e caminho em X tal que (h
e)(0) = h(e
x)
e (h
e)(1) = h(e
(1)), entao:
134
CAPITULO

p h(e
) = p h
e = p(e
) = .
Logo, h(e
) tambem e um levantamento de . Pela definica o da aca o :

[] h(e
x) = h
e (1) = h(e
(1)) = h([] x
e).

5.13. EXERCICIOS
5.13
135
Exerccios

e e dito regular se para algum xe0 X
e o subgrupo
1. Um recobrimento X, p, X
e xe0
p 1 X,

e normal de 1 X, x0 . Verifique que se [] 1 X, x0 , entao todos os levantamentos de sao caminhos fechados ou nao sao fechados.

e um recobrimento tal que X = X
e G, onde G e um grupo que age
2. Seja X, p, X

e Prove que X, p, X
e e regular.
de forma totalmente descontua sobre X.
3. Seja X = R [0, 1] C e definamos o homeomorfismo
T : X X
z z + 1 + i.

SeG e o grupo gerado por T , calcule 1 X G, x0 . (Verifique primeiramente que
X G e homeomorfa a` faixa de Moebius).

4. Verifique que o sinal negativo no expoente da primeira componente de
p : C T2
(z, t) (z k e2lt , z l e2kt ).
e coerente com a descrica o dos geradores do toro.
136
CAPITULO
Captulo 6
TEOREMA DE SEIFERT - VAN
KAMPEN
6.1
Introduca o
O Teorema de Seifert-Van Kampen e um classico da Topologia Algebrica e e uma ferramenta poderosa, que nos permitira determinar o grupo fundamental de um espaco
topologico,
conhecendo apenas alguns dos grupos fundamentais de subconjuntos es
peciais do espaco topologico. Por exemplo, considere a figura do numero
oito. Topologicamente esta figura e homeomorfa a uniao de dois crculos, disjuntos, salvo num
unico
ponto em comum; utilizando o Teorema de Seifert-Van Kampen, poderemos determina-lo a partir do grupo fundamental do crculo.
Figura 6.1: Uniao de dois crculos, com um ponto comum.
O Teorema de Seifert-Van Kampen, tem alguns pre-requisitos da Teoria dos Grupos,

que sao necessarios para seu completo entendimento. Nos paragrafos seguintes, apresentaremos de forma bastante sucintas estes pre-requisitos.
137
138
CAPITULO
6. TEOREMA DE SEIFERT - VAN KAMPEN
6.2 Grupos Livres

Nesta seca o, iniciamos o estudo de alguns conceitos da Teoria dos Grupos, o suficiente
para entender e aplicar o Teorema de Seifert-Van Kampen. Para mais detalhes e/ou
aprofundamentos destes topicos,

veja qualquer livro de Algebra
intermediaria.
Definica o 6.1. Seja S 6= 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 funca o h : S G, onde G
e um grupo arbitrario, existe um unico

homomorfismo g : F G, tal que o seguinte
diagrama comuta:
F
?

g

/
S h G
i
Isto e , g i = h
Nao e difcil ver que fixado o conjunto S, existe um unico

grupo livre F , a menos
de isomorfismos. A existencia dos grupos livres pode ser vista em qualquer livro de
Algebra
intermediaria.
Nao e difcil ver que o grupo livre G gerado por um unico

elemento e isomorfo a Z. De
fato a unica
aplicaca o injetiva h : {a} Z e dada por h(a) = 1, tal que:
G
|>
i |||
{a}
||
||
/Z
Se S e um conjunto finito com n elementos, o grupo livre gerado por S e dito grupo
livre com n geradores. Grupos livres com n > 1 geradores, sao grupos infinitos nao
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 inclusao natural i : S G
pode ser unicamente estendida a um homomorfismo sobrejetivo f : F G, onde F
e o grupo livre sobre S. Denotando por R = ker(f ), pelo teorema do isomorfismo de
grupos temos:
F/R
= G.
de G e que S e um sistema ou um conjunto de
Dizemos que R e o grupo de relacoes
geradores de G. O par (S, R) e dito representaca o do grupo G.
6.2. GRUPOS LIVRES
139
Note que sempre temos o seguinte: se G e o grupo gerado por S; entao, (S, ) e uma
representaca o de G.
A representaca o de um grupo nao e unica.

De fato, os grupos com representacoes
({x}, ) e ({x, y}, y) sao isomorfos. Na verdade todo grupo G tem uma representaca o
R),
para isto, basta considerar:
(S,
S = G
= {(g1 g2 ) g 1 g 1 ; g1 , g2 G}.
e R
2
1
A partir de agora, utilizaremos as seguintes notacoes:

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 a1 b1 = 1 / a, b F >;
entao, temos que:
G = F/R
e um grupo abeliano livre sobre S. Logo, a inclusao natural i : S G e tal que, dada
h : S H, onde H e um grupo abeliano, existe un homomorfismo g : G H tal
que o seguinte diagrama comuta:
G
~?
~
~ g
~~

~
~
/
S h H
i
onde g i = h. E possvel provar que esta ultima

propriedade caracteriza os grupos
livres abelianos sobre S.
em topologia. Suponha que o conjunto de
E comum introduzir as seguintes notacoes
geradores e dado por S = {a, b, c} e o grupo de relacoes:

R = {a4 b1 c b8 , a3 b9 c2 , a3 b c2 }.
O grupo correspondente e denotado por:
< a, b, c / a4 b1 c b8 = 1, a3 b9 c2 = 1, a3 b c2 = 1 > .
Por exemplo, nao e difcil ver que o grupo:
140
CAPITULO
G =< a, b / b2 a = b, b a2 b = a >
e isomorfo ao grupo trivial {1}. De fato, b2 a = b implica b a = 1 ou, equivalentemente
a1 b1 = 1; por outro lado, (a1 b1 ) b a2 b = a, donde b = 1, logo a = 1.
Considere o grupo Z2 Z3 gerado pelo par (1, 1) e que existe um unico

homomorfismo
sobrejetivo:
f : Z Z2 Z3
tal que f (1) = (1, 1); por outro lado ker(f ) =< 6 >, logo o grupo Z2 Z3 tem uma
representaca o ({a}, < 6 >), multiplicativamente, f (6) = 1 e equivalente a a6 = 1. Se
escolhemos como geradores do grupo Z2 Z3 os pares (1, 0) e (0, 1) o ker(f ) e gerado
por 2 e 3, a representaca o e ({a, b}, R) tal que a2 = 1 e b3 = 1.
de grupos:
A seguir apresentamos outros exemplos de representacoes
Se G e um grupo cclico de ordem n, entao G pode ser escrito como < a / an = 1 >.
Logo:
G
= Zn .
Seja o grupo simetrico G = S3 ; temos que:
G =< a, b / a3 = b2 = 1, (a b)2 = 1 > .
Se G e o grupo de simetrias do quadrado; temos que:
G =< a, b / a4 = b2 = 1, (a b)2 = 1 > .
Seja grupo Z2 = Z Z; temos que:
G =< a, b / a b a1 b1 = 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 finito ou nao. 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 finito de elementos de G . Logo, dado g G, existem g11 , g22 , . . . gnn , tal
que:
g = g11 g22 . . . . . . gnn ,
i {1, 1}
6.3. PRODUTO LIVRE DE GRUPOS
141
e onde cada gii G , diferente da identidade, para algum de modo que os elementos
adjacentes a gii pertencem a diferentes G . A expressao g11 g22 . . . . . . gnn e chamada
palavra de comprimento n em G.
Suponha que temos:
g = g11 g22 . . . . . . gnn .
i+1
Se gii e gi+1
pertencem ao mesmo subgrupo, elas podem ser combinadas num novo
elemento, obtendo uma palavra de comprimento n 1. Aplicando repetidamente esta
operaca o, podemos obter uma palavra que nao contem dois elementos consecutivos
de um mesmo subgrupo; esta palavra e dita reduzida.
Definica o 6.2. Seja G um grupo e {G / } uma famlia de subgrupos que geram

G. G G = {e} se 6= . 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=
G .
No cado finito, escrevemos:

G = G1 G2 . . . Gn .
G e um grupo livre sobre o conjunto das palavras reduzidas. Em resumo, o grupo G e
formais:
definido como o conjunto das expressoes
g = g11 g22 . . . . . . gnn ,
onde cada gii pertence a algum Gi diferente da identidade e tal que os elementos adjacentes a gii pertencem a diferentes G .
Note que a operaca o em G e um produto, por justaposica o seguida de uma reduca o.
De outra forma, o ultimo

dos gii da primeira palavra e o ultimo
da segunda podem
estar no mesmo grupo, entao elas podem ser combinadas num novo elemento.
j+1
Por exemplo, se g1 = g11 g22 . . . . . . gkk e g2 = gj j gj+1
. . . . . . gnn , entao
g1 g2 = g11 g22 . . . . . . gkk
j+1
j+1
gj j gj+1
. . . . . . gnn = g11 g22 . . . . . . gkk gj j gj+1
. . . . . . gnn
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 definido, satisfaz a` seguinte propriedade universal:
142
CAPITULO
Para todo grupo H e famlia de homorfismos hk : Gk H, existe um unico

homomorfismo h : G H tal que h ik = hk , para todo k; isto e , o seguinte diagrama
comuta:
> G
||
|
|
||
h
||
/H
Gk
ik
hk
onde h(g1 g2 . . . gn ) = h1 (g1 ) h2 (g2 ) . . . hn (gn ).

Em geral, o produto livre de grupos nao e um grupo livre. Por exemplo, considere o
produto livre dos grupos Z2 :
Z2 Z2 =< a, b / a2 = b2 = 1 > .
Logo, para todo g Z2 Z2 tal que g 6= 1, o elemento g pode ser escrito, somente como
produto de a e b, pois potencias de a e b sao 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 6= b a, o grupo e nao abeliano e observe que ambos os elementos tem ordem
finita. Por outro lado:
Z2 Z2 6= Z2 Z2 .
O grupo Z2 Z2 e abeliano de ordem 4.
6.4 Produto Amalgamado de Grupos

Nesta seca o estudaremos o caso mais simples de produto amalgamado de grupos.
Sejam G0 , G1 e G2 tres grupos e os seguintes homomorfismos:
> G1
||
|
|
||
||
/ G2
G0
h1
h2
Considere G1 G2 o produto livre dos grupos G1 e G2 e seja N o subgrupo normalizador

de G1 G2 , isto e , o subgrupo gerado pelas palavras:
{h1 (g)1 h2 (g) / g G0 } G1 G2 .
6.4. PRODUTO AMALGAMADO DE GRUPOS
143
Definica o 6.3. O produto amalgamado de G1 e G2 , em relaca o aos homomorfismos h1

e h2 , se denota e se define por:

G1 G0 G2 = G1 G2 N.
Por exemplo, consideremos os seguintes grupos:
Z2 =< z / z 2 = 1 >,
Z4 =< a / a4 = 1 >
Z6 =< b / b6 = 1 >
tais que:
Z4
}>
}
}}
}}
}}
/Z
Z2
6
h1
h2
onde h1 (z) = a2 e h2 (z) = b3 sao os unicos

homomorfismos nao triviais, entao:
Z4 Z2 Z6 = {a, b / a4 = b6 = 1, x2 = y 3 }.
canonicas,
Denotemos por ik : Gk G1 G2 as inclusoes

k = 1, 2 e por pr : G1 G2
G1 G0 G2 a projeca o canonica,
entao o seguinte diagrama comuta:
G1 NN
NNN j
v:
v
v
h1 v
NN1N
v i1
NNN
v
v
v
N&

vv
pr
/
G
G0 H
G1 O G2
1 G0 G 2
8
HH
p
p
HH
pp
p
HH
p
i
2
ppp
h2 HHH
$
ppp j2
G2
onde ji = pr i1 , i = 1, 2. O produto amalgamado G1 G0 G2 pode ser considerado
como o produto livre G1 G2 , modulo

a identificaca o h1 (g) = h2 (g) para todo g G0 .
Se G0 = {id}, entao:
G1 G0 G 2 = G1 G 2 .
Nao e difcil ver que:
G1 G0 {1} ' G1
e {1} G0 G2 ' G2 .
A seguinte propriedade caracteriza completamente o produto amalgamado de grupos.
144
CAPITULO
Propriedade Universal do Produto Amalgamado

e definicoes
acima, dado um grupo H arbitrario e k : Gk H,
Com as notacoes
k = 1, 2, homomorfismos tais que 1 h1 = 2 h2 , existe um unico

homomorfismo
: G1 G0 G2 H tal que ik = k , k = 1, 2 e tal que os seguintes diagramas
comutam:
9 G1 JJ
tt
JJ
t
t
JJ 1
t i1
t
JJ
t
t
JJ
t

J$
tt
_
_
_/ H
G1 GO 0 G2
G0 JJ
:
tt
JJJ
tt
t
JJJ
t
i2 tt
t 2
h2 JJJ
tt
%
h1
G2
6.5 Teorema de Seifert-Van Kampen

Agora apresentaremos o teorema central do captulo
Considermos U , V e U V conjuntos abertos do espaco topologico

X e as inclusoes
naturais:
;U
ww
w
ww
ww

ww
/X
U VGG
O
GG
GG
GG
G#
Teorema 6.1. (Seifert-Van Kampen) Sejam X = U V , onde U , V e U V sao abertos

conexos por caminhos tal que x0 U V . Denotemos por:
1 U V, x0
i3
o7
i1 oooo
o
ooo
oo
1 U, x0

j1
/ 1 X, x0
O
OOO
OOO
OO
i2 OOO'
j2
1 V, x0
tal que o diagrama comuta. Dados H um

os homorfismos induzidos pelas inclusoes
grupo e os homomorfismos:
6.5. TEOREMA DE SEIFERT-VAN KAMPEN

1 : 1 U, x0 H
145

e 2 : 1 V, x0 H,
existe um unico
homorfismo : 1 X, x0 H tal que o seguinte diagrama comuta:
o7
GG
GG 1
GG
j1
GG
GG

#
i3
/ 1 X, x0 _ _ _/ H
U V, x0
;
OOO
O
ww
OOO
ww
w
w
OOO
j2
ww 2
OO'
i2
ww
i1 oooo
1 U, x0
o
ooo
oo
1 V, x0
Isto e , j1 = 1 e j2 = 2 .
Em outras palavras:

1 X, x0
= 1 U, x0
U V,x0

1 V, x0 .
Ou, equivalentemente:

1 U, x0 1 V, x0 N
= 1 X, x0

1
onde N e o menor subgrupo
normal de 1 U, x0 1 V, x0 que contem i1 () i2 (),
para todo 1 U V, x0 .
A seguir, apresentaremos um esboco sucinto, da prova do teorema. Denotemos por:

j : 1 U, x0 1 V, x0 1 X, x0
o homomorfismo induzido pela extensao dos homomorfismos jk , que sao sobrejetivos,

logo o homomorfismo
j e sobrejetivo. Por outro lado N o normalizador de 1 U, x

0
1 V, x0 satisfaz N ker(j), De fato, provaremos que para todo g 1 U V, x0 :
i1 (g)1 i2 (g) ker(j).
Pela comutatividade do diagrama, temos que: j(i1 (g)) = j1 (i1 (g)) = i3 (g) = j2 (i2 (g)) =
j(i2 (g)) e N ker(j). Logo, j induz um homomorfismo sobrejetivo:

f : 1 U, x0 1 V, x0 N 1 X, x0 .
Agora, se devemos provar que essencialmente N = ker(j), utilizando o fato de que f
e um homomorfismo injetivo. Esta parte e bastante longa e ficara fora destas notas.

O teorema de Seifert-Van Kampen, implica em que a classe de lacos que gera 1 X, x0
pode ser expressada como produto de classes de lacos em 1 U, x0 e 1 V, x0 .
146
CAPITULO
Corolario 6.1. Nas hipoteses

do teorema de Seifert-Van Kampen, se U e V sao simplesmente conexos:

1 X, x0
= {e}.
Corolario 6.2. Nas hipoteses

do teorema de Seifert-Van Kampen, se U V e simplesmente conexo:

1 X, x0
= 1 U, x0 1 V, x0 .
6.6 Representacoes
dos grupos envolvidos no Teorema de

Suponha que conhecemos as representacoes
Seifert-Van Kampen:

1 U V, x0 =< S, R >

1 U, x0 =< S1 , R1 >

1 V, x0 =< S2 , R2 >
naturais:
Consideremos o diagrama comutativo, induzido pelas inclusoes
1 U V, x0
i3
o7
i1 oooo
ooo
ooo
1 U, x0

j1
/ 1 X, x0
O
OOO
OOO
OO
i2 OOO'
j2
1 V, x0

Seja s S, logo i1 (s) 1 U, x0 e i2 (s) 1 V, x0 , entao podemos escrever estes
elementos nos respectivos grupos, utilizando os respectivos geradores de cada grupo.
d
Denotemos por id
1 (s) e i2 (s) estes elementos. Definamos:
d
RS = {id
1 (s) = i2 (s) / s s}.
Entao, o teorema de Seifert- Van Kampen, fica:
anteriores,
Teorema 6.2. Nas hipoteses
do teorema de Seifert- Van Kampen e notacoes
temos que:

1 X, x0
=< S , R >,

6.7. PRIMEIRAS APLICAC
OES
147
onde:
S = S1 S2
R = R1 R2 RS ,

R de 1 U V, x0 nao e utilizado na determinaca o do
Note que o conjunto
de relacoes

grupo 1 X, x0 .
6.7
Primeiras Aplicacoes
[1] Provaremos que S 2 e simplesmente conexo para n 2. Isto e :

1 S n , p 0
= {e},
n 2.
Sejam pN e pS os polos norte e sul de S n ; consideremos U = S n {pN } e V = S n {ps },

ambos conjuntos abertos e conexos por caminhos.
Por outro lado, U e V sao homemorfos a Rn , via a aplicaca o estereografica, logo simplesmente 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 corolario do
Teorema de Seifert-Van Kampen, temos o resultado.
[2] Denotemos o espaco obtido pela uniao disjuntas de 2 copias,

disjunta e homeomor1
1
1
fas a S , com um ponto em comum p, por S p S ; entao:

1 S 1 p S 1 , p
= Z Z.
De fato, podemos considerar as seguintes copias,

homeomorfas a S 1 :
A = {(x, y) / (x 1)2 + y 2 = 1} e B = {(x, y) / (x + 1)2 + y 2 = 1}.
Sejam q1 A e q2 B tal que q1 6= p e q2 6= p.
Figura 6.2: O espaco S 1 p S 1

Denotemos por U = P2 {q1 } e V = P2 {q2 } ambos os conjuntos abertos e conexos por

1
U,
p
=
caminhos.
Os
dois
conjuntos,
tem
o
mesmo
tipo
de
homotopia
de
S
,
ent
a
o
1

1 V, p
= Z.

CAPITULO
148
q2
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 :
Figura 6.4: O conjunto U V

Logo, pelo segundo corolario do Teorema de Seifert-Van Kampen:

1 S 1 p S 1 , p
= Z Z.
6.7.1 Interpretaca o Geometrica 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:
Figura 6.5: Os geradores

O segundo corolario do Teorema de Seifert-Van Kampen nos indica que o grupo:
1 S 1 p S 1 , p

OES
149
e gerado por potencias de a e b. Por exemplo, o elemento:

a3 b2 a2 1 S 1 p S 1 , p
corresponde a classe de homotopia do laco obtido percorrendo 3 vezes, ao redor de U

o laco seguido de percorrer 2 vezes o laco , ao redor de V e finalmente, o laco e
percorrido uma vez, no sentido contrario em U .
Agora estudemos o caso de tres copias

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

CAPITULO
150
S 1 p S 1 p S 1 = U V.
Como p U V , pelo segundo corolario do Teorema de Seifert-Van Kampen:

1 S 1 p S 1 p S 1 , p
= Z Z Z.
Em geral, por induca o, podemos provar que o conjunto formado por n copias
de S 1 ,
com um ponto p em comum:
Pn = S 1 p S 1 p . . . p S 1 ,
tem grupo fundamental:

1 Pn , p
= Z Z . . . Z,
isto e , um grupo livre com n geradores. O espaco Pn e dito buque de n petalas.
Utilizando os mesmos argumentos anteriores, se prova o seguinte corolario :
Corolario 6.3. Seja {Xi , i = 1 . . . n} uma famlia de espacos topologicos

conexos por
n
_
caminhos e x Xi um ponto em comum; se X =
Xi , entao:
i=1

1 X, x
= 1 X1 , x 1 X2 , x . . . 1 Xn , x .
Nos captulos passados, calculamos o grupo fundamental do toro:

1 T2 , x0
= Z Z.
Como motivaca o dos proximos

paragrafos, determinaremos novamente o grupo fundamental do toro, utilizando o Teorema de Seifert-Van Kampen.
Consideremos, o toro:
b
x1
x1
a
x1
x1
b
Figura 6.8: O toro T2 tal que a a e b b

OES
151
Sejam dois discos concentricos, inscritos no retangulo, de raios r2 > r1 > 0, respectivamente. Denotemos por U o complementar, no toro, do disco de raio r2 e V o interior
do disco de raio r1 ; como no seguinte desenho:
b
Figura 6.9: Os conjuntos U e V

Os conjuntos U , V e U V sao abertos e conexos por caminhos tais que T2 = U V .

Sabemos que U e um retrato por deformaca o de S 1 p S 1 , veja os desenhos:
b
b
x
x0
x0
a
a
a
b
x0
x
b
x0
Figura 6.11: O conjunto U .

CAPITULO
152
x0
Figura 6.12: O conjunto U

V e contractil e tem o mesmo tipo de homotopia do ponto x0 U V , pois e contractil
e U V tem o mesmo tipo de homotopia de S 1 ; entao:

1 U, x0
= Z Z,

1 V, x0
= {1} e

1 U V, x0
= Z.
Logo, temos o seguinte diagrama comutativo:

ZZ
u:
uu
u
u
j1
uu

uu
u

u i3
Z HH / 1 T2 , x0
O
HH
HH
HH
j2
i2 HHH
#
i1
{1}
Pelo segundo corolario do Teorema de Seifert-Van Kampen:

1 T2 , x0
= Z Z Z {1}.

Seja z um gerador de 1 U V, x0 , entao i2 (z) = 1 e i1 (z) = a b a1 b1 , logo:

1 T2 , x0
= Z Z Z {1} = {a, b / a b a1 b1 = 1}
= Z Z.
6.7.2 Interpretaca o Geometrica do Resultado

Seja x0 U V , denotemos por um caminho entre x0 e x1 , e lacos em x0 , que
representam a e b, respectivamente e
a
= 1 ,
como no desenho:
b = 1 ,

OES
153
b
x1
a
x0
x1
x1
Figura 6.13: Laco em U V

O grupo 1 U, x0 tem como geradores [
a] e [b]. Como S1 = S2 = , pelo teorema de

Seifert-Van Kampen, temos que 1 T2 , x0 e gerado por [
a] e [b].

Por outro lado, seja z = [] o gerador de 1 U V, x0
= Z; entao:
1 1 1
( 1 ) ( 1 ) ( 1 1 ) ( 1 1 )
a
b a
1 b1 .
Logo:
i2 (z) = [
a] [b] [
a]1 [b]1 .
Por abuso de linguagem, denotando a = [
a] e b = [b], temos o resultado.
De forma completamente analoga, podemos aplicar o teorema de de Seifert-Van Kam
pen a K, a garrafa de Klein. De fato, utilizando as mesmas notacoes.
Seja x0 U V , denotemos por um caminho entre x0 e x1 , e lacos em x0 , que
representam a e b, respectivamente e
a
= 1 ,
como no desenho:
b = 1 ,

CAPITULO
154
x1
a
x0
x1
x1
Figura 6.14: O laco na garrafa de Klein

O grupo 1 U, x0 tem como geradores [
a] e [b]. Como S1 = S2 = , pelo teorema de

Seifert-Van Kampen, temos que 1 T2 , x0 e gerado por [
a] e [b].

Por outro lado, seja z = [] o gerador de 1 U V, x0
= Z; entao:
1 1
( 1 ) ( 1 ) ( 1 1 ) ( 1 )
a
b a
1 b.
Novamente por abuso de linguagem, temos:

1 K, x0
= {a, b / a b a1 b = 1}.
Logo, podemos afirmar que o toro e a garrafa de Klein tem tipo de homotopia diferentes. Caso contrario deveriam ter grupos fundamentais isomorfos.
6.8 Segunda Aplicaca o

Neste paragrafo determinaremos o grupo de homotopia das superfcies compactas e
conexas, isto e , variedadedes topologicas

de dimensao 2, compactas e conexas.
utizados neste paragrafo sao do livro [MV]. Faremos
Todos os resultados e notacoes
para facilitar sua melhor compreensao.
algumas simplificacoes
Essencialmente, conhecemos 4 exemplos de superfcies compactas:

6.9. SOMA CONEXA DE SUPERFICIES
155
Figura 6.15: A esfera e o plano projetivo real, respectivamente
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 S1 e S2 superfcies compactas, conexas e disjuntas. Dados xi Si , i = 1, 2,

existem conjuntos abertos Ui Si tal que:
Ui ' D
Ui ' S 1 ,
i = 1, 2
onde D e um disco fechado em R2 e ' significa homeomorfo.

Definica o 6.4. Dado qualquer homeomorfismo h : U1 U2 , a soma conexa das superfcies
S1 e S2 e denotada e definida por:

S1 #S2 = S1 U1 t S2 U2
onde x h(x) para todo x U1 .
156
CAPITULO
A soma conexa de superfcies independe da escolha dos abertos e dos homeomorfismos, envolvidos. Nao e difcil ver que S1 #S2 e uma superfcie.
Por exemplo consideremos as duas superfcies, como no seguinte desenho:
S1
S2
Figura 6.17: S1 U1 e S2 U2
De ambas as superfcies foram removidos discos e identificadas nos bordos dos discos.
O seguinte desenho e a soma conexa de ambas as superfcies.
S1 # S 2
Figura 6.18: A soma conexa S1 #S2

A soma conexa nao depende do homeomorfismo da identificaca o. A soma conexa e
compacta. Fica como exerccio que, para toda superfcie S:
S#S 2 ' S.
E possvel verificar que o conjunto de todas as superfcies compactas com a soma conexa formam um semigrupo com identidade S 2 , isto e , um monoide.
Sabemos que o toro T2 pode ser representado como espaco quociente de um quadrado,
onde seus lados foram identificados da seguinte forma:

157
b
Figura 6.19: O toro T2 tal que a a e b b

E comum em Topologia das Superfcies associar a cada superfcie uma palavra, a qual
topologicas
arquiva, de forma univoca,

todas as informacoes
da superfcie.
Estas palavras sao formadas pelas letras das arestas na direca o indicada pelas setas,
tal quando lidas,adicionamos um expoente -1, caso percorramos a aresta no sentido
contrario.
Na classificaca o das superfcies compactas, as palavras tem um papel central. Existe
uma grande quantidade de propriedades que envolvem as palavras associadas a` s su apresentaremos apenas exemplos desas palavras.
perfcies. Nos
Note que temos as seguintes palavras:
S2
RP2
T2
K
tem a palavra: a a1
tem a palavra: a a
tem a palavra: a b a1 b1
tem a palavra: a b a1 b.
Determinemos T2 #T2 . Consideremos dois toros disjuntos, representados por:

d
Figura 6.20: Os toros menos um disco

Agora identificamos os bordos dos discos retirados:

CAPITULO
158
b
c
Figura 6.21: Os toros identificados

Finalmente obtemos:
a
b
b
d
Figura 6.22: A superfcie T2 #T2 .

Esta superfcie tem associada a palavra:
a b a1 b1 c d c1 d1 .
Identificando os lados, obtemos um bi-toro ou um 2-toro:
d
a
Figura 6.23: O bi-toro T2 #T2

159
Agora consideremos o plano projetivo real RP2 , que pode ser representado como um
espaco quociente de um disco, com a seguinte identificaca o:
Figura 6.24: O plano projetivo real RP2
Verefiquemos que:
K = RP2 #RP2 ,
isto e a soma conexa de dois planos projetivos e uma garrafa de Klein.
Consideremos duas copias

disjuntas de RP2 , como no desenho:
Figura 6.25: Os planos projetivos menos um disco
Abramos os discos e deformemos, contnuamente, do seguinte modo:

CAPITULO
160
Figura 6.26: Os planos projetivos menos um disco

Colando, obtemos:
b
Figura 6.27: Soma dos planos projetivos

Agora facamos o seguinte corte, introduzindo novos lados c:
b
c
c
b
c
a
a
Figura 6.28: Cortando e introduzindo outros lados

Fazendo uma rotaco e colamos pelo lado a e obtemos a garrafa de Klein:

161
b
c
a
Figura 6.29: A garrafa de Klein
Mudando c por a, temos:

b
Figura 6.30: A garrafa de Klein: a b a1 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:
T2 #RP2 ' RP2 #RP2 #RP2 .
Denotemos por:
m T2 = T2 #T2 # . . . #T2 ,
m-vezes.
A superfcie m T2 e dita um m-toro ou toro de genero m.

CAPITULO
162
Figura 6.31: Um 5-toro

Analogamente definimos:
n RP2 = RP2 #RP2 # . . . #RP2 ,
n-vezes.
Teorema 6.3. (Teorema de Classifica o das Superfcies) Toda superfcie S, compacta e

homeomorfa a:
S
= S 2 #m T2 #n RP2 ,
para algum, m 0 e n 0.
Uma superfcie e dita orientavel se nao contem uma faixa de Moebius.

Caso contrario
e dita nao orientavel.
Por exemplo, o plano projetivo e a garrafa de Klein sao nao orientaveis o toro e as
esferas sao orientaveis.
a
Faixa
a
Faixa
Figura 6.32: O plano projetivo e a garrafa de Klein

Se S e uma superfcie compacta orientavel, e possvel provar que:
S
= S 2 #m T2 .
O numero
m 0 e dito genero da superfcie. Analogamente, se S e uma superfcie
compacta nao orientavel, e possvel provar que:

6.10. GRUPO FUNDAMENTAL DE UMA SUPERFICIE
COMPACTA
163
S
= S 2 #n RP2 .
E o numero
n 1 e dito genero da superfcie.
6.10
Grupo Fundamental de uma Superfcie Compacta
Finalmente, tambem e possvel provar:

Se S uma superfcie compacta, orientavel de genero m 1, entao, S e homeomorfa ao
espaco quociente obtido de um polgono de 4 m lados, identificados aos pares, como
no desenho:
a1
b1
b1
a1
Figura 6.33: Polgono de 4m lados

A palavra associada a m T2 e :
1
1 1
a1 b1 a1
1 b1 . . . an bn am bm .
Se S e uma superfcie compacta, orientavel de genero m 1; entao, 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 analoga ao calculo do grupo fundamental do toro, consideremos dois crculos concentricos, inscritos no polgono, de raios r2 > r1 .
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 buque P2m ; 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 sao conexos por caminhos e S = U V . Entao:
164
CAPITULO

1 U, x0
= ao grupo livre gerado por 2m elementos a1 , b1 ,. . . am , bm
= Z Z ... Z

1 V, x0
= ao grupo trivial {1}

1 U V, x0
= ao grupo cclico gerado por z
ZZ
... Z
r8
r
rrr
j1
r
r
r
r

r

rr i3
/ 1 S, x0
Z KKK
O
KKK
KKK
j2
i2 KKK
K%
i1
{1}
1
1 1
1 1
Como antes, i2 (z) = 1 e i1 (z) = a1 b1 a1
1 b1 a2 b2 a2 b2 . . . am bm am bm . Logo, temos
o seguinte teorema:
Teorema 6.4. Se S = S 2 #m T2 , entao:

1
1 1
1 1
1 S, x0
=< a1 , b1 , . . . am bm / a1 b1 a1
1 b1 a2 b2 a2 b2 . . . am bm am bm = 1 > .
Se S uma superfcie compacta nao orientavel de genero n 1, entao, S e homeomorfa
ao espaco quociente obtido de um polgono de 2 m lados, identificados aos pares, como
no desenho:
b1
b1
a1
b2
a1
Figura 6.34: Polgono de 2m lados

A palavra associada a n RP2 e :
a1 a1 b1 b1 . . . an an bn bn .
De forma analoga ao caso orientavel, temos:

6.10. GRUPO FUNDAMENTAL DE UMA SUPERFICIE
COMPACTA
Teorema 6.5. Se S = S 2 #n RP2 , entao:

1 S, x0
=< a1 , a2 , . . . an / a1 a1 a2 a2 a3 a3 . . . an an = 1 >
=< a1 , a2 , . . . an / a21 a22 a23 . . . a2n = 1 > .

Por exemplo:

1 RP2 , x0
=< a, a2 = 1 >
= Z2 .
165
166
CAPITULO
Bibliografia
[MV]
Vilches M.: Topologia Geral, Edica o online: www.ime.uerj.br/calculo
[GG]
Godbillon C: El`ements de Topologie Alg`ebrique, Boston, Allyn & Bacon
[EL2]
Lima E.: Espacos de Recobrimento, Projeto Euclides, Impa - Brasil
[CK]
Kosniowski C: A First Course in Algebraic Topology, Cambridge Univ. Press
167

Topologia Algebraica

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Topologia Algebraica

Enviado por

Direitos autorais:

Formatos disponíveis

A

Departamento de Analise - IME

Copyright by Mauricio A. Vilches

A Topologia Algebrica naceu nas ultimas

uma profunda relaca o entre a estrutura topologica

tratamento e a riqueza que possui a Algebra,

acontece com a Topologia. Por exemplo, nos espacos topologicos,

contNestas notas, que sao introdutorias,

Nestas notas, exigiremos conhecimentos solidos

rigorosa dos mauscritos, alem dos inumeros

1.9 Homotopia e Extensao de Funcoes

GRUPO FUNDAMENTAL DO CIRCULO

O Grupo Fundamental de SO(3) . . . . . . . . . . . . . . . . . . .

5 RECOBRIMENTO E GRUPO FUNDAMENTAL

5.10 Recobrimentos da Faixa de Moebius

6 TEOREMA DE SEIFERT - VAN KAMPEN

6.7 Primeiras Aplicacoes

Nos captulos seguintes, X e Y sao espacos topologicos;

Definica o 1.1. Sejam f, g : X Y funcoes,

se existe uma funca o contnua:

1. A notaca o que se usa para indicar que f e homotopica

f (a) = a e g(a) = b; entao f nao e homotopica

Figura 1.1: Homotopia entre f e g

1.2. PROPRIEDADES ELEMENTARES DAS HOMOTOPIAS

Propriedades Elementares das Homotopias

Sejam f, g : X Y tais que f (x) = y0 e g(x) = y1 para todo x X; entao, nao

Proposica o 1.2. Consideremos : I X um caminho; entao ' c0 , onde c0 e o

Logo, H e contnua e H(t, 0) = (t) e H(t, 1) = (0) = c0 (t).

Logo, H e contnua; H(x, 0) = f (x) e H(x, 1) = f (0) = c0 (x).

Proposica o 1.4. Sejam f, g : X Rn contnuas; entao f ' g.

contnuas. Ser homotopica

1.3. HOMOTOPIA E CAMPOS DE VETORES NA ESFERA

Homotopia e Campos de Vetores na Esfera

Figura 1.2: Homotopia entre f e g

1.3. HOMOTOPIA E CAMPOS DE VETORES NA ESFERA

Corolario 1.2. Se f : X S n e contnua e nao sobrejetiva, entao f ' c, onde c e uma

Figura 1.3: Campo tangente a S n

1.4 Homotopia Relativa

Definica o 1.4. f e homotopica

1.4. HOMOTOPIA RELATIVA

A notaca o de f ser homotopica

1. Se A = {1/2} I, entao f nao pode ser homotopica

Figura 1.4: A homotopia H (f e g em vermelho)

Entao r 'S n idRn . De fato, definamos H : Rn I Rn por:

1.5 Tipo de Homotopia

f e g sao ditas inversas homotopicas.

[1] Rn ' {0}.

H((x, t), s) = (x, t s);

Figura 1.5: Equivalencia entre o cilindro S 1 R e o crculo S 1

f : Rn+1 {0} S n e g : S n Rn+1 {0}

[5] Seja M a faixa de Moebius.

Figura 1.6: Crculo central da faixa

Figura 1.7: Equivalencia entre a faixa e o crculo central

H([(x, y)], 0) = [(x, y)] = idM [(x, y)]

Prova : Sejam : X 0 X e : Y Y 0 equivalencias homotopicas.

1.7 Espacos Contrateis

[3] Seja X um espaco topologico

Prova : () Se X ' {p}, existem f : X {p} e g : {p} X inversas homotopicas;

() Se idX ' c, entao idX e c sao inversas homotopicas;

D2 S 1 e dito toro solido.

Definica o 1.7. Seja A X. A e um retrato de X se existe r : X A contnua tal que

Isto e , r i = idA . A funca o r e dita retraca o entre X e A.

[2] Seja M a faixa de Moebius;

para todo t I. Note que (0) = (0) (0) = e e = e = (1).