Closed Set
Let be a topological space.
Definition. A subset is a closed set if its complement is an open set, i.e., .
Proposition. The collection of closed subsets of is closed under arbitrary intersections and finite unions. Moreover, and are both closed.
Proof sketch. By De Morgan’s laws: the complement of an arbitrary intersection of closed sets is an arbitrary union of open sets (hence open), and the complement of a finite union of closed sets is a finite intersection of open sets (hence open).
Definition. The closure of a subset is , the smallest closed set containing .
Proposition (Kuratowski axioms). The closure operator satisfies:
- ,
- for all ,
- (idempotence),
- .
Conversely, any operator satisfying (1)–(4) determines a unique topology on whose closed sets are exactly the fixed points of .
Proposition. A subset is closed if and only if it contains all its limit points: for every , if every open set containing meets , then .
Proof sketch. iff every open neighbourhood of intersects . So iff contains all such points.
Examples.
- with the standard topology. Closed intervals are closed. The set is closed (its complement is a union of open intervals).
- Discrete topology. Every subset is both open and closed.
- Indiscrete topology. The only closed sets are and .