Skip to main content
1 of 4
Simon Thomas
  • 8.3k
  • 4
  • 42
  • 57

In 1917, Lusin and Sierpinski showed that the unit interval $[0,1]$ can be partitioned into $2^{\aleph_{0}}$ many pairwise disjoint sets each having Lebesgue outer measure 1; say, $X_{i}$, $i \in I$. For each subset $J \subseteq I$, let $S_{J} = \bigcup_{j \in J} X_{j}$. Then the sets $S_{J}$, $J \subseteq I$, are distinct modulo $\mathcal{M}$.

Nikolai N. Lusin and Waclaw Sierpinski, “Sur une décomposition d’un intervalle en une infinité non dénombrable d’ensembles non mesurables” [On a decomposition of an interval into a nondenumerably many nonmeasurable sets], Comptes Rendus Académie des Sciences (Paris) 165 (1917), 422-424.

Simon Thomas
  • 8.3k
  • 4
  • 42
  • 57