Introdução A Topologia Algébrica

Instituto de Matemtica e Estatstica da Universidade de So Paulo - IME USP
Relatrio do Projeto de Iniciao Cientfica
Introduo Topologia Algbrica
Renato Ghini Bettiol

1 (Bach. Matemtica)
Prof. Dr. Paolo Piccione (Orientador)
IME USP
2006 - 2007
1O aluno contou com uma bolsa do Projeto Ensinar com Pesquisa da Pr-Reitoria de Graduao da Univer-
sidade de So Paulo (Pr-G USP) para o desenvolvimento deste projeto, com vigor para o ano de 2007.
2
Sumrio
1 Apresentao 5
2 Resumo das Atividades Desenvolvidas 7
2.1 Anlise e Topologia Geral . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
2.1.1 Espaos Topolgicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
2.1.2 Espaos Mtricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
2.1.3 Espaos Conexos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
2.1.4 Espaos Completos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
2.1.5 Espaos Compactos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
2.2 Topologia Algbrica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
2.2.1 Grupo Fundamental e Grupos de Homotopia . . . . . . . . . . . . . . . 43
2.2.2 Aplicaes do Grupo Fundamental . . . . . . . . . . . . . . . . . . . . . 45
2.2.3 Ao de Grupos Topolgicos em Espaos Topolgicos . . . . . . . . . . . 46
2.2.4 Fibraes Localmente Triviais e Sequncial Longa Exata em Homotopia
de Fibrao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
2.2.5 Grupo fundamental de S n e RP n . . . . . . . . . . . . . . . . . . . . . . 50
2.2.6 Grupo fundamental de alguns Grupos de Lie . . . . . . . . . . . . . . . 52
2.3 Participao em Eventos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
3 Concluses 57
Referncias Bibliogrcas 58
Anexos 60
4 SUMRIO
Captulo 1
Apresentao
O presente relatrio destina-se a expor o contedo trabalhado e as demais atividades envolvi-
das no desenvolvimento do projeto de Iniciao Cientca Introduo Topologia Algbrica,
realizado pelo aluno Renato Ghini Bettiol, sob a superviso do orientador prof. Dr. Paolo
Piccione, no Instituto de Matemtica e Estatstica da Universidade de So Paulo. O pro-
jeto iniciou-se no segundo semestre de 2006, seguindo um cronograma inicial para o estudo
dos pr-requisitos necessrios ao desenvolvimento da teoria de Topologia Algbrica, envolvendo
principalmente contedos de Anlise e Topologia Geral. Posteriormente, voltou-se Topologia
Algbrica, sobretudo sob o enfoque homotpico.
De modo geral, o estudo consistiu de reunies tcnicas semanais com o orientador, nos quais
foram discutidos os aspectos fundamentais da teoria estudada pelo bolsista e eventuais exerccios
da bibliograa. Ao nal do primeiro semestre do corrente ano, o bolsista comeou a ministrar
seminrios alternando-se com outros alunos de iniciao cientca do departamento, expondo
os tpicos mais importantes e relevantes do estudo. Isso permitiu um melhor desenvolvimento
da capacidade expositiva do mesmo, e maior organizao do contedo trabalhado at ento,
consolidando o aprendizado dessa parte inicial do tema abordado.
Durante esse perodo, o bolsista participou de diversos congressos e encontros de Matem-
tica, podendo inserir-se de modo mais direto no meio cientco. Nesses, teve a oportunidade
de conhecer diversos pesquisadores renomados de algumas reas relacionadas, incentivando o
prosseguimento dos estudos numa possvel ps-graduao.
A parte principal do presente relatrio consiste de um resumo das atividades tcnicas de-
senvolvidas, expondo os principais resultados trabalhados em forma de Denies, Proposies,
Teoremas e Corolrios, e em seguida, so mencionadas as participaes em eventos. Por m,
aps as concluses nais e as referncias bibliogrcas utilizadas, esto anexos os dois resumos
do trabalho, submetidos para o 15o. Simpsio Internacional de Iniciao Cientca da Univer-
sidade de So Paulo (SIICUSP) e para o III Simpsio de Iniciao Cientca e Ps-Graduao
do IME USP, ambos previstos para novembro do corrente ano.
6 Apresentao
Captulo 2
Resumo das Atividades Desenvolvidas
Os resultados principais abordados no desenvolvimento do projeto esto divididos por tema,
na ordem em que foram estudados, contando com eventuais explanaes e exemplicaes. As
sees esto divididas em Anlise e Topologia Geral, Topologia Algbrica e Participao
em Eventos. A primeira seo tem carter introdutrio, tratando de temas mais elementares,
trabalhados em sua grande maioria pelo bolsista em cursos de graduao. J a segunda seo
consiste de resultados menos triviais, estudados em paralelo com o orientador usando biblio-
graas de ps-graduao. Grande parte do texto dessa segunda seo foi retirado de [2] e [3],
resumos escritos pelo bolsista sob superviso do orientador e submetidos aos referidos simp-
sios. Por m, a terceira e ltima seo cita as participaes do bolsista em eventos acadmicos
e outras atividades desenvolvidas pelo mesmo.
2.1 Anlise e Topologia Geral
Os tpicos elementares de Anlise Matemtica e Topologia Geral estudados no perodo ini-

cial do projeto de Iniciao Cientca, conforme previsto no plano de estudos, correspondem
aos pr-requisitos para a compreenso da teoria de Topologia Algbrica e Diferencial. Alm de
solidicar os estudos da graduao, antecipando em grande maioria conceitos que seriam desen-
volvidos apenas nos semestres subseqentes, contribuiram para o amadurecimento acadmico
do bolsista, que procedeu no estudo desse contedo atravs de encontros semanais com o ori-
entador, nos quais eram discutidos aspectos considerados mais importantes da teoria estudada
nas bibliograas recomendadas, sobretudo [14], [13], [11] e [20], e exerccios dos mesmos livros,
alm de exemplos e outros problemas propostos nesses encontros.
O estudo de Anlise voltado compreenso dos conceitos elementares de Topologia foi
consolidado no vero do corrente ano, por ocasio de um curso complementar nos meses de
janeiro e fevereiro, realizado no Instituto Nacional de Matemtica Pura e Aplicada - IMPA
(RJ), obtendo grau A-. Por m, no primeiro semestre do corrente ano o bolsista cursou as
disciplinas de Anlise Real (MAT0206) e Topologia Geral (MAT0317), que vieram a concluir
os estudos nessa parte preliminar do projeto.
8 Resumo das Atividades Desenvolvidas
2.1.1 Espaos Topolgicos
Nesta seo sero abordados os aspectos fundamentais dos Espaos Topolgicos, caracterizando
as noes de topologia sobre um conjunto, conjuntos abertos, fechados, vizinhanas e outros.
Como supracitado, tal contedo foi trabalhado inicialmente de modo direto com o orientador, e
posteriormente na disciplina de Topologia Geral, que prevista apenas para o quinto semestre
do curso de Bacharelado em Matemtica.
Denio 2.1.1 (Espao topolgico). Um espao topolgico um par (X, ), onde X um
conjunto e P(X) uma coleo de subconjuntos de X, satisfazendo
(i) , X ,
Ui , 1 i n ni=1 Ui ,
T
(ii)
S
(iii) Ui , i I iI Ui .
Ento dita topologia sobre X e seus elementos so ditos os abertos da topologia. Quando
for evidente a topologia usada, o espao topolgico denotado apenas X.
Denio 2.1.2. Um subconjunto F X dito fechado em X se, e somente se, seu comple-
mentar X \F aberto em X.
Proposio 2.1.1. Sejam (A )L e (F )M famlias de abertos e de fechados do espao
topolgico (X, ), respectivamente. Ento valem as seguintes armaes:
(i) e X so abertos e fechados em X ,

S T
(ii) L A aberto em X e M F fechado em X ,
Tn Sr
(iii) l=1 Al aberto em X e m=1 Fm fechado em X .
Lema 2.1.1 (Leis de deMorgan). Seja C uma famlia de subconjuntos de X. Ento valem as
seguintes armaes,
S T
(a) X\ C= {X \ A, A C}
T S
(b) X\ C= {X \ A, A C}
Demonstrao. A primeira armao trivial, uma vez que, da Denio (2.1.1) tem-se , X
abertos. Como X \ = X e X \ X = , ambos conjuntos so tambm fechados. A segunda
parte das armaes (ii) e (iii) so trivialmente vericadas a partir da primeira parte dessas
armaes utilizando o Lema (2.1.1),
S e essas, por sua vez, so imediatas da (2.1.1),Tpois A
, logo L A aberto em TX e, ademais, como X \ M F =
S
, L A
L
M X \ F , e como
TnX \ F aberto em TnX , tem-se M F fechado em X. Analogamente,
S
Al S, 1 l nT l=1 Al garante l=1 Al aberto em X , e X \ Fm fechado em X implica
X \ rm=1 Fm = rm=1 X \ Fm aberto em X , logo rm=1 Fm fechado em X .
S
2.1 Anlise e Topologia Geral 9
Existe um considervel nmero de exemplos de topologias sobre conjuntos arbitrrios, como

as topologias catica = {, X} e discreta = P(X), para citar algumas. Dado o carter
sinttico desse texto, no sero explorados exaustivamente outros exemplos, dando maior foco
no desenvolvimento da teoria estudada.
Diversos espaos topolgicos tm uma topologia cannica associada, dita usual. No caso da
reta R, os abertos da topologia usual so os intervalos abertos, sendo essa topologia gerada por
uma mtrica (ou por uma norma) conforme ser visto no prximo captulo. Ademais, espaos
produto, quociente e soma (direta) tambm apresentam topologias usuais associadas, depen-
dentes de cada espao topolgico de sua construo, assim como subconjuntos de determinados
espaos podem ser munidos com a topologia do espao que o contm.
Denio 2.1.3 (Subespao topolgico). Sejam (X, ) um espao topolgico e S X um

subconjunto. Ento |S = {U S : U } uma topologia sobre S , dita topologia (induzida)
de subespao e (S, |S ) dito subespao topolgico de X .
Denio 2.1.4 (Vizinhana). Seja x X , (X, ) espao topolgico. Ento um subconjunto

V 3x dito vizinhana de x se A , x A V .
As vizinhanas so fundamentais para o estudo de fatos topolgicos, uma vez que repre-
sentam o intorno do ponto, sendo adequadas para denir grande parte dos conceitos que se
seguem. Decorre diretamente desta denio que todo aberto vizinhana de cada um dos
seus pontos.
Denio 2.1.5 (Base). Seja (X, ) um espao topolgico e B uma coleo de abertos de
X . Se todo aberto deSX pode ser escrito como a unio de uma subcoleo de B, i.e., se
V , B0 B, V = B 0 , ento B dito base de abertos de X .
Denio 2.1.6 (Sistema fundamental de vizinhanas ou Base local). Seja (X, ) um espao
topolgico e x X . Uma coleo Vx de subconjuntos de X dito sistema fundamental de
vizinhanas de x se
(i) V Vx , V vizinhana de x,
(ii) U 3 x vizinhana de x, V Vx , tal que x V U.
Demonstram-se diversas proposies a respeito de topologias geradas por bases, equivaln-

cias entre abertos que contm determinado ponto e sistemas fundamentais de vizinhana deste
ponto, induo de subbases em subespaos topolgicos, entre outras, que sero omitidas dado
o carter sinttico deste texto.
As denies que seguem so auxiliares para o estudo das propriedades topolgicas de certos
espaos, estendendo o conceito de abertos e fechados dado anteriormente. Para as prximas
denies, considere (X, ) um espao topolgico e A X um subconjunto.
Denio 2.1.7 (Interior). O conjunto dos pontos x A X tais que V , x V A

dito interior de A em X . Os pontos x que satisfazem tal propriedade so ditos pontos interiores
de A.

Notao 2.1.1 (Interior de A). int A ou A
Denio 2.1.8 (Fecho). O conjunto dos pontos x X V , x V tem-se
tais que
V A 6= , que coincide com a interseo de todos os fechados que contm A, dito fecho de
A em X , e os pontos x que satisfazem tal propriedade so ditos pontos de aderncia de A.
Notao 2.1.2 (Fecho de A em (X, )). cl A ou A

, e se a topologia estiver evidente, nova-
mente omite-se .

Dessa maneira, tem-se A aberto em X se, e somente se, A= A, e F fechado em X se, e
somente se F = F , equivalncias imediatas da denio.
Denio 2.1.9 (Fronteira). O conjunto dos pontos x X tais que V , x V tem-se

V A 6= e V (X \ A) 6= dito fronteira de A em X .
Notao 2.1.3 (Fronteira de A). A

importante observar que as noes de aberto, fechado e seus anlogos, interior, fecho
e fronteira de subconjuntos, so relativas, i.e. dependem do espao onde os conjuntos esto
imersos, o que justica a terminologia fecho de A, ou B aberto. Para xar idias, considere
os conjuntos I = [0, 1], J = (0, 1]. Ento vale J $ I $ R, e, considerando a topologia usual da
reta denida pela norma, tem-se que J aberto em I , mas J no nem fechado nem aberto em

R, e J = (0, 1), J = {0, 1}. Se tais conjuntos fossem considerados imersos em R2 , estando I, J

no eixo das abcissas, com a topologia produto usual de R2 , ento J = , J = [0, 1]. Exemplos
anlogos podem ser construidos usando, por exemplo, Q $ R. Portanto, no apenas abertos
e fechados, mas tambm interior, fecho e fronteira devem ser tratados levando-se em conta
em qual espao esto imersos os conjuntos, alm da topologia adotada, exceto quando isso for
evidente. Por m, tendo em vista a Denio (2.1.3), evidente que um conjunto aberto num
subespao se, e somente se, existe um aberto no espao cuja interseo com o subespao seja o
conjunto e analogamente para fechados.
Proposio 2.1.2. Dado A X , A = A X \ A.
Demonstrao. Se x A, por denio, V , x V, V A 6= , V X \ A 6= . Logo, em

particular, x A e x X \ A, portanto A A X \ A. Reciprocamente, x A (V
, x V )V A 6= e x X \ A (V , x V )V X \ A 6= , portanto x A, logo
A A X \ A, concluindo a demonstrao.
Proposio 2.1.3. Dado A X, X um espao topolgico, valem as seguintes armaes:


(i) A aberto em X e A fechado em X

(ii) A A A

(iii) Se BA e B aberto, ento B A, e se AF e F fechado, ento A F.
Demonstrao. Segue-se a demonstrao, item a item:

(i) Da denio de aberto, pode-se provar que A aberto tomando, para cada ponto x A,

o aberto Vx , V 3 x, e vericando que A= Vx , o que decorre imediatamente da
S
denio. Quanto segunda armao, x A V , x V, V A 6= . Logo
y/ A V , y V, V A = , logo X \ A aberto em X , donde A fechado em X .

(ii) Da denio, A A. Ademais, x A, (V , x V ), x V A 6= , logo A A.
(iii) Se B A aberto, ento x B A V , x V B A. Portanto imediato

x A, logo B A. Ademais, se A F , F fechado, dado x A, (V , x V ), V A 6=
. Em particular, V F 6= , logo x F = F , pois F fechado, portanto A F .
Proposio 2.1.4. Seja X um espao topolgico. Ento valem as seguintes armaes:
(i) =
(ii) A=A
(iii) A, B X, A B = A B
Demonstrao. Novamente, segue-se a demonstrao, item a item:
(i) Trivial, no possui elemento algum.
(ii) Imediata dos itens (i) e (ii) da Proposio (2.1.3).
(iii) Da Proposio (2.1.3), A A B A B A A B . Analogamente, B A B ,

logo A B A B . Reciprocamente, da mesma proposio, A A e B B , logo
A B A B . Como A B fechado, novamente da Proposio (2.1.3), A B A B ,
o que conclui a demonstrao.
Exemplo 2.1.1. No necessariamente vale o anlogo da Proposio (2.1.4), A B = A B.

Tem-se apenas A B A B , pois x A B (V , x V ), V A B 6= V A 6=
, V B 6= , i.e. x A e x B . Um contra-exemplo para a incluso no sentido contrrio
pode ser A = (0, 1), B = (1, 2), pois A B = e A B = {1}.
Denio 2.1.10 (Ponto isolado). Dado (X, ) um espao topolgico, um ponto xX dito
isolado se, e somente se {x} .
Denio 2.1.11 (Ponto de acumulao). Dado (X, ) um espao topolgico e A X um

subconjunto,xX dito ponto de acumulao de A se, e somente se V , x V tem-se
V (A \ {x}) 6= .
Denio 2.1.12 (Conjunto perfeito). Se um subconjunto A X de um espao topolgico

(X, ) no possui pontos isolados, A dito perfeito.
Note que se X no possui pontos isolados, ento todo x X ponto de acumulao de

X (logo X perfeito). Existem diversos resultados interessantes de Anlise a respeito dos
conjuntos perfeitos, por exemplo, espaos mtricos perfeitos e completos so no-enumerveis,
o Conjunto de Cantor, R e Q so perfeitos, entre outros. Por ora, a noo mais importante
a equivalncia entre um ponto ser isolado e ser aberto.
Denio 2.1.13 (Conjunto denso). Seja D X um subconjunto do espao topolgico X.

Ento D dito denso em X se, e somente se, D = X .
Lema 2.1.2. D = X U , U D 6= .
Demonstrao. A implicao (=) imediata da Denio (2.1.13). Reciprocamente, U
, U D 6= (x X, x U ), x D, portanto D X . Evidentemente D X , o que
conclui a demonstrao.
Proposio 2.1.5. D = X D V = V , V
Demonstrao. Ambas implicaes sero provadas separadamente:
(=) Se D = X , ento D V D V = X V = V . Ademais, se x V , ento U

, U V 6= . Como D = X , do Lema (2.1.2), V D 6= , logo U (D V ) 6= ,
portanto x D V , assim D V = V .
(=) Tem-se que V = D V D V , logo V D, V , i.e. V , U , U

V , U V 6= . Portanto, se V = X , U , U D 6= , logo, do (2.1.2), D = X .
Um dos principais conceitos na Topologia o de funes contnuas e homeomorsmos. As

propriedades conservadas por homeomorsmos, i.e. se vlidas para determinado espao topo-
lgico (X, ), ento vlidas para qualquer espao topolgico homeomorfo a (X, ), so ditas
propriedades topolgicas, anal, espaos homeomorfos so indistinguveis topologicamente.
interessante notar que as denies que se seguem no dependem de estruturas fortes como m-
tricas, normas entre outras, que so utilizadas para denir continuidade em cursos elementares,
mas estendem tal conceito preservando suas propriedades.
Denio 2.1.14 (Continuidade local). Sejam X, Y espaos topolgicos e f : X Y uma

aplicao. Diz-se que f contnua em x X se, e somente se, para cada vizinhana V Y
de f (x) existir uma vizinhana U X de x, tal que f (U ) V .
Como supracitado, essa denio de continuidade estende o conceito primitivo f contnua

em a X > 0, > 0, |x a| < |f (x) f (a)| < , pois basta fazer, para cada
> 0, U = (x , x + ), V = (f (x) , f (x) + ). Ademais, trivial vericar que a Denio
(2.1.14) acima equivalente a uma denio utilizando vizinhanas abertas ao invs de apenas
vizinhanas, pois basta tomar o aberto contido na vizinhana como vizinhana do ponto.
Denio 2.1.15 (Continuidade global). Nas mesmas condies da denio acima, f dita
contnua (globalmente em X) se f contnua em x X, x X .
Proposio 2.1.6. Uma aplicao f : (X, ) (Y, ) contnua se, e somente se, U
1
tem-se f (U ) = {x X : f (x) U } .
(=) Tome U . Ento, dado x f 1 (U ), da continuidade de f , tem-se que Vx ,

vizinhana de x, com f (Vx ) U . Portanto Vx f 1 (f (Vx )) f 1 (U ), logo f 1 (U ) =
{Vx : x f 1 (U )}, i.e. f 1 (U ) .
S
(=) Tome x X, U , tais que f (x) U . Ento x f 1 (U ) , logo f 1 (U ) vizinhana

