Topologı́a General - 2020-2 Preparación Parcial 1

David Saavedra

1. Sean N = {0, 1, 2, ...} y ω ∈

/ N; considere al conjunto X = N × N ∪ {ω} con la topologı́a de Arens-
Fort. Es este espacio ¿2-contable? ¿1-contable? ¿Lindeloff? ¿Son todos los abiertos aberrados?
Solución:
¿1-contable?: No, dado que no existe una base enumerable en el punto ω. Las vecindades abiertas
del origen contienen un número finito de puntos en cada una de las columnas menos en un número
finito de columnas en las que contienen infinitos puntos. Como ω ∈ X − {ω} (por la forma como
están definidos los abiertos), entonces deberı́a existir una sucesión {an }n∈N ⊆ A = X − {ω} tal que
an → ω. Si {an }n∈N contiene puntos en al menos un número finito de columnas no puede converger
a ω. Si {an }n∈N contiene puntos en un número infinito de columnas, entonces podemos considerar
una subsucesión {bn }n∈N con al menos un punto en cada columna. Pero entonces X − {bn }n∈N es
vecindad de ω. Luego ninguna sucesión puede converger a ω, i. e., el espacio no es 1-contable.
¿2-contable?: No, como todo espacio 2-contable es 1-contable y este espacio no es 1-contable,
entonces tampoco es 2-contable.
¿Lindeloff?: Sı́, como X es contable, entonces el espacio es de Lindeloff.
¿Son todos los abiertos aberrados?: No, primero notemos que para cada punto (n, m) ∈ N × N ∪ {ω}
con (n, m) 6= ω se tiene que {(n, m)} es abierto, pues ω ∈ / {(n, m)} (y de hecho todos los singletons
también son cerrados). Si consideramos al conjunto N × N vemos que podemos expresarlo como la
unión infinita de singletons, es decir, conjuntos abiertos, por tanto N × N es abierto. Y tenemos
que su complemento es (N × N)c = {ω}, ası́ {ω} es el único singleton cerrado (pues ω ∈ {ω}), pero
para que N × N sea aberrado, se deberı́a tener que {ω} también es abierto, pero por definición en
la topologı́a de Arens-Fort no lo es, pues ω ∈ {ω}. Por tanto no todo abierto es aberrado.

2. Muestre que en un espacio métrico (X, d) los conceptos de 2-contable y ω-compacto son equiva-
lentes.
Solución:
(⇒) : (2-contable implica ω-compacto): Sea (X, d) un espacio métrico tal que posee una base con-
table, entonces cada cubrimiento abierto de X se puede reducir a uno enumerable: Sea B una base
contable y A = {Ai }i∈I un cubrimiento abierto de X. Si se elije algún elemento An ∈ A tal que
para un Bn ∈ B se tenga que Bn ⊆ An . Y si llamamos a A0 a la colección de conjuntos An , entonces
este conjunto es enumerable, por la forma como lo hemos construido. Ahora debemos probar que
cubre a todo X. Sea x ∈ X, si se toma un elemento Ak ∈ A tal que x ∈ Ak , y por ser Ak abierto,
existe cierto elemento de la base tal que x ∈ Bk ⊆ Ak . Como Bk ⊆ Ak entonces el ı́ndice de Bk
es de la forma que pertenence a I, ası́ que Ak está definida de la misma forma que el resto de de
conjuntos Ai de A0 , luego Ak ∈ A0 , i. e., A0 es una reducción enumerable de A.
(⇐) : (ω-compacto implica 2-contable): Sea (X, d) un espacio métrico tal que todo cubrimiento
abierto de X se puede reducir a uno enumerable, entonces posee una base contable: Si (X, d)
es un espacio métrico, podemos considerar a todos sus cubrimientos por abiertos de la forma
Cx = {B(x, 1/n) : x ∈ X} y siendo B(x, 1/n) bolas abiertas de radio 1/n con n ∈ N y cen-
tradas en cada punto x. Como (X, d) es ω-compacto, S entonces cada cubrimiento Cx puede ser
reducido a uno enumerable, por tanto si consideramos a x∈X Cx , entonces esta unión es una base
enumerable para la topologı́a del espacio (X, d) inducida por la métrica de d, i. e., (X, d) es un
espacio 2-contable.

