Cardinality of $\mathbb{R}$ and $\mathbb{R}^2$

Solution 1:

Edited to add: As Andres pointed out in a comment, I had this the wrong way round: to use Schroeder-Bernstein, we want to exhibit injections (not surjections) in each direction. I think I have it right now.

Using decimal (or binary, ternary,...) expansions like this is very messy.

1. Your suggestion is obviously not an injection, because for every $(x,y)$ in the range, the integral parts of $x$ and $y$ are the same ($x_{i0}$ in your notation).
2. There are any number of bijections between $\mathbb R$ and the interval $(0,1)$. I'm sure you can think of a few. So we can reduce the problem to finding a bijection between $(0,1)$ and $(0,1)\times(0,1)$. In this case, your approach looks promising. But unfortunately it is spoilt by the fact that $0.abc09999...$ is equal to $0.abc10000...$. You can make the notion of decimal expansion unambiguous by always choosing the non-terminating one, but then when you try to extract two such decimal expansions as you have done, there is no guarantee that they will both be non-terminating. For instance, $0.7170707070707070...$ and $0.7079797979797979...$ both unpack to $(0.777777...,0.1)$.

So the usual approach is to show the existence of an injection in each direction, which guarantees the existence of a bijection by the Schroeder–Bernstein theorem.

There is the obvious injection from $(0,1)$ to $(0,1)\times(0,1)$ given by $x \mapsto (x,\frac12)$.

To go the other way, take $(x,y) \in (0,1)\times(0,1)$. We can express $x$ and $y$ as non-terminating decimal expansions $0.x_1x_2x_3\ldots$ and $0.y_1y_2y_3\ldots$ (non-terminating means that the number of non-zero digits is infinite). Now we map this to the number with decimal expansion $0.x_1y_1x_2y_2x_3y_3...$. This is not a bijection! But it is an injection, which is enough to prove that the cardinalities of $\mathbb R$ and $\mathbb R^2$ are equal.

Solution 2:

$$f(0.0090909090...)=(0.0999999,0)=(0.10000,0)=f(0.1000)$$ so $f$ is not a bijection.

we know there is a (continuous) surjective function $f:\mathbb{R}\to\mathbb{R}^2$ (or find any other surjective function). then by axiom of choice, there are some $A\subseteq\mathbb{R}$ and some bijection $g:A\to\mathbb{R^2}$. we have $$|\mathbb{R}^2|=|A|\leq|\mathbb{R}|\leq|\mathbb{R}^2|$$