## Banach-Tarski paradoxBefore writing off Messieurs Banach and Tarski as being either very bad mathematicians or very good practical jokers, it's important to understand that this is not a claim about what can actually be done with a real ball, a sharp knife, and some dabs of glue. Nor is there any chance of some entrepreneur being able to slice up a gold ingot and assemble in its place two new ones like the original. The Banach-Tarski paradox tells us nothing new about the physics of the world around us but a great deal about how "volume," "space," and other familiar-sounding things can assume unfamiliar guises in the strange abstract world of mathematics. Stefan Banach and Alfred Tarski announced their startling conclusion in 1924, having built on earlier work by Felix Hausdorff who proved that it's possible to chop up the unit interval (the line segment from 0 to 1) into countably many pieces, slide these bits around, and fit them together to make an interval of length 2. The Banach-Tarski paradox, which mathematicians often refer to as the Banach-Tarski decomposition because
it's really a proof not a paradox, highlights the fact that among the infinite
set of points that make up a mathematical
ball, the concept of volume and of measure
can't be defined for all possible subsets.
What this boils down to is that quantities that can be measured in any familiar
sense are not necessarily preserved when a ball is broken down into subsets
and then those subsets reassembled in a different way using just translations
(slides) and rotations (turns). These unmeasurable subsets are extremely
complex, lacking reasonable boundaries and volume in the ordinary sense,
and thus are not attainable in the real world of matter and energy. In any
case, the Banach-Tarski paradox doesn't give a prescription for how
to produce the subsets: it only proves their existence and that there
must be at least five of them to produce a second copy of the original ball.
The fact that the Banach-Tarski paradox depends on the axiom
of choice (AC), yet is so strongly counterintuitive, has been used by
some mathematics to suggest that AC must be wrong; however, the benefits
of adopting AC are so great that such black sheep of the mathematical family
as the paradox are generally tolerated. ## References- Stromberg, K. "The Banach-Tarski Paradox."
*Amer. Math. Monthly*, 86: 3, 1979. - Wagon, S.
*The Banach-Tarski Paradox*. New York: Cambridge University Press, 1993.
## Related categories• TOPOLOGY• PARADOXES | ||||||

Home • About • Copyright © The Worlds of David Darling • Encyclopedia of Alternative Energy • Contact |