PELEGRINO, Daniel - Topologia Geral

NOTAS DE AULA: TOPOLOGIA GERAL
DANIEL PELLEGRINO
Sumrio
1. Introduo 2
2. Um pouco sobre Teoria de Conjuntos e Lgica 2
2.1. Notaes e terminologia 2
2.2. Algumas convenes 2
2.3. O Axioma da Escolha e o Lema de Zorn 2
3. Espaos Mtricos 4
4. Espaos Topolgicos 6
5. Vizinhanas 8
6. Bases e sub-bases 12
7. Funes contnuas 15
8. Subespaos e topologia relativa 17
9. Homeomorsmos 19
10. Espaos produto e topologias fracas 21
11. Espaos Quocientes 24
12. Convergncia de seqncias 25
13. Redes 27
14. Filtros 31
15. -Cpia da primeira prova do curso 33
16. Espaos T
0
, T
1
, T
2
e T
3
34
17. Conjuntos compactos 35
17.1. O Teorema de Tychono 37
18. Uma aplicao do Teorema de Tychono Anlise Funcional: O Teorema de Banach-
Alaoglu-Bourbaki 38
19. Teorema da Extenso de Tietze 40
20. Compacticao de Alexandrov 44
21. Compacticao de Stone-Cech 46
21.1. Espaos completamente regulares 46
21.2. Compacticao de Stone-Cech 47
22. -Cpia da segunda prova do curso- 49
23. Topologias em espaos de funes 50
23.1. Topologia da convergncia pontual 50
23.2. Topologia compacto-aberta 50
23.3. Topologia da convergncia uniforme 50
23.4. Topologia da convergncia compacta 52
24. Espaos Conexos 54
24.1. Componentes conexas 56
25. Espaos conexos por caminhos 58
26. Homotopias 59
27. Grupos Fundamentais 63
27.1. O grupo fundamental do crculo unitrio 67
28. Seminrio: O Teorema de Baire 70
1
2 DANIEL PELLEGRINO
29. Respostas de alguns Exerccios 71
Referncias 77
TOPOLOGIA- PERODO 2009.1 3
1. Introduo
Essas notas de aula no tm pretenso alguma em relao originalidade. Seu contedo baseado
em livros clssicos de Topologia Geral e (principalmente as sees referentes a homotopia e grupos
fundamentais) so baseadas em notas de aula de Jorge Mujica.
2. Um pouco sobre Teoria de Conjuntos e Lgica
Um curso de Topologia Geral, invariavelmente, comea com uma introduo Teoria de Conjuntos.
Em nosso curso, supomos um conhecimento ingnuo da Teoria de Conjuntos. Um tratamento formal
algo muito interessante, porm difcil e delicado, feito em Lgica Matemtica, e no nosso objetivo
seguir por esse caminho. Apesar de nosso tratamento ingnuo Teoria de Conjuntos, parece-me
necessrio comentar sobre algumas convenes adotadas e tambm sobre o Axioma da Escolha e suas
consequncias.
2.1. Notaes e terminologia.
O conjunto dos nmeros naturais ser considerado como N = 1, 2, 8, ....
Os termos funo e aplicao signiacam a mesma coisa.
Toda denio suposta tacitamente como algo do tipo "se, e somente se,", mesmo quando
isso no for explicitamente mencionado.
2.2. Algumas convenes. Seja A um conjunto (conjunto universo). Se / T(A) a coleo
/ = c, razovel e, acima de tudo, til, convencionarmos que

.2A
= c. Por outro lado, o que seria
.2A
?
Se / T(A), denimos
.2M
= r A; r para todo /.
Portanto, se / = c, ento (por vacuidade)

.2M
= A.
2.3. O Axioma da Escolha e o Lema de Zorn. Embora a formao de um matemtico muitas
vezes passe longe de um curso de Lgica Formal, bom que (pelo menos) saibamos que a matemtica
que usamos possui, como alicerces, axiomas para a construo e manipulao de conjuntos. Esses
axiomas so conhecidos como Axiomas de Zermelo-Frnkel (ZF).
O Axioma da Escolha (AE) garante a existncia de um conjunto escolha 1, que possui exatamente
um elemento de cada conjunto de uma famlia / de conjuntos no vazios. Precisamente:
Axioma 2.1. (Axioma da Escolha). Dada uma coleo / de conjuntos no-vazios e disjuntos, existe
um conjunto 1 que possui exatamente um elemento em comum com cada conjunto pertencente a /.
Em outras palavras, para cada / , o conjunto 1 tem apenas um elemento.
Seu enunciado parece bobo, porm indispensvel em vrios resultados da matemtica moderna.
Muita controvrsia sempre cercou o Axioma da Escolha. Para conjuntos nitos, o AE no necessrio,
pois pode ser obtido a partir de outros axiomas de (ZF). Entretanto, para conjuntos innitos, s
vezes certos resultados s podem ser obtidos por intermdio do AE. No passado, alguns matemticos
famosos relutavam em aceit-lo, e a matemtica "sem o Axioma da Escolha"deu origem matemtica
construtiva.
Pessoalmente, no acho que o ponto central seja se o axioma da escolha aceitvel ou no. Acredito
que podemos evitar controvrsias com a seguinte questo:
Queremos estudar matemtica com ou sem o Axioma da Escolha?
4 DANIEL PELLEGRINO
Qualquer um dos caminhos certamente nos levar a problemas interessantes, e tentar modicar
algumas demonstraes para evitar o uso do AE, quando possvel, tambm algo que me parece
interessante.
Bom, atualmente o Axioma da Escolha faz parte da lista de axiomas da maioria dos matemticos,
e no seremos ns que faremos diferente.
Um resultado equivalente ao AE o menos inofensivo Lema de Zorn (LZ), que veremos a seguir.
Apesar aparentemente menos natural, ele obtido a partir dos nossos axiomas, e portanto podemos
us-lo sem hesitao! bom que saibamos, entretanto, que essa equivalncia apenas uma dentre
numerosas outras conhecidas. Curiosamente, vrios resultados que foram obtidos como consequncias
do AE, posteriormente mostraram-se equivalentes ao AE. Esse mais um ponto muito interssante
a respeito do AE: mesmo sendo aparentemente inofensivo, ele equivalente a muitos resultados
fortemente no intuitivos. Por exemplo, o Teorema da Boa-Ordenao, que arma que qualquer
conjunto pode ser bem-ordenado, equivalente ao AE.
Nesse curso, precisaremos apenas do Lema de Zorn. O LZ pea fundamental na construo de
vrios teoremas dos mais diversos ramos da matemtica. claro que por ser equivalente ao AE,
toda demonstrao que usa o LZ poderia usar o AE no seu lugar. Entretanto, curiosamente, o LZ
parece ter mais fcil aplicao em algumas situaes, e se consagrou em vrias demonstraes de
resultados clssicos: Teorema de Hahn-Banach e Teorema de Bishop-Phelps, na Anlise Funcional, a
demonstrao de que todo espao vetorial possui uma base de Hamel, na lgebra Linear, Teorema de
Tychono, em Topologia Geral, etc.
Para enunciar o Lema de Zorn, precisamos de uma nomenclatura adequada.
Seja 1 um conjunto munido de uma relao de ordem parcial _.
Dizemos que Q 1 totalmente ordenado se para quaisquer
1
,
2
Q tivermos que
1
_
2
ou
2
_
1
. Dizemos ainda que um elemento j 1 cota superior para um conjunto 1 1 se para
todo r 1 tivermos r _ j. Um elemento : 1 dito maximal se sempre que r 1 for tal que
: _ r, tivermos r = :. Por m, dizemos que um 1 indutivo se para todo subconjunto 1 1,
totalmente ordenado, existe uma cota superior j
1
1.
Agora, podemos enunciar o Lema de Zorn:
Lema 2.2. (Lema de Zorn). Todo conjunto parcialmente ordenado, indutivo, no-vazio, admite um
elemento maximal.
3. Espaos Mtricos
Denio 3.1. Um espao mtrico um par ordenado (', d) formado por um conjunto ' e uma
funo d : ' ' R satisfazendo, para quaisquer r, j, . em ' :
a) d(r, j) _ 0,
b) d(r, r) = 0 e d(r, j) = 0 implica r = j,
c) d(r, j) = d(j, r),
d) d(r, .) _ d(r, j) d(j, .).
A funo d chamada mtrica em '. Se todas as condies acima so satisfeitas com a
exceo da segunda parte do item (b), dizemos que d uma pseudomtrica e (', d) um espao
pseudomtrico. Quando no houver dvidas quanto natureza de d, escreveremos apenas ' no
lugar de (', d).
Exemplo 3.2. A reta com a funo d(r, j) = [r j[ , o R
n
com a funo d(r, j) =
_
n
I=1
(r
I
j
I
)
2
so exemplos de espaos mtricos.
Exemplo 3.3. Qualquer conjunto A pode ser munido de uma mtrica. Por exemplo, a funo
d(r, j) = 1 se r ,= j e d(r, j) = 0 se r = j uma mtrica em A, chamada mtrica discreta.
A noo de mtrica nos abre o caminho para denirmos continuidade sob um ponto de vista mais
abstrato do que estamos acostumados no clculo:
Denio 3.4. Se (', d
1
) e (, d
2
) so espaos mtricos, uma funo ) : ' contnua em
r ' se para cada - 0, existir um c 0 tal que d
2
()(r), )(j)) < - sempre que d
1
(r, j) < c.
Uma forma equivalente e tambm til de se denir continuidade ser dada adiante, com a noo de
conjunto aberto.
Denio 3.5. Seja (', d) um espao mtrico e r um ponto de ' Para - 0, denimos
(1) 1
J
(r, -) = j '; d(r, j) < -,
que chamado de bola de raio - em torno de r. Sempre que no houver possibilidade de confuso,
escreveremos 1(r, -) no lugar de 1
J
(r, -).
Se 1 e 1 so subconjuntos de ', denimos a distncia entre 1 e 1 como sendo
d(1, 1) = infd(r, j); r 1 e j 1.
Se 1 possui apenas um ponto, comum escrever d(r, 1) no lugar de d(r, 1). Agora, imitando (1),
denimos
1
J
(1, -) = j '; d(1, j) < -.
Perceba que com as noes introduzidas acima, podemos dizer que uma funo ) : ' contnua
em r ' se para cada - 0, existir um c 0 tal que )(1
J
(r, c)) 1
J
()(r), -). Essa observao
e a prxima denio de conjunto aberto, nos daro uma caracterizao de funo contnua que nos
servir como modelo para a denio de funo contnua num contexto ainda mais geral.
Denio 3.6. Um conjunto 1 num espao mtrico (', d) aberto se, e somente se, para cada
r 1, existe um - 0 tal que 1(r, -) 1. Um conjunto dito fechado se seu complementar for
aberto.
Exerccio 3.7. Mostre que um conjunto 1 fechado se, e somente se, sempre que toda bola centrada
em r possuir pontos de 1, isso implicar que r 1.
Exerccio 3.8. Mostre que se 1 um subconjunto fechado de um espao mtrico, ento, d(r, 1) =
0 = r 1.
O seguinte teorema servir de referncia para a denio abstrata de conjunto aberto no nosso curso
de Topologia Geral.
6 DANIEL PELLEGRINO
Teorema 3.9. Os conjuntos abertos em espaos mtricos ' tm as seguintes propriedades:
a) Qualquer unio de abertos um conjunto aberto.
b) Qualquer interseo nita de abertos um conjunto aberto.
c) ' e o conjunto vazio so abertos.
Demonstrao: Exerccio.
4. Espaos Topolgicos
Como dissemos, o Teorema 3.9 da seo anterior ser nosso modelo para uma denio mais abstrata:
Denio 4.1. Uma topologia em um conjunto A uma coleo t de subconjuntos de A, chamados
conjuntos abertos, satisfazendo as seguintes propriedades:
a) Qualquer unio de elementos de t um elemento de t.
b) Qualquer interseo nita de elementos de t pertence a t.
c) A e o conjunto vazio pertencem a t.
Dizemos que (A, t) um espao topolgico, que naturalmente abreviaremos para A quando no
houver possibilidade de confuso.
Exerccio 4.2. Seja A um conjunto. Seja t
c
a coleo de todos os subconjuntos l de A tais que
A l enumervel ou l = c. Verique que t
c
uma topologia em A.
Exemplo 4.3. Se (', d) um espao mtrico, o Teorema 3.9 nos garante que o conjunto formado
pelos abertos de ' forma uma topologia em ', chamada topologia mtrica t
J
.
Sempre que (A, t) for um espao topolgico e sua topologia t for uma topologia mtrica t
J
para uma
mtrica d em A, dizemos que (A, t) um espao topolgico metrizvel .
Se A um conjunto qualquer, a coleo de todos os subconjuntos de A, que de agora em diante
ser denotada por T(A), uma topologia em A, chamada topologia discreta. Uma outro topologia
patolgica a topologia t = A, c, chamada de topologia trivial.
Exerccio 4.4. Mostre que (A, T(A)) um espao metrizvel.
Exerccio 4.5. Mostre que se A tem mais de um elemento, (A, t), com t = A, c, no metrizvel.
Novamente, seguindo o que foi feito na seo anterior, denimos:
Denio 4.6. Se A um espao topolgico e 1 A, dizemos que 1 fechado se, e somente se,
A 1 aberto.
Aplicando as leis de De Morgan, temos:
Teorema 4.7. Se T a coleo de todos os conjuntos fechados em um espao topolgico A, ento:
a) Qualquer interseo de elementos de T ainda um elemento de T ,
b) Qualquer unio nita de elementos de T pertence a T ,
c) A e c so elementos de T .
Demonstrao. Exerccio.
Denio 4.8. Se A um espao topolgico e 1 A, o fecho de 1 em A o conjunto
1 = 1 A; 1 fechado e 1 1.
Note que o fecho de um conjunto uma interseo de fechados, e portanto um conjunto fechado.
Tambm denotamos 1 por C|
(1).
Exerccio 4.9. Se 1, ento 1.
Soluo. claro que 1 1. Como 1, temos 1. Logo 1 um conjunto fechado contendo
e da 1.
Teorema 4.10. A operao em um espao topolgico A tem as seguintes propriedades:
(a) 1 1
(b)
_
1
_
= 1
(c)' 1 = ' 1
(d) c = c
(e) 1 fechado em A se, e somente se, 1 = 1.
8 DANIEL PELLEGRINO
Demonstrao. (a) fcil.
(b) 1
_
1
_
vem do item (a). Como 1 fechado (e contm a si prprio), da denio de fecho
segue que
_
1
_
1.
(c) Temos que '1 fechado e contm '1. Da ' 1 '1. Por outro lado, como '1
e 1 ' 1, temos, pelo lema anterior, que ' 1 e 1 ' 1, e o resultado segue.
(d) fcil
(e) Sabemos que 1 1. Se 1 for fechado, pela denio de fecho, segue a outra incluso.
Reciprocamente, se 1 = 1, segue que 1 fechado, pois 1 fechado.
Exerccio 4.11. Mostre que, em geral,
1 ,= 1.
Denio 4.12. Se A um espao topolgico e 1 A, o interior de 1 em A o conjunto
i:t(1) = 'G A; G aberto e G 1.
Note que o interior de um conjunto uma unio de abertos, e portanto um conjunto aberto.
Exerccio 4.13. Mostre que i:t(1) = A A 1 e que A 1 = i:t(A 1).
Lema 4.14. Se 1, ento i:t() i:t(1).
Demonstrao. claro que i:t() . Como 1, temos i:t() 1. Logo i:t() um
conjunto aberto contido em 1 e consequentemente i:t() i:t(1).
Teorema 4.15. A operao i:t() em um espao topolgico A tem as seguintes propriedades:
a) i:t() .
b) i:t(i:t()) = i:t().
c) i:t( 1) = i:t() i:t(1).
d) i:t(A) = A.
e) aberto em A se, e somente se, i:t() = .
Demonstrao. Similar anterior.
Exerccio 4.16. Mostre que, em geral,
i:t(' 1) ,= i:t() ' i:t(1).
Denio 4.17. Se A um espao topolgico e 1 A, a fronteira de 1 o conjunto
1r
(1) = 1 (A 1).
Quando no houver possibilidades de dvidas, escreveremos simplesmente 1r(1). Claramente, a
fronteira de um conjunto qualquer sempre um conjunto fechado.
Exerccio 4.18. D exemplo de um conjunto R tal que os seguintes conjuntos sejam todos
diferentes entre si:
, , i:t(), i:t(), i:t(), i:t(), i:t(i:t()).
5. Vizinhanas
Denio 5.1. Se A um espao topolgico e r A, uma vizinhana de r um conjunto l que
contm um conjunto aberto \, com r \ . De forma equivalente, podemos dizer que \ vizinhana
de r se r i:t(\ ).
A coleo |
r
de todas as vizinhanas de r chamada de sistema de vizinhanas de r.
Proposio 5.2. O sistema de vizinhanas de r em um espao topolgico A ,= c tem as seguintes
propriedades:
(a) Se l |
r
, ento r l.
(b) Se l, \ |
r
, ento l \ |
r
.
(c) Se l |
r
, ento existe um \ |
r
, \ l, tal que l |
para cada j \.
(d) Se l |
r
e l \ A, ento \ |
r
.
(e) G A aberto se, e somente se, G contm uma vizinhana de cada um de seus pontos.
Demonstrao.
(a) Se l |
r
, ento existe \ aberto com r \ l. Logo r l.
(b) Se l, \ |
r
, ento r i:t(l) i:t(\ ) = i:t(l \ ) e da segue que l \ |
r
.
(d) Se l |
r
e l \ A, ento r i:t(l) i:t(\ ) e da segue que \ |
r
.
(c) Como l |
r
, claro que i:t(l) |
r
. Seja \ = i:t(l). Logo se j \ , temos \ |
. Como
\ l, temos l |
.
(e) Se G aberto, o prprio G uma vizinhaa de seus pontos (veja denio de vizinhana).
Reciprocamente, se para cada r em G existe uma vizinhaa \
r
de r, contida em G, temos que
G =

r2c
i:t(\
r
).
Proposio 5.3. Se cada ponto r de um conjunto A ,= c associado a uma coleo no-vazia
r
de subconjuntos de A satisfazendo (a), (b),(c) e (d) do teorema anterior, a coleo
t = G A; G
r
para cada r G
uma topologia para A, e cada coleo
r
o sistema de vizinhanas de r.
Demonstrao. Vejamos que t uma topologia.
claro que c t. Para provar que A t, seja r A e l
r
(lembre que
r
no-vazia por
hiptese). Como l A, segue de (d) que A
r
. Logo A t.
Seja \
I
t, para todo i 1, com r
_
I21
\
I
. Ento r \
I0
para algum i
0
1. Como \
I0
t e
r \
I0
temos \
I0

r
.Como \
I0

_
I21
\
I
, segue de (d) que
_
I21
\
I

r
. Logo
_
I21
\
I
t.
Sejam l, \ t e r l \ . Logo, l, \
r
e de (b) segue que l \
r
. Portanto l \ t.
Agora, provaremos que
r
o sistema de vizinhanas de r. Se l vizinhana de r, ento r i:t(l)
e, como i:t(l) t, segue que i:t(l)
r
(pela denio de t). Como i:t(l) l, de (d) segue que
l
r
.
Resta provar que todo l
r
vizinhana de r. Sejam l
r
e \ = j l; l
. Segue
de (a) que r \. (de fato, l
r
(a)
= r l e como l
r
e r l, segue que r \ ).
Vejamos que \ t. Dado j \ , temos que l
. Por (c), existe \
tal que \ l
e l
:
para todo . \. Segue, portanto, da denio de \ que \ \ (pois se . \, ento
. \ l e l
:
, e da segue que . \ ). De (d) segue que \
e portanto \ t (isso
consequncia da denio de t).
Finalmente, como r \ e \ t, segue que r i:t(\ ) i:t(l). Logo l vizinhana de r.
Denio 5.4. Uma base de vizinhanas em r em um espao topolgico A uma subcoleo
E
r
, com E
r
|
r
, tendo a propriedade que cada l |
r
contm algum \ E
r
. Assim, |
r
pode ser
determinado por E
r
da seguinte forma:
|
r
= l A; \ l para algum \ E
r
.
10 DANIEL PELLEGRINO
Uma vez escolhida uma base de vizinhanas em r, seus elementos so chamados vizinhanas bsicas.
Exemplo 5.5. Em qualquer espao topolgico, as vizinhanas abertas de r formam uma base de
vizinhanas em r.
Teorema 5.6. Seja A um espao topolgico e para cada r em A, seja E
r
uma base de vizinhanas
em r. Ento:
(a) Se \ E
r
, ento r \.
(b) Se \
1
, \
2
E
r
, ento existe um \
3
E
r
tal que \
3
\
1
\
2
.
(c) Se \ E
r
, ento existe um \
0
E
r
, \
0
\ , tal que se j \
0
, ento existe um \ E
com
\ \.
(d) G A aberto se, e somente se, G contm uma vizinhana bsica de cada um de seus pontos.
Demonstrao. Fcil. Vamos mostrar (c) e (d).
(c) Seja \ E
r
. Seja \
1
= i:t(\ ) |
r
(logo \
1
\ ). Logo, existe \
0
E
r
com \
0
\
1
. Se
j \
0
\
1
(aberto), temos que \
1
|
. Logo, existe \ E
com \ \
1
\.
A demonstrao de (d) tambm fcil. Com efeito, se G aberto, o prprio G uma vizinhaa de
seus pontos, e existe uma vizinhana bsica de cada um de seus pontos, contida em G. Reciprocamente,
se para cada r em G existe uma vizinhaa bsica \
r
de r, contida em G, temos que G =

r2c
i:t(\
r
).
Proposio 5.7. Seja A ,= c um conjunto. Para cada ponto r A associada uma coleo no-vazia
E
r
, de subconjuntos de A, satisfazendo (a),...,(c) do teorema anterior, com
(2) t
0
= G A; para cada r G existe \ E
r
tal que \ G
Ento t
0
uma topologia em A e cada E
r
uma base de vizinhanas de r.
Demonstrao. Para cada r A, considere
(3) |
r
= G A; G \ para algum \ E
r
.
Note que, pela denio acima, temos E
r
|
r
. Note que cada |
r
satisfaz as propriedades (a),...,(d)
da Proposio 5.2.
Vejamos (a). Se G |
r
, ento existe \ E
r
com \ G. Como, pelo Teorema 5.6 (a), sabemos
que r \ , segue que r G, e obtemos (a) da Proposio 5.2.
Vejamos (b). Se l
1
, l
2
|
r
, ento existem 1
1
, 1
2
E
r
tais que 1
1
l
1
e 1
2
l
2
. Logo, pelo
item (b) do Teorema 5.6, existe 1
3
E
r
com 1
3
1
1
1
2
l
1
l
2
. Logo, por (3) segue que
l
1
l
2
|
r
e obtemos (b) da Proposio 5.2.
Vejamos (c). Se l |
r
, existe 1 l, 1 E
r
. Pelo Teorema 5.6 (c), existe 1
0
E
r
|
r
tal que
1
0
1 e se j 1
0
, ento existe 1
, 1
1 l. Logo l |
para todo j 1
0
, e obtemos
(c) da Proposio 5.2.
Vejamos (d). Se G |
r
, ento existe \ E
r
com \ G. Logo, se G l, temos ainda \ l e
por isso segue que l |
r
e obtemos (d) da Proposio 5.2.
Note ainda que ( s fazer igualdade de conjuntos, usando as denies (3) e (2)):
t
0
= G A; G |
r
para cada r G .
Pela Proposio 5.3 temos que t
0
uma topologia em A e |
r
o sistema de vizinhanas de r em
(A, t
0
) para cada r A. Pela deinio de |
r
em (3) segue que E
r
uma base de vizinhanas de r
em (A, t
0
) para cada r A.
Teorema 5.8. Seja A um espao topolgico e suponha que uma base de vizinhanas tenha sido xada
em cada r A. Ento
(a) G A aberto se, e somente se, G contm uma vizinhana bsica de cada um de seus pontos.
(b) 1 A fechado se, e somente se, cada ponto r , 1 tem uma vizinhana bsica disjunta de 1.
(c) 1 = r A; cada vizinhana bsica de r intercepta 1
(d) i:t(1) = r A; alguma vizinhana bsica de r est contida em 1
(e) 1r(1) = r A; cada vizinhana bsica de r intercepta 1 e A 1.
Demonstro.
(a) a parte (d) do Teorema 5.6.
(b) Conseqncia imediata de (a), se lembrarmos que um conjunto fechado precisamente quando
seu complementar aberto.
(c) Lembre que 1 = 1 A; 1 fechado e 1 1. Se alguma vizinhana bsica l de r
no intercepta 1, ento r i:t(l) e 1 A i:t(l). Como A i:t(l) fechado, segue que
1 A i:t(l). Logo r , 1. Da
1 r A; cada vizinhana bsica de r intercepta 1.
Reciprocamente, se r , 1, ento A 1 um conjunto aberto contendo r, e portanto contm uma
vizinhana bsica de r. Portanto essa vizinhana bsica no pode interceptar 1.
(d) Pelo Exerccio 4.13 temos
i:t(1) = A A 1
= A r A; cada vizinhana bsica de r intercepta A 1
= r A; existe uma vizinhana bsica de r que no intercepta A 1
= r A; existe uma vizinhana bsica de r contida em 1.
(e)
1r(1) = 1 A 1
= r A; cada vizinhana bsica de r intercepta 1
r A; cada vizinhana bsica de r intercepta A 1
= r A; cada vizinhana bsica de r intercepta 1 e A 1.
Exerccio 5.9. Mostre que
1r(1) = 1 i:t(1).
Teorema 5.10 (Critrio de Hausdor). Para cada r A, seja E
1
r
uma base de vizinhanas de r para
uma topologia t
1
em A, e seja E
2
r
uma base de vizinhanas em r para uma topologia t
2
em A. Ento
t
1
t
2
se, e somente se, para cada r A, dado 1
1
E
1
r
, existe um 1
2
E
2
r
tal que 1
2
1
1
.
Demonstrao. Suponha t
1
t
2
. Seja 1
1
E
1
r
. Ento, como 1
1
vizinhana de r em (A, t
1
), r
est contido em algum elemento 1 de t
1
, com 1 1
1
. Como t
1
t
2
, temos que 1 t
2
e portanto
1 vizinhana de r em (A, t
2
). Logo existe 1
2
E
2
r
tal que 1
2
1 e da 1
2
1
1
.
Reciprocamente, se 1 t
1
, ento para cada r 1, existe 1
1
1 com 1
1
E
1
r
. Logo, usando
a hiptese, para cada r 1, temos que 1 contm algum 1
2
E
2
r
. Da 1 t
2
, pois 1 contm
vizinhanas bsicas de cada um de seus pontos.
O teorema anterior pode ser pensado da seguinte forma:
Pequenas vizinhanas fazem grandes topologias. Isso intuitivo, pois quanto menores so as
vizinhanas em um espao, mais fcil para um conjunto conter vizinhanas de todos os seus pontos.
Assim, mais fcil que o conjunto seja aberto.
Denio 5.11. Um ponto de acumulao de um conjunto em um espao topolgico A um
ponto r A tal que cada vizinhana (ou equivalentemente, cada vizinhana bsica) de r contm algum
ponto de , diferente de r. O conjunto
0
formado por todos os pontos de acumulao de chamado
derivado de .
Proposio 5.12. = '
0
.
Demonstrao. Do Teorema 5.8 (c), segue que
0
e, como , segue que '
0
. Por
outro lado, se r , ento cada vizinhana de r intercepta . Portanto, ou r est em ou cada
vizinhana de r intercepta em pontos diferentes de r. Da r '
0
.
6. Bases e sub-bases
Denio 6.1. Seja (A, t) um espao topolgico. Uma coleo E t uma base para t (s vezes
dizemos base para A) se dado l t, existe ( E tal que
l =
_
\ 2C
\.
Em palavras, todo aberto da topologia pode ser representado como unio de abertos da base.
Exerccio 6.2. Seja (A, t) um espao topolgico e E t. Mostre que E uma base para A se, e
somente se, sempre que G um aberto em A e j G, ento existe um 1 E tal que j 1 G.
Exemplo 6.3. Na reta real, a coleo de todos os intervalos abertos uma base para a topologia usual.
Mais geralmente, num espao mtrico ', a coleo de todas as bolas abertas centradas em pontos de
', uma base para '.
Teorema 6.4. Seja A ,= c um conjunto. E T(A) uma base para uma topologia em A se
(a) A =

12B
1 e
(b) sempre que 1
1
e 1
2
esto em E, com j 1
1
1
2
, existe um 1
3
em E tal que
j 1
3
1
1
1
2
.
Nesse caso, a topologia dada por t =
_

12C
1; ( E
_
.
Demonstrao. Seja t =
_

12C
1; ( E
_
. Note que A t por (a) e c t, pois c a unio de
elementos da subcoleo vazia de E.
Pela denio de t, temos que a unio de elementos de t ainda pertence a t.
Note que se l =

12B1
1 e \ =

c2B2
C so elementos de t (com E
1
E e E
2
E), ento
l \ =
_

12B1
1
_
_

c2B2
C
_
=

12B1
c2B2
(1 C) .
Para concluir que l \ t, basta mostrar que 1C t, pois j sabemos que unio de elementos de
t ainda pertence a t. Quando 1C = c, no h problema. Se 1C ,= c, ento, para cada j 1C,
(b) garante a existncia de 1
E com j 1
1 C. Logo
1 C =
_
21\c
1
t.
Logo, t uma topologia para A, e, pela denio de t, segue que E uma base para a topologia t
em A.
Por outro lado, fcil ver que se (A, t) um espao topolgico no vazio e E uma base para t, (a)
segue claramente, pois A aberto, e portanto A =

12C
1 com( E. Mas

12B
1 A =

12C
1

12B
1.
Tambm obtemos (b) facilmente, pois como 1
1
e 1
2
esto em E e j 1
1
1
2
, temos que 1
1
e 1
2
so abertos, e portanto 1
1
1
2
t. Assim, temos
(4) j 1
1
1
2
=

12C
1
com ( E, e segue de (4) que existe 1
3
( E, com j 1
3
1
1
1
2
.
Podemos enunciar, portanto, o seguinte:
Teorema 6.5. Seja A ,= c um conjunto. Suponha que E T(A) satisfaz
(a) A =

12B
1 e
(b) sempre que 1
1
e 1
2
esto em E, com j 1
1
1
2
, existe um 1
3
em E tal que
j 1
3
1
1
1
2
.
Ento E uma base para uma topologia t =
_

12C
1; ( E
_
em A. Reciprocamente, se (A, t) um
espao topolgico no vazio, e E T(A) uma base para t, ento E satisfaz (a) e (b).
O prximo terorema relaciona a base de uma topologia com bases de vizinhanas de pontos do
espao topolgico.
Teorema 6.6. Seja A ,= c um espao topolgico. Se E uma coleo de abertos em A, E uma base
para A se, e somente se, para cada r A, a coleo E
r
= 1 E; r 1 uma base de vizinhanas
em r.
Demonstrao. Suponha que E uma base para A. Para cada r em A, considere E
r
= 1 E; r
1. claro que E
r
,= c (pois r A t e portanto existe 1 E com r 1 A) e tambm claro
que os elementos de E
r
so vizinhanas de r. Seja l uma vizinhana de r. Ento r i:t(l) e, como
i:t(l) uma unio de elementos de E, existe algum 1 em E tal que r 1 i:t(l). Logo 1 E
r
e
1 l. Da conclumos que E
r
base de vizinhanas em r.
Reciprocamente, suponha que E uma coleo de abertos em A e para cada r, E
r
= 1 E; r 1
uma base de vizinhanas em r. Ento E

r2
E
r
. Seja l um aberto de A. Para cada j em l, existe
um elemento 1
de E
E tal que j 1
l. Logo l =

2I
1
e portanto l unio de elementos

de E. Da conclumos que E base para A.
Podemos tambm descrever a topologia com uma coleo menor que uma base:
Denio 6.7. Seja A um conjunto no vazio. Uma sub-base ( para uma topologia em A uma
coleo de subconjuntos de A cuja unio igual a A. A topologia gerada por uma sub-base ( denida
como a coleo t denida por
t =
_
12S
1; o T, e com T =
n
=1
o
; : N, o
(
formada por todas as unies de intersees nitas de elementos de ( .
Exerccio 6.8. Mostre que t denida acima de fato uma topologia. Sugesto: Mostre que T base
para t usando o Teorema 6.5.
Observao 6.9. A Denio 6.7 baseada no livro [Topology, a rst Course, de J.R. Munkres].
Alguns livros apresentam denies ligeiramente diferentes. Por exemplo, no livro de S. Willard, se
(A, t) um espao topolgico, uma sub-base para t uma coleo ( t tal que a coleo de todas
as intersees nitas de elementos de ( uma base para t (dentre essas intersees est a interseo
.2
). Note que se A = a, / e t = c, a, A, ento ( = a sub-base para t no sentido de S.
Willard, mas no no sentido da Denio 6.7, pois a unio dos elementos de ( no resulta em A.
importante lembrar que, quando trabalhamos com a denio do livro de S. Willard, usamos que,
num conjunto universo A, sempre temos

.2
= A.
Exerccio 6.10. Leia a observao anterior e considere a denio de sub-base do livro de S. Willard.
Mostre que nesse contexto qualquer coleo de subconjuntos de um conjunto A sub-base para uma
topologia em A.
Exerccio 6.11. Se t
o
uma famlia de topologias em A, mostre que

t
o
uma topologia em A.
Verique se, em geral,
_
t
o
uma topologia.
Exerccio 6.12. Seja t
o
uma famlia de topologias em A.
(i) Mostre que existe uma nica maior topologia contida em

t
o
(maior topologia signica uma
topologia que contm qualquer topologia que est contida

t
o
).
(ii) Mostre que existe uma nica menor topologia que contm
_
t
o
(menor topologia signica que
est contida em qualquer topologia que contenha
_
t
o
). Sugesto: mostre que se / =
_
t
o
, ento
E =
.2C
; ( / e ( nito base para uma topologia t que contm / (use o Teorema 6.5). Em
seguida, mostre que qualquer topologia que contm / deve necessariamente conter t. Da, obtenha a
unicidade.
Exerccio 6.13. Mostre que se E uma base para uma topologia em A, ento essa topologia coincide
com a interseo de todas as topologias que contm E. Prove o mesmo para uma sub-base.
7. Funes contnuas
Denio 7.1. Sejam A e 1 espaos topolgicos e seja ) : A 1 uma funo. Ento ) contnua
em r
0
A se, e somente se, para cada vizinhana \ de )(r
0
) em 1 , existir uma vizinhana l de r
0
em A tal que )(l) \. Dizemos que ) contnua em A se ) for contnua em cada ponto de A.
Exerccio 7.2. Mostre que na denio acima podemos trocar vizinhana por vizinhana bsica.
Exerccio 7.3. Mostre que na denio acima podemos trocar vizinhana por aberto
O prximo teorema nos d caracterizaes bastante teis de funes contnuas:
Teorema 7.4. Se A e 1 so espaos topolgicos e ) : A 1 uma funo, as seguintes armaes
so equivalentes:
(a) ) contnua,
(b) para cada aberto H em 1 , temos que )
1
(H) aberto em A,
(c) para cada fechado 1 em 1 , temos que )
1
(1) fechado em A
(d) para cada 1 A, )(C|
(1)) C|
Y
()(1)).
Demonstrao.
(a) = (/). Se H aberto em 1 , ento para cada r )
1
(H), H uma vizinhana de )(r). Pela
continuidade de ), existe uma vizinhana \ de r tal que )(\ ) H. Logo \ )
1
(H). Conclumos
que )
1
(H) contm uma vizinhana de cada um de seus pontos, e portanto )
1
(H) aberto.
(/) = (c). Se 1 fechado em 1 , ento )
1
(1 1) aberto em A. Ento
)
1
(1) = A )
1
(1 1)
e portanto )
1
(1) fechado em A.
(c) = (d). Seja 1 um fechado em 1 , com )(1) 1. Pela parte (c), temos que )
1
(1) fechado
em A e contm 1. Ento C|
(1) )
1
(1). Da )(C|
(1)) 1. Como isso vale para qualquer