1
3. ¿En T op(X) la V topologı́a Tcof i de los cofinitos es el inf de la colección de topologı́as T que son
T1 , i. e., Tcof i = {T : T es T1 }?
Solución:
Sı́, primero veamos que Tcof i es en efecto un espacio T1 (de Fréchet); sean z, y ∈ X con z 6= y, ası́
X − {z} ∈ Tcof i pues su complemento es el singleton z (y es un abierto que no contiene a z), y
también X − {y} ∈ Tcof i es otro abierto que no contiene a y, luego Tcof i es un espacio T1 .
Ahora para probar el enunciado, sea (X, Tcof i ) y considere cualquier U ∈ Tcof i , es natural que G =
U c ⊆ X. Si tomamos otra T 0 ∈ T op(X) tal que T 0 es T1 , y por ser T1 , entonces cualquier singleton
{x} es cerrado, luego todo conjunto finito puede ser visto como la unión de finitos singletons, S y por
tanto es cerrado. Como G es complemento de U en Tcof i , entonces G es finito y luego G = x∈G {x},
ası́ G también es cerrado en T 0 por ser la unión de finitos conjuntos cerrados. Además, se tiene que
U = Gc , por lo que U también es abierto en T 0 , esto quiere decir que para cualquier abierto U ∈ Tcof i
0 0
V
entonces U ∈ T . Y esto equivale a que Tcof i ⊆ T , ası́ queda probado que Tcof i = {T : T es T1 }.

4. Muestre que si un espacio (X, T ) es 2-contable y T2 entonces #(X) ≤ #(R).

