Judith de Paula Araújo

Universidade Estadual Paulista Jlio de Mesquita Filho
Instituto de Geocincias e Cincias Exatas Campus de Rio Claro
Introduo Teoria de Homotopia

Judith de Paula Arajo
Dissertao apresentada ao Programa de PsGraduao Mestrado Prossional em Matemtica Universitria do Departamento de Matemtica como requisito parcial para a obteno do grau de Mestre
Orientador
Prof.
Dr. Joo Peres Vieira
2011
514.2 A663i
Arajo, Judith de Paula Introduo Teoria de Homotopia/ Judith de Paula Arajo- Rio Claro: [s.n.], 2011. 91 f.:g. Dissertao (mestrado) - Universidade Estadual Paulista, Instituto de Geocincias e Cincias Exatas. Orientador: Joo Peres Vieira 1. Espaos Topolgicos. 2. Os grupos H0 (X ), H 0 (X ), H 1 (X ) e o conjunto 0 (X ) . 3. Homotopia. 4. Um estudo do Crculo. 5. O Teorema de Mayer-Vietoris. I. Ttulo
Ficha Catalogrca elaborada pela STATI - Biblioteca da UNESP Campus de Rio Claro/SP
ERMO DE APROVAO
Introduo Teoria de Homotopia

Dissertao aprovada como requisito parcial para a obteno do grau de Mestre no Curso de Ps-Graduao Mestrado Prossional em Matemtica Universitria do Instituto de Geocincias e Cincias Exatas da Universidade Estadual Paulista Jlio de Mesquita Filho, pela seguinte banca examinadora:
Judith de Paula Arajo
Prof. Dr. Joo Peres Vieira Orientador
Prof. Dr. Daniel Vendrscolo Departamento de Matemtica - Universidade Federal de So Carlos
Prof. Dr. Thiago de Melo Departamento de Matemtica - Unesp - Rio Claro - SP
Rio Claro, 17 de junho de 2011
A Deus e Nossa Senhora. minha famlia. Aos meus professores. Aos meus amigos. Dedico
Agradecimentos
A Deus e Nossa Senhora, por sempre terem olhado por mim, me protegendo e me permitindo chegar at aqui. Agradeo imensamente minha me Vania pelo amor, carinho, dedicao e principalmente por acreditar em mim, me acompanhando todas as sextas-feiras, deixando seu trabalho para que eu pudesse fazer o meu. Gostaria de agradecer em especial meu orientador, o professor Joo Peres, pela pacincia e dedicao com que me orientou. Aprendi e amadureci muito graas a este professor brilhante e dedicado. A todos os professores do DM da UFSCar, em especial o professor Sadao que me ensinou a usar o Latex, e ao professor Daniel que me orientou no TCC, e sem dvida contribuiu muito para a minha formao. professora Alice, por ter ministrado as aulas de Tpicos de Topologia, sem as quais eu no teria base para escrever este trabalho. A todos os professores e funcionrios do IGCE que, direta ou indiretamente, contriburam para a elaborao deste trabalho.
O nico lugar onde o sucesso vem antes do trabalho no dicionrio.

Albert Einstein
Resumo
O principal objetivo deste trabalho demonstrar teoremas relevantes como o Teorema Fundamental da lgebra e o Teorema do Ponto Fixo de Brouwer no plano, alm dos problemas de extenso e levantamento e o Teorema de Mayer-Vietoris. Para isto, primeiramente associamos a cada espao topolgico conjunto
uma estrutura de grupo ou de
G(X ), e a cada funo contnua f : X Y um homomorsmo de estruturas f : G(X ) G(Y ) ou f : G(Y ) G(X ) satisfazendo determinadas propriedades.
Palavras-chave:
0 (X )
Espaos Topolgicos, Os grupos
H0 (X ), H 0 (X ), H 1 (X ) e o conjunto
, Homotopia, Um estudo do Crculo, O Teorema de Mayer-Vietoris.
Abstract
The main objective is to prove relevant theorems as the Fundamental Theorem of Algebra and Brouwer's Fixed Point Theorem in the plane, besides the problems of extension and lifting theorem and the Mayer-Vietoris Theorem. For this, rst we associate to each topological space function
a group structure or set
f : X Y
a homomorphism
G(X ), and every continuous f : G(X ) G(Y ) or f : G(Y ) G(X )
satisfying certain properties.
Keywords:
0 (X ),
Topological Spaces , The groups
H0 (X ), H 0 (X ), H 1 (X )
and the set
Homotopy, A study of a Circle, The Mayer-Vietoris Theorem.
Lista de Figuras
6.1 6.2 6.3 6.4 8.1 8.2
como uma extenso sobre o crculo. . . . . . . . . . . . . . . . . . . .
64 70 71 72 88 89
Homotopia entre as funes Denio de
fr
. . . . . . . . . . . . . . . . . . . . . . .
(x)
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
|S 1
a identidade de
. . . . . . . . . . . . . . . . . . . . . . . . . .
Caso em que Caso em que
X X
possui uma partio que separa
de
no possui uma partio que separa
Q. . . P de Q
. . . . . . . . . . . .
Sumrio
1 Introduo 2 Preliminares
2.1 2.2 2.3 2.4 2.5 Espaos Topolgicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Vizinhanas, Conjuntos Abertos e Fechados
17 19
19 19 20 22 24 24 25 26
Continuidade e Homeomorsmo . . . . . . . . . . . . . . . . . . . . . . Conjuntos Compactos . . . . . . . . . . . . . . . . . . . . . . . . . . .
Espaos Conexos ou Desconexos . . . . . . . . . . . . . . . . . . . . . . 2.5.1 2.5.2 2.5.3 Conjuntos Conexos . . . . . . . . . . . . . . . . . . . . . . . . . Conexo por Caminhos . . . . . . . . . . . . . . . . . . . . . . .
Localmente Conexo por Caminhos . . . . . . . . . . . . . . . . .
3 Grupos Abelianos
3.1 3.2 3.3 Soma Direta . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Sequncias Exatas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Grupos Abelianos Livres . . . . . . . . . . . . . . . . . . . . . . . . . .
29
32 36 39
4 O grupo H 0 (X ), o conjunto 0 (X ) e o grupo H0 (X )

4.1 4.2 4.3 O Grupo O O
45
45 46 50
H (X ) . Conjunto 0 (X ) Grupo H0 (X ) . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
5 Homotopia
5.1 5.2 Equivalncia de Homotopia . . . . . . . . . . . . . . . . . . . . . . . . Conjuntos de Homotopia e os Grupos
53
55 58
H (X )
. . . . . . . . . . . . . . .
6 O estudo do crculo
6.1 6.2 6.3 Levantamento de funes de
63
S
1
para
R
1
. . . . . . . . . . . . . . . . . .
63 67 70
O grau de uma funo contnua de
em
. . . . . . . . . . . . . . .
Aplicaes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
7 Problemas de Levantamento e Extenso

7.1 O Problema de Levantamento . . . . . . . . . . . . . . . . . . . . . . .
73
74
7.2
O Problema de Extenso . . . . . . . . . . . . . . . . . . . . . . . . . .
76
8 O Teorema de Mayer-Vietoris e Aplicaes

8.1 8.2 O Teorema de Mayer-Vietoris Primeiros Clculos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
81
81 85
Referncias
91
Introduo
Este trabalho destina-se a alunos de graduao, exigindo do leitor noes de espaos mtricos e topolgicos. Com este propsito, tentou-se ao mximo construir um texto didtico concernente ao estudo da Teoria de Homotopia apresentando teoremas relevantes de outras reas da Matemtica de uma forma elegante e rpida como o Teorema Fundamental da lgebra e o Teorema do Ponto Fixo de Brouwer, alm dos problemas de levantamento e extenso e o Teorema de Mayer-Vietoris. Topologia uma abstrao de certas ideias geomtricas tais como continuidade e limite. De fato, a palavra topologia derivada do grego, e topo quer dizer um lugar, e logia um estudo. Foi introduzida em 1847 por Listing, um aluno de Gauss, no ttulo do primeiro livro devotado a ele. Outro nome utilizado antigamente para topologia era anlise posicional (analysis situs). Essencialmente, dois segmentos da topologia podem ser bem distinguidos. Topologia conjuntstica, ou topologia geral, uma teoria geral abstrata de espaos topolgicos e de funes contnuas, muito inuenciada pela teoria geral de conjuntos, desenvolvida por Cantor por volta de 1880, tendo recebido grandes contribuies da teoria de espaos mtricos (espaos abstratos com uma distncia denida entre pontos) introduzida por Frencht em 1906, e da publicao do livro Grundzge der Mengenlehre de Hausdor em 1912. Em seguida Hausdor estendeu os conceitos de limite e continuidade dos
conjuntos de nmeros reais para conjuntos abstratos por meio da ideia de vizinhana de um ponto. Paralelamente a esta linha de desenvolvimento, e de fato predominando por mais de uma dcada, Poincar introduziu durante os anos de 1895-1901 o estudo sistemtico de Topologia Algbrica, ou anlise posicional. Este foi motivado por certos problemas sobre modelos e superfcies no espao Euclidiano. A Topologia Algbrica parte da sub-rea Topologia/Geometria, estuda a categoria dos espaos topolgicos e das funes contnuas entre estes espaos, atravs de estruturas algbricas associadas, como grupos e anis e seus respectivos homomorsmos. Ou seja, procura-se abordar problemas da Topologia atravs da lgebra. Exemplos
importantes destes mecanismos so: o grupo fundamental de um espao topolgico ou mais geralmente os seus grupos de homotopia. Este trabalho est organizado da seguinte forma:
17
18
Introduo
Inicialmente, no captulo 2, introduziremos denies e teoremas necessrios para
o entendimento dos captulos posteriores. O captulo 3, trata de grupos abelianos, que na maioria das vezes ser livre, e veremos a seguir, que a maioria dos problemas topolgicos podem ser resolvidos atravs desta teoria. No captulo 4, apresentaremos o grupo
H 0 (X ), o conjunto 0 (X ) e o grupo H0 (X ),
de modo a desenvolver algebricamente ideias bsicas de conexos e conexos por caminhos. No captulo 5, apresentaremos as denies de homotopia, de equivalncia de homotopia e dos grupos
H 1 (X ). R
em
No captulo 6, trataremos inicialmente da funo exponencial de denir o grau de funes contnuas de
S 1,
am de
em
. Feito isto, demonstraremos o Teorema
Fundamental da lgebra e o Teorema do Ponto Fixo de Brouwer usando grau. No captulo 7, abordaremos os problemas de levantamento, e ser demonstrado o Teorema de Monodromia. Tambm trataremos dos problemas de extenso, e demonstraremos o Teorema de extenso de Tietze, alm de outros importantes resultados. Por m, no captulo 8, faremos a demonstrao do Teorema de Mayer-Vietoris, demonstrao esta que abrange toda a teoria desenvolvida nos captulos anteriores. Encerraremos, ainda, com exemplos de clculos dos grupos cias exatas, assunto apresentado no captulo 3.
H 1 (X ),
utilizando sequn-
Preliminares
Para maiores detalhes desta seo, veja a referncia [4]. Neste primeiro captulo, apresentaremos brevemente, algumas denies, teoremas e proposies de modo a facilitar o entendimento dos captulos posteriores. Trataremos de espaos topolgicos, vizinhanas, conjuntos abertos e fechados, continuidade e homeomorsmo, conjuntos compactos e, por m, de conjuntos conexos e desconexos.
2.1 Espaos Topolgicos

Denio 2.1. Seja X = um conjunto. Uma Topologia em subconjuntos de X satisfazendo:
(i) , X ; (ii) Se A1 , A2 , . . . , An , ento A1 An ; (iii) Se {A }L uma famlia de elementos de , ento A . Os elementos de so chamados abertos de X e (X, ) um espao topolgico.
X
uma coleo de
Denio 2.2. Seja (M, d) um espao mtrico. A bola aberta de centro a e raio r em M dada por U (a, r) := {x M : d(x, a) < r}. O disco de centro a e raio r em M dado por D(a, r) := {x M : d(x, a) r}. Exemplo 2.1.
dene uma
(M, d) um espao mtrico, ento a coleo de bolas abertas em M topologia em M .

Se
Denio 2.3. Seja Y um subconjunto do espao topolgico (X, ). Ento Y := {A Y, A } dene uma topologia para Y , chamada topologia induzida de X . Neste caso dizemos que (Y, Y ) um subespao topolgico de (X, ).
2.2 Vizinhanas, Conjuntos Abertos e Fechados

