Topologı́a General 1◦ Tarea opcional 2021-2

Juan Pablo Fonseca Sánchez

Problema: ¿Bajo qué condiciones los cerrados de una topologı́a me forman una topologı́a?

1. Condición trivial: Sea T una topologı́a. Por definición, un subconjunto del espacio A ⊂ X se
dice abierto si A ∈ T . Y un conjunto se B se dice cerrado si B ∈/ T (o si A es abierto y Ac ∈
/ T ).
Si ahora proponemos que los conjuntos que originalmente eran cerrados pertenezcan a la misma
topologı́a, es decir, con la condición: Si A ∈ T , entonces Ac ∈ T . En efecto los cerrados de la
topologı́a formaran ella misma.

Ejemplo: Sea X un conjunto cualquiera y sea T = P(X). Es trivial que satisface todos los axiomas
para ser una topologı́a (∅ y X están en T , la unión infinita de elementos de T están en T , ası́ como
su intersección finita de elementos). La topologı́a que forman estos cerrados es ella misma. Todos
los conjuntos del espacio (X, T ) son cerrados y abiertos.

2. Condición no tan trivial: Sea T una topologı́a y suponga que en general, Ac ∈ / T . Si

c
consideramos a la colección de subconjuntos de la forma A , con A ∈ T . Se necesitarı́a que esta
colección de subconjuntos satifacieran los axiomas de ser una topologı́a. Tal y como fue enunciado
anteriormente.

Ejemplo: Sea X = R y sea T = T[a,b) (Topologı́a del lı́mite inferior, que da lugar con este espacio
a la recta de Sorgenfrey). Naturalmente, T[a,b) es una topologı́a (a continuación se mostrará de
forma análoga que la topologı́a de lı́mite superior lo es). ¿Pero qué pasa con los subconjunto de
la forma (a, b]? Ya que al fin y al cabo, son subconjuntos de R. Primero que todo, veamos que
(a, b] es cerrado. Notemos que [a, b] es abierto, (pues [a, b] = [a, b) ∪ {b}), también {b}, (pues
{b} = [a, b] ∩ [b, b + 1)) y (a, b), (pues x ∈ [x, b) ⊂ (a, b) para todo x ∈ (a, b)). Ası́, al considerar
su complemento (a, b]c = (−∞, a) ∪ {a} ∪ (b, ∞), notamos que (a, b]c es abierto (es composición de
distintos abiertos en la topologı́a). Por tanto (a, b] es cerrado.

Si ahora consideramos a una colección de subconjuntos de R, formada por conjuntos de la forma

(a, b]. ¿Será esta una topologı́a? La respuesta es sı́. Ahora veremos que en efecto satisface los
axiomas:

I. De forma análoga a como se hizo antes, los conjuntos de la forma (a, b) son abiertos. Luego
(−∞, ∞) es decir, R = X es abierto. Además conjuntos de la forma (a, b) también son cerrados.
Nuevamente, basándose en lo anterior, (a, b)c = (−∞, a] ∪ [b, ∞) = (−∞, a) ∪ {a} ∪ {b} ∪ (b, ∞). (Y
por lo anterior, los singletons también son abiertos en esta colección). Luego conjuntos de la forma
(a, b)c son abiertos también, ası́ (a, b) (y en particular R) es cerrado. Luego Rc = ∅ es abierto.

II. Sea una colección de conjuntos abiertos básicos de la topologı́a (es decir, conjuntos de la forma
(a, b]). Si se hace una unión infinita de estos
S conjuntos, se tiene que en caso de ser disyuntos, se
llega a un conjunto A de la forma A = i∈I (ai , bi ], el cual serı́a abierto (pues cada uno de sus
subconjuntos disyuntos pueden ser expresados como conjuntos básicos de la topologı́a). En caso de
tener dos (o más) subconjuntos no disyuntos, se tendrı́an casos de la forma (a, b] ∪ (c, d] =S(e, f ] con
e = mı́n{a, b} y f = máx{b, d}. Luego A serı́a nuevamente una unión de la forma A = i∈J (ei , fi ]
con J ≤ I. Entonces el conjunto es abierto.

1
III. Dada una colección finita de conjuntos abiertos básicos de la topologı́a. Su intersección finita
A estará dada en términos de subconjuntos de la forma (a, b], (a, b), {b} y ∅. Que ya se mostraron
son abiertos y luego su intersección también lo es.

Luego la colección de subconjuntos de R de la forma (a, b] es una topologı́a. De hecho, es la topologı́a

del lı́mite superior, T(a,b] .