aberta de x, e f (f 1 (U )) U , donde f contnua em x X .
Corolrio 2.1.1. A aplicao identidade idX : (X, 1 ) (X, 2 ) contnua se, e somente se,
1 2 .
Corolrio 2.1.2. Se o domnio (X, ) de uma funo f est munido com a topologia discreta
= P (X), ento f contnua.
Proposio 2.1.7. Dada f :X Y, so equivalentes as seguintes armaes
(i) f contnua em X,
(ii) A pr-imagem por f de um fechado F de Y um fechado de X,
(iii) A X, f (A) f (A),
(iv) B Y, f 1 (B) f 1 (B).
Demonstrao. A proposio ser provada demonstrando, uma a uma, as implicaes (i)

(ii) (iii) (iv) (i).
(i) (ii) Dado F Y fechado, tem-se Y \ F aberto, portanto, da continuidade, f 1 (Y \ F ) aberto

em X . Mas f 1 (Y \ F ) = f 1 (Y ) \ f 1 (F ) = X \ f 1 (F ), portanto f 1 (F ) fechado em
X.
(ii) (iii) Tem-se que f 1 (f (A)) fechado em X , mas A f 1 (f (A)) f 1 (f (A)), portanto
A f 1 (f (A)), donde f (A) f (A).
(iii) (iv) Tome B = f (A). Ento f (A) f (A) = B , mas f (A) = f (f 1 (B)) B , portanto
f 1 (B) f 1 (B).
(iv) (i) Tem-se f 1 (B) f 1 (B) f 1 (B) f 1 (B), portanto f 1 (B) f 1 (B) f 1 (B)
f 1 (B), i.e. f 1 (B) f 1 (B) f 1 (B) f 1 (B), logo f 1 (B) fechado, portanto
dado um aberto Y \ B, f 1 (Y \ B) = X \ f 1 (B), que aberto em X , o que garante, por
denio, a continuidade de f .
Proposio 2.1.8. Sejam X, Y espaos topolgicos, D X um subconjunto denso em X e

f :XY uma funo contnua sobrejetiva. Ento f (D) denso em Y .
Demonstrao. Tome V Y um aberto no-vazio arbitrrio. Ento f 1 (V ) 6= aberto

em X , por continuidade de f , e no-vazio por sobrejetividade de f . Como D denso em X ,
x Df 1 (V ) X , logo f (x) f (D)f (f 1 (V )) f (D)V . Assim, a interseo f (D)V
no vazia, logo f (D) denso. Uma demonstrao alternativa pode ser feita fazendo uso da
Proposio (2.1.7), pois f (D) f (D) = f (X) = Y , e a incluso f (D) Y trivial, portanto
tem-se f (D) = Y , i.e. f (D) denso em Y .
Teorema 2.1.1 (Continuidade da composio). SejamX, Y, Z espaos topolgicos, e f :X

Y, g : Y Z funes contnuas. Ento a funo gf :X Z contnua.
Demonstrao. Tome U aberto em Z . Ento. por continuidade de g , tem-se g 1 (U ) aberto em

Y , e por continuidade de f , f 1 (g 1 (U )) aberto em X . Mas f 1 (g 1 (U )) = (g f )1 (U ), logo
g f contnua em X .
Corolrio 2.1.3. A restrio de uma funo contnua f :XY a um subconjunto V X

contnua.
Considere para as denies abaixo (X, ), (Y, ) espaos topolgicos.
Denio 2.1.16 (Funo aberta). Uma funo f : (X, ) (Y, ) dita aberta se, e somente
se, U , f (U ) .
Denio 2.1.17 (Funo fechada). Uma funo f : (X, ) (Y, ) dita fechada se, e
somente se, U X, X \ U , tem-se f (U ) Y, Y \ f (U ) .
Note que se uma funo f : X Y bijetiva e f 1 : Y X aberta (ou fechada), ento

f contnua.
Denio 2.1.18 (Homeomorsmo). Uma funo : (X, ) (Y, ) dita um homeomor-

1
smo se, e somente se bijetiva, contnua, e sua funo inversa : (Y, ) (X, )
contnua.
Notao 2.1.4 (Homeomorsmo). : X

'
Y , i.e. homeomorsmo de X em Y.
Note que a composio de homeomorsmos e a inversa de um homeomorsmo ainda so

homeomorsmos.
Denio 2.1.19 (Espaos homeomorfos). Se dados X, Y espaos topolgicos, existir um ho-

meomorsmo : X Y , ento X, Y so ditos espaos homeomorfos.
Notao 2.1.5 (Espaos homeomorfos). X ' Y , i.e. X, Y so homeomorfos.
Decorre imediatamente das denies acima que relao de homeomorsmo uma relao
de equivalncia, i.e. reexiva (X ' Y Y ' X ), simtrica (X ' X ) e transitiva (X '
Y, Y ' Z X ' Z ). Ademais, tambm imediata a demonstrao da seguinte proposio:
Proposio 2.1.9. Sejam X, Y espaos topolgicos e :X Y uma aplicao. Ento so

equivalentes as seguintes armaes
(i) um homeomorsmo,
(ii) contnua, bijetiva e aberta,
(iii) contnua, bijetiva e fechada.
Exemplo 2.1.2. A aplicao identidade idX : (X, P(X)) (X, {, X}) contnua e bijetiva,
mas no aberta, portanto no homeomorsmo.
O uso de sequncias em Topologia representativo devido s inmeras equivalncias entre

a continuidade de certa aplicao e o comportamento de determinadas sequncias. Com a es-
trutura de espao mtrico, o emprego de sequncias e subsequncias torna as demonstraes
razoavelmente mais simples e elegantes, todavia no necessria a estrutura de mtrica para de-
nir convergncia, como segue, e tal denio abrange o caso em que o espao metrizvel, como
pode ser trivialmente vericado. J o conceito de redes generaliza o de sequncias, permitindo
trabalhar com equivalncias entre convergncia e continuidade em espaos no metrizveis.
Denio 2.1.20 (Sequncia). Dado X um espao topolgico, uma sequncia (xn ) em X
uma enumerao {xn : n N}, tal que n N, xn X . Analogamente pode-se denir a
sequncia (xn ) em X como uma aplicao x : N X , denotando-se x(n) = xn , o n-simo
termo da sequncia.
Denio 2.1.21 (Convergncia). Uma sequncia (xn ) X dita convergente a x X

em
se, e somente se para cada vizinhana V de x , o conjunto {n N : xn / V } nito. Se
@x X com essa propriedade, a sequncia (xn ) dita divergente.
Notao 2.1.6 (Convergncia). xn x ou lim xn = x , i.e. (xn ) converge para x , dito o

