Definición
Un subconjunto C de un espacio topológico (X, τ) cuyo complemento X \ C es un conjunto abierto; equivalentemente, un conjunto que contiene todos sus puntos límite o que es igual a su clausura.
Principio
Principio
Los conjuntos cerrados están cerrados bajo intersecciones arbitrarias y uniones finitas; el conjunto vacío y el espacio total son cerrados. La clausura, los límites y la adherencia se expresan naturalmente mediante conjuntos cerrados.
Demostración
Demostración
En la recta real, el intervalo cerrado [0,1] es cerrado porque su complemento es la unión de dos rayos abiertos; toda sucesión convergente en [0,1] tiene su límite en [0,1].
Aplicación incorrecta
Aplicación incorrecta
Asumir que un conjunto es cerrado porque es acotado (confundir clausura topológica con acotamiento métrico) o afirmar que los complementos son abiertos sin comprobar la topología; tales errores distorsionan argumentos sobre convergencia y compacidad.
Consecuencia
Consecuencia
La cerradura es el marco natural para la convergencia, la compacidad y la continuidad desde la perspectiva del codominio (las aplicaciones continuas suelen llevar cerrados a cerrados) y organiza las operaciones de completado y clausura.
Inversión
Inversión
La visión dual es la apertura; trabajar sólo con abiertos en lugar de cerrados desplaza el énfasis hacia vecindades e interiores en lugar de límites y adherencia.
Límite
Límite
La condición de ser cerrado depende de la topología elegida; los cerrados no tienen por qué ser complementos de ninguna propiedad algebraica o medida. Ser cerrado no implica compacidad ni finitud salvo que existan hipótesis adicionales.
Tensión semántica
Tensión semántica
Existe tensión entre cerrados y abiertos (un conjunto puede ser ambos o ninguno) y entre descripciones basadas en clausura y en interior; los cerrados también compiten conceptualmente con conjuntos medibles o densos en contextos analíticos.
Síntesis
Síntesis
Un conjunto cerrado es el complemento de un abierto o, equivalentemente, igual a su clausura; captura el comportamiento límite y ofrece el lenguaje natural para convergencia, compacidad y adherencia en topología.