Wenn jedes Zimmer belegt ist und trotzdem Platz bleibt

Stell dir ein Hotel mit unendlich vielen Zimmern vor. Die Zimmer sind sauber nummeriert: 1, 2, 3, 4 und so weiter. Für jedes Zimmer gibt es also eine natürliche Zahl. Nun sind alle Zimmer belegt. Kein freies Bett ist zu sehen, und trotzdem kann das Hotel noch einen weiteren Gast aufnehmen. Genau hier beginnt das berühmte Gedankenexperiment von Hilberts Hotel.

Der Mathematiker David Hilbert stellte dieses Beispiel in seinem Vortrag Über das Unendliche aus dem Jahr 1925 vor. Es soll nicht zeigen, dass ein solches Hotel in der Wirklichkeit gebaut werden könnte. Es macht vielmehr eine mathematische Eigenschaft sichtbar: Bei einer unendlichen Menge gelten manche Regeln anders als bei einer endlichen Menge. Ziel ist deshalb nicht, „unendlich“ als besonders große Zahl vorzustellen, sondern als eine präzise Struktur, in der sich Zuordnungen und Größenvergleiche logisch untersuchen lassen.

Ein neuer Gast trifft ein und Zimmer eins wird frei

Das Hotel ist vollständig belegt. Trotzdem steht ein einzelner Reisender an der Rezeption und bittet um ein Zimmer. Bei einem endlichen Hotel wäre die Antwort eindeutig: Wenn jedes Zimmer besetzt ist, gibt es keinen Platz. Im Hilberthotel funktioniert jedoch eine Verschiebung. Jeder bisherige Gast zieht aus Zimmer n in Zimmer n + 1.

Der Gast aus Zimmer 1 geht also in Zimmer 2, der Gast aus Zimmer 2 in Zimmer 3, der Gast aus Zimmer 3 in Zimmer 4 und so weiter. Dadurch wird Zimmer 1 frei, ohne dass jemand das Hotel verlassen muss. Der entscheidende Punkt ist, dass jeder Gast genau ein neues Zimmer erhält und kein Zimmer doppelt vergeben wird. Die Regel ist vollständig beschrieben und lässt sich für jede beliebige Zimmernummer anwenden.

1. Der Gast in Zimmer 1 zieht in Zimmer 2.
2. Der Gast in Zimmer 2 zieht in Zimmer 3.
3. Allgemein zieht der Gast aus Zimmer n in Zimmer n + 1.
4. Zimmer 1 wird dadurch für den neuen Gast frei.

Der typische Denkfehler besteht darin, die Logik eines endlichen Behälters auf eine unendliche Menge zu übertragen. Bei zehn Zimmern würde die Verschiebung irgendwann an Zimmer 10 scheitern. Im Hilberthotel gibt es jedoch kein letztes Zimmer. Die Abbildung von n auf n + 1 ist für jede natürliche Zahl möglich. Hilberts Hotel als mathematisches Paradoxon veranschaulicht damit die erstaunliche Dynamik unendlicher Mengen.

Unendlich viele neue Reisende finden gleichzeitig Einlass

Nun wird die Situation noch anspruchsvoller. Nicht nur ein einzelner Reisender kommt an, sondern ein Reisebus mit unendlich vielen neuen Gästen. Der Bus ist mit den natürlichen Zahlen 1, 2, 3 und so weiter gekennzeichnet. Auch diesmal sind im Hotel zunächst alle Zimmer belegt. Trotzdem lässt sich eine systematische Lösung angeben.

Jeder bisherige Gast zieht aus Zimmer n in Zimmer 2n. Der Gast aus Zimmer 1 bezieht also Zimmer 2, der Gast aus Zimmer 2 Zimmer 4, der Gast aus Zimmer 3 Zimmer 6. Auf diese Weise werden alle geraden Zimmernummern belegt. Sämtliche ungeraden Zimmer bleiben frei und können den neuen Gästen zugewiesen werden. Der neue Gast mit der Nummer 1 erhält Zimmer 1, der neue Gast mit der Nummer 2 Zimmer 3, der neue Gast mit der Nummer 3 Zimmer 5 und allgemein der neue Gast k das Zimmer 2k – 1.

