The Banach–Tarski Paradox is a book in mathematics on the Banach–Tarski paradox, the fact that a unit ball can be partitioned into a finite number of subsets and reassembled to form two unit balls. It was written by Stan Wagon and published in 1985 by the Cambridge University Press as volume 24 of their Encyclopedia of Mathematics and its Applications book series.[1][2][3][4][5] A second printing in 1986 added two pages as an addendum, and a 1993 paperback printing added a new preface.[6] In 2016 the Cambridge University Press published a second edition, adding Grzegorz Tomkowicz as a co-author, as volume 163 of the same series.[7][8] The Basic Library List Committee of the Mathematical Association of America has recommended its inclusion in undergraduate mathematics libraries.[8]
.jpg) First edition | |
| Author | Stan Wagon |
|---|---|
| Series | Encyclopedia of Mathematics and its Applications |
| Subject | The Banach–Tarski paradox |
| Publisher | Cambridge University Press |
Publication date | 1985 |
Topics
editThe Banach–Tarski paradox, proved by Stefan Banach and Alfred Tarski in 1924, states that it is possible to partition a three-dimensional unit ball into finitely many pieces and reassemble them into two unit balls, a single ball of larger or smaller area, or any other bounded set with a non-empty interior. Although it is a mathematical theorem, it is called a paradox because it is so counter-intuitive; in the preface to the book, Jan Mycielski calls it the most surprising result in mathematics. It is closely related to measure theory and the non-existence of a measure on all subsets of three-dimensional space, invariant under all congruences of space, and to the theory of paradoxical sets in free groups and the representation of these groups by three-dimensional rotations, used in the proof of the paradox. The topic of the book is the Banach–Tarski paradox, its proof, and the many related results that have since become known.[3][5]
The book is divided into two parts, the first on the existence of paradoxical decompositions and the second on conditions that prevent their existence.[1][7] After two chapters of background material, the first part proves the Banach–Tarski paradox itself, considers higher-dimensional spaces and non-Euclidean geometry, studies the number of pieces necessary for a paradoxical decomposition, and finds analogous results to the Banach–Tarski paradox for one- and two-dimensional sets. The second part includes a related theorem of Tarski that congruence-invariant finitely-additive measures prevent the existence of paradoxical decompositions, a theorem that Lebesgue measure is the only such measure on the Lebesgue measurable sets, material on amenable groups, connections to the axiom of choice and the Hahn–Banach theorem.[3][7] Three appendices describe Euclidean groups, Jordan measure, and a collection of open problems.[1]
The second edition adds material on several recent results in this area, in many cases inspired by the first edition of the book. Trevor Wilson proved the existence of a continuous motion from the one-ball assembly to the two-ball assembly, keeping the sets of the partition disjoint at all times; this question had been posed by de Groot in the first edition of the book.[7][9] Miklós Laczkovich solved Tarski's circle-squaring problem, asking for a dissection of a disk to a square of the same area, in 1990.[7][8][10] And Edward Marczewski had asked in 1930 whether the Banach–Tarski paradox could be achieved using only Baire sets; a positive answer was found in 1994 by Randall Dougherty and Matthew Foreman.[8][11]
Audience and reception
editThe book is written at a level accessible to mathematics graduate students, but provides a survey of research in this area that should also be useful to more advanced researchers.[3] The beginning parts of the book, including its proof of the Banach–Tarski paradox, should also be readable by undergraduate mathematicians.[4]
Reviewer Włodzimierz Bzyl writes that "this beautiful book is written with care and is certainly worth reading".[2] Reviewer John J. Watkins writes that the first edition of the book "became the classic text on paradoxical mathematics" and that the second edition "exceeds any possible expectation I might have had for expanding a book I already deeply treasured".[8]
See also
editReferences
edit- ^ a b c Luxemburg, W. A. J., "Review of The Banach–Tarski Paradox (1st ed.)", zbMATH, Zbl 0569.43001
- ^ a b Bzyl, Włodzimierz (1987), "Review of The Banach–Tarski Paradox (1st ed.)", Mathematical Reviews, MR 0803509
- ^ a b c d Gardner, R. J. (March 1986), "Review of The Banach–Tarski Paradox (1st ed.)", Bulletin of the London Mathematical Society, 18 (2): 207–208, doi:10.1112/blms/18.2.207
- ^ a b Henson, C. Ward (July–August 1987), American Scientist, 75 (4): 436, JSTOR 27854763
{{citation}}: CS1 maint: untitled periodical (link) - ^ a b Mycielski, Jan (August–September 1987), American Mathematical Monthly, 94 (7): 698–700, doi:10.2307/2322243, JSTOR 2322243
{{citation}}: CS1 maint: untitled periodical (link) - ^ Foreman, Matthew (June 1995), "Review of The Banach–Tarski Paradox (1993 paperback ed.)", Journal of Symbolic Logic, 60 (2): 698, doi:10.2307/2275867, JSTOR 2275867
- ^ a b c d e Hart, Klaas Pieter, "Review of The Banach–Tarski Paradox (2nd ed.)", Mathematical Reviews, MR 3616119
- ^ a b c d e Watkins, John J. (July 2017), "Review of The Banach–Tarski Paradox (2nd ed.)", MAA Reviews, Mathematical Association of America
- ^ Wilson, Trevor M. (2005), "A continuous movement version of the Banach–Tarski paradox: a solution to de Groot's problem", Journal of Symbolic Logic, 70 (3): 946–952, CiteSeerX 10.1.1.502.6600, doi:10.2178/jsl/1122038921, MR 2155273, S2CID 15825008
- ^ Laczkovich, M. (1990), "Equidecomposability and discrepancy; a solution of Tarski's circle-squaring problem", Journal für die Reine und Angewandte Mathematik, 1990 (404): 77–117, doi:10.1515/crll.1990.404.77, MR 1037431, S2CID 117762563
- ^ Dougherty, Randall; Foreman, Matthew (1994), "Banach–Tarski decompositions using sets with the property of Baire", Journal of the American Mathematical Society, 7 (1): 75–124, doi:10.2307/2152721, JSTOR 2152721, MR 1227475