Denio 2.4. Um subconjunto A tal que x A W .
W
de X aberto de X se para cada x W existe
19
20
Preliminares
(X, d) um espao mtrico. Um x W existe > 0 tal que U (x, ) W
Seja subconjunto
Exemplo 2.2.
para cada
de
aberto se
Denio 2.5. Dizemos que U uma vizinhana de x X se existir um aberto W de X tal que x W U . Proposio 2.1. Seja Y um subespao topolgico de X . Se um subconjunto A de aberto de Y e Y um subconjunto aberto de X ento A aberto de X .
X
Denio 2.6. Seja X um espao topolgico. Um subconjunto F de X um conjunto fechado de X se X F um conjunto aberto de X . Teorema 2.1. Seja X um espao topolgico. Ento:
i) e X so fechados de X ; ii) Se {F } uma famlia de fechados de X , ento F um fechado de X ; iii) Se F1 , . . . , Fn so fechados de X ento F1 Fn um fechado de X .
Teorema 2.2. Seja Y um subespao de X . Um conjunto somente se, A = F Y , onde F um fechado de X . Teorema 2.3. Se fechado de X .
Y
fechado em Y se e
um subconjunto fechado de X e A fechado de Y ento A
Denio 2.7. Seja Y um subconjunto de um espao topolgico X . Um ponto x Y um ponto interior de Y se existir um aberto U de X contendo x e contido em Y , isto , x U Y .
Denotaremos o conjunto dos pontos interiores de um subconjunto aberto de
por int(Y ). Observe que int(Y
X.
Denio 2.8. Se Y um subconjunto do espao topolgico X , um ponto x X um ponto aderente a Y se para todo aberto U de X contendo x tivermos U Y = . Se, para todo aberto U de X contendo x, U Y contm algum elemento diferente de x ento dizemos que x um ponto de acumulao de Y . Denio 2.9. Um espao topolgico Y chamado de Hausdor se para todos x, y Y , com x = y , existem vizinhanas Ux e Vy , respectivamente de x e y , tais que Ux Vy = .
2.3 Continuidade e Homeomorsmo

Denio 2.10. Sejam (X, d) e (Y, d ) espaos mtricos. Diz-se que a aplicao f : X Y contnua no ponto x X quando, dada qualquer bola aberta U (f (x), ) em Y , pode-se encontrar uma bola aberta U (x, ) em X , tal que f (U (x, )) U (f (x), ). Diz-se que f : X Y contnua quando ela contnua em todos os pontos x X .
Continuidade e Homeomorsmo
21
Denio 2.11. Seja f : X Y uma aplicao entre espaos topolgicos. Dizemos que f contnua se para todo aberto U de Y , a imagem inversa f (U ) for um aberto de X . Se alm disso, f for bijetora e a funo inversa f 1 : Y X for contnua, ento dizemos que f um homeomorsmo e os espaos X e Y so homeomorfos. Observao 2.1.
inversa de Note que
denota imagem inversa por
f 1
denota funo
f.
Sejam
Exemplo 2.3.
f :XY
(X, d)
(Y, d )
espaos mtricos. A m de que uma aplicao
seja contnua, necessrio e suciente que a imagem inversa
f (U ) de todo
U Y seja um subconjunto aberto de X . De fato, para cada x f (U ), temos f (x) U . Pela denio de conjunto aberto, existe > 0 tal que U (f (x), ) U . Sendo f contnua no ponto x, pode-se encontrar uma bola aberta U (x, ) em X , tal que f (U (x, )) U (f (x), ). Isto quer dizer que U (x, ) f (U (f (x), )). Logo f (U (f (x), )) aberta. Reciprocamente, seja x X qualquer. Mostraremos que f contnua no ponto x. Com efeito, como U (f (x), ) aberto em Y devemos ter por hiptese que f (U (f (x), )) aberto de X , contendo x. Assim existe > 0 tal que U (x, ) f (U (f (x), )), ou seja, f (U (x, )) U (f (x), ).
subconjunto aberto
Proposio 2.2. f : X Y contnua se, e somente se, para todo fechado F de Y , a imagem inversa f (F ) fechada em X . Proposio 2.3. f : X Y contnua em x X se, e somente se, para toda vizinhana N em Y de f (x), a imagem inversa f (N ) uma vizinhana em X de x. Denio 2.12. Seja f : X Y uma funo entre espaos topolgicos. Dizemos que f uma aplicao aberta (fechada) se para todo aberto (fechado) U de X tivermos f (U ) aberto (fechado) de Y . Teorema 2.4. Seja f : X Y uma aplicao contnua e bijetora. Ento homeomorsmo se, e somente se, f uma aplicao aberta (fechada).
f
um
Lema 2.1 (Lema da Colagem). Se X = A B , onde A e B so simultaneamente abertos (fechados) e f : A Y e g : B Y so contnuas e tais que f |AB = g|AB , ento h : X Y dada por
{ h(x) = f (x), g (x),
se x A se x B
contnua. Demonstrao.
Y . Ento h (C ) = f (C ) g (C ). Comof e g so contnuas, segue que f (C ) e g (C ) so fechados em A e B respectiva mente. Sendo A e B fechados de X por hiptese, segue pelo teorema 2.3 que f (C ) e g (C ) so fechados de X . Portanto, pela proposio 2.2, h contnua.
Seja
um fechado qualquer de
22
Preliminares
2.4 Conjuntos Compactos

Denio 2.13. Seja X um conjunto. Uma cobertura qualquer de {U }L tal que X = U , onde L denota o conjunto de ndices. Observao 2.2.
Se
uma famlia
X
dizemos que
{U }L
for uma famlia de abertos (fechados) de
a cobertura aberta (fechada).
Denio 2.14. Seja X um espao topolgico. Dizemos que X compacto se para toda cobertura aberta de X , existir uma subcobertura nita, isto , X compacto se e somente se, X = U , U aberto de X implica X = U U U , i L.
1 2 n
Proposio 2.4. Se X compacto e S fechado de X , ento S compacto.

U , U abertos de X . Como S fechado em X , ento X S aberto de X . Logo, X = U (X S ). Como X compacto por hiptese, segue que X = U1 U2 Un (X S ). Assim, S U1 U2 Un e portanto S compacto.
Seja
Demonstrao.
Proposio 2.5. Seja X um espao topolgico de Hausdor. Ento todo subconjunto compacto K de X fechado.
x X K . Para cada y K , tem-se x = y e sendo X de Hausdor, existem abertos Uy e Vx com y Uy e x Vx e Vx Uy = . Tem-se tambm que K y K Uy e como K por hiptese compacto, K Uy1 Uy2 Uyn . Tomando-se os correspondentes Vx1 , Vx2 , . . . , Vxn e considerando-se V = Vx1 Vx2 Vxn temos que V um aberto de X e V K = , ou seja, x V X K . Logo, X K aberto de X e portanto, K fechado de X .
Seja
Demonstrao.
Teorema 2.5. Um espao X Rn compacto, se e somente se, for fechado e limitado.

Demonstrao.
Primeiro suponha que Sejam os subconjuntos abertos
X compacto, e portanto X X U (0, m), para m > 0, tais que (X U (0, m)) = X.
fechado em
Rn .
m>0
Ento conseguimos uma coleo nita com unio igual a tes a
m1 , m 2 , . . . , m k .
Mas se
X , digamos correspondenN = max(m1 , m2 , . . . , mk ), segue que X U (0, N ), que
limitado. Portanto
limitado.
X U (0, N ). Ento X est contido no cubo C dado por |xi | N para cada i. Alm disso, X um subconjunto fechado de C . Se mostrarmos que C compacto, ento pela proposio 2.4 teremos X
Agora suponha que
fechado e limitado, com
tambm compacto. Isto o que provaremos no prximo lema.
Lema 2.2
(Teorema de Heine-Borel)
. Um cubo C em Rn compacto.
Conjuntos Compactos
23
Demonstrao.
Dividimos
Iremos supor que
U = C ,
com
aberto em
C,
no admite subco-
bertura nita com unio
C,
obtendo uma contradio.
em
cubos idnticos por hiperplanos paralelos s suas faces. Alguns
C podero ter a propriedade que nos permita encontrar um conjunto nito 1 , 2 , . . . , k com C U1 Uk . Entretanto, isto no pode ocorrer com todo C , mas a unio de todos estes conjuntos nitos Ui deve ser C . Assim ns podemos escolher um C que no possua tal propriedade, chamando-o C1 . n Agora dividiremos C1 em 2 pequenos cubos, e repetiremos o procedimento anterior.
destes pequenos cubos Obteremos por induo uma sequncia de cubos
C C1 C2 Cr Cr+1
de modo que, para cada de
r,
o comprimento de uma aresta de
Cr U1 estes cubos interceptam-se em um nico ponto. Se n , n so o menor e o maior valor, respectivamente, da primeira coordenada do cubo Cn ento a sequncia n crescente e 1 limitada, e portanto tende para um limite; como n+1 n+1 = (n n ), a sequncia 2 n tende para o mesmo limite, digamos 1 . Analogamente, existem i nicos para as outras coordenadas, de modo que P = (1 , . . . , n ) pertence a todos os cubos Cr . Entretanto o ponto P pertence a algum conjunto aberto U . Como U aberto, existe > 0, tal que d(P, Q) < Q U . Agora se C possui dimetro , Cn ter n dimetro 2 . Mas, para n sucientemente grande 2n < , e portanto para todo Q Cn , d(P, Q) 2n < C,
e no h conjunto nito
1 , . . . , k
com
Cr 2r vezes uma aresta Uk . Observemos que
de modo que construdo. compacto.
Q U ;
e portanto
Assim, conclumos
Cn U . Isto contradiz a forma que C possui uma subcobertura nita
como
Cn
foi
e portanto
Com isto terminamos a demonstrao do teorema 2.5.
Y = L V , V abertos de Y . Como f contnua, f (V ) aberto de X , L e X = L f (V ). Sendo X compacto, segue que X = f (V1 ) f (V2 ) f (Vn ), onde i L. Como f sobrejetora segue que Y = f (X ) = f (f (V1 )) f (f (V2 )) f (f (Vn )) V1 V2 Vn e portanto Y compacto.
Teorema 2.6. Seja f ento Y compacto.

Demonstrao.
Seja
:XY
uma funo contnua e sobrejetora. Se X compacto
Corolrio 2.1. Se X compacto e f ento f um homeomorsmo.
:XY
uma funo contnua e sobrejetora,
Corolrio 2.2. Se f : X Y contnua, X compacto e Y de Hausdor, ento f uma aplicao fechada.
24
Preliminares
:XY
Corolrio 2.3. Se X compacto, Y de Hausdor e f ento f homeomorsmo. Teorema 2.7. Suponha que A, A compacto. Ento
B
contnua e bijetora
so subconjuntos fechados e disjuntos de Rn , com
d(A, B ) = inf {d(a, b) : a A, b B } > 0. 1 {UA (a, d(a, B )) : a A} 2 de A, com unio A. Como A compacto existe um conjunto nito a1 , . . . , ak A tal que, os correspondentes conjuntos abertos tem unio A. Agora para cada a A, existe 1 i (1 i k ) com d(a, ai ) < d(ai , B ) e portanto, 2 1 1 d(a, B ) > d(ai , B ) min1ik d(ai , B ) = , 2 2 digamos, com > 0. Assim, segue que d(A, B ) > 0.
Demonstrao.
Considere a coleo de subconjuntos abertos
2.5 Espaos Conexos ou Desconexos

2.5.1 Conjuntos Conexos
Denio 2.15. Seja X um espao topolgico. Suponha que X seja expresso como a unio disjunta de dois subconjuntos no-vazios U e V , isto , U V = X , U V = . e U e V sejam subconjuntos abertos (fechados) de X . Ento (U, V ) chamada uma partio de X , e neste caso X desconexo. Se X no possuir partio, ento X dito conexo, em outras palavras, sempre que X = U V e U V = , onde U e V so abertos (fechados) de X ento U = ou V = .
Equivalentemente,
conexo
se, e somente se, os nicos subconjuntos de
que
so simultneamente abertos e fechados so De fato, seja
U X um subconjunto aberto e fechado. Assim, X U aberto pois U fechado. Mas X = U (X U ), e portanto U = ou X U = , pois por hiptese X conexo. Logo, U = X ou U = . Por outro lado, considere X = U V , com U e V abertos em X e U V = . Ento U = X V fechado, pois V aberto, e analogamente, V = X U fechado pois U aberto. Segue da hiptese que, U = ou U = X , ou equivalentemente, U = ou V = .
Lema 2.3. O subconjunto {0, 1} de R desconexo.

Demonstrao.
so abertos em Sejam
U = {0}
e no-vazios, e sua unio resulta
V = {1}. Claramente estes conjuntos so disjuntos no espao {0, 1}. Ainda fcil ver que ambos, U e V , [ 1 3 V = {0, 1} , . 2 2 ]
{0, 1},
[ ] 1 1 U = {0, 1} , 2 2
pois podemos escrever, e
Espaos Conexos ou Desconexos
25
Observamos que no somente
{0, 1},
mas todo espao que contm apenas dois
pontos desconexo com a topologia induzida de
(aqui estamos tomando
com a
topologia usual da reta na qual os abertos so os intervalos abertos de Seja
(U, V )
uma partio de
X.
Denimos uma funo
R). f : X {0, 1} por
{ f (x) =
Ento
0 1
se se
xU . xV S
de
{0, 1}, f (S ) aberto de X . De fato, existem somente quatro subconjuntos abertos de {0, 1}: , {0}, {1} e {0, 1}. Assim, as imagens inversas destes, respectivamente, so , U , V e X ; e todos estes so abertos em X por hiptese. Por outro lado, seja f : X {0, 1} uma aplicao contnua e sobrejetora. Tomemos U = f 1 {0} e V = f 1 {1}. Ento U e V so abertos em X desde que f contnua e {0} e {1} so abertos em {0, 1}. Ambos so no vazios por hiptese e, claramente, U V = X e U V = . Assim, provamos: f
contnua. De fato, para qualquer subconjunto aberto
Lema 2.4. O espao X desconexo se, e somente se, existir uma aplicao contnua sobrejetora do espao X no espao {0, 1}. Teorema 2.8. O intervalo [0, 1] de R conexo.
Demonstrao.
Suponha que no. Ento existe uma funo contnua e sobrejetora
f : [0, 1] {0, 1}, assumindo somente os valores 0 e 1. Suponha f (1) = 1. Por hiptese, f assume o valor 0. Seja o menor dos limitantes superiores para o conjunto dos pontos x [0, 1] com f (x) = 0. A contradio ser obtida, aplicando f em . Como f contnua em , existe um nmero > 0 tal que se x [0, 1] e x U (, ) ento f (x) U (f ( ), 1). Como f assume somente os valores 0 e 1, segue que f (x) = f ( ). Agora f (x) = 1 para < x 1, assim f ( ) = 1 (se = 1, estamos de acordo com a hiptese). Por outro lado, para x no intervalo ( , ), f (x) = 0. Ento, f ( ) = 0 (se = 0, como f (x) = 1 para 0 < x 1, segue que f assume ambos os valores pela hiptese). Assim, chegamos a uma contradio, pois f ( ) assume dois valores distintos, o que um absurdo. Portanto [0, 1] conexo.
2.5.2 Conexo por Caminhos
Denio 2.16. Um espao topolgico X dito conexo por caminhos se para quaisquer dois pontos x, y X , existir uma aplicao contnua f : I X com f (0) = x, f (1) = y , onde I = [0, 1]. Em geral, uma aplicao contnua f : I X chamada um caminho em X , e diremos que o caminho f une x a y.
26
Preliminares
Teorema 2.9. Todo espao conexo por caminhos conexo, mas nem todo espao conexo conexo por caminhos.
Demonstrao.
conexo. Como Primeiramente, suponha que
seja conexo por caminhos, mas no
no conexo, existe uma funo contnua e sobrejetora
f : X
{0, 1}.
f (x) = 0, f (y ) = 1. Do fato de X ser conexo por caminhos, podemos escolher um caminho g : I X com g (0) = x, g (1) = y . Ento f g : I {0, 1} uma aplicao contnua com f g (0) = 0 e f g (1) = 1. Assim, segundo o lema 2.4 I = [0, 1] desconexo, contradizendo o teorema 2.8. Portanto X
Tomemos dois pontos com conexo. Para mostrar a segunda parte, devemos construir um espao conexo que no seja conexo por caminhos. Seja
x, y X
Y =U V,
onde
U = {(x, y ) R2 : x = 0, 1 y 1}, 1 V = {(x, y ) R2 : 0 < x 1, y = sen }. x

Claramente
um intervalo fechado, e portanto conexo por caminhos.
parametrizao portanto
tambm conexo por caminhos. Assim se
1 (x, sen ), x
tem a
e como
1 sen( x )
uma funo contnua para
for desconexo,
0 < x 1, (U, V ) ser a
nica partio possvel, caso contrrio teramos uma partio para os espaos conexos
f : Y {0, 1} por f (U ) = {0}, f (V ) = {1}. Vamos mostrar que f no contnua em todos os pontos de U . suciente vericar na origem (para os demais 1 pontos de U a vericao anloga). De fato, f (0, 0) = 0 mas, f ((k ) , 0) = 1, para 1 todo inteiro positivo k . Qualquer vizinhana de (0, 0) contm pontos ((k ) , 0), de modo que f descontnua e Y conexo. Por outro lado, veremos que no h caminhos em Y ligando pontos de U aos pontos de V . Suponha que exista um caminho f : I Y tal que f (0) U e f (1) V . Seja o menor dos limitantes superiores de x I , para 2 os quais f (x) U . Como f contnua e U fechado (em R , e portanto em Y ), f ( ) U . Por outro lado, a continuidade de f nos garante que existe > 0 tal que 1 f ([, + ]) U (f ( ), 1). Considere a interseco J de V com o disco D(f ( ), 2 ). Se K um intervalo dessa interseco, contendo f ( + ), ento (K, J K ) uma partio de J , de modo que f ( ) K , o que uma contradio. Portanto Y no
ou
V.
Denamos
conexo por caminhos.
2.5.3
Localmente Conexo por Caminhos
Denio 2.17. Um espao topolgico X localmente conexo por caminhos em a, se toda vizinhana U de a contiver uma vizinhana V de a de modo que quaisquer dois pontos de V podem ser ligados por um caminho em U .
Se
o conjunto de pontos de
U,
ento evidentemente
U V W U
que podem ser ligados a e
por um caminho em
conexo por caminhos. Assim, podemos
Espaos Conexos ou Desconexos

dizer que um espao topolgico vizinhana
27
localmente conexo por caminhos em
a,
se toda
de
a contiver uma vizinhana W de a conexa por caminhos. Diremos que X localmente conexo por caminhos se isto ocorrer em todos os pontos X . Podemos construir espaos conexos por caminhos utilizando o prximo lema.
de
Lema 2.5.
i) Rn localmente conexo por caminhos. ii) Se X localmente conexo por caminhos e U aberto de X , ento U localmente conexo por caminhos. iii) Se os conjuntos U so localmente conexos por caminhos e abertos em X e X = U , ento X localmente conexo por caminhos. Demonstrao.
i) Cada ponto de
Rn possui arbitrariamente pequenas vizinhanas convexas (digamos
discos), as quais so conexas por caminhos. ii) Se
aU
uma vizinhana de
tambm uma vizinhana de por caminhos, iii) Se
em
a X.
em
U,
ento (como
aberto de
X ), V
Como
por hiptese localmente conexo
contm uma vizinhana conexa por caminhos.
x X , ento x U para algum , e qualquer vizinhana N de x em X contm N U , o qual contm uma vizinhana M de x conexa por caminhos em U . Como U aberto, M uma vizinhana de x em X . ii)
e
As partes
iii)
do lema 2.5 formalizam a vaga ideia de que, ser localmente
conexo por caminhos, depende somente do comportamento de isto , de sua propriedade local.
prximo a um ponto,
Teorema 2.10. Se X localmente conexo por caminhos, e conexo, ento ele conexo por caminhos.
Demonstrao.
minhos. Suponha
localmente conexo por caminhos, mas no conexo por caSuponha que
Iremos construir uma partio e chegar a uma contradio. no possam ser ligados por um caminho. Seja
x, y X
o conjunto de pontos de Escrevemos
X,
de
os quais podem ser unidos a modo a construirmos
x
e
por um caminho em
X.
V = X U,
disjuntos. Ento para mostrar que
(U, V )
uma partio,
resta somente mostrar que Seja
so abertos.
u U.
Ento
possui uma vizinhana a
em
conexa por caminhos. Se
w W , existe um caminho em W unindo w a x. Assim w pode ser unido a x; w U , e
e um outro caminho em
unindo
portanto
W U.
Como
contm uma
vizinhana para cada um de seus pontos, ele aberto. Analogamente,
v V
possui
28
Preliminares
N
em
X conexa por caminhos. Se n N U , v pode ser unido a x por um caminho atravs de n, uma contradio. Portanto N X U = V e V aberto. Assim, conseguimos uma partio (U, V ) em X , contradizendo a hiptese de que X conexo. Portanto, se X localmente conexo por caminhos e conexo, X conexo por
uma vizinhana caminhos. As noes de conexos e conexos por caminhos referem-se essencialmente aos pontos, e por isso so propriedades zero-dimensional. Estas podem ser generalizadas para n(caminhos)-conexos, substituindo os pontos por poliedros de dimenso, no mximo,
n.
O caso
n=1
ser estudado nos prximos captulos.
Grupos Abelianos
Iniciamos este captulo com algumas denies.
Denio 3.1. Um grupo abeliano um conjunto A munido de uma aplicao AA A, usualmente denotada por
(a, b) a + b,
de modo que G1 Existe um elemento 0 A com 0 + a = a para todo a A. G2 Para cada a A existe (a) A com (a) + a = 0. G3 Para todos a, b, c A, (a + b) + c = a + (b + c). G4 Para todos a, b A, a + b = b + a.
Os axiomas
G1
G3
denem o conceito de grupo. O mais importante exemplo,
Z com a operao de adio usual. Outros exemplos so os grupos aditivos dos reais R, ou dos nmeros complexos C. Notemos que o grupo trivial consiste do conjunto unitrio {0}. Usualmente escrevemos a b para a + (b), a + b + c para a + (b + c), e assim por diante.
para ns, ser o grupo dos inteiros Tambm usaremos a notao multiplicativa, isto , deniremos a aplicao por
(a, b) ab,
satisfazendo
1) Existe um elemento 2) Para cada
1A
com
1a = a
para todo
a A.
aA
existe
a1 A
tal que
a1 a = 1.
3) Para todos 4) Para todos
a, b, c A, (ab)c = a(bc). a, b A, ab = ba.
29
30
Grupos Abelianos
Exemplos de grupos com esta notao so os grupos multiplicativos
R , dos nmeros
C , dos nmeros complexos no nulos. Note que o zero foi excludo para que o axioma 2) no fosse violado. Neste contexto, o grupo mais 1 importante ser o grupo S dos nmeros complexos de mdulo 1, com a multiplicao
reais no nulos, ou o conjunto usual de nmeros complexos.
Denio 3.2. Seja A um grupo abeliano. Um subconjunto B de A ser um subgrupo se

S1) 0 B. S2) Se b B , ento (b) B. S3) Se a, b B , ento (a + b) B.
Observemos que
S3 G3
arma que a adio em
restrita a
B B B;
S1 e S2 implicam que esta restrio satisfaz e
B G1
ser uma aplicao e
G2.
Como estas
G4, B um grupo. Por exemplo, Z um subgrupo de R, e ambos so subgrupos de C; {0} pode ser considerado um subgrupo de qualquer grupo. Este conjunto algumas vezes ser denotado simplesmente por 0.
tambm satisfazem
Denio 3.3. Dados dois grupos A, X , uma aplicao : A X um homomorsmo se (0) para todos a, b A, (a + b) = (a) + (b). Propriedades elementares de homomorsmos:
1)
(0) = 0.
De fato,
(0) = (0 + 0) = (0) + (0).
Portanto,
(0) = 0.
2)
(a) = (a).
De fato,
0 = (0) = (a + (a)) = (a) + (a). :AX

e
Portanto
(a) = (a). : B X
Claramente se
:BA
so homomorsmos, ento
tambm um homomorsmo. Utilizaremos todos os homomorsmos Um homomorsmo
Hom(A, X )
para designar o conjunto de
A X. bijetor : A X
chamado um
isomorsmo
(entre
X ).
Isomorsmos desempenham o mesmo papel, na Teoria de Grupos, que os homeomorsmos em Topologia. Se algbrica que
um isomorsmo,
tambm ser, e qualquer propriedade
possua (por exemplo nmero de elementos, de subgrupos, etc.),
tambm possuir; diremos ento que exemplo, qualquer grupo isomorfo a
A e X no so abstratamente distinguveis. Z chamado um grupo cclico innito.
Por
Denio 3.4. Se : A X um homomorsmo, denimos seu kernel (ou ncleo) e sua imagem por
31
Ker = 1 {0} = {a A : (a) = 0}, Im = (A) = {(a) : a A}.
Lema 3.1. Se : A X um homomorsmo, ento Ker um subgrupo de A e Im um subgrupo de X . injetora se, e somente se, Ker = {0} e sobrejetora se, e somente se, Im = X .
Demonstrao.
Mostremos primeiramente que Ker
um subgrupo de
A,
vericando
que ele satisfaz as propriedades
S 1, S 2
S 3.
S 1) 0 Ker , pois como um homomorsmo e 0 A, segue que (0) = 0. S 2) Se b Ker ento (b) Ker , pois como por hiptese, um homomorsmo (b) = (b). Se b Ker , ento (b) = 0 e portanto, (b) = (b) = 0 = 0 o que mostra que b Ker . S 3) Se a, b Ker , ento (a + b) Ker , pois sendo um homomorsmo, temos que (a + b) = (a) + (b). Se a, b Ker , ento (a + b) = (a) + (b) = 0 + 0 = 0, e portanto (a + b) Ker . Como Ker satisfaz as trs propriedades acima, segue que Ker um subgrupo de A. A demonstrao que Im um subgrupo de X anloga. Vamos mostrar agora que injetora se, e somente se, Ker = {0}. Suponha primeiramente que injetora. Ento, se a Ker , (a) = 0 = (0),
e como
por hiptese injetora, a = 0. Assim, Ker = {0}, suponha que (a) = (b). Ento, (a b) = = = = =
Ker
= {0}.
Reciprocamente, se
(a + (b)) (a) + (b) (a) (b) (a) (a) 0

e da segue que
Como por hiptese Ker injetora.
= {0}, a b = 0,
a = b,
o que prova que
= X. Primeiramente, suponha que sobrejetora, e mostremos que Im X e X Im . A primeira incluso bvia. Mostremos que X Im . Seja b X . Por hiptese sobrejetora, ento existe a A tal que (a) = b. Portanto, b = (a) Im e assim X Im . Por m, suponha que Im = X . Para mostrarmos que sobrejetora, tomemos b X . Por hiptese, Im = X , ento existe a A tal que b = (a). Portanto
Resta mostrar a ltima armao: sobrejetora se, e somente se, Im sobrejetora.
32
Grupos Abelianos
+
Proposio 3.1. Se : A X e : A X so homomorsmos, denindo por (0 ) ( + )(a) = (a) + (a), temos que + um homomorsmo.
Demonstrao.
obtemos
De fato, aplicando-se as propriedades H2, H1, G4 e H2 novamente
( + )(a + b) = = = =
(a + b) + (a + b) (a) + (b) + (a) + (b) (a) + (a) + (b) + (b) ( + )(a) + ( + )(b).
Assim o conjunto
Hom(A, X )
dotado da operao de adio de homomorsmos.
No h diculdade em provar que tal operao satisfaz as propriedades G1 a G4, mostrando que nulo,
Hom(A, X ) um grupo abeliano. Por exemplo, temos o homomorsmo 0 Hom(A, X ) dado por 0(a) = 0 para todo a A.
3.1 Soma Direta

Denio 3.5. Sejam A, B dois grupos. A soma direta A B com a adio dada por
AB
consiste do conjunto
(a1 , b1 ) + (a2 , b2 ) = (a1 + a2 , b1 + b2 ).

Veriquemos que
AB
satisfaz os axiomas G1 a G4:
G1 G2 G3
(0, 0) + (a, b) = (0 + a, 0 + b) = (a, b). (a, b) + (a, b) = ((a) + a, (b) + b) = (0, 0). ((a1 , b1 ) + (a2 , b2 )) + (a3 , b3 ) = = = = = (a1 + a2 , b1 + b2 ) + (a3 , b3 ) ((a1 + a2 ) + a3 , (b1 + b2 ) + b3 ) (a1 + (a2 + a3 ), b1 + (b2 + b3 )) (a1 , b1 ) + (a2 + a3 , b2 + b3 ) (a1 , b1 ) + ((a2 , b2 ) + (a3 + b3 )).
G4
(a1 , b1 ) + (a2 , b2 ) = (a1 + a2 , b1 + b2 ) = (a2 + a1 , b2 + b1 ) = (a2 , b2 ) + (a1 , b1 ).
Observao 3.1.
Por induo - ou analogia - pode-se denir a soma direta de um
conjunto nito de grupos (abelianos). A seguir descreveremos homomorsmos envolvendo somas diretas.
Soma Direta
33
Lema 3.2. Sejam A, B, X grupos (abelianos), e seja a aplicao : X A B com componentes 1 : X A, 2 : X B , tais que,
(x) = (1 (x), 2 (x)),
para todo x X.
Ento, um homomorsmo se, e somente se, 1 e 2 o so. Demonstrao.

e Por denio,
(x + y ) = (1 (x + y ), 2 (x + y )),
(x) + (y ) = (1 (x), 2 (x)) + (1 (y ), 2 (y )) = (1 (x) + 1 (y ), 2 (x) + 2 (y )) , = (1 (x + y ), 2 (x + y ))

