Let \(\mathcal{A} = \set{(a_1, a_2, a_3, \ldots): a_i
\in\mathbb{Z}}\text{,}\) and consider
\begin{equation*}
\mathcal{B}=\set{(b_1, b_2, b_3, \dots): b_i\in \{0, 1, \dots,
9\} \text{ and} \not\exists k\in \mathbb{N} \text{ s.t. } b_n =
9 \,\forall \,n \gt k }\subset \mathcal{A}.
\end{equation*}
That is, infinite sequences of natural numbers from \(0\) to \(9\) which do not end in infinitely many consecutive \(9\)’s. We will first show that \(\mathcal{B}\) is uncountable by constructing a bijection from \(\mathcal{B}\) to \([0,1)\text{.}\) Define \(f: \mathcal{B}\to [0,1)\) by
\begin{equation*}
f((b_1,
b_2, b_3, b_4, b_5, \dots)) = 0.b_1b_2b_3b_4b_5\dots.
\end{equation*}
This functions takes the \(i^{th}\) coordinate of \((b_1, b_2, b_3,
b_4, b_5, \dots)\) and sends it to the \(i^{th}\) decimal place following \(0\text{.}\) For example
\begin{equation*}
f((1,2,3,4,5,6, \dots))= 0.123456\dots.
\end{equation*}
To see that \(f\) is injective, let \(x= (x_1, x_2, x_3,
\dots)\) and \(y=(y_1, y_2, y_3, \dots)\) be elements of \(\mathcal{B}\) and suppose that \(f(x) = f(y)\text{.}\) Then
\begin{equation*}
0.x_1x_2x_3\dots = 0.y_1y_2y_3\dots.
\end{equation*}
Since our sequence does not terminate in 9’s, each real number in \([0,1)\) has a unique decimal representation, and we must have
\begin{align*}
x_1 \amp = y_1 \amp
x_2 \amp =y_2 \amp
x_3 \amp = y_3 \amp \cdots
\end{align*}
Therefore \(x=y\) and \(f\) is injective. It remains to show that \(f\) is surjective. Suppose \(s\in [0,1)\text{.}\) Then \(s\) takes the form
\begin{equation*}
0.s_1s_2s_3s_4s_5\dots
\end{equation*}
where \(s_j\in \{0, 1, \dots, 9\}\text{.}\) Since
\begin{equation*}
f((s_1, s_2, s_3, s_4, s_5, \dots)) = 0.s_1s_2s_3s_4s_5\dots
\end{equation*}
we have found an element of \(\mathcal{B}\) mapping to \(s\text{,}\) so \(f\) is surjective. Therefore, \(|\mathcal{B}| = |[0,1)|\text{,}\) so \(\mathcal{B}\) is uncountable. Since \(\mathcal{B} \subset
\mathcal{A}\text{,}\) \(\mathcal{A}\) is uncountable as well.