$\Bbb {R^R}$ equinumerous to $\{f\in\Bbb{R^R}\mid f\text{ surjective}\}$

For given function $f:\Bbb{R}\to\Bbb{R}$, define $$\phi_f (x) = \begin{cases} \tan (\pi x/2) & \text{if }-1<x<1 \\ f(\tan(\pi (x-2)/2)) & \text{if }1<x<3 \\ 0 & \text{otherwise}\end{cases}.$$ You can check that the map $f\mapsto \phi_f$ is one-to-one. Also, $\phi_f$ is a surjection to $\Bbb{R}$.


It suffices to divide $\mathbb R$ into two sets $A$ and $B$ such that $|A|=|B|=|\mathbb R|$.

This means you have some bijection $\varphi$ from $A$ to $B$. I.e., you have pairs $a\in A$ and $\varphi(a)\in B$

Using these two subsets you can construct bijections $\mathbb R\to\mathbb R$ by choosing some pairs, which you swap, and letting other elements in place.

More formally, if $C\subseteq A$, then we can define $f\colon\mathbb R\to\mathbb R$ as $$ f(x)= \begin{cases} \varphi(x) & x\in C, \\ \varphi^{-1}(x) & x\in \varphi[C], \\ x & \text{otherwise}. \end{cases} $$

In this way we get a different bijection from $\mathbb R$ to $\mathbb R$ for every subsets of $A$. So there is at least as many bijections from $\mathbb R$ to $\mathbb R$ as the number of subsets of $A$, which is $2^{\mathfrak c}$.

If we denote by $\mathcal S$ the set of all surjections and $\mathcal B$ the set of all bijections (from $\mathbb R$ to $\mathbb R$), we have $$2^{\mathfrak c} \le |\mathcal B| \le |\mathcal S| \le |\mathbb R^{\mathbb R}|=\mathfrak c^{\mathfrak c}=2^{\mathfrak c}.$$


You can also have a look at this post on MO, which deals with bijections on arbitrary set: Cardinality of the permutations of an infinite set. In fact, Robin Chapman's answer posted there gives basically the same argument as I gave above. It should be mentioned that if we do the same argument for arbitrary set, we would use Axiom of Choice to get the decomposition $X=A\cup B$ such that $|X|=|A|=|B|$. Some details about role of AC here are give in Andreas Blass' answer to the same post.

There were also several posts about cardinality of the set of all bijections from $\mathbb N$ to $\mathbb N$. Some of the arguments given there can be used also for $\mathbb R$:

  • Cardinality of the set of bijective functions on $\mathbb{N}$?
  • Problems about Countability related to Function Spaces
  • An easy proof of the uncountability of bijections on natural numbers? at MathOverflow.

And you could find other similar questions.

Remark on use of Axiom of Choice. In connection with another question on this site, it might be also interesting whether we can do this in ZF. It's not difficult to see that we might replace $\mathbb R$ with $\mathbb R\setminus\{0\}$. (Since we can write down an explicit bijection between $\mathbb R$ and $\mathbb R\setminus\{0\}$.) If we choose $A=(0,\infty)$, $B=(-\infty,0)$ and $\varphi(x)=-x$, then the above construction gives an explicit bijection $f\colon \mathbb R\setminus\{0\} \to \mathbb R\setminus\{0\}$ for every $C\subseteq A$.