Чтобы оценить, насколько необычным является этот результат, рассмотрим числовую прямую, которая позволяет воспринимать числа как точки на линии. Вот числовая прямая, начинающаяся в 0 и устремляющаяся в бесконечность:
Каждую положительную дробь можно рассматривать как точку на этой числовой прямой. Из предыдущих глав мы знаем, что имеется бесконечно много дробей, заключенных между 0 и 1, а равным образом между 1 и 2 или между двумя любыми другими числами. Теперь представим себе, что мы поднесли к числовой прямой микроскоп, который позволяет разглядеть, что происходит между точками, представляющими дроби 1/100 и 2/100. Как мы показали выше, имеется бесконечно много точек, представляющих дроби между двумя указанными точками. И куда бы на числовой прямой мы ни направили микроскоп и сколь бы маленький интервал между двумя точками он ни показывал, там всегда будет бесконечно много точек, представляющих дроби в данном интервале. Поскольку имеется бесконечно много точек, представляющих дроби всюду, куда ни посмотри, осознание того факта, что все их, без единого исключения, можно пересчитать, поместив в упорядоченный список, сбивает с толку.
И теперь главное. Это доказательство того, что имеется кардинальное число, большее ℵ0. Сначала — назад в Гильбертов отель. На этот раз гостиница пуста, когда появляется бесконечное число людей, желающих поселиться. Но теперь путешественники приехали не в автобусах; они представляют собой толпу, причем каждый одет в футболку, надпись на которой представляет собой десятичное разложение некоторого числа, лежащего между 0 и 1. Ни у каких двух людей написанные на груди десятичные разложения не совпадают, и при этом использованы все десятичные разложения между 0 и 1. (Конечно, десятичные разложения бесконечно длинные, поэтому для их изображения требуются бесконечно широкие футболки, но, поскольку мы уже кое на что согласились, когда попытались представить себе гостиницу с бесконечным числом номеров, я полагаю, что в случае с футболками прошу не так уж и о многом.)
Некоторые из прибывших атакуют стойку регистрации, пытаясь выяснить, может ли гостиница их принять. Все, что для этого надо сделать администратору, — это найти способ составить список, в котором присутствовало бы каждое десятичное число между 0 и 1, поскольку, как только такой список будет составлен, расселение не составит труда. Задача не кажется нерешаемой — ведь, в конце концов, наш находчивый администратор однажды уже придумал, как организовать в список всех пассажиров из бесконечного числа автобусов, в каждом из которых было бесконечно много пассажиров. И тем не менее эта новая задача оказывается нерешаемой! Нет способа пересчитать все десятичные разложения между 0 и 1 таким образом, чтобы стало возможным внести все их в упорядоченный список. Дабы продемонстрировать это, я покажу, что для каждого бесконечного списка чисел, лежащих между 0 и 1, всегда найдется число между 0 и 1, которого в этом списке нет.
Вот как это делается. Вообразим себе, что первый из прибывших одет в футболку с разложением 0,6429657, второй — 0,0196012 и администратор отводит им номера 1 и 2. И пусть он так и продолжает назначать номера следующим, кто прибывает, в результате у него получается бесконечный список, начало которого выглядит следующим образом (не будем забывать еще, что разложения продолжаются до бесконечности):
| Номер 1 | 0,6429657… |
| Номер 2 | 0,0196012… |
| Номер 3 | 0,9981562… |
| Номер 4 | 0,7642178… |
| Номер 5 | 0,6097856… |
| Номер 6 | 0,5273611… |
| Номер 7 | 0,3002981… |
| Номер… | 0…. |
| … | … |