Formal proof of banachtarski paradox archive ouverte hal. One of the strangest theorems in modern mathematics is the banachtarski paradox. When the paradox was published in 1924 many mathematicians found it an unacceptable result. But, might there be any truth in this famous illusion. The infinite chocolate paradox is a crude representation of the banachtarski paradox, which, by a notorious misinterpretation, allows the most daunting mathematical atrocity 12. The banachtarski 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. Reassembling is done using distancepreserving transformations. 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. So, one relies on the fact that the linear problems are relatively tractable, and on the theory we will consider. Doubling of a sphere, as per the banachtarski theorem. Even though the banachtarski paradox may sound unbelievable, it hardly is. Notes on the banachtarski paradox donald brower may 6, 2006 the banachtarski paradox is not a logical paradox, but rather a counter intuitive result.
Taking the ve loaves and the two sh and looking up to heaven, he gave thanks and broke the loaves. Its a nonconstructive proof which tells you it can be done without telling you how. Indeed, the reassembly process involves only moving the pieces. May 06, 2015 the universe is unbelievably big trillions of stars and even more planets. In 1924 banach and tarski demonstrated the existence of a paradoxical decomposition. Notes on the banachtarski paradox university of notre dame. 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. Are there physical applications of banachtarski paradox. It plays a sufficiently important role in the banach tarski paradox that an. The banach tarski paradox is a theorem in settheoretic geometry, which states the following. The banachtarski paradox is a theorem in settheoretic geometry, which states the following. Abstract in its weak form, the banachtarski paradox states that for any ball in r3, it is possible to partition the ball into nitely many pieces, reassemble them using rotations only, producing two new balls of the exact size as the original ball.
A laymans explanation of the banachtarski paradox a. Bwith nonempty interior it is possible to partition ainto nitely many pieces, move the pieces around, and end up with b. Empirically there are good reasons for faith in mathematical proofs. It proves that there is, in fact, a way to take an object and separate it into 5 different pieces. Nonmeasurable sets and the banachtarski paradox based largely on the pea and the suna mathematical paradox, by leonard m. This proposed idea was eventually proven to be consistent with the axioms of set theory and shown to be nonparadoxical. Screen capture from video by vsauce there is a bizarre illusion that leads you to think you can create chocolate out of nothing. Other articles where banachtarski paradox is discussed. Il paradosso di banachtarski pu o essere enunciato cos. The banachtarski paradox serves to drive home this point. A word win gis an expression possibly, empty in the elements of g. It is not a paradox in the same sense as russells paradox, which was a formal contradictiona proof of an absolute falsehood. The discovery of the banachtarski paradox was of course a great thing in mathematics but raises the issue of the relation between mathematics and reality. 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.
Hanspeter fischer, on the banachtarski paradox and other counterintuitive results. An illustration of the effects of the banachtarski paradox. Wikipedia actually, regarding math topics, wiki often makes you more confused than you already were. The banachtarski paradox neal coleman neal coleman is a sophomore majoring in pure math and applied physics at ball state. 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. In banachtarski paradox, you are given the power to pick up infinitely many points at once, but you can only perform rigid motion with them, like translate them or rotate them all at once. 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. His mother was unable to support him and he was sent to live with friends and family. In a metric space we call geodesic a path joining x,y and of length distx,y. The banachtarski paradox may 3, 2012 the banachtarski paradox is that a unit ball in euclidean 3space can be decomposed into. 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. No stretching required into two exact copies of the original item.
1128 1282 695 761 597 126 1262 1257 815 1161 1424 490 1438 858 509 925 371 1399 1062 179 65 181 613 651 135 1274 586 442 881 1396 679