{"id":273,"date":"2010-06-04T02:30:23","date_gmt":"2010-06-04T00:30:23","guid":{"rendered":"http:\/\/xmau.com\/wp\/ilpost\/?p=273"},"modified":"2022-10-10T16:59:19","modified_gmt":"2022-10-10T14:59:19","slug":"lalbergo-di-hilbert","status":"publish","type":"post","link":"https:\/\/xmau.com\/ilpost\/2010\/06\/04\/lalbergo-di-hilbert\/","title":{"rendered":"L’albergo di Hilbert"},"content":{"rendered":"

A met\u00e0 del diciannovesimo secolo i matematici avevano trovato un metodo di addomesticare l’infinito, evitando accuratamente di arrivarci: gli infinitesimi dell’analisi matematica erano eliminati in un tripudio di delta ed epsilon, cos\u00ec come le serie infinite venivano viste come un insieme di troncamenti sempre pi\u00f9 in l\u00e0. La matematica sembrava ormai stabilizzata, e Leopold Kronecker si beava affermando che “i numeri interi sono stati creati da Dio, tutto il resto \u00e8 opera dell’uomo”. Ma non bisogna mai fidarsi dei tedeschi quando decidono di prendere le cose alla lettera!<\/p>\n

Ricordate che Galileo aveva affermato che non si poteva parlare di un “numero uguale a infinito”, perch\u00e9 si giungeva al paradosso che era uguale a una sua parte propria? Bene: Georg Cantor part\u00ec proprio da questa affermazione e defin\u00ec<\/b> un insieme infinito proprio in questo modo. Tra l’altro, la cosa curiosa \u00e8 che oggid\u00ec la definizione usuale di insieme finito \u00e8 ”un insieme che non \u00e8 infinito”, giusto per mostrare come non sia affatto semplice dare definizioni di base in questo campo. Forse questa definizione vi sembrer\u00e0 normale, il che significa che questo secolo abbondante non \u00e8 passato invano. C’\u00e8 infatti dietro di essa un cambio di paradigma, come direbbero i filosofi! Per la prima volta non parliamo di infinito potenziale come i greci e gli analisti dell’Ottocento, n\u00e9 di infinito formale come Eulero e i primi analisti, ma abbiamo un infinito attuale<\/b>, qualcosa che possiamo toccare con mano – si fa per dire, d’accordo. Per\u00f2 Cantor ha anche pensato a un modo per indicarlo: avendo ormai terminato le lettere latine e quelle greche, \u00e8 passato a quelle ebraiche e ha indicato con ℵ0<\/sub> – si legge alef-zero – il numero infinito che indica quanti sono i numeri interi. Pi\u00f9 precisamente ℵ0<\/sub> \u00e8 la cardinalit\u00e0<\/b> di un insieme che pu\u00f2 essere messo in corrispondenza biunivoca con i numeri interi, che cio\u00e8 \u00e8 numerabile<\/b>; c’\u00e8 l’elemento 1, il 2, il 3, e via contando.<\/p>\n

Naturalmente non basta buttar gi\u00f9 una definizione per avere qualcosa di utile: occorre che la definizione non sia incoerente, e che permetta di tirare fuori qualcosa di inaspettato. Questa definizione di infinito in efetti porta a conseguenze interessanti, come quella che dal nome dell’altro matematico tedesco David Hilbert (che afferm\u00f2 “Nessuno ci scaccer\u00e0 dal paradiso che Cantor ci ha procurato“…) prende il nome di Albergo di Hilbert<\/i>. L’albergo di Hilbert ha un numero infinito di stanze, tutte numerate da 1 in su: \u00e8 un posto molto gettonato, e tutte le sue stanze sono occupate. (No, non c’\u00e8 bisogno di fare chiss\u00e0 quale strada per arrivare alla vostra camera; le stanze sono infatti messe su una curva di Peano, quindi ci sono tante scorciatoie per raggiungere ad esempio la numero 12345678901234567890.) Una sera arriva un ospite senza prenotazione; il direttore dell’albergo non si scompone, accende il microfono per il sistema di informazioni e avvisa i signori ospiti che si devono spostare nella camera col numero successivo; 1 → 2, 2 → 3, 999999 → 1000000 e cos\u00ec via. Le tariffe dell’albergo di Hilbert sono in effetti economiche, ma prevedono l’obbligo di dover cambiare stanza nel caso la direzione ne ravvisi la necessit\u00e0.<\/p>\n

La stanza 1 rimane cos\u00ec libera e la chiave viene consegnata al nuovo ospite. Fuori di metafora, non solo abbiamo dimostrato che ℵ0<\/sub> + 1 = ℵ0<\/sub>, ma abbiamo anche trovato una corrispondenza biunivoca esplicita tra un insieme di ℵ0<\/sub> elementi e uno di ℵ0<\/sub>+1. Attenzione! l'”addizione” con i numeri infiniti non segue le regole a cui siamo abituati; ad esempio non possiamo semplificare i due ℵ0<\/sub> e ottenere 1=0. Usare l’infinito attuale richiede insomma di cambiare tutta una serie di regole, bisogna essere flessibili. Anche la definizione di uguaglianza \u00e8 un po’ diversa: perch\u00e9 due insiemi A e B abbiano la stessa cardinalit\u00e0 non \u00e8 necessario trovare una corrispondenza biunivoca, come ho scritto sopra, ma basta dimostrare che A pu\u00f2 essere messo in corrispondenza biunivoca con un sottoinsieme di B e B pu\u00f2 essere messo in corrispondenza biunivoca con un sottoinsieme di A.<\/p>\n

\"[infiniti<\/a> Ma l’albergo di Hilbert non si limita a trovare posto per uno o centomila nuovi arrivati! Una settimana dopo giunge infatti all’albergo un pullman contenente un numero infinito (numerabile) di turisti. Il direttore d\u00e0 loro un’occhiata distratta, torna al microfono e comunica ai signori ospiti di spostarsi dalla stanza n<\/i> alla stanza 2n<\/i>. In questo modo rimangono libere tutte le stanze di numero dispari, che sono infinite; anche questa volta tutti i nuovi arrivati si possono accomodare senza problemi. In formule, abbiamo appena dimostrato che 2 · ℵ0<\/sub> = ℵ0<\/sub>. La vera apoteosi si raggiunge quando per assistere alla finale dell’Infinity Cup arrivarono infiniti (numerabili) pullman, ciascuno con infiniti (numerabili) turisti! Questa volta il direttore si gratta per qualche minuto la testa, poi sorride, canticchia tra s\u00e9 “nema problema!”, prepara un disegno – mostrato qui a destra – e lo manda sugli schermi tv di tutte le stanze dell’albergo.<\/p>\n

Le colonne del disegno rappresentano gli ospiti originari (1, 2, 3, …) e i turisti nei vari pullman (A1, A2, A3… per il primo, B1, B2, B3, … per il secondo, e cos\u00ec via). Abbiamo insomma un quadrato che si estende indefinitamente in due direzioni. Il colpo di genio del direttore dell’albergo \u00e8 di mettersi a contare i presenti non per lungo o per largo, ma in diagonale<\/i>. In effetti qui abbiamo un metodo bustrofedico, cio\u00e8 alternativamente nelle due direzioni; ma \u00e8 solo perch\u00e9 il direttore non aveva voglia di fare freccette troppo lunghe nel disegno da mandare ai vari ospiti. Il ragionamento comunque \u00e8 simile: per prima cosa si trova un sistema per pesare i vari punti, in questo caso associando a ciascuno di essi un singolo numero pari alla somma delle sue coordinate cartesiane. Per ciascun valore si ha un numero finito di punti associati ad esso, e quindi \u00e8 possibile ordinarli man mano, ottenendo ancora una volta un insieme numerabile. In formule, abbiamo dimostrato come ℵ0<\/sub> · ℵ0<\/sub> = ℵ0<\/sub>.<\/p>\n

A vedere questa nuova aritmetica, si direbbe che non c’\u00e8 poi chiss\u00e0 quale divertimento ad avere aggiunto ℵ0<\/sub>; le operazioni che si possono fare con esso sono piuttosto banali. Ma Cantor si accorse, e soprattutto dimostr\u00f2, che ci sono infiniti “pi\u00f9 infiniti” di ℵ0<\/sub>… come vedremo un’altra volta.<\/p>\n","protected":false},"excerpt":{"rendered":"

Dopo che i matematici avevano fatto tutto quanto in loro potere per nascondere l’infinito sotto il tappeto, Georg Cantor prese la questione di petto e prov\u00f2 a usarlo come un’entit\u00e0 a pieno titolo.<\/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":false,"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":[28,29],"class_list":["post-273","post","type-post","status-publish","format-standard","hentry","category-uncategorized","tag-infinito","tag-storia-della-matematica"],"jetpack_publicize_connections":[],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"jetpack_shortlink":"https:\/\/wp.me\/phh2yP-4p","jetpack-related-posts":[{"id":2640,"url":"https:\/\/xmau.com\/ilpost\/2013\/09\/25\/matematica-e-liberta\/","url_meta":{"origin":273,"position":0},"title":"Matematica e libert\u00e0","author":".mau.","date":"25\/09\/2013","format":false,"excerpt":"Non ho certo le capacit\u00e0 di interloquire con il papa emerito sui temi teologici, ma forse su quelli pi\u00f9 prettamente matematici qualcosa posso dire.","rel":"","context":"Similar post","block_context":{"text":"Similar post","link":""},"img":{"alt_text":"","src":"","width":0,"height":0},"classes":[]},{"id":1427,"url":"https:\/\/xmau.com\/ilpost\/2019\/06\/14\/carnevale-della-matematica-130\/","url_meta":{"origin":273,"position":1},"title":"Carnevale della matematica #130","author":".mau.","date":"14\/06\/2019","format":false,"excerpt":"ll tema \u00e8 \"notte prima degli esami\", ma in realt\u00e0 si parla di matematica al di fuori degli esami!","rel":"","context":"In \"carnevale della matematica\"","block_context":{"text":"carnevale della matematica","link":"https:\/\/xmau.com\/ilpost\/tag\/carnevale-della-matematica\/"},"img":{"alt_text":"logo-carnevale_matematica","src":"https:\/\/i0.wp.com\/xmau.com\/wp\/ilpost\/wp-content\/uploads\/sites\/4\/2016\/06\/logo-carnevale_matematica.jpg?resize=350%2C200","width":350,"height":200},"classes":[]},{"id":2616,"url":"https:\/\/xmau.com\/ilpost\/2013\/06\/10\/parole-matematiche-push-the-envelope\/","url_meta":{"origin":273,"position":2},"title":"Parole matematiche: push the envelope","author":".mau.","date":"10\/06\/2013","format":false,"excerpt":"un'espressione americana con una storia matematica","rel":"","context":"Similar post","block_context":{"text":"Similar post","link":""},"img":{"alt_text":"parabola come inviluppo di rette","src":"https:\/\/i0.wp.com\/www.ilpost.it\/wp-content\/uploads\/bloggers\/2013\/06\/inviluppo.png?resize=350%2C200&ssl=1","width":350,"height":200},"classes":[]},{"id":445,"url":"https:\/\/xmau.com\/ilpost\/2011\/09\/13\/prima-di-godel\/","url_meta":{"origin":273,"position":3},"title":"Prima di G\u00f6del…","author":".mau.","date":"13\/09\/2011","format":false,"excerpt":"I teoremi di incompletezza di G\u00f6del hanno segnato la fine della sicurezza che i matematici hanno avuto per 2500 anni. Cosa \u00e8 successo prima che arrivasse lui?","rel":"","context":"In \"logica\"","block_context":{"text":"logica","link":"https:\/\/xmau.com\/ilpost\/tag\/logica\/"},"img":{"alt_text":"","src":"","width":0,"height":0},"classes":[]},{"id":2604,"url":"https:\/\/xmau.com\/ilpost\/2013\/05\/06\/e-morto-kenneth-appel-pillole\/","url_meta":{"origin":273,"position":4},"title":"\u00c8 morto Kenneth Appel [Pillole]","author":".mau.","date":"06\/05\/2013","format":false,"excerpt":"Il nome forse non vi dice molto, e non penso sia un caso che sia morto il 19 aprile ma non ne avevo sentito parlare fino a stamattina: ma Appel (qui il suo ricordo sull'Economist), insieme a Wolfgang Haken, nel 1976 fecero una rivoluzione nella filosofia matematica, dimostrando il teorema\u2026","rel":"","context":"Similar post","block_context":{"text":"Similar post","link":""},"img":{"alt_text":"","src":"","width":0,"height":0},"classes":[]},{"id":2634,"url":"https:\/\/xmau.com\/ilpost\/2013\/09\/06\/quanto-e-irragionevolmente-efficace-la-matematica\/","url_meta":{"origin":273,"position":5},"title":"Quanto \u00e8 “irragionevolmente efficace” la matematica?","author":".mau.","date":"06\/09\/2013","format":false,"excerpt":"Ogni tanto la banda dei matematici non-platonisti si risveglia. Solo che il matematico tipico di filosofia ne sa ben poca","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\/273","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=273"}],"version-history":[{"count":1,"href":"https:\/\/xmau.com\/ilpost\/wp-json\/wp\/v2\/posts\/273\/revisions"}],"predecessor-version":[{"id":275,"href":"https:\/\/xmau.com\/ilpost\/wp-json\/wp\/v2\/posts\/273\/revisions\/275"}],"wp:attachment":[{"href":"https:\/\/xmau.com\/ilpost\/wp-json\/wp\/v2\/media?parent=273"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/xmau.com\/ilpost\/wp-json\/wp\/v2\/categories?post=273"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/xmau.com\/ilpost\/wp-json\/wp\/v2\/tags?post=273"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}