Hausdorff paradox

The Hausdorff paradox, proven by Felix Hausdorff in 1914, is the precursor to the Banach-Tarski paradox and the first demonstration that the sphere can be decomposed into non-measurable pieces under the action of its rotation group. Hausdorff showed that the sphere minus a countable set can be partitioned into three subsets, each of which is congruent to the union of the other two — a result that violates any notion of consistent volume. The paradox does not require the full Axiom of Choice; it uses only the existence of a free subgroup of the rotation group, which is constructively provable. This makes the Hausdorff paradox more disturbing than the Banach-Tarski paradox in one respect: the non-measurability it reveals is not a consequence of set-theoretic extravagance but of the intrinsic structure of continuous symmetry groups. The paradox was later refined by Stefan Banach and Alfred Tarski into the decomposition of the solid ball, but the conceptual shock was already Hausdorff's. The lesson is that geometry itself, when pushed to its logical limit, produces contradictions that no measure can resolve.