Skip to content

Closed Set

Defines Closed Set, closed sets

Let (X,τ)(X, \tau) be a topological space.

Definition. A subset CXC \subseteq X is a closed set if its complement XCX \setminus C is an open set, i.e., XCτX \setminus C \in \tau.

Proposition. The collection of closed subsets of XX is closed under arbitrary intersections and finite unions. Moreover, \emptyset and XX 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). \square

Definition. The closure of a subset AXA \subseteq X is cl(A)={CX:AC and C is closed}\mathrm{cl}(A) = \bigcap \{ C \subseteq X : A \subseteq C \text{ and } C \text{ is closed} \}, the smallest closed set containing AA.

Proposition (Kuratowski axioms). The closure operator cl:P(X)P(X)\mathrm{cl} : \mathcal{P}(X) \to \mathcal{P}(X) satisfies:

  1. cl()=\mathrm{cl}(\emptyset) = \emptyset,
  2. Acl(A)A \subseteq \mathrm{cl}(A) for all AXA \subseteq X,
  3. cl(cl(A))=cl(A)\mathrm{cl}(\mathrm{cl}(A)) = \mathrm{cl}(A) (idempotence),
  4. cl(AB)=cl(A)cl(B)\mathrm{cl}(A \cup B) = \mathrm{cl}(A) \cup \mathrm{cl}(B).

Conversely, any operator cl:P(X)P(X)\mathrm{cl} : \mathcal{P}(X) \to \mathcal{P}(X) satisfying (1)–(4) determines a unique topology on XX whose closed sets are exactly the fixed points of cl\mathrm{cl}.

Proposition. A subset CXC \subseteq X is closed if and only if it contains all its limit points: for every xXx \in X, if every open set containing xx meets CC, then xCx \in C.

Proof sketch. xcl(A)x \in \mathrm{cl}(A) iff every open neighbourhood of xx intersects AA. So C=cl(C)C = \mathrm{cl}(C) iff CC contains all such points. \square

Examples.

  1. R\mathbb{R} with the standard topology. Closed intervals [a,b][a, b] are closed. The set Z\mathbb{Z} is closed (its complement is a union of open intervals).
  2. Discrete topology. Every subset is both open and closed.
  3. Indiscrete topology. The only closed sets are \emptyset and XX.

Relations

Date created
Mathematical object
Topological space

Cite

@misc{emsenn2025-closed-set,
  author    = {emsenn},
  title     = {Closed Set},
  year      = {2025},
  url       = {https://emsenn.net/library/math/domains/topology/terms/closed-set/},
  publisher = {emsenn.net},
  license   = {CC BY-SA 4.0}
}