Mathematisch steckt dahinter eine bijektive Zuordnung. Eine Bijektion ist eine Zuordnung, bei der jedes Element der einen Menge genau einem Element der anderen Menge entspricht und umgekehrt kein Element ausgelassen oder doppelt getroffen wird. Die natürlichen Zahlen lassen sich also bijektiv mit ihrer echten Teilmenge, den geraden Zahlen, verbinden. Genau das wirkt bei endlichen Mengen unmöglich: Eine echte Teilmenge ist dort stets kleiner als die ursprüngliche Menge. Bei unendlichen Mengen kann sie dagegen dieselbe Mächtigkeit besitzen.

Wichtig ist, „gleich groß“ hier nicht im räumlichen Sinn zu verstehen. Es geht nicht darum, wie viele Elemente gleichzeitig sichtbar sind, sondern darum, ob eine vollständige Eins-zu-eins-Zuordnung existiert. Diese Methode ist ein grundlegendes Werkzeug der Mengenlehre. Sie erlaubt es, die Größe unendlicher Mengen nicht durch Abzählen bis zum Ende, sondern durch passende Zuordnungen zu vergleichen.

Der große Denkfehler warum Unendlichkeit keine riesige Zahl ist

Unendlich ist keine Zahl, die irgendwo am äußersten Ende des Zahlenstrahls liegt. Auf jede natürliche Zahl folgt eine größere: Nach 100 kommt 101, nach einer Million kommt eine noch größere Zahl. Es gibt daher keine letzte natürliche Zahl, die man „unendlich“ nennen könnte. Unendlichkeit beschreibt vielmehr, dass ein Prozess, eine Folge oder eine Menge keine endliche Grenze dieser Art besitzt.

Das Hilberthotel macht sichtbar, weshalb die gewohnte Behälterlogik nicht ausreicht. Bei einer endlichen Sammlung bedeutet „voll“, dass kein zusätzliches Element aufgenommen werden kann. Bei einer unendlichen Menge kann „voll“ dagegen bedeuten, dass bereits jedes Element der betrachteten Menge zugeordnet ist, während trotzdem eine neue Bijektion möglich bleibt. Der Begriff der Mächtigkeit fragt deshalb nicht nach einem letzten Zählvorgang, sondern nach der Struktur möglicher Zuordnungen.

• Keine Endzahl: Unendlich ist kein gewöhnlicher Wert auf dem Zahlenstrahl.
• Strukturelle Eigenschaft: Entscheidend ist, ob eine Menge unbegrenzt fortgesetzt oder vollständig zugeordnet werden kann.
• Vergleich durch Bijektionen: Zwei Mengen gelten als gleich mächtig, wenn ihre Elemente eins zu eins gepaart werden können.
• Teilmenge kann gleich mächtig sein: Die geraden Zahlen bilden nur einen Teil der natürlichen Zahlen, besitzen aber dieselbe abzählbare Mächtigkeit.

Ein sauberer Prüfschritt lautet daher: Suche nicht nach dem „letzten“ Element, sondern nach einer eindeutigen Zuordnungsregel. Führt die Regel zu genau einem Partner für jedes Element und wird kein Partner doppelt verwendet, ist die Gleichmächtigkeit gezeigt. So wird aus einer scheinbar widersprüchlichen Geschichte eine kontrollierte mathematische Argumentation.

Nicht alle Unendlichkeiten sind gleich groß

Hilberts Hotel erklärt zunächst die kleinste grundlegende Form des Unendlichen, die sogenannte Abzählbarkeit. Die natürlichen Zahlen sind abzählbar unendlich, weil sie in einer Liste 1, 2, 3 und so weiter erscheinen können. Auch die ganzen Zahlen lassen sich auflisten, etwa als 0, 1, -1, 2, -2, 3, -3. Selbst die rationalen Zahlen, also Brüche aus ganzen Zahlen, sind trotz ihrer scheinbaren Vielfalt abzählbar.