conjunto fechado 1 contendo )(1), temos que
)(C|
(1)) C|
Y
()(1)).
(d) = (a). Seja r A e seja \ uma vizinhana de )(r). Podemos, se necessrio, diminuir \ e
consider-la aberta. Dena 1 = A )
1
(\ ) e l = A C|
(1).
Como, por hiptese, )(C|
(1)) C|
Y
()(1)), temos que r l. De fato, se fosse r , l, teramos
r C|
(1) e da
(5) )(r) )(C|
(1)) C|
Y
()(1)).
Mas
)(1) = )(A )
1
(\ )) 1 \
e \ aberto. Da 1 \ fechado e, pela denio de fecho, C|
Y
()(1)) 1 \. Como )(r) \ ,
temos que )(r) , C|
Y
()(1)) (isso contradiz (5)). Logo r l.
Alm disso, )(l) = )(A C|
(1)) )(A 1) = )()

1
(\ )) \ e ) contnua.
Teorema 7.5. Se A, 1 e 7 so espaos topolgicos e ) : A 1 e q : 1 7 so funes contnuas,
ento q ) : A 7 contnua.
Demonstrao. Se H aberto em 7, (q ))
1
(H) = )
1
(q
1
(H)) aberto em A, e portanto q )
contnua.
Exerccio 7.6. A funo caracterstica de um subconjunto de um conjunto A a funo (denotada
por 1
.
) de A em R que assume o valor 1 en pontos de e o valor zero nos outros pontos de A.
Mostre que 1
.
contnua em se, e somente se, aberto e fechado em A.
Exerccio 7.7. Mostre que A possui a topologia discreta (t = T(A)) se, e somente se, qualquer
) : A 1 contnua para qualquer espao topolgico 1 .
Exerccio 7.8. Mostre que A tem a topologia trivial se, e somente se, toda funo ) : 1 A for
contnua, para qualquer espao topolgico 1 .
Exerccio 7.9. Mostre que se ) : A 1 tal que )
1
() aberto para cada aberto de uma
sub-base da topologia de 1 , ento ) contnua. A recproca vale?
Exerccio 7.10. Se ) e q so funes contnuas de A em R, mostre que o conjunto dos pontos para
os quais )(r) = q(r) um conjunto fechado.
Exerccio 7.11. Se ) uma funo de um espao topolgico A no plano R
2
, podemos associar a ) as
funes coordenadas )
1
e )
2
, cada uma de A em R. Mostre que uma funo ) : A R
2
contnua
se, e somente se, as suas funes coordenadas so contnuas.
8. Subespaos e topologia relativa
Um subconjunto de um espao topolgico herda a topologia de maneira bastante natural:
Denio 8.1. Se (A, t) um espao topolgico e A, a coleo t
0
= G ; G t uma
topologia em , chamada topologia relativa. Um subconjunto de um espao topolgico (A, t), com
a topologia relativa, chamado subespao.
Sempre que usarmos uma topologia num subconjunto de um espao topolgico, assumiremos que
essa a topologia relativa (a menos que se diga algo em contrrio).
Exemplo 8.2. A reta, pensada como o eixo r do plano, herda a topologia do R
2
.
Exemplo 8.3. Os inteiros, como subespao da reta, herdam a topologia discreta (onde todos os
subconjuntos so abertos).
Teorema 8.4. Seja um subespao de um espao topolgico A. Ento,
(a) H aberto em se, e somente se, H = G , com G aberto em A,
(b) 1 fechado em se, e somente se, 1 = 1 , com 1 fechado em A,
(c) Se 1 , ento C|
.
(1) = C|
(1),
(d) Se r , ento \ uma vizinhana de r em se, e somente se, \ = l , onde l uma
vizinhana de r em A,
(e) Se r , e se E
r
uma base de vizinhanas para r em A, ento 1 ; 1 E
r
uma base
de vizinhanas para r em ,
(f ) Se E base para A, ento 1 ; 1 E base para .
Demonstrao. (a) imediato da denio da topologia relativa.
(b) Se 1 fechado em , ento 1 = C com C aberto em . Logo 1 = ( 1) com 1
aberto em A. Da 1 = (A 1). Como A 1 fechado em A, basta fazer A 1 = 1.
Reciprocamente, se 1 = 1 , com 1 fechado em A, ento
1 = (1 ) = (A 1).
Como A 1 aberto em A, segue que 1 aberto em e consequentemente 1 fechado em .
(c) Note que, como 1 , temos
C|
.
(1) = 1 ; 1 fechado em e 1 1
= 1; 1 fechado em A e 1 1
= 1; 1 fechado em A e 1 1
= (1 A; 1 fechado em A e 1 1)
= C|
(1).
(d) Seja \ vizinhana de r em . Ento existe um aberto l
0
de tal que r l
0
\. Mas
l
0
= l , com l aberto em A. Da
\ = [l ' (\ l)[
e como l ' (\ l) vizinhana de r em A, uma das implicaes est provada.
Por outro lado, suponha que \ = l e r \, onde l vizinhana de r em A. Ento, existe
um conjunto 1 aberto em A tal que r 1 l. Logo r 1 l = \ . Como 1 aberto
em , segue que \ vizinhana de r em .
(e) Seja r e \ uma vizinhana de r em . Pelo item (d), \ = l com l vizinana
de r em A. Como E
r
base de vizinhanas de r em A, existe 1 E
r
tal que r 1 l. Logo
r 1 l = \. Da 1 ; 1 E
r
base de vizinhanas de r em .
(f) Exerccio.
Exerccio 8.5. Seja A um espao topolgico e 1 A fechado em A. Se 1
1
1 fechado em 1,
mostre que 1
1
fechado em A.
Denio 8.6. Se ) : A 1 e A, denotaremos por ) [ a restrio de ) a , ou seja, a
funo de em 1 dada por () [ )(a) = )(a) para cada a em .
Proposio 8.7. Se A e ) : A 1 contnua, ento () [ ) : 1 contnua.
Demonstrao. Se H aberto em 1, ento () [ )
1
(H) = )
1
(H) , e este conjunto aberto
na topologia relativa de .
O prximo resultado uma espcie de recproca da proposio anterior:
Teorema 8.8. Se A = ' 1, com e 1 abertos (ou ambos fechados) em A, e ) : A 1 uma
funo tal que () [ ) e () [ 1) so contnuas, ento ) contnua.
Demonstrao. Suponha e 1 abertos e H aberto em 1 . Como
)
1
(H) = () [ )
1
(H) ' () [ 1)
1
(H),
e como () [ ) e () [ 1) so contnuas, temos que () [ )
1
(H) e () [ 1)
1
(H) so abertos em e 1,
respectivamente. Como e 1 so abertos em A, segue que () [ )
1
(H) e () [ 1)
1
(H) so tambm
abertos em A (verique!) Da )
1
(H) aberto em A, pois unio de abertos.
O caso em que ambos so fechados ca como exerccio.
Exerccio 8.9. Suponha 1 7 e ) : A 1. Mostre que ) contnua se, e somente se, ) vista como
funo de A em 7 contnua.
9. Homeomorfismos
Na passagem de A para sua imagem )(A) por uma funo contnua ), perdemos informao de
duas formas. A primeira delas no mbito de conjuntos: )(A) ter menos pontos que A (precisamente,
card()(A)) _ Card(A)). A segunda perda topolgica: para cada aberto de )(A), existe um
aberto em A associado a ele, mas ) no leva necessariamente abertos em abertos. Funes contnuas
bijetivas, que levam abertos em abertos tem um papel importante em topologia, e so chamadas de
homeomorsmos. Vamos denir, entretanto, homeomorsmo de uma maneira diferente, mas a seguir
veremos que as noes coincidem.
Denio 9.1. Se A e 1 so espaos topolgicos, ) : A 1 contnua , bijetiva e )
1
contnua,
dizemos que ) um homeomorsmo e que A e 1 so homeomorfos.
Se ) : A 1 injetiva e ) : A )(A) um homeomorsmo, dizemos que ) um mergulho
(embedding, em ingls) de A em 1, e que A est mergulhado em 1 por ).
O prximo resultado nos deixa vontade para escolher dentre vrias denies equivalentes de
homeomorsmos:
Teorema 9.2. Se A e 1 so espaos topolgicos e ) : A 1 bijetiva, as seguintes armaes so
equivalentes:
(a) ) um homeomorsmo,
(b) se G A, ento )(G) aberto em 1 se, e somente se, G aberto em A,
(c) se 1 A, ento )(1) fechado em 1 se, e somente se, 1 fechado em A,
(d) se 1 A, )(C|
(1)) = C|
Y
()(1)).
Demonstrao.
(a) = (/). Seja G aberto em A. Ento, )(G) coincide com ()
1
)
1
(G), que aberto em 1, pois
)
1
contnua.
Analogamente, se )(G) aberto em 1 , ento, como ) contnua, temos que G = )
1
()(G))
aberto em A.
(/) = (a). Claro, pois se G aberto em A, ento ()
1
)
1
(G) coincide com )(G), que aberto em
1. Da )
1
contnua
Analogamente, se H aberto em 1 , ento H = )(G) para algum G em A. Por hiptese, como H
aberto, temos que G aberto. Da )
1
(H) = G (aberto), e portanto ) contnua..
(a) = (c). Seja 1 fechado em A. Ento, )(1) coincide com ()
1
)
1
(1), que fechado em 1, pois
)
1
contnua.
Analogamente, se )(1) fechado em 1 , ento, como ) contnua, temos que 1 = )
1
()(1))
fechado em A.
(c) = (a). Claro, pois se 1 fechado em A, ento ()
1
)
1
(1) coincide com )(1), que fechado
em 1. Da )
1
contnua.
Analogamente, se H fechado em 1 , ento H = )(G) para algum G em A. Por hiptese, como H
fechado, temos que G fechado. Da )
1
(H) = G (fechado), e portanto ) contnua.
(a) = (d) Como ) contnua, temos
(6) )(C|
(1)) C|
Y
()(1)).
Como )
1
contnua, temos )
1
(C|
Y
()(1))) C|
()
1
()(1))). Da, aplicando ), temos
(7) C|
Y
()(1)) )(C|
(1)).
De (6) e (7) segue o resultado.
(d) = (a). Como )(C|
(1)) C|
Y
()(1)), temos que ) contnua. Resta-nos provar a continuidade
de )
1
.
Como C|
Y
()(1)) )(C|
(1)) para todo 1, escolha G em 1 e 1 = )

1
(G). Da segue que
C|
Y
()()
1
(G))) )(C|
()
1
(G))).
Aplicando )
1
, temos
)
1
(C|
Y
(G)) C|
()
1
(G))
e portanto )
1
contnua e temos um homeomorsmo.
Espaos topolgicos homeomorfos, em topologia, so pensados como iguais. Se denotarmos a
propriedade A homeomorfo a 1 por A s 1 , a relaao s ser uma relao de equivalncia em
qualquer conjunto formado por espaos topolgicos, pois:
A s A,
se A s 1, ento 1 s A,
se A s 1 e 1 s 7, ento A s 7.
Para provar que dois espaos topolgicos no so homeomorfos, comum procurarmos alguma
propriedade topolgica que algum deles satisfaa e o outro no. Precisamente, uma propriedade
topolgica uma propriedade de espaos topolgicos que, se A a possui, ento todos espaos
homeomorfos a A tambm possuem.
Exerccio 9.3. Mostre que a reta R homeomorfa aos intervalos abertos.
Exerccio 9.4. Mostre que em R, todos intervalos fechados e limitados so homeomorfos.
Exerccio 9.5. Mostre que ser metrizvel uma propriedade topolgica.
Exerccio 9.6. Mostre que ter cardinalidade uma propriedade topolgica.
Em um espao vetorial A, s vezes temos uma forma de comparar a proximidade entre vetores
arbitrrios. Tomando a reta e o valor absoluto como modelo, denimos uma norma em um espao
vetorial A como uma funo |.| : A R que satisfaz as seguintes propriedades:
i) |r j| _ |r| |j| para quaisquer r, j em A.
ii) |r| = 0 = r = 0.
iii) |`r| = [`[ |r| para todo ` no corpo de escalares de A e para todo r em A.
Um espao vetorial munido de uma norma chamado espao vetorial normado (evn). Se A e
1 so evn, uma funo T de A em 1 chamada operador linear se
T(a /) = T(a) T(/),
T(`a) = `T(a),
para quaisquer a, / em A e ` real.
Um operador linear T de A em 1 denido como limitado quando existe ' tal que |T(r)| _
' |r| , para todo r em A. Note que aqui abusamos um pouco da notao, usando o mesmo smbolo
para normas em A e 1 .
Exerccio 9.7. Mostre que um operador linear limitado se, e somente se,
sup|T(r)| ; r A, |r| = 1 <
Exerccio 9.8. Mostre que para um operador linear T de A em 1 , as seguintes armaes so
equivalentes:
(a) T contnuo em algum r
0
em A,
(b) T limitado.
Exerccio 9.9. Mostre que, se A um espao vetorial normado de dimenso innita, existem
operadores lineares T : A R que no so contnuos.
10. Espaos produto e topologias fracas
Nesta seo vamos denir uma topologia natural no produto cartesiano de espaos topolgicos.
Denio 10.1. Seja A
o
um conjunto para cada c em I. O produto cartesiano dos conjuntos A
o
o conjunto
(8)

o2
A
o
=
_
r : I

o2
A
o
; r(c) A
o
para cada c I
_
,
que denotamos simplesmente por
A
o
se no houver possibilidade de confuso em relao ao conjunto
de ndices. Na prtica, o valor de r(c) denotado por r
o
.
A funo
o
:
A
o
A
o
, denida por
o
(r) = r
o
, chamada a ,-sima projeo.
Se cada A
o
um espao topolgico, vamos denir, em

A
o
, uma topologia que seja compatvel
com algumas exigncias. Queremos, por exemplo, que a topologia em RR seja a topologia usual do
R
2
.
Poderamos pensar em denir uma topologia para

A
o
simplesmente tomando

l
o
(com l
o
aberto em A
o
) como base. Entretanto essa topologia, chamada de box topology gera muitos
abertos, e no to interessante na prtica. A seguinte denio mais til:
Denio 10.2. Sejam (A
o
, t
o
) espao topolgicos, para todo c . A topologia produto (ou
topologia de Tychono) em
o2.
A
o
obtida tomando como base os conjuntos da forma
o2.
l
o
,
onde
(a) l
o
aberto em A
o
para cada c,
(b) l
o
= A
o
, exceto para uma quantidade nita de ndices.
Note que (verique!) (a) pode ser substituda por
(a)
0
l
o
E
o
, para cada c, onde E
o
uma base (xa) para a topologia de A
o
, para cada c.
Note que

o2.
l
o
com l
o
= A
o
exceto para c = c
1
, ..., c
n
, pode ser escrito como
o2.
l
o
=
1
o1
(l
o1
) ...
1
on
(l
on
).
Ento, a topologia produto precisamente a topologia que tem como sub-base a coleo
1
o
(l
o
); c
, l
o
aberto em A
o
ou ainda
1
o
(l
o
); c , l
o
E
o
, com E
o
base de A
o
. De agora em diante,
a topologia de

A
o
ser sempre a topologia produto, exceto se algo for mencionado em contrrio.
interessante notar que no caso de produtos cartesianos nitos, a topologia produto coincide com a
box topology.
Exemplo 10.3. Seja A um conjunto qualquer e 1 = ) : A 1; ) uma funo. De acordo com
(8) podemos interpretar 1 como sendo 1 =

