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

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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