assim
um homomorsmo se, e somente se, para todos
x, y X
os lados esquerdos
das equaes acima so iguais, se, e somente se, os lados direitos das equaes acima so iguais, se, e somente se,
so homomorsmos.
Este lema pode ser interpretado como um isomorsmo
Hom(X, A B ) = Hom(X, A) Hom(X, B ).

Utilizaremos um smbolo para a aplicao
com as componentes
2 .
Ns a
escreveremos como uma matriz coluna ou como uma matriz linha, assim:
[ ] 1 = = {1 , 2 }. 2
O prximo resultado ser de grande importncia na construo de homomorsmos a partir de uma soma direta.
Lema 3.3. Sejam A, B, Y grupos abelianos. Para todos homomorsmos 1 : A Y , 2 : B Y , a aplicao (1 , 2 ) : A B Y denida por
(1 , 2 )(a, b) = 1 (a) + 2 (b)
um homomorsmo. Reciprocamente, todo homomorsmo : A B Y pode ser (unicamente) expresso como um par (1 , 2 ). Demonstrao.
A B.
Ento, Para mostrar que
(1 , 2 ) um homomorsmo, sejam (a1 , b1 ), (a2 , b2 )
(1 , 2 )((a1 , b1 ) + (a2 , b2 )) = (1 , 2 )(a1 + a2 , b1 + b2 ) (Denio de Soma Direta) = 1 (a1 + a2 ) + 2 (b1 + b2 ) (Denio de (1 , 2 )) = 1 (a1 ) + 1 (a2 ) + 2 (b1 ) + 2 (b2 ) (1 , 2 so homo morsmos por hiptese) = 1 (a1 ) + 2 (b1 ) + 1 (a2 ) + 2 (b2 ) (Y um grupo abeliano ) = (1 , 2 )(a1 , b1 ) + (1 , 2 )(a2 , b2 ) (Denio de (1 , 2 )).
34
Grupos Abelianos
(1 , 2 )
um homomorsmo.
Portanto
Reciprocamente, dado qualquer
denimos
por
1 (a) = (a, 0), 2 (b) = (0, b).

facil ver que estes so homomorsmos, e teremos
(a, b) = = = =
Assim
((a, 0) + (0, b)) (a, 0) + (0, b) . 1 (a) + 2 (b) (1 , 2 )(a, b)

(porque a forma de
= (1 , 2 ) e claramente esta decomposio nica representar (a, b), na soma direta, como (a, 0) + (0, b) nica).
A notao acima generaliza a notao usual de matrizes. Observe que a composio de duas aplicaes
A B Y X
dada por
{1 ,2 }
(1 ,2 )
[ ] 1 (1 , 2 ) = (1 1 + 2 2 ), 2 (1 , 2 ){1 , 2 }(x) = (1 , 2 )(1 (x), 2 (x)) = 1 1 (x) + 2 2 (x) = (1 1 + 2 2 )(x).
pois
Isto ilustra a lei de multiplicao usual de matrizes em um caso especial. Observe agora que uma aplicao
:X Y AB
ser da forma e escrever
{1 , 2 }, onde 1 : X Y A 1 = (11 , 12 ) e 2 = (21 , 22 ). [
2 : X Y B .
Podemos continuar,
Em seguida, ca claro que
possa ser
representada pela matriz
] 11 12 . 21 22
Isto conrmado pelo fato de que, se
1 = {11 , 21 } : X A B
e
2 = {12 , 22 } : Y A B,
ento
= (1 , 2 ).
Soma Direta
A matriz ser til para no haver confuso em saber o domnio e contradomnio das aplicaes
35
ij , i, j {1, 2},
sendo que suas colunas correspondem aos domnios
X, Y
as linhas ao contradomnio
B.
Assim,
X [ 11 21
Y ] 12 22
A B
Lema 3.4. Seja A um grupo abeliano (aditivo) qualquer. Denamos uma relao entre os elementos de A por:
ab
se existe c A com a b = c + c.
Ento uma relao de equivalncia. Demonstrao.

(i) (ii) De fato, temos
aa, ab,
desde que
a a = 0 = 0 + 0; a b = c + c;
mas ento
implica que
b a = (a b) = (c) + (c),
de modo que (iii)
ba;
implica que
aa
a a
a a = b + b
Ento
a a = b + b .
a a = (a a ) + (a a ) = (b + b) + (b + b ) = (b + b ) + (b + b )
de modo que Assim
aa . t(A)
o nmero
est dividido em classes de equivalncia. Denotaremos por
de tais classes e por
[a] = {b A|ba}
a classe do elemento
a A.
Observao 3.2. Se : A B um homomorsmo e a, a A, a denio de dada

aa , ento (a)(a ). Assim, se um isomorsmo, aa se, e somente se, (a)(a ). Neste caso, a aplicao induz um isomorsmo A B A B entre e que a cada [a] associa [(a)] . Portanto, t(A) = t(B ).
no lema 3.4 nos mostra que se No nosso estudo o exemplo mais relevante ser o subgrupo soma direta de
Zn
de
Rn ,
dado pela
grupos, cada um, uma cpia de
Z.
Proposio 3.2. Se m = n so inteiros positivos, os grupos Zm e Zn no so isomorfos.
36
Grupos Abelianos
Pelo lema 3.4, se
Demonstrao.
A = Zn ,
diremos que
(r1 , . . . , rn )(s1 , . . . , sn )
se, e
ri si for par. Como para cada ri existem duas possibilidades (par n n ou mpar), segue que t(Z ) = 2 . m m Finalmente, se m = n, ento t(Z ) = 2 = 2n = t(Zn ), no possibilitando um m n isomorsmo entre Z e Z conforme observao 3.2.
somente se, cada
3.2 Sequncias Exatas

Dados trs grupos e dois homomorsmos, formando uma sequncia
A2 A3 , A1
a sequncia ser dita armaes: i) Im1
exata se Ker 2 = Im 1 .
Isto pode ser expresso por meio de duas
Ker2 , que signica, que para todo y da forma 1 (x), temos 2 (y ) = 0; equivalentemente, para cada x A1 temos 2 1 (x) = 0. Im1 , que signica, que se y A2 que y = 1 (x).
satisfaz
ou
ii) Ker2 tal
2 (y ) = 0, ento existe x A1 ,
Uma sequncia de grupos e homomorsmos chamada exata, se quaisquer dois homomorsmos consecutivos da sequncia, satiszer a condio acima. Neste caso, a armao acima nos diz que a sequncia
exata
em
A2 .
Teorema 3.1. Dada uma sequncia exata

Q R S {0} P
e um homomorsmo : S R com = 1, ento a sequncia

Q S R { 0} P {,0} (, )
exata. Demonstrao.
Im Temos que provar que a sequncia exata em Ker
QS
e em
R.
{, 0}
Veriquemos
(, ), pois (, ){, 0} = = 0. que Ker (, ) Im {, 0}. Suponha (, )(q, s) = 0. 0 = (, )(q, s) = (, )(q, s) = (0, 1)(q, s) = s,
Ento
e assim, substituindo
s = 0, 0 = (, )(q, 0) = (q ).
Sequncias Exatas
Pela exatido em
37
da sequncia dada, existe
pP
com
q = (p).
Mas ento
(q, s) = (q, 0) = ((p), 0) = {, 0}(p),

e portanto Ker
(, ) Im {, 0}. Assim, Ker (, ) = Im {, 0}, mostrando que a sequncia exata em Q S . Falta mostrar que Im (, ) = R. Uma vez que = 1, temos que, para qualquer r R, (r) = (r). Assim, r (r) Ker . Mas pela exatido (em R) da sequncia dada, Ker = Im . Assim, para algum q Q, r (r) = (q ).
Portanto,
r = (, )(q, (r)).
Corolrio 3.1. Dada uma sequncia exata

R S {0} {0} Q
e : S R com = 1, a aplicao (, ) : Q S R um isomorsmo. Demonstrao.

Colocando
P = 0,
no teorema 3.1, temos uma sequncia exata
R {0}; {0} Q S
e assim, segue o resultado. Quando existe um homomorsmo como cia exata
(, )
no corolrio acima, dizemos que a sequn-
cinde, e tambm diremos que R se decompe como a soma direta de Q e S .

[ ]
Teorema 3.2. Dada uma sequncia exata

X A B
{, }
a c
b d
A B X
( , )
de modo que, d : B B um isomorsmo, ento a sequncia

X A A X abd1 c
exata, e portanto Ker = Ker{, }, Im = Im( , ). Demonstrao.

Pela exatido em
A B , da sequncia dada, [ ][ ] [ ] a b a + b 0= = . c d c + d
temos
38
Grupos Abelianos
Como
0 = c + d , podemos 1 deduzir que 0 = d (c + d ) = d c + , resultando em = d c. Disto, segue que, para x X , x = 0 implica x = 0, de modo que x = 0 se, e somente se, x = 0 e x = 0; da Ker = Ker{, }. 1 Analogamente temos a + b = 0 ou, substituindo = d c,
um isomorsmo, possui inversa. Ento, como
0 = a + b(d1 c) = (a bd1 c),

provando que Im
Ker(a bd1 c). Para mostrar que Ker(a bd1 c) Im, suponha u A com (abd1 c)u = 0. Escrevendo v = d1 c(u), temos c(u)+d(v ) = 0 e tambm a(u) + b(v ) = 0. Assim, (u, v ) pertence ao Kernel da aplicao central da sequncia dada; e pela exatido, est na imagem de {, }. Assim para algum x X , temos (x) = u (analogamente (x) = v ), provando a exatido em A.
A demonstrao da outra parte do teorema similar a esta. Primeiro,
] a b 0 = ( , ) = ( a + c, b + d), c d
de modo que
= bd1 e (a bd1 c) = 0. A segunda igualdade demonstra 1 parte da exatido em A , a saber que Im(a bd c) Ker ; a primeira implica que Im =Im( , ). Claramente, Im Im( , ) pois (p) = ( , )(p, 0), p A ; reciprocamente, qualquer elemento de Im( , ) da forma (p) + (q ) = (p bd1 (q )),
e portanto pertecem a Im . Finalmente, se
p A
com
(p) = 0,
ento
( , )(p, 0) = (p) = 0,
e pela exatido da sequncia dada, existe
] a b (u, v ) = (p, 0), c d
(u, v ) A B ,
com
ou equivalentemente,
a(u) + b(v ) = p, c(u) + d(v ) = 0, v = d1 c(u) e p = (a bd1 c)(u). Logo Ker Im(a bd1 c) e a sequncia exata em A . [ ] a b Corolrio 3.2. Se : A B A B e d : B B so isomorsmos, ento c d A e A so isomorfos; em particular se b (ou c) for 0, a um isomorsmo.
donde,
Demonstrao.
Este resultado segue do teorema 3.2, tomando
X = X = {0}.
Grupos Abelianos Livres
39
3.3 Grupos Abelianos Livres

Denio 3.6. Dados um conjunto X , um grupo abeliano G e uma funo i : X G. Ento (G, i) tem a propriedade universal para X se, para qualquer grupo abeliano A e funo j : X A, existe um nico homomorsmo : G A, com j = i. Quando isto acontece, dizemos que G um grupo abeliano livre sobre os geradores i(X ). O nmero cardinal de X chamado posto de G. Proposio 3.3. Seja X = {x}, Z o grupo abeliano aditivo e i : X Z denida por i(x) = 1. Ento (Z, i) tem a propriedade universal para X . Neste caso dizemos que Z um grupo abeliano livre sobre i(X ) = {1} e, como o nmero cardinal de X 1, dizemos que Z tem posto 1.
Demonstrao.
Considere Seja
um grupo abeliano qualquer e
j : X = {x} A
uma funo,
isto , existe um nico
a A tal que j (x) = a. : Z A denido por:

onde
(0) = 0 (n) = na,

Ento
a + . . . + a,
n
se se
n>0 n<0
na =
(a) + . . . + (a),
(n)
vezes
vezes
tal
homomorsmo. Alm disso, temos i(x) = (1) = a = j (x) = i = j . Agora, resta mostrar que nico. Para isto, suponha que exista homomorsmo que i(x) = j (x). Ento: (1) = a = (1) e (0) = 0 = (0). Se n > 0, (n) = (1 + . . . + 1) = (1) + . . . (1) = a + . . . + a = na = (n)
n vezes
Se
n vezes
n vezes
n < 0, (n) = ((1) + . . . + (1))

n vezes
= (1) + . . . + (1)
n vezes
= ( (1)) + . . . + ( (1))
n vezes
= (a) + . . . + (a) = (n)a

n vezes
= (n)
Portanto
= . (Z, i)
tem a propriedade universal para o conjunto de todos
Logo, por denio, Lembremos que
X.
os homomorsmos
Hom(Z, A)
f : Z A.
Corolrio 3.3. Para qualquer grupo abeliano A, a funo denida por ev (f ) = f (1) um isomorsmo.
ev : Hom(Z, A) A,
40
Grupos Abelianos
Temos que mostrar que
Demonstrao.
ev
um homomorsmo bijetor.
Primeiramente, temos
ev (f + g ) = (f + g )(1) = f (1) + g (1) = ev (f ) + ev (g ).

Portanto
ev
homomorsmo.
Agora mostremos que Para qualquer
ev
bijetor.
a A,
considere o diagrama
Ao
onde
n {a} A AA }N } i AA }} AA } } A ~} }
j !f
Z (Z, i) tem a f : Z A tal
i(a) = 1
j (a) = a,
para todo
a A.
Segundo a proposio 3.3,
propriedade universal para que
{a},
ento existe um nico homomorsmo
f i = j.
f Hom(Z, A) tal que f i(a) = j (a), isto , ev (f ) = f (1) = f i(a) = j (a) = a. Portanto ev bijetor. Logo ev isomorsmo.
Logo, existe um nico
Denio 3.7. Uma sequncia exata do tipo

0XY Z0
f g
dita uma sequncia exata curta.
Denio 3.8. Considere a seguinte sequncia exata curta

0 A B C 0.

Dizemos que a sequncia cinde se possui inversa, isto , existe : C B tal que = 1C , onde 1C denota a identidade de C .
p i Proposio 3.4. Sejam A e G grupos abelianos. Se a sequncia 0 A GB0 exata curta e B um grupo abeliano livre, ento a sequncia cinde.
Demonstrao.
:BG
Para mostrar que a sequncia cinde, temos que encontrar uma funo
p = 1B . Ento, dado um conjunto X e uma funo b : X B , deniremos g : X G, de modo que x X, g (x) o elemento de G tal que p(g (x)) = b(x). Como B abeliano livre, (B, b) tem a propriedade universal para X . Ento para o grupo abeliano G e a funo g : X G, existe um nico homomorsmo : B G tal que b = g . Ento, p b = p g = b. Como (B, b) tem a propriedade universal para X , para o grupo abeliano B e a funo b : X B , existe um nico homomorsmo : B B tal que b = b. Como 1B b = b e (p ) b = b ento p = 1B . Portanto a sequncia cinde.
tal que,

