Return to Revisions

You cannot prove that $\mathbb{R}$ and $\mathbb{R}^{2}$ are isomorphic in $ZF$. To see this, note that the map $(x,y) \mapsto (x,0)$ is a nontrivial non-surjective additive endomorphism of $\mathbb{R}^{2}$. Assuming the existence of suitable large cardinals, every map $f: \mathbb{R} \to \mathbb{R}$ is measurable in $L(\mathbb{R})$ and it follows that the only additive endomorphisms of $\mathbb{R}$ in $L(\mathbb{R})$ are the maps $x \mapsto rx$ for some $r \in \mathbb{R}$. Thus $\mathbb{R} \not \cong \mathbb{R}^{2}$ in $L(\mathbb{R})$.