First stated in , the Banach-Tarski paradox states that it is possible to decompose a ball into six pieces which can be reassembled by rigid motions to form. The Banach-Tarski paradox is a theorem in geometry and set theory which states that a. THE BANACH-TARSKI PARADOX. ALLISON WU. Abstract. Stefan Banach and Alfred Tarski introduced the phrase: “a pea can be chopped up.
|Published (Last):||21 March 2007|
|PDF File Size:||8.31 Mb|
|ePub File Size:||8.57 Mb|
|Price:||Free* [*Free Regsitration Required]|
Banach–Tarski paradox – Wikipedia
Updates on my research and expository papers, discussion of open problems, and other maths-related topics. Banach-Tarski paradoxcantor’s theoremnon-measurabilityoraclesset theory by Terence Tao 42 comments.
The standard modern foundation of mathematics is constructed using set theory. In a pure set theory, the primitive objects would themselves be tarskii as well; this is useful for studying the foundations of mathematics, but for most mathematical purposes it is more convenient, and less conceptually confusing, to refrain from modeling primitive objects as sets.
After all, if one deals solely with finite sets, then there is no need to distinguish between countable and uncountable infinities, and Banach-Tarski type paradoxes cannot occur. On the other hand, many statements in infinitary mathematics can be pradox into equivalent statements in finitary mathematics involving only finitely many points or numbers, etc.
So, one may ask: Though this is not quite the end of the story; after all, one also has for every natural numberor equivalently that the union of a finite set and an additional element cannot be enumerated by itself, but the former statement extends to the infinite case, while the latter one does not. What causes these two outcomes to be distinct? On the other hand, it is less obvious what the finitary version of the Banach-Tarski paradox is.
Note that ;aradox paradox is available only in three and higher dimensions, but not in one or two dimensions; so presumably a finitary analogue of this paradox should also make the same pararox between low and high dimensions.
It seems that the paradoox way to accomplish this is to avoid the use of set theory, and replace sets by some other concept.
Taking inspiration from theoretical computer science, I decided to replace concepts such as functions and sets by the concepts of algorithms and oracles instead, with various constructions in set theory being replaced instead by computer language pseudocode.
Finally one can allow constructions indexed by arbitrary ordinals i. I should caution that this is a conceptual exercise rather than a rigorous one; I have not attempted to formalise these notions to the same extent that set theory is formalised.
Thus, for instance, I have no explicit system of axioms that algorithms and oracles are supposed to obey. Of course, these formal issues have been explored in great depth by logicians over the past century or so, but I do not wish to focus on these topics in this post.
A second caveat is that the actual semantic content of this post is going to be extremely low. Nevertheless I believe this viewpoint is somewhat clarifying as to the nature of these paradoxes, and as to how they are not as fundamentally tied to the nature of sets or the nature of infinity as one might first expect. In this post only, I will colour a statement red if it assumes the axiom of choice. For the rest of the course, the axiom of choice will be implicitly assumed throughout.
A Layman’s Explanation of the Banach-Tarski Paradox
The famous Banach-Tarski paradox asserts that one can take the unit ball in three dimensions, divide it up into finitely many pieces, and then translate and rotate each piece so that their union is now two disjoint unit balls.
As a consequence of this paradox, it is not possible to create a finitely additive measure on that is paradx translation and rotation invariant, which can measure every subset ofand which gives the unit ball a non-zero measure. This paradox helps explain why Lebesgue paradxo which is countably additive and both translation and rotation invariant, and gives the unit ball a non-zero measure cannot measure every set, instead being restricted to measuring sets that are Lebesgue measurable.
On the other hand, it is not possible to replicate the Banach-Tarski paradox in one or two dimensions; the unit interval in or unit disk in cannot be rearranged into two unit intervals or two unit disks using only finitely many pieces, translations, and rotations, and indeed there do exist non-trivial finitely bajach measures on these spaces.
However, it is possible to obtain a Banach-Tarski type paradox in one or two dimensions using countably many such pieces; this rules out the possibility of extending Lebesgue measure to tarsik countably additive translation invariant measure on all subsets of or any higher-dimensional space.
In these notes I would like to establish all of the above results, and tie them in with some important concepts and tools in modern group theory, most notably amenability and the ping-pong lemma. This material is not required for the rest banwch the course, but nevertheless has some independent interest. Create a free website or blog at WordPress. Ben Eastaugh and Chris Sternal-Johnson. What’s new Updates on my research and expository papers, discussion of open problems, and other maths-related topics.
Recent Comments sylvainjulien on Polymath15, eleventh thread: W… Anonymous on Polymath15, eleventh thread: W… Terence Tao on Polymath15, eleventh thread: W… KM on Polymath15, eleventh thread: W… rudolph01 on Polymath15, eleventh thread: What is good mathematics? Why global regularity for Navier-Stokes is hard.
Open Source Mathematical Software Subverting the system. Writing paraox the results, and exploring negative t Career advice The uncertainty principle A: Problem solving strategies About The Euler-Maclaurin formula, Bernoulli numbers, the zeta function, and real-variable analytic continuation Books On writing.
Categories expository tricks 10 guest blog 10 Mathematics math. ST 6 non-technical admin 43 advertising 30 diversions 4 media 12 journals 3 hanach 12 opinion 30 paper book 17 Companion 13 update 19 question polymath 83 talk 64 DLS 19 teaching A — Real analysis 11 B — Real analysis 21 C — Real analysis 6 A — complex analysis 9 C — complex analysis 5 A — analytic prime number theory 16 A — ergodic theory 18 A — Hilbert’s fifth problem 12 A — Incompressible fluid equations 5 A — random matrices 14 B — expansion in groups 8 B — Higher order Fourier analysis 9 B — incompressible Euler equations 1 A — probability theory 6 G — poincare conjecture 20 Logic reading seminar 8 travel See the about page for details and for other commenting policy.
Bill on Jean Bourgain.
K on Polymath15, eleventh thread: Anonymous on Polymath15, eleventh thread: Terence Tao on Polymath15, eleventh thread: KM on Polymath15, eleventh thread: Complexity Year in R… on Jean Bourgain.
Terence Tao on C, Notes 2: Terence Tao on Jean Bourgain. Anonymous on C, Notes 2: