Paradosso di Banach-Tarski
Il paradosso di Banach-Tarski, o paradosso di Hausdorff-Banach-Tarski è stato dimostrato per la prima volta da Stefan Banach e Alfred Tarski nel 1924. È il risultato noto come "raddoppiamento della sfera" ("doubling the ball"), con cui si stabilisce che, adoperando l'assioma della scelta, è possibile prendere una sfera nello spazio a tre dimensioni, suddividerla in un insieme finito di pezzi non misurabili e, utilizzando solo rotazioni e traslazioni, riassemblare i pezzi in modo da ottenere due sfere dello stesso raggio della sfera originale.
Descrizione
modificaCon questo risultato, Banach e Tarski intendevano fornire argomenti a sostegno della loro decisione di non avvalersi dell'assioma della scelta e speravano di spingere alle medesime conclusioni gli altri matematici dell'epoca. Contrariamente a quanto da loro auspicato, tuttavia, la maggior parte dei matematici preferisce utilizzare tale assioma e vedere nel risultato paradossale di Banach e Tarski semplicemente un risultato controintuitivo (e tuttavia di per sé non contraddittorio).
Il paradosso mostra che non è possibile formulare una nozione di misura che da una parte si accordi con la classica nozione di volume (e che, quindi, sia invariante per roto-traslazioni) e che dall'altra possa essere applicata a tutti i sottoinsiemi dello spazio.
Detto in altri termini: se della classica nozione di volume si vuole preservare la proprietà di invarianza roto-traslazionale, allora si deve rinunciare alla pretesa di misurare ogni sottoinsieme dello spazio, ovvero si deve accettare il fatto che esistano sottoinsiemi dello spazio per i quali la nozione di volume non è definita. Difatti, il paradosso si spiega proprio con il fatto che alcuni dei pezzi in cui risulta suddivisa la prima sfera risultano essere insiemi ai quali la nozione di volume non può essere applicata, nonostante sia l'insieme di partenza (la prima sfera) sia quello d'arrivo (la coppia di sfere) abbiano invece un volume ben definito.
La dimostrazione dell'esistenza di insiemi il cui volume non può essere definito era già stata ottenuta da Giuseppe Vitali con l'esempio dell'insieme di Vitali; tuttavia nell'insieme di Vitali viene fatta una decomposizione in un numero infinito (numerabile) di parti, mentre nel paradosso di Banach-Tarski la suddivisione è in un numero finito di parti.
Infine, è utile osservare che sia la costruzione di Vitali sia quella di Banach-Tarski si basano sull'assioma della scelta: è stato dimostrato che se non si utilizza tale assioma allora non è possibile costruire l'insieme di Vitali né dimostrare il paradosso di Banach-Tarski.
Impostazione formale
modificaSupponiamo che sia un gruppo che agisce su un insieme . Nel caso speciale più importante, è uno spazio euclideo n-dimensionale, e consiste in tutte le isometrie di , cioè le trasformazioni biunivoche di in se stesso che preservano le distanze. Due figure geometriche che possono essere trasformate l'una nell'altra vengono chiamate congruentiː questa terminologia sarà estesa alla -azione generale. Due sottoinsiemi e di sono chiamati -equiscomponibili, o equiscomponibili rispetto a , se e possono essere partizionati nello stesso numero finito di pezzi -congruenti. Ciò definisce una relazione di equivalenza, indicata col simbolo , tra tutti i sottoinsiemi di . Formalmente, se
e ci sono elementi di tali che per ogni tra e , , allora si dice che e sono -equiscomponibili usando pezzi. Un insieme viene chiamato paradossale se ha due sottoinsiemi disgiunti e tali che e .
Usando questa terminologia il paradosso di Banach-Tarski può essere riformulato come segue:
- Una palla a tre dimensioni Euclidee è equiscomponibile a due copie di se stessa.
Voci correlate
modificaAltri progetti
modifica- Wikimedia Commons contiene immagini o altri file sul Paradosso di Banach-Tarski
Collegamenti esterni
modifica- (EN) Banach-Tarski paradox, su Enciclopedia Britannica, Encyclopædia Britannica, Inc.
- (EN) Denis Howe, Banach-Tarski paradox, in Free On-line Dictionary of Computing. Disponibile con licenza GFDL
- Dimostrazione del paradosso (richiede conoscenze di matematica a livello universitario)
Controllo di autorità | LCCN (EN) sh85011446 · GND (DE) 4143975-2 · BNF (FR) cb12285988c (data) · J9U (EN, HE) 987007282589105171 |
---|