Infinite Union of Closed Sets of Metric Space may not be Closed

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $M = \struct {A, d}$ be a metric space.

Let $V_1, V_2, V_3, \ldots$ be an infinite set of closed sets of $M$.


Then it is not necessarily the case that $\displaystyle \bigcup_{n \mathop \in \N} V_n$ is itself a closed set of $M$.


Proof

Consider the closed real interval:

$\closedint {\dfrac 1 n} 1 \subseteq \R$

From Closed Real Interval is Closed Set, $\closedint {\dfrac 1 n} 1$ is closed in $\R$ for all $n \in \N$.

But:

$\displaystyle \bigcup_{n \mathop \in \N} \closedint {\dfrac 1 n} 1 = \hointl 0 1$

The result follows from Half-Open Real Interval is neither Open nor Closed.

$\blacksquare$


Sources