pseudoparadox in measure theory
The resolution to this and similar paradoxes lies in the fact that the sets were not defined constructively. To show that they exist, one needs to appeal to the non-constructive axiom of choice. What the paradox shows is that one can’t have one’s cake and eat it too — either one can cling to the naive “” picture and forego non-constructive techniques as the intuitionist school of mathematics does, or else if, like the majority of mathematicians, one wants to keep the powerful tools provided by non-constructive techniques in set theory, one must give up the naive notion that every set is measurable and limit “” to operations involving measurable sets.
It might be worth mentioning that it is essential that there be an infinite number of sets . As an elegant argument posted by jihema shows, it is not possible to find a finite collection of disjoint subsets of such that a union of translations of these subsets equals . In higher dimensions, the situation is worse because, as Banach and Tarski showed, it is possible to derive analogous paradoxes involving only a finite number of subsets.
|Title||pseudoparadox in measure theory|
|Date of creation||2013-03-22 14:38:40|
|Last modified on||2013-03-22 14:38:40|
|Last modified by||rspuzio (6075)|
|Synonym||one-dimensional Banach-Tarski paradox|