Kuratowski closure axioms: Difference between revisions

In topology and related branches of mathematics, the Kuratowski closure axioms are a set of axioms that can be used to define a topological structure on a set. They are equivalent to the more commonly used open set definition. They were first formalized by Kazimierz Kuratowski,^[1] although the idea had been circulating for some decades among mathematicians such as Wacław Sierpiński and António Monteiro.^[2]

A similar set of axioms can be used to define a topological structure using only the dual notion of interior operator.

Let ${\displaystyle X}$ be an arbitrary set and ${\displaystyle \wp (X)}$ its power set. A Kuratowski closure operator is an assignment ${\displaystyle \mathbf {c} :\wp (X)\to \wp (X)}$ with the following properties:

[K1] It preserves the empty set: ${\displaystyle \mathbf {c} (\varnothing )=\varnothing }$;

[K2] It is extensive: for all ${\displaystyle A\subseteq X}$, ${\displaystyle A\subseteq \mathbf {c} (A)}$;

[K3] It is idempotent: for all ${\displaystyle A\subseteq X}$, ${\displaystyle \mathbf {c} (A)=\mathbf {c} (\mathbf {c} (A))}$;

[K4] It preserves binary unions: for all ${\displaystyle A,B\subseteq X}$, ${\displaystyle \mathbf {c} (A\cup B)=\mathbf {c} (A)\cup n\mathbf {c} (B)}$.

A consequence of ${\displaystyle \mathbf {c} }$ preserving binary unions is the stronger condition:^[3]

