Ya hemos visto qué es una topología y dos topologías básicas sobre cualquier conjunto; pero antes de pararnos a ver más ejemplos de espacios topológicos vamos a ver dos formas alternativas (aunque hay más) de caracterizar a las topologías: los cerrados y las bases.
Cerrados.
El concepto de cerrado es tan simple como el de abierto. Si los abiertos son los elementos de $\tau$, los cerrados son los complementarios de los abiertos. Es decir
Si $\mathcal{O} \in \tau$, entonces $\mathbb{X} \backslash \mathcal{O} \in \mathcal{F}$
, donde $\mathcal{F}$ representa al conjunto de todos los cerrados del espacio topológico. Sin embargo, esta forma de definir los cerrados junto con las propiedades del álgebra de conjuntos, permite caracterizar al espacio topológico por sus cerrados.
Si $\mathcal{F}$ verifica que
1-. $\emptyset$ y $\mathbb{X} \in \mathcal{F}$
2-. $\bigcap_{I} F_{i} \in \mathcal{F}$ para cualquier intersección de elementos de $\mathcal{F}$.
3-. $F_1 \bigcup F_2 \in \mathcal{F}$ para cuales quiera elementos de $\mathcal{F}$.
, entonces ($\mathbb{X}$, $\mathcal{F}$) conforma el mismo espacio topológico que ($\mathbb{X}$, $\tau$).
Hay resultados inmediatos como que en $\tau_{T}$ y en $\tau_{D}$ todos los elementos son simultáneamente abiertos y cerrados o como que $\emptyset$ y $\mathbb{X}$ son siempre abiertos y cerrados.
Hay resultados inmediatos como que en $\tau_{T}$ y en $\tau_{D}$ todos los elementos son simultáneamente abiertos y cerrados o como que $\emptyset$ y $\mathbb{X}$ son siempre abiertos y cerrados.
Bases de abiertos.
Un subconjunto $\beta \subset \tau$ se dice que es una base de $\tau$ si todo abierto se puede expresar como unión de elementos de $\beta$; es decir,
$\forall \mathcal{O} \in \tau \text{, } \exists I \text{ tal que } \mathcal{O} = \bigcup_{I} \mathcal{B}_{i}$
La idea de base puede resultar tentadora para quienes hayan trabajado con los espacios vectoriales; sin embargo, hay que tener cuidado. Una base topológica no implica unicidad a la hora de expresar los abiertos como unión de elementos de la base; de hecho $\mathbb{X}$ en la topología discreta se puede expresar de muchas formas, entre ellas, como unión de elementos disjuntos y como unión de todos los abiertos.
Un resultado muy simple de las bases es que la propia topología es base de ella misma o que dada una base se puede obtener otra añadiéndole nuevos abiertos; es decir, si $\beta$ es base de $\tau$ y $\mathcal{O} \in \tau$, entonces $\beta^{'} = \beta \cup \mathcal{O}$ es otra base.
Más adelante nos centraremos en dar ejemplos de lo que se lleva visto.
Más adelante nos centraremos en dar ejemplos de lo que se lleva visto.
%2B17.42.38.png)
%2B17.51.15.png)
%2B19.09.47.png)
%2B19.10.07.png)
%2B19.10.35.png)
%2B19.10.53.png)
%2B11.33.48.png)