9
$\begingroup$

Is it consistent with ZFC that there is a subset of $[0,1]$ whose cardinality is less than that of the continuum but which has positive Lebesgue measure?

Obviously not given CH. And, given ZFC, there is such a subset iff there is a subset of full measure that has cardinality less than that of the continuum. Moreover, I think it follows from the consistency of ZFC with the non-existence of Sierpinski subsets of $[0,1]^2$ that it is consistent with ZFC that there is a subset of $[0,1]$ whose cardinality is less than that of the continuum and which has positive outer Lebesgue measure.

Improve this question
$\endgroup$
3
  • 1
    $\begingroup$ Inner regularity of Lebesgue measure implies that every set with positive measure has a Cantor subset of positive measure. This is contained in undergraduate courses in real analysis, so I vote to close. $\endgroup$
    – Bill Johnson
    Commented Mar 25, 2013 at 15:34
  • 4
    $\begingroup$ @Bill, in fairness, not in everyone's course on measure theory (although perhaps I just didn't do that particular homework exercise that week) $\endgroup$
    – Yemon Choi
    Commented Mar 25, 2013 at 16:45
  • 1
    $\begingroup$ I wonder now: Is it consistent with ZFC that there is a translation-invariant extension of Lebesgue measure that assigns non-zero measure to some set of cardinality less than the continuum? Maybe I should make that a separate question. $\endgroup$
    – Alexander Pruss
    Commented Mar 25, 2013 at 18:32

1 Answer 1

Reset to default
18
$\begingroup$

No. It is a famous exercise that if $X\subset\mathbf{R}$ has positive measure then $X-X$ contains an interval. It follows that $X$ has cardinality continuum.

Improve this answer
$\endgroup$
7
  • 2
    $\begingroup$ Thanks! I was about to delete my question in light of <a href="mathoverflow.net/questions/8972/…> (which has good information on related stuff) and then I saw your very quick answer. $\endgroup$
    – Alexander Pruss
    Commented Mar 25, 2013 at 14:48
  • $\begingroup$ Link was bad: mathoverflow.net/questions/8972/… $\endgroup$
    – Alexander Pruss
    Commented Mar 25, 2013 at 14:48
  • 2
    $\begingroup$ Alternatively, if $X\subset[0,1]$ has positive measure, find $x\in[0,1]$ such that $[0,x]\cap X$ and $[x,1]\cap X$ both have positive measure. Then find $x_0$ and $x_1$ such that $0<x_0<x<x_1<1$ and $X$ has positive measure in each of the intervals $[0,x_0]$, $[x_0,x]$, $[x,x_1]$, $[x_1,1]$. Continue subdividing, and find continuum-many points in $X$. $\endgroup$
    – Sean Eberhard
    Commented Mar 25, 2013 at 14:49
  • 1
    $\begingroup$ Aha, yes, that question includes information about the non-measurable case, which I ignored. $\endgroup$
    – Sean Eberhard
    Commented Mar 25, 2013 at 14:51
  • 2
    $\begingroup$ @Sean: Concerning your comment about repeated subdivision, did you intend the "continuum-many points" in the last sentence to be the limits of the subdivision points? If so, how do you know they're in $X$. If not, which continuum-many points did you mean? $\endgroup$
    – Andreas Blass
    Commented Mar 25, 2013 at 17:24

You must log in to answer this question.

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