Assim, se a sequncia de grupos abelianos abeliano livre, segue pelo corolrio 3.1 que
41
0AGB0 G = A B.
exata, com
Proposio 3.5. Suponha que (G, i) e (H, j ) tenham ambos a propriedade universal para X . Ento existe um nico isomorsmo : G H , com j = i.
(G, i) tem a propriedade universal para X , para o grupo abeliano H e funo j : X H existe um nico homomorsmo : G H tal que i = j . Tambm, como (H, j ) tem a propriedade universal para X , para o grupo abeliano G e funo i : X G existe um nico homomorsmo : H G tal que j = i. Alm disso, temos que ( ) j = ( j ) = i = j e 1H j = j . Assim = 1H . Tambm, ( ) i = ( i) = j = i e 1G i = i. Desse modo, = 1G , pois (G, i) tem a propriedade universal para X . Logo bijetor. Portanto um isomorsmo e G e H so isomorfos.
Como
Demonstrao.
Proposio 3.6. Suponha que X1 X2 = e que (G1 , i1 ) tem a propriedade universal para X1 e (G2 , i2 ) tem a propriedade universal para X2 . Ento (G1 G2 , i) tem a propriedade universal para X1 X2 onde i : X1 X2 G1 G2 denida por:
{ i(x) = (i1 (x), 0), (0, i2 (x)), A
se x X1 se x X2
j : X1 X2 A, devemos provar que existe um nico homomorsmo : G1 G2 A tal que i = j . Considere ki : Xi X1 X2 , i = 1, 2 as incluses naturais. Para a aplicao j k1 : X1 A, existe um nico homomorsmo 1 : G1 A tal que 1 i1 = j k1 e para a aplicao j k2 : X2 A, existe um nico homomorsmo 2 : G2 A tal que 2 i2 = j k2 . Dena = (1 , 2 ) : G1 G2 A por (x, y ) = 1 (x) + 2 (y ). Ento { { (i1 (x), 0), se x X1 1 i1 (x), se x X1 i(x) = = = (0, i2 (x)), se x X2 2 i2 (x), se x X2 { { j (x), se x X1 j k1 (x), se x X1 = j (x), se x X1 X2 = = j (x), se x X2 j k2 (x), se x X2 Resta mostrar que nica. Suponha que exista = (1 , 2 ) tal que i = j .
Dado um grupo abeliano qualquer e uma funo Ento
Demonstrao.
1 i1 (x), se x X1 = i(x) = 2 i2 (x), se x X2 se { { j k1 (x), se x X1 j (x), se x X1 = = j k2 (x), se x X2 j (x), se x X2 Ento 1 i1 = j k1 e portanto 1 = 1 . Analogamente, 2 i2 = j k2 e portanto 2 = 2 . Logo = e portanto existe um nico homomorsmo tal que i = j . (i1 (x), 0), (0, i2 (x)),
se
x X1 = x X2
Proposio 3.7. Se X nito, existe (G, i) com a propriedade universal para X .
42
Grupos Abelianos
Se
Demonstrao.
i : X Z tal que i(x) = 1, pela proposio 3.3, (Z, i) tem a propriedade universal para X . Se X1 = {x} e i1 : X1 Z tal que i1 (x) = 1, pela proposio 3.3, (Z, i1 ) tem a propriedade universal para X1 e se X2 = {y } e i2 : X2 Z tal que i2 (y ) = 1, pela proposio 3.3, (Z, i2 ) tem a propriedade universal para X2 . Seja X = {x, y } = X1 X2 , G = Z Z e i : X Z Z tal que i(x) = (1, 0) e i(y ) = (0, 1). Pela proposio 3.6 (Z Z, i) tem a propriedade universal para X . Por induo, podemos mostrar que se X = {x1 , x 2 , . . . , x n }, n G = Z Z . . . Z = Z e i : X G, com i(xj ) = (0, . . . , 0, 1 , 0, . . . , 0) ene to
X = {x}
(Zn , i)
Seja
n vezes tem a propriedade universal para
X.
F (X ) = { : X Z; (x) = 0, exceto possivelmente por um nmero nito de elementos x X }. Dados , F (X ) denamos , + por ( )(x) = (x) e ( + )(x) = (x) + (x). Ento (F (X ), +) um grupo abeliano. Dena iX : X F (X ) por { 1, se x = y iX (x)(y ) = 0, se x = y. X
um conjunto qualquer e denamos
Teorema 3.3.
Demonstrao.
(F (X ), iX )
Se
tem a propriedade universal para X .

podemos fazer a identicao
F (Y ) { F (X ); (X Y ) = 0} de modo que, dado F (Y ), denimos : X Z tal que (Y ) = (Y ) e (X Y ) = 0 e, dado { F (X ); (X Y ) = 0}, denimos : Y Z por = |Y . Se F (X ), existe algum subconjunto Y de X , nito, com (X Y ) = 0, ento F (Y ). Assim F (X ) = {F (Y ); Y X, Y nito}. Se Y nito, (F (Y ), iY ) tem a propriedade universal para Y , visto que (F (Y ), iY ) n pode ser identicado com (Z , i), onde n o nmero de elementos de Y e, pela propon sio 3.7, (Z , i) tem a propriedade universal para Y . Seja A um grupo abeliano qualquer e j : X A, uma funo. Vimos que se Y X nito, ento existe um nico homomorsmo Y : F (Y ) A tal que Y iY = j |Y . Se Z Y , ento F (Z ) F (Y ), iZ = iY |Z e (Y |F (Z ) ) iZ = j |Z . De fato, se Z Y , observamos que F (Z ) { F (Y ); (Y Z ) = 0}. Logo F (Z ) F (Y ). Para qualquer x Z, iZ (x) F (Z ) pode ser vista, pela identicao acima, como uma funo iZ (x) : Y Z satisfazendo iZ (x)(Y Z ) = 0. Para provarmos que iZ = iY |Z basta vericarmos que, para qualquer x Z, iY (x) : Y Z satisfaz iY (x)(Y Z ) = 0. Mas, de fato, se w Y Z , como x Z, w = x e portanto iY (x)(w ) = 0 por denio de iY (x). Logo iZ = iY |Z . Por outro lado, para qualquer x Z, (Y |F (Z ) ) iZ (x) = (Y |F (Z ) )(iZ (x)) = Y (iZ (x)) = Y (iY |Z (x)) = j |Z (x).
Y X,

(F (Z ), iZ ) tem a propriedade universal para Z . Assim existe um nico homomorsmo Z : F (Z ) A; Z iZ = j |Z . Portanto Z = Y |F (Z ) . Denamos, agora : F (X ) A. Para qualquer F (X ) escolha Y X , nito, com F (Y ) e dena ( ) = Y ( ). Note que isto no depende de Y , pois se tambm F (Y ), temos Y ( ) = Y Y ( ) = Y ( ). Temos que um homomorsmo, pois, dados 1 , 2 F (X ), escolha Y1 , Y2 X , nitos, com 1 F (Y1 ) e 2 F (Y2 ). Seja Y = Y1 Y2 . Ento (1 + 2 ) = Y (1 + 2 ) = Y (1 ) + Y (2 ) = (1 ) + (2 ), pois Y homomorsmo. Para todo x X , temos (iX (x)) = {x} (i{x} (x)) = j (x). Assim iX = j . Dado qualquer homomorsmo : F (X ) A, com iX = j , temos para qualquer Y X , nito, |F (Y ) iY = (iX |Y ) = j |Y = Y iY = |F (Y ) iY e portanto |F (Y ) = |F (Y ) . Como F (X ) a unio desses subgrupos F (Y ), segue que = .
Como nito,
43
X , construmos (F (X ), iX ) com a propriedade universal para X . Usualmente, escrevemos apenas i para designar iX , e chamamos F (X ) o grupo abeliano livre sobre X . Agora dada qualquer funo f : X Y , existe (pela propriedade universal) um nico homomorsmo F (f ) : F (X ) F (Y ) tal que F (f ) iX = iY f ,
Para cada conjunto ou seja, comuta o diagrama
X
iX
/Y / F (Y ).
iY
F (X )
F (f )
O grupo
o grupo
H 0 (X ), H 0 (X )
o conjunto
0(X )
Geralmente, ao estudar topologia algbrica, necessita-se comear com uma noo geomtrica relativamente simples, e em seguida, construir aparatos atravs de mtodos algbricos. Neste captulo, iremos desenvolver algebricamente as ideias bsicas de conexos e conexos por caminhos.
4.1 O Grupo H 0(X )

Denio 4.1.
H 0 (X )
o conjunto das aplicaes contnuas X Z.

H0
o primeiro de
A razo pela qual se usa o smbolo zero na notao que
uma sequncia de construes anlogas, baseada em vrias dimenses. zero-dimensional.
H0
o caso
Lema 4.1. Se f, g : X
Demonstrao.
Z so aplicaes contnuas, denimos (f + g ) : X Z por (f + g )(x) = f (x) + g (x), (x X ). Ento f + g contnua e (H 0 (X ), +) um grupo.
De fato, como o elemento o elemento
Z associativo, a operao + associativa, oposto a funao contnua f : X Z denida por (f )(x) = f (x) e neutro a funo nula O : X Z denida por O (x) = 0.
Observao 4.1.
grupo abeliano.
Desde que
(Z, +)
um grupo abeliano,
(H 0 (X ), +)
tambm um
Lema 4.2.
de
conexo se, e somente se, toda aplicao X Z for constante.

Com efeito, se no for conexo, existe uma aplicao no constante f Z. Reciprocamente, se existir uma aplicao no constante X Z por
Demonstrao.
X em {0, 1} com n f (X ), denimos r : Z {0, 1}
r(n) = 0, r(Z {n}) = 1;

e ento
contnua. Assim,
r f : X {0, 1}
contnua e sobrejetora, e segue do
lema 2.4 que
desconexo.
45
46
O grupo H 0 (X ), o conjunto 0 (X ) e o grupo H0 (X )

Y
Denio 4.2. Seja f : X H 0 (X ) por f (g ) = g f .
uma aplicao contnua. Denimos f : H 0 (Y )

1
Lema 4.3. f um homomorsmo. Se 1 a aplicao identidade de X , identidade de H 0 (X ). Se f : X Y e g : Y Z , ento (g f ) = f g .

Demonstrao.
Com efeito,
g1 , g2 H 0 (Y ),x X , ((g1 + g2 ) f )(x) (g1 + g2 )(f (x)) g1 (f (x)) + g2 (f (x)) g1 f (x) + g2 f (x) f (g1 )(x) + f (g2 )(x) (f (g1 ) + f (g2 ))(x), g H 0 (X ),
f (g1 + g2 )(x) = = = = = = 1 (g ) = g 1 = g . 1
e portanto, temos um homomorsmo. A segunda armao simples, pois Assim a identidade de
H 0 (X ).
Resta mostrar a terceira armao:
(g f ) (h) = h (g f ) = (h g ) f = f (h g ) = f (g (h)) = (f g )(h).
Essas propriedades parecem triviais, e neste caso, realmente so. No entanto, vale a pena destac-las, pois precisaremos delas futuramente em demonstraes anlogas no to triviais.
4.2 O Conjunto 0(X )

Vamos retomar as investigaes sobre conjuntos conexos por caminhos. Denimos uma relao binria um caminho em
entre dois pontos de um espao
por
x y,
quando existir
X,
unindo
y.
A seguir provaremos importantes propriedades.
Lema 4.4. A relao acima uma relao de equivalncia em X .

Demonstrao.
fx contnua. x x.
Denimos Como
fx : I X por fx (t) = x para todo t I . Evidentemente, fx (0) = fx (1) = x, est demonstrado a propriedade reexiva
R : I I por R(t) = 1 t. Ento R contnua. Se f : I X um caminho unindo x a y , f (0) = x, f (1) = y , ento f R : I X une y a x, e contnua, pois f e R tambm o so. Assim simtrica. Finalmente, seja f : I X um caminho unindo x a y e g : I X um caminho unindo y a z , de modo que
Agora denimos
f (0) = x, f (1) = g (0) = y
g (1) = z.
O Conjunto 0 (X )
Denimos a funo
47
h:IX
por,
{ h(t) =
f (2t), g (2t 1), t=
se se
1 0t 2 , 1 t 1. 2
As duas denies so satisfeitas em
1 , pois f (1) = g (0) = y . Assim, pelo Lema 2 da colagem h contnua e, evidentemente, h(0) = x e h(1) = z . Portanto h representa um caminho ligando x a z e assim x z , de modo que transitiva.
Chamaremos
0 (X )
o conjunto das classes de equivalncia dos pontos de
relaci-
onados por
caminhos de X . Lema 4.5. mento.

X
As classes de equivalncia so chamadas
componentes conexas por
conexo por caminhos se, e somente se, 0 (X ) possui um nico elefor conexo por caminhos devemos mostrar que para quais-
Demonstrao. () Se X
quer dois elementos
x, y X , [x] = [y ]. De fato, como X conexo por caminhos, para quaisquer dois elementos x, y X , existe um caminho que os une, e portanto x y e y x. Assim, x [x] x x x y x [y ]. Logo [x] = [y ], para todos x, y X . () Sejam x, y X . Como 0 (X ) possui um nico elemento, ento [x] = [y ]. Logo x y e assim existe um caminho ligando x a y . Portanto X conexo por caminhos.
A aplicao cannica ser classe de equivalncia.
X 0 (X ),
pX
e esta levar cada ponto de
na sua
Quando no houver confuso escreveremos simplesmente
p.
Alm disso, em analogia com o lema 4.2 teremos as aplicaes induzidas. Assim, seja
f : X Y uma aplicao contnua entre espaos topolgicos. Ento, se x x , x, x pontos de X , existe um caminho q : I X que os une. Deste modo, f q : I Y um caminho unindo f (x) a f (x ), de modo que f (x) f (x ) em Y . Portanto, a aplicao f induz uma aplicao bem denida f : 0 (X ) 0 (Y )
dada por
f ([x]) = [f (x)].
Assim, temos o diagrama (comutativo) a seguir
X pX
Y pY
0 (X ) 0 (Y )
isto
f pX = pY f .
48
Lema 4.6. Se 1 a aplicao identidade de X , 1 a aplicao identidade de 0 (X ). Se f : X Y e g : Y Z , ento (g f ) = g f .

Demonstrao.
e A prova simples. Por denio,
(g f ) ([x]) = [(g f )(x)] (g f )([x]) = g (f ([x])) = g ([f (x)]) = [g (f (x))] = [(g f )(x)],
e portanto temos a igualdade. Analogamente, se
a identidade de
X,
segue que
1 ([x]) = [1(x)] = [x].
Agora, mostraremos que se
0 (X )
contm apenas um elemento, ento
H 0 (X )
con-
tm apenas aplicaes constantes.
Denio 4.3. Denotaremos por M AP (0 (X ), Z) o conjunto das funes contnuas com valores inteiros denidas em 0 (X ). Teorema 4.1. Seja f : X Z pertencente a H 0 (X ). Ento se x x como pontos de X , f (x) = f (x ). Assim f pode ser fatorada da seguinte forma:
f
X 0 (X ) Z .
c(f )
A operao de soma de funes d uma estrutura de um grupo abeliano M AP (0 (X ), Z). A aplicao denida acima
c : H 0 (X ) M AP (0 (X ), Z)
um homomorsmo injetor de grupos abelianos. Demonstrao.

q : I X unindo x a x . Ento f q : I Z um caminho ligando f (x) a f (x ). Como I conexo, pelo lema 4.2, f q constante e portanto f (x) = f (x ). Para garantir que f se fatora como f = c(f ) p, dena c(f ) : 0 (X ) Z por c(f )[x] = f (x), e observe que dados x e x pertencentes a X , com [x] = [x ], temos pela primeira parte da demonstrao que f (x) = f (x ), e portanto c(f ) est bem denida. Alm disso c(f ) p(x) = c(f )[x] = f (x). Agora MAP(0 (X ), Z) com a operao de soma de funes um grupo abeliano, pois satisfaz:
Se existe um caminho
x x ,
i) Associatividade:
Dados
f, g, h
pertencentes a
M AP (0 (X ), Z),
temos
((f + g ) + h)[x] = = = = =
Logo
(f + g )[x] + h[x] (f [x] + g [x]) + h[x] f [x] + (g [x] + h[x]) f [x] + (g + h)[x] (f + (g + h))[x]. Z
vale a associatividade).
(f + g ) + h = f + (g + h) (:
em
O Conjunto 0 (X )
49
ii) Elemento neutro:

Ento,
f : 0 (X ) Z g M AP (0 (X ), Z),
Considere
dada por
f [x] = 0, [x] 0 (X ).
(f + g )[x] = f [x] + g [x] = 0 + g [x] = g [ x]

e
(g + f )[x] = g [x] + f [x] = g [ x] + 0 = g [x].

Logo
M AP (0 (X ), Z)
possui elemento neutro.
iii) Elemento oposto:

por
f M AP (0 (X ), Z), tomemos f : 0 (X ) Z dada (f )[x] = f [x], [x] 0 (X ). Ento,

Dada
((f ) + f )[x] = (f )[x] + f [x] = f [x] + f [x] = 0

e
(f + (f ))[x] = f [x] + (f )[x] = f [x] f [x] = 0. M AP (0 (X ), Z)

possui elemento oposto.
Logo
iv) Comutatividade:
Dados
f, g
pertencentes a
M AP (0 (X ), Z),
temos
(f + g )[x] = f [x] + g [x] = g [ x] + f [ x] = (g + f )[x].

Logo
f + g = g + f . (:
em
vale a comutatividade) um monomorsmo de
Mostremos agora que grupos abelianos. De
c : H 0 (X ) M AP (0 (X ), Z) 0 fato, dados f, g H (X ) temos c(f + g )[x] = = = = (f + g )(x) f (x) + g (x) c(f )[x] + c(g )[x] (c(f ) + c(g ))[x].
Logo
c(f + g ) = c(f ) + c(g ). Alm disso, Se f, g H 0 (X ), como f = c(f ) p g = c(g ) p ento, se c(f ) = c(g ) temos f = c(f ) p = c(g ) p = g, e portanto c
injetor.
50

O teorema 4.1 contm a primeira armao do teorema 2.9, pois se
X conexo por caminhos, 0 (X ) possui apenas um elemento, e assim todas as funes 0 (X ) Z so 0 constantes, e segue da decomposio de f , mencionada no teorema anterior, que H (X ) possui apenas funes constantes, ou seja, X conexo (veja lema 4.2). Investiguemos
a segunda armao do teorema 2.9. Tnhamos um espao embora
Y = U V c
que era conexo, mas no era conexo por caminhos,
os fossem. No difcil ver que contm apenas
por caminhos. A imagem de conexo. Logo
0 (Y ) = {U, V }, pois U e V so conexos funes constantes 0 (Y ) Z, pois Y
no sobrejetora.
Do mesmo modo que esperamos que um espao conexo seja conexo por caminhos
espaos bem comportados, aqui podemos esperar que c seja sobrejetora. Para garantir que X seja conexo por caminhos, necessrio que X seja localmente conexo por caminhos. Analogamente, precisaremos que X seja localmente conexo por caminhos para garantir a sobrejetividade de c. Antes disso, demonstraremos um lema,
para, digamos, cujo resultado est contido implicitamente no teorema 2.10.
Lema 4.7. Seja X localmente conexo por caminhos. Ento suas componentes conexas por caminhos so abertas em X .
Demonstrao.
Seja
uma componente conexa por caminhos e
x .
Como
localmente conexo por caminhos em
x, x
possui uma vizinhana conexa por caminhos
W . Todos os pontos de W podem ser unidos a x por um caminho, ento W . Como contm uma vizinhana para cada um de seus pontos, aberto.
Teorema 4.2. Se X localmente conexo por caminhos ento c : H 0 (X ) M AP (0 (X ), Z) um isomorsmo.

Demonstrao.
mostrar que Pelo teorema 4.1 sabemos que
um homomorsmo injetor.
Resta
sobrejetor.
f H 0 (X ) com c(f ) = F . Como c foi caracterizado por f = c(f ) p, temos que f = F p : X Z contnua, e reciprocamente, se f = F p : X Z contnua, temos que F est na imagem de c. Assim, para mostrar a sobrejetividade de c, basta mostrar que f contnua. Agora, para cada n Z, F {n} ser a unio de componentes conexas por caminhos , tais que F ( ) = n. Como X localmente conexo por caminhos, segue do lema 4.7 que essas componen tes so todas abertas. Assim F {n} um aberto, de onde segue que f {n} aberto, e portanto f contnua.
Se uma funo est na imagem de
F : 0 (X ) Z
c,
ento existe
4.3 O Grupo H0(X )

Agora, vamos introduzir mais um elemento da lgebra, retomando os grupos abelianos livres do captulo 3. Recordemos que
F (X )
o grupo abeliano sobre
(X, i),
O Grupo H0 (X )
onde
51
i : X F (X ),
e para qualquer grupo abeliano
A,
a funo
Hom(F (X ), A) denida por
M AP (X, A)
denota o conjunto das funes
hhi
bijetora.
Alm disso, dado um conjunto com
X , F (X )
:XZ
(x) = 0
para todo
x X,
exceto um nmero nito de elementos, o qual, com
a operao usual de soma de funes, torna-se um grupo abeliano. Ainda, denindo
i : X F (X )
por
{ i(x)(y ) =
0, se x = y 1, se x = y
temos que
F (X )
abeliano livre sobre
(X, i). F (p) : F (X ) F (0 (X )) =
Denio 4.4.
A projeo
H0 (X ) = F (0 (X ))
induz um homomorsmo
p : X 0 (X )
H0 (X ),
o qual caracterizado pelo diagrama comutativo a seguir
0 (X )
i F (p)
F (X ) H0 (X )
Logo, como
F (0 (X ))
um grupo abeliano livre,
i : Hom(H0 (X ), Z) M AP (0 (X ), Z)
um isomorsmo. De fato, j sabemos que Dados
i bijetora, assim, basta mostrar que um homomorsmo. h1 , h2 Hom(H0 (X ), Z) i (h1 + h2 )[x] = = = = = = ((h1 + h2 ) i)([x]) (h1 + h2 )(i[x]) h1 (i[x]) + h2 (i[x]) ((h1 i)[x] + (h2 i))[x] i (h1 )[x] + i (h2 )[x] (i (h1 ) + i (h2 ))[x]. i
um isomorsmo.
Logo
i (h1 + h2 ) = i (h1 ) + i (h2 )
Combinando este resultado com os teoremas 4.1 e 4.2, temos demonstrado o teorema a seguir.
Teorema 4.3. Para todo conjunto X , (i )1 c = k : H 0 (X ) Hom(H0 (X ), Z) um homomorsmo injetor de grupos abelianos. Se X localmente conexo por caminhos ento k um isomorsmo.
No prximo captulo generalizaremos a relao
de equivalncia.
Homotopia
Agora generalizaremos a construo de
0 (X )
feita no captulo anterior. Esta foi
obtida atravs de uma relao de equivalncia nos pontos de conjunto com um nico elemento, uma funo
X.
Agora se
{0}
um
{0} X
determina um ponto de
pode ser identicado com este ponto. A generalizao ser feita substituindo
X, e {0} por
um espao arbitrrio. Naturalmente, isto far com que o nosso objeto de estudo seja visualizado com mais facilidade. Observamos que em todo este captulo,
I = [0, 1].
Denio 5.1. Duas funes contnuas f, g : Y X so chamadas homotpicas, se existe uma funo contnua F : Y I X onde para todo y Y, temos
{ F (y, 0) = f (y ) . F (y, 1) = g (y )
Quando isto ocorre, dizemos que F uma homotopia entre f e g, e denotamos por
F : f g.
Por exemplo, se
homotpica a uma funo constante, ela chamada
picamente nula.
escrever, para
homotoF,
e
Ser conveniente, muitas vezes, usar uma notao diferente para
y Y, t I , ft (y ) = F (y, t). ft : Y X
Nesta notao a homotopia menos clara, mas mais fcil para reconhecer (contnua) como uma deformao contnua de A justicativa para a armao de que
f = f0
em
f1 = g . ft
poder ser escrita
ft
contnua o fato de
como uma composio de funes contnuas

t Y Y I X,
onde
it
a funo
it (y ) = (y, t). X.
Lema 5.1. Homotopia uma relao de equivalncia entre funes contnuas Y

Demonstrao.
i) Reexiva: Se
f : Y X,
tomemos
F : Y I X
com
F (y, t) =
f (y ), t I . F contnua, pois se escreve como composta de funes contnuas, a saber, F = f p1 , onde p1 : Y I Y , denida por p1 (y, t) = y, y Y , denota a projeo no primeiro fator. Como F (y, 0) = f (y ), F (y, 1) = f (y ), segue que f f.
53
54
Homotopia
ii) Simtrica: Sejam e
f, g : Y X
com
f g,
por
F : Y I X
a homotopia entre
g. R(y, t) = (y, 1 t),

que contnua. Ento
Tomemos
R : Y I Y I , dada F R : Y I X contnua, e
F R(y, 0) = F (R(y, 0)) = F (y, 1) = g (y ) F R(y, 1) = F (R(y, 1)) = F (y, 0) = f (y )

e portanto iii) Transitiva:
g f.
Sejam
f, g, h : Y X onde f g , g h, com F : Y I X, G : Y I X homotopias entre f e g , e g e h respectivamente. Tomemos H : Y I X com { 1 F (y, 2t), 0t 2 H (y, t) = . t1 G(y, 2t 1), 1 2 H contnua segundo o lema da colagem, e como H (y, 0) = F (y, 0) = f (y ) G(y, 1) = h(y ), segue que f h.
e
H (y, 1) =
Portanto, homotopia uma relao de equivalncia entre funes contnuas. Classes de equivalncia criadas a partir da relao de homotopia, so chamadas
classes de homotopia.
das funes contnuas
Denotaremos por
[Y, X ]
o conjunto das classes de homotopia
f. Para o lema a seguir, para dois conjuntos quaisquer A, B , p1 : A B A e p2 : A B B denidas por p1 (a, b) = a, (a, b) A B e p2 (a, b) = b, (a, b) A B ,
e a classe de equivalncia contendo a funo denotam as projees no primeiro e segundo fator, respectivamente.
f :Y X
[f ]
Lema 5.2. Dadas g0 g1 , ento,

Demonstrao.
h : Z Y ; g0 , g1 : Y X, g0 h g1 h
e f : X W funes contnuas, se
e f g0 f g1 .
Ento
Seja
uma homotopia
G : Y I X uma homotopia de g0 a g1 . de f g0 a f g1 , pois f G contnua e
f G : Y I W
(f G)(y, 0) = f (G(y, 0)) = f (g0 (y )) = (f g0 )(y ) . (f G)(y, 1) = f (G(y, 1)) = f (g1 (y )) = (f g1 )(y )
Para a outra parte denimos
h 1 : Z I Y I por (h 1)(z, t) = (h(z ), t), que possui componentes contnuas p1 (h 1) = h p1 e p2 (h 1) = p2 , sendo p1 e p2 as projees nos primeiro e segundo fatores, respectivamente. Segue que h 1 contnua e G (h 1) : Z I X uma homotopia de g0 h a g1 h, pois G (h 1) contnua
e
(G (h 1))(z, 0) = G((h 1)(z, 0)) = G(h(z ), 0) = (g0 h)(z ) (G (h 1))(z, 1) = G((h 1)(z, 1)) = G(h(z ), 1) = (g1 h)(z ).
Equivalncia de Homotopia
55
Corolrio 5.1. Se g0 g1 : Y W.
Demonstrao.
e f0 f1 : X W ento f0 g0 f1 g1 : Y
f0 g0 f0 g1 f1 g1 .
Usando ambas as partes do lema 5.2, temos
Pela transitividade do lema 5.1 segue que
f0 g0 f1 g1 . [f g ],
dependem somente das
Esse corolrio mostra que as classes de homotopia classes de homotopia de homotopia por
[f ]
[g ].
Podemos, desta forma, denir a composio de classes
[f ] [g ] = [f g ]. est bem denida, temos que mostrar que dados f f , g e g , com [f ] = [f ] e [g ] = [g ], ento [f g ] = [f g ]. De fato, se [f ] = [f ] ento f f e, se [g ] = [g ] ento g g . Aplicando corolrio 5.1, temos f g f g , ou seja, [f g ] = [f g ].
Para constatar que a operao e
Lema 5.3. Sejam h : Z Y , g : Y
e f : X W , ento
[g ] [1Y ] = [g ] = [1X ] [g ], ([f ] [g ]) [h] = [f ] ([g ] [h]).
Demonstrao.
Estes resultados seguem imediatamente, pois
[g ] [1Y ] = [g 1Y ] = [g ] [1X ] [g ] = [1X g ] = [g ]

e
([f ] [g ]) [h] = = = = =
[f g ] [h] [(f g ) h] [f (g h)] [f ] [g h] [f ] ([g ] [h]).
5.1 Equivalncia de Homotopia

f : Y X contnua chamada uma equivalncia de homotopia, com homotopia inversa e : X Y contnua, se [f ] [e] = [1X ] e [e] [f ] = [1Y ], ou equivalentemente, f e 1X e e f 1Y . Quando isso ocorrer, as funes F e G
Uma funo denidas abaixo
[Z, Y ] [Z, X ] [h] [f ] [h]

sero bijetoras. De fato,
[Z, X ] [Z, Y ] [k ] [e] [k ]
56
Homotopia
i) dado
[h] [Z, X ], (F G)[h] = = = = = = F (G([h])) F ([e] [h]) [f ] ([e] [h]) ([f ] [e]) [h] [1X ] [h] [h].
Segue que ii) dado
injetora e
sobrejetora.
[k ] [Z, Y ], (G F )[k ] = = = = = = G(F ([k ])) G([f ] [k ]) [e] ([f ] [k ]) ([e] [f ]) [k ] [1Y ] [k ] [k ].
Segue que Por i) e ii),
F F
injetora e e
sobrejetora.
so bijetoras.
Analogamente, existe bijeo entre
[Y, W ]
[X, W ]. X
Denio 5.2. Quando existe uma equivalncia de homotopia entre espaos dizemos que estes espaos so homotopicamente equivalentes.
e Y,
Exemplo 5.1. Sejam Y a esfera S p1 Rp Rp+q e X o subconjunto de Rp+q dos pontos que no esto contidos no plano x1 = x2 = = xp = 0. Ento a incluso
i:Y X
uma equivalncia de homotopia. Denimos
e:XY
por
e(x1 , x2 , . . . , xp , . . . , xp+q ) = (x1 , x2 , . . . , xp ),

onde
2 2 2 = 0. = (x2 1 + x2 + + xp ) p1 Temos que e i 1Y , pois dado (x1 , x2 , . . . , xp ) Y = S ,

1
e(i(x1 , x2 , . . . , xp )) = e(x1 , x2 , . . . , xp , 0, . . . 0) = (x1 , x2 , . . . , xp )

()
= ( x1 , x 2 , . . . , x p ) (x1 , x2 , . . . , xp ) S p1 .
()
2 1/2 2 = 1, = (x2 1 + x2 + + xp ) Resta mostrar que i e 1X . Denimos H : X I X por
pois
H ((x1 , x2 , . . . , xp+q ), t) = (1t x1 , 1t x2 , . . . , 1t xp , txp+1 , . . . , txp+q ).
Equivalncia de Homotopia
Assim,
57
H (x1 , x2 , . . . , xp+q , 0) = (x1 , x2 , . . . , xp , 0, . . . , 0) = i e(x1 , x2 , . . . , xp , . . . , xp+q )

e
H (x1 , x2 , . . . , xp+q , 1) = (x1 , x2 , . . . , xp , . . . , xp+q ) = 1X (x1 , x2 , . . . , xp , . . . , xp+q ).

Portanto,
uma homotopia entre
ie
1X ,
ou seja,
i e 1X . X
tem
Um outro exemplo importante de equivalncia de homotopia ocorre quando apenas um ponto
x.
Se
homotopicamente equivalente a um ponto,
chamado
contrtil.
A construo acima generaliza quelas feitas no captulo anterior, de modo que
[{x}, Z ] est em correspondncia biunvoca com 0 (Z ), onde [{x}, Z ] = {[f ]|f : {x} Z } e [f ] = {g : {x} Z |g f }. Esta correspondncia justicada pelo fato de que uma homotopia H : {x} I Z , entre f e g , pode ser vista como um caminho Hx , entre f (x) e g (x), onde Hx : I Z dado por Hx (s) = H (x, s), s I . Assim [f (x)] = [g (x)] em 0 (Z ), e portanto [f ] pode ser identicado com [f (x)] em 0 (Z ). Em outras palavras : [{x}, Z ] 0 (Z ) denida por ([f ]) = [f (x)] uma bijeo. Com efeito, ([f ]) = ([g ]) [f (x)] = [g (x)] f (x) g (x). Logo : I Z caminho unindo f (x) a g (x). Denamos H : {x} I Z por H (x, t) = (t). Ento H uma homotopia entre f e g e portanto [f ] = [g ], mostrando que injetora. Agora, dada [z0 ] 0 (Z ) tome f : {x} Z denida por f (x) = z0 . Ento ([f ]) = [z0 ] e sobrejetora. Por outro lado, [Z, {x}] tem apenas um elemento, a saber, o elemento [f ], onde f : Z {x} a funo que associa a cada elemento z Z o elemento x. Assim, podemos concluir que para qualquer espao Y contrtil, [Z, Y ] tem apenas um elemento, e [Y, Z ] est em correspondncia biunvoca com 0 (Z ), pois se Y contrtil, [Z, Y ] est em correspondncia biunvoca com [Z, {x}] que tem apenas um elemento e [Y, Z ] est em correspondncia biunvoca com [{x}, Z ] que por sua vez est em correspondncia biunvoca com 0 (Z ). 0 Tambm H (X ) est em correspondncia biunvoca com [X, Z], onde Z denota o
conjunto dos inteiros. Esta correspondncia justicada pelo fato de que uma homotopia
H : {x} I Z, entre f e g , pode ser vista como um caminho Hx , entre f (x) e g (x), onde Hx : I Z dado por Hx (s) = H (x, s), s I . Assim f (x) = g (x), x X conforme lema 4.2 e portanto [f ] pode ser identicada com f . 0 Em outras palavras : [X, Z] H (X ) denida por [f ] = f bijetora. Com efeito, [f ] = [g ] f = g [f ] = [g ] e portanto injetora. 0 Tambm, dado h H (X ) temos [h] = h e sobrejetora.
O intervalo aberto
Exemplo 5.2.
tanto
]0, 1[
homotopicamente equivalente a
1 {2 }
e por-
]0, 1[
contrtil.
58
Homotopia
De fato, denindo-se
1 f :]0, 1[ { 1 } por f (t) = 1 , t ]0, 1[ e g : { 2 } ]0, 1[ por 2 2 1 1 1 1 1 1 1 1 g ( 2 ) = 2 temos f g ( 2 ) = f ( 2 ) = 2 = id{ 1 } ( 2 ) e g f (t) = g ( 2 ) = 2 . 2 1 Considere H : I ]0, 1[]0, 1[ denida por H (s, t) = (1 s) + ts. Ento H (0, t) = 2 1 = g f (t), t ]0, 1[ e H (1, t) = t = id]0,1[ (t), t ]0, 1[ e portanto g f homot2 1 pica a id]0,1[ e assim ]0, 1[ homotopicamente equivalente a { } e consequentemente 2
contrtil.
5.2 Conjuntos de Homotopia e os Grupos H 1(X )

A notao ambos os
[X, Y ] enfatiza a dependncia simtrica do conjunto de homotopia sobre espaos X e Y . No entanto, ser conveniente xar um dos espaos, e fazer
Quando fazemos isto,
com que o conjunto de homotopia dependa do outro espao. denimos uma nova notao para composio de funes,
[f ] [g ] = g [f ] = f [g ].
Podemos ento, reescrever o lema 5.3 como
Lema 5.4. Sejam aplicao

1 X
h : Z Y, g : Y X,
e W um outro espao. Ento temos uma
g : [X, W ] [Y, W ];
a aplicao identidade de [X, W ] e h g = (g h) . Temos tambm uma aplicao

g : [W, Y ] [W, X ];
1Y
a identidade de [W, Y ] e g h = (g h) . Ainda, se f : A B ento

f g = g f : [X, A] [Y, B ]. [f ] [X, W ],
Demonstrao. 1 X
a aplicao identidade de
[X, W ]
pois, dado
1 X ([f ]) = [f ] [1X ] = [f ],
segundo o lema 5.3. Tambm
h g = (g h)
pois dado
[f ] [X, W ], h (g ([f ])) h ([f ] [g ]) h ([f g ]) [f g ] [h] [(f g ) h] [f (g h)] [f ] [g h] [f ] ([g ] [h]) [f ] [g h] (g h) [f ].
h g ([f ]) = = = = = = = = = =
Conjuntos de Homotopia e os Grupos H 1 (X )

1Y : [W, Y ] [W, Y ] a aplicao identidade [W, Y ], 1Y [h] = [1Y ] [h] = [h] segundo o lema 5.3. Alm disso, g h = (g h) pois, dado [f ] [W, Z ],
Agora de
59
[W, Y ]
pois, dado
[h]
(g h )[f ] = = = = = = = =
Finalmente
g (h ([f ])) g ([h] [f ]) g ([h f ]) [g ] ([h f ]) [g ] ([h] [f ]) ([g ] [h]) [f ] [g h] [f ] (g h) [f ]. [k ] [X, A], f (g ([k ])) f ([k ] [g ]) f [k g ] [f ] [k g ] [f ] ([k ] [g ]) ([f ] [k ]) [g ] g ([f ] [k ]) g (f [k ]) g f [k ].
f g = g f
pois, dado
(f g )[k ] = = = = = = = = =
Observe que o lema 4.3 um caso especial da primeira armao, fazendo e o lema 4.6 da segunda armao, fazendo Agora analisaremos o caso em que Colocando que,
W = Z,
W = {x}.
um crculo.
S = {z C
1
|z | = 1},
segue das propriedades dos nmeros complexos
S um grupo com relao multiplicao, e que as funes, multiplicao m : S 1 S 1 S 1 , dada por m(x, y ) = x y , e a inverso i : S 1 S 1 , dada por i(z ) = z 1 , so contnuas. Um espao topolgico que tambm um grupo, e possui tais
propriedades, chamado um
grupo topolgico.
Lema 5.5. O conjunto M AP (X, S 1 ) com a operao M AP (X, S 1 ) M AP (X, S 1 ) M AP (X, S 1 ) dada por (f, g ) f g : X S 1 , onde (f g )(x) = f (x) g (x), um grupo abeliano. Esta operao compatvel com homotopias. O conjunto [X, S 1 ] com a operao [X, S 1 ] [X, S 1 ] [X, S 1 ] dada por ([f ], [g ]) = [f g ], adquire a estrutura de um grupo. Se f : Y X contnua, f : [X, S 1 ] [Y, S 1 ] um homomorsmo.
Demonstrao.
A operao
est bem denida, pois dadas
contnuas, o produto
cd
pode ser denido como a
c, d : X S 1 aplicaes (c,d) 1 1 1 m composio X S S S
60
Homotopia
onde
(c, d) denota a funo com componentes c e d. Segue da continuidade de c e d que (c, d) contnua e portanto c d contnua, como composta de funes contnuas. 1 Agora, mostremos que (M AP (X, S ), ) um grupo abeliano.
De fato, temos i) Elemento neutro:
e(x) = 1, x X claramente contnua, 1 1 e o elemento neutro, pois, dada f M AP (X, S ), e f : X S dada por (e f )(x) = e(x) f (x) = 1 f (x) = f (x), x X, e portanto e f = f .
dada por
e : X S1
ii) Elemento inverso: considerando
c M AP (X, S 1 ), segue da continuidade de c, 1 que c : X S 1 dada por c1 (x) = c(x)1 contnua. 1 Agora, c c : X S 1 dada por (c1 c)(x) = c1 (x) c(x) = c(1 c(x) = 1 = x) 1 e(x), x X, e portanto c c = e. c, d, e M AP (X, S 1 ),
temos que
iii) Associatividade: Dados
((c d) e)(x) = (c d)(x) e(x) = (c(x) d(x)) e(x) = c(x) (d(x) e(x)) = c(x) (d e)(x) = (c (d e))(x), x X,
e portanto
(c d) e = c (d e).
iv) Comutatividade:
c, d M AP (X, S 1 ), temos (c d)(x) = c(x) d(x) = d(x) c(x) = (d c)(x), x X, e portanto c d = d c.