o2
7
o
, com 7
o
= R para todo c.
Um elemento da base da topologia produto de 1 algo do tipo:
l =
1
o1
(l
o1
) ...
1
on
(l
on
)
com l
oj
, , = 1, ..., :, elementos da base (natural) da topologia de R. Assim, cada l
oj
um intervalo
de raio c
centrado num certo /
e
(9) l = q 1 ; [q(c
) /
[ < c
, para , = 1, ..., :.
Lembre-se que o Teorema 6.6 diz que se E uma coleo de abertos em 1 , E uma base para 1
se, e somente se, para cada j 1 , a coleo E
= 1 E; j 1 uma base de vizinhanas em j.

Seja ) : A R uma funo. Uma base de vizinhanas de ) ser, portanto, formada por abertos
como l em (9), que contm ). Portanto,
E
}
= l satisfazendo (9) para certos c
, /
, c
, :, tais que ) l .
uma base de vizinhanas de ). Seja (
}
E
}
denida por
(
}
=
_
\
(},o1,...,on,:)
= q 1 ; [q(c
) )(c
)[ < -, para , = 1, ..., :,

com c
1
, ..., c
n
A, - 0 e : N
_
.
Portanto, os elementos de (
}
so vizinhanas de ) (isto , esto em |
}
). Se |
}
, ento existe
1 E
}
com 1 , e tambm existe C (
}
com C 1 (verique!), e portanto C . Logo, usando
a Denio 5.4 segue que (
}
base de vizinhanas de ). Em resumo, uma base de vizinhanas de )
formada por todos os conjuntos da forma
\
(};J;:)
= q 1 ; [q(r) )(r)[ < -, para r 1,
onde 1 varia pelos subconjuntos nitos de A e - varia dentre os reais positivos.
Denio 10.4. Sejam A e 1 espaos topolgicos e ) : A 1. Dizemos que ) uma aplicao
aberta (fechada) quando para cada aberto (fechado) de A, temos que )() aberto (fechado) em 1 .
Proposio 10.5.
o
:
A
o
A
o
contnua e aberta, mas no necessariamente fechada.
Demonstrao. Note que
1
: R
2
R no fechada. De fato, o conjunto
1 = ([1, 2[ 0) ' ([1,2, 1[ 1) ' ([1,8, 1,2[ 2) ' ([1,4, 1,8[ 8) ' ...
fechado, mas
1
(1) = (0, 2[.
Por outro lado, se l
o
aberto em A
o
, temos que
1
o
(l
o
) =
l
o
com l
o
= A
o
se c ,= ,. Assim,
pela denio da topologia produto, segue que
o
contnua. Resta-nos vericar que uma aplicao
aberta. Se aberto em

A
o
, temos que unio dos elementos da base. Assim,
=
_
X
_
1
o
1;
(l
X
1
) ...
1
o
n
;
(l
X
n
)
_
.
Logo
o
() =
_
X
o
_
1
o
1;
(l
X
1
) ...
1
o
n
;
(l
X
n
)
_
.
Da conclumos que
o
() A
o
ou
o
() uma unio de abertos de A
o
. Em todo caso,
o
()
aberto.
A seguir, introduzimos o conceito de topologia fraca.
Denio 10.6. Sejam A ,= c um conjunto, A
o
espaos topolgicos com )
o
: A A
o
funes, para
cada c I. A topologia fraca induzida em A pela coleo )
o
; c I a topologia que tem como
sub-base a famlia )
1
o
(\
o
); \
o
aberto em A
o
, c I.
Observao 10.7. Note que se A
o
o2.
uma famlia de espaos topolgicos, a topologia produto
em

o2.
A
o
a topologia fraca em

o2.
A
o
induzida pelas projees
o
; c .
Proposio 10.8. Se A tem a topologia fraca induzida pela coleo )
o
; c I, com )
o
: A A
o
,
ento ) : 1 A contnua se, e somente se, )
o
) : 1 A
o
contnua para cada c.
Demonstrao. Se ) contnua, como cada )
o
contnua, claro que cada )
o
) contnua.
Reciprocamente, suponha que cada )
o
) seja contnua. Para mostrar que ) contnua, basta mostrar
que )
1
(G) aberto para cada G aberto da base da topologia fraca em A. Um aberto da base da
topologia fraca de A representado como
G = )
1
o1
(\
o1
) )
1
on
(\
on
).
Logo,
)
1
(G) = )
1
_
)
1
o1
(\
o1
) )
1
on
(\
on
)
_
= ()
o1
))
1
(\
o1
) ()
on
))
1
(\
on
),
que aberto, pois cada )
o
) contnua, por hiptese.
Corolrio 10.9. Uma aplicao ) : A

A
o
contnua se, e somente se,
o
) contnua para
cada c.
Exerccio 10.10. Mostre que
(10) i:t(1) = i:t() i:t(1)
e
(11) (1) = 1.
Exerccio 10.11. Mostre que (10) em geral no pode ser generalizada para um produto cartesiano
innito, mas (11) pode.
Exerccio 10.12. Seja
=
_
X2
X
unio disjunta; para cada c seja A
o
um espao topolgico. Mostre que
X2
_

o2.
A
o
_
homeomorfo a

o2.
A
o
.
Exerccio 10.13. Seja , : 1 uma bijeo e suponha que para cada a , o espao topolgico
A
o
homeomorfo a 1
,(o)
. Mostre que

o2.
A
o
homeomorfo a

o21
1
o
.
Exerccio 10.14. Seja A
o
um espao topolgico no-vazio, para cada c ; seja A =

o2.
A
o
. Se
/
o
um ponto xo em A
o
, para cada c , mostre que
1 = r A; r
o
= /
o
exceto por uma quantidade nita de c
denso em A.
Exerccio 10.15. (Este exerccio requer algum conhecimento de Anlise Funcional) A topologia fraca
induzida em A pela coleo de todos os operadores lineares contnuos de A em R tem um papel
importante na Anlise Funcional. Sejam A um espao vetorial normado, A
= ) : A R operadores
lineares contnuos e A
= ) : A
R operadores lineares contnuos. Seja 1 o conjunto formado

pelas aplicaes T : A
R tais que existe r em A para o qual T()) = )(r). A topologia fraca em

A
induzida por 1 chamada, em Anlise Funcional, de topologia fraca estrela. Mostre que a
topologia fraca estrela est contida na topologia fraca em A
induzida por A

11. Espaos Quocientes
A noo de espao quociente semelhante de topologia fraca. Se 1 um conjunto qualquer e
(A
o
)
o2
so espaos topolgicos, a topologia forte t
(})
em 1 induzida por uma coleo de funes
)
o
: A
o
1 denida por
t
(})
= G 1 ; )
1
o
(G) aberto em A
o
para todo c I.
Perceba que qualquer topologia em 1, para a qual todas as )
o
so contnuas, deve necessariamente
estar contida na topologia forte t
(})
.
Exerccio 11.1. Verique que t
(})
de fato uma topologia.
Denio 11.2. Se A um espao topolgico, 1 um conjunto qualquer e q : A 1 uma funo
sobrejetiva, ento a coleo t
de subconjuntos de 1 denida por

t
= G 1 ; q
1
(G) aberto em A
uma topologia em 1 , chamada topologia quociente induzida por q em 1. Quando 1 munido de
alguma topologia quociente, dizemos que 1 um espao quociente e q a aplicao quociente.
Proposio 11.3. Se A e 1 so espaos topolgicos e ) : A 1 sobrejetiva contnua e aberta (ou
fechada), ento a topologia t de 1 coincide com a topologia t
}
.
Demonstrao. Suponha que ) seja sobrejetiva, contnua e aberta. claro que t t
}
. Mas, se
l t
}
, segue que )
1
(l) aberto em A. Mas, como ) aberta, l = )()
1
(l)) aberto na topologia
t. Da conclumos que as topologias so iguais.
O caso de ) ser fechada ca como exerccio.
O resultado fundamental a respeito de topologias quociente o seguinte:
Teorema 11.4. Seja 1 um espao topolgico munido da topologia quociente induzida pela aplicao
sobrejetiva ) : A 1. Ento, para um espao topolgico arbitrrio 7 e q : 1 7 qualquer, temos
que q contnua se, e somente se, q ) : A 7 contnua.
Demonstrao. Se q contnua, claro que q ) tambm , pois composta de funes contnuas
ainda uma funo contnua (Teorema 7.5).
Reciprocamente, suponha que q ) contnua. Seja l um aberto em 7. Ento
)
1
(q
1
(l)) = (q ))
1
(l)
aberto em A. Como 1 munido da topologia quociente, e como )
1
(q
1
(l)) aberto, segue que
q
1
(l) aberto em 1 . Da conclumos que q contnua.
12. Convergncia de seqncias
Denio 12.1. Uma seqncia (r
n
)
1
n=1
em um espao topolgico A converge para r A (r
n
r)
quando para cada vizinhana l de r, existir um inteiro positivo :
0
tal que : _ :
0
implica r
n
l.
claro que na denio acima, podemos substituir vizinhana por vizinhana bsica.
Exemplo 12.2. Se (A, d) um espao mtrico, ento r
n
r se, e somente se, d(r
n
, r) 0.
Exemplo 12.3. Em R
R
, a seqncia )
n
converge a ) se, e somente se, )
n
(r) )(r) para cada
r real. De fato, suponha )
n
). Ento, para cada r
0
real, considere 1 = r
0
e a vizinhana
bsica \
(},J,:)
= q R
R
; [q(r
0
) )(r
0
)[ < - de ). Logo, existe :
0
natural tal que : _ :
0
implica
)
n
\
(},J,:)
. Da, : _ :
0
= [)
n
(r
0
) )(r
0
)[ < - e )
n
(r
0
) )(r
0
).
Reciprocamente, suponha )
n
(r) )(r) para cada r real. Seja \
(},J,:)
uma vizinhana bsica de ).
Como 1 nito, temos 1 = r
1
, ..., r
:
. Podemos ento encontrar um :
0
sucientemente grande de
modo que : _ :
0
= [)
n
(r
) )(r
)[ < - para cada , = 1, ..., r. Portanto, : _ :

0
= )
n
\
(},J,:)
e
)
n
).
Denio 12.4. Um espao topolgico satisfaz o primeiro axioma da enumerabilidade quando
cada r A possui uma base enumervel de vizinhanas.
Como, em espaos mtricos ', as bolas centradas em r ' com raio racional formam uma
base de vizinhanas ao redor de r, os espaos mtricos sempre satisfazem o primeiro axioma da
enumerabilidade.
Exerccio 12.5. Um espao topolgico A satisfaz o segundo axioma da enumerabilidade se a
topologia possui uma base enumervel. Mostre que se A satisfaz o segundo axioma, ento satisfaz o
primeiro. Mostre ainda que R com a topologia discreta satisfaz o primeiro axioma, mas no satisfaz o
segundo.
Teorema 12.6. Se A satisfaz o primeiro axioma da enumerabilidade e 1 A, ento r 1 se, e
somente se, existe uma seqncia (r
n
)
1
n=1
em 1 que converge para r.
Demonstrao Seja r 1. Seja l
n
; : = 1, 2, ... uma base enumervel de vizinhanas de r.
Substituindo l
n
por
n
|=1
l
|
, se necessrio, podemos supor
l
1
l
2

Como l
n
,= c para cada :, escolhemos r
n
l
n
1. Obtemos, portanto, uma seqncia (r
n
) contida
em 1, convergindo para r.
Reciprocamente, suponha que (r
n
)
1
n=1
uma seqncia contida em 1 e r
n
r. Ento, pela
denio de convergncia, cada vizinhana de r contm o rabo da seqncia (r
n
)
1
n=1
e portanto
intercepta 1, e r
_
1.
Corolrio 12.7. Sejam A e 1 espaos que satisfazem o primeiro axioma da enumerabilidade. Ento
(a) l A aberto se, e somente se, sempre que r
n
r l, ento existe :
0
tal que
: _ :
0
= r
n
l.
(b) 1 A fechado se, e somente se, sempre que (r
n
)
1
n=1
1 e r
n
r, ento r 1.
(c) ) : A 1 contnua se, e somente se, sempre que r
n
r em A, ento )(r
n
) )(r) em 1.
Demonstrao.
(a) Se l A aberto e r
n
r l, como l vizinhana de r, existe :
0
N tal que r
n
l
para todo : _ :
0
.
Por outro lado, suponha que sempre que r
n
r l, ento existe :
0
tal que : _ :
0
= r
n
l.
Suponha, por contradio, que l no seja aberto. Existe, ento, um ponto r l que no interior.
Dada uma base enumervel de vizinhanas l
n
; : = 1, 2, ... de r, podemos supor, como no Teorema
12.6, l
1
l
2
..... Para cada :, existe r
n
l
n
l e portanto, r
n
r e no existe :
0
tal que tal
que : _ :
0
= r
n
l (absurdo).
(b) Seja 1 A fechado e seja (r
n
)
1
n=1
uma seqncia em 1, convergindo para r. Se fosse r , 1,
teramos r A 1 (aberto). Logo, como r
n
r, existe :
0
N tal que
: _ :
0
= r
n
A 1.
Logo r
n0
1 (A 1), o que um absurdo.
Agora, suponhamos que sempre que r A tal que existe (r
n
)
1
n=1
1, com r
n
r, temos r 1.
Se j 1, ento, pelo Teorema 12.6, existe (j
n
)
1
n=1
1, com j
n
j. Mas, pelo que estamos supondo,
isso implica que j 1. Logo 1 1 e segue que 1 fechado.
A demonstrao de (c) ca como exerccio.
O resultado anterior nos mostra que em espaos que satisfazem o primeiro axioma da
enumerabilidade, a convergncia por meios de seqncias caracteriza completamente os abertos e os
fechados, ou seja, descrevem a topologia. natural que primeira vista imaginemos que isso acontece
com qualquer espao topolgico, mas o exemplo a seguir mostra que isso em geral no verdade.
Exemplo 12.8. Considere A = R
R
= ) : R R; ) uma funo qualquer com a topologia produto
e
1 = ) R
R
; )(r) = 0 ou 1 e )(r) = 0 apenas nitas vezes.
Seja q R
R
a funo identicamente nula. Ento, se l
uma vizinhana bsica de q, temos

l
= / R
R
; [/(j) q(j)[ < - se j 1 = / R
R
; [/(j)[ < - se j 1
para algum conjunto nito 1 R e algum - 0.
Seja /
Ig
1 a funo tal que /
Ig
(r) = 0 para r 1 e 1 para r , 1. Temos que /
Ig
l
1.
Portanto, q C|
1. Por outro lado, se ()

n
)
1
n=1
uma seqncia em 1 e
n
= r R; )
n
(r) = 0,
temos que cada
n
nito.
Se )
n
, R
R
, vimos anteriormente que )
n
(r) ,(r) para todo r R. Logo, como cada )
n

nula num conjunto nito
n
e igual a 1 no seu complementar, teremos
,(r) = 1 para todo r ,
1
_
n=1
n
.
Logo , ,= q. Concluso: q C|
1 e nenhuma seqncia ()
n
)
1
n=1
em 1 converge para q. Logo, o
Teorema 12.6 no vlido nesse contexto.
Exerccio 12.9. Para a reta com a topologia t = c, R, estude a convergncia da seqncia (
1
n
)
1
n=1
.
13. Redes
Vimos na seo anterior que, em geral, seqncias no descrevem bem as topologias. Por exemplo,
o Exemplo 12.8 mostra que no sempre possvel caracterizar os fechados de um espao topolgico
por meio de seqncias. De fato, vimos que podemos encontrar um ponto de acumulao de um
conjunto 1 A sem que exista uma seqncia (r
n
) em 1 convergindo para esse ponto. H duas
generalizaes clssicas do conceito de seqncia, que consertam essa limitao das seqncias: redes
e ltros. O conceito de redes originou-se com trabalhos de Moore-Smith e o conceito de ltros deve-se
a E. Cartan.
Denio 13.1. Um conjunto A dito conjunto dirigido quando existe uma relao _ em A
satisfazendo:
a) ` _ ` para todo ` A,
b) se `
1
_ `
2
e `
2
_ `
3
, ento `
1
_ `
3
,
c) se `
1
, `
2
A, ento existe algum `
3
A tal que `
1
_ `
3
e `
2
_ `
3
.
Dizemos que a relao _ uma direo para o conjunto A. s vezes dizemos que a relao _
dirige o conjunto A. Note que no se exige a propriedade anti-simtrica, ou seja, se `
1
_ `
2
e `
2
_ `
1
no se tem necessariamente que `
1
= `
2
.
Note se A um conjunto com mais de um elemento, a relao r _ j para quaisquer r, j em A,
dirige A, mas no anti-simtrica.
Denio 13.2. Uma rede em um conjunto A uma funo 1 : A A, onde A um conjunto
dirigido. O ponto 1(`) usualmente denotado por r
X
, e ns usualmente escrevemos a rede (r
X
)
X2
se isso no causar confuso.

Denio 13.3. Uma subrede de uma rede 1 : A A a composio 1 , : ' A, onde
, : ' A uma funo de um conjunto dirigido ' em A, que satisfaz as seguintes propriedades:
a) ,(j
1
) _ ,(j
2
) sempre que j
1
_ j
2
(, crescente)
b) para cada ` em A, existe um j ' tal que ` _ ,(j) (, conal em A).
Para j ', o ponto 1 ,(j) em geral escrito como r
X
, e escrevemos a subrede (r
X
) de (r
X
).
A denio de convergncia em redes naturalmente modelada pela denio de convergncia em
seqncias:
Denio 13.4. Seja (r
X
)
X2
uma rede em um espao topolgico A. Dizemos que (r
X
) converge
para r A (escrevemos r
X
r) se para cada vizinhana l de r, existir algum `
0
A tal que ` _ `
0
implica r
X
l. Logo, r
X
r se, e somente se, cada vizinhana de r tem um "rabo"de (r
X
).
Dizemos que uma rede (r
X
) est em um conjunto se r
X
para todo `. Se existe `
0
A tal que
r
X
est em para todo ` _ `
0
, dizemos que (r
X
) est residualmente em . Quando para cada `
0
existe um ` _ `
0
tal que r
X
, dizemos que (r
X
) est frequentemente em . Quando (r
X
) est
frequentemente em cada vizinhana de r, dizemos que r ponto de acumulao da rede (r
X
).
Note que em ambas as denies acima podemos nos restringir a uma base de vizinhanas de r.
Exerccio 13.5. Uma rede no pode estar residualmente em dois conjuntos disjuntos.
Exerccio 13.6. Se uma rede (r
X
) converge para r, mostre que r ponto de acumulao dessa rede.
Exemplo 13.7. Seja A um espao topolgico, r A e A uma base de vizinhanas de r em A. A
relao de ordem l
1
_ l
2
= l
2
l
1
dirige o conjunto A. Portanto, se tomarmos um r
I
l
para cada l A, temos uma rede (r
I
) em A. Note que r
I
r. De fato, dada uma vizinhana \
de r, podemos encontrar l
0
\ para algum l
0
em A. Ento l _ l
0
implica l l
0
e portanto
r
I
l \.
Exemplo 13.8. O conjunto N dos naturais positivos com sua ordem natural um conjunto dirigido.
Ento toda seqncia (r
n
)
1
n=1
uma rede.
Note que toda subseqncia de uma seqncia (r
n
)
1
n=1
uma subrede. Entretanto, no h garantia
de que uma subrede de (r
n
)
1
n=1
seja uma subseqncia. Uma subrede pode ter mais ndices que a
prpria rede!
Exemplo 13.9. A coleo T de todas as parties nitas do intervalo fechado [a, /[ em subintervalos
fechados um conjunto dirigido, quando munido da relao
1
_
2
= (
2
rena
1
). Ento, se
) uma funo de [a, /[ tomando valores na reta real, podemos denir a rede 1
1
: T R denindo
1
1
() como a soma inferior de Riemann de ) na partio . De modo semelhante, podemos denir
1
S
: T R como a soma superior de Riemann de ) na partio . A convergncia dessas duas redes
para um nmero c signica que
b
_
o
)(r)dr = c.
Exemplo 13.10. Seja (', j) um espao mtrico, com r
0
'. Ento ' r
0
um conjunto
dirigido se considerarmos a relao r < j = j(j, r
0
) < j(r, r
0
). Ento se ) : ' uma funo
com sendo um espao mtrico, a restrio de ) a ' r
0
uma rede em . Vamos vericar que
essa rede converge a .
0
em se, e somente se, lim
r!r0
)(r) = .
0
no sentido usual.
De fato, suponha que a rede converge para .
0
. Seja l uma vizinhana de .
0
em . Ento, como
a rede converge para .
0
, existe j
0
em ' tal que r j
0
implica )(r) l. Em outras palavras,
j(r, r
0
) < j(j
0
, r
0
) implica )(r) l. Da, lim
r!r0
)(r) = .
0
.
Reciprocamente, se lim
r!r0
)(r) = .
0
, ento dada uma vizinhana l de .
0
, existe uma vizinhana
\ de r
0
tal que r \ implica )(r) l. Escolha - (sucientemente pequeno) de modo que a bola de
centro r
0
e raio - esteja em \ . Escolha j
0
nessa bola. Logo, se r j
0
, ento j(r, r
0
) < j(j
0
, r
0
) e
portanto r \ e )(r) l. Consequentemente, a rede ) : ' converge para .
0
.
Denio 13.11. Dizemos que um espao topolgico A um espao de Hausdor se para cada
r
1
e r
2
, elementos distintos de A, existem abertos disjuntos que separam r
1
e r
2
.
Teorema 13.12. Um espao topolgico um espao de Hausdor se, e somente se, toda rede nesse
espao converge para no mximo um ponto.
Demonstrao. Seja A um espao de Hausdor e a
1
, a
2
elementos distintos em A. Existem,
portanto, abertos l
1
e l
2
, disjuntos, contendo r
1
e r
2
, respectivamente. Como uma rede no pode
estar eventualmente em dois conjuntos disjuntos, segue que uma rede no pode convergir para dois
valores distintos.
Reciprocamente, suponha que A no Hausdor. Existem, portanto, dois elementos distintos, r
1
e r
2
em A tais que sempre que \
1
vizinhana de r
1
e \
2
vizinhana de r
2
, temos que \
1
\
2
,= c.
Sejam|
1
e |
2
as famlias de vizinhanas de r
1
e r
2
, respectivamente. No conjunto |
1
|
2
consideramos
a direo (\
1
, \
2
) _ (\
1
, \
2
) = \
1
\
1
e \
2
\
2
. Considere uma rede 1 : |
1
|
2
A dada
por 1(\
1
, \
2
) = r
\1,\2
, onde r
\1,\2
escolhido em \
1
\
2
. Mostraremos que essa rede converge para
r
1
e para r
2
. Sejam, portanto, dadas vizinhanas \
1
de r
1
e \
2
de r
2
. Ento (, 1) _ (\
1
, \
2
), temos
r
.,1
1 \
1
\
2
e consequentemente a rede converge para os dois valores.
Exerccio 13.13. Se um espao Hausdor, mostre que toda seqncia converge para, no mximo,
um ponto.
Exerccio 13.14. Se toda seqncia em um espao topolgico converge para no mximo um elemento,
podemos concluir que ele Hausdor? Justique.
Sugesto. Pense no Exerccio 4.2 com A = R.
Exerccio 13.15. Mostre que se (r
X
) converge para r, cada subrede de (r
X
) converge para r.
Teorema 13.16. Uma rede em A tem um ponto de acumulao j se, e somente se, ela possui uma
subrede que converge para j.
Demonstrao. Seja j um ponto de acumulao da rede (r
X
)
X2
(que tambm denotaremos por
1 : A A). Dena
' = (`, l); ` A, l uma vizinhana de j tal que r
X
l,
e considere a relao _ como segue:
(`
1
, l
1
) _ (`
2
, l
2
) = `
1
_ `
2
e l
2
l
1
.
Note que _ uma direo para '. Dena , : ' A por ,(`, l) = `. Ento , obviamente
crescente e conal em A, e portanto dene uma subrede de (r
X
). Seja l
0
uma vizinhana de j e seja
`
0
tal que r
X0
l
0
. Ento (`
0
, l
0
) ' e
(`, l) _ (`
0
, l
0
) = l l
0
.
Logo (`, l) _ (`
0
, l
0
) = r
X
l l
0
. Da a subrede denida por 1 , : ' A converge para j.
Para provar a outra implicao, suponha que , : ' A seja uma aplicao crescente e conal,
dando origem a uma subrede 1 , : ' A de (r
X
) que converge para j. Ento, para cada vizinhana
l de j, existe um :
I
' tal que : _ :
I
implica 1 ,(:) l.
Sejam l uma vizinhana de j e `
0
A xos, arbitrrios. Como ,(') conal em A, existe
:
0
' tal que ,(:
0
) _ `
0
. Mas, tambm existe um :
I
' tal que : _ :
I
implica 1 ,(:) l.
Escolha :
' tal que :
_ :
0
e :
_ :
I
. Ento `
= ,(:
) _ ,(:
0
) _ `
0
. Assim
1(`
) = 1 ,(:
) l, pois :
_ :
I
. Logo, para qualquer vizinhana l de j e qualquer `
0
A,
existe algum `
_ `
0
tal que r
X
l. Segue que j um ponto de acumulao de (r
X
).
Corolrio 13.17. Se uma subrede de (r
X
) tem j como ponto de acumulao, ento (r
X
) tambm.
Demonstrao. Basta observar que uma subrede de uma subrede ainda uma subrede, e aplicar o
teorema anterior.
O prximo resultado caracteriza o fecho de um conjunto com a noo de redes:
Teorema 13.18. Se 1 A, ento r 1 se, e somente se, existe uma rede (r
X
) em 1 com r
X
r.
Demonstrao. Se r 1, ento cada vizinhana l de r intercepta 1 em pelo menos um ponto r
I
.
Ento (r
I
) uma rede contida em 1 convergindo para r (veja 13.7).
Reciprocamente, se (r
X
) uma rede contida em 1 que converge para r, ento cada vizinhana de
j intercepta 1 (em um rabo de (r
X
)) e portanto r 1.
Corolrio 13.19. Um subconjunto 1 de um espao topolgico A fechado se, e somente se, sempre
que (r
X
) 1 com r
X
r, ento r 1.
Demonstrao. (=) Suponha 1 fechado. Suponha ainda que (r
X
) seja uma rede em 1 que converge
para r. Logo, pelo Teorema 13.18, temos que r 1. Como 1 fechado, temos 1 = 1 e portanto
r 1.
(=) Suponha que sempre que (r
X
) seja uma rede em 1 que converge para r, tenhamos r 1. Se
r 1, pelo Teorema 13.18, existe uma rede que converge para r. Usando a hiptese,segue que r 1.
Logo 1 = 1.
Exerccio 13.20. Seja ) : A 1 uma funo. Mostre que ) contnua em um ponto r
0
A se, e
somente se,
r
X
r
0
= )(r
X
) )(r
0
).
Exerccio 13.21. Se ) : A 1 uma funo contnua e e 1 so abertos em A e 1 ,
respectivamente, com )() 1, mostre que )() 1.
Teorema 13.22. Uma rede (r
X
)
X2
no espao produto A =

o2.
A
o
converge para j se, e somente se,
para cada c ,
o
(r
X
)
o
(j) em A
o
.
Demonstrao. Se r
X
j em

