Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Axiom of Choice and something I find to not be logical

  1. Apr 30, 2004 #1
    I heard something along the lines of when you accept the axiom of choice as true, you can then prove using some abstract set theory that by dividing a sphere, you can divide it and then put it together so that it is bigger than it originally was????

    Is the math behind this proof difficult? And is this true?
  2. jcsd
  3. Apr 30, 2004 #2
    from Kuro5hin - Layman's Guide to the Banach-Tarski Paradox --->

    search "Banach-Tarski" for more stuff.

    Feynman said phooey about B-T --->
    http://www.ams.org/new-in-math/mathdigest/200112-choice.html [Broken]
    Last edited by a moderator: May 1, 2017
  4. Apr 30, 2004 #3


    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    IIRC, the proof uses surgery theory.

    One of the main things to emphasize about the construction is that its intermediate steps involve sets that are not measurable. All of the clever work is done with sets for which you cannot define volume, so there isn't any reason to expect that you have the original volume when you're done.

    And, incidentally, the big point about the construction is that it only uses five pieces. It's a trivial exercise to prove that you can rearrange all of the points in one sphere to form two spheres of the same size, if you do it one point at a time.
    Last edited: Apr 30, 2004
  5. Apr 30, 2004 #4


    User Avatar
    Staff Emeritus
    Gold Member
    Dearly Missed

    The "not measureable" subsets are disjoint and add up to the whole original ball. Therefore by linearity of measure their total measure is the original volume, even though that can't be allocated to them in any way.
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook