Бесконечный отель Гильберта: как разместить бесконечно много гостей

Теоретический фундамент и аксиоматика

Мысленный эксперимент предложил Давид Гильберт в лекции 1924 года, фрагменты которой вошли в публикацию «О бесконечном» 1925 года. В основе рассуждений лежит концепция Георга Кантора о мощностях множеств. Два множества имеют одинаковую мощность, если между ними можно установить взаимно однозначное соответствие. В конечных системах целое всегда строго больше собственной части. Для бесконечных множеств Рихард Дедекинд сформулировал прямо противоположный критерий. Множество называется бесконечным тогда и только тогда, когда оно равномощно своему собственному подмножеству. Именно это свойство позволяет отелю с номерами из множества натуральных чисел принимать постояльцев без выселения прежних.

Математические сценарии расселения

Главная ценность доклада для студента математической специальности заключается в строгой формализации процессов через функции отображения, а не в простом пересказе сюжета.

1. Прибытие одного нового гостя решается сдвигом номеров по формуле f(n) = n + 1, где гость из комнаты n переезжает в комнату n + 1, освобождая первую комнату для новичка.
2. Прибытие конечной группы из k человек формализуется аналогичным сдвигом f(n) = n + k, что освобождает строго фиксированный начальный отрезок натурального ряда от 1 до k.
3. Прибытие одного автобуса со счётным количеством пассажиров требует удвоения номеров f(n) = 2n, благодаря чему все текущие постояльцы занимают чётные комнаты, а вновь прибывшие заполняют освободившиеся нечётные номера по закону g(m) = 2m - 1.
4. Прибытие счётного количества автобусов, в каждом из которых сидит счётное число людей, демонстрирует счётность декартова произведения двух счётных множеств и решается факторизацией через простые числа либо канторовой диагональной нумерацией.

В случае со счётным числом автобусов расселение через простые числа выглядит наиболее изящно. Текущие жильцы из комнаты n переводятся в номер 2 в степени n. Пассажир под номером m из автобуса с номером k получает комнату, номер которой вычисляется как p в степени m, где основанием служит k-е простое число, начиная с тройки. Основная теорема арифметики гарантирует, что ни один номер не совпадёт, так как разложение любого натурального числа на простые множители единственно.

Границы модели и несчётные множества

Отель Гильберта имеет принципиальное ограничение, о котором обязательно нужно упомянуть во второй половине доклада. Если к отелю подъедет автобус, пассажиры которого пронумерованы всеми действительными числами отрезка от нуля до единицы, расселить их не удастся. Мощность континуума строго превосходит счётную мощность натурального ряда. Для строгого доказательства этого ограничения в доклад включают диагональный метод Кантора, показывающий невозможность построения сюръективного отображения натуральных чисел на множество вещественных чисел.

Что оценивает преподаватель при проверке

Преподаватель математических дисциплин оценивает прежде всего корректность функциональной записи. Важно указать область определения и область значений для каждой функции расселения, подтвердив, что отображение действительно является инъективным и сюръективным. Чисто описательный пересказ без формул дисквалифицирует работу из математической в научно-популярную. Также проверяется понимание разницы между потенциальной и актуальной бесконечностью и способность объяснить, почему отель не может быть физически реализован в материальном мире.

Источники для подготовки

Для работы подходят классические университетские курсы математического анализа и теории множеств. В качестве базовой литературы используют учебник «Элементы теории функций и функционального анализа» А. Н. Колмогорова и С. В. Фомина, а также фундаментальный труд К. Куратовского и А. Мостовского «Теория множеств». Первоисточник концепции можно изучить по русскому переводу статьи Давида Гильберта «О бесконечном», включённому в сборник «Основания геометрии» под редакцией П. К. Рашевского.