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.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I'm reading a proof of Urysohn's lemma. The author constructs a sequence of open sets indexed by dyadic numbers, i.e. numbers of the form $\frac{p}{2^n}$. The proof starts at the bottom of page 4.

I don't seem to fully understand the proof, otherwise I could probably answer this question myself:

Where does he use that the indices are dyadic? At my current level of understanding it appears to me that one could use rationals to index these sets.

Many thanks for your help once again!

share|cite|improve this question
Yes, you can use rationals to index the sets, but some authors think the dyadic argument is slightly nicer to present. – Qiaochu Yuan Apr 6 '11 at 18:47
up vote 3 down vote accepted

He uses the dyadic rationals because they have a nice structure. All the ones with denominator $2^n$ are at height $n$ and between any two neighbors at height $n$ there is exactly one at height $n+1$. This allows him to use Lemma 3.7 to construct $U_r$ for each dyadic rational $r$ and have it interleave properly.

share|cite|improve this answer
Would you mind spelling this out with a small example or two? Preferably with reference to this picture Thanks! – bolbteppa Apr 14 '14 at 18:37

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.