Cardinality of the set of measure zero sets

119 Views Asked by At

I have been thinking about this question for a while now and found nothing on the matter so far.

Assuming the continuum hypothesis (or maybe also for the case that we assume that it is false), what is the cardinality of the set of measure zero subsets of the reals.

Obviously it is more than a continuum, but is it $\aleph_2$ or not?

Interested to hear your thoughts on the matter.

1

There are 1 best solutions below

1
On

The Cantor set is a set of measure zero, and there is a bijection between it and $\Bbb R$.

That means there is a bijection between their power sets. All subsets of the Cantor set have measure zero, so the cardinality of the set of all sets of measure zero is the same as the cardinality of the set of all subsets of $\Bbb R$.

The Continuum Hypothesis really doesn't matter for this question. $\#\Bbb R=2^{\aleph_0}=\mathfrak{c}$ and $\#\mathcal{P}(\Bbb R)=2^\mathfrak{c}$. If you want another notation for these cardinalities, the beth numbers provide that. By definition, $\beth_0=\aleph_0$, $\beth_1=2^{\beth_0}$, and $\beth_2=2^{\beth_1}$. So your set has cardinality $\beth_2$.