En topología y ramas relacionadas de las matemáticas, un conjunto cerrado) ? Q) ? 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.

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 secuencias y redes. Un subconjunto A de un espacio topológico X es cerrado en X si y sólo si cada límite de cada red de elementos de A también pertenece a A. 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. Un valor de esta caracterización es que puede ser utilizado 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.

Cualquier intersección de conjuntos cerrados es cerrada, y cualquier unión finita de conjuntos cerrados es cerrada. En particular, el conjunto vacío y el espacio entero son cerrados. 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 que uno defina la clausura de un conjunto A en un espacio X que se define como el subconjunto cerrado más pequeño de X que es un sobreconjunto de A. Específicamente, la clausura de A puede ser construida como la intersección de todos esos sobreconjuntos cerrados.

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.

Una variedad se llama cerrada si no tiene borde y es compacta. Esto es una noción algo diversa de la discutida más arriba.

Este artículo está licenciado sobre GNU Free Documentation License. Es una adaptación de Wikipedia "Conjunto cerrado".