Compacidad

Los conjuntos compactos son un tipo de conjunto mucho más difíciles de definir. Un espacio
es compacto si para todo recubrimiento por abiertos (familia de abiertos cuya unión contiene al
espacio total X) existe subrecubrimiento finito (familia finita de abiertos, formada sólo por
conjuntos de la familia anterior, cuya unión contiene a X).
En un espacio métrico, un conjunto es compacto si cumple dos condiciones: es "cerrado", es
decir contiene a todos sus puntos frontera; y es "acotado", es decir es posible trazar una bola
que lo contenga. La compacidad es una propiedad muy importante en topología, así como en
Geometría y en Análisis Matemático.
En cualquier espacio topológico, un conjunto cerrado dentro de un compacto, siempre es
compacto. Además, en un espacio topológico de Hausdorff, un compacto siempre es cerrado.

Metrización
Una topología sobre un conjunto es metrizable si es posible encontrar una distancia de forma
que los abiertos para esa distancia sean exactamente los abiertos de la topología de partida.
La metrizabilidad es también una propiedad muy deseable en un espacio topológico, pues nos
permite dar una caracterización muy sencilla de los abiertos de la topología, además de
implicar otras ciertas propiedades.

Separación
Las propiedades de separación son ciertas propiedades, cada una un grado más restrictiva
que la anterior, que nos indican la "resolución" o "finura del grano" de una topología. Por
ejemplo, la propiedad de separación T2 significa que para dos puntos distintos siempre
pueden encontrarse entornos disjuntos (es decir que no se cortan).

Densidad
Un conjunto es denso en el espacio si está "cerca de todos los puntos" de ese espacio. De
manera más precisa, un conjunto es denso si su clausura topológica es todo el espacio.
Equivalentemente, un conjunto es denso si su intersección con cualquier abierto no vacío del
espacio es también no vacía. Un conjunto se dice que es separable si tiene algún subconjunto
denso y numerable.

Topología producto y topología cociente

La topología producto nos proporciona una manera de dotar de una topología al producto
cartesiano de varios espacios topológicos, de tal manera que se conserven buenas
propiedades, en particular que las proyecciones sobre cada factor sean aplicaciones continuas
y abiertas. La topología cociente nos proporciona una manera de dotar de una topología al
cociente (espacio de clases) de un espacio por una relación de equivalencia, de manera que
tenga el mayor número posible de conjuntos abiertos y sin embargo la proyección sea
continua (es decir la imagen recíproca de cada abierto sea un abierto).