Lista de exercícios 3

MAT 0317 - Topologia

15 de abril de 2009

Exercício 0. Fazer os exercícios da seção 7 do capítulo 2 da apostila —

em particular, os exercícios 59, 61, 62, 65, 66, 68, 69 e 70.

Exercício 1. Sejam τ1 e τ2 topologias sobre um conjunto X tais que τ1 ⊆ τ2 .

Prove ou dê um contraexemplo:

(a) Se (X, τ1 ) é T0 , então (X, τ2 ) também é T0 .

(b) Se (X, τ1 ) é T1 , então (X, τ2 ) também é T1 .

(c) Se (X, τ1 ) é T2 , então (X, τ2 ) também é T2 .

(d) Se (X, τ1 ) é T3 , então (X, τ2 ) também é T3 .

(e) Se (X, τ1 ) é T4 , então (X, τ2 ) também é T4 .

Exercício 2. Sejam X um espaço topológico e Y ⊆ X. Prove que, para

i = 0, 1, 2, 3, 3 12 , se X é Ti então Y também é Ti . Prove ainda que, se X é T4
e Y é fechado em X, então Y é T4 .

Exercício 3.

(a) Sejam X um conjunto infinito e τ a topologia cofinita sobre X. Mostre

que τ é a menor (no sentido da inclusão) topologia T1 sobre X —
ou seja, mostre que (X, τ ) é um espaço T1 e que, se τ ′ é uma outra
topologia sobre X tal que (X, τ ′ ) é um espaço T1 , então τ ⊆ τ ′ .
 (b) Mostre que não existe uma topologia sobre X que é a menor topologia
T2 sobre X. [Sugestão: Fixe x1 , x2 ∈ X distintos e sejam τ1 e τ2 ,
respectivamente, as topologias sobre X que têm

B1 = {{x} : x ∈ X \ {x1 }} ∪ {X \ F : F ⊆ X é finito}

e
B2 = {{x} : x ∈ X \ {x2 }} ∪ {X \ F : F ⊆ X é finito}
como bases de abertos. Mostre que (X, τ1 ) e (X, τ2 ) são espaços T2 ,
mas o espaço (X, τ1 ∩ τ2 ) não é T2 .]

Exercício 4. Seja X um espaço topológico. Mostre que X é T1 se, e so-

mente se, dados A ⊆ X e x ∈ X arbitrários tais que x é ponto de acumulação
de A, tem-se que toda vizinhança de x contém infinitos pontos de A.

Exercício 5. Considere as seguintes afirmações sobre um espaço topológico

X:

(i) X é T2 .

(ii) Toda sequência em X tem no máximo um limite.

(iii) X é T1 .

Prove que:

(a) (i) ⇒ (ii) ⇒ (iii);

(b) (iii) 6⇒ (ii) 6⇒ (i);

(c) se X verifica o primeiro axioma de enumerabilidade, então (ii) ⇒ (i).

Exercício 6. Seja X o espaço topológico definido no exercício 2.23 da apos-

tila (página 16) e seja Y um espaço topológico T1 que satisfaz o primeiro
axioma de enumerabilidade. Mostre que uma função f : X → Y é contínua
se, e somente se, o conjunto {x ∈ X : f (x) 6= f (x0 )} é enumerável. [Sugestão:
Use a implicação (i) ⇒ (iii) do exercício 2.61 da apostila.]
Exercício 7. Seja (X, τ ) um espaço topológico. Prove que (X, τ ) é T1 se,
T
e somente se, para todo A ⊆ X existe U ⊆ τ tal que A = U.

Exercício 8. Sejam X um conjunto, d uma métrica sobre X e τ a topologia

sobre X associada a d. Mostre que (X, τ ) é um espaço normal.

Exercícios extras
Exercício 9. Dizemos que um espaço topológico X é perfeitamente normal
se, e somente se, X é normal e todo subconjunto fechado de X é Gδ — i.e.,
é igual à intersecção de uma família enumerável de abertos de X.

(a) Prove que um espaço topológico (X, τ ) é perfeitamente normal se, e

somente se, (X, τ ) é T1 e, para todo W ∈ τ , existe uma família {Wn :
S
n ∈ N} ⊆ τ tal que W = n∈N Wn e Wn ⊆ W para todo n ∈ N.

(b) Prove que um espaço topológico (X, τ ) é perfeitamente normal se, e

somente se, (X, τ ) é T1 e, para quaisquer F, G ⊆ X fechados em X
com F ∩ G = ∅, existe uma função contínua f : X → [0, 1] tal que
f −1 [{0}] = F e f −1 [{1}] = G.

Exercício 10. Sejam X um conjunto, d uma métrica sobre X e τ a topo-

logia sobre X associada a d.

(a) Prove que, para todo A ⊆ X, a função

d(·, A) : X → R+
def
x 7→ d(x, A) = inf{d(x, a) : a ∈ A}
é contínua.

(b) Mostre que, dados x ∈ X e A ⊆ X arbitrários, tem-se que d(x, A) = 0

se, e somente se, x ∈ A.

(c) Conclua que (X, τ ) é perfeitamente normal. [Sugestão: Tome F, G ⊆ X

fechados disjuntos e defina

f : X → [0, 1]
)
x 7→ d(x,Fd(x,F
)+d(x,G)
.

Mostre que f é contínua e use o exercício anterior.]

Exercício 11. Dados dois conjuntos A e B, utilizamos a notação |A| ≤ |B|
para denotar o fato de que existe uma função f : A → B injetora.

(a) Mostre que, se X é um espaço T0 que verifica o segundo axioma de

enumerabilidade, então |X| ≤ |℘(N)|.

(b) Mostre que, se X é um espaço regular separável, então existe uma base
B de X tal que |B| ≤ |℘(N)|. [Sugestão: Use o exercício 2.42 da apostila
(página 20).]