On Hilbert's Hotel

Hilberts Hotel

Hilbert’s Hotel ist ein Gedankenexperiment des Mathematikers David Hilbert, das die Besonderheiten unendlicher Mengen veranschaulicht.
Das Hotel hat unendlich viele Zimmer: $1,2,3,\dots$. Obwohl jedes Zimmer besetzt ist, kann man immer noch neue Gäste aufnehmen.

1. Ein Gast kommt

Alle Gäste ziehen von Zimmer $n$ in Zimmer $n+1$.
→ Zimmer $1$ wird frei.

2. Unendlich viele neue Gäste kommen (ein Bus)

Alle Gäste ziehen von $n$ in $2n$.
→ Alle geraden Zimmer sind belegt, die ungeraden frei.
→ Die Gäste aus dem Bus können in die freien ungeraden Zimmer ziehen.

3. Unendlich viele Busse mit je unendlich vielen Gästen

Nun kommen Bus $1,2,3,\dots$, jeder mit unendlich vielen Fahrgästen.

Idee: Wir brauchen eine Vorschrift, die jedes Paar (Busnummer, Sitzplatznummer) eindeutig auf ein Hotelzimmer abbildet.

Lösung mit Primfaktorzerlegung

Jede natürliche Zahl hat eine eindeutige Primfaktorzerlegung.

• Weise jedem Bus eine Primzahl zu:

  • Bus 1 → Primzahl $2$
  • Bus 2 → Primzahl $3$
  • Bus 3 → Primzahl $5$
  • Bus 4 → Primzahl $7$
  • usw.

• Ein Fahrgast mit Sitznummer $k$ in Bus $b$ erhält das Zimmer

  $$\text{Zimmer}(b,k) \;=\; p_b^k$$

  wobei $p_b$ die $b$-te Primzahl ist.

Beispiel:

• Gast im Bus 1, Platz 4 → Zimmer $2^4 = 16$
• Gast im Bus 2, Platz 7 → Zimmer $3^7 = 2187$
• Gast im Bus 3, Platz 1 → Zimmer $5^1 = 5$

Da jede Zahl eindeutig in Primfaktoren zerlegt werden kann, kommt es zu keiner Doppelbelegung.

4. Was zeigt das?

• Man kann nicht nur einen, sondern beliebig viele unendliche Mengen in die Menge $\mathbb{N}$ „hineinpacken“.
• Die Menge $\mathbb{N} \times \mathbb{N}$ (Paare von Bus und Sitzplatz) ist abzählbar, d.h. genauso gross wie $\mathbb{N}$ selbst.
• Hilberts Hotel macht die seltsame, aber fundamentale Tatsache deutlich: $$\mathbb{N} \times \mathbb{N} \;\sim\; \mathbb{N}$$

5. Fazit

Hilbert’s Hotel illustriert:

• Abzählbare Unendlichkeit bleibt „gleich gross“, egal wie viele zusätzliche abzählbar unendliche Mengen man hinzufügt.
• Das Paradoxe ist nur scheinbar: Mengenlehre liefert eine klare mathematische Struktur.

Unendlichkeit in der Mathematik

Wenn man über das Unendliche spricht, merkt man schnell, dass es nicht nur ein einziges „unendlich“ gibt. Schon die natürlichen Zahlen reichen ohne Ende weiter – ihre Menge nennt man abzählbar unendlich. Dieses kleinste Unendlichkeitssymbol der Mengenlehre wird oft mit $\omega$ (dem ersten Ordinal) oder mit $\aleph_0$ (Aleph-Null, der kleinsten unendlichen Kardinalität) bezeichnet.

Doch es gibt noch „grössere“ Unendlichkeiten: Die Menge der reellen Zahlen zum Beispiel ist nicht mehr abzählbar, sondern überabzählbar. Damit eröffnet sich eine Hierarchie des Unendlichen, in der $\aleph_0$ nur der erste Schritt ist – ein Tor zu einer unendlichen Folge weiterer, immer grösserer Mächtigkeiten.

Die Kontinuumshypothese

Die Kontinuumshypothese (CH) besagt, dass es keine Mächtigkeit zwischen derjenigen der natürlichen Zahlen ($\aleph_0$) und derjenigen der reellen Zahlen ($\mathfrak{c}$, „das Kontinuum“) gibt. Formal also:

Hierbei ist $\aleph_1$ die kleinste überabzählbare Kardinalzahl.

Kurt Gödel (1940) zeigte, dass CH nicht widerlegbar ist, sofern die Zermelo-Fraenkel-Mengenlehre (ZFC) konsistent ist. Paul Cohen (1963) bewies, dass CH nicht beweisbar ist. Damit ist CH unabhängig von ZFC – man kann sie annehmen oder verwerfen, ohne in Widerspruch zur Standard-Mengenlehre zu geraten.

Ordinalzahlen und Potenzen von $\omega$

Während Kardinalzahlen die „Grösse“ von Mengen beschreiben, erfassen Ordinalzahlen die „Anordnung“. Das kleinste unendliche Ordinal ist $\omega$, die Ordnung der natürlichen Zahlen.

• $\omega+1$: Eine unendliche Kette (0,1,2,…) mit einem weiteren Element am Ende.
• $\omega+2$: Ebenso, nur zwei zusätzliche Elemente nach der unendlichen Kette.
• $\omega\cdot 2$: Zwei „Kopien“ der natürlichen Zahlen, hintereinandergehängt.
• $\omega^2$: Eine „Matrixordnung“: Alle Paare $(i,j)$ mit $i,j\in\mathbb{N}$, lexikographisch geordnet.
• $\omega^3$: Eine unendliche Abfolge von „$\omega^2$-Blöcken“.
• Allgemein $\omega^n$: eine n-stufige hierarchische Struktur.
• $\omega^\omega$: Die Grenze all dieser Konstruktionen – die kleinste Ordinalzahl, die grösser ist als $\omega^n$ für jedes endliche $n$.

Alle diese Ordinalzahlen sind abzählbar (haben Kardinalität $\aleph_0$), doch sie unterscheiden sich streng ordinal und zeigen die Vielfalt unendlicher Strukturen.