The pathological nature of the subsets of the ball used in the construction make it impossible to produce a truly faithful visualization of the decomposition and assembly process. But this video still manages to do a pretty nice job!
The trick is that the ball has to be broken up into pieces that have a well-defined mathematical meaning, but are pathological when you try to think about them in terms of concepts like volume.
The decomposition relies on the axiom of choice. There are other approaches to set theory without the axiom of choice that do not lead to the Banach-Tarski paradox.
Mathematician Alfred Tarski was born #OTD in 1901.
The Banach-Tarski paradox asserts that a ball in three dimensions can be decomposed into a finite number of pieces which, after translation and rotation, can be reassembled into *two* distinct copies of the original ball.
The paradox also works in more than three dimensions, but not in one or two without significant technical modifications.
He went on to explain that the answer to our question *might* be in a book or paper somewhere, but we'd learn a lot more if we figured it out ourselves.
He was right!
At that point, maybe my second year of grad school, I thought answers were found in papers and books. Bryce challenged me to come up with my own answer, which I did.
It was hard, but the calculation worked, and I published my first paper.
So we went to Bryce and explained our problem. We had to argue with him for a while, to convince him that the question we were asking could possibly be relevant for anything. It took a very, very long time.
Finally, he growled "You know what your problem is? Too much book learning."
(Bryce sounded just like Charlton Heston. He could sound kind of intimidating.)
Bryce DeWitt also gave me the best piece of advice I ever got in graduate school.
I was working on a paper with another grad student, and we were stuck on a technical detail of a calculation. It was something we were sure Bryce had worked on at some point, but it wasn't written down in any books or papers we could find.
But there are a few things I want to mention. Though it's not what he is primarily known for, DeWitt was an advocate of Everett's "Many Worlds" interpretation of quantum mechanics. He did lots to popularize it among physicists.
Max Jammer was writing a book on the interpretations and history of QM, and told DeWitt he'd never heard of Everett. So DeWitt took it on himself to raise the profile of Everett's work.
When DeWitt described a supernumber Z, he split it into two parts: Z = Z_b + Z_s.
The first term, Z_b, is a single complex number. It’s the simplest part of Z. But the second term, Z_s, has an infinite multitude of complex numbers hidden inside.
He refers to Z_b as "the body," and Z_s as "the soul." It's lovely.
(Complex numbers look like 𝛼 + i 𝛽, where i is the square-root of -1 and both 𝛼 and 𝛽 are just plain old real numbers. So it's sort of like that, but with a lot more numbers.)