SUBBASES

Podemos simplificar todavía más el conjunto de abiertos que de alguna forma

genera una topología. En este tema presentaremos las subbases como la
unidad de información más reducida capaz de determinar de manera única una
topología.

Definición: Sea X e.t y U una familia de abiertos. Diremos que ᵹ es subbase

de X si la familia B(ᵹ) := {ꓵ\ {Si | i ∈ I} | I conjunto finito y Si ∈ ᵹ } es una base
de abiertos para X (se admite por convenio que la intersección de la familia
vacía es X).

Definición Alternativa: Algunas veces se da una definición levemente

diferente de subbase, la cual requiere que la subbase B recubra a X. En este
caso, X es un conjunto abierto en la topología generada porque es la unión de
todos los {Bi} mientras Bi varia sobre B. Esto significa que no pueden existir
confusiones referentes al uso de la intersección no vacía, en la definición.
Sin embargo, con esta definición, las dos definiciones anteriores, no siempre
son equivalentes. En otras palabras, existen espacios X con topología T, tales
que existe una subcolección B de T, tal que T es la topología más pequeña que
contiene a B, donde B no cubre a X todavía. En la práctica, es una rara
ocurrencia; una subbase de un espacio que satisface el T 1 debe ser una
cobertura de este espacio.
Observaciones:

1. Por la propiedad de topologías, si {Si}i∈I es una familia finita de abiertos,

entonces ꓵ {Si}i∈I es también abierto, por lo tanto si ᵹ es una familia de
abiertos, B(ᵹ) es también una familia de abiertos.

2. Para I = ∅ se tiene que X ∈ B(ᵹ).

3. Para #I = 1 se tiene que β ⊂ B(ᵹ) (es decir, los abiertos de una subbase son
elementos de la base que generan).

Ejemplo:
La topología usual en los números reales R tiene una subbase formada por
todos los intervalos abiertos semi-infinitos bien sea de la forma (−∞,a) o (b,∞)
donde a y b son números reales. Juntos generan la topología usual desde las
intersecciones (a,b) =(-∞,b)ꓵ(a,∞) para a < b genera la topología usual. Una
segunda subbase se forma tomando la subfamilia donde a y b son racionales.
La segunda subbase genera la topología usual también, desde los intervalos
abiertos (a,b) con a, b racionales, son una base para la topología usual
Euclidiana.
 BASES
Definición:
Una base β de un espacio topológico X con topología T, es una colección de
abiertos de T que verifica que todo abierto de la topología T puede expresarse
como unión de los elementos de B.
Definición alternativa:
Decimos que β es base de la topología T sólo si para todo punto p contenido en
un abierto U existe un elemento B ∈ β: p ∈ B C U.

Decimos que la base genera la topología T y a los elementos de B les

llamamos abiertos básicos. Las bases son de gran utilidad, pues muchas
propiedades de las topologías pueden reducirse a afirmaciones sobre una base
que genere dicha topología.
Una familia arbitraria de subconjuntos no formará a priori una base de ninguna
topología, para hacerlo deberá reunir una serie de requisitos.
Existe un modo alternativo de generar una topología a partir de una familia
arbitraria de subconjuntos, usando intersecciones finitas además de las
uniones arbitrarias. En ese caso, la familia de subconjuntos recibe el nombre
de subbase.
Una familia β no vacía de subconjuntos de X formará la base de alguna
topología si se cumple:
1. U{ B: B ∈ β} = X.
2. La intersección B ꓵ B’ es unión de elementos de β.