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

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

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

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

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

Некоторые из прибывших атакуют стойку регистрации, пытаясь выяснить, может ли гостиница их принять. Все, что для этого надо сделать администратору, — это найти способ составить список, в котором присутствовало бы каждое десятичное число между 0 и 1, поскольку, как только такой список будет составлен, расселение не составит труда. Задача не кажется нерешаемой — ведь, в конце концов, наш находчивый администратор однажды уже придумал, как организовать в список всех пассажиров из бесконечного числа автобусов, в каждом из которых было бесконечно много пассажиров. И тем не менее эта новая задача оказывается нерешаемой! Нет способа пересчитать все десятичные разложения между 0 и 1 таким образом, чтобы стало возможным внести все их в упорядоченный список. Дабы продемонстрировать это, я покажу, что для каждого бесконечного списка чисел, лежащих между 0 и 1, всегда найдется число между 0 и 1, которого в этом списке нет.