Two theorems I am going to state are mind boggling results associated with the names of F. Hausdorff, A. Tarski, S. Banach, J. von Neumann and R. M. Robinson. References are given in both books by Gelbaum and Olmsted. (The second of which actually proves the first theorem below.)
Both theorems use the notion of a rigid motion. A rigid motion of a space is a transformation that does not change the (Euclidean) distance between two points. In the theorems below,
Tarski-Banach Theorem 1
There exists a decomposition of B1 into 5 pairwise disjoint sets
B1 = R1(A1) ∪ R2(A2) and B1 = R3(A3) ∪ R4(A4) ∪ R5(A5),
where all unions are disjoint.
This means breaking a ball into five pieces such that it's possible to combine these pieces into two balls equal in size to the original one. No seams are visible after the operation. No cavities are created under the surface.
Tarski-Banach Theorem 2
For any two positive numbers e and M, BM can be split into a disjoint union of sets
Be = R1(A1) ∪ R2(A2) ∪ ... ∪ Rn(An),
where all the unions are disjoint.
What this theorem claims is that, for example, a ball of a pea size can be broken into several pieces which after rearrangement can be combined into a ball of, say, Sun's size. Weird and abstract as the theorem appears, it found a real life application to lion hunting. In order to catch a lion, apply to the lion Tarski-Banach decomposition. Put pieces back together to get a feline of a customary size of a domesticated cat. Now you may expect only a minor harm from the lion. Go after it fearlessly. After caging the beast, rearrange the pieces into their original configuration.
Both results may appear more acceptable if you recollect the strange behavior of infinite sets. Substituting for a moment the notion of 1-1 correspondence for that of congruence, we may remember that a union of two countable sets is again countable. From this we learn to anticipate counterintuitive results dealing with infinite sets.
Both theorems are proven with what is known as the Axiom of Choice whose usage (a clear intuitive appeal
notwithstanding) was questioned by the stream of Intuitionistic Mathematics in the early decades of the century. The axiom states that given a set X whose elements are other sets Xa indexed by a from a set A, it is then possible to form a set Y by selecting and putting into it one element xa from each
The down side is that, for example, the sets whose existence is claimed by Banach and Tarski could not be visualized, let alone built. Such that neither theorem may be of immediate pragmatic value in any getting rich schemes.
- B. R. Gelbaum and J. M. H. Olmsted, Counterexamples in Analysis, Holden-Day, 1964
- B. R. Gelbaum and J. M. H. Olmsted, Theorems and Counterexamples in Mathematics, Springer-Verlag
- Lion Hunting & Other Mathematical Pursuits. A Collection of Mathematics, Verse and Stories by Ralph P. Boas, Jr., G. L. Alexanderson, D. H. Mugler, eds, MAA, 1995
- W. Sierpinski, On the Congruence of Sets and Their Equivalence by Finite Decomposition, in Congruence of Sets and Other Monographs, Chelsea Publ. Co., 1960
Elements of Topology
- Topological Preliminaries
- When Index Equals Content: Sperner Lemma
- Regular Polyhedra. Euler Characteristic
- Tarski-Banach Theorem
- Cantor set and function
- Shaggy Dog Theorem
- Knot Theory
- Crossing Number of a Graph