Problem #22
Borel Ruziewicz problem
Suppose that is a finitely additive, isometry-invariant measure on the Borel subsets of (where ) such that . Must be equal to Lebesgue measure?
Notes
The original Ruziewicz problem was posed by Ruziewicz in the early 1900s and asked whether Lebesgue measure is the unique finitely additive, isometry-invariant measure on the Lebesgue measurable subsets of (for ) which assigns measure to . It was answered in the affirmative by results of Sullivan, Margulis and Drinfeld. The Borel Ruziewicz problem modifies the original Ruziewicz problem by only requiring the measure to be defined on the Borel measurable sets rather than all Lebesgue measurable sets.
It is known that the Ruziewicz problem (and hence also the Borel Ruziewicz problem) has a negative answer for , hence the restriction to in the problem statement.
Reference for the problem statement
[GS16]Grzegorz Tomkowicz and Stan Wagon, The Banach-Tarski paradox, 2016
Loading comments…