Map From the Cantor Set to the Unit Interval Let $f: C \rightarrow I$ map each point of the middle third Cantor set $C$, expressed as a ternary number which contains only digits $0$ and $2$, to the set of real numbers in $I=[0,1]$ expressed in base $2$ according the the rule:
$0.a_1a_2a_3...\rightarrow 0.b_1b_2b_3...$
where $b_i = \frac{a_i}{2}$.
How do I prove this map is continuous?

Fix a ternary expansion
$$x = \frac{a_1}{3} + \frac{a_2}{3^2} + \frac{a_3}{3^3} + \ldots,$$
where $a_n = 0, 2$ for all $n$. Further, fix $\varepsilon > 0$. Choose an $m \in \mathbb{N}$ such that $2^{-m} < \varepsilon$. Note that two binary expansions are within $2^{-m}$ if they agree up to their $m$th bit. That is, necessarily,
$$\left|\left(\frac{b_1}{2} + \ldots + \frac{b_m}{2^m} + \frac{b_{m+1}}{2^{m+1}}+\ldots\right) - \left(\frac{b_1}{2} + \ldots + \frac{b_m}{2^m} + \frac{b'_{m+1}}{2^{m+1}}+\ldots\right)\right| < 2^{-m} < \varepsilon.$$
Consider another ternary expansion
$$y = \frac{b_1}{3} + \frac{b_2}{3^2} + \frac{b_3}{3^3} + \ldots.$$
If $x \neq y$, then the ternary expansions must differ (note: this is not true in general, but true in our case since we are taking only ternary expansions with $0$ and $2$ trits). Let $k$ be the first digit that differs, that is, $b_k \neq a_k$, but $b_n = a_n$ for $n < k$. Then $|a_k - b_k| = 2$, and
\begin{align*}
|x - y| &\ge \frac{|a_k - b_k|}{3^k} - \frac{|a_2 - b_2|}{3^{k+1}} - \frac{|a_3 - b_3|}{3^{k+2}} - \ldots \\
&\ge \frac{2}{3^k} - \frac{2}{3^{k+1}} - \frac{2}{3^{k+2}} - \ldots = \frac{1}{3^k}.
\end{align*}
Therefore, if we set $\delta = 3^{-m}$, then $|y - x| < \delta$ implies that the ternary expansion agrees at least to $m$ trits. Thus, $f(y) - f(x)$ agree to $m$ bits, hence $|f(y) - f(x)| < 2^{-m} < \varepsilon$. This proves continuity.
