Definition: A set $S \in \mathbb{R}$ is open if its complement is closed.
Let the Cantor set be defined as $C=\bigcap_{k=0}^\infty S_k$ and let $S_0=[0,1]$ and let $S_k$ be defined in the following manner for $k\geq 1$.
\begin{align*} S_1&=S_0-\left(\frac{1}{3},\frac{2}{3}\right)=\left[0,\frac{1}{3}\right]\cup\left[\frac{2}{3}, 1\right],\\ S_2&=S_1-\left\{\left(\frac{1}{9}, \frac{2}{9}\right)\cup \left(\frac{7}{9}, \frac{8}{9}\right)\right\}=\left[0,\frac{1}{9}\right]\cup\left[\frac{2}{9}, \frac{3}{9}\right]\cup\left[\frac{6}{9}, \frac{7}{9}\right]\cup\left[\frac{8}{9},1\right],\\ S_3&=S_2-\left\{ \left(\frac{1}{27}, \frac{2}{27}\right)\cup \left(\frac{7}{27}, \frac{8}{27}\right)\cup \left(\frac{19}{27}, \frac{20}{27}\right)\cup \left(\frac{25}{27}, \frac{26}{27}\right) \right\}\\ &=\left[0, \frac{1}{27}\right]\cup\left[ \frac{2}{27}, \frac{3}{27}\right]\cup\left[ \frac{6}{27}, \frac{7}{27}\right]\cup\left[ \frac{8}{27}, \frac{9}{27}\right]\cup\left[ \frac{18}{27}, \frac{19}{27}\right]\cup\left[ \frac{20}{27}, \frac{21}{27}\right]\cup\left[ \frac{24}{25}, \frac{25}{27}\right]\cup\left[ \frac{26}{27}, 1\right]\\ \vdots \end{align*}
The ultimate goal is to show that the cantor set is compact. I know that it is bounded between $[0,1]$, but I need to use an induction proof to show that it is closed.
I have only gotten as far as the base case. The complement for the interval $[0,1]$ is the union of open sets $(-\infty,0)\cup (1,\infty)$. Hence the interval $[0,1]$ is closed.
How would one set up this induction?