{"id":2275,"date":"2010-06-10T02:30:47","date_gmt":"2010-06-10T00:30:47","guid":{"rendered":"https:\/\/xmau.com\/wp\/ilpost\/?p=2275"},"modified":"2022-10-10T16:03:26","modified_gmt":"2022-10-10T14:03:26","slug":"ci-sono-infiniti-piu-infiniti","status":"publish","type":"post","link":"https:\/\/xmau.com\/ilpost\/2010\/06\/10\/ci-sono-infiniti-piu-infiniti\/","title":{"rendered":"Ci sono infiniti “pi\u00f9 infiniti”!"},"content":{"rendered":"

L’ultima volta abbiamo visto<\/a> come la cardinalit\u00e0 dell’insieme dei numeri interi, quella indicata come ℵ0<\/sub>, \u00e8 anche quella di insiemi che a prima vista sembrano ben pi\u00f9 grandi; costruendo un percorso in diagonale simile a quello che nell’albergo di Hilbert ha permesso al direttore di trovare una camera per ciascuno degli infiniti passeggeri degli infiniti pullman arrivati tutti insieme si pu\u00f2 dimostrare ad esempio che i numeri razionali hanno la stessa cardinalit\u00e0 degli interi, nonostante in un segmento piccolo quanto vogliamo ce ne sono… beh, infiniti.<\/p>\n

Ma forse sapete gi\u00e0 come va avanti la storia: a un certo punto Cantor rimase sconcertato nello scoprire che i numeri reali sono “pi\u00f9 infiniti” dei razionali! Insomma, ci sono dei casi in cui anche il direttore dell’albergo di Hilbert dovrebbe rassegnarsi e dire ai nuovi arrivati “mi spiace, non posso trovarvi una camera”. La dimostrazione di Cantor, una volta che ci si \u00e8 abituati a ragionare con l’infinito attuale, \u00e8 davvero semplice, e vale la pena presentarla per esteso. Per la precisione dimostreremo che i numeri reali nell’intervallo tra 0 e 1 non sono numerabili: detto in altre parole, in qualunque modo noi tentiamo di mettere in una lista ordinata i numeri, ce ne sfugge sempre qualcuno. Il problema non \u00e8 che tra due numeri reali ne possiamo sempre trovare infiniti altri; quello succede anche con i razionali, ma abbiamo visto che basta ordinarli in un modo diverso e siamo sicuri di trovarli tutti.<\/p>\n

\"il<\/a>La dimostrazione di Cantor \u00e8 per assurdo: lui suppone che sia possibile scrivere una lista x1<\/sub><\/i>, x2<\/sub><\/i>, x3<\/sub><\/i>, … che comprenda tutti i numeri reali tra 0 e 1, e mostra che data una qualunque lista di questo tipo possiamo trovare un numero che sicuramente in quella lista non c’\u00e8. Per prima cosa, come si scrivono i numeri reali? Giusto pochi anni prima, Richard Dedekind – collega e amico di Cantor – aveva trovato un modo formale per farlo. Un numero reale \u00e8 dato dalla successione infinita delle sue cifre decimali, come dire che π \u00e8 3,14159265358979… Immaginando di poter scrivere infinite cifre, resta solo un piccolo problema, visto che 0,999999…. e 1,000000… rappresentano lo stesso numero; per convenzione possiamo scegliere una delle due rappresentazioni possibili, o se preferiamo possiamo metterle entrambe nel nostro listone, che tanto male non fa. Una volta scritta questa lista infinita di numeri nel formato 0,abcdefg<\/em>… costruiamo un nuovo numero con la seguente regola. Il numero inizia con 0 virgola, come tutti gli altri; la sua n<\/i>-sima cifra decimale \u00e8 ricavata dall’n<\/i>-sima cifra decimale dell’n<\/i>-simo numero della lista in questo modo; se quella cifra \u00e8 compresa tra 0 e 4 allora scriviamo 7, mentre se \u00e8 compresa tra 5 e 9 scriviamo 2. Il numero cos\u00ec ottenuto \u00e8 per costruzione diverso da ciascuno degli altri numeri per almeno una cifra; abbiamo cos\u00ec trovato un numero tra 0 e 1 che non fa parte della lista. N\u00e9 vale dire “allora aggiungiamo questo nuovo numero da qualche parte”, oppure “rimescoliamo la nostra lista iniziale”; ribadisco che per ogni<\/b> lista L siamo in grado di trovare un numero k<\/i>L<\/sub> fuori dalla lista stessa. L’indice L sta a significare che il numero che troviamo dipende dalla lista scelta, giusto per completezza.<\/p>\n

Cantor dimostr\u00f2 anche che l’insieme delle parti<\/b> di un insieme ha sempre cardinalit\u00e0 strettamente maggiore dell’insieme di partenza. Dato un insieme J, l’insieme delle parti di J \u00e8 l’insieme P(J) (a volte indicato anche come 2J<\/sup>, il perch\u00e9 lo vedremo subito) i cui elementi sono tutti i sottoinsiemi di J; se ad esempio J \u00e8 {0,1,2} allora P(J) ha come elementi {}, {0}, {1}, {2}, {0,1}, {0,2}, {1,2}, {0,1,2}. Detto in altro modo: se ho n<\/i> pastelli colorati e voglio contrassegnare dei fogli in modo che nessuna coppia abbia esattamente gli stessi colori, posso contrassegnare 2n<\/i><\/sup> fogli distinti. Il risultato di Cantor mostra che ci sono infiniti numeri infiniti; l’insieme dei numeri reali ha in effetti la cardinalit\u00e0 dell’insieme delle parti dei numeri interi, e Cantor chiam\u00f2 tale cardinalit\u00e0 c<\/b>. Se non sbaglio dovrebbe essere una c minuscola gotica, anche se poi la si trova scritta come una c in grassetto; la lettera non \u00e8 l’iniziale del suo cognome ma della parola continuum<\/i>, visto che i numeri reali sono “continui” nella retta dei numeri. <\/p>\n

La dimostrazione qui sopra (chiamata metodo diagonale di Cantor<\/b>) \u00e8 stata riciclata svariate volte nel corso del ventesimo secolo, e ritengo sia una delle pochissime dimostrazioni veramente fondamentali nella storia della matematica. Eppure non \u00e8 stata affatto subito accettata dalla comunit\u00e0 dei matematici. Il suo pi\u00f9 strenuo oppositore fu Leopold Kronecker, che defin\u00ec Cantor “ciarlatano scientifico”, “rinnegato” e “corruttore della giovent\u00f9”; anche Poincar\u00e9 non ebbe certo parole di elogio per questo tipo di procedimenti. Persino dopo lo sdoganamento definitivo da parte di Hilbert rimase sempre una piccola corrente che non ritiene valido il ragionamento cantoriano. La ragione di tale atteggiamento \u00e8 essenzialmente filosofica, e ha anche un suo fondamento: noi non possiamo scrivere effettivamente una lista infinita, quindi per i matematici che seguono queste correnti tutta la dimostrazione cade miseramente. Tali correnti (costruttivismo, intuizionismo, finitismo) hanno come dicevo un certo numero di seguaci; la maggior parte dei matematici per\u00f2 non si cura di queste cose, e basta loro poter lavorare in santa pace.<\/p>\n

D’altra parte anche il cristianissimo Cantor aveva dei dubbi su cosa aveva effettivamente scoperto; la storia che scrisse in Vaticano per fugare i suoi dubbi e vedersi risposto dai gesuiti che andava tutto bene purch\u00e9 definisse i numeri da lui trovati “transfiniti” e non “infiniti” \u00e8 una bufala, ma \u00e8 vero che ebbe uno scambio di lettere con vari filosofi e teologi, e scrisse anche una lettera a papa Leone XIII (che non rispose). Queste diatribe e l’impossibilit\u00e0 di ottenere una cattedra universitaria pi\u00f9 importante – e meglio pagata – di quella di Halle anche a causa dell’ostracismo di Kronecker lo fecero cadere in crisi depressive, forse legate al disturbo bipolare, e mistiche sempre pi\u00f9 forti, tanto che pens\u00f2 anche di essere stato scelto da Dio per divulgare al mondo la teoria dei transfiniti. Anche la sua salute fisica peggior\u00f2, e mor\u00ec povero in un sanatorio nel 1918.<\/p>\n

Per\u00f2 la storia di Cantor e dei numeri transfiniti non \u00e8 tutta qua; ma sar\u00e0 per un’altra volta.<\/p>\n","protected":false},"excerpt":{"rendered":"

Il metodo diagonale di Cantor mostra che ci sono diversi tipi di infiniti, e ne costruisce esplicitamente uno, se si ha una pazienza infinita. Ma non tutti sono d’accordo che la cosa sia lecita!<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"site-sidebar-layout":"default","site-content-layout":"","ast-site-content-layout":"default","site-content-style":"default","site-sidebar-style":"default","ast-global-header-display":"","ast-banner-title-visibility":"","ast-main-header-display":"","ast-hfb-above-header-display":"","ast-hfb-below-header-display":"","ast-hfb-mobile-header-display":"","site-post-title":"","ast-breadcrumbs-content":"","ast-featured-img":"","footer-sml-layout":"","ast-disable-related-posts":"","theme-transparent-header-meta":"","adv-header-id-meta":"","stick-header-meta":"","header-above-stick-meta":"","header-main-stick-meta":"","header-below-stick-meta":"","astra-migrate-meta-layouts":"default","ast-page-background-enabled":"default","ast-page-background-meta":{"desktop":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""},"tablet":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""},"mobile":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""}},"ast-content-background-meta":{"desktop":{"background-color":"var(--ast-global-color-4)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""},"tablet":{"background-color":"var(--ast-global-color-4)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""},"mobile":{"background-color":"var(--ast-global-color-4)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""}},"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"_jetpack_feature_clip_id":0,"_jetpack_memberships_contains_paid_content":false,"activitypub_content_warning":"","activitypub_content_visibility":"","activitypub_max_image_attachments":4,"activitypub_interaction_policy_quote":"anyone","activitypub_status":"","footnotes":"","jetpack_publicize_message":"","jetpack_publicize_feature_enabled":true,"jetpack_social_post_already_shared":true,"jetpack_social_options":{"image_generator_settings":{"template":"highway","default_image_id":0,"font":"","enabled":false},"version":2},"jetpack_post_was_ever_published":false},"categories":[1],"tags":[],"class_list":["post-2275","post","type-post","status-publish","format-standard","hentry","category-uncategorized"],"jetpack_publicize_connections":[],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"jetpack_shortlink":"https:\/\/wp.me\/phh2yP-AH","jetpack-related-posts":[{"id":2432,"url":"https:\/\/xmau.com\/ilpost\/2011\/08\/31\/numeri-razionali-irrazionali-algebrici-e-trascendenti\/","url_meta":{"origin":2275,"position":0},"title":"Numeri razionali, irrazionali, algebrici e trascendenti","author":".mau.","date":"31\/08\/2011","format":false,"excerpt":"I numeri pi\u00f9 naturali dopo i naturali sono i razionali. Lo dice la parola stessa, no?","rel":"","context":"Similar post","block_context":{"text":"Similar post","link":""},"img":{"alt_text":"","src":"","width":0,"height":0},"classes":[]},{"id":2434,"url":"https:\/\/xmau.com\/ilpost\/2011\/09\/07\/i-numeri-immaginari-e-complessi\/","url_meta":{"origin":2275,"position":1},"title":"I numeri immaginari e complessi","author":".mau.","date":"07\/09\/2011","format":false,"excerpt":"Gi\u00e0 chiamare dei numeri \u201cimmaginari\u201d fa capire che i matematici non erano poi cos\u00ec convinti che esistessero davvero. Per\u00f2 ne avevano bisogno, e quindi non si facevano troppi problemi.","rel":"","context":"Similar post","block_context":{"text":"Similar post","link":""},"img":{"alt_text":"","src":"","width":0,"height":0},"classes":[]},{"id":2422,"url":"https:\/\/xmau.com\/ilpost\/2011\/07\/12\/6174-196-e-altri-numeri\/","url_meta":{"origin":2275,"position":2},"title":"6174, 196 e altri numeri","author":".mau.","date":"12\/07\/2011","format":false,"excerpt":"Alcuni numeri sono pi\u00f9 interessanti di altri, almeno per chi ama cercare le loro propriet\u00e0 strane.","rel":"","context":"Similar post","block_context":{"text":"Similar post","link":""},"img":{"alt_text":"","src":"","width":0,"height":0},"classes":[]},{"id":2598,"url":"https:\/\/xmau.com\/ilpost\/2013\/04\/26\/parilandia\/","url_meta":{"origin":2275,"position":3},"title":"Parilandia","author":".mau.","date":"26\/04\/2013","format":false,"excerpt":"Noi diamo per scontata la fattorizzazione unica, ma non \u00e8 sempre cos\u00ec.","rel":"","context":"Similar post","block_context":{"text":"Similar post","link":""},"img":{"alt_text":"","src":"","width":0,"height":0},"classes":[]},{"id":2584,"url":"https:\/\/xmau.com\/ilpost\/2013\/04\/03\/euclide-aritmetico\/","url_meta":{"origin":2275,"position":4},"title":"Euclide aritmetico","author":".mau.","date":"03\/04\/2013","format":false,"excerpt":"Gli Elementi non parlano solo di geometria, ma anche di aritmetica; e anche qua brilla l'esposizione di Euclide.","rel":"","context":"Similar post","block_context":{"text":"Similar post","link":""},"img":{"alt_text":"","src":"https:\/\/i0.wp.com\/www.ilpost.it\/wp-content\/uploads\/bloggers\/2013\/04\/Euclids_algorithm_Book_VII_Proposition_2_3.png?resize=350%2C200&ssl=1","width":350,"height":200},"classes":[]},{"id":2446,"url":"https:\/\/xmau.com\/ilpost\/2011\/10\/21\/numeri-altamente-composti\/","url_meta":{"origin":2275,"position":5},"title":"Numeri altamente composti","author":".mau.","date":"21\/10\/2011","format":false,"excerpt":"Basta con le divisioni che non terminano mai! O almeno cerchiamo di ridurle al minimo indispensabile. E come? Con i numeri altamente composti...","rel":"","context":"Similar post","block_context":{"text":"Similar post","link":""},"img":{"alt_text":"","src":"","width":0,"height":0},"classes":[]}],"_links":{"self":[{"href":"https:\/\/xmau.com\/ilpost\/wp-json\/wp\/v2\/posts\/2275","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/xmau.com\/ilpost\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/xmau.com\/ilpost\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/xmau.com\/ilpost\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/xmau.com\/ilpost\/wp-json\/wp\/v2\/comments?post=2275"}],"version-history":[{"count":1,"href":"https:\/\/xmau.com\/ilpost\/wp-json\/wp\/v2\/posts\/2275\/revisions"}],"predecessor-version":[{"id":2276,"href":"https:\/\/xmau.com\/ilpost\/wp-json\/wp\/v2\/posts\/2275\/revisions\/2276"}],"wp:attachment":[{"href":"https:\/\/xmau.com\/ilpost\/wp-json\/wp\/v2\/media?parent=2275"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/xmau.com\/ilpost\/wp-json\/wp\/v2\/categories?post=2275"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/xmau.com\/ilpost\/wp-json\/wp\/v2\/tags?post=2275"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}