Problem 2 - Analysis Now

Question

(Topology according to Kuratowski.) Let \(\mathscr{F}(X)\) denote the system of subsets of a set \(X\), and consider a function \(Y \rightarrow \operatorname{cl}(Y)\) of \(\mathscr{F}(X)\) into itself that satisfies the four closure axioms: (i) \(\operatorname{cl}(\emptyset)=\emptyset\) (ii) \(Y \subset \operatorname{cl}(Y)\) for every \(Y\) in \(\mathscr{F}(X)\). (iii) \(\operatorname{cl}(\mathrm{cl}(Y))=\operatorname{cl}(Y)\) for every \(Y\) in \(\mathscr{S}(X)\). (iv) \(\operatorname{cl}(Y \cup Z)=\operatorname{cl}(Y) \cup \operatorname{cl}(Z)\) for all \(Y\) and \(Z\) in \(\mathscr{S}(X)\). Show that the system of sets \(F\) such that \(\mathrm{cl}(F)=F\) form the closed sets in a topology on \(X\), and that \(Y^{-}=\operatorname{cl}(Y), Y \in \mathscr{S}(X)\).

Step-by-Step Solution

Answer

The sets where \( \operatorname{cl}(F) = F \) form the closed sets of a topology on \( X \).

Step 1: Understanding the Four Axioms

The problem states four axioms that define a closure operator \( \operatorname{cl} \) on a set system \( \mathscr{F}(X) \). The task is to demonstrate that the sets for which \( \operatorname{cl}(F) = F \) form the closed sets of a topology on \( X \).

Step 2: Define Closed Sets

Closed sets in this context are those subsets \( F \) of \( X \) for which \( \operatorname{cl}(F) = F \). That's to say, a closed set is a fixed point of the closure operator \( \operatorname{cl} \).

Step 3: Show Topology Closure Properties

For \( F \) to be a closed set, it must satisfy these properties:1. The whole set \( X \) and the empty set \( \emptyset \) must be closed.2. Arbitrary intersections of closed sets must be closed.3. Finite unions of closed sets must be closed.

Step 4: Check Whole Set and Empty Set

By axiom (i), \( \operatorname{cl}(\emptyset) = \emptyset \), so \( \emptyset \) is closed. Since \( \operatorname{cl}(X) = X \) (as shown by axiom (ii) because \( X \subseteq \operatorname{cl}(X) \) and the closure is idempotent by axiom (iii)), the set \( X \) is also closed.

Step 5: Prove Intersection Closure

To prove intersections, take arbitrary \( \{F_\alpha\} \) which are closed sets. For the intersection \( \cap F_\alpha\), notice that any point not in the intersection is not in some \( F_\alpha \), hence not in its closure. Thus \( \cap F_\alpha \) is closed, as \( \operatorname{cl}(\cap F_\alpha) = \cap F_\alpha \).

Step 6: Show Union Closure for Finite Union

From axiom (iv), \( \operatorname{cl}(F \cup G) = \operatorname{cl}(F) \cup \operatorname{cl}(G) = F \cup G \) when \( F \) and \( G \) are closed, showing that the finite union of closed sets is closed.

Step 7: Conclude the Proof

Since we have shown that the whole set, the empty set, arbitrary intersections, and finite unions of closed sets satisfy the closure properties needed for a topology, the sets \( F \) with \( \operatorname{cl}(F) = F \) do indeed form the closed sets of a topology on \( X \).

Key Concepts

Closure Operator

In topology, a closure operator is a function that extends or "closes" a subset within a set system. For a subset \( Y \) of a set \( X \), the closure operator \( \operatorname{cl}(Y) \) wraps up the elements necessary to complete the subset under certain conditions. It adheres to the rules and achieves the 'closure' of the subset.

There are specific axioms that this closure operator must satisfy:

• The closure of the empty set \( \operatorname{cl}(\emptyset) \) is the empty set.
• Each subset \( Y \) must be included in itself once "closed" (\( Y \subseteq \operatorname{cl}(Y) \)).
• The closure process is idempotent, meaning applying the closure operator twice gives the same result as once (\( \operatorname{cl}(\operatorname{cl}(Y)) = \operatorname{cl}(Y) \)).
• The closure of the union of two sets is the union of their closures, \( \operatorname{cl}(Y \cup Z) = \operatorname{cl}(Y) \cup \operatorname{cl}(Z) \).

This operator transforms subsets step by step by fulfilling these rules, playing a significant role in understanding topology and topological spaces.

Kuratowski Closure Axioms

The Kuratowski closure axioms are fundamental rules that describe how subsets are "closed" within a set system. These axioms ensure that the closure operation is consistent and meaningful across all subsets within a topology.

The four axioms are:

• Axiom (i) states \( \operatorname{cl}(\emptyset) = \emptyset \), emphasizing that the smallest set, the empty set, remains unchanged under closure.
• Axiom (ii) \( Y \subseteq \operatorname{cl}(Y) \) guarantees that every subset at least contains itself after closure, ensuring consistency and inclusion.
• Axiom (iii) \( \operatorname{cl}(\operatorname{cl}(Y)) = \operatorname{cl}(Y) \) indicates idempotency, meaning that once a set is closed, multiple applications of closure don’t add anything extra.
• Axiom (iv) \( \operatorname{cl}(Y \cup Z) = \operatorname{cl}(Y) \cup \operatorname{cl}(Z) \) means that the closure of a union results from the union of individual closures, connecting operations between subsets.

Understanding these axioms is crucial as they underlie how closed sets are determined within a topological space.

Closed Sets

In the context of topology, closed sets are particular subsets of a space that play a role analogical to 'closed doors.' They are boundaries or limits where no points are missing. Closed sets are defined precisely under the closure operator: a set \( F \) is closed if \( \operatorname{cl}(F) = F \).

This definition implies:

• The entire set \( X \) is a closed set since it contains all of its limits and no additional points, satisfying \( \operatorname{cl}(X) = X \).
• The empty set \( \emptyset \) is trivially closed because it contains no points, requiring no addition (\( \operatorname{cl}(\emptyset) = \emptyset \)).
• Closed sets must be preserved under arbitrary intersection; if you take any number of closed sets and intersect them, the result is still a closed set.
• The union of a finite number of closed sets remains closed, maintaining the integrity of closure within finite limits.

Understanding closed sets and their properties is essential in exploring topological spaces, as they represent 'complete' or bounded subsets within these spaces.

Set System

A set system refers to a collection or family of subsets treated as a unit within a particular context, which in topology, resources this collection with additional structure. This system includes elements from a universal set \( X \), considering how subsets interact under operations like union, intersection, and closure.

In topology, the set system \( \mathscr{F}(X) \) contains subsets of \( X \) subjected to operations defined by the closure operator. Each subset in this system may vary, but the interaction under the closure axiom forms the foundation of its structure.

• The closure operator \( \operatorname{cl} \) acts upon elements of \( \mathscr{F}(X) \), navigating through the closure axioms to define closed sets and topologies.
• This system extends beyond simple collections to involve properties like closure properties, connections between sets, and their roles within broader topological spaces.
• Understanding the set system's rules aids in exploring how topological properties are abstracted and applied across mathematical problems.

A grasp of set systems in topology enhances comprehension of how topological spaces are organized and analyzed energetically, serving as stepping stones into further mathematical investigations.