Skip to main content
4 of 4
added 6 characters in body
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$. Fix $i_{0} \in I$. For each proper subset $J$ with $i_{0} \notin J \subset I$, let $S_{J} = \bigcup_{j \in J} X_{j}$. Then the sets $S_{J}$, $i_{0} \notin J \subset 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