For faster navigation, this Iframe is preloading the Wikiwand page for Banach-tarskiparadox.

Banach-tarskiparadox

Uit Wikipedia, de vrije encyclopedie

Een (massieve) bol wordt verdeeld in een eindig aantal stukken. Die worden vervolgens samengevoegd tot twee bollen, beide even groot als het origineel.
Een (massieve) bol wordt verdeeld in een eindig aantal stukken. Die worden vervolgens samengevoegd tot twee bollen, beide even groot als het origineel.

De Banach-Tarskiparadox is een stelling uit de meetkunde die zegt dat een massieve driedimensionale bol in een eindig aantal disjuncte (dat wil zeggen niet overlappende) delen gesplitst kan worden die weer samengevoegd kunnen worden tot twee identieke kopieën van de oorspronkelijke bol. Er is nader bewezen dat het met vijf delen kan.

Het weer samenvoegen gebeurt enkel met behulp van rotaties en translaties, dus uit directe isometrieën van de ruimte, wat afbeeldingen zijn die de vorm en grootte niet veranderen. De delen bestaan uit verzamelingen van allemaal losse punten, een soort stofwolken, met een zo ingewikkelde structuur dat ze niet meetbaar zijn, zodat het volume van elk niet gedefinieerd is. Daardoor is de stelling niet in strijd met de maattheorie.

Stefan Banach en Alfred Tarski gaven in 1924 in een krant de constructie van een dergelijke "paradoxale decompositie", gebaseerd op eerder werk door Giuseppe Vitali met betrekking tot het eenheidsinterval en op de hausdorff-paradox, een paradoxale decompositie van de bol door Felix Hausdorff. Ze bewezen ook de sterke vorm van de banach-tarskiparadox:

Gegeven twee willekeurige eindige begrensde deelverzamelingen en van de euclidische ruimte van minstens drie dimensies die beide een niet-leeg inwendige hebben, dan bestaan er eindige partities van en met evenveel delen, dus disjuncte deelverzamelingen en met en zodat voor elke de verzamelingen en congruent zijn.

Dit geldt niet in een of twee dimensies, maar Banach en Tarski hebben aangetoond dat een analoge stelling wel nog waar is, indien we aftelbaar veel deelverzamelingen toelaten. Het verschil tussen een en twee dimensies enerzijds en drie en meer dimensies anderzijds is het gevolg van de veel rijkere structuur van de groep van Euclidische transformaties in hogere dimensies.

Terwijl onder aanname van het keuzeaxioma de vitali-verzamelingen laten zien dat er niet-meetbare verzamelingen zijn (in de zin van een maat met sigma-additiviteit) blijkt hier (ook weer onder aanname van het keuzeaxioma) dat er in drie dimensies zelfs geen volume-begrip met eindige additiviteit is.

De reden waarom dit een paradox genoemd wordt, is omdat het tegen de meetkundige intuïtie ingaat, alleen al qua volume. "De bal verdubbelen" door hem in stukken te verdelen, de stukken in het rond te laten draaien en te verplaatsen, zonder deze uit te rekken of nieuwe punten toe te voegen lijkt onmogelijk, omdat al deze operaties het volume bewaren. Maar toch is het volume op het einde verdubbeld. Dankzij de sterke versie kunnen de punten van een erwt in stukken worden verdeeld om vervolgens opnieuw samengevoegd te worden om uiteindelijk zelfs de afmeting van de zon aan te nemen.

Argumenten als deze paradox uit de verzamelingenleer hebben voor felle kritiek op het keuzeaxioma gezorgd, nochtans wordt het keuzeaxioma nu door de meeste wiskundigen aanvaard.

Trivia

In 1989 publiceerde A. K. Dewdney een brief aan zijn vriend Arlo Lipof, in zijn "Computer Recreations" column in het blad Scientific American. Dewdney beschrijft er een ondergrondse operatie "in een Zuid-Amerikaans land", waar men gouden ballen zou verdubbelen met behulp van de banach-tarskiparadox.[1] Dit was natuurlijk een 1 aprilgrap. "Arlo Lipof" is een anagram van "April Fool", de Engelse term voor 1 aprilgrap.

{{bottomLinkPreText}} {{bottomLinkText}}
Banach-tarskiparadox
Listen to this article

This browser is not supported by Wikiwand :(
Wikiwand requires a browser with modern capabilities in order to provide you with the best reading experience.
Please download and use one of the following browsers:

This article was just edited, click to reload
This article has been deleted on Wikipedia (Why?)

Back to homepage

Please click Add in the dialog above
Please click Allow in the top-left corner,
then click Install Now in the dialog
Please click Open in the download dialog,
then click Install
Please click the "Downloads" icon in the Safari toolbar, open the first download in the list,
then click Install
{{::$root.activation.text}}

Install Wikiwand

Install on Chrome Install on Firefox
Don't forget to rate us

Tell your friends about Wikiwand!

Gmail Facebook Twitter Link

Enjoying Wikiwand?

Tell your friends and spread the love:
Share on Gmail Share on Facebook Share on Twitter Share on Buffer

Our magic isn't perfect

You can help our automatic cover photo selection by reporting an unsuitable photo.

This photo is visually disturbing This photo is not a good choice

Thank you for helping!


Your input will affect cover photo selection, along with input from other users.