Alas, Junqueira, Passos, Tomita - Topologia Geral Livro

Topologia Geral
Ofelia Alas
Lucia Junqueira
Marcelo Dias Passos
Artur Tomita
Sum
ario
Captulo 1. Alguns conceitos basicos
Captulo 2. Espacos topologicos

1. Espacos topologicos. Conjuntos abertos e fechados.
2. Subespacos
3. Vizinhancas. Bases
4. Fecho, interior e fronteira. Conjuntos densos
5. Axiomas de enumerabilidade.
6. Funcoes contnuas.
7. Axiomas de separacao.
8. Homeomorfismos. Funcoes abertas e fechadas. Topologia mais fina. Topologias
geradas por funcoes
9
9
12
13
17
20
22
24
Captulo 3. Operacoes sobre espacos topologicos.

1. Subespacos.
2. Produtos Cartesianos
3. Espacos quocientes e funcoes quocientes
35
35
39
47
Captulo 4.
51
Espacos conexos
32
Captulo 5. Espacos compactos

1. Introducao
2. Espacos compactos
3. O Teorema de Tychonoff
4. Espacos localmente compactos
5. Espacos de Lindelof
6. Espacos enumeravelmente compactos
7. Famlias localmente finitas e paracompacidade
55
55
55
62
65
68
70
72
Captulo 6. Espacos metricos

1. Espacos metricos
2. Espacos metricos compactos e completos
79
79
81
CAPTULO 1
Alguns conceitos b
asicos
Neste captulo introduziremos alguns conceitos basicos e notacoes da teoria dos conjuntos
que serao usados ao longo desta apostila.
o 1.1. Sejam A e B dois conjuntos.
Definic
a
(i) Diremos que A e um subconjunto de B, denotado por A B, se todo elemento de A
e tambem um elemento de B.
(ii) Diremos que A e B sao iguais, A = B, se A B e B A.
(iii) O conjunto vazio e o u
nico conjunto que nao possui nenhum elemento e sera denotado
por .
E 1.1. Diga precisamente o que significa dois conjuntos serem diferentes.
E 1.2. Mostre que, para todo conjunto A, A.
Usaremos o smbolo para indicar que um elemento pertence a um conjunto. Note que
este elemento pode ser um outro conjunto. Por exemplo, se X e um conjunto, {X} e o
importante nao confundir com . A B diz que
conjunto cujo u
nico elemento e X. E
todos elementos de A tambem sao elementos de B, ou seja, se x A, entao x B.
E 1.3. Diga se cada afirmacao abaixo e verdadeira ou falsa e justifique:
(a) {};
(b) ;
(c) ;
(d) {a} {{a}};
(e) a {b} se e s
o se a = b.
o 1.2. O conjunto de todos os subconjuntos de um conjunto X e chamado
Definic
a
conjunto das partes de X. Este conjunto sera denotado por P(X).
E 1.4. Como e o conjunto P({1, 2, 3})?
E 1.5. Quantos elementos voce acha que tem o conjunto P({1, 2, 3, 4})? E o conjunto
P({1, 2, . . . , n}), onde n e um n
umero inteiro?
E 1.6. Diga se cada uma das afirmacoes abaixo e verdadeira ou falsa e justifique:
(a) x X se e s
o se {x} P(X).
(b) {x} P(X) se e s
o se {x} X.
(c) {x} P(X) se e s
o se x X.
E 1.7. Mostre que P(X) e que X P(X) , para todo conjunto X.
5
1. ALGUNS CONCEITOS BASICOS
comum vermos famlias de conjuntos que estejam indexadas pelos inteiros positivos,
E
algo do tipo {A1 , A2 , A3 , . . .}. Mas podemos tambem usar outros conjuntos (que serao chamados conjuntos de ndices) para indexar famlias de conjuntos. Por exemplo, o conjunto
{]p, q[ R : p, q Q} e o conjunto de todos intervalos abertos de R com extremos racionais.
E 1.8. Escreva explicitamente os conjuntos:
(a) {2n + 1 : n N, 1 n < 9};
(b) {2r : r R};
(c) {rq : r R e q Q};
n
(d) { m
: n, m N, n 6= 0};
(e) {i : i {j}}.
Recordamos que dados dois conjuntos A e B, a uni
ao de A e B, denotada por A B, e o
conjunto {x : x A ou x B}. A interseccao de A e B, denotada por A B, e o conjunto
{x : x A e x B}.
De modo geral podemos definir:
o 1.3. Seja C = {Ai : i I} uma famlia de conjuntos.
Definic
a
(i) A uni
ao de C e o conjunto
{x : x Ai para algum i I}.
S
S
S
Este conjunto sera denotado por C, ou {Ai : i I}, ou ainda iI Ai .
(ii) Se C =
6 , a interseccao de C e o conjunto
{x : x Ai para todo i I}.

T
T
T
Este conjunto sera denotado por C, ou {Ai : i I}, ou ainda iI Ai .
Quando tomamos uma uniao (ou interseccao) de uma colecao finita de conjuntos, e
comum dizermos simplesmente uni
ao (ou interseccao) finita.
E 1.9.
S Mostre que para quaisquer conjuntos X e Y :
(a) S {X} = X;
(b) T{X, Y } = X Y ;
(c) S{X, Y } = X Y
(d) T P(X) = X;
(e) P(X) = ;
(f ) X {Y } 6= se e s
o se Y X.
E 1.10. Em cada um dos tens abaixo, diga quem e

(a) C = {[n, n] : n N, n 6= 0}.
(b) C = {( n1 , n1 ) : n N, n 6= 0}.
(c) C = {(1 + n1 , 1 n1 ) : n N, n 6= 0}.
(d) C = {(a, b) : a, b Q, a < b}.
(e) C = {[r, +) : r R}.
C e
C:
E 1.11. Seja C = {Ai : i I} uma famlia de conjuntos. Mostre que

para todo i I.
C Ai
C,

o 1.4. Sejam A e B dois conjuntos. O complemento de A em relacao a B ,

Definic
a
denotado por B \ A, e o conjunto
{x : x B e x
/ A}.
E 1.12. Prove as seguintes afirmacoes abaixo:
(a) Se A X, ent
ao X \ (X \ A) = A.
(b) Se A, B X, ent
ao A B se e s
o se X \ A X \ B.
(c) Se A, B X, ent
ao A = B se e s
o se X \ A = X \ B.
(d) Se A, B X, ent
ao A \ B = A (X \ B).
Teorema
S 1.5.T(Leis de De Morgan) Seja C uma famlia de subconjuntos de X. Entao
(1) X \ T C = S{X \ A : A C} e
(2) X \ C = {X \ A : A C}.
Demonstracao: Exerccio.
E 1.13. Sejam A e B dois conjuntos. Mostre que:

(a) A B = A se e s
o se A B.
(b) A B = A se e s
o se B A.
(c) A B = A e A B = A se e s
o se A = B.
E 1.14. Se A B e C D s
ao conjuntos, mostre que:
(a) A C B D e
(b) A C B D.
E 1.15. (Propriedade distributiva) Seja C uma colecao de subconjuntos de um conjunto
X e B X. SMostreSque:
(a) B (T C) = T {B A : A C} e
(b) B ( C) = {B A : A C}.
E 1.16. Seja
ao vazia de subconjuntos de X e B X. Mostre que:
S C uma
S colecao n
(a) B (T C) = T {B A : A C} e
(b) B ( C) = {B A : A C}
E 1.17. Dados A = {x P(N) : 2 x} {x P(N) : 3 x} e B = {x P(N) :

pelo menos um divisor de 6 pertence
S a x}. (a) Mostre que se {xi : i I} e uma famlia
qualquer de elementos de A, ent
ao {xi : i I} e um elemento de A. O mesmo vale para
interseccao? (b) Determine A B e A B.
E 1.18. Escreva explicitamente o conjunto P(X), onde X e:
(a) X = {, {}}; (b) X = {3, {1, 4}};
(c) X = {a, {a}, {a, {a}}}; (d) X = P({a});
(e) X = P({a, b}).
E 1.19. Mostre ou de contraexemplo:
(a) A (B \ C) = (A B) \ C;
(b) A B C se e s
o se A B e A C;
(c) A B C implica A B ou A C;
(d) B C C implica que B A ou C A.
(e) A B = A e A B = A se e s
o se A = B.
E 1.20. Se A e B s
ao dois conjuntos, a diferenca simetrica entre A e B e o conjunto
AB = (A \ B) (B \ A). Mostre:
(a) AB = BA; (b) (AB)C = A(BC);
(c) A (BC) = (A B)(A C);
(d) A B = (AB)(A B).
CAPTULO 2
Espacos topol
ogicos
O objetivo deste captulo e introduzir varias nocoes basicas de topologia.
1. Espa
cos topol
ogicos. Conjuntos abertos e fechados.
o 2.1. Um espaco topologico e um par (X, T ), onde X e um conjunto e T e
Definic
a
uma colecao de subconjuntos de X satisfazendo as seguintes propriedades:
(1) O conjunto vazio e o conjunto X sao elementos de T .
(2) A interseccao finita (nao vazia) de elementos T e um elemento de T .
(3) A uniao qualquer de elementos de T e um elemento de T .
Neste caso dizemos que T e uma topologia sobre X (ou que X esta munido da topologia
T ) e que X e o suporte do espaco topologico (X, T ). Os elementos de X sao chamados de
pontos do espaco. Por abuso de notacao, quando estiver claro qual e a topologia, denotaremos
o espaco topologico simplesmente por X.
o 2.2. Os elementos de T sao chamados de abertos de X.
Definic
a
Como consequencia da definicao de topologia temos que os abertos satisfazem as seguintes
propriedades:
(i) o conjunto vazio e o espaco todo sao conjuntos abertos;
(ii) a interseccao finita de abertos e aberta;
(iii) a uniao qualquer de abertos e um aberto.
o 2.3. Seja X um espaco topologico. Dizemos que um subconjunto F de X e
Definic
a
fechado se e somente se X \ F e um conjunto aberto.
Usando as leis de De Morgan, podemos ver que as seguintes propriedades estao satisfeitas:
o 2.4. Para um espaco topologico X temos:
Proposic
a
(1) O espaco todo e o conjunto vazio s
ao subconjuntos fechados.
(2) A uni
ao finita de conjuntos fechados e um conjunto fechado.
(3) A interseccao de qualquer colecao de conjuntos fechados e um conjunto fechado.
Demonstracao: Vamos verificar, por exemplo, que (3) esta satisfeita.
Seja F uma cole
T
T cao de
subconjuntos fechados de X. Por definicao, para
mostrar
que
{F
:
F
F}
=
F e um
T
conjunto fechado precisamos mostrar que X \ F e um conjunto aberto. Usando as leis de
De Morgan, temos
\
[
X \ {F : F F} = {X \ F : F F}.
T
Entao, como para cada F F, X \ F e um conjunto aberto, temos que X \ {F F} e
uma uniao de abertos, e portanto e um aberto pela propriedade (3).

Antes de prosseguirmos com a teoria, daremos varios exemplos de espacos topologicos:
9
10
2. ESPAC
OS TOPOLOGICOS
Exemplo 2.5. Topologia discreta. Seja X um conjunto e seja T a colecao de todos

facil verificar que T satisfaz as condicoes (1)-(3)
os subconjuntos de X, i.e. T = P(X). E
da definicao 2.1.
Dizemos que X esta munido da topologia discreta ou que (X, T ) e o espaco topologico
discreto.
Exemplo 2.6. Topologia ca
otica. Seja X um conjunto e seja T o conjunto cujos dois
u
nicos elementos sao e X, i.e. T = {, X}. Claramente T e uma topologia sobre X.
Note que se X e um conjunto contendo mais de um ponto, entao a topologia discreta e
a topologia caotica sao distintas. Note, tambem, que qualquer topologia sobre X contem a
topologia caotica e esta contida na topologia discreta.
E 2.1. Seja X = {0, 1}. Quais s
ao as possveis topologias em X?
Passaremos agora a alguns exemplos menos triviais de espacos topologicos:
Exemplo 2.7. Topologia cofinita. Seja X um conjunto infinito e defina T = {}
{V X : X \ V e finito }.
E 2.2. Mostre que T do exemplo anterior e uma topologia sobre o conjunto X.
E 2.3. Se X um conjunto infinito e T = {} {V X : V e finito }, ent
ao T e uma
topologia sobre X? Justifique.
Para o proximo exemplo precisaremos da seguinte definicao:
o 2.8. Um conjunto X e enumer
Definic
a
avel se X e finito ou se existe um bijecao entre
X e o conjunto dos n
umeros naturais N.
Exemplo 2.9. Topologia coenumer
avel. Seja X um conjunto nao-enumeravel e defina
T = {} {V X : X \ V e enumeravel }.
E 2.4. Mostre que a topologia T do exemplo anterior e uma topologia sobre o conjunto
X.
E 2.5. Seja X um conjunto n
ao-enumer
avel e seja T1 a topologia discreta sobre X, T2
a topologia caotica sobre X, T3 a topologia cofinita sobre X e T4 a topologia coenumer
avel
sobre X. Compare as topologias duas a duas com relacao a inclusao.
Exemplo 2.10. A reta real com a topologia usual. Vamos denotar este espaco
topologico por R. Um subconjunto A sera aberto nesta topologia se e somente se para cada
ponto x de A existe um > 0 tal que ]x , x + [ esta contido em A.
E 2.6. Verifique que a topologia usual e de fato uma topologia sobre a reta real.
O proximo espaco topologico aparecera diversas vezes como contra-exemplo:
Exemplo 2.11. A reta de Sorgenfrey A reta de Sorgenfrey tem como suporte o
conjunto dos n
umeros reais, mas a topologia e diferente da topologia usual da reta. Um
subconjunto A nesta topologia sera aberto se e somente se para cada ponto x em A existe
um > 0 tal que [x, x + [ esta contido em A.
Iremos denotar a reta de Sorgenfrey por RS .

1. ESPAC
OS TOPOLOGICOS.
CONJUNTOS ABERTOS E FECHADOS.
11
E 2.7. Verifique que de fato foi definida uma topologia no exemplo acima. Verifique que
se A e um conjunto aberto na topologia usual da reta, ent
ao A e um conjunto aberto na
topologia de Sorgenfrey.
Segue abaixo mais exerccios sobre conjuntos abertos e conjuntos fechados.
E 2.8. Mostre que se X e um espaco topologico com a topologia discreta, ent
ao todo
subconjunto de X e aberto e fechado.
No exerccio anterior vimos um exemplo de espaco topologico no qual todos os subconjuntos sao abertos e fechados. De modo geral, em um espaco topologico qualquer podemos
ter subconjuntos abertos e fechados (por exemplo o ), conjuntos que sao so abertos ou so
fechados e podem existir conjuntos que nao sao nem abertos e nem fechados.
Um conjunto que e aberto e fechado ao mesmo tempo sera chamado de conjunto abertofechado.
E 2.9. Mostre que os intervalos da forma [a, b[ e da forma ]a, b] (a, b reais, a < b) n
ao
s
ao nem abertos e nem fechados em R.
E 2.10. Considere os espacos topologicos (R, I), (R, D), (R, T ), (R, F) e RS , onde I e
a topologia caotica, D e a topologia discreta, T e a topologia usual em R e F e a topologia
cofinita.
(a) Se x R, {x} e aberto em algum desses espacos? Quais?
(b) Se x R, {x} e fechado em algum desses espacos? Quais?
(c) Em quais desses espacos o conjunto ]a, b[ e aberto? Em quais e fechado? E os
conjuntos [a, b[, ]a, b] e [a, b]?
fechado?
(d) O conjunto {x R : x 6= n1 } e aberto em algum desses espacos? E
fechado?
(e) O conjunto {x R : x 6= n1 e x 6= 0} e aberto em algum desses espacos? E
E 2.11. Seja X um conjunto e T1 e T2 duas topologias distintas sobre X.
(a) T1 T2 e uma topologia sobre X? Justifique.
(b) T1 T2 e uma topologia sobre X? Justifique.
1.1. Espa
cos m
etricos. Uma classe especial de espacos topologicos sao os espacos
metricos. Vamos primeiro recordar a definicao destes espacos:
o 2.12. Um espaco metrico e um par (M, d), onde M e um conjunto e d e
Definic
a
uma funcao do conjunto M M em R+ (o conjunto dos reais nao negativos) satisfazendo as
seguintes propriedades:
(M1) para todos x, y M , d(x, y) = 0 se e somente se x = y.
(M2) para todos x, y M temos que d(x, y) = d(y, x).
(M3) para todos x, y e z em M , d(x, z) d(x, y) + d(y, z).
Lembramos que a propriedade (M3) e chamada de desigualdade triangular. A funcao d
e chamada de metrica ou dist
ancia sobre M . Por abuso de notacao, quando estiver claro
qual a metrica, denotaremos o espaco metrico simplesmente por M .
12
2. ESPAC
OS TOPOLOGICOS
o 2.13. Seja (M, d) um espaco metrico, x um elemento de M e um n

Definic
a
umero real
positivo. Chamamos de bola aberta de centro x e raio ao conjunto { y M : d(x, y) < },
o qual denotaremos por Bd (x, ) (ou simplesmente por B(x, ) quando estiver claro qual e a
metrica utilizada). Chamamos de bola fechada de centro x e raio ao conjunto { y M :
d(x, y) }, ao qual denotaremos por Bd [x, ] (ou simplesmente por B[x, ] quando nao
houver ambiguidade).
Lembramos que a reta real e um espaco metrico com a seguinte distancia: para todos
x, y R, d(x, y) = |x y|, onde | | e a funcao modulo. Nesta metrica, B(x, ) =]x , x + [.
Assim como no caso da topologia usual na reta, para cada espaco metrico podemos definir
uma topologia utilizando as bolas abertas:
o 2.14. Seja (M, d) um espaco metrico e Td a colecao de subconjuntos de M
Definic
a
definida por:
Td = {U M : para cada x U existe > 0 tal que B(x, ) U }.
Dizemos que Td e a topologia associada a metrica d.
E 2.12. Verifique que de fato Td e uma topologia sobre M . Mostre que toda bola aberta
e um conjunto aberto do espaco (M, Td ).
E 2.13. Seja X o espaco topologico associado a uma metrica d.Verifique que as bolas
fechadas s
ao conjuntos fechados.
E 2.14. Seja (M, d) um espaco metrico. Defina as funcoes d e d do seguinte modo: para
cada x, y M ,
d (x, y) = min{d(x, y), 1} e
d (x, y) = 2d(x, y).
Verifique que d e d s
ao metricas sobre M e que Td = Td = Td .
o 2.15. Note que nem toda topologia esta associada a uma metrica. Um
Observac
a
exemplo simples e a topologia caotica num conjunto com mais de um ponto. Alias, como
veremos futuramente, o caso em que a topologia esta associada a uma metrica e um caso
especial.
E 2.15. Seja X um conjunto e defina uma metrica d em X por d(x, y) = 0 se x = y e
d(x, y) = 1 se x 6= y. Mostre que a topologia associada a metrica d e a topologia discreta.
E 2.16. Considere asp
seguintes metricas em R2 :
d((x1 , y1 ), (x2 , y2 )) = (x1 x2 )2 + (y1 y2 )2 (metrica euclidiana),
d ((x1 , y1 ), (x2 , y2 )) = |x1 x2 | + |y1 y2 | e
d ((x1 , y1 ), (x2 , y2 )) = max{|x1 x2 |, |y1 y2 |}, para todos (x1 , y1 ), (x2 , y2 ) R2 . Verifique
se as topologias associadas a essas metricas s
ao iguais ou n
ao.
2. Subespa
cos
Lema 2.16. Se (X, T ) e um espaco topologico e Y um subconjunto de X, ent
ao a famlia
O = {Y U : U T } forma uma topologia sobre Y .
3. VIZINHANC
AS. BASES
13
Podemos entao dar a seguinte definicao:

o 2.17. Seja (X, T ) um espaco topologico e Y um subconjunto de X. Se
Definic
a
O = {Y U : U T }, entao dizemos que (Y, O) e um subespaco de X, e que O e a topologia
induzida por X.
o 2.18. Dado um subespaco Y de um espaco topologico X, diremos que Y e
Definic
a
um subespaco fechado se Y e um subconjunto fechado de X. De forma analoga, definimos
subespaco aberto.
E 2.17. Seja X um espaco topologico infinito com a topologia cofinita. Se Y e um
subconjunto infinito de X, como e a topologia em Y induzida por X?
o 2.19. Seja X um espaco topologico e M um subespaco de X. Um conjunto
Proposic
a
A M e fechado em M se e somente se existe um fechado F de X tal que F M = A.
Demonstracao: () Se A M e fechado em M , entao M \ A e aberto em M , portanto
existe um aberto U em X tal que U M = M \ A. Entao F = X \ U e um fechado tal que
F M = (X \ U ) M = M \ (M U ) = M \ (M \ A) = A.
() Seja F um fechado de X. Entao X \ F e um aberto de X. Logo, M (X \ F ) =
M \(M F ) e um aberto de M . Portanto, M \(M \(M F )) = M F e um fechado de M .
Fica a cargo do leitor verificar a seguinte proposicao:
o 2.20. Seja X um espaco topologico e M um subespaco de X. Entao, dado
Proposic
a
um subconjunto L de M , as topologias induzidas em L por X e M coincidem.
o 2.21. Seja (M, d) um espaco metrico e Y um subconjunto de M . Se resProposic
a
tringirmos a metrica d ao conjunto Y Y , temos uma metrica sobre Y . Podemos ent
ao
definir em Y a topologia induzida por essa metrica. Essa topologia coincide com a topologia
de subespaco induzida por M .
Exemplo 2.22. O intervalo [0, 1] com a topologia induzida pela metrica usual e um
subespaco fechado da reta real R com a topologia usual. Note que o intervalo ]a, 1] (onde
0 < a < 1) e aberto em [0, 1] (verifique!), mas nao e aberto em R.
E 2.18. Mostre que Z, o conjunto dos n
umeros inteiros, e um subespaco discreto de R,
isto e, a topologia induzida por R e a topologia discreta. Mostre que o subespaco A = { n1 :
n N \ {0}} tambem e discreto. A {0} tambem e discreto?
3. Vizinhancas. Bases
o 2.23. Seja X um espaco topologico e x um elemento de X. Dizemos que
Definic
a
um subconjunto A de X e uma vizinhanca de x se existe um aberto U tal que x U A.
Quando a vizinhanca e um conjunto aberto, dizemos que e uma vizinhanca aberta.
o 2.24. Segue imediatamente da definicao, que todo aberto e uma vizinhanca
Observac
a
dos seus pontos, ou seja, se U e aberto e x U , entao U e uma vizinhanca de x.

2. ESPAC
OS TOPOLOGICOS
14
o 2.25. Seja X um espaco topologico e seja x um ponto de X. Dizemos que

Definic
a
uma colecao Vx de subconjuntos de X e um sistema fundamental de vizinhancas de x se
(i) cada V em Vx e uma vizinhanca de x;
(ii) cada vizinhanca de x contem algum elemento de Vx .
o 2.26. Se Vx e um sistema fundamental de vizinhancas de um ponto x em X
Definic
a
e se os elementos de Vx sao conjuntos abertos, entao dizemos que Vx e uma base (local) para
o ponto x ou que e um sistema fundamental de vizinhancas abertas de x.
O proximo resultado pode ser muito u
til para mostrarmos que um conjunto e aberto:
o 2.27. As seguintes afirmacoes s
Proposic
a
ao equivalentes:
(i) U e um conjunto aberto;
(ii) para cada x U existe uma vizinhanca Vx de x contida em U ;
(iii) para cada x U existe um aberto Vx contido em U e tal que x Vx .
Demonstracao: O fato que (i) implica (ii) segue da observacao feita acima: se U e aberto e
x U , entao U e uma vizinhanca de x e U U .
Suponha agora que vale (ii). Fixe x U e uma vizinhanca Vx de x contida em U . Pela
difinicao de vizinhaca temos que existe um aberto Wx tal que x Wx Vx e entao temos
(iii).
Resta apenas mostrar que (iii) implica (i). Seja U satisfazendo
S (iii). Para cada x U
fixe um aberto Vx U tal que x Vx . Teremos entao que U = {Vx : x U }. Logo U e
aberto, pois e uma uniao de abertos.

rio 2.28. Para cada x em um espaco topologico X, seja Vx o conjunto de todas
Corola
as vizinhancas de x. Entao U X e aberto se e somente se U Vx para todo x U .
Os seguintes exemplos sao deixados como exerccio:

Exemplo 2.29. Seja X o espaco topologico associado a uma metrica d. Entao para cada
x X, o conjunto das bolas de centro x e raio n1 , onde n = 1, 2, ..., forma uma base de
abertos para o ponto x.
Exemplo 2.30. Seja x um ponto da reta de Sorgenfrey. Entao, o conjunto dos intervalos
semi-abertos [x, x + n1 [, onde n = 1, 2, ..., forma uma base de abertos para o ponto x.
o 2.31. Seja (X, T ) um espaco topologico. Dizemos que uma colecao B de
Definic
a
conjuntos abertos de X e uma base de abertos para o espaco topologico X se todo aberto
pode ser escrito como a uni
ao de uma subcolecao de elementos de B, i.e., para todo V T ,
S
existe B B tal que V = B .
o 2.32. Seja B uma colecao de abertos de X. Entao B e uma base da topologia
Proposic
a
se e somente se, para todo aberto V e todo ponto x de V , existe U B tal que x U V .
E 2.19. Seja X um espaco topologico associado a uma metrica d. Mostre que o conjunto
de todas as bolas abertas forma uma base para X.
3. VIZINHANC
AS. BASES
15
E 2.20. Mostre que cada intervalo semi-aberto [x, x + [ e um conjunto aberto na reta de
Sorgenfrey. Mostre tambem que o conjunto dos intervalos semi-abertos forma uma base de
abertos para este espaco.
E 2.21. (a) Mostre que se B e uma base de um espaco topologico X, ent
ao, para cada x
em X, a famlia B(x) = {B B : x B} e uma base para o ponto x.
(b) Mostre tambem que, S
por outro lado, se para cada x X, B(x) e uma base para o
ponto x, ent
ao a uni
ao B = {B(x) : x X} e uma base para X.
Diversas propriedades de um espaco topologico que estudaremos dependerao apenas de

uma base de abertos ao inves do conjunto de todos os abertos. Em particular, no caso
de propriedades envolvendo um ponto x, muitas delas dependerao apenas de uma base de
abertos no ponto x. Por isso, em muitos casos, fica mais conveniente (e mais claro) definir
a topologia em funcao de uma base de abertos ou dos sistemas fundamentais de vizinhancas
de cada ponto do espaco.
Vejamos primeiro quais propriedades sao necessarias para que possamos definir uma
topologia a partir de uma famlia de subconjuntos de modo que esta famlia seja uma base.
o 2.33. Seja B uma colecao de subconjuntos de um conjunto X e seja B a

Definic
a
colecao de todos os subconjuntos de X que sao unioes de elementos de B (inclusive a uniao
vazia). Se B e uma topologia sobre X, entao B e chamada de topologia gerada por B, e B
e uma base para a topologia B .
Olhando a definicao acima e natural perguntar quais propriedades a colecao B precisa ter
para que possamos garantir que B e uma topologia sobre X. O exerccio seguinte mostra
que essa pergunta faz sentindo, ou seja, nao e verdade que B e sempre uma topologia:
E 2.22. Seja B a colecao de todos os intervalos fechados [a, b] da reta real tais que a < b.
Mostre que a colecao B , de todas as possveis uni
oes de elementos de B, n
ao e uma topologia
sobre os reais.
A seguinte proposicao nos da uma condicao nescessaria e suficiente sobre a colecao B
para que B seja uma topologia:
o 2.34. Sejam X um conjunto e B uma colecao de subconjuntos de X satisProposic
a
fazendo as seguintes propriedades:
(1) Para cada U1 , U2 B e cada x U1 U2 , existe U B tal que x U U1 U2 .
(2) Para cada x X, existe U B tal que x U .
Entao, a colecao B , formada pelas uni
oes de subcolecoes de B e uma topologia sobre X
e B e uma base para o espaco topologico (X, B ).
Demonstracao: Para verificarmos que B ,Sbasta tomar a uniao da subcolecao vazia.
Temos que X e um elemento de B , pois, X = B, por (2).
Vamos mostrar apenas que a interseccao de dois elementos de B esta em B (para
interseccao finita qualquer e analogo ou segue por inducao). Sejam U, VS B e x U V
qualquer. Pela definicao de B , temos que existe B B tal que U = B . Como x U ,
temos que existe U B tal que x U U . Como B B, U B. Analogamente, existe
V B tal que x V V . Sendo assim, x U V , e por (1), posso fixar Wx B tal que
x Wx U V . Portanto, Wx U V . Podemos entao, para todo x U V achar Wx
16
2. ESPAC
OS TOPOLOGICOS
S
coma acima e assim U V = {Wx : x U V }. Como {Wx : x U V } B, temos que
U V B .
Falta apenas verificarmos que a uniao qualquer de elementos de B e um elemento de B
. SejaSU uma subcole
cao de S
BS
. Para cada U U, existe uma subcolecao S
B(U ) de B tal que
S
U = B(U ). Entao U =
{B(U ) : U U}. Basta agora notar que {B(U ) : U U}
e uma subcolecao de B.
Pela definicao de base temos que B e uma base para a topologia B .

o 2.35. Se X e um espaco topologico e B e uma famlia de subconjuntos
Observac
a
abertos de X satisfazendo as propriedades (1) e (2) da proposicao acima, entao a topologia
gerada por B nao precisa ser a topologia original, porem, claramente qualquer aberto da
topologia gerada por B sera um aberto da topologia original.
E 2.23. Seja X um conjunto n
ao enumer
avel e fixemos um ponto x0 de X. Seja
B = {{x} : x X \ {x0 }} {A X : x0 A e X \ A e enumer
avel }.
Verifique que B satisfaz as condicoes (1) e (2) da proposicao 2.34.
Veremos agora como definir a topologia a partir dos sitemas fundamentais de vizinhancas
de cada ponto.
Usando a difinicao de vizinhanca e facil mostrarmos:
o 2.36. Seja X um espaco topolo
Proposic
a
ogico e para cada x X denotemos por Vx
o conjunto de todas as vizinhancasde x. Entao vale que:
(I) x V , para todo V Vx ;
(II) se V1 e V2 pertencem a Vx , ent
ao V1 V2 tambem pertence a Vx ;
(III) se V Vx e V U X, ent
ao U Vx ;
(IV) se V Vx , ent
ao existe U Vx tal que U V e U Vy , para todo y U .
Teorema 2.37. Seja X um conjunto n
ao vazio e suponhamos que para cada x X est
a
associado um conjunto Vx de subcojuntos de X de modo que as condicoes I, II, III e IV
acima estejam verificadas. Entao existe uma u
nica topologia T sobre X de modo que cada
Vx seja o conjunto das vizinhancas de x em (X, T ).
Demonstracao: Com efeito, seja T = {U X : U Vx para todo x U }. Entao T e uma
imediato que o e X pertencem a T e que a interseccao finita e a
topologia sobre X. E
reuniao qualquer de elementos de T pertence a T .
Note que o conjunto U em IV sera aberto em T . Em vista disso, em (X, T ) cada Vx sera
o conjunto de todas as vizinhancas de x, para todo x X.
Mostremos agora a unicidade da topologia. Suponhamos que T fosse uma topologia
sobre X tal que Vx e o conjunto das vizinhancas de x em (X, T ), para todo x X. Entao,
se U T , U Vx , para todo x U e U pertenceria a T . Por outro lado, se U T , entao
U Vx , para todo x U e U seria aberto em T .

Exemplo 2.38. O plano de Niemytzki. Seja L o conjunto de todos os pontos do
plano com a segunda coordenada maior ou igual a zero, ou seja, L = { (x, y) R2 : y 0 }.
Denotemos por L1 a reta y = 0 e seja L2 = L \ L1 . Para cada x L1 e r > 0, seja U (x, r)
o conjunto de todos os pontos em L no interior da bola de raio r tangente a L1 no ponto
4. FECHO, INTERIOR E FRONTEIRA. CONJUNTOS DENSOS
17
x e seja Ui (x) = U (x, 1i ) {x} para i = 1, 2, . . .. Para cada x L2 e r > 0, seja V (x, r) o
conjunto de todos os pontos de L dentro do crculo de raio r e centro x e seja Ui (x) = V (x, 1i )
para i = 1, 2 . . .. Para cada x L, seja Bx = {Ui (x)}
i=1 .
S
facil verificar que a colecao B = {Bx : x L} satisfaz as condicoes 1) e 2) da
E
proposicao 2.34. O conjunto L1 e fechado com respeito à topologia gerada pelo sistema de
vizinhancas abertas {Bx }xL . O espaco L e chamado de Plano de Niemytzki.
E 2.24. Mostre que no exemplo acima, L1 com a topologia de subespaco e discreto.
4. Fecho, interior e fronteira. Conjuntos densos
Seja (X, T ) um espaco topologico.
o 2.39. Um ponto x A e ponto interior de A se existe V T tal que
Definic
a
x V A. Ao conjunto dos pontos interiores chamamos interior de A e denotamos por
A.
= A.
E 2.25. Mostre que A e aberto se e somente se A
o 2.40. Um ponto x X e ponto aderente (ou ponto de clausura, ou ponto de
Definic
a
fecho) de A se para todo V T tal que x V tem-se que V A 6= .
o 2.41. Um ponto x X e ponto de acumulacao de A se para todo V T tal
Definic
a
que x V tem-se (V \ {x}) A 6= . Ao conjunto dos pontos de acumulacao de A chamamos
derivado de A.
E 2.26. Mostre que nas definicoes de ponto aderente e ponto de acumulacao poderamos
substituir para todo V T por para todo V calV x , onde calV x e um sistema fundamental de vizinhancas de x qualquer.
E 2.27. Seja X = {1, 2, 3} e T = {, {1}, {1, 2}, X}. Mostre que 3 e ponto de acumulacao
de {1} e de {1, 2} e que 1 n
ao e ponto de acumulacao de {1, 2}.
E 2.28. Sobre o conjunto dos n
umeros reais R considere a topologia T abaixo definida:
um subconjunto V de R pertence a T se e somente se para cada x V \ Q existe x > 0
tal que ]x x , x + x [ V . Mostre que qualquer que seja A R, A nao tem pontos de
acumulacao racionais. Por outro lado, se x R e ponto de acumulacao de um subconjunto
A nesta topologia T , tambem ser
a ponto de acumulacao de A na topologia habitual de R.
E 2.29. Na reta de Sorgenfrey mostre que 1 nao e ponto de acumulacao de [0, 1]; no
entanto, e ponto de acumulacao na reta real.
Veremos agora o conceito de fecho de um conjunto, que esta relacionado com o conceito
de ponto aderencia, como veremos a seguir.
o 2.42. Seja (X, T ) um espaco topologico e seja A um subconjunto de X. O
Definic
a
fecho (ou aderencia ou clausura) de A e a interseccao de todos os fechados que contem A
T
e sera denotado por A ou clT (A). Quando estiver claro qual a topologia, denotaremos por
X
A ou clX (A), ou simplesmente por A ou cl(A).
O operador fecho e a funcao que associa a cada subconjunto de X o seu fecho.
Como vimos anteriormente, a interseccao de conjuntos fechados e um conjunto fechado. Segue entao da definicao de fecho a seguinte proposicao, cuja demonstracao fica como
exerccio.
18
2. ESPAC
OS TOPOLOGICOS
o 2.43. Seja X um espaco topologico e A X. Entao:

Proposic
a
(i) A e um conjunto fechado;
(ii) A A; e
(iii) A e o menor fechado contendo A, i.e., se F e conjunto fechado e A F , ent
ao
A F.
A seguinte caracterizacao de fecho e muito u
til e relaciona fecho com pontos aderentes:
o 2.44. Para cada A X as seguintes condicoes s
Proposic
a
ao equivalentes:
(i) o ponto x pertence a A.
(ii) para cada vizinhanca V de x temos V A 6= .
(iii) para todo sistema fundamental de vizinhancas Vx do ponto x, para cada V Vx
temos que V A 6= .
Demonstracao: Para mostrar que (i) (ii), suponhamos que x A e seja V uma
vizinhanca de x. Pela definicao de vizinhanca, existe um aberto U tal que x U V .
Como V A U A, basta mostrar que U A 6= . De fato, se U A = , entao A X \ U .
O conjunto U e aberto, logo, o conjunto X \ U e fechado por definicao. Portanto, pela
proposicao acima, temos que A X \ U , ou seja, U A = , contradicao, pois x U A.
Com isto mostramos que U A 6= .
facil ver que (ii) (iii).
E
So resta mostrar que (iii) (i). Suponha que (i) nao esteja satisfeita, ou seja, que x
/ A.
Entao, pela definicao de fecho, existe um fechado F contendo A tal que x
/ F . Logo X \ F e
uma vizinhanca aberta de x e portanto existe V Vx tal que V X \ F , ou seja, V F = .
Como A F , isso implica que V A = , contradizendo (iii).

rio 2.45. O fecho de um conjunto A e o cojunto dos pontos aderentes de A.
Corola
E 2.30. Calcule os fechos dos seguintes subconjuntos da reta dos reais com relacao a`s
diferentes topologias dadas no exerccio 2.10:
(a) (0, 1);
(b) [0, 1];
(c) [0, 1);
(d) (0, 1];
(e) {0};
(f ) Q;
(g) { n1 : n Z \ {0}};
(h) .
E 2.31. Sejam X = {a, b, c, d} e T = {, X, {a}, {a, b}, {c, d}, {a, c, d}} uma topologia
sobre X. Calcule {a, d} e {b, d}.
E 2.32. Mostre que um conjunto e fechado se, se somente se, ele e igual ao seu fecho
E 2.33. Mostre que o interior de um conjunto A e o maior aberto (com relacao a inclusao)
que est
a contido em A.
E 2.34. Mostre que x e um ponto de acumulacao de A se e somente se x A \ {x}.
o 2.46. Um ponto x X e ponto de fronteira de A se para todo V T tal
Definic
a
que x V tem-se V A 6= e V (X \ A) 6= . Ao conjunto dos pontos de fronteira de A
chamamos fronteira de A e denotamos por F r(A).
4. FECHO, INTERIOR E FRONTEIRA. CONJUNTOS DENSOS
19
E 2.35. Mostre que:

(i) F r(A) = A X \ A e
(ii) A e aberto-fechado se e somente se F r(A) = .
No proximo teorema temos as principais propriedades do operador fecho:
Teorema 2.47. O operador fecho em um espaco topologico X tem as seguintes propriedades:
(1) = .
(2) (A) = A.
(3) Para todo A, B X, temos A B = A B.
Demonstracao: As propriedades (1) e (2) seguem diretamente da definicao de fecho e do
fato de A ser um conjunto fechado.
Vamos mostrar agora que a propriedade (3) e valida.
: Pela proposicao 2.43, temos que A A B A B, e que isso implica que
A A B. Analogamente, temos que B A B e portanto temos que A B A B.
: Por outro lado, temos que A A e B B, e portanto, temos que AB AB.
Como o u
ltimo conjunto e uma uniao de dois conjuntos fechados, ele e um conjunto fechado.
Utilizando a proposicao 2.43 novamente, segue entao que A B A B.
Com isto, mostramos que a igualdade em (3) esta satisfeita.

verdade que para quaisquer subconjuntos A e B de um espaco topologico X
E 2.36. E
(i)A B = A B e
(ii) A \ B = A \ B?
Prove ou de contraexemplos.
E 2.37. Seja X um espaco topologico e M um subespaco de X. Mostre que se A e um
M
X
subconjunto de M , ent
ao A = A M .
o 2.48. Seja X um espaco topologico. Dizemos que um subconjunto D de X
Definic
a
e denso em X se o fecho de D e igual a X.
Claramente X e denso em X. Vamos dar alguns outros exemplos menos triviais:
Exemplo 2.49. O conjunto Q dos racionais e um conjunto denso na reta de Sorgenfrey.
Exemplo 2.50. Se X e um espaco discreto, entao X e o u
nico subconjunto denso de X.
Exemplo 2.51. Se X e um espaco caotico, entao qualquer subconjunto nao-vazio e denso
em X.
E 2.38. Mostre as afirmacoes feitas nos exemplos acima.
E 2.39. Mostre que as seguintes afirmacoes s
ao equivalentes para um espaco topologico
X:
(i) D e denso em X;
(ii) D U 6= , para todo aberto n
ao-vazio U em X;
(iii) para qualquer base B de X, D B 6= , para todo B B.
E 2.40. (i) Seja X um conjunto infinito com a topologia cofinita. Mostre que um subconjunto D de X e denso se, e somente se, D e infinito.
(ii) Seja X um conjunto n
ao-enumer
avel com a topologia coenumer
avel. Mostre que um
subconjunto D de X e denso se, e somente se, D e n
ao-enumer
avel.
20
2. ESPAC
OS TOPOLOGICOS
E 2.41. Mostre que D e denso em R se, e somente se, D e denso em RS .

E 2.42. Seja X um espaco topologico e D X. Prove que D e denso em X se, e somente
se, D V = V , para todo aberto V .
5. Axiomas de enumerabilidade.
o 2.52. Seja X um espaco topologico.
Definic
a
(a) Se cada ponto do espaco X possui um sistema fundamental de vizinhancas que e
enumeravel, dizemos que ele satisfaz o primeiro axioma de enumerabilidade.
(b) Quando X possui uma base enumeravel, dizemos que X satisfaz o segundo axioma
de enumerabilidade.
(c) Dizemos que X e separavel ou que satisfaz o terceiro axioma de enumerabilidade, se
possui um conjunto denso enumeravel.
Exemplo 2.53. Seja (X, d) um espaco metrico. Para todo ponto x de X, temos que
{Bd (x, n1 ) : n = 1, 2, . . .} e um sistema fundamental de vizinhancas de x, logo X satisfaz o
primeiro axioma de enumerabilidade.
Exemplo 2.54. Considere a reta real com a topologia usual. Facilmente tem-se que Q e
denso em R, logo a reta real e separavel. Alem disso, {]r n1 , r + n1 [: r Q, n = 1, 2, . . .} e
uma base que e enumeravel. Portanto R satisfaz tambem o primeiro e o segundo axioma de
enumerabilidade. Note que {]a, b[: a < b e a, b Q} tambem e uma base enumeravel de R.
Exemplo 2.55. Seja X um conjunto nao-enumeravel com a topologia cofinita. Entao
nenhum ponto de X tem sistema fundamental de vizinhancas enumeravel.
E 2.43. Mostre a afirmacao do exemplo anterior. X e separavel? O que acontece quando
X e um conjunto enumer
avel?
E 2.44. Considere o espaco definido no exerccio 2.23. Prove que somente o ponto x0
n
ao tem sistema fundamental de vizinhancas que seja enumer
avel.
E 2.45. Prove que todo espaco que satisfaz o segundo axioma de enumerabilidade satisfaz
tambem o primeiro.
E 2.46. Mostre que se X e enumer
avel e satisfaz o primeiro axioma de enumerabilidade,
ent
ao X tambem satisfaz o segundo axioma da enumerabilidade.
o 2.56. Todo espaco topologico X satisfazendo o segundo axioma de enumeProposic
a
rabilidade e separavel.
Demonstracao: Por hipotese, existe uma base de abertos B de X que e enumeravel. Podemos
assumir, sem perda de generalidade, que cada elemento de B e nao vazio. Logo, para cada
U B, podemos fixar um ponto xU pertencente a U . Claramente D = {xU : U B} e
um subconjunto enumeravel de X e, para cada aberto U B, xU U D. Logo, segue do
exerccio 2.39, que D e um subconjunto denso.

Veremos agora que a recproca da Proposicao 2.56 vale no caso dos espacos metricos:
o 2.57. Seja X um espaco topologico associado a uma metrica d. Entao X
Proposic
a
satisfaz o segundo axioma de enumerabilidade se e somente se X e separavel.
5. AXIOMAS DE ENUMERABILIDADE.
21
Demonstracao: () Segue da Proposicao 2.56.

() Suponhamos que X e separavel e seja D um subconjunto enumeravel denso de X.
Vamos mostrar que a famlia B = {Bd (x, n1 ) : x D e n = 1, 2, . . .} e uma base de abertos
de X. Seja y X e U uma vizinhanca aberta de y. Como as bolas abertas de centro y
formam uma base para o ponto y, existe um > 0 tal que Bd (y, ) U . Seja m um inteiro
positivo tal que m2 < . Como D e denso, existe um ponto x D tal que x Bd (y, m1 ).
Como d(x, y) = d(y, x), temos que y Bd (x, m1 ). Alem disso, se z Bd (x, m1 ), entao
d(y, z) d(y, x) + d(x, z) < m1 + m1 < , ou seja z Bd (y, ). Logo Bd (x, m1 ) Bd (y, ).
Entao y Bd (x, m1 ) Bd (y, ) U . Como y e U eram arbitrarios temos que B e uma base
de abertos de X. Como B e enumeravel (pois D e enumeravel), temos que X satisfaz o
segundo axioma de enumerabilidade.

Vimos anteriormente que o conjunto dos racionais e denso na reta de Sorgenfrey e portanto ela e separavel. Temos tambem que ela satisfaz o primeiro axioma de enumerabilidade
pois, para cada x RS , a famlia {[x, x + n1 [}
e uma base enumeravel para o ponto x.
n=1
Veremos agora que a reta de Sorgenfrey nao satisfaz o segundo axioma de enumerabilidade.
Isto mostra que a proposicao acima nao vale para espacos topologicos arbitrarios, mesmo
que estes satisfacam o primeiro axioma de enumerabilidade.
Teorema 2.58. A reta de Sorgenfrey n
ao satisfaz o segundo axioma de enumerabilidade.
Demonstracao: Suponhamos por contradicao que B seja uma base enumeravel para RS .
Como B e uma base, para cada x RS , podemos fixar um aberto Ux B tal que x
Ux [x, x + 1[. Note que Ux 6= Uy , sempre que x 6= y. De fato, se x 6= y, sem perda
de generalidade, podemos assumir que x < y. Como Uy [y, y + 1[, teremos que x
/ Uy .
Portanto, Ux \ Uy 6= .
Podemos entao construir uma funcao injetora do conjunto dos reais no conjunto B, o que
e uma contradicao, pois nao existe uma funcao injetora de um conjunto nao enumeravel num
conjunto enumeravel.

Teorema 2.59. Para um espaco topologico X satisfazendo o segundo axioma de enumerabilidade, cada base B contem uma subcolecao enumer
avel que forma uma base.
Demonstracao: Como X satisfaz o segundo axioma de enumerabilidade, podemos fixar uma
base enumeravel B0 para X. Seja B uma base qualquer para X.
Seja D o conjunto de todos os pares ordenados (U, V ) tais que U e V sao elementos de
B0 e existe um aberto W B tal que U W V . Para cada par (U, V ) D, fixemos
um aberto W (U, V ) B tal que U W (U, V ) V . Como D e enumeravel, claramente
a famlia W = {W (U, V ) : (U, V ) D} e um conjunto enumeravel. Para terminarmos a
demonstracao, e suficiente mostrar que W e uma base de abertos para X.
Seja x X e V uma vizinhanca aberta de x. Como B0 e uma base, existe V0 B0 tal
que x V0 V e como B e uma base, existe W0 B tal que x W0 V0 . Usando novamente que B0 e uma base, temos que existe U0 B0 tal que x U0 W0 V0 . Portanto,
(U0 , V0 ) D e x U0 W (U0 , V0 ) V0 V . Mostramos entao que existe W W tal que
x W V . Como x e V eram arbitrarios, conclumos que W e uma base de X.

o 2.60. Uma sequencia em X e uma enumeracao {xn : n N} tal que xn X,
Definic
a
para cada n N. Dizemos que uma sequencia {xn : n N} converge para x, se, para cada
vizinhanca V de x, o conjunto {n N : xn
/ V } e finito.
22
2. ESPAC
OS TOPOLOGICOS
E 2.47. Verifique que uma sequencia {xn : n N} converge para x se, e somente se, para
cada vizinhanca V de x, existe n0 , tal que xn V , para todo n n0 .
E 2.48. Verifique que se X e a reta real, ent
ao a definicao de convergencia de sequencias
coincide com a definicao dada nos cursos de C
alculo.
E 2.49. Seja X um espaco topologico que satisfaz o primeiro axioma de enumerabilidade.
Mostre que, para cada ponto x X, existe uma base {Bn : n N} no ponto x tal que
Bn+1 Bn , para todo n N.
o 2.61. Sejam X um espaco topologico que satisfaz o primeiro axioma de
Proposic
a
enumerabilidade e A um subconjunto de X. Mostre que, se x A, ent
ao existe uma sequencia
{xn : n N} em A (i.e., xn A, para todo n N) convergindo para x.
Demonstracao: Seja x A. Fixemos B = {Bn : n N} uma base de abertos no ponto x
dada pelo exerccio anterior. Pela proposicao 2.44, temos que Bn A 6= , sempre que n N.
Fixemos xn Bn A, para cada n N. Vejamos que {xn : n N} converge para x. Seja
V uma vizinhanca de x. Como B e base de abertos no ponto x, temos que Bn0 V , para
algum n0 N. Logo xn Bn Bn0 V , para todo n n0 .

E 2.50. Mostre que a recproca da proposicao anterior vale, mesmo quando o espaco n
ao
satisfaz o primeiro axioma de enumerabilidade, ou seja, se A X e {xn : n N} e uma
sequencia em A convergindo para x, ent
ao x A.
6. Fun
c
oes contnuas.
A nocao de funcao contnua de R em R ou em espacos metricos e definida em termos de
s e s, logo, pode parecer que esta nocao nao tenha um analogo em espacos topologicos.
Vamos definir agora a continuidade de uma funcao para espacos topologicos arbitrarios e
veremos que esta nocao e equivalente à nocao ja conhecida para espaco topologico associado
a uma metrica.
o 2.62. Sejam X e Y espacos topologicos e seja f uma funcao de X em Y .
Definic
a
Dizemos que f e contnua no ponto x se para cada vizinhanca V de f (x) existe uma vizinhanca U de x tal que f (U ) V . Dizemos que f e contnua (em um conjunto A) se f e
contnua em todo ponto x X (em todo x A).
A demonstracao da seguinte proposicao fica como exerccio:
o 2.63. Sejam X e Y espacos topologicos e seja f uma funcao de X em Y .
Proposic
a
S
ao equivalentes:
(i) f e contnua em x;
(ii) para cada vizinhanca aberta V de f (x) existe uma vizinhanca aberta U de x tal que
f (U ) V ;
(iii) se Bx e Df (x) s
ao bases para os pontos x e f (x), respectivamente, ent
ao, para cada
V Df (x) existe um U Bx tal que f (U ) V .
O proximo exemplo mostra que a definicao de continuidade, dada acima, coincide com a
de espacos metricos, quando X e um espaco metrico.

6. FUNC
OES
CONTINUAS.
23
Exemplo 2.64. Sejam (X, d) e (Y, d ) dois espacos metricos e sejam T e T as topologias
associadas à d e d respectivamente. Para cada x X, seja Bx o conjunto de todas as bolas
abertas de centro x e para cada y Y , seja Dy o conjunto de todas as bolas abertas de
centro y. Pela equivalencia da proposicao anterior, uma funcao f de X em Y e uma funcao
contnua do espaco topologico (X, T ) no espaco topologico (Y, T ) se e somente se para cada
x X e para cada bola de centro f (x) e raio > 0, existe uma bola de centro x e raio > 0
tal que f (Bd (x, )) Bd (f (x), ). Isto equivale a dizer que para cada ponto x X e para
cada > 0 existe > 0 tal que para cada y X se d(x, y) < entao d (f (x), f (y)) < .
o 2.65. Seja (X, T ) e (Y, T ) dois espacos topologicos. Uma funcao f de X
Proposic
a
em Y e contnua se e somente se f 1 (U ) T , para cada U T , isto e, a imagem inversa
de um aberto de Y e um conjunto aberto de X.
Demonstracao: () Seja U T . Dado x f 1 (U ), temos que existe Vx T , vizinhanca
de x, tal que f (Vx ) U , j
a que f e contnua em x. Portanto Vx f 1 f (Vx ) f 1 (U ) e
S
1
entao segue que f (U ) = {Vx : x f 1 (U )}. Logo f 1 (U ) T .
() Sejam x X e U T , tais que f (x) U . Entao x f 1 (U ) e f 1 (U ) T . Logo
f 1 (U ) e um vizinhanca aberta de x e f (f 1 (U )) U .

A proposicao acima nos fornece uma equivalencia de continuidade que em geral e mais
facil de lembrar e que e frequentemente usada. Note que ela trata diretamente da continuidade global, ou seja nao precisamos primerio definir a continuidade num ponto particular
para depois definir a continuidade da funcao no domnio.
o 2.66. Para uma funcao f de um espaco topologico X num espaco topologico
Proposic
a
Y , as seguintes condicoes s
ao equivalentes:
(i) a funcao f e contnua.
(ii) a imagem inversa de cada aberto em uma base B de Y e aberta em X.
(iii) a imagem inversa de cada fechado de Y e um fechado de X.
E 2.51. Demonstre a proposicao anterior.
E 2.52. Seja f : X Y . Mostre que as seguintes afirmacoes s
ao equivalentes:
(i) a funcao f e contnua;
(ii) para cada A X temos f (A) f (A);
(iii) para cada B Y temos f 1 (B) f 1 (B).
Exemplo 2.67. Se X e um espaco topologico munido da topologia discreta entao para
todo espaco topologico Y , qualquer funcao f de X em Y e contnua.
Exemplo 2.68. Se Y e um espaco topologico munido da topologia caotica, entao para
cada espaco topologico X, toda funcao f de X em Y e contnua.
Exemplo 2.69. Seja R a reta real com a topologia usual e RS a reta de Sorgenfrey.
Defina a funcao f de RS em R por f (x) = [x], para todo x RS , onde [x] e o maior inteiro
x. Temos entao que f e uma funcao contnua.
E 2.53. Mostre que a funcao f do exemplo acima e contnua.
E 2.54. Seja X o espaco definido no exerccio 2.23 e f uma funcao contnua qualquer
de X em R. Mostre que existe um subconjunto enumer
avel X0 de X tal que para cada
24
2. ESPAC
OS TOPOLOGICOS
x X \ X0 , temos f (x) = f (x0 ), ou seja, a menos de um conjunto enumer

avel, a funcao f
e igual a funcao constante de valor f (x0 ). (Dica: A imagem inversa por f de um ponto e
fechada)
Teorema 2.70. Seja f uma funcao contnua sobrejetora de um espaco topologico X em
um espaco topologico Y . Entao se D e um subconjunto denso de X, o conjunto f (D) e um
subconjunto denso de Y .
Demonstracao: Seja D um subconjunto denso de X. Para mostrarmos que f (D) e denso em
Y , e suficiente mostrar que para cada aberto nao vazio V de Y , o conjunto f (D) V e nao
vazio.
Seja V um aberto nao vazio de Y . Como f e contnua, temos que f 1 (V ) e um aberto
de X. Temos ainda que f 1 (V ) 6= , pois f e sobrejetora. Portanto, como D e denso em X,
temos que existe x D f 1 (V ). Entao f (x) f (D) f (f 1 (V )) f (D) V e portanto
f (D) V e nao vazio. Como V era um aberto arbitrario de Y , f (D) e denso em Y .

rio 2.71. Seja f uma funcao contnua sobrejetora de X em Y . Se X e separavel,
Corola
ent
ao Y tambem e separavel.
Note que o mesmo tipo de resultado nao e verdade em geral para os outros axiomas de
enumerabilidade. Tente achar exemplos.
E 2.55. Sejam T1 e T2 duas topologias em um conjunto X. Mostre que a funcao identidade
idX (x) = x do espaco topologico (X, T1 ) no espaco topologico (X, T2 ) e contnua se, e somente
se, T2 T1 .
E 2.56. Mostre que a composta de funcoes contnuas e contnua.
E 2.57. Seja X um conjunto infinito com a topologia cofinita. Mostre que se f e uma
funcao sobrejetora de X em X, ent
ao f e contnua se, e s
o se, f 1 ({x}) e finito, para todo
x X.
7. Axiomas de separac
ao.
A definicao de espaco topologico e muito geral e isso leva a ter poucos resultados de
interesse que valem para todos os espacos topologicos. Por outro lado, assumir que o espaco
topologico esta associado a uma metrica, por exemplo, e uma restricao muito grande. Os
axiomas de separacao consideram diferentes possibilidades para separar pontos e fechados.
o 2.72. Um espaco topologico X e chamado de espaco T0 se para cada dois
Definic
a
pontos x1 , x2 X distintos, existe um aberto que contem apenas um desses pontos.
A topologia caotica num conjunto com mais de um ponto e um exemplo de uma topologia
que nao e T0 .
E 2.58. Seja X um espaco topologico. Mostre que X e T0 se, e somente se, para cada
x, y X distintos e para cada Bx e By , bases de abertos dos pontos x e y respectivamente,
temos Bx 6= By .
E 2.59. Mostre que um espaco topologico X e T0 se, e somente se, {x} 6= {y}, sempre
que x 6= y.

7. AXIOMAS DE SEPARAC
AO.
25
o 2.73. Seja X um espaco topologico. Dizemos que X e um espaco T1 se para

Definic
a
cada dois pontos x, y X distintos, existe uma vizinhanca de x que nao contem y.
Note que na definicao de espaco T0 era suficiente que um dos pontos tivesse uma vizinhanca que nao contivesse o outro ponto. No caso de espaco T1 cada um dos dois pontos
deve ter uma vizinhanca que nao contem o outro ponto.
Exemplo 2.74. Seja X um conjunto com mais de um ponto e fixemos um ponto x0 em
X. Para cada x X \ {x0 } definimos Bx = {{x}} e para o ponto x0 , definimos Bx0 = {X}.
Temos que {Bx }xX satisfaz as propriedades (1) e (2) da proposicao 2.34 e portanto gera
uma topologia em X. Na topologia gerada pela famlia {Bx }xX , o espaco X e T0 mas nao
e T1 .
E 2.60. Mostre as afirmacoes feitas no exemplo acima.
A seguinte caracterizacao de espacos T1 e muito usada:
o 2.75. Seja X um espaco topologico. Entao as seguintes afirmacoes sao
Proposic
a
equivalentes:
(i) X e um espaco T1 .
(ii) para cada ponto x de X, o conjunto {x} e fechado.
Demonstracao:
(i) (ii). Seja x um ponto de X e vamos mostrar que X \ {x} e um conjunto aberto.
De fato, se y X \ {x}, entao y e um ponto distinto de x. Pela definicao de T1 , temos que
existe um aberto U que contem y mas nao contem x. Logo, y U X \ {x}. Como o ponto
y era arbitrario, o conjunto X \ {x} e aberto e portanto {x} e fechado.
(ii) (i). Sejam x e y dois pontos distintos de X. Como {x} e {y} sao fechados, X \ {x}
e X \ {y} sao conjuntos abertos. Portanto existe uma vizinhanca de x nao contendo y e
existe uma vizinhanca de y nao contendo x.

E 2.61. Seja X um espaco topologico. Mostre que as seguintes afirmacoes s
ao equivalentes:
(i) X e um espaco T1 .
T (ii) para cada ponto x de X existe uma famlia Ux de vizinhancas abertas de x tal que
Ux = {x}.
T
(iii) para cada ponto x de X e para cada base Bx de x, temos Bx = {x}.
o 2.76. Um espaco topologico X e T2 , ou de Hausdorff, se para cada par de
Definic
a
pontos distintos x, y X existem vizinhancas U de x e V de y tais que U V = .
facil ver que todo espac de Hausdorff e T1 .
E
Exemplo 2.77. Seja X um conjunto infinito com a topologia cofinita.
exerccio verificar que T e uma topologia T1 que nao e T2 .
Fica como
E 2.62. Verifique que um espaco topologico X e de Hausdorff se, e somente se, para cada
ponto x de X, a interseccao de todas as vizinhancas fechadas de x e o conjunto {x}.
E 2.63. Seja X um espaco metrico com a topologia associada a metrica. Mostre que X
e um espaco T2 .
26
2. ESPAC
OS TOPOLOGICOS
O proximo resultado sera utilizado posteriormente:

Teorema 2.78. Para cada par f, g de funcoes contnuas de um espaco topologico X em
um espaco de Hausdorff Y , o conjunto {x X : f (x) = g(x)} e um subconjunto fechado
de X.
Demonstracao: Vamos mostrar que o conjunto A = {x X : f (x) 6= g(x)} e aberto. Seja
x A. Como f (x) 6= g(x) e Y e de Hausdorff, existem abertos U contendo f (x) e V
contendo g(x) tais que U V = . Pela continuidade de f , temos que f 1 (U ) e g 1 (V ) sao
vizinhancas abertas de x e portanto W = f 1 (U ) g 1 (V ) e uma vizinhanca aberta de x.
Resta mostrar que W A. De fato, se y W , entao temos que f (y) U e g(y) V . Como
U V = , segue que f (y) 6= g(y) e portanto y A.
Como x A foi escolhido arbitrariamente, o conjunto A e aberto e portanto X \ A =
{x X : f (x) = g(x)} e fechado.

o 2.79. Sejam g e h duas funcoes contnuas de um espaco topologico X em
Proposic
a
um espaco topologico Hausdorff Y e seja D um conjunto denso em X. Se g D = h D,
ent
ao g = h.
Demonstracao: Se g D = h D, entao D {x X : g(x) = h(x)}. Pelo teorema 2.78,
temos que {x X : g(x) = h(x)} e um conjunto fechado, portanto X = D {x X :
g(x) = h(x)}, ou seja, g = h.

o 2.80. Seja X um espaco topologico. Dizemos que X e T3 se para cada x X
Definic
a
e cada fechado F X tal que x
/ F existem abertos U contendo x e V contendo F tais que
U V = . Dizemos que X e um espaco regular se X e T1 e T3 .
Todo espaco regular e T2 pois assumimos explicitamente a propriedade T1 (e portanto
todo ponto e fechado). Sem assumir a propriedade T1 na definicao, o espaco caotico satisfaz
a propriedade de regularidade e nao e T1 . Para alguns autores (por exemplo o Engelking),
regular e T3 sao a mesma propriedade e ambas incluem T1 .
o 2.81. Um espaco X e T3 se e somente se para cada x X e para cada
Proposic
a
vizinhanca aberta W de x existe uma vizinhanca aberta U de x tal que U W .
Demonstracao: Primeiro suponha que X e T3 . Seja x X e W uma vizinhanca aberta de
x. Entao X \ W e um fechado nao contendo x e portanto existem abertos U contendo x e
V contendo X \ W tais que U V = . Logo U X \ V e como X \ V e fechado, temos
que U X \ V . Alem disso, temos que X \ V X \ (X \ W ) = W e portanto U W .
Para mostramos a recproca, seja x X e F um fechado que nao contem x. Entao X \ F
e uma vizinhanca aberta de x, logo por hipotese, existe um aberto U tal que x U U
X \ F . Note que X \ U e um aberto contendo X \ (X \ F ) = F . Alem disso, U (X \ U ) = ,
portanto X e T3 .

rio 2.82. Um espaco X e T3 se, e somente se, todo ponto x em X tem um
Corola
sistema fundamental de vizinhancas fechadas.
Demonstracao: Seja Bx uma base de abertos de x em X e defina Vx = {B : B Bx }. Pela
proposicao anterior, temos que Vx e um sistema fundamental de vizinhancas de x.

E 2.64. Seja X um espaco metrico com a topologia associada a metrica. Mostre que X
e um espaco T3 .

AO.
27
Vamos agora dar um exemplo de um espaco Hausdorff que nao e regular:

Exemplo 2.83. Seja X o conjunto dos n
umeros reais e seja Z o conjunto { n1 : n =
1, 2, . . .}. Para cada x em X seja Bx a seguinte famlia de subconjuntos de X:

{]x 1i , x + 1i [: i = 1, 2 . . .}
se x 6= 0
Bx =
{]x 1i , x + 1i [\Z : i = 1, 2 . . .} se x = 0
Note que {Bx }xX satisfaz as propriedades (1) e (2) da proposicao 2.34 e que o espaco
X com a topologia gerada pelo sistema de vizinhancas abertas {Bx }xX e Hausdorff.
Vamos verificar agora que X nesta topologia nao e regular. De fato, o conjunto Z e um
fechado de X que nao contem 0. Fica a cargo do leitor verificar que qualquer aberto de X
contendo 0 tem interseccao nao vazia com um aberto contendo Z.
o 2.84. Seja X um espaco topologico. Dizemos que X e um espaco T4 se para

Definic
a
cada par de fechados F e G disjuntos, existem abertos disjuntos U e V contendo F e G
respectivamente. Se X e T1 e T4 dizemos que X e um espaco normal.
Um espaco normal e um espaco regular. Como anteriormente, alguns autores colocam
normal e T4 como a mesma propriedade, onde ambas incluem a propriedade T1 .
Analogamente ao caso dos espacos regulares, temos a seguinte proposicao:
o 2.85. Um espaco X e T4 se, e somente se, para cada par de fechados
Proposic
a
disjuntos A e B existe um aberto U tal que A U U X \ B.
Ainda iremos definir uma classe de espacos intermediaria, entre os espacos regulares e
os espacos normais, portanto nao veremos agora um exemplo de espaco regular que nao e
normal.
Veremos depois que os reais e o intervalo [0, 1] sao espacos normais. Na verdade, todos
os espacos metricos sao espacos normais. Vamos primeiro mostrar que:
Exemplo 2.86. A reta de Sorgenfrey e um espaco normal.
De fato, sejam A e B dois fechados disjuntos de RS . Para cada a A, fixemos um aberto
[a, x(a)) cuja interseccao com B e vazia. Analogamente, para cada b B, fixemos um aberto
[b, x(b)) cuja interseccao com A e vazia. Sejam
[
[
U=
[a, x(a)) e V =
[b, x(b)).
aA
bB
Entao U e um aberto contendo A e V e um aberto contendo B. Para concluirmos a

demonstracao de que a reta de Sorgenfrey e normal, basta mostrarmos que U V = .
Suponhamos por contradicao que existe y U V . Entao existe a A e b B tal que
a y < x(a) e b y < x(b). Temos dois casos a considerar: a < b ou b < a. Ambos os
casos sao analogos, portanto vamos assumir que a < b. Entao temos a < b y < x(a), ou
seja b [a, x(a)) B, contradizendo a escolha de x(a). Portanto U V = .
Teorema 2.87. Todo espaco regular satisfazendo o segundo axioma de enumerabilidade

e normal.
28
2. ESPAC
OS TOPOLOGICOS
Demonstracao: Seja X um espaco nas condicoes acima e sejam A e B dois fechados disjuntos
de X. Fixemos uma base enumeravel de abertos B. Pela regularidade de X, para cada a A,
existe uma vizinhanca aberta Ua de a tal que Ua B e Ua B = .
Como B e enumeravel, podemos fixar uma famlia {Un : n N} de abertos de B tal
que para cada a A,Sexiste n N tal que Ua = Un . Temos entao uma famlia de abertos
{Un : n N} tal que
n=0 Un A e para cada n N temos que Un B = .
Analogamente,
podemos
encontrar uma famlia de abertos {Vn : n N} tal que
S
cada n N temos que Vn A = .
n=0 Vn B e para S
S
Seja Un = Un \ ( nm=0 Vm ). Como cada Snm=0 Vm e fechado, Un e um conjunto aberto,
para todo n N,
e portanto o conjunto U = S
e aberto.
Note que A
Un = A Un
n=0 Un
S
S
S
e queSA = A n=1 Un . Portanto A = A n=1 Un = n=1 (A Un ) = n=1 (A Un ) =
A
. Logo, A U .
n=1 Un = A U
Sn
S
Seja Vn = Vn \ ( m=0 Um ) e V =
e um aberto
n=0 Vn . Analogamente, teremos que V
contendo B.
Para terminarmos a demonstracao, falta apenas verificar que U V = . ParaSisso basta
mostrar que Un Vm = para todo n 6= m. De fato, se n m, entao, Vm = Vm \ ( m
i=0 Ui )
Vm \ Un X \ Un X \ Un . De modo analogo, podemos mostrar que a interseccao e vazia

se m n.

rio 2.88. A reta real R e o intervalo [0, 1] com a topologia induzida pela metrica
Corola
usual s
ao espacos normais.
Teorema 2.89. Todo espaco enumer
avel regular e normal.
Demonstracao: Basta adaptarmos a demonstracao acima. Como antes, para cada ponto de
um dos fechados, podemos achar uma vizinhanca cujo fecho nao intercepta o outro fechado.
Como o espaco e enumeravel, uma quantidade enumeravel de abertos sera suficiente para
cobrir os fechados e portanto poderemos encontrar abertos disjuntos contendo os fechados.
Os detalhes ficam como exerccio.

A ideia das duas demonstracoes anteriores aparecem em outras demonstracoes e podem
ser usadas para mostrar:
E 2.65. Seja X um espaco topologico. Suponha que para quaisquer
fechados S
F e K de
S
X, existem famlias de abertos {Un }nN e {Vn }nN tais que F nN Un , K nN Vn e
alem disso para cada n N, Un K = e Vn F = . Mostre que X e T4 .
O principal resultado desta secao talvez seja:
Teorema 2.90. (Lema de Urysohn) Seja X um espaco T4 . Entao para cada par de
fechados disjuntos A e B de X, existe uma funcao contnua f : X [0, 1] tal que f (x) = 0,
para cada x A, e f (x) = 1, para cada x B.
Demonstracao: Sejam A e B dois fechados disjuntos de X. Seja Q o conjunto de todos os
racionais no intervalo [0, 1] e seja {qn : n N} uma enumeracao de Q tal que q0 = 0, q1 = 1
e para cada n, m N distintos, temos qn 6= qm .
Iremos primeiro definir indutivamente uma sequencia de abertos {Un : n N} satisfazendo as seguintes propriedades:
(i) A Un Un X \ B, para todo n N;

AO.
29
(ii) para cada n, m N se qn < qm , entao Un Um .

Como X e T4 , existe um aberto U tal que A U U X \ B. Entao podemos tomar
U0 = U e claramente as propriedades (i) e (ii) estarao satisfeitas.
Vamos agora escolher U1 . Pelo fato de X ser T4 e pelo fato de que U0 X \ B, existe
um aberto U1 tal que U0 U1 U1 X \ B. Como q0 < q1 , temos que (i) e (ii) estao
satisfeitas.
Suponhamos por hipotese de inducao que k > 1 e que ja estao definidos {U0 , . . . , Uk1 }
satisfazendo as condicoes (i) e (ii) acima. (Caso haja alguma dificuldade, sugerimos ao leitor
tentar primeiro assumir que k = 2, para melhor visualizar o que faremos a seguir.) Temos
que escolher Uk satisfazendo (i) e (ii).
Seja i {0, . . . , k 1} tal que qi = maxM , onde M = {qm : 0 m < k e qm < qk },
i.e. qi e o maior racional de {q0 , . . . , qk1 } menor que qk . Note que como q0 = 0, o conjunto
M e nao vazio, portanto i esta bem definido. Analogamente, seja j {0, . . . , k 1} tal
que qj = minN , onde N = {qn : 0 n < k e qn > qk }, i.e. qj e o menor racional de
{q0 , . . . , qk1 } maior que qk . Como q1 = 1, N e nao vazio e j esta bem definido.
Obeserve que pela escolha de i e j, temos qi < qj . Pela condicao (ii) da hipotese de
inducao, temos entao que Ui Uj . Logo, por X ser T4 , existe um aberto Uk tal que
Ui Uk Uk Uj .
Resta apenas verificar que as condicoes (i) e (ii) estao satisfeitas:
Temos (i), pois por hipotese de inducao, A Ui e Uj B e escolhemos Uk de modo que
Ui Uk Uk Uj .
Para checarmos (ii), e suficiente considerarmos os casos m = k ou n = k, pois os outros
casos valem pela hipotese de inducao. Suponhamos que n < k e qn < qk (se qn > qk e analogo
e fica como exerccio). Vamos primeiro mostrar que Un Ui , para i definido acima. Se i = n
nao ha nada a fazer. Se i 6= n, qn < qi pela definicao de i. Logo, pela hipotese de inducao,
temos que Un Ui Ui .
Pela definicao de Uk , segue que Un Ui Uk . Portanto a condicao (ii) esta satisfeita e
terminamos assim a construcao da sequencia {Un : n N}.
Vamos agora definir a funcao f usando essa sequencia.
Para cada x X defina
f (x) = inf ({qn : x Un } {1}).
Mostraremos que f e a funcao procurada. Primeiro note que, como 0 qn 1, para cada
n N, temos que f (x) [0, 1].
Se x A, pela propriedade (i), temos que x Un , para todo n N. Portanto f (x) =
inf {q : q Q} = 0, para cada x A. Por outro lado, se x B, pela propriedade (ii), temos
que x
/ Un , para cada n N. Logo, f (x) = inf ( {1}) = 1, para cada x B. Entao resta
apenas verificar que f e uma funcao contnua.
Pela equivalencia (ii) da Proposicao 2.66, basta mostrar que imagem inversa de cada
aberto em uma base B de [0, 1] e aberta. Como para todo 0 < a < b < 1, (a, b) = [0, b)(a, 1],
e suficiente mostrar que f 1 [0, b) e f 1 (a, 1] sao abertos, para cada b tal que 0 < b 1 e
para cada a tal que 0 a < 1.
Vamos primeiro mostrar que f 1 [0, b) e aberto. Pela definicao de f , temos que x
1
f [0, b) se, e somente se, f (x) = inf ({qn : x Un } {1}) < b. Mas isso acontece se, e
somente se, existe qn < b tal que x Un . Podemos concluir entao que x f 1 [0, b) se, e

2. ESPAC
OS TOPOLOGICOS
30
S
S
somente se, x {Un : qn < b}, ou seja, f 1 [0, b) = {Un : qn < b}. Como cada Un e
aberto e uniao de conjuntos abertos e aberto, temos que f 1 [0, b) e aberto.
Resta apenas mostrar que f 1 (a, 1] e aberto. Se x f 1 (a, 1], entao f (x) > a, o
que implica que existe qn e qm tais que a < qn < qm e x
/ Um . Mas qn < qm implica
que Un USm . Portanto temos que x
/ Un , ou seja x
X
S \ Un . Mostramos entao que
1
f (a, 1] {X \ Un : qn > a}. Suponha agora que x {X \ Un : qn > a}. Temos entao
que x
/ Un (e portanto x
/ Un ), para algum qn > a. Como Um Un se qm < qn , podemos
concluir que x
/ Um para todo qmS< qn . Logo, f (x) > a, ou seja, x f 1 (a, 1], pois qn > a.

Mostramos assim que f 1 (a, 1] = {X \ Un : qn > a} e portanto e aberto.
Note que vale a recproca do Lema de Urysohn:
o 2.91. Seja X um espaco tal que para cada par de conjuntos fechados disProposic
a
juntos A e B existe uma funcao contnua f de X em [0, 1] tal que f (A) {0} e f (B) {1}.
Entao X e um espaco T4 .
o 2.92. No enunciado acima, exigimos que f (A) {0} e f (B) {1}. Se ao

Observac
a
inves disso, tivessemos exigido f 1 (0) = A e f 1 (1) = B a condicao seria mais forte que T4 .
Iremos agora definir uma classe entre os espacos regulares e os espacos normais:
o 2.93. Dizemos que um espaco topologico X e T3 1 se para cada ponto x X
Definic
a
2
e cada fechado F nao contendo x, existe uma funcao real f , contnua, tal que f (x) = 0 e
f (F ) {1}. Se X e T1 e T3 1 dizemos que X e um espaco de Tychonoff ou e completamente
2
regular,
Como assumimos que espacos normais sao T1 , temos que os pontos sao fechados e portanto, pelo lema de Urysohn, segue que todo espaco normal e completamente regular. Temos
tambem:
E 2.66. Mostre que todo espaco completamente regular e regular.
Os proximos dois exemplos mostram que: regular 6 completamente regular 6 normal.
Exemplo 2.94. Seja M0 = {(x, y) R2 : y 0}, z0 = (0, 1) e M = M0 {z0 }. Seja
L a reta y = 0 e para cada i = 1, 2 . . . seja Li = {(x, 0) : i 1 x i}. Para cada ponto
z = (x, 0) L, definimos
A1 (z) = {(x, y) R2 : 0 y 2}
e
A2 (z) = {(x + y, y) R2 : 0 y 2}.
Se z M0 \ L, definimos por Bz o conjunto {{z}}. Se z L, definimos por Bz o conjunto
{(A1 (z) A2 (z)) \ F : F e um subconjunto finito de M0 que nao contem z }. Finalmente,
se z = z0 , entao definimos por Bz o conjunto {Ui : i = 1, 2, . . .}, onde para cada i = 1, 2, . . .,
Ui = {z0 } {(x, y) M0 : 0 y e x i}. Fica a cargo do leitor fazer a simples verificacao
de que {Bz : z M } de fato gera uma topologia Hausdorff sobre M .
Vamos agora mostrar que M e um espaco regular. Se z M0 , entao z possui uma
vizinhanca que e aberta e fechada, portanto, basta verificarmos a regularidade para z0 e um
fechado nao contendo z0 . Se F e um fechado nao contendo z0 , existe uma vizinhanca Ui0 de

AO.
31
z0 que e disjunta de F . Temos entao que existe um aberto V contendo F que e disjunta da
vizinhanca Ui0 +2 de z0 . Logo M e um espaco regular.
Para verificarmos que M nao e um espaco Tychonoff, basta mostramos que se L1 e um
fechado que nao contem o ponto z0 e f e uma funcao contnua tal que f (z) = 1 para cada
z L1 , entao f (z0 ) = 1.
Primeiro vamos mostrar que, para cada i = 1, 2, . . .,
(*) o conjunto f 1 ({1}) Li e infinito.
Este fato sera demonstrado por inducao sobre i. Claramente (*) e valido para i = 1.
Suponhamos que (*) e valido para i k, onde k 1, e mostraremos que e valido para
i = k + 1. Seja Z um conjunto infinito enumeravel de Lk tal que f (z) = 1, para cada z Z.
Analogamente ao exerccio 2.23, para cada ponto z Z, podemos mostrar que, para apenas
um n
umero enumeravel de pontos w em (A1 (z)A2 (z)), teremos f (w) 6= 1. Logo, W = {w
S
e um conjunto enumeravel. Seja L = {z Lk+1 : A1 (z) W 6= },
zZ A2 (z) : f (w) 6= 1}
isto e, o conjunto dos pontos da projecao de W na reta L que pertencem a Lk+1 . Entao L
tambem e enumeravel. Portanto Lk+1 \ L e um conjunto infinito (nao-enumeravel).
Afirmamos que Lk+1 \ L f 1 ({1}). De fato, seja z Lk+1 \ L e F um subconjunto
finito de M0 que nao contem z .
Para cada z Z, temos que A2 (z) intercepta A1 (z ) e para zs distintos o ponto na
interseccao e distinto, pontanto, para apenas um subconjunto finito Z Z, teremos que
A2 (z) F 6= . Portanto para cada z Z \ Z , existe az A2 (z) (A1 (z ) \ F ). Como
z
/ L , temos que f (az ) = 1. Portanto a imagem de toda vizinhanca de z contem o ponto
1. Logo, como o espaco e Hausdorff e f e contnua em z , temos que f (z ) = 1 (verifique!).
Com isto, temos que (*) vale para cada i = k + 1, e portanto, mostramos por inducao
que (*) vale para cada i {1, 2, . . .}. Para mostrarmos que f (z0 ) = 1 basta agora notar que
a imagem de toda vizinhanca de z0 pela f contem o ponto 1, logo segue da continuidade da
f em z0 que f (z0 ) deve ser 1.
Exemplo 2.95. O plano de Niemytzki e um espaco T3 1 que nao e normal.
2
Como na definicao do exemplo, denotaremos este espaco por L e a reta y = 0 por L1 ; e
facil ver que L e um espaco de Hausdorff.
Se x L1 denotemos por Sn (x) o crculo de raio n1 , contido em L, que e tangente à reta
L1 no ponto. Se x L \ L1 denotamos por Sn (x) a interseccao de L com o crculo de centro
x e raio n1 .
Mostremos que L e T3 1 . Seja x L e F um fechado ao qual x nao pertence; fixemos
2
n {1, 2, . . .} de modo que o crculo de centro x e raio n1 esteja contido em L no caso de x
nao pertencer a L1 . Para cada ponto y Sn (x) seja y o u
nico ponto da fronteira de Sn (x)
tal que y pertence ao segmento de extremidades x e y . Vamos definir uma funcao fn de L

em [0, 1] do seguinte modo:
0
1
fn (y) =
|xy|
|xy |
para y = x
para y L \ U1 (x)
para y U1 (x) \ {x}
onde |ab| denota o comprimento do segmento de extremidades a e b. Note que a funcao esta
bem definida. Fica a cargo do leitor verificar que a funcao e contnua.
Temos entao que fn e uma funcao contnua tal que fn (x) = 0 e fn (F ) {1}. Portanto
o espaco e Tychonoff.
32
2. ESPAC
OS TOPOLOGICOS
Vamos agora mostrar que L nao e normal. Primeiro, note que L contem um subconjunto
enumeravel denso D (por exemplo, o conjunto Q (Q]0, [)). Seja C o conjunto das
funcoes contnuas de L em R. Pela Proposicao 2.79, podemos definir uma funcao injetora
que leva cada f C na funcao f D. Contudo, existe uma bijecao do conjunto das funcoes
de D em R no conjunto dos reais. Temos assim que existe uma funcao injetora do conjunto
C no conjunto dos reais.
Pela definicao da topologia em L e facil mostrar que todo subconjunto A de L1 e um
conjunto fechado (verifique!). Vamos assumir por contradicao que L e um espaco normal.
Entao, pelo Lema de Urysohn, para cada subconjunto A de L1 existe uma funcao contnua
fA de L em [0, 1] tal que fA (A) {0} e fA (L1 \ A) {1} (pois A e L1 \ A sao fechados em
L). Note que se A 6= B, entao fA 6= fB . Logo, temos uma funcao injetora do conjunto P(L1 )
de todos os subconjunto de L1 , para o conjunto C. Como L1 = R {0}, temos uma bijecao
entre P(L1 ) e P(R). Alem disso, vimos acima que existe uma funcao injetora do conjunto
C no conjunto dos reais. Fazendo a composta dessas funcoes, podemos concluir que existe
uma funcao injetora de P(R) em R, o que e uma contradicao.
E 2.67. Seja (X, 1 ) um espaco topologico. Suponha que 2 seja outra topologia em X,
tal que 1 2 . Mostre que, se (X, 1 ) e um espaco Ti , ent
ao (X, 2 ) tambem ser
a Ti , para
i = 0, 1, 2.
E 2.68. Verifique quais axiomas de separacao o espaco topologico definido no exerccio
2.23 satisfaz.
E 2.69. Suponha X um conjunto n
ao-vazio munido da topologia coenumer
avel. Mostre
que:
(i) X e sempre T1 .
(ii) X e T2 se, e s
o se, X e um conjunto enumer
avel.
E 2.70. Consideremos a topologia sobre o conjunto dos n
umeros reais R gerada por
B = {{x} : x Q} {((x ; x + ) Q) {x} : x R \ Q, > 0}.
Mostre que este espaco topologico satisfaz T2 mas n
ao satisfaz T3 .
E 2.71. Seja X um espaco de Hausdorff. Mostre que uma sequencia {xn }nN de pontos
de X converge para, no maximo, um ponto de X.
E 2.72. Suponha X um conjunto n
ao-vazio munido da topologia coenumer
avel. Mostre
que:
(i) X e sempre T1 .
(ii) X e T2 se, e s
o se, X e um conjunto enumer
avel.
(iii) Mostre que toda sequencia de pontos de X converge para, no maximo, um ponto de
X.
8. Homeomorfismos. Fun
c
oes abertas e fechadas. Topologia mais fina.
Topologias geradas por func
oes
Comecaremos esta seccao definindo a nocao de homeomorfismo:

8. HOMEOMORFISMOS. FUNC
OES
ABERTAS E FECHADAS. TOPOLOGIA MAIS FINA. TOPOLOGIAS GERADAS P
o 2.96. Sejam hX, T i e hY, Oi dois espacos topologicos. Dizemos que uma
Definic
a
funcao bijetora f de X em Y e um homeomorfismo de hX, T i em hY, Oi se f e f 1 sao
funcoes contnuas. Dois espacos topologicos sao ditos homeomorfos quando existe um homeormorfismo entre eles.
E 2.73. Seja f uma bijecao de um espaco X no espaco Y . Verifique que s
ao equivalentes:
(i) f e um homeomorfismo.
(ii) um subconjunto A de X e aberto se e somente se f (A) e aberto.
(iii) um subconjunto B de X e fechado se e somente se f (B) e fechado.
Fica a cargo do leitor verificar que ser homeomorfo e uma relacao de equivalencia(isto e,
e uma relacao reflexiva, simetrica e transitiva).
o 2.97. Seja f uma funcao de X em Y . Entao f e uma funcao aberta se a
Definic
a
imagem de todo aberto de X pela f e um aberto de Y . Dizemos que f e uma funcao fechada
se a imagem de todo fechado de X pela f e um fechado de Y .
E 2.74. Verifique que uma funcao contnua aberta (fechada) f de X em Y e um homeomorfismo se e somente se f e bijetora.
E 2.75. Uma propriedade topologica e uma propriedade que e preservada por homeomorfismos, ou seja, se um espaco X satisfaz uma propriedade P e Y e homeomorfo a X, ent
ao
Y tambem satisfaz P . Verifique que ser Ti , para i {0, 1, 2, 3, 3 12 , 4}, e uma propriedade
topologica.
Teorema 2.98. As propriedades T1 e T4 s
ao preservadas por funcoes contnuas fechadas
e sobrejetoras.
Demonstracao: Seja X um espaco T1 e f uma funcao contnua fechada de X sobre um espaco
Y . Para mostrarmos que Y e T1 , basta mostrar que para cada y Y temos {y} fechado.
Fixe y Y . Como f e sobrejetora, existe x X tal que f (x) = y. Mas X T1 implica que o
conjunto {x} e fechado. Portanto o conjunto f ({x}) = {y} e um conjunto fechado de Y .
Seja f uma funcao contnua fechada e sobrejetora de um espaco T4 X em um espaco Y .
Sejam F e G dois conjuntos fechados disjuntos de Y . Entao f 1 (F ) e f 1 (G) sao fechados
disjuntos de X, logo por X ser T4 temos que existem abertos disjuntos U e V tais que
f 1 (F ) U e f 1 (G) V . Como f e uma funcao fechada, f (X \ U ) e f (X \ V ) sao
conjuntos fechados de Y . Portanto, Y \ f (X \ U ) e Y \ f (X \ V ) sao abertos de Y . Note que
f 1 (Y \ f (X \ U )) U (pois se x
/ U entao x X \ U e assim f (x) f (X \ U ), ou seja
f (x)
/ Y \ f (X \ U )). Analogamente, f 1 (Y \ f (X \ V )) V . Logo f 1 (Y \ f (X \ U ))
f 1 (Y \f (X \V )) U V = . Como f e sobrejetora, Y \f (X \V ) Y \f (X \U ) = . Para
conclurmos a demonstracao, resta mostrarmos que F Y \f (X \U ) e que G Y \f (X \U ).
Vamos apenas mostrar a primeira relacao, ja que a segunda e analoga a primeira. Lembramos
que f 1 (F ) U , portanto, f (X \ f 1 (F )) f (X \ U ) e F f (X \ f 1 (F )) = . Entao
F Y \ f (X \ f 1 (F )) Y \ f (X \ U ).

o 2.99. O fato acima nao e valido para os outros axiomas de separacao.
Observac
a
Veremos agora que os axiomas de separacao nao sao preservados por funcoes abertas. De
fato, existe uma funcao aberta sobrejetora de um espaco normal no espaco caotico.
Exemplo 2.100. Sejam R a reta real com a topologia usual e D = {a, b} o espaco caotico
com dois pontos. Defina f de R em D por f (x) = a, para cada x Q, e f (x) = b, para
34
2. ESPAC
OS TOPOLOGICOS
cada x R \ Q. Como D e um espaco caotico f e contnua. Por Q ser denso e co-denso,

a imagem de todo aberto de R pela f e o conjunto {a, b} que e aberto. Portanto f e uma
funcao aberta.
o 2.101. Seja X um conjunto e T e U duas topologias sobre X. Dizemos que
Definic
a
T e uma topologia mais fina que U (ou que U e uma topologia menos fina que T ) se T U,
ou seja, todo aberto em (X, U) e aberto em (X, T ).
Exemplo 2.102. A topologia de Sorgenfrey e mais fina que a topologia usual da reta.
A topologia de Niemytzki e mais fina que a topologia do semi-plano superior induzida pela
metrica usual.
A topologia discreta sobre um conjunto X e mais fina do que qualquer outra topologia
sobre X. A topologia caotica sobre um conjunto X e menos fina do que qualquer outra
topologia sobre X.
E 2.76. Mostre que se X e um espaco T1 , ent
ao a topologia de X e mais fina do que a
topologia co-finita.
verdade
E 2.77. Sejam T1 e T2 duas topologias sobre um conjunto X tais que T1 T2 . E
que se (X, T1 ) e T0 , ent
ao (X, T2 ) tambem e? Mostre ou de contra-exemplo. Verificar tambem
o que acontece com os outros axiomas de separacao.
Seja f uma funcao de um conjunto X em um conjunto Y . Se considerarmos uma topologia
em Y , podemos ter varias topologias em X que tornam a funcao f contnua. Por exemplo,
a topologia discreta em X sempre torna f contnua. Entretanto, podemos considerar a
topologia menos fina entre as topologias que tornam f contnua.
E 2.78. Sejam X um conjunto, (Y, T ) um espaco topologico e f : X Y uma funcao.
Mostre que:
(i) {f 1 (U ) : U T } e uma topologia sobre X.
(ii) Em relacao `
a topologia acima, a funcao f e contnua em X.
(iii) Se T e uma topologia sobre X tal que f : (X, T ) (Y, T ) e contnua, ent
ao a
topologia definida em (i) est
a contida em T .
o 2.103. Sejam X um conjunto, Y um espaco topologico, f : X Y uma
Definic
a
funcao e T = {f 1 (U ) : U e um aberto de Y }. A topologia T e chamada de topologia gerada
pela funcao f .
E 2.79. Seja f uma funcao contnua de X em Y . Mostre que f e fechada se, e s
o se,
f (A) = f (A), para todo A X. Mostre que f e aberta se, e s
o se, f (IntA) Intf (A),
para todo A X. Mostre, ainda, que f e aberta se, e s
o se, f 1 (B) = f 1 (B), ou,
equivalentemente, Intf 1 (B) = f 1 (IntB), para todo B Y ?
E 2.80. Seja f : R R a funcao f (x) = x2 , para x R. Mostre que f e uma funcao
fechada que n
ao e aberta.
E 2.81. Seja X um espaco topologico que satisfaz o primeiro axioma de enumerabilidade
e Y um espaco topologico. Se existe uma funcao f contnua, sobrejetora e aberta de X em
Y , ent
ao Y tambem satisfaz o primeiro axioma de enumerabilidade? Vale o mesmo resultado
para o segundo axioma de enumerabilidade?
CAPTULO 3
Operac
oes sobre espacos topol
ogicos.
Vamos ver neste captulo como definir uma topologia natural em conjuntos relacionados com suportes de espacos topologicos pre-selecionados. Por exemplo, dado um espaco
topologico (X, T ), se Y e um subconjunto de X, podemos definir uma topologia para Y que
esteja relacionada à topologia de X.
1. Subespa
cos.
No captulo 1 vimos:
o 3.1. Seja (X, T ) um espaco topologico e Y um subconjunto de X. Se O =
Definic
a
{Y U : U T }, entao dizemos que (Y, O) e subespaco topologico de X, e que O e a
topologia induzida por X.
Vimos ainda a seguinte proposicao:
o 3.2. Seja X um espaco topologico e M um subespaco de X. Um conjunto
Proposic
a
A M e fechado em M se e somente se existe um fechado F de X tal que F M = A.
M
X
Alem disso, se A e um subconjunto de M , temos que A = A M .
Estudaremos nesta secao mais alguns resultados envolvendo subespacos:
E 3.1. Seja M um subconjunto de um espaco topologico X e seja iM : M X a funcao
identidade em M , i.e., para cada x M temos iM (x) = x.
a) Mostre que se M e munido da topologia induzida por X, ent
ao iM e uma funcao
contnua.
b) Se T e a topologia em M gerada pela funcao iM , ent
ao T coincide com a topologia
induzida em M por X.
o 3.3. Dada uma funcao contnua f de X em Y e dado M um subespaco de
Definic
a
X, denotaremos por f M a funcao definida por f M (x) = f (x), para cada x M .
E 3.2. Verifique que f M e uma funcao contnua quando f e contnua.
E 3.3. Sejam X e Y dois espacos topologicos, e f : X Y , uma funcao contnua.
Considere a topologia induzida em f (X) e verifique que f : X f (X) e contnua.
E 3.4. Mostre que f : X Y e contnua se, e s
o se, para todo x X, existe V ,
vizinhanca de x, tal que f V e contnua.
E 3.5. Seja f : X Y uma funcao contnua e fechada. Mostre que para qualquer
subespaco L Y , f f 1 (L) : f 1 (L) L e fechada. Mostre que o mesmo e verdade para
funcoes abertas contnuas.
35
3. OPERAC
OES
SOBRE ESPAC
OS TOPOLOGICOS.
36
o 3.4. Seja P uma propriedade topologica. Dizemos que P e hereditaria (heDefinic

a
reditaria com respeito a subespacos fechados, abertos, etc...) se para cada espaco X, se X
satisfaz a propriedade P, entao todo subespaco (respectivamente subespaco fechado, aberto,
etc...) de X satisfaz a propriedade P.
o 3.5. As propriedades satisfazer o primeiro axioma de enumerabilidade e
Proposic
a
satisfazer o segundo axioma de enumerabilidade s
ao propriedades hereditarias.
Por outro lado, ser separavel nao e uma propriedade hereditaria.

Exemplo 3.6. O plano de Niemytzki e um espaco separavel que contem um subespaco
que nao e separavel: L1 e um subespaco discreto e nao-enumeravel do plano de Niemytzki.
o 3.7. Seja P uma propriedade topologica que nao e hereditaria. Diremos que
Definic
a
um espaco X e hereditariamente P se todo subespaco de X satisfizer P. Neste sentido,
usaremos termos como hereditariamente separavel, hereditariamente normal, etc...
Por exemplo, a reta real R e hereditariamente separavel. De fato, se X e um espaco
satisfazendo o segundo axioma de enumerabilidade, vimos acima que todo subespaco tambem
satisfaz este axioma e portanto, sao separaveis. Mostramos assim que:
o 3.8. Todo espaco que satisfaz o segundo axioma da enumerabilidade e heProposic
a
reditariamente separavel.
E 3.6. Mostre que se X e um espaco topologico separavel e Y e um subespaco aberto de
X, ent
ao Y tambem e separavel, i.e. ser separavel e hereditario para subespacos abertos.
E 3.7. Sejam Y um espaco topologico e D X Y . Suponhamos que D e denso em X
(com a topologia induzida por Y ) e que X e denso em Y . Mostre que D e denso em Y .
Vamos agora estudar como os axiomas de separacao se comportam com relacao aos
subespacos.
Teorema 3.9. Todo subespaco de um espaco Ti e, tambem, Ti , onde i = 0, 1, 2, 3, 3 21 .
Demonstracao: Seja Y um subconjunto de um espaco X. Deixamos para o leitor a demonstracao da hereditariedade de T0 e T1 . Vejamos que se X e T2 , entao Y e T2 . Dados dois
pontos distintos, x e y, de Y , temos que existem U e V , abertos de X, tais que x U , y V
e U V = . Sendo assim U Y e V Y sao dois abertos de Y , disjuntos, que separam x e
y.
Nos casos T3 e T3 1 , sejam y Y e F um fechado de Y tal que y 6 F . Vimos que
2
F Y = F = F . Portanto y nao e um elemento de F , que e fechado em X. Se X e T3 ,

X
entao existem abertos disjuntos de X que separam y e F . A interseccao desses abertos com
Y serao abertos disjuntos de Y que separam y e F . Se X e T3 1 , existe uma funcao contnua
2
f de X em [0, 1] tal que f (y) = 0 e f (F ) = {1}. Entao h = f Y e uma funcao contnua

de Y em [0, 1] tal que h(y) = 0 e h(F ) = {1}.

Se tentarmos repetir as ideias acimas para mostrar que a normalidade e hereditaria
encontraremos um problema: podem existir subespacos contendo dois fechados disjuntos
1. SUBESPAC
OS.
37
cujos fechos em X nao sao disjuntos. Isso impossibilita o uso da normalidade de X para
obter abertos disjuntos. De fato existem exemplos que mostram que a normalidade nao e
uma propriedade heriditaria, mas nao veremos esse exemplo agora. Porem e facil mostrar
que:
o 3.10. A normalidade e hereditaria com relacao a subespacos fechados.
Proposic
a
E 3.8. Para cada espaco topologico as seguintes afirmacoes s
ao equivalentes:
(i) O espaco X e hereditariamente T4 .
(ii) Todo subespaco aberto de X e T4 .
(iii) para cada par de conjuntos A, B X, tais que A B = A B = , existem abertos
U, V X tal que A U, B V e U V = .
E 3.9. Mostre que a reta de Sorgenfrey e hereditariamente normal.
E 3.10. Mostre que se d e uma metrica em X e Y X, ent
ao d Y Y e uma metrica
em Y e que a topologia induzida por d Y Y e a topologia de subespaco. Conclua que todo
espaco cuja topologia e induzida por uma metrica e hereditariamente normal.
o 3.11. Seja f : M Y uma funcao contnua, onde M e um subespaco de
Definic
a
X. Dizemos que uma funcao contnua F : X Y e uma extensao contnua de f para X
se F M = f . Quando tal extensao existe, dizemos que f pode ser estendida continuamente
a X.
Nem sempre e possivel estender uma funcao de um subespaco ao espaco todo. Quando
um espaco e normal, a funcao dada pelo Lema de Urysohn (teorema 2.90), pode ser vista
com a extensao de uma funcao definida na reuniao de dois fechados disjuntos, onde ela vale
constantemente 0 em um fechado e 1 no outro fechado.
Na verdade pode-se estender mais do que apenas tais funcoes:
Teorema 3.12. Teorema de extens
ao de Tietze-Urysohn Toda funcao contnua
definida em um subespaco fechado M de um espaco T4 X com valores em I = [0, 1] ou R
pode ser estendida continuamente a X.
Demonstracao: Vamos primeiro mostrar que e possvel estender as funcoes contnuas definidas em M com valores em J = [1, 1]. Depois aplicaremos este resultado para terminar a
demonstracao.
Precisaremos do seguinte fato:
Fato: Para cada funcao contnua f0 : M R satisfazendo |f0 (x)| c, para todo
x M , existe uma funcao contnua g : X R tal que,
(1)
|g(x)| 31 c, para cada x X e
(2)
|f0 (x) g(x)| 23 c, para cada x M .
De fato, os conjuntos A = f01 ([c, 13 c]) e B = f01 ([ 31 c, c]) sao fechados disjuntos de
M . Como M e fechado, eles sao tambem fechados em X. Aplicando o Lema de Urysohn,
temos que existe uma funcao contnua k : X R tal que k(A) = {0} e k(B) = {1}.
Vamos verificar que definindo g como g(x) = 32 c(k(x) 21 ) obteremos a funcao desejada.
Como 0 k(x) 1, teremos 21 k(x) 21 12 e portanto teremos (1).
3. OPERAC
OES
SOBRE ESPAC
OS TOPOLOGICOS.
38
So resta checar (2). Se x A, entao k(x) = 0 e portanto g(x) = 3c . Alem disso, pela
escolha de A, temos que c f0 (x) 3c . Logo, c + 3c f0 (x) g(x) 3c + 3c , ou
f0 (x) g(x) 2c
, o que implica (2). Se x B, entao k(x) = 1 e portanto
seja, 2c
3
3
c
g(x) = 3 . Pela escolha de B, temos que 3c f0 (x) c. Logo, 3c 3c f0 (x) g(x) c 3c ,
o que implica (2). Finalmente, se x X \ (A B), entao f0 (x) [ 3c , 3c ]. Portanto teremos
f0 (x) g(x) [ 2c
, 2c ], logo (2) esta satisfeita e o Fato esta demonstrado.
3 3
Seja f : M [1, 1] uma funcao contnua. Iremos agora definir, por inducao, uma
seq
uencia g1 , g2 . . . de funcoes contnuas de X em R tal que para todo i = 1, 2, . . . temos:
(3)
|gi (x)| 31 ( 32 )i1 para cada x X e
(4)
|f (x)
Pi
j=1
gj (x)| ( 23 )i para cada x M .
Para obter g1 aplicaremos o fato acima para c = 1 e para f0 = iJ f , onde iJ e a inclusao

de J em R. Assumindo que ja foram definidos
P g1 , g2 , . . . , gi , satisfazendo as condicoes acima
e aplicando o fato acima para f0 = iJ f ( ij=1 gj M ) e c = ( 32 )i , obtemos uma funcao
gi+1 satisfazendo (3) e (4), com i +P
1 ao inves de i.
Segue entao de (3) que F (x) =
cao contnua F : X J e (4)
i=1 gi (x) define uma fun
implica que F (x) = f (x) para
x M . Logo F e uma extensao de f para X. Note que
P cada
1 2 i1
(
converge para 1.
F (x) [1, 1], pois a serie
i=1 3 3 )
Vamos agora mostrar como estender uma funcao f de M em [0, 1]. Seja um homeomorfismo de I = [0, 1] em J = [1, 1]. Entao f e uma funcao contnua de M em J e,
pelo que mostramos acima, segue que existe uma funcao G : X J que estende f .
Agora, a funcao 1 G e uma funcao contnua de X em I, e para cada x M , temos que
1 G(x) = 1 f (x) = f (x). Portanto 1 G e uma extensao contnua de f em X.
Para concluirmos a demonstracao, so resta mostrar como estender uma funcao f de M
r
em R. Seja : R J definida por (r) = 1+|r|
, e e um homeomorfismo de R em (1, 1).
Entao f e uma funcao contnua de M em J. Logo, aplicando o caso que acabamos de
mostrar, existe uma funcao contnua G1 de X em J que estende f . Como G1 e contnua,
o conjunto L = G1
e um fechado em X. Alem disso L e disjunto de M , pois
1 ({1, 1})
(R) = (1, 1) e G1 estende f . Aplicando o Lema de Urysohn, temos que existe uma
funcao contnua k : X I tal que M k 1 ({1}) e L k 1 ({0}). Seja G2 : X (1, 1)
tal que G2 (x) = G1 (x) k(x), para cada x X. Vamos checar agora que a funcao contnua
1 G2 e uma extensao de f . De fato, se x M , 1 G2 (x) = 1 (G1 (x).k(x)) = 1 G1 (x) =
1 f (x) = f (x).

E 3.11. Seja : R (1, 1) a funcao definida por (r) =
homeomorfismo.
r
.
1+|r|
Mostre que e um
Vimos um teorema de existencia relacionado à extensao. Veremos agora um teorema de

unicidade:
Teorema 3.13. Seja D um subespaco denso de X e f uma funcao contnua de D num
espaco Hausdorff Y . Entao se f pode ser estendida a X, a extensao e u
nica.
Demonstracao: Suponhamos que F1 e F2 sao duas extensoes de f para X. Pela proposicao
2.79, F1 = F2 .

O argumento para mostrar o proximo corolario e similar ao que foi utilizado para mostrar
que o plano de Niemytzki nao e normal:
2. PRODUTOS CARTESIANOS
39
rio 3.14. Nenhum espaco normal separavel contem um subconjunto fechado e

Corola
discreto que admita uma bijecao sobre os reais.
2. Produtos Cartesianos
Sejam X1 e X2 dois conjuntos. Lembramos que X1 X2 e o conjunto de todos os pares
ordenados (x1 , x2 ) tais que x1 X1 e x2 X2 .
E 3.12. Decida quais das igualdades abaixo s
ao verdadeiras. Prove as verdadeiras, corrija
as falsas e prove as vers
oes corrigidas. Sejam A, B, C, D X, onde X e um conjunto:
(i) (A B) (C D) = (A C) (B D).
(ii) (A B) (C D) = (A C) (B D).
(iii) (A B) \ (C D) = (A \ C) (B \ D).
Dadas topologias para X1 e X2 , queremos dar uma topologia ao produto cartesiano
natural esperar que tal topologia faca com que X1 {x2 } seja homeomorfo a
X1 X2 . E
X1 , para cada x2 X2 , e que {x1 } X2 seja homeomorfo a X2 para cada x1 X1 .
o 3.15. Vamos chamar de topologia produto em X1 X2 à topologia gerada
Definic
a
pela base {U1 U2 : Ui aberto em Xi , i = 1, 2}.
E 3.13. Verifique que a famlia acima gera, de fato, uma topologia em X1 X2 .
E 3.14. Sejam X e Y dois espacos topologicos. Sejam A X e B Y subespacos.
Mostre que a topologia produto em A B coincide com a topologia de subespaco induzida
por X Y .
E 3.15. Sejam B1 e B2 bases para os espacos X1 e X2 , respectivamente. Mostre que
{U1 U2 : Ui Bi , i = 1, 2} e uma base para a topologia produto de X1 X2 .
E 3.16. Sejam F1 e F2 fechados dos espacos X1 e X2 , respectivamente. Mostre que F1 F2
e fechado.
E 3.17. Sejam A1 X1 e A2 X2 , onde X1 e X2 s
ao espacos topologicos. Mostre que
A1 A2 = A1 A2 .
importante observar que nem todos os abertos ou fechados de
o 3.16. E
Observac
a
X1 X2 podem ser escritos como produto de dois abertos ou fechados dos espacos X1 e X2 .
Exemplo 3.17. Em R2 , a metrica usual e dada por
p
d((x, y), (x , y )) = |x x |2 + |y y |2 .
Vamos ver que a topologia gerada por esta metrica coincide com a topologia produto de R2 ,
onde R e a reta real com a metrica usual que denotaremos aqui por e.
Seja W um conjunto aberto na topologia produto e seja (x1 , x2 ) um ponto arbitrario de
W . Entao existem U1 e U2 abertos em R tais que (x1 , x2 ) U1 U2 W . Para cada
i {1, 2}, como Ui e aberto em R, existe i > 0 tal que Be (xi , i ) Ui . Seja > 0 tal que
para cada i {1, 2} temos i . Note que, para mostrarmos que a topologia produto e
menos fina que a topologia usual em R2 , basta mostrarmos agora que Bd ((x1 , x2 ), ) W .
Seja (y1 , y2 ) Bd ((x1 , x2 ), ). Entao para cada i {1, 2} temos e(xi , yi )2 = |xi yi |2
|x1 y1 |2 + |x2 y2 |2 < 2 2i , portanto para cada i {1, 2}, temos que yi Be (xi , i ) Ui .
Portanto Bd ((x1 , x2 ), ) U1 U2 W .
40
3. OPERAC
OES
SOBRE ESPAC
OS TOPOLOGICOS.
Vamos agora mostrar que a topologia produto e mais fina que a topologia usual de R2 .
Seja W um aberto da topologia usual do R2 e seja (x1 , x2 ) W . Entao existe um > 0
tal que Bd ((x1 , x2 ), ) W . Seja > 0 tal que 2 2 2 . Entao Be (x1 , ) Be (x2 , ) e
uma vizinhanca aberta de (x1 , x2 ) na topologia produto. Para terminarmos agora, basta
mostrarmos que Be (x1 , ) Be (x2 , ) W .
Seja (y1 , y2 ) Be (x1 , ) Be (x2 , ). Entao d((x1 , x2 ), (y1 , y2 ))2 = |x1 y1 |2 + |x2
2
y2 | e(x1 , y1 )2 + e(x2 , y2 )2 < 2 + 2 2 . Portanto temos que (y1 , y2 ) Bd ((x1 , x2 ), ) W .
E 3.18. Seja X um espaco topologico e defina por = {(x, x) : x X} a diagonal de
X X. Mostre que:
(a) X e T2 se e somente se e um subconjunto fechado de X X.
(b) X e T1 se e somente se pode ser escrita como interseccao de uma famlia de abertos
de X X.
(c) e aberto se e somente se X e um espaco discreto.
O leitor pode notar que os espacos topologicos X1 X2 e X2 X1 sao homeomorfos. Segue
naturalmente a definicao da topologia produto em um produto finito Q
de espacos topologicos.
Primeiro, lembramos que dados conjuntos X1 , . . . , Xn definimos por ni=1 Xi o conjunto das
sequencias {xi }ni=1 tal que para cada i {1, . . . , n} temos xi Xi .
Q
o 3.18. Sejam X1 , . . . , Xn espacos topologicos. A topologia produto em ni=1 Xi
Definic
a
Qn
e a topologia gerada Q
pela base B = { i=1 Ui : Ui e aberto em Xi }. A base B sera chamada
de base canonica de ni=1 Xi e seus elementos sao chamados de abertos basicos.
o 3.19. De fato B satisfaz as propriedades (1) e (2) da proposicao 2.34 e

Observac
a
Q
por isso, podemosQ
gerar umaQtopologiaQa partir dela. Note que ni=1 Xi B implica que B
satisfaz (2) e que ni=1 Ui ni=1 Vi = ni=1 (Ui Vi ) implica que (1) esta satisfeita.
E 3.19. Mostre que a topologia produto de p
nP
copias de R coincide com a topologia usual
n
2
do Rn dada pela metrica d({xi }ni=1 , {yi }ni=1 ) =
i=1 |xi yi | .
E 3.20. Sejam X um conjunto e {Yi : i I} uma famlia de espacos topologicos. Seja

{fi : i I} uma famlia de funcoes tal que fi : X Yi , para cada i. Defina B =
{fi1
(Ui1 ) . . . fi1
(Uik ) : i1 , . . . , ik I, k = 1, 2, 3, . . . e Uis e aberto de Yis }. A topologia
1
k
gerada pela base B e chamada de topologia gerada pela famlia de funcoes {fi : i I}.
Verifique que B satisfaz as propriedades (1) e (2) da proposicao 2.34 e que a topologia gerada
por B e a topologia menos fina tal que as funcoes fi , i I, s
ao todas contnuas.
Qn
Qn
E 3.21. Seja i=1 Xi o produto dos espacos X1 , . . . , Xn . Por j :
Xj
i=1 Xi Q
n
denotamos a funcao definida por j ({xi }i=1 }) = xj , a qual chamamos de projecao de ni=1 Xi
na j-esima coordenada.
a) Verifique que cada j e uma funcao contnua.
Q
b) Verifique que a topologia gerada no conjunto ni=1 Xi pela famlia {j : j {1, . . . , n}}
coincide com a topologia produto (i.e., a topologia produto e a topologia menos fina que torna
as projecoes contnuas).
Antes de chegarmos ao produto infinito de espacos, relembremos o produto de dois espacos. Dados dois espacos topologicos, X1 e X2 , definimos uma topologia em X1 X2 . O
conjunto X1 X2 , nada mais e do que o conjunto dos pares ordenados onde sua primeira
coordenada esta em X1 e sua segunda coordenada esta em X2 . Uma outra maneira de ver
41
um par ordenado e considera-lo como uma funcao. De fato, podemos pensar no par (x1 , x2 )
como uma funcao de {1, 2} em X1 X2 que manda 1 em x1 e 2 em x2 . Se usarmos simbologia matematica, (x1 , x2 ) : {1, 2} X1 X2 tal que (x1 , x2 )(1) = x1 e (x1 , x2 )(2) = x2 .
Sendo assim, poderamos definir:
X1 X2 = {x : {1, 2} X1 X2 : x(1) X1 , x(2) X2 }.
Se chamassemos {1, 2} de conjuntos de ndices para X1 X2 , estaramos definindo X1 X2
como o conjunto de todas as funcoes do conjunto de ndices na uniao dos fatores, tais que
x(i) Xi , para cada i no conjunto de ndices. Esperamos, com esta discussao, justificar a
definicao de produto cartesiano de uma famlia qualquer.
o 3.20. Dados um conjunto S e uma famlia {Xs : s S}, definimos o produto
Definic
a
Q
cartesiano de {Xs : s S}, denotado por sS Xs , como
(
)
Y
[
Xs = x : S
Xs : x(s) Xs , para cada s S .
sS
sS
O valor x(s) da funcao x e usualmente denotado por xs e chamado de s-esima coordenada

de x. Ainda, muita vezes escreveremos
x = {x
}sS , ou ate, x = {xs }. Quando S for
Q
Qs
enumeravel, poderemos escrever sS Xs como s=0 Xs e a (x0 , x1 , x2 , ...) sera {xs }sS .
Q
o 3.21. Dado t S, a funcao t :
Definic
a
e
sS Xs Xt tal que t (f ) = f (t)
Q
chamada de projecao de sS Xs na coordenada t.
Seja {Xs : s S} uma
Q famlia de espacos topologicos. Vamos agora discutir duas
topologias naturais sobre sS Xs .
Olhando a definicao da topologia produto quando se tem uma famlia finita de espa
c
os
Q topologicos, talvez a primeira ideia que ocorre e tomar a topologia gerada pela base
{ sS Us : Us e aberto em Xs para todo s S}. Se tomarmos essa topologia, as projecoes
serao contnuas, mas esta nao e a topologia menos fina que torna as projecoes contnuas.
Portanto, uma segunda ideia que ocorre e utilizar-se das projecoes e Q
tomar a topologia gerada pela famlia {s : s S} ou seja, a topologia gerada pela base { sS Us : Us e aberto
em Xs , para todo s S e {s S : Us 6= Xs } e finito }.
Chegamos assim às seguintes definicoes:
o 3.22. Seja FQ= {Xs : s S} uma famlia de espacos topologicos. A

Definic
a
topologia gerada pela base { sS Us : Us e aberto em Xs para todo s S} e o produto
caixa (box-product em ingles) da famlia F. Este espaco topologico e geralmente denotado
por 2sS Xs .
o 3.23. Seja F = {Xs : s S} uma famlia de espacos topologicos. Dizemos
Definic
a
que a topologia gerada pela base
Y
{ Us : Us e aberto em Xs , para todo s S e {s S : Us 6= Xs } e finito }
sS
Q
e o produto de Tychonoff da famlia F. Este espaco topologico e geralmente denotado por
sS Xs .
O exerccio abaixo exemplifica como as topologias se comportam diferentemente.
42
3. OPERAC
OES
SOBRE ESPAC
OS TOPOLOGICOS.
E 3.22. Seja {Xn : n = 1, 2, ...} uma famlia enumer

avel onde cada
Q Xn = R com a
1 1
topologia usual. Considere a sequencia {( n , n , ....) : n = 1, 2, ...} em i=1 Xi . Certamente
gostaramos que ela convergisse para (0, 0, ...). Mas se um produto de abertos e aberto do
espaco produto, teremos que essa sequencia n
ao convergira. Para cada n = 1, 2, ..., seja
Un =] n1 , n1 [.
Q
a em
(1) Mostre que a sequencia {( n1 , n1 , ....) : n = 1, 2, ...} nunca est
n=1 Un . Sendo
1 1
assim, se este conjunto fosse um aberto do produto, {( n , n , ....) : n = 1, 2, ...} n
ao convergiria.
Note que de modo geral, se usamos a topologia caixa, nenhuma sequencia n
ao-trivial (isto e,
n
ao constante) converge neste espaco.
Q
(2) Mostre que {( n1 , n1 , ....) : n = 1, 2, ...} converge para (0, 0, ...) quando
n=1 Xn tem a
topologia do produto de Tychonoff.
Iremos trabalhar apenas com o produto de Tychonoff, dado que as aplicacoes do produto
caixa estao alem do nvel deste curso. Os abertos da base utilizada na definicao do produto
de Tychonoff sao chamados de abertos basicos e a base e chamada de base canonica. Neste
texto, espaco produto ira sempre se referir ao produto de Tychonoff.
o 3.24. O produto caixa surgiu antes do produto de Tychonoff, mas por
Observac
a
causa de alguns resultados envolvendo o produto de Tychonoff, este segundo produto e o
mais conhecido. Entretanto, exemplos de espacos topologicos surgidos na decada de 70
mostram que o produto caixa possui varias aplicacoes importantes na area.
E 3.23. As projecoes s
ao funcoes abertas
Em geral, as projecoes nao sao funcoes fechadas:
Exemplo 3.25. Seja : R2 R a projecao do R2 no eixo x. Note que o conjunto
F = {(x, y) R2 : xy = 1} e um conjunto fechado. Porem a projecao de F no eixo x e o
conjunto R \ {0} que nao e fechado. Portanto nao e uma funcao fechada.
o 3.26. Seja {Xs }sS uma famlia de espacos topologicos e As um subespaco

Proposic
a
Q
de Xs para cada s S. Entao a topologia sobre o conjunto A = sS As dado pela topologia produto da famlia {As }sS coincide com a topologia induzida pelo produto da famlia
{Xs }sS .
Demonstracao: Sem perda de generalidade, podemos assumir que cada As e um conjunto nao
vazio. A restricao das projecoes s à A sao contnuas no subespaco A. Portanto, a topologia
de subespaco e mais fina que
Q a topologia produto em A. Por outro lado, a interseccao dos
abertos basicos do espaco sS Xs com A e um aberto basico da topologia produto sobre
A. Logo a topologia produto e mais fina que a topologia induzida. Segue entao que as duas
topologias coincidem.

o 3.27. Para cada famliaQde conjuntos {As }sS , onde As e um subconjunto
Proposic
a
de um espaco topologico Xs , no produto sS Xs , temos
Y
Y
As =
As .
sS
sS
Q
Q
As se e somente
Demonstracao:QTemos que x = {xs }sS sS Q
Q se sS
QAs intercepta todo
aberto basico sS Ws contendo x. Portanto, sS Ws sS As = sS (Ws As ) 6= .
Logo, para cada s S, temos que Ws As 6= , onde Ws e uma vizinhanca de xs . Mas isto
43
Q
vale se e somente se para cada s S temos que xs As . Portanto x sS As se e somente
Q
se x sS As .

Q
Q
rio 3.28. O conjunto A = sS As , onde cada As 6= , e fechado em sS Xs
Corola
se, e somente se, As e fechado em Xs , para cada s S.
rio 3.29. Seja {Xs }sS uma famlia de espa

Corola
ao-vazios
e para
Q cos topologicos n
Q
cada s S, seja As um subconjunto de Xs . Entao sS As e denso em sS Xs se e
somente se para cada s S temos que As e denso em Xs .
o 3.30. Uma funcao f de um espaco topologico X no produto
Proposic
a
contnua se e somente se s f e contnua para cada s S.

Q
sS
Xs e
Demonstracao: Para mostrarmos isto, basta utilizar o fato que a topologia do produto
cartesiano coincide com a topologia gerada pelas funcoes {s : s S}. Uma das equivalencias
segue direto do fato da composicao de funcoes contnuas ser contnua. Por outro lado,
para cada s1 , . . . , sk S, e para cada aberto Q
Usi de Xsi , onde i {1, . . . , k}, temos que
k
1
1
1
k
1
1
i=1 f (si (Usi )) = f (i=1 si (Usi )) = f ( sS Ws ) e um conjunto aberto, onde Ws =
Usi , se s = si para algum i {1, . . . , k}, e Ws = Xs caso contrario.

o 3.31. O produto cartesiano
Proposic
a
e associativo, isto e, se {Xs : s S} e uma
S
famliaQde espacosQtopol
o
gicos
e
S
=
S
,
ao dois a dois disjuntos,
tT t onde {St : t T } s
Q
ent
ao sS Xs e tT ( sSt Xs ) s
ao homeomorfos.
o 3.32. Sejam {Xs : s S} e {Yt : t T } duas famlias de espacos

Proposic
a
topol
o
gicos
e
: S T uma bije
cao tal que Xs e homeomorfo a Y(s) . Entao o produto
Q
Q
e homeomorfo ao produto tT Yt .
sS Xs
o 3.33. Quando Xs = X, para todo s S, iremos denotar o espaco produto

Observac
a
por X S . Note que, pela proposicao acima, X N e (X N )N sao homeomorfos.
rio 3.34. O produto de Tychonoff e comutativo, isto e se {Xs : s S} e
Corola
uma famlia de espacos topol
ao
Q
Q ogicos e e uma permutacao de S (bijecao de S em S), ent
X
e
homeomorfo
a
X
.
s
(s)
sS
sS
E 3.24. Seja {Xs : s S} uma famlia de espacos topologicos TQ

ao vazios. Mostre
1 e n
que, para todo s S, Xs e homeomorfo a um subespaco fechado de sS Xs .
E 3.25. T
Seja X um espaco topologico Hausdorff e F uma famlia de subespacos de X.
Entao Y = {UQ: U F} com a topologia induzida por X, e homeomorfo a um subespaco
fechado de Z = {U : U F}.
Estudaremos agora a preservacao dos axiomas de separacao com relacao ao produto.
Teorema 3.35. O produto de Tychonoff de uma famlia Ti e Ti para cada i 3 21 .
44
3. OPERAC
OES
SOBRE ESPAC
OS TOPOLOGICOS.
Demonstracao: Faremos apenas o caso em que a famlia e T3 1 ; os outros casos ficam como
2
exerccio. Seja x = {xs }sS
Q um ponto do produto e F um fechado que nao contem x. Entao
existe um aberto basico sS Ws que contem x e e disjunto de F . Seja S = {s S : Ws 6=
Xs }. Lembramos que S e finito. Para cada s S , existe uma fun
cao fs : Xs [0, 1]
Q
tal que fs (xs ) = 0 e fs (Xs \ Ws ) = 1. Para cada y = {ys }sS sS Xs , seja f (y) =
max{fs (ys ) : s S }. Claramente f e uma funcao contnua (verifique). Seja S a projecao
de S no subproduto S . Entao f S e uma funcao contnua que satisfaz as propriedades
desejadas.

Normalidade nao e preservada pelo produto finito:
Exemplo 3.36. A reta RS de Sorgenfrey e normal, mas RS RS nao e normal. De fato,
note que {(x, x) : x RS } e um conjunto fechado de RS RS e todo ponto da forma
(x, x) possui uma vizinhanca aberta em RS RS que nao contem nenhum outro ponto
da forma (y, y). Logo, fazendo um argumento analogo ao que fizemos para mostrar que o
plano de Niemytzki nao e normal, podemos mostrar que RS RS nao pode ser normal.
ao vazios e suponha que
Q E 3.26. Seja {Xs : s X} uma famlia de espacos topologicos n
e Ti , para i 4. Entao, Xs e tambem Ti .
sX Xs
As seguintes definicoes serao usadas mais a frente.
o 3.37. Sejam {Xs : s S} e {Ys : s S} duas famlias de espacos toDefinic

a
pol
para cada s QS, seja fs : Xs Ys uma funcao contnua. QDefinimos por
Q ogicos eQ
cao tal que para cada {xs }sS sS Xs temos
sS Xs
sS Ys a fun
QsS fs :
f
({x
}
)
=
{f
(x
)}
.
Chamamos
esta funcao de produto das funcoes {fs : s
s sS
s s sS
sS s
S}.
E 3.27. Mostre que a funcao produto definida acima e contnua.
o 3.38. Seja X um espaco topologico, {Ys : s S} uma famlia de espacos
Definic
a
topologicos e para Q
cada s S seja fs : X Ys uma funcao contnua. Definimos por
sS fs : X sS Ys a funcao tal que para cada x X, sS fs (x) = {fs (x)}sS .
Chamamos esta funcao de funcao diagonal.
E 3.28. Mostre que a funcao diagonal definida acima e sempre contnua.
Vamos agora discutir o que acontece com os axiomas de enumerabilidade quando tomamos o produto. Nenhum dos axiomas de enumerabilidade vai ser preservado para produtos
quaisquer. Entretanto temos:
o 3.39. O produto de uma famlia enumer
Proposic
a
avel de espacos topologicos que satisfazem o primeiro (respectivamente segundo, terceiro) axioma de enumerabilidade, tambem
satisfaz o primeiro (resp. segundo, terceiro) axioma de enumerabilidade.
Mas se tomarmos produtos nao enumeraveis temos:

o 3.40. O produto de Tychonoff n
Proposic
a
ao enumer
avel de espacos topologicos (com
mais de um aberto n
ao-trivial) com mais de um ponto n
ao satisfaz o primeiro (e portanto o
segundo) axioma de enumerabilidade.
45
Com relacao a separabilidade, temos um pouco mais de preservacao:

Teorema 3.41. Teorema de Hewitt-Marczewski-Pondiczery
Seja I o conjunto dos
Q
reais e {Xi : i I} uma famlia de espacos separaveis. Entao iI Xi e separavel.
Demonstracao: Para cada i I, sejaQ

Di um subconjuntoQenumeravel denso de Xi . Entao
Q
e um subconjunto denso de iI Xi . Q
Note que iI Di e, nos casos nao triviais,
iI Di
um produto nao enumeravel. Mostraremos queQ iI Di contem um subconjunto enumeravel
denso, o que pelo exerccio 3.7, implica que iI Xi possui um subconjunto enumeravel
denso.
Seja N o conjunto dos n
umeros naturais com a topologia discreta. Para cada i I, seja
fi : N Di uma funcao sobrejetora. Como NQ
e discreto,
fi e contnua, para
Q a funcao Q
cada i I. Consideremos agora a funcao produto iI fi : iI N iI Di . Entao esta
funcao e sobrejetora
o separavel e separavel, para
Q e contnua. Como a imagem de um espacQ
mostrarmos que iI Di e separavel, e suficiente mostrar que iI N e separavel.
Denotaremos por E a colecao de todas as famlias finitas de intervalos dois a dois disjuntos
{]a1 , b1 [, . . . , ]an , bn [}, onde os ai s e bi s sao todos racionais. Note que E e enumeravel. Para
cada {]a1 , b1 [, . . . , ]an , bn [} E e cada k1 , . . . , kn N, iremos fixar a funcao f : I N tal
que

kj se i ]a
Snj , bj [
f (i) =
0 se i
/ j=1 ]aj , bj [
Como os intervalos da famlia {]a1 , b1 [, . . . , ]an , bn [} sao dois a dois disjuntos, f esta bem
definida.
Seja F o conjunto de todas as funcoes f obtidas como acima. Note que F e enumeravel,
pois E e enumeravel e o conjunto de todos os subconjuntos finitos de N tamb
Qem e enumeravel.
Para concluirmos a demonstracao, e suficiente mostrar que F e denso
em
iI N.
Q
Q Para isto,
e suficiente mostrar que F intercepta cada aberto basico nao-vazio iI Wi de iI N. Seja
I = {i I : Wi 6= N}. Como I e um subconjunto finito de reais, podemos escrever I como
I = {i1 , . . . , in } e encontrar {]a1 , b1 [, . . . , ]an , bn [} E tal que para cada j = 1, . . . , n, temos
ij ]aj , bj [. Para cada j = 1, . . . , n, fixemos kj Wij . Claramente
a funcao f F associada
Q
aQ{]a1 , b1 [, . . . , ]an , bn [} e a k1 , . . . , kn e um elemento de iI Wi , portanto F e denso em
cao.

iI N, o que conclui a demonstra
o 3.42. Sejam X e Y espacos topologicos. Dizemos que uma funcao contnua f

Definic
a
de X em Y e uma imersao de X em Y se a funcao g : X f (X) definida por f (x) = g(x),
para cada x X e um homeomorfismo. Neste caso, dizemos que f e um homeomorfismo
sobre f (X) e que X pode ser imerso em Y .
Na definicao acima colocamos a funcao como g apenas para melhor ilustrar que estamos
mudando de contra-domnio. De agora em diante, iremos denotar a funcao tambem por f .
Note que se X e um subconjunto de Y entao a funcao iX : X Y com iX (x) = x,
e uma imersao contnua. Temos tambem que existe uma imersao contnua de Z em Y se
e somente se existe um subespaco de Y que e homeomorfo a Z. Logo, do ponto de vista
topologico, se existe uma imersao contnua de Z em Y , entao Z pode ser considerado como
um subespaco de Y .
46
3. OPERAC
OES
SOBRE ESPAC
OS TOPOLOGICOS.
Exemplo 3.43. Seja X o conjunto dos naturais estritamente positivos munido da topologia discreta. Entao f : X R tal que f (n) = n e uma imersao contnua fechada e
h : X R tal que h(n) = n1 e uma imersao contnua que nao e fechada.
x
e um homeomorfismo da reta real R em ] 1, 1[
Exemplo 3.44. A funcao f (x) = 1+|x|
com a topologia usual. Portanto, a reta R pode ser imersa no intervalo fechado [1, 1].
E 3.29. Verifique que a composicao de duas imersoes contnuas e uma imersao contnua.
Verifique que uma imersao contnua e uma funcao aberta (fechada) se e somente se f (X) e
um conjunto aberto (fechado).
o 3.45. Seja X um espaco topologico. Seja F = {fs : s S} uma famlia de
Definic
a
funcoes contnuas, onde para cada s S, temos fs : X Ys , Ys um espaco topologico.
Dizemos que F separa pontos de X se para cada x, y X distintos, existe s S tal que
fs (x) 6= fs (y). Dizemos que F separa pontos de fechados de X se para cada x X e cada
Ys
fechado F de X tal que x
/ F , existe s S tal que fs (x)
/ fs (F ) .
o 3.46. Note que se X e um espaco T1 e F e uma famlia que separa pontos
Observac
a
de fechados de X, entao F separa pontos de X.
Teorema 3.47. Teorema de imers
ao Seja F = {fs : s S} uma famlia de Q
funcoes
contnuas, fs : X Ys , que separa pontos. Entao a funcao f = sS fs : X sS Ys
e injetora. Se alem disso, F separa pontos de fechados, ent
ao f e uma imersao.
Demonstracao: Sejam x e y dois pontos distintos de X. Se F separa pontos, entao existe

t S tal que ft (x) 6= ft (y). Portanto, f (x) = {fs (x)}sS 6= {fs (y)}sS = f (y) e f e injetora.
Suponhamos agora que F separa pontos de fechados. Como f e injetora e contnua, e
suficiente mostrarmos que para cada fechado F de X, temos que f (F ) e fechado em f (X),
ou seja, basta mostramos que f (F ) f (X) = f (F ). Seja z = {zs }sS f (F ) f (X). Como
z f (X), existe x X tal que f (x) = z. Mostraremos que x F e portanto teremos que
z = f (x) f (F ).
Por contradicao, se x
/ F , entao, como F separa pontos de fechados, existe t S tal
Q
Q
Yt
/ sS fs (F ) = sS fs (F ). Note que f (F )
que ft (x)
/ f (F ) . Portanto z = f (x)
Q
Q
ao que z
/ f (F ), contradicao. Logo,
sS fs (F ). Portanto, f (F )
sS fs (F ) e segue ent
z f (F ). Como z era um ponto arbitrario de f (F ) f (X), temos que f (F ) contem seu
fecho em f (X) e portanto e fechado em f (X).

Veremos agora duas aplicacoes importantes do Teorema de Imersao. O proximo teorema
mostra que ser completamente regular e equivalente ao espaco poder ser imerso em algum
produto de copias de [0, 1] com a topologia usual:
Teorema 3.48. Um espaco topologico X e completamente regular se e somente se existe
um conjunto de ndices S e uma imersao de X em [0, 1]S .
Demonstracao: Seja C o conjunto de todas as funcoes contnuas de X em [0, 1]. Como X

e completamente regular, temos que C separa pontos de fechados e como X e T1 , C separa
pontos. Portanto, pelo teorema 3.47, a funcao diagonal f C f : X [0, 1]C e uma imersao.
Reciprocamente, se X pode ser imerso em [0, 1]S , entao X e homeomorfo a um subespaco
de [0, 1]S . Como ser completamente regular e uma propriedade topologica, basta agora usar o

3. ESPAC
OS QUOCIENTES E FUNC
OES
QUOCIENTES
47
fato de que [0, 1] e completamente regular e que a propriedade de ser completamente regular
e perservada por produtos e subespacos.

Para a outra aplicacao do Teorema de Imersao precisaremos da seguinte definicao:
o 3.49. Dizemos que um espaco topologico X e um espaco zero-dimensional,
Definic
a
se X possui uma base B tal que cada elemento de B e um conjunto aberto-fechado.
E 3.30. Mostre que os racionais e os irracionais s
ao espacos zero-dimensionais com a
topologia induzida pela topologia usual dos reais.
ao
Q E 3.31. Verifique que se {Xs : s S} e uma famlia de espacos zero-dimensionais, ent
e zero-dimensional. Verifique que um subespaco de um espaco zero-dimensional e
sS Xs
zero-dimensional.
Vamos ver agora que a partir dos espacos discretos, produtos e subespacos, podemos obter, a menos de homeomorfismo, todos os espacos zero-dimensionais. Primeiro, precisaremos
da seguinte definicao:
o 3.50. Seja D = {0, 1} com a topologia discreta. Chamamos de cubo de
Definic
a
Cantor a um produto DS , onde S e um conjunto de ndices.
Teorema 3.51. Seja X um espaco zero-dimensional T1 e B uma base de conjuntos
aberto-fechados de X. Entao X pode ser imerso no cubo de Cantor DB .
Demonstracao: Se x X e F e um fechado que nao contem x, entao existe um abertofechado U tal que x U X \ F . Seja fU : X {0, 1}, onde {0, 1} e discreto, tal que
fU (U ) = 0 e fU (X \ U ) = 1. Como U e X \ U sao abertos, a funcao fU e uma contnua.
Segue entao que {fU : U B} separa pontos de fechados de X e portanto pelo teorema
3.47, X pode ser imerso em DB .

Note que na demonstracao acima mostramos tambem que todo espaco zero-dimensional
e completamente regular.
3. Espa
cos quocientes e func
oes quocientes
Primeiro, lembramos a seguinte definicao:
o 3.52. Se X e um conjunto e E e um subconjunto de X X, dizemos que E
Definic
a
e uma relacao de equivalencia se:
(a) (x, y) E implica (y, x) E,
(b) para cada x X, temos (x, x) E e
(c) (x, y), (y, z) E implica (x, z) E.
Para cada x X, denotaremos por [x] a classe de equivalencia de x, que e o conjunto
{y X : (x, y) E} = {y X : (y, x) E}, e por X/E o conjunto de todas as classes de
equivalencia.
o 3.53. Suponhamos que X e um conjunto e E e uma relacao de equivalencia
Definic
a
sobre X. Entao q : X X/E e a funcao quociente natural, ou simplesmente funcao
natural de X pela relacao E se para cada x X temos q(x) = [x].
48
3. OPERAC
OES
SOBRE ESPAC
OS TOPOLOGICOS.
Se X e um espaco topologico, podemos tentar dar a X/E uma topologia que torne q
contnua. Pode haver mais de uma topologia para isto. Veremos que existe uma topologia
mais fina entre as que tornam q contnua.
o 3.54. Seja X um espaco topologico e E uma relacao de equivalencia. Seja
Definic
a
q a funcao quociente de X pela relacao E. Chamamos de topologia quociente a topologia
T = {U X/E : q 1 (U ) aberto em X} e X/E com esta topologia e chamado de espaco
quociente.
E 3.32. Verifique que T e de fato uma topologia e mostre que T e a topologia mais fina
que torna q contnua.
o 3.55. Um conjunto A X/E e fechado em X/E se e somente se q 1 (A)
Proposic
a
e fechado em X.
Demonstracao: Um conjunto A e fechado em X/E se e somente se (X/E) \ A e aberto em
X/E. Mas isso acontece se e somente se q 1 ((X/E) \ A) = X \ q 1 (A) e aberto em X, ou
seja, q 1 (A) e fechado em X.

o 3.56. Uma funcao f do espaco quociente X/E em Y e contnua se e soProposic
a
mente se f q : X Y e contnua.
Demonstracao: Se f e uma funcao contnua, entao f q e uma composicao de funcoes contnuas
e portanto e contnua. Reciprocamente, se f q e contnua, seja U um aberto em Y . Entao
(f q)1 (U ) = q 1 (f 1 (U )) e um conjunto aberto de X, logo pela definicao da topologia
quociente, f 1 (U ) e aberto em X/E.

Dada uma funcao contnua sobrejetora de um espaco X num espaco Y , podemos considerar a relacao de equivalencia E(f ), onde (x, y) E(f ) se e somente se f (x) = f (y).
Claramente, as classes de equivalencia serao as fibras dos pontos de Y , isto e, os conjuntos
f 1 (y), onde y Y .
Podemos definir uma funcao f : X/E Y por f ([x]) = f (x). Como [x] = f 1 (f (x)),
claramente f esta bem definida. Pela proposicao acima, f e contnua, pois f q = f e contnua.
Claramente f e uma bijecao, mas nem sempre f e um homeomorfismo.
Estudaremos agora as funcoes f tais que f e homeomorfismo. Para funcoes contnuas
sobrejetoras, esta propriedade generaliza funcoes abertas ou fechadas.
o 3.57. Dizemos que uma funcao contnua sobrejetora f : X Y e uma
Definic
a
funcao quociente se ela e a composicao de uma funcao natural e um homeomorfismo, isto e,
existe uma relacao de equivalencia E e um homeomorfismo f : X/E Y tal que f = f q,
onde q : X X/E e a funcao natural.
o 3.58. Para uma funcao contnua sobrejetora f de X em Y as seguintes
Proposic
a
afirmacoes s
ao equivalentes:
(i) A funcao f e quociente.
(ii) O conjunto f 1 (U ) e aberto em X se e somente se U e aberto em Y
(iii) O conjunto f 1 (F ) e fechado em X se e somente se F e fechado em Y .
(iv) A funcao f : X/E(f ) Y e um homeomorfismo.
Demonstracao: (i) (ii). Suponhamos que f e uma funcao quociente. Entao existe uma
relacao de equivalencia E tal que f q = f , onde f : X/E Y e um homeomorfismo

3. ESPAC
OS QUOCIENTES E FUNC
OES
QUOCIENTES
49
e q : X X/E e a funcao natural. Pela definicao de topologia quociente, f 1 (U ) =

q 1 (f 1 (U )) e aberto em X se e somente se f 1 (U ) e aberto em X/E. Mas isto acontece
se e somente se U e aberto em Y , pois f e um homeomorfismo.
Para ver que (ii) implica (iii), basta usar f 1 (F ) = X \ f 1 (Y \ F ).
Vamos agora assumir (iii) e mostraremos (iv). Como f e contnua e bijetora, e suficiente mostrar que a imagem de todo fechado F de X/E(f ) e fechado em Y . Porem, como
1
f 1 (f (F )) = q 1 (f (f (F ))) = q 1 (F ), temos, pela continuidade de q, que f 1 (f (F )) e um
conjunto fechado. Logo por (iii), f (F ) e fechado.
A implicacao (iv) (i) e obvia, o que conclui a demonstracao.

rio 3.59. As funcoes contnuas abertas sobrejetoras e as funcoes contnuas feCorola
chadas sobrejetoras s
ao quocientes.
Demonstracao: Basta notar que se f e sobrejetora entao f (f 1 (B)) = B.
rio 3.60. A composicao de duas funcoes quocientes e quociente.

Corola
rio 3.61. Se a composicao gf das funcoes contnuas f : X Y e g : Y Z
Corola
e quociente, ent
ao g : Y Z e uma funcao quociente.
Demonstracao: Primeiro, note que g(Y ) g(f (X)) = Z e portanto g e sobrejetora. Se a
imagem inversa g 1 (U ) de U e aberta em Z entao f 1 (g 1 (U )) = (gf )1 (U ) e aberto em X
e como gf e quociente, entao U e aberto em Z.

E 3.33. Encontre funcoes contnuas g e f sobrejetora tal que gf e quociente, mas que f
n
ao e quociente.
rio 3.62. Se para uma funcao contnua f : X Y existe um conjunto A X
Corola
tal que f (A) = Y e a restricao f A e quociente, ent
ao f e quociente.
Demonstracao: Segue do corolario acima e do fato que f A = f iA , onde iA e a inclusao de
A em X.

rio 3.63. Toda funcao quociente injetora e um homeomorfismo.
Corola
CAPTULO 4
Espacos conexos
o 4.1. Seja X um espaco topologico. Dizemos que X e conexo se nao existem
Definic
a
abertos nao vazios U e V tais que U V = e U V = X.
o 4.2. Um subconjunto A de X se diz um subconjunto conexo de X se o
Definic
a
subespaco topologico A for conexo, ou seja, se nao existem abertos U e V em X tais que
U A 6= , V A 6= , U V A = e A U V .
Exemplo 4.3. O espaco discreto X quando X tem mais de um ponto nao e conexo.
E 4.1. Mostre que X com a topologia co-finita e conexo se e s
o se X e infinito.
E 4.2. Mostre que X e conexo se, e somente se, os u
nicos subconjuntos abertos e fechados
s
ao o e X.
A conexidade de um espaco e preservada por funcoes contnuas:
Teorema 4.4. Seja f uma funcao contnua de um espaco X em um espaco Y . Se A e
um subconjunto conexo de X, ent
ao f (A) e um subconjunto conexo de Y .
Demonstracao: Suponha que f (A) nao e conexo. Entao existem abertos U e V de Y tais
que U f (A) 6= , V f (A) 6= , U V f (A) = e f (A) U V . Como f e contnua
U = f 1 (U ) e V = f 1 (V ) sao abertos. Alem disso, U A 6= , V A 6= , U V A =
e A U V , o que contradiz a conexidade de A.

O proximo resultado nos mostra que se um espaco tem um subespaco denso conexo,
entao o espaco e conexo:
Teorema 4.5. Seja X um espaco topologico e A X um subconjunto conexo de X. Se
B e tal que A B A, ent
ao B e conexo.
Demonstracao: Suponha que B nao e conexo. Entao existem abertos U e V em X tais que
U B 6= , V B 6= , U V B = e B U V .
Mas como B A, temos que U A 6= e V A 6= . Alem disso, como A B temos
que U V A = e A U V , absurdo, pois A e conexo.

O proximo corolario e imediato:
rio 4.6. Se X tem um subespaco denso conexo, ent
Corola
ao X tambem e conexo.
Exemplo 4.7. A reta real e conexa. Alem disso, todos os intervalos de R sao conexos.
Demonstracao: Suponha R nao conexa. Temos entao que existem abertos nao vazios U e V
em R tais que R = U V e U V = . Como U e V sao nao vazios, podemos fixar a U e
b V . U V = implica que a 6= b; suponhamos que a < b (o caso a > b e analogo).
Seja
S = {x U : a < x < b e ]a, x[ U }.
51
52
4.
ESPAC
OS CONEXOS
Como U e aberto, temos que S e nao vazio. S e majorado por b, logo podemos tomar
claro que s b.
s = sup S. E
Note que nao podemos ter s V . De fato, se s V , como V e aberto, existe > 0 tal
que ]s , s + [ V . Podemos ainda tomar tal que a < s . Como s = supS, existe
x S tal que x > s e ]a, x[ U . Mas da teremos que ]s , x[ U , o que contradiz
U V = .
Entao temos que s U , pois U V = R. Mas da, como U e aberto, existe > 0 tal que
]s , s + [ U . Logo ]a, s + [ U ; mas s era supremo de S. Temos entao uma contradicao,
o que implica que R e conexo.
Como os intervalos abertos sao homeomorfos à reta real temos que eles tambem serao
conexos. Usando o teorema anterior, podemos concluir que os intervalos fechados e semifechados tambem sao conexos.

E 4.3. Mostre que um subconjunto da reta real (com a topologia usual) e conexo se e s
o
se e um intervalo.
rio 4.8. Todo espaco conexo de Tychonoff contendo pelo menos dois pontos e
Corola
n
ao enumer
avel.
Demonstracao: Seja X um espaco conexo de Tychonoff com pelos menos dois pontos e sejam
x e y dois pontos de X. Como X e um espaco de Tychonoff existe uma funcao contnua
f : X [0, 1] tal que f (x) = 0 e f (y) = 1. Agora, X e conexo e f e contnua. Entao f (X)
e conexo e portanto e um intervalo de R. Logo f (X) = [0, 1], o que implica que X e nao
enumeravel.

Teorema 4.9. SejaTX um espaco topologico e C uma S
colecao n
ao-vazia de subconjuntos
conexos de X tal que {Y : Y C} =
6 . Entao C = {Y : Y C} e um subconjunto
conexo de X.
S
Demonstracao: Suponhamos, por absurdo, que C = {Y : Y C} nao e um subconjunto
conexo de X. Entao existem abertos U e V tais que C U V , C U 6= , C V 6= e
C U V =T.
Seja a {Y : Y C} fixado. Suponhamos que a U (se a V e analogo). Para cada
Y C, temos entao que a Y U e portanto Y U 6= . Alem disso, Y U V = e
Y U V . Mas Y e conexo, logo precisamos ter Y V = .
Como a afirmacao acima vale para todo Y C, conclumos que C V = , contradicao.

rio 4.10. Se quaisquer dois pontos de um espaco topologico X pertencem a um
Corola
mesmo subespaco conexo de X, ent
ao X e conexo.
Demonstracao: Fixemos x0 X. Para cada x X, podemos tomar um subespaco conexo
Cx de X que contem os pontos x e x0 . Podemos entao aplicar o teorema acima para a famlia
C = {Cx : x X}.

Temos que a conectividade e preservada pelo produto cartesiano:
Q
Teorema 4.11. O produto X = sS Xs , onde Xs 6= para todo s S, e conexo se, e
somente se, todos os espacos Xs s
ao conexos.
Demonstracao: Se X e conexo, entao Xs e conexo, para todo s S pois as projecoes sao
contnuas. Para mostrar a outra implicacao, primeiro, usando o corolario anterior, podemos
4.
ESPAC
OS CONEXOS
53
mostrar que o produto de dois espacos conexos e conexo: se (x1 , y1 )e(x2 , y2 ) sao dois pontos
quaisquer do produto X1 X2 , consideramos o conexo (X1 {y2 }) ({x2 } X2 ). Por
inducao, podemos concluir que o produto finito de espacos conexos e conexo.
Para um
Q produto qualquer, fixe a = {as }sS X. Note que para todo S
Q S finito
temos que sS Xs {as }Q
e
conexo
(pois
e
homeomorfo
ao
produto
finito
sS\S
sS Xs ).
T
Considere a famlia C = {S sS Xs {as }sS\S : S S finito }. Como C =

6 (pois
contem a), temos que C = {Y : Y C} e conexo. Mas tambem C e denso em X. Portanto
X e conexo.

Exemplo 4.12. R2 \ Q2 e um subconjunto conexo de R2 .
Exemplo 4.13. R2 \ M , onde M e um subconjunto infinito enumeravel, e conexo.

o 4.14. Seja X um espaco topologico e x X. A componente conexa de x e o
Definic
a
maior (no sentido da inclusao) subconjunto conexo de X ao qual x pertence.
E 4.4. Mostre que a componente conexa de um ponto x num espaco topologico X e sempre
fechada.
Podemos definir tambem espacos localmente conexos:
o 4.15. Um espaco topologico e localmente conexo se todo ponto admite um
Definic
a
sistema fundamental de vizinhancas conexas.
Exemplo 4.16. O espaco discreto X e localmente conexo.
Exemplo 4.17. A reta real e conexa e localmente conexa.
E 4.5. Mostre que se X e localmente conexo ent
ao toda componente conexa e aberta.
Vamos dar agora um exemplo que mostra que nem todo espaco conexo e localmente
conexo.
Exemplo 4.18. Seja X = ({0} [1, 1]) {(x, sen x1 ) : x ]0, 1]}. Consideremos X como
subespaco de R2 . Temos entao que X e conexo mas nao e localmente conexo.
Um outro tipo de conexidade que e comum e conexidade por caminhos.
o 4.19. Um espaco topologico X e conexo por caminhos se para quaisquer dois
Definic
a
pontos x1 e x2 em X, existe uma funcao contnua f : [0, 1] X tal que f (0) = x1 e
f (1) = x2 .
E 4.6. Mostre que todo espaco conexo por caminhos e conexo e de um exemplo de um
espaco conexo que n
ao e conexo por caminhos.
CAPTULO 5
Espacos compactos
1. Introdu
c
ao
Veremos neste captulo a compacidade e algumas de suas generalizacoes, como compacidade enumeravel, compacidade sequencial, paracompacidade e propriedade de Lindelof.
Antes daremos algumas definicoes que serao usadas com frequencia:
o 5.1. Seja X um espaco topologico. Dizemos que uma famlia C de subconDefinic
a
S
juntos de X e um recobrimento de X (ou uma cobertura de X) se X = C. O recobrimento
diz-se aberto se os elementos de C forem abertos.
S
Dizemos que uma subfamlia C C e um sub-recobrimento de X se C = X
2. Espa
cos compactos
o 5.2. Seja X um espaco topologico. Dizemos que C e um recobrimento finito