Dados
Observemos que em iii) e iv), Dados
refere-se ao fato de
(S 1 , )
ser um grupo abeliano.
C : c c e D : d d , ento C D contnua (como observado acima) e C D : c d c d . De fato, temos C : X I S 1 com C (x; 0) = c(x), C (x; 1) = c (x), e D : X I S 1 com D(x, 0) = d(x), D(x, 1) = d (x). Logo C D : X I S 1 uma homotopia entre c d e c d , pois (C D)(x, 0) = C (x, 0) D(x, 0) = c(x)d(x) = (c d)(x)
e
(C D)(x, 1) = C (x, 1) D(x, 1) = c (x) d (x) = (c d )(x).

Assim ca bem denida Agora
[X, S ]
com a
[c][d] = [c d]. operao tem a estrutura
de um grupo abeliano, pois
[e][c] = [e c] = [c],
Conjuntos de Homotopia e os Grupos H 1 (X )

[c1 ][c] = [c1 c] = [e], [c][d] = [c d] = [d c] = [d][c]
e
61
([c1 ][c2 ])[c3 ] = [c1 c2 c3 ] = [c1 ]([c2 ][c3 ]).

Resta mostrar que De fato, dados
f : [X, S 1 ] [Y, S 1 ] um [c] e [d] [X, S 1 ], temos que ((c f ) (d f ))(y ) = = = =
homomorsmo.
(c f )(y ) (d f )(y ) c(f (y )) d(f (y )) (c d)(f (y )) ((c d) f )(y ).
Como
f ([c][d]) = [c d] [f ] = [(c d) f ] e f [c]f [d] = ([c] [f ])([d] [f ]) = [c f ][d f ] = [(c f ) (d f )] = [(c d) f ], segue o resultado.
Denotamos
[X, S 1 ],
Se
com a estrutura de grupo acima, por ento
H 1 (X ).
Exemplo 5.3.
X = {x}
0 (S 1 ). Como S 1 conexo H 1 ({x}) o grupo trivial.
por
[{x}, S 1 ] est em correspondncia biunvoca com 1 caminhos, 0 (S ) possui um nico elemento e assim
O estudo do crculo
Iniciaremos este captulo examinando a funo exponencial de
em
permitir, denir o importante conceito de grau de uma funo contnua
S 1 . Esta nos 1 1 de S em S .
Em seguida, estabelecendo as propriedades bsicas de grau, aplicaremos as mesmas para provar o
no plano.
Teorema fundamental da lgebra e o Teorema do Ponto Fixo de Brouwer
6.1 Levantamento de funes de S 1 para R

Denamos a funo sobrejetora. Ainda,
e : R S1
por
e(t) = exp(2it).
do grupo aditivo
A funo
contnua e
, pois dados
e um homomorsmo t, u R, temos
no grupo multiplicativo
e(t + u) = exp(2i(t + u)) = exp(2it + 2iu) = exp(2it) exp(2iu) = e(t)e(u);

