* * *
Георг Кантор придумал новый способ осмысления бесконечности, который устранил парадокс Галилея. Вместо того чтобы рассматривать отдельные числа, Кантор рассмотрел группы чисел, которые назвал «множествами». Кардинальное число всякого множества есть число членов в этой группе. Так, {1, 2, 3} — множество с кардинальным числом 3, а {17, 29, 5, 14} — множество с кардинальным числом 4. «Теория множеств» Кантора заставляет сердце биться чаще, когда рассматриваются множества с бесконечным числом членов. Он ввел новый символ для бесконечности — ℵ>0 (произносится «алеф-нуль»), используя первую букву древнееврейского алфавита, снабженную нижним индексом, и сказал, что это есть кардинальное число множества натуральных чисел, то есть {1, 2, 3, 4, 5…}. Каждое множество, члены которого можно поставить во взаимно-однозначное соответствие с натуральными числами, также обладает кардинальным числом ℵ>0. Таким образом, поскольку имеется взаимно-однозначное соответствие между натуральными числами и их квадратами, множество квадратов {1, 4, 9,16, 25…} имеет кардинальное число ℵ>0. Подобным же образом, множество нечетных чисел {1, 3, 5, 7, 9…}, множество простых чисел {2, 3, 5, 7, 11…} и множество чисел, внутри которых содержится 666, то есть {666, 1666, 2666, 3666…}, — все они имеют кардинальное число ℵ>0. Если имеется множество с бесконечным числом членов и если возможно пересчитать члены один за другим, так что в конце концов каждый будет посчитан, то кардинальным числом такого множества является ℵ>0. По этой причине ℵ>0 стал известен как «счетная бесконечность». Причина же, по которой все это представляется столь замечательным, состоит в том, что Кантор показал, что можно двигаться и дальше. Сколь бы большим ни было ℵ>0, это сущее дитя в семье канторовских бесконечностей.
Я введу бесконечность большую чем ℵ>0, используя историю, которую, как говорят, Давид Гильберт приводил на своих лекциях. История эта — о гостинице со счетно-бесконечным (то есть ℵ>0) числом номеров. Это хорошо известное и весьма любимое математиками заведение иногда называют Гильбертовым отелем.
В Гильбертовом отеле имеется бесконечное число номеров, на дверях которых прибиты таблички 1, 2, 3, 4…. Однажды у регистрационной стойки отеля появляется путешественник и к своему разочарованию узнает, что в гостинице нет свободных мест. Он спрашивает, есть ли хоть какой-нибудь способ найти для него номер. Администратор отеля отвечает, что, конечно, есть. Все, что надо проделать, — это расселить уже имеющихся постояльцев по номерам следующим способом: того, кто жил в номере 1, — переселить в номер 2, того, кто жил в номере 2, — переселить в номер 3 и так далее, переселяя гостя из каждого номера