Skip to main content
added 735 characters in body; added 1 characters in body
Source Link
Simon Thomas
  • 8.3k
  • 4
  • 42
  • 57

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})$.

There is an interesting open problem related to your question of whether an isomorphism can be found which does not make use of the vector space machinery. If we add a Ramsey ultrafilter $\mathcal{U}$ to $L(\mathbb{R})$, then we obtain an interesting model $L(\mathbb{R})[\mathcal{U}]$ which contains the ultrafilter $\mathcal{U}$ while still retaining some of the "nice" properties of $L(\mathbb{R})$. In particular, neither $\mathbb{R}$ nor $\mathbb{R}^{2}$ has a basis as a vector space over $\mathbb{Q}$ in $L(\mathbb{R})[\mathcal{U}]$ . However, it is unknown whether or not $\mathbb{R} \cong \mathbb{R}^{2}$ in $L(\mathbb{R})[\mathcal{U}]$. In other words, does an ultrafilter help in trying to construct such an isomorphism?

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})$.

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})$.

There is an interesting open problem related to your question of whether an isomorphism can be found which does not make use of the vector space machinery. If we add a Ramsey ultrafilter $\mathcal{U}$ to $L(\mathbb{R})$, then we obtain an interesting model $L(\mathbb{R})[\mathcal{U}]$ which contains the ultrafilter $\mathcal{U}$ while still retaining some of the "nice" properties of $L(\mathbb{R})$. In particular, neither $\mathbb{R}$ nor $\mathbb{R}^{2}$ has a basis as a vector space over $\mathbb{Q}$ in $L(\mathbb{R})[\mathcal{U}]$ . However, it is unknown whether or not $\mathbb{R} \cong \mathbb{R}^{2}$ in $L(\mathbb{R})[\mathcal{U}]$. In other words, does an ultrafilter help in trying to construct such an isomorphism?

deleted 35 characters in body; added 17 characters in body
Source Link
Simon Thomas
  • 8.3k
  • 4
  • 42
  • 57

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}$. (This is because, assuming suitable large cardinals, every map $f: \mathbb{R} \to \mathbb{R}$ is measurable in $L(\mathbb{R})$.) Thus $\mathbb{R} \not \cong \mathbb{R}^{2}$ in $L(\mathbb{R})$.

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 suitable large cardinals, the only additive endomorphisms of $\mathbb{R}$ in $L(\mathbb{R})$ are the maps $x \mapsto rx$ for some $r \in \mathbb{R}$. (This is because, assuming suitable large cardinals, every map $f: \mathbb{R} \to \mathbb{R}$ is measurable in $L(\mathbb{R})$.) Thus $\mathbb{R} \not \cong \mathbb{R}^{2}$ in $L(\mathbb{R})$.

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})$.

Source Link
Simon Thomas
  • 8.3k
  • 4
  • 42
  • 57

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 suitable large cardinals, the only additive endomorphisms of $\mathbb{R}$ in $L(\mathbb{R})$ are the maps $x \mapsto rx$ for some $r \in \mathbb{R}$. (This is because, assuming suitable large cardinals, every map $f: \mathbb{R} \to \mathbb{R}$ is measurable in $L(\mathbb{R})$.) Thus $\mathbb{R} \not \cong \mathbb{R}^{2}$ in $L(\mathbb{R})$.