Solución:
Sea (X, T ) un espacio 2-contable y T2 , por ser 2-contable entonces posee al menos una base enumer-
able B para la topologı́a T , esto es #(B) = #(N), si U ∈ T , entonces si se toman conjuntos de la
forma BU = {V ∈ B : V ⊆ U }, tenemos que U = U 0 si y sólo si BU = BU 0 (dos conjuntos abiertos son
el mismo si todos sus respectivos subconjuntos en la base coinciden, naturalmente). Ası́ hemos con-
struido una inyección de T en ℘(B), y como #(B) = #(N), entonces #(T ) ≤ #(℘(B)) = #(℘(N))
(y #(℘(N)) = #(R)), i. e., #(T ) ≤ #(R). Luego se tiene que por ser un espacio T2 (de Hausdorff)
para cualquier par de puntos dados x, y ∈ X entonces existen las vecindades Vx , Vy con Vx ∩ Vy = ∅,
lo que quiere decir que existen al menos Ux , Uy ∈ T por cada par de puntos x, y, esto significa que
el espacio tiene igual o mayor número de conjuntos abiertos por cada punto, i. e., #(X) ≤ #(T ).
Ası́ es natural que #(X) ≤ #(R).

5. ¿En F il(X) el Fcof i de los cofinitos es el inf de la colección de ultrafiltros U que son libres?
Solución:
Verdadero, es equivalente a ver que todo ultrafiltro es libre si y sólo si contiene a Fcof i , filtro de los
cofinitos.
(⇒) : Si un ultrafiltro es libre entonces contiene a Fcof i : Sea F un ultrafiltro libre en X y sea
x ∈ X un elemento cualquiera. Como F es un ultrafiltro, entonces {x} ∈ F ó X − {x} ∈ F
y como F es libre, entonces {x} ∈ / F. Ası́ se tiene que X T − {x} ∈ F para todo x ∈ X. Si
A ⊆ X es un subconjunto finito de X, entonces X − A = x∈A (X − {x}) es una intersección
finita de elementos de F, por lo que X − A ∈ F. Como el filtro de los cofinitos Fcof i de X es
Fcof i = {X − F : F ⊆ X y F es finito} entonces Fcof i ⊆ F.
(⇐) : Si un ultrafiltro contiene a Fcof i entonces es libre: Suponga que F es un ultrafiltro que
contiene a Fcof i y no es libre, entonces existe algún x ∈ X tal que {x} ∈ F, por ser un ultrafiltro.
Luego X − {x} es un elemento de Fcof i que no está en F, por lo que Fcof i no está contenido en F,
contradicción. V
Ası́, se tiene que Fcof i = {F ∈ U : F es libre}

6. ¿La topologı́a inducida por una topologı́a de orden en un subconjunto, coincide con la topologı́a
del orden inducido en tal subconjunto?
Solución:
No, sea X un conjunto, un orden ≤ y un subconjunto S ⊆ X, ası́ si ≤ induce una topologı́a en X,
llámese esta como T , se pregunta si la topologı́a que induce ≤ en S es la misma que induce T en

2
S como subespacio de X.
Falso: Tome a R2 con ≤ el orden lexicográfico y a I 2 = I × I = [0, 1] × [0, 1] ⊆ R2 . Tenemos que
T induce la topologı́a de orden del orden lexicográfico T≤ de forma independiente sobre I 2 y R2 .
El abierto de un subespacio puede ser expresado como la intersección entre un abierto del espacio
y el subespacio. Si tomamos al conjunto ((0, −1), (0, 2)) = {(0, y) ∈ R2 : −1 < y < 2}, sabemos
que ((0, −1), (0, 2)) ∈ T≤ para R2 . Si ahora pensamos en la intersección ((0, −1), (0, 2)) ∩ I 2 =
{(0, y) ∈ R2 : 0 ≤ y ≤ 1}, deberı́amos tener que también es un abierto por la topologı́a inducida
del espacio R2 sobre el subespacio I 2 . Pero no lo es, no hay manera de construir abiertos de I 2 con
la topologı́a inducida para llegar a ((0, −1), (0, 2)) ∩ I 2 (falla en los puntos extremos (0, 0) y (0, 1),
luego ((0, −1), (0, 2)) ∩ I 2 ∈
/ T≤ para I 2 , ası́ las topologı́as no coinciden. Un abierto de una de ellas
no lo es en la otra.

7. Considere al conjunto X = {1, 2} × N con la topologı́a asociada al orden lexicográfico. ¿Es este
espacio discreto? ¿2-contable? ¿1-contable? ¿Lindeloff?
Solución:
¿Es este espacio discreto?: No. Por la topologı́a del orden lexicográfico, casi todos los unitarios
son elementos de la topologı́a (y por tanto abiertos). Sin embargo, al considerar (2, 1) tenemos que
{(2, 1)} ∈ / T≤ , pues todo abierto alrededor de (2, 1) necesariamente debe contener algún otro punto
de la forma (1, m) con m ∈ N.
¿2-contable?: Sı́. Considere a la colección de conjuntos B(n,m) = {((x1 , y1 ), (x2 , y2 )) : (n, m) ∈
((x1 , y1 ), (x2 , y2 ))}, ası́ por la forma como fue construido el espacio, entonces (n, m) ∈ B(n,m) .
Hemos construido una familia de subconjuntos de X tal que contiene a cada punto del espacio y,
que por S construcción, es contable. Falta demostrar que es una base:
1. X = {B(n,m) : B(n,m) ∈ B}: Como hemos definido una colección de conjuntos S B(n,m) para cada
punto (n, m) del espacio y como X es contable, al hacer la unión enumerable {B(n,m) : B(n,m) ∈ B}
entonces el todo el espacio X equivale a esta unión.
2. Dados cualesquiera U, V ∈ T y x ∈ U ∩ V , existe B ∈ B con x ∈ B ⊆ U ∩ V :
Sean x = (n0 , m0 ) y sean U, V ∈ T (es decir, abiertos usuales en el espacio), con la propiedad que
x ∈ U ∩ V , como U ∩ V es la intersección finita de abiertos, entonces también es abierto. Además
si escribimos a tal conjunto como A(n0 ,m0 ) = {((x1 , y1 ), (x2 , y2 )) : (n, m) ∈ ((x1 , y1 ), (x2 , y2 )) ∧
((x1 , y1 ), (x2 , y2 )) ⊆ U ∧ ((x1 , y1 ), (x2 , y2 )) ⊆ V }, entonces es obvio que x ∈ A(n0 ,m0 ) ⊆ U ∩ V y
A(n0 ,m0 ) ∈ B. Ası́ el espacio es 2-contable.
¿1-contable?: Sı́. Como este espacio es 2-contable y todo espacio 2-contable es 1-contable entonces
es un espacio 1-contable.
¿Lindeloff?: Sı́. Como X es contable, entonces el espacio es de Lindeloff.

8. En R2 definimos Bx = {(x, y) : y ∈ R}.

a) ¿La familia B = {Bx }x es base para una topologı́a?
b) ¿Cómo es la topologı́a inducida para los subconjuntos R × {0} y {0} × R?
c) ¿Cómo es la topologı́a inducida sobre S 1 ?
Solución:
a) Sı́, en efecto es base para una topologı́a en R2 , la topologı́a del espacio (R2 , verticales).
Para mostrarlo debe verse que B satisface:
I. Dado (a, b) ∈ R2 , tenemos que Ba = {(a, y) : y ∈ R} es un abierto de la base que lo contiene,
luego todo el plano R2 puede ser recubierto por B.
II. Sean Bx , By ∈ B con a ∈ Bx ∩ By , por tanto a = (x, r1 ) = (y, r2 ), por lo que x = y y por tanto
Bx = By , y ası́ ambos son elementos de la base que contienen a a, es decir a ∈ Bx ∩ By ∈ B.
b) Debemos simplemente pensar en los siguientes espacios, ambos subespacios de (R2 , verticales):

