## [Conjunto Cerrado](/es/node/63077) 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.