Exámenes resueltos

Asignatura: Topología General

Código de asignatura: 233
Ciclo: segundo
Profesor: Francisco Gallego Lupiáñez
Exámenes en mi poder: Febrero y Septiembre de 2000, Febrero de
2001, Febrero de 2002, Febrero y Septiembre de 2003, Septiembre
de 2005, Junio y Septiembre de 2006, Febrero y Septiembre de
2007
Autor de este informe: alumno Antonio Sánchez Fernández
Procesador de textos utilizado: L TEX A

I) Teoría

1. Propuesto al menos en Septiembre de 2005

1.1. Enunciado

[Admitiendo el Axioma de Zorn] Sea X conjunto y F ltro de X. Entonces

existe algún ultraltro en X más no que F.

1.2. Solución

Sea S el conjunto de todos los ltros de X más nos que F. F ∈ S ⇒ S 6= ∅.

(S, ⊂) es conjunto ordenado.

[
Sea {Fj }j∈J cadena en S. Veamos que Fj es cota superior de la cadena.
j∈J

[
1)∀F1 , F2 ∈ Fj ⇒ ∃j1 , j2 ∈ J, , Fk ∈ Fjk ({Fj }j∈J cadena, supongo
j∈J
Fj1 ⊂ Fj2 ) ⇒ F1 , F2 ∈ Fj2 ltro ⇒ F1 ∩ F2 ∈ Fj2 ⊂ ∪j∈J Fj

2)∀F ∈ ∪j∈J Fj , ∀F 0 ⊂ X, , F ⊂ F 0 ⇒ ∃j0 ∈ J, , F ∈ Fj0 ltro ⇒ F 0 ∈ Fj 0 ⊂

∪j∈J Fj

1) y 2) ⇒ (∀j ∈ J)Fj ⊂ ∪j∈J Fj ltro en X más no que F y es cota superior

de la cadena.

(Axioma de Zorn) ⇒ ∃G elemento maximal de S ⇔ G es ultraltro en X más

no que F2

1
2. Propuesto al menos en Febrero de 2002 y Junio
de 2006

2.1. Enunciado

Sea (X, T ) espacio topológico, x ∈ X, s red en X. Entonces x es un punto

de aglomeración de s si, y sólo si, existe una subred de s que converge a x.

2.2. Solución

Sea s = (sd )d∈D la red del enunciado.

(⇒)x punto de aglomeración de s ⇒ ∀U entorno de x∃d ∈ D, , sd ∈ U .

Sea Λ = {(d, U )|d ∈ D, U entorno de x sd ∈ U }

def.
(d1 , U1 ) ≤ (d2 , U2 ) ⇔ d1 ≤ d2 , U2 ⊂ U1 ⇒ (Λ, ≤) es un conjunto dirigido.

ϕ : Λ −→ D
Sea aplicación.
(d, U ) 7→ d

ϕ es creciente y conal ⇒ s ◦ ϕ ≡ t, t es subred de s.

∀U x entorno de x. ∀d0 ∈ D∃d1 ∈ D, , d0 ≤ d1 ,

sd1 ∈ U x ⇒ ∃(d1 , U x ) ∈ Λ, ∀(d, U ) ∈ Λ, , (d1 , U x ) ≤ (d, U )(⇒ U ⊂ U x )

t(d, u) = (s ◦ ϕ)(d, U ) = s(d) ∈ U ⊂ U x ⇒ t −→ x

(⇐)∃Λ conjunto dirigido. ∃ϕ : Λ −→ D aplicación creciente y conal tal que

s ◦ ϕ −→ x.

∀U x entorno de x∃λ0 ∈ Λ, , ∀λ ≥ λ0 (s ◦ ϕ)(λ) ∈ U x

