Как устроена бесконечность: исследуем парадокс Гильберта

Бесконечность — понятие, которое завораживает людей на протяжении тысячелетий. Но как математика обращается с этим загадочным явлением? Один из самых ярких примеров её странной природы — парадокс Гильберта, история про бесконечный отель, который никогда не бывает полным.

Что такое отель Гильберта?
Представьте себе отель с бесконечным числом номеров. Все они пронумерованы:
1, 2, 3, 4, …
Однажды в этот отель приезжает бесконечное количество постояльцев, и каждый из них занимает свой номер. На первый взгляд, отель полностью занят. Но что произойдёт, если приедет ещё один гость?

Переселение одного гостя
Администратор отеля находит выход! Он просит каждого постояльца из номера n переселиться в номер n + 1:
n → n + 1
Теперь номер 1 свободен, и нового гостя можно разместить в освободившемся месте. Бесконечный отель легко справляется с новыми "гостями".

Что делать, если приедет бесконечное количество гостей?
Теперь в отель приезжает ещё одна бесконечная группа людей. Как разместить их всех? Администратор переселяет всех нынешних постояльцев в номера с чётными номерами:
n → 2n
После этого все нечётные номера (1, 3, 5, …) остаются свободными, и новые гости могут занять их:
k → 2k - 1, где k = 1, 2, 3, …

Бесконечность плюс бесконечность: странности не заканчиваются
Что, если к отелю приедет бесконечное количество бесконечных групп? Сможет ли отель справиться? Ответ — да!
Администратор находит новый план. Пусть:

нынешние гости переселяются в номера, кратные 2:
n → 2^1 * n,
новая бесконечная группа занимает номера, кратные 3:
k → 3^1 * k,
следующая группа занимает номера, кратные 5, и так далее, по всем простым числам.
Таким образом, каждому гостю можно выделить уникальное место, используя свойства взаимно простых чисел.

Что мы узнали о бесконечности?
Отель Гильберта показывает, что бесконечность в математике не ведёт себя как конечные числа. Например:
∞ + 1 = ∞,
∞ + ∞ = ∞,
даже ∞ * ∞ = ∞.
Эти свойства описываются с помощью теории множеств, разработанной Георгом Кантором. Например, натуральные числа и целые числа имеют одинаковую мощность, даже если кажется, что целых чисел "больше".