Chapter 3 - The Banach-Tarski Paradox: Duplicating Spheres and Balls

Summary

The idea of cutting a figure into pieces and rearranging them to form another figure goes back at least to Greek geometry, where this method was used to derive area formulas for regions such as parallelograms. When forming such rearrangements, one totally ignores the boundaries of the pieces. The consideration of a notion of dissection in which every single point is taken into account, that is, a set-theoretic generalization of the classical geometric definition, leads to an interesting, and very general, equivalence relation. By studying the abstract properties of this new relation, Banach and Tarski were able to improve on Hausdorf's Paradox (2.3) by eliminating the need to exclude a countable subset of the sphere. Since geometric rearrangements will be useful too, we start with the classical definition in the plane.

Definition 3.1. Two polygons in the plane are congruent by dissection if one of them can be decomposed into finitely many polygonal pieces that can be rearranged using isometries (and ignoring boundaries) to form the other polygon.

It is clear that polygons that are congruent by dissection have the same area. The converse was proved in the early nineteenth century, and a simple proof can be given by efficiently making use of the fact that congruence by dissection is an equivalence relation (transitivity is easily proved by superposition, using the fact that the intersection of two polygons is a polygon (see Boltianskii [17, p. 50] or Eves [70, p. 233])).