Utente:XXxWikipedianxXx/Hausdorff paradox

Il paradosso di Hausdorff è un apparente paradosso in matematica che prende il nome dall'omonimo matematico Felix Hausdorff, simile al paradosso di Banach-Tarski, che afferma quanto segue: data una sfera ${\mathbb {S} ^{2}}$ (una sfera 2-dimensionale in ${\mathbb {R} ^{3}}$), se da essa viene rimosso un certo sottoinsieme numerabile, allora la parte rimanente può essere divisa in tre sottoinsiemi disgiunti ${A,B}$ e ${C}$ tali che ${A,B,C}$ e ${B\cup C}$ sono tutti e tre congruenti. In particolare, segue che sulla ${\mathbb {S} ^{2}}$-sfera non è possibile definire una misura additiva finita (cioè tale che assuma valori finiti) definita su tutti i sottoinsiemi in modo tale che la misura degli insiemi congruenti sia uguale (poiché questo implicherebbe che la misura di ${B\cup C}$ sia simultaneamente ${\frac {1}{3}}$ e ${\frac {2}{3}}$ della misura totale dell'intera sfera).

Descrizione

Il risultato fu pubblicato per la prima volta sui Matematische Annalen nel 1914, e nel nel libro di Hausdorff "Grundzüge der Mengenlehre" (Introduzione alla teoria degli insiemi) nello stesso anno. La dimostrazione del paradosso di Banach-Tarski fa uso delle idee di Hausdroff, ed entrambi si basano sull'uso dell'assioma della scelta. Questo risultato mostra che non esiste una misura finitamente additiva su una sfera, definibile su tutti i suoi sottoinsiemi, che sia uguale su sue parti congruenti (Hausdorff ha prima dimostrato il risultato più debole: non esiste una misura additiva numerabile definita su tutti i sottoinsiemi). La struttura del gruppo di rotazioni di una sfera $SO(3)$ gioca qui un rusolo cruciale, poiché il risultato non vale sul piano o sulla retta: infatti, come è stato successivamente dimostrato da Banach, è possibile definire un'"area" per tutti i sottoinsiemi limitati del piano euclideo (così come una "lunghezza" per tutti i sottoinsiemi limitati della retta reale) in modo che sottoinsiemi congruenti abbiano stessa "area" (o "lunghezza", nel caso della retta). Questo implica che dati due sottoinsiemi aperti del piano euclideo (o della retta reale), se essi sono equiscomponibili, allora hanno stessa area (o lunghezza).

Trattazione formale

Un ingrediente cruciale nella dimostrazione è l'assioma della scelta, poiché esso permette che ${A,B,C}$ non siano insiemi costruibili.

Teorema

Esiste una decomposizione della sfera unitaria ${\mathbb {S} ^{2}}$ nello spazio euclideo ${\mathbb {R} ^{3}}$ in quattro insiemi ${A,B,C,D}$ disgiunti tale che ${A,B,C,B\cup C}$ siano congruenti e ${D}$ sia numerabile.

Dimostrazione

Siano $OA$ e $OB$ due raggi della sfera separati da un angolo $\alpha$. Siano $\phi$ e $\psi$ le applicazioni lineare di ${\mathbb {S} ^{2}}$ in sé stessa date dalla rotazione rispettivamente di un angolo $\pi$ rispetto a $OA$ e di ${\frac {2}{3}}\pi$ rispetto a $OB$ e sia $R\subset \mathbb {SO} \left({3}\right)$ il gruppo generato dalle suddette rotazioni. Si noti che per $\alpha \neq 0,\pi$ il gruppo $R$ è non-commutativo (non-abeliano). Si ha:

$\phi ^{2}=\psi ^{3}=\mathbf {I} _{3}$,

dove $\mathbf {I} _{3}$ denota l'applicazione identità di $\mathbb {R} ^{3}$.

Sia ora $r\in R$ una generica rotazione tale che $r\neq \mathbf {I} _{3},\phi ,\psi ,\psi ^{2}$. Risulta che $\forall r$ esiste un $n\in \mathbb {N}$, esiste un $k$ tale che $1\leq k\leq n$ ed esiste un $m_{k}\in \left\{{1,2}\right\}$ tale che $r$ sia una delle seguenti:

$\displaystyle {\text{(a)}}:r=\prod _{k\mathop {=} 1}^{n}\phi \psi ^{m_{k}}$

$\displaystyle {\text{(b)}}:r=\left({\prod _{k\mathop {=} 1}^{n}\phi \psi ^{m_{k}}}\right)\phi$

$\displaystyle {\text{(c)}}:r=\psi ^{m_{1}}\left({\prod _{k\mathop {=} 2}^{n}\phi \psi ^{m_{k}}}\right)$

$\displaystyle {\text{(d)}}:r=\psi ^{m_{1}}\left({\prod _{k\mathop {=} 2}^{n}\phi \psi ^{m_{k}}}\right)\phi$

[[Categoria:Teoria della misura]] [[Categoria:Teoremi di analisi matematica]] [[Categoria:Paradossi matematici]]