Paradosso del Grand Hotel di Hilbert

Da Wikipedia, l'enciclopedia libera.

Questa voce di matematica è solo un abbozzo: contribuisci a migliorarla secondo le convenzioni di Wikipedia.

Il Paradosso del Grand Hotel è un celebre paradosso inventato dal matematico David Hilbert per mostrare alcune caratteristiche del concetto di infinito, e le differenze fra operazioni con insiemi finiti ed infiniti.

Hilbert immagina un hotel con infinite stanze, tutte occupate, ed afferma che qualsiasi sia il numero di altri ospiti che sopraggiungano, sarà sempre possibile ospitarli tutti, anche se il loro numero è infinito.

Nel caso semplice, arriva un singolo nuovo ospite. Il furbo albergatore sposterà tutti i clienti nella camera successiva (l'ospite della 1 alla 2, quello della 2 alla 3, etc.); in questo modo, benché l'albergo fosse pieno è comunque, essendo infinito, possibile sistemare il nuovo ospite.

Un caso meno intuitivo si ha quando arrivano infiniti nuovi ospiti. Sarebbe possibile procedere nel modo visto in precedenza, ma solo scomodando infinite volte gli ospiti (già spazientiti dal precedente spostamento): sostiene allora Hilbert che la soluzione sta semplicemente nello spostare ogni ospite nella stanza con numero doppio rispetto a quello attuale (dalla 1 alla 2, dalla 2 alla 4,etc.), lasciando ai nuovi ospiti tutte le camere con i numeri dispari, che sono essi stessi infiniti, risolvendo dunque il problema. Gli ospiti sono tutti dunque sistemati, benché l'albergo fosse pieno.

Ancora più difficile: ci sono infiniti alberghi con infinite stanze tutti al completo. Tutti gli alberghi chiudono, tranne uno. Tutti gli ospiti vogliono alloggiare nell'unico albergo rimasto aperto. Sarebbe possibile procedere come prima, ma solo scomodando infinite volte gli ospiti. Un modo alternativo, invece, è di assegnare ad ogni persona una coppia di numeri $(n, m)$ in cui $n$ indica l'albergo di provenienza, e $m$ la relativa stanza. Gli ospiti sono quindi etichettati in questo modo:

$\begin{array}{ccccc} (1,1) & (1,2) & \cdots & (1,m) & \cdots\\ (2,1) & (2,2) & \cdots & (2,m) & \cdots\\ \cdots & \cdots & \cdots & \cdots & \cdots\\ (n,1) & (n,2) & \cdots & (n,m) & \cdots\\ \cdots & \cdots & \cdots & \cdots & \cdots \end{array}$

A questo punto basta assegnare le nuove stanze agli ospiti secondo un criterio ordinato, ad esempio per diagonali:

$\begin{array}{ccccccc} (1,1)\rightarrow 1; & (2,1)\rightarrow 2; & (1,2)\rightarrow 3; & (3,1)\rightarrow 4; & (2,2)\rightarrow 5; & (1,3)\rightarrow 6; & \ldots \end{array}$

Questo paradosso, nonostante sia piuttosto elementare, ha contribuito, all'epoca ai matematici, ed oggi ai profani, a far comprendere la differenza profonda e sostanziale tra gli insiemi finiti e infiniti, aprendo le porte a gran parte delle moderne branche dell'aritmetica moderna: analisi non-standard e transfinita su tutte.

[modifica] Racconti

Esistono alcuni racconti che ripropongono una versione narrativa del paradosso. Uno di questi è "L'hotel straordinario" di Stanislaw Lem. Esiste anche una versione di Ian Stewart.