e o Kernel deste homomorsmo o subgrupo Ker
dos inteiros, pois
e = {x R; e(x) = 1 + 0i} = {x R; exp(2ix) = 1 + 0i} cos(2x) + i sen(2x) = 1 + 0i cos(2x) = 1 e sen(2x) = 0 2x = 2k, k Z x = k, k Z.
Mas,
exp(2ix) = 1 + 0i
Portanto Ker A funo veremos
e = {x; x Z} = Z.
ser utilizada para estudar as propriedades topolgicas do crculo, e
como uma extenso sobre o crculo, mais propriamente como a hlice que
representa o grco de
(Fig 6.1).
63
64
O estudo do crculo
Figura 6.1:
como uma extenso sobre o crculo.
Consideremos agora o seguinte problema: Seja
um espao topolgico e
uma funo contnua. Existe uma funo contnua
: X R, f
com
f :X ? f =ef
X
Se for possvel encontrar
|
f
R |=
/ S 1.
e diremos que
pode ser
levantada.
, ns a chamaremos um levantamento de f f f
conhecido como o
O problema de existncia de
problema do levantamento.
e.
Consideraremos casos especcos neste captulo, e faremos o caso geral posteriormente. Os resultados que seguem do detalhes sobre as propriedades topolgicas de
Lema 6.1. A aplicao e : ]0, 1[ S 1 {1} obtida pela restrio de e um homeomorsmo. Reciprocamente, se B um subconjunto qualquer de S 1 {1} e A = I e (B ), ento e (B ) a unio dos conjuntos A + n (n Z), onde cada um desses conjuntos aberto de e (B ), e e induz um homeomorsmo de cada um desses conjuntos em B .
Demonstrao.
trio de Primeiro, observemos que
contnua e sobrejetora, pois uma res-
S 1 {1}, segue que e tambm 1 injetora, e portanto bijetora. Assim basta mostrar que (e ) contnua. 1 1 Para cada x S {1}, tomemos um fechado A ]0, 1[, com (e ) (x) int(A). Como A compacto, segundo o corolrio 2.3, e induz um homeomorsmo de A em e (A), e pelo fato de que (e )1 (x) int(A), (e1 ) (A) = e (A) uma vizinhana de x 1 1 em S {1}. Assim, segue pela proposio 2.3, que (e ) contnua em x. e,
e ainda como o contradomnio de Para provar a segunda parte, suciente mostrar que o resultado vlido para
B0 = S 1 {1}
e (B0 ) a unio disjunta de intervalos abertos ]n, n + 1[ = A0 + n (n Z), onde A0 =]0, 1[ e pela primeira parte da demonstrao, e induz um homeomorsmo de cada um destes em B0 .
(os outros casos seguem analogamente). Mas
Levantamento de funes de S 1 para R
65
Observao 6.1. Corolrio 6.1. Se mente nula.

Demonstrao.
1
No lema acima, o conjunto
{1} S 1
pode ser substitudo por
qualquer subconjunto prprio
fechado de
f : X S1
contnua e no sobrejetora, ento f homotopicaf (X ) =
Como
no sobrejetora, podemos escrever sua imagem como
S B , onde B um subconjunto prprio de S . Pelo lema 6.1, S B homeomorfo 1 a ]0, 1[, donde segue que S B contrtil, pois ]0, 1[ contrtil (vide exemplo 5.2). 1 1 Agora temos f : X S B contnua, com S B contrtil. Assim, existem g : S 1 B {y0 } e h : {y0 } S 1 B tais que, h g 1S 1 B e g h 1{y0 } , 1 com y0 S B . Segue do corolrio 5.1 que f = 1S 1 B f h g f onde h g f : X S 1 B a funo constante h(y0 ).
1 1
: I R, Teorema 6.1. Toda funo contnua f : I S 1 possui um levantamento f nico a menos de uma translao por um inteiro. Ento, dado a0 R com e(a0 ) = f (0), com f (0) = a0 . existe um nico levantamento f t I, a continuidade de f em t implica que podemos encon1 trar um > 0 tal que f ([t , t + ]) um subconjunto prprio de S . Pelo teorema de Heine-Borel (lema 2.2), podemos encontrar um conjunto nito de intervalos [t , t + ], os quais cobrem I . Denotemos o conjunto de todos os pontos nais desses intervalos em I por 0 = t0 < t1 < < tn = 1.
Para cada
Demonstrao.
[ti1 , ti ] est contido em um intervalo [t , t + ], e assim a imagem de [ti1 , ti ] por f um subconjunto prprio Si de S 1 . Provemos por induo em i que existe um nico levantamento de f |[0,ti ] , tal que : [0, ti ] R satisfaz f (0) = a0 . Para i = 0, denimos f f 0 : {0} R por f0 (0) = a0 . 1 Este um levantamento de f : {0} S , pois f 0 contnua e (e f0 )(0) = e(a0 ) = f (0). 1 Agora suponha vlido para i 1. Ento, para a aplicao f |[0,ti1 ] : [0, ti1 ] S , )(ti1 ) = f (ti1 ) e |[0,t ] : [0, ti1 ] R, tal que (e f existe um nico levantamento f i1 |[0,t ] (0) = a0 . f i1 1 Como Si um subconjunto prprio de S , podemos escolher bi / Si , e como e sobrejetora existe ci R tal que e(ci ) = bi . Considere agora Ai = e (Si ) [ci , ci + 1]. Segue do lema 6.1 que e (Si ) unio disjunta de conjuntos abertos Ai + n, cada um dos quais homeomorfo a Si . |[0,t ] (ti1 ) Ai + ni , e considere ei : Ai + ni Si o Seja ni Z tal que f i1 |[t ,t ] : [ti1 , ti ] R como homeomorsmo induzido por e. Ento podemos denir f i1 i |[t ,t ] = e1 f |[t ,t ] . f i i1 i i1 i |[t ,t ] em ti1 , temos Aplicando f i1 i
Ento cada
|[t ,t ] (ti1 ) = (e1 f )(ti1 ) = e1 (f (ti1 )) = e1 (ei f |[0,t ] (ti1 )) = f |[0,t ] (ti1 ). f i i i i1 i i1 i1
66
O estudo do crculo
Pelo lema da colagem (lema 2.1), combinando
|[t ,t ] f i1 i
com
funo contnua em Ainda
[0, ti ],
que claramente um levantamento de
f [0,ti1 ] temos f em [0, ti ].
uma
|[0,t ] (0) = f |[0,t ] (0) = a0 . f i i1

Resta mostrar a unicidade deste levantamento. temos que todo levantamento de
Ai +
Ai + n, deve possuir imagem em um nico n ni (pois estes so abertos disjuntos), e como a imagem de ti1 est em Ai + ni , o [ti1 , ti ].
Assim segue que o levantamento
[ti1 , ti ] a
Pelo fato de
[ti1 , ti ]
ser conexo,
mesmo acontece com todos os pontos de
unicamente determinado. Isto completa a induo e a demonstrao do teorema.
: I I R, Lema 6.2. Toda funo contnua F : I I S 1 tem um levantamento F unicamente determinado a menos de uma translao por um inteiro. Ento, se a0 R, com F (0, 0) = a0 . com e(a0 ) = F (0, 0), existe um nico levantamento F
Demonstrao.
Conforme foi feito no teorema 6.1, podemos aplicar o Teorema de
Heine-Borel, para encontrar retngulos
Ri,j = [ti , ti+1 ] [uj , uj +1 ], com 0 = t0 < t1 < < tn = 1 e 0 = u0 < u1 < < um = 1, de forma que F (Ri,j ) seja um 1 subconjunto prprio de S .
Assim temos os retngulos:
R0,0 R1,0
= = =
[t0 ,t1 ][u0 ,u1 ], [t1 ,t2 ][u0 ,u1 ],
R0,1 = R1,1 =
[t0 ,t1 ][u1 ,u2 ],..., [t1 ,t2 ][u1 ,u2 ],...,
. . .
R0,m1 =[t0 ,t1 ][um1 ,um ]; R1,m1 =[t1 ,t2 ][um1 ,um ];
Rn1,0
[tn1 ,tn ][u0 ,u1 ],
Rn1,1 =
[tn1 ,tn ][u1 ,u2 ]...,
Rn1,m1 =[tn1 ,tn ][um1 ,um ].
Estes cobrem se
j<l
ou se
I I , e podemos j = l e i < k.
ordenar esses retngulos de modo que
Ri,j Rk,l ,
A demonstrao ser feita por induo em Considere
(i, j ).
Si,j = F (Ri,j ), um subconjunto prprio de S 1 . Ento existe bi,j / Si,j , e devido a sobrejeo de e, existe ci,j R, tal que e(ci,j ) = bi,j . Considere agora Ai,j = e (Si,j ) [ci,j , ci,j + 1]. Segue do lema 6.1 que e (Si,j ) unio disjunta de conjuntos abertos Ai,j + n, onde cada um deles homeomorfo a Si,j . 1 0,0 : R0,0 R por F 0,0 (t, u) = (e Para (i, j ) = (0, 0), denimos F 0,0 F |0,0 )(t, u), 1 1 onde F |0,0 : R0,0 S a restrio de F ao retngulo R0,0 , e e0,0 a inversa do homeomorsmo e : A0,0 + n0,0 S0,0 induzido por e, onde n0,0 Z tal que A0,0 + n0,0 0,0 um levantamento de F |0,0 , pois F 0,0 contnua e e F 0,0 (t, u) = contem a0 . Ento F 1 1 e e 0,0 (F |0,0 (t, u)) = (e e )(F |0,0 (t, u)) = F |0,0 (t, u), (t, u) R0,0 . Alm disso, 1 1 1 0,0 (0, 0) = e F e(a0 ) = a0 . 0,0 (F |0,0 (0, 0)) = e0,0 (e(a0 )) = e Pelo fato de R0,0 ser conexo, temos que todo levantamento de R0,0 a A0,0 + n,
n
deve possuir imagem em um nico a imagem de
0,0 (0, 0) = a0 F
est em
A0,0 + n0,0 (pois estes so abertos disjuntos), e como A0,0 + n0,0 , o mesmo acontece com todos os pontos
R0,0 .
Assim segue que o levantamento unicamente determinado.
O grau de uma funo contnua de S 1 em S 1

Para denirmos um levantamento sobre que j temos denido o levantamento que precedem
67
Ri,j , assumiremos como hiptese de induo | R , onde Rk,l denotam todos os retngulos F k,l
k,l
Ri,j .
Assim,
|R = F |R eF k,l k,l
k,l k,l
e portanto
k,l = F |k,l ek,l F
onde
ek,l
a restrio do homeomorsmo, induzido por de
ao retngulo
Considere
ni,j
Rk,l e Z tal
k,l F
e, e : Ak,l + nk,l Sk,l , F |k,l a restrio a restrio de F ao retngulo Rk,l . (p) Ai,j + ni,j , onde p um ponto da interseco de que F
Ri,j
com os retngulos que o precedem.
i,j : Ri,j R por F i,j = e1 F |i,j , onde e1 a inversa do homeomorsmo, F i,j i,j induzido por e, e : Ai,j + ni,j Si,j , e F |i,j a restrio de F ao retngulo Ri,j . i,j em p, onde p um ponto da interseco de Ri,j com os retngulos Aplicando F que o precedem (a saber: Rk,l da forma Ri1,j ou Ri1,j 1 ou Ri,j 1 ), temos i,j (p) = e1 F |i,j (p) = e1 (F |i,j (p)) = e1 (F |k,l (p)) = e1 (ek,l F k,l (p)) = e1 F i,j i,j k,l k,l k,l ek,l (Fk,l (p)) = Fk,l (p). | R com F i,j temos uma funo Pelo lema da colagem (lema 2.1), combinando F k,l
Dena contnua em
[0, ti+1 ] [0, uj +1 ],
k,l
que claramente um levantamento de
em
[0, ti+1 ]
[0, uj +1 ].
Ainda
|[0,t ][0,u ] (0, 0) = F | R (0, 0) = a0 . F i+1 j +1 k,l

k,l
Ai,j + n, n deve possuir imagem em um nico Ai,j + ni,j (pois estes so abertos disjuntos), e como
Pelo fato de
Ri,j
ser conexo, temos que todo levantamento de
Ri,j
a imagem de
est em
Ai,j + ni,j ,
o mesmo acontece com todos os pontos de
Ri,j .
Assim segue que o levantamento unicamente determinado. Isto completa a induo e a demonstrao do lema.
6.2 O grau de uma funo contnua de S 1 em S 1

A partir de agora estudaremos funes contnuas de considere o diagrama
S1
em
S 1.
Seja
f : S 1 S 1,
g I _ _ _ _/ R
S1
Segundo o teorema 6.1,
e|I f
/ S 1.
f (e|I ) levantada por uma funo g (como no diagrama). Como e(0) = e(1) = 1, pois e(0) = exp(2i0) = exp(0) = 1 e e(1) = exp(2i1) = exp(2i) = 1, temos e(g (1)) = f (e(1)) = f (e(0)) = e(g (0)).
68
O estudo do crculo
e = Z, g (1) g (0)
um inteiro, pois
Ento, como Ker
e(g (1)) = e(g (0)) e(g (1)) e(g (0)) = e(g (0)) e(g (0)) e(g (1) g (0)) = e(0) = 1.
Este inteiro chamado de mento
grau de f, e denotado por deg f .

n,
Qualquer outro levantaento
obtido de
por uma translao por um inteiro
g (1) g (0) = g (1) + n (g (0) + n) = g (1) g (0).

Deste modo, o grau independe da escolha do levantamento. A seguir mostraremos que a noo de grau adequada para resolver todos nossos problemas relacionados a aplicaes de
S1
em
S 1.
Teorema 6.2. O grau dene um isomorsmo de grupos

deg : H 1 (S 1 ) = Z. Sobre funes contnuas f : S 1 S 1 , so equivalentes as seguintes condies: i) f homotopicamente nula; ii) f tem grau zero; iii) f tem um levantamento f : S 1 R. Demonstrao.
entre Provaremos primeiramente que aplicaes homotpicas tm o mesmo grau, mostrando que deg est bem denido. Dada
F : S1 I S1
uma homotopia
f,
considere o diagrama:
G I I _ _ _ _/ R
S1 I
onde 1 denota a identidade de
(e|I )1 F
/ S 1,
G pode ser construdo(como no diagrama). Usaremos (t, u) como coordenadas em I I . Observe que f e|I levantada por g , onde g (t) = G(t, 0). Ento deg f = G(1, 0) G(0, 0). e|I levantada por h, onde Similarmente, deg f = G(1, 1) G(0, 1), pois f h(t) = G(t, 1). Considere a funo denida em I por d(u) = G(1, u) G(0, u). Como e(G(1, u)) = F (1, u) = e(G(0, u)), d assume valores inteiros. Alm disso, d contnua e segue do fato de I ser conexo que d constante. Ento deg f = d(0) = d(1) = deg f . Assim a 1 1 funo deg : H (S ) Z est bem denida.
Pelo lema 6.2, um levantamento
I.
Armao :
deg um homomorsmo.
O grau de uma funo contnua de S 1 em S 1

Dadas e
69
f , f : S1 S1
funes contnuas, e
f (e|I ),
respectivamente, como
um
g, g : I R levantamentos de f (e|I ) homomorsmo, g + g levanta (f f ) (e|I ),
pois
(e (g + g ))(t) = = = =
Ento,
e(g (t) + g (t)) e(g (t)) e(g (t)) (f e|I )(t) (f e|I )(t) (f f ) (e|I )(t), t I.
deg (f f ) = (g + g )(1) (g + g )(0) = g (1) g (0) + g (1) g (0) = deg f + deg f .

Mostremos agora que deg sobrejetora. De fato, dado um inteiro Logo,
n,
considere a funo
pn : S 1 S 1
n vezes
dada por
pn (z ) = z n .
n vezes
|z | = | z.z . . . z | = |z |.|z | . . . |z | = 1, pois |z | = 1. Novamente, como e um homomorsmo, pn (e|I ) levantada pela funo g : I R dada por g (t) = nt. Segue que deg pn = g (1) g (0) = n 0 = n. pn
bem denida, pois
Para mostrar que deg injetora, suciente mostrar que o seu kernel zero, isto , que uma funo de grau zero homotopicamente nula, ou seja, provemos as implicaes:
(ii) (i).
Ento
(i) (ii) Se f homotpica a f0 , pela primeira parte da demonstrao deg f = 1 1 deg f0 , e uma funo constante tem grau zero. De fato, seja f : S S funo constante com f (x) = c. Se c = 1, g : I R dada por g (t) = 0, um levantamento para f (e|I ). Se c = 1, ento g : I R dada por g (t) = e ({c}) I um levantamento de f (e|I ), e portanto, em ambos os casos, deg f = g (1) g (0) = 0. (ii) (iii) Se f tem grau zero, ento temos um levantamento g de f (e|I ) com g (1) = g (0). 1 Assim, g (e|I ) = f : S 1 R um levantamento bem denido de f , j que em 1, (e|I )1 = {0, 1}, mas g (0) = g (1). A continuidade de f nos pontos distintos de 1 segue da continuidade de g e de (e|I )1 (mostrada no lema 6.1). A continuidade de f em 1 tambm satisfeita, pois 1 dividindo S em dois semicrculos, como f contnua em cada semicrculo, segue do 1 lema da colagem (lema 2.1) que f contnua em S . (iii) (i) Como R contrtil, ento toda funo f : S 1 R homotpica a uma funo constante f0 . De fato, como R contrtil, ento existem : R {x0 } e : {x0 } R, com 1{x0 } e 1R . Temos que f = 1R f ( ) f = f0 , 1 pois, para todo x S , ( ) f (x) = ((f (x))) = (x0 ) = cte. Segue do lema 5.2 que f = e f e f0 .
70
O estudo do crculo
6.3 Aplicaes
Apresentaremos nesta seo dois teoremas clssicos onde se utiliza a noo de grau de funes.
Teorema 6.3 (Teorema possui uma raiz.

Demonstrao.
Fundamental da lgebra)
. Toda equao polinomial em
A prova ser feita por reduo ao absurdo. Suponha que no, e consin dere o polinmio P (z ) = ai z i , com an = 0. Podemos supor an = 1, caso contrrio,
i=0 podemos dividir o polinmio por

do maior grau igual a Dena uma pois
an ,
e conseguir um novo polinmio com o coeciente
1. 1 1 funo F : S R+ S
P por hiptese no se anula, e temos F claramente contnua, pois P contnua. Fazendo fr (z ) = F (z, r), F visto como uma homotopia entre as funes fr (veja gura 6.2).
F (z, r) = |F (z, r)| = 1.

por
P (rz ) . |P (rz )|
est bem denida
pode ser
Figura 6.2: Homotopia entre as funes
fr
Dados
fr1
fr2
consideremos a composio
G : S 1 I S 1 [r1 , r2 ] S 1 (z, t) (z, r1 + t(r2 r1 )) F| (z, r1 + t(r2 r1 )), id a funo identidade de S 1 e : I [r1 , r2 ] dada por (t) = r1 + t(r2 r1 ). 1 1 Ento G = F| (id ) : S I S uma homotopia entre fr1 e fr2 , pois G(z, 0) = F| ((id )(z, 0)) = F (z, r1 ) = fr1 (z ) e G(z, 1) = F| ((id )(z, 1)) = F (z, r2 ) = fr2 (z ). P (0z ) 0 = |a = c = 0, desde que a0 = 0, Ainda, f0 constante, pois f0 (z ) = F (z, 0) = |P (0z )| a0 | seno o polinmio teria raiz, contradizendo a nossa suposio. Portanto f0 tem grau
onde zero. Mostraremos que para
id
F|
sucientemente grande,
fr
tem grau
n,
chegando a um
absurdo, pois funes homotpicas tm o mesmo grau.
Aplicaes
( n1
i=0 n1 i=0 n1 n1 i=0 n1 n1 i=0
71
) |ai |, 1
, para
Escolhendo
R > max
|z | = 1
segue que,
ai (Rz )
i
|ai |R R
i
n1
|ai | < Rn = |(Rz )n |.
ai (Rz )i < 1.
Fazendo
ai (Rz )i
, temos
Ento
i=0 |(Rz )n |
z =
i=0 (Rz )n
1 < Re( z) < 1
desde que
|Re( z )| < |z | < 1.

n1
Isso mostra, particularmente, que
P (Rz ) tem parte real positiva pois, (Rz )n n1
P (Rz ) = (Rz )n
Logo
ai (Rz ) + an (Rz ) (Rz )n
n1
ai (Rz )
ai (Rz )i +1=z + 1.
i=0
i=0
(Rz )n
+ an =
i=0
(Rz )n
(Rz ) Re( P ) = Re( z ) + 1 > 0. (Rz )n
Segue que
P (Rz ) (Rz )n ) fR (z ) = = fR (z ) z n n n (Rz ) P (Rz ) z

Assim, a funo
tem parte real positiva.
h : S 1 S 1 dada por h(z ) = fR (z ) z n 1 no sobrejetora ( por exemplo, no existe z S , tal que h(z ) = 1 ). Logo, pelo corolrio 6.1, segue que a funo h tem grau zero. Assim o deg fR = n, pois 0 = deg(h) = deg(fR ) + deg(z n ) = deg(fR ) n.
Teorema 6.4 (Teorema do Ponto Fixo de Brouwer no plano). Toda funo contnua f : D2 D2 tem um ponto xo.
x D2 , x e f (x) so distintos . Dena (x) o ponto de interseo da semireta, partindo de f (x) e passando por x, com S 1 (veja
Suponha que no. Ento para a gura 6.3).
Demonstrao.
Figura 6.3: Denio de
(x) : D2 S 1 que tem grau 1.

uma funo
Claramente
depende continuamente de
x.
Ento
contnua. Agora,
|S 1
a identidade (veja a gura 6.4),
72
O estudo do crculo
Figura 6.4:
|S 1
a identidade de
S1
Por outro lado, De fato, se
D2
contrtil, e ento
homotpica a uma funo constante.
D contrtil, ento existem f : D2 {x0 } e g : {x0 } D2 , com f g 1{x0 } e g f 1D2 . Temos que = 1D2 (g f ), onde ( (g f ))(x) = (g (f (x))) = (g (x0 )) = cte. Em particular, |S 1 tambm homotpica a uma funo constante. Portanto seu
2
grau zero, o que um absurdo.
Problemas de Levantamento e
Extenso
Topologia o estudo de espaos toplogicos e funes contnuas, e a construo e classicao de espaos e funes contnuas tm um papel importante no desenvolvimento deste assunto. Um dos problemas chave na construo de funes a fatorizao. H duas formas de fatorizao: i)
Problemas de levantamento.
existe
Dadas
h:XZ
contnua com
f : X Y, g : Z Y gh=f ?
h
contnuas, quando
X
ii)
~
f
Z ~>
g
/Y
contnuas, quando existe
Problemas de extenso.
h:AC
contnua com
Dadas
g : B A, f : B C hg =f ? B
f g
C
de
~
~
h
/A ~
Este ltimo chamado de problema de extenso, pois na prtica,
A, g
a incluso e
h,
se existir, estende a funo
f,
denida em
B um subespao B , para todo A.
Em topologia algbrica temos um procedimento padro para provar a
tncia da fatorizao. Exemplo 7.1.

Demonstrao.
Sejam existe extenso de
no exis-
Faremos um exemplo disso a seguir. incluso. No
B = C = S 1 , A = D2 , f = 1 = identidade, g = 1 : S 1 S 1 para uma funo D2 S 1 .
Supondo que exista, temos o seguinte diagrama comutativo:
Z = H 1 (B ) o
O
f =1
Z = H 1 (C ).
m6 mmm m m mmm mmm h
H 1 (A) = {0}
73
74
Problemas de Levantamento e Extenso

Desse modo
1 = f = g h = 0,

o que d uma contradio.
Em geral, podemos perguntar primeiramente, se existe de fatorizao
que satisfaz o problema
h g = f
(para o problema de levantamento) e
g h = f
(para o
problema de extenso). Se no for possvel encontrar existe tal funo contnua
que satisfaa, certamente no
h.
7.1 O Problema de Levantamento

Para o problema de levantamento, consideraremos o caso em que
g : Z Y
e:RS
. Apresentaremos a seguir dois resultados deste caso.
Teorema 7.1 (Teorema de Monodromia). Sejam X um espao localmente conexo por caminhos e f : X S 1 uma funo contnua. Ento f possui um levantamento : X R se, e somente se, para toda funo contnua l : S 1 X , deg (f l) = 0. f Cada funo l chamada lao (em X ).
f l um levantamento de f l. De fato, se t S , ento (e (f l ))(t) = (e f )(l (t)) = (f l )(t). Assim, segue do teorema 6.2, que deg (f l ) = 0. () Segundo o lema 4.7, as componentes conexas por caminho so abertas em X . Se para cada componente conexa por caminho C , pudermos levantar f |C a uma funo f |C , ento a funo f : X R ser contnua quando todas f |C o forem. Escolha x0 X e a0 R, com e(a0 ) = f (x0 ). Para cada x X , escolha um caminho p : I X unindo x0 a x. Pelo teorema 6.1 podemos levantar f p unicamente a f p : I R, com f p(0) = a0 . Agora se f existe, f p levanta f p, pois e (f p) = (e f ) p = f p, e temos f (x) = f (p(1)) = f p(1). Assim denimos f (x) = f p(1). Temos que mostrar que esse valor independe da escolha do caminho p. Seja q : I X um outro caminho unindo x0 a x. Ento p e q denem um lao l : S 1 X dado
exista, ento
Demonstrao. () Supondo que f