3
(R × {0}, verticales): Este espacio corresponde al subespacio de la recta y = 0 en R2 y con la
topologı́a verticales, sus elementos son singletons de la forma {(x, 0)}, con x ∈ R, esto es por que
para cada punto de la recta no hay ningún otro punto geométricamente por encima o debajo de
estos. Por lo que su topologı́a inducida es la topologı́a discreta.
({0} × R, verticales): Este espacio corresponde al subespacio de la recta x = 0 en R2 y con la
topologı́a verticales, el conjunto {(0, y) : y ∈ R} es su único abierto, es decir, la recta misma. Por
lo que su topologı́a inducida es la topologı́a indiscreta.
c) Como S 1 = {(x, y) ∈ R2 : x2 + y 2 = 1}, entonces la topologı́a inducida sobre S 1 corresponde
a los subconjuntos de S 1 que se pueden expresar como elementos de la topologı́a verticales. En
este caso simplemente corresponden a singletons sobre la circunferencia que no tengan a otros
singletons por encima o debajo de ellos (que son realmente sólo dos: {(−1, 0)} y {(1, 0)}) y a las
parejas
√ √
de singletons
√ √
que están
√
uno por √
encima
√
(o debajo) del otro, por ejemplo: {(0, 1), (0, −1)},
2 2 2 2 3 3 3 1
{( 2 , 2 ), ( 2 , − 2 )}, {( 2 , 2 ), ( 2 , − 2 )}, {( 2 , 2 ), ( 32 , − 21 )}, etc., todos elementos de topologı́a
1 1

inducida sobre S 1 .

