Алекс в стране чисел. Необычайное путешествие в волшебный мир математики

Администратор проделывает следующее. Сначала составляется список пассажиров, в котором каждый пассажир представлен записью вида m/n, где  m —это номер автобуса, на котором данный пассажир приехал, а  n —номер его места в автобусе. Если начать с пассажира, ехавшего на первом месте в первом автобусе (путешественник 1/1), а затем следовать по зигзагообразной кривой, показанной ниже, — так, что вторым окажется путешественник, занимавший второе место в первом автобусе (1/2), затем тот, кто сидел на первом месте во втором автобусе (2/1), и т. д. — в концов концов окажутся переписанными все без исключения пассажиры.

Теперь перенесем на язык символьной математики то, что мы узнали про Гильбертов отель.

Когда номер нашли для одного путешественника, это эквивалентно формулируется как 1 + ₀= ₀.

Когда номер нашли для счетно-бесконечного числа путешественников, мы узнали, что ₀+ ₀= ₀.

Когда счетно-бесконечное число пассажиров в каждом автобусе из счетно-бесконечного числа автобусов смогли расселиться по номерам, мы узнали, что ₀x ₀= ₀. Таковы правила, которых мы ожидаем от бесконечности: прибавление бесконечности к бесконечности дает бесконечность, и умножение бесконечности на бесконечность также дает бесконечность.

* * *

Давайте на секунду остановимся. Мы уже получили один потрясающий результат. Взглянем снова на таблицу с номерами мест и номерами автобусов. Рассмотрим каждого путешественника, обозначаемого символом m/n, как дробь ^m/ _n. Если продолжить нашу таблицу до бесконечности, в ней будут указаны все без исключения положительные дроби — просто потому, что положительные дроби и представляют собой выражения ^m/ _nдля любых натуральных чисел  mи n.Например, дробь ⁵⁶²⁸/ ₇₈₅окажется перечисленной, когда мы доберемся до 5628-й строки и 785-го столбца. Зигзаговый метод подсчета всех пассажиров во всех автобусах можно поэтому использовать и для пересчета всех положительных дробей. Другими словами, множество положительных дробей и множество натуральных чисел имеют одно и то же кардинальное число ₀. Интуитивно кажется, что дробей должно быть больше, чем натуральных чисел, потому что между любыми двумя натуральными числами имеется бесконечное число дробей, и, однако же, Кантор показал, что наша интуиция неверна. Положительных дробей ровно столько же, сколько и натуральных чисел. (Конечно, положительных и отрицательных дробей тоже столько же, сколько натуральных чисел, потому что имеется ₀положительных дробей и ₀отрицательных, а из предыдущего мы знаем, что ₀+ ₀= ₀)

Чтобы оценить, насколько необычным является этот результат, рассмотрим числовую прямую, которая позволяет воспринимать числа как точки на линии. Вот числовая прямая, начинающаяся в 0 и устремляющаяся в бесконечность:

Каждую положительную дробь можно рассматривать как точку на этой числовой прямой. Из предыдущих глав мы знаем, что имеется бесконечно много дробей, заключенных между 0 и 1, а равным образом между 1 и 2 или между двумя любыми другими числами. Теперь представим себе, что мы поднесли к числовой прямой микроскоп, который позволяет разглядеть, что происходит между точками, представляющими дроби ¹/ ₁₀₀и ²/ ₁₀₀. Как мы показали выше, имеется бесконечно много точек, представляющих дроби между двумя указанными точками. И куда бы на числовой прямой мы ни направили микроскоп и сколь бы маленький интервал между двумя точками он ни показывал, там всегда будет бесконечно много точек, представляющих дроби в данном интервале. Поскольку имеется бесконечно много точек, представляющих дроби всюду, куда ни посмотри, осознание того факта, что все их, без единого исключения, можно пересчитать, поместив в упорядоченный список, сбивает с толку.

* * *

И теперь главное. Это доказательство того, что имеется кардинальное число, большее ₀. Сначала — назад в Гильбертов отель. На этот раз гостиница пуста, когда появляется бесконечное число людей, желающих поселиться. Но теперь путешественники приехали не в автобусах; они представляют собой толпу, причем каждый одет в футболку, надпись на которой представляет собой десятичное разложение некоторого числа, лежащего между 0 и 1. Ни у каких двух людей написанные на груди десятичные разложения не совпадают, и при этом использованы все десятичные разложения между 0 и 1. (Конечно, десятичные разложения бесконечно длинные, поэтому для их изображения требуются бесконечно широкие футболки, но, поскольку мы уже кое на что согласились, когда попытались представить себе гостиницу с бесконечным числом номеров, я полагаю, что в случае с футболками прошу не так уж и о многом.)