8
$\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.

$\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$ 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
    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$ Mar 25, 2013 at 18:32

1 Answer 1

17
$\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.

$\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$ Mar 25, 2013 at 14:48
  • $\begingroup$ Link was bad: mathoverflow.net/questions/8972/… $\endgroup$ 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$ Mar 25, 2013 at 14:49
  • 1
    $\begingroup$ Aha, yes, that question includes information about the non-measurable case, which I ignored. $\endgroup$ 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$ Mar 25, 2013 at 17:24

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.