Closure of Union contains Union of Closures

From ProofWiki
Jump to navigation Jump to search


Let $T = \struct {S, \tau}$ be a topological space.

Let $\mathbb H$ be a set of subsets of $S$.

That is, let $\mathbb H \subseteq \powerset S$ where $\powerset S$ denotes the power set of $S$.

Then the union of the closures of the elements of $\mathbb H$ is a subset of the closure of the union of $\mathbb H$:

$\displaystyle \bigcup_{H \mathop \in \mathbb H} \map \cl H \subseteq \map \cl {\bigcup_{H \mathop \in \mathbb H} H}$


Let $\displaystyle K = \bigcup_{H \mathop \in \mathbb H} \map \cl H$ and $\displaystyle L = \bigcup_{H \mathop \in \mathbb H} H$.

We have:

$\forall H \in \mathbb H: H \subseteq L$

so from Topological Closure of Subset is Subset of Topological Closure:

$\map \cl H \subseteq \map \cl L$

It follows from Union is Smallest Superset: General Result that:

$K \subseteq \map \cl L$