o2.
A
o
, ento, como
o
contnua,
o
(r
X
)
o
(j) para cada c .
Por outro lado, suponha que
o
(r
X
)
o
(j) para cada c . Seja
1
o1
(l
o1
) ...
1
on
(l
on
)
uma vizinhana bsica de j no espao produto (note que l
oi
vizinhana de
oi
(j); essa caracterizao
de vizinhanas bsicas uma adaptao de ). Como, em particular,
oi
(r
X
)
oi
(j), para cada
i = 1, ..., :, existe um `
I
tal que
` _ `
I
=
oi
(r
X
) l
oi
.
Escolhendo `
0
_ `
I
, i = 1, ..., :, temos que
oi
(r
X
) l
oi
para todo i = 1, ..., : sempre que ` _ `
0
.
Portanto
` _ `
0
= r
X

1
o1
(l
o1
) ...
1
on
(l
on
)
e consequentemente (r
X
)
X2
converge para j no espao produto A =

o2.
A
o
.
No caso em que A
o
= A para todo c, note que o conjunto de todas as funes de em A (munido
com a topologia produto), que naturalmente visto como

o2.
A
o
com A
o
= A, tem a seguinte
propriedade:
Uma rede ()
X
)
X2
converge para ) se, e somente se, )
X
(c) =
o
()
X
)
o
()) = )(c) para cada
c .
Denio 13.23. Uma rede (r
X
) em um conjunto A dita ultrarede (ou rede universal) quando
para cada subconjunto 1 de A, ou (r
X
) est residualmente em 1 ou residualmente em A 1.
Note que qualquer rede constante uma ultrarede (chamada de rede universal trivial).
Proposio 13.24. Se uma ultrarede tem um ponto de acumulao, ento ela converge para esse
ponto.
Demonstrao. Seja (r
X
)
X2
uma ultrarede em A e r
0
um ponto de acumulao de (r
X
)
X2
. Ento,
dado l um aberto contendo r
0
e `
0
I, temos que existe ` _ `
0
tal que r
X
l. Como (r
X
) ultrarede,
para l existe um certo `
1
tal que apenas um dos itens abaixo ocorre:
(i) ` _ `
1
= r
X
l ou
(ii) ` _ `
1
= r
X
A l.
Como sabemos que existe algum ` _ `
1
tal que r
X
l, segue que vale (i) e portanto r
X
r.
Teorema 13.25. Se (r
X
) uma ultrarede em A e ) : A 1 , ento ()(r
X
)) uma ultrarede em 1 .
Demonstrao. Seja 1. Pela denio de ultrarede, temos que (r
X
) est residualmente em
)
1
() ou em A )
1
() = )
1
(1 ). Portanto, ()(r
X
)) est residualmente em ou em 1 ,
e consequentemente uma ultrarede.
14. Filtros
Uma outra forma de se estudar convergncia em espaos topolgicos atravs do conceito de ltros.
Denio 14.1. Um ltro T em um conjunto A uma coleo no-vazia contida em T(A) tal que
a) c , T,
b) se 1
1
e 1
2
so elementos de T, ento 1
1
1
2
T,
c) se 1 T e 1 G, ento G T.
Uma subcoleo T
0
T uma base para o ltro T se para cada 1 T, existir 1
0
T
0
com
1
0
1.
Observao 14.2. Note que do item (c), conclumos que A T.
Proposio 14.3. Uma coleo qualquer ( de subconjuntos no-vazios de A uma base para algum
ltro de A se sempre que C
1
, C
2
(, existir C
3
( com C
3
C
1
C
2
.
Demonstrao. Seja T = 1 A; 1 C para algum C (. Temos que c , T, e se 1
1
e 1
2
so elementos de T, ento existem C
1
e C
2
em ( tais que C
1
1
1
e C
2
1
2
. Logo C
1
C
2
( e
C
1
C
2
1
1
1
2
. Logo 1
1
1
2
T. Finalmente, como o item (c) da denio de ltro obviamente
vlido para T, segue que T um ltro.
Exemplo 14.4. Note que se A um espao topolgico e r A, o conjunto das vizinhanas de r,
denotado por |
r
, um ltro em A. Alm disso, qualquer base de vizinhanas de r uma base para o
ltro |
r
. Esse ltro ser chamada de ltro de vizinhanas de r.
Observao 14.5. Note que as condies (a) e (b) nos restringem bastante a quantidade de
elementos dos ltros, pois como c , T, o item (b) nos diz que se 1
1
1
2
= c, ento pelo menos um
desses conjuntos no pertence a T.
Denio 14.6. Um ltro T em um espao topolgico A converge para r se |
r
T (notao
T r).
Exemplo 14.7. Considere A = a, /, c com a topologia t = c, a, /, A. O conjunto
T = a, a, /, a, c, A
um ltro em A. Alm disso, perceba que T a, pois |
o
= a, /, A.
Denio 14.8. Um ltro T um ultraltro se no existe nenhum outro ltro que o contenha
estritamente.
Exemplo 14.9. O ltro T do Exemplo 14.7 um ultraltro.
Observao 14.10. Perceba que num ltro (ou ultraltro) T no podemos ter ao mesmo tempo 1 T
e A 1 T, pois se isso ocorresse, teramos c = 1 (A 1) T.
Teorema 14.11. Um ltro T um ultraltro se, e somente se, para cada 1 A tivermos 1 T
ou A 1 T.
Demonstrao. Sejam T um ultraltro e 1 A. Se existir 1
0
T tal que 1
0
1 = c ento
1
0
(A 1) e portanto A 1 T.
Caso contrrio,
(12) 1 1 ,= c para todo 1 T.
Suponhamos, portanto, que vale (12). Pela Proposio 14.3, o conjunto ( = 1 1; 1 T uma base
para um ltro (. De fato, se 1
1
1 e 1
2
1 pertencem a (, ento (1
1
1)(1
2
1) = (1
1
1
2
)1 (.
Mas, esse ltro ( contm 1 (pois 1 = A 1). Alm disso, T (. Com efeito, se 1 T, ento,
por hiptese, 1 1 ( ( e, como 1 1 1, segue que 1 (.
Como T um ultraltro, segue que 1 T.
Agora vamos supor que T um ltro tal que para cada 1 A temos 1 T ou A 1 T. Se
( um ltro que contm estritamente T, ento existe ( T. Mas, nesse caso A T (
(absurdo, pois tanto como seu complementar estaro em (). Logo T ultraltro.
Teorema 14.12. Todo ltro T est contido em algum ultraltro.
Demonstrao. Seja ( a coleo de todos os ltros que contm T. Em (, consideremos a relao de
ordem parcial T
1
_ T
2
= T
1
T
2
. Note que qualquer subconjunto totalmente ordenado
T
X
; ` A
tem

