Closed sets are complements of open sets
A set is closed iff its complement is open; closed sets are stable under intersections
Closed sets are complements of open sets
Closed sets are complements of open sets: In a metric space , a set is closed if and only if is open .
Consequently:
- arbitrary intersections of closed sets are closed, and
- finite unions of closed sets are closed.
This duality between open and closed sets is a basic tool in topology and analysis, especially for closure , limit points , and compactness arguments.
Proof sketch (optional): If is open, then points outside have neighborhoods disjoint from , so all limit points of must lie in . Conversely, if contains all its limit points, then each point outside has positive distance to , giving an open ball contained in the complement.