# closure of finite unions

$\newcommand{\cl}{\mathrm{cl}}$ Let $X$ be a topological space and let $A_1,\ldots A_n\subset X$. Is it true that $$\cl\left(\bigcup_{m=1}^nA_m\right)=\bigcup_{m=1}^n\cl(A_m)$$ in an arbitrary topological space?

-
Change the index $A_n$ to $A_m$ just to make the question mathematically perfect :-) – Kasun Fernando Jul 9 '12 at 12:31
Fixed the index! :-) – hardmath Jul 9 '12 at 12:37
Using \operatorname{cl} should give proper spacing (better than \mathrm{cl}. See What's the difference between \mathrm and \operatorname? at TeX.SE. – Martin Sleziak Jul 11 '12 at 6:30
Perhaps I should add to the previous comment that that's how it work in proper LaTeX. However most things work the same way in LaTeX and Mathjax. \\ On an unrelated note: I don't think that elementary-set-theory tag fits here very good. – Martin Sleziak Jul 11 '12 at 7:47

It is true.

$A \subset A \cup B$ and $B \subset A \cup B$ implies $\textrm{cl}(A) \subset \textrm{cl}(A \cup B)$ and $\textrm{cl}(B) \subset \textrm{cl}(A \cup B)$. Hence $\textrm{cl}(A) \cup \textrm{cl}(B) \subset \textrm{cl}(A \cup B)$.

$\textrm{cl}(A) \cup \textrm{cl}(B)$ is closed. (since the two component sets are closed) Also, we know that $A\subset \textrm{cl}(A)$ and $B\subset \textrm{cl}(B).$ Hence, $(A \cup B) \subset \textrm{cl}(A) \cup \textrm{cl}(B)$ and it follows that $\textrm{cl}(A \cup B) \subset \textrm{cl}(A) \cup \textrm{cl}(B)$

So the result is true for any two sets. We can extend this result to any finite number of sets using induction. Thus, the result you wanted to prove holds.

-
If you want the closure operator to not be in italics you can go \textrm{cl} instead of just cl. – user38268 Jul 9 '12 at 12:39
Thanks a lot. I didn't know that! – Kasun Fernando Jul 9 '12 at 12:48
You can also use \operatorname{cl} for $\operatorname{cl}.$ – Cameron Buie Sep 18 '15 at 6:30

It is. The closure of a set is the smallest closed superset (a good exercise, if you've not encountered that result before), and a union of finitely many closed sets is closed. From that, proving double inclusion is fairly straightforward.

Suppose $A_1,...,A_n$ are arbitrary subsets of the topological space $X$. For any $1\leq j\leq n$, we have $$A_j\subseteq\bigcup_{m=1}^nA_m\subseteq\mathrm{cl}\left(\bigcup_{m=1}^nA_m\right),$$ so since $\mathrm{cl}(A_j)$ is the smallest closed superset of $A_j$, then $$\mathrm{cl}(A_j)\subseteq\mathrm{cl}\left(\bigcup_{m=1}^nA_m\right),$$ and since this holds for all $1\leq j\leq n$, then $$\bigcup_{m=1}^n\mathrm{cl}(A_m)\subseteq\mathrm{cl}\left(\bigcup_{m=1}^nA_m\right).$$

Remark: The above portion of the containment also works with infinitely many sets, meaning $\bigcup_{j\in J}\mathrm{cl}(A_j)\subseteq\mathrm{cl}\left(\bigcup_{j\in J}A_j\right)$ for any indexed set $\{A_j\}_{j\in J}$ of subsets of $X$.

On the other hand, we also have for each $1\leq j\leq n$ that $$A_j\subseteq\mathrm{cl}(A_j)\subseteq\bigcup_{m=1}^n\mathrm{cl}(A_m),$$ so since that holds for all $1\leq j\leq n$, we have $$\bigcup_{m=1}^nA_m\subseteq\bigcup_{m=1}^n\mathrm{cl}(A_m).$$ Now $\mathrm{cl}\left(\bigcup_{m=1}^nA_m\right)$ is the smallest closed superset of $\bigcup_{m=1}^nA_m$, so since a union of finitely many closed sets is closed--meaning in particular that $\bigcup_{m=1}^n\cl(A_m)$ is closed--we have that $$\mathrm{cl}\left(\bigcup_{m=1}^nA_m\right)\subseteq\bigcup_{m=1}^n\mathrm{cl}(A_m),$$ and so $$\bigcup_{m=1}^n\mathrm{cl}(A_m)=\mathrm{cl}\left(\bigcup_{m=1}^nA_m\right)$$ by double inclusion.

Remark: The second half of the inclusion might not hold for infinitely-many sets (it does sometimes). Consider, for each positive integer $n$, the real interval $$A_n:=\left(\frac{1}{n+1},\frac{1}{n}\right),$$ with $X:=\Bbb R$ in the standard topology. Clearly, $\mathrm{cl}(A_n)=\left[\frac{1}{n+1}\frac 1 n\right]$, from which we can show that $$\bigcup_{n=1}^\infty\cl(A_n)=(0,1]$$...but that isn't even closed, so can't possibly be the same thing as $\mathrm{cl}\left(\bigcup_{n=1}^\infty A_n\right)$. Fortunately, we do know by the first part that $$\bigcup_{m=1}^\infty A_n\subseteq (0,1]\subseteq\mathrm{cl}\left(\bigcup_{n=1}^\infty A_n\right),$$ and so the smallest closed superset of $\bigcup_{n=1}^\infty A_n$ is also a superset of $(0,1]$. Well, what is the smallest closed superset of $(0,1]$? That has to be $[0,1]$, so $$\bigcup_{m=1}^\infty \mathrm{cl}(A_n)=(0,1]\subset [0,1]=\mathrm{cl}\left(\bigcup_{n=1}^\infty A_n\right)$$ in this case. There are other ways to show that $\mathrm{cl}\left(\bigcup_{m=1}^\infty A_n\right)=[0,1]$, but this is probably the most direct.

-
What about the infinite open subsets? Is the result remained valid or not? – Babak S. Jul 9 '12 at 12:02
Regardless of the nature of the sets we consider this result holds true. Even though it is not explicitly mentioned, the sets we consider are arbitrary sets! – Kasun Fernando Jul 9 '12 at 13:18

There is a lemma for the infinite subsets:

For every locally finite family $\{A_s : s\in S\}$ we have the equality $$\cl\left(\bigcup A_s :s\in S \right)=\bigcup_{s \in S } \cl(A_s).$$

See the Page 17, theorem 1.1.11 of EngelKing's book.

-

I thought that it might be useful to give also the proof based on the characterization of closure via neighborhoods. I'll give the proof for two sets.

$x\in\cl{A}$ $\Leftrightarrow$ Every neighborhood $U$ of $x$ intersects $A$.

If we denote by $\mathcal N_x$ the system of all neighborhoods of $x$, this can be rewritten shortly as $$x\in\cl{A} \Leftrightarrow (\forall U\in\mathcal N_x) (U\cap A\ne\emptyset).$$

Now we get:
$$x\in \cl(A\cup B)\Leftrightarrow\\ (\forall U\in\mathcal N_x) U\cap (A\cup B) \ne\emptyset \Leftrightarrow\\ (\forall U\in\mathcal N_x) (U\cap A\ne\emptyset)\lor(U\cap B\ne\emptyset).$$

We can similarly characterize union of the closures:
$$x\in \cl(A)\cup\cl(B) \Leftrightarrow [(\forall U\in\mathcal N_x) U\cap A\ne\emptyset]\lor[(\forall V\in\mathcal N_x) V\cap B\ne\emptyset].$$

From the above it is clear that $x\in \cl(A) \cup \cl(B)$ implies $x\in\cl(A\cup B)$. To show the converse implication we should use the fact that we are working with neighborhoods of $x$ and they are closed under intersections.

Suppose that $x\notin \cl(A)\cup \cl(B)$. This means that $$[(\exists U\in\mathcal N_x) U\cap A=\emptyset] \land [(\exists V\in\mathcal N_x) V\cap B=\emptyset].$$ If $U$ and $V$ have the properties as above, then $W=U\cap V$ is again a neighborhood of $x$ and $W\cap (A\cup B)=\emptyset$. Hence $x\notin \cl(A\cup B)$.

-