X2
T
X
( como cota superior. Assim, pelo que acabamos de vericar, como ( no-vazio (pois
T (), podemos usar o Lema de Zorn (LZ). Pelo LZ, segue que ( admite um elemento maximal, que
obviamente um ultraltro que contm T.
As noes de ltro e rede tm uma relao muito forte. Rigorosamente, tudo que puder ser provado
ou enunciado usando-se redes, poder ser paralelamente provado ou enunciado usando-se ltros, e
vice-versa. Entretanto, em determinadas ocasies um ou outro conceito pode parecer mais natural,
e assim interessante conhecer um pouco de ambos. A seguinte denio e os prximos exerccios
deixam claro como fazer a ligao formal entre esses dois conceitos:
Denio 14.13. Se (r
X
)
X2
uma rede em A, o ltro gerado pela base ( formada pelos conjuntos
1
X0
= r
X
; ` _ `
0
, `
0
A, chamado ltro gerado por (r
X
)
X2
.
Se T um ltro em A, seja A
F
= (r, 1); r 1 T. Ento A
F
um conjunto dirigido pela
relao
(r
1
, 1
1
) _ (r
2
, 1
2
) = 1
2
1
1
e a aplicao 1 : A
F
A dada por 1(r, 1) = r uma rede em A, chamada de rede gerada por T.
Exerccio 14.14. Um ltro T, em um espao topolgico A, converge para r A se, e somente se, a
rede gerada por T converge para r.
Exerccio 14.15. Uma rede (r
X
), em um espao topolgico A, converge para r A se, e somente se,
o ltro gerado por ela converge para r.
O seguinte resultado nos ser til no decorrer do curso:
Proposio 14.16. A rede gerada por um ultraltro uma ultrarede.
Demonstrao. Seja T um ultraltro. Ento, seja 1 : A
F
A a rede gerada por T.
Seja 1 A. Como T ultraltro, temos que 1 T ou A 1 T. No primeiro caso,
se (j, 1) _ (r, 1), temos 1(j, 1) = j 1 1 e consequentemente a rede 1 : A
F
A est
residualmente em 1.
No segundo caso, se (j, 1) _ (r, A 1), temos 1(j, 1) = j 1 A 1 e consequentemente a
rede 1 : A
F
A est residualmente em A 1. Logo, a rede 1 : A
F
A uma ultrarede.
15. -Cpia da primeira prova do curso
Primeira Prova de Topologia Geral
Programa de Mestrado em Matemtica-UFCG
Professor: Daniel Pellegrino
Data: 06/05/2005
Durao: 2 horas
Aluno:
Resolva apenas duas das 3 questes:
1. Seja A um conjunto. Seja t
c
a coleo de todos os subconjuntos l de A tais que A l
enumervel ou A.
a) Verique que t
c
uma topologia em A.
b) Para A = R, estude a convergncia da seqncia (1, 2, 1, 2, 1, 2, ...). Converge? No converge?
c) Para um A = R com a topologia t
c
, existe alguma seqncia em A que converge para mais de
um ponto? Demonstre o que armar.
d) D exemplo de um espao topolgico onde cada seqncia que converge, converge para apenas um
ponto, mas, por outro lado, existem redes (ou ltros) que convergem para mais de um ponto. Justique
sua resposta (no necessrio exibir a rede (ou ltro), mas apenas justicar a sua existncia).
e) Sejam A e 7 espaos topolgicos e 1 7 com a topologia induzida. Mostre que ) : A 1
contnua se, e somente se, q : A 7 dada por q(r) = )(r) contnua.
2. Responda os itens abaixo:
a) Dena funo contnua e homeomorsmo.
b) Se A nito, possvel denir um homeomorsmo entre A e um subconjunto prprio? Justique.
c) Pode existir um conjunto A que seja homeomorfo a um subconjunto prprio? Caso positivo, d
um exemplo e demonstre o que armar.
d) Sejam (A, t) e (1, T(1 )) espaos topolgicos. Mostre que se (A, t) homeomorfo a (1, T(1 ))
ento t = T(A). E a recproca, vale?
e) Sejam (A, t) e (1, t
2
) espaos topolgicos. Mostre que se (A, t) homeomorfo a (1, t
2
) ento t
tem a mesma cardinalidade de t
2
(exiba a funo que corresponde t e t
2
e mostre que bijeo). E a
recproca, vale?
f) Exiba espaos topolgicos (A, t) e (1, t
2
) tais que A e 1 tm a mesma cardinalidade, t tem a
mesma cardinalidade de t
2
e A no homeomorfo a 1 . Demosnstre o que armar!
3. Seja (A, t) um espao topolgico. Dizemos que 1 A denso em A se 1 = A. Um espao
vetorial normado 1 dito separvel se existir um subconjunto 1 A denso e enumervel.
a) Mostre que 1 A denso se, e somente se, a interseo de cada aberto de A com 1 for no
vazia.
b) Considere o espao vetorial
|
1
= (r
)
1
=1
; r
R e sup|r
| <
com a norma
_
_
(r
)
1
=1
_
_
= sup|r
| . Seja = (r
)
1
=1
|
1
; r
= 0 ou r
= 1, para cada , natural.

Mostre que no enumervel.
c) Mostre que |
1
no separvel. Sugesto: use o item (b).
16. Espaos T
0
, T
1
, T
2
e T
3
Agora vamos restringir nosso estudo a alguns tipos especiais de espaos topolgicos. As topologias
mais interessantes, de alguma forma separam pontos atravs de abertos. Nessa direo, vamos denir
espaos T
0
, T
1
, T
2
e T
3
.
Denio 16.1. Um espao topolgico A dito um espao T
0
(ou a topologia de A T
0
) quando
para quaisquer pontos r e j, distintos, existe um aberto que contm um dos pontos e no contm o
outro. Dizemos ainda que um espao topolgico A um espao T
1
(ou a topologia de A T
1
) quando
para quaisquer pontos r e j, distintos, existe uma vizinhana de cada um dos pontos que no contm o
outro. Por m, lembremos que um espao topolgico A um espao de Hausdor se para cada r
1
e r
2
, elementos distintos de A, existem abertos disjuntos que separam r
1
e r
2
. Espaos de Hausdor
tambm so chamados de espaos T
2
.
claro que todo espao T
1
tambm T
0
( bvio tambm que, na denio de espao T
0
, podemos
trocar o aberto por uma vizinhana do ponto). Entretanto, a recproca no vale, pois A = a, / com
a topologia t = c, a, A em A um espao T
0
mas no um espao T
1
.
Exerccio 16.2. Mostre que uma pseudomtrica uma mtrica se, e somente se, a topologia gerada
por ela T
0
.
Exerccio 16.3. Um espao topolgico um espao T
1
se, e somente se, cada ponto fechado.
Denio 16.4. Um espao topolgico dito regular se sempre que 1 fechado e r , 1, existem
abertos disjuntos l e \ com r l e 1 \.
Exerccio 16.5. D exemplo de um espao regular que no Hausdor.
Como a inteno da denio de espaos regulares , de certa forma, renar os conceitos de espaos
T
1
e T
2
(Hausdor), dizemos que um espao T
1
que tambm regular, um espao T
3
. Como em
espaos T
1
, os conjuntos unitrios so fechados, temos que todo espao T
3
Hausdor.
Temos ento
T
0
T
1
T
2
:= Hausdor T
3
:= T
1
regular.
17. Conjuntos compactos
Denio 17.1. Seja A um espao topolgico. Um conjunto 1 A compacto (em A) quando
sempre que 1
_
o2
o
com cada
o
aberto em A, existirem c
1
, ..., c
n
tais que 1
o1
' ...
on
.
Note que, intuitivamente, quanto menos abertos possui uma topologia, mais fcil para se encontrar
compactos. Podemos destacar dois extremos:
Em uma topologia com uma quantidade nita de abertos, todo conjunto compacto. Por outro lado,
para um conjunto A munido da topologia t = T(A), temos que um subconjunto de A compacto
se, e somente se, tem uma quantidade nita de elementos.
Conjuntos compactos tm propriedades especiais em espaos de Hausdor. Um resultado importante
o seguinte:
Teorema 17.2. Se A um espao de Hausdor e 1 um compacto que no contm um ponto r A,
ento existem abertos disjuntos que os separam.
Demonstrao. Como A Hausdor, para cada j 1, existem abertos disjuntos
r,
e 1
,
contendo r e j, respectivamente, que separam r e j. Assim, temos 1
_
21
1
e, como 1 compacto,
existem j
1
, ..., j
n
em 1 tais que
1
n
_
=1
1
j
.
claro que r
n
=1
r,j
e que
n
=1
r,j
e
n
_
=1
1
j
so abertos e disjuntos, e a demonstrao est
concluda.
Exemplo 17.3. No R
n
, os compactos so precisamente os subconjuntos fechados e limitados (veja
[2]).
Em geral, compactos no so necessariamente fechados, mas em espaos de Hausdor sim:
Teorema 17.4. Se A um espao de Hausdor, ento os compactos so fechados.
Demonstrao. Seja 1 um compacto num espao de Hausdor A. Para mostrar que 1 fechado,
mostraremos que seu complementar aberto. Se A1 for vazio, a demonstrao est concluda. Caso
contrrio, seja r A 1. Pelo Teorema 17.2, r e 1 podem ser separados por abertos e, portanto,
existe um aberto tal que r A 1. Logo A 1 aberto.
Exerccio 17.5. D exemplo de um compacto que no fechado. Sugesto: Pense num espao
topolgico com uma quantidade nita de abertos.
Exerccio 17.6. Mostre que se 7 um espao topolgico, A fechado em 7, 1 compacto em 7 e
A 1, ento A compacto em 7.
Exerccio 17.7. Exiba um espao topolgico A que no Hausdor, mas todo compacto em A
fechado. Sugesto: Considere a reta com a topologia do Exemplo 4.2.
Exerccio 17.8. Seja A um espao topolgico e 1 A um subespao. Mostre que 1 compacto
em 1 se, e somente se, compacto em A. Em particular, fazendo = 1, segue que compacto
em A se, e somente se, , pensado com espao topolgico, compacto.
Exerccio 17.9. Mostre que se ) : A 1 contnua e 1 compacto em A, ento )(1) compacto
em 1 .
Exerccio 17.10. Mostre que ser compacto uma propriedade topolgica.
Exerccio 17.11. Lembre que em teoria de conjuntos, o Teorema de Cantor-Bernstein arma que se
e 1 so conjuntos e existem funes injetivas ) : 1 e q : 1 , ento existe uma bijeo
entre e 1. Para espaos topolgicos, o anlogo seria:
Se A pode ser mergulhado em 1 e 1 pode ser mergulhado em A, ento A e 1 so homeomorfos.
Encontre um contra-exemplo. Sugesto: Use [0, 1[ e R.
Denio 17.12. Uma famlia c de subconjuntos de A tem a propriedade da interseo nita
se a interseo de qualquer subcoleo nita de c no-vazia.
Os conceitos de rede, ltro e de conjuntos com a propriedade da interseo nita caracterizam
conjuntos compactos da seguinte forma:
Teorema 17.13. (Caracterizaes de compactos) Para um espao topolgico A, as seguintes
armaes so equivalentes:
(a) A compacto,
(b) cada famlia c de subconjuntos fechados de A com a propriedade da interseo nita tem
interseo no-vazia,
(c) cada rede em A tem um ponto de acumulao,
(d) cada ultrarede em A converge.
(e) cada ultraltro em A converge.
Demonstrao.
(a)=(b). Se 1
o
; c uma famlia de conjuntos fechados de A com interseo vazia, ento
A 1
o
; c uma cobertura aberta de A. Com efeito,
_
o2.
(A 1
o
) = A

o2.
1
o
= A.
Como A compacto, temos que existem c
1
, ..., c
n
tais que A =
n
_
I=1
(A 1
oi
) = A
n
I=1
1
oi
. Logo
n
I=1
1
oi
= c, e 1
o
; c no tem a propriedade da interseo nita.
(b)=(c). Seja (r
X
)
X2
uma rede em A. Considere a famlia de fechados
_
r
X
; ` _ `
0
_
X02
.
Tomando r
X
; ` _ `
1
.... r
X
; ` _ `
n
, temos que existe , I com , _ `
1
, ..., , _ `
n
e da
conclumos que
r
o
r
X
; ` _ `
1
.... r
X
; ` _ `
n
.
Portanto, a famlia de fechados
_
r
X
; ` _ `
0
_
X02
possui a propriedade da interseo nita. Por
hiptese, temos ento que existe
r

X02
r
X
; ` _ `
0
.
Finalmente, para qualquer l aberto (contendo r) e c I, como r r
X
; ` _ c, temos que existe
` _ c tal que r
X
l, e r ponto de acumulao da rede (veja denio na Denio 13.4).
(c)=(d). Se (r
X
) uma ultrarede em A, em particular, (r
X
) uma rede e, por hiptese, tem ponto
de acumulao. Pela Proposio 13.24, segue que essa ultrarede convergente.
(d)=(e). Seja T um ultraltro em A. A rede gerada por T , pela Proposio 14.16, uma ultrarede.
Por hiptese, temos que essa ultrarede (rede) converge. Pelo Exerccio 14.15, segue que T tambm
converge. Logo, todo ultraltro T em A converge.
(e)=(a). Suponhamos, por contradio, que A no seja compacto. Escolha, ento, um conjunto
de abertos | que formam uma cobertura de A, que no possui subcobertura nita. Ento
A (
1
' ... '
n
) ,= c para cada coleo nita de abertos
1
, ...,
n
em |. Fazendo uso da
Proposio 14.3, temos que a famlia de conjuntos
A (
1
' ... '
n
); : N e
|, , = 1, ..., :
forma uma base para um ltro T. Como todo ltro est contido num ultraltro (veja Teorema 14.12),
segue que existe um ultraltro ( que contm T. Mas, j sabemos que todo ultraltro em A converge.
Assim, existe r A tal que ( r. Como os abertos de | cobrem A, existe um aberto l |
contendo r. Como l vizinhana de r, e como ( r, segue que l (. Por construo, temos que
A l T (. Assim, l , ( (contradio). Logo A compacto.
Exerccio 17.14. Se 1 1 , ento
1

Y
.
Soluo. Suponha /
1
1. Seja \ um aberto (de 1 ) contendo /. Ento \ 1 aberto de 1
contendo /. Como /
1
, existe c (\ 1) . Logo c \ e conclumos que /
Y
.
Exerccio 17.15. Se 1 1 e fechado em 1, mostre que fechado em 1.
Soluo. Note que

1
(Exerccio anterior)

Y
=
e portanto =
1
.
Exerccio 17.16. Se 1 1 , fechado em 1 e 1 compacto em 1 , mostre que compacto
em 1 .
Soluo. Basta mostrar que (com a topologia induzida) um espao topolgico compacto.
Como fechado em 1 , segue (de exerccio anterior) que fechado em 1. Como 1 compacto
em 1 , 1 um espao topolgico compacto. Logo, basta mostrar que todo subespao fechado de um
espao topolgico compacto, compacto (mas isso j foi mostrado no Exerccio 17.6.
17.1. O Teorema de Tychono. O Teorema de Tychono, que veremos a seguir, um resultado
central da topologia e, curiosamente, equivalente ao Axioma da Escolha (mas essa equivalncia no
ser demonstrada nesse curso). A demonstrao do Teorema de Tychono, abaixo, pode parecer direta,
mas perceba que nela sero usadas as caracterizaes de compactos do Teorema 17.13, que fazem uso
do Lema de Zorn!
Teorema 17.17. (Teorema de Tychono) Seja A
o
o2
uma famlia de espaos topolgicos e
1 =

o2
A
o
. Um subconjunto no vazio 1
0
=

o2
o
de 1 compacto se, e somente se, cada
o

compacto.
Demonstrao. Como as projees
o
so contnuas, e como funo contnua leva compacto em
compacto, segue que se 1
0
compacto, ento cada
o
compacto.
Pelo Exerccio 17.8, mostrar que 1
0
um subconjunto compacto de 1 o mesmo que mostrar que
1
0
um espao compacto.
Suponha, agora, que cada
o
compacto. Seja (r
X
)
X2
uma ultrarede em 1
0
(cuidado para no
confundir: temos que cada r
X
1
0
). Ento, pelo Teorema 13.25 segue que, para cada c I,
(
o
(r
X
))
X2
uma ultrarede em
o
. Pelas caracterizaes dos conjuntos compactos, temos que cada
(
o
(r
X
))
X2
converge para um certo .
o

o
. Seja
.
0
= ) : I

o2
o
dada por )(c) = .
o
1
0
.
Assim, para cada c I, temos que (
o
(r
X
))
X2
converge para
o
(.
0
). Finalmente, o Teorema 13.22
garante que (r
X
)
X2
converge para .
0
e o Teorema 17.13, que caracteriza compactos, garante que 1
0
compacto.
18. Uma aplicao do Teorema de Tychonoff Anlise Funcional: O Teorema de
Banach-Alaoglu-Bourbaki
Se 1 um espao de Banach de dimenso innita, a bola unitria fechada 1
J
= r 1; |r| _ 1
nunca compacta (esse resultado pode ser encontrado em vrios livros de Anlise Funcional).
O Teorema de Banach-Alaoglu-Bourbaki arma que num espao dual 1
0
, com a topologia fraca
estrela, a bola unitria fechada 1
J
0 = , 1
0
; |,| _ 1 sempre compacta:
Teorema 18.1. A bola 1
J
0 compacta em 1
0
com a topologia fraca estrela.
Demonstrao. Comeamos mostrando que 1
0
, com a topologia fraca estrela, homeomorfo a um
subespao do espao produto 1 = K
J
= ) : 1 K (munido com a topologia produto). Seja
w : 1
0
1 dada por w()) = ). Temos que w claramente injetiva e tambm contnua. Para justicar
a continuidade, observe que para cada r
0
, denotando por
r0
: 1 K a projeo na coordenada r
0
,
temos que
r0
w : 1
0
K
tal que
r0
w()) = )(r
0
) = J(r
0
)()).
Portanto
r0
w = J(r
0
), e da, pela denio da topologia fraca estrela em 1
0
, temos que
r0
w
contnua. Finalmente, lembrando que a topologia produto em 1 gerada pelas projees
r0
, o
Exerccio 10.8 nos garante que w contnua.
A injetividade da aplicao w nos permite considerar a nova aplicao
1 : 1
0
w(1
0
).
denida por 1()) = w()). claro que 1 bijetiva. Como w contnua, pelo Exerccio 8.9, segue que
1 contnua. Mostraremos que essa aplicao bem mais que isso: um homeomorsmo. Considere,
portanto sua inversa 1
1
.
Como 1
0
est munido com a topologia fraca estrela, novamente o Exerccio 10.8 garante que 1
1
ser contnua se provarmos que para cada r
0
, as aplicaes
J(r
0
) 1
1
: w(1
0
) K
so contnuas. Note que
(13) J(r
0
) 1
1
= (
r0
[ w(1
0
))
pois
J(r
0
) 1
1
()) = )(r
0
) = (
r0
[ w(1
0
)) ()) .
Portanto, como 1 est com a topologia produto, temos que
r0
contnua e a restrio (
r0
[ w(1
0
))
tambm. Assim, de (13), temos que todas as J(r
0
) 1
1
so contnuas e portanto 1
1
contnua.
Conclumos, portanto, que 1
0
homeomorfo a um subespao w(1
0
) de 1 e consequentemente 1
J
0
homeomorfo a w(1
J
0 ).
Assim, para provar que 1
J
0 compacto na topologia fraca estrela, basta provar que w(1
J
0 )
compacto em w(1
0
). Mas, pelo Exerccio 17.8, basta mostrar que w(1
J
0 ) compacto em 1.
Note que
w(1
J
0 ) = , 1
0
; |,| _ 1 = , 1
0
; [,(r)[ _ |r| \r 1.
Assim,
w(1
J
0 )

r2J
[|r| , |r|[.
Pelo Teorema de Tychono,

r2J
[|r| , |r|[ compacto em 1 . Para obtermos a compacidade de
w(1
J
0 ) = 1(1
J
0 ), basta observarmos que w(1
J
0 ) fechado em 1 (Exerccio 17.16).
Essa , entretanto, uma tarefa fcil. Para isso, considere (w(,
I
)) uma rede em w(1
J
0 ) que converge
(na topologia produto) para ) 1. Ento, pelo Teorema 13.22 segue que
(w(,
I
))(r) )(r) \r 1,
isto ,
,
I
(r) )(r) \r 1.
Segue claramente que ) linear. Alm disso, como, para cada i e cada r, temos |,
I
(r)| _ |r| , segue
que |)(r)| _ |r| e |)| _ 1. Logo ) = w()) 1
J
0 .
19. Teorema da Extenso de Tietze
Espaos mtricos, como prottipos de espaos topolgicos, possuem diversas propriedades
marcantes. Se (', d) um espao mtrico e 1
1
e 1
2
so subconjuntos fechados e disjuntos de ',
a funo o : ' [0, 1[ dada por
o(r) =
d(r, 1
1
)
d(r, 1
1
) d(r, 1
2
)
est bem denida, contnua (para detalhes sobre funes contnuas em espaos mtricos veja [1, Pag
35] e o(1
1
) = 0, o(1
2
) = 1. Usando a funo o, fcil ver que se l = r '; o(r) < 1,2 e
\ = r '; o(r) 1,2, ento 1
1
l, 1
2
\ e l \ = c.
Espaos topolgicos que tem essa propriedade so chamados de normais. Precisamente, um espao
topolgico A dito normal se dados 1
1
e 1
2
, subconjuntos fechados e disjuntos de A, exitem abertos
l e \ tais que l \ = c e 1
1
l e 1
2
\. Um espao normal que tambm T
1
chamado de
espao T
4
.
Note que
T
0
T
1
T
2
T
3
T
4
.
Nosso primeiro resultado signicativo sobre espaos normais mostra que os espaos normais so
precisamente aqueles onde para fechados disjuntos 1
1
e 1
2
, existe uma funo contnua o tal que
1
1
o
1
(1) e 1
2
o
1
(0), assim como acontece nos espaos mtricos.
Lema 19.1. Em um espao normal, dados 1
1
e 1
2
fechados e disjuntos, existe um aberto l contendo
1
1
tal que l 1
2
= c.
Demonstrao. Como o espao normal, existem l
1
e l
2
abertos disjuntos tais que 1
1
l
1
e
1
2
l
2
. Temos ento que l
1
1
2
= c. De fato, se essa interseo fosse no vazia, escolha r l
1
1
2
.
Logo r l
2
(aberto) e r l
1
, e isso acarreta que existe j l
1
l
2
(absurdo).
Lema 19.2. Sejam A um espao topolgico e 1 um subconjunto denso de [0, 1[. Suponhamos dado,
para cada r 1, um subconjunto l
:
A tal que
a) cada l
:
aberto em A,
b) se r < :, ento l
:
l
s
.
Ento, a funo ) : A [0, 1[ denida por
)(r) = 1 se r ,
_
:21
l
:
)(r) = infr 1; r l
:
, caso contrrio.
contnua.
Demonstrao. Note que:
(i) se r l
:
, ento )(r) _ r,
(ii) se r , l
:
, ento )(r) _ r.
Com efeito, a armao (i) imediata. Para vericar (ii), observe que se fosse )(r) < r, pela
denio de nmo, existiria : 1 tal que r l
s
e : < r. Assim, l
s
l
:
e portanto r l
:
.
Agora vamos provar que ) contnua em um ponto arbitrrio a A. Para - 0, vamos encontrar
vizinhanas \ e \ de a tais que
r \ = )(r) < )(a) -
r \ = )(a) - < )(r).
Uma vez encontradas \ e \, se denirmos l = \ \, teremos que
r l = [)(r) )(a)[ < -.
Para pontos a tais que )(a) = 1, denamos \ = A. Se for )(a) < 1, ento )(a) = infr 1; a
l
:
. Logo, como 1 denso em 1, existe r 1 tal que )(a) < r < )(a) -. Por (ii), temos que a l
:
,
e por (i), se r l
:
, temos que )(r) _ r < )(a) -. Nesse caso denimos \ = l
:
.
Se for )(a) = 0, colocamos \ = A. Se for )(a) 0, ento, como 1 denso em 1, existem r, : 1
tais que )(a) - < r < : < )(a). Logo l
:
l
s
. Seja \ = A l
:
. Como )(a) :, temos, por (i),
a , l
s
e portanto a , l
:
e a \. Alm disso, se r \, temos r , l
:
e assim
)(a) - < r _ )(r).
Portanto, \ uma vizinhana aberta de a tal que r \ implica )(a) - < )(r).
Proposio 19.3. (Lema de Urysohn). Um espao topolgico A normal se, e somente se,
para quaisquer subconjuntos 1
1
e 1
2
fechados de A, com 1
1
1
2
= c, existe uma funo contnua
o : A [0, 1[ tal que o(1
1
) = 0 e o(1
2
) = 1.
Demonstrao. Suponha que A seja normal e que 1
1
e 1
2
, disjuntos, sejam subconjuntos fechados
de A. Como A normal (pelo Lema 19.1), existe um aberto l
1/2
tal que
1
1
l
1/2
l
1/2
e l
1/2
1
2
= c.
Agora, 1
1
e A l
1/2
so fechados e disjuntos, assim como l
1/2
e 1
2
. Ento, existem abertos l
1/4
e
l
3/4
tais que
1
1
l
1/4
l
1/4
l
1/2
l
1/2
l
3/4
l
3/4
e
l
3/4
1
2
= c.
Agora suponha que tenhamos os conjuntos l
|/2
n, / = 1, ..., 2
n
1 denidos de modo que
1
1
l
1/2
n, ..., l
|1/2
n l
|/2
n, ..., l
2
n
1/2
n 1
2
= c.
Podemos continuar o processo e obter conjuntos l
|/2
n+1, / = 1, ...., 2
n+1
1 com as mesmas
propriedades. Por induo, para cada racional da forma r = /,2
n
, com / = 1, ..., 2
n
1, temos
um aberto l
:
tal que
a) 1
1
l
:
e l
:
1
2
= c para cada r,
b) l
:
l
s
para cada : r
Agora, dena o : A [0, 1[ como segue:
o(r) = 1 se r ,
_
:
l
:
o(r) = infr; r l
:
, caso contrrio.
Temos que o(1
1
) = 0 e o(1
2
) = 1. Pelo Lema 19.2, o contnua.
Reciprocamente, suponha que para quaisquer subconjuntos 1
1
e 1
2
1
1
2
= c,
exista uma funo o : A [0, 1[ tal que o(1
1
) = 0 e o(1
2
) = 1. Ento o
1
([0, 1,2)) e o
1
(1,2, 1[)
so abertos disjuntos que contm 1
1
e 1
2
, respectivamente, e assim A um espao normal.
Exerccio 19.4. Sejam a < / nmeros reais. Mostre a seguinte verso (mais geral) do Lema de
Urysohn: Um espao topolgico A normal se, e somente se, para quaisquer subconjuntos 1
1
e 1
2
1
1
2
= c, existe uma funo o : A [a, /[ tal que o(1
1
) = a e o(1
2
) = /.
Outra maneira de caracterizar espaos normais atravs de extenses de funes contnuas.
Teorema 19.5. (Teorema da extenso de Tietze) A um espao normal se, e somente se, sempre
que 1 um subconjunto fechado de A e ) : 1 R contnua, existe uma extenso contnua de )
para A.
Demonstrao. Suponhamos primeiro ) : 1 [a, a[.
Vamos obter ,
1
: A [a,8, a,8[ tal que
[)(r) ,
1
(r)[ _
2a
8
para todo r 1.
Dena 1
1
= r 1; )(r) _
o
3
e G
1
= r 1; )(r) _
o
3
. Note que esses dois conjuntos so
disjuntos e fechados em A (use o Teorema 8.5).
Pelo Lema de Urysohn, existe ,
1
: A [a,8, a,8[ tal que ,
1
(1
1
) = a,8 e ,
1
(G
1
) = a,8.
Da, para cada r em 1, temos
(14) [)(r) ,
1
(r)[ _ a
a
8
= 2a,8,
pois se )(r) _ a,8, temos ,
1
(r) = a,8, e se )(r) _ a,8, temos ,
1
(r) = a,8. Alm disso, se
a,8 _ )(r) _ a,8, temos obviamente (14).
Considere agora
) ,
1
: 1 [2a,8, 2a,8[.
Com o mesmo raciocnio, denimos 1
2
= r 1; )(r) ,
1
(r) _
2o
9
e G
2
= r 1; )(r) ,
1
(r) _
2o
9
e encontramos ,
2
: A [
1
3
2o
3
,
1
3
2o
3
[ tal que
[()(r) ,
1
(r)) ,
2
(r)[ _
2a
8

2a
0
=
2
8
2a
8
para todo r 1.
Prosseguindo assim, encontramos ,
n
: A [
1
3
(
2
3
)
n1
a,
1
3
(
2
3
)
n1
a[ tal que
)(r)
n
=1
,
(r)
_
_
2
8
_
n
a
para todo r 1. Seja ,
n
: A [a, a[ dada por ,(r) =
1
=1
,
(r). Note que a imagem de , est de

fato no conjunto [a, a[, pois
=1
,
(r)
_
1
=1
[,
(r)[ _
1
=1
1
8
_
2
8
_
n1
a = a.
Note ainda que, se r 1, temos
)(r)
n
=1
,
(r)
_
_
2
8
_
n
a
e assim )(r) = ,(r) para todo r 1.
Para provar que , a extenso desejada, resta provar que , contnua.
Seja r
0
A e - 0. Escolha 0 tal que
1
n=+1
_
2
8
_
n
a <
-
2
.
Como cada ,
I
contnua, para i = 1, ..., , escolha l
I
aberto em A tal que
r l
I
= [,
I
(r
0
) ,
I
(r)[ <
-
2
.
Assim, para l = l
1
... l
, temos, para qualquer r l,

[,(r
0
) ,(r)[ _

I=1
[,
I
(r
0
) ,
I
(r)[
1
I=+1
[,
I
(r
0
) ,
I
(r)[
_ .
-
2

1
I=+1
[,
I
(r
0
) ,
I
(r)[
_
-
2

1
I=+1
([,
I
(r
0
)[ [,
I
(r)[)
_
-
2

1
I=+1
2.
1
8
_
2
8
_
I1
a
=
-
2

1
I=+1
_
2
8
_
I
a _ -.
Logo , contnua em A e o caso em que ) tem imagem em [a, a[ est resolvido.
Como (1, 1) homeomorfo reta real, o caso geral pode ser demonstrado considerando uma funo
contnua ) : 1 (1, 1) (Exerccio!). Podemos, pelo caso anterior (se olharmos ) tendo como contra-
domnio [1, 1[), obter uma extenso , : A [1, 1[. Seja 1
0
= r A; [,(r)[ = 1. Ento 1 e 1
0
so fechados disjuntos em A. Pelo Lema de Urysohn, existe uma funo contnua q : A [0, 1[ tal
que q(1
0
) = 0 e q(1) = 1. Dena
c : A (1, 1)
por c(r) = ,(r).q(r). Note que realmente a imagem de c pertence a (1, 1), pois se r 1
0
, temos
c(r) = 0; e se r , 1
0
, temos ,(r) (1, 1), e da segue que c(r) (1, 1). Temos claramente que c
contnua e, se r 1, segue que
c(r) = ,(r).q(r) = ,(r).1 = )(r).
Reciprocamente, suponha que sempre que 1 um subconjunto fechado de A e ) : 1 R contnua,
existe uma extenso contnua de ) para A. Sejam e 1 subconjuntos (disjuntos) fechados em A.
Ento ' 1 fechado em A e ) : ' 1 [0, 1[ dada por )() = 0 e )(1) = 1 contnua
(Teorema 8.8). Seja 1 : A R uma extenso de ) (note que em princpio temos que usar R como
contradomnio). Seja G : A [0, 1[ dada por
G(r) = minmax1(r), 0, 1 ..
Pelo Exerccio 19.6 sabemos que G contnua. Note que a restrio de G a ' 1 precisamente ).
Logo G() = 0, G(1) = 1 e, pelo Lema de Urysohn, segue que A normal.
Exerccio 19.6. Seja A um espao topolgico. Dadas ), q : A R, sejam
() . q)(r) = max)(r), q(r)
() . q)(r) = min)(r), q(r).
Mostre que se ) e q so contnuas, ento ) . q e ) . q tambm so contnuas.
20. Compactificao de Alexandrov
Um espao topolgico A dito localmente compacto quando todo ponto r A possui uma
vizinhana compacta.
Exemplo 20.1. O R
n
localmente compacto. Qualquer espao vetorial normado A de dimenso
innita no localmente compacto. Com efeito, se A fosse localmente compacto, existiria uma
vizinhana compacta \ de 0. Escolhendo - 0 de modo que a bola fechada de centro 0 e raio -
esteja contida em \ , segue que essa bola fechada compacta (absurdo).
Uma compacticao de um espao topolgico A um par ordenado (A
, w), onde A
um
espao de Hausdor compacto e w um homeomorsmo de A sobre w(A), com w(A) = A
.
Veremos que espaos de Hausdor localmente compactos tm uma compacticao simples, que
conhecida como compacticao de Alexandrov.
Se A j um espao de Hausdor compacto, no h nada que compacticar... Se A um espao de
Hausdor no compacto, mas localmente compacto, mostraremos que existe um espao de Hausdor
A
= A'., . , A tal que A homeomorfo a w(A) e w(A) = A
. Essa compacticao chamada

de compacticao de Alexandrov. O ponto . chamado ponto no innito.
Teorema 20.2. Todo espao de Hausdor A no compacto, localmente compacto, possui uma
compacticao de Alexandrov.
Demonstrao. Seja . um objeto qualquer que no pertence a A. Por exemplo, . = A. Dena
A
= A ' . e considere w : A A
por w(r) = r. Agora, denimos a seguinte topologia em A
:
Os abertos de A
so os abertos de A e os conjuntos da forma ' ., onde aberto em A e

A compacto. Temos que vericar que esse conjunto de abertos forma uma topologia.
claro que c e A
so abertos.
A interseo de dois abertos de A
da forma 1, (C '.), ou (C '.) (1'.),

com , 1, C, 1 abertos em A, com A C e A 1 compactos em A.
Como (C'.) = C, e (C'.)(1'.) = (C1)'., segue que, em qualquer
caso, interseo de abertos de A
aberto de A
. De fato, s precisamos nos preocupar em

justicar o caso
(C ' .) (1 ' .) = (C 1) ' ..
Nesse caso, temos que C 1 aberto em A e A C e A 1 so compactos em A. Como
A (C 1) = (A C) ' (A 1),
segue que A(C1) compacto em A, pois unio de dois compactos. Logo, (C1) '.
realmente um aberto de A
.
Sejam (
X
) e (1
) famlias de abertos em A, onde cada A 1
compacto. Uma unio de

abertos em A
da forma
'
X
= ,
'(1
' .) = 1 ' ., com 1 = '1
.
ou
'
,X
(
X
' 1
' .) = (' 1) ' ., com ' 1 = '

,X
(
X
' 1
).
Note que A1 = A'1
= (A1
) e, como cada A1
fechado, segue que sua interseo

fechada e, por estar contida num compacto (em qualquer A1
), tambm ser um conjunto compacto.

Assim, 1 ' . aberto em A
.
Note ainda que A (' 1) compacto em A, pois
A (' 1) A 1 (compacto em A) e A (' 1) fechado em A.
Logo, (' 1) ' . aberto em A
.
Agora, mostraremos que w um homeomorsmo de A sobre w(A). Note que basta mostrar que
w : A A
injetiva, contnua e leva abertos em abertos.

A injetividade w imediata.
Se
aberto, ento w
1
(
) =
A. Mas, como
= ' . ou
= , com
aberto em A, segue que w
1
(
) aberto em A e w contnua. Alm disso, como os abertos

de A tambm so abertos de A
, segue que w leva abertos em abertos.

Vejamos agora que A
compacto. Dada uma cobertura aberta (C

X
) de A
, claro que . pertence

a algum C
X0
. Temos ento que C
X0
= '. com A compacto. Assim, os outros C
X
, com ` ,= `
0
formam uma cobertura aberta de A .
De fato,
A = A C
X0
A
C
X0

_
_
C
X
_
C
X0

_
X6=X0
C
X
.
Logo, para sermos bastante precisos, como no sabemos a priori se algum dos C
X
contm .,
podemos fazer
A
_
X6=X0
(C
X
.)
e, como cada C
X
. um aberto em A, temos uma subcobertura nita de A (pois A
compacto):
A (C
X1
.) ' ... ' (C
Xn
.).
Logo
A C
X1
' ... ' C
Xn
e, portanto,
A
= C
X0
' C
X1
' ... ' C
Xn
.
Assim, conclumos que A
compacto.
A demonstrao de que w(A) denso em A
fcil e ca como exerccio.

Finalmente, resta-nos provar que A
um espao de Hausdor. Sejam r, j A
. Se forem ambos
diferentes de ., como A Hausdor, existem abertos de A que separam r e j. Como os abertos
de A tambm so abertos de A
, segue que r, j podem ser separados por abertos disjuntos de A
.
Provemos agora que r A pode ser separado de . por abertos disjuntos. Como A localmente
compacto, existe uma vizinhana compacta de r, denotada por \. Como A Hausdor, segue que \
fechada e portanto := (A \ ) ' n um aberto de A
. Escolhendo um aberto 1 (de A), que

contm r e est contido na vizinhana \ , segue que e 1 so os abertos de A
que separam r e ..
Exerccio 20.3. Complete a demonstrao do teorema anterior, mostrando que w(A) denso em A
.
21. Compactificao de Stone-Cech
O processo de compacticao de Alexandrov poderia ser repetido em qualquer espao topolgico,
e no apenas em espaos localmente compactos. A questo que se A no um espao localmente
compacto, o argumento da seo anterior no garante que a compacticao resulte num um espao
de Hausdor, mesmo que A seja de Hausdor. Assim, para saber quais espaos de Hausdor possuem
uma compacticao (w, A
) onde, como denido na seo anterior, A
Hausdor, estudaremos os
espaos completamente regulares.
21.1. Espaos completamente regulares. Recordemos:
Um espao topolgico regular se para todo fechado 1 e r , 1, existem abertos disjuntos
que separam r e 1.
Um espao topolgico normal se para quaisquer fechados disjuntos 1
1
e 1
2
, existem abertos
disjuntos que os separam.
Agora introduzimos o conceito de espaos completamente regulares, que se mostraro importantes
no estudo de compacticaes.
Um espao topolgico A dito completamente regular quando para cada r A e l aberto em
A, com r l, existir sempre uma funo contnua ) : A [0, 1[ tal que )(r) = 1 e )(A l) = 0.
Se A um espao normal e de Hausdor, segue que r e A l so fechados disjuntos e, pelo
Lema de Urysohn, existe ) : A [0, 1[, contnua, tal que )(r) = 1 e )(A l) = 0. Assim, temos:
Proposio 21.1. Todo espao normal e de Hausdor completamente regular.
Todo espao completamente regular ainda regular, como veremos adiante. Antes, vamos dar
algumas caracterizaes de espaos regulares:
Teorema 21.2. As seguintes armaes a respeito de um espao topolgico A so equivalentes:
a) A regular.
b) se l aberto em A e r l, ento existe um aberto \ contendo r tal que \ l.
c) cada r A tem uma base de vizinhanas formada por conjuntos fechados.
Demonstrao.
(a) = (/). Seja l aberto em A e r l. Ento A l fechado em A e no contm r. Como A
regular, existem abertos disjuntos \ e \ tais que r \ e A l \. Ento A \ fechado e
\ A \ l. Portanto \ l.
(/) = (c). Por (/), sabemos que cada vizinhana aberta l de r contm uma vizinhana fechada (a
saber \ ) Portanto, essas vizinhanas fechadas formam uma base de vizinhanas de r.
(c) = (a). Seja r A e 1 um fechado que no contm r. Ento o aberto A 1 uma vizinhana
de r. Por (c), existe 1 fechado (vizinhana de r) com r 1 A 1. Logo i:t(1) e A 1 so
abertos disjuntos contendo r e 1, respectivamente. Da segue que A regular.
Proposio 21.3. Todo espao completamente regular regular.
Demosnstrao. Seja A um espao topolgico completamente regular e sejam r A e l um aberto
que contm r. Como A completamente regular, existe uma funo contnua ) : A [0, 1[ tal que
)(r) = 1 e )(A l) = 0. Assim, 1 = )
1
([1,2, 1[) um fechado que contm r e est contido em
l. claro que 1 uma vizinhana de r, pois ) contnua. Assim, i:t(1) satisfaz as hipteses de (/)
do Teorema 21.2.
Exerccio 21.4. Todo subespao de um espao completamente regular completamente regular.
Veremos a seguir, na Proposio 21.5 que todo espao de Hausdor compacto normal. Assim,
como todo espao normal e de Hausdor completamente regular, segue que todo espao compacto
de Hausdor completamente regular.
Proposio 21.5. Todo espao de Hausdor compacto normal.
Demonstrao. Sejam 1 e G dois subconjuntos fechados e disjuntos de um espao de Hausdor
compacto A. Temos, portanto, que 1 e G so compactos. Dados r 1 e j G, arbitrrios, existem
abertos l
,r
e \
,r
tais que r l
,r
, j \
,r
e l
,r
\
,r
= c. Fazendo j variar em G, obtemos uma
cobertura de G, da qual podemos extrair uma subcobertura nita G \
1,r
'... '\
N
,r
. Considerando
l
r
= l
1,r
... l
N
,r
e \
r
= \
1,r
' ... ' \
N
,r
, temos r l
r
, G \
r
e l
r
\
r
= c. Fazendo
r variar em 1, temos uma cobertura aberta de 1, da qual obtemos uma subcobertura nita. Temos
ento
1 l
r1
' ... ' l
rm
.
Denindo l = l
r1
' ... ' l
rm
e \ = \
r1
... \
rm
segue que 1 l, G \ e l e \ so abertos
disjuntos, demonstrando que A normal.
Corolrio 21.6. Todo espao compacto de Hausdor completamente regular.
Corolrio 21.7. Se um espao de Hausdor A possui uma compacticao w : A 1 , ento A
completamente regular.
Demonstrao. Nesse caso, A homeomorfo a w(A), que um subespao de um espao de Hausdor
compacto 1 . Pelo Corolrio 21.6, segue que 1 completamente regular. Pelo Exerccio 21.4, segue que
w(A) completamente regular. Como A homeomorfo a w(A) e como ser completamente regular
uma propriedade topolgica, segue que A completamente regular.
Corolrio 21.8. Todo espao de Hausdor localmente compacto completamente regular.
Demonstrao. Se o espao j compacto, o Corolrio 21.6 j garante o resultado. Se o espao no
compacto, basta lembrar que todo espao de Hausdor, no compacto, localmente compacto, possui
uma compacticao (de Alexandrov), w : A A
.
21.2. Compacticao de Stone-Cech. Seja A um espao topolgico. Sejam 1 = [0, 1[ e C(A; 1)
o conjunto das funes contnuas de A em 1. Consideremos o conjunto
1
c(;1)
=

}2c(;1)
1
}
,
com 1
}
= 1 para cada ). O seguinte resultado garante que o cubo 1
c(;1)
um espao de Hausdor.
Proposio 21.9. O produto cartesiano A =

X2
A
X
um espao de Hausdor se, e somente se,
cada fator A
X
um espao de Hausdor.
Demonstrao. Suponha inicialmente que cada A
X
um espao de Hausdor. Para ),q distintos
em A, existe um `
0
tal que )(`
0
) ,= q(`
0
). Sejam l e \ vizinhanas disjuntas de )(`
0
) e q(`
0
),
respectivamente, em A
X0
. Ento
1
X0
(l) e
1
X0
(\ ) so vizinhanas de ) e q em A, com interseo
vazia. Portanto, A um espao de Hausdor.
Reciprocamente, suponha que A um espao de Haudor. Dado qualquer ndice `
0
, escolha ) A
e considere
1 = q A; q(`) = )(`) para todo ` ,= `
0
.
Se
X0
: A A
X0
a projeo, note que
X0
(1) = A
X0
homeomorfo a 1. De fato, seja
J,X0
: 1 A
X0
a restrio de
X0
a 1. fcil ver que
J,X0
bijetiva. Como
X0
contnua,
segue que
J,X0
contnua e, como
X0
aberta, podemos provar que
J,X0
aberta. Logo,
J,X0

um homeomorsmo.
Como 1 Hausdor (pois subespao de um espao de Hausdor), segue que A
X0
Hausdor.
O Teorema de Tychono garante ainda que 1
c(;1)
, alm de Hausdor, compacto.
A seguir, a aplicao natural w : A 1
c(;1)
dada por w(r)()) = )(r) ser bastante importante.
Proposio 21.10. A aplicao w : A 1
c(;1)
contnua.
Demonstrao. Para cada ) C(A; 1), temos que
}
w = ), e portanto segue que
}
w
contnua para cada ). Da se conclui que w contnua.
Teorema 21.11. A aplicao w : A 1
c(;1)
um homeomorsmo de A sobre w(A) se, e somente
se, A completamente regular e de Hausdor.
Demonstrao. Se existe o homeomorsmo, temos que w : A w(A) uma compacticao de A
(w(A) compacto, pois um fechado dentro de um compacto, e Hausdor, pois 1
c(;1)
Hausdor).
Como 1
c(;1)
Hausdor, segue que w(A) Hausdor. Logo, o homeomorsmo garante que A
Hausdor. O Corolrio 21.7 garante que A completamente regular.
Reciprocamente, suponha que A completamente regular e de Hausdor.
Como A de Hausdor, se r ,= j em A, existe l aberto com r l e j , l. Pela denio de
espao completamente regular, existe )
0
: A 1 contnua, tal que )
0
(r) = 1 e )
0
(Al) = 0. Logo
)
0
(j) = 0. Da, como
w(r)()
0
) = )
0
(r) = 1 ,= 0 = )
0
(j) = w(j)()
0
),
temos que w(r) ,= w(j) e portanto w : A w(A) bijetiva. Mostremos agora que w : A w(A)
aberta.
Armao. E = \
}
= r A; )(r) 0; ) C(A, 1) uma base de abertos em A.
De fato, se l aberto e r
0
l, existe ) C(A, 1) tal que )(r
0
) = 1 e )(A l) = 0. Logo
r
0
\
}
l e E base de abertos. ( claro que cada \
}
aberto).
Como para cada )
0
C(A, 1), = t 1
c(;1)
;
}0
(t) 0 aberto em 1
c(;1)
, pois
=
1
}0
((0, 1[), e
w(\
}0
) = w(A) ,
segue que w(\
}0
) aberto em w(A). Da w transforma abertos bsicos \
}
em abertos de w(A)
e consequentemente w : A w(A) aberta. Logo, conclumos que w : A w(A) um
homeomorsmo.
O par ordenado (w(A), w) chamada compacticao de Stone-Cech de A.
22. -Cpia da segunda prova do curso-
Segunda Prova de Topologia Geral
Programa de Mestrado em Matemtica-UFCG
Professor: Daniel Pellegrino
Data: 17/06/2005
Durao: 2 horas
Aluno:
1.
a) Dena compacticao.
b) Se A um espao topolgico, no compacto, mas localmente compacto e de Hausdor, como se
faz a compacticao de Alexandrov de A? Dena pelo menos o conjunto e seus abertos.
c) Escreva o que voc sabe sobre a compacticao de Stone-Cech.
2. Enuncie o Teorema da Extenso de Tietze. O que voc sabe dizer sobre uma possvel unicidade
de extenso...?
3. Mostre que funo contnua leva compactos em compactos e que compacidade uma propriedade
topolgica.
4. Mostre que A =

X2
A
X
Hausdor se, e somente se, cada A
X
Hausdor.
5. Exiba um espao topolgico A que no Hausdor, mas todo compacto em A fechado.
Justique o que armar.
23. Topologias em espaos de funes
23.1. Topologia da convergncia pontual.
Denio 23.1. Seja 1 um espao topolgico e A um conjunto no-vazio. Uma subcoleo T 1
tem a topologia da convergncia pontual se ela for munida da topologia induzida pela topologia
produto em 1
. Note que a topologia em T s depende da topologia de 1 . O conjunto A meramente

um indexador.
Perceba que se T 1
, os conjuntos da forma o(a, l) = ) T; )(a) l, com a A e l

aberto em 1 , formam uma sub-base para a topologia da convergncia pontual em T.
A proposio abaixo justica a terminologia topologia da convergncia pontual.
Proposio 23.2. Se T tem a topologia da convergncia pontual, ()
X
) converge para ) em T se, e
somente se, ()
X
(r)) converge para )(r), para cada r em A.
r
()) = )(r). Como as projees so contnuas, temos que se a rede ()
X
)
converge para ), ento, )
X
(r) converge para )(r), para cada r.
Reciprocamente, suponha que ()
X
(r)) converge para )(r), para cada r. Dada uma vizinhana bsica
l de ) na topologia produto, fcil ver que existe `
0
tal que ` _ `
0
= )
X
l, e portanto a rede ()
X
)
converge para ).
23.2. Topologia compacto-aberta. Como j dissemos antes, na topologia da convergncia pontual,
a estrutura topolgica de A (se existir) irrelevante. Se A e 1 so espaos topolgicos, a topologia
compacto-aberta, que deniremos a seguir, levar em conta a topologia de A:
Denio 23.3. A topologia compacto-aberta em T 1
a topologia que tem como sub-base os

