Clausura topológica

En un espacio topológico $(X, T)$ la clausura, adherencia, cerradura o cierre de un subconjunto E es el conjunto: Plantilla:Ecuación donde $N (x)$ es el símbolo para un entorno de x. Es decir, es el conjunto de todos los puntos de adherencia de E.

Una manera de definir un conjunto cerrado es diciendo que "un conjunto es cerrado si y sólo si es igual a su clausura".

Equivalentemente la clausura se puede definir mediante Plantilla:Ecuación donde $E^{'}$ es el conjunto de los puntos de acumulación de $E$ .

La clausura de $E$ es también la intersección de todos los conjuntos cerrados que contienen a $E$ .

Propiedades

Sea (X, T) un espacio topológico entonces:

∅^c = ∅
M ⊂ M^c para todo M elemento del conjunto potencia de X.
(M ∪ N)^c = M^c ∪ N^c
$M \subset N \to M^{c} \subset N^{c}$
La clausura de la intersección de dos conjuntos está contenida en la intersección de sus respectivas clausuras: (M∩N)^c ⊂ M^c ∩ N^c.^[1] Sin embargo, la contención recíproca no siempre se cumple.
(M^c)^c = M^c para cualquier miembro del conjunto 2^X
La adherencia $M^{c}$ es un conjunto cerrado.
La adherencia $M^{c}$ es el menor conjunto cerrado que contiene al conjunto $M$ .^[2]

↑ García y otros Topología general
↑ A. N. Kolmogórov S. V. Fomín Elementos de la teoría de funciones y del análisis funcional Editorial Mir Moscú (1972)