<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>Cantor on kenji.blog</title><link>http://kenji.blog/pt/tags/cantor/</link><description>Recent content in Cantor on kenji.blog</description><generator>Hugo -- gohugo.io</generator><language>pt</language><copyright>kenjinote</copyright><lastBuildDate>Thu, 10 Sep 2026 06:00:00 +0900</lastBuildDate><atom:link href="http://kenji.blog/pt/tags/cantor/index.xml" rel="self" type="application/rss+xml"/><item><title>O Grande Hotel de Hilbert: Como hospedar infinitos hóspedes em um hotel lotado</title><link>http://kenji.blog/pt/p/hilberts-grand-hotel/</link><pubDate>Thu, 10 Sep 2026 06:00:00 +0900</pubDate><guid>http://kenji.blog/pt/p/hilberts-grand-hotel/</guid><description>&lt;img src="http://kenji.blog/p/hilberts-grand-hotel/img/hilberts_hotel.jpg" alt="Featured image of post O Grande Hotel de Hilbert: Como hospedar infinitos hóspedes em um hotel lotado" />&lt;h2 id="1-bem-vindo-ao-hotel-definitivo">1. Bem-vindo ao Hotel Definitivo
&lt;/h2>&lt;p>O grande matemático alemão David Hilbert concebeu o seguinte experimento mental interessante para explicar o quão distante o conceito de &amp;ldquo;infinito&amp;rdquo; está da intuição humana.&lt;/p>
&lt;p>Imagine. Em algum lugar do universo existe um hotel chamado &lt;strong>&amp;ldquo;O Grande Hotel de Hilbert&amp;rdquo;&lt;/strong>.
Neste hotel, existem &lt;strong>infinitos&lt;/strong> quartos numerados: quarto 1, quarto 2, quarto 3&amp;hellip;&lt;/p>
&lt;p>Certo dia, houve um grande evento no universo, e todos os quartos deste hotel infinito foram ocupados, ficando &lt;strong>&amp;ldquo;lotado&amp;rdquo;&lt;/strong>.
Foi então que um viajante exausto chegou e perguntou na recepção: &amp;ldquo;Vocês poderiam me arranjar um quarto?&amp;rdquo;&lt;/p>
&lt;p>Em um hotel normal, a única resposta seria: &amp;ldquo;Desculpe, estamos lotados.&amp;rdquo;
Porém, este é um hotel infinito. O gerente sorriu e disse: &amp;ldquo;Certamente. Vou preparar o seu quarto imediatamente.&amp;rdquo;
Mesmo estando lotado, como ele hospedará um novo cliente?&lt;/p>
&lt;hr>
&lt;h2 id="2-caso-1-como-hospedar-um-novo-hóspede">2. Caso 1: Como hospedar um novo hóspede
&lt;/h2>&lt;p>O gerente fez um anúncio pelo sistema de som para todos os hóspedes já acomodados:&lt;/p>
&lt;p>&lt;strong>&amp;ldquo;Atenção senhores hóspedes. Por favor, mudem-se para o quarto com o número &amp;lsquo;mais um&amp;rsquo; em relação ao seu quarto atual.&amp;rdquo;&lt;/strong>&lt;/p>
&lt;p>Então, o que acontece?&lt;/p>
&lt;ul>
&lt;li>O hóspede do quarto 1 muda-se para o quarto 2.&lt;/li>
&lt;li>O hóspede do quarto 2 muda-se para o quarto 3.&lt;/li>
&lt;li>O hóspede do quarto 3 muda-se para o quarto 4.&lt;/li>
&lt;li>O hóspede do quarto $n$ muda-se para o quarto $n+1$.&lt;/li>
&lt;/ul>
&lt;div class="mermaid">graph LR
subgraph "Antes da mudança (Lotado)"
R1["Quarto 1&lt;br>(Hóspede A)"]
R2["Quarto 2&lt;br>(Hóspede B)"]
R3["Quarto 3&lt;br>(Hóspede C)"]
R4["..."]
end
subgraph "Depois da mudança"
NewR1["Quarto 1&lt;br>(Vazio!)"]
NewR2["Quarto 2&lt;br>(Hóspede A)"]
NewR3["Quarto 3&lt;br>(Hóspede B)"]
NewR4["Quarto 4&lt;br>(Hóspede C)"]
end
R1 -->|Mudar| NewR2
R2 -->|Mudar| NewR3
R3 -->|Mudar| NewR4
NewGuest["Novo Hóspede"] -->|Check-in| NewR1
style NewR1 fill:#aaffaa,stroke:#333,stroke-width:2px
style NewGuest fill:#ffaaaa,stroke:#333,stroke-width:2px&lt;/div>
&lt;p>Como há infinitos quartos, nunca ocorrerá de &amp;ldquo;o hóspede do último quarto ser expulso&amp;rdquo;. Todos conseguirão mudar-se em segurança para o quarto ao lado.
E, maravilhosamente, &lt;strong>o quarto 1 ficou vazio.&lt;/strong> O novo viajante pôde se hospedar no quarto 1 sem problemas.&lt;/p>
&lt;p>No mundo do infinito, $\infty + 1 = \infty$ é válido.
Mesmo tirando &amp;ldquo;um&amp;rdquo; do &amp;ldquo;todo (infinito)&amp;rdquo;, o tamanho do todo não muda.&lt;/p>
&lt;hr>
&lt;h2 id="3-caso-2-como-hospedar-infinitos-novos-hóspedes">3. Caso 2: Como hospedar infinitos novos hóspedes
&lt;/h2>&lt;p>Bem, no dia seguinte. O hotel voltou a ficar lotado.
E então chegou um &lt;strong>ônibus infinito transportando &amp;ldquo;infinitos passageiros&amp;rdquo;&lt;/strong>.
Os passageiros desceram do ônibus e exigiram na recepção: &amp;ldquo;Queremos quartos para todos!&amp;rdquo;&lt;/p>
&lt;p>Se ele pedir a mudança de &amp;ldquo;mais um&amp;rdquo; como no dia anterior, isso levaria uma eternidade.
Mas o gerente não entra em pânico. Ele faz outro anúncio pelo sistema de som.&lt;/p>
&lt;p>&lt;strong>&amp;ldquo;Atenção senhores hóspedes. Por favor, mudem-se para o quarto cujo número é o &amp;lsquo;dobro&amp;rsquo; do seu quarto atual.&amp;rdquo;&lt;/strong>&lt;/p>
&lt;p>Então, o que acontece?&lt;/p>
&lt;ul>
&lt;li>O hóspede do quarto 1 muda-se para o quarto 2.&lt;/li>
&lt;li>O hóspede do quarto 2 muda-se para o quarto 4.&lt;/li>
&lt;li>O hóspede do quarto 3 muda-se para o quarto 6.&lt;/li>
&lt;li>O hóspede do quarto $n$ muda-se para o quarto $2n$.&lt;/li>
&lt;/ul>
&lt;p>Com essa mudança, os infinitos hóspedes que já estavam lá se acomodaram perfeitamente em &lt;strong>&amp;ldquo;todos os quartos de número par&amp;rdquo;&lt;/strong>.
E, milagrosamente, &lt;strong>&amp;ldquo;todos os quartos de número ímpar (quarto 1, quarto 3, quarto 5&amp;hellip;)&amp;rdquo; ficaram completamente vazios&lt;/strong>!&lt;/p>
&lt;div class="mermaid">graph LR
subgraph "Hóspedes atuais"
G1["Hóspede 1"] -->|Dobro| R2["Quarto 2"]
G2["Hóspede 2"] -->|Dobro| R4["Quarto 4"]
G3["Hóspede 3"] -->|Dobro| R6["Quarto 6"]
end
subgraph "Novos hóspedes do ônibus (infinitos)"
N1["Novo Hóspede 1"] -->|Para ímpar| R1["Quarto 1 (Vazio)"]
N2["Novo Hóspede 2"] -->|Para ímpar| R3["Quarto 3 (Vazio)"]
N3["Novo Hóspede 3"] -->|Para ímpar| R5["Quarto 5 (Vazio)"]
end
style R1 fill:#aaffaa,stroke:#333
style R3 fill:#aaffaa,stroke:#333
style R5 fill:#aaffaa,stroke:#333&lt;/div>
&lt;p>Como também há infinitos números ímpares, o gerente pode orientar os passageiros do ônibus infinito, um por um, para o quarto 1, quarto 3, quarto 5&amp;hellip; e conseguir hospedar a todos.&lt;/p>
&lt;p>No mundo do infinito, $\infty + \infty = \infty$ é válido.
Mesmo somando infinito a infinito, o tamanho continua sendo o mesmo &amp;ldquo;infinito&amp;rdquo;.&lt;/p>
&lt;hr>
&lt;h2 id="4-caso-3-e-se-chegarem-infinitos-ônibus-infinitos">4. Caso 3: E se chegarem infinitos ônibus infinitos?
&lt;/h2>&lt;p>Ainda no dia seguinte. O hotel estava lotado mais uma vez.
E então, para surpresa, &lt;strong>&amp;ldquo;infinitos ônibus infinitos, cada um com infinitos passageiros&amp;rdquo;&lt;/strong> chegaram em fila.&lt;/p>
&lt;p>Infinitas pessoas no ônibus 1, infinitas pessoas no ônibus 2, infinitas pessoas no ônibus 3&amp;hellip; e isso continuava em infinitos ônibus.
Até o gerente quase entrou em pânico, mas ele era um gênio da matemática. Ele teve a ideia de usar &amp;ldquo;números primos&amp;rdquo;.&lt;/p>
&lt;p>O gerente deu as seguintes instruções:&lt;/p>
&lt;ol>
&lt;li>
&lt;p>&lt;strong>Mudança dos hóspedes que já estão no hotel&lt;/strong>
Seja $n$ o número do quarto atual, ele pede para que se mudem para o &amp;ldquo;quarto $2^n$&amp;rdquo;.
(Quarto 1 $\rightarrow$ quarto 2, quarto 2 $\rightarrow$ quarto 4, quarto 3 $\rightarrow$ quarto 8&amp;hellip;)
Com isso, todos os hóspedes atuais foram acomodados.&lt;/p>
&lt;/li>
&lt;li>
&lt;p>&lt;strong>Orientação dos hóspedes do ônibus 1 (infinitas pessoas)&lt;/strong>
Seja $n$ o número do assento do passageiro, eles são direcionados para o &amp;ldquo;quarto $3^n$&amp;rdquo;.
(Quarto 3, quarto 9, quarto 27&amp;hellip;)&lt;/p>
&lt;/li>
&lt;li>
&lt;p>&lt;strong>Orientação dos hóspedes do ônibus 2 (infinitas pessoas)&lt;/strong>
Usando o próximo número primo, o 5, eles são direcionados para o &amp;ldquo;quarto $5^n$&amp;rdquo;.
(Quarto 5, quarto 25, quarto 125&amp;hellip;)&lt;/p>
&lt;/li>
&lt;li>
&lt;p>&lt;strong>Orientação dos hóspedes do ônibus $k$ (infinitas pessoas)&lt;/strong>
Usando o $k+1$-ésimo número primo $P$, eles são direcionados para o &amp;ldquo;quarto $P^n$&amp;rdquo;.&lt;/p>
&lt;/li>
&lt;/ol>
&lt;p>Pelo poderoso teorema matemático da &amp;ldquo;unicidade da fatoração em primos (qualquer número tem apenas uma única combinação de multiplicação de números primos)&amp;rdquo;, é absolutamente impossível que os números dos quartos $2^n, 3^n, 5^n, 7^n \dots$ se sobreponham com os de qualquer outra pessoa.&lt;/p>
&lt;p>Assim, o gerente conseguiu acomodar o número inimaginável de hóspedes &lt;strong>&amp;ldquo;infinito $\times$ infinito&amp;rdquo;&lt;/strong> em um único hotel infinito!&lt;/p>
&lt;hr>
&lt;h2 id="5-existem-diferenças-de-tamanho-no-infinito-teorema-de-cantor">5. Existem diferenças de &amp;ldquo;tamanho&amp;rdquo; no infinito (Teorema de Cantor)
&lt;/h2>&lt;p>O que o Grande Hotel de Hilbert nos ensina é o fato de que &lt;strong>o &amp;ldquo;infinito enumerável (o infinito que pode ser contado com números 1, 2, 3&amp;hellip;)&amp;rdquo;, não importa quanto você o some ou multiplique, sempre se encaixará no mesmo tamanho de &amp;ldquo;infinito enumerável&amp;rdquo;&lt;/strong>.&lt;/p>
&lt;p>No entanto, o matemático Georg Cantor descobriu um fato ainda mais assustador.
&amp;ldquo;Números naturais&amp;rdquo; e &amp;ldquo;frações&amp;rdquo; podem todos ser hospedados neste hotel infinito. Porém, &lt;strong>se chegarem os &amp;ldquo;números reais (todos os decimais, incluindo números irracionais)&amp;rdquo;, será absolutamente impossível hospedar todos eles, mesmo usando este hotel infinito&lt;/strong>.&lt;/p>
&lt;p>Foi provado que a quantidade de números reais é fundamentalmente um &amp;ldquo;infinito maior (de nível mais alto)&amp;rdquo; do que a quantidade de quartos do hotel infinito (infinito enumerável).
Costumamos colocar tudo sob a palavra &amp;ldquo;infinito&amp;rdquo;, mas na verdade existe uma estrutura hierárquica (cardinalidade) dentro do infinito, desde &amp;ldquo;infinitos pequenos&amp;rdquo; até &amp;ldquo;infinitos tão grandes que são absolutamente inalcançáveis&amp;rdquo;.&lt;/p>
&lt;hr>
&lt;h2 id="6-conclusão-o-infinito-que-destrói-a-intuição-humana">6. Conclusão: O &amp;ldquo;infinito&amp;rdquo; que destrói a intuição humana
&lt;/h2>&lt;p>O Grande Hotel de Hilbert ilustra vividamente como o &amp;ldquo;senso comum do finito&amp;rdquo; cultivado em nossa vida diária não se aplica ao &amp;ldquo;mundo do infinito&amp;rdquo;.&lt;/p>
&lt;p>&amp;ldquo;O todo é maior que a parte&amp;rdquo;
&amp;ldquo;Ninguém pode entrar em um hotel lotado&amp;rdquo;
&amp;ldquo;Se você somar infinito com infinito, fica maior&amp;rdquo;&lt;/p>
&lt;p>Todas essas intuições óbvias são espetacularmente traídas.
O mundo do infinito é um tesouro de paradoxos (verdades contrárias à intuição). Os matemáticos, em vez de temerem esses paradoxos, os dominaram pelo poder da lógica, classificaram-nos e criaram o belo sistema moderno da teoria dos conjuntos.&lt;/p>
&lt;p>Da próxima vez que você ouvir &amp;ldquo;o hotel está lotado&amp;rdquo;, por favor, imagine: &amp;ldquo;E se este hotel fosse o Grande Hotel de Hilbert?&amp;rdquo;.&lt;/p></description></item></channel></rss>