10
$\begingroup$

I am studying a function whose Fourier transform is zero on a set of strictly positive Lebesgue measure and I need to know this:

If a set has a strictly positive Lebesgue measure can we prove that it contains an interval?

Help is much appreciated

$\endgroup$
1
  • 6
    $\begingroup$ How about the irrationals? $\endgroup$
    – Alex R.
    Jun 10 '16 at 21:43
16
$\begingroup$

Nope. There is a standard construction of "fat Cantor sets" which have positive measure but are in fact nowhere dense, which is considerably stronger than merely containing no intervals. The construction proceeds much like constructing a Cantor set with zero measure except that the lengths of the deleted intervals decay more rapidly, and so they sum up to less than the total measure of the interval you started with. See https://en.wikipedia.org/wiki/Smith%E2%80%93Volterra%E2%80%93Cantor_set for details.

$\endgroup$
2
  • $\begingroup$ Out of curiosity, ist there a null set N and an interval (a,b) such that the Intervall is included in the union of N and the fat Cantor Set? $\endgroup$ Oct 2 '19 at 17:47
  • $\begingroup$ @JosephDoob No, because a fat Cantor set always undershoots the measure of the interval in which it is contained by some $\epsilon$. $\endgroup$
    – Ian
    Aug 18 at 12:01
17
$\begingroup$

The irrationals are an easy example of not having this property.

$\endgroup$
3
  • $\begingroup$ The irrationals have measure 0, being a countable union of points. $\endgroup$ May 1 '20 at 7:01
  • 2
    $\begingroup$ @JyotirmoyBhattacharya The irrationals are not countable. $\endgroup$ May 27 '20 at 21:24
  • $\begingroup$ @eigenvalues_question You are right. I dont know how I made that comment. $\endgroup$ May 28 '20 at 5:47

This site is temporarily in read only mode and not accepting new answers.

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