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

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

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

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

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

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

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

'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

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.