Definic
a
se C e um recobrimento contendo apenas um n
umero finito de elementos.
o 5.3. Um espaco topologico e compacto se todo recobrimento aberto de X
Definic
a
possui um sub-recobrimento finito.
Pela definicao de subespaco podemos mostrar o seguinte:
Teorema 5.4. Um subespaco A XSe compacto se e somente se para cada famlia
{Us : s S}Sde abertos de X tal que A sS Us , existe um subfamlia finita {Us : s S }
tal que A sS Us .
o 5.5. Dado um subconjunto A e uma colecao de subconjuntos abertos C de

Observac
a
S
X, diremos que C cobre A se C A. Podemos entao, pelo teorema acima, dizer que um
subconjunto A X e compacto se e somente se toda famlia de abertos de X que cobre A
possui uma subfamlia finita que cobre A.
rio 5.6. Seja X um espaco topologico. A reuni
Corola
ao finita de subespacos compactos
de X e compacta.
Exemplo 5.7. R com a topologia usual nao e compacta, mas [0, 1] e compacto. De
fato, seja C uma colecao de abertos de R que cobre o intervalo [0, 1]. Considere o conjunto
A = {x [0, 1] : [0, x] pode ser coberto por finitos elementos de C}. Observe que o conjunto
A admite supremo e que supA = 1 o que mostra que [0, 1] e compacto.
55
56
5. ESPAC
OS COMPACTOS
E 5.1. Verifique se os subconjuntos de R abaixo s

