Teorema del buon ordinamento
Da Wikipedia, l'enciclopedia libera.
Il teorema del buon ordinamento (da non confondersi con il Principio del Buon Ordinamento) afferma che ogni insieme può essere bene ordinato.
La sua importanza è dovuta al fatto che esso rende possibile trattare ogni insieme con la tecnica dell'induzione transfinita, tecnica logicamente assai efficace.
Georg Cantor considerava che questo enunciato fosse un "fondamentale principio del pensiero." Molti matematici, tuttavia, trovano difficile visualizzare un buon ordinamento di insiemi come 
, insieme dei numeri reali. Nel 1904 Julius König annunciò di avere dimostrato che tale buon ordinamento non può esistere, ma successivamente Felix Hausdorff ha trovato un errore nella sua dimostrazione. Ernst Zermelo in seguito per dimostrare il teorema del buon ordinamento introdusse l'assioma della scelta ritenendolo un "principio logico non sottoponibile ad obiezioni". Si è però trovato che il teorema del buon ordinamento è equivalente all'assioma della scelta: più precisamente, ciascuno dei due enunciati aggiunto agli assiomi di Zermelo-Fraenkel consente di dimostrare l'altro.
Il teorema del buon ordinamento ha conseguenze che possono apparire paradossali, come ad esempio il cosiddetto paradosso di Banach-Tarski.
[modifica] Voci correlate
- Assioma del buon ordinamento