1
por
{ l(e(t)) =
p(1 2t), se 0 t 1 2 q (2t 1), se 1 t 1 . 2
p(0) = x0 = q (0), e que l(e(0)) = p(1) = x = q (1) = l(e(1)). Como e contnua (lema 6.1), l contnua em cada um dos semi-crculos Im(z ) 0, Im(z ) 0. Segue do lema da colagem (lema 2.1) que l contnua. Por hiptese temos deg (f l ) = 0. Mas g , denida por { f p(1 2t), se 0 t 1 2 g (t) = t 1 , f q (2t 1), se 1 2
Note que em
t=
1 temos 2
O Problema de Levantamento
um levantamento de
75
(f l) e|I .
Note que em
f p(0) = f q (0) = a0 .
queramos mostrar. Segue que
Assim temos que
t= 1 , tambm se tem a igualdade 2 g (0) = g (1), isto f p(1) = f q (1) como
f : X R uma funo bem denida, com e f (x) = e f p(1) = f p(1) = f (x), ou seja, e f = f . Falta mostrar que f contnua. Dado x X , como p contnua, x tem uma vizinhana W , tal que f (W ) um 1 subconjunto prprio de S . Como X localmente conexo por caminhos, possvel 1 encontrar uma vizinhana conexa por caminhos U W de x. Se f (U ) = S S , ento pelo lema 6.1, podemos escrever e (S ) como unio disjunta de translaes de algum conjunto. Denotemos por A a parte transladada contendo f (x). Mostraremos que f (U ) A, provando assim, que f |U uma composio de f com 1 o homeomorsmo induzido por e de S em A. Para provar que f (U ) A, considere y U e escolha um caminho p de x0 a x em X e de x a y em U . Temos que f p vai de f (x0 ) a f (x) em S 1 e de f (x) a f (y ) em S S 1 . Segue que f p vai de a0 = f (x0 ) a f (x) em R, e de f (x) a f (y ) em e (S ). Agora, um caminho em e (S ) que comea em A deve permanecer em A (vide prova do teorema 6.1) e ento f (y ) A.
Teorema 7.2. Sejam X um espao, f0 : X R uma funo contnua e F : X I S 1 uma homotopia tal que, para cada x X , F (x, 0) = e(f0 (x)). Ento existe uma nica homotopia F : X I R, com e F = F e F (x, 0) = f0 (x).
Demonstrao.
x X , considere a funo contnua f : I S 1 , dada por f (t) = F (x, t). Como e(f0 (x)) = F (x, 0) = f (0), pelo teorema 6.1 existe um nico levantamento f : I R de f , com f (0) = f0 (x). Denamos para cada x X , F : X I R por F (x, t) = f (t). As propriedades e F = F , F (x, 0) = f0 (x) e a unicidade, seguem da prpria denio de F . Resta mostrar a sua continuidade. Para cada (x, t) X I , escolha x,t , tal que
Para cada
d((x , t ), (x, t)) < x,t |F (x , t ) F (x, t)| < 1.

Os intervalos
()
,t+ 1 [ formam uma cobertura aberta do espao compacto ]t 1 4 x,t 4 x,t I . Selecione uma subcobertura nita correspondente a t1 < < tn , e considere o 1 menor dos i = x,ti , e U = U (x) X. 4 Mostraremos, por induo em i, que F contnua em (x, t), para |t ti | < i .
Por formarem uma cobertura temos que os intervalos
]ti1 i1 , ti1 + i1 [
se interceptam. Considere
]ti i , ti + i [
u1 = 0. Por hiptese de induo devemos ter F |U {ui } contnua em (x, ui ). Por construo, F (U ]t i , t + i [ ) 1 um subconjunto prprio S de S , pois para (x , t ) U ]t i , t + i [,
o ponto em comum e escolha
ui
1 1 d((x , t ), (x, ti )) d((x, ti ), (x , ti ))+ d((x , t ), (x , ti )) < +2i < x,ti +2 x,ti < x,ti . 4 4
76

Por
()
temos que
distncia a
F (x, ti )
|F (x , t ) F (x, ti )| < 1, e como existem pontos maior que 1, F (U ]t i , t + i [) = S S 1. e (S ) =

nZ
em
S 1,
cuja
Escrevamos
A+n
F (x, ui ) A, uma vizinhana V

com Agora, para Ento
F |U {ui } contnua em (x, ui ), existe de x em U , com F (V {ui }) A. cada y V , F ({y } ]t i , t + i [) A, pois ]t i , t + i [ conexo.
tal como no lema 6.1. Como
F (V ]t i , t + i [) A.
Considere smo. Ento
e : A S
a restrio de
e,
o qual, segundo o lema 6.1, um homeomor-
F |(V
Segue que
]ti ,t+i [)
= e1 F |(V
]ti ,t+i [) .
Isto completa a
contnua, pois a composta de funes contnuas.
induo e portanto a demonstrao do teorema.
Corolrio 7.1. Para todo espao X , uma funo contnua f : X S 1 possui um levantamento f : X R se, e somente se, f homotpica a uma funo constante.
Demonstrao. () Como R contrtil, f
homotopicamente nula (vide prova de homotopicamente nula, assim do teorema 6.2).
ef = f
Tomemos
(iii) (i)
() Seja F : f0 f , com f0 uma funo a0 R, com e(a0 ) = z , e considere f0 como
constante com imagem
z.
a0 . Assim, segundo o teorema 7.2, podemos levantar a homotopia F a F : X I R. Segue que a funo contnua f : X R denida por f (x) = F (x, 1) levanta f , pois (e f )(x) = e F (x, 1) = F (x, 1) = f (x).
a funo constante com imagem
7.2 O Problema de Extenso

Vamos tratar do segundo problema mencionado: Dadas quando existe
g : A B, f : A C ,
h:BC
comutando o diagrama
A
f
C
isto , satisfazendo Claramente, se
~
~
h
/B ~
h g = f. h existe, g (x) = g (y ) B.
implica
Uma razovel hiptese a fazer portanto
f (x) = h(g (x)) = h(g (y )) = f (y ). que g seja injetiva, ou ainda considerar
um subespao de
Mostraremos um importante resultado que resolver o problema de extenso em um caso particular.
O Problema de Extenso
77
Lema 7.1. Sejam B um espao, e A um subespao fechado de B e h : A R, com |h(x)| k , x A. Ento existe uma funo contnua H : B R, com |H (x)| 1 k, 3 2 para x B e |h(x) H (x)| 3 k, para x A.
1 A+ = h [ 1 k, k ] e A = h [k, 3 k ]. Como h contnua, A+ 3 + e A so fechados em A. Como A fechado em B , temos que A e A tambm so + fechados em B . A funo x d(x, A ) denida de B em R+ contnua, e se anula + + somente em A ; similarmente para A . Portanto, d(x, A ) + d(x, A ) nunca se anula em B e a funo 1 d(x, A ) d(x, A+ ) H (x) = k 3 d(x, A+ ) + d(x, A )
Sejam est bem denida, e contnua em Temos que
Demonstrao.
|H (x)|
1 k , pois 3
B. |d(x, A ) d(x, A+ )| d(x, A+ )+ d(x, A ).
Portanto,
|d(x, A+ ) d(x, A )| 1. d(x, A+ ) + d(x, A )

1 x A e h(x) 3 k , ento x A+ . Assim d(x, A+ ) = 0, H (x) = 1 k e 3 1 2 2 0 h(x) H (x) k 3 k = 3 k |h(x) H (x)| 3 k . 1 1 Se x A e h(x) k , ento x A . Assim d(x, A ) = 0,H (x) = k e 3 3 2 k = k + ( k ) h(x) H (x) 0. Logo |h(x) H (x)| = H (x) h(x) 2 k e assim 3 3 3 2 |h(x) H (x)| 3 k. 1 1 k Se k h(x) k , ento |H (x) h(x)| |H (x)| + |h(x)| +k =2 k. 3 3 3 3 3
Agora se
Teorema 7.3 (Teorema de extenso de Tietze). Sejam B um espao, A um subespao fechado de B e J um intervalo fechado dos nmeros reais. Ento toda funo contnua f : A J tem uma extenso contnua, F : B J . (Como todos os intervalos fechados so homeomorfos, podemos trocar J pelo intervalo [1, 1]).
f : A [1, 1], pelo lema 7.1, com k = 1, h = f , podemos 1 1 2 encontrar F1 : B [ , ], com |f (x) F1 (x)| , x A. Aplicando o lema 7.1 3 3 3 2 2 2 e h = f F1 |A , obtemos F2 : B [ 2 , 2 ], com |(f F1 )(x) novamente para k = 3 3 3 2 2 F2 (x)| ( 3 ) , x A. Suponha indutivamente que as funes Fi : B R tenham 2i1 sido construdas com |Fi (x)| em B e 3i
Dada
Demonstrao.
( )i 2 |f (x) Fr (x)| , x A 3 r =1
i
para
i n 1.
Aplicando o lema 7.1 com
h = f
n1
(Fr |A) e k =
( 2 )n1
3
, obtemos uma
funo
Fn : B R,
com
|Fn (x)|
2n1 e 3n
Por induo temos
Fi
construda para
( )n 2 |(f Fi )(x) Fn (x)| , x A. 3 r=1 2i1 todo i. Como |Fi (x)| , a srie Fi 3i
r=1 n1
78

B
(pelo teste M de Weirstrass). Sendo
converge uniformemente em da srie, temos
a convergncia
F :BR
contnua com
|F (x)|
2i1 i=1
3i
= 1.
i
Fazendo
tender ao innito na inequao Logo
F (x), x A.
( )i 2 |f (x) Fr (x)| 3 r =1
obtemos
f (x) =
satisfaz os requisitos do teorema.
Corolrio 7.2. Sejam J um intervalo aberto de R e A, B como no teorema anterior. Ento qualquer funo contnua f : A J tem uma extenso contnua F : B J .
Demonstrao.
Como todos os intervalos abertos so homeomorfos, podemos supor
J =] 1, 1[. Pelo teorema 7.3, i f : A [1, 1] tem uma extenso g : B [1, 1], onde i : J [1, 1] a incluso. Dado C = g ({1, 1}), ento C um subespao fechado de B (pois {1, 1} fechado em [1, 1] e g contnua) e disjunto de A. Dena h : A C I por h|A = {1}, h|C = {0}. Como A e C so fechados e disjuntos, temos pelo lema da colagem (lema 2.1) que h contnua e assim pelo teorema 7.3, h tem uma extenso contnua k : B I . Mostremos que F (x) = g (x).k (x) estende f . 1) Veriquemos que F est bem denida:
i) para ii) para iii) para
x A, F (x) = g (x) = 1, x C, F (x) = 0,

pois
pois
g (x) = i f (x) ] 1, 1[, x A;
k (x) = h(x) = 0, x C ;
ou
x B (A C ), k (x) = 0
k (x) = 1
ou
k (x) (0, 1).
Ento
iii1 ) k (x) = 0 F (x) = 0; k (x) = 1 F (x) = g (x) = 1; iii2 ) k (x) (0, 1) F (x) = g (x).k (x) ] k (x), k (x)[ ] 1, 1[.
2)
estende
f,
pois para
x A, F (x) = i f (x) = f (x). A um subespao fechado de B , f0 : B S 1 = f0 |A . Ento gt pode ser estendida a uma
Proposio 7.1. Sejam B um espao, e gt : A S 1 uma homotopia com g0 homotopia f t com f0 = f0 .

Demonstrao.
Denamos
h : A I S1
por
h(a, t) =
Desta forma
g (a, t) . g (a, 0) A {1}. A {0}.

Pelo teorema 7.2,
uma homotopia da funo constante
se
levanta a uma homotopia
:AI R h
da funo
O Problema de Extenso
f : B {0} A I R denida por f (b, 0) = 0, (a, t), temos que existe uma extenso contnua F : B I R de f . Esta f (a, t) = h 1 extenso determina uma homotopia k : B I S dada por k (x, t) = (e F )(x, t). = k.f0 : B I S 1 por f (x, t) = k (x, t).f0 (x), temos Agora, denindo f
Pelo corolrio 7.2 , com e
79
J =R
f 0 (x) = f (x, 0) = k (x, 0).f0 (x) = e(F (x, 0)).f0 (x) = e(0).f0 (x) = f0 (x), x B,
o que demonstra o teorema.
Corolrio 7.3. Sejam B um espao, A um subespao fechado de B e g : A S 1 uma funo homotopicamente nula. Ento g estendida a uma funo contnua f : B S 1 .
Demonstrao.
g homotopicamente nula, ento existe uma homotopia gt : A S 1 com g1 = g e g0 uma funo constante. Pela proposio 7.1, com f0 e g0 = f0 |A 1 funes constantes, gt pode ser estendida a uma homotopia f t : B S , onde f0 = f0 . Agora, f = f 1 a extenso de g procurada, pois a A, f1 (a) = ((e F1 ).f0 )(a) = (a, 1)).g0 (a) = h(a, 1).g0 (a) = g (a, 1) = (e F1 )(a).f0 (a) = e(F (a, 1)).g0 (a) = e(h g1 (a) = g (a).
Se
O Teorema de Mayer-Vietoris e
Aplicaes
Neste captulo daremos exemplos de clculos dos grupos
H 1 (X ).
Primeiramente
provaremos um resultado geral, e este tomar a forma de uma sequncia exata: isto tpico de resultados em topologia algbrica. O grupo procurado no ser determinado explicitamente, mas informaes sucientes sero dadas para sua determinao atravs de exemplos simples.
8.1 O Teorema de Mayer-Vietoris

Nesta seo utilizaremos as seguintes notaes: espaos fechados, com
Y = X1 X2
Y um espao; X1 , X2 so subW = X1 X2 (o qual tambm fechado).
Denotaremos as funes incluses como no diagrama
= X1 AA AA j1 || | AA | AA || | | k /Y W BB }> BB } BB }} }} j2 B! i2 B } }
i1
X2
tais que
k = j1 i1 = j2 i2 . : H 0 (W ) H 1 (Y )
(i 1 ,i2 )
Teorema 8.1. Existe um homomorsmo sequncia:

0
/ H 0 (Y )
,j } {j1 2
que torna exata a

,j } {j1 2
/ H 0 (X ) H 0 (X ) 1 2
(i 1 ,i2 )
/ H 0 (W )
H 1 (Y )
,j } {j1 2
/ H 1 (X ) H 1 (X ) 1 2
i)
/ H 1 (W ).
Demonstrao.
Seja
Exatido em H 0 (Y ).
(h)) = (0, 0), (h), j2 }(h) = (j1 , j2 {j1
ou seja,
Ker{j1 , j2 }. Ento
0 = j1 (h) = h j1 = h|X1 ,
81
82
O Teorema de Mayer-Vietoris e Aplicaes

e tambm temos ii)
0 = j2 (h), o que implica 0 = j2 (h) = h j2 = h|X2 . h = 0, e portanto Ker {j1 , j2 } = {0}.
Como
Y = X1 X2
Exatido em H 0 (X1 ) H 0 (X2 ).

Seja
(j1 (f ), j2 (f ))
Im{j1 , j2 }. Ento
(i 1 , i2 )(j1 (f ), j2 (f )) = i1 j1 (f ) + i2 (j2 ) (f )
= (j1 i1 ) (f ) (j2 i2 ) (f ) = k (f ) k (f ) = 0.
Logo
Im{j1 , j2 } Ker(i 1 , i2 ).
(1)
Ker(i1 , i2 ), ento
Reciprocamente, dado
(g1 , g2 )
0 = (i 1 , i2 )(g1 , g2 ) = i1 (g1 ) + i2 (g2 ) = g1 |W + g2 |W .

Queremos encontrar
h H 0 (Y ) tal que {j1 , j2 }(h) = (g1 , g2 ). Dena h : Y Z , por h|X1 = g1 e h|X2 = g2 . Assim, h est bem denida, pois g1 |W = g2 |W , isto , g1 e g2 coincidem em W = X1 X2 . Como g1 e g2 so contnuas, e X1 e X2 so fechados, pelo lema da colagem (lema 2.1), h contnua. Agora, g1 = h|X1 = j1 (h)
e
g2 = h|X2 = j2 (h).
Ento Por iii)
(g1 , g2 ) = {j1 , j2 }(h),
e portanto Ker(i1 , i2 )
Im
{j1 , j2 }.
(2)
(1) e (2) temos Ker(i 1 , i2 ) = Im{j1 , j2 }.
Denio de .
Dado
l : W Z contnua, compondo-a com a incluso i : Z R, obtemos i l : W R contnua, e pelo corolrio 7.2 podemos estender i l a uma funo 1 contnua g : X1 R. Denamos h : Y S por h|X1 = e g, h|X2 = {1}.
c : X2 S 1 , com c(x) = 1, x X2 , so contnuas e ainda que elas coincidem em W = X1 X2 . De fato, dado y W = X1 X2 , temos g (y ) = l (y ) Z, da (e g )(y ) = e(g (y )) = 1 = c(y ), e assim, pelo lema da colagem (lema 2.1), segue que h contnua . Dena (l ) = [h].
Segue que e
e g : X1 S 1
iii1 )
onde
est bem denida.
De fato, suponha que exista outra extenso de
h : Y S1 hh.
dada por
h |X1 = e g
i l, g : X1 R. Ento (l) = [h ], h |X2 = {1}. Temos que mostrar que
G(x, t) = (1 t)g (x) + tg (x). Ento G contnua, pois soma de funes contnuas, e G(W I ) = (i l )(W ) Z, pois dado (w, t) W I , G(w, t) = (1 t)g (w) + tg (w), e como g e g so extenses de
Seja dada por
G : X1 I R
O Teorema de Mayer-Vietoris
i l, segue que G(w, t) = (1 t)(i l)(w) + t(i l)(w) = (i l)(w). 1 denir H : Y I S por { e G(x, t), se x X1 H (x, t) = 1, se x X2 H
e uma homotopia entre Assim podemos
83
h,
pois contnua pelo lema da colagem (lema 2.1)
{ H (x, 0) = { H (x, 1) =
e G(x, 0), 1, e G(x, 1), 1,
se se
x X1 = h(x) x X2 x X1 = h (x). x X2
se se
Portanto
hh.

iii2 )
Dados
um homomorsmo.
f : W Z funes contnuas, g : X1 R e g : X1 R extenses contnuas de i f e i f , respectivamente, ento (f ) = [h], onde h : Y S 1 dada por h|X1 = e g ; h|X2 = {1}, e (f ) = [h ], onde h : Y S 1 dada por h |X1 = e g ; h |X2 = {1}.
e
f :W Z
(g + g )(x) = g (x) + g (x), para todo x X1 , uma extenso contnua de i (f + f ) : W R, dada por i (f + f )(x) = i f (x)+ i f (x), pois para x W , (g + g )(x) = g (x)+ g (x) = i f (x)+ i f (x) = i (f + f )(x). Tambm g + g contnua, pois soma de funes contnuas.
Temos que denida por Assim
g + g : X1 R,
(f + f ) = [h ],
onde
h : Y S1
denida por
h |X1 = e (g + g ), h |X2 = {1}.

Agora,
e (g + g ) = (e g ).(e g ) = h|X1 .h |X1 = (h.h )|X1 e h |X2 = {1} = (h.h )|X2 . Logo h = h.h , onde h.h : Y S 1 dada por (h.h )(x) = h(x).h (x), para todo x Y . Assim, (f + f ) = [h ] = [h.h ] = [h].[h ] = (f ). (f ).
iv)
Exatido em H 0 (W ).
iv1 )
Im(i1 , i2 )
Ker(
).
e
g1 : X1 Z H 0 (X1 ) e g2 : X2 Z H 0 (X2 ), chamemos i 1 g1 = f1 i2 g2 = f2 . Queremos mostrar que ((i1 , i2 )(g1 , g2 )) = [k ], onde k : Y S 1 dada por k (x) = 1, x Y .
Dados Como
i f1 , temos que (f1 ) = [h1 ], onde h1 : Y S 1 dada por h1 |X1 = e (i g1 ); h1 |X2 = {1}. Como i g1 (X1 ) Z, temos e (i g1 (X1 )) = {1}. Assim h1 : Y S 1 igual a funo k , e portanto (f1 ) = [h1 ] = [k ]. i g1
uma extenso de
84

