Kuratowski closure axioms



topology In mathematics, topology (from the Greek words , and ) is concerned with the properties of a geometric object that are preserved under continuous deformations, such as stretching, twisting, crumpling, and bending; that is, without closing ...
and related branches of mathematics, the Kuratowski closure axioms are a set of
axiom An axiom, postulate, or assumption is a statement that is taken to be true, to serve as a premise or starting point for further reasoning and arguments. The word comes from the Ancient Greek word (), meaning 'that which is thought worthy or f ...
s that can be used to define a
topological structure In mathematics, a topological space is, roughly speaking, a geometrical space in which closeness is defined but cannot necessarily be measured by a numeric distance. More specifically, a topological space is a set whose elements are called poin ...
on a set. They are equivalent to the more commonly used
open set In mathematics, open sets are a generalization of open intervals in the real line. In a metric space (a set along with a distance defined between any two points), open sets are the sets that, with every point , contain all points that are ...
definition. They were first formalized by
Kazimierz Kuratowski Kazimierz Kuratowski (; 2 February 1896 – 18 June 1980) was a Polish mathematician and logician. He was one of the leading representatives of the Warsaw School of Mathematics. Biography and studies Kazimierz Kuratowski was born in Warsaw, (t ...
, and the idea was further studied by mathematicians such as Wacław Sierpiński and António Monteiro, among others. A similar set of axioms can be used to define a topological structure using only the dual notion of interior operator.


Kuratowski closure operators and weakenings

Let X be an arbitrary set and \wp(X) its
power set In mathematics, the power set (or powerset) of a set is the set of all subsets of , including the empty set and itself. In axiomatic set theory (as developed, for example, in the ZFC axioms), the existence of the power set of any set is post ...
. A Kuratowski closure operator is a
unary operation In mathematics, an unary operation is an operation with only one operand, i.e. a single input. This is in contrast to binary operations, which use two operands. An example is any function , where is a set. The function is a unary operation o ...
\mathbf:\wp(X) \to \wp(X) with the following properties: A consequence of \mathbf preserving binary unions is the following condition: In fact if we rewrite the equality in 4'' as an inclusion, giving the weaker axiom 4'''' (''subadditivity''): then it is easy to see that axioms 4''' and 4'''' together are equivalent to 4'' (see the next-to-last paragraph of Proof 2 below). includes a fifth (optional) axiom requiring that singleton sets should be stable under closure: for all x \in X, \mathbf(\) = \. He refers to topological spaces which satisfy all five axioms as ''T1-spaces'' in contrast to the more general spaces which only satisfy the four listed axioms. Indeed, these spaces correspond exactly to the topological T1-spaces via the usual correspondence (see below).. If requirement 3'' is omitted, then the axioms define a Čech closure operator. If 1'' is omitted instead, then an operator satisfying 2'', 3'' and 4''' is said to be a Moore closure operator. A pair (X, \mathbf) is called Kuratowski, Čech or Moore closure space depending on the axioms satisfied by \mathbf.

Alternative axiomatizations

The four Kuratowski closure axioms can be replaced by a single condition, given by Pervin: Axioms 1''– 4'' can be derived as a consequence of this requirement: # Choose A = B = \varnothing. Then \varnothing \cup \mathbf(\varnothing) \cup \mathbf(\mathbf(\varnothing)) = \mathbf(\varnothing) \setminus \mathbf(\varnothing) = \varnothing, or \mathbf(\varnothing) \cup \mathbf(\mathbf(\varnothing)) = \varnothing. This immediately implies 1''. # Choose an arbitrary A \subseteq X and B = \varnothing. Then, applying axiom 1'', A \cup \mathbf(A) = \mathbf(A), implying 2''. # Choose A = \varnothing and an arbitrary B \subseteq X. Then, applying axiom 1'', \mathbf(\mathbf(B)) = \mathbf(B), which is 3''. # Choose arbitrary A,B \subseteq X. Applying axioms 1''– 3'', one derives 4''. Alternatively, had proposed a weaker axiom that only entails 2''– 4'': Requirement 1'' is independent of '' : indeed, if X \neq \varnothing, the operator \mathbf^\star : \wp(X) \to \wp(X) defined by the constant assignment A \mapsto \mathbf^\star(A) := X satisfies '' but does not preserve the empty set, since \mathbf^\star(\varnothing) = X. Notice that, by definition, any operator satisfying '' is a Moore closure operator. A more symmetric alternative to '' was also proven by M. O. Botelho and M. H. Teixeira to imply axioms 2''– 4'':.

Analogous structures

Interior, exterior and boundary operators

A dual notion to Kuratowski closure operators is that of Kuratowski interior operator, which is a map \mathbf : \wp(X) \to \wp(X) satisfying the following similar requirements:. For these operators, one can reach conclusions that are completely analogous to what was inferred for Kuratowski closures. For example, all Kuratowski interior operators are ''isotonic'', i.e. they satisfy 4''', and because of intensivity 2'', it is possible to weaken the equality in 3'' to a simple inclusion. The duality between Kuratowski closures and interiors is provided by the natural complement operator on \wp(X), the map \mathbf : \wp(X) \to \wp(X) sending A \mapsto \mathbf(A):= X \setminus A. This map is an orthocomplementation on the power set lattice, meaning it satisfies
De Morgan's laws In propositional logic and Boolean algebra, De Morgan's laws, also known as De Morgan's theorem, are a pair of transformation rules that are both valid rules of inference. They are named after Augustus De Morgan, a 19th-century British mathem ...
: if \mathcal is an arbitrary set of indices and \_ \subseteq \wp(X), \mathbf\left(\bigcup_ A_i\right) = \bigcap_ \mathbf(A_i), \qquad \mathbf\left(\bigcap_ A_i\right) = \bigcup_ \mathbf(A_i). By employing these laws, together with the defining properties of \mathbf, one can show that any Kuratowski interior induces a Kuratowski closure (and vice versa), via the defining relation \mathbf := \mathbf (and \mathbf := \mathbf). Every result obtained concerning \mathbf may be converted into a result concerning \mathbf by employing these relations in conjunction with the properties of the orthocomplementation \mathbf. further provides analogous axioms for Kuratowski exterior operators and Kuratowski boundary operators, which also induce Kuratowski closures via the relations \mathbf := \mathbf and \mathbf(A):= A \cup \mathbf(A).

Abstract operators

Notice that axioms 1''– 4'' may be adapted to define an ''abstract'' unary operation \mathbf c : L \to L on a general bounded lattice (L,\land,\lor,\mathbf 0, \mathbf 1), by formally substituting set-theoretic inclusion with the partial order associated to the lattice, set-theoretic union with the join operation, and set-theoretic intersections with the meet operation; similarly for axioms 1''– 4''. If the lattice is orthocomplemented, these two abstract operations induce one another in the usual way. Abstract closure or interior operators can be used to define a generalized topology on the lattice. Since neither unions nor the empty set appear in the requirement for a Moore closure operator, the definition may be adapted to define an abstract unary operator \mathbf : S \to S on an arbitrary
poset In mathematics, especially order theory, a partially ordered set (also poset) formalizes and generalizes the intuitive concept of an ordering, sequencing, or arrangement of the elements of a set. A poset consists of a set together with a binary ...

Connection to other axiomatizations of topology

Induction of topology from closure

A closure operator naturally induces a
topology In mathematics, topology (from the Greek words , and ) is concerned with the properties of a geometric object that are preserved under continuous deformations, such as stretching, twisting, crumpling, and bending; that is, without closing ...
as follows. Let X be an arbitrary set. We shall say that a subset C\subseteq X is closed with respect to a Kuratowski closure operator \mathbf : \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'' \mathbf, i.e. \mathbf(C) = C . The claim is that the family 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 \mathfrak mathbf/math> of all closed sets satisfies the following: Notice that, by idempotency 3'', one may succinctly write \mathfrak mathbf= \operatorname(\mathbf). 1By extensivity 2'', X\subseteq\mathbf(X) and since closure maps the power set of X into itself (that is, the image of any subset is a subset of X), \mathbf(X)\subseteq X we have X = \mathbf(X). Thus X \in \mathfrak mathbf/math>. The preservation of the empty set 1'' readily implies \varnothing \in\mathfrak mathbf. 2Next, let \mathcal be an arbitrary set of indices and let C_i be closed for every i\in\mathcal. By extensivity 2'', \bigcap_C_i \subseteq \mathbf\left(\bigcap_C_i\right). Also, by isotonicity 4''', if \bigcap_ C_i \subseteq C_ifor all indices i \in \mathcal I, then \mathbf\left(\bigcap_C_i \right) \subseteq \mathbf(C_i) = C_i for all i \in \mathcal I, which implies \mathbf\left(\bigcap_C_i \right) \subseteq \bigcap_C_i. Therefore, \bigcap_C_i = \mathbf\left(\bigcap_C_i\right) , meaning \bigcap_C_i \in \mathfrak mathbf/math>. 3Finally, let \mathcal be a finite set of indices and let C_i be closed for every i\in\mathcal . From the preservation of binary unions 4'', and using induction on the number of subsets of which we take the union, we have \bigcup_C_i = \mathbf\left(\bigcup_C_i \right) . Thus, \bigcup_C_i \in \mathfrak mathbf.

Induction of closure from topology

Conversely, given a family \kappa satisfying axioms 1''– 3'', it is possible to construct a Kuratowski closure operator in the following way: if A \in \wp(X) and A^\uparrow = \ is the inclusion upset of A, then \mathbf_\kappa(A) := \bigcap_ B defines a Kuratowski closure operator \mathbf_\kappa on \wp(X). 1Since \varnothing^\uparrow = \wp(X), \mathbf_\kappa(\varnothing) reduces to the intersection of all sets in the family \kappa; but \varnothing \in \kappa by axiom 1'', so the intersection collapses to the null set and 1'' follows. 2'' By definition of A^\uparrow, we have that A \subseteq B for all B \in \left(\kappa \cap A^\uparrow\right), and thus A must be contained in the intersection of all such sets. Hence follows extensivity 2''. 3'' Notice that, for all A \in \wp(X), the family \mathbf_\kappa(A)^\uparrow \cap \kappa contains \mathbf_\kappa(A) itself as a minimal element w.r.t. inclusion. Hence \mathbf_\kappa^2(A) = \bigcap_B = \mathbf_\kappa(A), which is idempotence 3''. 4''' Let A \subseteq B \subseteq X: then B^\uparrow \subseteq A^\uparrow, and thus \kappa \cap B^\uparrow \subseteq \kappa \cap A^\uparrow. Since the latter family may contain more elements than the former, we find \mathbf_\kappa(A) \subseteq \mathbf_\kappa(B), which is isotonicity 4'''. Notice that isotonicity implies \mathbf_\kappa(A) \subseteq \mathbf_\kappa(A\cup B) and \mathbf_\kappa(B) \subseteq \mathbf_\kappa(A\cup B), which together imply \mathbf_\kappa(A) \cup \mathbf_\kappa(B) \subseteq \mathbf_\kappa(A\cup B). 4'' Finally, fix A,B \in \wp(X). Axiom 2'' implies \mathbf_\kappa(A), \mathbf_\kappa(B) \in \kappa; furthermore, axiom 2'' implies that \mathbf_\kappa(A) \cup \mathbf_\kappa(B) \in \kappa. By extensivity 2'' one has \mathbf_\kappa(A) \in A^\uparrow and \mathbf_\kappa(B) \in B^\uparrow, so that \mathbf_\kappa(A) \cup \mathbf_\kappa(B) \in \left(A^\uparrow\right) \cap \left(B^\uparrow\right). But \left(A^\uparrow\right) \cap \left(B^\uparrow\right) = (A \cup B)^\uparrow, so that all in all \mathbf_\kappa(A) \cup \mathbf_\kappa(B) \in \kappa\cap (A \cup B)^\uparrow. Since then \mathbf_\kappa(A \cup B) is a minimal element of \kappa \cap (A \cup B)^\uparrow w.r.t. inclusion, we find \mathbf_\kappa(A \cup B) \subseteq \mathbf_\kappa(A) \cup \mathbf_\kappa(B). Point 4. ensures additivity 4''.

Exact correspondence between the two structures

In fact, these two complementary constructions are inverse to one another: if \mathrm_\text(X) is the collection of all Kuratowski closure operators on X, and \mathrm(X) is the collection of all families consisting of complements of all sets in a topology, i.e. the collection of all families satisfying 1''– 3'', then \mathfrak : \mathrm_\text(X) \to \mathrm(X) such that \mathbf \mapsto \mathfrak mathbf/math> is a bijection, whose inverse is given by the assignment \mathfrak: \kappa \mapsto \mathbf_\kappa. First we prove that \mathfrak \circ \mathfrak = \mathfrak_, the identity operator on \mathrm_\text(X). For a given Kuratowski closure \mathbf \in \mathrm_\text(X), define \mathbf' := \mathfrak mathfrak[\mathbf; then if A \in \wp(X) its primed closure \mathbf'(A) is the intersection of all \mathbf-stable sets that contain A. Its non-primed closure \mathbf(A) satisfies this description: by extensivity 2'' we have A \subseteq \mathbf(A), and by idempotence 3'' we have \mathbf(\mathbf(A)) = \mathbf(A), and thus \mathbf(A) \in \left(A^\uparrow \cap \mathfrak[\mathbf]\right). Now, let C \in \left(A^\uparrow \cap \mathfrak[\mathbf]\right) such that A \subseteq C \subseteq \mathbf(A): by isotonicity 4''' we have \mathbf(A) \subseteq \mathbf(C), and since \mathbf(C) = C we conclude that C = \mathbf(A). Hence \mathbf(A) is the minimal element of A^\uparrow \cap \mathfrak mathbf/math> w.r.t. inclusion, implying \mathbf'(A) = \mathbf(A). Now we prove that \mathfrak \circ \mathfrak = \mathfrak_. If \kappa \in \mathrm(X) and \kappa':= \mathfrak mathfrak[\kappa_is_the_family_of_all_sets_that_are_stable_under_\mathbf_\kappa,_the_result_follows_if_both_\kappa'_\subseteq_\kappa_and_\kappa_\subseteq_\kappa'._Let_A_\in_\kappa':_hence_\mathbf_\kappa(A)_=_A._Since_\mathbf_\kappa(A)_is_the_intersection_of_an_arbitrary_subfamily_of_\kappa,_and_the_latter_is_complete_under_arbitrary_intersections_by__2'',_then_A_=_\mathbf_\kappa(A)_\in_\kappa._Conversely,_if_A_\in_\kappa,_then_\mathbf_\kappa(A)_is_the_minimal_superset_of_A_that_is_contained_in_\kappa._But_that_is_trivially_A_itself,_implying_A_\in_\kappa'. We_observe_that_one_may_also_extend_the_bijection_\mathfrak_to_the_collection_\mathrm_(X)_of_all_Čech_closure_operators,_which_strictly_contains_\mathrm_\text(X);_this_extension_\overline_is_also_surjective,_which_signifies_that_all_Čech_closure_operators_on_X_also_induce_a_topology_on_X._However,_this_means_that_\overline_is_no_longer_a_bijection.


*_As_discussed_above,_given_a_topological_space_X_we_may_define_the_closure_of_any_subset_A_\subseteq_X_to_be_the_set_\mathbf(A)=\bigcap\,_i.e._the_intersection_of_all_closed_sets_of_X_which_contain_A._The_set_\mathbf(A)_is_the_smallest_closed_set_of_X_containing_A,_and_the_operator_\mathbf:\wp(X)_\to_\wp(X)_is_a_Kuratowski_closure_operator. *_If_X_is_any_set,_the_operators_\mathbf_\top,_\mathbf_\bot_:_\wp(X)_\to_\wp(X)_such_that_\mathbf_\top(A)_=_\begin \varnothing_&_A_=_\varnothing,_\\ X_&_A_\neq_\varnothing, \end_\qquad_\mathbf_\bot(A)_=_A\quad_\forall_A_\in_\wp(X),are_Kuratowski_closures._The_first_induces_the_Trivial_topology.html" "title="kappa.html" ;"title="mathfrak[\kappa">mathfrak[\kappa is the family of all sets that are stable under \mathbf_\kappa, the result follows if both \kappa' \subseteq \kappa and \kappa \subseteq \kappa'. Let A \in \kappa': hence \mathbf_\kappa(A) = A. Since \mathbf_\kappa(A) is the intersection of an arbitrary subfamily of \kappa, and the latter is complete under arbitrary intersections by 2'', then A = \mathbf_\kappa(A) \in \kappa. Conversely, if A \in \kappa, then \mathbf_\kappa(A) is the minimal superset of A that is contained in \kappa. But that is trivially A itself, implying A \in \kappa'. We observe that one may also extend the bijection \mathfrak to the collection \mathrm_(X) of all Čech closure operators, which strictly contains \mathrm_\text(X); this extension \overline is also surjective, which signifies that all Čech closure operators on X also induce a topology on X. However, this means that \overline is no longer a bijection.


* As discussed above, given a topological space X we may define the closure of any subset A \subseteq X to be the set \mathbf(A)=\bigcap\, i.e. the intersection of all closed sets of X which contain A. The set \mathbf(A) is the smallest closed set of X containing A, and the operator \mathbf:\wp(X) \to \wp(X) is a Kuratowski closure operator. * If X is any set, the operators \mathbf_\top, \mathbf_\bot : \wp(X) \to \wp(X) such that \mathbf_\top(A) = \begin \varnothing & A = \varnothing, \\ X & A \neq \varnothing, \end \qquad \mathbf_\bot(A) = A\quad \forall A \in \wp(X),are Kuratowski closures. The first induces the Trivial topology">indiscrete topology In topology, a topological space with the trivial topology is one where the only open sets are the empty set and the entire space. Such spaces are commonly called indiscrete, anti-discrete, concrete or codiscrete. Intuitively, this has the consequ ...
\, while the second induces the discrete topology \wp(X). *Fix an arbitrary S \subsetneq X, and let \mathbf_S: \wp(X) \to \wp(X) be such that \mathbf_S(A) := A \cup S for all A \in \wp(X). Then \mathbf_S defines a Kuratowski closure; the corresponding family of closed sets \mathfrak mathbf_S/math> coincides with S^\uparrow, the family of all subsets that contain S. When S = \varnothing, we once again retrieve the discrete topology \wp(X) (i.e. \mathbf_=\mathbf_\bot, as can be seen from the definitions). * If \lambda is an infinite cardinal number such that \lambda \leq \operatorname(X), then the operator \mathbf_\lambda : \wp(X) \to \wp(X) such that\mathbf_\lambda(A) = \begin A & \operatorname(A) < \lambda, \\ X & \operatorname(A) \geq \lambda \endsatisfies all four Kuratowski axioms. If \lambda = \aleph_0, this operator induces the
cofinite topology In mathematics, a cofinite subset of a set X is a subset A whose complement in X is a finite set. In other words, A contains all but finitely many elements of X. If the complement is not finite, but it is countable, then one says the set is cocou ...
on X; if \lambda = \aleph_1, it induces the
cocountable topology The cocountable topology or countable complement topology on any set ''X'' consists of the empty set and all cocountable subsets of ''X'', that is all sets whose complement in ''X'' is countable. It follows that the only closed subsets are ''X'' and ...


* Since any Kuratowski closure is isotonic, and so is obviously any inclusion mapping, one has the (isotonic)
Galois connection In mathematics, especially in order theory, a Galois connection is a particular correspondence (typically) between two partially ordered sets (posets). Galois connections find applications in various mathematical theories. They generalize the fun ...
\langle \mathbf: \wp(X) \to \mathrm(\mathbf);\iota : \mathrm(\mathbf) \hookrightarrow \wp(X) \rangle, provided one views \wp(X)as a poset with respect to inclusion, and \mathrm(\mathbf) as a subposet of \wp(X). Indeed, it can be easily verified that, for all A \in \wp(X) and C \in \mathrm(\mathbf), \mathbf(A) \subseteq C if and only if A \subseteq \iota(C). * If \_ is a subfamily of \wp(X), then \bigcup_ \mathbf(A_i) \subseteq \mathbf\left(\bigcup_ A_i\right), \qquad \mathbf\left(\bigcap_ A_i\right) \subseteq \bigcap_ \mathbf(A_i). * If A,B \in \wp(X), then \mathbf(A) \setminus \mathbf(B) \subseteq \mathbf(A\setminus B).

Topological concepts in terms of closure

Refinements and subspaces

A pair of Kuratowski closures \mathbf_1, \mathbf_2 : \wp(X) \to \wp(X) such that \mathbf_2(A) \subseteq \mathbf_1(A) for all A \in \wp(X) induce topologies \tau_1,\tau_2 such that \tau_1 \subseteq \tau_2, and vice versa. In other words, \mathbf_1 dominates \mathbf_2 if and only if the topology induced by the latter is a refinement of the topology induced by the former, or equivalently \mathfrak mathbf_1\subseteq \mathfrak mathbf_2/math>. For example, \mathbf_\top clearly dominates \mathbf_\bot(the latter just being the identity on \wp(X)). Since the same conclusion can be reached substituting \tau_i with the family \kappa_i containing the complements of all its members, if \mathrm_\text(X) is endowed with the partial order \mathbf \leq \mathbf' \iff \mathbf(A) \subseteq \mathbf'(A) for all A \in \wp(X) and \mathrm(X) is endowed with the refinement order, then we may conclude that \mathfrak is an antitonic mapping between posets. 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'': \mathbf_A(B) = A \cap \mathbf_X(B) , for all B \subseteq A.

Continuous maps, closed maps and homeomorphisms

A function f:(X,\mathbf)\to (Y,\mathbf') is
continuous Continuity or continuous may refer to: Mathematics * Continuity (mathematics), the opposing concept to discreteness; common examples include ** Continuous probability distribution or random variable in probability and statistics ** Continuous g ...
at a point p iff p\in\mathbf(A) \Rightarrow f(p)\in\mathbf'(f(A)), and it is continuous everywhere iff f(\mathbf(A)) \subseteq \mathbf'(f(A)) for all subsets A \in \wp(X). The mapping f is a closed map iff the reverse inclusion holds, and it is a
homeomorphism In the mathematical field of topology, a homeomorphism, topological isomorphism, or bicontinuous function is a bijective and continuous function between topological spaces that has a continuous inverse function. Homeomorphisms are the isomorph ...
iff it is both continuous and closed, i.e. iff equality holds.

Separation axioms

Let (X, \mathbf) be a Kuratowski closure space. Then * X is a T0-space iff x \neq y implies \mathbf(\) \neq \mathbf(\); * X is a T1-space iff \mathbf(\)=\ for all x \in X; * X is a T2-space iff x \neq y implies that there exists a set A \in \wp(X) such that both x \notin \mathbf(A) and y \notin \mathbf(\mathbf(A)), where \mathbf is the set complement operator.

Closeness and separation

A point p is
close Close may refer to: Music * ''Close'' (Kim Wilde album), 1988 * ''Close'' (Marvin Sapp album), 2017 * ''Close'' (Sean Bonniwell album), 1969 * "Close" (Sub Focus song), 2014 * "Close" (Nick Jonas song), 2016 * "Close" (Rae Sremmurd song), 201 ...
to a subset A if p\in\mathbf(A).This can be used to define a proximity relation on the points and subsets of a set. Two sets A,B \in \wp(X) are separated iff (A \cap \mathbf(B)) \cup (B \cap \mathbf(A)) = \varnothing. The space X is
connected Connected may refer to: Film and television * ''Connected'' (2008 film), a Hong Kong remake of the American movie ''Cellular'' * '' Connected: An Autoblogography About Love, Death & Technology'', a 2011 documentary film * ''Connected'' (2015 TV ...
iff it cannot be written as the union of two separated subsets..

See also

* * * * * * *



*. *. ** * . *. *{{Citation, last=Monteiro, first=António, title=Caractérisation de l'opération de fermeture par un seul axiome, date=September 1943, work=Portugaliae mathematica, volume=4, issue=4, pages=158–160, publication-date=1945, url=http://purl.pt/2135, trans-title=Characterization of the operation of closure by a single axiom, language=fr, zbl=0060.39406, author-link=Antonio Monteiro (mathematician).

External links

Alternative Characterizations of Topological Spaces
Closure operators Mathematical axioms