∀d1 ∈ D∃λ1 ∈ Λ, , ϕ(λ1 ≥ d1 (pues ϕ es conal)

∃λ2 ∈ Λ, , λ0 , λ1 ≤ λ2 ⇒ ϕ(λ2 ≥ ϕ(λ0 ), ϕ(λ1 ≥ d1

d∗ ≡ ϕ(λ2 )

s(d∗ ) = s(ϕ(λ2 )) = (s ◦ ϕ)(λ2 ) ∈ U x ⇒ x es punto de aglomeración de la

red s2

2
3. Propuesto al menos en Febrero de 2000, Fe-
brero de 2002 y Febrero de 2003

3.1. Enunciado

Y Y
Sea {(Xj , Tj )}j∈J familia 6= ∅ de espacios topológicos. Entonces ( Xj , Tj )
j∈J j∈J
es completamente regular si, y sólo si, ∀j ∈ J(Xj , Tj ) es completamente regular.

3.2. Solución

(⇒) trivial

Y
(⇐)∀x = (xj )j∈J ∈ Xj
j∈J

Y Y Y Y
∀C 6= ∅ cerrado de ( Xj , Tj ), , x 6∈ C ⇒ x ∈ Xj \ C ∈ Tj ⇒
j∈J j∈J j∈J j∈J
n
\ Y
∃B = p−1
jk (Uk ), , x ∈ B ⊂ Xj \ C ⇒ ∀k = 1, . . . , n,
n=1 j∈J

xjk ∈ Uk (6= Xjk ) ∈ Tjk ⇔ ∀k = 1, . . . , n, xjk 6∈ Xjk \ Uk 6= ∅ cerrado de

(Xjk , Tjk )

(Hipótesis) ⇒ ∀k = 1, . . . , n, ∃fk : (Xjk , Tjk ) −→ [0, 1] continua

fk (xjk ) = 0, fk (Xjk \ Uk ) = {1}

Y Y
Sea f :( Xj , Tj ) −→ [0, 1],
j∈J i∈J

def
∀z = (zj )j∈J , f (z) = máx{fk (zjk )|k = 1, . . . , n} ⇒ f aplicación continua,
f (x) = 0, f (C) = {1}

(∀z ∈ C ⇒ z 6∈ B ⇔ ∃k0 ∈ {1, . . . , n}, , zjk0 6∈ Uk0 ⇒ fk0 (zjk0 ) = 1 ⇒

f (z) = 1)2

3
4. Propuesto al menos en Septiembre de 2003

4.1. Enunciado

Todo espacio topológico metrizable es normal.

4.2. Solución

∀C1 , C2 cerrados disjuntos de (X, T ), , T = Td , con d métrica sobre X. Si

C1 = ∅, trivial. Supongo C1 , C2 6= ∅.

∃εx > 0, , Bεx (x) ∩ C2 = ∅
∀x ∈ C1 ∀y ∈ C2 ⇒
∃δy > 0, , Bδy (y) ∩ C1 = ∅
[ [
C1 ⊂ B ε3x (x) ≡ U1 ∈ T ; C2 ⊂ B δy (y) ≡ U2 ∈ T
3
x∈C1 y∈C2

( )
∃x0 ∈ C1 , , z ∈ B εx0 (x0 )
Si ∃z ∈ U1 ∩ U2 ⇒ 3
∃y0 ∈ C2 , , z ∈ B δy0 (y0 )
3

Supongo δy0 ≤ εx0

 
εx0 δ 2 y0 ∈ C2
d(x0 , y0 ) ≤ d(x0 , z)+d(z, y0 ) < + y30 ≤ 3 εx0 < εx0 ⇒
3 y0 ∈ Bεx0 (x0 )
contradicción ⇒ U1 ∩ U2 = ∅2

5. Propuesto al menos en Febrero de 2007

5.1. Enunciado

Enunciar y demostrar el Lema de Jones.

5.2. Solución

Lema de Jones: Sea (X, T ) espacio topológico. Si ∃D subconjunto denso de

(X, T ) y E cerrado de (X, T ), (E, T|E ) discreto y card E ≥ 2cardD , entonces

(X, T ) no es normal.

Demostración: Si (X, T ) normal y E cerrado de (X, T ), , (E, T|E ) discreto

⇒ ∀C ⊂ E, C y E \C cerrados disjuntos de (E, T|E ) (y E cerrado) ⇒ C y E \ C

4
cerrados disjuntos de (X, T ) ⇒ ∃UC , VC ∈ T disjuntos C ⊂ UC , E \ C ⊂ VC

UC ∩ D ⊂ D . Sea f : P(E) −→ P(D) aplicación

def
c 7−→ f (C) = UC ∩ D

Si C1 , C2 ∈ P(E), , C1 6= C2 ⇒ ∃x ∈ C1 , , x 6∈ C2 ⇒ x ∈ C1 ⊂ Uc1 , x ∈
E \ C2 ⊂ VC2 ⇒ UC1 ∩ VC2 6= ∅ abierto de T (y D denso en (X, T )) ⇒ UC1 ∩
y ∈ UC1 ∩ D = f (C1 )
VC2 ∩ D 6= ∅ ⇔ ∃y ∈ UC1 ∩ VC2 ∩ D ⇒ ⇒
y ∈ VC2 ∩ D ⇒ y 6∈ f (C2 )
f (C1 ) 6= f (C2 ) ⇒ f inyectiva ⇒ card E< card P(E) ≤ card P(D) = 2cardD ,
contradicción. 2

6. Propuesto al menos en Febrero de 2001, Sep-

tiembre de 2006 y Septiembre de 2007

6.1. Enunciado

Sea (X, T ) espacio topológico regular. Entonces (X, T ) es paracompacto si y

sólo si para cada recubrimiento abierto de (X, T ) existe una partición continua
de la unidad subordinada.

6.2. Solución

(⇐) trivial

(⇒)∀U = {Uj }j∈J recubrimniento abierto de (X, T ) ⇒ ∃{Vs }s∈S rena-

miento abierto localmente nito.

[
∀s ∈ S∃j(s) ∈ J, , Vs ⊂ Uj(s) .∀j ∈ J Vs ≡ Vj ⇒ ∃{Vj }j∈J renamiento
j(s)=j
abierto localmente nito de U, , Vj ⊂ Uj (∀j ∈ J), (y (X, T ) es paracompacto y
regular) ⇒ ∃{Fj }j∈J renamiento cerrado localmente nito Fj ⊂ Vj , ∀j ∈ J ⇒

(∃{Fh }h∈H renamiento

[ cerrado localmente nito de {Vj }j∈J .∀h ∈ H∃j(h) ∈
J, , Fh ⊂ Vj(h) ; ∀j ∈ J Fh ≡ Fj cerrado)
j(h)=j

⇒ Fj y X \ Vj cerrados disjuntos (∀j ∈ J)

(Paracompacto: lema de Urysohn:) Si Fj 6= ∅ y Vj 6= X ⇒

5
 
gj (Fj ) = {1}, gj (X \ Vj ) = {0} 
∃gj : (X, T ) −→ [0, 1] continua, SiFj = ∅.Sea gj : (X, T ) −→ [0, 1], , gj ≡ 0(⇒ gj continua) ⇒
SiX = Vj .Sea gj : (X, T ) −→ [0, 1], , gj ≡ 1(⇒ gj continua)


∀j ∈ J, X \ Vj ⊂ gj−1 (0) ⇒ ∀j ∈ J sopA gj ⊂ Vj ⇒ {sopA gj }j∈J localmente

X
nito en (X, T ) ⇒ ∃g = gj : (X, T ) −→ [0, →) continua
j∈J

{Fj }j∈J recubrimiento de X ⇒ ∀x ∈ X∃j0 ∈ J, , x ∈ Fj0 ⇒ gj0 (x) = 1 ⇒

g(x) 6= 0

gj (x)
Sea ∀j ∈ Jfj : (X, T ) −→ R, , fj (x) = g(x) ⇒ fj continua ∀j ∈ J

fj (x) ≥ 0∀x ∈ X, ∀j ∈ J. sopA fj = sopA gj ⇒ {sopA fj }j∈J localmente

nito.

X
gj (x)
X j∈J
∀x ∈ X ( fj )(x) = = 1 ⇒ {fj }j∈J partición continua de la
g(x)
j∈J
unidad subordinada a U 2

7. Propuesto al menos en Septiembre de 2003,

Junio de 2006 y Febrero de 2007

7.1. Enunciado

Sean (X, T ), (X 0 , T 0 ), (X 00 , T 00 ) espacios topológicos. Si α : (X, T )×(X 0 , T 0 ) −→

α̂ : (X, T ) −→ (C(X 0 , X 00 ), Tc )
(X 00 , T 00 ) es aplicación continua, entonces es
x 7−→ α̂(x) = α(x, ·)
continua.

7.2. Solución

Sea x0 ∈ X , considero α̂(x0 ) = α(x0 , ·) ∈ C(X 0 , X 00 )

Subbase de (C(X 0 , X 00 ), Tc ) :< K 0 , G00 > con K0 compacto ⊂ X 0 , G00 abierto

00
⊂X

α̂(x0 ) ∈< K 0 , G00 > entorno abierto de α̂(x0 )

Quiero V x0 ⊂ X entorno abierto de x0 tal que α̂(V x0 ) ⊂< K 0 , G00 >

α(x0 , ·) ∈< K 0 , G00 >⇔ α(x0 , ·)(K 0 ) ⊂ G00 ⇔ α−1 (G00 ) (abierto por ser α

6
continua) ⊃ {x0 } × K 0 en X × X 0 ⇒ ∃V x0 3 x0 entorno abierto tal que
V x0 × K 0 ⊂ α−1 (G00 ) ⇔ α(V x0 , K 0 ) ⊂ G00 ⇔ α(V x0 , ·)(K 0 ) ⊂ G00 ⇔
α̂(V x0 )(K 0 ) ⊂ G00 ⇒ α̂(V x0 ) ⊂< K 0 , G00 > 2

8. Propuesto al menos en Septiembre de 2000,

Febrero de 2001, Febrero de 2003, Septiembre
de 2005, Septiembre de 2006 y Septiembre de
2007

8.1. Enunciado

Sea(X, T ) espacio topológico T2 y (X 0 , d0 ) espacio métrico. Si s = (sd )d∈D

es red en C(X, X ) y f ∈ C(X, X ), entonces s converge a f en la topología
0 0

compacta-abierta si y sólo si ∀K ⊂ X , subconjunto compacto,

∀ε > 0 ∃d0 ∈ D, , ∀d ≥ d0 d0 (sd (x), f (x)) < ε(∀x ∈ K).

8.2. Solución

⇐)f ∈< K, G0 > entorno abierto, K compacto en X , G0 abierto en X0 ⇔

f (K) ⊂ G0 ⇒ ε := d0 (f (K), X 0 \ G0 ) > 0

Quiero: d0 ∈ D tal que sd ∈< K, G0 > ∀d ≥ d0

s −→ f (uniformemente) ⇒ ∃d0 ∈ D tal que d0 (sd (x), f (x)) < ε

∀x ∈ K, ∀d ≥ d0 ⇒ sd (x) ∈ G0 ∀d ≥ d0 ∀x ∈ K ⇔ sd ∈< K, G0 > ∀d ≥ d0

⇒)K compacto ⊆ X, ε > 0, f continua ⇒ x ∈ K, f (x) ⊆ X 0 . Considero

B 2ε (f (x)) entorno abierto de f (x).

∃x ∈ V x entorno abierto de x en X tal que f (V x ) ⊂ B 2ε (f (x))

K compacto. Vx abierto en X ⇒Vx∩K abierto en K.

{V x ∩ K|x ∈ K} recubrimiento abierto de K.

n
[
∃n ∈ N tal que K= (V xi ∩ K)
i=1

K compacto T2 ⇒ ∃Ki ⊂ V xi ∩ K, Ki compacto, ∀i = 1, . . . , n, tal que

n
[
K= Ki
i=1

7
 ∀x ∈ K, f (V x ) ⊂ B 2ε (f (x)).Ki ⊆ V xi ∩ K ⊂ V xi ⇒

∀i = 1, . . . , n, f (Ki ) ⊆ B 2ε (f (xi )) ⇔ f ∈< Ki , B 2ε (f (xi )) > ∀i = 1, . . . , n ⇔

\n
f ∈ < Ki , B 2ε (f (xi )) >= V f entorno abierto básico (de una base) de f en
i=1
Tc .

f ∈ Lim s
⇒ ∃d0 ∈ D : sd ∈ V f ∀d ≥ d0 .xi ∈ Ki
Tc

Sea x ∈ K.∃i ∈ {1, . . . , n} tal que x ∈ Ki .

d0 (sd (x), f (x)) ≤ d0 (sd (x), f (xi )) + d0 (f (xi ), f (x)) < ε 2

| {z } | {z }
< 2ε < 2ε

9. Propuesto en Febrero de 2000

9.1. Enunciado

Sea X espacio topológico T2 . Entonces Cc (X) es espacio vectorial topológico

real.

9.2. Solución

1) Veamos que la operación + en C(X) es continua de Cc (X) × Cc (X) en

Cc (X).

Sea (f0 , g0 ) ∈ C(X) × C(X), K un compacto en X y G un abierto de R tales

que f0 + g0 ∈< K, G >.

∀x ∈ K , como f0 (x) + g0 (x) ∈ G, existe un entorno abierto V f0 (x) de f0 (x)

en R y un entorno abierto V g0 (x) de g0 (x), tales que V f0 (x) + V g0 (x) ⊂ G.

Por la continuidad def0 y g0 , existe un entorno abierto V x de x en X , tal que

x f (x) g (x)
x f (x) g (x)
f0 (V ) ⊂ g0 (V ) ⊂ V1 0 , donde V1 0 y V1 0 son entornos cerrados
V1 0 y
f0 (x) g (x)
de f0 (x) y g0 (x) respectivamente, con V1 ⊂ V f0 (x) y V1 0 ⊂ V g0 (x) . Como
K es compacto, ∃x1 , . . . , xn ∈ K tales que K ⊂ V x1 ∪ . . . ∪ V xn .

f (x0 ) g (x0 )
∀i ∈ {1, . . . , n}, Ki = K ∩ f0−1 (V1 0 ) ∩ g0−1 (V1 0 ) es compacto,

n
[
K= Ki , f0 (Ki ) ⊂ V f0 (xi ) y g0 (Ki ) ⊂ V g0 (xi )
i=1

8
 n
\ n
\
V f0 = < Ki , V f0 (xi ) > y V g0 = < Ki , V g0 (xi ) > son entornos abiertos
i=1 i=1
de f0 y g0 ,respectivamente en Cc (X).

+(V f0 × V g0 ) ⊂< K, G >. Así, + es continua en (f0 , g0 ).

2) Veamos que la operación · de R × C(X) en C(X) es continua de (R, Tu ) ×

Cc (X) en Cc (X).

Sea (λ0 , f0 ) ∈ R × C(X), K compacto en X y G abierto en R tal que

λ0 · f0 ∈< K, G >.

∀x ∈ K , como λ0 f0 (x) ∈ G, existe un entorno abierto Vxλ0 de λ0 en R y

f (x) λ f (x)
existe un entorno abierto V 0 de f0 (x) en R, tales que Vx 0 · V 0 ⊂ G.

x
Por la continuidad de f0 , existe V entorno abierto de x en X tal que
f (x) f0 (x)
f0 (V x ) ⊂ V1 0 , donde V1 es un entorno cerrado de f0 (x) contenido en
V f0 (x) .

Como K es compacto existen x1 , . . . , x n ∈ K tales que K ⊂ V x1 ∪ . . . ∪ V xn .

n
f (x)
[
∀i ∈ {1, . . . , n}, Ki = K ∩ f0−1 (V1 0 ) es compacto, K= Ki , y f0 (Ki ) ⊂
i=1
n
\
V f0 (xi ) . Entonces, V f0 = < Ki , V f0 (xi ) > es un entorno abierto de f0 en
i=1
n
\
Cc (X) y V λ0 = Vxλi0 es un entorno abierto de λ0 en R.
i=1

·(V λ0 × V f0 ) ⊂< K, G >. Así · es continua en (λ0 , f0 ). 2

II) Problemas teorícos

10. Propuesto al menos en Septiembre de 2003 y

Septiembre de 2006

10.1. Enunciado

Sean (X, T ) espacio topológico, {(Xj , Tj )}j∈J familia 6= ∅ de espacios topo-

lógicos y F = {fj : X −→ Xj |j ∈ J} una familia de aplicaciones que distingue
puntos y cerrados. Demostrar que la aplicación
Y
e = (fj )j∈J : (X, T ) −→ (e(X), Tj |e(X) ) es abierta.
j∈J

9
10.2. Solución

F distingue puntos y cerrados de (X, T ) ⇒ ∀F cerrado de (X, T ), ∀x ∈ X

tal que x 6∈ F, ∃fjx ∈ F : fjx (x) 6∈ fjx (F ).
Y
e es abierta si para todo abierto A de (X, T ), e(A) es abierto en (e(X), Tj |e(X) ).
j∈J

Si el abierto es el vacío: e(∅) = ∅, que es abierto.

Y
Si el abierto es el total: e(X) es abierto en Tj |e(X) .
j∈J

Veamos el caso general: Sea A ∈ T, A 6∈ {∅, X}.

Deno C =X \A⇒C es cerrado y C 6= ∅.

Si x ∈ C ⇒ e(x) ∈ e(C).

e(x) 6∈ e(C) ⇒ x 6∈ C ⇔ x ∈ A.
Y Y Y
e(C) ⊂ fj (C) ⇒ e(C) ⊂ fj (C) = fj (C)
j∈J j∈J j∈J

Y Y
x 6∈ C ⇒ ∃fjx ∈ F : fjx (x) 6∈ fjx (C) ⇒ e(x) 6∈ fj (C) = fj (C) y
j∈J j∈J
Y
e(C) ⊂ fj (C) ⇒ ∀x ∈ A, e(x) 6∈ e(C) ⇒ e(A) ∩ e(C) = ∅ ⇒ e(A) ∩ e(C) = ∅
j∈J

X = A ∪ C ⇒ e(X) = e(A ∪ C) = e(A) ∪ e(C)

e(X)
e(C) = e(C) ∩ e(X) = e(C) ∩ (e(A) ∪ e(C)) = [e(C) ∩ e(A)] ∪ [e(C) ∩
| {z }
Y =∅
e(C)] = ∅ ∪ e(C) = e(C) ⇒ e(C) es cerrado en (e(X), Tj |e(X) ) ⇒
j∈J
Y
e(X) \ e(C) = e(A) es abierto en (e(X), Tj |e(X) ) ⇒ e es aplicación abierta.
j∈J
2

10
11. Propuesto al menos en Septiembre de 2000,
Septiembre de 2005 y Febrero de 2007

11.1. Enunciado

Sea {(Xj , Tj )}j∈J familia 6= ∅ de espacios topológicosY

y ∀j ∈ J Aj un sub-

conjunto compacto de (Xj , Tj ). Si W es un abierto de Tj que contiene a

j∈J
Y
Aj , probar que existen abiertos Uj ∈ Tj (∀j ∈ J) con Uj 6= Xj sólo en una
j∈J
Y Y
subfamilia nita de índices y Aj ⊂ Uj ⊂ W .
j∈J j∈J

11.2. Solución

Y
Por el teorema de Tychono Aj es compacto.
j∈J

Se estudirá el problema por casos, en función del cardinal del conjunto J de

índices.

A) card(J )= 1.

Se cumple trivialmente haciendo U1 ≡ W . A1 ⊂ U1 (= W ) ⊂ W .

B) card(J )= 2.

J = {1, 2}.

A1 × A2 es subconjunto compacto de X1 × X2 .

W es abierto ⇒W es unión de abiertos de la base.

[
W = (Gλ × Hλ ) donde ∀λ ∈ Λ, Gλ ∈ T1 , Hλ ∈ T2
λ∈Λ


A1 ×[A2 compacto 
A1 × A2 ⊂ (Gλ × Hλ )  ⇒ ∃F conjunto nito de índices F ⊂ Λ, tal

λ∈Λ
[
que A1 × A2 ⊂ Gf × Hf ⊂ W .
f ∈F

[
Deno WF ≡ Gf × Hf
f ∈F

11
 WF es abierto.

\
∀x ∈ A1 , sea Gx ≡ Gf ⇒ Gx es entorno abierto de x.
x∈Gf

\
∀y ∈ A2 , sea Hy ≡ Hf ⇒ H y es entorno abierto de y.
y∈Hf

∀(x, y) ∈ A1 × A2 , Gx × H y es entorno abierto


de (x, y)
⇒
∀(x, y) ∈ A1 × A2 , ∃f ∈ F : (x, y) ∈ Gf × Hf

Gx × H y ⊂ Gf × Hf ⊂ WF

A1 , A2 compactos ⇒ ∃x1 , . . . , xm ∈ A1 , ∃y1 , . . . , yn ∈ A2 :

[m n
[
A1 ⊂ Gxi ∈ T1 , A2 ⊂ H yj ∈ T2
i=1 j=1

m
[ n
[
Deno U1 ≡ Gxi , U2 ≡ H yj
i=1 j=1

∀i ∈ {1, . . . , m}, ∀j ∈ {1, . . . , n}, ∃f (i, j) : (xi , yj ) ∈ Gf (i,j) × Hf (i,j) ⇒

[m [ n
Gxi × H yj ⊂ Gf (i,j) × Hf (i,j) ⊂ WF ⇒ Gxi × H yj ⊂ WF
i=1 j=1

m [
[ n m
[ n
[ m
[ n
[
xi yj xi yj xi
G ×H = (G × H )=( G )×( H yj ) =
i=1 j=1 i=1 j=1 i=1 j=1

U1 × U2 ⊂ WF

A1 × A2 ⊂ U1 × U2 ⊂ WF ⊂ W

C) card(J ) nito.

J = {1, . . . , n}.

Se prueba por inducción. Ya se ha probado si n=1 ó n = 2.

Paso de inducción: supuesto que se cumple el enunciado si card(J )≤ n, ver

que también se cumple si card(J )= n + 1. Por tanto suponemos card(J )= n + 1.

n+1
Y n+1
Y n
Y n
Y
( Xj , Tj ) ≈ (( Xj ) × Xn+1 , ( Tj ) × Tn+1 )
j=1 j=1 j=1 j=1

n
Y n
Y
Deno (Xp , Tp ) ≡ ( Xj , Tj )
j=1 j=1

12
 n
Y
Deno Ap ≡ Aj (Ap es compacto)
j=1

Sabemos que Ap × An+1 ⊂ W

Por el caso n = 2(J = {p, n + 1}), ∃Up , Un+1 abiertos cumpliendose:

Ap ⊂ Up , An+1 ⊂ Un+1

Ap × An+1 ⊂ Up × Un+1 ⊂ W
n
Y n
Y
Por el caso card(J )= n: Up es abierto de ( Xj , Tj )
j=1 j=1

n
Y n
Y
Aj ⊂ Up ⇒ ∃{Uj }nj=1 , Uj ∈ Tj (∀j, 1 ≤ j ≤ n) tales que Aj ⊂
j=1 j=1
n
Y n+1
Y n+1
Y
Uj ⊂ Up ⇒ Aj ⊂
Uj ⊂ Up ×Un+1 ⊂ W con lo que queda demostrado
j=1 j=1 j=1
el paso de inducción, y por tanto el caso nito.

D) Caso general (cantidad innita arbitraria de índices).

Y
Aj ⊂ W
j∈J

Y
Por el teorema de Tychono: ∀j ∈ J, Aj compacto ⇔ Aj compacto.
j∈J

Y
W abierto ⇒ ∃{Bλ }λ∈Λ , siendo cada Bλ abierto de la base de Tj tales
j∈J
[
que W = Bλ .
λ∈Λ

Y [
Aj ⊂ Bλ = W
j∈J λ∈Λ

Y
Que ∀λ ∈ Λ, Bλ sea abierto de la base quiere decir que Bλ = Glj , con
j∈J
Glj ∈ Tj ∀j ∈ J , y Glj 6= Xj sólo en una cantidad nita de índices.

{Bλ }λ∈Λ es recubrimiento abierto de un compacto ⇒ existe un subrecubri-

Y m
[ Y m
[
miento nito de K= Aj , Bl . Es decir, Aj ⊂ Bl ⊂ W
j∈J l=1 j∈J l=1

Y
Bl = Bjl
j∈J

13
 Llamo Fl al conjunto nito de índices en los que Bjl diere del total.

Y
Bl = Bjl , Bjl ∈ Tj ∀j ∈ J, Bjl 6= Xj ⇔ j ∈ Fl
j∈J

m
[
Deno el conjunto de índices F = Fl
l=1

F es unión nita de conjuntos nitos ⇒ card(F ) es nito.

Y
Af es compacto
f ∈F

Y
Deno BlF ≡ Bfl .
f ∈F

m
[
Deno WF ≡ BlF abierto.
l=1

Y m
[ Y m
[
Aj ⊂ Bl ⇒ Af ⊂ BlF = WF
j∈J l=1 f ∈F l=1

Y Y
Por el caso nito ∃Uf ∈ Tf (∀f ∈ F ) tales que Af ⊂ U f ⊂ WF =
f ∈F f ∈F
m
[
BlF ⇒ ∀f ∈ F, Af ⊂ Uf
l=1

  m
Uj , j ∈ F Y Y [
Deno Uj = ⇒ Aj ⊂ Uj ⊂ Bl ⊂ W , con Uj 6= Xj
Xj , j 6∈ F
j∈J j∈J l=1
sólo en una cantidad nita de índices. 2

12. Propuesto al menos en Febrero de 2000, Fe-

brero de 2002 y Septiembre de 2005

12.1. Enunciado

Sea X espacio topológico normal, C ⊂ X. Probar que C es cerrado e in-

tersección numerable de abiertos si y sólo si existe una aplicación continua
f : X −→ I  C = f −1 (0).

14
12.2. Solución

Lema. Sea X espacio topológico, {hn }n∈N sucesión de funciones continuas

deX en (R, Tu ). Si existe una serie convergente de números reales no negativos
∞
X
rn = r tal que |hn (x)| ≤ rn ∀x ∈ X entonces la función
n=1

∞
X
h= hn : X −→ R
n=1
∞
X
x 7−→ h(x) = hn (x)
n=1

es continua. Además |h(x)| ≤ r ∀x ∈ X .

DEMOSTRACIÓN

∞ ∞
X X ε
Sea x0 ∈ X, ε > 0. rn es convergente ⇒ ∃n0 ∈ N : rn ≤ .
n=1 n=n0 +1
3

n0
X
hn es continua ⇒ ∃V x0 entorno de x0 en X:
n=1
n0 n0
X X ε
| hn (x) − hn (x0 )| < ∀x ∈ V x0 .
n=1 n=1
3

∞
X n0
X n0
X n0
X
∀x ∈ V x0 : |h(x)−h(x0 | ≤ | hn (x)− hn (x)|+| hn (x)− hn (x0 )|+
n=1 n=1 n=1 n=1
n0 ∞
X X ε ε ε
| hn (x0 ) − hn (x0 )| < + + =ε⇒h es continua en x0 . 2
n=1 n=1
3 3 3

Solución del problema planteado:

\ 1 \ 1
⇐)f continua: f −1 ({0}) = C ⇒ C = f −1 ({0}) = f −1 ( [0, )) = f −1 ([0, )) ⇒
n n
n∈N n∈N
C es Gδ (intersección numerable de abiertos). {0} cerrado en (I, Tu ) y f continua
⇒ f −1 ({0}) = C es cerrado.
\
⇒)C es Gδ ⇒ ∀n ∈ N, ∃Gn abierto en X tal que C= Gn .
n∈N

∀n ∈ N, C ⊂ Gn ⇒ ∀n ∈ N, (X \ Gn ) ∩ C = ∅.

∀n ∈ N, Gn es abierto ⇒ ∀n ∈ N, X \ Gn es cerrado.

Por el lema de Urysohn, existe una aplicación continua fn : X −→ [0, 1] tal

que fn (C) = {0} y fn (X \ Gn ) ⊂ {1}.

15
 Sea hn : X −→ R
fn (x)
x 7−→ hn (x) = 2n

1
|hn (x)| = hn (x) ≤ 2n

Deno f : X −→ R
∞
X
x 7−→ f (x) = hn (x)
n=1

∞ ∞ ∞
X X fn (x) X 1
0 ≤ f (x) = hn (x) = ≤ =1
n=1 n=1
2n n=1
2n

Por el lema, f está denida y es aplicación continua de X en [0, 1] = I .

1 fn0 (x)
x∈
Si6 C, ∃n0 ∈ N : x 6∈ Gn0 ⇒ x ∈ X \ Gn0 ⇒ 0 < 2n0 = 2n0 ≤ f (x) ⇒
x 6∈ f ({0}) ⇒ f −1 ({0}) = C . 2
−1

13. Propuesto al menos en Febrero de 2003

13.1. Enunciado

Sea X espacio topológico T0 . Probar que X tiene una base formada por
conjuntos simultáneamente abiertos y cerrados si y sólo si existe D conjunto
discreto de cardinal ≥ 2 tal que X se puede sumergir en DJ para algún conjunto
J.

13.2. Solución

⇒) Llamo T a la topología de X.

(X, T ) es T0 .

A = {Aj }j∈J base de X formada por conjuntos simultáneamente abiertos y

cerrados.

∀x ∈ X , sea A(x) ≡ {Aj ∈ A|x ∈ Aj } ⊂ A.

∀x ∈ X, A(x) es base de entornos de x formada por conjuntos abiertos y

cerrados a la vez, en particular cerrados ⇒ (X, T ) es regular.

(X, T ) es regular y T0 ⇒ (X, T ) es regular y T2 ⇒ (X, T ) es T3 .

El conjunto D que se va a considerar es D = {0, 1}

16
 card(D )= 2

El que sea conjunto discreto quiere decir que el conjunto se considera con la
topología discreta TD = P(D).

Así, el conjunto discreto queda (D, TD ) = ({0, 1}, TD ).

Y
DJ es la abreviatura para la topología producto: DJ = D
j∈J

Y Y
Haciendo explícita la topología: (D, TD )J = ( D, TD ).
j∈J j∈J

fj : /X, T )−→ (D, TD )

A cada elemento de la base Aj le asocio una función 1, si x ∈ Aj
x 7−→
0, si x 6∈ Aj

∀j ∈ J, fj es continua, pues Aj es abierto y cerrado a la vez.

Aj cerrado ⇒ X \ Aj abierto.

TD = {∅, {0}, {1}, {0, 1}}

fj−1 (∅) = ∅ abierto



fj−1 (D) = X abierto


→ fj es continua
fj−1 ({1}) = Aj abierto 

fj−1 ({0}) = X \ Aj abierto


F ≡ {fj |j ∈ J}
  
∀x, y ∈ X, , x 6= y fj0 (x) = 1
⇒ ∃Aj0 ∈ A(x) ⊂ A, , y 6∈ Aj0 , x ∈ Aj0 ⇒ ⇒
(X, T ) es T1 fj0 (y) = 0
fj0 (x) 6= fj0 (y) ⇒ F separa puntos de X .

Sea F cerrado de (X, T ), x 6∈ F

Sea G=X \F abierto, x ∈ G, G ∩ F = ∅

En (D, TD ) todos los conjuntos son cerrados → fl (F ) = fl (F )

[
x∈G= Al ⇒ ∃l0 ∈ L, , x ∈ Al0 ∈ A y Al0 ⊂ G = X \ F ⇒ Al0 ∩ F =
l∈L
∅ ⇒ fl0 (x) = 1yfl0 (F ) = {0} ⇒ 1 = fl0 (x) 6∈ fl0 (F ) = fl0 (F ) = {0} ⇒ F
separa puntos y cerrados de (X, T ).

Por el lema de inmersión la aplicación evaluación de F

Y Y
e : (X, T ) −→ ( D, TD ) = (D, TD )J es inmersión topológica ⇒X se
j∈J j∈J

17
puede sumergir en DJ , con J =card(A).

e = (fj )j∈J es la aplicación parentesis.

⇐)(X, T ) es espacio topológico T0 .

∃D conjunto discreto, card(D )≥ 2.

(D, TD ).TD topología discreta

X se puede sumergir en DJ
Y Y
DJ es ( D, TD )
j∈J j∈J

∃e : X −→ DJ ; e = (fj )j∈J
Y
(X, T ) ≈ (f (X), TD |f (X) )
j∈J

fj : X −→ D

F = {fj |j ∈ J} familia de funciones que separa puntos.

D = {0, 1} es discreto y card(D )= 2

(D, TD ) es T1

B = {{0}, {1}} es base formada por abiertos y cerrados a la vez.

Y Y
Ambas propiedades son multiplicativas TD ) es ⇒( D, T1 y tiene base
j∈J j∈J
formada por conjuntos abiertos y cerrados simultáneamente.

Sea m =card(X ). Tomo conjunto de índices J tal que card(J )= m.

La base A de abiertos y cerrados de X , va a ser A = {Aj }j∈J , con card(J )=

m

fj : X −→ D = {0, 1} es continua

fj−1 (0), fj−1 (1) son abiertos y cerrados a la vez.

Aj = fj−1 (1)

A = {fj−1 (1)}j∈J

e es unmersión topológica ⇒ e es inyectiva ⇒ ∀x, y ∈ X, x 6= y, ∃fj0 ∈

F, , fj0 (x) 6= fj0 (y)

18
 e inmersión ⇒e es continua en el total, inyectiva y abierta ben f (X).

Abiertos de DJ : unión de abiertos de la base:

Y
Base de DJ : D = { Gj |Gj ∈ Tj ∀j ∈ F nita, Gj = D∀j ∈ J \ F }
j∈J

Sea B = {BD }i∈I base de DJ

Y
B={ Gj |Gj ∈ Tj ∀j ∈ J, Gj = D∀j ∈ J \ F, F nito}
j∈J

Y
Al ser (D, TD )J , Tj = P(TD ) queda B = { Gj |Gj ⊂ D∀j ∈ J, Gj = D∀j ∈
j∈J
J \F con F nito}

D tiene la topología discreta ⇒ ∀E ⊂ D, E = E , o sea todos los conjuntos

son cerrados.

Y Y
En DJ , un conjunto que se pueda poner como E = Ej , E = Ej =
j∈J j∈J
Y Y
Ej = Ej = E .
j∈J j∈J

En particular eso pasa para la base de la topología producto, es decir todos

los elementos de B son abiertos y cerrados a la vez.

Y
B base de DJ ⇒ Be = {e(X) ∩ Bi |Bi ∈ B} es base en (e(X), TD |e(X) ) ⇒
j∈J
Be está formada por conjuntos abiertos y cerrados simultáneamente en e(X)

Sea Be = {Be }e∈E la base de DJ .

e homeomorsmo entre X y e(X)

[
A ∈ T ⇒ e(A) abierto en e(X) ⇒ e(A) = {Bl |Bl ∈ Be }
l∈L

Deno Ce = {Ce = e−1 (Be )|e ∈ E, Be ∈ Be }

∀e ∈ E, Ce ∈ T , pues e es homeomorsmo.

e−1 (e(X) \ Be ) = X \ Ce

Be abierto y cerrado ⇒ e(X) \ Be abierto y cerrado, en particular abierto

⇒ Ce cerrado ⇒ Ce familia de conjuntos abiertos y cerrados a la vez.

[
A ∈ T ⇒ e(A) abierto, e(A) = Bl
l∈L

19
 [ [ [
(e inyectiva) A = e−1 (e(A)) = e−1 ( Bl ) = e−1 (Bl ) = Ce , es decir,
l∈L l∈L l∈L
todo abierto de A se puede poner como unión de elementos de Ce ⇒ Ce es base
de (X, T ), Ce formado por abiertos y cerrados simultáneamente. 2

14. Propuesto al menos en Febrero de 2001, Ju-

nio de 2006 y Septiembre de 2007

14.1. Enunciado

Dado un espacio topológico T1 y II axioma de numerabilidad, probar que,

si tiene una base formada por conjuntos simultáneamente abiertos y cerrados,
entonces se puede sumergir topológicamente en el conjunto de Cantor.

14.2. Solución

Lema 1. Si (X, T ) es II axioma de numerabilidad y B es base de T , entonces

existe B∗ ⊂ B tal que B es base numerable de T .
∗

DEMOSTRACIÓN

(X, T ) es II axioma de numerabilidad ⇒ ∃A = {An }n∈N base numerable de

T.
[
∀n ∈ N, An = Bm , Bm ∈ B ∀m ∈ In
m∈In

(X, T ) es II axioma de numerabilidad

[ ⇒ (X, T ) es de Lindelöf ⇒ ∃Jn ⊂ In ,
con Jn numerable tal que An = Bm
m∈Jn

B∗ = {Bm ∈ B|m ∈ Jn , n ∈ N} ⊂ B

B∗ es base de T . B∗ es numerable por ser unión numerable de conjuntos

numerables.

X X
card(B )= ℵ0 = ℵ0 2
∗
card(Jn ) =
n∈N n∈N

Lema 2. Sea X espacio topológico, {hn }n∈N sucesión de funciones continuas

deX en (R, Tu ). Si existe una serie convergente de números reales no negativos
∞
X
rn = r tal que |hn (x)| ≤ rn ∀x ∈ X entonces la función
n=1

20
 ∞
X
h= hn : X −→ R
n=1
∞
X
x 7−→ h(x) = hn (x)
n=1

es continua. Además |h(x)| ≤ r ∀x ∈ X .

DEMOSTRACIÓN

∞ ∞
X X ε
Sea x0 ∈ X, ε > 0. rn es convergente ⇒ ∃n0 ∈ N : rn ≤ .
n=1 n=n0 +1
3

n0
X
hn es continua ⇒ ∃V x0 entorno de x0 en X:
n=1
n0 n0
X X ε
| hn (x) − hn (x0 )| < ∀x ∈ V x0 .
n=1 n=1
3

∞
X n0
X n0
X n0
X
∀x ∈ V x0 : |h(x)−h(x0 | ≤ | hn (x)− hn (x)|+| hn (x)− hn (x0 )|+
n=1 n=1 n=1 n=1
n0 ∞
X X ε ε ε
| hn (x0 ) − hn (x0 )| < + + =ε⇒h es continua en x0 . 2
n=1 n=1
3 3 3

Solución del problema planteado:

El conjunto de Cantor es

∞
X εn
C = {x|x = n
, εn ∈ {0, 2}∀n ∈ N} ⊂ [0, 1] ⊂ R y topológicamente se
n=1
3
considera con la topología usual de R (Tu ) heredada, (C, Tu |C ).

Llamo (X, T ) al espacio topológico del enunciado.

Sea A = {Ai }i∈I base de T formada por conjuntos abiertos y cerrados si-
multáneamente.

Por el lema 1 ∃B = {Bn }n∈N base numerable de T tal que B⊂A

(X, T ) es II axioma de numerabilidad ⇒ (X, T ) es I axioma de numerabili-

dad, es de Lindelöf y separable.

∀x ∈ X , sea A(x) = {Ai ∈ A|x ∈ Ai } ⊂ A

∀x ∈ X, A(x) es base de entornos de x formada por conjuntos abiertos y

cerrados simultáneamente, en particular cerrados.

∀x ∈ X , x tiene una base de entornos cerrados en (X, T ) ⇒ (X, T ) es regular.

21
 (X, T ) es regular y de Lindelöf ⇒ (X, T ) es paracompacto.

(X, T ) es T1 ⇒ (X, T ) es T0 . Por el teorema de metrización de Urysohn,

(X, T )T0 , regular y segundo axioma de numerabilidad ⇒ (X, T ) es metrizable.

(X, T ) es metrizable ⇒ (X, T ) es T4 .

∀n ∈ N deno fn : X −→R
2, si x ∈ Bn
x 7−→
0, si x 6∈ Bn

Bx = {Bn ∈ B|x ∈ Bn } es base numerable de entornos de x.

\
(X, T ) es T1 ⇒ ∀x ∈ X, {x} = Bn
Bn ∈Bx

Sean x1 , x2 ∈ X, , x1 6= x2 ⇒ Bx1 6= Bx2

\
{x1 } = Bn
Bn ∈Bx1

\
{x2 } = Bn
Bn ∈Bx2

x1 6= x2 ⇒ ∃Bn1 ∈ B : x1 ∈ Bn1 , x2 6∈ Bn1

\
f (x1 ) = f ( Bn )
Bn ∈Bx1

\
f (x2 ) = f ( Bn )
Bn ∈Bx2

Deno f : X −→ C ⊂ [0, 1] ⊂ R
∞ 
X xn 2, si x ∈ Bn
x 7−→ con xn =
3n 0, si x 6∈ Bn
n=1

Deno ∀n ∈ N, fn : X −→R
2, si x ∈ Bn
x 7−→
0, si x 6∈ Bn

∀n ∈ N fn es continua.

Deno hn : X −→ [0, 1]
fn (x)
x 7−→ hn (x) = 3n

2
|hn (x)| = hn (x) ≤ 3n = rn ∀x ∈ X

hn es continua.

22
 ∞ ∞
X X 2
r= rn = =1
n=1 n=1
3n

∞
X
f= hn es continua por el lema 2.
n=1


x1 , x2 ∈ X, , x1 6= x2
⇒ ∃V x1 entorno de x1 , , x2 6∈ V x1
(X, T ) T1

Bx1

base de entornos de x1
⇒ ∃Bn1 ∈ Bx1 , , x1 ∈ Bn1 ⊂ V x1 y x2 6∈
V x1 entorno de x1
∞
X x1n
V x1 ⇒ x2 6∈ Bn1 ⇒ x1n1 = 2 y x2n1 = 0 ⇒ f (x1 ) = 6= f (x2 ) =
n=1
3n
∞
X x2n
⇒f es inyectiva.
n=1
3n

Falta ver que f es abierta para tener inmersión topológica.

[
A∈T ⇒A= Bj , A es unión de abiertos de la base.
j∈J

2 2
x ∈ B1 ⇒ f (x) ≥ 31 = 3 ⇒ f (x) ∈ [ 23 , 1] ⊂ ( 32 − 1
2·3 , 1 + 1
2·3 ) ∩ f (X)

1
x 6∈ B1 ⇒ f (x) ≤ 3 ⇒ x ∈ [0, 31 ] ⇒ x 6∈ ( 23 − 1
2·3 , 1 + 1
2·3 )

f (B1 ) = ( 23 − 1
2·3 , 1 + 1
2·3 ) ∩ f (X) ⇒ f (B1 ) es abierto en (f (X), Tu |f (X) )

n−1 ∞
X εi 2 X εi
x ∈ Bn ⇒ f (x) = i
+ n+
i=1
3 3 i=1
3i

∞ ∞
X εi X 2 1
i
≤ i
= n
i=n+1
3 i=n+1
3 3

n−1 n−1
X εi 2 1 X εi 2 1
x ∈ Bn ⇒ f (x) ∈ Gn ≡ ∪{( + − , + n + n +
i=1
3i 3n 2 · 3n i=1 3i 3 3
1
), εi ∈ {0, 2}, i ∈ {1, . . . , n + 1}}
2 · 3n

x 6∈ Bn ⇒ f (x) 6∈ Gn . Gn es abierto por ser unión nita (de 2n−1 ) de

abiertos.

f (Bn ) = Gn ∩ f (X) ⇒ f (Bn ) es abierto en f (X).


Sea A∈T [ [ [
⇒ A = Bj ⇒ f (A) = f ( Bj ) = f (Bj ) ⇒ f (A)
B base
j∈J j∈J j∈J

23
es unión a lo más numerable de abiertos ⇒ f (A) es abierto ⇒ f es abierta
⇒ f −1 : f (X) ⊂ C −→ X es continua.

f aplicación continua, inyectiva y f −1 continua ⇒f inmersión 2

15. Propuesto al menos en Febrero de 2000, Fe-

brero de 2002 y Septiembre de 2006

15.1. Enunciado

Sea (X, T ) espacio topológico T2 . Probar que (X, T ) es regular si y sólo si

∀U recubrimiento abierto de (X, T ), ∀a ∈ X , existe Va renamiento abierto de
U, localmente nito en a.

15.2. Solución

[
U recubrimiento abierto de X ⇒ U = {Ui }i∈I , Ui ∈ T, ∀i ∈ I y Ui = X .
i∈I

[
Va renamiento abierto de U ⇒ Va = {Aj }j∈J , Aj ∈ T ∀j ∈ J, Aj =
j∈J
X, ∀Aj ∈ Va ∃Uj ∈ U : Aj ⊂ Uj

Va = {Aj }j∈J localmente nito en a ⇒ ∃E a entorno de a E a sólo corta a

los miembros de una subfamilia nita de Va

(X, T ) es regular ⇔ ∀x ∈ X, ∀C cerrado, x 6∈ C, ∃U, V ∈ T, , U ∩ V = ∅, , x ∈

U, C ⊂ V

T2 y regular ⇒ T3

(X, T ) regular ↔ ∀x ∈ X, ∀U ∈ T, , x ∈ U, ∃V ∈ T, x ∈ V ⊂ V ⊂ U

(X, T ) regular ↔ ∀x ∈ X tiene una base de entornos cerrados en (X, T ).

⇒)(X, T ) espacio topológico regular.

U = {Ui }i∈I recubrimiento abierto de (X, T ). a ∈ X ⇒ ∃i0 ∈ I : a ∈ Ui0 y

(X, T ) regular ⇒ ∃V a entorno abierto de a a ∈ V a ⊂ V a ⊂ Ui0

Deno Ai ≡ Ui \ V a = Ui ∩ (X \ V a ), ∀i ∈ I

Va cerrado ⇒X \Va abierto ⇒ Ai abierto

24
 Deno Va = {Ai }i∈I ∪ {Ui0 }

∀i ∈ I, Ui ⊂ Ai ∪ Ui0 ⇒ Va es recubrimiento de (X, T ).


∀i ∈ I, Ai ⊂ Ui
⇒ Va es renamiento abierto de U
Ui0 ⊂ Ui0

∀i ∈ I, V a ∩ Ai = ∅

Va es entorno abierto de a que sólo corta a Ui0 ⇒ Va es localmente nito en

a.

No es necesario que (X, T ) sea T2 , pues no se ha usado.

⇐)(X, T ) espacio topológico T2 . a ∈ X . C cerrado en (X, T ) tal que a 6∈ C .

C cerrado ⇒X \C es abierto.

(X, T ) es T2 ⇒ ∀y ∈ C∃E y entorno abierto de y , ∃Eya entorno abierto de a

E y ∩ Eya = ∅ → a 6∈ E y

Sea U = {X \ C} ∪ {E y |y ∈ C}

U es recubrimiento abierto de X ⇒ ∃Va = {Aj }j∈J renamiento abierto

de U localmente nito en a ⇒ ∃E a entorno abierto de a E a sólo corta a los
miembros de una subfamilia nita de Va , digamos F = {Af }f ∈F ⊂ Va , con
card(F ) nito.

Sea V ≡ ∪{Aj ∈ Va |Aj ∩ C 6= ∅} ⇒ C ⊂ V

V es abierto por ser unión de abiertos. a 6∈ V

Va es renamiento de U y F ⊂ Va ⇒ ∀f ∈ F, ∃y ∈ C : Af ⊂ E y ó Af ⊂
X \ C . Sea f : ∃y : Af ⊂ E y ⇒ ∃Eya , , Eya ∩ E y = ∅ ⇒ Eya ∩ Af = ∅

∀f ∈ F , deno F1 = {f ∈ F |∃yf ∈ C : Af ⊂ E yf }

F2 = F \ F1

F1 = {Af }f ∈F1

F2 = {Af }f ∈F2
\
Sea E1a ≡ ( Eyaf ) ∩ E a
f ∈F1

E1a es entorno abierto de a por ser intersección nita de entornos abiertos de

a.

25
 E1a no corta a ningún miembro de Va cuyo índice no esté en F porque
E1a ⊂ E a

∀f ∈ F1 , E1a ∩ Af = ∅ pues E1a ⊂ Eyaf y Eyaf ∩ Af = ∅ ⇒ E1a sólo corta a

miembros de Va con índice en F2

∀f ∈ F2 , Af ⊂ X \ C ⇒ Af ∩ C = ∅
[
Va es recubrimiento abierto de X ⇒ E1a ⊂ Af
f ∈F

[
E1a ⊂ Af
f ∈F2

Sea W = {Aj ∈ Va |Aj ∩ C 6= ∅}

[
V = Aj
Aj ∈W

∀f ∈ F2 , Af ⊂ X \ C ⇒ Af ∩ C = ∅ ⇒ Af 6∈ W ⇒ F2 ∩ W = ∅
 a 
 E1 ∩ V = ∅ 
[
∀Aj ∈ W ⇒ j 6∈ F2 ⇒ E1a ∩Aj = ∅ ⇒ E1a ∩( Aj ) = ∅ ⇒ a ∈ E1a ⇒
C⊂V
 
Aj ∈W
(X, T ) es regular 2

16. Propuesto al menos en Septiembre de 2000

16.1. Enunciado

Si un recubrimiento abierto U de un espacio topológico X tiene un rena-

miento cerrado localmente nito, probar que existe un entorno V de la diago-
nal 4 de X × X tal que {V [x]|x ∈ X} es un renamiento de U (se denota
V [x] = {y ∈ X|(x, y) ∈ V })

16.2. Solución

Sea A renamiento cerrado localmente nito de U. ∀A ∈ A, tómese UA ∈

U : A ⊂ UA .

VA = (UA × UA ) ∪ ((X \ A) × (X \ A))

VA es entorno abierto de 4.

26
 x ∈ A ⇒ VA [x] = UA .

V = ∩{VA |A ∈ A}

∀x, V [x] ⊂ VA [x] = UA ⇒ {V [x]|x ∈ X} es renamiento de U.

Falta probar que V es entorno de 4.

∀(x, x) ∈ 4, sea Wx entorno de x en X: W x corte sólo a un número nito

de miembros de A.

Si W x ∩ A = ∅ ⇒ W x ⊂ X \ A ⇒ W x × W x ⊂ VA ⇒ V contiene a la
x x
intersección de W × W con un número nito de conjuntos VA ⇒ V es entorno
de (x, x). 2

17. Propuesto al menos en Septiembre de 2003 y

Junio de 2006

17.1. Enunciado

Sea (X, T ) espacio topológico paracompacto y T2 . Si existe D subconjunto

denso tal que (D, T|D ) es de Lindelöf, probar que (X, T ) es de Lindelöf.

17.2. Solución


X es regular
X es paracompacto y T2 ⇒
X es T4

Sea U recubrimiento abierto de X.

X regular ⇒ ∀x ∈ X, ∃V x entorno abierto de x tal que Vx ⊂ en algún

elemento de U.

X paracompacto ⇒ ∃V renamiento abierto localmente nito del recubri-

miento abierto de X : {V x |x ∈ X}

D de Lindelöf ⇒ ∃V0 subfamilia numerable de V recubriendo a D. V0 ⊂ V

[
D⊂ V0
V 0 ∈V0

∀V 0 ∈ V0 , se elige U ∈U:V0 ⊂U

V0 ⊂V0 ⊂Vx ⊂Vx ⊂U

27
 Sea U0 la subfamilia numerable de U así obtenida.

[ [ [
X=D⊂ V0 = V0 ⊂ U ⇒X es de Lindelöf. 2
V 0 ∈V0 V 0 ∈V0 U ∈U0

18. Propuesto al menos en Febrero de 2001 y Sep-

tiembre de 2007

18.1. Enunciado

Dado un espacio topológico y una familia de subconjuntos suyos se dice que la

familia es discreta si para cada punto del espacio existe algún entorno que corta
a lo sumo un elemento de la familia. Si un espacio topológico es paracompacto
y regular, probar que para cada familia discreta {Fs }s∈S de cerrados existe una
familia discreta {Vs }s∈S de abiertos tal que Fs ⊂ Vs (∀s ∈ S).

18.2. Solución

Llamo (X, T ) al espacio topológico dado.

(X, T ) paracompacto y regular ⇒ (X, T ) es normal.

Llamo F = {Fs }s∈S del enunciado.

F es discreta ⇒ ∀x ∈ X∃Ax entorno de x tal que Ax corta a lo sumo a un

elemento de F.
◦
(X, T ) regular ⇒ ∀x ∈ X, Ax es entorno abierto de x, ∃H x abierto, x ∈
◦
x x x
H ⊂ Hx ⊂A ⊂ A

Ax

corta a lo sumo a un Fs
⇒ Hx corta a lo sumo a un Fs para cada
H x ⊂ Ax
x ∈ X.

H = {H x }x∈X es recubrimiento abierto de X.

Sea W renamiento abierto localmente nito de H que existe por ser (X, T )
paracompacto.

Deno Ws ≡ {W ∈ W|W ∩ Fs = ∅} ⊂ W

Ws ⊂ W

⇒ Ws localmente nita.
W localmente nita

28
 [
Deno Ws = W
W ∈Ws

[ [ [
Ws localmente nita ⇒ W = W cerrado ⇒ Ws = W ⇒
W ∈Ws W ∈Ws W ∈Ws
Ws es cerrado ⇒X\ Ws es abierto.

Deno Vs ≡ X \ Ws , ∀s ∈ S ⇒ Vs es abierto

[
∀W ∈ Ws , W ∩ Fs = ∅ por construcción ⇒ (Ws = W ) W s ∩ Fs = ∅ ⇒
W ∈Ws
Fs ⊂X \ Ws = Vs

Sea V = {Vs }s∈S .

W renamiento de H ⇒ ∀W ∈ W, ∃HW ∈ H : W ⊂ HW

HW es un Hx para algún x, por lo que corta a lo más a un conjunto de F,


W ⊂ HW ⇒ W ⊂ HW
⇒W corta a lo sumo a un Fs ∀W ∈ W.
HW corta a lo sumo a un Fs
 
W ∩ X \ Ws = ∅
i) Si W no corta a ningún Fs ⇒ W ∈ Ws ∀s ∈ S ⇒ W ⊂ Ws ⇒ ⇒
X \ W s = Vs
W ∩ Vs = ∅ y W ⊂ W ⇒ W ∩ Vs = ∅∀s ∈ S

ii) Si W corta a un elemento de F, digamos a Ft , t ∈ S , razonando como

antes para los otros índices de S : W ∩ Vs = ∅ si s 6= t ⇒ W corta a lo sumo a
Vt , es decir a un elemento de V.

W es recubrimiento abierto de X ⇒ ∀x ∈ X, ∃W ∈ W : x ∈ W ⇒ W es
entorno abierto de xyW V ⇒ V es discreta 2
corta a lo sumo a un elemento de

19. Propuesto al menos en Febrero de 2003 y Fe-

brero de 2007

19.1. Enunciado

Sea (X, T ) espacio paracompacto regular. Si {Fs }s∈S es una familia local-
mente nita de cerrados de (X, T ), probar que ∃{Vs }s∈S familia localmente
nita de abiertos de (X, T ) tal que Fs ⊂ Vs ∀s ∈ S .

29
19.2. Solución

(X, T ) paracompacto y regular ⇒ (X, T ) es normal.

Sea F = {Fs }s∈S la familia del enunciado.

F localmente nita ⇒ ∀x ∈ X∃U x entorrno de x en (X, T ) tal que Ux sólo

corta a una cantidad nita de miembros de F.
◦
(X, T ) regular ⇒ ∀x ∈ X, ∀ U x entorno abierto de x ∃H x abierto, x ∈ Hx ⊂
◦
H x ⊂U ⊂ U x
x

U x sólo corta F

a una cantidad nita de miembros de
⇒ Hx sólo corta
Hx ⊂ U x
a una cantidad nita de miembros de F.

Sea H = {H x }x∈X

H es recubrimiento abierto de X.

Sea W renamiento abierto localmente nito de H que existe por ser (X, T )
paracompacto.

W es recubrimiento abierto de X.

Deno Ws ≡ {W ∈ W|W ∩ Fs = ∅} ∀s ∈ S

Ws ⊂ W
 [ [
⇒ Ws localmente nita ⇒ W = W ⇒
W localmente nita
W ∈Ws W ∈Ws
[
W es cerrado
W ∈Ws

[
Deno Ws ≡ W. es decir Ws es cerrado ⇒ X \ Ws es abierto.
W ∈Ws

Deno V s ≡ X \ Ws ⇒ V s es abierto ∀s ∈ S
[ [
∀W ∈ Ws , W ∩ Fs = ∅ ⇒ Ws ∩ Fs = ( W ) ∩ Fs = (W ∩ Fs ) =
W ∈Ws W ∈Ws
∅ ⇒ Fs ⊂ X \ Ws = Vs ⇒ Fs ⊂ Vs

Deno V = {Vs }s∈S

W renamiento de H ⇒ ∀W ∈ W, ∃HW ∈ H : W ⊂ HW

HW = H x para algún x

W ⊂ HW ⇒ W ⊂ HW

30
 F

H x sólo corta a una cantidad nita de miembros de
⇒W sólo corta
W ⊂ HW = H x
a una cantidad nita de miembros de F, ∀W ∈ W.

Falta probar que V es localmente nita, es decir que ∀x ∈ X, ∃Ax entorno

de x que solamente corta a una cantidad nita de los Vs .
 
W ∩ (X \ Ws ) = ∅
Si W ∩ Fs = ∅, entonces W ∈ Ws y W ⊂ Ws ⇒ ⇒
V s = X \ Ws
W ∩ Vs = ∅

W ∩ Fs = ∅ ⇒ W ∩ V s = ∅
⇒W sólo corta a una
W sólo corta a una cantidad nita de Fs ∀W ∈ W
cantidad nita de Vs (los que tienen el mismo índice que un miembro de F al
que corta).

W ⊂W ⇒W sólo corta a una cantidad nita de Vs

W recubrimiento abierto de X ⇒ ∀x ∈ X∃W ∈ W : x ∈ W , es decir W es

entorno abierto de x y W sólo corta a una cantidad nita de miembros de V⇒
V localmente nita.

V es la familia buscada.

Si W ∩ Fs 6= ∅ como Fs ⊂ Vs ⇒ W ∩ Vs 6= ∅ 2

III) Problemas prácticos

20. Propuesto al menos en Febrero de 2001, Fe-

brero de 2003 y Septiembre de 2007

20.1. Enunciado

Sea s : N −→ Q una biyección. Estudiar la convergencia y puntos de aglo-

meración de la red s : N −→ R, donde se considera la topología usual.

20.2. Solución

(R, Tu ) es T2 ⇒ Toda red tiene a lo más un punto límite

(N, ≤) es conjunto dirigido

s ≡ (sn )n∈N

31
 s −→ x
x ∈ R, x ∈ lı́m s ó ⇔ ∀U x entorno de x ∃n0 ∈ N, , ∀n ≥ n0 , sn ∈
(R,Tu ) (R, Tu )
x
U

(sn )n≤n0 es una cantidad nita de elementos de Q, y en cualquier intervalo

abierto de R (aunque x no pertenezca al intervalo) hay innitos números racio-
nales por lo que hay elementos sn con n > n0 , por lo que ningún punto de Q (o
de R) es límite de s.

Lim s = ∅
(R, Tu )

Puntos de aglomeración: x es punto de aglomeración de s ⇔ ∀U x entorno

de x ∈ R, ∀n0 ∈ N, ∃n ≥ n0 , , sn ∈ U x

Como cualquier entorno Ux incluye un intervalo y en todo intervalo hay

innitos elementos de Q, ∀n0 , sn con n < n0 ⇒
sólo hay una cantidad nita de
Para una cantidad innita de miembros deQ∩U x , se corresponden con sn de n ≥
n0 ⇒ ∀x ∈ R, x es de aglomeración de s ⇒ puntos de aglomeración de s = R

21. Propuesto al menos en Septiembre de 2003

21.1. Enunciado

Sobre el intervalo [0, 1) consideramos la relación de orden natural y

j : [0, 1) ,→ R inclusión. Estudiar la convergencia y puntos de aglomeración de
la red j en (R, Tu ).

ϕ : R −→ S1
Análogo problema para la red
x 7−→ (cos 2πx, sin 2πx)

(donde R tiene el orden natural y S1 la topología usual)

21.2. Solución

([0, 1), ≤) conjunto dirigido

j ≡ (jd )d∈[0,1)

∀d ∈ [0, 1), jd = d ⇒ j ≡ (d)d∈[0,1)

(R, Tu ) es T2 , por lo que j a lo más tiene un punto límite.

32
 j −→ x
⇔ ∀U x entorno de x∃d0 ∈ [0, 1), , ∀d ≥ d0 (d ∈ [0, 1)) ⇒ jd ∈ U x
(R, Tu )

1 ∈ U1 entorno abierto de 1 en (R, Tu ) ⇒ ∃ε ∈ (0, 1), , (1 − ε, 1 + ε) ⊂ U 1

(1 − ε, 1 + ε) ∩ [0, 1) = (1 − ε, 1)

∀d > 1 − ε, por ejemplo d0 = 1 − 2ε , ∀d ≥ 1 − 2ε (es decir ∀d ∈ [1 −

ε 1 ∈ Lim j
2 , 1) ⊂ [0, 1)), jd = d ∈ (1 − ε, 1 + ε) ⊂ U 1 ⇒ y (R, Tu ) es T2 ⇒
(R, Tu )
Lim j −→ 1
j = {1} ,
(R, Tu ) (R, Tu )

x punto de aglomeración de j ⇔ ∀U x entorno de x, ∀d0 ∈ [0, 1), ∃d ≥

d0 , , jd ∈ U x

[0, 1) = [0, 1] ⇒ ∀x ∈ R\[0, 1]∃U x , , U x ∩[0, 1) = ∅ ⇒ x no es de aglomeración

de j.

Así los puntos de aglomeración de j están incluidos en [0, 1]. 1 es punto de

aglomeración de j por ser límite.

0 no es punto de aglomeración pues (− 31 , 13 ) es entorno de 0 y ∀d ≥ 12 , jd 6∈

(− 13 , 13 ).

Sea x ∈ (0, 1), ∃ε > 0, , (x − ε, x + ε) ⊂ [0, 1)

(x − ε, x + ε) es entorno de x, x + ε < 1

x+ε+1
∀d0 , , x + ε < d0 < 1 (por ejemplo 2 ), ∀d ≥ d0 , d ∈ [0, 1), jd 6∈ (x − ε, x +
ε) ⇒ x no es de aglomeración de j .

Luego x punto de aglomeración de j en (R, Tu ) ⇔ x = 1

Se estudia ahora la red ϕ.

(R, ≤) conjunto dirigido

ϕ ≡ (ϕx )x∈R

ϕ : R −→ (S1 , Tu )
x 7−→ (cos 2πx, sin 2πx)

ϕ es periódica de periodo 1 : ϕ(x + 1) = ϕ(x)

El conjunto (S1 , Tu ) es T2 luego ϕ tiene a lo sumo un punto límite:

33
 ϕ −→ x
⇔ ∀U x entorno de x, ∃d0 ∈ R, , ∀d ≥ d0 , ϕd ∈ U x
(S1 , Tu )

∀d0 ∈ R, {ϕd }d≥d0 = S1 por ser periódica ϕ.

∀x ∈ S1 , ∃U x entorno de x U x ( S1 ⇒6 ∃d0 , , ∀d ≥ d0 , ϕd ∈ U x ⇒
x 6∈ Limϕ Lim ϕ = ∅
⇒
(S1 , Tu ) (S1 , Tu )

∀x ∈ S1 , ∀U x entorno de x, ∀d0 ∈ R, ∃d ≥ d0 , , ϕd = x ∈ U x ⇒ x es de
1 1 1
aglomeración de S ⇒ puntos de aglomeración de ϕ en (S , Tu ) = S

22. Propuesto al menos en Febrero de 2000, Fe-

brero de 2002 y Septiembre de 2006

22.1. Enunciado

Sea X = {m ∈ N|m ≥ 2} con la topología generada por los conjuntos

Un = {m ∈ X|m divide a n}∀n ≥ 2. Estudiar las propiedades de separación de
este espacio.

22.2. Solución

X = N \ {1}.

Llamo T a la topología. ∀n ∈ X, Un ∈ T

∀n ∈ X, Un son los divisores de n

Un1 ∩ Un2 = Umcd(n1 ,n2 )


⇒ B es base de T.(Un1 , Un2 ∈ B ⇒ Un1 ∩Un2 ∈
B = {Un |n ∈ X}
B). Si mcd(n1 , n2 )= 1 ⇒ Un1 ∩ Un2 = ∅, por lo que no hay problemas.

Si p es primo, Up = {p}

p primo ⇒ {p} es abierto

∀n ∈ X, n ∈ Un ⇒ Un es entorno abierto de n(∀n ∈ X)

Sean x, y ∈ X, , x 6= y ; sea z =mcd(x, y ). Si z = 1 ⇒ Ux ∩ Uy = ∅

m ∈ Un ⇒ m ≤ n

34
 x, y ∈ X, x 6= y ⇒ x > y ó y > x ⇒ x 6∈ Uy ó y 6∈ Ux ⇒ (X, T ) es T0

m ∈ Un ⇒ n es múltiplo de m ⇒ Um ⊂ Un ⇒ el entorno más pequeño que

m es Um y todo entorno de m contiene
contiene a a Um

Sea n ∈ X , entonces 2n ∈ X, 2n 6= n, n ∈ Un ⊂ U2n ⇒ Todo entorno de 2n

contiene a n ⇒ (X, T ) no es T1

X \ U2n es cerrado

Si (X, T ) fuera regular: T0 +regular ⇒ T1 pero no es T1 ⇒ (X, T ) no es regular ⇒

(X, T ) no es completamente regular

No es paracompacto: B es recubrimiento abierto, y no hay renamiento

abierto suyo localmente nito por ejemplo en 2.

card(Un )< n<∞

Quiero ver si (X, T ) es normal.

B es base numerable de T ⇒ (X, T ) cumple el segundo axioma de numera-

bilidad ⇒ (X, T ) es I axioma de numerabilidad, de Lindelöf y separable.

Por el teorema de metrización de Urysohn, (X, T ) es T0 ⇒ [ regular y II

axioma ⇔ metrizable y separable ].

En nuestro caso como (X, T ) es T0 , II axioma de numerabilidad y separable,

queda [ metrizable ⇔ regular ], y como no es regular, (X, T ) no es metrizable.

∀p primo, Up = {p} abierto de B

∀n ∈ X, n tiene al menos un factor primo ⇒ ∃p|Up ⊂ Un .

P = {p ∈ X|p es primo}

Todo abierto de B contiene al menos un primo ⇒ ∀A ∈ T (si A 6= ∅),

∃p ∈ P, , p ∈ A ⇒ ∀A ∈ T, P ∩ A 6= ∅ ⇒ P = X

P es numerable y denso en X.

T|P : ∀p ∈ P, {p} ∈ T ⇒ {p} ∈ T|P ⇒ T|P es TD la topología discreta:

(P, T|P ) = (P, TD ).P ∈ T ⇒ X \ P es cerrado

X \ P = {n ∈ N|n ≥ 4 y n es compuesto (no es primo)} es cerrado

Sea n ∈ X. Quiero hallar {n}

{n} es cerrado, es decir es complementario de un abierto.

Sea s un múltiplo de n ⇒ n ∈ Us ⇒ ∀U s entorno de s, n ∈ U s ⇒ {n} ∩ U s 6=

35
∅ y s ∈ Us y s ∈ X \ {n} ⇒ U s ∩ (X \ {n}) 6= ∅ ⇒ s ∈ frontera({n}) ⇒ s ∈ {n}

∀A ∈ T, , s ∈ A ⇒ n ∈ A ⇒ n ∈ {n} ∩ A 6= ∅

Si s no es múltiplo de n⇒n no es divisor de s ⇒ n 6∈ Us

Us es entorno abierto de s, , {n} ∩ Us = ∅ ⇒ s 6∈ frontera({n}) y s 6∈ {n} ⇒

s 6∈ {n}

∀n ∈ X, {n} = {m ∈ X|m es múltiplo de n}

Sea A ⊂ X, A = {m ∈ X|∃n ∈ A, , m es múltiplo de n}

[
A = {xj }j∈J ⇒ A = {xj }j∈J = {xj }, pues si s no es múltiplo de ningún
j∈J

Us ∩ A = ∅
elemento de A⇒ ⇒ s 6∈ A
Us entorno de s

Si C es cerrado (C 6= ∅) ⇒ C es numerable

C cerrado, C 6= ∅ ⇒ ∀c ∈ C, {c} = { múltiplos de c} ⊂ C

C 6= ∅, C cerrado ⇔ [∀c ∈ C, ∀s, , c|s ⇒ s ∈ C]

C cerrado, c ∈ C : quiero A ∈ T, , C ⊂ A. ∀n ∈ X, c · n ∈ C ⊂ A, ∀U c·n

abierto de c · n, Uc·n ∈ B y Uc·n ⊂ U
c·n
entorno

c·n ∈ A abierto ⇒ ∃U c·n entorno abierto de c · n, , Uc·n ⊂ U c·n ⊂ A ⇒

Uc·n ⊂ A

n ∈ Uc·n
⇒ n ∈ A(∀n ∈ X) ⇒ A = X . Es decir, el único abierto que
Uc·n ⊂ A
incluye a un cerrado 6= ∅ es el total.

Si C1 , C2 cerrados no vacíos ⇒ ∃c1 ∈ C1 , ∃c2 ∈ C2 ⇒ c1 · c2 ∈ C1 ∩ C2 ⇒

C1 ∩ C2 6= ∅ ⇒ (X, T ) es normal trivialmente pues no hay cerrados disjuntos no
vacíos.

36
23. Propuesto al menos en Febrero de 2001, Fe-
brero de 2003, Septiembre de 2005 y Septiem-
bre de 2007

23.1. Enunciado

Sea el espacio producto de la recta real con su topología usual y {0, 1} con la
topología trivial. Estudiar si este espacio es Ti (i = 0, 1, 2, 3, 4) regular, normal
y paracompacto.

23.2. Solución

(X, T ) = (R, Tu ) × ({0, 1}, {∅, {0, 1}})

Llamo TT a la topología trivial de {0, 1}

({0, 1}, TT ) es compacto por ser nito

(R, Tu ) es metrizable ⇒ (R, Tu ) es paracompacto

(X, T ) es paracompacto por ser producto de paracompacto por compacto.

Un conjunto es abierto en (X, T ) ⇔ es producto de abierto de R por abierto

de ({0, 1}, TT ).

Si el abierto de {0, 1} es ∅, entonces tenemos ∅ del producto.

Así el único abierto que puedo elegir es el total {0, 1}.

∅=
6 A ∈ T ⇔ A = AR × {0, 1} con AR ∈ Tu . Deno D ≡ {0, 1}

Los entornos abiertos de (x, y) son U x × {0, 1} con x ∈ U x ∈ Tu

U10 × D {p, q} ⊂ U10 × D

 
p = (0, 0) ∈ X. Un entorno abierto es
⇒
q = (0, 1) ∈ X. Un entorno abierto es U20 × D {p, q} ⊂ U20 × D

U p entorno abierto de p ⇔ U p entorno abierto de q


⇒ (X, T ) no es T0
U q entorno abierto de q ⇔ U q entorno abierto de p
⇒ (X, T ) no es T0 , T1 , T2 , T3 , T3a , ni T4 .

Los cerrados en (D, TT ) son ∅ y D

(D, TT ) es regular, pues cualquier conjunto con la topología trivial lo es

(debido a que sólo hay un abierto no vacío).

37
 (R, Tu ) es regular

Un producto es regular ⇔ cada factor es regular

En nuestro caso cada factor es regular ⇒ (X, T ) es regular.

(X, T ) paracompacto y regular ⇒ (X, T ) es normal.

Un producto es completamente regular ⇔ cada factor lo es.

(R, Tu ) es metrizable ⇒ (R, Tu ) es T4 ⇒ (R, Tu ) es T3a ⇒ (R, Tu ) es com-

pletamente regular.

(D, TT ) es trivialmente completamente regular, pues los únicos cerrados son

∅ yD y todo punto pertenece al total y en la condición se pide que el cerrado
sea 6= ∅, así que no queda cerrado para construir la función, no hay función que
construir.

Factores completamente regulares ⇒ (X, T ) es completamente regular.

24. Propuesto al menos en Junio de 2006

24.1. Enunciado

Sea el espacio topológico (N, T ) donde T = {S ⊂ N|2n − 1 ∈ S ⇒ 2n ∈

S}. Estudiar las propiedades de separación de este espacio y determinar si es
paracompacto.

24.2. Solución

n ∈ N.T = {S ⊂ N|2n − 1 ∈ S(n ∈ N) ⇒ 2n ∈ S}

En los abiertos, si hay un impar, está su sucesor (única restricción).

Sea p par ⇒ {p} es abierto ⇒ {p} entorno abierto de p

∀x ∈ N, x 6= p, x 6∈ {p} y {p} es entorno abierto de p

Sea i impar ⇒ {i, i + 1} abierto; {i} no es abierto


A∈T
⇒ {i, i + 1} ⊂ A
i∈A

B = {{p}|p es par } ∪ {{i, i + 1}|i impar}

38
 B es base de T.

Es T0 .

No es T1 : No hay ningún entorno de i que no contenga i+1

No es T1 ⇒ no es T1 , T2 , T3 , T3a , T4

T0 y regular ⇒ T1

No es T1 ⇒ no es regular ⇒ (N, T ) no es completamente regular

{i} es cerrado

Cualquier conjunto cuyos elementos son todos impares es cerrado.

C es cerrado en (N, T ) ⇔ [p par ∈ C ⇒ p − 1 ∈ C]


C cerrado
⇒p−1∈C
p par ∈ C

{p − 1, p} es cerrado

i impar ⇒ {i} cerrado pues N \ {i} ∈ T

∀i impar, {i, i + 1} es abierto y cerrado ⇒ unión arbitraria de conjuntos así

es abierto y cerrado

{p − 1, p} menor cerrado que contiene a p

C1 , C2 cerrados disjuntos no vacíos.

C cerrado C 6= ∅, el menor abierto A, , C ⊂ A es:


i∈C
⇒i+1∈A
i + 1 6∈ C

A = C ∪ {i + 1|i ∈ C y i + 1 6∈ C}

Así ∀C cerrado se construye este abierto.

C1 , C2 cerrados disjuntos no vacíos. Creo A1 , A2 así. Añado i + 1 en A1 ⇒

i ∈ C1 ⇒ i 6∈ C2 ⇒ i + 1 6∈ C2 ⇒ no añado i + 1 en A2 pues i 6∈ C2

Simétricamente, por el mismo razonamiento, si añado i+1 en A2 ⇒ i+1 6∈ C1

y no añado i+1
A1 . En total:
en


C1 ⊂ A1 ∈ T 
C2 ⊂ A2 ∈ T ⇒ (X, T ) es normal
A1 ∩ A2 = ∅


39
 Los entornos más pequeños de un punto son: {p} y {i, i + 1}

V = {{i, i + 1}}i impar es recubrimiento abierto de N. Es localmente nito:

Si p es par, {p − 1, p} ∈ V es entorno abierto de p que sólo corta a ese

elemento de V

Si i es impar, {i, i + 1} ∈ V es entorno abierto de i que sólo corta a ese

elemento de V

Los elementos de V son disjuntos 2 a 2: V1 , V2 ∈ V, V1 6= V2 ⇒ V1 ∩ V2 = ∅.

∀U recubrimiento abierto de N, V es renamiento abierto localmente nito

de U.

Solamente falta ver que V es renamiento, o sea, ∀V ∈ V, ∃UV ∈ U : V ⊂ UV

V ∈ V ⇒ V = {i, i + 1} ⊂ Uj0 ∈ U

U = {Uj }j∈J es recubrimiento abierto de N ⇒ ∃j0 , , i ∈ Uj0 ∈ U ⊂ T ⇒

{i, i + 1} ⊂ Uj0 ⇒ (N, T ) es paracompacto.

25. Propuesto al menos en Septiembre de 2000

25.1. Enunciado

Sea X un conjunto innito y p ∈ X . Se dene en X la topología

T = {U ⊂ X|X \ U nito ó X \ U 3 p}. Estudiar las propiedades de separación
de (X, T ). En el caso particular de ser X numerable, determinar si (X, T ) es
metrizable.

25.2. Solución

A∈T ⇔A es complementario de nito ó p 6∈ A

∀x ∈ X, , x 6= p, {x} ∈ T

Si p∈A∈T ⇒A es complementario de nito

Si x, y son 2 puntos distintos de X y ninguno de ellos es p, {x}, {y} son dos

abiertos disjuntos

Si uno es p, digamos puntos p y x(x 6= p), {x} es entorno abierto de x y

p 6∈ {x} ⇒ (X, T ) es T0

40
 Para ver si es T1 si ninguno de los dos puntos es p no hay problemas.

Sea x ∈ X, , x 6= p, p 6∈ {x} y {x} es entorno abierto de x

X \ {x} es abierto pues su complementario es {x} que es nito.


p ∈ X \ {x} ∈ T
⇒ (X, T ) es T1
x 6∈ X \ {x}

Para ver si es T2 , igualmente si ninguno de los puntos es p, {x} e {y} son

entornos abiertos (disjuntos) de x e y respectivamente.

Si uno es p x cualquiera (x 6= p): {x}

y el otro y X \ {x} entornos abiertos
de x y p disjuntos ⇒ (X, T ) es T2

Si p∈C⇒C es cerrado pues p 6∈ X \ C ⇒ X \ C abierto

card(C ) nito ⇒C cerrado pues X \C es complementario de nito ⇒ X \C

abierto

Juntando ambos: C cerrado en (X, T ) ⇔ p ∈ C ó card(C ) es nito

A abierto ⇔A es complementario de nito ó p 6∈ A

Para ver si (X, T ) es regular:


card(C) es nito
Si el punto es p, p 6∈ C ⇒
C es abierto


p ∈ X \ C abierto 

C abierto y cerrado

⇒ Luego si el punto es p, para cualquier cerrado
X \C ∩C =∅ 

C ⊂ C abierto

cumpliría las condiciones de regularidad.

Si el punto es x, , x 6= p y p∈C

card(X )= ∞ ⇒ dos conjuntos complementarios de conjunto nito no pueden

ser disjuntos

A complementario de nito (X \A nito), A∩B = ∅ ⇒ B ⊂ X \A y X \A

es nito ⇒ card(B ) es nito

Quiero A abierto con p∈C⊂A⇒A es complementario de nito.

Quiero un abierto B, , x ∈ B y A∩B = ∅ ⇒ B nito, p 6∈ B . {x} es abierto.

Resumiendo: x 6= p, x ∈ {x} ∈ T ; x 6∈ C; p ∈ C, X \ {x} ∈ T, C ⊂ X \ {x} y

{x} ∩ (X \ {x}) = ∅

41
 Se cumple en este caso el ser regular.

Caso x 6= p, p 6∈ C, x 6∈ C ⇒ card(C ) es nito, x ∈ {x} ∈ T

C ⊂ X \ {x} ∈ T

{x} ∩ X \ {x} = ∅

Por todos los casos, (X, T ) es regular

(X, T ) regular+T1 ⇒ (X, T ) es T3

Se estudia ahora si (X, T ) es normal.

Sean C1 , C2 cerrados disjuntos no vacíos p 6∈ C1 y p 6∈ C2 ⇒ card(C1 ) es

nito y card(C2 ) es nito.

Dado que p no pertenece a cada cerrado, ambos son abiertos y cerrados a la

vez, por lo que se cumplen las condiciones de normalidad:

C1 ⊂ C1 ∈ T

C2 ⊂ C2 ∈ T

C1 ∩ C2 = ∅

Falta el caso de que p pertenezca a uno de los cerrados, digamos p ∈ C1 , p 6∈

C2 ⇒ card(C2 ) es nito y C2 ∈ T.C1 ∩ C2 = ∅

C1 ⊂ X \ C2

X \ C2 es complementario de nito ⇒ X \ C2 ∈ T

Juntando lo que tenemos:


C2 ⊂ C2 ∈ T 
C1 ⊂ X \ C2 ∈ T ⇒ también se cumple el ser normal en este caso.
C2 ∩ X \ C2 = ∅


(X, T ) es normal.

(X, T ) es normal y T1 ⇒ (X, T ) es T4

Supongamos ahora que X sea numerable.

X numerable ⇒X es denso en X

X denso numerable en X⇒X es separable.

Por teorema de metrización de Urysohn: (X, T )T0 , regular, separable ⇒

42
[(X, T ) metrizable ⇔ (X, T ) II axioma de numerabilidad ]

X numerable ⇒X es de Lindelöf.

Sea U recubrimiento abierto de X ⇒ U recubre a p ⇒ ∃Up ∈ U, , p ∈ Up ∈

T ⇒ Up es complementario de nito. Cojo un abierto por cada punto de X \ Up ,
que es una cantidad nita, por lo que tengo una cantidad nita, añado Up ,
y tengo un subrecubrimiento nito, una familia nita de miembros de U que
siguen recubriendo a X ⇒ (X, T ) es compacto aun en el caso general, sea X
numerable o innito no numerable ⇒ (X, T ) es paracompacto.

Hay tantos conjuntos complementarios de nitos como conjuntos nitos (se

hace una biyección que a cada conjunto nito le asigna su complementario) y
card(PF (numerable)) es numerable. Así hay una cantidad numerable de sub-
conjuntos complementarios de nito en X si X es numerable.

Sea B = {A ⊂ X|A es complementario de nito} ∪ {{x}|x ∈ X y x 6= p}

B es numerable por ser unión de dos conjuntos numerables.

Todos los elementos de B son abiertos de T.

∀A ∈ T, A es la unión a lo más numerable de elementos de B: si A es

complementario de nito, ya pertenece a B. Si p 6∈ A, A es unión de elementos
de cardinal 1 de B.

La intersección nita de miembros de B es ∅ o está en B

B es numerable y base de T ⇒ (X, T ) cumple el II axioma de numerabilidad.

Por el teorema de metrización de Urysohn, (X, T ) es T0 , regular y II axioma

de numerabilidad ⇒ (X, T ) es metrizable y separable, en particular metrizable.

Si X es numerable (X, T ) es metrizable.

26. Propuesto al menos en Febrero de 2007

26.1. Enunciado

SeanX conjunto, w 6∈ X . F ltro en X . X 0 = X ∪ {w}. Si

B = {{x}|x ∈ X} ∪ {M ∪ {w}|M ∈ F}, probar que B0 es base para alguna
0

topología TF en X (topología asociada a F ). Si T es una topología sobre X

0 0
0
más na que TF entonces, probar, que T es la topología discreta ó ∃F ltro en
X , más no que F tal que T es la topología asociada a F0 .

43
26.2. Solución

A)B es base
0

B0 = {Bj }j∈J

[Una condición necesaria para que B0 sea base de una topología es X0 es que

Bj = X 0
Bj ∈B0

[ [
∀x ∈ X, {x} ∈ B0 ⇒ X =

{x} ⊂ Bj 
x∈X Bj ∈B0 ⇒
F ltro en X ⇒ ∃M ⊂ X, , M ∈ F ⇒ M ∪ {w} ∈ B0 ⇒ w ∈
S
Bj

S Bj ∈B0
X ∪ {w} ⊂ Bj ∈B0 Bj

Sea Bj0 ∈ B0 .Bj0 puede ser de dos tipos:

Si Bj0 = {x0 }, con x0 ∈ X ⇒ Bj 0 ⊂ X ⊂ X 0

Si Bj0 = M0 ∪ {w}, con M0 ∈ F ⇒ M0 ⊂ X ⇒ M0 U {w} ⊂ X ∪ {w} = X 0

[
En ambos casos, Bj0 ⊂ X 0 . Es decir, ∀Bj ∈ B, Bj ⊂ X 0 ⇒ Bj ⊂ X 0
Bj ∈B0

[
De ambas inclusiones, efectivamente Bj = X 0
Bj ∈B0

La otra condición necesaria para que B0 sea base de una topología en X0 es

que:

∀A1 , A2 ∈ B0 , , A1 ∩ A2 6= ∅

Deno A3 ≡ A1 ∩ A2

∀t ∈ A3 , ∃A4 ∈ B0 , , t ∈ A4 ⊂ A3

Llamo B01 = {{x}|x ∈ X}; B02 = {M ∪ {w}|M ∈ F}

Así B0 = B01 ∪ B02 .

Se estudiará por casos:

i)A1 , A2 ∈ B01 . Si A1 ∩ A2 6= ∅ ⇒ A1 = A2 = A3 = {x0 } = A4

ii)A1 ∈ B01 y A2 ∈ B02 ó )A1 ∈ B02 y A2 ∈ B01 . Es el mismo caso. Se supondrá

A1 ∈ B01 y A2 ∈ B02 . Si A1 ∩ A2 6= ∅ ⇒ A1 ⊂ A2 ⇒ A3 = A1 = A4

44
 
A1 = M1 ∪ {w}
iii)A1 , A2 ∈ B02 ⇒ con M1 , M2 ∈ F ltro ⇒ M1 ∩ M2 ∈
A2 = M2 ∪ {w}
F ⇒ (M1 ∩ M2 ) ∪ {w} ∈ B0

A1 ∩ A2 = [M1 ∪ {w}] ∩ [M2 ∪ {w}] = {w} ∪ [M1 ∩ M2 ] ∈ B0

Se cumple la condición siendo A4 = A3 = {w} ∪ [M1 ∩ M2 ].

De las dos condiciones B0 es base de una topología en X 0.

B)Cuando T = TD

T más na que TF ⇔ TF ⊂ T

Si{w} ∈ T , como ∀x ∈ X, {x} ∈ B0 ⊂ TF ⊂ T ⇒ {x} ∈ T ⇒ ∀t ∈ X 0 , {t} ∈

T ⇒ T es la topología discreta.

C)Cuando T = TF0

{w} 6∈ T . Sea A ∈ T. Si w 6∈ A ⇒ A ⊂ X ⇒ A ∈ TF

Deno B001 = B01 ; B002 = {A ∈ T |w ∈ A}

B02 ⊂ B002

Deno F0 = {M ⊂ X|M ∪ {w} ∈ T }.

TF0 = topología engendrada pr B00

B00 = B01 ∪ {M ∪ {w}|M ∈ F}

D)Veamos que F0 es ltro en X

{w} 6∈ T ⇒ ∀A ∈ T, , w ∈ A, A \ {w} =
6 ∅

B02 ⊂ B002 ⇒ B002 es familia no vacía

 
F1 ∪ {w} ∈ T
Sean F1 , F2 ∈ F0 ⇒ ⇒ [F1 ∪ {w}] ∩ [F2 ∪ {w}] = (F1 ∩
F2 ∪ {w} ∈ T
F2 ) ∪ {w} ∈ T ⇒ (F1 ∩ F2 ) ∪ {w} ∈ T ⇒ F1 ∩ F2 ∈ F0

Sea F ∈ F0 , ∀H ⊂ X, , F ⊂ H ⇒ H ∈ TF ⊂ T y F ∪ {w} ∈ T ⇒ H ∪ (F ∪
{w}) = H ∪ {w} ∈ T ⇒ H ∈ F0

Así se cumplen las dos condiciones necesrias para que F0 sea ltro en X.

E) F0 más no que F

∀M ∈ F ⇒ M ∪ {w} ∈ TF ⊂ T ⇒ M ∈ F0 ⇒ F ⊂ F0 ⇔ F0 más no que F.

45
 F) Veamos que T = TF0

Ya vimos que para todo ltro (como F ó F0 ) en X, B0 ó B00 es base de una

topología TF0 .

A ∈ TF0
A⊂X⇒
A∈T

Sea A ∈ T, , w ∈ A ⇒ A \ {w} ∈ F0 ⇒ (A \ {w}) ∪ {w} = A ∈ B00 ⊂ TF0

Sea A ∈ TF0 , , w ∈ A ⇒ ∃F ∈ F0 , , A = (F ∪ {w}) ∪ (A \ (F ∪ {w})) con

A \ (F ∪ {w}) ⊂ X

F ∈ F0

⇒ A \ {w} ∈ F0 ⇒ A = (A \ {w}) ∪ {w} ∈ T
F ⊂ A \ {w} ⊂ X

De ambas con P(X) ⊂ T ∩ TF0 , se tiene T = TF0 2

46