Conjunto cerrado
En topología, un conjunto cerrado es el complemento de uno abierto.
Una propiedad importante de los conjuntos cerrados es que toda sucesión convergente definida en un conjunto cerrado converge a un valor del conjunto.
Definición
Más formalmente, dado un espacio topológico (X,T), F es un conjunto cerrado en X si y sólo si X\F es un elemento de la topología T, por tanto, es abierto.
La noción de conjunto cerrado se define arriba en términos de conjuntos abiertos, un concepto que tiene sentido para los espacios topológicos, así como para otros espacios que lleven estructuras topológicas, tales como espacios métricos, variedades diferenciables, espacios uniformes, y espacios de gauge.
Una caracterización alternativa de conjuntos cerrados es posible vía sucesiones y redes. Un subconjunto F de un espacio topológico (X,T) es cerrado en X cuando y solo cuando cada límite de cada red de elementos de A también pertenece a F. En un espacio que satisface el primer axioma de numerabilidad (tal como un espacio métrico), es suficiente considerar solamente las secuencias, en vez de todas las redes. Una importancia de esta caracterización es que puede ser utilizada como definición en el contexto de los espacios de convergencia, que son más generales que los espacios topológicos. Nótese que esta caracterización también depende del espacio ambiente X porque el que una secuencia o una red converja o no en X depende de qué puntos están presentes en X.
Un manera equivalente de definir a un conjunto cerrado es diciendo que "un conjunto es cerrado si y sólo si es igual a su clausura topológica", que es el conjunto cerrado más pequeño que contiene a un conjunto. Hay un comportamiento dual entre los abiertos y los cerrados de una topología T: la unión de una cantidad de abiertos de T es es abierto, tiene su dual: la intersección de una cantidad cualquiera de cerrados es cerrado.
Ejemplos
La noción de cerrado depende del concepto de "exterior", el espacio circundante con respecto al cual se toma el complemento. Por ejemplo, el intervalo unidad [0, 1] es cerrado en los números reales, y el conjunto [0, 1] ∩ Q números racionales entre 0 y 1 (inclusivo) es cerrado en el espacio de los números racionales, pero [0, 1] ∩ Q no es cerrado en los números reales. Algunos conjuntos no son ni abiertos ni cerrados, por ejemplo el intervalo semi-abierto [0, 1) en los números reales.
Propiedades
Cualquier intersección de conjuntos cerrados es cerrada, y cualquier unión finita de conjuntos cerrados es cerrada. Además, el conjunto vacío y el espacio entero X son cerrados en X. De hecho, dado un conjunto X y una colección F de subconjuntos de X que tiene estas propiedades, entonces F será la colección de los conjuntos cerrados para una topología única sobre X.
La propiedad de la intersección también permite construir la clausura de un conjunto A en un espacio X como la intersección de todos los conjuntos cerrados que contien a A. Es el subconjunto cerrado más pequeño de X que es un sobreconjunto de A.
Hemos visto varias veces que el que un conjunto sea cerrado es relativo; depende del espacio en que está sumergido. Sin embargo, los espacios compactos de Hausdorff son "absolutamente cerrados" en cierto sentido. Para ser exacto, si se sumerge un espacio compacto de Hausdorff K en un espacio arbitrario de Hausdorff X entonces K será siempre un subconjunto cerrado de X el "espacio circundante" no importa aquí. De hecho, esta propiedad caracteriza los espacios compactos de Hausdorff. La compactificación de Stone-Čech, un proceso que convierte a un espacio totalmente regular de Hausdorff en un espacio compacto de Hausdorff, se puede describir como adjuntar al espacio límites de ciertas redes nonconvergentes.