Virtual laboratory/Mathematics/Number theory/Hilbert's Hotel — infinity in practice

Hilbert's Hotel — infinity in practice

An extension of the topic of infinity and sets (beyond the curriculum). The hotel has infinitely many rooms, all occupied — and yet it can still accommodate new guests: just move every guest from room n to room n+1 (or to 2n for infinitely many new ones). David Hilbert devised this thought experiment (around 1924) to illustrate the strange arithmetic of infinity: ∞+1=∞.

Hilbert's Hotel — infinity in practice
Mathematics · Number theory · Hilbert's Hotel — infinity in practice (1924)
How many new guests do you want to accommodate?
The hotel has infinitely many rooms and they are all occupied. A new guest…
rooms
∞ (ℵ₀)
new guests
1
move
n → n+1
free rooms
room 1
cardinality after
ℵ₀
🎯 Challenge: will it fit?
streak: 0

The hotel has ℵ₀ rooms and they are all occupied. I'll give you an influx of new guests — decide whether they can be accommodated.

What just happened?

The hotel has infinitely many rooms (numbered 1,2,3,…1, 2, 3, \dots) and they are all occupied. In a finite hotel “full” means “no room”. But here it is enough to ask every guest to move one room further: the guest in room nn goes to room n+1n+1. No one is left without a room — and room 1 has just been freed for the new guest.

The arithmetic of infinity:

∣N∣+1=∣N∣=ℵ0|\mathbb{N}| + 1 = |\mathbb{N}| = \aleph_0

Adding one element (or even infinitely many) to a countable infinity still gives the same countable infinity — denoted ℵ0\aleph_0 (“aleph-null”, the smallest infinite cardinal number).

And if infinitely many new guests arrive?

They still fit. Every existing guest moves from room nn to room 2n2n — occupying only the even-numbered rooms. All the odd-numbered rooms (1,3,5,…1, 3, 5, \dots, and there are infinitely many of them) now stand empty, ready for infinitely many new guests:

ℵ0+ℵ0=ℵ0\aleph_0 + \aleph_0 = \aleph_0

Where does this idea come from?

This thought experiment was devised by David Hilbert (lecture “Über das Unendliche”, around 1924) to illustrate the counterintuitive properties of infinite sets. It is a practical picture of what Georg Cantor had earlier proved formally: the set of natural numbers, of the even numbers alone, or of the natural numbers plus one element — all have the same cardinality ℵ0\aleph_0 (countable infinity).

Why this matters for your exam:

Hilbert's Hotel is the clearest way to understand that infinity does not behave like an ordinary number — key to the notion of the cardinality of a set, countable sets, and the difference between N\mathbb{N} and R\mathbb{R}.

Remember: in a hotel with countably infinitely many rooms room can always be made — because ℵ0\aleph_0 “plus one”, or even “plus infinity”, is still ℵ0\aleph_0.

Illustrative model · NexTutor Virtual Laboratory

Enjoyed the experiment? Share it.

It's free — send it to friends from school.

Theory & formulas

One new guest

The hotel has rooms 1,2,3,…1,2,3,\dots (all occupied). We move the guest from room nn to room n+1n+1 — room 11 becomes free.

Infinitely many new guests

We move the guest from room nn to room 2n2n — all the odd-numbered rooms become free (there are infinitely many of them).

The arithmetic of infinity

For countable sets: ∣N∣+1=∣N∣\lvert\mathbb{N}\rvert+1=\lvert\mathbb{N}\rvert and 2⋅∣N∣=∣N∣2\cdot\lvert\mathbb{N}\rvert=\lvert\mathbb{N}\rvert — adding elements does not change the cardinality.

Notation: nn the room number, ∣N∣\lvert\mathbb{N}\rvert the cardinality of the set of natural numbers.

Frequently asked questions

›

Can a new guest fit into a full infinite hotel?

Yes — just move every guest from room n to room n+1, freeing up room 1.

›

How do you fit in infinitely many new guests?

By moving every guest from room n to room 2n — all the odd-numbered rooms become free.

›

What does Hilbert's Hotel illustrate?

That adding elements to a countable infinity still gives the same infinity: |ℕ|+1=|ℕ|.

Teaching? Embed this experiment on your site.

Free widget — paste it on your school site, blog or notes. It links to the full version.

Teaching a class or tutoring? Guide students in NexTutor →