Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
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.
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
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.
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
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 )
H0 (X ), H 0 (X ), H 1 (X ) e o conjunto
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
f : X Y
a homomorphism
Keywords:
0 (X ),
H0 (X ), H 0 (X ), H 1 (X )
Lista de Figuras
64 70 71 72 88 89
fr
. . . . . . . . . . . . . . . . . . . . . . .
(x)
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
|S 1
a identidade de
. . . . . . . . . . . . . . . . . . . . . . . . . .
X X
de
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
Espaos Conexos ou Desconexos . . . . . . . . . . . . . . . . . . . . . . 2.5.1 2.5.2 2.5.3 Conjuntos Conexos . . . . . . . . . . . . . . . . . . . . . . . . . Conexo por Caminhos . . . . . . . . . . . . . . . . . . . . . . .
3 Grupos Abelianos
3.1 3.2 3.3 Soma Direta . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Sequncias Exatas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Grupos Abelianos Livres . . . . . . . . . . . . . . . . . . . . . . . . . .
29
32 36 39
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
em
. . . . . . . . . . . . . . .
Aplicaes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
73
74
7.2
O Problema de Extenso . . . . . . . . . . . . . . . . . . . . . . . . . .
76
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
S 1,
am de
em
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.
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
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, ).
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
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
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 = .
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
f 1
denota funo
f.
Sejam
Exemplo 2.3.
f :XY
(X, d)
(Y, d )
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
uma famlia
X
dizemos que
{U }L
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
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.
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
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
Lema 2.2
(Teorema de Heine-Borel)
. Um cubo C em Rn compacto.
Conjuntos Compactos
23
Demonstrao.
Dividimos
U = C ,
com
aberto em
C,
no admite subco-
C,
em
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,
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
Q U ;
e portanto
Assim, conclumos
como
Cn
foi
e portanto
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.
:XY
:XY
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
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.
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
que
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 = .
U = {0}
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
25
{0, 1},
com a
(U, V )
uma partio de
X.
{ 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
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
parametrizao portanto
1 (x, sen ), x
tem a
e como
1 sen( x )
for desconexo,
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
2.5.3
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
por um caminho em
27
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
aU
uma vizinhana de
em
a X.
em
U,
ento (como
aberto de
X ), V
Como
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)
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
Iremos construir uma partio e chegar a uma contradio. no possam ser ligados por um caminho. Seja
x, y X
X,
de
x
e
por um caminho em
X.
V = X U,
(U, V )
uma partio,
so abertos.
u U.
Ento
em
e um outro caminho em
unindo
portanto
W U.
Como
contm uma
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
Grupos Abelianos
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
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
1A
com
1a = a
para todo
a A.
aA
existe
a1 A
tal que
a1 a = 1.
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.
S3 G3
restrita a
B B B;
B G1
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,
Portanto,
(0) = 0.
2)
(a) = (a).
De fato,
Portanto
(a) = (a). : B X
Claramente se
:BA
so homomorsmos, ento
Hom(A, X )
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,
Por
Denio 3.4. Se : A X um homomorsmo, denimos seu kernel (ou ncleo) e sua imagem por
31
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
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
= {0}, a b = 0,
a = b,
= 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
( + )(a + b) = = = =
(a + b) + (a + b) (a) + (b) + (a) + (b) (a) + (a) + (b) + (b) ( + )(a) + ( + )(b).
Assim o conjunto
Hom(A, X )
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.
consiste do conjunto
AB
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
Observao 3.1.
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.
(x + y ) = (1 (x + y ), 2 (x + y )),
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.
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 )((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
denimos
por
(a, b) = = = =
Assim
= (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 )
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
2 : X Y B .
Podemos continuar,
possa ser
] 11 12 . 21 22
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},
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.
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
[a] = {b A|ba}
a classe do elemento
a A.
Zn
de
Rn ,
dado pela
Z.
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
A2 A3 , A1
a sequncia ser dita armaes: i) Im1
exata se Ker 2 = Im 1 .
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
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 .
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
pP
com
q = (p).
Mas ento
(, ) 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)).
P = 0,
R {0}; {0} Q S
e assim, segue o resultado. Quando existe um homomorsmo como cia exata
(, )
a c
b d
A B X
( , )
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
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 )),
p A
com
(p) = 0,
ento
( , )(p, 0) = (p) = 0,
e pela exatido da sequncia dada, existe
(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.
X = X = {0}.
39
j : X = {x} A
uma funo,
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
= (1) + . . . + (1)
n vezes
= ( (1)) + . . . + ( (1))
n vezes
= (n)
Portanto
= . (Z, i)
tem a propriedade universal para o conjunto de todos
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
homomorsmo.
ev
bijetor.
a A,
considere o diagrama
Ao
onde
n {a} A AA }N } i AA }} AA } } A ~} }
j !f
i(a) = 1
j (a) = a,
para todo
a A.
{a},
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
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,
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
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
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
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,
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.
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
Demonstrao.
contnua. Assim,
r f : X {0, 1}
desconexo.
45
46
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
H 0 (X ).
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.
por
x y,
quando existir
X,
unindo
y.
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
g (1) = z.
O Conjunto 0 (X )
Denimos a funo
47
h:IX
por,
{ h(t) =
se se
1 0t 2 , 1 t 1. 2
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 )
relaci-
onados 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
na sua
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
(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
0 (X )
H 0 (X )
con-
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)
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
f : 0 (X ) Z g M AP (0 (X ), Z),
Considere
dada por
f [x] = 0, [x] 0 (X ).
M AP (0 (X ), Z)
Logo
iv) Comutatividade:
Dados
f, g
pertencentes a
M AP (0 (X ), Z),
temos
f + g = g + f . (:
em
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
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
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
x .
Como
x, x
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.
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
F (X )
(X, i),
O Grupo H0 (X )
onde
51
i : X F (X ),
e para qualquer grupo abeliano
A,
a funo
M AP (X, A)
denota o conjunto das funes
hhi
bijetora.
X , F (X )
:XZ
(x) = 0
para todo
x X,
i : X F (X )
por
{ i(x)(y ) =
0, se x = y 1, se x = y
temos que
F (X )
Denio 4.4.
A projeo
H0 (X ) = F (0 (X ))
induz um homomorsmo
p : X 0 (X )
H0 (X ),
0 (X )
i F (p)
F (X ) H0 (X )
Logo, como
F (0 (X ))
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
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
0 (X )
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
picamente nula.
escrever, para
homotoF,
e
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
onde
it
a funo
it (y ) = (y, t). X.
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
Tomemos
R : Y I Y I , dada F R : Y I X contnua, e
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 ]
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 ]
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
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 .
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 ].
[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
e f : X W , ento
Demonstrao.
([f ] [g ]) [h] = = = = =
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].
injetora e
sobrejetora.
[k ] [Z, Y ], (G F )[k ] = = = = = = G(F ([k ])) G([f ] [k ]) [e] ([f ] [k ]) ([e] [f ]) [k ] [1Y ] [k ] [k ].
F F
injetora e e
sobrejetora.
so bijetoras.
[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
= ( x1 , x 2 , . . . , x p ) (x1 , x2 , . . . , xp ) S p1 .
()
pois
Equivalncia de Homotopia
Assim,
57
ie
1X ,
ou seja,
i e 1X . X
tem
x.
Se
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.
[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
h : Z Y, g : Y X,
g : [X, W ] [Y, W ];
1Y
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 ]) = = = = = = = = = =
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},
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
contnuas, o produto
cd
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
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
((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:
refere-se ao fato de
(S 1 , )
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
[X, S ]
com a
[e][c] = [e c] = [c],
61
homomorsmo.
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
H 1 (X ).
Exemplo 5.3.
X = {x}
por
[{x}, S 1 ] est em correspondncia biunvoca com 1 caminhos, 0 (S ) possui um nico elemento e assim
O estudo do crculo
em
S 1 . Esta nos 1 1 de S em S .
no plano.
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
Mas,
exp(2ix) = 1 + 0i
Portanto Ker A funo veremos
e = {x; x Z} = Z.
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:
um espao topolgico e
: 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
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
65
{1} S 1
fechado de
f : X S1
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
[0, ti ],
uma
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,
: 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.
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
= = =
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
Rn1,1 =
Estes cobrem se
j<l
ou se
I I , e podemos j = l e i < k.
Ri,j Rk,l ,
(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 .
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
onde
ek,l
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
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
k,l
em
[0, ti+1 ]
[0, uj +1 ].
Ainda
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
Ri,j
a imagem de
est em
Ai,j + ni,j ,
Ri,j .
Assim segue que o levantamento unicamente determinado. Isto completa a induo e a demonstrao do lema.
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
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
obtido de
S1
em
S 1.
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.
69
f , f : S1 S1
funes contnuas, e
f (e|I ),
respectivamente, como
um
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.
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.
Fundamental da lgebra)
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,
an ,
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).
P (rz ) . |P (rz )|
pode ser
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
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 (Rz )i < 1.
Fazendo
ai (Rz )i
, temos
Ento
i=0 |(Rz )n |
z =
i=0 (Rz )n
desde que
P (Rz ) = (Rz )n
Logo
n1
ai (Rz )
ai (Rz )i +1=z + 1.
i=0
i=0
(Rz )n
+ an =
i=0
(Rz )n
Segue que
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.
Claramente
depende continuamente de
x.
Ento
contnua. Agora,
|S 1
72
O estudo do crculo
Figura 6.4:
|S 1
a identidade de
S1
D2
contrtil, e ento
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 ~
A, g
a incluso e
h,
f,
denida em
no exis-
Z = H 1 (B ) o
O
f =1
Z = H 1 (C ).
H 1 (A) = {0}
73
74
1 = f = g h = 0,
h g = f
g h = f
(para o
h.
g : Z Y
e:RS
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
por
{ l(e(t)) =
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
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
()
,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
()
temos que
distncia a
F (x, ti )
em
S 1,
cuja
Escrevamos
A+n
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,
F |(V
Segue que
]ti ,t+i [)
= e1 F |(V
]ti ,t+i [) .
Isto completa a
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)
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
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
um subespao de
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
Portanto,
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.
h = f
n1
(Fr |A) e k =
( 2 )n1
3
, obtemos uma
funo
Fn : B R,
com
|Fn (x)|
2n1 e 3n
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
a convergncia
F :BR
contnua com
|F (x)|
2i1 i=1
3i
= 1.
i
Fazendo
F (x), x A.
( )i 2 |f (x) Fr (x)| 3 r =1
obtemos
f (x) =
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
pois
k (x) = h(x) = 0, x C ;
ou
x B (A C ), k (x) = 0
k (x) = 1
ou
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
h : A I S1
por
h(a, t) =
Desta forma
se
: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
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.
Y = X1 X2
= 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 )
/ 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
Como
Y = X1 X2
(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 )
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).
e portanto Ker(i1 , i2 )
Im
{j1 , j2 }.
(2)
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
h : Y S1 hh.
dada por
h |X1 = e g
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,
{ H (x, 0) = { H (x, 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
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
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
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
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
ou
v)
Exatido em H 1 (Y ).
Inicialmente observemos que
[h j2 ]1 v1 )
Im(
(inversa da classe
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 ].
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.
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)
Ker
(i 1 , i2 ).
Temos que
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 )
g1
g1 ,
com
a uma
h : Y S1
para todo
y X2 .
Ento pelo
}[h] = ([h j1 ], [h j2 ]1 ] = ([h j1 ], [(h j2 )1 ]) = , j2 {j1 ([g1 ], [g2 ]) = ([g1 ], [g2 ]).
86
Demonstrao.
H (X1 X2 )
0
e
Por hiptese,
X1
X2
so fechados em
Desde que
X1 X2
vazio, ento
H (X1 X2 )
1
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.
{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 ).
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
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 ).
Demonstrao.
i)
Como
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
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)
R2
o isomor-
88
da
H 0 (X ) H 0 (A)
onde
a c
b d
H 0 (P ) H 0 (Q),
com com
com com
b(g ) = d(g ) =
= 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).
de
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
0 H 0 (Y )
H 0 (X ) Z 0
so exatas.
H 0 (X ) = H 0 (Y ) Z
H 1 (Y ) = H 1 (X ).
Primeiros Clculos
Agora, suponhamos no haver uma partio (gura 8.2).
89
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
Q.
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
X,
temos
0 Z H 1 (A B ) H 1 (B ) 0.
iii)
j =
. Temos por
Usaremos a identicao
Temos por
dada
Assim
(j )(f ) = [h j ].
h j : A B S 1.
Temos que
90
hj =h. j (f ) = [h j ] = [h ] = (f )
j =
Como
um arco,
H 1 (B ) = 0
/Z
id
/ 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
( )1 j
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.
Addison-Wesley
Basic Concepts of Algebraic Topology. New York: An introduction to algebraic Topology. London: Topology A First Course. New Jersey:
91