Banach-Tarski Paradox

Motivation

Recall that by Vitali's Theorem, there is no function $\mu :2^{\mathbb {R} }\to [0,+\infty ]$ satisfying all three of the following properties:

• $\mu$ is countably additive,
• $\mu$ is translation invariant, and
• for each interval $(a,b)$, we have $\mu ((a,b))=b-a$.

This result can be easily be generalized to higher-dimensional Euclidean spaces.

To obtain a function that can reasonably measure Euclidean space, one might try to weaken some of the above properties. However, if we weaken only the requirement that $\mu$ be countably additive, namely by requiring that $\mu$ be merely finitely additive, we still run into problems in higher dimensions, as the Banach-Tarski Paradox illustrates.

The Banach-Tarski Paradox

In 1924, Stefan Banach and Alfred Tarski proved the following result:

Let $U$ and $V$ be arbitrary bounded open sets in $\mathbb {R} ^{n}$ for $n\geq 3$. There exist $k\in \mathbb {N}$ and subsets Failed to parse (unknown function "\math"): {\displaystyle E_1,\dots,E_k,F_1,\dots,F_k<\math> of <math>\mathbb{R}^n} such that

• the $E_{j}$'s are disjoint and their union is $U$,
• the $F_{j}$'s are disjoint and their union is $V$, and
• for each $j\in \{1,\dots ,k\}$, $E_{j}$ is congruent to $F_{j}$, i.e. $E_{j}$ can be transformed into $F_{j}$ by translations, rotations, and reflections.

Hence, any function $\mu :2^{\mathbb {R} ^{n}}\to [0,+\infty ]$ fails to satisfy the desired properties, because we can take two bounded open sets $U$ and $V$ that should have different measures (based on the fact that the measure of cubes is forced), split each of these two sets into $k$ pieces, then translate/rotate/reflect these pieces to match each other. Since the pieces of $U$ are congruent to the corresponding pieces of $V$, these pieces should have the same measure, i.e. $\mu (E_{j})=\mu (F_{j})$. By finite additivity of $\mu$, this forces $U$ and $V$ to have the same measure, which contradicts our earlier assumption that $U$ and $V$ have different measures.

Geometric Implications

The Banach-Tarski Paradox violates our geometric intuition of how volume is preserved when a physical object is broken into pieces and reassembled. Indeed, if the Banach-Tarski Paradox is to be believed, then it is possible to take a small ball (such as a pea); decompose the ball into finitely many pieces; move these pieces around in space via translations, rotations, and reflections; and reassemble these pieces into a new ball as large as the Sun. Of course, the ball may have to be decomposed into very strange pieces to accomplish this task.

One may note that the proof of the Banach-Tarski Paradox relies on the Axiom of Choice. Because of the many unintuitive implications of the Axiom of Choice, including the Banach-Tarski Paradox and the existence of unmeasurable subsets of Euclidean space, some mathematicians choose to reject the Axiom of Choice.