This topic came out today during a discussion with a colleague. I realized that a counter-example to his claim could be constructed if there exits a subset $A \subset [0,1]$ such that $0 < \mu(A) < 1$ (where $\mu$ is Lebesgue measure), $A$ is dense in $[0,1]$ (with respect to the standard topology on $\mathbb{R}$), $\textit{and } A \textit{ does not contain an interval}$. However, I am not sure whether such a set exists. So the question is: do such sets exist? If so, is there an explicit construction, if not, how does one prove non-existence?
Are there dense sets of positive but not full measure?
Stanley Yao Xiao
- 26.9k
- 7
- 49
- 143