Blogs I Follow
`What’s an anagram of Banach-Tarski?’
Banach and Tarski
The Banach-Tarski theorem says the following:
Theorem 1 [Banach-Tarski theorem] Given a solid ball in 3-dimensional Euclidean space , we can partition it into a finite number of pieces, so that we can rearrange them to get two solid balls congruent to the first ball.
This clearly goes against people’s intuitions about volume. Often, it is noted that the Banach-Tarski theorem is a consequence of the axiom of choice; this is inherent, since it is in fact equivalent to the axiom of choice. In one of its most strikingly obvious formulations the latter says:
That is, for any collection of sets , where the index set can be an arbitrary set, one can find an indexed family such that for all .
So, we have these two things which are equivalent, and one is completely, obviously true, whereas the other is completely, obviously false. OK.
What do these two things have to do with each other? Here’s the beginning of an answer. Our intuitions about concepts like volume and area are formalized in mathematics through what is called a measure. Here’s a definition that summarizes the intuitively desirable properties of such a measure:
We would then hope to be able to build up complicated sets from many parallelepipeds. Or something like that in any case.
Why do we allow only countably many sets in (2)? Well, the (only!) alternative is to allow at least uncountably many sets, which would then imply that the measure of the entire is equal to the sum of the measures of the points; but points should have zero volume! So our condition (3) is actually pretty liberal.
However, it turns out that in the above definition we wanted too much, i.e. it is inconsistent:
Theorem 3 There exists a subset for which doesn’t exist.
Proof: Consider the equivalence relation on given by
By the axiom of choice, we can pick an indexed collection of representatives for each equivalence class; call the set underlying this collection of representatives . To really convince yourself that this is indeed a set (because that’s tricky business), you should play around with the axioms of Zermelo-Fraenkel set theory and the definition of an indexed collection. We shall show that doesn’t exist.
Assume the opposite, and consider, for each , the sets
Observe that the are disjoint, for otherwise we would have for and , and hence , contradicting the fact that are in different equivalence classes.
On the other hand, . Thus, by the properties of measure, we have
The first inequality gives us , whereas the second gives us , thus the contradiction with the assumption that exists.
This is where our intuition about volume breaks: it’s impossible to formalize it so that it works for all sets. Now, it’s kind of clear that at least one of the pieces in the decomposition of the ball in the Banach-Tarski paradox has to be similar to the set above, and that is where `volume conservation’ fails.
What people do to define the measure in a consistent way is to be very careful about the sets for which the measure applies. This leads to the ideas of -algebras and Lebesgue measure, which are the established formalisms of measure theory. There still exist sets that are not Lebesgue-measurable (the one constructed above is an example), but this is no longer an inconsistency of the theory; it’s a `weirdness’ of math.
Exploring and venting about quantitative issues
Adventures of a would-be do-gooder.
Mathematics related discussions
Updates on my research and expository papers, discussion of open problems, and other maths-related topics. By Terence Tao
Most of the blog moved to blog.krastanov.org