/
>100 и
>2/
>100. Как мы показали выше, имеется бесконечно много точек, представляющих дроби между двумя указанными точками. И куда бы на числовой прямой мы ни направили микроскоп и сколь бы маленький интервал между двумя точками он ни показывал, там всегда будет бесконечно много точек, представляющих дроби в данном интервале. Поскольку имеется бесконечно много точек, представляющих дроби всюду, куда ни посмотри, осознание того факта, что все их, без единого исключения, можно пересчитать, поместив в упорядоченный список, сбивает с толку.
* * *
И теперь главное. Это доказательство того, что имеется кардинальное число, большее ℵ>0. Сначала — назад в Гильбертов отель. На этот раз гостиница пуста, когда появляется бесконечное число людей, желающих поселиться. Но теперь путешественники приехали не в автобусах; они представляют собой толпу, причем каждый одет в футболку, надпись на которой представляет собой десятичное разложение некоторого числа, лежащего между 0 и 1. Ни у каких двух людей написанные на груди десятичные разложения не совпадают, и при этом использованы все десятичные разложения между 0 и 1. (Конечно, десятичные разложения бесконечно длинные, поэтому для их изображения требуются бесконечно широкие футболки, но, поскольку мы уже кое на что согласились, когда попытались представить себе гостиницу с бесконечным числом номеров, я полагаю, что в случае с футболками прошу не так уж и о многом.)
Некоторые из прибывших атакуют стойку регистрации, пытаясь выяснить, может ли гостиница их принять. Все, что для этого надо сделать администратору, — это найти способ составить список, в котором присутствовало бы каждое десятичное число между 0 и 1, поскольку, как только такой список будет составлен, расселение не составит труда. Задача не кажется нерешаемой — ведь, в конце концов, наш находчивый администратор однажды уже придумал, как организовать в список всех пассажиров из бесконечного числа автобусов, в каждом из которых было бесконечно много пассажиров. И тем не менее эта новая задача оказывается нерешаемой! Нет способа пересчитать все десятичные разложения между 0 и 1 таким образом, чтобы стало возможным внести все их в упорядоченный список. Дабы продемонстрировать это, я покажу, что для каждого бесконечного списка чисел, лежащих между 0 и 1, всегда найдется число между 0 и 1, которого в этом списке нет.
Вот как это делается. Вообразим себе, что первый из прибывших одет в футболку с разложением 0,6429657, второй — 0,0196012 и администратор отводит им номера 1 и 2. И пусть он так и продолжает назначать номера следующим, кто прибывает, в результате у него получается бесконечный список, начало которого выглядит следующим образом (не будем забывать еще, что разложения продолжаются до бесконечности):