Georg Cantor zeigte jedoch, dass es größere Unendlichkeiten gibt. Die reellen Zahlen, zu denen etwa alle Dezimalzahlen zwischen 0 und 1 gehören, sind überabzählbar. Das bedeutet: Es gibt keine vollständige Liste, in der jede reelle Zahl genau einmal an einer endlichen Listenposition auftaucht. Die reellen Zahlen passen daher nicht in das Hilberthotel, wenn jedes Zimmer nur einer natürlichen Nummer entspricht. Die Theorie der transfiniten Zahlen beschreibt diese verschiedenen Stufen des Unendlichen.

Cantors Diagonalverfahren liefert dafür einen besonders klaren Beweis. Angenommen, alle reellen Zahlen zwischen 0 und 1 stünden in einer Liste. Jede Zahl wird als Dezimalentwicklung geschrieben. Nun betrachtet man die erste Dezimalstelle der ersten Zahl, die zweite Dezimalstelle der zweiten Zahl, die dritte Dezimalstelle der dritten Zahl und so weiter. Aus diesen Diagonalstellen wird eine neue Zahl gebildet, deren jeweilige Ziffer bewusst verändert wird, etwa immer von 1 zu 2 oder von 2 zu 3.

Die neu konstruierte Zahl unterscheidet sich von der ersten Listenzahl an der ersten Stelle, von der zweiten an der zweiten Stelle und allgemein von der n-ten Zahl an der n-ten Stelle. Sie kann deshalb nicht in der angenommenen Liste enthalten sein. Damit ist jede mögliche Liste unvollständig. Der Beweis zeigt nicht bloß, dass die reellen Zahlen „mehr“ sind, sondern dass ihre Mächtigkeit grundsätzlich über der der natürlichen Zahlen liegt.

Diese Unterscheidung ist für die moderne Mathematik von großer Bedeutung. Sie hilft, Funktionen, Zahlenräume und geometrische Strukturen präzise zu klassifizieren. Abzählbarkeit und Überabzählbarkeit sind keine bloßen sprachlichen Feinheiten, sondern beschreiben unterschiedliche Möglichkeiten, mathematische Objekte zu ordnen und zu vergleichen.

Der veränderte Blick auf die Grenzen des Denkbaren

Hilberts Hotel verwandelt eine abstrakte Idee in eine Folge klarer Schritte. Ein Gast kommt hinzu, alle bisherigen Gäste rücken um ein Zimmer weiter. Unendlich viele Gäste kommen hinzu, die bisherigen Gäste wechseln in die geraden Zimmer, während die neuen Gäste die ungeraden Zimmer erhalten. Beide Lösungen funktionieren, weil es geeignete bijektive Zuordnungen gibt.

Damit wird Unendlichkeit als mathematische Eigenschaft greifbar. Sie ist keine riesige Zahl und kein mystischer Endpunkt, sondern ein Konzept, dessen Regeln sich prüfen lassen. Gleichzeitig zeigt Cantors Diagonalverfahren, dass selbst „unendlich“ noch nicht das Ende der Geschichte ist. Es gibt abzählbare und überabzählbare Mengen, also verschiedene Größenordnungen des Unendlichen.

• Frage bei unendlichen Mengen zuerst nach einer Zuordnung.
• Verwechsle eine echte Teilmenge nicht automatisch mit einer kleineren Mächtigkeit.
• Suche bei Behauptungen über Listen nach einem Diagonalargument.
• Merke dir: Unendlichkeit beschreibt Struktur, nicht einfach eine besonders große Zahl.

Wer diese Prüfregeln beherrscht, kann viele scheinbare Paradoxien Schritt für Schritt auflösen. Der nächste sinnvolle Lernschritt führt zu Kardinalzahlen, Ordinalzahlen und weiteren Beispielen der Mengenlehre. Entscheidend bleibt dabei eine einfache Haltung: Intuition liefert den ersten Eindruck, aber eine sauber formulierte Zuordnung oder ein Beweis entscheidet, was mathematisch tatsächlich gilt.