Conjunto cerrado
De Wikipedia, la enciclopedia libre
En topología y ramas relacionadas de las matemáticas, un conjunto cerrado es un conjunto cuyo complemento es abierto. Esto implica que un conjunto cerrado contiene su propio límite. Intuitivamente, si se es exterior al conjunto, y se "menea" un poco, será todavía exterior el conjunto. Observe que esta noción 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.
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.