ao ou n
ao compactos (R com a topologia
usual). Mostre as afirmacoes usando a definicao de compacidade.
(a) o intervalo ]0, 1[;
(b) { n1 : n N, n 6= 0};
(c) { n1 : n N, n 6= 0} {0}.
E 5.2. De um exemplo de um subconjunto de R que e fechado (e diferente de R) que n
ao
e compacto.
E 5.3. Mostre que um espaco X com a topologia discreta e compacto se e somente se X
e finito.
E 5.4. Seja X um conjunto infinito. Mostre que X com a topologia co-finita e compacto
e que X com a topologia co-enumeravel n
ao e compacto.
Veremos agora varios resultados simples envolvendo espacos compactos.
Teorema 5.8. Todo subespaco fechado de um espaco compacto e compacto.
Demonstracao: Seja X um espaco compacto e F um subespaco fechado de X. Seja {Vs : s
S} uma colecao de abertos de X que cobre F . Como F e fechado, {Vs : s S} {X \ F }
e um recobrimento aberto de X. Portanto existe um subconjunto finito S S tal que
{Vs : s S } {X \ F } e um recobrimento aberto de X. Segue entao que {Vs : s S } e
finito e cobre F .

Os proximos resultados ajudam a verificar se espacos compactos. Primeiro veremos que
e suficiente considerar recobrimentos formados por abertos de uma base:
Lema 5.9. Seja X um espaco topologico e B uma base de X. Entao X e compacto se e
somente se cada cobertura aberta C B possui um sub-recobrimento finito.
Demonstracao:
() Imediato, ja que C e um recobrimento aberto de X.
() Seja C um recobrimento aberto de X. Para cada x X, existe Ux C tal que
x Ux e Vx B tal que x Vx Ux . Temos entao que {Vx : x X} e um recobrimento
aberto de X formado por elementos de B e, por hipotese, tem um sub-recobrimento finito.
Logo existe F X finito tal que {Vx : x F } cobre X. Segue entao que {Ux : x F } e um
sub-recobrimento finito de C, o que termina a demonstracao.

Um resultado mais forte, mas menos conhecido e com uma demonstracao mais difcil, e
o fato de ser suficiente usar abertos de uma sub-base do espaco topologico.
o 5.10. Seja X um espaco topologico e B um subcojunto de abertos de X.
Definic
a
Dizemos que B e uma sub-base de X se o cojunto das interseccoes finitas de elementos de B
forma uma base para X.
Teorema 5.11. (Lema de Alexander) Seja X um espaco topologico e B uma subbase de X. X e compacto se e somente se todo recobrimento aberto de X, cujos elementos
pertencem a B, admitem um sub-recobrimento finito.
Demonstracao: Um sentido e imediato. Para mostrar que X e compacto, seja C0 um recobrimento aberto de X qualquer e suponhamos, por absurdo, que nao admite sub-recobrimento
finito.
2. ESPAC
OS COMPACTOS
57
Denotemos por M o conjunto de todos os recobrimentos abertos C de X tais que:

(1) C0 C e
(2) C nao admite sub-recobrimento finito.
facil mostrar que (M, ) e ordenado indutivo. Pelo lema
Ordenemos M por inclusao. E
de Kuratowski-Zorn, existe um elemento maximal C em M.
Mostremos que C B e um recobrimento de X, o que em vista da hipotese, implicaria
que C B admitiria sub-recobrimento finito,
S contradicao.
Se C B nao recobre X, existe x X \ C B. Como B e sub-base existem G1 , . . . , Gm
pertencentes a B tal que x G1 . . . Gm e este u
ltimo conjunto esta contido em algum
elemento U de C .
Para cada ndice i, 1 i m, temos que Gi
/ C . Portanto, C {Gi } admite subrecobrimento S
finito (por (2)); donde,
T existe Ci C , finito, tal que Ci {Gi } recobre X.
Segue-se que {Ci : 1 i Sm} { {Gi : 1 i m} e um recobrimento finito de X.
Temos, finalmente, que {Ci : 1 i m} {U } e um cojunto finito, recobre X e esta
contido em C (contradicao).

o 5.12. Dizemos que uma famlia F = {Fs : s S} tem a propriedade da
Definic
a
T
interseccao finita se, para cada S S finito, a interseccao sS Fs e um conjunto nao
vazio.
E 5.5. Quais das colecoes de subconjuntos de R abaixo tem a propriedade da interseccao
finita?
(a) {[n, n] : n Z+ };
(b) {] n1 , n1 [: n Z+ };
(c) {[n, [: n Z+ };
(d) {]n, [: n Z+ }.
Teorema 5.13. Um espaco X e compacto se e somente se toda famlia de conjuntos
fechados de X satisfazendo a propriedade da interseccao finita tem interseccao n
ao vazia.
Demonstracao: Seja X um espa
T co compacto e {Fs : s S} uma famlia de conjuntos
fechados tal que
a
intersec
c
a
o
e vazia.TPara cada s S, seja Us = X \ Fs . Cada
sS Fs
S
S
Us e aberto e sS Us = sS (X \ Fs ) = X \ ( sS Fs ) = X. Portanto, {Us : s S} e um
recobrimento S
aberto de X. Pela
T compacidade de X, existe um subconjunto finito S de S
tal que X = sS Us . Logo, sS Fs = e portanto a famlia {Fs : s S} nao satisfaz a
propriedade da interseccao finita.
Reciprocamente, se X nao e compacto, existe um recobrimento aberto {Us : s S} que
nao possui S
nenhum sub-recobrimento finito, ou seja, para cada subconjunto finito S S,
temos que TsS Us 6= X. Portanto {X \ Us : s S} satisfaz a propriedade da interseccao
finita, mas sS (X \ Us ) = .

E 5.6. Mostre que o plano Euclidiano, com a topologia usual, n
ao e compacto.
E 5.7. Mostre que [0, 1] Q n

ao e um subconjunto compacto de R com a topologia usual.
Vamos agora ver alguns resultados envolvendo a compacidade e os axiomas de separacao:
Teorema 5.14. Todo subespaco compacto de um espaco Hausdorff e fechado.
58
5. ESPAC
OS COMPACTOS
Demonstracao: Seja A um subespaco compacto de um espaco Hausdorff X e seja x

/ A.
Para cada ponto a A, existem abertos Ua e Va , disjuntos, tais que a Ua e x Va . Como
{Ua : a A} e uma fam
que cobre A e A e compacto, temos
que existe A A,
S lia de abertos
T
finito, tal que A {Ua : a A }. Sendo assim, temos que V = {Va : a A } e uma
vizinhanca aberta de x contida em X \ A. Logo, X \ A e aberto, o que implica que A e um
fechado.

E 5.8. Mostre que a hip
otese de ser Hausdorff e essencial no teorema acima. (Sugestao:
olhe a topologia cofinita.)
Teorema 5.15. Todo espaco de Hausdorff compacto e regular.
Demonstracao: Sejam F um fechado e x 6 F . Para cada y F , existem abertos disjuntos,
Uy e Vy , tais que y Uy e x Vy . Temos entao que {Uy : y
SF }{X \F } e um recobrimento
S
aberto de X e portanto existe F F , finito, tal que F yF Uy . Portanto U = yF Uy
T
e V = yF Vy sao abertos disjuntos tais que F U e x V .

Podemos agora fazer um argumento parecido para mostrar o seguinte teorema:
Teorema 5.16. Prove que todo espaco compacto regular e normal.
Assim conclumos que:
rio 5.17. Todo espaco compacto Hausdoff e normal.

Corola
o 5.18. Espacos compactos T1 nao sao necessariamente Hausdorff. Por exemObservac
a
plo, podemos tomar X um conjunto infinito com a topologia co-finita.
E 5.9. Seja X um espaco topologico. A interseccao de dois subespacos compactos de X
e compacta?
O proximo teorema mostra que a compacidade e preservada por funcoes contnuas:
Teorema 5.19. Seja X um espaco compacto e f uma funcao contnua de X em Y .
Entao f (X) e compacto.
Demonstracao: Seja C uma famlia de abertos em Y que cobre f (X). Entao {f 1 (U ) : U C}
e um recobrimento
finito C C
S 1aberto de X Como X e compacto, existe um subconjunto
S
tal que X = {f (U ) : U C }. Mas teremos entao que f (X) {U : U C }, o que
termina a demonstracao.

rio 5.20. Sejam X e Y espacos topologicos e seja F um subconjunto compacto
Corola
de X. Se f : X Y e uma funcao contnua, ent
ao f (F ) e compacto em Y .
rio 5.21. Seja X um espaco compacto e Y um espaco Hausdorff. Seja f uma

Corola
funcao contnua de X em Y . Entao f e uma funcao fechada.
Demonstracao: Seja F um subconjunto fechado de X. Como X e compacto e F e fechado,
temos que F e compacto. Pelo teorema acima, f (F ) e um subconjunto compacto de Y . Mas
Y e Hausdorff, entao seus subconjuntos compactos sao fechados. Logo, f (F ) e fechado em
Y , o que mostra que f e uma funcao fechada.

Do corolario acima, segue o seguinte:
2. ESPAC
OS COMPACTOS
59
rio 5.22. Toda funcao contnua bijetora de um espaco compacto X em um espaco

Corola
Hausdorff Y e um homeomorfismo.
E 5.10. Sabemos que o intervalo aberto ]0, 1[ e homeomorfo a R. Mostre que o intervalo
fechado [0, 1] n
ao e homeomorfo a R.
rio 5.23. Seja (X, T ) um espaco compacto T2 . Entao n
Corola
ao existe uma topologia
Hausdorff em X estritamente menos fina que T .
Demonstracao: Suponhamos que exista uma topologia Hausdorff T menos fina que T . Entao
a funcao identidade i : (X, T ) (X, T ) e uma funcao contnua bijetora. Pelo corolario
acima, i e um homeomorfismo. Logo, U T se e somente se U = i1 (U ) T . Portanto
T = T .

E 5.11. Mostre que se e s
ao topologias sobre X e , ent
ao, (X, ) e compacto
sempre que (X, ) e compacto, e, (X, ) e T2 sempre que (X, ) e T2 .

o 5.24. Note que pelo corolario acima, se (X, ) e um espaco compacto T2 ,
Observac
a
nao existe , topologia em X, tal que ( e (X, ) e compacto T2 .

Mostraremos mais a frente que o produto qualquer de espacos compactos e compacto. Um
caso particular, com uma demonstracao mais simples, e o fato do produto de dois compactos
ser sempre compacto:
Teorema 5.25. Se X e Y dois espacos compactos, ent
ao o produto cartesiano X Y e
um espaco compacto.
Demonstracao: Seja B a base de abertos basicos da topologia produto X Y . Seja C um
recobrimento aberto de X Y tal que C B. Pelo lema acima, e suficiente mostrar que C
possui um sub-recobrimento finito.
Fixemos x X. Como {x} Y e homeomorfo a Y ,Stemos que {x} Y e um espaco
compacto. Seja Dx = {U V C : x U }. Note que Dx {x}S Y , portanto, existe
uma subfam
lia finita D x = {Ux,1 Vx,1 , . . . , Ux,nx Vx,nx } tal que Dx {x} Y . Seja
T
Ux = {Ux,i : i nx }.
Para cada x seja Ux o aberto definido como acima. Entao, {Ux : x X} e uma
cobertura aberta de X. Portanto existe um

S subconjunto finito X tal que {Ux : x X }
recobre X. Para cada x X , temos que {Ux Vx,i : i nx } recobre Ux Y . Portanto

{Ux Vx,i : x X e i nx } recobre X Y . Como Ux Ux,i , para cada x X e para
cada i nx , temos que {Ux,i Vx,i : x X e i nx } e um sub-recobrimento finito de C.
Portanto, X Y e compacto.

Fica a cargo do leitor mostrar o seguinte lema que usaremos a seguir. Note que sua
demonstracao na verdade aparece dentro da demonstracao acima.
Lema 5.26. Se A e um subespaco compacto de um espaco X e y e um ponto de Y , ent
ao
para cada aberto W de X Y contendo A {y}, existe um aberto U de X e um aberto V
de Y tal que A {y} U V W .
Vamos dar agora uma caracterizacao dos espacos compactos utilizando projecoes do
produto cartesiano de dois espacos:
60
5. ESPAC
OS COMPACTOS
Teorema 5.27. (Teorema de Kuratowski) Para um espaco X, as seguintes condicoes

s
ao equivalentes:
(i) o espaco X e compacto;
(ii) para cada espaco topologico Y , a projecao : X Y Y e fechada;
(iii) para cada espaco normal Y a projecao : X Y Y e fechada.
Demonstracao: Note que Y nao e necessariamente Hausdorff compacto no tem (ii) ou (iii).
(i) (ii): Seja X um espaco compacto e F um subconjunto fechado do produto cartesiano
X Y . Vamos mostrar que (F ) e um conjunto fechado, mostrando que Y \ (F ) e aberto.
Fixe y
/ (F ). Como X {y} (X Y ) \ F , pelo lema acima, existe um aberto U de
X e um aberto V de Y tal que X {y} U V (X Y ) \ F . Note que U = X; logo
1 (V ) F = (X V ) F = . Portanto V (F ) = , ou seja, V e uma vizinhanca de y
disjunta de (F ), o que mostra que (F ) e um conjunto fechado.
A implicacao (ii) (iii) e obvia, portanto resta apenas mostrarmos que (iii) (i). Seja
X um espaco com a propriedade (iii). Suponhamos que existe uma famliaT
{Fs : s S} de
subconjuntos fechados de X com a propriedade da intersecao finita tal que {Fs : s S} =
. Tomemos um ponto y0
/ X e sobre o conjunto Y = X {y0 } consideramos a topologia
consistindo de todos os subconjuntos de X e de todos os conjuntos da forma
{y0 } (Fs1 . . . Fsk ) K,
onde s1 , . . . sk STe K X.
Da igualdade {Fs : s S} = , segue que Y e um espaco T1 . Como todo subconjunto
que nao contem y0 e aberto, Y e um espaco normal.
Como X possui a propriedade (iii), a projecao (F ) do conjunto F = {(x, x) : x X}
X Y e fechado em Y . Da inclusao X (F ), segue que y0 (F ), pois o conjunto X e
denso em Y ; logo existe x0 X tal que (x0 , y0 ) F . Segue entao que para cada vizinhanca
U de x0 em X e para cada s S, temos que [U ({y0 } Fs )] {(x, x) : x X} 6= .
X
F
= Fs , para cada s S. Isto implica que
Portanto
U
F
=
6
,
o
que
mostra
que
x
s
s
0
T
x0 {Fs : s S} = , que e uma contradicao.

Antes do proximo resultado lembraremos a seguinte definicao:
o 5.28. Seja X um espaco topologico e A X. Dizemos que x X e ponto

Definic
a
de acumulacao de A se para cada vizinhanca U de x em X, A (U \ {x}) 6= .
E 5.12. Mostre que se X e T1 e A X, ent
ao x X e ponto de acumulacao de A se, e
somente se, para cada vizinhanca U de x em X, A U e infinito.
E 5.13. Mostre que x e ponto de acumulacao de A, se, e somente se, x A \ {x}.
o 5.29. Se X e compacto, ent
Proposic
a
ao todo subconjunto infinito de X tem ponto
de acumulacao.
Demonstracao: Seja A um subconjunto de X que nao tenha pontos de acumulacao e vamos
mostrar que A e finito. Entao, para
S cada x X, existe uma vizinhanca aberta Ux de x tal
que Ux A {x}. Logo X = {Ux :S
x X}. Como X e compacto temos que existe X ,
subconjunto finito de X, tal que X = {Ux : x X }. Segue entao que
[
[
[
{x} = X .
(Ux A)
Ux =
A=AX =A
xX
xX
xX
2. ESPAC
OS COMPACTOS
Como X era finito, temos que A e finito.
61
Teorema 5.30. Sejam X um espaco compacto Hausdorff, Y um espaco Hausdorff e

f : X Y uma funcao contnua sobrejetora. Entao se X satisfaz o segundo axioma de
enumerabilidade, Y tambem o satisfaz.
Demonstracao: Como X satisfaz o segundo axioma de enumerabilidade, podemos fixar uma
base enumeravel de abertos B de X. Seja B = {U1 . . . Un : U1 , . . . , Un B e n N}.
Ja que B e enumeravel, temos que B tambem e. Como B B, B tambem e uma base de
X. Seja D = {Y \ f (U ) : U B}. Como f e uma funcao contnua de um espaco compacto
num espaco Hausdorff, temos que f e fechada. Portanto D e uma famlia de abertos de Y .
Alem disso, D e enumeravel.
So resta mostrar que D e uma base para o espaco Y . De fato, seja y Y e W uma
vizinhanca aberta de y. Como f e sobrejetora, podemos tomar x f 1 (y). Pela continuidade
de f , temos que f 1 (W ) e uma vizinhanca aberta de x e X \ f 1 (W ) e um fechado que tem
intersecao vazia com o fechado f 1 (y). Pela regularidade de X e pelo fato de B ser base,
para cada z X \ f 1 (W ), existe Uz B tal que z Uz Uz X \ f 1 (y). Como
X \ f 1 (W ) e um subconjunto fechado de um compacto, ele e compacto. Logo, existe
um subconjunto
finito z1 , . . . , zn X \ f 1 (W ) tal que Uz1 . . . Uzn X \ f 1 (W ).
Sn
Seja U = i=1 Uzi . Pela construcao de B, U B e pelo que fizemos acima, temos que
Y \f (U ) Y \f (X \f 1 (W )) = Y \f (f 1 (Y \W )) = Y \(Y \W ) = W , pois f e sobrejetora.
Portanto Y \ f S
(U ) W . Como Y \Sf (U ) D, resta mostrarmos que y Y \ f (U ). Mas,
U f 1 (y) = ( ni=1 Uzi ) f 1 (y) = ni=1 (Uzi f 1 (y)) = . Portanto y
/ f (U ) e D e uma
base de Y .
Exemplo 5.31. (Alexandroff double arrow) Seja X o intervalo [0, 1], D = {0, 1}
um conjunto com dois elementos e Z o conjunto X D. Vamos definir uma topologia em Z
a partir de um sistema de vizinhancas {Bz : z Z}. Para cada z = (x, 1), onde x X, seja
Bz o conjunto {{(x, 1)}} e para cada z = (x, 0) tal que x X, Bz = {[(x n1 , x + n1 ) D]\F :
n N+ e F X {1} e finito}. Fica a cargo do leitor verificar que a colecao {Bz : z Z}
acima de fato gera uma topologia sobre Z e que essa topologia e Hausdorff. Como cada Bz e
uma colecao enumeravel, temos que o espaco satisfaz o primeiro axioma de enumerabilidade.
Note que o espaco nao satisfaz o segundo axioma da enumerabilidade, pois qualquer base
de Z precisa conter a famlia {{(x, 1)} : x X}. Tambem e facil ver que Z nao e um espaco
separavel.
Vamos agora mostrar que este espaco e compacto. Primeiro,S
note que X {0} e homeomorfo a I e portanto e um subespaco compacto. Seja B a base {Bz : z Z} de Z. Basta
mostrarmos que toda cobertura aberta C B de X possui sub-recobrimento finito. Como
X {0} e um subespaco compacto, existe uma subfamlia finita C de C que cobre X {0}.
Como os abertos em C que interceptam X {0} saS
o da forma [(x n1 , x + n1 ) D] \ F , onde
F e um subconjunto finito, temos que X {1} \ C e um subconjunto finito, portanto,
podemos achar uma subfamlia finita C de C tal que C C cobre Z. Portanto Z e compacto.
Em particular, um espaco compacto Hausdorff satisfazendo o primeiro axioma de enumerabilidade nao precisa ser metrizavel.
E 5.14. Mostre que no teorema 5.30 n

ao podemos substituir segundo enumer
avel por
primeiro enumer
avel, ou seja, mostre que existem dois espacos compactos Hausdorff Y e W
e uma funcao f contnua sobrejetora de Y em W tal que Y satisfaz o primeiro axioma de
enumerabilidade, mas W n
ao.
62
5. ESPAC
OS COMPACTOS
Sugestao: Seja Z o exemplo 5.31 acima e considere a seguinte relacao de equivalencia E:

(x, 1) e equivalente apenas a ele mesmo e (x, 0) e equivalente a (y, 0), para cada x, y X.
Considere a funcao quociente de Z em Z/E.
De modo geral a interseccao de dois conjuntos densos pode ser vazia (ache exemplo).
Mas temos alguns casos especiais como veremos a seguir.
E 5.15. A interseccao finita de conjuntos abertos densos e um conjunto denso.
Sugestao: Mostre primeiro para dois e use inducao finita.
No caso de uma famlia enumeravel de abertos densos, nao podemos esperar que a intersecao seja um conjunto denso. Por exemplo, seja Q o conjunto dos racionais com a
topologia
T usual. Entao para cada q Q, o conjunto Q \ {q} e um conjunto aberto denso,
mas {Q \ {q} : q Q} = .
Vamos agora mostrar que se o espaco e compacto Hausdorff, entao a interseccao enumeravel de abertos densos e um conjunto denso. Este resultado e conhecido como Teorema
de Baire e vale tambem para outros espacos.
Teorema 5.32. (Teorema de Baire para espa
cos de Hausdorff compactos)
Seja X um espaco compacto
T
e
seja
U
=
{U
:
n
N}
uma
famlia enumer
avel de abertos
2
n
T
densos de X. Entao U e denso em X.
T
Demonstracao: Seja U um aberto nao vazio de X. Precisamos mostrar que U U e um
conjunto nao vazio. Para isto, primeiro construiremos por inducao uma sequencia W1 , W2 , . . .
de abertos nao vazios de X tais que para cada i = 1, 2, . . ., temos que
(i) Wi Ui U e
(ii) Wi+1 Wi .
Para i = 1, o conjunto U1 U e nao vazio, pois U1 e denso em X e U e um aberto nao
vazio. Logo, Como X e compacto e Hausdorff, X e regular e portanto existe um aberto W1
facil ver que (i) e (ii) estao satisfeitos neste caso. Por hipotese de
tal que W1 U1 U . E
inducao, suponhamos definidos W1 , . . . , Wi satisfazendo (i) e (ii). Como Wi e nao vazio, e
Ui+1 e um aberto denso, Wi Ui+1 e um aberto nao vazio de X. Portanto, existe Wi+1 aberto
nao vazio tal que Wi+1 Wi+1 Ui+1 Wi Ui+1 U . Portanto (i) e (ii) estao satisfeitos
o que termina a inducao.
T
Vamos agora mostrar que U U =
6 . De fato, por (ii), {Wi : i = 1, 2, . . .} e uma famlia
de fechadosTsatisfazendo a propriedade da interseccao finita. Portanto, como X e compacto,
existe x {Wi T
: i = 1, 2, . . .}. Por (i), segue que x Ui U , para cada i = 1, 2, . . . e
portanto x U U.

3. O Teorema de Tychonoff
Vamos mostrar nesta seccao o Teorema de Tychonoff, ou seja, que o produto arbitrario
de espacos compactos e compacto. Para isto, vamos primeiro lembrar o axioma da escolha
e o Lema de Zorn.
O axioma da Escolha:
S Para cada famlia {Xs : s S} de conjuntos nao-vazios, existe
uma funcao f de S em sS Xs tal que para cada s S, temos f (s) Xs . Em outras
palavras, o produto de conjuntos nao-vazios e nao-vazio.
3. O TEOREMA DE TYCHONOFF
63
o 5.33. Seja X um conjunto. Um subconjunto A X X e uma ordem em

Definic
a
X se para quaisquer x, y, z X temos:
(i) se (x, y) A, entao (y, x)
/ A,
(ii) se (x, y) A e (y, z) A, entao (x, z) A.
Denotaremos (x, y) A por x <A y ou simplesmente x < y e relacao A por <.
Dizemos que uma ordem < e linear (ou total) se ela e uma ordem e para cada par de
elementos x, y X distintos, temos x < y ou y < x.
Um conjunto X e bem ordenado por uma ordem linear < se todo subconjunto nao vazio
de X tem mnimo, ou seja, se Y X e nao-vazio, entao existe x0 Y tal que para cada
x Y \ {x0 } temos x0 < x.
Exemplo 5.34. A relacao e uma relacao de ordem sobre o conjunto das partes.
O Teorema de Zermelo de boa ordena
c
ao: Todo conjunto X pode ser bem ordenado,
isto e, admite uma boa ordem sobre ele.
o 5.35. Dada uma ordem A sobre X e Y X, a relacao A(Y Y ) define uma
Definic
a
ordem sobre Y que chamaremos de ordem induzida em Y . Diremos que Y e um subconjunto
linearmente ordenado de X se a ordem induzida em Y e linear.
Diremos que x X e um elemento maximal de X se nao existe y X tal que x < y.
O Lema de Kuratowski-Zorn: Seja X um conjunto ordenado por <. Se para cada
subconjunto Y linearmente ordenado de X existe x0 X tal que x < x0 ou x = x0 para
todo x Y (i.e., x0 e um majorante de Y ), entao X possui um elemento maximal.
Pode-se mostrar que o Axioma da Escolha, o Teorema de Zermelo e o Lema de KuratowskiZorn sao equivalentes. A prova da consistencia do Axioma da Escolha foi obtida por Godel
na decada de 30-40 com o modelo construtvel. A independencia do Axioma da Escolha foi
obtida por P. J. Cohen na decada de 60 com o uso do forcing.
Vamos agora definir filtros e ultrafiltros. Utilizaremos o Lema de Kuratowski-Zorn para
mostrar que todo filtro pode ser estendido a um ultrafiltro.
o 5.36. Seja X um conjunto nao-vazio. Dizemos que uma famlia nao-vazia F
Definic
a
de subconjuntos de X e um filtro sobre X se:
(a)
/ F;
(b) se A F e A B X, entao B F e
(c) se A, B F, entao A B F.
o 5.37. Seja S uma famlia de subconjuntos de X com a propriedade da interDefinic
a
seccao finita. Entao o filtro gerado por S e o conjunto {F X : S S finito tal que S
F }.
E 5.16. Mostre que, na definicao acima, o filtro gerado e de fato um filtro.
o 5.38. Dado um filtro F sobre X, dizemos que S F e uma base do filtro F
Definic
a
se para cada A, B S existe C S tal que C A B e o filtro gerado por S e F.
Note que se uma famlia S satisfaz a propriedade da interseccao finita, temos entao que
A = {S : S S e finito } e uma base para o filtro gerado por S.
o 5.39. Dizemos que um filtro F e um ultrafiltro se F e maximal com relacao
Definic
a
a ordem de inclusao, i.e., nao existe um filtro sobre X contendo F propriamente.
64
5. ESPAC
OS COMPACTOS
Teorema 5.40. Toda famlia P de subconjuntos de um conjunto X satisfazendo a propriedade da intersecao finita pode ser estendida a um ultrafiltro F, isto e, existe um ultrafiltro
F tal que P F.
Demonstracao: Considere o conjunto Z de todos os filtros que contem P. Temos que Z e
nao-vazio pois o filtro gerado por P esta em Z. Consideremos a relacao sobre Z e seja W
um subconjunto de Z linearmente ordenado.
S
Fica a cargo do leitor verificar que W e um filtro e portanto
e um elemento
de Z.
S
S
Note que para mostrar que a interseccao de dois elementos de W esta em W , eSpreciso
usar que
S Z e linearmente ordenado. Temos tambem que, para cada W W , W W ou
W = W , i.e., Z satisfaz as hipoteses do Lema de Kuratowski-Zorn. Entao Z possui um
elemento maximal F e F e um ultrafiltro estendendo P.

A seguinte caracterizacao de ultrafiltros e muito u
til:
Teorema 5.41. Seja U um filtro sobre um conjunto X. Temos que U e um ultrafiltro
sobre X se e somente se para todo A X, A U ou X \ A U.
Demonstracao: Suponha primeiro que U e um ultrafiltro e seja A X. Se A e tal que
A F 6= para todo F U, temos que U {A} tem a propriedade da intersecao finita (note
por exemplo, que se F1 e F2 estao em U, F1 F2 U e portanto A F1 F2 6= ) e portanto
gera um filtro. Como U e maximal temos que A U. Se, por outro lado, existe F U tal
que A F = . temos que F X \ A, o que implica que X \ A U.
Suponha agora que U nao e maximal. Temos entao que existe um filtro F que contem
U propriamente. Portanto, existe A F tal que A
/ U. Por hipotese teremos entao que
X \ A U. Mas U F e F e um filtro, contradicao.

E 5.17. Sejam X um conjunto e x X. Mostre que U = {U X : x U } e um
ultrafiltro sobre X.
E 5.18. Seja Y um conjunto infinito. Defina F = {T Y : Y \ T e finito }. Mostre
que F e um filtro sobre Y e que n
ao existe b Y tal que b F para todo F F. F e um
ultrafiltro?
o 5.42. Seja F um filtro sobre um espaco topologico X. Dizemos que um ponto
Definic
a
T
x X e um ponto de aderencia de F se x {F : F F}.
o 5.43. Dizemos que um filtro F sobre um espaco topologico X converge para
Definic
a
x, ou que x e um limite de F se toda vizinhanca de x e um elemento de F.
E 5.19. Mostre que se x e um limite de F, ent
ao x e um ponto de aderencia de F.
E 5.20. Mostre que se X e um espaco de Hausdorff, ent
ao F possui no maximo um
limite.
Teorema 5.44. Seja F um ultrafiltro sobre X e suponhamos que x e um ponto de
aderencia de F. Entao x e um limite de F.
Demonstracao: Seja V uma vizinhanca de x. Temos que mostrar que V F. Como x e
ponto de aderencia de F, para cada F F, temos que x F e portanto V F 6= . Em
particular, see X \ V F, entao V (X \ V ) 6= , contradicao. Portanto, X \ V
/ F, o que
implica que V F, ja que F e um ultrafiltro.
4.
ESPAC
OS LOCALMENTE COMPACTOS
65
Teorema 5.45. Um espaco X e compacto se e somente se todo ultrafiltro sobre X converge.

Demonstracao: Primeiro suponhamos que X e compacto e seja F um ultrafiltro sobre X.
Entao a famlia {F : F T
F} possui a propriedade da interseccao finita. Portanto, como X
e compacto, existe x {F : F F} e pelo teorema acima x e um limite de F.
Reciprocamente, suponhamos que todo ultrafiltro sobre X converge. Seja G uma famlia
de fechados que possui a propriedade
da interseccao finita. Para mostrarmos que X e comT
pacto, basta mostrarmos que G =
6 . Pelo teorema 5.40, podemos estender G para um
ultrafiltro F. Por hipotese,
de F, o que implica (por um
T que x e limite T
T existe x X tal

exerccio acima) que x {F : F F} {G : G G} = G.
Para mostrar o teorema do Tychonoff, precisaremos do seguinte resultado:
Lema 5.46. Sejam f : X Y um funcao e F um ultrafiltro sobre X. Entao o conjunto
{f (F ) : F F} e uma base para um ultrafiltro sobre Y .
Demonstracao: Primeiro note que, como F e um filtro, S = {f (F ) : F F} tem a

propriedade da intersecao finita. Seja G o filtro gerado por S. Fica a cargo do leitor verificar
que S e uma base para G. Resta mostrarmos que G e um ultrafiltro. Vamos mostrar que
para cada A Y , A G ou Y \ A G.
Seja A um subconjunto arbitrario de Y . Como F e um ultrafiltro, temos que f 1 (A) F
ou X \ f 1 (A) = f 1 (Y \ A) F. Se f 1 (A) F, entao como f (f 1 (A)) A, conclumos
que A G. Se f 1 (Y \ A) F, temos que Y \ A G.

Teorema 5.47. (Teorema de Tychonoff ) Seja {Xi : i I}Quma famlia de espacos
topologicos compactos n
ao-vazios. Entao o produto de Tychonoff
e compacto.
iI Xi
Q
suficiente mostrarmos que todo ultrafiltro F sobre
Demonstracao: E
iI Xi converge. Para
Q
cada j I, seja j a projecao de iI Xi sobre Xj . Pelo lema acima, {j (F ) : F F} e uma
base para um ultrafiltro sobre Xj , que denotaremos por Fj . Como Xj e compacto, temos
que Fj converge em Xj para um ponto xj . Vamos mostrar que x = {xj }jI e um limite do
ultrafiltro F. Note que basta mostrarmos que os abertos basicos que sao vizinhancas de x
pertencemQ
a F.
Q
Sejam iI Vi um aberto basico tal que x iI Vi e I o conjunto finito {i I : Vi 6=
Xi }. Para cada i I , como F e um ultrafiltro, temos que i1 (Vi ) F ou i1 (Xi \ Vi ) F.
Se i1 (Xi \ Vi ) pertencesse a F, teramos que i (i1 (Xi \ Vi )) = Xi \ Vi Fi ; mas como
xi e limite de Fi , temos que Vi FQ
que Fi e um filtro. Logo, i1 (Vi ) F.
i , contradizendo
T
Como I eQfinito, temos entao que iI Vi = iI i1 (Vi ) F. Logo F converge para x.
Portanto iI Xi e compacto.

4. Espa
cos localmente compactos
o 5.48. Dizemos que um espaco X e localmente compacto se todo ponto x de
Definic
a
X possui um sistema fundamental de vizinhancas compactas.
E 5.21. Mostre que todo espaco localmente compacto Hausdorff e regular.
Teorema 5.49. Seja X um espaco Hausdorff. Entao X e localmente compacto se e
somente se para cada x X e para cada vizinhanca aberta W de x, existe uma vizinhanca
aberta V de x tal que V e um subconjunto compacto de W .
66
5. ESPAC
OS COMPACTOS
rio 5.50. Todo subespaco aberto de um espaco localmente compacto Hausdorff

Corola
e localmente compacto.
E 5.22. Verifique que a reta real e localmente compacta. Verifique que os racionais e os
irracionais n
ao s
ao localmente compactos.
E 5.23. Mostre que se X e compacto e Hausdorff, ent
ao X e localmente compacto.
Teorema 5.51. Todo espaco localmente compacto Hausdorff X e Tychonoff.
Demonstracao: Seja x X e F um subconjunto fechado de X tal que x
/ F . Pelo teorema
5.49, existe uma vizinhanca aberta U de x tal que x U U X \ F e U compacto. O
subespaco U e compacto Hausdorff e portanto e Tychonoff. O conjunto U \ U e um conjunto
fechado em U que nao contem x. Portanto existe uma funcao f de U em [0, 1] tal que
f (x) = 0 e f (U \ U ) = 1.
Seja g : X [0, 1] tal que g U = f e g(X \ U ) = 1. Temos que g(x) = 0 e g(F ) = 1.
Logo, para conclurmos a demonstracao, basta mostrarmos que g e contnua. Primeiro note
que como g U = f , temos que g U = f U . Mas f e contnua e U e aberto, logo g U e
contnua. Resta apenas mostrar que g e contnua para todo y
/ U . Temos 2 possibilidades
para y.
Se y X \ U , entao X \ U e uma vizinhanca de y tal que g(X \ U ) {1}, logo g e
contnua no ponto y. Finalmente, seja y U \ U e W uma vizinhanca de g(y) = 1. Pela
continuidade de f em U , existe um aberto V de U tal que f (V ) W . Seja V um aberto

de X tal que V U = V . Entao g(V ) = g(V ) g(V \ V ) = f (V ) {1} W .
E 5.24. Seja A um subespaco compacto de um espaco localmente compacto Hausdorff.
Mostre que para cada aberto U A existe um aberto V tal que A V V U e V e
compacto.
obvio que existem varios espacos topologicos nao compactos. Mas alguns espacos
E
topologicos nao compactos tem uma propriedade especial: eles sao subespacos densos (ou
homeomorfos a subspacos densos) de espacos compactos, que sao chamados de compactificacoes. Veremos a seguir um exemplo simples de compactificacao:
Exemplo 5.52. (Compactificac
ao de Alexandroff ) Seja (X, T ) um espaco localmente compacto Hausdorff que nao e compacto e fixe x0
/ X. Defina Y = X {x0 }. Vamos
introduzir uma topologia T em Y de modo que (Y, T ) e Hausdorff compacto e (X, T ) e um
subespaco denso de (Y, T ).
A topologia T em Y = X {x0 } e dada por:
T = T {{x0 } U : U T e X \ U e um subconjunto compacto de X}.
Fica a cargo do leitor verificar que T e de fato uma topologia em Y . Como X e Hausdorff
e localmente compacto, temos que Y e Hausdorff. Note que a topologia de X como subespaco
de Y coincide com T . Como X nao e compacto, pela definicao da topologia em Y , temos
que {x0 } nao e um subconjunto aberto de Y e portanto X e denso em Y .
4.
ESPAC
OS LOCALMENTE COMPACTOS
67
Para ver que Y e compacto, basta notar que se C e um recobrimento aberto de Y por
abertos de T , entao existe U T cujo complemento em X e compacto e tal que {x0 }U C.
Como X \ U e compacto
e (X, T ) e um subespaco de Y , podemos encontrar C C finito
S
tal que X \ U C . Portanto C {{x0 } U } e um sub-recobrimento finito de C.
Chamamos Y de compactificado de Alexandroff do espaco X. Note que segue, por exemplo, uma outra demonstracao de que todo espaco localmente compacto Hausdorff e Tychonoff, pois espacos compactos Hausdorff sao Tychonoff e a propriedade de ser Tychonoff e
hereditaria.
Exemplo 5.53. Seja X um espaco infinito com a topologia discreta. Entao o compactificado de Alexandroff de X e um espaco Y = X {x0 }, com x0
/ X, {x} aberto para cada
x X e uma vizinhanca de x0 e um conjunto da forma x0 A, onde A e um subconjunto
co-finito de X (isto e, X \ A e finito).
E 5.25. Ache a compactificacao de Alexandroff da reta real com a topologia usual.
Vimos que se X e compacto e f : X Y e contnua sobrejetora, entao Y e compacto.
O mesmo nao e verdade para espacos localmente compactos:
Exemplo 5.54. Seja X um espaco enumeravel discreto, Q o conjunto dos racionais com
a topologia usual e f uma bijecao qualquer de X em Q. Entao, f e contnua, pois X e
discreto, mas Q nao e localmente compacto.
Porem temos o seguinte resultado:
Teorema 5.55. Seja X um espaco localmente compacto e f : X Y uma funcao
contnua sobrejetora aberta. Entao Y e localmente compacto.
Demonstracao: Seja y Y e W uma vizinhanca aberta de y. Como f 1 (y) e nao vazio,
podemos fixar x f 1 (y). Pela continuidade da f , temos que f 1 (W ) e uma vizinhanca
aberta de x. Temos que X e localmente compacto, logo existe uma vizinhanca compacta
Z de x contida em f 1 (W ). Tomemos U um aberto contendo x tal que U Z. Como
f e contnua e Z e compacto, temos que f (Z) e um subconjunto compacto de Y . Temos
ainda que f e aberta e U e aberto, logo f (U ) e uma vizinhanca aberta de f (x) = y. Alem
disso, f (U ) f (Z) W e portanto f (Z) e uma vizinhanca compacta de y contida em
W . Mostramos entao que y possui um sistema de fundamental de vizinhancas compactas.
Portanto, Y e localmente compacto.

E 5.26. (Teorema de Baire para espacos localmente compactos Hausdorff ) Seja X um
espaco localmente compacto
Hausdorff. Mostre que se U e uma famlia enumer
avel de abertos
T
densos de X, ent
ao U e denso em X.
E 5.27. Seja I o conjunto dosTirracionais com a topologia usual. Mostre que se U e uma
famlia de abertos densos, ent
ao U e um subconjunto denso de I.
T
(Sugestao: O espaco I n
ao e localmente compacto, mas a reta real R e; e I = {R \ {q} :
q e racional}.)
o 5.56. Pode-se mostrar o teorema de Baire tambem para espacos metricos

Observac
a
completos. O conjunto dos irracionais com a metrica usual nao e completo, porem, existe
uma metrica associada
a topologia usual de I que e completa. O espaco I dos irracionais e
Q
homeomorfo a n=1 N, onde N e o espaco discreto enumeravel.
68
5. ESPAC
OS COMPACTOS
Veremos agora que a compacidade local e preservada por produtos finitos:

Teorema
5.57. Seja {Xs : s S} uma famlia finita de espacos topologicos n
ao-vazios.
Q
Entao sS Xs e localmente compacto se e somente se, para cada s S, Xs e localmente
compacto.
Q
Demonstracao:
Q Se sS Xs e localmente compacto, entao para cada s S, temos que a
projecao t : sS Xs Xt e uma funcao contnua sobrejetora aberta, logo pelo teorema
5.55, Xs e localmente compacto.
Reciprocamente,Q
suponhamos queQcada Xs e localmente compacto. Seja x = {xs }sS um
ponto arbitrario de sS Xs e W = sX Ws um aberto basico contendo x. Como cada Xs
e localmente compacto,
Q existe uma vizinhanca compacta Us de xs contida em Ws . Como S
e finito, temos que sS Us e uma vizinhanca compacta de x contida em W . Portanto x
possui um sistema fundamental de vizinhancas compactas.

E 5.28. Seja X um espaco localmente compacto Hausdorff. Mostre que se F e um subconjunto fechado de X e V e um subconjunto aberto de X, ent
ao F V e localmente compacto.
(Sugestao: J
a vimos que subespacos abertos de um espaco localmente compacto Hausdorff s
ao localmente compactos, portanto basta mostrar que subespacos fechados de espacos
localmente compactos s
ao localmente compactos.)
5. Espa
cos de Lindel
of
o 5.58. Dado um recobrimento aberto C de X e um sub-recobrimento aberto C
Definic
a
de C, dizemos que C e um sub-recobrimento enumer
avel de C se C e uma famlia enumeravel.
o 5.59. Dizemos que um espaco topologico X e de Lindelof se todo recobriDefinic
a
mento aberto de X possui um sub-recobrimento enumeravel.
E 5.29. Mostre que para todo conjunto X, X com a topologia co-enumeravel e um espaco
deLindel
of.
E 5.30. Se YSe uma reuni
ao enumer
avel de subespacos de Lindelof, ent
ao Y e de Lindelof
(isto e, se Y = nN Yn e cada Yn e de Lindelof, ent
ao Y e de Lindelof ).
As demonstracoes dos proximos dois resultados sao analogas ao caso compacto:
Lema 5.60. Seja X um espaco topologico e B uma base de X. Entao X e de Lindelof se

e somente se todo recobrimento aberto C B de X, possui um sub-recobrimento enumer
avel.
Teorema 5.61. Todo subespaco fechado de um espaco de Lindelof e de Lindelof.
Temos entao que:
rio 5.62. Se X um espaco satisfazendo o segundo axioma de enumerabilidade,
Corola
ent
ao X e de Lindelof.
Demonstracao: Se B e uma base enumeravel, entao a condicao do lema acima esta satisfeita,
pois toda cobertura aberta de X contida em B e enumeravel. Portanto X e de Lindelof.
Exemplo 5.63. R e um espaco de Lindelof.

5. ESPAC
OS DE LINDELOF
69
Mostramos que todo espaco compacto Haursdorff e normal. Para espacos de Lindelof
precisamos supor a regularidade:
Teorema 5.64. Todo espaco de Lindelof regular e normal.
Demonstracao: Basta modificar a demonstracao de que um espaco regular satisfazendo o
segundo axioma de enumerabilidade e normal. As modificacoes ficam como exerccio.

o 5.65. Uma famlia F de subconjuntos de X tem a propriedade da interseccao
Definic
a
T
enumer
avel se para cada subfamlia enumeravel F F, temos que F 6= .
Os teoremas a seguir tem demonstracoes analogas ao caso compacto e sao deixadas como
exerccio:
Teorema 5.66. Um espaco X e de Lindelof se e somente se toda famlia de fechados

com a propriedade da interseccao enumer
avel tem interseccao n
ao-vazia.
Teorema 5.67. Se existe uma funcao contnua sobrejetora de um espaco de Lindelof X
sobre um espaco Y , ent
ao Y e de Lindelof.
Teorema 5.68. O produto cartesiano de um espaco compacto X e um espaco de Lindelof
Y e um espaco de Lindelof.
Demonstracao: Analogamente ao caso do produto de dois compactos, podemos tomar uma
cobertura formada por abertos basicos de X Y . Entretanto, temos que tomar cuidado se
vamos primeiro trabalhar com uma cobertura do espaco X ou do espaco Y (pois precisamos
usar que a intersecao finita de abertos e aberta. Os detalhes ficam como exerccio.

Exemplo 5.69. A reta de Sorgenfrey
e de Lindel
of.
De fato, seja X a reta de Sorgenfrey e seja B a base de X consistindo dos abertos basicos
da forma [x, y[, onde x < y. Seja C B um recobrimento de X. Para mostrarmos que
X e de
S Lindelof, basta mostrarmos que C possui um sub-recobrimento enumeravel. Seja
Y = {]x, y[: [x, y[ C}. Consideremos em Y a topologia de subespaco da reta real R.
Temos entao que Y satisfaz o segundo axioma de enumerabilidade e portanto e um espaco
de Lindelof. Como {]x, y[: [x, y[ S
C} e uma cobertura aberta
S de Y , existe uma subfamlia
enumeravel C de C tal que Y {]x, y[: [x, y[ C } C . Mostraremos que X \ Y e

um subconjunto enumeravel de X. De fato, para cada a X \ Y , existe b(a) e c(a) tal que
b(a) e racional e b(a) ]a, c(a)[ e [a, c(a)[ C. Afirmamos que se a 6= a , entao b(a) 6= b(a ).
De fato, sem perda de generalidade, assumimos que a < a . Se b(a) = b(a ), teramos que
a ]a, b(a )[=]a, b(a)[]a, c(a)[ Y , contradicao. Portanto, existe uma funcao injetora de
X \ Y no conjunto dos racionais, o que implica que X \ Y eSenumeravel. Podemos entao
achar uma subfamlia enumeravel C de C tal que X \ Y C . Ou seja, C C e um
sub-recobrimento enumeravel de C. Logo X e Lindelof.
o 5.70. A reta de Sorgenfrey e um espaco Lindelof regular satisfazendo o
Observac
a
primeiro axioma de enumerabilidade que nao satisfaz o segundo axioma de enumerabilidade.
Alem disso, como X X e um espaco regular que nao e normal, temos que X X nao
e Lindelof. Com isto, vemos que a propriedade de Lindelof nao e preservada por produtos
finitos.
70
5. ESPAC
OS COMPACTOS
6. Espa
cos enumeravelmente compactos
Na secao anterior, vimos uma generalizacao de compacidade, onde o sub-recobrimento
obtido era enumeravel ao inves de finito. Nesta secao veremos uma generalizacao em que
apenas se espera sub-recobrimentos finitos de coberturas abertas enumeraveis.
o 5.71. Seja X um espaco topologico. Dizemos que X e enumeravelmente
Definic
a
compacto se toda cobertura aberta enumeravel de X possui um sub-recobrimento finito.
Das definicoes de compacto, Lindelof e enumeravelmente compacto, segue que um espaco
e compacto se e somente se e de Lindelof e enumeravelmente compacto.
o 5.72. Os russos chamavam os espacos compactos de espacos bicompactos,
Observac
a
pois possui duas propriedades de compacidade: Lindelof e enumeravelmente compacto (que
era a propriedade conhecida como compacidade).
Fica a cargo do leitor verificar o teorema abaixo, que e analogo ao resultado para a
compacidade:
Teorema 5.73. Para um espaco topologico X as seguintes propriedades s
ao equivalentes:
(i) X e enumeravelmente compacto.
(ii) Toda famlia enumer
avel de fechados de X com a propriedade da intersecao finita
possui intersecao n
ao-vazia..
(iii) Toda famlia enumer
avel decrescente de fechados n
ao-vazios F1 F2 . . . de X possui
intersecao n
ao-vazia.
Veremos agora que a compacidade enumeravel pode ser caracterizada pela existencia de
pontos de acumulacao de conjuntos enumeraveis infinitos.
Teorema 5.74. Seja X um espaco topologico T1 . Entao s
ao equivalentes:
(a) X e enumeravelmente compacto.
(b) todo subconjunto infinito enumer
avel de X possui um ponto de acumulacao.
Demonstracao: Suponhamos que X e enumeravelmente compacto T1 e que existe um conjunto A infinito enumeravel sem ponto de acumulacao em X. Entao para todo x X, existe
uma vizinhanca aberta V de x tal que V (A \ {x}) = . Emparticular, temos que A e
fechado.
Para cada x A, seja Vx uma vizinhanca aberta de x tal que Vx A = {x}. Temos entao
que {X \ A} {Vx : x A} e um recobrimento enumeravel de X. Portanto ele admite um
subrecobrimento finito, o que e uma contradicao pois A e infinito e Vx A = {x}, para todo
x A.
Suponhamos agora que temos (b) mas que X nao e enumeravelmente compacto. Entao
existe uma cobertura aberta enumeravel U = {Un : n N}
Sn de X que nao possui subrecobrimento finito. Logo, para cada n N, temos que S
X \ i=1 Ui e nao-vazio. Portanto,
para cada n N, podemos fixar um elemento xn X \ ni=1 Ui tal que xn 6= xk , para todo
k < n. Vamos mostrar que A = {xn : n N} nao possui um ponto de acumulacao. Como
X e T1 , x e um ponto de acumulacao de A se e somente se para toda vizinhanca U de x,
U A e infinito. Note que, pela escolha dos xn , A e infinito.
Se x X, existe m N tal que x Um e portanto, UmSe uma vizinhanca aberta
de x. Pela construcao de A, se l > m, temos que xl X \ li=1 Ui X \ Um . Entao
6. ESPAC
OS ENUMERAVELMENTE COMPACTOS
71
{n N : xn U } {1, . . . , m} e um conjunto finito. Como x e um ponto arbitrario,

concluimos que X nao possui ponto de acumulacao.

E 5.31. Seja X um espaco topologico T1 . Mostre que X e enumeravelmente compacto
se, e somente se, X n
ao tem um subespaco enumer
avel infinito que seja discreto e fechado.
Os seguintes resultados ficam como exerccio:
Teorema 5.75. Seja X um espaco topologico e Y X um subespaco de X. Entao Y e
enumeravelmente
avel
S compacto se e somente se para cada colecao enumer
S U de abertos de
X tal que se U Y ent
ao existe uma subcolecao U U finita tal que U Y .
Teorema 5.76. Todo subconjunto fechado de um espaco enumeravelmente compacto e

enumeravelmente compacto.
No caso de espacos T2 , tnhamos que todo subespaco compacto era fechado. Porem, isto
nao e valido em geral para subespacos enumeravelmente compactos, mesmo que o espaco
seja completamente regular.
Exemplo 5.77. Seja I = [0, 1] e R o conjunto dos n

umeros reais. Vamos
Q definir um
subespaco denso (portanto nao fechado) e enumeravelmente compacto de X = tR It , onde
It = I, para todo t R. Note que pelo teorema de Tychonoff X e compacto. Teremos
assim um subespaco enumeravelmente compacto nao fechado (nao compacto) de um espaco
compacto.
Seja Y o subespaco de X formado pelos pontos {xt }tR de X tais que o conjunto {t
R : xt 6= 0} e no maximo enumeravel.
Pela definicao de abertos basicos da topologia produto, segue que Y e denso em X. Como
Y e um subconjunto proprio de X, temos que Y nao e fechado (e nao e compacto) em X.
Resta mostrar que Y e enumeravelmente compacto.
Seja A um subconjunto infinito enumeravel de Y . Pela definicao de Y , existe um conjunto
R0 R enumeravel tal que t (x) = 0 para todo x A e para todo t R \ R0 , onde t
e a proje
Q cao de X sobre It . Temos entao que A e um subconjunto do produto cartesiano
Z = tR Xt , onde Xt = I se t R0 e Xt = {0} se t R\R0 . Pelo teorema de Tychonoff, Z e
compacto e portanto A tem um ponto de acumulacao em Z. Mas temos tambem que Z Y .
Portanto, A tem um ponto de acumulacao em Y , o que mostra que Y e enumeravelmente
compacto.
O proximo teorema tambem e analogo ao caso compacto:
Teorema 5.78. Seja X um espaco enumeravelmente compacto e f : X Y uma
funcao contnua. Entao f (X) e enumeravelmente compacto.
E 5.32. A imagem de toda funcao contnua de um espaco enumeravelmente compacto X
na reta real R e limitada e fechada.
De modo geral, produto de espacos enumeravelmente compactos nao precisa ser enumeravelmente compacto. Mas temos o seguinte resultado, cuja demonstracao iremos apenas
esbocar:
Teorema 5.79. Seja X um espaco enumeravelmente compacto T1 e Y um espaco compacto T1 . Entao X Y e enumeravelmente compacto.
72
5. ESPAC
OS COMPACTOS
Demonstracao: Seja A X Y um subconjunto infinito enumeravel. Basta mostrarmos

que A possui um ponto de acumulacao em X Y . Sejam X e Y as projecoes de X Y
em X e Y respectivamente.
1
(i) Suponha que existe x X tal que X
({x}) A e infinito. Neste caso, temos que
B = Y (A {x} Y ) e infinito, portanto B possui um ponto de acumulacao y Y (Y
e enumeravelmente compacto). Fica a cargo do leitor verificar que (x, y) e um ponto de
acumulacao de A.
similar a (i) e fica como
(ii) Suponha que existe y Y tal que Y1 ({y}) A e infinito. E
exerccio.
(iii) Suponha agora que nem (i) nem (ii) estao satisfeitas. Verifique que existe um subconjunto infinito D A tal que (x, y), (x, y ) D y = y e (x , y), (x, y) D x = x.
Da X (D) e infinito e portanto existe um ponto x0 X tal que x0 e ponto de acumulacao
de X (D). Seja U o conjunto de todas as vizinhancas abertas de x0 . Entao para cada U U,
T
1
seja Y (U ) = Y (X
(U ) D). Verifique que {Y (U ) \ F : U U F Y , finito} 6= e
fixe y0 neste conjunto. Mostre que (x0 , y0 ) e um ponto de acumulacao de A.

7. Famlias localmente finitas e paracompacidade
o 5.80. Seja X um espaco topologico e F uma famlia de subconjuntos de X.
Definic
a
Dizemos que F e localmente finita se para cada ponto x X existe uma vizinhanca aberta
U de x tal que {F F : F U 6= } e um conjunto finito. Se F e uma cobertura de X que
e uma famlia localmente finita, diremos que F e uma cobertura localmente finita.
o 5.81. Seja U uma famlia localmente finita de subconjuntos de X. Entao
Proposic
a
a famlia {U : U U} e localmente finita.
Demonstracao: Exerccio. Note que se W e uma vizinhanca aberta de x e F W = , entao

W F = .
E 5.33. Seja X um espaco topologico T1 . Mostre que as seguintes afirmacoes s
ao equivalentes:
(a) X e enumeravelmente compacto.
(b) Toda famlia localmente finita de subconjuntos n
ao-vazios de X e finita.
Vamos agora ver a definicao de paracompacidade, uma nocao que generaliza compacidade
e metrizabilidade (a topologia estar associada a uma metrica):
o 5.82. Seja X um espaco topologico
Definic
a
S e U um recobrimento aberto de X.
Dizemos uma famlia F e um refinamento de X, se F = X e, para cada F F, existe um
aberto U U tal que F U . Neste caso, diremos que U admite um refinamento F. Se os
membros da famlia F sao abertos (fechados) de X entao dizemos que F e um refinamento
aberto (fechado).
o 5.83. Dizemos que um espaco topologico e paracompacto se todo recobrimenDefinic
a
to aberto de X admite um refinamento aberto localmente finito.
Segue direto da definicao de paracompacidade que todo espaco compacto e paracompacto.
Todo espaco metrico e tambem paracompacto, mas a demonstracao deste fato utiliza inducao
transfinita, e por isso nao a faremos aqui.
7.
FAMILIAS LOCALMENTE FINITAS E PARACOMPACIDADE
73
Exemplo 5.84. Todo espaco discreto e paracompacto (mas um espaco discreto e compacto se e somente se ele e finito).
Teorema 5.85. Todo espaco regular de Lindelof e paracompacto.
Demonstracao: Seja X um espaco de Lindelof regular e seja U uma cobertura aberta de X.
Como X e regular, para cada x X existem abertos Ux e Vx de X tais que x Ux Ux Vx
e Vx esta contido em algum membro de U. Como {Ux : x X} e uma cobertura aberta de
X e X e Lindelof, existe uma subcobertura enumeravel {Uxi : i N}.
Os conjuntos W1 = Vx1 e Wi = Vxi \ (Ux1 . . . Uxi1 ), para i 2 sao conjuntos abertos
e formam uma cobertura de X. De fato, se x X, entao podemos tomar o menor i tal que
x Vxi e teremos que x Wxi . Alem disso, a cobertura {Wi : i N} e um refinamento de
U e e localmente finita, pois Uxj Wi = para i > j.

E 5.34. Se X e paracompacto e F e um subconjunto fechado de X, ent
ao o subespaco
topologico F e paracompacto.
Lema 5.86.
S Seja F uma famlia localmente finita de subconjuntos de um espaco topologico
X. Entao {F : F F} e um conjunto fechado.
S
S
S
Demonstracao: Vamos mostrar que {F : F F} e o fecho de F. Seja x F.
Como F e localmente finita, existe uma vizinhanca aberta U de x tal que F0 = {F F :
S
S
S
U F 6= } e finita. Portanto x F0 = {F : F F0 } {F : F F}. Logo,
S
S
F {F : F F}. A outra inclusao e imediata.
Lema 5.87. Seja X um espaco paracompacto e A e B dois subconjuntos fechados disjuntos

de X. Se para cada x B existem abertos Ux e Vx tais que A Ux , x Vx e Ux Vx = ,
ent
ao existem abertos U e V tais que A U , B V e U V = .
Demonstracao: Como B e fechado, a famlia {Vx : x B} {X \ B} e uma cobertura aberta

de X. Logo, pela paracompacidade de X, a cobertura acima possui um refinamento aberto
localmente finito {Ws : s
S S}. Seja S0 = {s S : Ws B 6= }. SEntao A Ws = para
cada s S0 e B V = sS0 Ws . Pelo lema acima, temos que sS0 Ws e um conjunto
S
facil verificar que U
fechado. Entao, temos que U = X \ sS0 Ws e um conjunto aberto. E
e V satisfazem as propriedades requeridas.

Teorema 5.88. Todo espaco X de Hausdorff e paracompacto e normal.
Demonstracao: Como X e de Hausdorff, para cada ponto x X e cada fechado F X

que nao contem x, podemos aplicar o lema acima para A = {x} e B = F e obter abertos
disjuntos U e V contendo {x} e F respectivamente. Logo, X e regular.
Tomemos agora um par de fechados disjuntos A e B de X. Pela regularidade de X,
podemos novamente aplicar o lema acima e assim obter abertos disjuntos U e V contendo A
e B respectivamente. Portanto, X e normal.

Exemplo 5.89. A reta de Sorgenfrey e paracompacta (pois e regular e de Lindelof), mas
o produto dela por ela mesma nao e nem normal. Temos entao que o produto de espacos
paracompactos Hausdorff nao e necessariamente paracompacto.
Entretanto temos que:
Teorema 5.90. O produto de um espaco compacto e um espaco paracompacto e paracompacto.
74
5. ESPAC
OS COMPACTOS
o 5.91. Uma famlia {fs : s S} de funcoes contnuas de um

Definic
a
Pespaco X no
intervalo fechado [0, 1] e chamada de particao da unidade sobre o espaco X se sS fs (x) = 1
para cada x X.
A u
ltima igualdade na definicao acima implica que, para cada x0 X, teremos que
fs (x0 ) 6= 0 somente para uma quantidade enumeravel de ndices. Temos ainda que a serie
P
i=1 fsi (x0 ), onde {s1 , s2 , . . .} = {s S : fs (x0 ) 6= 0}, converge para 1.
o 5.92. Dizemos que uma particao da unidade {fs : s S} em um espaco

Definic
a
topologico X e localmente finita se a cobertura {fs1 (]0, 1]) : s S} e localmente finita.
Note que neste caso teremos que para cada x X existe uma vizinhanca U de x tal que
{s S : fs U nao e constantemente igual a 0} e finita.
Em particular, para cada ponto
P
x X, temos que S = {s S : fs (x) 6= 0} e finito e sS fs (x) = 1.
o 5.93. A famlia {fs1 ((0, 1]) : s S} e de fato uma cobertura, pois para
Observac
a
cada x X, existe s S tal que fs (x) 6= 0.
o 5.94. Uma particao da unidade {fs : s S} sobre um espaco X e subordiDefinic
a
nada a uma cobertura A de X se a cobertura aberta {fs1 (]0, 1]) : s S} do espaco X e um
refinamento de A.
Vamos agora caracterizar espacos paracompactos Hausdorff em termos da particao da
unidade. Primeiro, precisaremos de dois lemas:
Lema 5.95. Se toda cobertura aberta de um espaco regular X possui um refinamento
localmente finito (consistindo de conjuntos arbitrarios), ent
ao para cada cobertura aberta
{Us : s S} do espaco X existe uma cobertura fechada localmente finita {Fs : s S} de X
tal que para cada s S temos Fs Us .
Demonstracao: Pela regularidade de X existe uma cobertura aberta W do espaco X tal que
{W : W W} e um refinamento de {Us : s S}. Tome um refinamento localmente finito
{At : t T } da cobertura W. Para cada t T , escolha s(t) S tal que At Us(t) e para
S
cada s S, seja Fs = s(t)=s At . Como {At : s(t) = s} e localmente finita, Fs e um conjunto
facil ver que, pela definicao de Fs , Fs Us para cada s S. Portanto resta
fechado. E
apenas mostrarmos que {Fs : s S} e localmente finita. Seja x X. Como {At : t T }
e localmente finita, existe uma vizinhanca U de x tal que T = {t T : U At 6= } e
finito. Pela definicao de Ft e por termos associado a t um u
nico s(t), temos que {s(t) : t
T } = {s S : Fs U 6= } e um subconjunto finito de S. Logo, {Fs : s S} e localmente

finita.

o 5.96. Note que se a cobertura {At : t T } na demonstracao anterior
Observac
a
S
consiste de subconjuntos abertos, entao o conjunto Vs = s(t)=s At e um conjunto aberto
e Vs = Fs . Logo, se X e um espaco paracompacto Hausdorff (e portanto regular), temos
que para cada cobertura aberta {Us : s S} existe uma cobertura aberta localmente finita
{Vs : s S} tal que para cada s S temos Vs Us .
Lema 5.97. Para cada cobertura aberta U de um espaco X, se existe uma particao da
unidade {fs : s S} subordinada a U, ent
ao U possui um refinamento aberto localmente
finito.
7.
75
Demonstracao: Seja {fs : s S} uma particao da unidade subordinada a U. Vamos primeiro

mostrar que para cada funcao contnua g : X [0, 1] e para cada x0 X tal que g(x0 ) > 0,
existe uma vizinhanca aberta U de x0 e um subconjunto finito S S tal que
para cada s S \ S e para cada x U temos fs (x) < g(x).
P
De fato, existe um subconjunto finito S S tal que 1 sS fs (x0 ) < g(x0 ). Logo, pela
continuidade das fun
coes acima, existe um aberto U de x0 tal que para cada x U temos
P
P
sS\S fs (x) = 1
sS fs (x) < g(x). Logo, para cada t S \ S e para cada x U temos
ft (x) < g(x).
Vamos agora mostrar que a funcao sup{fs : s S} e contnua. De fato, para cada
x0 X, existe s0 S tal que fs0 (x0 ) > 0. Aplicando () para x0 e fs0 , obtemos S finito e U
vizinhanca aberta de x0 tal que para cada s S \ S e para cada x U temos fs (x) < fs0 (x).
Portanto para cada x U temos sup{fs : s S}(x) = max{fs : s S }(x). Logo,
sup{fs : s S} U e contnua. Fica a cargo do leitor verificar que sob estas condicoes
f = sup{fs : s S} : X [0, 1] e contnua.
Para cada s S, temos que o conjunto Vs = {x X : fs (x) > 12 f (x)} e um aberto, e
a famlia V = {Vs : s S} e um refinamento de U (pois Vs fs1 (]0, 1])). Alem disso, se
tomarmos g = 21 f em (), vemos que V e uma famlia localmente finita (para cada x X,
temos que f (x) 6= 0).

()
Podemos agora mostrar a caracterizacao para espacos paracompactos usando particao

da unidade:
Teorema 5.98. Para cada espaco T1 X, as seguintes condicoes s
ao equivalentes:
(i) X e paracompacto Hausdorff.
(ii) Toda cobertura aberta de X possui uma particao da unidade localmente finita subordinada a ela.
(iii) Toda cobertura aberta do espaco X possui uma particao da unidade subordinada a
ela.
Demonstracao:
(i) (ii). Assumimos que X e paracompacto Hausdorff e consideramos uma cobertura
aberta A de X. Seja U = {Us : s S} um refinamento aberto localmente finito de A. Pelo
lema 5.95, existe uma cobertura fechada {Fs : s S} localmente finita do espaco X tal que
para cada s S temos Fs Us . Pelo lema de Urysohn, para cada s S podemos encontrar
uma funcao contnua gs : X [0, 1] tal que gs (X \ UP
lia
s ) = {0} e gs (Fs ) = 1. Como a fam
U e localmente finita, a funcao g definida por g(x) = sS gs (x) para cada x X esta bem
definida e e contnua (exerccio). Fica a cargo do leitor verificar que a famlia {fs : s S}
definida por fs = ggs e uma particao da unidade localmente finita subordinada a A.
Como a implicacao (ii) (iii) e obvia, para terminarmos a demonstracao do teorema,
basta mostrarmos que (iii) (i). Contudo, pelo lema 5.97, basta mostrarmos que a condicao
(iii) e o fato de X ser T1 implicam que X e Hausdorff. Considere um par de pontos distintos
x1 , x2 X. Como X e T1 , os conjuntos unitarios sao fechados, e U = {X \ {x1 }, X \ {x2 }}
e uma cobertura aberta de X. Pela propriedade (iii), U possui uma particao {fs : s S}
subordinada a ela. Tome s0 S tal que fs0 (x1 ) = a > 0. Como fs1
((0, 1]) 6 X \ {x1 } e
0
1
{fs : s S} e subordinada a U, temos que fs0 ((0, 1]) X \ {x2 }, ou seja, fs0 (x2 ) = 0.
([0, a2 )). Entao, para cada i {1, 2}, temos que Ui e uma
Seja U1 = fs1
(( a2 , 1]) e U2 = fs1
0
0
76
5. ESPAC
OS COMPACTOS
vizinhanca aberta de xi e U1 U2 = . Como x1 e x2 eram arbitrarios, temos que X e

Hausdorff e a demonstracao esta terminada.

Veremos agora algumas caracterizacoes para espacos paracompactos que envolvem outros
tipos de refinamentos para um dado recobrimento aberto do espaco.
Lema 5.99. Se toda cobertura aberta de um espaco topologico X possui um refinamento
fechado localmente finito, ent
ao toda cobertura aberta de X possui um refinamento aberto
localmente finito.
Demonstracao: Seja U uma cobertura aberta de X e seja A = {As : s S} um refinamento
fechado localmente finito de U. Para cada x X, fixemos uma vizinhanca aberta Vx de x
tal que {s S : As Vx 6= } seja finito. Seja F um refinamento fechado
localmente finito
S
da cobertura aberta {Vx : x X} e para cada s S seja Ws = X \ {F F : F As = }.
Entao Ws e um conjunto aberto e contem As . Alem disso, para cada s S e para cada
F F temos que
() Ws F 6= se e somente se As F 6= .
Para cada s S fixemos U (s) U tal que As U (s) e seja Vs = Ws U (s). Da para
cada s S, temos que As Vs e portanto a famlia {Vs : s S} e um refinamento aberto
da cobertura U. Como para cada s S temos Vs Ws , para mostrarmos que {Vs : s S}
e localmente finito, basta mostrarmos que {Ws : s S} e localmente finito.
Para isso, fixemos x X. S
Como F e localmente finito, F = {F F : x F } e um
subconjunto finito. Note que F e uma vizinhanca (nao necessariamente aberta) de x.
Como F e refinamento de {Vx : x X}, e como cada Vx intercepta somente um n
umero
finito de elementos de A, temos que cada SF F intecepta somente um n
umero finito de
elementos de A. Logo, S = {s S : As F 6= }
S e finito.
Pela propriedade (), temos
que
{s
S
:
W
F 6= } = S e finito.
s
S
Como x e arbitrario, e F e vizinhanca de x, temos que {Ws : s S} e localmente
finito e {Vs : s S} e um refinamento aberto localmente finito de U.

Vamos ver agora mais algumas caracterizacoes de espacos paracompactos Hausdorff:
o 5.100. Uma cobertura F e -localmente finita, se existe para cada n N
Definic
a
S
uma subfamlia Fn F localmente finita tal que
n=0 Fn = F.
Lema 5.101. Toda cobertura aberta -localmente finita V de um espaco topologico X

possui um refinamento localmente finito.
S
Demonstracao: Seja V =
e uma famlia de abertos
i=0 Vi , onde cada Vi = {Vs : s Si }
localmente finita tal que para cada i, j N distintos temos Si Sj = . Para cada s0 Si
seja
[ [
As0 = Vs0 \
Vs ;
k<i sSk
a famlia A = {As : s S}, onde S = i=1 Si , cobre X (verifique) e e um refinamento de

V. Vamos ver agora que V e localmente finita. Fixemos
S x X.
Denotaremos por k o menor inteiro tal que x sSk Vs , e seja s0 Sk tal
S que x Vs0 .
Entao Vs0 e uma vizinhanca que nao intercepta As , qualquer que seja s i>k Si . Como
as famlias Vi sao localmente finitas, para cada i k, existe uma vizinhanca aberta Ui de
7.
77
x tal que Ui intercepta somente um n

umero finito de elementos da famlia Vi . A vizinhanca
U1 . . . Uk Vs0 de x intercepta somente um n
umero finito de elementos da famlia A.
Teorema 5.102. Para cada espaco regular X as seguintes condicoes s
ao equivalentes:
(i) X e paracompacto;
(ii) Toda cobertura aberta de X possui um refinamento aberto -localmente finito;
(iii) Toda cobertura aberta de X possui um refinamento localmente finito;
(iv) Toda cobertura aberta de X possui um refinamento fechado localmente finito.
E 5.35. Dizemos que um espaco X e -compacto se X pode ser escrito como uma uni
ao
enumer
avel de subespacos compactos. Mostre que o produto de um espaco paracompacto com
um espaco -compacto e paracompacto. Use esse fato para concluir que o produto da reta de
Sorgenfrey com a reta real e paracompacto.
E 5.36. Todo espaco enumeravelmente compacto paracompacto e compacto.
(Sugestao: use a equivalencia de compacidade enumer
avel envolvendo famlias localmente
finitas)
Lema 5.103. Toda famlia localmente finita de subconjuntos n
ao-vazios de um espaco de
Lindelof X e enumer
avel.
Demonstracao: Seja A uma famlia localmente finita de subconjuntos nao-vazios de X.
Para cada x X escolha uma vizinhanca aberta Ux de x que intercepta somente um n
umero
finito de elementos de A. Pela propriedade de Lindelof, tome uma subfamlia
S enumeravel
{Vxi : i N} {Vx : x X} cuja reuniao e X. Entao, temos que A = iN {A A :
A
S Vxi 6= } e uma reuniao enumeravel de conjuntos finitos e portanto e enumeravel. Como
{Vxi : i N} = X, temos que A = A e enumeravel.

Teorema 5.104. Se um espaco paracompacto Hausdorff X contem um subespaco denso
A que possui a propriedade de Lindelof, ent
ao X e Lindelof.
Demonstracao: Seja U = {Us : s S} um recobrimento aberto de X. Pela observacao 5.96

existe um refinamento aberto localmente finito {Vs : s S} tal que para cada s S temos
Vs Us . Como W = {W : s S tal que W = A Vs } e uma famlia localmente finita de
abertos nao-vazios de A, pelo lema acima, W e enumeravel,
S portanto existe S0 enumeravel
tal que W = {W : s S0 tal que W = A Vs }. De A = sS0 (A Vs ), segue que
X=A=
sS0
(A Vs ) =
sS0
A Vs
sS0
Vs
Us ;
sS0
deste modo U possui uma subcobertura enumeravel. Como U e uma cobertura arbitraria,
temos que X e Lindelof.

rio 5.105. Todo espaco paracompacto Haudorff separavel e Lindelof.
Corola
E 5.37. Seja X um espaco paracompacto Hausdorff. Mostre que se G X e uma reuni
ao
enumer
avel de subconjuntos fechados, ent
ao G e paracompacto.
CAPTULO 6
Espacos m
etricos
1. Espa
cos m
etricos
Primeiro recordaremos a definicao de uma metrica e de um espaco metrico.
o 6.1. Um espaco metrico e um par (M, d), onde M e um conjunto e d e uma
Definic
a
funcao do conjunto M M em R+ (o conjunto dos reais nao negativos) satisfazendo as
seguintes propriedades:
(M1) para todo x, y M , d(x, y) = 0 se e somente se x = y.
(M2) para todo x, y M temos que d(x, y) = d(y, x).
(M3) para todo x, y e z em M , d(x, z) d(x, y) + d(y, z).
o 6.2. Seja (M, d) um espaco metrico, x um elemento de M e um n
Definic
a
umero real
positivo. Chamamos de bola aberta de centro x e raio ao conjunto { y M : d(x, y) < }, o
qual denotaremos por Bd (x, ) (ou simplesmente B(x, ) quando estiver claro qual e a metrica
utilizada). Chamamos de bola fechada de centro x e raio ao conjunto { y M : d(x, y) }
(denotaremos por Bd [x, ] ou simplesmente B[x, ] quando nao houver ambiguidade).
o 6.3. Seja (M, d) um espaco metrico e Td uma colecao de subconjuntos de M
Definic
a
definida do seguinte modo:
U Td se e somente se U M e para cada x U existe > 0 tal que B(x, ) U.
Dizemos que Td e a topologia associada à metrica d.
o 6.4. Um espaco topologico X e dito metrizavel se existe um metrica d em
Definic
a
X tal que a topologia induzida por d coincide com a topologia original de X.
o 6.5. Duas metricas d1 e d2 sobre um conjunto X sao ditas equivalentes se
Definic
a
elas induzem a mesma topologia.
Teorema 6.6. Para todo espaco metrico (X, d), existe uma metrica d1 em X equivalente
a d e limitada por 1.
Demonstracao: Basta definir d1 (x, y) = min{1, d(x, y)}, para todo x, y X.

Como todo espaco metrico satisfaz o primeiro axioma da enumerabilidade temos que:
o 6.7. Seja X um espaco metrico. Um ponto x pertence ao fecho de um
Proposic
a
subconjunto A de X se e s
o se existe uma sequencia em A convergindo para x.
Podemos entao mostrar que:
o 6.8. Duas metricas s
Proposic
a
ao equivalentes se e s
o se elas induzem a mesma
convergencia.
Demonstracao: Sejam d e d1 duas metricas sobre X. Se d e d1 sao equivalentes entao e
claro que elas induzem a mesma convergencia. Por outro lado, se d e d1 induzem a mesma
79

6. ESPAC
OS METRICOS
80
convergencia, usando a proposicao acima, podemos mostrar que as topologias associadas a

elas vao ter os mesmos fechados, e portanto elas sao iguais.

o 6.9. Seja f uma funcao de um espaco metrico (X, d) em um espaco metrico
Proposic
a
(Y, d ). Entao f e contnua se e s

o se para todo x X, para todo > 0, existe > 0 tal que
d(x, y) < implica d (f (x), f (y)) < .
o 6.10. A distancia d(x, A) de um ponto x a um conjunto nao vazio A em um
Definic
a
espaco metrico (X, d) e definida por
d(x, A) = inf {d(x, a) : a A}.
Analogamente, a distancia entre dois subconjuntos nao vazios A e B de um espaco metrico
(X, d) e definida por
d(A, B) = inf {d(a, b) : a A e b B}.
Teorema 6.11. Para todo conjunto A em um espaco metrico (X, d), a funcao que associa
cada ponto x X a dist
ancia d(x, A) e uma funcao contnua.
Demonstracao: Use que, para todo x, y em X, vale a desigualdade
|d(x, A) d(y, A)| d(x, y).

rio 6.12. Para todo conjunto A em um espaco metrico (X, d), temos
Corola
A = {x X : d(x, A) = 0}.
Teorema 6.13. Todo espaco metrico e normal.
Demonstracao:
Primeiro note que todo espaco metrico e T1 . Seja X um espaco metrico e sejam A e B
dois fechados nao vazios disjuntos em X. Seja f : X [0, 1] a funcao dada por
d(x, A)
.
f (x) =
d(x, A) + d(x, B)
Entao f e contnua, f (x) = 0, para todo x A e f (x) = 1, para todo x B.

o 6.14. Todo subespaco de um espaco metrico e um espaco metrico.
Proposic
a
o 6.15. O produto finito de espacos metricos e um espaco metrico.

Proposic
a
Demonstracao: Se (X, d) e (Y, d ) sao dois espaco metricos, podemos definir em X Y a
metrica
q
d(a, b) = d2 (x1 , y1 ) + d 2 (x2 , y2 ),
onde a = (x1 , x2 ) e b = (y1 , y2 ).

Fica a cargo do leitor mostrar que esta funcao e de fato uma metrica e que induz a
topologia produto em X Y . Alem disso, faca o caso geral para um produto finito qualquer.

Temos tambem que:

2. ESPAC
OS METRICOS
COMPACTOS E COMPLETOS
81
Teorema 6.16. O produto enumer

avel de espacos metricos e metrico. Por outro lado, o
produto n
ao enumer
avel de espacos topologicos com mais de um ponto nunca ser
a metrizavel.
Recordaremos o seguinte resultado visto no captulo 2:
o 6.17. Se X e um espaco metrico, ent
Proposic
a
ao X satisfaz o segundo axioma da
enumerabilidade se e s
o se X e separavel.
2. Espa
cos m
etricos compactos e completos
A compacidade e mais facilmente verificada em espacos metricos. Temos as seguintes
equivalencias:
Teorema 6.18. Para um espaco metrico X s
ao equivalentes:
(i) X e compacto;
(ii) Todo subconjunto infinito de X tem ponto de acumulacao;
(iii) Toda sequencia de X tem subsequencia convergente.
Vamos agora definir espacos metricos completos.
o 6.19. Seja (X, d) um espaco metrico e {xi } uma sequencia de pontos de X.
Definic
a
Dizemos que {xi } e uma sequencia de Cauchy se para todo > 0, existe um n
umero natural
k tal que d(xi , xk ) < , sempre que i > k.
o 6.20. Um espaco metrico (X, d) e dito completo se toda sequencia de Cauchy
Definic
a
converge.
Podemos sempre completar um espaco metrico:
Teorema 6.21. Todo espaco metrico e isomorfo a um subespaco denso de um espaco
metrico completo.

Alas, Junqueira, Passos, Tomita - Topologia Geral Livro

Enviado por

Direitos autorais:

Formatos disponíveis

Alas, Junqueira, Passos, Tomita - Topologia Geral Livro

Enviado por

Dados do documento

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Alas, Junqueira, Passos, Tomita - Topologia Geral Livro

Enviado por

Direitos autorais:

Formatos disponíveis

Topologia Geral

Captulo 2. Espacos topologicos

Captulo 3. Operacoes sobre espacos topologicos.

Captulo 5. Espacos compactos

Captulo 6. Espacos metricos

1. ALGUNS CONCEITOS BASICOS

{x : x Ai para todo i I}.

E 1.10. Em cada um dos tens abaixo, diga quem e

E 1.11. Seja C = {Ai : i I} uma famlia de conjuntos. Mostre que

o 1.4. Sejam A e B dois conjuntos. O complemento de A em relacao a B ,

E 1.13. Sejam A e B dois conjuntos. Mostre que:

E 1.17. Dados A = {x P(N) : 2 x} {x P(N) : 3 x} e B = {x P(N) :

1. ALGUNS CONCEITOS BASICOS

Exemplo 2.5. Topologia discreta. Seja X um conjunto e seja T a colecao de todos

o 2.13. Seja (M, d) um espaco metrico, x um elemento de M e um n

Podemos entao dar a seguinte definicao:

o 2.25. Seja X um espaco topologico e seja x um ponto de X. Dizemos que

Os seguintes exemplos sao deixados como exerccio:

Diversas propriedades de um espaco topologico que estudaremos dependerao apenas de

o 2.33. Seja B uma colecao de subconjuntos de um conjunto X e seja B a

4. FECHO, INTERIOR E FRONTEIRA. CONJUNTOS DENSOS

o 2.43. Seja X um espaco topologico e A X. Entao:

4. FECHO, INTERIOR E FRONTEIRA. CONJUNTOS DENSOS

E 2.35. Mostre que:

E 2.41. Mostre que D e denso em R se, e somente se, D e denso em RS .

Demonstracao: () Segue da Proposicao 2.56.

x X \ X0 , temos f (x) = f (x0 ), ou seja, a menos de um conjunto enumer

o 2.73. Seja X um espaco topologico. Dizemos que X e um espaco T1 se para

O proximo resultado sera utilizado posteriormente:

Vamos agora dar um exemplo de um espaco Hausdorff que nao e regular:

o 2.84. Seja X um espaco topologico. Dizemos que X e um espaco T4 se para

Entao U e um aberto contendo A e V e um aberto contendo B. Para concluirmos a

Teorema 2.87. Todo espaco regular satisfazendo o segundo axioma de enumerabilidade

Seja Un = Un \ ( nm=0 Vm ). Como cada Snm=0 Vm e fechado, Un e um conjunto aberto,

e queSA = A n=1 Un . Portanto A = A n=1 Un = n=1 (A Un ) = n=1 (A Un ) =

Vm \ Un X \ Un X \ Un . De modo analogo, podemos mostrar que a interseccao e vazia

(ii) para cada n, m N se qn < qm , entao Un Um .

o 2.92. No enunciado acima, exigimos que f (A) {0} e f (B) {1}. Se ao

tal que y pertence ao segmento de extremidades x e y . Vamos definir uma funcao fn de L

cada x R \ Q. Como D e um espaco caotico f e contnua. Por Q ser denso e co-denso,

o 3.4. Seja P uma propriedade topologica. Dizemos que P e hereditaria (heDefinic

Por outro lado, ser separavel nao e uma propriedade hereditaria.

F Y = F = F . Portanto y nao e um elemento de F , que e fechado em X. Se X e T3 ,

f de X em [0, 1] tal que f (y) = 0 e f (F ) = {1}. Entao h = f Y e uma funcao contnua

|g(x)| 31 c, para cada x X e

|f0 (x) g(x)| 23 c, para cada x M .

gj (x)| ( 23 )i para cada x M .

Para obter g1 aplicaremos o fato acima para c = 1 e para f0 = iJ f , onde iJ e a inclusao

Vimos um teorema de existencia relacionado `a extensao. Veremos agora um teorema de

rio 3.14. Nenhum espaco normal separavel contem um subconjunto fechado e

o 3.19. De fato B satisfaz as propriedades (1) e (2) da proposicao 2.34 e

E 3.20. Sejam X um conjunto e {Yi : i I} uma famlia de espacos topologicos. Seja

O valor x(s) da funcao x e usualmente denotado por xs e chamado de s-esima coordenada

o 3.22. Seja FQ= {Xs : s S} uma famlia de espacos topologicos. A

E 3.22. Seja {Xn : n = 1, 2, ...} uma famlia enumer

o 3.26. Seja {Xs }sS uma famlia de espacos topologicos e As um subespaco

rio 3.29. Seja {Xs }sS uma famlia de espa

o 3.32. Sejam {Xs : s S} e {Yt : t T } duas famlias de espacos

o 3.33. Quando Xs = X, para todo s S, iremos denotar o espaco produto

E 3.24. Seja {Xs : s S} uma famlia de espacos topologicos TQ