Questions: Interior and Closure Operators

Question 1

A mathematician defines a function f : 𝒫(X) → 𝒫(X) satisfying all four Kuratowski closure axioms but never explicitly names any open sets. What can they conclude about f?

• A. Nothing definitive — a topology requires an explicit list of open sets, which f does not provide
• B. f determines a unique topology on X, where the closed sets are precisely the fixed points of f
• C. f must be the standard Euclidean closure, since Kuratowski's axioms uniquely determine the metric topology
• D. f is a closure operator only if X is a metric space

Answer: (B)

Kuratowski's axioms are not merely properties of closure — they characterize topologies. Given any function f satisfying the four axioms, define the closed sets as the fixed points of f (the sets A where f(A) = A). This collection of fixed points determines a unique topology. So one never needs to specify open sets explicitly; the closure operator encodes the entire topological structure. Option A confuses the explicit approach with the operator approach — both are equivalent ways to define a topology.

Question 2

Which property of the closure operator is called 'idempotency,' and what does it mean geometrically?

• A. A ⊆ cl(A) — the closure always contains the original set
• B. cl(A ∪ B) = cl(A) ∪ cl(B) — closure distributes over unions
• C. cl(cl(A)) = cl(A) — applying closure twice gives the same result as applying it once, meaning closed sets are already saturated
• D. cl(∅) = ∅ — the closure of the empty set is empty

Answer: (C)

Idempotency means the operation stabilizes after one application: taking the closure of an already-closed set adds no new points. Geometrically, once you have added all the limit points of A to form cl(A), cl(A) is already closed — it has no missing limit points to add. This contrasts with operations like 'take the set of limit points of A' (the derived set), which is not idempotent in general. The fixed points of cl are precisely the closed sets.

Question 3

The interior operator and closure operator are related by the formula int(A) = (cl(Aᶜ))ᶜ.

• T. True
• F. False

Answer: True

This duality formula is fundamental: the interior of A equals the complement of the closure of the complement of A. Intuitively, the interior consists of all points 'entirely inside' A, while the closure of Aᶜ consists of all points that are 'not entirely inside' A. Taking the complement of that gives back the interior. This formula means every axiom for closure has a dual axiom for interior obtained by complementing and swapping containment direction and unions/intersections.

Question 4

A set A is open in a topological space if and only if A is a fixed point of the closure operator — that is, cl(A) = A.

• T. True
• F. False

Answer: False

This confuses fixed points of the two different operators. A set A is CLOSED if and only if cl(A) = A (the closure adds nothing new). A set A is OPEN if and only if int(A) = A (the interior removes nothing). These are dual conditions for dual operators. A set can be both open and closed (clopen), open but not closed, or closed but not open — but the characterization of openness belongs to the interior operator, not the closure operator.

Question 5

In what sense do Kuratowski's axioms 'characterize' a topology, and why is this conceptually significant?

Model answer: Kuratowski's axioms are not merely properties that closure operators happen to satisfy — they are sufficient to define a topology from scratch. Given any function cl : 𝒫(X) → 𝒫(X) satisfying the four axioms (cl(∅) = ∅, A ⊆ cl(A), cl(cl(A)) = cl(A), cl(A ∪ B) = cl(A) ∪ cl(B)), define the closed sets as the fixed points of cl. This uniquely determines a topology on X. Conversely, the closure operator of any topology satisfies exactly these axioms. So the axioms give a complete, equivalent alternative foundation for topology — you can build the entire structure from a closure operator without ever mentioning open sets.

The significance is that topology can be axiomatized in multiple equivalent ways: via open sets, via closed sets, via neighborhoods, or via a Kuratowski closure operator. Each formulation captures the same structure and sometimes one formulation is more natural than others in a given context. The closure-operator approach makes the algebraic structure of the operation itself — especially idempotency and its duality with interior — the primary object of study.