Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Does anyone know a proof that the Cantor set, $\{0,1\}^{\mathbb{N}}$, has a dense subset homeomorphic to the Baire space, $\mathbb{N}^{\mathbb{N}}$? Thank you.

share|improve this question
I am fairly certain that I posted an answer about that before. I am using my iPhone so it's hard to locate now. –  Asaf Karagila Dec 9 '12 at 8:15

2 Answers 2

up vote 4 down vote accepted

Hint: If $x = ( x_n )_{n \in \mathbb{N}}$ is an element of the Baire space $\mathcal{N} = \mathbb{N}^\mathbb{N}$, map it to $$0^{x_0} 1 0^{x_1} 1 \cdots$$ where by $0^k$ we mean the length $k$ sequence consisting of only zeroes. You then show that this is a homeomorphic embedding of $\mathcal{N}$ into $2^{\mathbb{N}}$. There is an nice description of the range of this function that makes its denseness in $2^{\mathbb{N}}$ quite easy to demonstrate.

share|improve this answer
Thank you for your hint. It was really helpful. –  Frank Zermelo Dec 11 '12 at 1:51

If you happen to have it handy, there’s a pile-driver that takes care of the problem in short order: a characterization of the irrationals due originally to Aleksandrov, if I’m not mistaken. The space of irrationals is (up to homeomorphism) the unique zero-dimensional, separable, Čech-complete metrizable space that is nowhere locally compact. A Tikhonov space is Čech-complete iff it’s a $G_\delta$ in some (and in fact in any) compactification. Let $$X=\left\{x\in\{0,1\}^{\Bbb N}:x\text{ is not eventually constant}\right\}\;.$$ ($X$ corresponds to the points of the middle-thirds Cantor set that are not endpoints of removed intervals.)

  • $X$ and $\{0,1\}^{\Bbb N}\setminus X$ are both dense in $\{0,1\}^{\Bbb N}$, which is therefore a compactification of $X$.
  • $\{0,1\}^{\Bbb N}\setminus X$ is countable, so $X$ a $G_\delta$ in its compactification $\{0,1\}^{\Bbb N}$ and is therefore Čech-complete.
  • $\{0,1\}^{\Bbb N}$ is a zero-dimensional, separable metrizable space, so $X$ is as well.
  • That $X$ is nowhere locally compact follows easily from the fact that its complement is dense in $\{0,1\}^{\Bbb N}$.
share|improve this answer
I must admit it seemed a bit obfuscated to me until I realised that "separable + Čech-complete + metrizable" = Polish. –  Arthur Fischer Dec 9 '12 at 15:22

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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