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

From ProofWiki
Jump to navigation Jump to search


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$.


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$.


$\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.