Skip to main content
3 of 3
added 191 characters in body
Clement Yung
  • 1.4k
  • 6
  • 22

Actually, $\mathsf{ZF}$ easily proves that if there exists at least one non-measurable subset of $\mathbb{R}$, then there must be $2^\mathfrak{c}$ non-measurable subsets of $\mathbb{R}$.

Let $X \subseteq \mathbb{R}$ be non-measurable. Then $X = (X \cap [0,\infty)) \cup (X \cap (-\infty,0)) =: A \cup B$. If both $A$ and $B$ are measurable, then $X$ must also be measurable, at it is a finite union of measurable sets. Thus, we must have that either $A$ or $B$ is non-measurable.

WLOG say $A$ is not measurable. Now there are $2^\mathfrak{c}$ measurable sets in $(-\infty,0)$, and for any of such set $C$, we have that $A \sqcup C$ is not measurable. This gives $2^\mathfrak{c}$ distinct non-measurable subsets of $\mathbb{R}$.

Clement Yung
  • 1.4k
  • 6
  • 22