conjuntos
(15) o(1, l) = ) T; )(1) l
com 1 compacto em A e l aberto em 1 .
Denotaremos a topologia compacto-aberta por t
c
.
Note que a topologia compacto-aberta mais na que a topologia da convergncia pontual, pois
todo ponto compacto, em qualquer topologia.
23.3. Topologia da convergncia uniforme. A topologia da convergncia uniforme pode ser
estudada em contextos mais gerais, assim como as topologias compacto-aberta e da convergncia
pontual. Entretanto, para no termos que introduzir vrios novos conceitos abstratos, nos
restringiremos ao estudo da topologia da convergncia uniforme em famlias T da forma T 1
,
onde 1 um espao mtrico e J um conjunto qualquer, no-vazio.
Denio 23.4. Sejam (1, d) um espao mtrico e d(a, /) = mind(a, /), 1. Dado um conjunto J, a
mtrica em 1
dada por
j(), q) = supd()(c), q(c)); c J
chamada mtrica uniforme em 1
, correspondente mtrica d em 1.
Teorema 23.5. Se 1 completo na mtrica d, ento 1
completo na mtrica uniforme j

correspondente a d.
Demonstrao. Como (1, d) completo, temos que (1, d) tambm . Seja ()
n
) uma seqncia de
Cauchy de pontos de 1
em relao mtrica j. Para qualquer c em J, pela denio de j, temos

que
d()
n
(c), )
n
(c)) _ j()
n
, )
n
)
para quaisquer :,:. Assim, ()
n
(c))
1
n=1
uma seqncia de Cauchy em (1, d), e portanto converge.
Digamos que o limite da seqncia ()
n
(c))
1
n=1
seja j
o
. Dena ) : J 1 como sendo a funo
)(c) = j
o
. Vamos mostrar que a seqncia )
n
converge para ) em j.
Dado - 0, escolha sucientemente grande, de modo que j()
n
, )
n
) < -,2 sempre que :, : _ .
Em particular, temos
d()
n
(c), )
n
(c)) < -,2
para :, : _ e c J. Deixando : _ e c xos e fazendo : crescer, temos que
d()
n
(c), )(c)) _ -,2.
Conclumos que se : _ , ento
supd()
n
(c), )(c)); c J _ -,2
e
j()
n
, )) _ -,2 < -.
A seguir, trataremos de convergncia uniforme de funes. Recordemos:

Se A um conjunto qualquer e ' = (', d) um espao mtrico, dizemos que uma seqncia
de funes )
n
: A ' converge uniformemente para ) : A ' se, dado - 0, for possvel
encontrar :
0
tal que
: _ :
0
= supd()
n
(r), )(r)), r A < -.
Teorema 23.6. Sejam A um espao topolgico e (1, d) um espao mtrico. O conjunto C(A, 1 )
formado pelas funes contnuas de A em 1 fechado em 1
na mtrica uniforme. Em particular,

se 1 completo, C(A, 1 ) completo na mtrica uniforme.
Demonstrao. Seja ()
n
) uma seqncia em 1
, que converge para ). Dado - 0, escolha um

inteiro tal que
j()
n
, )) < -
para todo : _ . Ento, para todo r em A e : _ ,
d()
n
(r), )(r)) _ j()
n
, )) < -
e ()
n
) converge uniformemente para ).
Agora, mostraremos que C(A, 1 ) fechado em 1
relativamente mtrica j. Seja ()

n
) uma
seqncia em C(A, 1 ) que converge para um certo ) 1
. Como ()
n
) converge uniformemente para
), e como cada )
n
contnua, segue que ) contnua (Exerccio abaixo).
Exerccio 23.7. Se A um espao topolgico, (1, d) um espao mtrico e )
n
: A 1 so contnuas
tais que ()
n
) converge para ) uniformemente, mostre que ) contnua.
Exerccio 23.8. Seja (1, d) um espao mtrico. Dado um conjunto J tal que para cada par de funes
) e q em 1
, temos
j(), q) = supd()(c), q(c)); c J < .
A aplicao j uma mtrica, chamada mtrica do sup. Mostre que nessas circunstncias,
j(), q) = minj(), q), 1.
23.4. Topologia da convergncia compacta.
Denio 23.9. Sejam (1, d) um espao mtrico e A um espao topolgico no-vazio. Dados um
elemento ) de 1
, - 0 e 1 compacto em A, seja
1
1
(), -) = q 1
; supd()(r), q(r)); r 1 < -.

A topologia em 1
para a qual os conjuntos 1

1
(), -) formam uma base chamada topologia
da convergncia compacta, tambm chamada topologia da convergncia uniforme nos
compactos.
Note que os conjuntos 1
1
(), -) realmente formam uma base para uma topologia. Sejam 1
1
(), -) e
1
1
(q, c) conjuntos com interseo no-vazia. Seja / 1
11
(), -) 1
12
(q, c). Note que 1
11[12
(/, j)
com j < min- d(/, )), c d(/, q) tal que
1
11[12
(/, j) 1
11
(), -) 1
12
(q, c).
Alm disso, se ) A, temos, por exemplo, 1
= 1
(), 1). Logo, por tudo o que foi visto, o Teorema

6.4 garante que os conjuntos 1
1
(), -) realmente formam uma base para uma topologia em 1
.
O exerccio abaixo justica a terminologia dada a essa topologia:
Exerccio 23.10. Uma seqncia )
n
: A 1 converge para ) na topologia da convergncia compacta
se, e somente se, para cada compacto 1 de A, a seqncia )
n
[ 1 converge uniformemente para ) [ 1.
Teorema 23.11. Seja A um espao topolgico e (1, d) um espao mtrico. Em C(A, 1 ), a topologia
compacto-aberta e a topologia da convergncia compacta coincidem.
Demonstrao.
Primeiro passo. Se um subconjunto de 1 e - 0, denimos
|(, -) =
_
o2.
1
J
(a, -).
Se compacto e \ um aberto contendo , mostraremos que existe um certo - tal que |(, -) \.
Para cada a \ , escolha c(a) 0 tal que 1
J
(a, c(a)) \. Como compacto, podemos
cobr-lo com uma quantidade nita de abertos da forma
1
J
(a
1
,
1
2
c(a
1
)), ..., 1
J
(a
n
,
1
2
c(a
n
)).
Se - = min
1
2
c(a
I
), i = 1, ..., :, claro que a est em algum dos conjuntos da forma 1
J
(a
I
,
1
2
c(a
I
)).
Por conseguinte, temos
1
J
(a, -) 1
J
(a
I
, c(a
I
)).
De fato, como d(r, a
I
) _ d(r, a)d(a, a
I
), temos que se r 1
J
(a, -), ento d(r, a
I
) < -
1
2
c(a
I
) _ c(a
I
).
Como isso vale para cada a em , segue que |(, -) =
_
o2.
1
J
(a, -) \.
Segundo passo. Vamos provar que a topologia da convergncia compacta mais na que a
topologia compacto-aberta (ou seja, a topologia da convergncia compacta tem mais abertos que a
topologia compacto-aberta).
Seja o(1, l) um elemento da sub-base (como em (15)) da a topologia compacto-aberta em C(A, 1 )
e seja ) o(1, l). Como ) contnua, )(1) compacto. Alm disso, pela denio de o(1, l),
temos que )(1) l. Pelo primeiro passo da demonstrao, existe - 0 tal que
|()(1), -) =
_
o2}(1)
1
J
(a, -) l.
Logo 1
1
(), -) o(1, l). De fato, se q 1
1
(), -), ento
supd()(r), q(r)), r 1 < -
e assim, q(r) 1
J
()(r), -) l para todo r em 1 e consequentemente q o(1, l).
Da todo aberto da topologia compacto-aberta tambm aberto da topologia da convergncia
compacta, que o que queramos no segundo passo da demonstrao.
Terceiro passo. Provaremos que a topologia compacto-aberta mais na que a topologia da
convergncia compacta.
Dado um aberto da topologia da convergncia compacta, contendo um elemento ), sabemos que
existe um aberto bsico (dessa topologia), 1
1
(), -), contido nesse aberto. O que precisamos fazer
encontrar um aberto da topologia compacto-aberta que contenha ) e esteja contido em 1
1
(), -).
Vamos partir, portanto, do conjunto aberto 1
1
(), -) na topologia da convergncia compacta.
Para cada r em 1, existe uma vizinhana de r, \
r
, tal que )(\
r
) l
r
1 , onde l
r
um aberto
de 1 com dimetro menor que -.
De fato, como ) contnua, escolha \
r
de modo que )(\
r
) 1()(r),
:
4
). Ento claro que
)(\
r
) 1()(r),
:
3
) (verique isso, usando o Exerccio 13.21!), que tem dimetro 2-,8.
Cubra 1 com uma quantidade nita de conjuntos \
r1
, ..., \
rn
. Sejam 1
ri
= \
ri
1. Ento cada
1
ri
compacto e
) o(1
r1
, l
r1
) ... o(1
rn
, l
rn
).
pois )(1
ri
) l
ri
. Alm disso, o(1
r1
, l
r1
) ... o(1
rn
, l
rn
) 1
1
(), -). De fato, se q
o(1
r1
, l
r1
) ... o(1
rn
, l
rn
), ento q 1
1
(), -), pois
supd(q(r), )(r)); r 1 < -.
Com efeito, se r 1, ento r 1
ri
para algum i. Logo, como q o(1
ri
, l
ri
), segue que
q(1
ri
) l
ri
. Como )(1
ri
) l
ri
, temos que
supd(q(r), )(r)); r 1 _ dia:l
ri
< -.
Note que a topologia compacto-aberta depende das topologias de A e de 1 e, no caso de 1 ser

um espao mtrico, mtricas equivalentes em 1 geram a mesma topologia compacto-aberta. Como
acabamos de mostrar que, em C(A, 1 ), a topologia compacto-aberta coincide com a topologia da
convergncia uniforme, temos o seguinte resultado:
Corolrio 23.12. Seja 1 um espao mtrico. A topologia da convergncia compacta em C(A, 1 ) no
depende da particular mtrica que represente 1 .
24. Espaos Conexos
Denio 24.1. Um espao topolgico A desconexo quando existem abertos disjuntos e no-vazios
H e 1 tais que A = H ' 1. Nesse caso, dizemos que A desconectado por H e 1.
Se A no for desconexo, dizemos que A conexo.
Exemplo 24.2. Nos cursos de Anlise, vemos que os intervalos da reta so conexos.
Proposio 24.3. Se ) : A 1 contnua e sobrejetiva e A conexo, ento 1 conexo.
Demonstrao. Se 1 no fosse conexo, existiriam abertos H e 1, disjuntos e no-vazios, tais que
1 = H ' 1.
Logo,
A = )
1
(H) ' )
1
(1)
e A no seria conexo (contradio).
Corolrio 24.4. Se ) : A 1 contnua e A conexo, ento )(A) conexo.
Demonstrao. Basta notar que ) : A )(A) satisfaz as hipteses da Proposio 24.3.
Proposio 24.5. Um espao topolgico A conexo se, e somente se, os nicos subconjuntos de A
que so simultaneamente abertos e fechados so A e c.
Demonstrao. (=) Se aberto e fechado, ento (A ) aberto e fechado. Se A for conexo,
ento, como
A = (A ) ' ,
segue que = c ou = A.
(=) Reciprocamente, suponha que os nicos subconjuntos abertos e fechados de A sejam A e o
vazio. Se A no fosse conexo, existiriam e 1 abertos, disjuntos, no-vazios, tais que
A = ' 1.
Logo, e 1 seriam abertos e fechados diferentes de A e vazio (contradio).
No prximo resultado, e mais adiante, usaremos, sem mencionar, o Teorema 8.4 (c).
Teorema 24.6. Seja A um espao topolgico, e seja o um subconjunto conexo de A. Ento o
conexo.
Demonstrao. Suponhamos que
o = ' 1,
com e 1 abertos disjuntos e no-vazios de o.
Note que nesse caso, temos o ,= c e 1 o ,= c.
De fato, se fosse o = c, ento teramos o o r (fechado em o). Logo,
(16) C|
S
(o) C|
S
(o r) = o r.
Mas
(17) C|
S
(o) = C|
(o) o = o (note que o a mesma coisa que C|
(o)).
De (16) e (17), segue que
o o r,
e isso implica que = c (absurdo). Analogamente se prova que 1 o ,= c.
Alm disso,
o = o o = (o ) ' (o 1).
Logo, o unio dos abertos disjuntos e no vazios o e o 1 (de o), e isso contradiz a conexidade
de o.
Corolrio 24.7. Seja 1 um espao topolgico e o um subconjunto conexo de 1 . Se o T C|
Y
(o),
ento T conexo.
C|
T
(o) = C|
Y
(o) T = T.
Pelo teorema anterior, com A = T, segue que T conexo.
Denio 24.8. Conjuntos H e 1 so ditos mutuamente separados, em um espao topolgico A,
quando
H 1 = H 1 = c.
Proposio 24.9. Um subespao 1, de um espao topolgico A, conexo se, e somente se, no
existem conjuntos H e 1 no-vazios e mutuamente separados em A com 1 = H ' 1.
Demonstrao. Suponha que 1 no seja conexo, sendo desconectado por H e 1 (lembre que, nesse
caso, H e 1 so abertos e fechados em 1, disjuntos, no-vazios, e 1 = H ' 1). Ento H e 1 so
mutuamente separados em A, pois
H C|
(1) = (H 1) C|
(1)
= H (1 C|
(1))
= H C|
J
(1)
= H 1 = c.
Analogamente,
1 C|
(H) = c.
Portanto, est provada (=).
Agora, vamos provar (=). Suponha que existam H e 1 mutuamente separados em A, no-vazios,
com 1 = H ' 1. Ento
C|
J
(H) = 1 C|
(H) = (H ' 1) C|
(H)
= (H C|
(H)) ' (1 C|
(H)) = H
Analogamente,
C|
J
(1) = 1.
Logo, H e 1 so fechados em 1, e portanto abertos, e portanto 1 no conexo.
Corolrio 24.10. Se H e 1 so mutuamente separados em A e 1 um subconjunto conexo de H'1,
ento 1 H ou 1 1.
Demonstrao. O caso 1 = c trivial. Suponhamos 1 no-vazio. Como 1 H ' 1, temos
(18) 1 = (1 H) ' (1 1)
Se 1 no estiver contido em 1 e nem em H, temos, de (18), que
1 H ,= c e 1 1 ,= c.
Note que 1 1 e 1 H so mutuamente separados em A. De fato,
C|
(1 1) (1 H) C|
(1) H = c
C|
(1 H) (1 1) C|
(H) 1 = c.
Pela Proposio 24.9, segue que 1 desconexo.
Teorema 24.11. (a) Se A =

o2
A
o
, onde cada A
o
conexo e

o2
A
o
,= c, ento A conexo.
(b) Se cada par de pontos r, j em A pertence a algum conexo 1
r
A, ento A conexo.
(c) Se A =
1
n=1
A
n
, onde cada A
n
conexo e A
n1
A
n
,= c para cada : _ 2, ento A conexo.
Demonstrao. (a) Suponha A = H ' 1, onde H e 1 so mutuamente separados em A. Ento,
como cada A
o
conexo e A
o
H '1, pelo Corolrio 24.10 segue que A
o
H ou A
o
1. Como os
A
o
no so disjuntos e H e 1 so disjuntos, segue que
A
o
H para todo c, ou
A
o
1 para todo c.
Suponhamos, sem perda de generalidade, a primeira situao. Nesse caso,
A =

o2
A
o
H
e, portanto, 1 = c. Da se conclui que A conexo.
(b) Fixe a A. Ento
A =

r2
1
or
.
Pelo item (a), segue que A conexo.
(c) Pelo item (a), temos que cada
n
= A
1
' ' A
n
conexo. Como
1
n=1
n
= A
1
,= c,
e como
A =
1
n=1
n
,
segue que A conexo.
Exerccio 24.12. Se A
o
,= c so espaos topolgicos, mostre que
A
o
conexo = cada A
o
conexo.
Soluo: Veja [8, Theorem 26.10].
24.1. Componentes conexas.
Denio 24.13. Seja A um espao topolgico. Dado r A, denotaremos por C
r
a unio dos
subconjuntos conexos de A que contm r. O conjunto C
r
chamado de componente conexa de A que
contm r.
Seja A um espao topolgico. Se r, j A, ento
C
r
= C
ou C
r
C
= c.
Demonstrao. Se C
r
C
,= c, ento C
r
' C
conexo (e contm r e j), e portanto

C
r
= C
r
' C
= C
Proposio 24.14. Se r A, ento C

r
um conjunto fechado.
Demonstrao. Como C
r
conexo, segue que C
r
tambm conexo. Logo
C
r
= C
r
.
Denio 24.15. Um espao topolgoco A dito localmente conexo se cada r A admite uma base
de vizinhanas formada por conjuntos simultaneamente abertos e conexos.
Exemplo 24.16. [0, 1) ' (1, 2[ localmente conexo, mas no conexo.
Proposio 24.17. Um espao topolgico A localmente conexo se, e somente se, as componentes
conexas de cada aberto de A so abertas em A.
Demonstrao. Suponhamos que A seja localmente conexo. Se l um aberto de A, seja C uma
componente conexa de l. Como A localmente conexo, para cada r C, existe um aberto conexo \
tal que r \ l. Pela denio de componente conexa, segue que \ C e da conclumos que C
um conjunto aberto.
Reciprocamente, suponhamos que as componentes conexas de cada aberto de A sejam abertas em
A. Seja r A e l uma vizinhana aberta de r em A e seja C a componente conexa de l que contm
r. Como, por hiptese, C aberto em A, segue que A localmente conexo.
25. Espaos conexos por caminhos
Denio 25.1. Um espao topolgico A dito conexo por caminhos se dados a, / A, existe
uma funo contnua ) : [0, 1[ A tal que )(0) = a e )(1) = /. Uma tal funo ) chamada caminho
em A entre a e /.
Proposio 25.2. Se A conexo por caminhos, ento A conexo.
Demonstrao. Se A no fosse conexo, existiriam abertos disjuntos e no-vazios e 1 tais que
A = ' 1. Sejam a e / 1 e ) : [0, 1[ A um caminho tal que )(0) = a e )(1) = /. Ento
[0, 1[ = )
1
() ' )
1
(1)
e [0, 1[ no seria conexo.
Denio 25.3. Seja A um espao topolgico. Se )
1
um caminho em A entre a e / e )
2
um
caminho em A entre / e c, denimos )
1
+ )
2
: [0, 1[ A como sendo o caminho entre a e c dado por
()
1
+ )
2
)(t) = )
1
(2t) se 0 _ t _ 1,2
()
1
+ )
2
)(t) = )
2
(2t 1) se 1,2 _ t _ 1.
Exerccio 25.4. Seja A um espao topolgico, e sejam ), q e / caminhos em A entre a e /, entre /
e c e entre c e d, respectivamente. Mostre que
(() + q) + /) (:) = )(4:), 0 _ : _ 1,4
= q(4: 1), 1,4 _ : _ 1,2
= /(2: 1), 1,2 _ : _ 1
e
() + (q + /)) (:) = )(2:), 0 _ : _ 1,2
= q(4: 2), 1,2 _ : _ 8,4
= /(4: 8), 8,4 _ : _ 1.
26. Homotopias
Lembremos que um homeomorsmo entre espaos topolgicos A e 1 uma funo bijetiva contnua
) : A 1 cuja inversa tambm contnua. Um dos problemas centrais da topologia decidir
quando dois espaos topolgicos so homeomorfos ou no. s vezes fcil vericar isso. Por exemplo,
[0, 1[ e (0, 1) no so homeomorfos, pois um deles compacto e o outro no (e a compacidade um
invariante topolgico). Entretanto, s vezes precisamos de argumentos mais nos para saber se dois
espaos topolgicos so homeomorfos ou no. Nesse captulo, vamos estudar uma maneira de associar
um grupo (chamado grupo fundamental) a cada espao topolgico. Dois espaos homeomorfos tero
grupos fundamentais isomorfos. Antes disso, precisamos do conceito de homotopia e de resultados
preliminares.
No que se segue, A e 1 sero sempre espaos topolgicos, a menos que se diga algo em contrrio.
Denio 26.1. Sejam ) e q funes contnuas de A em 1. Dizemos que ) homotpica a q () q)
quando existe uma funo contnua H : A [0, 1[ 1 tal que H(r, 0) = )(r) e H(r, 1) = q(r) para
todo r em A. A funo H chamada homotopia entre ) e q. Por simplicidade, s vezes escreveremos
H : ) q para indicar uma homotopia H entre ) e q.
Observao 26.2. Em [0, 1[ A consideramos a topologia produto.
O seguinte exerccio pode ser til para provar a continuidade de algumas funes nessa seo:
Exerccio 26.3. Seja A
1
e A
2
espaos topolgicos. Mostre que a rede (r
o
, j
o
)
o2
converge para (r, j)
se, e somente se, (r
o
)
o2
r e (j
o
)
o2
j.
Exemplo 26.4. Seja A um espao topolgico qualquer e 1 um subespao convexo do R
n
. Ento duas
funes contnuas quaisquer ), q : A 1 so homotpicas, com a homotopia dada por
H(r, t) = tq(r) (1 t))(r).
Teorema 26.5. uma relao de equivalncia no conjunto C(A, 1 ) formado por todas as aplicaes
contnuas de A em 1 .
Demonstrao. claro que ) ) pela homotopia H(r, t) = )(r).
Se ), q C(A, 1 ) e H : ) q, ento H
0
: q ) com H
0
(r, t) = H(r, 1 t).
Se ), q, / C(A, 1 ), H
1
: ) q e H
2
: q /, dena
H(r, t) = H
1
(r, 2t), 0 _ t _ 1,2
H(r, t) = H
2
(r, 2t 1), 1,2 _ t _ 1.
Note que H est bem denida e contnua nos subconjuntos fechados A[0, 1,2[ e A[1,2, 1[. Como
A [0, 1[ = A [1,2, 1[ ' A [0, 1,2[, segue, pelo Teorema 8.8, que H contnua.
Denio 26.6. As classes de equivalncia em C(A, 1 ) sob a relao so chamadas classes de
homotopia em C(A, 1 ).
Teorema 26.7. Se )
1
, q
1
: A 1 , )
2
, q
2
: 1 7, )
1
q
1
e )
2
q
2
, ento )
2
)
1
q
2
q
1
.
Demonstrao. Suponha H
1
: )
1
q
1
e H
2
: )
2
q
2
. Ento )
2
H
1
: )
2
)
1
)
2
q
1
. Pela
transitividade da relao de homotopia, basta provar que )
2
q
1
e q
2
q
1
so homotpicos. Dena
H : A 1 7 por
H(r, t) = H
2
(q
1
(r), t).
Temos que H contnua, pois composta de contnuas. Como H : )
2
q
1
q
2
q
1
, o resultado segue.
Denio 26.8. Um espao topolgico A dito contrtil se a aplicao identidade i : A A
homotpica a uma aplicao constante c(r) = r
0
, com r
0
A.
Exemplo 26.9. Segue do Exemplo 26.4 que todo subconjunto convexo do R
n
contrtil.
Teorema 26.10. Um espao topolgico A contrtil se, e somente se, para qualquer espao T,
quaisquer duas funes contnuas ), q : T A so homotpicas.
Demonstrao. (=) Escolha T = A e ) = i e q como uma aplicao constante.
(=) Se A contrtil, ento i c, onde c uma aplicao constante. Sejam ), q : T A duas
aplicaes contnuas quaisquer. Pelo teorema anterior,
) = i ) c ) e q = i q c q.
Mas c ) = c q, e da ) q.
Denio 26.11. Dois espaos topolgicos A e 1 so ditos homotopicamente equivalentes (ou
ainda, A e 1 tm o mesmo tipo de homotopia) quando existem funes contnuas ) : A 1
e q : 1 A tais que ) q i
Y
e q ) i
. As aplicaes ) e q so ditas equivalncias de