9. Muestre que todo espacio topológico que sea 2-contable es entonces 1-contable.
Solución:
Sea (X, T ) un espacio topológico 2-contable, por tanto posee al menos una base contable. Sabemos
que X ∈ T es un conjunto abierto y por tanto es vecindad de todos sus puntos. Como X tiene
una base contable, entonces cada uno de sus puntos posee una base contable (ella misma), luego es
1-contable.

10. ¿Existe un espacio topológico que sea 1-contable y que no sea 2-contable?
Solución:
Verdadero, considere a R con la topologı́a [a, b) (recta de Sorgenfrey). Primero deberemos probar
que (R, TSorgenf rey ) es 1-contable:
Considere a Bx = {[x, x + n1 ) : n ∈ N − {0}}, debe probarse que 1. Bx es contable y 2. Bx es una
base local para x:
1. Bx es contable por la forma como fue construido, pues toma valores de un subconjunto de los
números naturales.
2. Por la definición de base local se debe mostrar que para todo Ux ∈ TSorgenf rey tal que x ∈ Ux
entonces existe Bx ∈ Bx tal que x ∈ Bx ⊆ Ux . Si se toma un U ∈ TSorgenf rey debe existir algún
[x, x + ε) ⊆ Ux para algún ε > 0. Luego por el principio arquimediano para los números reales
tenemos que para cada ε > 0 existe algún nε ∈ N tal que n1ε < ε, luego [x, x + n1ε ) ⊆ [x, x + ε) ⊆ Ux
y ası́ Bx es una base local para x.
Como la elección de x fue arbitraria, entonces se tiene que cualquier elemento de (R, TSorgenf rey )
posee una base local contable, i. e., (R, TSorgenf rey ) es 1-contable.
Ahora debemos ver que (R, TSorgenf rey ) no es 2-contable:
Suponga que existe una base contable B para TSorgenf rey , la cual por definición quiere decir que para
todo Ux ∈ TSorgenf rey tal que x ∈ Ux entonces existe Bx ∈ Bx tal que x ∈ Bx ⊆ Ux . Entonces para
todo x ∈ X = R al elegir U = [x, x + ε) ∈ T con ε > 0. Ası́ para todo x ∈ R se tiene que existe
Bx ∈ Bx con x ∈ Bx ⊆ [x, x + ε) y por construcción se tiene S que |Bx | = |N|, luego al considerar una
base local distinta en x para cada x ∈ R, entonces si B = x∈R Bx , la cual es obviamente una base
para todo el espacio, necesariamente ocurre que |B| = |R|.
Ası́ hemos mostrado que (R, TSorgenf rey ) no es 2-contable.

11. ¿Existe algún espacio topológico que sea Lindeloff y que no sea 2-contable?
Solución:

4
Verdadero, (R, TSorgenf rey ), la recta de Sorgenfrey no es 2-contable, como ya lo mostramos antes.
Falta ver que en efecto (R, TSorgenf rey ) es de Lindeloff:
Sea un cubrimiento A formado por conjuntos abiertos básicos de TSorgenf rey , es decir, de la forma
[a, b). Si consideramos ahora a conjuntos abiertos bássicos (a, b) ∈ R, tenemos que estos abiertos
son elementos de la topologı́a usual Ru en R, a pesar que es obvio que los abiertos en la topologı́a
de recta de Sorgenfrey no pueden estar contenidos en conjuntos ası́, pues [a, b) * (a, b), pero como
Ru es 2-contable, se puede encontrar un subcubrimiento contable de intervalos de la forma (a, b), y
para llegar a abiertos en TSorgenf rey lo que son intervalos de la forma [a, b), basta añadir singletons
{a} y por construcción, los puntos que harı́an falta en este caso son enumerables. Por lo que sı́ es
posible reducir cada cubrimiento abierto en (R, TSorgenf rey ) a uno enumerable, i. e., el espacio es de
Lindeloff.