Explicit Bijection between Reals and $2 \times 2$ Matrices over the Reals I understand that the set of all 2x2 matrices over the reals is of the same cardinality as the set of the reals themselves.  However, I am curious if a specific, explicit bijection is known to exist, and, if so, what that bijection is.  This will be interesting and useful to me in a project that I am working on.
 A: $\newcommand{\bbR}{\mathbb{R}}$
$\newcommand{\bbZ}{\mathbb{Z}}$
The fundamental reason why the bijection that you are working for exists is that the cardinalities agree. There are, however, a lot of sets with this cardinality, so you should not expect any especially nice or explicit or distinguished bijection in general (note that the proof that such bijection exists is not quite constructive). We will construct an example, but bear in mind that this bijection will respect pretty much no structure that there is on $\bbR$ (or on the matrices).
Note that $2 \times 2$ matrices are the same as quadruples of reals, i.e. $\bbR^4$, so it will suffice to find the bijection between $\bbR$ and $\bbR^4$. To make life a little easier, let us consider something a little simpler: a bijection between $\bbR$ and $\bbR^2$ (it will be obvious how to generalise). It is convenient to think of reals as their decimal expansion. Given $x \in \bbR$, you can write it as $x = x_n x_{n-1} \dots x_1x_0.x_{-1}x_{-2} \dots$, where $x_i \in \{0,\dots,9\}$ is the digit corresponding to $10^{i}$. You can think of these digits as of a sequence indexed by $\bbZ$ with $x_i = 0$ for $i$ large enough. Let us denote the set of these sequences by $S$.
It is almost the case that $\bbR$ can be identified with $S$, but there is one twist: some numbers have two different expansions, like $0.99999... = 1$. However, there are only countably many of these, so let us not bother with them for the time being. 
Now, it is fairly easy to identify $S^2$ with $S$: given two sequences 
$x = x_n x_{n-1} \dots x_1x_0.x_{-1}x_{-2} \dots$ and $y = y_n y_{n-1} \dots y_1y_0.y_{-1}y_{-2} \dots$ (wlog, they have the same number of significant digits, else fill in some extra $0$'s) assign to them $$f(x,y) := y_n x_n y_{n-1} x_{n-1} \dots y_1x_1y_0x_0.y_{-1}x_{-1}y_{-2}x_{-2} \dots$$ The reverse map is given by: 
$$
g(z_{2m+1}z_{2m-1}\dots z_1z_0,z_{-1}\dots) = (z_{2m}z_{2m-2}\dots z_0,z_{-2}\dots, z_{2m+1}z_{2m-1}\dots z_1,z_{-1}\dots)
$$
Combining this with identification of $S$ with $\bbR$, you find your bijection (modulo some technicalities for $S$ not being quite the same as $\bbR$)
