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 (X,d)(X,d), a set FXF\subseteq X is if and only if XFX\setminus F is .

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 , , and compactness arguments.

Proof sketch (optional): If XFX\setminus F is open, then points outside FF have disjoint from FF, so all limit points of FF must lie in FF. Conversely, if FF contains all its limit points, then each point outside FF has positive distance to FF, giving an contained in the complement.