Real Numbers are Uncountably Infinite/Set-Theoretical Approach: Proof 2

Proof
By Cantor's Theorem there is no surjection:
 * $\N \twoheadrightarrow \powerset \N$

Additionally, we have Power Set of Natural Numbers is not Countable.

Therefore, if we can show that $\powerset \N$ injects into $\R$ then there is no injection $\R \hookrightarrow \N$ and $\R$ is uncountable.

To prove the theorem we construct an injection $f: \powerset \N \to \R$.

For a subset $S \subseteq \N$, let $\chi_S$ be the characteristic function of $S$, and let $d_i = \map {\chi_S} i$ for all $i \in \N$.

By the definition of characteristic function, $\sequence {d_i}_{i \mathop \in \N}$ is an infinite sequence of $1$s and $0$s.

There are two cases: $\sequence {d_i}_{i \mathop \in \N}$ terminates in an infinite sequence of $1$s, or it does not.

Suppose $\sequence {d_i}_{i \mathop \in \N}$ does not terminate in an infinite sequence of $1$s.

Then $\map f S$ is the binary expansion of the following number in $\hointr 0 1$:
 * $0.d_1 d_2 d_3 d_4 \ldots$

Otherwise $\sequence {d_i}_{i \mathop \in \N}$ does terminate in an infinite sequence of $1$s.

Then $\map f S$ is the integer expressed in binary as:
 * $1 d_1 d_2 d_3 \ldots d_k$

where $d_k$ is the last member of the sequence not equal to $1$.

In either case, every subset of $\N$, that is, element of $\powerset \N$, is mapped to an element of $\R$.

That $f$ is an injection follows from the uniqueness statement of Existence of Base-N Representation.