Math Fun Facts!
hosted by the Harvey Mudd College Math Department created, authored and ©1999-2010 by Francis Su
Subscribe to our RSS feed   or follow us on Twitter.
Get a random Fun Fact!
or
No subject limitations
Search only in selected subjects
    Algebra
    Calculus or Analysis
    Combinatorics
    Geometry
    Number Theory
    Probability
    Topology
    Other subjects
  Select Difficulty  
Enter keywords 

  The Math Fun Facts App!
 
  List All : List Recent : List Popular
  About Math Fun Facts / How to Use
  Contributors / Fun Facts Home
© 1999-2010 by Francis Edward Su
All rights reserved.

From the Fun Fact files, here is a Fun Fact at the Advanced level:

Banach-Tarski Paradox

Figure 1
Figure 1

Did you know that it is possible to cut a solid ball into 5 pieces, and by re-assembling them, using rigid motions only, form TWO solid balls, EACH THE SAME SIZE AND SHAPE as the original? This theorem is known as the Banach-Tarski paradox.

So why can't you do this in real life, say, with a block of gold?

If matter were infinitely divisible (which it is not) then it might be possible. But the pieces involved are so "jagged" and exotic that they do not have a well-defined notion of volume, or measure, associated to them. In fact, what the Banach-Tarski paradox shows is that no matter how you try to define "volume" so that it corresponds with our usual definition for nice sets, there will always be "bad" sets for which it is impossible to define a "volume"! (Or else the above example would show that 2 = 1.)

An alternate version of this theorem says (and you'd better sit down for this one): it is possible to take a solid ball the size of a pea, and by cutting it into a FINITE number of pieces, reassemble it to form A SOLID BALL THE SIZE OF THE SUN.

Presentation Suggestions:
Students will find this Fun Fact hard to believe. You might want to say that mathematics in this case reveals to us that we must be very careful about how we define things (like volumes) that seem very intuitive to us.

The Math Behind the Fact:
First of all, if we didn't restrict ourselves to rigid motions, this paradox would be more believable. For instance, you can take the interval [0,1], stretch it to twice its length and cut it into 2 pieces each the same as the original interval. Secondly, if we didn't restrict ourselves to a finite number of pieces, it would be more believable, too: the cardinality of the number of points in one ball is the same as that of two balls!

The proof involves studing group actions on the sphere, specifically, subgroups of the rotation group "SO(3)" that are free subgroups on 2 generators. Such strange subgroups allow one to construct "paradoxical" sets: sets which are congruent (under the group actions) to 2 or more "copies" of themselves! The proof also depends on the Axiom of Choice.

For the beginnings of an idea of how the proof goes, see the Fun Fact: Equidecomposability. For a related paradox, see the Fun Fact Sierpinski-Mazurkiewicz Paradox.

How to Cite this Page:
Su, Francis E., et al. "Banach-Tarski Paradox." Math Fun Facts. <http://www.math.hmc.edu/funfacts>.

References:
Keywords:    Banach Tarski, real analysis, group theory, measure theory, set theory, equidecomposable
Subjects:    algebra, calculus, analysis, other
Level:    Advanced
Fun Fact suggested by:   Francis Su
Suggestions? Use this form.
4.39
 
current
rating
Click to rate this Fun Fact...
    *   Awesome! I totally dig it!
    *   Fun enough to tell a friend!
    *   Mildly interesting
    *   Not really noteworthy
and see the most popular Facts!
Get the Math Fun Facts
iPhone App!

Want another Math Fun Fact?

For more fun, tour the Mathematics Department at Harvey Mudd College!