homotopia (ou equivalncias homotpicas) (homotopy equivalences). Dizemos que q a inversa
homotpica de ) e vice versa.
Observe que dizer que A e 1 tm o mesmo tipo de homotopia um pouco menos que dizer que
so homeomorfos: ) q e q ) no so necessariamente as respectivas funes identidade, mas sim
homotpicas s identidades i
e i
Y
.
Note que as equivalncias de homotopia denem uma relao de equivalncia em qualquer conjunto
formado por espaos topolgicos. De fato,
A homotopicamente equivalente a si prprio. Basta considerar ) = q = i
.
Se A homotopicamente equivalente a 1 , claro que 1 homotopicamente equivalente a A.
Finalmente, se A homotopicamente equivalente a 1 e 1 homotopicamente equivalente a
7, ento A homotopicamente equivalente a 7. Com efeito, sejam
) : A 1, q : 1 A tais que ) q i
Y
e q ) i
e
)
1
: 1 7, q
1
: 7 1 tais que )
1
q
1
i
2
e q
1
)
1
i
Y
.
Ento )
1
) : A 7 e q q
1
: 7 A so tais que
()
1
)) (q q
1
) = )
1
() q) q
1
)
1
i
Y
q
1
= )
1
q
1
i
2
e, analogamente, (q q
1
) ()
1
)) i
.
claro que espaos homeomorfos so sempre homotopicamente equivalentes. Entretanto, a recproca
no verdadeira, como veremos no resultado a seguir:
Teorema 26.12. A contrtil se, e somente se, A homotopicamente equivalente a um espao
formado por um nico ponto.
Demonstrao. Suponha que A contrtil. Ento a identidade i
: A A homotpica funo
constante c : A A dada por c(r) = r
0
(com r
0
escolhido em A). Seja 1 = r
0
, e seja , : 1 A
a incluso. Ento, se c
0
: A 1 dada por c
0
(r) = c(r), temos c
0
, = i
Y
e , c
0
= c i
. Da A
homotopicamente equivalente a 1.
Exemplo 26.13. A = (1, 1), com a topologia usual, homotopicamente equivalente a 0, mas no
homeomorfo a 0. De fato, do Exemplo 26.9 que A contrtil, e da demonstrao do Teorema
26.12 segue que A homotopicamente equivalente a 0.
Reciprocamente, suponha que r
0
A e ) : A 1 uma equivalncia de homotopia entre A e
1 = r
0
, e que q : 1 A seja a inversa homotpica de ). Ento, pela denio de equivalncia de
homotopia, q ) i
. Como q ) a aplicao constante, segue que A contrtil.

Denio 26.14. Um subconjunto de A um retrato de A quando existe uma aplicao contnua
r : A , chamada retrao, tal que r(a) = a para cada a . Chamamos de retrato de
deformao de A quando existe uma retrao r : A que homotpica (pensada como aplicao
de A em A) identidade i
. Se H : r i
, H dita retrao de deformao (deformation

retraction).
Exemplo 26.15. Um retrato no necessariamente um retrato de deformao. De fato, subconjuntos
unitrios de um espao A so sempre retratos de A. Entretanto, nenhum subespao com apenas
um elemento de o
1
um retrato de deformao (isso ser visto adiante, no estudo dos grupos
fundamentais).
Teorema 26.16. Se um retrato de deformao de A, ento homotopicamente equivalente a
A.
Demonstrao. Sejam , : A a incluso e r : A a retrao. Logo
Ento r , = i
.
e , r : A A coincide com r vista como aplicao de A em A, que sabemos ser
homotpica a i
. Portanto homotopicamente equivalente a A.

