2
$\begingroup$

Does $m(E)>0$ imply that $E$ must contain a nondegenerate interval?

$E\subset\mathbb{R}.$ $m$ refers to Lebesgue measure. $I$ refers to a nondegenerate interval.

$\endgroup$
1
  • 1
    $\begingroup$ No. Interestingly enough, though, if $m(A)>0$ then $(-a,a) \subseteq A-A$ for some $a> 0$. Where $A-A$ is the difference set of $A$. $\endgroup$
    – doppz
    Commented Oct 26, 2013 at 21:20

2 Answers 2

12
$\begingroup$

For a simple counterexample, try the irrational numbers in any interval

$\endgroup$
6
$\begingroup$

No, try any fat Cantor set. $ $

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .