O hotel de Hilbert
Um hotel com infinitos quartos, todos ocupados — e mesmo assim cabe mais um. E um ônibus inteiro.
As duas vistas
O hotel lotado. Um corredor com um quarto para cada número natural, todos ocupados. Faça os pedidos ao gerente:
- Chega um hóspede. Regra : todo mundo anda um quarto, o 1 esvazia, ninguém sai.
- Chegam cinco. Regra : cinco vagas.
- Chega um ônibus infinito. Regra : os antigos vão para os quartos pares e os passageiros ocupam os ímpares — o passageiro vai para o quarto .
- Chegam infinitos ônibus. Ônibus , passageiro (os hóspedes antigos são o “ônibus 0”): o par vai para o quarto da diagonal de Cantor, . Cada quarto recebe exatamente uma pessoa.
Os pedidos se acumulam: o hotel guarda a lista de regras, e quem está em cada quarto é calculado voltando por elas. As cores marcam de que leva cada hóspede veio.
Emparelhar. Os naturais casados um a um com os pares, os quadrados, os inteiros e as frações. Embaixo, os parceiros aparecem onde estão na reta — cada vez mais espaçados —, e mesmo assim nenhum natural fica sozinho e nenhum parceiro sobra. As frações são percorridas em diagonais pela grade , pulando as que se repetem (como , que já apareceu como ).