I know that $\mathbb{R}^2$ and $\mathbb{R}^2\setminus\{(0,0)\}$ are not homeomorphic. (For examle $\pi_1(\mathbb{R}^2)=\{e\}$, but $\pi_1(\mathbb{R}^2\setminus\{(0,0)\})=\mathbb{Z}$).

But what can be said about $\mathbb{Q}^2$ and $\mathbb{Q}^2\setminus\{(0,0)\}$? Is there a homeomorphism?


The rational numbers are the unique (up to isomorphism) metric space which is both countable and have no isolated points.

$\Bbb Q^2\setminus\{(0,0)\}$ is countable and without isolated points. Therefore the answer is yes. There is a homeomorphism.

  • 11
    $\begingroup$ at.yorku.ca/p/a/c/a/25.pdf here are the proofs of the Sierpiński theorem you refer to. $\endgroup$ – Damian Sobota Mar 7 '13 at 19:34
  • $\begingroup$ Unless I have misunderstood something, the same argument proves that there's a homeomorphism between $\mathbb Q$ and $\mathbb Q^2$. That seemed unlikely, but I did a Google search immediately produced mathoverflow.net/questions/26001/… . Thanks! $\endgroup$ – MJD Mar 8 '13 at 20:34
  • $\begingroup$ @MJD: You're welcome, I guess. :-) $\endgroup$ – Asaf Karagila Mar 8 '13 at 20:49

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.