Seja
g2 : X1 R, uma extenso de i f2 : W R. Ento g2 (x) = (i g2 )(x), x W , pois ambas as funes estendem i f2 . Denamos ento 2 : Y R h i f2 , (f2 ) = [h2 ],
por
2 |X = g ; h 2 |X = i g2 h 1 2 2 h2 |X1 g2 uma extenso de = e g2 e h2 |X2 = {1}.
que contnua segundo o lema da colagem (lema 2.1). Assim e onde
h2 : Y S 1 ,
e dado por
2 um levantamento de h2 , pois para x X1 , e h 2 ( x) = h 2 (x) = e (i g2 (x)) = 1 = h2 (x). Como e g2 (x) = h2 (x), e para x X2 , e h h2 possui um levantamento, pelo corolrio 7.1 segue que h2 homotopicamente nula. Assim h2 c, onde c uma funo constante, e como a funo constante c homotpica a funo constante k , temos [h2 ] = [k ], implicando em
Armamos que
((i 1 , i2 )(g1 , g2 )) = (f1 + f2 ) = (f1 ). (f2 ) = [h1 ].[h2 ] = [k ].[k ] = [k ].
iv2 )
Im(i1 , i2 )
Ker(
).
f : W Z Ker( ), seja g : X1 R uma extenso de i f e h como na denio de (f ). Ento h homotopicamente nula, pois [k ] = (f ) = [h]. Desse modo, segundo o corolrio 7.1 podemos encontrar um levantamento h : Y R de h. Como h(X2 ) = {1}, devemos ter e h(X2 ) = h(X2 ) = {1}, ou seja h(X2 ) Z. Desta forma h dene uma funo g2 = h|X2 : X2 Z.
Dado Temos tambm que ambas as funes
h|X1 e g levantam a funo h|X1 = e g , cando assim bem denida a funo g1 : X1 Z dada por g1 (y ) = g (y ) h(y ), pois 1 para y X1 , eg1 (y ) = e(g (y )h(y )) = e(g (y )).e(h(y )) = (h|X1 )(y ).(e(h(y )) = 1 (h|X1 )(y ).((h|X1 )(y )) = 1, ou seja g1 (y ) Z.
seja, (i1 , i2 )(g1 , g2 )
Agora, para
w W , g1 e g2 esto denidas e f (w) = g (w) = g1 (w) + h(w), = i 1 g1 + i2 g2 = g1 |W + g2 |W = g1 |W + h|W = f .
ou
v)
Exatido em H 1 (Y ).
Inicialmente observemos que
[h j2 ]1 v1 )
Im(
(inversa da classe
(j2 ) : H 1 (Y ) H 1 (X2 ) [h j2 ]).
denida por
(j2 )[h] =
Ker{j1 , j2 }.
Dado
} (f ) = ([e1 ], [e2 ]), , j2 f : W Z H 0 (W ), queremos mostrar que {j1 1 1 onde e1 : X1 S dada por e1 (x) = 1, x X1 e e2 : X2 S dada por e2 (x) = 1, x X2 .
g : X1 R uma extenso de i f e h como na denio de (f ). Ento ([h])) = ([h j1 ], [h ([h]), j2 ( (f ))) = (j1 ( (f )), j2 } (f ) = (j1 , j2 {j1 1 j2 ] ).
Seja Mas, um
h j1 = h|X1 : X1 S 1 e portanto h j1 = e g , ou seja, h j1 possui levantamento g : X1 R. Segue novamente pelo corolrio 7.1 que h j1
Primeiros Clculos
homotopicamente nula, e pelos mesmos argumentos feitos anteriormente temos
85
[h j1 ] = [e1 ].
Ainda
h j2 = h|X2 = {1},
{j1 , j2 }
logo
[h j2 ]1 = [e2 ]1 = [e2 ].
Finalmente temos que
{j1 , j2 } (f ) = ([h j1 ], [h j2 ]1 ) = ([e1 ], [e2 ]).
v2 )
Ker
Im(
).
Dado
[h] Ker{j1 , j2 }, queremos encontrar f H 0 (W ), com (f ) = [h]. 1 Temos que ([e1 ], [e2 ]) = {j1 , j2 }[h] = ([h j1 ], [h j2 ] ). Assim h j1 e1 e h j2 e2 , e portanto as restries h|X1 = h j1 e h|X2 = h j2 so funes homotpicas as funes constantes e1 e e2 , respectivamente.
Pela proposio 7.1, a homotopia entre

h|X2 e e2 pode ser estendida uma homo1 topia entre h e h : Y S com h |X2 = {1}. Agora h |X1 homotpica a h|X1 e como h|X1 homotpica a e1 , temos que h |X1 homotpica a e1 , e portanto segue pelo corolrio 7.1 que h |X1 possui um levantamento g : X1 R.
Seja
f = g |W . Ento f levanta a funo W {1}, pois para x W , e f (x) = e g (x) = h (x) = 1. Logo f assume valores em Z. Agora, pela construo de f , temos que (f ) = [h ] = [h].
vi)
Exatido em H 1 (X1 ) H 1 (X2 ).

vi1 )
Im{j1 , j2 }
Ker
(i 1 , i2 ).
Temos que
(i 1 , i2 ) {j1 , j2 } = i1 j1 i2 j2 = (j1 i1 ) (j2 i2 ) = k k = 0.
vi2 )
Im{j1 , j2 }. Dado ([g1 ], [g2 ]) Ker(i1 , i2 ), ento [e] = (i1 , i2 )([g1 ], [g2 ]) = i1 ([g1 ]).i2 ([g2 ]) = [g1 i1 ].[g2 i2 ] = [g1 |W ].[g2 |W ]. Assim [g1 |W ] = [g2 |W ]1 = [(g2 |W )1 ] e g1 |W (g2 |W )1 .
Ker(i1 , i2 )
Pela proposio 7.1 a homotopia entre homotopia entre Dena
g1
g1 ,
com
g1 |W e (g2 |W )1 pode ser estendida g1 (w) = (g2 (w))1 , para todo w W.
a uma
h : Y S1
lema da colagem Por m, temos
h|X1 = g1 e h(y ) = g2 (y )1 , (lema 2.1) h contnua.

por
para todo
y X2 .
Ento pelo
}[h] = ([h j1 ], [h j2 ]1 ] = ([h j1 ], [(h j2 )1 ]) = , j2 {j1 ([g1 ], [g2 ]) = ([g1 ], [g2 ]).
8.2 Primeiros Clculos

Daremos alguns exemplos para ilustrar como este ltimo resultado pode ser usado para a realizao de alguns clculos.
86
Lema 8.1. Se X = X1 X2 uma partio de X ento:

H 0 (X ) = H 0 (X1 ) H 0 (X2 ), H 1 (X ) = H 1 (X1 ) H 1 (X2 ).
Demonstrao.
H (X1 X2 )
0
e
Por hiptese,
X1
X2
so fechados em
e ento podemos aplicar
o teorema 8.1 para obter uma sequncia exata.
Desde que
X1 X2
vazio, ento
H (X1 X2 )
1
so nulos, e assim temos as sequncias exatas
0 H 0 (X ) H 0 (X1 ) H 0 (X2 ) 0, 0 H 1 (X ) H 1 (X1 ) H 1 (X2 ) 0.

Assim
H 0 (X ) = H 0 (X1 ) H 0 (X2 )
H 1 (X ) = H 1 (X1 ) H 1 (X2 ). X1 X2 = { P } .
Usando induo podemos estender o lema 8.1 para um nmero nito de componentes de
X.
Considere o caso quando
Como cada funo contnua
{P } Z
se estende a uma funo contnua (por exemplo constante) X1 Z, temos i 1 0 0 0 0 0 que H (X1 ) H (P ) sobrejetora. Assim (i1 , i2 ) : H (X1 ) H (X2 ) H (P ) 0 0 1 sobrejetora. Segue da exatido que Ker = H (P ), e : H (P ) H (X1 X2 ) nula.
Lema 8.2. Suponha X1 e X2 fechados em X , tais que X1 X2 = X e X1 X2 = {P }. Neste caso, escrevemos X = X1 X2 . Ento existem isomorsmos
H 1 (X ) = H 1 (X1 X2 ) = H 1 (X1 ) H 1 (X2 ), H 0 (X ) Z = H 0 (X1 ) H 0 (X2 ).
Alm disso, se X2 for conexo, ento H 0 (X ) = H 0 (X1 ). Demonstrao.

Temos a sequncia exata
0 H 0 (X ) H 0 (X1 ) H 0 (X2 ) H 0 (P ) 0.
Mostremos que
Z. Seja h : H 0 (P ) Z, dada por h(f ) = f (P ). Ento h um homomorsmo, pois h(f + g ) = (f + g )(P ) = f (P ) + g (P ) = h(f ) + h(g ); h injetora, pois Ker h = {f H 0 (P )|h(f ) = 0} = {f H 0 (P )|f (P ) = 0} = {0}; e h sobrejetora, pois dado x0 Z, tomando f H 0 (P ) denida por f (P ) = x0 , temos h(f ) = f (P ) = x0 . Como Z abeliano livre, segue da proposio 3.4 que a sequncia cinde. Portanto, H 0 (P )
isomorfo a
H 0 (X1 ) H 0 (X2 ) = H 0 (X ) Z. = H 0 (X ) H 0 (P )
Agora, se
X2
conexo, a funo
2 H 0 (X2 ) H 0 (P )
um isomorsmo, e assim o
resultado segue do corolrio 3.2.
Primeiros Clculos
87
Teorema 8.2. Seja Y = X A, onde X fechado em Y , A um arco com extremos P e Q, e X A = {P, Q}. Se X possui uma partio que separa P de Q, ento:
H 0 (X ) = H 0 (Y ) Z
e H 1 (Y ) = H 1 (X ).
Caso contrrio, temos um isomorsmo H 0 (Y ) = H 0 (X ) e uma sequncia exata

0 Z H 1 (Y ) H 1 (X ) 0.
Se existe um caminho em X unindo P a Q, esta sequncia cinde, e ento

H 1 (Y ) = H 1 (X ) Z.
Demonstrao.
i)
Como
um arco, compacto e portanto fechado. Ento podemos
aplicar o teorema 8.1. Agora:
H 1 (P ) = 0.
Dado
[f ] H 1 (P ), com f : {P } S 1 dada por f (P ) = z0 , denimos H : {P } I S 1 por H (P, t) = (t), onde o caminho sobre S 1 , ligando z0 a 1 = (1, 0) S 1 . Temos H contnua, pois contnua e H (P, 0) = (0) = z0 , H (P, 1) = (1) = 1, ou seja, H um homotopia entre f e e : {P } {1}. Segue que [f ] = [e]. A contrtil, toda funo f : A S 1 homotopicamente nula (vide teorema 2 1 trocando D por A) donde segue que H (A) = 0. H 0 (X A) = H 0 (P ) H 0 (Q) =ZZ H 1 (X A) = H 1 (P ) H 1 (Q) = 0.
Sendo 6.4
Pelo lema 8.1
Ento a sequncia exata tem a forma
0 H 0 (Y ) H 0 (X ) H 0 (A) H 0 (P ) H 0 (Q) H 1 (Y ) H 1 (X ) 0. A contrtil, existe c : A {Q} e i : {Q} A a incluso, com i c = 1A e c i = 1{Q} . Assim, (i c) = 1H 0 (A) c i = 1H 0 (A) e (c i) = 1H 0 (Q) i c = 1H 0 (Q) , ou seja, a funo restrio i : H 0 (A) H 0 (Q) um
Mas, como isomorsmo. Ento podemos aplicar o teorema 3.2 para cancelar estes termos, e obtermos a sequncia exata
0 H 0 (Y ) H 0 (X ) Z H 1 (Y ) H 1 (X ) 0.
Para ver como denido
(8.1)
voltemos ao teorema 3.2. 3.2. Denotando por
Primeiro vamos determinar smo
a, b, c, d do teorema 0 H (X A) = H (P ) H 0 (Q), teremos

0
R2
o isomor-
88

1 2 H 0 (X ) H 0 (A) H 0 (X A) H 0 (P ) H 0 (Q) R1 R2 (f, g ) f |X A + g |X A ((f |X A + g |X A )|{P } , (f |X A + g |X A )|{Q} ),
da
H 0 (X ) H 0 (A)
onde
a c
b d
H 0 (P ) H 0 (Q),
com com
a : H 0 (X ) H 0 (P ) g |{P } , c : H 0 (X ) H 0 (Q) g |{Q} .
com com
a(f ) = f |{P } , b : H 0 (A) H 0 (P ) c(f ) = f |{Q} e d : H 0 (A) H 0 (Q)
b(g ) = d(g ) =
ii) Determinar Temos
= a b d1 c.
d1 : H 0 (Q) H 0 (A), onde d1 (f ) : A Z dada por d1 (f )(x) = f (Q), x A. a b d1 c : H 0 (X ) H 0 (P ) =Z 1 1 a(f ) (b d )(c(f )) = f |{P } (b d )(f |{Q} ).
Assim Temos que dada por
(a b d1 c)(f ) =
d1 (f |{Q} ) = g : A Z denida por g (x) = f (Q), x A. Desse 1 modo (b d )(f |{Q} ) = h : {P } Z dada por h(P ) = f (Q). Segue que (a b d1 c)(f )(P ) = f (P ) f (Q).
Portanto
denida por
(f ) = f (P ) f (Q).
e
Agora distinguiremos os dois casos. Primeiro vamos supor que haja uma partio
X = X1 X2 ,
com
P X1
Q X2
(gura 8.1).
Figura 8.1: Caso em que
possui uma partio que separa
de
Ento toda funo
g : {P, Q} Z pode ser estendida a X , denindo g (X1 ) = g (P ), g (X2 ) = g (Q). Em particular, sobrejetora, pois dado c Z, tomando f : X Z H 0 (X ) denida por f (X1 ) = c e f (X2 ) = 0, temos que (f )(P ) = f (P ) f (Q) = c 0 = c. Segue da exatido que = 0. 0 H 1 (Y ) H 1 (X ) 0
e e
Da sequncia exata (8.1) segue que
0 H 0 (Y )
H 0 (X ) Z 0
so exatas.
exatido das sequncias, temos
H 0 (X ) = H 0 (Y ) Z
Assim, pelos mesmos argumentos do lema 8.2, e
H 1 (Y ) = H 1 (X ).
Primeiros Clculos
Agora, suponhamos no haver uma partio (gura 8.2).
89
Figura 8.2: Caso em que
no possui uma partio que separa
de
Ento
f : X Z H 0 (X ), com f (P ) = f (Q), obteramos uma partio de X = X1 X2 , com X1 = f (f (P )) e X2 = f (Z {f (P )}). 1 1 Segue da sequncia exata (8.1) que 0 Z H (Y ) H (X ) 0 exata, e 0 H 0 (Y ) H 0 (X ) 0 exata, ou H 0 (Y ) = H 0 (X ). = 0,
pois se existisse
Suponhamos nalmente que h um caminho em este caminho como um arco a incluso funo,
X,
unindo e
P i
Q.
Podemos ver
em
i : B X. {
Temos
X com extremos P que A B = {P, Q} e
Q.
Consideremos agora se estende uma
assim
j :AB AX =Y x, x A i (x), x B.
denida por
j ( x) =
Como
AB
homeomorfo
S 1,
temos
j : H 1 (Y ) H 1 (A B ) = H 1 (S 1 ) = Z. B
no lugar de
Aplicando o que provamos anteriormente, mas com
X,
temos
0 Z H 1 (A B ) H 1 (B ) 0.
iii)
j =
. Temos por
Usaremos a identicao
H 0 (P ) = Z via f f (P ). 1 denida por (f ) = [h], onde h : A X S dada g : X R uma extenso de i f : {P } R.

: Z H 1 (A X ), h|X = e g , h|A = {1} e
Temos por
: Z H 1 (A B ), denida por (f ) = [h ], onde h : A B S 1 h |B = e g |B , h |A = {1} e g |B a restrio da g anterior a B . j : H 0 (P ) H 1 (A B )

dada por
dada
Assim
(j )(f ) = [h j ].
Agora olhemos para
h j : A B S 1.
Temos que
(h j )|A = h|A = {1} = h |A , (h j )|B = (h i )|B = h|B = e g |B = h |B .
90

Assim,
hj =h. j (f ) = [h j ] = [h ] = (f )

Segue que iv)
j =
admite inversa a esquerda.
Como
um arco,
H 1 (B ) = 0
/Z
id
um isomorsmo. Considere o diagrama
/ H 1 (A X )
j
/ H 1 (X )
i
/0
0
Como
/Z
/ H 1 (A B )
/ H 1 (B )
/0
a inversa de
j =
, e
um isomorsmo, segue que
( )1 j
esquerda. Portanto a sequncia
0 Z H 1 (Y ) H 1 (X ) 0
cinde. Ento, pelo corolrio 3.2
H 1 (Y ) = H 1 (X ) Z.
Referncias
[1] WALL, C. T. C.
A Geometric Introduction to Topology. London:
Addison-Wesley
Publishing Company, Inc., 1972. [2] CROOM, F. H.
Basic Concepts of Algebraic Topology. New York: An introduction to algebraic Topology. London: Topology A First Course. New Jersey:
Springer, 1978. Pergamon Press,
[3] WALLACE, A. H. 1967. [4] MUNKRES, J. R.
Prentice Hall, Inc., 1975.
91

Judith de Paula Araújo

Hochgeladen von

Dokumentinformationen

Copyright

Verfügbare Formate

Dieses Dokument teilen

Dokument teilen oder einbetten

Freigabeoptionen

Stufen Sie dieses Dokument als nützlich ein?

Sind diese Inhalte unangemessen?

Copyright:

Verfügbare Formate

Judith de Paula Araújo

Hochgeladen von

Copyright:

Verfügbare Formate

Universidade Estadual Paulista Jlio de Mesquita Filho

Instituto de Geocincias e Cincias Exatas Campus de Rio Claro

Introduo Teoria de Homotopia

Dr. Joo Peres Vieira

Introduo Teoria de Homotopia

Judith de Paula Arajo

Prof. Dr. Joo Peres Vieira Orientador

Prof. Dr. Daniel Vendrscolo Departamento de Matemtica - Universidade Federal de So Carlos

Prof. Dr. Thiago de Melo Departamento de Matemtica - Unesp - Rio Claro - SP

Rio Claro, 17 de junho de 2011

O nico lugar onde o sucesso vem antes do trabalho no dicionrio.

uma estrutura de grupo ou de

Espaos Topolgicos, Os grupos

, Homotopia, Um estudo do Crculo, O Teorema de Mayer-Vietoris.

a group structure or set

G(X ), and every continuous f : G(X ) G(Y ) or f : G(Y ) G(X )

satisfying certain properties.

Topological Spaces , The groups

and the set

Homotopy, A study of a Circle, The Mayer-Vietoris Theorem.

6.1 6.2 6.3 6.4 8.1 8.2

como uma extenso sobre o crculo. . . . . . . . . . . . . . . . . . . .

Homotopia entre as funes Denio de

Caso em que Caso em que

possui uma partio que separa

no possui uma partio que separa

Continuidade e Homeomorsmo . . . . . . . . . . . . . . . . . . . . . . Conjuntos Compactos . . . . . . . . . . . . . . . . . . . . . . . . . . .

Localmente Conexo por Caminhos . . . . . . . . . . . . . . . . .

4 O grupo H 0 (X ), o conjunto 0 (X ) e o grupo H0 (X )

O grau de uma funo contnua de

7 Problemas de Levantamento e Extenso

8 O Teorema de Mayer-Vietoris e Aplicaes

No captulo 6, trataremos inicialmente da funo exponencial de denir o grau de funes contnuas de

. Feito isto, demonstraremos o Teorema

2.1 Espaos Topolgicos

(M, d) um espao mtrico, ento a coleo de bolas abertas em M topologia em M .

2.2 Vizinhanas, Conjuntos Abertos e Fechados

de X aberto de X se para cada x W existe

um subconjunto fechado de X e A fechado de Y ento A

por int(Y ). Observe que int(Y

2.3 Continuidade e Homeomorsmo

denota imagem inversa por

espaos mtricos. A m de que uma aplicao

seja contnua, necessrio e suciente que a imagem inversa

2.4 Conjuntos Compactos

for uma famlia de abertos (fechados) de

a cobertura aberta (fechada).

Proposio 2.4. Se X compacto e S fechado de X , ento S compacto.

Teorema 2.5. Um espao X Rn compacto, se e somente se, for fechado e limitado.

X , digamos correspondenN = max(m1 , m2 , . . . , mk ), segue que X U (0, N ), que

fechado e limitado, com

tambm compacto. Isto o que provaremos no prximo lema.

Iremos supor que

bertura nita com unio

obtendo uma contradio.

cubos idnticos por hiperplanos paralelos s suas faces. Alguns

o comprimento de uma aresta de

Cr 2r vezes uma aresta Uk . Observemos que

de modo que construdo. compacto.

Cn U . Isto contradiz a forma que C possui uma subcobertura nita

Com isto terminamos a demonstrao do teorema 2.5.

Teorema 2.6. Seja f ento Y compacto.

uma funo contnua e sobrejetora. Se X compacto

Corolrio 2.1. Se X compacto e f ento f um homeomorsmo.

Universidade Estadual Paulista Jlio de Mesquita Filho

Homotopia entre as funes Denio de

Continuidade e Homeomorsmo . . . . . . . . . . . . . . . . . . . . . . Conjuntos Compactos . . . . . . . . . . . . . . . . . . . . . . . . . . .

No captulo 6, trataremos inicialmente da funo exponencial de denir o grau de funes contnuas de

2.3 Continuidade e Homeomorsmo

espaos mtricos. A m de que uma aplicao

seja contnua, necessrio e suciente que a imagem inversa

bertura nita com unio

Cn U . Isto contradiz a forma que C possui uma subcobertura nita

Corolrio 2.1. Se X compacto e f ento f um homeomorsmo.

Corolrio 2.2. Se f : X Y contnua, X compacto e Y de Hausdor, ento f uma aplicao fechada.

Denimos uma funo

Iniciamos este captulo com algumas denies.

denem o conceito de grupo. O mais importante exemplo,

Denio 3.2. Seja A um grupo abeliano. Um subconjunto B de A ser um subgrupo se

arma que a adio em

tambm um homomorsmo. Utilizaremos todos os homomorsmos Um homomorsmo

A e X no so abstratamente distinguveis. Z chamado um grupo cclico innito.