Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

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

Let $P$ be the set of irrational numbers in $[0,1]$. The set $P$ has Lebesgue measure $1$ and by regularity, there is for every $\epsilon>0$ a compact set $C\subseteq P$ satisfying $\lambda(C)>1-\epsilon$. The proof I know for this fact gives no indication as to how the approximating compact sets might look like. This leaves a big gap in my intuition and I would therefore like to know:

Is there an explicit way to construct for a given $\epsilon>0$ a compact set $C$ of irrational numbers between $0$ and $1$ such that $\lambda(C)>1-\epsilon$?

share|cite|improve this question
up vote 3 down vote accepted

Enumerate $\Bbb Q\cap[0,1]$ as $\{q_n:n\in\Bbb Z^+\}$. Let $$V_{\epsilon}=\bigcup_{n\in\Bbb Z^+}B\left(q_n,\frac{\epsilon}{2^n}\right)\;,$$ and let $K_{\epsilon}=[0,1]\setminus V$.

Note that $K_\epsilon$ is nowhere dense, so it is necessarily a Cantor set.

share|cite|improve this answer
Thanx. I should have remembered this construction. – Michael Greinecker Mar 10 '12 at 13:38

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.