Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

This question arises from an issue in my post on Ashutosh's excellent question on Restrictions of the null/meager ideal.

Question 1. Does every set of reals contain a measure-zero subset of the same cardinality?

In other words, if $A\subset\mathbb{R}$, is there a measure-zero set $B\subset A$ with $|B|=|A|$? Is this assertion at least consistent? Does it follow from the continuum hypothesis? Does it follow from some other cardinal characteristic hypothesis? In the intended application, what is needed is that the assertion is consistent with the additivity number for measure being equal to the continuum. Is this consistent? Can anyone prove the consistency of the failure of the property?

Similarly, in the case of category rather than measure:

Question 2. Does every set of reals contain a meager subset of the same cardinality?

And similarly, is this statement consistent? Does it follow from CH or other cardinal characteristic hypotheses? Is it consistent with the additivity number for the meager ideal being large? Can anyone show the consistency of the failure of the property?

The questions arise in my post on Ashutosh's question, where I had proposed as a solution idea the strategy of a back-and-forth construction of length continuum, where the domain and target remain measure-zero during the course of the construction. But in order for this strategy to succeed, we seem to need to know in the context there that one may extend a given measure-zero set inside another non-measure-zero set to a larger measure-zero set with the same cardinality (and the same with meagerness). I had thought at first that this should be easy, but upon reflection I am less sure about it, and so I ask these questions here.

share|improve this question
3  
As a quick comment, MA (and, in particular, CH) imply that there are Luzin sets, which are sets of size continuum whose intersection with every meager set has size less than continuum, showing that Question 2 has a negative answer in this case. You build such sets by diagonalizing against all nowhere dense sets, of which there are continuum many. –  Miha Habič Oct 10 '13 at 23:55
    
It is consistent without choice (in Solovay's model) that this is the case, although that's not very helpful here I suppose. :-) –  Asaf Karagila Oct 10 '13 at 23:58
    
Miha, please post your comment as an answer. But I don't agree that there are only continuum many nowhere dense sets, since every subset of the Cantor set is nowhere dense, and there are $2^{2^{\aleph_0}}$ many such subsets. Perhaps you are speaking only of Borel sets? Does this idea still answer the question? –  Joel David Hamkins Oct 10 '13 at 23:58
    
@Asaf, yes, I am thinking of the ZFC situation, but I would encourage you to post an answer with the $\neg\text{AC}$ situation if it is interesting. –  Joel David Hamkins Oct 11 '13 at 0:00
    
Joel, thank you for the encouragement, but this is really just an artifact of the perfect set property. So it's not that interesting after all. –  Asaf Karagila Oct 11 '13 at 0:03
show 3 more comments

3 Answers

up vote 22 down vote accepted

It is consistent that both of the questions have a negative answer. Indeed, this happens if MA holds.

A set $E$ of reals is called a Luzin set if $E$ has size continuum and for every meager set $X$ the intersection $E\cap X$ has size less than continuum.

A set of reals $E$ is called a Sierpiński set if $E$ has size continuum and for every measure zero set $X$ the intersection $E\cap X$ has size less than continuum.

Theorem: MA implies that there are Luzin and Sierpiński sets.

Proof: To construct a Luzin set, list all Borel nowhere dense sets in order type continuum: $\langle F_\alpha;\alpha<\mathfrak{c}\rangle$. For each $\alpha$ choose some $e_\alpha\notin \bigcup_{\beta<\alpha}F_\beta$; this is possible since MA implies that the union of less than continuum meager sets is meager. $E=\{e_\alpha;\alpha<\mathfrak{c}\}$ has size continuum and its intersection with every closed nowhere dense set has size less than continuum by construction. But since a meager set is contained in a union of countably many closed nowhere dense sets, $E$ must be a Luzin set.

To construct a Sierpiński set, replace "Borel nowhere dense" above by "Borel of measure zero" and "meager" by "measure zero". $\square$

In particular, this shows that assuming cardinal characteristics are large is not helpful for this problem.

The same avoidance idea seems to also show:

Theorem: If $V$ was obtained from $W$ by adding more than $\mathfrak{c}^W$ many Cohen (or random) reals to $W$, then the set of generic reals is Luzin (or Sierpiński) in $V$.

