What's behind the Banach-Tarski paradox? [closed]
The discovery of the Banach-Tarski paradox was of course a great thing in mathematics but raises the issue of the relation between mathematics and reality. Empirically there are good reasons for faith in mathematical proofs: well derived mathematical theories and formulas, used in an accurate manner in science, really bring observable results. I don't know any scientific failures where mathematical results was blamed.
Naturally constructive proofs are preferable but there shouldn't be any problem with non-constructive proofs: the mathematical-logical machinery should guaranty the expected success. With or without the use of the law of the excluded middle!
So how to explain the non-intuitive theorem of Banach-Tarski? Which are the "weak pillars" or combinations of them? Personally I can't see the axiom of choice as a problem, since it only is a condition of what's to be called a set. Is the theorem perhaps a sign of lack of continuity in reality?
I really would like a big list of suggestions what "axioms" could be changed to avoid the "possibility" of the the theorem.
I have been re-considering. Suppose that a new discrete theory about space and time was developed and was found to be consistent with observations. How long would it take before a corresponding theory was developed from a pure geometrical perspective? Compare with the corresponding theories of Heisenberg and Schrödinger!
What was explained in one way in the discrete theory maybe was described in a totally differnt way in the continuous theory? And who knows, maybe similar constructions as in the paradoxes of Banach-Tarski and Sierpinski-Mazurkiewicz, would be used to explain the expansion of what is now called dark energy? And even "worse", to explain the result of high energy proton- proton collisions?
It strikes me that the relative terms of consistency as is used in mathematics is all what is needed for the mathematical material to be used in scientific theories. Physicists do sometimes use mathematics in extraordinary ways and get good results.
But that does not make it less interesting to ponder the pillars of the "paradoxes".
Also, thanks for reopen and for great answers!
Solution 1:
If anything, the non-reality of the Banach-Tarski decomposition is because the sets the theorem speaks about lack continuity that reality does have. Even though the theorem divides the sphere into a finite number of "pieces", those pieces cannot exist as physical objects; the points inside and outside of the set are too finely intermingled to make it reasonable to cut it out physically from a continuum.
However, we don't need to go to Banach-Tarski, or even to the Axiom of Choice or non-constructiveness in order to see this situation.
For example, consider a cube in $\mathbb R^3$ and divide it into two pieces: one that consists of points with at least one rational coordinate, and another one consisting of those points that have all coordinates irrational.
These "pieces" are just as unphysical as the pieces in the Banach-Tarski decomposition, but defining what they are requires no mathematically questionable foundational assumptions at all. They don't seem "as paradoxical" as the Banach-Tarski pieces, because they happen to be Lebesgue measurable -- but that just tell us that simply being measurable doesn't mean that a set of points is physically meaningful.
Solution 2:
There is an implicit axiom that people assume
sets of points in the plane should be meaningful geometrically
This, of course, isn't an axiom of ZFC or of real analysis; this is an implicit expectation of people who want to apply set theory to geometric problems.
Measure theory, one of the more general and powerful tools for defining contexts where we can "measure" things, gives us the phrase "measurable set", and the tools of measure theory only really apply to measurable sets.
Of course, most things you do are measurable. People want to go so far as to think of the adjective "measurable" as being a mere technicality that one doesn't really have to pay attention to.
Of course, problems with this axiom were already known prior to the discovery of the Banach-Tarski paradox. However, they were weird and complicated, so people don't feel so strongly about this axiom failing.
There's sort of a metaprinciple that if you start with something reasonable, end with something reasonable, and do reasonable things inbetween, the result should be meaningful. The axiom people really want to assume is
reasonable sets of points in the plane treated reasonably in a way that produces reasonable results should tell us something meaningful
And to be fair, this isn't a terrible thing to want to assume; it means we can ignore a lot of technicalities if things don't smell wrong. And, in fact, a huge amount of calculus just works under these conditions; there are a lot of theorems that support the above axiom in a wide variety of situations.
The Banach-Tarski paradox, however, closes the rest of the loopholes. A ball is a reasonable set. Two balls are a reasonable set. Splitting a ball into finitely many pieces is reasonable. Moving sets around with Euclidean motions is reasonable.
The only weird thing is that the individual pieces are non-measurable.
The fact that we did everything reasonably except for that one technical condition and failed to get a reasonable result appears to irk people quite a lot. It drives home the point that if you want to use measures, you to actually need to know whether the things you're doing result in measurable sets.
Now, as for the specific question you asked, the only axioms we need to get rid of are the two blockquoted axioms I stated above. They were never axioms of mathematics anyways, so from that perspective we're already done!
Sure, it's technically still a theorem of mathematics, but we were interested in measuring things, and it's not a theorem about measurable sets, so since we're supposed to talk about measurable sets, the theorem isn't relevant to us and there's nothing to be worried about.
(naturally, there are people who are more vested in their implicit axioms rather than the convenience that the axiom of choice gives us, thus rejecting the axiom of choice in favor of adopting the axiom that all subsets of the real numbers are measurable)
And a bonus joke: what's an anagram of Banach-Tarski?
Banach-Tarski Banach-Tarski