[K4'] It is isotonic: ${\displaystyle A\subseteq B\Rightarrow \mathbf {c} (A)\subseteq \mathbf {c} (B)}$.

Kuratowski (1966) includes a fifth (optional) axiom requiring that singleton sets should be stable under closure: for all ${\displaystyle x\in X}$, ${\displaystyle \mathbf {c} (\{x\})=\{x\}}$. He refers to topological spaces which satisfy all five axioms as T₁-spaces in contrast to the more general spaces which only satisfy the four listed axioms.^[1]

If requirement [K3] is omitted, then the axioms define a Čech closure operator.^[4] If [K1] is omitted instead, then an operator satisfying [K2], [K3] and [K4'] is said to be a Moore closure operator.^[5]

The four Kuratowski closure axioms can be replaced by a single condition, given by Pervin:^[6]

[P] For all ${\displaystyle A,B\subseteq X}$, ${\displaystyle A\cup \mathbf {c} (A)\cup \mathbf {c} (\mathbf {c} (B))=\mathbf {c} (A\cup B)\setminus \mathbf {c} (\varnothing )}$.

Axioms [K1]—[K4] can be derived as a consequence of this requirement:

1. Choose ${\displaystyle A=B=\varnothing }$. Then ${\displaystyle \varnothing \cup \mathbf {c} (\varnothing )\cup \mathbf {c} (\mathbf {c} (\varnothing ))=\mathbf {c} (\varnothing )\setminus \mathbf {c} (\varnothing )=\varnothing }$, or ${\displaystyle \mathbf {c} (\varnothing )\cup \mathbf {c} (\mathbf {c} (\varnothing ))=\varnothing }$. This immediately implies [K1].
2. Choose an arbitrary ${\displaystyle A\subseteq X}$ and ${\displaystyle B=\varnothing }$. Then, applying axiom [K1], ${\displaystyle A\cup \mathbf {c} (A)=\mathbf {c} (A)}$, implying [K2].
3. Choose ${\displaystyle A=\varnothing }$ and an arbitrary ${\displaystyle B\subseteq X}$. Then, applying axiom [K1], ${\displaystyle \mathbf {c} (\mathbf {c} (B))=\mathbf {c} (B)}$, which is [K3].
4. Choose arbitrary ${\displaystyle A,B\subseteq X}$. Applying axioms [K1]—[K3], one derives [K4].

Alternatively, A. Monteiro had proposed a weaker axiom that only entails [K2]—[K4]:^[7]

[M] For all ${\displaystyle A,B\subseteq X}$, ${\textstyle A\cup \mathbf {c} (A)\cup \mathbf {c} (\mathbf {c} (B))\subseteq \mathbf {c} (A\cup B)}$.

Requirement [K1] is independent of [M] : indeed, if ${\displaystyle X\neq \varnothing }$, the operator ${\displaystyle \gamma :\wp (X)\to \wp (X)}$ defined by the constant assignment ${\displaystyle A\mapsto \gamma (A):=X}$ satisfies [M] but does not preserve the empty set, since ${\displaystyle \gamma (\varnothing )=X}$. Notice that, by definition, any operator satisfying [M] is a Moore closure operator.

A more symmetric alternative to [M] was also proven by M. O. Botelho and M. H. Teixeira to imply axioms [K2]—[K4]:^[2]

[BT] For all ${\displaystyle A,B\subseteq X}$, ${\textstyle A\cup B\cup \mathbf {c} (\mathbf {c} (A))\cup \mathbf {c} (\mathbf {c} (B))=\mathbf {c} (A\cup B)}$.

A closure operator naturally induces a topology as follows. Let ${\displaystyle X}$ be an arbitrary set. We shall say that a subset ${\displaystyle C\subseteq X}$ is closed with respect to a Kuratowski closure operator ${\displaystyle \mathbf {c} :\wp (X)\to \wp (X)}$ if and only if it is a fixed point of said operator, or in other words it is stable under ${\displaystyle \mathbf {c} }$, i.e. ${\displaystyle \mathbf {c} (C)=C}$. The claim is that the family ${\displaystyle \tau _{\mathbf {c} }}$ of all subsets of the total space that are complements of closed sets satisfies the three usual requirements for a topology, or equivalently, the family ${\displaystyle \kappa _{\mathbf {c} }}$ of all closed sets satisfies the following:

[T1] It is a bounded sublattice of ${\displaystyle \wp (X)}$, i.e. ${\displaystyle X,\varnothing \in \kappa _{\mathbf {c} }}$;

[T2] It is complete under arbitrary intersections, i.e. if ${\displaystyle {\mathcal {I}}}$is an arbitrary set of indices and ${\displaystyle \{C_{i}\}_{i\in {\mathcal {I}}}\subseteq \kappa _{\mathbf {c} }}$, then ${\displaystyle \bigcap _{i\in {\mathcal {I}}}C_{i}\in \kappa _{\mathbf {c} }}$;

[T3] It is complete under finite unions, i.e. if ${\displaystyle {\mathcal {I}}}$is a finite set of indices and ${\displaystyle \{C_{i}\}_{i\in {\mathcal {I}}}\subseteq \kappa _{\mathbf {c} }}$, then ${\displaystyle \bigcup _{i\in {\mathcal {I}}}C_{i}\in \kappa _{\mathbf {c} }}$.

The proof is given below.

1. By extensivity [K2], ${\displaystyle X\subseteq \mathbf {c} (X)}$ and since closure maps the powerset of ${\displaystyle X}$ into itself (that is, the image of any subset is a subset of ${\displaystyle X}$), ${\displaystyle \mathbf {c} (X)\subseteq X}$ we have ${\displaystyle X=\mathbf {c} (X)}$. Thus ${\displaystyle X\in \kappa _{\mathbf {c} }}$. The preservation of the empty set [K1] readily implies ${\displaystyle \varnothing \in \kappa _{\mathbf {c} }}$.
2. Let ${\displaystyle {\mathcal {I}}}$ be an arbitrary set of indices and ${\displaystyle C_{i}}$ closed for every ${\displaystyle i\in {\mathcal {I}}}$. By extensivity [K2], ${\displaystyle \bigcap _{i\in {\mathcal {I}}}C_{i}\subseteq \mathbf {c} {\Big (}\bigcap _{i\in {\mathcal {I}}}C_{i}{\Big )}}$. Also, by isotonicity [K4'], if ${\displaystyle \bigcap _{i\in {\mathcal {I}}}C_{i}\subseteq C_{i}}$for all indices ${\displaystyle i\in {\mathcal {I}}}$, then ${\displaystyle \mathbf {c} {\Big (}\bigcap _{i\in {\mathcal {I}}}C_{i}{\Big )}\subseteq \mathbf {c} (C_{i})=C_{i}}$ for all ${\displaystyle i\in {\mathcal {I}}}$, which implies ${\displaystyle \mathbf {c} {\Big (}\bigcap _{i\in {\mathcal {I}}}C_{i}{\Big )}\subseteq \bigcap _{i\in {\mathcal {I}}}C_{i}}$. Therefore, ${\displaystyle \bigcap _{i\in {\mathcal {I}}}C_{i}=\mathbf {c} {\Big (}\bigcap _{i\in {\mathcal {I}}}C_{i}{\Big )}}$, meaning ${\displaystyle \bigcap _{i\in {\mathcal {I}}}C_{i}\in \kappa _{\mathbf {c} }}$.
3. Let ${\displaystyle {\mathcal {I}}}$ be a finite set of indices and let ${\displaystyle C_{i}}$ be closed for every ${\displaystyle i\in {\mathcal {I}}}$. From the preservation of binary unions [K4] and using induction we have ${\displaystyle \bigcup _{i\in {\mathcal {I}}}C_{i}=\mathbf {c} {\Big (}\bigcup _{i\in {\mathcal {I}}}C_{i}{\Big )}}$. Thus, ${\displaystyle \bigcup _{i\in {\mathcal {I}}}C_{i}\in \kappa _{\mathbf {c} }}$.

Since idempotency [K3] is not employed in the proof, this result also holds when ${\displaystyle \mathbf {c} }$ is a Čech closure operator.^[8]

In any induced topology (relative to the subset A) the closed sets induce a new closure operator that is just the original closure operator restricted to A: ${\displaystyle \mathbf {c} _{A}(B)=A\cap \mathbf {c} _{X}(B){\text{ for all }}B\subseteq A.}$^[9]

Closeness
A point ${\displaystyle p}$ is close to a subset ${\displaystyle A}$ if ${\displaystyle p\in \mathbf {c} (A).}$

Continuity
A function ${\displaystyle f:X\to Y}$ is continuous at a point ${\displaystyle p}$ if ${\displaystyle p\in \mathbf {c} (A)\Rightarrow f(p)\in \mathbf {c} (f(A)).}$

• Topological space
• Closure operator
• Čech closure operator
• Closure algebra

• Kuratowski, Kazimierz (1966) [1958], Topology, vol. I, translated by Jaworowski, J., Academic Press, ISBN 0-12-429201-1, LCCN 66029221.
• Pervin, William J. (1964), Boas, Ralph P. Jr. (ed.), Foundations of General Topology, Academic Press, ISBN 9781483225159, LCCN 64-17796.
• Arkhangel'skij, A.V.; Fedorchuk, V.V. (1990) [1988], Gamkrelidze, R.V.; Arkhangel'skij, A.V.; Pontryagin, L.S. (eds.), General Topology I, Encyclopaedia of Mathematical Sciences, vol. 17, translated by O'Shea, D.B., Berlin: Springer-Verlag, ISBN 978-3-642-64767-3, LCCN 89-26209.
• Monteiro, António (September 1943), "Caractérisation de l'opération de fermeture par un seul axiome" [Characterization of the operation of closure by a single axiom], Portugaliae mathematica (in French), vol. 4, no. 4 (published 1945), pp. 158–160, Zbl 0060.39406.

• Alternative Characterizations of Topological Spaces