Topologia Geral - Mijuca

Notas de Topologia Geral
Jorge Mujica
Disciplina ministrada no IMECC-UNICAMP

durante o primeiro semestre de 2005
Sumário
1. Teoria de conjuntos................................................................1
2. Espaços métricos....................................................................4
3. Espaços topológicos................................................................7
4. Aderência e interior de um conjunto......................................9
5. Sistemas de vizinhanças........................................................12
6. Bases para os abertos............................................................16
7. Subespaços............................................................................18
8. Funções contı́nuas.................................................................20
9. Produtos infinitos e o axioma da escolha.............................23
10. O espaço produto...............................................................25
11. O espaço quociente.............................................................29
12. Convergência de seqüências................................................32
13. Convergência de redes........................................................34
14. O lema de Zorn e o teorema de Zermelo............................38
15. Convergência de filtros.......................................................42
16. Espaços de Hausdor↵..........................................................47
17. Espaços regulares................................................................50
18. Espaços normais.................................................................52
19. Espaços completamente regulares.......................................58
20. Primeiro e segundo axioma de enumerabilidade.................63
21. Espaços compactos.............................................................69
22. Espaços localmente compactos...........................................76
23. A compactificação de Alexandro↵......................................79
24. A compactificação de Stone-Cech.......................................81
25. Espaços metrizáveis............................................................84
26. Espaços conexos..................................................................87
27. Componentes conexas.........................................................91
28. Espaços conexos por caminhos............................................93
29. Homotopia...........................................................................96
30. O grupo fundamental..........................................................99
31. O grupo fundamental do cı́rculo unitário..........................103
Bibliografia..............................................................................108
1. Teoria de conjuntos
Dados dois conjuntos A e B, diremos que A é subconjunto de B, e escreve-
remos A ⇢ B, se cada elemento de A pertence a B, ou seja se x 2 A implica
x 2 B.
Diremos que A é igual a B, e escreveremos A = B, se A e B tem os mesmos
elementos, ou seja se A ⇢ B e B ⇢ A.
A união, a interseção, e a diferença de dois conjuntos A e B é definida por
A [ B = {x : x 2 A ou x 2 B},
A \ B = {x : x 2 A e x 2 B},
A \ B = {x : x 2 A e x 2
/ B}.
Se estamos considerando subconjuntos de um conjunto fixo X, então o conjunto
X \ A é chamado de complementar de A em X, e é denotado por Ac .
A união e a interseção de uma famı́lia de conjuntos Ai (i 2 I) é definida por
[
Ai = {x : x 2 Ai para algum i 2 I},
i2I
\
Ai = {x : x 2 Ai para todo i 2 I}.
i2I
Dado um conjunto X, P(X) denota o conjunto formado pelos subconjuntos

de X, ou seja
P(X) = {A : A ⇢ X}.
; denota o conjunto vazio. N denota o conjunto dos números naturais, ou
seja o conjunto dos inteiros positivos. Z denota o conjunto dos inteiros. Q
denota o conjunto dos números racionais. R denota o conjunto dos números
reais. C denota o conjunto dos números complexos.
O produto cartesiano X ⇥ Y de dois conjuntos X e Y é o conjunto dos pares
ordenados (x, y) tais que x 2 X e y 2 Y . O produto cartesiano X1 ⇥ ... ⇥ Xn
de n conjuntos X1 ,...,Xn é o conjunto das n-uplas (x1 , ..., xn ) tais que xi 2 Xi
para i = 1, ..., n. Escreveremos X n em lugar de X ⇥ ... ⇥ X (n vezes).
Uma função ou aplicação f de X em Y , denotada por f : X ! Y , é
uma regra que associa a cada elemento x 2 X um único elemento f (x) 2
Y . O conjunto X é chamado de domı́nio de f . O conjunto Y é chamado de
contradomı́nio de f .
f é dita injetiva se f (x1 ) = f (x2 ) implica x1 = x2 . f é dita sobrejetiva se
para cada y 2 Y existe x 2 X tal que f (x) = y. f é dita bijetiva se é injetiva e
sobrejetiva. Se f : X ! Y é bijetiva, a função inversa f 1 : Y ! X é definida
por f 1 (y) = x se f (x) = y.
O gráfico de f é o conjunto
Gf = {(x, y) 2 X ⇥ Y : y = f (x)}.
1
Dados A ⇢ X e B ⇢ Y , a imagem de A e a imagem inversa de B são os
conjuntos
f (A) = {y 2 Y : y = f (x) para algum x 2 A},
f 1
(B) = {x 2 X : f (x) 2 B}.
Dadas duas aplicações f : X ! Y e g : Y ! Z, a aplicação composta
g f : X ! Z é definida por g f (x) = g(f (x)) para todo x 2 X.
Uma relação R num conjunto X é um subconjunto R de X ⇥ X. Com
freqüência escreveremos xRy se (x, y) 2 R.
Uma relação R em X é dita reflexiva se xRx para todo x 2 X. R é dita
simétrica se xRy implica yRx. R é dita transitiva se xRy e yRz implicam
xRz. Diremos que R é uma relação de equivalência se R é reflexiva, simétrica
e transitiva.
Exercı́cios
1.A. Se Ai ⇢ X para cada i 2 I, prove as leis de De Morgan:
[ \
(a) X\ Ai = (X \ Ai ).
i2I i2I
\ [
(b) X\ Ai = (X \ Ai ).
i2I i2I
1.B. Seja f : X ! Y uma aplicação. Dados B ⇢ Y e Bi ⇢ Y para cada

i 2 I, prove que: [ [
(a) f 1 ( Bi ) = f 1 (Bi ).
i2I i2I
\ \
(b) f 1
( Bi ) = f 1
(Bi ).
i2I i2I
(c) f 1
(Y \ B) = X \ f 1
(B).
1.C. Seja f : X ! Y uma aplicação. Dados A ⇢ X e Ai ⇢ X para cada

i 2 I, prove que: [ [
(a) f ( Ai ) = f (Ai ).
i2I i2I
\ \
(b) f( Ai ) ⇢ f (Ai ), com igualdade se f for injetiva.
i2I i2I
(c) f (X \ A) ⇢ Y \ f (A) se f for injetiva.

(c )0
f (X \ A) Y \ f (A) se f for sobrejetiva.
2
1.D. (a) Dê exemplo de uma aplicação f : X ! Y e conjuntos A1 , A2 ⇢ X
tais que f (A1 \ A2 ) 6= f (A1 ) \ f (A2 ).
(b) Dê exemplo de uma aplicação f : X ! Y e um conjunto A ⇢ X tal que
f (X \ A) 6= Y \ f (A).
1.E. Seja f : X ! Y uma aplicação. Dados A ⇢ X e B ⇢ Y , prove que:
(a) A⇢f 1
(f (A)), com igualdade se f for injetiva.
(b) f (f 1
(B)) ⇢ B, com igualdade se f for sobrejetiva.
1.F. (a) Dê exemplo de uma aplicação f : X ! Y e um conjunto A ⇢ X tal

que A 6= f 1 (f (A)).
(b) Dê exemplo de uma aplicação f : X ! Y e um conjunto B ⇢ Y tal que
f (f 1
(B)) 6= B.
1.G. Sejam f : X ! Y e g : Y ! X aplicações tais que g f (x) = x para
todo x 2 X. Prove que f é injetiva e g é sobrejetiva.
3
2. Espaços métricos
2.1. Definição. Seja X um conjunto. Uma função d : X ⇥ X ! R é
chamada de métrica se verifica as seguintes propriedades para x, y, z 2 X:
(a) d(x, y) 0;
(b) d(x, y) = 0 se e só se x = y;
(c) d(x, y) = d(y, x);
(d) d(x, z)  d(x, y) + d(y, z);
A desigualdade (d) é chamada de desigualdade triangular. O par (X, d) é
chamado de espaço métrico. Com freqüência falaremos do espaço métrico X em
lugar do espaço métrico (X, d).
2.2. Exemplos.
(a) X = R, d(x, y) = |x y|.
qP
n
(b) X = Rn , d(x, y) = j=1 (xj yj )2 . Esta é a métrica euclideana.
Pn
(c) X = Rn , d(x, y) = j=1 |xj yj |.
(d) X = Rn , d(x, y) = max{|x1 y1 |, ..., |xn yn |}.
Em (b),(c) e (d), x = (x1 , ..., xn ), y = (y1 , ..., yn ).
(e) Se X é um conjunto qualquer, então a métrica d : X ⇥ X ! R definida
por d(x, y) = 1 se x 6= y e d(x, y) = 0 se x = y, é chamada de métrica discreta.
(f) Seja (X, d) um espaço métrico, e seja S ⇢ X. Então S é um espaço
métrico com a métrica induzida dS , ou seja dS (x, y) = d(x, y) para todo x, y 2 S.
2.3. Definição. Seja X um espaço métrico. Dados a 2 X e r > 0,

consideremos os conjuntos
B(a; r) = {x 2 X : d(x, a) < r},
B[a; r] = {x 2 X : d(x, a)  r}.

O conjunto B(a; r) é chamado de bola aberta de centro a e raio r. O conjunto
B[a; r] é chamado de bola fechada de centro a e raio r.
2.4. Definição. Seja X um espaço métrico. Um conjunto U ⇢ X é dito
aberto em X se para cada a 2 U existe r > 0 tal que B(a; r) ⇢ U . Um conjunto
F ⇢ X é dito fechado em X se X \ F é aberto.
2.5. Exemplos. (a) Cada bola aberta é um subconjunto aberto.
(b) Cada bola fechada é um subconjunto fechado.
Demonstração. (a) Seja x 2 B(a; r). Usando a desigualdade triangular é
fácil verificar que
B(x; r d(x, a)) ⇢ B(a; r),
e portanto B(a; r) é aberto.
4
(b) Para provar que B[a; r] é fechado, basta provar que X \ B[a; r] é aberto.
Seja x 2 X \ B[a; r]. Usando a desigualdade triangular não é difícil provar, por
absurdo, que
B(x; d(x, a) r) ⇢ X \ B[a; r],
e portanto X \ B[a; r] é aberto.
2.6. Proposição. Seja X um espaço métrico. Então:
(a) ; e X são abertos.
(b) A união de uma famı́lia arbitrária de abertos é um aberto.
(c) A interseção de uma famı́lia finita de abertos é um aberto.
Demonstração. (a) é claro. S
(b) Seja Ui aberto em X para cada i 2 I, e seja a 2 i2I Ui . Então a 2 Ui0
para algum Si0 2 I. Como
S Ui0 é aberto, existe r > 0 tal que B(a; r) ⇢ Ui0 . Logo
B(a; r) ⇢ i2I Ui e i2I Ui é aberto.
T
(c) Seja Ui aberto em X para cada i 2 I, sendo I finito. Seja a 2 i2I Ui , ou
seja a 2 Ui para cada i 2 I. Para cada i T 2 I existeTri > 0 tal que B(a; ri ) ⇢ Ui .
Seja r = mini2I ri . Segue que B(a; r) ⇢ i2I Ui e i2I Ui é aberto.
2.7. Corolário. Seja X um espaço métrico. Então:
(a) X e ; são fechados.
(b) A interseção de uma famı́lia arbitrária de fechados é um fechado.
(c) A união de uma famı́lia finita de fechados é um fechado.
Demonstração. Basta aplicar a Proposição 2.6 e as leis de De Morgan.
2.8. Definição. Seja f : X ! Y , sendo X e Y espaços métricos. Diremos
que f é contı́nua num ponto a 2 X se dado ✏ > 0, podemos achar > 0 tal que
dX (x, a) < implica dY (f (x), f (a)) < ✏,
ou seja
f (BX (a; )) ⇢ BY (f (a); ✏).
Diremos que f é contı́nua se for contı́nua em cada ponto de X. Denotaremos
por C(X; Y ) o conjunto de todas as funções contı́nuas f : X ! Y . Se Y = R,
escreveremos C(X) em lugar de C(X; R).
2.9. Proposição. Seja f : X ! Y , sendo X e Y espaços métricos. Então
f é contı́nua num ponto a 2 X se e só se, para cada aberto V de Y contendo
f (a), existe um aberto U de X contendo a tal que f (U ) ⇢ V .
Demonstração. ()): Seja V um aberto de Y contendo f (a). Seja ✏ > 0
tal que BY (f (a); ✏) ⇢ V . Por hipótese existe > 0 tal que f (BX (a; )) ⇢
BY (f (a); ✏). Logo basta tomar U = BX (a; ).
((): Dado ✏ > 0, seja V = BY (f (a); ✏). Por hipótese existe um aberto U
de X contendo a tal que f (U ) ⇢ V . Seja > 0 tal que BX (a; ) ⇢ U . Segue
que f (BX (a; )) ⇢ BY (f (a); ✏).
5
as seguintes condições são equivalentes:
(a) f é contı́nua.
(b) f 1 (V ) é aberto em X para cada aberto V de Y .
(c) f 1 (B) é fechado em X para cada fechado B de Y .
Demonstração. (a) ) (b): Seja V um aberto de Y . Pela Proposição 2.9,
para cada a 2 f 1 (V ), existe um aberto Ua de X contendo a tal que f (Ua ) ⇢ V ,
ou seja Ua ⇢ f 1 (V ). Segue que
[
f 1 (V ) = {Ua : a 2 f 1 (V )}
é aberto em X.
(b) ) (a): Basta provar que f é contı́nua em cada a 2 X. Seja a 2 X, e
seja V um aberto de Y contendo f (a). Por hipótese f 1 (V ) é um aberto de
X contendo a, e f (f 1 (V )) ⇢ V pelo Exercı́cio 1.G. Pela Proposição 2.9 f é
contı́nua em a.
A equivalência (b) , (c) é conseqüência direta do Exercı́cio 1.B(c).
Exercı́cios
2.A. Prove que as seguintes funções são métricas em C[a, b]:
(a) d(f, g) = sup{|f (x) g(x)| : a  x  b}.
Rb
(b) d(f, g) = a |f (x) g(x)|dx.
2.B. Seja X um espaço métrico.
(a) Prove a desigualdade
|d(x, a) d(y, a)|  d(x, y) para todo x, y, a 2 X.
(b) Prove que, para cada a 2 X a função x 2 X ! d(x, a) 2 R é contı́nua.
(c) Prove que a esfera
S(a; r) = {x 2 X : d(x, a) = r}
é um subconjunto fechado.
2.C. Seja X um espaço métrico, e seja S ⇢ X, com a métrica induzida.
(a) Dados a 2 S e r > 0, prove que BS (a; r) = S \ BX (a; r).
(b) Prove que um conjunto U ⇢ S é aberto em S se e só se existe um aberto
V de X tal que U = S \ V .
2.D. Seja X = R, e seja S = Z, com a métrica induzida. Prove que cada
subconjunto de S é aberto em S.
2.E. (a) Dê exemplo de uma seqüência de abertos de R cuja interseção não
seja um aberto.
(b) Dê exemplo de uma seqüência de fechados de R cuja união não seja um
fechado.
6
3. Espaços topológicos
3.1. Definição. Seja X um conjunto. Chamaremos de topologia em X
uma famı́lia ⌧ de subconjuntos de X com as seguintes propriedades:
(a) ; e X pertencem a ⌧ .
(b) A união de uma famı́lia arbitrária de membros de ⌧ pertence a ⌧ .
(c) A interseção de uma famı́lia finita de membros de ⌧ pertence a ⌧ .
Os membros de ⌧ são chamados de abertos. O par (X, ⌧ ) é chamado de
espaço topológico. Com freqüência diremos que X é um espaço topológico.
3.2. Exemplos.
(a) Se (X, d) é um espaço métrico, então segue da Proposição 2.6 que os
abertos de (X, d) formam uma topologia ⌧d em X.
(b) Se X = Rn , então a topologia ⌧d dada pela métrica euclideana
v
uX
u n
d(x, y) = t (xj yj )2
j=1
é chamada de topologia usual.

(c) Seja X um conjunto qualquer, e seja ⌧ a famı́lia de todos os subconjuntos
de X. Claramente ⌧ é uma topologia em X, chamada de topologia discreta.
(d) Seja X um conjunto qualquer, e seja ⌧ = {;, X}. Claramente ⌧ é uma
topologia em X, chamada de topologia trivial.
3.3. Definição. Diremos que um espaço topológico (X, ⌧ ) é metrizável se
existir uma métrica d em X tal que ⌧ = ⌧d .
Notemos que a topologia discreta é sempre metrizável, e vem dada pela
métrica discreta.
3.4. Definição. Dadas duas topologias ⌧1 e ⌧2 num conjunto X, diremos
que ⌧1 é mais fraca que ⌧2 , ou que ⌧2 é mais forte que ⌧1 , ou que ⌧2 é mais fina
que ⌧1 se ⌧1 ⇢ ⌧2 .
A topologia trivial em X é mais fraca que qualquer outra topologia em X.
A topologia discreta em X é mais fina que qualquer outra topologia em X.
3.5. Definição. Seja X um espaço topológico. Diremos que um conjunto
F ⇢ X é fechado se X \ F é aberto.
3.6. Proposição. Seja X um espaço topológico. Então:
(a) X e ; são fechados.
(b) A interseção de uma famı́lia arbitrária de fechados é um fechado.
(c) A união de uma famı́lia finita de fechados é um fechado.
Demonstração. Basta aplicar as leis de de Morgan.
7
Reciprocamente temos:
3.7. Proposição. Seja X um conjunto, e seja F uma famı́lia de subcon-
juntos de X com as seguintes propriedades:
(a) X e ; pertencem a F.
(b) A interseção de uma famı́lia arbitrária de membros de F pertence a F.
(c) A união de uma famı́lia finita de membros de F pertence a F.
Seja ⌧ = {X \ F : F 2 F}. Então ⌧ é uma topologia em X, e F coincide
com a famı́lia dos fechados de (X, ⌧ ).
Demonstração. Basta aplicar as leis de De Morgan.
Exercı́cios
3.A. Prove que as métricas dos Exemplos 2.2(b), 2.2(c) e 2.2(d) definem a
mesma topologia em Rn .
3.B. Seja X = {a, b}, com a 6= b, e seja
⌧ = {;, {a}, X}.
Prove que ⌧ é uma topologia em X. O espaço (X, ⌧ ) é chamado de espaço de

Sierpinski.
3.C. Seja X um conjunto, e seja
F = {X} [ {F ⇢ X : F é finito}.
Prove que F é a famı́lia de fechados de uma topologia em X, conhecida como

topologia cofinita. Vocé reconhece esta topologia quando X é finito?
3.D. Seja X um conjunto, e seja
F = {X} [ {F ⇢ X : F é enumerável}.
Prove que F é a famı́lia de fechados de uma topologia em X, conhecida como

topologia coenumerável. Você reconhece esta topologia quando X é enume-
rável?
3.E. Seja X um conjunto, seja A ⇢ X, e seja
⌧A = {;} [ {U : A ⇢ U ⇢ X}.
(a) Prove que ⌧A é uma topologia em X.

(b) Descreva os fechados de (X, ⌧A ).
(c) Você reconhece ⌧A quando A = ; e quando A = X?
8
4. Aderência e interior de um conjunto
4.1. Definição. Seja X um espaço topológico, e seja A ⇢ X. Chamaremos
de aderência de A o conjunto
\
A = {F ⇢ X : F é fechado e F A}.
Claramente A é o menor subconjunto fechado de X que contém A.

4.2. Proposição. Seja X um espaço topológico. Então a aplicação A ! A
tem as seguintes propriedades:
(a) A ⇢ A.
(b) A = A.
(c) ; = ;.
(d) A [ B = A [ B.
(e) A é fechado se e só se A = A.
Demonstração. (a) é óbvio.
(b) Por (a) A ⇢ A. E como A é um fechado contendo A, segue que A ⇢ A.

(c) Como ; é um fechado contendo ;, segue que ; ⇢ ;.
(d) Antes de provar (d) notemos que
A ⇢ B implica A ⇢ B.
Como A ⇢ A [ B e B ⇢ A [ B, segue que A ⇢ A [ B e B ⇢ A [ B. Logo

A [ B ⇢ A [ B. Por outro lado A [ B é um fechado contendo A [ B. Logo
A [ B ⇢ A [ B.
(e) é óbvio.
4.3. Proposição. Seja X um conjunto, e seja A 2 P(X) ! A 2 P(X)
uma aplicação com as seguintes propriedades:
(a) A ⇢ A.
(b) A = A.
(c) ; = ;.
(d) A [ B = A [ B.
Seja F = {A ⇢ X : A = A}. Então F é a famı́lia de fechados de uma
topologia ⌧ em X. A é a aderência de A para cada A ⇢ X.
Demonstração. Utilizaremos a Proposição 3.7. É claro que X 2 F. E
segue de (c) que ; 2 F.
Segue de (d) que a união de dois membros de F pertence a F.
9
Antes de provar que qualquer interseção de membros de F pertence a F,
provemos que
(⇤) A ⇢ B implica A ⇢ B.
De fato usando (d) vemos que:
A ⇢ B ) B = A [ (B \ A) ) B = A [ (B \ A) ) B A.
T T
Seja Ai 2 F para cada i 2 I. Então i2I Ai ⇢ Ai , e portanto i2I Ai ⇢
T T T
Ai = Ai para cada i 2 I. Logo i2I Ai ⇢ i2I Ai , e segue que i2I Ai 2 F.
Assim F é a famı́lia de fechados para uma topologia ⌧ em X. Para provar
que A é a aderência de A com relação a ⌧ , fixemos A ⇢ X. Segue de (*) que
A ⇢ F = F para cada F 2 F tal que F A,
e portanto \
A⇢ {F 2 F : F A}.
Por outro lado segue de (a) e (b) que A 2 F e A A. Logo

\
{F 2 F : F A} ⇢ A.
Isto prova que A é a aderência de A.

4.4. Definição. Seja X um espaço topológico, e seja A ⇢ X. Chamaremos
de interior de A o conjunto
[
A = {U ⇢ X : U é aberto e U ⇢ A}.
Claramente A é o maior subconjunto aberto de X que está contido em A. As

vezes escreveremos A em lugar de A .
4.5. Proposição. Seja X um espaço topológico, e seja A ⇢ X. Então:
X \ A = (X \ A) e X \ A = (X \ A).
Demonstração. Basta aplicar as leis de De Morgan.

Deixamos como exercı́cio as demonstrações das duas proposições seguintes.
Elas podem ser demonstradas diretamente, ou podem ser deduzidas das Proposições
4.2 e 4.3 utilizando a Proposição 4.5 e as leis de De Morgan.
4.6. Proposição. Seja X um espaço topológico. Então a aplicação A ! A
tem as seguintes propriedades:
(a) A ⇢ A.
(b) A = A .
(c) X = X.
(d) (A \ B) = A \ B .
10
(e) A é aberto se e só se A = A .
4.7. Proposição. Seja X um conjunto, e seja A 2 P(X) ! A 2 P(X)
uma aplicação com as seguintes propriedades:
(a) A ⇢ A.
(b) A = A .
(c) X = X.
(d) (A \ B) = A \ B .
Seja ⌧ = {A ⇢ X : A = A }. Então ⌧ é uma topologia em X. A é o
interior de A para cada A ⇢ X.
Exercı́cios
4.A. Seja X um espaço topológico, com a topologia cofinita do Exercı́cio
3.C.
(a) Descreva A para cada A ⇢ X.
(b) Descreva A para cada A ⇢ X.
4.B. Seja X um conjunto, seja A ⇢ X, e seja ⌧A a topologia do Exercı́cio
3.E.
(a) Descreva B para cada B ⇢ X.
(b) Descreva B para cada B ⇢ X.
4.C. Seja X um espaço topológico.
(a) Prove que (A \ B) ⇢ A \ B para todo A, B ⇢ X.
(b) Dê exemplo de conjuntos A, B ⇢ R tais que (A \ B) 6= A \ B.
4.D. Seja X um espaço topológico.
(a) Prove que (A [ B) A [ B para todo A, B ⇢ X.
(b) Dê exemplo de conjuntos A, B ⇢ R tais que (A [ B) 6= A [ B .
4.E. Dado A ⇢ X, chamaremos de fronteira de A o conjunto
@A = A \ (X \ A).
(a) Prove que A = A [ @A.

(b) Prove que A = A \ @A.
4.F. Para cada A ⇢ N seja
A = {kn : n 2 A, k 2 N}.
(a) Prove que a aplicação A ! A tem as propriedades da Proposição 4.3, e

define portanto uma topologia ⌧ em N.
(b) Descreva os fechados de (N, ⌧ ).
(c) Descreva os abertos de (N, ⌧ ).
11
5. Sistemas de vizinhanças
5.1. Definição. Seja X um espaço topológico não vazio, e seja x 2 X.
Diremos que um conjunto U ⇢ X é uma vizinhança de x se x 2 U . Ux denota
o conjunto de todas as vizinhanças de x.
5.2. Proposição. Seja X um espaço topológico não vazio. Então os con-
juntos Ux tem as seguintes propriedades:
(a) x 2 U para cada U 2 Ux .
(b) Se U, V 2 Ux , então U \ V 2 Ux .
(c) Dado U 2 Ux , existe V 2 Ux , V ⇢ U , tal que U 2 Uy para cada y 2 V .
(d) Se U 2 Ux e U ⇢ V ⇢ X, então V 2 Ux .
(e) Um conjunto U ⇢ X é aberto se e só se U 2 Ux para cada x 2 U .
Demonstração. (a) Se U 2 Ux , então x 2 U ⇢ U .
(b) Se U, V 2 Ux , então x 2 U \ V = (U \ V ) . Logo U \ V 2 Ux .
(c) Dado U 2 Ux , seja V = U . Se y 2 V = U , então U 2 Uy .
(d) Se U 2 Ux e U ⇢ V ⇢ X, então x 2 U ⇢ V . Logo V 2 Ux .
(e) Se U é aberto, então U = U . Segue que U 2 Ux para cada x 2 U .
Reciprocamente suponhamos que U 2 Ux para cada x 2 U . Segue que U = U .
Logo U é aberto.
5.3. Proposição. Seja X um conjunto não vazio. Para cada x 2 X seja
Ux uma famı́lia não vazia de subconjuntos de X com as seguintes propriedades:
(a) x 2 U para cada U 2 Ux .
(b) Se U, V 2 Ux , então U \ V 2 Ux .
(c) Dado U 2 Ux , existe V 2 Ux , V ⇢ U , tal que U 2 Uy para cada y 2 V .
(d) Se U 2 Ux e U ⇢ V ⇢ X, então V 2 Ux .
Seja
⌧ = {U ⇢ X : U 2 Ux para cada x 2 U }.
Então ⌧ é uma topologia em X, e Ux é o sistema de vizinhanças de x em (X, ⌧ )
para cada x 2 X.
Demonstração. Primeiro provaremos que ⌧ é uma topologia em X.
É claro que ; 2 ⌧ . Para provar que X 2 ⌧ , seja x 2 X, e seja U 2 Ux . Como
U ⇢ X, segue de (d) que X 2 Ux . Logo X 2 ⌧ .
S
Seja Ui 2 ⌧ para cada i 2 I, e seja x 2 i2I Ui . Então
S x 2 Ui para algum
iS2 I. Como Ui 2 ⌧ ,Stemos que Ui 2 Ux . Como Ui ⇢ i2I Ui , segue de (d) que
i2I Ui 2 Ux . Logo i2I Ui 2 ⌧ .
Sejam U, V 2 ⌧ , e seja x 2 U \ V . Então U, V 2 Ux , e segue de (b) que

U \ V 2 Ux . Logo U \ V 2 ⌧ .
12
A seguir provaremos que cada vizinhança de x pertence a Ux . Seja U uma
vizinhança de x. Então x 2 U . Como U 2 ⌧ , segue que U 2 Ux . Como
U ⇢ U , segue de (d) que U 2 Ux .
Finalmente provaremos que cada U 2 Ux é uma vizinhança de x. Seja
U 2 Ux , e seja V = {y 2 U : U 2 Uy }. Segue de (a) que x 2 U , e como U 2 Ux ,
vemos que x 2 V .
A seguir veremos que V 2 ⌧ . Dado y 2 V , temos que U 2 Uy . Por (c) existe
W 2 Uy , W ⇢ U , tal que U 2 Uz para todo z 2 W . Segue então de (a) que
W ⇢ V . Segue de (d) que V 2 Uy . Logo V 2 ⌧ .
Como x 2 V e V 2 ⌧ , segue que x 2 U . Logo U é uma vizinhança de x.
5.4. Definição. Seja X um espaço topológico não vazio, e seja x 2 X.
Diremos que uma famı́lia Bx ⇢ Ux é uma base de vizinhanças de x se cada
U 2 Ux contém algum V 2 Bx .
5.5. Exemplos.
(a) Seja X um espaço topológico, seja x 2 X, e seja
Bx = {U 2 Ux : U é aberto}.
Então Bx é uma base de vizinhanças de x.

(b) Seja X um espaço métrico, seja x 2 X, e seja
Bx = {B(x; r) : r > 0}.

(c) Seja X um espaço métrico, seja x 2 X, e seja
Bx = {B[x; r] : r > 0}.

5.6. Proposição. Seja X um espaço topológico não vazio, e seja Bx uma
base de vizinhanças de x, para cada x 2 X. Então:
(a) x 2 U para cada U 2 Bx .
(b) Dados U, V 2 Bx , existe W 2 Bx tal que W ⇢ U \ V .
(c) Dado U 2 Bx , existe V 2 Bx , V ⇢ U , tal que para cada y 2 V existe
W 2 By tal que W ⇢ U .
(d) Um conjunto U ⇢ X é aberto se e só se para cada x 2 U existe V 2 Bx
tal que V ⇢ U .
Demonstração. As afirmações (a), (b), (c) e (d) seguem diretamente das
afirmações (a), (b), (c) e (e) na Proposição 5.2.
5.7. Proposição. Seja X um conjunto não vazio. Para cada x 2 X seja
Bx uma famı́lia não vazia de subconjuntos de X com as seguintes propriedades:
13
(a) x 2 U para cada U 2 Bx .
(b) Dados U, V 2 Bx , existe W 2 Bx tal que W ⇢ U \ V .
(c) Dado U 2 Bx , existe V 2 Bx , V ⇢ U , tal que para cada y 2 V existe
W 2 By tal que W ⇢ U .
Seja
⌧ = {U ⇢ X : para cada x 2 U existe V 2 Bx tal que V ⇢ U }.
Então ⌧ é uma topologia em X e Bx é uma base de vizinhanças de x em

(X, ⌧ ) para cada x 2 X.
Demonstração. Para cada x 2 X seja
Ux = {U ⇢ X : U V para algum V 2 Bx }.
É claro que as famı́lias Ux verificam as propriedades (a), (b), (c) e (d) da

Proposição 5.3, e que
⌧ = {U ⇢ X : U 2 Ux para cada x 2 U }.
Pela Proposição 5.3 ⌧ é uma topologia em X e Ux é o sistema de vizinhanças

de x em (X, ⌧ ) para cada x 2 X. Segue que Bx é uma base de vizinhanças de
x em (X, ⌧ ) para cada x 2 X.
A proposição seguinte é muito útil. Ela caracteriza abertos, fechados, aderência
de um conjunto e interior de um conjunto em termos de bases de vizinhanças.
5.8. Proposiçao. Seja X um espaço topológico não vazio, seja A ⇢ X, e
seja Bx uma base de vizinhanças de x, para cada x 2 X.Então:
(a) A é aberto se e só se para cada x 2 A existe V 2 Bx tal que V ⇢ A.
(b) A é fechado se e só se para cada x 2
/ A, existe V 2 Bx tal que V \ A = ;.
(c) A = {x 2 X : V \ A 6= ; para cada V 2 Bx }.
(d) A = {x 2 X : V ⇢ A para algum V 2 Bx }.
Demonstraçção. Já vimos (a) na Proposição 5.6(d). (b) é conseqüência
imediata de (a).
(c) Lembremos que
\
A= {F ⇢ X : F fechado, F A}.
/ A, então por (b) existe V 2 Bx tal que V \ A = ;. Reciprocamente

Se x 2
suponhamos que exista V 2 Bx tal que V \ A = ;. Então x 2 V e A ⇢ X \ V ⇢
X \ V . Como X \ V é fechado, segue que A ⇢ X \ V . Logo x 2 / A.
(d) Pela Proposição 4.5, X \ A = (X \ A). Se B denota o conjunto da
direita em (d), então usando (c) segue que
/ A , x 2 (X \ A) , V \ (X \ A) 6= ; para cada V 2 Bx
x2
14
, V 6⇢ A para cada V 2 Bx , x 2
/ B.
5.9. Definição. Seja X um espaço topológico. Diremos que X satisfaz

o primeiro axioma de enumerabilidade se cada x 2 X admite uma base de
vizinhanças Bx que é enumerável.
5.10. Exemplo. Cada espaço métrico satisfaz o primeiro axioma de enu-
merabilidade.
Exercı́cios
5.A. Seja X um espaço topológico, seja A ⇢ X, e seja Bx uma base de
vizinhanças de x para cada x 2 X. Prove que
@A = {x 2 X : V \ A 6= ; e V \ (X \ A) 6= ; para cada V 2 Bx }.
5.B. Dados f 2 C[a, b] e r > 0, seja
U (f, r) = {g 2 C[a, b] : |g(x) f (x)| < r para todo x 2 [a, b]}.
Prove que os conjuntos U (f, r), com r > 0 formam uma base de vizinhanças de
f no espaço métrico C[a, b] do Exercı́cio 2.A(a).
5.C. Dados f 2 C[a, b], A ⇢ [a, b], A finito, e r > 0, seja
V (f, A, r) = {g 2 C[a, b] : |g(x) f (x)| < r para todo x 2 A}.
Prove que os conjuntos V (f, A, r), com A ⇢ [a, b], A finito, e r > 0, formam uma
base de vizinhanças de f para uma certa topologia em C[a, b]. Esta topologia é
mais fraca que a topologia do exercı́cio anterior.
5.D. Seja X um espaço topológico e seja A ⇢ X. Diremos que um ponto
x 2 X é um ponto de acumulação de A se dado U 2 Ux existe a 2 U \ A,
com a 6= x. A0 denota o conjunto dos pontos de acumulação de A. Prove que
A = A [ A0 .
5.E. Dê exemplo de um conjunto A ⇢ R tal que os seguintes conjuntos
sejam todos diferentes entre si:
A, A, A, A, A, A, A .
15
6. Bases para os abertos
6.1. Definição. Seja (X, ⌧ ) um espaço topológico. Diremos que uma
famı́lia B ⇢ ⌧ é uma base para ⌧ se dado U 2 ⌧ existe C ⇢ B tal que
[
U = {V : V 2 C}.
6.2. Exemplos.
(a) Os intervalos (a, b), com a < b em R, formam uma base para a topologia
usual em R.
(b) Se (X, d) é um espaço métrico, então as bolas B(a; r), com a 2 X e
r > 0, formam uma base para a topologia ⌧d .
(c) Se (X, ⌧ ) é um espaço topológico discreto, então B = {{x} : x 2 X} é
uma base para ⌧ .
6.3. Proposição. Seja (X, ⌧ ) um espaço topológico. Uma famı́lia B ⇢ ⌧
é uma base para ⌧ se e só se, dados U 2 ⌧ e x 2 U , existe V 2 B tal que
x 2 V ⇢ U.
Esta proposição é conseqüência imediata da definição.
6.4. Proposição. Seja (X, ⌧ ) um espaço topológico. Uma famı́lia B ⇢ ⌧ é
uma base para ⌧ se e só se, para cada x 2 X, a famı́lia
Bx = {V 2 B : x 2 V }
é uma base de vizinhanças de x.

Esta proposição é conseqüência fácil da proposição anterior.
6.5. Proposição. Seja (X, ⌧ ) um espaço topológico, e seja B uma base
para ⌧ . Então:
S
(a) X = {V : V 2 B}.
(b) Dados x 2 X e U, V 2 B tais que x 2 U \ V , existe W 2 B tal que
x2W ⇢U \V.
Demonstração. (a) é conseqüência imediata da definição de base. (b) é
conseqüência da Proposição 6.4, junto com a Proposição 5.6.
6.6. Proposição. Seja X um conjunto, e seja B uma famı́lia de subcon-
juntos de X S
com as seguintes propriedades:
(a) X = {V : V 2 B}.
(b) Dados x 2 X e U, V 2 B tais que x 2 U \ V , existe W 2 B tal que
x2W ⇢U \V.
Seja ⌧ a famı́lia de todos os conjuntos da forma
[
U = {V : V 2 C}, com C ⇢ B.
16
Então ⌧ é uma topologia em X, e B é uma base para ⌧ .
S
Demonstração. É claro que ; = {V : V 2 ;} 2 ⌧ . E X 2 ⌧ por (a).
Seja Ui 2 ⌧ para cada i 2 I, ou seja
[
Ui = {V : V 2 Ci }, com Ci ⇢ B
para cada i 2 I. Então

[ [ [
Ui = {V : V 2 Ci } 2 ⌧.
i2I i2I
Finalmente sejam U1 , U2 2 ⌧ , ou seja

[ [
U1 = {V1 : V1 2 C1 }, U2 = {V2 : V2 2 C2 },
com C1 , C2 ⇢ B. Então
[
U1 \ U2 = {V1 \ V2 : V1 2 C1 , V2 2 C2 }.
Segue de (b) que cada interseção V1 \ V2 é união de membros de B. Segue que

U1 \ U2 2 ⌧ .
Temos provado qur ⌧ é uma topologia em X. É claro que B é uma base para
⌧.
6.7. Definição. Seja (X, ⌧ ) um espaço topológico. Diremos que (X, ⌧ )
satisfaz o segundo axioma de enumerabilidade se existe uma base B para ⌧ que
é enumerável.
6.8. Exemplo. R satisfaz o segundo axioma de enumerabilidade: os inter-
valos (a, b) com a < b racionais, formam uma base para os abertos.
Exercı́cios
6.A. Prove que o segundo axioma de enumerabilidade implica o primeiro.
6.B. Prove que os intervalos (a, 1), com a 2 R, formam uma base para
uma topologia ⌧1 em R, mais fraca que a topologia usual. Prove que (R, ⌧1 )
satisfaz o segundo axioma de enumerabilidade.
6.C. Prove que os intervalos [a, b), com a < b em R, formam uma base para
uma topologia ⌧2 em R, mais fina que a topologia usual. (R, ⌧2 ) é conhecido
como a reta de Sorgenfrey.
6.D. Seja (X, ⌧ ) um espaço topológico. Diremos que uma famı́lia C ⇢ ⌧ é
uma subbase para ⌧ se as interseções finitas de membros de C formam uma base
para ⌧ . Prove que os intervalos (a, 1), com a 2 R, junto com os intervalos
( 1, b), com b 2 R, formam uma subbase para a topologia usual em R.
17
7. Subespaços
7.1. Definição. Seja (X, ⌧ ) um espaço topológico, e seja S ⇢ X. É claro
que a famı́lia
⌧S = {S \ U : U 2 ⌧ }
é uma topologia em S, que chamaremos de topologia induzida. Diremos que
(S, ⌧S ) é um subespaço de (X, ⌧ ), ou simplesmente que S é um subespaço de X.
7.2. Exemplos.
(a) Z, com a topologia induzida por R, é um espaço topológico discreto.
(b) R é um subespaço de R2 .
7.3. Proposição. Seja S um subespaço de um espaço topológico X. Então:
(a) U é aberto em S se e só se U = S \ U1 , sendo U1 aberto em X.
(b) F é fechado em S se e só se F = S \ F1 , sendo F1 fechado em X.
S X
(c) Se A ⇢ S, então A = S \ A .
(d) Se x 2 S, então U é vizinhança de x em S se e só se U = S \ U1 , sendo
U1 uma vizinhança de x em X.
Demonstração. (a) é a própria definição.
(b) Usando (a) vemos que: F é fechado em S , S \ F é aberto em S ,
S \ F = S \ U1 , com U1 aberto em X , F = S \ (X \ U1 ), com U1 aberto em
X , F = S \ F1 , com F1 fechado em X.
(c) Usando (b) vemos que:
S \
A = {F : F fechado em S, F A}
\ X
= {S \ F1 : F1 fechado em X, F1 A} = S \ A .
(d) Seja U1 uma vizinhança de x em X. Então existe um aberto V1 em X
tal que x 2 V1 ⇢ U1 . Logo x 2 S \ V1 ⇢ S \ U1 . Como S \ V1 é aberto em S,
segue que S \ U1 é uma vizinhança de x em S.
Reciprocamente seja U uma vizinhança de x em S. Então existe um aberto
V de S tal que x 2 V ⇢ U . Então V = S \ V1 , com V1 aberto em X. Seja
U1 = V1 [ (U \ V ).
Então
S \ U1 = V [ (U \ V ) = U.
Como x 2 V1 ⇢ U1 , segue que U1 é uma vizinhança de x em X.
18
Exercı́cios
7.A. Seja X um espaço topológico, e seja S um subespaço de X.
(a) Se X tem a topologia discreta, prove que S também tem a topologia
discreta.
(b) Se X tem a topologia trivial, prove que S também tem a topologia trivial.
7.B. Seja X um espaço topológico, e seja S um subespaço de X. Se X é

metrizável, prove que S é metrizável também.
Sugestão: Use o Exercı́cio 2.C.
7.C. Seja X um espaço topológico, seja S um subespaço de X, e seja x 2 S.
(a) Se Bx é uma base de vizinhanças de x em X, prove que a famı́lia {S \ U :
U 2 Bx } é uma base de vizinhanças de x em S.
(b) Se X satisfaz o primeiro axioma de enumerabilidade, prove que S satisfaz
o mesmo axioma.
7.D. Seja X um espaço topológico, e seja S um subespaço de X.
(a) Se B é uma base para a topologia de X, prove que a famı́lia {S \ U :
U 2 B} é uma base para a topologia de S.
(b) Se X satisfaz o segundo axioma de enumerabilidade, prove que S satisfaz
o mesmo axioma.
19
8. Funções contı́nuas
8.1. Definição. Seja f : X ! Y , sendo X e Y espaços topológicos. Diremos
que f é contı́nua num ponto a 2 X se para cada aberto V de Y contendo f (a),
existe um aberto U de X contendo a tal que f (U ) ⇢ V . Diremos que f é
contı́nua se for contı́nua em cada pontos de X. Denotaremos por C(X; Y ) o
conjunto de todas as funções contı́nuas f : X ! Y . Se Y = R, escreveremos
C(X) em lugar de C(X; R).
8.2. Proposição. Seja f : X ! Y , sendo X e Y espaços topológicos.
Seja Ba uma base de vizinhanças de um ponto a 2 X, e seja Bf (a) uma base de
vizinhanças de f (a). Então as seguintes condições são equivalentes:
(a) f é contı́nua em a.
(b) Para cada V 2 Uf (a) , existe U 2 Ua tal que f (U ) ⇢ V .
(c) Para cada V 2 Bf (a) , existe U 2 Ba tal que f (U ) ⇢ V .
Demonstração. (a) ) (b): Seja V 2 Uf (a) . Seja V1 um aberto de Y
contendo f (a) tal que V1 ⇢ V . Por (a) existe um aberto U1 de X contendo a
tal que f (U1 ) ⇢ V1 ⇢ V . É claro que U1 2 Ua .
(b) ) (c): Seja V 2 Bf (a) . Por (b) existe U 2 Ua tal que f (U ) ⇢ V . Seja
U1 2 Ba tal que U1 ⇢ U . Então f (U1 ) ⇢ f (U ) ⇢ V .
(c) ) (a): Seja V um aberto de Y contendo f (a). Seja V1 2 Bf (a) tal que
V1 ⇢ V . Por (c) existe U1 2 Ba tal que f (U1 ) ⇢ V1 . Seja U um aberto de X
contendo a tal que U ⇢ U1 . Então f (U ) ⇢ f (U1 ) ⇢ V1 ⇢ V .
Então as seguintes condições são equivalentes:
(a) f é contı́nua.
(b) f 1 (V ) é aberto em X para cada aberto V de Y .
(c) f 1 (B) é fechado em X para cada fechado B de Y .
Demonstração. Basta repetir a demonstração da Proposição 2.10.
8.4. Proposição. Sejam f : X ! Y e g : Y ! Z, sendo X, Y e Z espaços
topológicos. Se f é contı́nua num ponto a 2 X e g é contı́nua em f (a), então
g f é contı́nua em a.
Demonstração. Utilizaremos a Proposição 8.2. Seja W 2 Ug f (a) . Como
g é contı́nua em f (a), existe V 2 Uf (a) tal que g(V ) ⇢ W . Como f é contı́nua
em a, existe U 2 Ua tal que f (U ) ⇢ V . Segue que g(f (U )) ⇢ g(V ) ⇢ W .
8.5. Corolário. Sejam f : X ! Y e g : Y ! Z, sendo X, Y e Z espaços
topológicos. Se f e g são contı́nuas, então g f é contı́nua também.
8.6. Proposição. Sejam X e Y espaços topológicos, e seja S um subespaço
de X. Se f : X ! Y é contı́nua, então a restrição f |S : S ! Y é contı́nua
também.
20
Demonstração. Seja V um aberto de Y . Como f é contı́nua, f 1
(V ) é
aberto em X. Segue que (f |S) 1 (V ) = S \ f 1 (V ) é aberto em S.
8.7. Proposição. Sejam X e Y espaços topológicos. Suponhamos que X =
S1 [ S2 , onde S1 e S2 são ambos abertos ou ambos fechados. Seja f : X ! Y
uma função tal que f |S1 : S1 ! Y e f |S2 : S2 ! Y são contı́nuas. Então f é
contı́nua.
Demonstração. Suponhamos S1 e S2 abertos. Seja V um aberto de Y .
Como f |S1 é contı́nua, (f |S1 ) 1 (V ) = S1 \ f 1 (V ) é aberto em S1 . Como f |S2
é contı́nua, (f |S2 ) 1 (V ) = S2 \ f 1 (V ) é aberto em S2 . Segue que
S1 \ f 1
(V ) = S1 \ U1 e S2 \ f 1
(V ) = S2 (V ) \ U2 ,
sendo U1 e U2 abertos em X. Como X = S1 [ S2 , segue que
f 1
(V ) = (S1 \ f 1
(V )) [ (S2 \ f 1
(V )) = (S1 \ U1 ) [ (S2 \ U2 )
é aberto em X.
Deixamos como exercı́cio a demonstração do caso em que S1 e S2 são fecha-
dos.
8.8. Definição. Sejam X e Y espaços topológicos.
(a) Diremos que f : X ! Y é um homeomorfismo se f é bijetiva e f e f 1
são contı́nuas.
(b) Diremos que f : X ! Y é um mergulho se f é um homeomorfismo entre
X e o subespaço f (X) de Y .
(c) Diremos que f : X ! Y é aberta se f (U ) é aberto em Y para cada aberto
U de X.
(d) Diremos que f : X ! Y é fechada se f (A) é fechado em Y para cada
fechado A de X.
O resultado seguinte é conseqüência fácil das definições e resultados anteri-
ores.
8.9. Proposição. Sejam X e Y espaços topológicos, e seja f : X ! Y
uma função bijetiva. Então as seguintes condições são equivalentes:
(a) f é um homeomorfismo.
(b) f é contı́nua e aberta.
(c) f é contı́nua e fechada.
Exercı́cios
X e Y denotam espaços topológicos.
8.A. Seja B uma base para a topologia de Y . Prove que uma função f :
X ! Y é contı́nua se e só se f 1 (V ) é aberto em X para cada V 2 B.
8.B. Prove que uma função f : X ! Y é contı́nua se e só se f (A) ⇢ f (A)
para cada A ⇢ X.
21
8.C. Prove que cada função constante f : X ! Y é contı́nua.
8.D. Prove que se f : X ! R e g : X ! R são contı́nuas num ponto a 2 X,
então as funções f + g e f g são também contı́nuas em a.
8.E. Dado A ⇢ X, a função caracterı́stica A : X ! R é definida por
A (x) = 1 se x 2 A e A (x) = 0 se x 2
/ A. Prove que a função A é contı́nua se
e só se A é aberto e fechado.
8.F. Seja X = N, com a topologia do Exercı́cio 4.F. Prove que uma função
f : X ! X é contı́nua se e só se, cada vez que m divide n, tem-se que f (m)
divide f (n).
8.G. Diremos que um conjunto D ⇢ X é denso em X se D = X. Seja
f : X ! R uma função contı́nua tal que f (x) = 0 para todo x num subconjunto
denso D ⇢ X. Prove que f (x) = 0 para todo x 2 X.
8.H. Prove que os seguintes pares de intervalos são homeomorfos entre si:
(a) (a, b) e (0, 1).
(b) (1, 1) e (0, 1).
(c) ( ⇡/2, ⇡/2) e ( 1, 1).
Use (a), (b) e (c) para provar que todos os intervalos abertos de R são
homeomorfos entre si.
8.I. Seja f : X ! R. Diremos que f é semicontı́nua inferiormente se
f 1 (a, 1) é aberto em X para cada a 2 R. Diremos que f é semicontı́nua
superiormente se f 1 ( 1, b) é aberto em X para cada b 2 R. Prove que f é
contı́nua se e só se f é semicontı́nua inferiormente e semicontı́nua superiormente.
8.J. Seja A ⇢ X.
(a) Prove que A : X ! R é semicontı́nua inferiormente se e só se A é
aberto.
(b) Prove que A : X ! R é semicontı́nua superiormente se e só se A é
fechado.
22
9. Produtos infinitos e o axioma da escolha
9.1. Definição. Seja {Xi : i 2 I} uma famı́lia não vazia de conjuntos.
Chamaremos de produto cartesiano da famı́lia {Xi : i 2 I} o conjunto
Y [
Xi = {x : I ! Xi : x(i) 2 Xi para cada i 2 I}.
i2I i2I
Q
Escreveremos xi em lugar de x(i) para cada x 2 i2I e i 2 I. Para cada j 2 I
a projeção ⇡j é definida por
Y
⇡j : x 2 Xi ! xj 2 Xj .
i2I
Q
Cada x 2 i2I Xi é usualmente denotado por (xi )i2I .
Q
Mesmo que cada Xi seja não vazio, não é claro que o produto i2I Xi seja
não vazio. Isto é conseqüência do axioma seguinte.
9.2. Axioma da escolha. Seja {Xi : i 2 I} uma famı́lia não S vazia de
conjuntos disjuntos não vazios. Então existe uma função f : I ! i2I Xi tal
que f (i) 2 Xi para cada i 2 I. A função f é chamada de função escolha.
9.3. Proposição. Seja {Xi : i 2 I}Q uma famı́lia não vazia de conjuntos
não vazios. Então o produto cartesiano i2I Xi é não vazio.
Demonstração. Se os conjuntos Xi fossem disjuntos, a conclusão seria
conseqüência imediata do axioma da escolha. No caso geral definamos Yi =
Xi ⇥ {i} para cada i 2 I. É claro que {Yi : i 2 I} é uma famı́lia não vazia de
conjuntos
S disjuntos não vazios. Pelo axioma da escolha existe uma função f :
I ! i2I Yi tal que f (i) 2 Yi para cada i 2 I. Podemos escrever f (i) = (xi , i),
comQ xi 2 Xi para cada i 2 I. Se definimos x(i) = xi para cada i 2 I, então
x 2 i2I Xi .
Temos provado que o axioma da escolha implica a Proposição 9.3. Mas é
claro que a Proposição 9.3 implica o axioma da escolha. Assim o axioma da
escolha e a Proposição 9.3 são equivalentes.
Vamos ilustrar o uso do axioma da escolha com um exemplo do dia a dia.
Seja I um conjunto infinito, e seja Xi um par de sapatos para cada i 2 I. Q Neste
caso não precisamos do axioma da escolha para garantir que o produto i2I Xi
é não vazio. Se definimos x(i) como sendo aquele sapato em Xi que S corresponde
ao pé direito para cadaQ i 2 I, então é claro que a função x : I ! i2I Xi assim
definida pertence a i2I Xi . Por outro lado seja Yi um par de meias para
cada i 2 I. Como em geral não há como distinguir entre S as duas meias de um
mesmo par, Q não temos como definir uma função y : I ! i2I Yi que pertença
ao produto i2I Yi sem usar o axioma da escolha.
23
Exercı́cios
9.A. Prove que o axioma da escolha é equivalente à afirmação seguinte: Seja
{Xi : i 2 I} uma famı́lia
S não vazia de conjuntos disjuntos não vazios. Então
existe um conjunto Y ⇢ i2I Xi tal que Y \ Xi contém um único elemento para
cada i 2 I.
O exercı́cio seguinte mostra como conciliar a definição usual de produtos
cartesianos finitos, que vimos na Seção 1, com a definição de produtos carte-
sianos infinitos.
9.B. Sabemos que, dados n conjuntos X1 , ..., Xn , o produto cartesiano X1 ⇥
... ⇥ Xn é dado por
X1 ⇥ ... ⇥ Xn = {(x1 , ..., xn ) : xi 2 Xi para i = 1, ..., n}.
Seja
(X1 ⇥ ... ⇥ Xn )⇤ = {x : {1, ..., n} ! X1 [ ... [ Xn : x(i) 2 Xi para i = 1, ..., n}.
Ache uma aplicação bijetiva entre X1 ⇥ ... ⇥ Xn e (X1 ⇥ ... ⇥ Xn )⇤ .
24
10. O espaço produto
10.1. Proposição. Seja {Xi Q : i 2 I} uma famı́lia não vazia de espaços
topológicos não vazios, e seja X = i2I Xi . Seja
Y
B = { Ui : Ui é aberto em Xi para cada i 2 I}.
i2I
Então B é base para uma topologia em X, que chamaremos de topologia das

caixas.
Demonstração. É claro que B verifica as condições (a) e (b) da Proposição
6.6.
Se I = {1, ..., n} e Xi = R para cada i 2 I, então é claro que a topologia
das caixas coincide com a topologia usual em Rn . Mas se I é um conjunto
infinito, então a topologia das caixas, mesmo sendo bastante natural, é pouco
conveniente. Mais adiante veremos várias
Q propriedades P tais que, embora cada
Xi tenha a propriedade P, o produto i2I Xi , com a topologia dasQcaixas, não
tem a propriedade P. Por essa razão a topologia usual no produto i2I Xi vem
dada pela proposição seguinte.
10.2. Proposição. Seja {Xi : i Q 2 I} uma famı́lia não vazia de espaços
topológicos
Q não vazios, e seja X = i2I Xi . Seja B a famı́lia de todos os
produtos i2I Ui tais que:
(a) Ui é aberto em Xi para cada i 2 I;
(b) Ui = Xi para cada i 2 I \ J, com J ⇢ I, J finito.
Então B é base para uma topologia em X, que chamaremos de topologia
produto.
Demonstração. É fácil verificar que B verifica as condições (a) e (b) da
Proposição 6.6. É conveniente notar que cada U 2 B pode ser escrito na forma
Y Y \
U =( Uj ) ⇥ ( Xi ) = ⇡j 1 (Uj ).
j2J i2I\J j2J
10.3. Proposição. Seja {Xi :Qi 2 I} uma famı́lia não vazia de espaços
topológicos não vazios, e seja X = i2I Xi . A topologia produto é a topologia
mais fraca em X tal que todas as projeções ⇡j : X ! Xj são contı́nuas.
Demonstração. Seja ⌧p a topologia produto. Se Uj é aberto em Xj , então
⇡j 1 (Uj ) pertence a B, e é portanto aberto em (X, ⌧p ). Logo ⇡j : X ! Xj é
contı́nua para cada j 2 I.
Seja ⌧ uma topologia em X tal que ⇡j : (X, ⌧ ) ! Xj é contı́nua para cada
j 2 I. Provaremos que ⌧p ⇢ ⌧ . Para isso basta provar que cada U 2 B pertence
a ⌧ . Se U 2 B, então \
U= ⇡j 1 (Uj ),
j2J
25
com J finito e Uj aberto em Xj para cada j 2 J. Segue que ⇡j 1 (Uj ) é aberto
em (X, ⌧ ) para cada j 2 J, e dai U é aberto em (X, ⌧ ).
AQ
menos que digamos o contrário, sempre consideraremos o produto carte-
siano i2I Xi com a topologia produto.
10.4. Proposição. QSeja {Xi : i 2 I} uma famı́lia não vazia de espaços
topológicos, e seja X = i2I Xi . Seja Y um espaço topológico, e seja g : Y !
X. Então a função g é contı́nua se e só se a função composta ⇡j g : Y ! Xj
é contı́nua para cada j 2 I.
Demonstração. A implicação ) é imediata.
(() Suponhamos que ⇡j g : Y ! Xj seja contı́nua para cada j 2 I. Para
provar que g : Y ! X é contı́nua, basta provar que g 1 (U ) é aberto em Y para
cada U 2 B. Se U 2 B, então
\
U= ⇡j 1 (Uj ),
j2J
com J finito e Uj aberto em Xj para cada j 2 J. Logo

\ \
g 1 (U ) = g 1 (⇡j 1 (Uj )) = (⇡j g) 1
(Uj ).
j2J j2J
Como ⇡j g : Y ! Xj é contı́nua para cada j, segue que g 1

(U ) é aberto em
Y.
Os resultados anteriores motivam o conceito seguinte:
10.5. Proposição. Seja X um conjunto, seja {Xi : i 2 I} uma famı́lia de
espaços topológicos, e seja fi : X ! Xi para cada i 2 I. Seja
\
B={ fj 1 (Uj ) : J finito, Uj aberto em Xj }.
j2J
Então:
(a) B é base para uma topologia ⌧w em X.
(b) ⌧w é a topologia mais fraca em X tal que fi : X ! Xi é contı́nua para
cada i 2 I.
(c) Se Y é um espaço topológico, então uma função g : Y ! X é contı́nua
se e só se fi g : Y ! Xi é contı́nua para cada i 2 I.
Diremos que ⌧w é a topologia fraca em X definida pela famı́lia de funções
{fi : i 2 I}.
Demonstração. Não é difı́cil adaptar as demonstrações dos resultados
anteriores.
10.6. Proposição. Seja X um espaço topológico, que tem a topologia
fraca definida por uma famı́lia de funções fi : X ! Xi (i 2 I). Seja S um
26
subespaço topológico de X. Então S tem a topologia fraca definida pela famı́lia
de restrições fi |S : S ! Xi (i 2 I).
Demonstração. Nós sabemos que
\
BX = { fj 1 (Uj ) : J finito, Uj aberto em Xj }
j2J
é base para a topologia de X, e que

\
BS = {S \ fj 1 (Uj ) : J finito, Uj aberto em Xj }
j2J
é base para a topologia de S. Como

\ \ \
S\ fj 1 (Uj ) = S \ fj 1 (Uj ) = (fj |S) 1
(Uj ),
j2J j2J j2J
vemos que S tem a topologia fraca definida pela famı́lia de restrições fi |S : S !

Xi (i 2 I).
10.7. Definição. Seja fi : X ! Xi para cada i 2 I. Diremos que a famı́lia
{fi : i 2 I} separa os pontos de X se dados x 6= y em X, existe i 2 I tal que
fi (x) 6= fi (y).
A proposição seguinte dá condições necessárias e suficientes para que um
espaço topológico seja homeomorfo a um subespaço de um espaço produto.
10.8. Proposição. Seja fi : X ! Xi para cada i 2 I, sendo X e cada Xi
espaços topológicos. Seja
Y
✏ : x 2 X ! (fi (x))i2I 2 Xi .
i2I
Então ✏ é um mergulho se e só se se verificam as seguintes condições:

(a) A famı́lia {fi : i 2 I} separa os pontos de X.
(b) X tem a topologia fraca definida pela famı́lia {fi : i 2 I}.
A aplicação ✏ é chamada de avaliação.
Demonstração. Notemos que ⇡i ✏ = fi , para cada i.
Q ()) Por hipótese ✏ é um homeomorfismo entre X e o subespaço ✏(X) de

i2I Xi .
Como ✏ é injetivo, é claro que {fi : i 2 I} separa os pontos de X.
Pela Proposição 10.6 ✏(X) tem a topologia fraca definida pela famı́lia de
restrições
⇡i |✏(X) : ✏(X) ! Xi .
Como ✏ : X ! ✏(X) é um homeomorfismo, segue que X tem a topologia fraca
definida pela famı́lia de funções
(⇡i |✏(X)) ✏ = fi : X ! Xi .
27
(() Como {fi : i 2 I} separa os pontos de X, é claro que ✏ é injetivo.
SegueQde (b) que ⇡i ✏ = fi : X ! Xi é contı́nua para cada i 2 I. Logo
✏ : X ! i2I Xi é contı́nua. Para provar que ✏ é um mergulho provaremos que
✏ : X ! ✏(X) é aberta. Por (b) a famı́lia
\
B={ fj 1 (Uj ) : J finito, Uj aberto em Xj }
j2J
T
é uma base para X. Seja U = j2J fj 1 (Uj ) 2 B. Então
\ \
U= (⇡j ✏) 1
(Uj ) = ✏ 1
(⇡j 1 (Uj )).
j2J j2J
Como ✏ é injetiva,
\ \ \
✏(U ) = ✏(✏ 1 (⇡j 1 (Uj ))) = ✏(X) \ ⇡j 1 (Uj ) = ✏(X) \ ⇡j 1 (Uj ).
j2J j2J j2J
Logo ✏(U ) é aberto em ✏(X), como querı́amos.
Exercı́cios
Q 10.A. Seja {Xi : i 2 I} uma famı́lia de espaços topológicos, e seja X =

i2I Xi . Prove que cada projeção ⇡i : X ! Xi é uma função aberta.
10.B. Prove que as projeções canônicas em R2 não são funções fechadas.

10.C. Seja {XiQ: i 2 I} uma famı́lia não vazia de espaços topológicos não
vazios, e seja X = i2I Xi . Prove que cada Xi é homeomorfo a um subespaço
de X.
10.D. Um espaço topológico X é dito não trivial se tiver pelo menos dois
pontos, e trivial em caso contrário. Seja {Xi : i 2 I} uma famı́lia não vazia de
espaços topológicos não vazios. Suponhamos
Q que exista J, ; 6= J ⇢QI tal que
Xi é trivial para todo i 2 I \ J. Prove que i2I Xi é homeomorfo a j2J Xj .
Q
10.E. Se ↵i < i para cada i 2 I, prove que o produto i2I [↵i , i ] é
homeomorfo ao produto [0, 1]I .
10.F. Seja S um subespaço de um espaço topológico X. Prove que a topolo-
gia de S coincide com a topologia fraca definida pela inclusão S ,! X.
28
11. O espaço quociente
11.1. Proposição. Seja X um espaço topológico, seja Y um conjunto, e
seja ⇡ : X ! Y uma aplicação sobrejetiva. Então a coleção
⌧⇡ = {V ⇢ Y : ⇡ 1
(V ) é aberto em X}
é uma topologia em Y , que chamaremos de topologia quociente definida por ⇡.
A demonstração é simples e é deixada como exercı́cio.
11.2. Definição. Diremos que ⇡ : X ! Y é uma aplicação quociente se
X é um espaço topológico, ⇡ : X ! Y é uma aplicação sobrejetiva e Y tem a
topologia quociente definida por ⇡.
11.3. Proposição. Seja ⇡ : X ! Y uma aplicação quociente. Então
a topologia quociente é a topologia mais fina em Y tal que a aplicação ⇡ é
contı́nua.
A proposição é conseqüência imediata da definição de ⌧⇡ .
11.4. Proposição. Seja ⇡ : X ! Y uma aplicação quociente e seja Z um
espaço topológico. Então uma função g : Y ! Z é contı́nua se e só se a função
composta g ⇡ : X ! Z é contı́nua.
Demonstração. A implicação ) é imediata. Para provar a implicação
oposta, seja W um aberto de Z. Como g ⇡ é contı́nua, temos que (g ⇡) 1 (W ) =
⇡ 1 (g 1 (W )) é aberto em X. Segue que g 1 (W ) é aberto em Y .
11.5. Proposição. Sejam X e Y espaços topológicos, e seja ⇡ : X ! Y
uma aplicação sobrejetiva e contı́nua. Se ⇡ é aberta ou fechada, então a topologia
⌧ de Y coincide com a topologia quociente ⌧⇡ .
Demonstração. Suponhamos que ⇡ seja aberta. Como ⇡ é contı́nua, é
claro que ⌧ ⇢ ⌧⇡ . Para provar que ⌧⇡ ⇢ ⌧ , seja V 2 ⌧⇡ . Então ⇡ 1 (V ) é aberto
em X. Como ⇡ é aberta e sobrejetiva, segue que V = ⇡(⇡ 1 (V )) 2 ⌧ .
Quando ⇡ é fechada, a demonstração é parecida.
11.6. Exemplo. Seja
S 1 = {(x, y) 2 R2 : x2 + y 2 = 1}
e seja
⇡ : t 2 [0, 2⇡] ! (cost, sent) 2 S 1 .
Claramente ⇡ é sobrejetiva e contı́nua. Usando resultados de compacidade em
Rn não é difı́cil provar que ⇡ é fechada. Logo S 1 tem a topologia quociente
definida por ⇡.
11.7. Proposição. Seja X um espaço topológico. Seja D uma famı́lia de
subconjuntos disjuntos de X cuja união é X. Seja
[
⌧D = {A ⇢ D : {A : A 2 A} é aberto em X}.
29
Então ⌧D é uma topologia em D. Diremos que D é uma decomposição de X.
Dado x 2 X seja P (x) o único elemento de D que contém x. A aplicação
P : X ! D assim definida é chamada de aplicação decomposição.
Demonstração. É claro que ;, D S2 ⌧D .
Se Ai 2 ⌧D para cada i 2 I, então i2I Ai 2 ⌧D , pois
[ [ [[
{A : A 2 Ai } = {A : A 2 Ai }
i2I i2I
é aberto em X.
Se A, B 2 ⌧D , então A \ B 2 ⌧D , pois
[ [ [
{C : C 2 A \ B} = ( {A : A 2 A}) \ ( {B : B 2 B})
é aberto em X. Para provar a igualdade anterior é necessário observar que se

A, B 2 D e A \ B 6= ;, então A = B.
11.8. Proposição. Toda aplicação decomposição P : X ! D é uma
aplicação quociente.
Demonstração. Se A ⇢ D, é claro que
[
P 1
(A) = {x 2 X : P (x) 2 A} = {A : A 2 A}.
Segue que
⌧D = {A ⇢ D : P 1
(A) é aberto em X}.
Logo ⌧D é a topologia quociente definida por P .
Reciprocamente temos o resultado seguinte.
11.9. Proposição. Seja ⇡ : X ! Y uma aplicação quociente. Então existe
uma aplicação decomposição P : X ! D e existe um homeomorfismo f : Y ! D
tal que f ⇡ = P .
Demonstração. Seja
D = {⇡ 1
(y) : y 2 Y }.
Como ⇡ é sobrejetiva, é claro que D é uma decomposição de X. Seja P : X ! D

a aplicação canônica. Seja f : Y ! D definida por f (y) = ⇡ 1 (y) para cada
y 2 Y . É claro que f é bijetiva. Como f (⇡(x)) = ⇡ 1 (⇡(x)) contém x, segue
que f (⇡(x)) = P (x) para cada x 2 X.
Como f ⇡ = P é contı́nua, segue que f é contı́nua. E como f 1 P = ⇡ é
contı́nua, segue que f 1 é contı́nua.
11.10. Definição. Seja X um espaço topológico, e seja ⇠ uma relação de
equivalência em X. A decomposição D formada pelas classes de equivalência
definidas pela relação ⇠ é denotada por X/ ⇠ e é chamada de espaço de iden-
tificação de X módulo ⇠.
30
11.11. Exemplos.
(a) Já vimos que o cı́rculo unitário S 1 é um quociente do intervalo [0, 2⇡].
Aqui
D = {{x} : 0 < x < 2⇡} [ {{0, 2⇡}}.
Para x, y 2 [0, 2⇡], tem-se que x ⇠ y se x y é um múltiplo inteiro de 2⇡.
(b) Seja X = [0, 2⇡] ⇥ [0, 2⇡]. Dados (x1 , y1 ), (x2 , y2 ) 2 X, definamos
(x1 , y1 ) ⇠ (x2 , y2 ) se x1 x2 é um múltiplo inteiro de 2⇡ e y1 = y2 . Então
⇠ é uma relação de equivalência em X e o espaço de identificação X/ ⇠ é
homeomorfo ao cilindro S 1 ⇥ [0, 2⇡]. A aplicação quociente vem dada por
⇡ : (x, y) 2 [0, 2⇡] ⇥ [0, 2⇡] ! ((cosx, senx), y) 2 S 1 ⇥ [0, 2⇡].
(c) Seja X = [0, 2⇡]⇥[0, 2⇡]. Dados (x1 , y1 ), (x2 , y2 ) 2 X definamos (x1 , y1 ) ⇠
(x2 , y2 ) se x1 x2 é um múltiplo inteiro de 2⇡ e y1 = y2 ou se x1 = x2 e y1 y2
é um múltiplo inteiro de 2⇡. Neste caso X/ ⇠ é homeomorfo ao toro S 1 ⇥ S 1 .
A aplicação quociente vem dada por
⇡ : (x, y) 2 [0, 2⇡] ⇥ [0, 2⇡] ! ((cosx, senx), (cosy, seny)) 2 S 1 ⇥ S 1 .
(d) Seja X = [0, 2⇡] ⇥ [0, 2⇡]. Dados (x1 , y1 ), (x2 , y2 ) 2 X definamos
(x1 , y1 ) ⇠ (x2 , y2 ) se x1 x2 é um múltiplo inteiro de 2⇡ e y1 + y2 = 2⇡.
Neste caso X/ ⇠ é homeomorfo à fita de Möbius.
Exercı́cios
11.A. Sejam X e Y espaços topológicos, e seja ⇡ : X ! Y uma aplicação
sobrejetiva. Prove que é condição necessária e suficiente para que ⇡ seja uma
aplicação quociente que B seja fechado em Y se e só se ⇡ 1 (B) é fechado em
X.
11.B. Sejam X e Y espaços topológicos, e seja ⇡ : X ! Y uma aplicação
contı́nua. Se existir uma aplicação contı́nua : Y ! X tal que ⇡ (y) = y
para todo y 2 Y , prove que ⇡ é uma aplicação quociente.
11.C. Sejam X e Y espaços topológicos, e seja ⇡ : X ! Y uma aplicação
quociente.
(a) Prove que ⇡ é aberta se e só se ⇡ 1 (⇡(U )) é aberto em X para cada
aberto U de X.
(b) Prove que ⇡ é fechada se e só se ⇡ 1 (⇡(A)) é fechado em X para cada
fechado A de X.
11.D. Seja X = [0, 1], com a topologia induzida por R. Seja Y = {0, 1}, e
seja ⇡ : X ! Y a função caracterı́stica do intervalo [1/2, 1].
(a) Prove que a topologia quociente ⌧⇡ em Y vem dada por ⌧⇡ = {;, Y, {0}}.
Y é o espaço de Sierpinski, que encontramos no Exercı́cio 3.B.
(b) Prove que ⇡ não é aberta nem fechada.
31
12. Convergência de seqüências
12.1. Definição. Seja X um espaço métrico. Diremos que uma seqüência
(xn )1
n=1 ⇢ X converge a um ponto x 2 X se dado ✏ > 0 existe n0 2 N tal que
d(xn , x) < ✏ para todo n n0 . Neste caso escreveremos xn ! x.
12.2. Proposição. Seja X um espaço métrico, e sejam A ⇢ X e x 2 X.
Tem-se que x 2 A se e só se existe uma seqüência (xn )1
n=1 ⇢ A que converge a
x.
Demonstração. Pela Proposição 5.8 x 2 A se e só se A \ B(x; ✏) 6= ; para
cada ✏ > 0.
()) Se x 2 A, então existe xn 2 A \ B(x; 1/n) para cada n 2 N. Segue que
xn ! x.
(() Suponhamos que exista (xn )1 n=1 ⇢ A tal que xn ! x. Então, dado ✏ > 0
existe n0 2 N tal que d(xn , x) < ✏ para todo n n0 . Segue que A \ B(x; ✏) 6= ;
para todo ✏ > 0. Logo x 2 A.
12.3. Corolário. Seja X um espaço métrico, e seja A ⇢ X. Então A é
fechado se e só se, cada vez que (xn )1
n=1 ⇢ A e xn ! x, então x 2 A.

f é contı́nua num ponto a 2 X se e só se, cada vez que xn ! a em X, então
f (xn ) ! f (a) em Y .
Demonstração. ()) Se f é contı́nua em a, então, dado ✏ > 0, existe > 0
tal que f (B(a; )) ⇢ B(f (a); ✏). Se xn ! a, existe n0 2 N tal que d(xn , a) <
para todo n n0 . Segue que d(f (xn ), f (a)) < ✏ para todo n n0 . Logo
f (xn ) ! f (a).
(() Se f não é contı́nua em a, então existe ✏ > 0 tal que para cada > 0
tem-se que f (B(a; )) 6⇢ B(f (a); ✏). Em particular para cada n 2 N existe
xn 2 B(a; 1/n) tal que f (xn ) 2 / B(f (a); ✏). Segue que xn ! a em X, mas
f (xn ) 6! f (a) em Y .
12.5. Definição. Seja X um espaço topológico. Diremos que uma seqüência
(xn )1
n=1 ⇢ X converge a um ponto x 2 X se dado U 2 Ux existe n0 2 N tal
que xn 2 U para todo n n0 . Neste caso escreveremos xn ! x.
Na definição anterior podemos trocar o sistema de vizinhanças Ux por qual-
quer base de vizinhanças Bx .
12.6. Definição. Seja (xn )1 n=1 uma seqüência em X. Chamaremos de
subseqüência de (xn )1
n=1 qualquer seqüência da forma (xnk )k=1 , sendo (nk )k=1
1 1
uma seqüência estritamente crescente em N.
Exercı́cios
X e Y denotam espaços topológicos.
12.A. Se (xn )1
n=1 converge a x, prove que qualquer subseqüência (xnk )k=1
1
32
também converge a x.
12.B. Seja A ⇢ X.
(a) Prove que, se existir uma seqüência (xn )1
n=1 ⇢ A tal que xn ! x, então
x 2 A.
(b) Suponhamos que X verifique o primeiro axioma de enumerabilidade.
Prove que, se x 2 A, então existe uma seqüência (xn )1
n=1 ⇢ A tal que xn ! x.
12.C. Seja f : X ! Y , e seja a 2 X.

(a) Prove que, se f é contı́nua em a, então, cada vez que xn ! a em X,
tem-se que f (xn ) ! f (a) em Y .
(b) Suponhamos que X verifique o primeiro axioma de enumerabilidade.
Prove que, se cada vez que xn ! a em X tem-se que f (xn ) ! f (a) em Y , então
f é contı́nua em a.
Q
12.D. Seja X = i2I Xi o produto cartesiano de uma famı́lia de espaços
topológicos. Prove que xn ! x em X se e só se ⇡i (xn ) ! ⇡i (x) em Xi para
cada i 2 I.
12.E. Seja X = RR . Prove que f ! f em X se e só se f (t) ! f (t) em
n n
R para cada t 2 R.
12.F. Seja X = RR e seja M = { A : A ⇢ R, A finito} ⇢ X.

(a) Prove que R 2 M .
(b) Prove que não existe nenhuma seqüência ( An )1
n=1 ⇢ M tal que An !
R .
(c) Prove que X não satisfaz o primeiro axioma de enumerabilidade.
12.G. Seja (xn )1
n=1 uma seqüência em X e seja x 2 X. Se cada subseqüência
de (xn )1
n=1 admite uma subseqüência que converge a x, prove que (xn )n=1
1
converge a x.
33
13. Convergência de redes
13.1. Definição. Um conjunto ⇤, junto com uma relação , é chamado de
conjunto dirigido se verifica as seguintes propriedades:
(a)  para todo 2 ⇤.
(b) Se  µ e µ  ⌫, então  ⌫.
(c) Dados , µ 2 ⇤, existe ⌫ 2 ⇤ tal que ⌫ e ⌫ µ.
13.2. Exemplos.
(a) N, com a relação de ordem usual, é um conjunto dirigido.
(b) Seja X um espaço topológico, e seja x 2 X. Se definimos U  V quando
U V , então o sistema de vizinhanças Ux é um conjunto dirigido. De maneira
análoga, qualquer base de vizinhanças Bx é um conjunto dirigido.
13.3. Definição. Seja X um espaço topológico.
(a) Chamaremos de rede em X qualquer função da forma x : ⇤ ! X, sendo
⇤ um conjunto dirigido. Escreveremos x em lugar de x( ), e falaremos da rede
(x ) 2⇤ .
(b) Diremos que a rede (x ) 2⇤ converge a um ponto x 2 X se dada U 2 Ux ,
existe 0 2 I tal que x 2 U para todo 0 . Neste caso escreveremos x ! x.
É claro que a definição em (b) não muda se trocamos o sistema de vizinhanças

Ux por qualquer base de vizinhanças Bx .
13.4. Exemplos. Seja X um espaço topológico.
(a) Cada seqüência em X é uma rede, e a convergência de redes generaliza
a convergência de seqüências.
(b) Seja x 2 X. Se escolhemos xU 2 U para cada U 2 Ux , então (xU )U 2Ux
é uma rede em X que converge a x.
(c) Seja x 2 X, e seja Bx uma base de vizinhanças de x. Se escolhemos
xU 2 U para cada U 2 Bx , então (xU )U 2Bx é uma rede em X que converge a x.
Notemos que, nos Exemplos 13.4(b) e 13.4(c) estamos usando a Proposição

9.3, ou seja o axioma da escolha.
O resultado seguinte generaliza a Proposição 12.2.
13.5. Proposição. Seja X um espaço topológico, e sejam A ⇢ X e x 2 X.
Tem-se que x 2 A se e só se existe uma rede (x ) 2⇤ ⇢ A que converge a x.
Demonstração. Pela Proposição 5.8, x 2 A se e só se U \ A 6= ; para cada
U 2 Ux .
()) Se x 2 A, podemos escolher xU 2 U \ A para cada U 2 Ux . Então a
rede (xU )U 2Ux está contida em A e converge a x.
34
(() Seja (x ) 2⇤ uma rede em A que converge a x. Dado U 2 Ux , existe
0 2 ⇤ tal que x 2 U para todo 0 . Em particular x 0 2 U \ A. Segue
que x 2 A.
O resultado seguinte generaliza a Proposição 12.4.
Então f é contı́nua num ponto x 2 X se e só se, para cada rede (x ) 2⇤ que
converge a x em X, a rede (f (x )) 2⇤ converge a f (x) em Y .
Demonstração. Pela Proposição 8.2, f é contı́nua em x se e só se, dado
V 2 Uf (x) , existe U 2 Ux tal que f (U ) ⇢ V .
()) Suponhamos que f seja contı́nua em x. Seja (x ) 2⇤ uma rede em X
que converge a x. Então, dada V 2 Uf (x) , existe U 2 Ux tal que f (U ) ⇢ V .
Seja 0 2 ⇤ tal que x 2 U para todo 0 . Então f (x ) 2 f (U ) ⇢ V para
todo 0 . Logo f (x ) ! f (x).
(() Suponhamos que f não seja contı́nua em x. Então existe V 2 Uf (x) tal
que f (U ) 6⇢ V para todo U 2 Ux . Se escolhemos xU 2 U tal que f (xU ) 2 / V
para cada U 2 Ux , então xU ! x, mas f (xU ) 6! f (x).
13.7. Proposição. Seja {Xi Q : i 2 I} uma famı́lia não vazia de espaços
topológicos não vazios, e seja X = i2I Xi . Então uma rede (x ) 2⇤ converge
a x em X se e só se a rede (⇡i (x )) 2⇤ converge a ⇡i (x) em Xi para cada i 2 I.
Demonstração. ()) Se x ! x em X, então ⇡i (x ) ! ⇡i (x) em Xi , para

cada i 2 I, pois cada ⇡i é contı́nua.
(() Suponhamos que ⇡i (x ) ! ⇡i (x) para cada i 2 I. Seja U uma vizi-
nhança aberta básica de x em X, ou seja
\
x2U = ⇡j 1 (Uj ), com J finito, Uj aberto em Xj .
j2J
Para cada j 2 J ⇡j (x) 2 Uj . Logo existe j 2 ⇤ tal que
⇡j (x ) 2 Uj para todo j.
Como ⇤ é um conjunto dirigido existe 0 2 ⇤ tal que 0 j para cada j 2 J.

Segue que \
x 2 ⇡j 1 (Uj ) para todo 0.
j2J
Logo x ! x.
13.8. Definição. Seja X um espaço topológico, e seja (x ) 2⇤ uma rede
em X. Diremos que x 2 X é um ponto de acumulação de (x ) 2⇤ se dados
U 2 Ux e 0 2 ⇤, existe 2 ⇤, 0 , tal que x 2 U .
Se (x ) 2⇤ converge a x, é claro que x é ponto de acumulação de (x ) 2⇤ .
35
13.9. Definição. Seja X um espaço topológico, e seja x : ⇤ ! X uma
rede em X. Chamaremos de subrede de x : ⇤ ! X qualquer rede da forma
x : M ! X, sendo M um conjunto dirigido, e sendo : M ! ⇤ uma função
com as seguintes propriedades:
(a) µ1  µ2 implica (µ1 )  (µ2 ) ( é crescente);
(b) dado 2 ⇤, existe µ 2 M tal que (µ) ( é cofinal ).
A subrede x : M ! X será denotada por (x (µ) )µ2M .
13.10. Proposição. Seja X um espaço topológico, e seja (x ) 2⇤ uma
rede em X. Então x 2 X é um ponto de acumulação de (x ) 2⇤ se e só se
existe uma subrede de (x ) 2⇤ que converge a x.
Demonstração. (() Seja (x (µ) )µ2M uma subrede de (x ) 2⇤ que con-
verge a x. Sejam U 2 Ux e 0 2 ⇤ dados. Por um lado existe µ1 2 M tal que
(µ1 ) 0 . Por outro lado existe µ2 2 M tal que x (µ) 2 U para todo µ µ2 .
Seja µ 2 M tal que µ µ1 e µ µ2 . Segue que (µ) (µ1 ) 0 e x (µ) 2 U .
Logo x é ponto de acumulação de (x ) 2⇤ .
()) Seja x um ponto de acumulação de (x ) 2⇤ . Seja
M = {( , U ) 2 ⇤ ⇥ Ux : x 2 U }.
Definamos ( 1 , U1 )  ( 2 , U2 ) se 1  2 e U1 U2 . Claramente M é um
conjunto dirigido. Definamos : M ! ⇤ por ( , U ) = . Claramente
(x (µ) )µ2M é uma subrede de (x ) 2⇤ . Provaremos que x (µ) ! x. Seja
U0 2 Ux . Como x é ponto de acumulação de (x ) 2⇤ , existe 0 2 ⇤ tal que
x 0 2 U . Então ( 0 , U0 ) 2 M e é claro que x 2 U0 para todo ( , U ) 2 M tal
que ( , U ) ( 0 , U0 ). Ou seja x (µ) ! x.
13.11. Definição. Diremos que uma rede (x ) 2⇤ em X é uma rede
universal ou ultrarede se dado A ⇢ X existe 0 2 ⇤ tal que
{x : 0} ⇢A ou {x : 0} ⇢ X \ A.
É claro que toda rede constante é uma rede universal, chamada de rede
universal trivial.
13.12. Proposição. Seja X um espaço topológico, e seja (x ) 2⇤ uma rede
universal em X. Se x é um ponto de acumulação de (x ) 2⇤ , então (x ) 2⇤
converge a x.
Demonstração. Seja U 2 Ux . Como (x ) 2⇤ é rede universal, existe
0 2 ⇤ tal que
{x : 0} ⇢U ou {x : 0} ⇢ X \ U.
Como x é ponto de acumulação de (x ) 2⇤ , existe 0 tal que x 2 U . Segue

que
{x : 0} ⇢ U.
36
Logo x ! x.
Exercı́cios
13.A. Se uma rede (x ) 2⇤ converge a x, prove que qualquer subrede de
(x ) 2⇤ também converge a x.
13.B. Se x é ponto de acumulação de uma subrede de (x ) 2⇤ , prove que x
é ponto de acumulação de (x ) 2⇤ .
Q Seja x um ponto de acumulação de uma rede (x ) 2⇤ no produto

13.C.
X = i2I Xi . Prove que ⇡i (x) é ponto de acumulação da rede (⇡i (x )) 2⇤ em
Xi para cada i 2 I.
13.D. Seja (x ) 2⇤ uma rede em X, e seja x 2 X. Se cada subrede de
(x ) 2⇤ admite uma subrede que converge a x, prove que (x ) 2⇤ converge a
x.
13.E. Prove que cada subrede de uma rede universal é uma rede universal.
13.F. Seja f : X ! Y . Se (x ) 2⇤ é uma rede universal em X, prove que
(f (x )) 2⇤ é uma rede universal em Y .
37
14. O lema de Zorn e o teorema de Zermelo
14.1. Definição. Chamaremos de relação de ordem parcial num conjunto
X uma relação  em X com as seguintes propriedades:
(a) x  x para todo x 2 X ( é reflexiva);
(b) se x  y e y  x, então x = y ( é antisimétrica);
(c) se x  y e y  z, então x  z ( é transitiva).
Neste caso diremos que X é um conjunto parcialmente ordenado.
Diremos que  é uma relação de ordem total se além de verificar (a), (b) e
(c), também verifica
(d) dados x, y 2 X, tem-se que x  y ou y  x.
Neste caso diremos que X é um conjunto totalmente ordenado.
14.2. Exemplos.
(a) Se X é um conjunto, então a relação de inclusão é uma relação de ordem
parcial em P(X).
(b) A relação de ordem usual em R é uma relação de ordem total.
14.3. Definição. Seja X um conjunto parcialmente ordenado, e seja A ⇢
X.
(a) Se existir a0 2 A tal que a0  a para todo a 2 A, diremos que a0 é o
elemento mı́nimo de A. De maneira análoga definimos elemento máximo.
(b) Se existir a0 2 A tal que a = a0 sempre que a 2 A e a  a0 , diremos
que a0 é um elemento minimal de A. De maneira análoga definimos elemento
maximal.
(c) Se existir c 2 X tal que c  a para todo a 2 A, diremos que A é limitado
inferiormente e que c é uma cota inferior de A. De maneira análoga definimos
conjunto limitado superiormente e cota superior.
(d) Diremos que A é uma cadeia em X se A é totalmente ordenado sob a
relação de ordem parcial induzida por X.
(e) Diremos que A é bem ordenado se cada subconjunto não vazio de A
possui um elemento mı́nimo.
14.4. Exemplos.
(a) N, com a ordem usual, é um conjunto bem ordenado.
(b) R, com a ordem usual, é um conjunto totalmente ordenado, que não é
bem ordenado: o intervalo aberto (a, b) não possui elemento mı́nimo.
14.5. Lema de Zorn. Seja X um conjunto parcialmente ordenado não
vazio tal que cada cadeia em X é limitada superiormente. Então X possui pelo
menos um elemento maximal.
14.6. Teorema de Zermelo. Cada conjunto não vazio pode ser bem
ordenado.
38
14.7. Teorema. As seguintes afirmações são equivalentes:
(a) O axioma da escolha.
(b) O lema de Zorn.
(c) O teorema de Zermelo.
Demonstração. (b) ) (c): Seja X um conjunto não vazio. Seja F a famı́lia
de todos os pares (A, A ) tais que ; 6= A ⇢ X e (A, A ) é um conjunto bem
ordenado. É fácil verificar que F é um conjunto parcialmente ordenado não
vazio se definimos (A, A )  (B, B ) quando:
(i) A ⇢ B;
(ii) se x, y 2 A, então x A y se e só se x B y;
(iii) se x 2 A e y 2 B \ A, então x B y.
Provaremos que cada cadeia em F é limitada superiormente.
S De fato, seja
{(Ai , Ai ) : i 2 I} uma cadeia em F, e seja A = i2I Ai . Dados x, y 2 A
definamos x A y se x, y 2 Ai e x Ai y. É fácil verificar que a relação A está
bem definida, e é uma relação de ordem parcial em A. Afirmamos que (A, A )
é um conjunto bem ordenado. Seja ; = 6 B ⇢ A, e seja
J = {j 2 I : B \ Aj 6= ;}.
Notemos que A coincide com Ai em Ai para cada i 2 I. Como (Ai , Ai )
é bem ordenado para cada i 2 I, segue que todos os conjuntos B \ Aj , com
j 2 J, tem o mesmo elemento mı́nimo, que denotaremos por b0 . Segue que b0 é
o elemento mı́nimo de B. Logo (A, A ) é bem ordenado, ou seja pertence a F.
Agora é claro que (A, A ) é uma cota superior da cadeia {(Ai , Ai ) : i 2 I}.
Pelo lema de Zorn, F possui pelo menos um elemento maximal (A, A ).
Segue da maximalidade de (A, A ) que A = X. Logo (X, X ) é um conjunto
bem ordenado.
(c) ) (a): Seja {Xi : i 2 I} uma famı́lia não vazia de conjuntos
S não vazios.
Pelo teorema de Zermelo, existe uma boa ordenaçãoQ para i2I Xi . Para cada
i 2 I seja f (i) o elemento mı́nimo de Xi . Então f 2 i2I Xi .
(a) ) (b): Esta é a implicação mais difı́cil de provar. Seja X um conjunto
parcialmente ordenado não vazio no qual cada cadeia é limitada superiormente.
Seja X a famı́lia de todas as cadeias de X. Então X é um conjunto parcial-
mente ordenado não vazio, por inclusão de conjuntos.
A estratégia da demonstração é trabalhar com a famı́lia de conjuntos X , que
é parcialmente ordenada por inclusão, em lugar de trabalhar com o conjunto
parcialmente ordenado abstrato X. Depois de provar que X possui um elemento
maximal, será fácil provar que X possui um elemento maximal.
O primeiro passo é caracterizar os elementos maximais de X . Para cada
C 2 X seja
Ĉ = {x 2 X : C [ {x} 2 X }.
É claro que C ⇢ Ĉ. Além disso, C é maximal em X se e só se C = Ĉ.
39
Pelo axioma da escolha, existe uma função f : P(X) \ {;} ! X tal que
f (A) 2 A para cada A 2 P(X) \ {;}.
Seja g : X ! X definida por:
g(C) = C se C = Ĉ,
g(C) = C [ {f (Ĉ \ C)} se C 6= Ĉ.

A função g está bem definida, pois se C 6= Ĉ, então f (Ĉ \C) 2 Ĉ \C, e portanto
C [ {f (Ĉ \ C)} 2 X . Além disso, C é maximal em X se e só se g(C) = C.
Diremos que uma famı́lia T ⇢ X é uma torre se:
(i) ; 2 T ;
(ii) se C 2 T , então g(C) 2 T ; S
(iii) se C é uma cadéia em T , então C 2 T .
É claro que X é uma torre. É claro que a interseção de uma famı́lia de torres
é uma torre. Seja T0 a interseção de todas as torres de X . Então T0 é a menor
torre de X . Nosso próximo objetivo é provar que T0 é uma cadeia em X . Isto
vai nos dar muito trabalho.
Diremos que C 2 T0 é comparável se dado D 2 T0 , tem-se que C ⇢ D ou
D ⇢ C.
Para provar que T0 é cadeia, basta provar que cada C 2 T0 é comparável.
Para provar que cada C 2 T0 é comparável, basta provar que os conjuntos
comparáveis em T0 formam uma torre.
É claro que ; é comparável.
S É claro também que se C é uma cadeia de
conjuntos comparáveis, então C é comparável. O mais difı́cil vai ser provar
que se C é comparável, então g(C) é comparável também.
Fixemos C 2 T0 , C comparável.
Afirmamos que se D 2 T0 e D ⇢ C, D 6= C, então g(D) ⇢ C. Como T0 é
torre, g(D) 2 T0 . Como C é comparável, tem-se que g(D) ⇢ C ou C ⇢ g(D),
C 6= g(D). Mas C ⇢ g(D), C 6= g(D) é impossı́vel, pois D ⇢ C, D 6= C e
g(D) = D ou g(D) = D [ {x}.
Seja
U = {D 2 T0 : D ⇢ C ou g(C) ⇢ D}.
Afirmamos que U é uma torre. S É claro que ; 2 U. É claro também que
se D é uma cadeia em U, então D 2 U. Falta provar que se D 2 U, então
g(D) 2 U. Há três possibilidades:
(i) D ⇢ C, D 6= C. Neste caso já sabemos que g(D) ⇢ C, e portanto
g(D) 2 U.
(ii) D = C. Neste caso g(D) = g(C), e portanto g(D) 2 U.
(iii) g(C) ⇢ D. Neste caso g(D) D g(C), e portanto g(D) 2 U.
Como U é torre e U ⇢ T0 , segue que U = T0 . Logo, dado D 2 T0 = U,
tem-se que D ⇢ C ⇢ g(C) ou g(C) ⇢ D. Logo g(C) é comparável.
40
Temos provado assim que os conjuntos comparáveis de T0 formam uma torre.
Segue que cada C 2 T0 é comparável, eSdaı́ T0 é uma cadeia em X .
Como T0 é torre, temos que C0 := T0 2 T0 . Como T0 é torre, temos que
g(C0 ) 2 T0 , e portanto g(C0 ) = C0 . Logo C0 é maximal em X .
Por hipótese existe m 2 X tal que c  m para todo c 2 C0 . Como C0 é uma
cadeia maximal, é claro que m 2 C0 .
Afirmamos que m é um elemento maximal em X. De fato seja n 2 X, com
m  n. Como C0 é uma cadeia maximal, segue que n 2 C0 . Logo n  m, e
portanto n = m. Isto completa a demonstração.
Exercı́cios.
14.A. Seja X = {n 2 N : n 2}. Dados m, n 2 X, definamos m  n se m
divide n.
(a) Prove que  é uma relação de ordem parcial em X.
(b) Prove que, dada uma cadeia C ⇢ X e um elemento n 2 C, existe apenas
um número finito de elementos n1 , ..., nk 2 C que dividem n.
(c) Prove que cada cadeia C ⇢ X é limitada inferiormente.
(d) Identifique os elementos minimais de X.
14.B. Seja (X, ) um conjunto totalmente ordenado com pelo menos dois
elementos. Dados x, y 2 X, escreveremos x < y se x  y e x 6= y.
(a) Prove que os conjuntos {x 2 X : a < x}, com a 2 X, junto com os
conjuntos {x 2 X : x < b}, com b 2 X, formam uma sub-base para uma
topologia em X, chamada de topologia da ordem.
(b) Prove que a topologia usual em R coincide com a topologia da ordem
usual em R.
14.C. Seja E um espaço vetorial, E 6= {0}. Usando o lema de Zorn prove
que cada subconjunto linearmente independente de E está contido em alguma
base de E.
14.D. Sejam E e F espaços vetoriais sobre o mesmo corpo, seja E0 um
subespaço vetorial de E, e seja T0 : E0 ! F uma aplicação linear. Use o lema
de Zorn para provar a existência de uma aplicação linear T : E ! F tal que
T x = T0 x para todo x 2 E0 .
14.E. Seja A um anel comutativo com elemento unidade. Um conjunto
I ⇢ A é chamado de ideal se verifica as seguintes condições:
(a) x y 2 I para todo x, y 2 I;
(b) xy 2 I para todo x 2 I, y 2 A.
Um ideal I 6= A é chamado de ideal próprio. Um ideal próprio que não está
contido em nenhum outro ideal próprio é chamado de ideal maximal. Use o lema
de Zorn para provar que cada ideal próprio de A está contido em algum ideal
maximal.
41
15. Convergência de filtros
15.1. Definição. Seja X um conjunto não vazio. Diremos que uma famı́lia
não vazia F ⇢ P(X) é um filtro em X se verifica as seguintes condições:
(a) A 6= ; para todo A 2 F;
(b) se A, B 2 F, então A \ B 2 F;
(c) se A 2 F e A ⇢ B ⇢ X, então B 2 F.
15.2. Definição. Seja X um conjunto não vazio. Diremos que uma famı́lia
não vazia B ⇢ P(X) é uma base de filtro em X se a famı́lia
F = {A ⇢ X : A B para algum B 2 B}
é um filtro em X. Neste caso diremos que F é o filtro gerado por B.

É claro que todo filtro em X é uma base de filtro em X.
15.3. Proposição. Seja X um conjunto não vazio. Uma famı́lia não
vazia B ⇢ P(X) é uma base de filtro em X se e só se se verificam as seguintes
condições:
(a) A 6= ; para todo A 2 B;
(b) dados A, B 2 B, existe C 2 B tal que C ⇢ A \ B.
Demonstração. ()) Suponhamos que a famı́lia
seja um filtro em X. É claro que B ⇢ F, e portanto (a) vale. Para provar (b)
sejam A, B 2 B ⇢ F. Então A \ B 2 F, e dai A \ B C para algum C 2 B.
(() Supondo (a) e (b) queremos provar que a famı́lia
é um filtro em X.
Seja A 2 F. Então A B para algum B 2 B. Como B 6= ;, segue que
A 6= ;.
Sejam A1 , A2 2 F. Então A1 B1 e A2 B2 , com B1 , B2 2 B. Existe
B3 2 B tal que B3 ⇢ B1 \ B2 . Segue que A1 \ A2 B1 \ B2 B3 , e portanto
A1 \ A2 2 F.
Finalmente sejam A1 2 F e A1 ⇢ A2 ⇢ X. A1 B1 para algum B1 2 B.
Segue que A2 A1 B1 , e portanto A2 2 F.
15.4. Exemplos.
(a) Seja X um conjunto, seja ; = 6 B ⇢ X, e seja B = {B}. É claro que B é
uma base de filtro em X. O filtro gerado por B é a famı́lia F = {A : B ⇢ A ⇢
X}.
(b) Seja X um espaço topológico, e seja x 2 X. Então o sistema de vizin-
hanças Ux é um filtro em X. Qualquer base de vizinhanças Bx é uma base de
filtro em X que gera o filtro Ux .
42
(c) A famı́lia B = {(a, 1) : a 2 R} é uma base de filtro em R.
T
15.5. Definição. Uma base de filtro B em X é dita fixa se B =
T 6 ;, e livre
se B = ;.
Seja F o filtro gerado por B. É claro que F é fixo se e só se B é fixa.
Os filtros ou bases de filtro dos Exemplos 15.4 (a) e 15.4 (b) são fixos. A
base de filtro do Exemplo 15.4 (c) é livre.
15.6. Definição. Seja X um espaço topológico, e seja B uma base de filtro
em X. Diremos que B converge a um ponto x 2 X, e escreveremos B ! x, se
dado U 2 Ux , existe B 2 B tal que B ⇢ U .
É claro que um filtro F converge a x se e só se Ux ⇢ F. É claro também que
uma base de filtro B converge a x se e só se o filtro gerado por B converge a x.
Trabalhar com filtros ou com bases de filtro é equivalente. Em geral, escolhe-
remos um ou outro, de maneira que os enunciados fiquem mais
simples.
15.7. Exemplos. Seja X um espaço topológico, e seja x 2 X. Então
o sistema de vizinhanças Ux converge a x. Qualquer base de vizinhanças Bx
converge a x.
15.8. Proposição. Seja X um espaço topológico, e sejam E ⇢ X e x 2 X.
Tem-se que x 2 E se e só se existe um filtro F em X tal que E 2 F e F ! x.
Demonstração. Sabemos que x 2 E se e só se U \E 6= ; para todo U 2 Ux .
(() Seja F um filtro em X tal que E 2 F e F ! x. Como F ! x, tem-se
que Ux ⇢ F. Segue que U \ E 2 F, e portanto U \ E 6= ; para todo U 2 Ux .
Logo x 2 E.
()) Suponhamos que x 2 E. Seja
B = {U \ E : U 2 Ux }.
É claro que B é uma base de filtro em X, e que B ! x. Seja F o filtro gerado

por B. É claro que E 2 F e F ! x.
15.9. Proposição. Seja B uma base de filtro em X, e seja f : X ! Y uma
função qualquer. Então a famı́lia
f (B) = {f (B) : B 2 B}
é uma base de filtro em Y .

Demonstração: exercı́cio.
15.10. Proposição. Sejam X e Y espaços topológicos, e seja f : X ! Y .
Então f é contı́nua num ponto x 2 X se e só se f (B) ! f (x) para cada base
de filtro B em X que converge a x.
43
Demonstração. Sabemos que f é contı́nua em x se e só se, dado V 2 Uf (x) ,
existe U 2 Ux tal que f (U ) ⇢ V .
()) Suponhamos que f seja contı́nua em x, e seja B uma base de filtro em
X que converge a x. Dada V 2 Uf (x) , existe U 2 Ux tal que f (U ) ⇢ V . Como
B ! x, existe B 2 B tal que B ⇢ U . Segue que f (B) ⇢ f (U ) ⇢ V , e portanto
f (B) ! f (x).
(() Suponhamos que f (B) ! f (x) para cada base de filtro B que converge
a x. Como em particular Ux ! x, tem-se que f (Ux ) ! f (x). Logo, dada
V 2 Uf (x) , existe U 2 Ux tal que f (U ) ⇢ V . Logo f é contı́nua em x.
15.11. Proposição. Seja {XQ i : i 2 I} uma famı́lia não vazia de espaços
topológicos não vazios, seja X = i2I Xi , e seja B uma base de filtro em X.
Então B converge a x em X se e só se ⇡i (B) converge a ⇡i (x) em Xi para cada
i 2 I.
Demonstração. ()) Se B ! x em X, então ⇡i (B) ! ⇡i (x) em Xi , para
cada i 2 I, pois cada ⇡i é contı́nua.
(() Suponhamos que ⇡i (B) ! ⇡i (x) em Xi para cada i 2 I. Seja U uma
vizinhança aberta básica de x em X, ou seja
\
x2U = ⇡j 1 (Uj ), com J finito, Uj aberto em Xj .
j2J
Como ⇡j (B) ! ⇡j (x),

T existe Bj 2 B tal que ⇡j (Bj ) ⇢ Uj , para cada j 2 J. Seja
B 2 B tal que B ⇢ j2J Bj . Então
\ \
B⇢ Bj ⇢ ⇡j 1 (Uj ) = U.
j2J j2J
Logo B ! x.
15.12. Definição. Seja X um espaço topológico, e seja B uma base de
filtro em X. Diremos que x 2 X é um ponto
T de acumulação de B se U \ B 6= ;
para todo U 2 Ux e B 2 B, ou seja se x 2 {B : B 2 B}.
Se B converge a x, é claro que x é ponto de acumulação de B. É claro que x
é ponto de acumulação de B se e só se x é ponto de acumulação do filtro gerado
por B.
15.13. Proposição. Seja X um espaço topológico, e seja F um filtro em
X. Então x é um ponto de acumulação de F se e só se existe um filtro G F
que converge a x.
Demonstração. (() Seja G um filtro em X tal que G F e G ! x. Então
Ux ⇢ G, e daı́ segue que U \ A 6= ; para todo U 2 Ux e A 2 F. Logo x é ponto
de acumulação de F.
()) Suponhamos que x seja ponto de acumulação de F. Seja
B = {U \ A : U 2 Ux , A 2 F}.
44
É claro que B é uma base de filtro em X que converge a x. Seja G o filtro gerado
por B. É claro que G F e G ! x.
15.14. Definição. Diremos que F é um ultrafiltro em X se F é um filtro
maximal em X, ou seja, cada vez que existir um filtro G em X tal que F ⇢ G,
tem-se que F = G.
15.15. Proposição. Um filtro F em X é um ultrafiltro se e só se, dado
E ⇢ X, tem-se que E 2 F ou X \ E 2 F.
Demonstração. (() Suponhamos que, dado E ⇢ X, tem-se que E 2 F
ou X \ E 2 F. Suponhamos que exista um filtro G em X tal que F ⇢ G e
F=6 G. Seja E 2 G \ F. Segue que X \ E 2 F ⇢ G. Logo ; = E \ (X \ E) 2 G,
absurdo.
()) Seja F um ultrafiltro em X, e seja E ⇢ X. Dado A 2 F, é claro que
A \ E 6= ; ou A \ (X \ E) 6= ;. Consideremos dois casos.
Primeiro suponhamos que A \ E 6= ; para todo A 2 F. Seja
B = {A \ E : A 2 F}.
É claro que B é uma base de filtro em X. Seja G o filtro gerado por B. É claro
que F ⇢ G e E 2 G. Como F é ultrafiltro, tem-se que F = G. Segue que E 2 F.
A seguir suponhamos que A0 \E = ; para algum A0 2 F. Então A0 ⇢ X \E,
e segue que X \ E 2 F.
15.16. Proposição. Seja X um espaço topológico, e seja F um ultrafiltro
em X. Se x é um ponto de acumulação de F, então F converge a x.
Demonstração. Suponhamos que x seja ponto de acumulação de F, ou
seja U \ A 6= ; para todo U 2 Ux e A 2 F.
Afirmamos que Ux ⇢ F. De fato, suponhamos que exista U 2 Ux , com
U 2/ F. Teriamos que X \ U 2 F, e portanto U \ (X \ U ) 6= ;, absurdo. Logo
Ux ⇢ F, e portanto F ! x.
15.17. Proposição. Cada filtro em X está contido em algum ultrafiltro.
Demonstração. Seja P a famı́lia de todos os filtros G em X tais que
G F. P é um conjunto parcialmente ordenadoSpor inclusão de conjuntos.
Seja {Gi : i 2 I} uma cadeia em P. É claro que i2I Gi é um filtro em X, e
é portanto uma cota superior para a cadeia {Gi : i 2 I}. Pelo lema de Zorn P
possui pelo menos um elemento maximal G. Segue que G é um ultrafiltro em X
que contém F.
Exercı́cios
15.A. Seja B uma base de filtro em X e seja f : X ! Y uma função
qualquer. Prove que a famı́lia
f (B) = {f (B) : B 2 B}
45
é uma base de filtro em Y .
15.B. Seja A uma base de filtro em X e seja B uma base de filtro em Y .
(a) Prove que a famı́lia
C = {A ⇥ B : A 2 A, B 2 B}
é uma base de filtro em X ⇥ Y .

(b) Prove que C ! (x, y) se e só se A ! x e B ! y.
15.C. Seja
B = {(a, 1) : a 2 R}.
Pelo Exercı́cio 6.B B é base para uma topologia ⌧ em R. Pelo Exemplo 15.4 B
é uma base de filtro em R. Prove que B ! x para cada x 2 R.
15.D. Seja X um conjunto infinito, com a topologia cofinita do Exercı́cio
3.C. Seja
G = {A ⇢ X : X \ A é finito}.
(a) Prove que G é um filtro em X.
(b) Prove que G ! x para cada x 2 X.
15.E. Seja (x ) 2⇤ uma rede em X, e seja B = {B : 2 ⇤}, onde B =
{xµ : µ } para cada 2 ⇤.
(a) Prove que B é uma base de filtro em X, que chamaremos de base de filtro
gerada por (x ) 2⇤ .
(b) Prove que x ! x se e só se B ! x.
(c) Prove que x é ponto de acumulação de (x ) 2⇤ se e só se x é ponto de
acumulação de B.
(d) Prove que (x ) 2⇤ é uma rede universal se e só se o filtro gerado por B
é um ultrafiltro.
15.F. Seja B uma base de filtro em X, e seja
⇤ = {(a, A) : a 2 A 2 B}.
(a) Prove que ⇤ é um conjunto dirigido se definimos (a, A)  (b, B) quando

A B. A rede x : ⇤ ! X definida por x(a, A) = a é chamada de rede gerada
por B, e é denotada por (x ) 2⇤ .
(b) Prove que B ! x se e só se x ! x.
(c) Prove que x é ponto de acumulação de B se e só se x é ponto de acu-
mulação de (x ) 2⇤ .
(d) Prove que o filtro gerado por B é um ultrafiltro se e só se (x ) 2⇤ é uma
rede universal.
46
16. Espaços de Hausdor↵
16.1. Definição. Diremos que um espaço topológico X é um espaço T0 se
dados dois pontos distintos em X, existe uma vizinhança de um deles que não
contém o outro.
16.2. Exemplos.
(a) Cada espaço topológico discreto é um espaço T0 .
(b) Seja X um espaço topológico trivial, com pelo menos dois pontos. Então
X não é um espaço T0 .
16.3. Proposição. Um espaço topológico X é um espaço T0 se e só se,
dados a, b 2 X, com a 6= b, tem-se que {a} =
6 {b}.
Demonstração. ()) Seja X um espaço T0 , e sejam a, b 2 X, a 6= b. Se
existir U 2 Ua tal que b 2 / U , então a 2 {a}, mas a 2
/ {b}. Se existir V 2 Ub tal
que a 2/ V , então b 2 {b}, mas b 2/ {a}. Em ambos casos {a} = 6 {b}.
(() Suponhamos que X não seja um espaço T0 . Então existem a, b 2 X,
com a 6= b, tais que b 2 U para cada U 2 Ua , e a 2 V para cada V 2 Ub . Logo
a 2 {b} e b 2 {a}. Segue que {a} = {b}.
16.4. Definição. Diremos que um espaço topológico X é um espaço T1 se
dados dois pontos distintos em X, existe uma vizinhança de cada um deles que
não contém o outro.
É claro que cada espaço T1 é um espaço T0 .
16.5. Exemplos.
(a) Cada espaço topológico discreto é um espaço T1 .
(b) O espaço de Sierpinski é um espaço T0 , mas não é um espaço T1 .
16.6. Proposição. Um espaço topológico X é um espaço T1 se e só se cada
subconjunto unitário de X é fechado.
Demonstração. ()) Seja X um espaço T1 , e seja a 2 X. Para cada b 2 X,
com b 6= a, existe V 2 Ub tal que a 2
/ V . Segue que X \ {a} é aberto, ou seja
{a} é fechado.
(() Suponhamos que {a} seja fechado para cada a 2 X. Dados a, b 2 X,
com a 6= b, sejam U = X \ {b} e V = X \ {a}. Então U e V são abertos, a 2 U ,
b2/ U, b 2 V , a 2
/ V.
16.7. Definição. Diremos que um espaço topológico X é um espaço de
Hausdor↵ ou um espaço T2 se dados a, b 2 X, com a 6= b, existem U 2 Ua e
V 2 Ub , com U \ V = ;.
16.8. Exemplos.
(a) Cada espaço topológico discreto é um espaço de Hausdor↵.
(b) Cada espaço métrico é um espaço de Hausdor↵.
47
(c) Seja X um conjunto infinito, com a topologia cofinita. Então X é um
espaço T1 , mas não é um espaço T2 . Deixamos a demonstração como exercı́cio.
16.9. Proposição. Para um espaço topológico X as seguintes condições

são equivalentes:
(a) X é Hausdor↵.
(b) Cada rede convergente em X tem um limite único.
(c) Cada filtro convergente em X tem um limite único.
Demonstração. (a) ) (b): Suponhamos que X seja Hausdor↵, e seja
(x ) 2⇤ uma rede em X que converge a x e a y, com x 6= y. Sejam U 2 Ux e
V 2 Uy , com U \ V = ;. Como x ! x, existe 1 2 ⇤ tal que x 2 U para todo
1 . Como x ! y, existe 2 2 ⇤ tal que x 2 V para todo 2 . Seja
2 ⇤ tal que 1 e 2 . Então x 2 U \ V , contradição.
(b) ) (a): Suponhamos que X não seja Hausdor↵. Então existem x, y 2 X,
com x 6= y, tais que U \ V 6= ; para todo U 2 Ux e V 2 Uy . Seja xU V 2 U \ V
para cada U 2 Ux e V 2 Uy . Segue que (xU V )(U,V )2Ux ⇥Uy é uma rede em X
que converge a x e a y, com x 6= y.
(a) ) (c): Suponhamos que X seja Hausdor↵, e seja F um filtro em X que
converge a x e a y, com x 6= y. Sejam U 2 Ux e V 2 Uy , com U \ V = ;. Como
F ! x, tem-se que U 2 Ux ⇢ F. Como F ! y, tem-se que V 2 Uy ⇢ F. Logo
U \ V 2 F, absurdo, pois U \ V = ;.
(c) ) (a): Suponhamos que X não seja Hausdor↵. Então existem x, y 2 X,
com x 6= y, tais que U \ V 6= ; para todo U 2 Ux e V 2 Uy . Seja
B = {U \ V : U 2 Ux , V 2 Uy }.
É claro que B é uma base de filtro em X. Seja F o filtro gerado por B. É claro
que Ux ⇢ F e Uy ⇢ F. Logo F converge a x e a y, com x 6= y.
16.10. Proposição. Cada subespaço de um espaço de Hausdor↵ é um
espaço de Hausdor↵.
Demonstração. Seja X um espaço de Hausdor↵, e seja S um subespaço
de X. Sejam a, b 2 S, com a 6= b. Como X é Hausdor↵, existem abertos U1 e
V1 em X tais que a 2 U1 , b 2 V1 e U1 \ V1 = ;. Sejam U = S \ U1 e V = S \ V1 .
Então U e V são abertos em S, a 2 U , b 2 V e U \ V = ;.
16.11. Proposição. Seja {Xi : i 2 I} uma Q famı́lia não vazia de espaços
topológicos não vazios. Então o produto X = i2I Xi é Hausdor↵ se e só se
cada Xi é Hausdor↵.
Demonstração. ()) Esta implicação segue da Proposição 16.10 e do
Exercı́cio 10.C.
(() Suponhamos que cada Xi seja Hausdor↵, e sejam a, b 2 X, com a 6= b.
Escrevamos a = (ai )i2I , b = (bi )i2I . Como a 6= b, existe i 2 I tal que ai 6= bi .
Como Xi é Hausdor↵, existem abertos Ui e Vi em Xi tais que ai 2 Ui , bi 2 Vi e
48
Ui \ Vi = ;. Sejam U = ⇡i 1 (Ui ) e V = ⇡i 1 (Vi ). Então U e V são abertos em
X, a 2 U , b 2 V e U \ V = ;.
16.12. Proposição. Sejam X e Y espaços topológicos, com Y Hausdor↵.
Sejam f e g duas funções contı́nuas de X em Y tais que f (x) = g(x) para todo
x num subconjunto denso D ⇢ X. Então f (x) = g(x) para todo x 2 X.
Demonstração. Como X = D, para cada x 2 X, existe uma rede (xi )i2I ⇢
D tal que xi ! x. Como f e g são contı́nuas, segue que f (xi ) ! f (x) e g(xi ) !
g(x). Como f (xi ) = g(xi ) para todo i 2 I, e Y é Hausdor↵, a Proposição 16.9
garante que f (x) = g(x).
Exercı́cios
16.A. Seja X = N, com a topologia do Exercı́cio 4.F. Prove que X é um
espaço T0 , mas não é um espaço T1 .
16.B. Prove que cada subespaço de um espaço T0 (resp. T1 ) é um espaço
T0 (resp. T1 ).
16.C. Seja {Xi : i 2 I} uma famı́lia
Q não vazia de espaços topológicos não
vazios. Prove que o produto X = i2I Xi é um espaço T0 (resp. T1 ) se e só se
cada Xi é um espaço T0 (resp. T1 ).
16.D. Sejam X e Y espaços topológicos, e seja f : X ! Y uma aplicação
sobrejetiva e fechada. Prove que se X é um espaço T1 , então Y também é um
espaço T1 .
16.E. Seja X um conjunto infinito, com a topologia cofinita. Prove que X
é um espaço T1 , mas não é um espaço T2 .
16.F. Seja X um espaço de Hausdor↵. Dados n pontos distintos x1 , ..., xn 2
X, prove que existem n abertos disjuntos U1 , ..., Un ⇢ X tais que xj 2 Uj para
j = 1, ..., n.
16.G. Seja X um espaço topológico.
T (a) Prove que X é um espaço T1 se e só se, para cada a 2 X tem-se que
{U : U 2 Ua } = {a}.
T (b) Prove que X é um espaço T2 se e só se, para cada a 2 X tem-se que
{U : U 2 Ua } = {a}.
16.H. Prove que um espaço topológico X é Hausdor↵ se e só se o conjunto
D = {(x, x) : x 2 X} é fechado em X ⇥ X.
16.I. Sejam X e Y espaços topológicos, com Y Hausdor↵. Sejam f e g duas
funções contı́nuas de X em Y .
(a) Prove que o conjunto {x 2 X : f (x) = g(x)} é fechado em X.
(b) Use (a) para dar outra demonstração da Proposição 16.12.
49
17. Espaços regulares
17.1. Definição. Diremos que um espaço topológico X é regular se dados
um fechado A em X e um ponto b 2 / A, existem abertos disjuntos U , V em X
tais que A ⇢ U e b 2 V . Diremos que X é um espaço T3 se X é um espaço T1
que é regular.
17.2. Exemplos.
(a) Cada espaço discreto é um espaço T3 .
(b) Cada espaço métrico é um espaço T3 . A demonstração é deixada como
exercı́cio.
(c) Seja X um espaço topológico trivial, com pelo menos dois pontos. Então
X é regular, mas não é um espaço T3 .
(d) O espaço de Sierspinski não é regular. A demonstração é deixada como
exercı́cio.
17.3. Proposição. Para um espaço topológico X as seguintes condições
são equivalentes:
(a) X é regular.
(b) Dados um aberto U ⇢ X e um ponto a 2 U , existe um aberto V ⇢ X tal
que a 2 V ⇢ V ⇢ U .
(c) Cada ponto de X admite uma base de vizinhanças fechadas.
Demonstração. (a) ) (b): Seja a 2 U , sendo U aberto em X. Então
a2 / X \ U , e X \ U é fechado. Como X é regular, existem abertos disjuntos V ,
W em X tais que a 2 V e X \ U ⇢ W . Logo a 2 V ⇢ X \ W ⇢ U . Como X \ W
é fechado, segue que
a 2 V ⇢ V ⇢ X \ W ⇢ U.
(b) ) (c): imediato.
(c) ) (a): Seja b 2/ A, sendo A fechado em X. Então b 2 X \ A, e X \ A é
aberto. Por (c) existe V 2 Ub , V fechado, tal que b 2 V ⇢ X \ A. Segue que
A ⇢ X \ V, b2V , (X \ V ) \ V = ;.
17.4. Proposição. Cada subespaço de um espaço regular é um espaço

regular.
Demonstração. Seja X um espaço regular e seja S um subespaço de X.
Seja A um subconjunto fechado de S, e seja b 2 S \ A. Sabemos que A = S \ A1 ,
sendo A1 um subconjunto fechado de X. Como b 2 / A1 e X é regular, existem
abertos disjuntos U1 , V1 em X tais que A1 ⇢ U1 e b 2 V1 . Sejam U = S \ U1 e
V = S \ V1 . Então U e V são dois abertos disjuntos de S, A ⇢ U e b 2 V .
17.5. Corolário. Cada subespaço de um espaço T3 é um espaço T3 .
50
topológicos não vazios. Então o produto X = i2I Xi é regular se e só se cada
Xi é regular.
Exercı́cio 10.C.
(() Suponhamos que cada Xi seja regular, e sejam a 2 X e U 2 Ua . Então
\
U ⇡j 1 (Uj ),
j2J
sendo J ⇢ I, J finito, e Uj aberto em Xj para cada j 2 J. Como Xj é regular

cada Uj contém uma vizinhança fechada Vj de ⇡j (a). Segue que
\ \
a2 ⇡j 1 (Vj ) ⇢ ⇡j 1 (Uj ) ⇢ U.
j2J j2J
Logo X é regular.
17.7. Corolário. Seja {Xi : i 2 I} uma Q famı́lia não vazia de espaços
topológicos não vazios. Então o produto X = i2I Xi é um espaço T3 se e só
se cada Xi é um espaço T3 .
Exercı́cios
17.A. Prove que cada espaço métrico é um espaço T3 .
17.B. Prove que o espaço de Sierpinski não é regular.
17.C. Seja X um conjunto infinito, com a topologia cofinita. Prove que X
não é regular.
17.D. Prove que a reta de Sorgenfrey do Exercı́cio 6.C é um espaço T3 .
17.E. (a) Prove que a famı́lia
B = {(a, b) : a, b 2 R, a < b} [ {(a, b) \ Q : a, b 2 R, a < b}
é uma base para uma topologia ⌧ em R.

(b) Prove que (R, ⌧ ) é Hausdor↵.
(c) Prove que (R, ⌧ ) não é regular.
17.F. Seja X um espaço regular. Prove que, dados um fechado A em X
e um ponto b 2/ A, existem abertos U e V em X tais que A ⇢ U , b 2 V e
U \ V = ;.
51
18. Espaços normais
18.1. Definição. Diremos que um espaço topológico X é normal se dados
dois fechados disjuntos A e B em X, existem dois abertos disjuntos U e V em
X tais que A ⇢ U e B ⇢ V . Diremos que X é um espaço T4 se X é um espaço
T1 que é normal.
18.2. Exemplos.
(a) Cada espaço discreto é um espaço T4 .
(b) Cada espaço métrico é um espaço T4 . A demonstração é deixada como
exercı́cio.
(c) O espaço de Sierpinski é normal, mas não é regular nem Hausdor↵. A
demonstração é deixada como exercı́cio.
18.3. Proposição. Um espaço topológico X é normal se e só se, dados um
fechado A e um aberto U , com A ⇢ U , existe um aberto V tal que A ⇢ V ⇢
V ⇢ U.
Demonstração. ()) Suponhamos que A ⇢ U , sendo A fechado e U aberto.
Então A e X \ U são dois fechados disjuntos de X. Como X é normal, existem
abertos disjuntos V e W tais que A ⇢ V e X \ U ⇢ W . Logo V ⇢ X \ W . Como
X \ W é fechado, segue que
A ⇢ V ⇢ V ⇢ X \ W ⇢ U.
(() Sejam A e B dois fechados disjuntos de X. Então A ⇢ X \ B, e X \ B
é aberto. Por hipótese existe um aberto U tal que
A ⇢ U ⇢ U ⇢ X \ B.
Segue que
A ⇢ U, B ⇢ X \ U, U \ (X \ U ) = ;.
18.4. Proposição. Cada subespaço fechado de um espaço normal é

normal.
Demonstração. Seja X um espaço normal, e seja S um subespaço fechado
de X. Sejam A e B dois subconjuntos fechados disjuntos de S. Então A = S\A1
e B = S\B1 , sendo A1 e B1 dois subconjuntos fechados de X. Como S é fechado
em X, vemos que A e B são fechados em X. Como X é normal, existem abertos
U1 e V1 em X tais que
A ⇢ U1 , B ⇢ V1 , U1 \ V1 = ;.
Seja U = S \ U1 e V = S \ V1 . Então U e V são abertos em S e
A ⇢ U, B ⇢ V, U \ V = ;.
52
18.5. Corolário. Cada subespaço fechado de um espaço T4 é um espaço
T4 .
18.6. Proposição. A imagem contı́nua e fechada de um espaço normal é
normal.
Demonstração. Seja X um espaço normal, seja Y um espaço topológico, e
seja f : X ! Y uma aplicação sobrejetiva, contı́nua e fechada. Provaremos que
Y é normal. Sejam B1 e B2 dois fechados disjuntos de Y . Como f é contı́nua,
f 1 (B1 ) e f 1 (B2 ) são dois fechados disjuntos de X. Como X é normal, existem
dois abertos disjuntos U1 e U2 de X tais que f 1 (B1 ) ⇢ U1 e f 1 (B2 ) ⇢ U2 .
Sejam V1 e V2 definidos por
Vi = Y \ f (X \ Ui ) para i = 1, 2.
Como f é fechada, vemos que cada Vi é aberto em Y .

Notemos que
f 1
(Vi ) = X \ f 1
(f (X \ Ui )) ⇢ X \ (X \ Ui ) = Ui para i = 1, 2.
Como U1 e U2 são disjuntos, vemos que f 1 (V1 ) e f 1 (V2 ) são disjuntos também.
Dai segue que V1 e V2 são disjuntos.
Finalmente provaremos que B1 ⇢ V1 e B2 ⇢ V2 . Suponhamos que exista
y 2 Bi tal que y 2/ Vi . y 2
/ Vi implica que y 2 f (X \ Ui ), ou seja y = f (x), com
x2 / Ui . Por outro lado f (x) = y 2 Bi implica que x 2 f 1 (Bi ) ⇢ Ui , absurdo.
Isto completa a demonstração.
18.7. Corolário. A imagem contı́nua e fechada de um espaço T4 é um
espaço T4 .
Demonstração. Basta aplicar a Proposição 18.6 e o Exercı́cio 16.E.
Em um espaço normal, dois fechados disjuntos podem ser separados por meio
de abertos. A seguir veremos que dois fechados disjuntos podem ser separados
por meio de funções contı́nuas.
18.8. Lema de separação de Urysohn. Um espaço topológico X é
normal se e só se, dados dois fechados disjuntos A e B de X, existe uma função
contı́nua f : X ! [0, 1] tal que f (A) ⇢ {0} e f (B) ⇢ {1}.
Demonstração. (() Sejam A e B dois fechados disjuntos de X, e seja
f : X ! [0, 1] uma função contı́nua tal que f (A) ⇢ {0} e f (B) ⇢ {1}. Sejam
U =f 1
([0, 1/2)), V =f 1
((1/2, 1]).
Então U e V são abertos, A ⇢ U , B ⇢ V e U \ V = ;. Logo X é normal.

()) Seja X um espaço normal, e sejam A e B dois fechados disjuntos de X.
Como A ⇢ X \ B, existe um aberto U1/2 tal que
A ⇢ U1/2 ⇢ U1/2 ⇢ X \ B.
53
Logo existem abertos U1/4 e U3/4 tais que
A ⇢ U1/4 ⇢ U1/4 ⇢ U1/2 ⇢ U1/2 ⇢ U3/4 ⇢ U3/4 ⇢ X \ B.
Seja
D = {k/2n : n 2 N, k = 1, 2, ..., 2n 1}.
Notemos que D é denso em [0, 1]. Procedendo por indução podemos achar, para
cada r 2 D um aberto Ur tal que
A ⇢ U1/2n ⇢ U1/2n ⇢ U2/2n ⇢ U2/2n ⇢ ... ⇢ U(2n 1)/2n ⇢ U(2n 1)/2n ⇢ X \ B.
Notemos que:
A ⇢ Ur para todo r 2 D,
B ⇢ X \ Us para todo s 2 D,
Us ⇢ Ur para todo s, r 2 D com s < r.
Seja f : X ! [0, 1] definida por
[
f (x) = inf{r 2 D : x 2 Ur } se x 2 {Ur : r 2 D},
[
f (x) = 1 se x 2
/ {Ur : r 2 D}.
Notemos que:
f (x)  r se x 2 Ur ,
f (x) s se x 2
/ Us ,
s  f (x)  r se x 2 Ur \ Us .
É claro que
0  f (x)  1 para todo x 2 X,
f (x) = 0 para todo x 2 A,
f (x) = 1 para todo x 2 B.
Para completar a demonstração provaremos que f é contı́nua em cada ponto
a 2 X. Seja ✏ > 0 dado.
Se f (a) = 0, então a 2 Ur para todo r 2 D. Seja r 2 D tal que r < ✏. Então
para cada x 2 Ur tem-se que f (x)  r < ✏.
Se f (a) = 1, então a 2/ Us para todo s 2 D. Seja s 2 D tal que s > 1 ✏.
Então para cada x 2/ Us tem-se que f (x) s > 1 ✏.
Se 0 < f (x) < 1, sejam r, s 2 D tais que
f (a) ✏ < s < f (a) < r < f (a) + ✏.
É fácil ver que a 2 Ur \ Us . Além disso, para cada x 2 Ur \ Us tem-se que
f (a) ✏ < s  f (x)  r < f (a) + ✏.
54
Logo f é contı́nua em cada ponto de X.
18.9. Teorema de extensão de Tietze. Para um espaço topológico X
(a) X é normal.
(b) Dados um conjunto fechado A ⇢ X e uma função contı́nua f : A ! [c, d],
com c < d, existe uma função contı́nua F : X ! [c, d] tal que F |A = f .
(c) Dados um conjunto fechado A ⇢ X e uma função contı́nua f : A ! R,
existe uma função contı́nua F : X ! R tal que F |A = f .
Demonstração. (a) ) (b): Como [c, d] é homeomorfo a [ 1, 1], podemos
supor que f : A ! [ 1, 1]. Sejam
A1 = {x 2 A : f (x)  1/3}, B1 = {x 2 A : f (x) 1/3}.
Pelo Lema de Urysohn existe uma função contı́nua
f1 : X ! [ 1/3, 1/3]
tal que
f1 (A1 ) ⇢ { 1/3}, f1 (B1 ) ⇢ {1/3}.
Então
|f (x) f1 (x)|  2/3 para todo x 2 A.
Seja
g1 = f f1 : A ! [ 2/3, 2/3],
e sejam
A2 = {x 2 A : g1 (x)  2/32 }, B2 = {x 2 A : g1 (x) 2/32 }.
f2 : X ! [ 2/32 , 2/32 ]
tal que
f2 (A2 ) ⇢ { 2/32 }, f2 (B2 ) ⇢ {2/32 }.
Então
|f (x) f1 (x) f2 (x)|  (2/3)2 para todo x 2 A.
Seja
g2 = f f1 f2 : A ! [ (2/3)2 , (2/3)2 ]
e sejam
A3 = {x 2 A : g2 (x)  22 /33 }, B3 = {x 2 A : g2 (x) 22 /33 }.
f3 : X ! [ 22 /33 , 22 /33 ]
55
tal que
f3 (A3 ) ⇢ { 22 /33 }, f3 (B3 ) ⇢ {22 /33 }.
Então
|f (x) f1 (x) f2 (x) f3 (x)|  (2/3)3 para todo x 2 A.
Procedendo por indução vamos achar uma seqüência de funções contı́nuas
fk : X ! [ 2k 1
/3k , 2k 1
/3k ]
tais que
n
X
(⇤) |f (x) fk (x)|  (2/3)n para todo x 2 A, n 2 N
k=1
Seja
1
X
F (x) = fk (x) para todo x 2 X.
k=1
Notemos que
1
X 1
1X 2 k
|fk (x)|  ( ) =1 para todo x 2 X.
2 3
k=1 k=1
Segue do Exercı́cio 18.D que F : X ! [ 1, 1] está bem definida e é contı́nua. E

segue de (*) que f (x) = F (x) para todo x 2 A.
(b) ) (c): Como R é homeomorfo a ( 1, 1), podemos supor que f : A !
( 1, 1). Por (b) existe uma função contı́nua G : X ! [ 1, 1] tal que G|A = f .
Seja
B = {x 2 X : |G(x)| = 1}.
Então A e B são dois fechados disjuntos de X. Seja h : A [ B ! [0, 1] definido
por
h(x) = 1 para todo x 2 A,
h(x) = 0 para todo x 2 B.
Pela Proposição 8.7 h é contı́nua. Por (b) existe uma função contı́nua H : X !
[0, 1] tal que H|A [ B = h. Seja
F (x) = G(x)H(x) para todo x 2 X.
Então F é uma função contı́nua de X em ( 1, 1) e F |A = f .

(c) ) (a): Sejam A e B dois fechados disjuntos de X. Seja f : A [ B ! [0, 1]
definida por
f (x) = 0 para todo x 2 A,
f (x) = 1 para todo x 2 B.
56
Pela Proposição 8.7 f é contı́nua. Por (c) existe uma função contı́nua F : X ! R
tal que F |A [ B = f . Seja G : X ! [0, 1] definida por G = (F _ 0) ^ 1. Pelo
Exercı́cio 18.E G é contı́nua, e claramente G|A [ B = f . Logo G(x) = 0 para
todo x 2 A e G(x) = 1 para todo x 2 B.
Exercı́cios
18.A. Prove que cada espaço métrico é um espaço T4 .
18.B. Prove que o espaço de Sierpinski é normal, mas não é regular nem
Hausdor↵.
18.C. Seja X um espaço normal. Prove que, dados dois fechados disjuntos
A e B em X, existem dois abertos U e V em X tais que A ⇢ U , B ⇢ V e
U \ V = ;.
18.D. Seja X um espaço topológico, e seja (fn )1
n=1 uma seqüência em C(X)
que converge uniformemente a uma função f . Prove que f é contı́nua.
18.E. Seja X um espaço topológico. Dadas f : X ! R e g : X ! R, sejam
f _ g : X ! R e f ^ g : X ! R definidas por
(f _ g)(x) = max{f (x), g(x)} para todo x 2 X,
(f ^ g)(x) = min{f (x), g(x)} para todo x 2 X.

Prove que, se f e g são contı́nuas, então f _ g e f ^ g são contı́nuas também.
18.F. Prove que um espaço topológico X é normal se e só se, dados dois
fechados disjuntos A e B em X, existe uma função contı́nua f : X ! R tal que
f (A) ⇢ {↵} e f (B) ⇢ { }, com ↵ 6= .
18.G. Seja X um espaço métrico, e seja A um subconjunto não vazio de X.
Para cada x 2 X, seja
d(x, A) = infa2A d(x, a).
(a) Prove que d(x, A) = 0 se e só se x 2 A.
(b) Prove que
|d(x, A) d(y, A)|  d(x, y) para todo x, y 2 X.
(c) Prove que a a função x 2 X ! d(x, A) 2 R é contı́nua.

18.H. Seja X um espaço métrico, e sejam A e B dois subconjuntos fechados
disjuntos de X. Usando o Exercı́cio 18.G ache uma função contı́nua f : X !
[0, 1] tal que f (x) = 0 para todo x 2 A e f (x) = 1 para todo x 2 B. Isto da
outra demonstração de que cada espaço métrico é normal.
57
19. Espaços completamente regulares
O Lema de Urysohn motiva a seguinte definição.
19.1. Definição. Diremos que um espaço topológico X é completamente
regular se dados um fechado A em X e um ponto b 2 / A existe uma função
contı́nua f : X ! [0, 1] tal que f (A) ⇢ {0} e f (b) = 1. Diremos que X é um
espaço de Tychono↵ se X é um espaço T1 que é completamente regular.
19.2. Proposição. Cada espaço T4 é um espaço de Tychono↵.
Demonstração. Basta aplicar o lema de Urysohn.
19.3. Proposição. Cada espaço completamente regular é regular.
Demonstração. Seja X um espaço completamente regular. Dados um
fechado A em X e um ponto b 2 / A, seja f : X ! [0, 1] uma função contı́nua tal
que f (A) ⇢ {0} e f (b) = 1. Sejam
U =f 1
([0, 1/2)), V =f 1
(1/2, 1]).
Então U e V são dois abertos disjuntos de X, A ⇢ U e b 2 V . Logo X é regular.
19.4. Corolário. Cada espaço de Tychono↵ é um espaço T3 .

19.5. Exemplos.
(a) Cada espaço discreto é um espaço de Tychono↵.
(b) Cada espaço métrico é um espaço de Tychono↵.
(c) O espaço de Sierpinski não é completamente regular.
19.6. Proposição. Cada subespaço de um espaço completamente regular é
completamente regular.
Demonstração. Seja X um espaço completamente regular, e seja S um
subespaço de X. Seja A um fechado de S, e seja b 2 S \ A. Sabemos que
A = S \ A1 , sendo A1 un fechado de X. Como b 2 / A1 , e X é completamente
regular, existe uma função contı́nua g : X ! [0, 1] tal que g(A1 ) ⇢ {0} e
g(b) = 1. Seja f = g|S : S ! [0, 1]. Então f é contı́nua, f (A) ⇢ {0} e f (b) = 1.
19.7. Corolário. Cada subespaço de um espaço de Tychono↵ é um espaço

de Tychono↵.
topológicos não vazios. Então o produto X = i2I Xi é completamente regular
se e só se cada Xi é completamente regular.
Exercı́cio 10.C.
58
(() Suponhamos que cada Xi seja completamente regular, e sejam A um
fechado de X, e b 2 X \ A. Então
\
b2 ⇡j 1 (Uj ) ⇢ X \ A,
j2J
sendo J ⇢ I, J finito, e Uj aberto em Xj para cada j 2 J. Notemos que
⇡j (b) 2 Uj para cada j 2 J,
e \ [ [
A⇢X\ ⇡j 1 (Uj ) = (X \ ⇡j 1 (Uj )) = ⇡j 1 (Xj \ Uj ).
j2J j2J j2J
Como Xj é completamente regular, para cada j 2 J existe uma função contı́nua

gj : Xj ! [0, 1] tal que
gj (Xj \ Uj ) ⇢ {0}, gj (⇡j (b)) = 1.
Seja
f = minj2J gj ⇡j : X ! [0, 1].
Então f é contı́nua, f (A) ⇢ {0} e f (b) = 1.
19.9. Corolário. Seja {Xi : i 2 I} uma Q famı́lia não vazia de espaços
topológicos não vazios. Então o produto X = i2I Xi é um espaço de Tychono↵
se e só se cada Xi é um espaço de Tychono↵.
Lembremos que, se X é um espaço topológico, então C(X) denota o conjunto
de todas as funções contı́nuas f : X ! R. Denotaremos por Cb (X) o subcon-
junto de todas as f 2 C(X) que são limitadas, ou seja supx2X |f (x)| < 1.
19.10. Teorema. Um espaço topológico X é completamente regular se e

só se X tem a topologia fraca definida por Cb (X).
Demonstração. Denotemos por ⌧ a topologia de X e por ⌧w a topologia
fraca em X definida por Cb (X). A inclusão ⌧w ⇢ ⌧ vale sempre. Devemos
provar que X é completamente regular se e só se ⌧ ⇢ ⌧w .
()) Sejam U 2 ⌧ e a 2 U . Como X é completamente regular, existe uma
função contı́nua fa : X ! [0, 1] tal que fa (a) = 0 e fa (x) = 1 para todo
x 2 X \ U . Seja
Va = {x 2 X : fa (x) < 1}.
Então Va 2 ⌧w e a 2 Va ⇢ U . Segue que
[
U = {Va : a 2 U } 2 ⌧w .
(() Seja A um fechado de X, e seja b 2 X \ A. Como ⌧ ⇢ ⌧w , temos que
b 2 V ⇢ X \ A,
59
onde
n
\
V = fj 1 (Wj ),
j=1
com fj 2 Cb (X) e Wj aberto em R para j = 1, ..., n. Como cada aberto de

R é uma união de intervalos abertos, podemos supor que Wj = (↵j , j ) para
j = 1, ..., n. Notemos que
fj 1 (Wj ) = {x 2 X : ↵j < fj (x) < j}
= {x 2 X : fj (x) > ↵j } \ {x 2 X : fj (x) > j }.
Logo podemos supor que Wj = (↵j , 1) para j = 1, ..., n. Seja
gj = (fj ↵j ) _ 0 para j = 1, ...n.
Então gj 2 Cb (X), gj 0e
fj (Wj ) = fj 1 ((↵j , 1)) = gj 1 ((0, 1)).

1
Logo
n
\ n
\
b2V = fj 1 (Wj ) = gj 1 ((0, 1)) ⇢ X \ A.
j=1 j=1
Seja g = g1 g2 ...gn . Então g 2 Cb (X) e g 0. Além disso,
g(b) = g1 (b)g2 (b)...gn (b) > 0,
g(x) = g1 (x)g2 (x)...gn (x) = 0 para todo x 2 A.

Logo X é completamente regular.
19.11. Teorema. Para um espaço topológico X as seguintes condições são
equivalentes:
(a) X é um espaço de Tychono↵.
(b) X é homeomorfo a um subespaço do produto [0, 1]Cb (X) .
(c) X é homeomorfo a um subespaço do produto [0, 1]I , para algum I.
Demonstração.
(a) ) (b): Seja X um espaço de Tychono↵. Para cada f 2 Cb (X) seja If
um intervalo fechado e limitado que contém f (X). Consideremos a aplicação
avaliação Y
✏X : x 2 X ! (f (x))f 2Cb (X) 2 If .
f 2Cb (X)
É claro que Cb (X) separa os pontos de X. Pelo Teorema 19.10 X tem a topologia
fraca definida por Cb (X). PelaQProposição 10.8 a aplicação ✏X é um mergulho.
Pelo Exercı́cio 10.E o produto f 2Cb (X) If é homeomorfo ao produto [0, 1]Cb (X) .
Segue que X é homeomorfo a um subespaço do produto [0, 1]Cb (X) .
60
(b) ) (c): óbvio.
(c) ) (a): O produto [0, 1]I é um espaço de Tychono↵, e qualquer subespaço
de [0, 1]I é um espaço de Tychono↵.
Mais adiante vamos precisar de uma versão mais refinada do teorema ante-
rior. Com esse propósito introduzimos a seguinte definição.
19.12. Definição. Sejam X e Xi (i 2 I) espaços topológicos, e seja
fi : X ! Xi para cada i 2 I. Diremos que a famı́lia {fi : i 2 I} separa pontos
de fechados se dados um fechado A ⇢ X e um ponto b 2 X \ A, existe i 2 I tal
que fi (b) 2
/ fi (A).
19.13. Proposição. Sejam X e Xi (i 2 I) espaços topológicos, e seja
fi : X ! Xi contı́nua para cada i 2 I. Então a famı́lia {fi : i 2 I} separa
pontos de fechados se e só se os conjuntos fi 1 (Vi ), com i 2 I e Vi aberto em
Xi , formam uma base para a topologia de X.
Demonstração. ()) Seja U aberto em X, e seja a 2 U . Como a 2
/ X \ U,
/ fi (X \ U ). Se definimos
existe i 2 I tal que fi (a) 2
Vi = Xi \ fi (X \ U ),
então é fácil ver que

a 2 fi 1 (Vi ) ⇢ U.
(() Seja A fechado em X, e seja b 2 X \ A. Por hipótese temos que
b 2 fi 1 (Vi ) ⇢ X \ A,
sendo i 2 I e Vi aberto em Xi . Segue que fi (b) 2 Vi e Vi \ fi (A) = ;. Logo

fi (b) 2
/ fi (A).
19.14. Corolário. Sejam X e Xi (i 2 I) espaços topológicos, e seja
fi : X ! Xi contı́nua para cada i 2 I. Se a famı́lia {fi : i 2 I} separa pontos
de fechados, então X tem a topologia fraca definida pela famı́lia {fi : i 2 I}.
Demonstração. Basta aplicar as Proposições 19.13 e 10.5.
19.15. Corolário. Sejam X e Xi (i 2 I) espaços topológicos, e seja
fi : X ! Xi contı́nua para cada i 2 I. Suponhamos que X seja um espaço T1 e
que a famı́lia {fi : i 2 I} separe pontos de fechados. Então a avaliação
Y
✏ : x 2 X ! (fi (x))i2I 2 Xi
i2I
é um mergulho.
Demonstração. Basta aplicar o Corolário 19.14 e a Proposição 10.8.
61
Exercı́cios
19.A. Se X é um espaço topológico, prove que as seguintes condições são
equivalentes:
(a) X é completamente regular.
(b) Dados um fechado A ⇢ X e um ponto b 2 / A, existe uma função contı́nua
f : X ! R tal que f (A) ⇢ {↵} e f (b) = { }, sendo ↵ < .
(c) Dados um fechado A em X e um ponto b 2
/ A, existe uma função contı́nua
f : X ! R tal que f (x)  ↵ para todo x 2 A e f (b) , sendo ↵ < .
19.B. Seja X um espaço métrico, e seja A ⇢ X. Use a função distancia
x 2 X ! d(x, A) 2 R para provar diretamente que cada espaço métrico é
completamente regular.
19.C. Sejam X e Y dois espaços de Tychono↵. Para cada f 2 Cb (X) seja If
um intervalo fechado e limitado que contém f (X). Dada uma função contı́nua
h : X ! Y , prove que existe uma função contı́nua
Y Y
H: If ! Ig
f 2Cb (X) g2Cb (Y )
tal que o seguinte diagrama é comutativo:

h
X ! Y
✏X # # ✏Y
Y H
Y
If ! Ig
f 2Cb (X) g2Cb (Y )
62
20. Primeiro e segundo axiomas de enumerabilidade
Lembremos que um espaço topológico X satisfaz o primeiro axioma de enu-
merabilidade se existe uma base enumerável de vizinhanças de x para cada
x 2 X. Lembremos que X satisfaz o segundo axioma de enumerabilidade
se existe uma base enumerável para os abertos de X. Nesta seção estudare-
mos os espaços que satisfazem estes axiomas. Estudaremos também os espaços
separáveis e os espaços de Lindelöf, que definiremos a seguir.
20.1. Definição. Um espaço topológico X é dito separável se existir em X
um subconjunto denso enumerável.
20.2. Definição. Seja X um espaço topológico. Diremos que {Ui : i 2 I}
é uma cobertura
S aberta de X se {Ui : i 2 I} é uma famı́lia de abertos de X
tal que {Ui : i 2 I} = X. Diremos que X é um espaço de Lindelöf se cada
cobertura aberta de X admite uma subcobertura enumerável, ou seja, para
cada
S cobertura aberta {Ui : i 2 I} de X, existe J ⇢ I, J enumerável, tal que
{Ui : i 2 J} = X.
20.3. Proposição. Seja X um espaço topológico que satisfaz o segundo
axioma de enumerabilidade. Então:
(a) X satisfaz o primeiro axioma de enumerabilidade.
(b) X é separável.
(c) X é um espaço de Lindelöf.
Demonstração. Seja B uma base enumerável para os abertos de X.
(a) Para cada x 2 X seja
Bx = {V 2 B : x 2 V }.
É claro que Bx é uma base enumerável de vizinhanças de x.
(b) Seja xV 2 V para cada V 2 B, e seja
D = {xV : V 2 B}.
É claro que D é um conjunto enumerável que é denso em X.
(c) Seja U uma cobertura aberta de X. Para cada x 2 X seja Ux 2 U tal
que x 2 Ux , e seja Vx 2 B tal que x 2 Vx ⇢ Ux . Seja
B 0 = {Vx : x 2 X}.
Como B 0 ⇢ B, B 0 é enumerável. Escrevamos
B 0 = {Vn : n 2 N}.
Para cada n 2 N, seja Un 2 U tal que Vn ⇢ Un . Seja
U 0 = {Un : n 2 N}.
63
Então U 0 é um subconjunto enumerável de U, e
1
[ 1
[
Un Vn = X.
n=1 n=1
Logo U 0 é uma subcobertura enumerável de U.

20.4. Proposição. Para um espaço métrico X, as seguintes condições são
equivalentes:
(a) X satisfaz o segundo axioma de enumerabilidade.
(b) X é separável.
(c) X é Lindelöf.
Demonstração. Já sabemos que (a) ) (b) e (a) ) (c).
(b) ) (a): Seja
D = {xm : m 2 N}
um subconjunto enumerável denso de X, e seja
B = {B(xm ; 1/n) : m, n 2 N}.
B é enumerável. Provaremos que B é uma base para os abertos de X. Seja U

um aberto não vazio de X, e seja x 2 U . Como U é aberto, existe n 2 N tal que
B(x; 1/n) ⇢ U . Como D é denso em X, existe m 2 N tal que xm 2 B(x; 1/2n).
Segue que
x 2 B(xm ; 1/2n) ⇢ B(x; 1/n) ⇢ U.
Logo B é uma base para os abertos de X.
(c) ) (a): Para cada n 2 N seja
Un = {B(x; 1/n) : x 2 X}.
Então Un é uma cobertura aberta de X. Como X é Lindelöf, Un admite uma

subcobertura enumerável Vn . Seja
[
B = {Vn : n 2 N}.
B é enumerável. Provaremos que B é uma base para os abertos de X. Seja U

um aberto não vazio de X, e seja x 2 U . Como U é aberto, existe n 2 N tal que
B(x; 1/n) ⇢ U . Como V2n é uma cobertura de X, existe B(a; 1/2n) 2 V2n ⇢ B
tal que x 2 B(a; 1/2n). Segue que
x 2 B(a; 1/2n) ⇢ B(x; 1/n) ⇢ U.
Logo B é uma base para os abertos de X.
64
Vimos nos Exercı́cios 7.A e 7.B que se um espaço topológico X satisfaz o
primeiro ou o segundo axioma de enumerabilidade, então cada subespaço de X
satisfaz o mesmo axioma.
Veremos nos Exercı́cios 20.A e 20.B que a imagem contı́nua e aberta de um
espaço topológico que satisfaz o primeiro ou o segundo axioma de enumerabili-
dade, também satisfaz o mesmo axioma.
20.5. Proposição. Seja {Xi : i 2QI} uma famı́lia não vazia de espaços
T1 não triviais. Então o produto X = i2I Xi satisfaz o primeiro axioma de
enumerabilidade se e só se cada Xi satisfaz o mesmo axioma e I é enumerável.
Demonstração. ()) Suponhamos que X satisfaz o primeiro axioma de

enumerabilidade. Como cada Xi é homeomorfo a um subespaço de X, segue
que cada Xi também satisfaz o mesmo axioma.
Suponhamos que I não seja enumerável. Seja a = (ai )i2I 2 X, e seja
{Un : n 2 N} uma base enumerável de vizinhanças de a em X. Para cada
n 2 N temos que \
a 2 Vn = ⇡j 1 (Vnj ) ⇢ Un ,
j2Jn
sendo Jn ⇢ I, Jn finito, e sendo Vnj uma vizinhança aberta de aj em Xj para

cada j 2 Jn . É claro
S que {Vn : n 2 N} também é uma base de vizinhanças de
a em X. Seja J = {Jn : n 2 N}, e seja k 2 I \ J. Seja bk 6= ak , seja bi = ai
para cada i 6= k, e seja b = (bi )i2I . Como Xk é um espaço T1 , existe um aberto
Wk em Xk tal que ak 2 Wk , mas bk 2 / Wk . Seja W = ⇡k 1 (Wk ). Notemos
que b 2 Vn para cada n 2 N, mas b 2 / W . Logo Vn 6⇢ W para cada n 2 N,
contradição. Logo I é enumerável.
(() Suponhamos que Xi satisfaz o primeiro axioma de enumerabilidade
para cada i 2 I, e que I seja enumerável. Sem perda de generalidade podemos
supor que I = N. Seja a = (an )n2N 2 X, e seja {Vnk : k 2 N} uma base
enumerável decrescente de vizinhanças de an em Xn para cada n 2 N. Segue
que os conjuntos da forma
N
\
⇡n 1 (Vn,kn ) (N 2 N, kn 2 N)
n=1
formam uma base enumerável de vizinhanças de a em X.

De maneira análoga podemos provar o resultado seguinte. Deixamos a
demonstração detalhada como exercı́cio.
20.6. Proposição. Seja {Xi : i 2Q I} uma famı́lia não vazia de espaços
T1 não triviais. Então o produto X = i2I Xi satisfaz o segundo axioma de
enumerabilidade se e só se cada Xi satisfaz o mesmo axioma e I é enumerável.
65
Veremos no Exercı́cio 20.C que cada subespaço aberto de um espaço topológico
separável é separável. Veremos no Exercı́cio 20.E que a imagem contı́nua de cada
espaço topológico separável é separável.
20.7. Proposição. Seja {Xi : i 2 I} uma famı́lia
Q não vazia de espaços de
Hausdor↵ não triviais. Então o produto X = i2I Xi é separável se e só se
cada Xi é separável e |I|  |R|.
Demonstração. ()) Suponhamos que X seja separável. Como Xi = ⇡i (X)
para cada i 2 I, segue que cada Xi é separável.
Para provar que |I|  |R|, seja D um subconjunto denso enumerável de X.
Para cada i 2 I sejam Ui e Vi dois abertos disjuntos não vazios em Xi , e seja
Di = D \ ⇡i 1 (Ui ). Como D é denso em X, segue que cada Di é não vazio.
Afirmamos que Di 6= Dj sempre que i 6= j. De fato, se i 6= j, é claro que
⇡i 1 (Ui ) \ ⇡j 1 (Vj ) 6= ;,
e portanto
D \ ⇡i 1 (Ui ) \ ⇡j 1 (Vj ) 6= ;.
Seja
a 2 D \ ⇡i 1 (Ui ) \ ⇡j 1 (Vj ) ⇢ Di .
Como Uj \ Vj = ;, segue que
/ D \ ⇡j 1 (Uj ) = Dj ,
a2
provando a afirmação.
Logo a aplicação
f : i 2 I ! Di 2 P(D)
é injetiva, e portanto
|I|  |P(D)|  2|N| = |R|.
(() Suponhamos que cada Xi seja separável, e que |I|  |R|. Seja Di =
{xin : n 2 N} um subconjunto denso enumerável de Xi para cada i 2 I. Como
|I|  |R|, podemos supor que I ⇢ R.
Para cada conjunto {T1 , ..., Tp } de intervalos fechados disjuntos com ex-
tremos racionais, e cada conjunto {n1 , ..., np } ⇢ N, definamos um ponto y =
y(T1 , ..., Tp , n1 , ..., np ) 2 X da maneira seguinte:
yi = xink se i 2 Tk ,
yi = xi1 se i2
/ T1 [ ... [ Tp .
Seja D o conjunto formado pelos pontos y = y(T1 , ..., Tp , n1 , ..., np ). É claro que
D é enumerável. Provaremos que D é denso em X. Seja U um aberto básico
em X, ou seja \
U= ⇡j 1 (Uj ),
j2J
66
com J ⇢ I, J finito, e Uj aberto não vazio em Xj para cada j 2 J. Para
cada j 2 J seja xjnj 2 Dj \ Uj , e seja Ti um intervalo fechado, com extremos
racionais, contendo j. Se escrevemos J = {i1 , ..., ip }, então
y = y(Ti1 , ...Tip , ni1 , ..., nip ) 2 U,
pois ⇡ik (y) = yik = xik ,nik 2 Uik para k = 1, ..., p. Logo D\U 6= ;, completando
a demonstração.
Veremos no Exercı́cio 20.F que cada subespaço fechado de um espaço de
Lindelöf é um espaço de Lindelöf. Veremos no Exercı́cio 20.G que a imagem
contı́nua de cada espaço de Lindelöf é um espaço de Lindelöf.
20.8. Teorema. Cada espaço de Lindelöf regular é normal.
Demonstração. Seja X um espaço de Lindelöf regular, e sejam A e B dois
fechados disjuntos não vazios de X. Como X é regular, para cada a 2 A existe
um aberto Ua tal que a 2 Ua e Ua \ B = ;. De maneira análoga, para cada
b 2 B existe um aberto Vb tal que b 2 Vb e Vb \ A = ;. Como A é Lindelöf,
a cobertura aberta {Ua : a 2 A} de A admite uma subcobertura enumerável
{Uaj : j 2 N}. De maneira análoga, a cobertura aberta {Vb : b 2 B} de B
admite uma subcobertura enumerável {Vbk : k 2 N}.
Sejam (Cj )1
j=1 e (Dk )k=1 duas seqüências de abertos definidos da maneira
1
seguinte:
C1 = Ua1 , D1 = Vb1 \ C1 ,
C2 = Ua2 \ D1 , D2 = Vb2 \ (C1 [ C2 ),
C3 = Ua3 \ (D1 [ D2 ), D3 = Vb3 \ (C1 [ C2 [ C3 ),
..............................................................
S1 S1
Sejam C = j=1 Cj e D = k=1 Dk . Para completar a demonstração provare-
mos que A ⇢ C, B ⇢ D e C \ D = ;.
Para provar que A ⇢ C, seja a 2 A. Então a 2 / Vbk , e portanto a 2
/ Dk para
cada k. Seja j tal que a 2 Uaj . Então a 2 Cj ⇢ C, e portanto A ⇢ C. De
maneira análoga podemos provar que B ⇢ D.
Para provar que C \ D = ;, suponhamos que exista x 2 Cj \ Dk . Se j > k,
então x 2 Cj implica que x 2 / Dk , contradição. E se j  k, então x 2 Dk
implica que x 2
/ Cj , contradição também. Logo C \ D = ;.
Exercı́cios
20.A. Prove que a imagem contı́nua e aberta de um espaço topológico
que satisfaz o primeiro axioma de enumerabilidade, também satisfaz o mesmo
axioma.
20.B. Prove que a imagem contı́nua e aberta de um espaço topológico
que satisfaz o segundo axioma de enumerabilidade, também satisfaz o mesmo
axioma.
67
20.C. Prove que cada subespaço aberto de um espaço topológico separável
é separável.
20.D. Prove que cada subespaço de um espaço métrico separável é separável.
20.E. Prove que a imagem contı́nua de cada espaço topológico separável é

separável.
20.F. Prove que cada subespaço fechado de um espaço de Lindelöf é um
espaço de Lindelöf.
20.G. Prove que a imagem contı́nua de cada espaço de Lindelöf é um espaço
de Lindelöf.
68
21. Espaços compactos
21.1. Definição. Seja X um espaço topológico, e seja K ⇢ X. Diremos
que X é um espaço topológico compacto se cada cobertura aberta de X admite
uma subcobertura finita. Diremos que K é um subconjunto compacto de X se
K, com a topologia induzida por X, é um espaço topológico compacto. Diremos
que K é um subconjunto relativamente compacto de X se K é um subconjunto
compacto de X.
21.2. Exemplos.
(a) R não é compacto. Deixamos a demonstração como exercı́cio.
(b) Se X é um espaço topológico qualquer, então cada subconjunto finito de
X é compacto. Deixamos a demonstração como exercı́cio.
21.3. Proposição. Cada intervalo fechado e limitado em R é compacto.
Demonstração. Seja U uma cobertura aberta S de [a, b], com a < b. Seja C
o conjunto dos pontos c 2 [a, b] tais que [a, c] ⇢ V para alguma famı́lia finita
V ⇢ U. Para completar a demonstração basta provar que b 2 C.
Seja Ua 2 U tal que a 2 Ua , e seja > 0 tal que a + 2 < b e
[a, b] \ (a 2 , a + 2 ) ⇢ Ua .
Isto implica que [a, a + ] ⇢ Ua , e portanto a + 2 C.

Seja s = supC. Então s a + > a. Seja Us 2 U tal que s 2 Us , e seja
✏ > 0 tal que s 2✏ > a e
[a, b] \ (s 2✏, s + 2✏) ⇢ Us .
Seja c 2 C \ (s 2✏, s], e seja V ⇢ U, V finita, tal que

[
[a, c] ⇢ V.
Segue que [
[a, s] ⇢ [a, c] [ (s 2✏, s] ⇢ ( V) [ Us .
Isto prova que s 2 C. Se fosse s < b, poderiamos supor que s+2✏ < b e teriamos
que [
[a, s + ✏] ⇢ [a, c] [ (s 2✏, s + 2✏) ⇢ ( V) [ Us .
Mas isto implicaria que s + ✏ 2 C, e s não seria o supremo de C. Logo s = b, e
portanto b 2 C.
21.4. Definição. Seja X um conjunto não vazio, e seja A uma famı́lia não
vazia de T
subconjuntos de X. Diremos que A tem a propriedade da interseção
finita se F =6 ; para cada famı́lia finita F ⇢ A.
21.5. Exemplos. Seja X um conjunto não vazio.
(a) Cada filtro em X tem a propriedade da interseção finita.
(b) Cada base de filtro em X tem a propriedade da interseção finita.
69
O teorema seguinte dá várias caracterizações de espaços compactos.
21.6. Teorema. Seja X um espaço topológico não vazio. Então as
seguintes condições são equivalentes:
(a) X é compacto.
(b) Cada famı́lia de fechados de X com a propriedade da interseção finita
tem interseção não vazia.
(c) Cada filtro em X tem pelo menos um ponto de acumulação.
(d) Cada filtro em X está contido em algum filtro convergente.
(e) Cada ultrafiltro em X é convergente.
(f ) Cada rede em X tem pelo menos um ponto de acumulação.
(g) Cada rede em X admite uma subrede convergente.
(h) Cada rede universal em X é convergente.
Demonstração. (a) ) (b): Seja X compacto, e seja {Ai : i 2 I} uma
famı́lia
T de fechados de X comSa propriedade da interseção finita. Suponhamos
que i2I Ai = ;. Então X = i2I (X \ Ai ), e X \ Ai é aberto para S cada i 2 I.
Como X é compacto,
T existe um conjunto finito J ⇢ I tal
T que X = i2J (X \Ai ).
Segue que i2J Ai = ;, contradição. Isto prova que i2I Ai 6= ;.
S (b) ) (a): Seja {Ui : i 2 I} uma cobertura aberta de X, e suponhamos que

i2J Ui 6= X para cada conjunto finitoT J ⇢ I. Segue que {X \ Ui : i 2 I} é
uma famı́lia de fechados de XTtal que i2J (X \ Ui ) 6= ; para cada S conjunto
finito J ⇢ I. Segue de (b) que i2I (X \ Ui ) 6= ;. Isto implica
S que i2I Ui 6= X,
contradição. Logo existe um conjunto finito J ⇢ I tal que i2J Ui = X.
(b) ) (c): Seja F um filtro em X. Então {A : A 2 F} é uma famı́lia

de
T fechados de X com a propriedade T da interseção finita. Segue de (b) que
{A : A 2 F} 6= ;. Então cada x 2 {A : A 2 F} é um ponto de acumulação
de F.
(c) ) (b): Seja A uma famı́lia de fechados de X com a propriedade da
interseção finita. Seja B a famı́lia de todas as interseções finitas de membros
de A. É claro que B é uma base de filtro em X. Seja F o filtro gerado por
T Segue de (c) que F tem pelo menos um ponto de acumulação, ou seja
B.
T{A : T A 2 F} 6= ;. Como A ⇢ B ⇢ F, e cada A 2 A é fechado, segue que
A = {A : A 2 A} = 6 ;.
(c) , (d): Basta aplicar a Proposição 15.13.
(d) , (e): A implicação (d) ) (e) é imediata, e a implicação (e) ) (d)
segue da Proposição 15.17.
(b) ) (f ): Seja (x ) 2⇤ uma rede em X. Seja A = {xµ : µ } para
cada 2 ⇤, e seja A = {A : 2 ⇤}. Então A é uma famı́liaTde fechados
de XTcom aTpropriedade da interseção finita. Segue de (b) que A 6= ;. Se
x 2 A = {A : 2 ⇤}, então, para cada U 2 Ux tem-se que U \ A 6= ;
para cada 2 ⇤. Logo x é um ponto de acumulação da rede (x ) 2⇤ .
70
(f ) ) (b): Seja A uma famı́lia de fechados de X com a propriedade da
interseção finita. Seja B a famı́lia de todas as interseções finitas de membros de
A. É claro que B é um conjunto dirigido se definimos A  B quando A B.
Seja xB 2 B para cada B 2 B. Segue de (f) que a rede (xB )B2B tem pelo menos
um ponto de acumulação x. Logo, dados U 2 Ux e A 2 B, existe B 2 B, B ⇢ A,
tal que xB 2 U , e portanto xB 2 U \ B ⇢ U \ A. Como A ⇢ B, segue que
\ \ \
x 2 {A : A 2 B} = B⇢ A.
(f ) , (g): Basta aplicar a Proposição 13.10.

(f ) ) (h): Basta aplicar a Proposição 13.12.
(h) ) (e): Seja F um ultrafiltro em X, e seja
⇤ = {(a, A) : a 2 A 2 F}.
É claro que ⇤ é um conjunto dirigido se definimos (a, A)  (b, B) quando A B.

Denotaremos por (x ) 2⇤ a rede x : ⇤ ! X definida por x(a, A) = a para cada
(a, A) 2 ⇤. Afirmamos que (x ) 2⇤ é uma rede universal. De fato, como F é
um ultrafiltro, dado E ⇢ X, tem-se que E 2 F ou X \ E 2 F. Se E 2 F, seja
e 2 E. Então
{x(a, A) : (a, A) (e, E)} ⇢ E.
De maneira análoga, se X \ E 2 F, seja d 2 X \ E. Então
{x(a, A) : (a, A) (d, X \ E)} ⇢ X \ E.
Logo (x ) 2⇤ é uma rede universal. Segue de (h) que (x ) 2⇤ converge a um

ponto x. Logo dado U 2 Ux , existe (a, A) 2 ⇤ tal que b = x(b, B) 2 U para
todo (b, B) (a, A). Segue que U A, e portanto F converge a x.
21.7. Proposição. (a) Cada subespaço fechado de um espaço compacto é
compacto.
(b) Cada subespaço compacto de um espaço de Hausdor↵ é fechado.
Demonstração. (a) Seja X um espaço compacto e seja S um subespaço
fechado de X. Seja {Ui : i 2 I} uma cobertura aberta de S. Para cada i 2 I
existe um aberto Vi de X tal que Ui = S \ Vi . Segue que {Vi : i 2 I} [ {X \ S}
é uma cobertura aberta de X.SComo X é compacto, existe
S um conjunto finito
J ⇢ I tal que X = {X \ S} [ i2J Vi . Segue que S = i2J Ui , e portanto S é
compacto.
(b) Seja X um espaço de Hausdor↵ e seja S um subespaço compacto de
X. Para provar que S é fechado em X, seja x 2 S. Então existe uma rede
(x ) 2⇤ ⇢ S que converge a x. Como S é compacto, a rede (x ) 2⇤ admite
uma subrede (x (µ) )µ2M que converge a um ponto y 2 S. Como (x (µ) )µ2M
converge a x também, e X é Hausdor↵, segue que x = y 2 S. Logo S é fechado
em X.
71
21.8. Proposição. A imagem contı́nua de um espaço compacto é compacto.
Demonstração. Sejam X e Y espaços topológicos, com X compacto, e

seja f : X ! Y uma aplicação sobrejetiva e contı́nua. Para provar que Y é
compacto, seja {Vi : i 2 I} uma cobertura aberta de Y . Então {f 1 (Vi ) : i 2 I}
é uma cobertura aberta
S de X. Como X é compacto, existe um conjunto S finito
J ⇢ I tal que X = i2J f 1 (Vi ). Como f é sobrejetivo, segue que Y = i2J Vi .
Logo Y é compacto.
21.9. Corolário. Seja X um espaço compacto, seja Y um espaço de Haus-
dor↵, e seja f uma aplicação contı́nua. Então:
(a) f é fechada.
(b) Se f é sobrejetiva, então f é uma aplicação quociente.
(c) Se f é bijetiva, então f é um homeomorfismo.
Demonstração. (a) Seja A fechado em X. Pela Proposição 21.8 f (A) é
compacto em Y . Pela Proposição 21.7 f (A) é fechado em Y .
(b) segue de (a) pela Proposição 11.5.
(c) segue de (a) pela Proposição 8.9.
21.10. Teorema de Tychono↵. Seja {Xi : i 2 I} Q uma famı́lia não vazia
de espaços topológicos não vazios. Então o produto X = i2I Xi é compacto se
e só se cada Xi é compacto.
Demonstração. ()) Se X é compacto, então Xi = ⇡i (X) é compacto para
cada i 2 I, pela Proposição 21.8.
(() Suponhamos que cada Xi seja compacto, e seja (x ) 2⇤ uma rede uni-
versal em X. Pelo Exercı́cio 13.F (⇡i (x )) 2⇤ é uma rede universal em Xi , para
cada i 2 I. Pelo Teorema 21.6, a rede (⇡i (x )) 2⇤ converge a um ponto xi 2 Xi
para cada i 2 I. Seja x = (xi )i2I 2 X. Então (x ) 2⇤ converge a x. Pelo
Teorema 21.6 X é compacto.
21.11. Corolário. O produto [0, 1]I é compacto para cada conjunto não
vazio I.
21.12. Corolário. Um conjunto K ⇢ Rn é compacto se e só se K é
fechado e limitado.
Demonstração. ()) Suponhamos K compacto. Como Rn é Hausdor↵, K
é fechado em Rn , pela Proposição 21.7. Por outro lado
1
[
K ⇢ Rn = B(0; j).
j=1
Como K é compacto, existe k 2 N tal que

k
[
K⇢ B(0; j) = B(0; k).
j=1
72
Logo K é limitado.
(() Suponhamos K fechado e limitado. Sendo K limitado, existe k 2 N tal
que
K ⇢ B(0; k) ⇢ [ k, k]n .
Sendo K fechado em Rn , segue que K é fechado em [ k, k]n . Pelo Corolário
21.11 [ k, k]n é compacto. Pela Proposição 21.7 K é compacto.
21.13. Teorema. Cada espaço de Hausdor↵ compacto é um espaço T4 .
Demonstração. Sabemos que cada espaço de Lindelöf regular é normal.
Como cada espaço compacto é claramente Lindelöf, basta provar que cada
espaço de Hausdor↵ compacto é regular.
Seja X um espaço de Hausdor↵ compacto. Seja A um fechado de X, e seja
b2/ A. Para cada a 2 A sejam S Ua e Va dois abertos disjuntos de X tais que
a 2 Ua e b 2 Va . Como A ⇢ a2A Ua e A é compacto, existem a1 , ..., an 2 A
tais que
[n
A⇢ Uaj .
j=1
Sejam
n
[ n
\
U= Uaj , V = Vaj .
j=1 j=1
Então U e V são abertos disjuntos em X, A ⇢ U e b 2 V .

21.14. Corolário. O produto [0, 1]I é um espaço T4 para cada conjunto
não vazio I.
Agora podemos complementar o Teorema 19.11 da maneira seguinte.
21.15. Teorema. Para um espaço topológico X as seguintes condições são
equivalentes:
(a) X é um espaço de Tychono↵.
(b) X é homeomorfo a um subespaço do produto [0, 1]I , para algum I.
(c) X é homeomorfo a um subespaço de um espaço de Hausdor↵ compacto.
(d) X é homeomorfo a um subespaço de um espaço T4 .
Demonstração. A implicação (a) ) (b) segue do Teorema 19.11. A im-
plicação (b) ) (c) segue do Corolário 21.11. A implicação (c) ) (d) segue do
Teorema 21.13. E a implicação (d) ) (a) segue do Corolário 19.7.
Exercı́cios
21.A. Seja X um espaço topológico, e seja K ⇢ X. Prove que K é compacto
S
se e só se, dada uma famı́lia {Ui : i 2 I} de abertosSde X tal que K ⇢ {Ui :
i 2 I}, existe uma famı́lia finita J ⇢ I tal que K ⇢ {Ui : i 2 J}.
73
21.B. Prove que R não é compacto.
21.C. Prove que cada subconjunto finito de um espaço topológico qualquer
é compacto.
21.D. Prove que um espaço topológico discreto X é compacto se e só se X
é finito.
21.E. Usando a Proposição 21.8 prove que o cı́rculo unitário
S 1 = {(x, y) 2 R2 : x2 + y 2 = 1}
é compacto.
21.F. Seja X um espaço compacto, e seja f : X ! R uma função contı́nua.
Prove que existem a, b 2 X tais que f (a)  f (x)  f (b) para todo x 2 X.
21.G. Sejam X e Y espaços topológicos, e seja f : X ! Y .
(a) Se Y é Hausdor↵, e f é contı́nua, prove que o gráfico de f é fechado em
X ⇥Y.
(b) Se Y é compacto, e o gráfico de f é fechado em X ⇥ Y , prove que f é
contı́nua.
21.H. Seja X um espaço de Hausdor↵.
(a) Seja K um subconjunto compacto de X, e seja b 2
/ K. Prove que existem
abertos disjuntos U e V de X tais que K ⇢ U e b 2 V .
(b) Sejam K e L dois subconjuntos compactos disjuntos de X. Prove que
existem abertos disjuntos U e V de X tais que K ⇢ U e L ⇢ V .
21.I. Seja X um espaço de Hausdor↵, seja K um subconjunto compacto de
X, e sejam U1 e U2 dois abertos de X tais que K ⇢ U1 [ U2 . Prove que existem
dois subconjuntos compactos K1 e K2 de X tais que K = K1 [ K2 , K1 ⇢ U1 e
K2 ⇢ U2 .
Sugestão: Primeiro prove que existem abertos disjuntos V1 e V2 de X tais
que K \ U1 ⇢ V1 e K \ U2 ⇢ V2 . A seguir defina K1 = K \ V1 e K2 = K \ V2 .
21.J. Sejam X e Y espaços topológicos, sejam K e L subconjuntos com-
pactos de X e Y , respectivamente, e seja W um aberto de X ⇥ Y tal que
K ⇥ L ⇢ W . Prove que existem abertos U ⇢ X e V ⇢ Y tais que K ⇢ U ,
L ⇢ V e U ⇥ V ⇢ W.
21.K. Sejam X, Y e Z espaços topológicos, e seja f : X ⇥ Y ! Z uma
aplicação contı́nua. Sejam K e L subconjuntos compactos de X e Y , respecti-
vamente, e seja W um aberto de Z tal que f (K ⇥ L) ⇢ W . Prove que existem
abertos U ⇢ X e V ⇢ Y tais que K ⇢ U , L ⇢ V e f (U ⇥ V ) ⇢ W .
21.L. Seja X um espaço compacto.
(a) Prove que a função
d(f, g) = sup{|f (x) g(x)| : x 2 X}
74
é uma métrica em C(X).
(b) Prove que uma seqüência (fn ) converge a f no espaço métrico (C(X), d)
se e só se (fn ) converge a f uniformemente sobre X. Por essa razão a topologia
⌧d definida pela métrica d é chamada de topologia da convergência uniforme.
21.M. Seja X um espaço topológico qualquer. Dados f 2 C(X), A ⇢ X
finito e ✏ > 0, seja
V (f, A, ✏) = {g 2 C(X) : |g(x) f (x)| < ✏ para todo x 2 A}.
(a) Prove que os conjuntos V (f, A, ✏), com A ⇢ X finito e ✏ > 0, formam
uma base de vizinhanças de f para uma topologia em C(X), que denotaremos
por ⌧p .
(b) Prove que uma seqüência (fn ) converge a f em (C(X), ⌧p ) se e só se
fn (x) ! f (x) para cada x 2 X. Por essa razão a topologia ⌧p é chamada de
topologia da convergência pontual.
(c) Prove que a inclusão (C(X), ⌧p ) ,! RX é um mergulho.
21.N. Seja X um espaço topológico qualquer, e seja F ⇢ C(X). Diremos
que F é equicontı́nua num ponto a 2 X se dado ✏ > 0, existe U 2 Ua tal que
|f (x) f (a)| < ✏ para todo f 2 F e x 2 U . Diremos que F é equicontı́nua se
for equicontı́nua em cada ponto de X.
⌧p
(a) Se F é equicontı́nua, prove que F é equicontı́nua também.
(b) Se F é equicontı́nua e X é compacto, prove que as topologias ⌧p e ⌧d
coincidem em F.
21.O. Seja X um espaço topológico qualquer, e seja F ⇢ C(X). Diremos
que F é pontualmente limitada se sup{|f (a)| : f 2 F} < 1 para cada a 2 X.
Diremos que F é localmente limitada se para cada a 2 X existe U 2 Ua tal que
sup{|f (x)| : f 2 F, x 2 U } < 1.
⌧p
(a) Se F é pontualmente limitada, prove que F é pontualmente limitada
também.
(b) Se F é equicontı́nua e pontualmente limitada, prove que F é localmente
limitada.
21.P. Seja X um espaço compacto, e seja F ⇢ C(X) equicontı́nua e pon-
tualmente limitada. Prove que F é um subconjunto relativamente compacto de
(C(X), ⌧d ). Este é o teorema de Arzela-Ascoli.
75
22. Espaços localmente compactos
22.1. Definição. Diremos que um espaço topológico X é localmente com-
pacto se cada x 2 X admite uma base de vizinhanças compactas.
22.2. Proposição. Um espaço de Hausdor↵ X é localmente compacto se e
só se cada x 2 X tem pelo menos uma vizinhança compacta.
Demonstração. Para provar a implicação não trivial, seja x 2 X, e seja U0
uma vizinhança compacta de x. Seja U 2 Ux , e seja V = (U0 \ U ) . Então V é
uma vizinhança aberta de x em X e V ⇢ U0 . Logo V é uma vizinhança aberta
de x em U0 . Notemos que U0 é um espaço de Hausdor↵ compacto, e portanto
regular. Logo existe um subconjunto aberto W de U0 tal que
U0
x2W ⇢W ⇢ V ⇢ U.
Temos que W = U0 \ W1 , sendo W1 aberto em X. Segue que
W = V \ W = V \ U0 \ W1 = V \ W1 .
U0
Logo W é aberto em X. Segue que W é uma vizinhança compacta de x em
U0
X e W ⇢ U.
22.3. Exemplos.
(a) Cada espaço de Hausdor↵ compacto é localmente compacto.
(b) Rn é um espaço de Hausdor↵ localmente compacto que não é compacto.
(c) Seja X um conjunto infinito, com a topologia discreta. X é um espaço
de Hausdor↵ localmente compacto que não é compacto.
Segue da definição que cada espaço de Hausdor↵ localmente compacto é
regular. Mas podemos provar mais.
22.4. Teorema. Cada espaço de Hausdor↵ localmente compacto é um
espaço de Tychono↵.
Demonstração. Seja X um espaço de Hausdor↵ localmente compacto.
Provaremos que X é completamente regular. Seja A um fechado de X, e seja
b 2 X \ A. Por hipótese X \ A contém uma vizinhança compacta U de b.
Seja V = U . Temos que U é um espaço de Hausdor↵ compacto, e portanto
completamente regular. Como V é aberto em U , e b 2 V , existe uma função
contı́nua : U ! [0, 1] tal que (U \ V ) ⇢ {0} e (b) = 1. Notemos que
X = U [ (X \ V ). Seja f : X ! [0, 1] definida por f = em U e f = 0 em
X \ V . A função f está bem definida, pois = 0 em U \ (X \ V ) = U \ V . A
função f é contı́nua, pois U e X \ V são fechados. E como A ⇢ X \ V , segue
que f (A) ⇢ {0} e f (b) = 1.
Nos exercı́cios veremos que a interseção de um subespaço aberto e um sub-
espaço fechado de um espaço de Hausdor↵ localmente compacto é um subespaço
localmente compacto. Reciprocamente temos o resultado seguinte.
76
22.5. Proposição. Seja C um subespaço localmente compacto de um espaço
de Hausdor↵ X. Então existem subespaços A e B de X, com A aberto e B
fechado, tais que C = A \ B.
A demonstração está baseada no lema seguinte.
22.6. Lema. Seja C um subespaço localmente compacto de um espaço de
X
Hausdor↵ X. Então C é aberto em C .
Demonstração. Seja c 2 C, e seja U uma vizinhança aberta de c em C tal
C
que U é compacto. Seja V um aberto de X tal que U = C \ V . Então
X X C
C \C \V =C \U =U .
Esse conjunto é compacto, e portanto fechado em X. Esse conjunto contém
X
U = C \ V , e portanto C \ V . Logo
X X
C \V ⇢C \C \V ⇢ C.
Afirmamos que
X
C \ V ⇢ C.
X
De fato seja x 2 C \ V . Logo existe uma rede (x ) 2⇤ ⇢ C que converge a x.
Como x 2 V , existe 0 2 ⇤ tal que x 2 V para todo 0 . Logo x 2 C \ V
X
para todo 0 , e dai x 2 C \ V ⇢ C.
X X X
Como C \ V é aberto em C , segue que C é uma vizinhança de c em C .
X
Logo C é aberto em C .
X
Demonstração da Proposição 22.5. Pelo Lema 22.6 C é aberto em C .
X X
Logo existe um aberto A de X tal que C = A\C . Assim basta tomar B = C
para completar a demonstração.
No Exercı́cio 22.F veremos que a imagem contı́nua e aberta de um espaço
localmente compacto é um espaço localmente compacto.
topológicos não vazios. Então o produto X = i2I Xi é localmente compacto se
e só se se verificam as seguintes condições:
(a) Cada Xi é localmente compacto.
(b) Existe um conjunto finito J ⇢ I tal que Xi é compacto para cada i 2 I \J.
Demonstração. ()) Suponhamos que X seja localmente compacto. Então

Xi = ⇡i (X) é localmente compacto para cada i 2 I, pelo Exercı́cio 22.F. Isto
prova (a).
Para provar (b) seja x 2 X e seja U uma vizinhança compacta de x em X.
Então U contém uma vizinhança básica V , ou seja
Y Y
U V = Vj ⇥ Xi ,
j2J i2I\J
77
sendo J ⇢ I, J finito, e sendo Vj uma vizinhança aberta de ⇡j (x) em Xj , para
cada j 2 J. Segue que ⇡i (U ) = Xi para todo i 2 I \ J, e (b) segue.
(() Suponhamos que cada Xi seja localmente compacto, e que Xi seja
compacto para cada i 2 I \J, com J finito. Seja x 2 X, e seja U uma vizinhança
básica de x em X. Sem perda de generalidade podemos supor que
Y Y
U= Uj ⇥ Xi ,
j2J1 i2I\J1
sendo J ⇢ J1 ⇢ I, J1 finito, e sendo Uj uma vizinhança aberta de ⇡j (x) em Xj

para cada j 2 J1 . Para cada j 2 J1 seja Vj uma vizinhança compacta de ⇡j (x)
em Xj , com Vj ⇢ Uj , e seja
Y Y
V = Vj ⇥ Xi .
j2J1 i2I\J1
Então V é uma vizinhança compacta de x em X, contida em U .

22.8. Corolário. RI é localmente compacto se e só se I é finito.
Exercı́cios
22.A. Prove que o conjunto Q dos números racionais, com a topologia in-
duzida por R, não é localmente compacto.
22.B. Prove que o conjunto R \ Q dos números irracionais, com a topologia
induzida por R, não é localmente compacto.
22.C. Seja X um espaço localmente compacto. Prove que cada subespaço
aberto de X é localmente compacto.
22.D. Seja X um espaço localmente compacto. Prove que cada subespaço
fechado de X é localmente compacto.
22.E. Seja X um espaço de Hausdor↵. Prove que a interseção de dois
subespaços localmente compactos de X é localmente compacto.
22.F. Prove que a imagem contı́nua e aberta de um espaço localmente com-
pacto é um espaço localmente compacto.
22.G. Seja X um espaço localmente compacto, seja Y um espaço de Haus-
dor↵, e seja f : X ! Y uma função sobrejetiva, contı́nua e aberta. Prove que,
dado um compacto L ⇢ Y , existe um compacto K ⇢ X tal que f (K) = L.
22.H. Seja X um espaço localmente compacto. Prove que um conjunto
A ⇢ X é aberto em X se e só se A \ K é aberto em K para cada compacto
K ⇢ X.
78
23. A compactificação de Alexandro↵
23.1. Definição. Seja X um espaço de Hausdor↵. Chamaremos de com-
pactificação de X um par (Y, ) tal que:
(a) Y é um espaço de Hausdor↵ compacto;
(b) é um homeomorfismo entre X e um subespaço denso de Y .
23.2. Teorema. Seja X um espaço de Hausdor↵ localmente compacto, que
não é compacto. Seja p 2 / X, e seja X ⇤ = X [ {p}. Para cada x 2 X seja
Bx (X) uma base de vizinhanças abertas de x em X, e seja Bx (X ⇤ ) = Bx (X).
Seja
Bp (X ⇤ ) = {{p} [ (X \ K) : K é compacto em X}.
Então:
(a) As famílias Bx (X ⇤ ) (x 2 X) e Bp (X ⇤ ) definem uma topologia em X ⇤
que induz em X a sua topologia original.
(b) X ⇤ é um espaço de Hausdor↵ compacto.
(c) X é um subespaço aberto denso de X ⇤ .
Demonstração. (a) Para provar (a) devemos verificar as condições da
Proposição 5.7:
(i) x 2 U para cada U 2 Bx (X ⇤ ).
(ii) Dados U, V 2 Bx (X ⇤ ), existe W 2 Bx (X ⇤ ) tal que W ⇢ U \ V .
(iii) Dado U 2 Bx (X ⇤ ), existe V 2 Bx (X ⇤ ), V ⇢ U , tal que para cada y 2 V
existe W 2 By (X ⇤ ) tal que W ⇢ U .
Se x 2 X, então Bx (X) satisfaz (i), (ii) e (iii), pela Proposição 5.6. Logo
Bx (X ⇤ ) satisfaz (i), (ii) e (iii).
Verifiquemos que Bp (X ⇤ ) satisfaz (i), (ii) e (iii).
(i) Se U = {p} [ (X \ K), então p 2 U .
(ii) Se U = {p}[(X\K), e V = {p}[(X\L), então U \V = {p}[(X\(K[L)).
(iii) Seja U = {p} [ (X \ K), e seja V = U . Se y = p, seja W = U . Então
W 2 Bp (X ⇤ ) e W ⇢ U . Se y 2 V , com y 6= p, então y 2 X \ K. Como X \ K é
aberto em X, existe W 2 By (X) = By (X ⇤ ) tal que y 2 W ⇢ X \ K ⇢ U .
Se U é aberto em X, é claro que U é aberto em X ⇤ . Em particular X é
aberto em X ⇤ . E se V é aberto em X ⇤ , é claro que X \ V é aberto em X.
(b) Provemos que X ⇤ é Hausdor↵. Dados x, y 2 X, com x 6= y, existem U e
V abertos em X, e portanto em X ⇤ , tais que x 2 U , y 2 V e U \ V = ;.
Dado x 2 X, seja U uma vizinhança compacta de x em X, e seja V =
{p} [ (X \ U ). Então U 2 Ux (X ⇤ ), V 2 Up (X ⇤ ) e U \ V = ;. Logo X ⇤ é
Hausdor↵.
Para provar que X ⇤ é compacto, seja U uma cobertura aberta de X ⇤ . Seja
U0 2 U tal que p 2 U0 . Então existe um compacto K ⇢ X tal que
{p} [ (X \ K) ⇢ U0 .
K é compacto em X, e portanto em X ⇤ . Logo existem U1 , ..., Un 2 U tais que
K ⇢ U1 [ ... [ Un .
79
Segue que
X ⇤ = U0 [ U1 [ ... [ Un .
Logo X ⇤ é compacto.
(c) Já sabemos que X é aberto em X ⇤ . Para provar que X é denso em X ⇤ ,
seja U = {p} [ (X \ K) 2 Bp (X ⇤ ). Como X não é compacto, X \ K 6= ;. Logo
U \X X \ K 6= ;.
Logo X ⇤ é compacto.
23.3. Definição. Seja X um espaço de Hausdor↵ localmente compacto que
não é compacto. Então o espaço X ⇤ construı́do no teorema anterior é chamado
de compactificação de Alexandro↵ de X.
Exercı́cios
23.A. Seja X um espaço de Hausdor↵. Suponhamos que exista uma com-
pactificação (Y, ) de X tal que Y \ (X) contém um único ponto. Prove que
X é localmente compacto, mas não é compacto.
23.B. (a) Prove que o intervalo (0, 1] é um espaço de Hausdor↵ localmente
compacto, que não é compacto.
(b) Prove que o intervalo [0, 1] é a compactificação de Alexandor↵ do inter-
valo (0, 1].
23.C. (a) Prove que N, com a topologia discreta, é um espaço de Hausdor↵
localmente compacto, que não é compacto.
(b) Prove que a compactificação de Alexandro↵ de N é homeomorfa ao
subespaço S = {1/n : n 2 N} [ {0} de R.
23.D. Seja
n+1
X
S n = {(x1 , ..., xn+1 ) 2 Rn+1 : x2j = 1},
j=1
e sejam C = (0, ..., 0, 1/2) e N = (0, ..., 0, 1).

(a) Prove que a projeção estereográfica
✓ ◆
1 n x1 xn
(x1 , ..., xn+1 ) 2 (C + S ) \ {N } ! , ..., 2 Rn
2 1 xn+1 1 xn+1
é um homeomorfismo.
(b) Conclua que a compactificação de Alexandro↵ de Rn é homeomorfa a
Sn.
80
24. A compactificação de Stone-Cech
Se um espaço topológico X admite uma compactificação, segue do Teorema
21.15 que X é um espaço de Tychono↵. A seguir veremos que vale a recı́proca.
Seja X um espaço de Tychono↵. Para cada f 2 Cb (X) seja If um intervalo
fechado e limitado que contém f (X). Segue da demonstração do Teorema 19.11
que a aplicação
Y
✏X : x 2 X ! (f (x))f 2Cb (X) 2 If
f 2Cb (X)
é um mergulho.
24.1. Definição. Dado um espaço de Tychono↵
Q X, denotaremos por X
a aderência do conjunto ✏X (X) no produto f 2Cb (X) If . É claro que o par
( X, ✏X ) é uma compactificação de X. Diremos que X é a compactificação de
Stone-Cech de X.
A compactificação de Stone-Cech tem a seguinte propriedade:
24.2. Teorema. Seja X um espaço de Tychono↵, e seja Y um espaço de
Hausdor↵ compacto. Então, para cada função contı́nua h : X ! Y , existe uma
função contı́nua h̃ : X ! Y tal que h = h̃ ✏X , ou seja o seguinte diagrama é
comutativo:
h
X ! Y
✏X & % h̃
X
Demonstração. Como Y é um espaço de Tychono↵, a aplicação

Y
✏Y : y 2 Y ! (g(y))g2Cb (Y ) 2 Ig
g2Cb (Y )
é um mergulho. Consideremos a aplicação

Y Y
H : (⇠f )f 2Cb (X) 2 If ! (⇠g h )g2Cb (Y ) 2 Ig .
f 2Cb (X) g2Cb (Y )
É fácil ver que

⇡g H = ⇡g h para todo g 2 Cb (Y ),
e portanto H é contı́nua. É fácil ver que
H(✏X (x)) = ✏Y (h(x)) para todo x 2 X,
ou seja o seguinte diagrama é comutativo:
81
h
X ! Y
✏X # # ✏Y
Y H
Y
If ! Ig
f 2Cb (X) g2Cb (Y )
Em particular
H(✏X (X)) = ✏Y (h(X)) ⇢ ✏Y (Y ).
Como X = ✏X (X) e Y é compacto, segue que
H( X) = H(✏X (X)) ⇢ H(✏X (X)) ⇢ ✏Y (Y ) = Y = ✏Y (Y ).
Assim temos o seguinte diagrama comutativo:

h
X ! Y
✏X # # ✏Y
H| X
X ! Y = ✏Y (Y )
Se definimos
h̃ = ✏Y 1 (H| X) : X ! Y,
então é claro que h̃ ✏X = h.
Exercı́cios
24.A. Seja X um espaço de Tychono↵. Prove que, para cada f 2 Cb (X),
existe f˜ 2 Cb ( X) tal que f = f˜ ✏X .
24.B. Considerando a função f (t) = sen(1/t) (0 < t  1), prove que o
intervalo [0, 1] não é a compactificação de Stone-Cech do intervalo (0, 1].
24.C. Seja `1 o conjunto de todas as seqüências (xn ) em R que são limi-
tadas. Dadas x = (xn ) e y = (yn ) em `1 , seja d(x, y) = supn |xn yn |.
(a) Prove que `1 é um espaço vetorial sobre R, e que d é uma métrica em
1
`
(b) Prove que existe um isomorfismo entre os espaços vetoriais `1 e C( N),
que é também uma isometria, ou seja d(T (x), T (y)) = d(x, y) para todo x, y 2
`1 .
24.D. Seja X um espaço de Tychono↵, e seja (Y, ) uma compactificação de
X.
(a) Se (X) é aberto em Y , prove que X é localmente compacto.
(b) Se x 2 X, e se U é uma vizinhança compacta de x em X, prove que
(U ) é uma vizinhança de (x) em Y .
(c) Prove que (X) é aberto em Y se e só se X é localmente compacto.
82
24.E. Identifiquemos N com sua imagem canônica em N.
(a) Prove que N é aberto em N.
(b) Prove que cada n 2 N é um ponto isolado de N, ou seja {n} é aberto
em N.
(c) Prove que os únicos pontos isolados de N são os pontos de N.
24.F. Seja X um espaço de Tychono↵, e seja (Y, ) uma compactificação de
X tal que, dados um espaço de Hausdor↵ compacto Z, e uma função contı́nua
h : X ! Z, existe uma função contı́nua h̃ : Y ! Z tal que h̃ = h. Prove que
existe um homeomorfismo ˜ : X ! Y tal que ˜ ✏X = . Isto nos diz que a
compactificação de Stone-Cech está caracterizada pela propriedade de extensão
dada pelo Teorema 24.2.
83
25. Espaços metrizáveis
Lembremos que um espaço topológico X é metrizável se existe uma métrica
em X que define a topologia de X. É claro que cada subespaço de um espaço
metrizável é metrizável.
topológicos não triviais. Então o produto X = i2I Xi é metrizável se e só se
cada Xi é metrizável e I é enumerável.
Demonstração. ()) Suponhamos que X seja metrizável. Como cada Xi
é homeomorfo a um subespaço de X, segue que cada Xi é metrizável. Como X
satisfaz o primeiro axioma de enumerabilidade, I é enumerável, pela Proposição
20.5.
(() Suponhamos que cada Xi seja metrizável, e que I seja enumerável.
Sem perda de generalidade podemos supor que I = N. Para cada n 2 N seja
dn uma métrica em Xn que define a topologia de Xn . Pelo Exercı́cio 25.B
podemosQsupor que cada dn é limitada por 1. Dados x = (xn )1
n=1 e y = (yn )n=1
1
1
em X = n=1 Xn , definamos
1
X
d(x, y) = 2 n
dn (xn , yn ).
n=1
É claro que d é uma métrica em X. Provemos que d define a topologia de X.

Por um lado, dado ✏ > 0, seja N 2 N tal que
1
X ✏
2 n
< ,
2
n=N +1
e seja
N
Y 1
Y
✏
V = Bdn (xn ; )⇥ Xn .
n=1
2N
n=N +1
Então V é uma vizinhança de x em X e é fácil ver que V ⇢ Bd (x; ✏).

Por outro lado, seja U uma vizinhança aberta básica de x em X, ou seja
N
Y 1
Y
U= Bdn (xn ; n) ⇥ Xn .
n=1 n=N +1
Se definimos
= min{2 n
n : n = 1, ..., N },
então é fácil verificar que Bd (x; ✏) ⇢ U .
84
25.2. Teorema de metrizabilidade de Urysohn. Para um espaço T1
(a) X é metrizável e separável.
(b) X é regular e satisfaz o segundo axioma de enumerabilidade.
(c) X é homeomorfo a um subespaço do produto [0, 1]N .
Demonstração. As implicações (a) ) (b) e (c) ) (a) são imediatas. A
primeira segue da Proposição 20.4, e a segunda segue das Proposições 25.1 e
20.7.
Para provar que (b) ) (c), seja B uma base enumerável para a topologia de
X, e seja
C = {(U, V ) 2 B ⇥ B : U ⇢ V }.
Pela Proposição 20.3 X é um espaço de Lindelöf. Pelo Teorema 20.8 X é
um espaço normal. Daı́, para cada (U, V ) 2 C existe uma função contı́nua
fU V : X ! [0, 1] tal que
fU V (U ) ⇢ {0} e fU V (X \ V ) ⇢ {1}.
Seja
F = {fU V : (U, V ) 2 C}.
Afirmamos que F separa pontos de fechados. De fato seja A um fechado em X,
e seja b 2 X \ A. Seja V 2 B tal que b 2 V ⇢ X \ A. Como X é regular, existe
um aberto U1 em X tal que
b 2 U1 ⇢ U1 ⇢ V ⇢ X \ A.
Seja U 2 B tal que b 2 U ⇢ U1 . Segue que
b2U ⇢U ⇢V ⇢X \A
e portanto (U, V ) 2 C. Segue que
fU V (b) 2 fU V (U ) ⇢ {0} e fU V (A) ⇢ fU V (X \ V ) ⇢ {1}.
Pelo Corolário 19.15 a avaliação
✏ : x 2 X ! (f (x))f 2F 2 [0, 1]F
é um mergulho. Como F é enumerável, temos provado (c).

25.3. Corolário. A imagem contı́nua de um espaço métrico compacto em
um espaço de Hausdor↵ é metrizável.
Demonstração. Seja X um espaço métrico compacto, seja Y um espaço
de Hausdor↵, e seja f : X ! Y contı́nua e sobrejetiva. Então Y é compacto
e portanto regular. Pelo Teorema 25.2, para provar que Y é metrizável, basta
provar que Y satisfaz o segundo axioma de enumerabilidade.
85
Seja B uma base enumerável para a topologia de X. Seja C a famı́lia das
uniões finitas de membros de B, e seja
D = {Y \ f (X \ U )}.
D é uma famı́lia enumerável de abertos de Y . Provaremos que D é uma base para

a topologia de Y . Seja V aberto em Y , e seja y 2 V . Então f 1 (y) ⇢ f 1 (V ),
f 1 (y) é compacto, e f 1 (V ) é aberto em X. Usando a compacidade de f 1 (y)
podemos achar U1 , ..., Un 2 B tais que
f 1
(y) ⇢ U1 [ ... [ Un ⇢ f 1
(V ).
Seja U = U1 [ ... [ Un . Então U 2 C e é fácil verificar que
y 2 Y \ f (X \ U ) ⇢ V.
Logo D é uma base enumerável para a topologia de Y .

O teorema de Urysohn caracteriza os espaços topológicos que são metrizáveis
e separáveis. Há outro teorema, mais geral, que caracteriza os espaços topológicos
que são apenas metrizáveis. Não veremos esse teorema aqui.
Exercı́cios
25.A. Prove que as seguintes funções são crescentes:
(a) f (t) = t/(1 + t) (t 0).
(b) g(t) = t/(1 t) (0  t < 1).
25.B. Seja d uma métrica em um conjunto X, e seja d1 : X ⇥ X ! R

definida por
d(x, y)
d1 (x, y) = .
1 + d(x, y)
(a) Prove que d1 é uma métrica em X.
(b) Prove que as métricas d e d1 definem os mesmos abertos em X.
Sugestão: Use o exercı́cio anterior.
25.C. Seja X um espaço métrico localmente compacto, e seja X ⇤ a
compactificação de Alexandro↵ de X. Prove que as seguintes condições são
equivalentes:
(a) X é separável.
S1
(b) X = n=1 Kn , com Kn compacto e Kn ⇢ (Kn+1 ) para cada n.
(c) X é metrizável.
⇤
86
26. Espaços conexos
26.1. Definição. Um espaço topológico X é dito desconexo se existem dois
abertos disjuntos não vazios A e B em X tais que X = A [ B. Caso contrário
X é dito conexo. Um conjunto S ⇢ X é dito desconexo se S, com a topologia
induzida por X, é um espaço desconexo. Caso contrário S é dito conexo.
26.2. Exemplos.
(a) Cada espaço topológico discreto, com pelo menos dois pontos, é
desconexo.
(b) O espaço de Sierpinski é conexo.
26.3. Proposição. Cada intervalo fechado e limitado em R é conexo.
Demonstração. Suponhamos que [a, b] seja desconexo, sendo a < b. Então
[a, b] = A [ B, sendo A e B dois abertos disjuntos não vazios de [a, b]. Sem
perda de generalidade podemos supor que b 2 B. Como B é aberto, segue que
(b ✏, b] ⇢ B para algum ✏ > 0. Seja c = supA. Então c < b e (c, b] ⇢ B. Se
c 2 A, então, como A é aberto, existiria ✏ > 0 tal que [c, c+✏) ⇢ A, absurdo, pois
c = supA. Logo c 2 B. Se c > a, então, como B é aberto, existiria ✏ > 0 tal que
(c ✏, c] ⇢ B, absurdo, pois c = supA. Logo c = a, e portanto [a, b] = [c, b] ⇢ B,
absurdo de novo. Logo [a, b] é conexo.
Deixamos como exercı́cio as demonstrações dos dois resultados seguintes.
26.4. Proposição. Um espaço topológico X é conexo se e só se X e ; são
os únicos subconjuntos de X que são abertos e fechados.
26.5. Proposição. A imagem contı́nua de um espaço conexo é conexo.
26.6. Proposição. Seja X um espaço topológico, e seja S um subconjunto
conexo de X. Então S também é conexo.
Demonstração. Suponhamos que
S = A [ B,
sendo A e B dois subconjuntos abertos disjuntos não vazios de S. Segue que
S = (S \ A) [ (S \ B),
sendo S \ A e S \ B dois subconjuntos abertos disjuntos não vazios de S. Isto

é absurdo, pois S é conexo.
26.7. Corolário. Seja X um espaço topológico, seja S um subconjunto
conexo de X, e seja S ⇢ T ⇢ S. Então T é conexo.
Demonstração. Basta aplicar a proposição anterior com X = T .
26.8. Definição. Seja X um espaço topológico. Diremos que dois conjuntos
A, B ⇢ X são mutuamente separados se A \ B = A \ B = ;.
87
26.9. Proposição. Um espaço topológico X é desconexo se e só se existem
dois conjuntos mutuamente separados não vazios A e B tais que X = A [ B.
Demonstração. ()) Se X é desconexo, então existem dois abertos disjun-
tos não vazios A e B tais que X = A [ B. Como A e B são abertos e fechados,
é claro que A e B são mutuamente separados.
(() Suponhamos que X = A [ B, sendo A e B dois conjuntos mutuamente
separados não vazios. Como
X = A [ B e A \ B = ;,
vemos que B = X \ A é aberto. De maneira análoga segue que A é aberto. Logo

X é desconexo.
26.10. Corolário. Seja X um espaço topológico. Um subconjunto S ⇢ X
é desconexo se e só se existem dois conjuntos não vazios A e B, mutuamente
separados em X, tais que S = A [ B.
Demonstração. (() Suponhamos que S = A [ B, sendo A e B dois
conjuntos não vazios, mutuamente separados em X. Então é claro que A e B
são mutuamente separados em S.
()) Suponhamos que S = A [ B, sendo A e B dois conjuntos não vazios,
mutuamente separados em S. Então
X X S
A \ B = A \ S \ B = A \ B = ;.
X
De maneira similar podemos provar que A \ B = ;. Logo A e B são mutua-
mente separados em X.
26.11. Corolário. Seja X um espaço topológico, sejam A e B dois conjun-
tos mutuamente separados, e seja S um subconjunto conexo de A [ B. Então
S ⇢ A ou S ⇢ B.
Demonstração. É claro que
S = (S \ A) [ (S \ B),
e os conjuntos S \ A e S \ B são mutuamente separados em S. Como S é

conexo, segue da proposição anterior que S \ A = ; ou S \ B = ;. Logo S ⇢ B
ou S ⇢ A.
S 26.12. Proposição. Seja X T um espaço topológico. Suponhamos que X =

i2I S i , onde cada S i é conexo e i2I Si 6= ;. Então X é conexo.
Demonstração. Suponhamos que X = A [ B, sendo A e B dois conjuntos

mutuamente separados.
T Segue do corolário anterior que Si ⇢ A ou Si ⇢ B para
cada i 2 I. Seja s 2 i2I Si . Se s 2 A, então Si ⇢ A para cada i 2 I, e portanto
B = ;. De maneira análoga, se s 2 B, então A = ;. Logo X é conexo.
88
26.13. Proposição. Seja X um espaço topológico. Suponhamos que cada
par de pontos x, y 2 X pertence a um conjunto conexo Sxy ⇢ X. Então X é
conexo.
Demonstração. Fixemos a 2 X. Segue da hipótese que
[ \
X= Sax e a 2 Sax .
x2X x2X
Pela proposição anterior X é conexo.
S126.14. Proposição. Seja X um espaço topológico. Suponhamos que X =

n=1 Sn , onde cada Sn é conexo e Sn \ Sn+1 6= ; para cada n 2 N. Então X
é conexo.
Sn
Demonstração. Seja Tn = k=1 Sk para cada n 2 N. Usando a Proposição
26.12 e indução segue que cada Tn é conexo. Como
1
[ 1
\
X= Tn e Tn 6= ;,
n=1 n=1
outra aplicação da Proposição 26.12 implica que X é conexo.

26.15. Exemplos.
(a) R é conexo pela Proposição 26.12, pois
1
[ 1
\
R= [ n, n] e [ n, n] = [ 1, 1].
n=1 n=1
(b) Rn é conexo pela Proposição 26.12, pois Rn é a união de todas as retas

que passam pela origem.
topológicos não vazios. Então o produto X = i2I Xi é conexo se e só se cada
Xi é conexo.
Demonstração. ()) Se X é conexo, então Xi = ⇡i (X) é conexo para cada
i 2 I.
(() Fixemos a 2 X e denotemos por S o conjunto de todos os x 2 X tais
que existe um conjunto conexo Sax ⇢ X contendo a e x. Como
[ \
S= Sax e a 2 Sax ,
x2S x2S
vemos que S é conexo., pela Proposição 26.12. Pela Proposição 26.5, para provar
que X é conexo basta provar que X = S. Seja b 2 X e seja U um aberto básico
contendo b, ou seja
\n
U= ⇡ik1 (Uik ),
k=1
89
com Uik aberto em Xik para k = 1, ..., n. Seja T1 ,...,Tn definidos da maneira
seguinte. Tk é o conjunto dos x = (xi )i2I 2 X tais que:
xik 2 Xik é arbitrário;
xij = bij se j < k;
xij = aij se j > k;
xi = ai se i 6= i1 , ...in .
É claro que Tk é homeomorfo a Xik , queSn é conexo, e Tk \ Tk+1 6= ; para
k = 1, ..., n 1. Pela Proposição 26.14 T = k=1 Tk é conexo. Como a 2 T1 ⇢ T ,
segue que T ⇢ S. Por outro lado
S\U T \U Tn \ U 6= ;.
Isto prova que b 2 S, e portanto X = S.
Exercı́cios
26.A. Prove que um espaço topológico X é conexo se e só se X e ; são os
únicos subconjuntos de X que são abertos e fechados.
26.B. Prove que a imagem contı́nua de um espaço conexo é conexo.
26.C. Seja S um subconjunto conexo de R. Prove que, dados a < b em S,
tem-se que [a, b] ⇢ S.
26.D. Prove que cada subconjunto enumerável de R, com pelo menos dois
pontos, é desconexo.
26.E. Seja X um conjunto infinito, com a topologia cofinita. Prove que X
é conexo.
26.F. Seja f : [0, 1] ! [0, 1] uma função contı́nua. Prove que existe x 2 [0, 1]
tal que f (x) = x. .
26.G. Prove que o cı́rculo unitário S 1 é conexo.
26.H. Prove que a esfera
n+1
X
S n = {(x1 , ..., xn+1 ) 2 Rn+1 : x2j = 1}
j=1
é conexa para cada n 2 N.
90
27. Componentes conexas
27.1. Definição. Seja X um espaço topológico. Dado x 2 X, denotaremos
por Cx a união dos subconjuntos conexos de X que contém x. Então Cx é o
maior subconjunto conexo de X que contém x. Diremos que Cx é a componente
conexa de X que contém x.
27.2. Proposição. Seja X um espaço topológico. Dados x, y 2 X, tem-se
que Cx = Cy ou Cx \ Cy = ;.
Demonstração. Se Cx \ Cy 6= ;, então Cx [ Cy é conexo, e portanto
Cx = Cx [ Cy = Cy .
27.3. Proposição. As componentes conexas de um espaço topológico são

sempre fechadas.
Demonstração. Como Cx é conexo, segue que Cx é conexo também. Logo
Cx = Cx .
27.4. Definição. Um espaço topológico X é dito localmente conexo se cada
x 2 X admite uma base de vizinhanças abertas e conexas.
27.5. Exemplo. O espaço [0, 1) [ (1, 2] é localmente conexo, mas não é
conexo.
27.6. Proposição. Um espaço topológico X é localmente conexo se e só se
as componentes conexas de cada aberto de X são abertas em X.
Demonstração. ()) Suponhamos que X seja localmente conexo. Seja U
um aberto de X, e seja C uma componente conexa de U . Por hipótese para cada
x 2 C existe um aberto conexo V tal que x 2 V ⇢ U . Segue que x 2 V ⇢ C, e
portanto C é aberto em X.
(() Suponhamos que as componentes conexas de cada aberto de X sejam
abertas em X. Seja x 2 X, e seja U uma vizinhança aberta de x em X. Seja
C a componente conexa de U que contém x. Como por hipótese C é aberto em
X, concluimos que X é localmente conexo.
27.7. Corolário. As componentes conexas de um espaço localmente conexo
são abertas e fechadas.
27.8. Proposição. Cada quociente de um espaço localmente conexo é
localmente conexo.
Demonstração. Seja X um espaço localmente conexo e seja ⇡ : X ! Y
uma aplicação quociente. Provaremos que as componentes conexas de cada
aberto de Y são abertas em Y .
Seja V um aberto não vazio em Y , e seja D uma componente conexa de
V . Para provar que D é aberta em Y basta provar que ⇡ 1 (D) é aberto em
X. Seja x 2 ⇡ 1 (D), e seja Cx a componente conexa de ⇡ 1 (V ) que contém x.
91
⇡(Cx ) é conexo e ⇡(x) 2 ⇡(Cx ) ⇢ V . Como ⇡(x) 2 D, segue que ⇡(Cx ) ⇢ D, e
portanto Cx ⇢ ⇡ 1 (D). Como Cx é aberto em X, segue que ⇡ 1 (D) é aberto
em X, como querı́amos.
Exercı́cios
27.A. Se X = Q, prove que Cx = {x} para cada x 2 Q.
27.B. Seja X um espaço topológico discreto, com pelo menos dois pontos.
(a) Prove que X é localmente conexo, mas não é conexo.
(b) Prove que Cx = {x} para cada x 2 X.
27.C. Prove que um espaço topológico X é localmente conexo se e só se a
topologia de X admite uma base formada por conjuntos abertos e conexos.
27.D. Se um espaço topológico X é compacto e localmente conexo, prove
que X tem apenas um número finito de componentes conexas.
27.E. Sejam X e Y espaços topológicos, e seja f : X ! Y uma aplicação
contı́nua. Prove que a imagem de cada componente conexa de X está contida
numa componente conexa de Y .
27.F. Se X e Y são homeomorfos, prove que cada componente conexa de X
é homeomorfa a uma componente conexa de Y .
92
28. Espaços conexos por caminhos
28.1. Definição. Um espaço topológico X é dito conexo por caminhos se
dados a, b 2 X, existe uma função contı́nua f : [0, 1] ! X tal que f (0) = a e
f (1) = b. Diremos que f é um caminho em X entre a e b.
28.2. Proposição. Cada espaço conexo por caminhos é conexo.
Demonstração. Seja X um espaço conexo por caminhos. Suponhamos que
existam dois abertos disjuntos não vazios A e B tais que X = A [ B. Sejam
a 2 A e b 2 B, e seja f : [0, 1] ! X um caminho em X entre a e b. Segue que
[0, 1] = f 1
(A) [ f 1
B,
e [0, 1] não seria conexo.

28.3. Exemplos.
(a) Rn é conexo por caminhos. De fato, dados a, b 2 Rn , seja f : [0, 1] ! Rn
definida por f (t) = (1 t)a + tb.
(b) R2 \ E é conexo por caminhos para cada conjunto enumerável E ⇢ R2 .
De fato, para cada a 2 R2 \ E, existe uma famı́lia não enumerável de retas em
R2 \ E que passam por a. Dai, dados a, b 2 R2 \ E, existem duas retas L1 e
L2 em R2 \ E que passam por a e b, respectivamente, e que tem interseção não
vazia. Essa retas fornecem um caminho em R2 \ E entre a e b.
(c) Se n 2, então Rn \ E é conexo por caminhos para cada conjunto
enumerável E ⇢ Rn . De fato, dados a, b 2 Rn \ E, seja S um subespaço
vetorial de Rn de dimensão 2 que contém a e b. Segue de (b) que existe um
caminho em S \ (Rn \ E) = S \ (S \ E) entre a e b.
28.4. Definição. Seja X um espaço topológico, seja f : [0, 1] ! X um
caminho entre a e b, e seja g : [0, 1] ! X um caminho entre b e c. Seja
f ⇤ g : [0, 1] ! X o caminho entre a e c definido por
1
(f ⇤ g)(t) = f (2t) (0  t  ),
2
1
(f ⇤ g)(t) = g(2t  t  1).
1) (
2
28.5. Definição. Um espaço topológico X é dito localmente conexo por
caminhos se cada x 2 X admite uma base de vizinhanças abertas e conexas por
caminhos.
28.6. Proposição. Se X é conexo e localmente conexo por caminhos, então
X é conexo por caminhos.
Demonstração. Seja a 2 X, e seja S o conjunto dos x 2 X tais que existe
um caminho em X entre a e x. Claramente a 2 S. Para provar que S = X,
basta provar que S é aberto e fechado.
93
Para provar que S é aberto, seja b 2 S, e seja U uma vizinhança aberta de b
que é conexa por caminhos. Seja f um caminho em X entre a e b, e seja g um
caminho em X entre b e c 2 U . Então f ⇤ g é um caminho em X entre a e c, e
portanto U ⇢ S. Logo S é aberto.
Para provar que S é fechado, seja c 2 S, e seja U uma vizinhança aberta de
c que é conexa por caminhos. Seja b 2 U \ S, seja f um caminho em X entre
a e b, e seja g um caminho em X entre b e c. Então f ⇤ g é um caminho em X
entre a e c, e portanto c 2 S. Logo S é fechado.
Exercı́cios
28.A. Um conjunto S ⇢ Rn é dito convexo se (1 t)a + tb 2 S para todo
a, b 2 S e t 2 [0, 1]. Prove que cada conjunto convexo em Rn é conexo por
caminhos.
28.B. Prove que a imagem contı́nua de um espaço conexo por caminhos é
conexo por caminhos.
28.C. Seja {Xi : i 2 I} uma famı́lia
Q não vazia de espaços topológicos não
vazios. Prove que o produto X = i2I Xi é conexo por caminhos se e só se
cada Xi é conexo por caminhos.
28.D. (a) Prove que S 1 é conexo por caminhos.
(b) Prove que S n é conexo por caminhos para cada n 2 N.
28.E. Prove que os espaços R e Rn não são homeomorfos se n 2.
28.F. Prove que os espaços [0, 1] e S 1 não são homeomorfos.
28.G. Prove que os espaços S 1 e S n não são homeomorfos se n 2.
28.H. Prove que cada subconjunto aberto e conexo de R é conexo por
n
caminhos.
28.I. Consideremos os conjuntos
S = {(x, y) 2 R2 : 0 < x  1, y = sen(1/x)},
T = S [ {(0, y) : 1  y  1}.
(a) Prove que S é conexo.
(b) Prove que T é conexo.
(c) Prove que S é conexo por caminhos.
(d) Prove que T não é conexo por caminhos.
Sugestão: Para provar (d) suponha que f = (f1 , f2 ) : [0, 1] ! T seja um
caminho em T entre (0, 0) e (1/⇡, 0). Prove que f1 toma todos os valores 1/n⇡,
com n 2 N. A seguir prove que, em cada vizinhança de 0 em [0, 1] f2 toma os
valores 1 e 1. Conclua que f2 não é contı́nua em 0.
94
28.J. Seja X um espaço topológico, e sejam f , g e h caminhos em X entre
a e b, entre b e c, e entre c e d, respectivamente.
(a) Prove que
1
[(f ⇤ g) ⇤ h](t) = f (4t) (0  t  ),
4
1 1
[(f ⇤ g) ⇤ h](t) = g(4t 1) (  t  ),
4 2
1
[(f ⇤ g) ⇤ h](t) = h(2t 1) (  t  1).
2
(b) Prove que
1
[f ⇤ (g ⇤ h)](t) = f (2t) (0  t  ),
2
1 3
[f ⇤ (g ⇤ h)](t) = g(4t 2) (  t  ),
2 4
3
[f ⇤ (g ⇤ h)](t) = h(4t 3) (  t  1).
4
95
29. Homotopia
29.1. Definição. Sejam X e Y espaços topológicos, e sejam f, g 2 C(X; Y ).
Diremos que f e g são homotópicas, e escreveremos f ' g, se existir uma função
contı́nua
H : X ⇥ [0, 1] ! Y
tal que
H(x, 0) = f (x) (x 2 X),
H(x, 1) = g(x) (x 2 X).
Diremos que H é uma homotopia entre f e g, e escreveremos H : f ' g.
Se definimos
ft (x) = H(x, t) (x 2 X, 0  t  1).
vemos que H representa uma famı́lia de funções contı́nuas ft : X ! Y (0  t 
1) tais que f0 = f e f1 = g.
29.2. Exemplo. Seja X um espaço topológico qualquer, e seja Y um
subconjunto convexo de Rn . Então qualquer par de funções f, g 2 C(X; Y ) são
homotópicas entre si. Basta definir
H(x, t) = (1 t)f (x) + tg(x) (x 2 X, 0  t  1).
29.3. Proposição. A relação f ' g é uma relação de equivalência em

C(X; Y ).
Demonstração. Se f 2 C(X; Y ), então H : f ' f , onde
H(x, t) = f (x) (x 2 X, 0  t  1).
Se H1 : f ' g, então H2 : g ' f , onde
H2 (x, t) = H1 (x, 1 t) (x 2 X, 0  t  1).
Se H1 : f ' g e H2 : g ' h, então H3 : f ' h, onde

1
H3 (x, t) = H1 (x, 2t) (x 2 X, 0  t  ),
2
1
H3 (x, t) = H2 (x, 2t 1) (x 2 X,  t  1).
2
29.4. Proposição. Sejam X, Y , Z espaços topológicos, e sejam f1 , g1 2
C(X; Y ) e f2 , g2 2 C(Y ; Z). Se f1 ' g1 e f2 ' g2 , então f2 f1 ' g2 g1 .
Demonstração. Sejam
H1 : f1 ' g1 , H2 : f2 ' g2 ,
e seja H3 : X ⇥ [0, 1] ! Z definida por
H3 (x, t) = H2 (H1 (x, t), t) (x 2 X, 0  t  1).
96
Então
H3 (x, 0) = H2 (H1 (x, 0), 0) = H2 (f1 (x), 0) = f2 f1 (x) (x 2 X),
H3 (x, 1) = H2 (H1 (x, 1), 1) = H2 (g1 (x), 1) = g2 g1 (x) (x 2 X),
e portanto
H3 : f2 f1 ' g2 g1 .
29.5. Definição. Um espaço topológico X é dito contrátil se a função

identidade iX (x) = x é homotópica a uma função constante c(x) = x0 .
29.6. Proposição. Um espaço topológico X é contrátil se e só se, para cada
espaço topológico Y , qualquer par de funções f, g 2 C(Y ; X) são homotópicas
entre si.
Demonstração. Para provar a implicação não trivial, suponhamos que
X seja contrátil, ou seja iX ' c, e sejam f, g 2 C(Y ; X). Então, usando a
proposição anterior, segue que
f = iX f ' c f = c g ' iX g = g.
29.7. Exemplo. Segue do Exemplo 29.2 que cada subconjunto convexo de
Rn é contrátil.
Sabemos que dois espaços topológicos X e Y são homeomorfos se e só se
existem f 2 C(X; Y ) e g 2 C(Y ; X) tais que g f = iX e f g = iY .
29.8. Definição. Diremos que dois espaços topológicos X e Y são ho-
motopicamente equivalentes se existem f 2 C(X; Y ) e g 2 C(Y ; X) tais que
g f ' iX e f g ' iY .
Se X e Y são homeomorfos, é claro que X e Y são homotopicamente equi-
valentes, mas a recı́proca é falsa em geral.
29.9. Proposição. Um espaço topológico X é contrátil se e só se X é
homotopicamente equivalente a um espaço unitário.
Demonstração. ()) Suponhamos que a identidade em X seja homotópica
a uma função constante c(x) = x0 . Seja Y = {x0 }, e seja j : Y ,! X a aplicação
inclusão. Então j c = c ' iX e c j = iY .
(() Suponhamos que X seja homotopicamente equivalente a Y = {y0 }.
Sejam f 2 C(X; Y ) e g 2 C(Y ; X) tais que g f ' iX e f g ' iY . Como g f
é uma função constante, vemos que X é contrátil.
Na próxima seção precisaremos de uma variante da noção de homotopia,
conhecida como homotopia relativa.
29.10. Definição. (a) Diremos que (X, A) é um par topológico se X é um
espaço topológico, e A ⇢ X.
97
(b) Diremos que f : (X, A) ! (Y, B) é uma função contı́nua se f : X ! Y
é uma função contı́nua tal que f (A) ⇢ B.
(c) Diremos que (X, A) e (Y, B) são homeomorfos se existem funções contı́nuas
f : (X, A) ! (Y, B) e g : (Y, B) ! (X, A) tais que g f = iX e f g = iY .
Notemos que neste caso f : X ! Y é um homeomorfismo e f (A) = B.
(d) Diremos que duas funções contı́nuas f, g : (X, A) ! (Y, B) são ho-
motópicas se existir uma função contı́nua
H : X ⇥ [0, 1] ! Y
tal que
H(x, 0) = f (x) (x 2 X),
H(x, 1) = g(x) (x 2 X),
H(x, t) = f (x) = g(x) (x 2 A, 0  t  1).
Neste caso diremos que H é uma homotopia entre f e g relativa a A, e escreve-
remos H : f ' g[A].
(e) Diremos que (X, A) e (Y, B) são homotopicamente equivalentes se existem
funções contı́nuas f : (X, A) ! (Y, B) e g : (Y, B) ! (X, A) tais que g f '
iX [A] e f g ' iY [B].
Exercı́cios
29.A. Prove que cada espaço contrátil é conexo por caminhos.
29.B. Prove que a relação f ' g[A] é uma relação de equivalência no con-
junto de todas as funções contı́nuas f : (X, A) ! (Y, B).
29.C. Prove que, se (X, A) e (Y, B) são homotopicamente equivalentes, então
X e Y são homotopicamente equivalentes.
29.D. Prove que, se (X, A) e (Y, B) são homotopicamente equivalentes, então
A e B são homeomorfos.
29.E. Seja X um espaço topológico, e sejam a, b, c 2 X. Sejam f1 e g1 dois
caminhos em X entre a e b, e sejam f2 e g2 dois caminhos em X entre b e c. Se
f1 ' g1 [{0, 1}] e f2 ' g2 [{0, 1}],
prove que
f1 ⇤ f2 ' g1 ⇤ g2 [{0, 1}].
98
30. O grupo fundamental
30.1. Definição. Seja X um espaço topológico, e seja x0 2 X.
(a) Diremos que f : [0, 1] ! X é um laço com base em x0 se f é contı́nua e
f (0) = f (1) = x0 . Denotaremos por ⌦(X, x0 ) o conjunto de todos os laços em
X com base em x0 .
(b) Diremos que f, g 2 ⌦(X, x0 ) são homotópicos se f ' g[{0, 1}]. Neste
caso escreveremos f 'x0 g. Denotaremos por ⇧1 (X, x0 ) o conjunto das classes
de equivalência em ⌦(X, x0 ) sob a relação 'x0 .
30.2. Teorema. O conjunto ⇧1 (X, x0 ), com a operação
[f ] ⇤ [g] = [f ⇤ g],
é um grupo, chamado de grupo fundamental de X, com base em x0 .

Demonstração. Se f1 'x0 f2 e g1 'x0 g2 , segue do Exercı́cio 29.E que
f1 ⇤ g1 'x0 f2 ⇤ g2 .
Logo a operação está bem definida.

Para provar que a operação é associativa basta provar que
(1) (f ⇤ g) ⇤ h 'x0 f ⇤ (g ⇤ h)
para todo f, g, h 2 ⌦(X, x0 ). Pelo Exercı́cio 28.J, por um lado temos que
[(f ⇤ g) ⇤ h](s) = f (4s) (0  4s  1),
[(f ⇤ g) ⇤ h](s) = g(4s 1) (1  4s  2),

[(f ⇤ g) ⇤ h](s) = h(2s 1) (2  4s  4).
E por outro lado
[f ⇤ (g ⇤ h)](s) = f (2s) (0  4s  2),
[f ⇤ (g ⇤ h)](s) = g(4s 2) (2  4s  3),

[f ⇤ (g ⇤ h)](s) = h(4s 3) (3  4s  4).
Definamos
4s
H(s, t) = f ( ) (0  4s  1 + t),
1+t
H(s, t) = g(4s 1 t) (1 + t  4s  2 + t),
4s 2 t
H(s, t) = h( ) (2 + t  4s  4).
2 t
Não é difı́cil verificar que H é contı́nua e que
H(s, 0) = [(f ⇤ g) ⇤ h](s) (0  s  1),
99
H(s, 1) = [f ⇤ (g ⇤ h)](s) (0  s  1),
H(0, t) = [(f ⇤ g) ⇤ h](0) = [f ⇤ (g ⇤ h)](0) (0  t  1),
H(1, t) = [(f ⇤ g) ⇤ h](1) = [f ⇤ (g ⇤ h)](1) (0  t  1).
Isto prova (1).
Seja e(s) = x0 para todo s 2 [0, 1]. Para provar que [e] é o elemento
identidade de ⇧1 (X, x0 ), basta provar que
(2) f ⇤ e 'x0 f
e
(3) e ⇤ f 'x0 f
para todo f 2 ⌦(X, x0 ). Notemos que
(f ⇤ e)(s) = f (2s) (0  2s  1),
(f ⇤ e)(s) = x0 (1  2s  2).
Definamos
2s
H(s, t) = f ( ) (0  2s  1 + t),
1+t
H(s, t) = x0 (1 + t  2s  2).
H(s, 0) = (f ⇤ e)(s) (0  s  1),
H(s, 1) = f (s) (0  s  1),

H(0, t) = (f ⇤ e)(0) = f (0) (0  t  1),
H(1, t) = (f ⇤ e)(1) = f (1) (0  t  1).
Isto prova (2). A demonstração de (3) é análoga.
Dado f 2 ⌦(X, x0 ), seja f 1 2 ⌦(X, x0 ) definido por f 1 (s) = f (1 s) para
todo s 2 [0, 1]. Para provar que [f 1 ] é o inverso de [f ] basta provar que
(4) f ⇤f 1
'x0 e
e
(5) f 1
⇤ f 'x0 e
Notemos que
(f ⇤ f 1
)(s) = f (2s) (0  2s  1),
(f ⇤ f 1
)(s) = f (2 2s) (1  2s  2).
Definamos
100
H(s, t) = f (2s) (0  2s  t),
H(s, t) = f (t) (t  2s  2 t),
H(s, t) = f (2 2s) (2 t  2s  2).
H(s, 0) = f (0) = x0 = e(s) (0  s  1),
H(s, 1) = f ⇤ f 1
(s) (0  s  1),
H(0, t) = f (0) = x0 = e(0) = (f ⇤ f 1
)(0) (0  t  1),
H(1, t) = f (0) = x0 = e(1) = (f ⇤ f 1
)(1) (0  t  1).
Isto prova que e 'x0 f ⇤ f 1
, e portanto (4). A demonstração de (5) é análoga.
30.3. Proposição. Seja : [0, 1] ! X um caminho em X entre x0 e x1 .

Então a função
⇤
: [f ] 2 ⇧1 (X, x0 ) ! [ 1
⇤ f ⇤ ] 2 ⇧1 (X, x1 )
é um isomorfismo de grupos.
Demonstração. Usando o Exercı́cio 29.E segue que, se f1 'x0 f2 , então
1 1
⇤ f1 ⇤ 'x1 ⇤ f2 ⇤ .
Isto prova que ⇤

está bem definida. É fácil ver que ⇤ é um homomorfismo de
grupos, e que ( ) é seu inverso. Deixamos a demonstração detalhada como
1 ⇤
exercı́cio.
30.4. Corolário. Se X é conexo por caminhos, então todos os grupos
⇧1 (X, x0 ), com x0 2 X, são isomorfos entre si.
30.5. Definição. Um espaço topológico X é dito simplesmente conexo se
X é conexo por caminhos e o grupo ⇧1 (X, x0 ) é trivial para algum, e portanto,
para todo x0 2 X.
30.6. Exemplo. Cada subconjunto convexo de Rn é simplesmente co-
nexo.
Com efeito basta provar que f 'x0 g para todo f, g 2 ⌦(X, x0 ). Seja
H : [0, 1] ⇥ [0, 1] ! X definida por
H(s, t) = (1 t)f (s) + tg(s).
Então
H(s, 0) = f (s) (0  s  1),
H(s, 1) = g(s) (0  s  1),
101
H(0, t) = x0 (0  t  1),
H(1, t) = x0 (0  t  1).
Isto prova que f 'x0 g.
Exercı́cios
30.A. Sejam X e Y espaços topológicos, e seja : (X, x0 ) ! (Y, y0 ) uma
função contı́nua. Prove que a função
⇤ : [f ] 2 ⇧1 (X, x0 ) ! [ f ] 2 ⇧1 (Y, y0 )
é um homomorfismo de grupos.
30.B. Se é a identidade em X, prove que ⇤ é a identidade em ⇧1 (X, x0 ).
30.C. Sejam X, Y e Z espaços topológicos, e sejam : (X, x0 ) ! (Y, y0 ) e

: (Y, y0 ) ! (Z, z0 ) funções contı́nuas. Prove que
( )⇤ = ⇤ ⇤.
30.D. Se : (X, x0 ) ! (Y, y0 ) é um homeomorfismo, prove que a função
⇤ : ⇧1 (X, x0 ) ! ⇧1 (Y, y0 )
é um isomorfismo de grupos.
30.E. Sejam X e Y espaços topológicos, e sejam , : (X, x0 ) ! (Y, y0 )
funções contı́nuas tais que ' [{x0 }]. Prove que f 'y0 f para todo
f 2 ⌦(X, x0 ), ou seja ⇤ = ⇤ .
30.F. Se (X, x0 ) e (Y, y0 ) são homotopicamente equivalentes, prove que os
grupos ⇧1 (X, x0 ) e ⇧1 (Y, y0 ) são isomorfos.
30.G. Sejam X e Y espaços topológicos, e sejam x0 2 X e y0 2 Y . Prove
que o grupo ⇧1 (X ⇥ Y, (x0 , y0 )) é isomorfo ao grupo ⇧1 (X, x0 ) ⇥ ⇧1 (Y, y0 ).
102
31. O grupo fundamental do cı́rculo unitário
Consideremos o cı́rculo unitário
S 1 = {(x, y) 2 R2 : x2 + y 2 = 1} = {z 2 C : |z| = 1}.
Nesta seção provaremos o teorema seguinte.

31.1. Teorema. O grupo ⇧1 (S 1 , 1) é isomorfo a Z.
Para provar este teorema vamos precisar de dois lemas auxiliares. Antes de
enunciar esses lemas, consideremos a função
p : t 2 R ! e2⇡ti 2 S 1 .
É claro que:
(a) p é sobrejetiva, contı́nua e aberta, com p(0) = 1.
(b) A restrição p|( 2, 2)
1 1
:( 2, 2)
1 1
! S 1 \ { 1} é um homeomorfismo, com
inversa q.
(c) p(s + t) = p(s)p(t) para todo s, t 2 R.
(d) p(t) = 1 se e só se t 2 Z.
É claro que R é um grupo abeliano sob adição de números reais, S 1 é um
grupo abeliano sob multiplicação de números complexos, e p : R ! S 1 é um
homomorfismo de grupos cujo núcleo é Z.
31.2. Lema. Seja g um caminho em S 1 , com g(0) = 1. Então existe um
único caminho f em R tal que f (0) = 0 e p f = g.
f% #p
[0, 1] ! S1
g
Demonstração. Como [0, 1] é compacto, a função g : [0, 1] ! S 1 é

uniformemente contı́nua. Logo existe > 0 tal que se |s t| < , então
|g(s) g(t)| < 2. Então g(s)/g(t) 6= 1 e q(g(s)/g(t)) está bem definida.
Seja n 2 N tal que 1/n < , e seja f : [0, 1] ! R definida por
n
!
X g( nk t)
f (t) = q .
k=1
g( k n 1 t)
103
Então f é contı́nua, f (0) = 0 e
n
Y g( nk t)
p f (t) = = g(t),
k=1
g( k n 1 t)
provando existência. Para provar unicidade, suponhamos que exista uma função
contı́nua f1 : [0, 1] ! R tal que f1 (0) = 0 e p f1 = g. Então
p (f1 f )(t) = 1 (0  t  1),
e portanto
(f1 f )(t) 2 Z (0  t  1).
Como [0, 1] é conexo, segue que
(f1 f )(t) = 0 (0  t  1).
31.3. Lema. Sejam g1 e g2 caminhos em S 1 tais que g1 (0) = g2 (0) = 1, e

sejam f1 e f2 os únicos caminhos em R tais que f1 (0) = f2 (0) = 0, p f1 = g1
e p f2 = g2 .
(a) Dada uma função contı́nua G : [0, 1] ⇥ [0, 1] ! S 1 tal que G(0) = 1,
existe uma única função contı́nua F : [0, 1] ⇥ [0, 1] ! R tal que F (0) = 0 e
p F = G.
(b) Se G : g1 ' g2 [{0, 1}], então F : f1 ' f2 [{0, 1}].
F % #p
[0, 1] ⇥ [0, 1] ! S1
G
Demonstração. (a) A demonstração de (a) é similar à demonstração do

lema anterior. Como G é uniformemente contı́nua, existe > 0 tal que se
|z w| < , então |G(z) G(w)| < 2, e portanto q(G(z)/G(w)) está bem
definida. Seja n 2 N tal que 1/n < , e seja F : [0, 1] ⇥ [0, 1] ! R definida por
n
!
X G( nk z)
F (z) = q .
k=1
G( k n 1 z)
Então F é contı́nua, F (0) = 0 e p F = G. Se existir uma função contı́nua

F1 : [0, 1] ⇥ [0, 1] ! R tal que F1 (0) = 0 e p F1 = G, então podemos provar
como antes que F1 = F .
104
(b) Suponhamos que G : g1 ' g2 [{0, 1}]. Então
p F (s, 0) = G(s, 0) = g1 (s) = p f1 (s) (0  s  1).
Pela unicidade no lema anterior, segue que
F (s, 0) = f1 (s) (0  s  1).
De maneira análoga podemos provar que
F (s, 1) = f2 (s) (0  s  1).
Por outro lado temos que
p F (0, t) = G(0, t) = g1 (0) = g2 (0) = p f1 (0) = p f2 (0) (0  t  1).
Pela unicidade do lema anterior segue que
F (0, t) = f1 (0) = f2 (0) (0  t  1).
De maneira análoga podemos provar que
F (1, t) = f1 (1) = f2 (1) (0  t  1).
Logo F : f1 ' f2 [{0, 1}].

Demonstração do Teorema 31.1. Se g 2 ⌦(S 1 , 1), então segue do Lema
31.2 que existe um único caminho f : [0, 1] ! R tal que f (0) = 0 e p f (1) =
g(1) = 1. Então f (1) 2 Z. Definamos
: [g] 2 ⇧1 (S 1 , 1) ! f (1) 2 Z.
Dados g1 , g2 2 ⌦(S 1 , 1), sejam f1 e f2 os únicos caminhos em R tais que f1 (0) =

f2 (0) = 0, p f1 = g1 e p f2 = g2 . Se G : g1 ' g2 [{0, 1}], então segue do Lema
31.3 que F : f1 ' f2 [{0, 1}]. Em particular F (1, t) = f1 (1) = f2 (1). Isto prova
que a função está bem definida.
Para provar que é um homomorfismo de grupos, sejam g1 , g2 2 ⌦(S 1 , 1), e
sejam f1 e f2 os únicos caminhos em R tais que f1 (0) = f2 (0) = 0, p f1 = g1
e p f2 = g2 . Sejam
n1 = f1 (1), n2 = f2 (1).
Seja f : [0, 1] ! R definido por
f (s) = n1 + f2 (s) (0  s  1).
Então
f (0) = n1 + f2 (0) = n1 = f1 (1), f (1) = n1 + f2 (1) = n1 + n2 ,
p(f (s)) = p(n1 )p(f2 (s) = g2 (s) (0  s  1).
105
Segue que
p (f1 ⇤ f ) = (p f1 ) ⇤ (p f ) = g1 ⇤ g2 ,
(f1 ⇤ f )(0) = f1 (0) = 0, (f1 ⇤ f )(1) = f (1) = n1 + n2 .
Assim f1 ⇤f é o único caminho em R tal que (f1 ⇤f )(0) = 0 e p (f1 ⇤f ) = g1 ⇤g2 .
Segue que
([g1 ] ⇤ [g2 ]) = ([g1 ⇤ g2 ]) = (f1 ⇤ f )(1)
= n1 + n2 = f1 (1) + f2 (1) = ([g1 ]) + ([g2 ]).
Isto prova que é um homomorfismo de grupos.
Para provar que é sobrejetiva, seja n 2 Z, e sejam f : [0, 1] ! R e
g : [0, 1] ! S 1 definidos por
f (s) = ns (0  s  1), g = p f.
Então f (0) = 0 e g(0) = g(1) = 1, e dai segue que
([g]) = f (1) = n.
Para provar que é injetiva, seja g 2 ⌦(S 1 , 1) tal que ([g]) = 0. Seja f o
único caminho em R tal que f (0) = 0 e p f = g. Então f (1) = ([g]) = 0,
e portanto f 2 ⌦(R, 0). Como R é simplesmente conexo, temos que f '0 0, e
daı́ segue que
g = p f '1 p(0) = 1.
Isto completa a demonstração.
Exercı́cios
31.A. Usando o Exercı́cio 30.G prove que o grupo ⇧1 (S 1 ⇥ S 1 , (1, 1)) é
isomorfo a Z ⇥ Z.
31.B. Seja
B 2 = {(x, y) 2 R2 : x2 + y 2  1},
e seja j : S 1 ,! B 2 a inclusão. Usando o Exercı́cio 30.C prove que não existe
uma aplicação contı́nua r : B 2 ! S 1 tal que r j seja a identidade.
31.C. Seja f : B 2 ! B 2 uma função contı́nua. Usando o exercı́cio anterior
prove que existe x 2 B 2 tal que f (x) = x.
Sugestão: Se f (x) 6= x para cada x 2 B 2 , seja r(x) o ponto onde a reta de
f (x) a x intercepta S 1 .
31.D. Prove que o homomorfismo de grupos p : R ! S 1 induz um isomor-
fismo de grupos p̃ : R/Z ! S 1 que é também um homeomorfismo.
31.E. Seja G um grupo topológico, ou seja G é um grupo, G é também um
espaço topológico, e a aplicação (x, y) 2 G ⇥ G ! xy 1 2 G é contı́nua.
106
(a) Prove que a aplicação (x, y) 2 G ⇥ G ! xy 2 G é contı́nua.
(b) Prove que a aplicação x 2 G ! x 1 2 G é um homeomorfismo.
(c) Prove que a aplicação y 2 G ! xy 2 G é um homeomorfismo para cada
x 2 G.
(d) Prove que U é uma vizinhança aberta de 1 em G se e só se xU é uma
vizinhança aberta de x em G.
31.F. Seja G um grupo topológico abeliano, e seja H um subgrupo de G.
Prove que a aplicação quociente ⇡ : G ! G/H é aberta.
31.G. Seja G um grupo topológico abeliano, e seja H um subgrupo discreto
de G. Seja ⇡ : G ! G/H a aplicação quociente, e seja g : [0, 1] ! G/H um
caminho com g(0) = 1.
(a) Prove que existe uma vizinhança aberta U de 1 em G tal que ⇡(U ) é
uma vizinhança aberta de 1 em G/H e a restrição ⇡|U : U ! ⇡(U ) é um
homeomorfismo.
(b) Adaptando a demonstração do Lema 31.2 prove que existe um único
caminho f : [0, 1] ! G tal que f (0) = 1 e ⇡ f = g.
De maneira análoga podemos adaptar as demonstrações do Lema 31.3 e do
Teorema 31.1 para provar o teorema seguinte:
Teorema. Seja G um grupo topológico abeliano simplesmente conexo, e seja
H um subgrupo discreto de G. Então o grupo ⇧1 (G/H, 1) é isomorfo a H.
31.H. Sejam E e X espaços topológicos, e seja p : E ! X uma função
contı́nua. Diremos que p : E ! X é um espaço de recobrimento se cada x 2 X
admite uma vizinhança aberta V tal que p 1 (V ) e uma união disjunta de abertos
Ui tais que a restrição p|Ui : Ui ! V é um homeomorfismo para cada i.
Se p(t) = e2⇡ti para cada t 2 R, prove que p : R ! S 1 é um espaço de
recobrimento.
31.I. Seja p : E ! X um espaço de recobrimento. Seja G o conjunto de
todos os homeomorfismos : E ! E tais que p = p.
(a) Prove que p é sobrejetiva e aberta, em particular p é uma aplicação
quociente.
(b) Prove que p 1 (x) é um subconjunto discreto de E para cada x 2 X.
(c) Prove que G é um grupo sob composição, que chamaremos de grupo de
transformações do recobrimento.
31.J. Prove que o grupo de transformações do recobrimento p : R ! S 1 é
isomorfo a Z.
Adaptando as demonstrações dos Lemas 31.2 e 31.3 e do Teorema 31.1,
podemos provar o teorema seguinte:
Teorema. Seja p : E ! X um espaço de recobrimento, e seja G o grupo
de transformações do recobrimento. Se E é simplesmente conexo e localmente
conexo por caminhos, então o grupo ⇧1 (X, x0 ) é isomorfo a G para cada x0 2 X.
107
Bibliografia
[1] J. Dugundji, Topology, Allyn and Bacon, Boston, 1966.

[2] M. Greenberg, Lectures on Algebraic Topology, Benjamin, New York,
1967.
[3] J. Kelley, General Topology, Van Nostrand, New York, 1955. Tradução
ao espanhol: Topologı́a General, Editorial Universitaria de Buenos Aires,
1962.
[4] S. Willard, General Topology, Addison-Wesley, Reading, Massachusetts,
1970. Reimpresso por Dover, Mineola, New York, 2004.
108

Topologia Geral - Mijuca

Enviado por

Dados do documento

Título original

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

Topologia Geral - Mijuca

Enviado por

Direitos autorais:

Formatos disponíveis

Notas de Topologia Geral

Disciplina ministrada no IMECC-UNICAMP

Dado um conjunto X, P(X) denota o conjunto formado pelos subconjuntos

1.B. Seja f : X ! Y uma aplicação. Dados B ⇢ Y e Bi ⇢ Y para cada

1.C. Seja f : X ! Y uma aplicação. Dados A ⇢ X e Ai ⇢ X para cada

(c) f (X \ A) ⇢ Y \ f (A) se f for injetiva.

1.F. (a) Dê exemplo de uma aplicação f : X ! Y e um conjunto A ⇢ X tal

2.3. Definição. Seja X um espaço métrico. Dados a 2 X e r > 0,

B(a; r) = {x 2 X : d(x, a) < r},

B[a; r] = {x 2 X : d(x, a)  r}.

dX (x, a) < implica dY (f (x), f (a)) < ✏,

é chamada de topologia usual.

⌧ = {;, {a}, X}.

Prove que ⌧ é uma topologia em X. O espaço (X, ⌧ ) é chamado de espaço de

Prove que F é a famı́lia de fechados de uma topologia em X, conhecida como

Prove que F é a famı́lia de fechados de uma topologia em X, conhecida como

(a) Prove que ⌧A é uma topologia em X.

Claramente A é o menor subconjunto fechado de X que contém A.

(b) Por (a) A ⇢ A. E como A é um fechado contendo A, segue que A ⇢ A.

Como A ⇢ A [ B e B ⇢ A [ B, segue que A ⇢ A [ B e B ⇢ A [ B. Logo

A ⇢ F = F para cada F 2 F tal que F A,

Por outro lado segue de (a) e (b) que A 2 F e A A. Logo

Isto prova que A é a aderência de A.

Claramente A é o maior subconjunto aberto de X que está contido em A. As

Demonstração. Basta aplicar as leis de De Morgan.

(a) Prove que A = A [ @A.

(a) Prove que a aplicação A ! A tem as propriedades da Proposição 4.3, e

Sejam U, V 2 ⌧ , e seja x 2 U \ V . Então U, V 2 Ux , e segue de (b) que

Então Bx é uma base de vizinhanças de x.

Bx = {B(x; r) : r > 0}.

Então Bx é uma base de vizinhanças de x.

Bx = {B[x; r] : r > 0}.

Então Bx é uma base de vizinhanças de x.

⌧ = {U ⇢ X : para cada x 2 U existe V 2 Bx tal que V ⇢ U }.

Então ⌧ é uma topologia em X e Bx é uma base de vizinhanças de x em

É claro que as famı́lias Ux verificam as propriedades (a), (b), (c) e (d) da

Pela Proposição 5.3 ⌧ é uma topologia em X e Ux é o sistema de vizinhanças

/ A, então por (b) existe V 2 Bx tal que V \ A = ;. Reciprocamente

5.9. Definição. Seja X um espaço topológico. Diremos que X satisfaz

5.B. Dados f 2 C[a, b] e r > 0, seja

U (f, r) = {g 2 C[a, b] : |g(x) f (x)| < r para todo x 2 [a, b]}.

V (f, A, r) = {g 2 C[a, b] : |g(x) f (x)| < r para todo x 2 A}.

é uma base de vizinhanças de x.

para cada i 2 I. Então

Finalmente sejam U1 , U2 2 ⌧ , ou seja

Segue de (b) que cada interseção V1 \ V2 é união de membros de B. Segue que

7.B. Seja X um espaço topológico, e seja S um subespaço de X. Se X é

X1 ⇥ ... ⇥ Xn = {(x1 , ..., xn ) : xi 2 Xi para i = 1, ..., n}.

(X1 ⇥ ... ⇥ Xn )⇤ = {x : {1, ..., n} ! X1 [ ... [ Xn : x(i) 2 Xi para i = 1, ..., n}.

Ache uma aplicação bijetiva entre X1 ⇥ ... ⇥ Xn e (X1 ⇥ ... ⇥ Xn )⇤ .

Então B é base para uma topologia em X, que chamaremos de topologia das

com J finito e Uj aberto em Xj para cada j 2 J. Logo

Como ⇡j g : Y ! Xj é contı́nua para cada j, segue que g 1

é base para a topologia de X, e que

é base para a topologia de S. Como

vemos que S tem a topologia fraca definida pela famı́lia de restrições fi |S : S !

Então ✏ é um mergulho se e só se se verificam as seguintes condições:

Q ()) Por hipótese ✏ é um homeomorfismo entre X e o subespaço ✏(X) de

Logo ✏(U ) é aberto em ✏(X), como querı́amos.

Q 10.A. Seja {Xi : i 2 I} uma famı́lia de espaços topológicos, e seja X =

10.B. Prove que as projeções canônicas em R2 não são funções fechadas.

é aberto em X. Para provar a igualdade anterior é necessário observar que se

Como ⇡ é sobrejetiva, é claro que D é uma decomposição de X. Seja P : X ! D