Conclumos essa seo com uma generalizao do conceito de homotopia, que nos ser til adiante
Denio 26.17. Um par topolgico um par ordenado (A, ) onde A um espao topolgico e
A. Uma aplicao ) : (A, ) (1, 1) entre pares topolgicos uma aplicao ) : A 1 tal
que )() 1; ela contnua se contnua no sentido usual.
Denio 26.18. Duas aplicaes contnuas ), q : (A, ) (1, 1) so ditas homotpicas quando
existe uma funo contnua H : A 1 1 tal que H(r, 0) = )(r) e H(r, 1) = q(r) para todo r em
A e tal que H(a, t) = )(a) = q(a) para todo a em . Portanto, para que ) e q sejam homotpicas,
necessrio que ) e q coincidam em . Se ) e q so aplicaes homotpicas denidas em (A, ),
dizemos que ) homotpica a q com relao a , e escrevemos ) q[[. Dizemos que H uma
homotopia relativa.
Tambm temos uma denio semelhante para duas aplicaes contnuas ), q : A 1 e A.
Dizemos que ) homotpica a q relativamente a ( ) q[[) se existe uma homotopia H : ) q
tal que H(r, t) = )(r) = q(r) para todo r em . Nesse caso, note que )(r) = q(r) para todo r em .
Dois pares (A, ) e (1, 1) so ditos homotopicamente equivalentes se existem ) : (A, )
(1, 1) e q : (1, 1) (A, ) tais que ) q i
Y
[1[ e q ) i
[[. Nesse caso, perceba que se )

.
e
q
1
denotam as restries de ) a e de q a 1, respectivamente, temos
)
.
q
1
= i
1
e q
1
)
.
= i
.
e consequentemente )
.
um homeomorsmo entre e 1 cuja inversa q
1
.
Observao 26.19. A noo de homotopia relativa tem algumas variaes, e ao estudar livros
distintos, devemos prestar ateno na denio exata.
Se ), q : (A, ) (1, 1) e ) q[[, ento claro que, em particular, ) e q so homotpicas se
pensadas como aplicaes usuais de A em 1 . A recproca pode no valer, como mostra o exemplo a
seguir:
Exemplo 26.20. Seja A um subespao do R
2
dado por
A = (r, 0); 0 _ r _ 1 ' (0, j); 0 _ j _ 1 ' (1,:, j); 0 _ j _ 1, : N
e seja = (0, 1).
A contrtil e i
homotpica funo constante c : A A dada por c(r, j) = (0, 1).

De fato,
H
1
: A 1 A
H
1
((r, j), t) = (r, tj)
uma homotopia entre i
r
e a aplicao q : A A, q((r, j)) = (r, 0). Note ainda que H
1
est bem
denida e contnua.
A aplicao
H
2
: A 1 A
H
2
((r, j), t) = (tr, 0)
uma homotopia entre q e a aplicao constante c
1
(r, j) = (0, 0). Finalmente, a aplicao
H
3
: A 1 A
H
2
((r, j), t) = t(0, 1)
uma homotopia entre c e c
1.
Portanto, por transitividade, i
homotpica a c. Consequentemente,
A contrtil.
Note que i
e c coincidem no ponto (0, 1). Entretanto, vamos mostrar que nenhuma homotopia
entre i
e c pode deixar o ponto (0, 1) xo.

Suponha que exista uma homotopia
H : A 1 A
H((r, j), 0) = (r, j)
H((r, j), 1) = (0, 1)
tal que H((0, 1), t) = (0, 1) para todo t. Como A 1 compacto, temos que H uniformemente
contnua. Dado - = 1,4, existe c 0 tal que
|(r, j, t) (0, 1, t)| < c = |H(r, j, t) (0, 1)| < 1,4.
Escolha (r
0
, j
0
) = (
q
2
, 1), com j = minc, 1,2. Logo
|(r
0
, j
0
, t) (0, 1, t)| < c
e portanto |H(r
0
, j
0
, t) (0, 1)| < 1,4.
Mas H(r
0
, j
0
, 1) = (0, 1) e H(r
0
, j
0
, 0) = (r
0
, j
0
). Como r
0
j
0
1 conexo, temos
que H(r
0
j
0
1) tambm conexo. Por outro lado, H(r
0
j
0
1) 1
1/4
(0, 1) e
(0, 1) H(r
0
j
0
1) e (r
0
, j
0
) H(r
0
j
0
1), e isso uma contradio. De fato,
teramos, para 0 < <
q
2
e irracional,
H(r
0
j
0
1)
= ([(1, ) (1, 2)[ H(r
0
j
0
1))
([(, 2) (1, 2)[ H(r

0
j
0
1)) ,
e ([(1, ) (1, 2)[ H(r
0
j
0
1)) seria um aberto em H(r
0
j
0
1) contendo (0, 1) e
([(, 2) (1, 2)[ H(r
0
j
0
1)) seria um aberto em H(r
0
j
0
1) contendo (r
0
, j
0
), e
isso contradiz o fato de H(r
0
j
0
1) ser conexo.
Exerccio 26.21. Seja A um espao topolgico e a, /, c A. Sejam )
1
, q
1
: [0, 1[ A dois caminhos
em A que ligam a e /, e sejam )
2
, q
2
: [0, 1[ A dois caminhos em A que ligam / e c. Se
)
1
q
1
[0, 1[ e )
2
q
2
[0, 1[,
mostre que
)
1
+ )
2
q
1
+ q
2
[0, 1[.
27. Grupos Fundamentais
Denio 27.1. Seja A um espao topolgico, r
0
um ponto xo em A. Uma funo contnua
) : 1 A ser chamada um lao (caminho fechado) em r
0
quando )(0) = )(1) = r
0
. Dois
laos ) e q em r
0
sero ditos laos homotpicos (ou, quando no houver possibilidade de confuso,
homotpicos) quando ) q[0, 1[. Portanto, uma homotopia de lao entre dois laos em r
0

uma homotopia relativa que mantm as extremidades de 1 em r
0
. Essa homotopia ser denotada por
r0
. Note que )
r0
q o mesmo que ) q[0, 1[ com )(0) = )(1) = q(0) = q(1).
Precisamente, dois caminhos fechados ) e q (em r
0
) de 1 em A so homotpicos quando existe uma
aplicao contnua H : 1 1 A tal que
H(:, 0) = )(:), H(:, 1) = q(:) e H(0, t) = H(1, t) = r
0
para quaisquer :, t em 1.
A relao
r0
entre laos em r
0
uma relao de equivalncia (a demonstrao similar ao que
feito no Teorema 26.5; verique!) e portanto particiona o conjunto dos laos \(A, r
0
) em classes de
equivalncias. A classe de equivalncia de ) ser denotada por [)[, e o conjunto de todas as classes de
laos em r
0
ser denotado por H
1
(A, r
0
).
A seguir, se c : [0, 1[ A um caminho entre r
0
e r
1
em A, ento denimos
c
1
: [0, 1[ A
c
1
(r) = c(1 r).
Note que c
1
liga r
0
a r
1
.
Exerccio 27.2. Mostre que se )
1
, q
1
\(A, r
0
), )
1

r0
q
1
e c : [0, 1[ A um caminho entre r
0
e r
1
em A, ento
(19) c
1
+ ()
1
+ c)
r1
c
1
+ (q
1
+ c) .
Soluo. Temos que )
1
q
1
[0, 1[ e c c[0, 1[. Pelo Exerccio 26.21 temos
)
1
+ c q
1
+ c[0, 1[.
Ainda pelo Exerccio 26.21, temos
c
1
+ ()
1
+ c) c
1
+ (q
1
+ c) [0, 1[.
Como
_
c
1
+ ()
1
+ c)
_
(0) =
_
c
1
+ ()
1
+ c)
_
(1) = r
1
, segue (19).
Exerccio 27.3. Mostre que a operao
[)
1
[ + [)
2
[ = [)
1
+ )
2
[
est bem denida em H
1
(A, r
0
).
Soluo. Devemos mostrar que se )
1

r0
q
1
e )
2

r0
q
2
, ento )
1
+ )
2

r0
q
1
+ q
2
. Temos que
)
1
q
1
[0, 1[ e )
2
q
2
[0, 1[
Pelo Exerccio 26.21, temos
)
1
+ )
2
q
1
+ q
2
[0, 1[.
Como )
1
+ )
2
(0) = )
1
+ )
2
(1) = q
1
+ q
2
(0) = q
1
+ q
2
(1) = r
0
, podemos escrever
)
1
+ )
2

r0
q
1
+ q
2
.
Teorema 27.4. H
1
(A, r
0
) com a operao + um grupo.
Demonstrao. Vamos mostrar primeiro que ([)[ + [q[) + [/[ = [)[ + ([q[ + [/[).
Pelo Exerccio 25.4 temos
(() + q) + /) (:) = )(4:), 0 _ : _ 1,4
= q(4: 1), 1,4 _ : _ 1,2
= /(2: 1), 1,2 _ : _ 1
e
() + (q + /)) (:) = )(2:), 0 _ : _ 1,2
= q(4: 2), 1,2 _ : _ 8,4
= /(4: 8), 8,4 _ : _ 1.
Denamos H : 1 1 A por
H(:, t) = )(
4:
1 t
), se 0 _ : _
1 t
4
H(:, t) = q(4: 1 t), se
1 t
4
_ : _
2 t
4
H(:, t) = /(
4: 2 t
2 t
), se
2 t
4
_ : _ 1.
Note que H contnua (use que ), q, / so contnuas, redes, e o Exerccio 13.20). Alm disso,
H(:, 0) = (() + q) + /) (:) para 0 _ : _ 1
H(:, 1) = () + (q + /))(:) para 0 _ : _ 1
H(0, t) = () + q) + /))(0) = () + (q + /))(0) para 0 _ t _ 1
H(1, t) = () + q) + /))(1) = () + (q + /))(1) para 0 _ t _ 1
e portanto
() + q) + /
r0
) + (q + /).
Logo [() + q) + /[ = [) + (q + /)[, ou ainda, ([)[ + [q[) + [/[ = [)[ + ([q[ + [/[).
Agora, vamos mostrar a existncia do elemento neutro de H
1
(A, r
0
). Denindo c : 1 A por
c(t) = r
0
para todo t 1, vamos mostrar que [c[ o elemento neutro. Para provar que, para toda
[)[ H
1
(A, r
0
), temos [)[ + [c[ = [)[, basta considerar a homotopia
H(:, t) = )(
2:
2 t
), 0 _ : _
2 t
2
= r
0
,
2 t
2
_ : _ 1
e perceber que H(:, 0) = )(r) e H(:, 1) = () + c)(r). Analogamente se prova que [c[ + [)[ = [)[ para
toda [)[ H
1
(A, r
0
).
Resta-nos provar a existncia das inversas.
Para cada lao ) em r
0
, dena )
1
por
)
1
(:) = )(1 :), 0 _ : _ 1.
Para mostrar que [)
1
[ uma inversa de [)[, basta provar que [)
1
[+ [)[ = [)[+ [)
1
[ = [c[. Para
isso, suciente mostrar que )
1
+ )
r0
) + )
1
r0
c.
Note que
) + )
1
(:) = )(2:), se 0 _ : _ 1,2
= )(2 2:), se 1/2 _ : _ 1.
Dena
H(:, t) = )(2t:), 0 _ : _
1
2
(20)
= )(2t(1 :)),
1
2
_ : _ 1
Temos que H (est bem denida e) contnua e, como H(:, 1) = () + )
1
)(:), H(:, 0) = r
0
= c(:),
H(0, t) = H(1, t) = r
0
, segue que [)[+ [)
1
[ = [c[. A outra situao anloga.
Observao 27.5. Note que poderamos ter denido a homotopia abaixo em vez de (20):
H(:, t) =
_
_
_
)(2:), se 0 _ : _
1|
2
)
1
(2: 2t 1), se
1|
2
_ : _ 1 t
r
0
, se 1 t _ : _ 1.
Observao 27.6. Uma informao importante: os grupos fundamentais no so necessariamente
abelianos.
Proposio 27.7. Seja c : [0, 1[ A um caminho entre r
0
e r
1
. Ento a funo
c
: H
1
(A, r
0
) H
1
(A, r
1
)
dada por c
([)[) = [c
1
+ ) + c[ um isomorsmo de grupos.
Demonstrao. Pelo Exerccio 27.2 segue que c
est bem denida. Note que se [)[, [q[ H

1
(A, r
0
),
temos
c
([)[) + c
([q[) = [c
1
+ ) + c[ + [c
1
+ q + c[) = [(c
1
+ ) + c) + (c
1
+ q + c)[
= [(c
1
+ ) + q + c)[ = c
([) + q[) = c
([)[ + [q[).
Acima, usamos que c + c
1
= [c
r0
[, e isso pode ser provado como em (20). De fato, dena
H(:, t) = c(2t:), 0 _ : _
1
2
(21)
= c(2t(1 :)),
1
2
_ : _ 1
Temos que H (est bem denida e) contnua e, como H(:, 1) = (c + c
1
)(:), H(:, 0) = c(0) = r
0
=
c
r0
(:), H(0, t) = c(0) = r
0
, e H(1, t) = c(0) = r
0
, segue que
[c + c
1
[ = [c
r0
[.
Note que c
injetiva, pois
c
([)[) = [c
r0
[) = c
1
+ ) + c c
r0
[0, 1[
= ) + c c + c
r0
[0, 1[
= ) c + c
r0
+ c
1
[0, 1[
= ) c
r0
[0, 1[
= [)[ = [c
r0
[
e portanto c
injetiva. fcil ver que c
sobrejetiva, pois dado [/[ H

1
(A, r
1
), note que
c
([c + / + c
1
[) = [/[.
Note que
_
c
1
_
: H
1
(A, r
1
) H
1
(A, r
0
) tal que
_
c
1
_
([)[) =
_
c
1
_
([c
1
+ ) + c[)
= [c + (c
1
+ ) + c) + c
1
[ = [)[.
Assim
_
c
1
_
o inverso do homomorsmo c
.
O prximo resultado conseqncia imediata do resultado anterior:
Corolrio 27.8. Se A conexo por caminhos e r
0
, r
1
A, ento H
1
(A, r
0
) e H
1
(A, r
1
) so
isomorfos.
Denio 27.9. Um espao topolgico A simplesmente conexo se A conexo por caminhos e o
grupo H
1
(A, r
0
) trivial para algum, e portanto para todo r
0
A.
Exerccio 27.10. Mostre que todo subconjunto convexo de R
n
simplesmente conexo.
Exerccio 27.11. Sejam A e 1 espaos topolgicos, e seja c : (A, r
0
) (1, j
0
) uma funo contnua.
Mostre que a funo
c
: H
1
(A, r
0
) H
1
(1, j
0
)
dada por c
([)[) = [c )[ um homomorsmo de grupos.

Soluo.Temos
c
([)[ + [q[) = c
([) + q[) = [c () + q)[.

Note que
(c () + q)) (:) =
_
c()(2:)), se 0 _ : _ 1,2
c(q(2: 1)), se 1,2 _ : _ 1.
Por outro lado,
c
([)[) + c
([q[) = [c )[ + [c q[ = [(c )) + (c q)[

e
((c )) + (c q)) (:) =
_
(c ))(2:), se 0 _ : _ 1,2
(c q)(2: 1), se 1,2 _ : _ 1.
Logo segue que (c () + q)) (:) = ((c )) + (c q)) (:).
Exerccio 27.12. Se c a identidade em A, mostre que c
a identidade em H
1
(A, r
0
).
Soluo. Se c a identidade em A, ento
c
([)[) = [c )[ = [)[
e portanto c
= id : H
1
(A, r
0
) H
1
(A, r
0
).
Exerccio 27.13. Sejam A, 1 e 7 espaos topolgicos, e sejam c : (A, r
0
) (1, j
0
) e c : (1, j
0
)
(7, .
0
) funes contnuas. Mostre que
(c c)
= c
.
Soluo. Temos
(c c)
: H
1
(A, r
0
) H
1
(7, .
0
)
dada por
(c c)
([)[) = [(c c) )[ = [c (c )))[ = c
([c )[)
= c
(c
([)[)) = (c
) ([)[).
Logo (c c)
= c
.
Exerccio 27.14. Se c : (A, r
0
) (1, j
0
) um homeomorsmo, mostre que c
um isomorsmo de
grupos.
Soluo. Temos, pelo Exerccio 27.11, que c
: H
1
(A, r
0
) H
1
(1, j
0
) um homomorsmo.
Note que c
sobrejetiva. De fato, dado [/[ H

1
(1, j
0
), temos que ) = c
1
/ : [0, 1[ A tal
que )(0) = c
1
(/(0)) = c
1
(j
0
) = r
0
e )(1) = c
1
(/(1)) = c
1
(j
0
) = r
0
. Logo [)[ H
1
(A, r
0
) e
c
([)[) = [c (c
1
/)[ = [/[.
S resta provar que c
injetiva. De fato, se c
([)[) = c
([q[), ento [c )[ = [c q[. Logo

_
c
1
_
([c )[) =
_
c
1
_
([c q[)
e da segue que
[c
1
c )[ = [c
1
c q[
e nalmente [)[ = [q[.
Exerccio 27.15. Sejam A e 1 espaos topolgicos e sejam c, c : (A, r
0
) (1, j
0
) funes contnuas
tais que c c[r
0
[. Prove que c )
0
c ) para todo ) \(A, r
0
). Conclua que c
= c
.
Soluo. Seja H
1
: c c[r
0
[.
Seja H : [0, 1[ [0, 1[ 1 dada por H(r, t) = H
1
()(r), t). Ento, seja
H(r, 0) = H
1
()(r), 0) = c()(r))
H(r, 1) = H
1
()(r), 1) = c()(r))
H(0, t) = H
1
()(0), 1) = c()(0)) = c(r
0
) = j
0
H(1, t) = H
1
()(1), 1) = c()(1)) = c(r
0
) = j
0
.
Logo, segue que H
1
: c ) c )[j
0
[, isto , c )
0
c ).
Portanto, se [)[ H
1
(A, r
0
), temos c
([)[) = [c )[ = [c )[ = c
([)[), e conclumos que c
= c
.
Exerccio 27.16. Se (A, r
0
) e (1, j
0
) so homotopicamente equivalentes, prove que os grupos
H
1
(A, r
0
) e H
1
(1, j
0
) so isomorfos.
Soluo. Como (A, r
0
) e (1, j
0
) so homotopicamente equivalentes, existem ) : (A, r
0
) (1, j
0
) e
q : (1, j
0
) (A, r
0
) contnuas, tais que ) q id
Y
[j
0
[ e q ) id
[r
0
[.
Pelo Exerccio 27.15 segue que
() q)
= (id
Y
)
(q ))
= (id
Pelo Exerccio 27.12 segue que

(q ))
= id : H
1
(A, r
0
) H
1
(A, r
0
)
() q)
= id : H
1
(1, j
0
) H
1
(1, j
0
).
Pelo Exerccio 27.13 temos que (q ))
= q
e () q)
= )
. Logo
q
= id : H
1
(A, r
0
) H
1
(A, r
0
)
)
= id : H
1
(1, j
0
) H
1
(1, j
0
).
Conclumos que )
um isomorsmo.
27.1. O grupo fundamental do crculo unitrio. Nessa seo calcularemos o grupo fundamental
do crculo unitrio o
1
(com base em 1). Precisamente, mostraremos que H
1
(o
1
, 1) = Z.
Comeamos com dois lemas, mas antes precisamos de algumas consideraes. Seja
j : R o
1
dada por j(t) = c
2t|I
. Note que
(a) j sobrejetiva, contnua e aberta, e j(0) = 1.
(b) A restrio j [ (1,2, 1,2) o
1
1 um homeomorsmo. Seja a inversa de
j [ (1,2, 1,2).
(c) j(: t) = j(:) j(t) para todo :, t R.
(d) j(t) = 1 se, e somente se, t Z.
(e) j : (R,) (o
1
, .) um homomorsmo de grupos cujo ncleo Z.
Lema 27.17. Seja q um caminho em o
1
, com q(0) = 1. Ento existe um nico caminho ) : [0, 1[ R
tal que )(0) = 0 e j ) = q.
Demonstrao. Como [0, 1[ compacto, a funo q : [0, 1[ o
1
uniformemente contnua. Logo,
existe c 0 tal que se [: t[ < c, ento [q(:) q(t)[ < 2. Logo q(:) ,= q(t) e portanto
(s)
(|)
,= 1.
Assim,
_
(s)
(|)
_
est bem denida. Seja : N tal que
1
n
< c, e seja ) : [0, 1[ R denida por
)(t) =
n
|=1
_
q(
|
n
t)
q(
|1
n
t)
_
.
Ento ) contnua (pois e q so contnuas), )(0) =
n
=1
_
1
1
_
= 0 e
j )(t) = j
_
n
|=1
_
q(
|
n
t)
q(
|1
n
t)
__
=
n
|=1
q(
|
n
t)
q(
|1
n
t)
=
q(
1
n
t)
q(0)
.
q(
2
n
t)
q(
1
n
t)
...
q(
n1
n
t)
q(
n2
n
t)
.
q(
n
n
t)
q(
n1
n
t)
=
q(
n
n
t)
q(0)
= q(t).
Resta-nos provar a unicidade. Suponhamos que exista uma funo contnua )
1
: [0, 1[ R tal que
)
1
(0) = 0 e j )
1
= q. Ento, para todo t [0, 1[, temos
j ()
1
))(t) = c
2tI(}1(|)}(|))
= c
2tI}1(|)
.c
2tI}(|)
=
j()
1
(t))
j()(t))
= 1,
e portanto ()
1
))(t) Z para todo t [0, 1[. Como ()
1
))(0) = 0 e como [0, 1[ conexo, segue que
()
1
))(t) = 0 para todo t [0, 1[.
Lema 27.18. Sejam q
1
e q
2
: [0, 1[ o
1
laos tais que q
1
(0) = q
2
(0) = 1, e sejam )
1
e )
2
: [0, 1[ R
os nicos caminhos em R tais que )
1
(0) = )
2
(0) = 0 e j )
1
= q
1
e j )
2
= q
2
.
(a) Dada uma funo contnua G : [0, 1[ [0, 1[ o
1
tal que G(0, 0) = 1, existe uma nica funo
contnua 1 : [0, 1[ [0, 1[ R tal que 1(0, 0) = 0 e j 1 = G.
(b) Se G : q
1
q
2
[0, 1[, ento 1(0, 1) = 0.
(c) Se G : q
1
q
2
[0, 1[, ento )
1
(1) = )
2
(1).
Demonstrao.
(a) Como G contnua num compacto, tambm uniformemente contnua. Existe c 0 tal que
se [. n[ < c, ento [G(.) G(n)[ < 2 e portanto
_
c(:)
c(u)
_
est bem denida. Seja : N tal que
1
n
< c e seja 1 : [0, 1[ [0, 1[ R denida por
1(.) =
n
|=1
_
G(
|
n
.)
G(
|1
n
.)
_
.
Ento 1 contnua, 1(0, 0) = 0 e j 1 = G. Analogamente so outro lema, se prova a unicidade.
(b) Note que
j 1(0, t) = G(0, t) = q
1
(0) = 1
j 1(0, 0) = G(0, 0) = 1.
Logo
1(0, t) 1(0, 0) Z.
Seja H(t) = 1(0, t) 1(0, 0). Como [0, 1[ conexo segue que existe C tal que
1(0, t) 1(0, 0) = C para todo t.
Fazendo t = 0, obtemos
C = 0
e o resultado segue.
(c) Seja G : q
1
q
2
[0, 1[. Ento, para todo : [0, 1[, temos
j 1(:, 0) = G(:, 0) = q
1
(:) = j )
1
(:).
Pela unicidade do lema anterior (pois 1(0, 0) = 0 e )
1
(0) = 0), segue que
(22) 1(:, 0) = )
1
(:) para todo : [0, 1[
Analogamente,
j 1(:, 1) = G(:, 1) = q
2
(:) = j )
2
(:)
e, pela unicidade do lema anterior (pois 1(0, 1) = 0 e )
2
(0) = 0), segue que
(23) 1(:, 1) = )
2
(:) para todo : [0, 1[.
Por outro lado, temos, para todo t [0, 1[,
j 1(0, t) = G(0, t) = q
1
(0) = j )
1
(0)
j 1(0, t) = G(0, t) = q
2
(0) = j )
2
(0).
Interprete da seguinte forma: q(t) = q
1
(0) = 1 um caminho constante de [0, 1[ em o
1
. Alm
disso, 1(0, .) : [0, 1[ o
1
um caminho com 1(0, 0) = 0. Considere ainda o caminho (constante)
/ : [0, 1[ o
1
dado por /(t) = )
1
(0) = 0.
Pela unicidade do lema anterior, temos
(24) 1(0, t) = /(t) = 0 = )
1
(0) = )
2
(0) para todo t [0, 1[.
Agora note quepara todo t
1
, t
2
[0, 1[,
j 1(1, t
1
) = G(1, t
1
) = q
2
(1)
j 1(1, t
2
) = G(1, t
2
) = q
2
(1).
Logo, fazendo t
1
= t e t
2
= 1, temos
j 1(1, t) = G(1, t) = q
2
(1)
j 1(1, 1) = G(1, 1) = q
2
(1).
Logo
1(1, t) 1(1, 1) Z.
Seja 1(t) = 1(1, t) 1(1, 1). Como [0, 1[ conexo e 1 contnua, existe uma constante 1 tal que
1(1, t) 1(1, 1) = 1 para todo t.
Fazendo t = 1, obtemos 1 = 0. Logo
1(1, t) = 1(1, 1) para todo t.
Logo
(25) 1(1, 0) = 1(1, 1).
De (22) j sabemos que
1(1, 0) = )
1
(1).
De (23) sabemos que
1(1, 1) = )
2
(1).
Dessas duas igualdades e de (25) segue que
)
1
(1) = )
2
(1).
Agora podemos provar o resultado desejado:

Teorema 27.19. O grupo H
1
(o
1
, 1) isomorfo a Z.
Demonstrao. Se q \(o
1
, 1), ento, do Lema 27.17 segue que existe um nico caminho
) : [0, 1[ R tal que )(0) = 0 e j ) = q. Temos j )(1) = q(1) = 1, e portanto )(1) Z.
Denamos
o : H
1
(o
1
, 1) Z
por o([q[) = )(1).
Primeiro, vejamos que o est bem denida. Dadas q
1
, q
2
\(o
1
, 1), sejam )
1
, )
2
: [0, 1[ R os
nicos caminhos tais que )
1
(0) = )
2
(0) = 0 e j )
1
= q
1
e j )
2
= q
2
. Se G : q
1
q
2
[0, 1[, ento
segue do Lema 27.18 que )
1
(1) = )
2
(1) e consequentemente o([q
1
[) = o([q
2
[) e o est bem denida.
Agora vejamos que o homomorsmo de grupos. Sejam q
1
, q
2
\(o
1
, 1), e sejam )
1
, )
2
: [0, 1[ R
os nicos caminhos tais que )
1
(0) = )
2
(0) = 0 e j )
1
= q
1
e j )
2
= q
2
. Sejam
:
1
= )
1
(1) e :
2
= )
2
(1).
Seja ) : [0, 1[ R denido por
)(:) = :
1
)
2
(:).
Ento
)(0) = :
1
)
2
(0) = :
1
= )
1
(1)
)(1) = :
1
)
2
(1) = :
1
:
2
j()(:)) = j(:
1
)
2
(:)) = j(:
1
)j()
2
(:))
= j()
1
(1))q
2
(:) = q
1
(1)q
2
(:) = q
2
(:).
Segue que
j ()
1
+ )) = (j )
1
) + (j )) = q
1
+ q
2
, (26)
()
1
+ ))(0) = )
1
(0) = 0
()
1
+ ))(1) = )(1) = :
1
:
2
.
Note que q
1
+ q
2
\(o
1
, 1) e, pelo Lema 27.17 existe um nico caminho / : [0, 1[ R tal que
j / = q
1
+ q
2
e /(0) = 0.
De (26) segue que esse / precisamente )
1
+ ) : [0, 1[ R. Segue que
o ([q
1
[ + [q
2
[) = o ([q
1
+ q
2
[) = ()
1
+ ))(1) = :
1
:
2
= o ([q
1
[) o([q
2
[)
e portanto o um homomorsmo. Resta-nos provar que o bijetiva. Seja : Z e sejam ) : [0, 1[ R
e q : [0, 1[ o
1
caminhos denidos por
)(:) = :: e q = j ).
Ento )(0) = 0, )(1) = : e da q(0) = j(0) = 1 e q(1) = j(:) = 1. Logo
o ([q[) = )(1) = :.
Portanto o sobrejetora. Para terminar, vamos mostrar que o injetora. Seja q \(o
1
, 1) tal que
o ([q[) = 0. Seja ) : [0, 1[ R o nico caminho tal que )(0) = 0 e j ) = q. Ento
)(1) = o ([q[) = 0
e portanto ) \(R, 0). Como R simplesmente conexo, temos )
0
0 e da segue que
q = j )
1
j(0) = 1
28. Seminrio: O Teorema de Baire
Um subconjunto ' de um espao topolgico A dito magro se ' =
1
_
n=1
o
n
onde cada o
n
tem
interior vazio. Conjuntos magros so tambm chamados de conjuntos de primeira categoria. Todo
conjunto que no de primeira categoria chamado de conjunto de segunda categoria. O resultado
central dessa seo, o Teorema de Baire, arma que todo espao mtrico completo, no-vazio, de
segunda categoria. Assim como o Teorema de Tychono, O teorema de Baire tem diversas aplicaes
em outras reas da matemtica.
Exemplo 28.1. Os racionais so magros na reta real.
Exemplo 28.2. Num espao topolgico A munido com a topologia t = T(A), nenhum subconjunto
no-vazio magro.
Teorema 28.3. (Teorema de Baire) Todo espao mtrico completo, no-vazio, de segunda
categoria, isto , no pode ser uma unio enumervel de conjuntos cujo fecho tem interior vazio.
Demonstrao. Seja A = (A, d) um espao mtrico. Por contradio, vamos supor que A seja de
primeira categoria. Ento, existem o
n
A tais que o
n
tem interior vazio e
A =
1
_
n=1
o
n
.
Para cada :, considere 1
n
= o
n
. Temos que A 1
1
aberto e no-vazio. Assim, existem um nmero
real r
1
0 e r
1
A tais que
l
J
(r
1
, r
1
) A 1
1
.
Temos tambm que (A 1
2
) l
J
(r
1
, r
1
,4) aberto e no vazio. De fato, se essa interseo fosse
vazia, teramos l
J
(r
1
, r
1
,4) 1
2
, que um absurdo, pois o interior de 1
2
vazio.
Logo existem r
2
A e r
2
0, tais que
l
J
(r
2
, r
2
) (A 1
2
) l
J
(r
1
, r
1
,4).
Usando o mesmo raciocnio, encontramos r
3
A e r
3
0 tais que
l
J
(r
3
, r
3
) (A 1
3
) l
J
(r
2
, r
2
,4).
Por induo, construimos uma seqncia de bolas abertas (l
J
(r
n
, r
n
))
1
n=1
tais que r
n+1
_
:n
4
e
l
J
(r
n+1
, r
n+1
) (A 1
n+1
) l
J
(r
n
, r
n
,4).
Note que, como r
n+1
_
:n
4
para todo :, temos r
n
_
:1
4
n1
.
Pela desigualdade triangular, fcil ver que (r
n
)
1
n=1
uma seqncia de Cauchy em A. Com efeito,
d(r
n
, r
n+
) _

=1
d(r
n+1
, r
n+
) _

=1
r
n+1
4
(27)
<

=1
r
1
4
n+1
.
Como A completo, existe um r A, que limite da seqncia (r
n
). Note que podemos tambm
escrever
(28) d(r
n
, r
n+
) _
r
n
4

r
n+1
4
...
r
n+1
4
_
r
n
4

r
n
4
2
...
r
n
4
1
.
Fixando, arbitrariamente, : em (28) e fazendo j tender a innito, temos que d(r
n
, r) < r
n
e
r l
J
(r
n
, r
n
). Logo r ,
1
_
n=1
o
n
= A (absurdo).
29. Respostas de alguns Exerccios
ESPAOS MTRICOS
Exerccio 3.7.
Note que 1 fechado se, e somente se, ' 1 aberto. Se r ' 1, existe - 0 tal que
1
J
(r, -) ' 1. Logo, se r ' tal que toda bola centrada em r tem pontos de 1, segue
que r , ' 1, i.e., r 1.
Reciprocamente, suponha que sempre que toda bola centrada em r tem pontos de 1, ento
r 1. Seja r ' 1. Ento, usando nossa hiptese, existe uma bola centrada em r sem
pontos de 1. Logo ' 1 aberto.
ESPAOS TOPOLGICOS
Exerccio 4.4. Soluo. Considere d(r, j) = 0, se r = j e 1, caso contrrio, e mostre que cada
conjunto unitrio aberto.
Exerccio 4.5. Soluo. Se fosse metrizvel, por uma mtrica d, escolheramos r, j distintos em
A e d(r, j) = r 0. Note que a bola de centro r e raio r,2 no contm j (logo um aberto
diferente de A).
Exerccio 4.13.
r i:t(1) = r G, G aberto, G 1
= r , A G = A G = r , A 1 = r A A 1.
Reciprocamente,
r A A 1 = r , A 1 = existe 1 fechado, A 1 1 com r , 1
= r A 1 (aberto) e A 1 A (A 1) = 1 = r i:t(1).
Exerccio 4.18. Tome = [Q (0, 1)[ ' (2, 8) ' (8, 4) ' , 6, 7, 8, ....
BASES E SUB-BASES
Exerccio 6.8. Temos, por hiptese, que
_
12F
1 = A.
Se 1
1
, 1
2
T, ento
_
_
1
1
=
n1
=1
o
1
2
=
n2
=1
1
|
com os o
e 1
|
em (. Se j 1
1
1
2
, seja
1
3
=
n1+n2
l=1
T
l
,
com T
1
= o
1
, ..., T
n1
= o
n1
, T
n1+1
= 1
1
, ..., T
n1+n2
= 1
n2
. Logo 1
3
T e, como 1
3
= 1
1
1
2
,
segue que j 1
3
. Assim, T satisfaz as hipteses do Teorema 6.5 e base da topologia t.
Exerccio 6.10. Seja ( T(A). Como c (, temos que

.2
= A. Logo a famlia E formada
por todas as intersees nitas de elementos de ( satisfaz (a) do Teorema 6.4. Pela prpria
denio de E, segue que se , 1 E, ento 1 E e, portanto E satisfaz (b) do Teorema
6.4. Da, segue que E base para uma topologia t em A e consequentemente (pela denio
do livro de S. Willard) ( sub-base para t.
Exerccio 6.11. Note que A, c t
o
. Alm disso, se
X
t
o
para todo `, temos que
X
t
o
para todo ` e todo c. Como cada t
o
uma topologia, segue que '
X
t
o
para todo c. Logo
'
X
t
o
e segue que t
o
uma topologia.
Por outro lado, unio de topologias, em geral, no topologia. Tome A = a, /, c,
t
1
= a, A, c e t
2
= /, A, c. fcil ver que t
1
' t
2
no topologia.
Exerccio 6.12. (ii) Seja
/ =
_
t
o
e
E =
_
12C
1; ( / e ( nito
_
.
Vejamos que E base para uma topologia t. Note que A E, pois A / (e tome ( = A)
e portanto
_
12B
1 = A
e vale (a) do Teorema 6.5. Para mostrar (b) do Teorema 6.5, basta ( mais que suciente)
mostrar que se 1
1
1
2
E, ento 1
1
1
2
E. Mas isso fcil, pois se 1
1
, 1
2
E, temos
1
1
= 1
1
1
n
. com cada 1
/
1
2
= 1
1
1
n
. com cada 1
/
e portanto
1
1
1
2
= 1
1
1
n
1
1
1
n
E.
Portanto E base para uma topologia t. claro que
_
t
o
t. De fato, se
_
t
o
= /,
ento
=

12f.g
1, com
_
t
o
e como conseqncia, temos que E t.
Seja t
1
uma topologia que contm
_
t
o
. ento, claro que E t
1
. Da segue que t t
1
.
UNICIDADE: Seja t
2
uma topologia com a mesma propriedade de t. Ento claro que
t t
2
e t
2
t e segue a unicidade.
(i) Quanto maior topologia contida em cada t
o
, basta mostrar que

t
o
uma topologia
e obviamente satisfaz o desejado.
Exerccio 6.13. Seja E uma base para uma topologia t em A. Ento
t =
_
_
12C
1; ( E
_
.
Seja t
1
=

o2
t
o
, onde t
o
; c I o conjunto de todas as topologias em A que contm E.
claro que
E t
1
.
Da, pela denio de t
1
, segue que
t
1
t.
Por outro lado, se t
o
uma topologia de A que contm E, ento (por denio de topologia),
segue que t t
o
. Logo
t

o2
t
o
= t
1
e a igualdade segue.
FUNES CONTNUAS
Exerccio 8.9 Suponha ) : A 1 contnua. Seja )
2
: A 7 dada por )
2
(r) = )(r). Se
2
aberto em 7, ento
)
1
2
(
2
) = )
1
2
(
2
1 ) = )
1
(
2
1 ),
que aberto em A, pois ) contnua. Por outro lado, suponha )
2
: A 7 contnua. Seja
aberto em 1 . Ento = 1 1 , com 1 aberto em 7 e
)
1
() = )
1
(1 1 ) = )
1
2
(1 1 ) = )
1
2
(1),
que aberto em A, pois )
2
contnua.
REDES
Exerccio 13.5. Se no fosse assim, existiriam conjuntos e 1 disjuntos e existiriam `
1
e `
2
tais que
` _ `
1
= r
X

` _ `
1
= r
X
1.
Logo, escolhendo j _ `
1
e j _ `
2
, teremos r
1 (absurdo, pois e 1 so disjuntos).

Exerccio 13.6. Seja \ vizinhana de r. Como r
X
r, existe `
0
tal que
` _ `
0
= r
X
\.
portanto, (r
X
) est frequentemente em cada vizinhana de r (e isso signica que r ponto de
acumulao da rede).
Exerccio 13.14. Primeiro, vejamos que o espao topolgico sugerido no Hausdor. Sejam l
e \ abertos. Se l = R ou \ = R, claro que eles no so disjuntos. Suponhamos, portanto,
que R l e R \ so enumerveis. Ento, como
R (l \ ) = (R l) ' (R \ ),
segue que R (l \ ) enumervel. Logo, l \ ,= c.
Agora, vejamos que toda sequncia (r
n
) nesse espao topolgico converge para, no mximo,
um ponto.
Suponha que r
n
r.
Vejamos que se r
n
r, ento existe :
0
tal que r
n
= r para todo : _ :
0
. De fato, se isso
no acontecesse, poderamos encontrar :
1
< :
2
< tais que r
n
k
,= r para todo / natural.
Denimos ento o aberto (vizinhana de r)
l = R r
n1
, r
n2
, ....
e conclumos que no existiria :
0
tal que : _ :
0
= r
n
l.
Concluso: Se r
n
r, ento existe :
0
tal que r
n
= r para todo : _ :
0
, e da conclui-se
que a sequncia no pode convergir para outro ponto.
FILTROS
Exerccio 14.14. Suponha que T r. Seja 1 : A
F
A a rede 1(r, 1) = r gerada por T.
Seja l |
r
. Como T r, segue que |
r
T. Logo, l T. Portanto, (r, l) A
F
. Assim,
(j, \) _ (r, l) = 1(j, \) = j \ l
e conclumos que a rede 1 : A
F
A converge para r.
Por outro lado, suponha que a rede gerada por T converge para r. Seja l |
r
. Ento,
existe (j, \) A
F
(lembre que nessas condies temos \ T) tal que
(., \ ) _ (j, \) = . = 1(., \ ) l.
Logo, se . \, temos (., \) A
F
e (., \) _ (j, \) e portanto
. = 1(., \) l.
Logo \ l. Como \ T, segue que l T. Conclumos que |
r
T e portanto T
converge para r.
Exerccio 14.15 Suponha que a rede 1 : A A convirja para r. Seja T o ltro gerado por
essa rede e seja l |
r
. Existe, portanto, `
0
A tal que
` _ `
0
= 1(`) l.
Logo, 1
X0
= 1(`); ` _ `
0
l. Como 1
X0
T, segue que l T. Logo |
r
T e portanto
T converge para r.
Reciprocamente, suponha que o ltro T gerado pela rede 1 : A A converge para r. Seja
l |
r
. Ento, como T r, segue que l T. Logo, pela forma que construdo o ltro
gerado pela base (veja a demonstrao da Proposio 14.3), existe `
0
A tal que
1
X0
l,
e isso signica que
` _ `
0
= 1(`) l.
Logo, a rede 1 converge para r.
ESPAOS T
0
, T
1
, T
2
e T
3
Exerccio 16.2. Seja ' o espao em questo e d uma pseudomtrica em '.
Se d for uma mtrica, segue que ' Hausdor e, a fortiori, ' um espao T
0
.
Por outro lado, suponha que d no seja uma mtrica. Ento, existem r, j ' tais que
r ,= j e d(r, j) = 0. Logo, todo aberto contendo r, tambm contm j, e da segue que ' no
T
0
.
Exerccio 16.3. Seja A um espao T
1
e seja r A. Vamos mostrar que A r aberto. De
fato, se j Ar, como r ,= j e como A T
1
, existe uma vizinhana \ |
tal que r , \ .
Logo \ A r e segue que A r aberto,
Reciprocamente, suponha que todo subconjunto unitrio de A fechado. Se A s tem
um ponto, claro que A T
1
. Suponhamos, ento, que A possui mais de um ponto. Sejam
r, j A. Como r fechado, segue que Ar aberto e j Ar. Logo, existe \ |
tal que j \ A r, isto , r , \ .

Argumento similar usado para mostrar que existe l |
r
tal que j , l.
Exerccio 16.5. A = a, /, t = c, A.
CONJUNTOS COMPACTOS
Exerccio 17.6. Sejam G
X
conjuntos abertos em 7 (` I) tais que
A

X2
G
X
.
Como A fechado, temos que
1 (7 rA) '
_

X2
G
X
_
,
e essa uma cobertura aberta de 1. Como 1 compacto, existe uma subcobertura nita
1 (7 rA) ' (G
X1
' ' G
Xn
) .
Logo
A (7 rA) ' (G
X1
' ' G
Xn
)
e consequentemente
A G
X1
' ' G
Xn
e conclumos que A compacto em 7.
Exerccio 17.7. Considere A = R com a topologia sugerida no exerccio (sabemos que esse
espao no de Hausdor). Se A for innito, escolha a
1
, a
2
, ... em . Seja, para cada
: N, 1
n
= A a
; , _ :.
Note que cada 1
n
aberto e

1
n=1
1
n
.
claro que essa cobertura no admite subcobertura nita. Logo, se compacto, deve ser
nito, e claro que todo conjunto nito compacto (isso vale para qualquer espao topolgico).
Concluso: compacto se, e somente se, nito. Como, na topologia que estamos
consideranto, todo conjunto nito fechado, segue que todo compacto fechado.
Exerccio 17.8. Suponha 1 compacto em 1. Seja

o2
o
uma cobertura aberta de em A. Ento

o2
(
o
1)
uma cobertura aberta de em 1. Como compacto em 1, essa cobertura possui
subcobertura nita, isto ,

n
|=1
(
o
k
1).
Logo,

n
|=1
o
k
e conclumos que compacto em A.
Reciprocamente, suponha que 1 compacto em A. Sabemos que os abertos de 1 so
da forma \ 1, com \ aberto em A. Seja, portanto,

o2
(
o
1)
uma cobertura aberta de em 1 (logo os
o
so abertos em A). Portanto,

o2
o
e, como compacto em A, segue que existe : tal que

n
|=1
o
k
.
Como 1, segue que

n
|=1
(
o
k
1),
e conclumos que compacto em 1.
Exerccio 17.9. Podemos considerar a funo ) : 1 )(1), com 1 sendo um espao
topolgico compacto (pois 1 compacto em A). Para mostrar que )(1) compacto em 1 ,
basta mostrar que )(1) um espao topolgico compacto. Em resumo, tudo que precisamos
fazer mostrar que se ) : 1 contnua e sobrejetiva, e compacto, ento 1 compacto.
Seja \
I
; i 1 uma cobertura aberta de 1. Ento, )
1
(\
I
); i 1 cobertura aberta de
. Como compacto, existe um conjunto nito J 1 tal que
=

I2
)
1
(\
I
).
Como ) sobrejetiva, segue que 1 =

I2
\
I
e portanto 1 compacto.
ESPAOS COMPLETAMENTE REGULARES
Exerccio 29.1. 21.4 Seja A completamente regular e 1 A. Seja j 1 e l um aberto em 1 com
j l. Ento l = \ 1 , com \ aberto em A. Temos, portanto, j \ e \ aberto em A contendo j.
Como A completamente regular, existe ) : A [0, 1[, contnua, tal que )(j) = 1 e )(A \ ) = 0.
Seja q a restrio de ) a 1 . Ento q contnua e q(j) = 1. Alm disso,
q(1 l) = q(1 \ 1 ) = )(1 \ 1 )
= )(1 \ ) )(A \ ) = 0.
Segue que 1 completamente regular.
HOMOTOPIAS
Exerccio 26.21. Seja H
1
: [0, 1[[0, 1[ A a homotopia entre )
1
e q
1
e e H
2
: [0, 1[[0, 1[ A
a homotopia entre )
2
e q
2
. Note que H
1
(1, t) = )
1
(1) = q
1
(1) = )
2
(0) = q
2
(0) = H
2
(0, t) para
todo t [0, 1[. Dena H : [0, 1[ [0, 1[ A por
H(:, t) =
_
H
1
(2:, t), se 0 _ : _ 1,2
H
2
(2: 1, t), se 1,2 _ : _ 1
Note que
H(:, 0) = )
1
+ )
2
(:)
H(:, 1) = q
1
+ q
2
(:).
Alm disso, H contnua, pois
[0, 1[ [0, 1[ = ([0, 1,2[ [0, 1[) ' ([1,2, 1[ [0, 1[)
e H contnua em cada um desses fechados.
Referncias
[1] E. L. Lima, Espaos Mtricos, Projeto Euclides, IMPA, Rio de Janeiro.
[2] E. L. Lima, Anlise no R
n
, Projeto Euclides, IMPA, Rio de Janeiro.
[3] E. L. Lima, Elementos de Topologia Geral, LTC-IMPA, Rio de Janeiro, 1970.
[4] E.L. Lima, Grupo Fundamental e Espaos de Recobrimento, Projeto Euclides, IMPA, Rio de Janeiro, 1993.
[5] J. Mujica, Notas de aula de Topologia Geral, IMECC-UNICAMP.
[6] J.R. Munkres, Topology, A rst Course. Prentice-Hall, Inc. New Jersey, 1975.
[7] G. Simmons, Introduction to Topology and Modern Analysis, McGraw-Hill, 1963.
[8] S. Willard, General Topology, Addison-Wesley Publishing Company, 1970.
Departamento de Matemtica, UFPB, Joo Pessoa, PB, e-mail: dmpellegrino@gmail.com, Maro, 2009

PELEGRINO, Daniel - Topologia Geral

Încărcat de

Informații document

Drepturi de autor

Formate disponibile

Partajați acest document

Partajați sau inserați document

Opțiuni de partajare

Vi se pare util acest document?

Este necorespunzător acest conținut?

Drepturi de autor:

Formate disponibile

PELEGRINO, Daniel - Topologia Geral

Încărcat de

Drepturi de autor:

Formate disponibile

NOTAS DE AULA: TOPOLOGIA GERAL

. Por (c), existe \

e portanto l unio de elementos

(1)) 1. Como isso vale para qualquer

(1)) )(A 1) = )()

(1)) para todo 1, escolha G em 1 e 1 = )

centrado num certo /

= 1 E; j 1 uma base de vizinhanas em j.

)[ < -, para , = 1, ..., :,

R operadores lineares contnuos. Seja 1 o conjunto formado

R tais que existe r em A para o qual T()) = )(r). A topologia fraca em

TOPOLOGIA- PERODO 2009.1 25

de subconjuntos de 1 denida por

)[ < - para cada , = 1, ..., r. Portanto, : _ :

uma vizinhana bsica de q, temos

1. Por outro lado, se ()

se isso no causar confuso.

' tal que :

= 1, para cada , natural.

(r). Note que a imagem de , est de

, temos, para qualquer r l,

= A'., . , A tal que A homeomorfo a w(A) e w(A) = A

. Essa compacticao chamada

por w(r) = r. Agora, denimos a seguinte topologia em A

so os abertos de A e os conjuntos da forma ' ., onde aberto em A e

da forma 1, (C '.), ou (C '.) (1'.),

. De fato, s precisamos nos preocupar em

) famlias de abertos em A, onde cada A 1

compacto. Uma unio de

' .) = 1 ' ., com 1 = '1

' .) = (' 1) ' ., com ' 1 = '

fechado, segue que sua interseo

), tambm ser um conjunto compacto.

injetiva, contnua e leva abertos em abertos.

) aberto em A e w contnua. Alm disso, como os abertos

, segue que w leva abertos em abertos.

compacto. Dada uma cobertura aberta (C

, claro que . pertence

fcil e ca como exerccio.

um espao de Hausdor. Sejam r, j A

, segue que r, j podem ser separados por abertos disjuntos de A

. Escolhendo um aberto 1 (de A), que

) onde, como denido na seo anterior, A

. Note que a topologia em T s depende da topologia de 1 . O conjunto A meramente

, os conjuntos da forma o(a, l) = ) T; )(a) l, com a A e l

a topologia que tem como sub-base os

completo na mtrica uniforme j

em relao mtrica j. Para qualquer c em J, pela denio de j, temos

A seguir, trataremos de convergncia uniforme de funes. Recordemos:

na mtrica uniforme. Em particular,

, que converge para ). Dado - 0, escolha um

relativamente mtrica j. Seja ()

; supd()(r), q(r)); r 1 < -.

para a qual os conjuntos 1

(), 1). Logo, por tudo o que foi visto, o Teorema

Note que a topologia compacto-aberta depende das topologias de A e de 1 e, no caso de 1 ser

(o) o = o (note que o a mesma coisa que C|

conexo (e contm r e j), e portanto

Proposio 24.14. Se r A, ento C

. As aplicaes ) e q so ditas equivalncias de

. Como q ) a aplicao constante, segue que A contrtil.

, H dita retrao de deformao (deformation

. Portanto homotopicamente equivalente a A.

[[. Nesse caso, perceba que se )