share|improve this answer
    
Great! Meanwhile, may we still hope for the positive consistency? –  Joel David Hamkins Oct 11 '13 at 0:30
2  
The argument you give here totally destroys the proof strategy that I gave on Ashutosh's question, since you are not really using MA here, but rather are only using that the additivity numbers are large. So the additivity hypothsis that I needed to run my argument is exactly what prevents the idea from actually succeeding. –  Joel David Hamkins Oct 11 '13 at 0:38
    
I think the official definition of "Luzin set" is "uncountable, but has no uncountable meager subsets". The version you give ("of size continuum, with no equipotent meager subset") is sometimes called "generalized Luzin set", e.g. in chapter 17 of the book by Just and Weese. Similarly for Sierpiński sets. –  Goldstern Oct 13 '13 at 20:49
    
@Goldstern Yes, I noticed that when I was later figuring out where I remembered these from. I'll try and get away with this abuse of terminology. –  Miha Habič Oct 13 '13 at 21:30
add comment

In the paper "Uncountable sets of real numbers with no uncountable subsets of measure zero" it is proved that under the continuum hypothesis, there is an uncountable set of reals which has no uncountable subset of measure zero. The result is in fact due to Sierpiński [Fundam. Math. 5, 177--187 (1924)].

Added remarks: I have decided to give a proof of the fact stated above. Thus assume $CH$, and let $G_\alpha, \alpha<\omega_1$ be an enumeration of all $G_\delta-$sets of measure zero. Note that their union is $\mathbb{R}.$ Let $D_0=G_0$ and for $\alpha>0, D_\alpha=G_\alpha \setminus \bigcup_{\beta<\alpha} G_\beta$. Again the union of $D_\alpha$'s is $\mathbb{R},$ so unboundedly many of them are non-empty. Let $A$ contain one element from each non-empty $D_\alpha.$ It is easily seen that $A$ is as required.

share|improve this answer
1  
It still amazes me how every week or so I learn about another remarkable result due to Sierpinski..! –  Malik Younsi Oct 12 '13 at 23:32
add comment

The answer to question 1 is "yes" in the Cohen model.

More precisely, add $\aleph_2$ many Cohen reals to a universe $V_0$ satisfying CH. (Finite support, countable support, or all at once using finite functions -- in this case you can make the continuum arbitrarily large.)

Every set $X$ of size $\aleph_1$ (or more generally: less than continuum) is in some intermediate model, and the next Cohen real will make $X$ of measure zero.

Now let $Y$ be a set of size $\aleph_2$ (or continuum). I claim that there is a Borel measure zero set $B$ with Borel code in $V_0$ which contains $\aleph_2$ many elements of $Y$. Indeed, if every Borel set coded in $V_0$ contains only at most $\aleph_1$ many elements of $Y$, then there is an element $y_0$ of $Y$ not contained in any of these ($\aleph_1$ many) measure zero sets. But then $y_0$ is random over $V_0$. It is well known that there are no random reals over $V_0$ in the Cohen model. (In fact, the reals of $V_0$ are not meager in the extension.)

A similar argument works for the dual question, using random reals. (Countable support, or side-by-side. Again you can make the continuum large.)

In the Mathias model (countable support iterations, continuum becomes $\aleph_2$) a similar argument shows that every set of size continuum has a subset of the same size in the ground model which is meager, and another one which is of measure zero. (The Laver property ensures that no random or Cohen reals appear.) The sets of size $\aleph_1$ appear in an intermediate stage, and the next Mathias real will make them meager and measure zero.

share|improve this answer
    
More briefly: if cov(measure)=$\aleph_1< 2^{\aleph_0}=\aleph_2$ (or more generally: less than the cofinality of the continuum), and unif(measure)=continuum, then every small set (i.e., of cardinality less than continuum) is of measure zero, and every large set must meet one of the covering null sets in a large set. But the situation "cov(measure)=$\aleph_1<$unif(measure)=$\aleph_2=2^{\aleph_0}$" is well known to be consistent. –  Goldstern Oct 12 '13 at 22:02
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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