zero wrote:Good! Then here's a puzzle for you.
Every last one of these infinitely many guests also appreciated the benefits and comfort of Hilbert's Hotel so much that they each return at the same time a month later, and coincidentally they each bring their own infinitely large set of friends with them. These are very friendly people. The hotel clerk in charge of rearranging rooms to accommodate the guests is recovering from a severe hangover (after attempting but failing to ingest an infinite amount of alcohol the night before), and requests your assistance. What do you do?
Use the
pairing function.
Enumerate each guest in the initial set from 1 to infinity.
For each of those initial set guests, enumerate each of their friends also from 2 to infinity (where the initial sets all have 1 in this field).
Let i be the number of the guest from the initial set, and j be the number of their friend (or the 1 mentioned above). Compute the pairing, and assign that number as the room number of each person. If the hotel wasn't empty, use the doubling technique to fit them in.
This method will indeed ensure that there are no empty rooms, unless the doubling technique was used with the hotel initially partially filled.
For
n recursive sets of guests, simply use no pairing for
n=1, the square pairing for
n=2 (the ordinary pairing), the cubic pairing for
n=3, and in general the
nth order pairing for
n ∈ ℤ,
n > 0.