1
$\begingroup$

I'm familiar with the fact that, if I'm not mistaken, there is a one-to-one correspondence between the unit interval $[0, 1]$ and the unit sphere $S^2$ though I'm not sure explicitly how to find it. My professor told me that in fact there is a one-to-one correspondence between the standard middle third Cantor set $C$ and the unit sphere $S^2$. Is that correct, and if so, how does one construct such a correspondence? This seems to be an interesting idea to investigate further, but I know of no articles that make any mention of this.

  • 1
    Since the Lebesgue measure of the $C$ is $0$ and the measure of $S^2$ is $4\pi$, Lebesgue measure cannot be preserved. What measure does the mapping preserve?2012-02-01

1 Answers 1

1

It's perhaps a surprising fact that the standard Cantor set has a continuous surjection onto any compact metric space, and in particular the sphere $S^2$. I'm not sure if the map that ends up getting constructed is an injection, but this at least gets you half of the way, continuously! This is discussed in some books on general topology, for instance in Hocking and Young's book Topology . There's an article by Yoav Benyamini that discusses some further consequences of this fact that you can find here.

  • 1
    It can't be a continuous bijection, since it would then (using compact-and-Hausdorff-ness) be a homeomorphism, and we would have a connected space homeomorphic to a disconnected one.2012-02-01