The AxiomOfChoice was formulated about a century ago by ErnstZermelo?, and was quite contraversial at the time. It states the following: |
The AxiomOfChoice was formulated about a century ago by ErnstZermelo?, and was quite controversial at the time. It states the following: |
And therein lies the crux of the AxiomOfChoice. All it states is that there is some function f that can choose an element out of each set in the collection. It gives you no indication about how the function would be defined, it simply mandates its existance. |
And therein lies the crux of the AxiomOfChoice. All it states is that there is some function f that can choose an element out of each set in the collection. It gives you no indication about how the function would be defined, it simply mandates its existence. |
One of the reasons that some mathematicians don't particularly like the AxiomOfChoice is the fact that it implies the existance of some bizarre counter-intuitive objects. An example of this is the BanachTarskiParadoxicalDecomposition which amounts to saying that it is possible to "carve-up" the closed unit sphere into finitely many pieces, and using only rotation and translation, reform the pieces into 2 spheres each with the same volume as the original. Note that the "proof" given in the BanachTarskiParadoxicalDecomposition is an existance proof only, it does not tell you how to carve up the unit sphere to make this happen, it simply tells you that it can be done. |
One of the reasons that some mathematicians don't particularly like the AxiomOfChoice is the fact that it implies the existence of some bizarre counter-intuitive objects. An example of this is the BanachTarskiParadoxicalDecomposition which amounts to saying that it is possible to "carve-up" the closed unit sphere into finitely many pieces, and using only rotation and translation, reform the pieces into 2 spheres each with the same volume as the original. Note that the "proof" given in the BanachTarskiParadoxicalDecomposition is an existence proof only, it does not tell you how to carve up the unit sphere to make this happen, it simply tells you that it can be done. |