# Confusion with the proof that the Cantor set is closed

I have encountered the definition of Cantor set and its property.
Cantor set is constructed by removing the middle third open set of each interval .
So each time we get some union of closed sets.
As $F_0=[0,1]$
$F_1=[0,1/3]\cup [2/3,1]$
$F_2=[0,1/9]\cup [2/9,1/3]\cup [2/3,7/9]\cup [8/9,1]$
So on ,
That for $F_n$ we get the Union of $2^n$ closed interval .
I know that finite union of closed interval is closed, but this is not true for arbitarly union.
As I had a counterexample: $\cup$ {{1/n}|for $n$ $\in N$} as this is not closed as $0$ is not in that union.
So what is the argument here to say that $F_n$ is closed for any $n$ .
As we are using this fact to prove the Cantor set to be closed as $F=\cap_{n\to \infty} F_n$ i.e arbitarly intersection of closed set is closed .
Where am I misunderstanding?
Any help will be appreciated.

• For any fixed value of $n$, the set $F_n$ is a finite union of closed sets, therefore closed. There is no set $F_n$ which is not closed. The Cantor set is $\bigcap_{n=0}^{\infty} F_n$, which is a countable intersection of closed sets, therefore closed. Aug 30 '18 at 13:45
• Since you are interested in closed sets you should be more concerned with intersections rather than union.
– TSF
Aug 30 '18 at 13:50

This is better interpreted via complementation: At each stage $n+1$ a set of open intervals is removed from stage $n$. The completion of this as $n$ 'goes infinite' is the union of all removed open intervals, which is an open set. The complement of an open set is a closed set.

For any large $n$, $F_n$ is the union of finitely many closed intervals so it is closed.

As you mentioned the intersection of an arbitrary family of closed sets is closed so $F=\cap_{n\to \infty} F_n$ is closed.

Note that for each $n$ we have finitely many closed sets, no matter how large $n$ is, so the union is closed.

Your example of the infinite union of closed sets ${ 1/n } not being closed does not contradict the counter set because you are dealing with an infinite union of closed sets not an infinite intersection of closed sets. Since the$F_n^{\prime s}\$ are closed their complements are open sets. So,the complement of it's intersection is given by $$\left(\bigcap_nF_n\right)^c=\bigcup_nF_n^c$$ which is a union of open sets and therefore an open set.