Skip to main content
4 of 4
edited tags
YCor
  • 63.9k
  • 5
  • 187
  • 286

Embedding into $C\times [0,1]$

Every totally disconnected separable metric space of dimension $n$ homeomorphically embeds into $C\times \mathbb R ^n$.

Is something like this known? $X$ is totally disconnected means that every point in $X$ is equal to the intersection of all clopen sets containing the point. $C$ is the Cantor set.

It is known that there are totally disconnected spaces of arbitrary dimension. But what about just $n=1$? How might we prove $X$ embeds into $C\times [0,1]$?

D.S. Lipham
  • 3.3k
  • 1
  • 14
  • 31