limite da sequncia.
Proposio 2.1.10. Uma sequncia (xn ) convergente para x se, e somente se, U 3
x , n0 N, tal que n n0 xn U .
Demonstrao. As implicaes sero provadas separadamente:
(=) Se xn x , U 3 x vizinhana de x , tem-se {n N : xn / U } nito. Portanto
/ U }, assim n n0 n
(n0 1) = max{n N : xn / U } xn U .
/ {n N : xn
(=) Se U 3 x , n0 N, n n0 xn U , ento {n N : xn / U } {n N : n < n0 },
e evidentemente este ltimo nito, pois subconjunto limitado superiormente de N.
Portanto {n N : xn
/ U } nito e, logo, xn x .
Denio 2.1.22 (Subsequncia). Dada uma sequncia (xn ), uma subsequncia (xnj ) uma
restrio da aplicao n 7 xn ao subconjunto innito Nj = {n1 < n2 < ... < nj < ...} de N.
Notao 2.1.7 (Subsequncia). Se a subsequncia de n 7 xn a restrio ao subconjunto
innito Nj = {nj N : j N}, com nj < nj+1 , ento tal subsequncia a aplicao nj 7 xnj ,
denotada (xnj ).
trivial vericar que toda subsequncia de uma sequncia tambm uma sequncia, e que
se uma sequncia converge, toda subsequncia desta sequncia tambm converge para o mesmo
limite.
Para vericar a unicidade do limite de uma sequncia convergente, preciso assumir o
Axioma de Separabilidade de Hausdor (T2 ) para o espao topolgico em questo. Como os
demais axiomas de separabilidade praticamente no sero utilizados neste texto, optou-se por
introduzir apenas o Axioma T2 , como denio, no contexto de sequncias.
Denio 2.1.23 (Espao de Hausdor - Axioma de Separao T2 ). Um espao topolgico

(X, ) dito (espao de) Hausdor se, e somente se, para cada par de pontos x, y X distintos,
existem abertos U, V que separam tais pontos, i.e. X Hausdor se, e somente se x, y
X, x 6= y, U, V , U 3 x, V 3 y, U V = .
Proposio 2.1.11 (Unicidade do limite). Dada uma sequncia (xn ) em (X, ) um espao
Hausdor, se xn a X e xn b X , ento a = b.
Demonstrao. Das convergncias xn a X e xn b X , tem-se U 3 a, n1 N, n

n1 xn U e V 3 b, n2 N, n n2 xn V . Suponha, por absurdo, a 6= b,
e tome Ua , Vb , a Ua , b Vb , Ua Vb = . Ento, fazendo n max{n1 , n2 }, tem-se
xn Ua Vb = , absurdo. Portanto a = b.
Mais precisamente, um espao topolgico Hausdor se, e somente se, toda sequncia con-
vergente tem limite nico. Ademais, outra condio necessria e suciente para o espao ser
.
Hausdor ser fechado o conjunto diagonal = {(x, x) X X}. Utilizando as proposies
acima, fcil demonstrar que se (xn ) uma sequncia em um espao Hausdor, com duas
subsequncias que convergem para limites distintos, a sequncia (xn ) divergente. Ademais,
considerando X como a reta R, so vericadas todas as propriedades de sequncias para n-
meros reais, eventualmente fazendo uso de propriedades da Anlise Real, que preservam os
conceitos acima denidos. Para introduzir uma equivalncia entre continuidade e convergncia,
preciso generalizar o conceito de sequncia convergente para o de rede convergente, o qual
seguir propriedades bastante anlogas s acima demonstradas.
Denio 2.1.24 (Conjunto e subconjunto dirigido). Um conjunto (D, ) munido da relao

de ordem parcial dito dirigido se, e somente se, satisfaz
(i) x x, x D,
(ii) x y, y z x z, x, y, z D,
(iii) x, y D, z X, x z, y z .
Se um subconjunto AD de um conjunto dirigido, com a relao de ordem induzida por

D, satisfaz as condies acima, dito subconjunto dirigido de D.
facilmente vericvel que a imagem de um conjunto dirigido por uma funo montona
um conjunto dirigido e o produto cartesiano de uma famlia de conjuntos dirigido se,
e somente se, cada fator for dirigido. Segue-se a genealizao do conceito de sequncias para
redes, considerando aplicaes no apenas de N no espao em questo, mas tambm de qualquer
conjunto dirigido.
Denio 2.1.25 (Rede). Seja D um conjunto dirigido e X um conjunto. Uma aplicao

x : D X, x() = x dita uma rede em X, denotando-se por x a imagem do elemento
D.
Denio 2.1.26 (Subrede). Sejam (x ), (y ) redes em X , associadas, respectivamente, aos

conjuntos dirigidos (D, D ), (E, E ). Ento (y ) dita subrede de (x ) se, e somente se f :
E D, tal que y = x f e D, 0 E, 0 E D f ().
Note que toda sequncia uma rede, anal N com a relao de ordem usual dirigido,
todavia a recproca evidentemente no vale, por exemplo, considerando uma aplicao do con-
junto dirigido Z com a relao de ordem usual (que no constitui uma sequncia). Ademais,
toda subrede, por denio, uma rede.
Denio 2.1.27 (Convergncia). Uma rede x X dita convergente para x X se, e

somente se V 3 x, vizinhana de x, 0 D, 0 , x V .
Notao 2.1.8 (Convergncia). x x, converge a rede x para o limite x X.
Analogamente ao caso de sequncias, verica-se a unicidade do limite de redes apenas no

caso em que o espao topolgico em questo Hausdor. Utilizando a convergncia de redes,
pode-se agora criar uma equivalncia entre continuidade de funes e convergncia de redes.
Teorema 2.1.2. Sejam X, Y espaos topolgicos e f : X Y uma aplicao. Ento f

contnua se, e somente se x X, (x ) rede em X , x x, tem-se que a rede f (x ) f (x).
(=) Seja x x uma rede com domnio dirigido D, convergente em X , e tome V Y uma
vizinhana de f (x). Ento U = f 1 (V ) vizinhana de x X , pela continuidade de
f . Portanto 0 D, tal que x U 0 , o que implica f (x ) V , portanto
f (x ) f (x).
(=) Suponha, por absurdo, que f seja descontnua em x X , i.e. V 3 f (x), vizinhana de
f (x), tal que U 3 x, vizinhana de x, f (U ) 6 V . Portanto U 3 x, xU , f (xU )
/ V.
Tome E como o conjunto dirigido das vizinhanas de x, ordenadas por incluso (U1
U2 U1 U2 ). Ento tem-se xU , U E uma rede em X . Armo que xU x. Com
efeito, xada W 3 x vizinhana de x, para cada W 0 W, xW 0 W . Ento tem-se
xU x, f (xU ) 6 f (x), absurdo. Portanto f deve ser contnua em x X .
2.1.2 Espaos Mtricos
No estudo de Anlise e Topologia so desenvolvidos os conceitos basilares de mtrica, espao

mtrico, e suas principais noes, como bolas, esferas, funes Lipschitz, equivalncia de m-
tricas e as relaes entre convergncia de sequncias e a topologia gerada pela mtrica. Em
grande parte dos temas subsequentes, a construo ser feita sobre espaos mtricos, dado que
os espaos topolgicos no-metrizveis so bastante restritivos para o estudo em questo.
Denio 2.1.28 (Mtrica). Uma mtrica num conjunto M uma funo d : M M R+ ,

que associa a cada par ordenado (x, y) de elementos de M o nmero real positivo d(x, y), dito
distncia de x a y, satisfazendo
(i) d(x, x) = 0, x M ,
(ii) x 6= y d(x, y) > 0,
(iii) d(x, y) = d(y, x), x, y M ,
(iv) d(x, z) d(x, y) + d(y, z), x, y, z M (desigualdade triangular).
Denio 2.1.29 (Espao mtrico). Um par (M, d), onde M um conjunto e d uma mtrica
em M dito um espao mtrico. Analogamente ao caso dos espaos topolgicos, quando for
evidente a mtrica em questo, esta ser omitida na notao.
Denio 2.1.30 (Subespao mtrico). Sejam (M, d) um espao mtrico e S M um subcon-

junto. Ento a restrio d |SS uma mtrica em S, dita mtrica de subespao, e (S, d |SS )
dito subespao mtrico de M.
Denio 2.1.31 (Bola aberta). Dado (M, d) um espao mtrico, a bola aberta de centro em
xM e raio r R+ o conjunto {y M : d(x, y) < r}.
Notao 2.1.9 (Bola aberta). Bd (x, r), a bola aberta de centro x e raio r, na mtrica d.
importante notar que, conforme a mtrica adotada, muda a natureza das bolas abertas
segundo tal mtrica.
Considere no espao mtrico (X, d) a coleo d P(X) de subconjuntos de X , U d
x U, > 0, Bd (x, ) U . Ento verica-se facilmente que d uma topologia sobre X , dita
induzida pela mtrica d, portanto todo espao mtrico um espao topolgico, considerando-se
a topologia induzida pela mtrica. Ademais, imediato que a topologia induzida por uma
mtrica de subespao coincide com a topologia de subespao induzida por uma mtrica.
Denio 2.1.32 (Espao topolgico metrizvel). Um espao topolgico (X, ) dito metri-
zvel se existe uma mtrica d em X , tal que seja a topologia induzida por esta mtrica.
Assim como no caso dos espaos topolgicos e topologias sobre conjuntos arbitrrios, existem
mtricas que podem ser denidas diretamente sobre tais conjuntos, por exemplo a mtrica zero-
um, dada por
0, se x = y

dzeroum (x, y) =
1, se x 6= y
Note que a topologia induzida por essa mtrica a topologia discreta (dzeroum = P(X)).
Ademais, trivial vericar que, se dp uma mtrica em M , ento as funes di : M M
d(x,y)
R+ , 1 i 4 dadas por d1 (x, y) = d(x, y), d2 (x, y) = 1+d(x,y) , d3 (x, y) = min{1, d(x, y)} e
d4 (x, y) = 2d(x, y) tambm so mtricas em M . Em particular, note que as topologias induzidas
por d, d3 e d4 coincidem. A mtrica d2 importante para normalizar as distncias, tomando
valores apenas em [0, 1).
Analogamente Denio (2.1.9), pode-se denir
Denio 2.1.33 (Bola fechada). Dado (M, d) um espao mtrico, a bola fechada de centro
em xM e raio r R+ o conjunto {y M : d(x, y) r}.
Notao 2.1.10 (Bola fechada). Bd [x, r], a bola fechada de centro x e raio r, na mtrica d.
Denio 2.1.34 (Esfera). Dado (M, d) um espao mtrico, a esfera de centro xM e raio
r R+ o conjunto {y M : d(x, y) = r} = Bd [x, r] \ Bd (x, r).
Notao 2.1.11 (Esfera). Sd (x, r), a esfera de centro x e raio r, na mtrica d. Em se tratando
n+1 n n+1
do espao euclidiano R , se x = 0 e r = 1, denota-se S = {x R : ||x|| = 1} =
B|||| (0, 1).
A terminologia utilizada para caracterizar as bolas consistente com o conceito topolgico

associado, levando-se em conta a topologia induzida pela mtrica, como demonstrado nas pro-
posies seguintes. Ademais, verica-se que todo espao mtrico Hausdor considerando-se
essa topologia.
Proposio 2.1.12. Dado (M, d) espao mtrico, considere (M, d ). Ento as bolas abertas

de M so conjuntos abertos (Bd (x, r)= Bd (x, r)) em M.
Demonstrao. Tome y Bd (x, r). Ento d(x, y) < r = r d(x, y) > 0. Ento,
da desigualdade triangular, d(z, x) d(z, y) + d(y, x) < + d(x, y) = r, tem-se B(y, )
B(x, r), B(y, ) d , logo Bd (x, r) d , portanto Bd (x, r) aberto em M .
Teorema 2.1.3. Considerando-se a topologia induzida pela mtrica, todo espao mtrico (M, d)
Hausdor.
Demonstrao. Dados dois pontos a, b M, a 6= b, tem-se d(a, b) > 0. Tome ra , rb > 0, tais
que ra + rb d(a, b). Ento Bd (a, ra ) Bd (b, rb ) = . Com efeito, x Bd (a, ra ) Bd (b, rb )
d(a, x) < ra , d(b, x) < rb , donde d(a, b) d(a, x) + d(b, x) < ra + rb d(a, b), absurdo. Portanto
dado um par de pontos distintos, encontra-se dois abertos de M que separam os pontos, logo
M Hausdor.
Corolrio 2.1.4. Se ra + rb d(a, b), ento Bd [a, ra ] Bd [b, rb ] = .
Proposio 2.1.13. Dado (M, d) espao mtrico, considere (M, d ). Ento as bolas fechadas
de M so conjuntos fechados (Bd [x, r] = Bd [x, r]) em M.
Demonstrao. Tome y M \ Bd [x, r], logo d(x, y) > r. Assim, tomando > 0, r + d(x, y),
tem-se, do Corolrio (2.1.4) que Bd [x, r] Bd [y, ] = , portanto Bd [x, r] Bd (y, ) = , assim
Bd (y, ) M \ Bd [x, r], B(y, ) d , portanto Bd [x, r] fechado em M .
Exemplo 2.1.3 (Uma bola fechada pode ser aberta). Considere R \ {1, 1} com a topologia
induzida pela reta. Ento B(0, 1) = B[0, 1] uma bola aberta que coincide com uma bola
fechada, sendo um conjunto aberto e fechado.
Corolrio 2.1.5. Dado (M, d) espao mtrico, considere (M, d ). Ento valem as seguintes
armaes:
(i) Bd (x, r) = Bd [x, r]
(ii) Bd [x, r] = Sd (x, r)
Teorema 2.1.4 (Base para um espao mtrico). Seja (M, d) um espao mtrico. Ento o
conjunto B = {Bd (x, n1 ) : x X, n N} uma base de M , i.e. um subconjunto A M
aberto em M se, e somente se unio de elementos de B .
Demonstrao. Se A = B , B B, ento A unio de abertos de d , logo aberto. Recipro-

S 0 0
camente, se A 6= aberto em S d (o caso AS= trivial), ento x A, Bd (x,
S x ) A, i.e.
{x} Bd (x, x ) A. Logo A = xA {x} xA Bd (x, x ) A, portanto A = xA Bd (x, x ),
assim, todo aberto unio de bolas abertas de B .
Exemplo 2.1.4.TA interseo innita de abertos pode no ser aberta. Considerando R com a
1
topologia usual, nN B(x, n ) = {x}, e {x} no ponto isolado em R, portanto no aberto.
A interseo enumervel de abertos ser dita um G .
Pode-se denir uma noo anloga de homeomorsmo em espaos topolgicos para o caso
de espaos mtricos, a isometria. Para tanto, considere (M, dM ), (N, dN ) espaos mtricos.
Denio 2.1.35 (Imerso isomtrica). Uma aplicao f :M N dita imerso isomtrica

de M em N quando dN (f (x), f (y)) = dM (x, y), x, y M .
Denio 2.1.36 (Isometria). Uma aplicao f :M N dita isometria se uma imerso

isomtrica sobrejetiva.
Note que, analogamente ao caso dos homeomorsmos, inversas e compostas de isometrias

ainda so isometrias. Propriedades preservadas por isometrias so ditas propriedades mtri-
cas (e preservadas por homeomorsmos, propriedades topolgicas). trivial notar que toda
propriedade mtrica uma propriedade topolgica, pois toda isometria um homeomorsmo,
todavia no vale a recproca.
As funes de maior interesse do ponto de vista topolgico so aquelas que mais se aproxi-
mam de homeomorsmos, portanto apresentam diversos nveis de continuidade. No que tange
continuidade de funes em espaos mtricos, razoavelmente mais prtico utilizar uma de-
nio analtica com , 's, equivalente mais geral para espaos topolgicos. Para tanto, o uso
de convergncia de determinadas sequncias pode tornar muito mais elegante tal vericao da
continuidade. Por m, note que a denio abaixo apenas especica o caso em que os espaos
topolgicos em questo so metrizveis, coincidindo com a primeira denio.
Denio 2.1.37 (Continuidade local). Dados (M, dM ), (N, dN ) espaos mtricos, uma apli-
cao f : M N dita contnua em x M se, e somente se, > 0, > 0, tal que
dM (x, y) < dN (f (x), f (y)) < , i.e. se > 0, > 0, tal que f (BdM (x, )) BdN (f (x), ).
Novamente, a funo dita (globalmente) contnua se contnua em todo ponto do domnio.

Equivalentemente, a funo globalmente contnua se a pr-imagem de qualquer aberto um
aberto no domnio, sendo essa a denio mais geral possvel de continuidade no presente
contexto. Para os resultados seguintes, considere novamente (M, dM ), (N, dN ) espaos mtricos.
Denio 2.1.38 (Funo Lipschitz). Uma aplicao f : M N dita Lipschitz (ou lipschit-
ziana) se, e somente se c R+ , tal que dN (f (x), f (y)) cdM (x, y), x, y M . A constante
c0 dita constante de Lipschitz.
Denio 2.1.39 (Contrao). Uma aplicao f : M N dita contrao se Lipschitz

com constante de Lipschitz c [0, 1).
Denio 2.1.40 (Contrao fraca). Uma aplicao f :M N dita contrao fraca se

Lipschitz com constante de Lipschitz c = 1.
Denio 2.1.41 (Continuidade uniforme). Uma aplicao f : M N dita uniforme-

mente contnua em M se, e somente se > 0, > 0, tal que x, y M, dM (x, y) <
dN (f (x), f (y)) < .
Note que na uniforme continuidade, diferentemente da continuidade comum, no h depen-

dncia de em relao a x, y M , existe um nico valor que satisfaz a implicao acima,
independente de x, y M . Ademais, trivial vericar que a uniforme continuidade implica

a continuidade global de uma aplicao. Segue o principal resultado acerca de funes Lips-
chitz, sua uniforme continuidade (e, portanto, continuidade), englobando portanto o caso de
contraes e contraes fracas.
Proposio 2.1.14. Toda aplicao f :M N Lipschitz uniformemente contnua em M.
Demonstrao. Seja x M e c R+ a constante de Lipschitz associada aplicao f , e tome

0 < < c+1 . Ento tem-se dM (x, y) < dN (f (x), f (y)) cdM (x, y) < (c + 1)dM (x, y) < ,
logo f uniformemente contnua em M .
H um considervel nmero de exemplos de funes Lipschitz (portanto contnuas) bastante

comuns, como funes constantes, imerses isomtricas, em particular, isometrias, distncias
de ponto a conjunto e entre conjuntos (denidas usando o nmo das distncias aos pontos do
conjunto e nmo entre as distncias de pontos de cada conjunto, respectivamente), projees,
normas, mtricas, entre muitas outras, sob determinadas condies. Desse modo, o critrio de
Lipschitz torna mais prtica a demonstrao de que determinada funo contnua, todavia
por vezes argumentos sobre convergncia de sequncias (caso especial do Teorema (2.1.2)) j
garantem a continuidade sem que seja necessrio recorrer a critrios mais fortes sobre a funo,
como o de Lipschitz. Para as proposies seguintes, considere (M, dM ), (N, dN ) espaos mtricos
e f : (M, dM ) (N, dN ) uma aplicao.
Proposio 2.1.15 (Corolrio do Teorema (2.1.2)). A aplicao f contnua em xM se,

e somente se, (xn ) M (n N), xn x tem-se f (xn ) f (x).
Demonstrao. As implicaes sero provadas separadamente, tratando a convergncia de sequn-

cias como um caso especco da convergncia de redes.
(=) Se f contnua em x M , > 0, > 0, dM (x, y) < dN (f (x), f (y)) < . Ademais,
xn x M garante que 0 > 0, n0 N, tal que n n0 dM (xn , x) < 0 . Portanto,
basta tomar n0 N associado a 0 = , ento n n0 dM (xn , x) < 0 =
dN (f (xn ), f (x)) < , i.e. f (xn ) f (x).
(=) Suponha, por absurdo, f descontnua em x M . Ento > 0, tal que n N, xn

M, dM (xn , x) < n1 , mas d(f (xn ), f (x)) . Ento tem-se xn x M , mas f (xn ) 6
f (x), absurdo. Portanto f deve ser contnua em x M .
Corolrio 2.1.6. A aplicao f globalmente contnua em M se, e somente se, a imagem

(f (xn )) N de toda sequncia convergente (xn ) M uma sequncia convergente. Nesse
caso, f (lim xn ) = lim f (xn ).
As hipteses da Proposio (2.1.15) para garantir a continuidade de f podem ser enfraque-

cidas, como mostra a seguinte proposio. Note que todos os resultados apresentados nesta
seo podem ser tratados como casos particulares daqueles citados sobre sequncias e redes.
Proposio 2.1.16. A m de que f seja contnua em x M , suciente que (xn ) M (n
N), xn x, xnk M , tal que f (xnk ) f (x).
Demonstrao. Suponha, por absurdo, f descontnua em x M . Ento > 0, tal que
n N, xn M, dM (xn , x) < n1 , mas d(f (xn ), f (x)) . Mas, em particular, nk N, xnk
M, dM (xnk , x) < n1k , mas d(f (xnk ), f (x)) , absurdo, pois f (xnk ) f (x). Ento f contnua
em x M .
Proposio 2.1.17. Se X M, ento xX se, e somente se, xn X, xn x.

Demonstrao. Se x X , ento n N, xn BdM (x, n1 ) X , logo tem-se xn x X .
Reciprocamente, se xn x X , tem-se U 3 x, vizinhana de x, U {xn : n N} =
6 , logo
U X 6= , donde x X .
Corolrio 2.1.7. Um subconjunto F M fechado em M se, e somente se, xn F, xn x,

tem-se x F.
Como uma mtrica induz naturalmente uma topologia a ela associada sobre um espao
mtrico, natural assumir que haja certa semelhana entre mtricas que induzem uma mesma
topologia. De fato, mtricas com tal propriedade sero ditas equivalentes, anal preservam as
propriedades de interesse topolgico. Ademais, faz sentido pensar em mtricas (e topologias)
mais nas do que outras, que, intuitivamente, aprimoram a preciso da medida, conferindo
maiores detalhes ao espao mtrico, que no so percebidos com mtricas (ou topologias)
menos nas.
Denio 2.1.42 (Mtrica mais na). Seja M um conjunto com duas mtricas, d1 , d2 associ-
adas. Diz-se que d1 mais na que d2 quando a aplicao identidade id : (M, d1 ) (M, d2 )
for contnua, i.e. quando x M, > 0, > 0, Bd1 (x, ) Bd2 (x, ).
Notao 2.1.12 (Mtrica mais na). d1 d2 , d1 mais na que d2 .
Note que imediato da denio que se certo espao mtrico (M, d) est munido com uma
mtrica discreta (que induz a topologia d = P(M )), ento d ser mais na que qualquer outra
mtrica em M . Evidentemente tal denio estende-se para um conceito de topologia mais
na, como segue.
Denio 2.1.43 (Topologia mais na). Seja X um conjunto com duas topologias, 1 , 2 as-
sociadas. Diz-se que 1 mais na que 2 quando 1 2 , i.e., todo aberto em (X, 2 ) aberto
em (X, 1 ). Evidentemente, isso implica que a aplicao identidade id : (X, 1 ) (X, 2 )
contnua.
trivial vericar que d1 d2 se, e somente se, d1 d2 , estendendo a Denio (2.1.12),

pois mtricas so equivalentes se, e somente se, induzem a mesma topologia. Ademais, considerando-
se os espaos topolgicos (X, 1 ), (X, 2 ), (Y, ), imediato que se 1 2 ento se uma
aplicao f : (X, 2 ) (Y, ), denotada f2 , contnua, tambm contnua a aplicao
f : (X, 1 ) (Y, ), denotada f1 , como exemplicado no diagrama, pois a continuidade de
id, f2 garante a continuidade da composta f1 = f2 id. Um resultado anlogo verica-se no
caso de espaos mtricos, quando d1 d2 .
f2
(X, 2 ) / (Y, )
O u:
u
uuu
id uu
uu f1
(X, 1 )
Ademais, dado um espao topolgico e uma aplicao que o relaciona com outro conjunto,
possvel induzir um topologia nesse conjunto atravs da aplicao, sendo essa topologia a
menos na segundo a qual a aplicao contnua. Analogamente, dado um espao mtrico
e uma aplicao de um conjunto nesse espao mtrico, pode-se induzir uma mtrica nesse
conjunto, segundo a qual a referida aplicao uma isometria, como segue.
Denio 2.1.44 (Topologia induzida por aplicao). Sero denidas separadamente as to-
pologias induzidas por aplicaes do espao topolgico no conjunto e do conjunto no espao
topolgico.
(i) Dados (Y, ) f : X Y uma aplicao de um conjunto X nesse

um espao topolgico e
1
espao, a coleo f P(X) dada por f = {f (U ) : U } uma topologia sobre X ,
dita topologia induzida por f . Note que f contnua considerando-se essas topologias.
(ii) Dados (X, ) um espao topolgico e g : X Y uma aplicao desse espao num conjunto
Y , a coleo g P(Y ) dada por g = {U Y : g 1 (U ) } uma topologia sobre Y ,
dita topologia induzida por g . Note que g contnua considerando-se essas topologias.
Denio 2.1.45 (Mtrica induzida por aplicao). Dados (N, dN ) um espao mtrico e f :
M N uma aplicao injetiva de um conjunto M nesse espao, a funo dM : M M R+
dada por dM (x, y) = dN (f (x), f (y)), x, y M uma mtrica em M . dita induzida por f .
Note que f uma isometria considerando-se essas mtricas.
Proposio 2.1.18. Uma aplicao injetiva f : (M, dM ) (N, dN ) contnua se, e somente
se dM df , onde df a mtrica induzida em M por f .
Demonstrao. A aplicao f : (M, df ) (N, dN ) uma isometria, portanto um homeomor-

smo. Sem perda de generalidade, f sobrejetiva, logo, tomando id : (M, dM ) (M, df ) a
aplicao identidade, tem-se que f = f id contnua se, e somente se id contnua, concluindo
a demonstrao.
Os resultados acima generalizam-se para casos com uma coleo de espaos topolgicos e
uma coleo de funes que relacionam tais espaos com determinado conjunto, sendo grande
parte das topologias em conjuntos de construo mais elaborada introduzidas atravs de apli-
caes dessa maneira. Note que na Denio (2.1.45) no vale o anlogo quando tem-se uma
aplicao f : (M, dM ) N do espao mtrico no conjunto arbitrrio N , anal no necessari-
amente tem-se que a imagem inversa por f de um ponto em N um ponto em M . Para as
seguintes denies e proposies, considere M um conjunto e d1 , d2 mtricas em M .
Denio 2.1.46 (Equivalncia de mtricas). As mtricas d1 e d2 so ditas equivalentes se, e
somente se d1 d2 e d2 d1 , i.e. quando cada uma mais na que a outra.
Note que a equivalncia de mtricas uma relao de equivalncia (reexiva, simtrica e

transitiva), justicando a notao seguinte.
Notao 2.1.13 (Equivalncia de mtricas). d1 d2 , d1 e d2 so equivalentes.
Proposio 2.1.19. So equivalentes as seguintes armaes
(i) d1 d2 ,
(ii) d1 = d2 ,
(iii) A aplicao identidade id : (M, d1 ) (M, d2 ) um homeomorsmo,
(iv) Uma aplicao contnua segundo d1 se, e somente se contnua segundo d2 ,

(v) Para cada bola aberta centrada em x M , existe uma bola aberta segundo a outra mtrica,
de mesmo centro, contida na primeira.
A demonstrao dessas equivalncias imediata das denies acima.

Proposio 2.1.20. Uma condio suciente para d1 d2 , > 0, tais que d1 (x, y)
d2 (x, y) d1 (x, y), x, y M .
Basta notar que isso garante que id12 : (M, d1 ) (M, d2 ), id21 : (M, d2 ) (M, d1 ) so
Lipschitz, logo contnuas, portanto homeomorsmos.
Apesar de utilizar com naturalidade as mtricas usuais em diversos espaos at agora, uma
introduo mais prpria dessas faz-se importante no contexto de vericar sua equivalncia,
como foi discutido na seo anterior. indispensvel ressaltar que apesar de habituais, tais
mtricas no devem ser pensadas como indissociveis, ou nicas para tais espaos, por vezes faz-
se necessrio utilizar outra mtrica, menos comum, por exemplo, para limitar a mtrica original.
Por praticidade, no sero vericados os axiomas de mtrica nas denies que seguem, dada
a trivialidade dos argumentos.
No caso da reta R, utiliza-se o valor absoluto | | : R R+ , que constitui uma norma em tal
espao vetorial, para denir a mtrica usual, dR (x, y) = |x y|. De fato, em qualquer R-espao
vetorial normado V, a norma induz uma mtrica em V como supracitado no caso da reta.
Generalizando o caso anterior, no R-espao vetorial Rn , natural denir trs normas dife-
rentes, a saber, dados x = (xi )1in , y = (yi )1in Rn ,
v
u n n
uX X
2
||x||1 = t xi ||x||2 = |xi | ||x||3 = max |xi |
1in
i=1 i=1
induzindo as mtricas
v
u n n
uX X
d1 (x, y) = t (xi yi )2 d2 (x, y) = |xi yi | d3 (x, y) = max |xi yi |
1in
i=1 i=1
Tais mtricas so equivalentes, como garante a Proposio (2.1.20), pois verica-se facil-
mente que d3 (x, y) d1 (x, y) d2 (x, y) nd3 (x, y), x, y R p . Note que, se um R-espao
n
vetorial V est munido de um produto interno, ento ||x|| = hx, xi uma norma em V, e
essa, por sua vez, induz uma mtrica em V.
Novamente generalizando o caso anterior, considere Q (Mi , di ), 1 i n espaos mtricos.
Ento pode-se denir as seguintes mtricas em M = ni=1 Mi , analogamente ao caso real,
x, y M ,
v
u n n
uX X
d1 (x, y) = t i
d (xi , yi ) d2 (x, y) = di (xi , yi ) d3 (x, y) = max di (xi , yi )
1in
i=1 i=1
Note que, novamente, pela desigualdade anloga ao caso real, tem-se d1 d2 d3 e,

ademais, fazendo Mi = R, obtm-se os mesmos resultados para Rn acima expostos. Tradi-
cionalmente, d1 , d2 , d3 so chamadas, respectivamente, mtrica euclidiana, mtrica da soma e
mtrica do mximo (ou do supremo, no caso de funes, abaixo descrito).
Considerando umaQ innidade enumervel (Mi , d ) de espaos mtricos, para induzir uma
i
mtrica em M = i=1 Mi , considere as projees i : M Mi , i (x) = xi , x M . Ento,

fazendo uma generalizao da Denio (2.1.44), pode-se induzir uma topologia em M atravs
de uma base de abertos (vide Denio (2.1.4)) como segue.
Dado que i so contraes fracas, logo Lipschitz, portanto contnuas,
Q tomandoQAi Mi
abertos, i1 (Ai ) so abertos em M . Desse modo, A = ni=1 i (Ai ) = ni=1 Ai i>n Mi
T
aberto em M , pois interseo nita de abertos. Uma base de abertos para M o conjunto B
dos abertos em M como A, gerando uma topologia em M .
Note que uma aplicao f : (N, dN ) ( i , ) contnua, se, e somente se i f
Q
i=1 M
contnua para cada i N. O espao produto (M, ) assim denido tem diversas propriedades
importantes, por exemplo, a convergncia de sequncias est relacionada com a convergncia
de cada componente para uma sequncia num espao mtrico fator. Ademais, o fecho de um
subconjunto de um produto cartesiano innito de espaos mtricos o produto cartesiano
innito dos fechos desses subconjuntos em cada espao, logo o produto cartesiano innito de
fechados em Mi fechado em M (idem para subconjuntos densos), todavia o mesmo no
vale para abertos. A compacidade do espao produto tambm associada compacidade

de cada fator, como demonstra o Teorema de Tychono. Mais precisamente, esse produto
innito no precisa ser enumervel, todavia preciso lanar mo de tcnicas de ultraltros e
compacidade
Q sequencial de espaos topolgicos, estudada brevemente. Finalmente, uma mtrica
em M = i=1 Mi , com d mtricas em Mi
i

X 1 di (xi , yi )
d(x, y) = i 1 + di (x , y )
, x, y M
i=1
2 i i
Note que necessrio considerar a srie dessa maneira, para garantir sua
Q convergncia sem
demais hipteses a respeito de M . No caso em que Mi = N, i N, M = i=1 N = F(N, N ),
o espao das funes de N em N , i.e. sequncias em N , e as propriedades supracitadas se
estendem, levando-se em conta a natureza desses espaos.
Considere B(X, M ) o espao das funes limitas do conjunto X no espao mtrico (M, dM ),
i.e., f B(X, M ) cf R+ , dM (f (x), f (y)) cf , x, y X . Ento uma mtrica (dita
mtrica do sup) para B(X, M ) d(f, g) = supxX dM (f (x), f (y)). Note que se considerarmos
F(X, M ), o conjunto de todas as funes de X em M , no necessariamente {d(x, y), x, y
X} R+ admite supremo. Ademais, se M um corpo, tal M -espao vetorial no normado,
apesar de ser reunio disjunta de variedades ans, o que facilmente vericvel.
2.1.3 Espaos Conexos
A conexidade em espaos topolgicos um invariante topolgico, em outras palavras, uma pro-

priedade topolgica, preservada por homeomorsmos. Apesar de bastante intuitivo, o conceito
de espao conexo generaliza-se em diversas formas e constitui um importante assunto no estudo
da Topologia.
Denio 2.1.47 (Espao conexo). Um espao topolgico (X, ) dito conexo se, e somente
se,@U, V \ {}, tais que U V = e U V = X . O par (U, V ) dito ciso de X , e,
considerando os casos (U, V ) {(, X), (X, )}, cises triviais de X . Portanto X conexo
se, e somente se s admite a ciso trivial.
Note que se U, V formam ciso de X , ento U, V so abertos e fechados em X , portanto

equivale dizer que X conexo e que os nicos subconjuntos abertos e fechados de X so , X .
Ou ainda, se um subconjunto U X tal que U = , ou U = , ou U = X . Ademais, se o
espao topolgico desconexo (no conexo), pode apresentar subconjuntos conexos.
Denio 2.1.48 (Subconjunto conexo). (X, ) um espao topolgico e C X um sub-

Seja
conjunto. Ento C dito conexo se, e somente se, C conexo como subespao de X , i.e., se
6 U, V \ {}, U V = , U C, V C 6= e C U V .
Note que um subconjunto conexo se for conexo como espao topolgico munido da topo-
logia |S de subespao, i.e., se 6 US , VS |S \{}, US VS = e US VS = S .
Teorema 2.1.5. Seja C X um subconjunto conexo e f :X Y uma aplicao contnua

em X. Ento tem-se que f (C) Y conexo.
Demonstrao. Considere inicialmente f uma aplicao sobrejetiva e tome (U, V ) ciso de f (C).
Ento M = f (U )f (V ), e (f 1 (U ), f 1 (V )) forma ciso de C , logo ou (f 1 (U ), f 1 (V )) =
1 1
(, C) ou (f 1 (U ), f 1 (V )) = (C, ), portanto, da sobrejetividade de f , tem-se (U, V ) =

(, f (C)) ou (U, V ) = (f (C), ), logo f (C) conexo. Por m, se f no sobrejetiva, tem-se
f |C sobrejetiva, logo f (C) conexo, pelo argumento acima.
Corolrio 2.1.8 (Conexidade propriedade topolgica). Dado X um espao conexo e Y um

espao topolgico homeomorfo a X , tem-se que Y conexo.
Proposio 2.1.21. (X, )

Seja um espao topolgico, C X subconjunto conexo e AX
subconjunto, tal que C A C. Ento A subconjunto conexo.
Demonstrao. Suponha, por absurdo, que A seja desconexo. Ento U, V \ {}, tais que
U A, V A, U V A 6= e A U V . Como A C , tem-se U C, V C 6= , e, como
C A, tem-se U V C = e C U V , absurdo, pois C conexo.
Corolrio 2.1.9. Se CX um subconjunto conexo, ento C conexo.
Corolrio 2.1.10. Seja X um espao topolgico e DX um conjunto conexo denso em X.

Ento X um espao conexo.
ProposioT2.1.22. Seja C , S
L uma famlia de conjuntos conexos do espao topolgico X,
tais que c L C . Ento C = L C conexo.
Demonstrao. Seja (U, V ) uma ciso de C . Ento, sem perda de generalidade, c U , e

portanto, como L, U C , V C so abertos em C , (C U, C V ) S
ciso de C . Como
c U e C conexo, tem-se c U C , V C = , L. Ento V = L (V C ) =
e U = C , donde C conexo.
Corolrio 2.1.11. A m de que X seja conexo, basta que x1 , x2 X, C12 X conexo, tal
que x1 , x2 C12 .
Para discutir a relao de conexidade entre fatores de um produto de espaos topolgicos

e o espao produto necessrio discutir a topologia produto no caso no enumervel (para
produtos enumerveis, vide a mtrica denida anteriormente). Salienta-se o fato de que usando
recursos de ultraltros possvel considerar uma quantidade innita no-enumervel de espaos
no produto para concluir resultados acerca de sua natureza topolgica.
Denio
Q 2.1.49 (Topologia produto
S de Tychono). Sejam (X , ), L espaos topolgicos
e X = L X = {x : L X
LQ : x() L, L}. Ento a topologia produto de
Tychono gerada pela base B ={ L U : U , L, #{ L : U 6= X } < },
onde o smbolo
Q #Qdenota a cardinalidade do conjunto que precede. Isso equivale a dizer que
B = { L0 U L\L0 X : U , L}, onde L0 L nito.
Teorema 2.1.6.
Q
Seja X , L uma famlia de espaos topolgicos e X= L X o espao
produto munido da topologia de Tychono. Ento X conexo se, e somente se X conexo
L.
Demonstrao. As implicaes sero provadas separadamente, como segue.
(=) Tem-se que as projees : X X so contraes fracas, portanto contnuas. Logo,

do Teorema (2.1.5), X conexo, L.
(=) Considere apenas dois espaos, X1 , X2 , e dois pontos (x1 , y1 ), (x2 , y2 ) X1 X2 . Ento,
do Corolrio (2.1.11), X1 X2 conexo, pois basta considerar o conexo (X1 {y2 })
({x2 }X2 ). Procedendo indutivamente, tem-se
Q que o produto cartesiano nito de conexos
conexo. Ademais, para o produto X = L X , xe {x }L Q X . Ento, para todo
nito, conexo, pois homeomorfo a X . Considere
Q
L0 L L0 X {x }
L LS
0
C = { L0 X {x }L0 : L0 Lnito}. Ento x C e, logo, C = {U : U C}
Q T
conexo e denso em X , donde X conexo.
No caso da reta R, fcil demonstrar que os nicos conjuntos conexos so intervalos, o

que resulta no conhecido Teorema do Valor Intermedirio para funes reais. Ademais, este
pode ser utilizado novamente para demonstrar a existncia de raiz real para polinmios de grau
mpar.
Diversas propriedades topolgicas podem ser enfraquecidas para tornarem-se vlidas para
determinados espaos somente quando se considera apenas sistemas fundamentais de vizinhan-
as dos pontos, e no o espao todo. Tais propriedades so ditas propriedades locais, por
exemplo, a conexidade local, denida a seguir.
Denio 2.1.50 (Conexidade local). Um espao topolgico dito localmente conexo quando
cada um de seus pontos admite um sistema fundamental de vizinhanas conexas.
Denio
S 2.1.51 (Componente conexa). Seja X um espao topolgico e x X. Ento Cx =
CP(X) {C 3 x : C conexo} a componente conexa de x em X .
Intuitivamente, se um determinado espao ou conjunto desconexo, pode apresentar, para

cada ponto, um subconjunto conexo maximal que o contm, o que formalmente descrito como
sua componente conexa. Tem-se ento que a componente conexa o maior conexo que contm
x, consistindo ao menos do unitrio {x}. imediato da denio que componentes conexas so
sempre conjuntos fechados de X .
Denio 2.1.52 (Caminho). Uma aplicao contnua : [0, 1] M no espao topolgico X

dito um caminho. Os pontos (0), (1) so ditos extremos do caminho, sendo o primeiro o
inicial e o segundo o nal. Se (0) = (1), o caminho dito fechado.
Denio 2.1.53 (Justaposio de caminhos). Dados dois caminhos , : [0, 1] X , com
(1) = (0), dito o caminho justaposto : [0, 1] X o caminho denido por
(2t), se 0 t 12

(t) =
(2t 1), se 21 t 1
Como (1) = (0), no h ambiguidade na denio, e contnuo. Tal denio ser
revisada posteriormente na seo de Topologia Algbrica, sendo essencial para a construo do
grupo de homotopia de espaos topolgicos.
Denio 2.1.54 (Segmento). Seja V um espao vetorial, x, y V. O conjunto [x, y] =

{(1t)x+ty : 0 t 1} dito o segmento que une x a y . Sendo V normado, f (t) = (1t)x+ty
um caminho, tambm denotado [x, y].
Denio 2.1.55 (Espao convexo). Um espao vetorial V dito convexo se, e somente se,
x, y V, [x, y] V.
Verica-se facilmente que o produto e a interseo de espaos convexos um espao convexo.
A noo de convexidade ser utilizada posteriormente na construo de diversas aplicaes em
espaos com tal propriedade.
Denio 2.1.56 (Espao conexo por caminhos). Um espao topolgico X dito conexo por
caminhos quando, x, y X , : [0, 1] X , com {x, y} ([0, 1]).
Denio 2.1.57 (Subconjunto conexo por caminhos). Seja X um espao topolgico e CX
um subconjunto. Ento C dito conexo por caminhos se C conexo por caminhos como
subespao de X, analogamente Denio (2.1.48).
Evidentemente, todo espao vetorial convexo conexo por caminhos. Ademais, todo espao
topolgico conexo por caminhos conexo, pois dois pontos quaisquer esto contidos na imagem
por funo contnua do conexo [0, 1], logo contidas num conexo, e, do Corolrio (2.1.11), segue
que o espao conexo. A conexidade por caminhos satisfaz propriedades anlogas s da conexi-
dade, como, por exemplo, a imagem por funo contnua de um conjunto conexo por caminhos
conexa por caminhos, a unio de conjuntos conexos por caminhos conexa por caminhos e
o produto cartesiano de conjuntos conexos por caminhos conexo por caminhos se, e somente
se cada fator o . Todavia, h exemplos elementares de conjuntos conexos, no conexos por
caminhos, basta considerar o grco de f (x) = cos x1 em R2 e o segmento {0} [1, 1].
Denio 2.1.58 (Conexidade local por caminhos). Um espao topolgico dito localmente
conexo por caminhos quando cada um de seus pontos admite um sistema fundamental de vizi-
nhanas conexas por caminhos.
Teorema 2.1.7. Um espao topolgico X localmente conexo por caminhos conexo por cami-
nhos se, e somente se, conexo.
Demonstrao. Evidentemente, se X (localmente) conexo por caminhos, ento conexo. Re-

ciprocamente, suponha X conexo e localmente conexo por caminhos. A relao de equivalncia
x y : [0, 1] X, {x, y} ([0, 1]) est bem denida, anal, das proposies anteriores,
reexiva, simtrica e transitiva. Dado a X , armo que a classe de equivalncia de a, dada
por [a] = {x X, x a}, um conjunto aberto. Com efeito, dado x [a], U 3 x vizinhana
conexa por caminhos, tem-se y U y x, e como x a, vem y a, i.e. y [a]. Ademais,
X \ [a] tambm aberto, anal y X \ [a], Wy 3 y vizinhana conexa por caminhos, e
portanto w Wy w y , e como y 6 a, vem w 6 a, i.e. w X \ [a]. Como [a] aberto,
fechado e no vazio, segue-se que [a] = X .
As classes de equivalncia, como [a], denidas como na demonstrao acima, podem ser
interpretadas como as componentes conexas por caminhos dos seus elementos (independente-
mente do representante a).
2.1.4 Espaos Completos
O conceito de espao completo ser abordado sobre espaos mtricos (com sequncias de Cau-
chy), apesar de ser possvel sua denio sobre espaos pseudo-mtricos1 (com pseudo-sequncias
de Cauchy). Como todas construes seguintes usam estruturas fortes, a existncia de uma
mtrica no acarreta demasiada perda de generalidade. Grande parte da fundamentao da
completude de um espao inspirada na construo do corpo ordenado completo R a partir
de Q, atravs de cortes de Dedekind ou sequncias de Cauchy. O principal resultado o Teo-
rema de Baire, ponto de partida para os mais importantes teoremas da Anlise Funcional, em
alternativa ao Lema de Zabreko.
Denio 2.1.59 (Sequncia de Cauchy). Sejam (M, d) um espao mtrico e (xn ) uma sequn-
cia em M . Ento (xn ) dita sequncia de Cauchy se, e somente se > 0, n0 N, tal que
n, m n0 d(xn , xm ) < .
Proposio 2.1.23. Sejam (M, d) um espao mtrico e xn x uma sequncia convergente

em M. Ento (xn ) uma sequncia de Cauchy.
Demonstrao. Como xn x M , > 0, n0 N, tal que n n0 d(xn , x) < 2 . Tomando

n, m n0 , tem-se d(xn , xm ) d(xn , x) + d(xm , x) < 2 + 2 = , portanto (xn ) de Cauchy.
1 Conjuntos
munidos de uma pseudo-mtrica p : M M R+ (que se anula em pares (x, y) que no
necessariamente pertencem diagonal = {(x, x) : x M })
trivial demonstrar que toda sequncia de Cauchy limitada, basta tomar = 1 na

Denio (2.1.59) e notar que a unio (do conjunto) dos elementos de ndice maior ou igual
a n0 e (o conjunto) dos elementos de ndice estritamente menor que n0 constitui um conjunto
limitado. Dos resultados de sequncias e redes, sabe-se que uma condio suciente para a
convergncia de uma sequncia a convergncia de toda subsequncia dessa ltima. No caso
das sequncias de Cauchy, esse critrio pode ser enfraquecido, como segue. Para todos os
resultados que seguem, sempre considere as sequncias em um espao mtrico (M, d).
Proposio 2.1.24. Seja (xn ) uma sequncia de Cauchy em M que admite uma subsequncia
(xnk ) convergente, xnk x M . Ento tem-se xn x.
Demonstrao. Da convergncia de (xnk ), > 0, N1 N, nk N1 d(xnk , x) < 2 . Ade-

mais, como (xn ) de Cauchy, > 0, N2 N, n, m N2 d(xn , xm ) < 2 . Tomando
n max{N1 , N2 }, tem-se d(xn , x) d(xn , xnk ) + d(xnk , x) < 2 + 2 = , portanto xn x M .
Corolrio 2.1.12. Uma sequncia com duas subsequncias convergentes para limites diferentes
no pode ser de Cauchy.
Corolrio 2.1.13. Uma sequncia com um nmero nito de termos distintos de Cauchy se,
e somente se, permanece constante para elementos de ndice maiores que certo n0 N.
Usando a convergncia de sequncias de Cauchy, dene-se a completude de um espao

mtrico, como segue.
Denio 2.1.60 (Espao mtrico completo). Um espao mtrico (M, d) dito completo se,
e somente se, toda sequncia de Cauchy em M convergente.
Note que a noo de espao mtrico completo est vinculada mtrica (que gera a topologia
do espao, determinando assim a convergncia de sequncias), portanto, para que um espao
mtrico seja considerado completo segundo duas mtricas diferentes, necessrio que ambas
mtricas sejam equivalentes (gerando a mesma topologia), todavia a condio no suciente.
Desse modo, a completude de um espao mtrico no uma propriedade topolgica, e pode-se
considerar espaos mtricos no completos homeomorfos a um espao mtrico completo, como
segue.
Denio 2.1.61 (Espao mtrico topologicamente completo). Se um espao mtrico (M, d)

no completo, mas admite uma mtrica d d, tal que (M, d)
completo, ento (M, d) dito
topologicamente completo.
Proposio 2.1.25. Dado M um espao mtrico completo, um subespao XM completo

se, e somente se, fechado.

(=) Considere X M subespao mtrico completo. Ento dada uma sequncia xn X ,

tal que xn x M , tem-se, da Proposio (2.1.23) que xn de Cauchy, portanto
convergente no espao mtrico completo X , donde, pela unicidade do limite em espaos
Hausdor, x X , logo X fechado.
(=) Seja X M subespao mtrico fechado. Ento dada uma sequncia de Cauchy (xn ) X ,
tem-se xn x M , da completude de M . Mas, como X fechado em M , vem x X ,
donde X completo.
Lema 2.1.3 (Aplicaes Lipschitz preservam sequncias de Cauchy). Sejam M, N espaos

mtricos, xn M uma sequncia de Cauchy e f : M N uma aplicao lipschitziana (logo
uniformemente contnua). Ento (f (xn )) N uma sequncia de Cauchy.
Demonstrao. Como f Lipschitz, com constante de Lipschitz c R+ , tem-se > 0,

tomando =
c+1
,d(x, y) < d(f (x), f (y)) < . Ento, dado > 0, n0 N, associado a
= c+1 , tal que n, m n0 , d(xn , xm ) < d(f (xn ), f (xm )) < , logo (f (xn )) de Cauchy em

N.
Note que essa demonstrao utiliza apenas o fato da uniforme continuidade da aplicao
Lipschitz, portanto generaliza-se para funes uniformemente contnuas, no necessariamente
Lipschitz. Ademais, projees so contraes fracas, logo Lipschitz, portanto satisfazem as
condies da aplicao do Lema (2.1.3).
Teorema 2.1.8. Sejam (Mi , di ) espaos mtricos, M = iN Mi o espao mtrico produto

Q
(enumervel) com a topologia usual. Ento M completo se, e somente se, Mi completo,
i N.
(=) Fixe um ponto a M do espao mtrico produto completo e considere, para cada i N,
o subespao fechado Mi = {x M : xj = aj , i 6= j}. Ento Mi isomtrico a Mi ,
basta considerar : Mi Mi , tal que (x) = (a1 , a2 , ..., ai1 , x, ai+1 , ...). Assim, da
Proposio (2.1.25), segue que Mi so completos, i N.
(=) Considere as projees i : M Mi , i (x) = xi . Ento, do Lema (2.1.3), i transformam

sequncias de Cauchy em sequncias de Cauchy, i N. Logo, como uma sequncia
xn M converge se, e somente se i (xn ) converge em Mi , para todo i N, vem que M
espao mtrico completo, anal tais sequncias convergem em cada Mi .
Proposio 2.1.26. Dado M um espao mtrico completo, todo subespao X M aberto

homeomorfo a um espao mtrico completo, i.e. topologicamente completo.
Demonstrao. Como X aberto em M , M \X fechado, e, portanto, tem-se que : M R+ ,

(x) = inf yM \X d(x, y) contnua, e tal que (x) > 0 x X . Portanto f : X R+ ,
1
f (x) = (x) contnua. Considere G = {(x, t) M R : t(x) = 1} X R o grco
de f . Ento tem-se que G fechado no espao mtrico completo M R. Com efeito, dado
(x, y) X R+ \ G, i.e., com x 6= f (y), tome BdX dR ((x, y), yf2(x) ) X R+ \ G. Assim,
X R+ \ G aberto em X R+ . Logo, da Proposio (2.1.25), G completo (com a mtrica
induzida do produto). Ademais, como G homeomorfo ao domnio X , segue-se que X
Para generalizar esse resultado, introduz-se a noo de G em um espao mtrico e de

espaos mtricos que so G 's absolutos, como segue.
Denio 2.1.62 (G (absoluto)). Um subconjunto A M dito um

de um espao mtrico
G quando
T existe uma famlia enumervel de abertos em M , A = {Ai M : i N}, com
A = iN A. O espao mtrico M dito um G absoluto quando todo subespao isomtrico a
M de um dado espao mtrico for um G nesse espao.
Proposio 2.1.27. Seja M A um G em M , dado pela

um espao mtrico completo, e
T in-
terseo enumervel da famlia de abertos A = {Ai M : i N}. Ento A = A
Demonstrao. Considere
Q os subespaos mtricos (Ai , di ), onde di so as mtricas induzidas
em Ai porQM . Ento A = iN Ai um espao Q mtrico Q completo. Considere = {x =
Q
(xi )iN A : xi = xj , i, j N} a diagonal de A. Como A espao mtrico e, portanto,
Hausdor, tem-se Qfechado, logo, completo. Ento, como x = (xj )iN xj A, vem
que : A A, (xj ) = (xj )iNQ um homeomorsmo, anal a inversa de dada
pela restrio de alguma projeo i : A Ai diagonal . Assim, A ' , donde
Denio 2.1.63 (Extenso de aplicaes). Sejam M, N espaos mtricos, X M um su-

bespao de M e f : X N uma aplicao. Ento a aplicao f : M N dita extenso de
f se, e somente se f |X = f , i.e. f(x) = f (x), x X . Se f uma funo (uniformemente)
contnua, a extenso dita (uniformemente) contnua.
Teorema 2.1.9 (Critrio de Cauchy). Sejam (M, dM ), (N, dN ) espaos mtricos, N completo,
X M subespao de M e f : X N uma aplicao. Ento, dado a X , para que exista
limxa f (x) necessrio e suciente que, > 0, > 0, tal que x, y X, dM (x, a), dM (y, a) <
dN (f (x), f (y)) < .
Demonstrao. A condio necessria, anal, se existe limxa f (x) = l N , tem-se que

> 0, > 0, com x X, dM (x, a) < dN (f (x), l) < 2 . Se x, y X satisfazem
dM (x, a), dM (y, a) < , ento dN (f (x), f (y)) dN (f (x), l) + dN (f (y), l) < 2 + 2 = . Ademais,
suciente, pois, se satisfeita, xn X sequncia em X , com xn a, (f (xn )) de Cauchy em
N , donde, convergente, garantindo a existncia do limite.
A condio do critrio de Cauchy pode ser analogamente descrita da seguinte maneira,

> 0, B = BdM (a, r) M , tal que supx,yf (BX) d(x, y) < .
Corolrio 2.1.14. Sejam M, N espaos mtricos, N completo, X um subconjunto denso em

M e f : X N uma aplicao uniformemente contnua. Ento !f : M N extenso
uniformemente contnua de f.
Demonstrao. Da uniforme continuidade de f , > 0, > 0, x, y X, dM (x, y) <

dN (f (x), f (y)) < . Ento imediato que, a M , se x, y X, dM (x, a), dM (y, a) < 2
dN (f (x), f (y)) < , satisfazendo as hipteses do Teorema (2.1.9). Ento est bem denida
f : M N , f(x) = limtx f (t), t M . Ademais, armo que f uniformemente cont-
nua. Com efeito, dado > 0, considere fornecido da uniforme continuidade de f , tal que
x, y X, dM (x, y) < dN (f (x), f (y)) < 2 . Ento, da densidade de X em M , dados
z, w M , existem sequncias xn , yn X, xn z, yn w. Como a mtrica uma contra-
o fraca, logo uniformemente contnua, vem dM (xn , yn ) < se n n0 , para algum n0 N.
Logo, para n n0 , dN (f (xn ), f (yn )) < 2 , donde dM (z, w) < dN (lim f (xn ), lim f (yn )) =
lim dN (f (xn ), f (yn )) < , garantindo a uniforme continuidade de f. Por m, a unicidade dessa
extenso imediata da unicidade do limite usado em sua denio, uma vez que os espaos em
questo so mtricos, portanto Hausdor.
Corolrio 2.1.15. Seja : X Y um homeomorsmo uniforme (tanto a aplicao como

sua inversa so uniformemente contnuas) entre subespaos X, Y densos, respectivamente, em
M, N , espaos mtricos completos. Ento ! : M N um homeomorsmo uniforme. Em
particular, se isometria, sua extenso tambm isometria.
A vericao desse ltimo corolrio trivial, a partir do primeiro. Ademais, possvel

enfraquecer as hipteses desse Corolrio (2.1.14), anal a demonstrao utiliza apenas a pre-
servao de sequncias de Cauchy pela aplicao, que pode ser garantida exigindo que essa seja
uniformemente contnua apenas em cada parte limitada de X .
Proposio 2.1.28. Sejam M, N espaos mtricos, N completo, X M um subespao e

f :XN uma aplicao. Ento o conjunto A = {a X : limxa f (x)} um G em M .
Demonstrao. Suponha inicialmente X denso em M , e considere n N, An o conjunto

dos pontos de M tais que n satisfazendo o critrio de Cauchy para = n1 , i.e. x, y
X, dM (x, a), dM (y, a) < dN (f (x), f (y)) < n1 . Ento evidente que An = {a M : U
dM , a U, supx,yf (U X) d(x, y) < n1 }, o que garante que An dM , n N, dada a vizinhana
abertaT U de cada a An . Mas, do critrio de Cauchy, vem a D a An , n T N, donde
A = nN An G em M . Todavia, se X no denso em M , vale apenas A = X nN An .
Considerando a base usual do espao mtrico M , tem-se X = nN xX BdM (x, n1 ), donde
T S
A = nN (An BdM (x, n1 )), portanto A G em M .
T
Corolrio 2.1.16. O conjunto dos pontos de continuidade de uma aplicao entre quaisquer
espaos mtricos um G do domnio da aplicao.
Denio 2.1.64 (Completamento de um espao mtrico). Dado (M, d) um espao mtrico,

um par , )
(M uma imerso
dito completamento de (M, d) se, e somente se, : M M
isomtrica, tal que (M ) = M.
Notao 2.1.14. M , o completamento de M , quando a imerso isomtrica for evidente.

Decorre imediatamente da Proposio (2.1.25) que o completamento de um espao mtrico
um espao mtrico completo. Intuitivamente, completar um espao mtrico seria adicionar
todos os limites de sequncias de Cauchy possveis no espao, para tanto basta considerar os
pontos aderentes ao espao, onde o espao denso. Por exemplo, R um completamento de
Q, e, em algum sentido, o nico possvel. Segue o principal resultado a respeito da existncia
e unicidade de completamentos para quaisquer espaos mtricos, precedido de dois lemas.
Lema 2.1.4. Todo espao mtrico (M, dM ) pode ser imerso isometricamente no espao vetorial
normado das funes limitadas de M com valores reais,B(M, R) = {f : M R, supxM |f (x)
a| < , a R}, com aR uma constante arbitaria, a B(M, R) funo constante igual a
a.
Demonstrao. Segue a construo da isometria. Considere incialmente o caso em que M

limitado. Ento, denindo dx (y) = dM (x, y) para cada x M , vem que (x) = dx assume
valores em B(M, R), pois M limitado, e imerso isomtrica, anal, dados x, y, z M ,
|dx (y) dz (y)| dM (x, z), logo ||dx dz || = supyM |dx (y) dz (y)| dM (x, z), mas, fazendo
y = z , tem-se |dx (y) dy (y)| = dM (x, y), logo dB ((x), (z)) = dM (x, z), com dB a mtrica
de B(M, R) induzida pela norma, donde imerso isomtrica. Todavia, se M ilimitado,
xado a M , : M B(M, R) dado por (x) = dx da assume valores em B(M, R) e
isometria, anal ||(x)|| d(a, x), e dB ((x), (y)) = ||dx da (dy da )|| = dM (x, y), donde
imerso isomtrica.
Lema 2.1.5. Dado qualquer espao mtrico (M, dM ), B(M, R) = {f : M R, supxM |f (x)
a| < , a R}, onde a funo constante a B(M, R) arbitrria, completo.
Demonstrao. Seja (fn ) sequncia de Cauchy em B(M, R). Como a sequncia limitada,
para qualquer constante arbitrria a : M R, a(x) = a, c > 0, |f (x) a(x)| dsup (fn , a)
c, x M, n N, onde dsup a mtrica do sup. Assim, xado x M , (fn (x)) de Cauchy em
R, portanto, convergente, para cada x M . Logo f : M R, dada por f (x) = limnN fn (x)
limite de fn . Sendo (fn (x)) de Cauchy, > 0, n0 N, tal que n, m n0 |fn (x) fm (x)| <
, para qualquer x X . Tomando o limite com m , vem n n0 |fn (x) f (x)| < ,
donde fn converge para f na mtrica da convergncia uniforme (do sup). Por m, armo
f B(M, R). Com efeito, tem-se |fn (x) a(x)| c para todo x X , donde, fazendo o limite
n , vem |f (x) a(x)| c, x X , concluindo a demonstrao.
Teorema 2.1.10 (Existncia e unicidade de completamento). Dado qualquer espao mtrico

(M, d), existe um completamento (M , ) desse espao, tal que, se (M
, ) tambm completa-
mento de
M , existe uma nica isometria : M M , com = .
Demonstrao. Considere a imerso isomtrica : M B(M, R), cuja existncia garantida

=.
pelo Lema (2.1.4). Ento, do Lema (2.1.5), B(M, R) completo, portanto M (M ) um
completamento de M . Ademais, considere : (M ) (M ), denida por ((x)) = (x),
anal injetiva. Ento, do Corolrio (2.1.15), admite uma nica extenso isomtrica,
:M M , satisfazendo = .
Desse modo, todo espao mtrico pode ser completado, e no h diferena notvel entre
os completamentos, uma vez que so isomtricos, logo, em particular, homeomorfos. Todavia,
importante notar que, como a completude no propriedade topolgica, pode existir, por
exemplo, um par de espaos homeomorfos, cujos completamentos no so homeomorfos entre
si, entre outros casos. tambm possvel um argumento algbrico para garantir a existncia do
completamento de qualquer espao mtrico M , criando uma relao de equivalncia em M N
N
(relativa s sequncias de Cauchy) e considerando como completamento o espao quociente M .
N
Ento M pode ser imerso em M , anal toda sequncia constante de Cauchy, e basta tomar
para cada ponto de x M , a sequncia de Cauchy xn = x, n N. Todavia, a demonstrao
acima consistente, dado que existem outras maneiras de garantir a completude de R alm da
supracitada, dependendo da sua construo como corpo.
O teorema da categoria Baire um fato topolgico extremamente importante, com diversas
aplicaes em vrias reas, especialmente em anlise funcional e teoria dos jogos. Os teoremas
da aplicao aberta, do grco fechado, a no-enumerabilidade dos conjuntos de Cantor e
a impossibilidade de existncia de estratgias vencedoras para determinados jogos topolgicos
podem ser interpretados como consequncias desse teorema, entre outras. Posteriormente sero
discutidos alguns aspectos sobre os espaos de Baire, i.e., que satisfazem a tese do teorema da
categoria de Baire, mas no necessariamente sua hiptese de completude. Precede o teorema
da categoria de Baire um lema que equivale propriedade dos intervalos encaixados em R, a
ser usado na demonstrao desse.
Lema 2.1.6 (Fechados encaixados). Seja (M, d) espao mtrico. Ento M completo se,
e somente se, para toda sequncia de fechados no-vazios
T {Fn : n N}, com Fi Fi+1 e
limnN supx,yFn d(x, y) = 0, tem-se que x M, {x} = nN Fn .
(=) Dada uma sequncia Fn de fechados no-vazios encaixados de um espao mtrico completo
M , satisfazendo as condies do enunciado, pode-se tomar n N, xn Fn . Portanto,
tem-se uma sequncia xn M , tal que n N, n1 , n2 > n xn1 , xn2 Fn . Mas
> 0, n0 N, supx,yFn0 d(x, y) < , donde n, m > n0 d(xn , xm ) < , portanto xn
de Cauchy, logo convergente, xn Tx M . Ademais, dado p T N, xn Fp , n
p, donde x Fp , p N, i.e. x nN Fn .T Por m, se x, y nN Fn , d(x, y) <
supz,wFn d(z, w), n N, portanto x = y , logo nN Fn = {x}.
(=) Dada uma sequncia de Cauchy xn M , considere n N, Xn = {xi : 1 i n}.

Assim, tem-se uma sequncia Xn de fechados, Xi Xi+1 , limnN supx,yXn d(x, y) = 0,
portanto x nN Xn , logo xnk x M , mas, como xn Cauchy, da Proposio
T
(2.1.24), xn x M .
Teorema 2.1.11 (Categoria de Baire). Seja (M, d) um espao mtrico completo, A = {An :
n
T N} uma famlia de abertos em M , densos em M , i.e. An = M, n N. Ento tem-se
nN An = M , ou seja, a interseo (enumervel) dessa famlia densa no espao.
Demonstrao. Seja B1 uma bola aberta de raio r1 = 1 em M . Ento, como A1 = M , tem-

se que A1 B1 aberto no-vazio, donde existe B2 bola aberta em M , com raio r2 = 12 e
B2 A1 B1 . Portanto, como A2 = M , tem-se que A2 B2 , novamente, aberto no-vazio,
donde existe B3 , com raio r3 = 13 e B3 A2 B2 . Indutivamente, obtm-se uma sequncia de
bolas abertas do espao, com raio rn = n1 , tal que Bn Bn+1 e Bn+1 An Bn . Assim, do
Lema (2.1.6), a nN Bn , donde a nN An , dado que An Bn Bn+1 T e, em particular,
T T
a B1 . Assim, da arbitrariedade na escolha do aberto bsico B1 , tem-se que nN An denso
em M .
Corolrio 2.1.17. Seja(M, d) um espao mtrico, F = {FS

n : n N} uma famlia de fechados
o o
em M, de interior vazio, Fn = . Ento tem-se que ( nN Fn ) = , ou seja, a unio
(enumervel) dessa famlia tem interior vazio no espao.
Corolrio 2.1.18. Seja(M, d) um espao mtrico, F = {Fn : n N} uma famlia de fechados

o
S
em M, tal que nN Fn = M . Ento n0 N, Fn0 6= .
O primeiro corolrio equivalente ao teorema da categoria de Baire, e sua demonstrao

imediata do teorema, uma vez que basta tomar os conjuntos complementares de cada elemento
da famlia A para obter um elemento da famlia F , e aplicar as leis de deMorgan tese.
tambm imediata a vericao do segundo corolrio, por reduo ao absurdo. Note que
o teorema da categoria de Baire um fato topolgico, i.e. pode-se substituir a hiptese de
completude do espao pela completude topolgica do espao. Com efeito, basta que o espao
mtrico seja homeomorfo a um espao mtrico completo (ou seja, admita mtrica equivalente
segundo a qual completo, gerando a mesma topologia) para ser vlida a tese, o que justica
as seguintes denies.
Denio 2.1.65 (Espao de Baire). Um espao topolgico (X, ) dito espao de Baire se,
e somente se, para toda famlia
T A = {An : An , An = X, n N} de abertos densos, tem-se
nN An = X .
Denio 2.1.66 (Espao hereditariamente Baire). Um espao topolgico (X, ) dito he-
reditariamente de Baire se, e somente se, todo subespao fechado de X, com a topologia de
subespao de Baire.
Denio 2.1.67 (Espao barely Baire). Um espao topolgico (X, ) dito barely Baire se, e
somente se, existe um espao de Baire (Y, ), tal que X Y no de Baire, considerando-se
a topologia de Tychono.
Evidentemente todo espao mtrico completo de Baire (mas a recproca falsa), e se

determinado espao topolgico homeomorfo a um espao de Baire, o primeiro tambm
de Baire, dado que a categoria de Baire uma propriedade topolgica. Todavia no trivial
vericar que a imagem por aplicao contnua de um espao de Baire e G 's densos de Baire so
de Baire. Entre outros, esses resultados j so citados por [8], assim como os teoremas seguintes,
cuja demonstrao no ser reproduzida. O principal enfoque de [8] exatamente sob quais
circunstncias um espao produto de Baire, e como se comportam espaos barely"Baire.
Recentemente foram dadas novas contribuies para tais questionamentos, por [6] e [19], e os
mesmos autores fornecem contra-exemplos de espaos produto que no so de Baire, cujos
fatores so mtricos e de Baire.
Teorema 2.1.12 ([8]). O produto qualquer de espaos completos um espao de Baire
Teorema 2.1.13 ([8]). O produto cartesiano de um espao de Baire por um espao completo
um espao de Baire.
Teorema 2.1.14 ([19]). O produto cartesiano de um espao mtrico hereditariamente de Baire

por um espao de Baire um espao de Baire.
2.1.5 Espaos Compactos
A noo de compacidade de espaos topolgicos fundamental para a construo de grande

parte dos resultados menos elementares estudados, e pode se manifestar de diversas maneiras. A
rigor, em espaos topolgicos gerais, deve-se considerar a compacidade, compacidade sequencial,
compacidade enumervel, paracompacidade entre outros conceitos, que equivalem apenas para
certas categorias de espaos e topologias. Outra noo fundamental a de compacticao,
tanto pelo processo de Alexandrov, como de Stone-Cech e outros, que permite alterar a topologia
do espao de modo a torn-lo compacto.
Seguem as principais denies de cobertura e compacidade, e alguns resultados acerca de
espaos compactos.
Denio 2.1.68 S . Se (X, ) espao topolgico, uma subcoleo C

(Cobertura aberta)
uma cobertura aberta de X se X C . Ademais, uma cobertura C 0 C dita subcobertura.
Denio 2.1.69 (Compacto). O espao topolgico (X, ) dito compacto se toda cobertura
aberta admite uma subcobertura nita.
Denio 2.1.70 (Enumeravelmente compacto). O espao topolgico (X, ) dito enumera-

velmente compacto se toda sequncia em X possui um ponto de acumulao.
Denio 2.1.71 (Sequencialmente compacto). O espao topolgico (X, ) dito sequencial-

mente compacto se toda sequncia em X possui uma subsequncia convergente.
Denio 2.1.72 (Lindelf). O espao topolgico (X, ) dito Lindelf se toda cobertura aberta
admite uma subcobertura enumervel.
Proposio 2.1.29. O intervalo [0, 1] compacto, na topologia usual da reta R, mas [0, +)
e (0, 1) no so compactos
Teorema 2.1.15. O produto enumervel de espaos sequencialmente compactos sequencial-

mente compacto.
Para citar os principais resultados sobre compacidade, em particular que a compacidade

propriedade topolgica, preciso observar o seguinte Lema, cuja demonstrao imediata, que
trata de compacidade para subconjuntos. Analogamente s outras denies, o subconjuntos
ser compacto se, e somente se, for compacto como subespao na topologia induzida.
Lema 2.1.7. A (X, ) compacto C , A C 0, A

S
C admite subcobertura nita
C 0.
S
Teorema 2.1.16. Sejam X, Y espaos topolgicos, f :X Y funo contnua. Ento se X

compacto, Y compacto.
Seja C famlia de abertos de Y , com f (X) C . Ento {f 1 (U ) : U C}

S
Demonstrao.
cobertura de X , logo S 0C C nito, tal que {f (U ) : U C } cobre X , portanto f (X)
0 1 0
1
(U )) C . Logo toda cobertura de Y admite subcobertura nita, portanto Y
S
U C 0 f (f
compacto.
Teorema 2.1.17. O espao topolgico

TX 0 compacto se,
T e somente se, dada uma famlia de
fechados F, se F 0 F nita tem-se F 6= , ento F = 6 .
Teorema 2.1.18. Se X compacto, todo subconjunto F X fechado de X tambm compacto.

Demonstrao. Seja C cobertura de F . Ento C {X \ F } cobertura de X , logo, pela
compacidade de X , existe subcobertura nita C 0 {X \ F } de X . Assim, C 0 subcobertura
nita de F , portanto F compacto.
Teorema 2.1.19. Se X Hausdor e F X compacto, ento F fechado.
Demonstrao. Basta mostrar que F F , assim, dado x F , tome Wx sistema fundamental

de vizinhanas
T 0de x. Ento V Wx , V F 6= . Tome F = {V F : VT Wx }. Assim,
F 0
F, F 6= , logo, como
S F compacto, pelo Teorema (2.1.17), F 6= . Mas
F vWx V = {x}. Como F F , tem-se x F , portanto F = F , assim F fechado.
T T
Outros resultados anlogos aos expostos considerando-se outras noes de compacidade

foram abordados, contudo no so essenciais para o desenvolvimento subseqente dos tpicos
de Topologia Algbrica, portanto sero omitidos. Segue o principal resultado de equivalncias
no caso de espaos topolgicos metrizveis.
Teorema 2.1.20. So equivalentes para um espao mtrico:
(i) M compacto,
(ii) M enumeravelmente compacto,
(iii) M sequencialmente compacto.
2.2 Topologia Algbrica
Os tpicos de Topologia Algbrica estudados no projeto so de carter introdutrio, destacando

a abordagem homotpica dos temas. Esse contedo no parte integrante de nenhuma ementa
obrigatria na graduao, todavia a compreenso dessa teoria garante um melhor entendimento
de outros conceitos que dependem de noes como espao simplesmente conexo, contrtil e
outros.
2.2 Topologia Algbrica 43
O principal objetivo do projeto reside na compreenso desses conceitos, que sero expostos
nesta seo. O contedo foi trabalhado juntamente ao orientador atravs de seminrios sema-
nais e discusses acerca da teoria e de exerccios das principais bibliograas do tema, a saber
[15], [7] e [21]. Ademais, o bolsista organizou, juntamente a outros alunos de graduao, um
programa de seminrios sobre os temas estudados nos projetos de Iniciao Cientca, expondo
quinzenalmente por cerca de uma hora o trabalho desenvolvido. Por m, o objeto dos dois
resumos submetidos aos simpsios2 de Iniciao Cientca nos quais o bolsista est inscrito
essencialmente uma aplicao de tcnicas elementares de Topologia Algbrica, como sequncia
exata longa em homotopia de braes localmente triviais, para a identicao do grupo de
homotopia de grupos de Lie clssicos, como SO(n). Em grande parte, o texto utilizado nos
resumos [2] e [3] submetidos para publicao nos anais dos referidos simpsios, foi extrado do
presente relatrio, com as devidas adaptaes.
A notao habitual para um grupo ser (G, ), com unidade e G, S n denotar a es-
fera unitria n-dimensional (imersa em Rn+1 ), como anteriormente citado na Notao (2.1.11).
Ademais, C k , 0 k denota a classe de funes diferenciveis continuamente at ordem k
(em particular, C 0 (X, Y ) ser o conjunto das aplicaes contnuas de X em Y ) e Homeo(X) o
conjunto dos homeomorsmos de um espao topolgico (X, ), que possui estrutura de grupo
com respeito operao de composio, podendo ser munido da topologia compacto-aberta.
Considera-se tambm H o conjunto dos quatrnios reais como um R-espao vetorial quadridi-
mensional, com base ortonormal {1,~i, ~j, ~k}. Por m, Mn (R) denota o conjunto das matrizes
quadradas n n com coecientes reais.
2.2.1 Grupo Fundamental e Grupos de Homotopia
Um grupo de homotopia de um espao topolgico X um invariante algbrico que caracteriza a

homogeneidade do espao, no que se refere possibilidade de deformar continuamente aplicaes
contnuas de S n em X . uma estrutura algbrica associada a um espao topolgico que
permite extrair informaes sobre a topologia do espao atravs de ferramentrio algbrico. O
caso particular do grupo fundamental, que o primeiro grupo de homotopia, permite diversas
aplicaes, sobretudo em temas como os teoremas de ponto xo, de Poincar (campos contnuos)
e de Borsuk-Ulam, o nmero de rotao para uma curva de Jordan e integrais de linha e outros.
Como ser visto, uma condio suciente para que dois espaos tenham grupos de homoto-
pia isomorfos serem homeomorfos, e alm disso, o grupo de homotopia satisfaz propriedades
algebricamente interessantes no que se refere combinao de espaos topolgicos (soma, pro-
duto, quociente e outros). Essa teoria clssica encontra uma nova abordagem generalizada para
espaos no semi-localmente simplesmente conexos em [4].
Para as principais denies no modelo standard da teoria, trabalhada nesse texto, considere
.
I n = {(t1 , . . . , tn , 0, 0, . . . ) R : 0 ti 1, i N, i n} o cubo n-dimensional unitrio, de
2 III
Simpsio de Iniciao Cientca e Ps-Graduao do Instituto de Matemtica e Estatstica da Universi-
dade de So Paulo (IME USP) e 15o. SIICUSP (Simpsio Internacional de Iniciao Cientca da Universidade
de So Paulo)
fronteira I n = {t I n : 1 i n, ti {0, 1}}, em particular, I 1 = [0, 1] R. Dene-se

. .
I 0 = {0}, I 0 = . Assim, tem-se I n1 = {t I n : tn = 0} I n , dita face inicial de I n .
.
Chamando a unio das outras faces de J n1 = {t I n : tn = 1 ou 1 i n 1, ti {0, 1}},
.
dene-se, para o espao topolgico X 3 x0 , nx0 (X) = { C 0 (I n , X) : (I n ) {x0 }}. Para
n = 0, convenciona-se identicar : I 0 X com (0), logo 0x0 (X) = X .
Se X espao topolgico, A X subespao, (X, A) dito par de espaos topolgicos.
.
Nesse caso, dene-se nx0 (X, A) = { C 0 (I n , X) : (I n1 ) A, (J n1 ) {x0 }}. Note que
nx0 (X) = nx0 (X, {x0 }), n N.
Denio 2.2.1 (Homotopia de Aplicaes). Se X, Y
so espaos topolgicos, duas aplicaes
0 1
f, g C (X, Y ) so ditas homotpicas se existe uma aplicao contnua H : X I Y ,
tal que H(x, 0) = f (x), H(x, 1) = g(x), x X . Ento denota-se H : f ' g a existncia da
.
homotopia H e, ademais, denota-se Ht (x) = H(x, t). A relao f ' g simtrica, reexiva e
0
transitiva nos elementos de C (X, Y ), caracterizando uma relao de equivalncia.
Denio 2.2.2 (Homotopia de Caminhos). Dado n N e X 3 x0 espao topolgico, com

x0 um ponto xado, tem-se , nx0 (X) homotpicas em nx0 (X) se existir uma homotopia
H : ' , com Hs nx0 (X), s I 1 . Ademais, a existncia de homotopia entre , em
nx0 (X), denotada = , tambm uma relao de equivalncia. Analogamente, dado um
n
par de espaos topolgicos (X, A), x0 A, n N, tem-se , x0 (X, A) homotpicas em
nx0 (X, A) se existe uma homotopia H : ' , com Hs nx0 (X, A), s I 1 e, novamente,
tem-se uma relao de equivalncia.
Denio 2.2.3 (Grupo de Homotopia, Grupo Fundamental e Grupo de Homotopia relativo a

Subespao). Denotando [] a classe de equivalncia de segundo a relao supracitada, tem-se
.
o quociente n (X, x0 ) = {[] : nx0 (X)}, dito o grupo de homotopia de ordem n de X ,
com base no ponto x0 . No caso n = 1, tal grupo dito grupo fundamental de X , com base
em x0 . Ser demonstrado no Teorema (2.2.1) que tal estrutura de fato um grupo algbrico.
Analogamente, considerando [] segundo a relao de equivalncia
a classe de equivalncia de
. n
para o par de espaos topolgicos, o quociente n (X, A, x0 ) = {[] : x0 (X, A)}, dito
o grupo de homotopia de ordem n de X , relativo ao subespao A, com base no ponto x0 .
Novamente, seguir do no Teorema (2.2.1) que tal estrutura de fato um grupo algbrico.
Note que 0 (X, x0 ) independe de x0 , podendo ser identicado com as componentes cone-
xas por caminhos de X . Das observaes anteriores, segue tambm que n (X, {x0 }, x0 ) =
n (X, x0 ), n N. A m de criar uma estrutura algbrica em n (X, x0 ), dene-se o produto de
classes de homotopia (concatenao, ou justaposio de funes), que foi anteriormente citado
para o caso unidimensional na Denio (2.1.53).
Denio 2.2.4 (Concatenao). Dados , nx0 (X), para n N (ou em nx0 (X, A), para
n
n N \ {1}), dene-se a concatenao de com por : I X , dada por:
t1 [0, 21 ]

. (2t1 , t2 , . . . , tn ),
( )(t) =
(2t1 1, t2 , . . . , tn ), t1 [ 21 , 1]
para cada t = (ti )1in I n .

Essa uma operao binria de nx0 (X) (ou nx0 (X, A)), passando ao quociente e induzindo
[] [] = [ ] entre as classes de homotopia de n (X, x0 ) (ou n (X, A, x0 )).
Teorema 2.2.1. Para n N, o conjunto n (X, x0 ) com a operao de concatenao, na
Denio (2.2.4) um grupo, assim como n (X, A, x0 ), para n N \ {1}. O elemento neutro
n 1
a classe do caminho constante ex0 (t) = x0 , t I , e o inverso de [] dado por [ ], onde
1 (t) = (1 t1 , t2 , . . . , tn ), t I n .
Optou-se por omitir a demonstrao desse Teorema (2.2.1), dada a excessiva tecnicalidade
e pouca contribuio para a compreenso geral da teoria, todavia a demonstrao depende
essencialmente do fato que , , nx0 (X), ([][])[] = []([][]), [][e(1,t2 ,...,tn ) ] = []
e [e(0,t2 ,...,tn ) ] [] = []. Uma demonstrao completa deste resultado pode ser encontrada em
[21] ou [15].
2.2.2 Aplicaes do Grupo Fundamental
Destacam-se diversos resultados como aplicaes diretas do conceito de grupo de homotopia e

grupo fundamental, por exemplo o Teorema de Borsuk-Ulam, que arma que toda aplicao
contnua f : S 2 R2 admite um ponto de coincidncia antipodal, i.e. x S 2 , f (x) =
f (x). Seguem alguns conceitos desenvolvidos com a noo de grupo de homotopia, com
carter ilustrativo e preliminar s construes com braes e sequncias exatas.
Denio 2.2.5 (Espao simplesmente conexo). Se o espao topolgico X 3 x0 tal que
seu grupo fundamental isomorfo ao grupo trivial, i.e. 1 (X, x0 ) ' {0}, ento X dito
simplesmente conexo. Equivalentemente, X simplesmente conexo se conexo por caminhos
1 1 1
e, para todo x0 (X), existe uma homotopia (dita homotopia livre) H : I I X entre
1
e um caminho constante, de modo que H(0, t) = H(1, t), t I .
Teorema 2.2.2. O espao Rn , n N simplesmente conexo.
Demonstrao. Como Rn conexo por caminhos, basta mostrar que todo caminho fechado
livremente homotpico a um caminho constante. Dado 1x0 (R), considere H(x, t) =
(1 t)(x). Ento H uma homotopia livre entre e o caminho constante na origem. Da
arbitrariedade na escolha de , segue 1 (Rn , x0 ) ' {0}.
Para caracterizar n (X, x0 ) como invariante algbrico da topologia de X , natural con-

siderar a relao induzida por uma funo contnua entre dois espaos nos seus grupos de
homotopia, conforme segue.
Denio 2.2.6 (Homomorsmo induzido). Sejam X, Y espaos topolgicos, x0 X, y0 Y
xos. f : X Y uma aplicao contnua, tal que f (x0 ) = y0 , para n N {0}, o
Se
homomorsmo f : n (X, x0 ) 3 [] 7 [f ] n (Y, y0 ) dito induzido por f .
Com efeito, f est bem denido, pois = garante f = f , e homomorsmo, pois

tem-se f ( ) = (f ) (f ), donde f ( ) = f () f (). Como corolrio imediato
dessa denio (2.2.6), tem-se que se X e Y so espaos topolgicos homeomorfos, apresentam
grupos de homotopia isomorfos. Considerando h : X Y um homeomorsmo, tem-se o
homomorsmo induzido h : n (X, x0 ) n (Y, h(x0 )). Armo que h um isomorsmo, cujo
inverso o homomorsmo (h )1 : n (Y, h(x0 )) n (X, x0 ). Com efeito, basta considerar o
homomorsmo (h1 ) induzido por h1 , que tambm contnuo, pois h homeomorsmo e,
tem-se (h )1 = (h1 ) . Grupos de homotopia com pontos base na mesma componente conexa
do espao so isomorfos. Isso deve-se ao fato de que se o espao X conexo por caminhos,
ento x0 , y0 X, C 0 (I 1 , X), (0) = x0 , (1) = y0 , logo x0 , y0 X , tem-se n (X, x0 ) '
n (X, y0 ). Basta considerar o isomorsmo n (X, y0 ) 3 [] 7 []1 [] [] n (X, x0 ).
Num grupo topolgico3 , pode-se considerar uma outra operao diversa da concatenao,
usando o produto do grupo. Assim, dene-se o produto pontual entre , (G, ) como sendo
.
(t) = (t) (t), t I 1 , passando ao quociente do mesmo modo que a concatenao.
Lema 2.2.1. Se (G, ) grupo topolgico, com elemento neutro i G, ento dados [], []
1 (G, i), tem-se [ ] = [ ].
Demonstrao. Considerando [ei ] 1 (G, i), ei (t) = i, t I 1 , fcil notar que, dados ,
1i (G), tem-se ei ei = , e, alm disso, ei ei = . Assim, segue que
= ei ei
=
= ei ei = , logo = , portanto [ ] = [ ].
Proposio 2.2.1. Se (G, ) grupo topolgico, com elemento neutro i G, ento o grupo
fundamental 1 (G, i) abeliano.
A demonstrao imediata da principal igualdade na demonstrao do lema (2.2.1), cujos

extremos garantem, nas condies supracitadas, = . Ademais, considerando-se a
topologia compacto-aberta em 1x0 (X) e a topologia quociente nos grupos de homotopia, como
tem-se das denies (2.2.2) a identicao n (X, x0 ) ' n1 (1x0 (X), x0 ), segue imediatamente
da proposio (2.2.1) o prximo resultado.
Corolrio 2.2.1. Dado X 3 x0 , tem-se que n (X, x0 ) grupo abeliano, n 2.
2.2.3 Ao de Grupos Topolgicos em Espaos Topolgicos
A teoria abstrata de grupos fundamental para o estudo dos grupos de homotopia, todavia
optou-se por salientar os aspectos topolgicos da teoria de grupos, descritos abaixo. A presena
de uma estrutura mais forte, contendo uma topologia, permite exigir continuidade das operaes
algbricas de grupo, caracterizando um grupo topolgico. Mais a frente pode-se exigir tambm
uma estrutura de variedade para o grupo, tornando as operaes de classe C , conceito central
para o desenvolvimento de grupos de Lie.
3 Grupo
algbrico (G, ), tal que (G, G ) espao topolgico, de forma que a operao : G G G natural
do grupo e a inverso : G G, (x) = x1 sejam contnuas.
Denio 2.2.7 (Ao de Grupo). Um grupo topolgico (G, ), e G,

com elemento neutro
age ( esquerda) no espao topolgico X se existe uma aplicao G X 3 (g, x)
7 gx X
contnua, tal que, g G a aplicao g : X X , denida por g (x) = g x, contnua,
satisfazendo:
(i) (g h) x = g (h x), g, h G, x X ,
(ii) e x = x, x X .
Nota-se facilmente que a aplicao g um homeomorsmo, cujo inverso a aplicao g1 .

Assim, G age em X , equivalentemente, se existe um homomorsmo de grupo : G 3 g 7
g Homeo(X), onde g (x) = g x, x X . Pode-se denir analogamente a ao direita do
grupo, e a aplicao : G Homeo(X) ser um anti-homomorsmo de grupo.
Ademais, uma ao de G em X diz-se transitiva se x, y X, g G tal que g x = y . Um
dos principais conceitos na ao de grupos o subgrupo de isotropia de um ponto, que preserva
o ponto pela ao.
Denio 2.2.8 (Subgrupo de Isotropia). Se G age em X , dene-se Iso(x0 ) =. {g G : g x0 =

x0 } G o subgrupo de isotropia do ponto x0 X , tambm dito estabilizador de x0 .
imediato que Iso(x0 ) G subgrupo de G, pois e Iso(x0 ), e, pela Denio (2.2.7),

dados g, h Iso(x0 ), tem-se (g h) x0 = g (h x0 ) = g x0 = x0 , portanto g h Iso(x0 ). Por
m, se g Iso(x0 ), g 1 x0 = g 1 (g x0 ) = (g 1 g) x0 = e x0 = x0 , donde g 1 Iso(x0 ).
Teorema 2.2.3. Se G age transitivamente em X, ento os grupos de isotropia de pontos

quaisquer de X so conjugados.
Demonstrao. Dados x, y X, g G, tal que g x = y . Ento, se h Iso(x), tem-se

g hg y = g hg 1 (g x) = g hg 1 g x = g hx = g x = y , donde g hg 1 Iso(y),
1
i.e. Iso(x) g Iso(y)g 1 . Reciprocamente, se h Iso(y), tem-se g 1 h g x = g 1 h y =

g 1 y = g 1 g x = x, donde g 1 h g Iso(x), i.e. Iso(x) g Iso(y)g 1 . Portanto, segue
que Iso(x) e Iso(y) so conjugados.
Denio 2.2.9 (Quociente por subgrupo). Dado H um subgrupo de G, dene-se o quociente

.
G/H como o conjunto das coclasses esquerda de H em G, G/H = {gH : g G}, onde
.
gH = {g h : h H}.
Existe uma ao natural de G em G/H , basta fazer G G/H 3 (g1 , g2 H) 7 (g1 g2 )H

G/H , e essa ao evidentemente transitiva. Toda ao transitiva de G pode ser identicada
com a ao de G num quociente G/H , mais precisamente:
Teorema 2.2.4. Se uma ao de G em X transitiva, xado x0 X , tem-se um homeomor-

: G/ Iso(x0 ) X , (g1 g2 ) Iso(x0 ) = g1 g2 Iso(x0 ) , g1 , g2 G.

smo tal que
Demonstrao. Dado x0 X , a aplicao : G X, (g) = g x0 sobrejetiva, anal

(g1 ) = (g2 ) g21 g1 x0 = x0 g21 g1 Iso(x0 ) g1 g2 Iso(x0 ). Portanto induz uma
bijeo entre G/ Iso(x0 ) e X , tal que (g Iso(x0 )) = g x0 , de modo que comuta o seguinte
diagrama.
G
/X
9
ttt
tt
t

tt
tt
G/ Iso(x0 )
Ademais, considerando-se G grupo topolgico e G/ Iso(x0 ) com a topologia quociente (in-
duzida por continuidade de ), tal bijeo contnua, caracterizando um homeomorsmo.
Denio 2.2.10 (Ao efetiva

T e Ao livre). Seja G um grupo que age em X , com e G
elemento neutro. Ento se xX Iso(x) = {e}, a ao dita efetiva, e se x X, Iso(x) = {e},
a ao dita livre.
Evidentemente toda ao livre efetiva, mas no vale a recproca. No caso de uma ao

transitiva livre, a bijeo supracitada entre as coclasses de G e X imediata, pois Iso(x0 ) =
{e} G/ Iso(x0 ) ' G X , todavia depende da escolha de xo X .
2.2.4 Fibraes Localmente Triviais e Sequncial Longa Exata em
Homotopia de Fibrao
O conceito de brao de profunda importncia em diversas situaes geomticas e construes

de Topologia Algbrica, sendo usado tambm em Geometria Diferencial e Topologia Diferencial,
e um dos principais resultados a respeito de braes localmente triviais a existncia de uma
sequncia longa exata entre os grupos de homotopia dos espaos envolvidos na brao.
Denio 2.2.11 (Fibrao). F, E, B , uma aplicao contnua p :
Dados espaos topolgicos
E B dita brao (localmente trivial), com bra tpica F , se b B, U B , vizinhana
1
de b e um homeomorsmo U : U F p (U ), tal que p(U (x, f )) = x, x U . Assim, em
1
particular, via U tem-se um homeomorsmo {x} F ' p (x) que depende continuamente de
x. Desse modo, comuta o seguinte diagrama (onde U a projeo U F 3 (x, f ) 7 x U ).
U
U F / p1 (U )
p sss
U sss
s
ysss
U
Nas condies acima, E dito espao total, B base, U vizinhanas distinguidas e U trivi-
.
alizaes locais relativas a essas vizinhanas. Para cada b B , dene-se Eb = p1 (b) E a
bra sobre b, e imediato que Eb ' F, b B .
Exemplo 2.2.1. Uma projeo p : B F B evidentemente uma brao, com espao total
E = B F, dita brao trivial. Assim, o toro S1 S1 1
um brado com base e bra tpica S .
1
Uma brao no trivial a Faixa de Mbius, com base S e bra tpica um intervalo [a, b].
3 2
Por m, um exemplo interessante a brao de Hopf, com espao total S , base S e bra
1
tpica S .
Um resultado que relaciona aes transitivas e braes, envolvendo a relao entre um

grupo topolgico e seus subgrupos fechados o prximo teorema, o qual ser apresentado sem
demonstrao.
Teorema 2.2.5. Sendo G um grupo topolgico e H subgrupo fechado de G, a projeo cannica

: G 3 g 7 gH G/H uma brao, com bra tpica H.
Em grande parte das tcnicas de Topologia Algbrica de fundamental importncia a exis-
tncia de uma sequncia longa exata, no sentido algbrico, entre os grupos de homotopia dos
espaos envolvidos numa brao. O prximo resultado garante a existncia dessa sequncia,
todavia optou-se por no explicitar as aplicaes que a constituem, dada a excessiva tecnicali-
dade.
Teorema 2.2.6 (Sequncia Longa Exata em Homotopia de Fibrao). Seja p : E B uma

brao localmente trivial, com bra tpica F . Escolhendo b0 B , f0 F e um homeomorsmo
% : Eb0 F , considere e0 Eb0 , tal que %(e0 ) = f0 . Ento tem-se a sequncia exata

p
n (F, f0 ) n (E, e0 ) n (B, b0 )
p p
n1 (F, f0 ) n1 (E, e0 ) 1 (B, b0 )

p
0 (F, f0 ) 0 (E, e0 ) 0 (B, b0 ),
onde induzida pela incluso da bra no espao total, p pela brao e responsvel por
ligar grupos de homotopia de diferentes ordens.
Numa sequncia exata, a composio de duas aplicaes consecutivas nula, i.e., o ncleo4
de cada aplicao contm a imagem da aplicao imediatamente anterior da sequncia.
Os prximos resultados so essenciais para a caracterizao do grupo de homotopia de alguns
grupos de Lie clssicos, portanto deve-se considerar as seguintes denies.
Denio 2.2.12 (Recobrimento). Uma brao localmente trivial p:EB dita recobri-
mento se F um espao discreto.
Denio 2.2.13 (Grupo propriamente descontnuo). Um grupo G de homeomorsmos de X

dito propriamente descontnuo se x X, V 3 x, uma vizinhana, tal que g G diferente
da identidade, tem-se gV V = . Note que a ao de grupos propriamente descontnuos
sempre livre.
4O ncleo de uma aplicao : D Im() ker() =. {x D : (x) = 0 Im()} D

Se G um grupo de homeomorsmos de X , dene-se X/G o quociente de X pela relao

de equivalncia cujas classes so as rbitas5 , O(x), x X . Usando tais conceitos, segue um
resultado que relaciona o grupo propriamente descontnuo e o espao onde age.
Teorema 2.2.7 (Ao propriamente descontnua). Se um grupo (G, ) propriamente descont-

nuo de homeomorsmos age no espao simplesmente conexo X, ento existe um isomorsmo
1 (X/G) ' G.
No caso de recobrimentos, do Teorema (2.2.6) tem-se que p : 1 (E, e0 ) 1 (B, b0 )

injetiva, anal 1 (F, f0 ) = {0}, o que implica ker(p ) = {0}. Desse modo, identicando
1 (E, e0 ) com Im(p ) e 0 (F, f0 ) com F , tem-se, se E conexo por caminhos, uma bijeo
: 1 (B, b0 )/1 (E, e0 ) F .
Considerando os homeomorsmos entre F e Eb , b B , F admite estrutura de grupo, e
existe uma ao livre contnua ( direita) E F 3 (e, f ) 7 ef E , tal que suas rbitas so as
bras de p. Assim, dos resultados acima enunciados, segue o isomorsmo 1 (B, b0 ) ' 0 (F, f0 ).
Mais precisamente, considerando f0 F a sua unidade, se o homeomorsmo % : Eb0 F a
inversa da bijeo F 3 f 7 e0 f Eb0 , tem-se um homomorsmo de grupo : 1 (B, b0 )
0 (F, f0 ) ' F , donde Im(p ) ' 1 (E, e0 ) subgrupo normal de 1 (B, b0 ), e a bijeo um
isomorsmo de grupos.
2.2.5 Grupo fundamental de Sn e RP n

Atravs de combinaes de espaos topolgicos pode-se caracterizar o grupo de homotopia de
espaos elaborados usando identicaes dos grupos de homotopia de espaos mais simples,
como as esferas S n e os espaos projetivos reais. Nessa seo, obtm-se atravs das tcnicas
citadas anteriormente o grupo fundamental de S n e RP n .
Teorema 2.2.8 (Grupo fundamental de S 1 ). O grupo fundamental da esfera unitria S1 C

1
isomorfo ao grupo aditivo (Z, +), i.e. 1 (S , 1) ' Z.
Demonstrao. Considere a aplicao p : R S 1 , p(t) = e2it , homomorsmo sobrejetivo de

grupo, com ker(p) = Z. Ento p recobrimento, e como a ao por translao de Z em R
livre, de modo que suas rbitas sejam bras de p, segue das observaes acima que existe um
isomorsmo : 1 (S 1 , 1) Z, dado por ([]) = (0)
, onde : I 1 R um levantamento
de , tal que (1)
= 0.
Um gerador de 1 (S 1 , 1) ' Z a classe de homotopia de p |I 1 .
Seguem dois lemas de teor analtico essenciais para o clculo dos grupos de homotopia de S n .
Em grande parte, os conceitos envolvidos nessas demonstraes foram vistos na parte referente
Anlise e Topologia Geral do projeto, relatado anteriormente.
5A rbita de um ponto x X , com relao ao de (G, ) em X , O(x) =. {g x : g G} X
Lema 2.2.2 (Aproximao por funo diferencivel). Dada uma aplicao contnua f : X
R R e uma funo real positiva contnua : X R+ , existe uma aplicao f : A
m n
Rm Rn de classe C no aberto A X , tal que ||f (x) f(x)|| < (x), x X .

.
Demonstrao. Considere p (x) = (x)||f (x)f (p)||. Ento imediato que p positiva em p,
anal p (p) = (p), portanto, da sua continuidade, positiva numa vizinhana Vp = Ap X 3 p.
Desse modo, todo ponto p X possui uma vizinhana VS = Ap X , Ap Rm aberto, tal
. p
que ||f (x) f (p)|| < (x), x Vp . Assim, o aberto A = pX A p de R
m
uma superfcie de
classe C , que apresenta cobertura aberta {Ap : p X}. Seja pX p = 1 uma partio da

P
. P
unidade, de classe C , estritamente subordinada a tal cobertura. Ento f = pX p (x)f (p)
a aproximao procurada, anal ||f (x)f(x)|| = pX p (x)||f (x)f (p)|| < pX p (x)(x) =
P P
(x), pois p X , p |X\Vp = 0 e ||f (x) f (p)|| < (x), x Vp .
Lema 2.2.3. Dada uma aplicao f : X Rm Rn de classe C1 no aberto X, se m<n

tem-se Im(f ) Rn de medida nula em Rn .
Demonstrao. De resultados elementares de Anlise, tem-se X {0} de medida nula em

R , sendo 0 Rnm . Assim, considerando g : X Rnm Rn de classe C 1 , dada por
n
g(x, y) = f (x), como a imagem de conjuntos de medida nula por aplicaes C 1 tm medida
nula, segue que g(X {0}) = f (X) tem medida nula em Rn .
Teorema 2.2.9 (Grupo de Homotopia da Esfera n-dimensional). Sendo S n Rn+1 a esfera

unitria n-dimensional, x0 S n , tem-se k (S n , x0 ) ' {0}, 0 k < n.
Demonstrao. Para mostrar que o grupo de homotopia k (S n , x0 ) trivial para 0 k < n,

basta provar que todo kx0 (S n ) homotpico a uma aplicao no-sobrejetiva de kx0 (S n ).
Com efeito, se no sobrejetiva, x S n , tal que Im() S n \ {x}, que homeomorfo a Rn
pela projeo estereogrca. Portanto, como do Teorema (2.2.2), Rn simplesmente conexo,
segue que [] = [ex0 ]. Se essa for a nica classe de homotopia, i.e. , kx0 (S n ), [] = [],
ento evidentemente tem-se k (S n , x0 ) ' {0}.
Assim, seja kx0 (S n ) sobrejetiva. Para encontrar uma homotopia entre e uma funo
no-sobrejetiva de kx0 (S n ), xado > 0, pelo Lema (2.2.2) existe uma aplicao : I k Rn+1
de classe C , tal que ||(t) (t)|| < , t I k . Seja : R I 1 uma aplicao de classe
C 1 , com (s) = 0, se |s| , e (s) = 1, se |s| 2. Denindo % : Rn+1 Rn+1 por
.
%(x) = (||x x0 ||)(x x0 ) + x0 , x Rn+1 , tem-se % de classe C 1 em Rn+1 e %(x) = x0 , se
||x x0 || , e ||%(x) x|| 2, x Rn+1 . Assim, % : I k Rn+1 de classe C 1 , com
(% )(I k ) {x0 } e ||(% )(t) (t)|| 3, t I k . Escolhendo 0 < < 31 , pode-se denir
uma homotopia entre e em kx0 (S n ) por
(1 s)(t) + s(% )(t)

H(t, s) =
||(1 s)(t) + s(% )(t)||
onde (t) = (% )(t)/||(% )(t)||, t I k . Como de classe C 1 , Im() tem medida nula
em S n , e como k < n, segue do Lema (2.2.3) que no sobrejetiva, portanto, como [] = [],
segue o resultado.
A caracterizao do grupo fundamental de espaos projetivos reais de grande importncia,

em especial de 1 (RP 3 ), onde RP n o espao projetivo real n-dimensional, i.e., o quociente
.
RP n = S n / , onde a relao de equivalncia em S n segundo a qual x S n equivalente
a si prprio ou sua antpoda x S n .
Teorema 2.2.10 (Grupo fundamental de RP n ). O grupo fundamental do espao projetivo real

n-dimensional 1 (RP n ) ' Z2 para n2 e 1 (RP 1 ) ' Z.
Demonstrao. A denio supracitada de RP n como espao quociente garante que para o

caso n = 1, tem-se um homeomorsmo RP 1 ' S 1 , portanto segue 1 (RP 1 ) ' Z. O caso geral
(n 2) segue como corolrio do Teorema (2.2.7), anal a ao de Z2 em S n evidentemente livre
e contnua, para n 2. Como o grupo Z2 que age nito, segue que a ao propriamente
descontnua, e, do Teorema (2.2.9), tem-se S n simplesmente conexo para n 2. Portanto,
desses resultados, tem-se 1 (S n /Z2 ) ' Z2 , logo 1 (RP n ) ' Z2 , n 2.
2.2.6 Grupo fundamental de alguns Grupos de Lie
A teoria de grupos topolgicos e grupos de Lie de extrema importncia em diversas reas da

Topologia Algbrica, encontrando aplicaes em muitos campos da Matemtica contempornea.
De modo geral, os conceitos elementares dessa teoria utilizados no projeto foram estudados em
conjunto com outros alunos de graduao por ocasio dos seminrios organizados para discusso
dos projetos, destacando-se o trabalho [9].
Denio 2.2.14 (Grupo de Lie). Um grupo algbrico G, com aplicaes G 3 g 7 g

1
G e

G G 3 (g, h) 7 gh G de classe C , sendo G uma variedade C , dito grupo de Lie.
Exemplos elementares de grupos de Lie so os espaos euclidianos Rn , com a soma usual de

.
R-espao vetorial, C , S 1 e T n = ni=1 S 1 , o toro n-dimensional.
Q
2
Fazendo a identicao Mn (R) Rn , imediato que o grupo Gl(n, R) das matrizes reais
no-singulares n n (matrizes de Mn (R) com determinante no-nulo) uma variedade. Como
.
a aplicao determinante det : Mn (R) R contnua, Gl(n, R) = Mn (R) \ det1 (0) um
2
aberto, herdando a estrutura C da variedade em que est contido, via identicao com Rn .
Ademais, grupo, pois fechado para inverso, anal A P Gl(n, R) A1 = det1 A cof A, onde
cof A a matriz dos cofatores; para produto, pois AB = ( aij bjk )ik , e tais aplicaes so de
classe C .
Atravs de argumentos semelhantes, demonstra-se que so grupos de Lie os seguintes sub-
grupos de Gl(n, R):
.
(i) Sl(n, R) = {M Gl(n, R) : det M = 1},
.
(ii) SO(n) = {M Sl(n, R) : M M t = I},
. t
(iii) SU(n) = {M Sl(n, C) : M M = I},
. t
(iv) Sp(n) = {M Gl(n, H) : M M = I}.
Nos resultados anteriores algumas observaes foram feitas no sentido de identicar certos
grupos de Lie com outros. De modo geral, pode-se construir os seguintes isomorsmos entre
grupos de Lie, que so tambm difeomorsmos entre as variedades envolvidas:
(i) SO(1) ' SU(1) ' {e},
(ii) SO(2) ' SU(1) ' S 1 ,
(iii) SU(2) ' Sp(1) ' S 3 .
A conexidade de SO(n) de profunda importncia para os prximos resultados, e como

SO(n) grupo de Lie, em particular, uma variedade, localmente conexo por caminhos, logo
para demonstrar que conexo por caminhos, basta mostrar que conexo.
Teorema 2.2.11 (SO(n) conexo por caminhos). O grupo especial ortogonal SO(n) conexo,
portanto conexo por caminhos, para todo n N.
Demonstrao. Como SO(1) = {1}, SO(1) evidentemente conexo e tem-se 0 (SO(1)) ' {0}.
Para SO(2), preciso observar que como as colunas de uma matriz de SO(2) constituem uma
base ortonormal para R2 ' C, tal matriz ca completamente determinada pela primeira coluna,
que pode ser identicada com um complexo unitrio z S 1 C, anal a segunda coluna ser
identicada com iz S 1 . Assim, segue que so isomorfos SO(2) ' S 1 , logo apresentam
grupos de homotopia isomorfos e, pelo Teorema (2.2.9), 0 (SO(2)) ' 0 (S 1 ) ' {0}, donde
SO(2) conexo. Desse modo, basta utilizar induo em n para mostrar que 0 (SO(n + 1)) '
0 (SO(n)), n 2, concluindo que 0 (SO(n)) ' {0}, logo tem-se SO(n) conexo, portanto
conexo por caminhos, n N.
A ao cannica de SO(n + 1) em Rn+1 pode ser restrita a uma ao na esfera unitria
n-dimensional S n , sendo imediato que tal ao transitiva e que o grupo de isotropia Iso(en+1 ),
onde en+1 o (n+1)-simo vetor da base ortonormal de Rn+1 , pode ser identicado com SO(n).
Com efeito, basta pensar que SO(n) identica-se com as rotaes do hiperplano ortogonal a
en+1 , que por sua vez identica-se com Rn , portanto sua ao preserva inalterado o (n+1)-simo
eixo ortogonal. Assim, dos Teoremas (2.2.4) e (2.2.5), tem-se que existe um homeomorsmo
S n ' SO(n+1)/ SO(n) e uma brao p : SO(n+1) S n , com bra tpica SO(n). Portanto, do
p
Teorema (2.2.6), tem-se a sequncia longa exata 1 (S n ) 0 (SO(n)) 0 (SO(n + 1))
0 (S n ). Como, do Teorema (2.2.9), 1 (S n ) ' 0 (S n ) ' {0}, n 2, tem-se o isomorsmo
'
: 0 (SO(n + 1)) 0 (SO(n)), n 2, que garante 0 (SO(n)) ' {0}, n 2. Logo tem-se
SO(n) conexo, portanto conexo por caminhos, n N.
Na determinao de 1 (SO(n)), utiliza-se um argumento de sequncias longas exatas similar

ao desta demonstrao, e para estabelecer uma base de induo, necessrio o clculo direto de
1 (SO(3)). Juntamente aos clculos de 1 (SO(2)) e 1 (SO(1)), para os quais todos argumentos
necessrios foram desenvolvidos na demonstrao acima, obtemos, nessa seo, trs grupos
fundamentais do grupo especial ortogonal para casos particulares de n N. Para determinar
1 (SO(3)), utiliza-se a relao entre SO(3) e RP 3 dada pelo prximo resultado, salientando que
no h generalizao dessa relao para SO(n) e RP n .
Teorema 2.2.12. O espao projetivo real RP 3 homeomorfo ao grupo especial ortogonal

SO(3).
Demonstrao. Como RP 3 compacto6 e SO(3) Hausdor7 , basta encontrar uma bijeo

contnua : RP 3 SO(3), pois ser um homeomorsmo. Ademais, para obter tal , basta
encontrar um homomorsmo de grupo : S 3 SO(3) contnuo e sobrejetivo, com ncleo
ker() = {1, +1}. Com efeito, se apresentar tal ncleo, tem-se (x) = (y) x = y ,
assim, passando ao quociente (como no diagrama comutativo que segue), encontra-se bijetiva
(logo homeomorsmo), o que concluir a demonstrao.

S3 / SO(3)
:
vv
vvv
vv

vv
RP 3
Para encontrar tal homomorsmo , considere v S 3 a transformao linear v : R3 R3 ,
dada por v (x) = vxv 1 . Considerando tal aplicao como denida nos quatrnios H ' R4 , v
evidentemente linear e ortogonal, pois ||vxv 1 || = ||x||. Ademais, como v (1) = 1, o subespao
R H dos reais (base {e1 }) invariante por v , assim como seu complemento ortogonal R3 de
imaginrios puros (base {e2 , e3 , e4 } = {~i, ~j, ~k}). Desse modo, v est bem denida em R3 , e sua
matriz correspondente em M3 (R) tem como colunas os vetores v~iv 1 , v~jv 1 , v~kv 1 , dependendo
continuamente de v S 3 . Assim, como S 3 conexo e det(e1 ) = 1, tem-se det(v ) = 1, v S 3 ,
portanto v SO(3), v S 3 . Desse modo, a funo : S 3 3 v 7 v SO(3) contnua e
vw = v w , sendo assim um homomorsmo de grupos.
Como apenas os reais comutam com todo imaginrio puro, e ker() formado pelos quatr-
nios x S 3 , tais que xwx1 = w, segue ker() = {1, +1}, portanto localmente injetiva.
Para mostrar que sobrejetiva, o que conclui a demonstrao, pelas observaes iniciais,
6 Como RP n um quociente da esfera S n , que compacta, RP n tambm compacto.
7 Como mencionado acima, SO(3) uma variedade, logo Hausdor.
basta mostrar que uma aplicao aberta (i.e., leva abertos em abertos). Com efeito, tem-
se, do Teorema (2.2.11), que SO(3) conexo, e ademais S 3 compacto, assim (S 3 ) ser um
aberto e fechado do conexo SO(3), logo Im() = SO(3).
Para isso, note que de classe C , anal os elementos de v SO(3) so funes
innitamente diferenciveis de v . Como homomorsmo de grupos, tem posto constante e,
pelo Teorema do Posto, como localmente injetiva, segue que tem posto mximo, rank() = 3.
Em particular, submerso, portanto uma aplicao aberta. Desse modo, pelas consideraes
supracitadas, tem-se um homeomorsmo : RP 3 SO(3).
Corolrio 2.2.2 (Grupo fundamental de SO(3)). Sendo homeomorfos, RP 3 e SO(3) apre-

sentam grupos fundamentais isomorfos, logo, do Teorema (2.2.10), seguem os isomorsmos
1 (SO(3)) ' 1 (RP 3 ) ' Z2 .
As observaes elementares acerca da estrutura de SO(2) e SO(1) feitas na demonstrao

do Teorema (2.2.11) correspondem aos isomorsmos e difeomorsmos citados anteriormente e
permitem a identicao de dois grupos fundamentais do grupo especial ortogonal SO(n). Para
o primeiro grupo, atravs do isomorsmo SO(2) ' S 1 obtido, segue 1 (SO(2)) ' 1 (S 1 , 1) ' Z
e, para o segundo, como SO(1) = {1} um grupo com um nico elemento, imediato que
1 (SO(1)) ' {0}. Assim, os grupos fundamentais de SO(1), SO(2) e SO(3) so isomorfos a
{0}, Z e Z2 , respectivamente.
Para obter os grupos fundamentais restantes de SO(n), generalizando 1 (SO(n)), n N,
recorre-se sequncia longa exata dos grupos de homotopia envolvidos na brao p : SO(n +
1) S n . Essa brao foi obtida na demonstrao do Teorema (2.2.11), a partir da ao de
SO(n + 1) em S n , e do quociente pelo subgrupo de isotropia Iso(en+1 ) ' SO(n), aplicando os
Teoremas (2.2.5) e (2.2.4).
Teorema 2.2.13. Os grupos fundamentais de SO(n) so isomorfos a Z2 para todo n 3, i.e.

1 (SO(n)) ' Z2 , n 3.
Demonstrao. Considerando a brao supracitada p : SO(n + 1) S n , com bra tpica

SO(n), do Teorema (2.2.6), tem-se a seguinte sequncia longa exata:
p
2 (S n )

1 (SO(n)) 1 (SO(n + 1)) 1 (S n )
Como, do teorema (2.2.9), a esfera n-dimensional unitria apresenta os grupos de homotopia
'
2 (S n ) ' 1 (S n ) ' {0}, n 3, tem-se o isomorsmo : 1 (SO(n+1)) 1 (SO(n)), n 3,
portanto, como, do corolrio (2.2.2), 1 (SO(3)) ' Z2 , por induo nita segue que 1 (SO(n)) '
Z2 , n N.
Assim, esto determinados 1 (SO(n), n N, sendo 1 (SO(1)) ' {0}, 1 (SO(2)) ' Z e
1 (SO(n)) ' Z2 , n 3. Para o clculo dos grupos de homotopia de SU(n) e outros grupos
de Lie pode-se proceder analogamente, demonstrando com os mesmos argumentos que SU(n)
simplesmente conexo n N e usando as identicaes iniciais de baixa dimenso para o
grupo fundamental de SU(n).
2.3 Participao em Eventos
Durante o perodo de desenvolvimento do projeto, o bolsista participou de diversos encontros e

congressos, de modo a familiarizar-se com os procedimentos acadmicos envolvidos e conhecer
outros institutos e reas de pesquisa, ampliando perspectivas para o prosseguimento de seus
estudos. Tais encontros foram enriquecedores para a cultura matemtica do aluno, que pde
conhecer pesquisadores extrangeiros e brasileiros de diversos institutos prestigiados pelo meio
cientco, estabelecendo importantes contatos. Em paralelo, o bolsista foi monitor da Expo-
Matemateca durante a Semana de Cincia e Tecnologia do corrente ano, recebendo alunos de
diversos nveis.
No incio do ano, nos meses de janeiro e fevereiro, frequentou o curso de Anlise na Reta
do Programa de Vero do Instituto Nacional de Matemtica Pura e Aplicada - IMPA (RJ),
obtendo grau A-. Durante o primeiro semestre, participou de diversas palestras oferecidas pelo
departamento de Matemtica do Instituto de Matemtica e Estatstica da Universidade de So
Paulo (IME USP). No ms de julho, participou do 26o. Colquio Brasileiro de Matemtica, no
Instituto Nacional de Matemtica Pura e Aplicada - IMPA (RJ), onde frequentou os minicursos
Uma introduo aos Sistemas Dinmicos via Fraes Contnuas, Tpicos Introdutrios
Anlise Complexa Aplicada e Hiperbolicidade, Estabilidade e Caos em Dimenso Um. No
ms de setembro, participou do 1o. Encontro IST-IME entre o Instituto Superior Tcnico
(Universidade de Lisboa) e o Instituto de Matemtica e Estatstica, realizado no IME USP.
Por m, participou do VI Encontro Regional de Topologia, realizado no Campus IBILCE da
UNESP, em So Jos do Rio Preto, onde frequentou o minicurso Grupos de Lie, espaos
homogneos, teoria de razes e ponto xo.
Nesse perodo, foram submetidos dois resumos do trabalho para o 15o. Simpsio Internaci-
onal de Iniciao Cientca da Universidade de So Paulo (SIICUSP) e para o III Simpsio de
Iniciao Cientca e Ps-Graduao do IME USP, ambos previstos para novembro do corrente
ano. Se aceitos, os resumos sero publicados nos anais de ambos simpsios, estando a verso
submetida anexa ao presente relatrio.
De modo geral, a participao nos referidos eventos possibilitou uma solidicao dos con-
tedos estudados no projeto de Iniciao Cientca, colaborando para o amadurecimento do
bolsista, que aprofundou os estudos por ocasio de minicursos e seminrios realizados. Em
particular, o VI Encontro Regional de Topogia (ERT) permitiu o contato com pesquisadores e
ps-graduandos da rea, sendo voltado sobretudo Topologia Algbrica, contribuindo para a
insero do bolsista nesse grupo.
Captulo 3
Concluses
Durante o projeto de Iniciao Cientca, atravs dos estudos realizados, das participaes em
eventos e dos seminrios ministrados, o bolsista teve a oportunidade de familiarizar-se com o
meio acadmico numa profundidade singular, desenvolvendo forte interesse na continuidade dos
estudos nessa rea. A construo dos resultados de Topologia Algbrica apresenta uma lgica
impecvel, requerendo noes de diversas outras reas, em particular da lgebra Abstrata,
Anlise, Geometria e Topologia Geral. Tal diversidade de pr-requisitos enriqueceu o estudo
realizado, contribuindo de modo signicativo para o desempenho do bolsista nos cursos de
graduao, uma vez que os conceitos foram estendidos para um outro campo e generalizados.
Ademais, a forte coeso entre os resultados garantiu a existncia de um eixo principal no
direcionamento do trabalho, que uiu de modo consistente, tomando rumos naturais a cada
etapa.
Desse modo, foi possvel um rpido avano terico, e em menos de um ano o contedo traba-
lhado assumiu um carter sosticado comparativamente quele abordado no incio do projeto.
Esse aprendizado, em conjunto com as diversas participaes em congressos e encontros, ga-
rantiu um maior amadurecimento matemtico do bolsista, incentivando-o no prosseguimento
dos estudos at o m do curso de graduao, e posteriormente numa ps-graduao. Nesse sen-
tido, existe o interesse de adiantar a concluso do curso de bacharelado para um ano antes do
usual, meta que est sendo cumprida at o corrente semestre atravs do acrscimo de crditos
obrigatrios e optativos a cada etapa.
Levando em conta o exposto, os objetivos para a continuidade desse projeto de Iniciao
Cientca esto sobretudo no sentido de aprofundar os estudos em Topologia Algbrica, atravs
de um enfoque homolgico complementando a abordagem homotpica, e utilizar o conhecimento
adquirido para um estudo voltado Geometria, enriquecendo a gama de assuntos trabalhados
em coerncia com o que foi desenvolvido at o momento. Alm disso, h grande interesse na
continuidade dos seminrios apresentados pelo bolsista, nos quais expe os estudos relativos a
este projeto, uma vez que muito contribuem para o aperfeioamento da capacidade expositiva
e sistematizao dos contedos trabalhados pelo mesmo.
58 Concluses
Referncias Bibliogrcas
[1] Alas, O. T. et alii, Topologia Geral, Notas de Aula, Instituto de Matemtica e Estatstica
- Universidade de So Paulo, 1997.
[2] Bettiol, R. G. & Piccione, P., Grupo Fundamental do Grupo Especial Ortogonal SO(n),
So Paulo, 2007 (Submetido para publicao nos Anais do III Simpsio de Iniciao
Cientca e Ps-Graduao do IME USP).
[3] Bettiol, R. G. & Piccione, P., Grupo fundamental do grupo especial ortogonal SO(n), So
Paulo, 2007 (Submetido para publicao nos Anais do 15o. Simpsio Internacional de
Iniciao Cientca da Universidade de So Paulo).
[4] Biss, D. K., A Generalized Approach to the Fundamental Group, The American Mathe-
matical Monthly 107, pp. 711-720, 2000.
[5] Bredon, G., Geometry and Topology, Springer-Verlag (Graduate Texts in Mathematics)
New York, 1993.
[6] Chaber, J. & Pol, R., On hereditarily Baire spaces, -fragmentability of mappings and
Namioka property, Topology and its Applications 151, pp. 132-143, 2005.
[7] Davis, J. F. & Kirk, P., Lecture Notes in Algebraic Topology, Graduate Studies in Mathe-
matics (AMS) 35, 2001.
[8] Fleissner, W. G. & Kunen, K., Barely Baire spaces, Fundamenta Mathematicae 101, pp.
229-240, 1978.
[9] Gerolin, J. A., Grupos Topolgicos e aplicaes, So Paulo, 2007. (Disponvel em

http://www.ime.usp.br/ gerolin)
[10] Jnich, K., Topology, Springer-Verlag (Undergraduate Texts in Mathematics) New York,
1980.
[11] Kelley, J. L., General Topology, Van Nostrand (University series in higher mathematics)
New York, 1955.
60 REFERNCIAS BIBLIOGRFICAS
[12] Lima, E. L., Anlise Real, vol. 1. IMPA (Coleo Matemtica Universitria) Rio de Ja-
neiro, 8a edio, 2006.
[13] Lima, E. L., Curso de Anlise, vol. 1 e 2. IMPA (Projeto Euclides) Rio de Janeiro, 11a
edio, 2006.
[14] Lima, E. L., Espaos Mtricos, IMPA (Projeto Euclides) Rio de Janeiro, 4a edio, 2005.
[15] Lima, E. L., Grupo Fundamental e Espaos de Recobrimento, IMPA (Projeto Euclides)
Rio de Janeiro, 4a edio, 1998.
[16] May, J. P., A Concise Course in Algebraic Topology, Chicago, University of Chicago
Press.
[17] Massey, W. S., A basic course in Algebraic Topology, Springer (Graduate Texts in Mathe-
matics) New York, 1991.
[18] Moore, T. O., Elementary General Topology, Prentice-Hall Inc. (Mathematics Series)
Englewood Clis, 1964.
[19] Moors, W. B., The product of a baire space with a hereditarely baire metric space is baire,
Proceedings of the AMS 134 no. 7, pp. 2161-2163, 2006.
[20] Murdeshwar, M. G., General Topology, Halsted Press (John Wiley & Sons) Meerut, 1983.
[21] Piccione, P. & Tausk, D. V., On the Geometry of Grassmannians and the Symplectic
Group: the Maslov Index and Its Applications, UFF Niteri, 2000.
[22] Pugh, C. C., Real Mathematical Analysis, Springer (Undergraduate Texts in Mathema-
tics) Berkeley, 2001.

Introdução A Topologia Algébrica

Caricato da

Informazioni sul documento

Titolo originale

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

Introdução A Topologia Algébrica

Caricato da

Copyright:

Formati disponibili

Instituto de Matemtica e Estatstica da Universidade de So Paulo - IME USP

Relatrio do Projeto de Iniciao Cientfica

Introduo Topologia Algbrica

Renato Ghini Bettiol

Prof. Dr. Paolo Piccione (Orientador)

2.1 Anlise e Topologia Geral

Os tpicos elementares de Anlise Matemtica e Topologia Geral estudados no perodo ini-

2.1.1 Espaos Topolgicos

(i) e X so abertos e fechados em X ,

Existe um considervel nmero de exemplos de topologias sobre conjuntos arbitrrios, como

Denio 2.1.3 (Subespao topolgico). Sejam (X, ) um espao topolgico e S X um

Denio 2.1.4 (Vizinhana). Seja x X , (X, ) espao topolgico. Ento um subconjunto

(ii) U 3 x vizinhana de x, V Vx , tal que x V U.

Demonstram-se diversas proposies a respeito de topologias geradas por bases, equivaln-

Denio 2.1.7 (Interior). O conjunto dos pontos x A X tais que V , x V A

Notao 2.1.2 (Fecho de A em (X, )). cl A ou A

Denio 2.1.9 (Fronteira). O conjunto dos pontos x X tais que V , x V tem-se

Notao 2.1.3 (Fronteira de A). A

Proposio 2.1.2. Dado A X , A = A X \ A.

Demonstrao. Se x A, por denio, V , x V, V A 6= , V X \ A 6= . Logo, em

Proposio 2.1.3. Dado A X, X um espao topolgico, valem as seguintes armaes:

Demonstrao. Segue-se a demonstrao, item a item:

(iii) Se B A aberto, ento x B A V , x V B A. Portanto imediato

Proposio 2.1.4. Seja X um espao topolgico. Ento valem as seguintes armaes:

Demonstrao. Novamente, segue-se a demonstrao, item a item:

(i) Trivial, no possui elemento algum.

(ii) Imediata dos itens (i) e (ii) da Proposio (2.1.3).

(iii) Da Proposio (2.1.3), A A B A B A A B . Analogamente, B A B ,

Exemplo 2.1.1. No necessariamente vale o anlogo da Proposio (2.1.4), A B = A B.

Denio 2.1.11 (Ponto de acumulao). Dado (X, ) um espao topolgico e A X um

Denio 2.1.12 (Conjunto perfeito). Se um subconjunto A X de um espao topolgico

Note que se X no possui pontos isolados, ento todo x X ponto de acumulao de

Denio 2.1.13 (Conjunto denso). Seja D X um subconjunto do espao topolgico X.

(=) Se D = X , ento D V D V = X V = V . Ademais, se x V , ento U

(=) Tem-se que V = D V D V , logo V D, V , i.e. V , U , U

Um dos principais conceitos na Topologia o de funes contnuas e homeomorsmos. As

Denio 2.1.14 (Continuidade local). Sejam X, Y espaos topolgicos e f : X Y uma

Como supracitado, essa denio de continuidade estende o conceito primitivo  f contnua

Demonstrao. Ambas implicaes sero provadas separadamente:

(=) Tome U . Ento, dado x f 1 (U ), da continuidade de f , tem-se que Vx ,

(=) Tome x X, U , tais que f (x) U . Ento x f 1 (U ) , logo f 1 (U ) vizinhana

Proposio 2.1.7. Dada f :X Y, so equivalentes as seguintes armaes

(ii) A pr-imagem por f de um fechado F de Y um fechado de X,

(iii) A X, f (A) f (A),

(iv) B Y, f 1 (B) f 1 (B).

Demonstrao. A proposio ser provada demonstrando, uma a uma, as implicaes (i)

(i) (ii) Dado F Y fechado, tem-se Y \ F aberto, portanto, da continuidade, f 1 (Y \ F ) aberto

Proposio 2.1.8. Sejam X, Y espaos topolgicos, D X um subconjunto denso em X e

Demonstrao. Tome V Y um aberto no-vazio arbitrrio. Ento f 1 (V ) 6= aberto

Teorema 2.1.1 (Continuidade da composio). SejamX, Y, Z espaos topolgicos, e f :X

Demonstrao. Tome U aberto em Z . Ento. por continuidade de g , tem-se g 1 (U ) aberto em

Corolrio 2.1.3. A restrio de uma funo contnua f :XY a um subconjunto V X

Considere para as denies abaixo (X, ), (Y, ) espaos topolgicos.

Note que se uma funo f : X Y bijetiva e f 1 : Y X aberta (ou fechada), ento

Denio 2.1.18 (Homeomorsmo). Uma funo : (X, ) (Y, ) dita um homeomor-

Notao 2.1.4 (Homeomorsmo). : X

Note que a composio de homeomorsmos e a inversa de um homeomorsmo ainda so

Denio 2.1.19 (Espaos homeomorfos). Se dados X, Y espaos topolgicos, existir um ho-

Notao 2.1.5 (Espaos homeomorfos). X ' Y , i.e. X, Y so homeomorfos.

Proposio 2.1.9. Sejam X, Y espaos topolgicos e :X Y uma aplicao. Ento so

(ii) contnua, bijetiva e aberta,

(iii) contnua, bijetiva e fechada.

O uso de sequncias em Topologia representativo devido s inmeras equivalncias entre

Denio 2.1.3 (Subespao topolgico). Sejam (X, ) um espao topolgico e S X um

Denio 2.1.4 (Vizinhana). Seja x X , (X, ) espao topolgico. Ento um subconjunto

Denio 2.1.7 (Interior). O conjunto dos pontos x A X tais que V , x V A

Denio 2.1.9 (Fronteira). O conjunto dos pontos x X tais que V , x V tem-se

Demonstrao. Se x A, por denio, V , x V, V A 6= , V X \ A 6= . Logo, em

Proposio 2.1.3. Dado A X, X um espao topolgico, valem as seguintes armaes:

Proposio 2.1.4. Seja X um espao topolgico. Ento valem as seguintes armaes:

Denio 2.1.11 (Ponto de acumulao). Dado (X, ) um espao topolgico e A X um

Denio 2.1.12 (Conjunto perfeito). Se um subconjunto A X de um espao topolgico

Denio 2.1.13 (Conjunto denso). Seja D X um subconjunto do espao topolgico X.

Um dos principais conceitos na Topologia o de funes contnuas e homeomorsmos. As

Denio 2.1.14 (Continuidade local). Sejam X, Y espaos topolgicos e f : X Y uma

Como supracitado, essa denio de continuidade estende o conceito primitivo f contnua

Proposio 2.1.7. Dada f :X Y, so equivalentes as seguintes armaes

Considere para as denies abaixo (X, ), (Y, ) espaos topolgicos.

Denio 2.1.18 (Homeomorsmo). Uma funo : (X, ) (Y, ) dita um homeomor-

Notao 2.1.4 (Homeomorsmo). : X

Note que a composio de homeomorsmos e a inversa de um homeomorsmo ainda so

Denio 2.1.19 (Espaos homeomorfos). Se dados X, Y espaos topolgicos, existir um ho-

Denio 2.1.21 (Convergncia). Uma sequncia (xn ) X dita convergente a x X

Denio 2.1.23 (Espao de Hausdor - Axioma de Separao T2 ). Um espao topolgico

Denio 2.1.24 (Conjunto e subconjunto dirigido). Um conjunto (D, ) munido da relao

Denio 2.1.25 (Rede). Seja D um conjunto dirigido e X um conjunto. Uma aplicao

Denio 2.1.26 (Subrede). Sejam (x ), (y ) redes em X , associadas, respectivamente, aos

Denio 2.1.27 (Convergncia). Uma rede x X dita convergente para x X se, e

Analogamente ao caso de sequncias, verica-se a unicidade do limite de redes apenas no

Denio 2.1.28 (Mtrica). Uma mtrica num conjunto M uma funo d : M M R+ ,

Denio 2.1.30 (Subespao mtrico). Sejam (M, d) um espao mtrico e S M um subcon-

Denio 2.1.35 (Imerso isomtrica). Uma aplicao f :M N dita imerso isomtrica

Denio 2.1.36 (Isometria). Uma aplicao f :M N dita isometria se uma imerso

Note que, analogamente ao caso dos homeomorsmos, inversas e compostas de isometrias

Denio 2.1.39 (Contrao). Uma aplicao f : M N dita contrao se Lipschitz

Denio 2.1.40 (Contrao fraca). Uma aplicao f :M N dita contrao fraca se

Denio 2.1.41 (Continuidade uniforme). Uma aplicao f : M N dita uniforme-

independente de x, y M . Ademais, trivial vericar que a uniforme continuidade implica

(=) Suponha, por absurdo, f descontnua em x M . Ento > 0, tal que n N, xn

trivial vericar que d1 d2 se, e somente se, d1 d2 , estendendo a Denio (2.1.12),

Note que a equivalncia de mtricas uma relao de equivalncia (reexiva, simtrica e

Proposio 2.1.19. So equivalentes as seguintes armaes

A demonstrao dessas equivalncias imediata das denies acima.

Denio 2.1.48 (Subconjunto conexo). (X, ) um espao topolgico e C X um sub-

Denio 2.1.52 (Caminho). Uma aplicao contnua : [0, 1] M no espao topolgico X