## [Operador de Clausura](/es/node/62150) Definición Un operador de clausura en un conjunto X es una aplicación cl: P(X) → P(X) que asigna a cada subconjunto A su clausura cl(A) y satisface tres axiomas: extensividad (A ⊆ cl(A)), monotonicidad (A ⊆ B ⇒ cl(A) ⊆ cl(B)) e idempotencia (cl(cl(A)) = cl(A)). En topología cl(A) es el menor supraconjunto cerrado de A. ## Principio Principio Los operadores de clausura formalizan el proceso de añadir puntos límite o adherentes a un conjunto hasta que no aparecen puntos nuevos: la extensividad garantiza que el conjunto se conserva, la monotonicidad preserva las relaciones de inclusión y la idempotencia captura la estabilización tras una aplicación. ## Demostración Demostración En R con la topología usual, cl((0,1)) = [0,1]; la clausura añade los puntos límite 0 y 1. Los axiomas de Kuratowski afinan esta noción y muestran cómo un operador de clausura determina de forma equivalente una topología mediante sus puntos fijos (los conjuntos cerrados). ## Aplicación incorrecta Aplicación incorrecta Suponer que la clausura se distribuye sobre uniones o intersecciones arbitrarias, o confundir la clausura topológica con clausuras algebraicas o de cuerpos cuyos axiomas y metas difieren. Otro mal uso es tratar cl como necesariamente preservadora del vacío o de uniones finitas a menos que dichos axiomas se indiquen explícitamente. ## Consecuencia Consecuencia Un operador de clausura determina los conjuntos cerrados (los fijos cl(A)=A) y por tanto una topología; a la inversa, toda topología proporciona un operador de clausura. Conocer cl permite calcular interiores por complemento y razonar sobre continuidad y convergencia de forma puramente operativa sobre conjuntos. ## Inversión Inversión El operador dual es el operador de interior int(A) = X\cl(X\A), que captura lo que queda al eliminar los puntos límite; cambiar a la perspectiva dual suele simplificar enunciados sobre apertura en lugar de clausura. ## Límite Límite Los operadores de clausura actúan sobre la potencia entera y son puramente de conjunto; distintos dominios usan 'clausura' con estructura adicional (clausura algebraica, envolvente convexo) que añaden axiomas (p. ej. preservación de uniones finitas) o contexto adicional. No toda aplicación extensa, monótona e idempotente proviene de una clausura topológica a menos que se cumplan axiomas de estilo Kuratowski. ## Tensión semántica Tensión semántica 'Clausura' compite con clausuras afines en otros campos (clausura algebraica, envoltura convexa, span) — cada una satisface propiedades formales similares pero difiere en la naturaleza de los elementos añadidos; la precisión exige especificar la categoría subyacente (topológica, algebraica, convexa, etc.). ## Síntesis Síntesis Un operador de clausura es el mecanismo canónico a nivel de conjuntos que añade todos los puntos límite/adherentes a un subconjunto hasta la estabilidad, codificada por extensividad, monotonicidad e idempotencia; sus fijos son exactamente los cerrados y proporciona una forma compacta de pasar entre límites puntuales y estructura topológica global.