Стивен Строгац - Удовольствие от Х.Увлекательная экскурсия в мир математики от одного из лучших преподавателей в мир

Я объяснил Ким, что бесконечность не может быть ни четной, ни нечетной. Это не число в обычном смысле, и оно не подчиняется правилам арифметики. Например, я писал: «Если бы бесконечность была нечетным числом, при умножении на себя она стала бы четным числом. И обе были бы бесконечностями! Так что в целом понятие четности и нечетности не имеет смысла для бесконечности».

Ким ответила:

Спасибо. Бен удовлетворен таким объяснением. Ему понравилась идея, что бесконечность достаточно велика, чтобы быть одновременно как четной, так и нечетной.

Несмотря на возникшее искажение (бесконечность не нечетная и не четная, а ни то и ни другое ), толкование Бена близко к истине. Бесконечность бывает ошеломляющей.

Некоторые из ее странных сторон впервые были освещены в конце XIX века в новаторской работе Георга Кантора [180]по теории множеств [181]. Кантор особенно интересовался бесконечными множествами чисел и точек, подобных множеству {1, 2, 3, 4….} натуральных чисел и множеству точек на прямой. Он определил строгий способ сравнить разные бесконечные множества и обнаружил шокирующее свойство бесконечностей. Оказывается, одни бесконечности больше, чем другие.

В то время теория Кантора вызвала не только неприятие, но и возмущение. Анри Пуанкаре, один из ведущих математиков того времени, назвал ее «болезнью». Однако другой гигант той эпохи, Давид Гильберт [182], увидел в ней долгосрочный вклад в науку и провозгласил: «Никто не может изгнать нас из рая, созданного Кантором».

Моя задача — дать вам некоторое представление об этом рае. Но прежде чем начать, позвольте, следуя подходу, введенному самим Гильбертом, непосредственно рассмотреть множества чисел или точек. Он живо передал странности и уникальность теории Кантора на примере притчи о «Гранд-отеле», который в настоящее время называется отелем Гильберта [183].

Этот отель всегда заполнен, но в нем неизменно остается один свободный номер.

В отеле Гильберта не просто сотни номеров, в нем их бесчисленное множество. Всякий раз, когда прибывает новый постоялец, менеджер переселяет обитателя номера 1 в номер 2; обитателя номера 2 в номер 3 и т. д. Это освобождает номер 1 для нового постояльца и обеспечивает номерами всех остальных (правда, создавая им определенные неудобства при переезде).

Теперь предположим, что приехало бесконечно много новых, причем чем-то раздраженных постояльцев. Это не проблема. Невозмутимый менеджер перемещает обитателя номера 1 в номер 2, из номера 2 в номер 4, из номера 3 в номер 6 и т. д. Этот фокус с удвоением освобождает все нечетные номера (их бесконечное множество) для новых постояльцев.

Вечером того же дня бесконечная вереница автобусов с грохотом подъезжает к стойке регистрации. Их бесконечно много, и, что еще хуже, каждый заполнен бесконечным множеством ворчащих людей, требующих, чтобы отель соответствовал своему девизу: «В отеле Гильберта всегда есть свободные номера».

Менеджер раньше уже сталкивался с такой проблемой и запросто решает ее.

Сначала он проводит трюк удвоения. Это позволяет заселить новых постояльцев в четные номера и освободить все нечетные — хорошее начало, потому что теперь он имеет бесконечное число свободных номеров.

Но достаточно ли этого? Хватит ли нечетных номеров для размещения орд новых постояльцев? Кажется маловероятным, поскольку есть нечто вроде квадратной бесконечности людей, скандалящих из-за этих номеров. (Почему квадратной? Потому что каждый из бесконечного числа автобусов привез бесконечное число пассажиров. Общее количество людей составляет бесконечность, умноженную на бесконечность, чтобы это ни значило).

Вот где логика при работе с бесконечностью становится очень странной.

Чтобы понять, как менеджер собирается решать последнюю задачу, следует визуализировать всех людей, которых он должен поселить.

Конечно, мы не можем показать здесь буквально всех, так как в этом случае диаграмма должна быть бесконечной в обоих направлениях. Но окончательный вариант картинки будет соответствующим. Дело в том, что любой конкретный пассажир автобуса (скажем, ваша тетя Инесс из Луисвилля) обязательно появится где-то на диаграмме, когда мы включим в нее достаточное количество строк и столбцов. В этом смысле каждый пассажир каждого автобуса учтен. Вы называете его имя, и он (или она) обязательно отобразится на некотором конечном количестве шагов к востоку и югу от северо-западного угла картинки.