The banachtarski paradox states that a ball in the ordinary euclidean space can be doubled using only the operations of partitioning into subsets, replacing a set with a congruent set, and reassembly. One of the strangest theorems in modern mathematics is the banach tarski paradox. So really, any two solid shapes can be picked apart and rearranged to form each other given a mathematical flea, banach and tarski can turn it into a mathematical hovercraft. The three colors define congruent sets in the hyperbolic plane, and from the initial viewpoint the sets appear congruent to our euclidean eyes. His mother was unable to support him and he was sent to live with friends and family. The strong form of the banachtarski paradox states that any two bounded subsets a and b of threedimensional real space with nonempty interior are equidecomposable. This result at rst appears to be impossible due to an intuition that says volume should be preserved for rigid motions, hence the name \ paradox. According to it, it is possible to divide a solid 3d sphere into 5 pieces and rearrange them to form two identical copies of the original sphere. The banach tarski paradox encyclopedia of mathematics and its applications book 163 kindle edition by tomkowicz, grzegorz, wagon, stan. The hahnbanach theorem implies the banachtarski paradox pdf.
The banachtarski paradox encyclopedia of mathematics and. Presumably the two identical to the original spheres would be hollow. Notes on the banachtarski paradox donald brower may 6, 2006 the banachtarski paradox is not a logical paradox, but rather a counter intuitive result. The banachtarski paradox may 3, 2012 the banachtarski paradox is that a unit ball in euclidean 3space can be decomposed into.
The banach tarski paradox robert hines may 3, 2017 abstract we give a proof of \doubling the ball using nonamenability of the free group on two generators, which we show is a subgroup of so 3. The banachtarski paradox is a theorem in settheoretic geometry, which states the following. Thus the banachtarski paradox and the geometric paradoxes leading. Are there physical applications of banachtarski paradox. The banach tarski paradox neal coleman neal coleman is a sophomore majoring in pure math and applied physics at ball state. This proposed idea was eventually proven to be consistent with the axioms of set theory and shown to be nonparadoxical. A laymans explanation of the banachtarski paradox a. The banachtarski paradox is a proof that its possible to cut a solid sphere into 5 pieces and reassemble them into 2 spheres identical to the original. Doubling of a sphere, as per the banachtarski theorem. This shows that for a solid sphere there exists in the sense that the axioms assert the existence of sets a decomposition into a finite number of pieces that can be reassembled to produce a sphere with twice the radius of the original. Feb 17, 2018 the infinite chocolate paradox is a crude representation of the banachtarski paradox, which, by a notorious misinterpretation, allows the most daunting mathematical atrocity 12. We were inspired to do this by a recent paper of a. And then, with those five pieces, simply rearrange them. Indeed, the reassembly process involves only moving the pieces.
The new edition of the banach tarski paradox, by grzegorz tomkowicz and stan wagon, is a welcome revisiting and extensive reworking of the first edition of the book. During the fall semester, he participated in the studentfaculty colloquium. Remember that we are considering only reduced words here. In this sense, the banach tarski paradox is a comment on the shortcomings of our mathematical formalism. The banachtarski paradox is a theorem which states that the solid unit ball can be partitioned into a nite number of pieces, which can then be reassembled into two copies of the same ball. Theorem 1 the banachtarski paradox any ball in r3 is paradoxical.
One of the strangest theorems in modern mathematics is the banachtarski paradox. Hanspeter fischer, on the banach tarski paradox and other counterintuitive results. The banachtarski paradox ucla department of mathematics. Let so3 denote the group of rotation operators on r3. The paradox and its basis a 3d solid ball can be decomposed into disjoint subsets which if rearranged and put together, can form two identical copies the same size of the first 3d ball. Notes on the banachtarski paradox university of notre dame.
Its a nonconstructive proof which tells you it can be done without telling you how. In the context of the banach tarski paradox, the group actions we care about come from a type of group called a free group. It is misleading to think of the banachtarski paradox in those terms. Reassembling is done using distancepreserving transformations. The banach tarski paradox encyclopedia of mathematics and. What are the implications, if any, of the banachtarski. Banach tarski paradox is a natural and interesting consequence of such property. A word win gis an expression possibly, empty in the elements of g. To make it a bit friendlier, infinity is often treated as arbitrarily large and in some areas, like calculus, this treatment works just fine youll get the right answer on your test.
It is misleading to think of the banach tarski paradox in those terms. A group action5 of group gis a set sand an operation. Hanspeter fischer, on the banachtarski paradox and other counterintuitive results. Taking the ve loaves and the two sh and looking up to heaven, he gave thanks and broke the loaves. The infinite chocolate paradox is a crude representation of the banachtarski paradox, which, by a notorious misinterpretation, allows the most daunting mathematical atrocity 12. Whether you are new to the topic of paradoxical decompositions, or have studied the phenomenon for years, this book has a lot to offer.
Use features like bookmarks, note taking and highlighting while reading the banachtarski paradox encyclopedia of mathematics and its applications book 163. Wikipedia actually, regarding math topics, wiki often makes you more confused than you already were. The banachtarski paradox karl stromberg in this exposition we clarify the meaning of and prove the following paradoxical theorem which was set forth by stefan banach and alfred tarski in 1924 1. What are the implications, if any, of the banachtarski paradox. The importance of this latter inequality is as follows. Dec 03, 2015 that is the response of most reasonable people when they hear about the banachtarski paradox.
Bruckner and jack ceder 2, where this theorem, among others, is. Ce nest pas moi qui le pretend, cest banach et tarski. This result at rst appears to be impossible due to an intuition that says volume should be preserved for rigid motions, hence the name \paradox. The banachtarski paradox encyclopedia of mathematics and its applications book 163 kindle edition by tomkowicz, grzegorz, wagon, stan. The banachtarski paradox neal coleman neal coleman is a sophomore majoring in pure math and applied physics at ball state. Download it once and read it on your kindle device, pc, phones or tablets. Applications of banachtarski paradox to probability theory.
The banach tarski paradox is a proof that its possible to cut a solid sphere into 5 pieces and reassemble them into 2 spheres identical to the original. Jan 01, 1985 asserting that a solid ball may be taken apart into many pieces that can be rearranged to form a ball twice as large as the original, the banach tarski paradox is examined in relationship to measure and group theory, geometry and logic. This is because of its totally counterintuitive nature. Tomkowicz proved also that most of the classical paradoxes are an easy consequence of a graph theoretical result and the fact that the groups in. The banachtarski paradox is a theorem in set theoretic geometry which states that a solid ball in 3dimensional space can be split into a finite number of nonoverlapping pieces, which can then be put back together in a different way to yield two identical copies of the original ball. It proves that there is, in fact, a way to take an object and separate it into 5 different pieces. Sep 21, 2012 the banach tarski paradox has been called the most suprising result of theoretical mathematics s.
The banach tarski paradox is a most striking mathematical construction. The banach tarski paradox is a theorem in settheoretic geometry, which states the following. Banachtarski paradox persists in amenability two d imensio ns. No stretching required into two exact copies of the original item. The banach tarski paradox karl stromberg in this exposition we clarify the meaning of and prove the following paradoxical theorem which was set forth by stefan banach and alfred tarski in 1924 1. The banachtarski paradox has been called the most suprising result of theoretical mathematics s. The banachtarski paradox serves to drive home this point. In this sense, the banachtarski paradox is a comment on the shortcomings of our mathematical formalism. Asserting that a solid ball may be taken apart into many pieces that can be rearranged to form a ball twice as large as the original, the banachtarski paradox is examined in relationship to measure and group theory, geometry and logic. This volume explores the consequences of the paradox for measure theory and its connections with group theory, geometry, set. The banach tarski paradox is a theorem which states that the solid unit ball can be partitioned into a nite number of pieces, which can then be reassembled into two copies of the same ball. This is one of the classic paradoxes in modern mathematics if we assume that, from an infinite set of sets, we can choose one element from each, then we can slice up a solid ball into finitely many pieces and reassemble it as two balls of the same size. This demonstration shows a constructive version of the banachtarski paradox, discovered by jan mycielski and stan wagon.
1180 973 7 332 467 308 663 895 1457 85 478 437 1313 1436 167 1250 988 548 1437 1205 857 119 1393 503 1485 1038 904 882 75 720 493 968 849 517 1091 813 356 1491 87