Алекс в стране чисел. Необычайное путешествие в волшебный мир математики
Шрифт:
К XVII столетию математики возжелали освоить операции, включающие бесконечно много шагов. Работы Джона Уоллеса, который в 1655 году ввел символ для бесконечности, чтобы использовать его в своей работе о бесконечно малых, расчистил дорогу для математического анализа Исаака Ньютона. Открытие полезных соотношений, включающих в себя бесконечное число членов, например, /4 = 1 - 1/ 3+ 1/ 5– 1/ 7+ …, показало, что бесконечность не так уж враждебна, и тем не менее ученые все равно относились к ней с осмотрительностью и подозрением. В 1831 году Гаусс проявил житейскую мудрость, заметив, что бесконечность — это «просто способ говорить» о пределе, который никогда не достигается, просто идея, выражающая потенцию продолжать действия бесконечно. Канторова же ересь состояла в рассмотрении бесконечности как вещи в себе.
Причина, по которой математиков
1. Некоторые числа являются полными квадратами, такими как 1, 4, 9 и 16, а некоторые — не являются полными квадратами, например 2, 3, 5, 6, 7 и т. д.
2. Общее количество чисел должно быть больше количества полных квадратов, поскольку среди всех чисел присутствуют как квадраты, так и неквадраты.
3. Однако же каждое число можно поставить во взаимно-однозначное соответствие со своим квадратом:
4. Итак, полных квадратов в действительности столько же, сколько и всех целых чисел. Что есть противоречие, потому что в пункте 2 мы заметили, что целых чисел вообще больше, чем квадратов.
Вывод Галилея состоял в том, что, когда дело доходит до бесконечности, такие числовые концепции, как «больше чем», «равно» и «меньше чем», теряют смысл. Эти термины могут быть понятны и осмысленны в приложении к конечным количествам, но не к бесконечным. Утверждения, что чисел вообще больше, чем квадратов, или что чисел столько же, сколько квадратов, лишены смысла, поскольку вся совокупность как чисел вообще, так и квадратов бесконечна.
Георг Кантор придумал новый способ осмысления бесконечности, который устранил парадокс Галилея. Вместо того чтобы рассматривать отдельные числа, Кантор рассмотрел группы чисел, которые назвал «множествами». Кардинальное число всякого множества есть число членов в этой группе. Так, {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 и так далее, переселяя гостя из каждого номера nв номер n+ 1. Как только это будет сделано, у каждого из старых постояльцев по-прежнему будут свои собственные апартаменты, а номер с табличкой 1 освободится для вновь приехавшего. Вот и отлично!
На следующий день возникает более сложная ситуация. Приезжает автобус, и каждому пассажиру этого автобуса нужен номер. А в автобусе бесконечное число сидений, занумерованных как 1, 2, 3 и так далее, и все они заняты. Есть ли теперь хоть какой-то способ расселить всех без исключения пассажиров? Другими словами, хотя гостиница и полна, может ли администратор так перетасовать постояльцев по номерам, чтобы в итоге освободить бесконечное число номеров для пассажиров автобуса? Да это легче легкого, говорят нам.
Все, что надо проделать на этот раз, — это переселить каждого постояльца в номер, на двери которого написано число в два раза большее, чем то, что написано на номере, где этот постоялец живет в данный момент. Тем самым заполнятся номера 2, 4, 6, 8…. А все номера, на дверях которых написано нечетное число, освободятся, и пассажирам автобуса дадут ключи от них. Пассажир, ехавший на первом сиденье, получит номер 1 (первое из нечетных чисел), пассажир, ехавший на втором сиденье, получит номер 3 (второе нечетное число) и т. д.
На третий день в Гильбертов отель прибывает много автобусов. Бесконечно много. Автобусы выстраиваются на стоянке перед гостиницей: сначала автобус 1, затем автобус 2, вслед за ним автобус 3 и т. д. В каждом автобусе — бесконечное число пассажиров (это автобусы того же типа, что приезжали накануне). И понятно, каждому пассажиру требуется номер. Есть ли способ найти для каждого пассажира из каждого автобуса номер в (уже заполненном) Гильбертовом отеле? Не проблема, отвечает администратор. Прежде всего ему надо освободить бесконечно много номеров. Он делает это тем же способом, что и накануне, — переселяет каждого постояльца в комнату с удвоенным номером. В результате свободными оказываются все нечетные номера. Все, что ему надо сделать, чтобы разместить там бесконечное число групп автобусных пассажиров, — это найти способ пересчитать всех пассажиров, потому что, как только он найдет такой способ, он поселит первого пассажира из списка в номер 1, второго — в номер 3, третьего — в номер 5 и т. д.
Администратор проделывает следующее. Сначала составляется список пассажиров, в котором каждый пассажир представлен записью вида m/n, где m —это номер автобуса, на котором данный пассажир приехал, а n —номер его места в автобусе. Если начать с пассажира, ехавшего на первом месте в первом автобусе (путешественник 1/1), а затем следовать по зигзагообразной кривой, показанной ниже, — так, что вторым окажется путешественник, занимавший второе место в первом автобусе (1/2), затем тот, кто сидел на первом месте во втором автобусе (2/1), и т. д. — в концов концов окажутся переписанными все без исключения пассажиры.
Теперь перенесем на язык символьной математики то, что мы узнали про Гильбертов отель.
Когда номер нашли для одного путешественника, это эквивалентно формулируется как 1 + 0= 0.
Когда номер нашли для счетно-бесконечного числа путешественников, мы узнали, что 0+ 0= 0.
Когда счетно-бесконечное число пассажиров в каждом автобусе из счетно-бесконечного числа автобусов смогли расселиться по номерам, мы узнали, что 0x 0= 0. Таковы правила, которых мы ожидаем от бесконечности: прибавление бесконечности к бесконечности дает бесконечность, и умножение бесконечности на бесконечность также дает бесконечность.
Давайте на секунду остановимся. Мы уже получили один потрясающий результат. Взглянем снова на таблицу с номерами мест и номерами автобусов. Рассмотрим каждого путешественника, обозначаемого символом m/n, как дробь m/ n. Если продолжить нашу таблицу до бесконечности, в ней будут указаны все без исключения положительные дроби — просто потому, что положительные дроби и представляют собой выражения m/ nдля любых натуральных чисел mи n.Например, дробь 5628/ 785окажется перечисленной, когда мы доберемся до 5628-й строки и 785-го столбца. Зигзаговый метод подсчета всех пассажиров во всех автобусах можно поэтому использовать и для пересчета всех положительных дробей. Другими словами, множество положительных дробей и множество натуральных чисел имеют одно и то же кардинальное число 0. Интуитивно кажется, что дробей должно быть больше, чем натуральных чисел, потому что между любыми двумя натуральными числами имеется бесконечное число дробей, и, однако же, Кантор показал, что наша интуиция неверна. Положительных дробей ровно столько же, сколько и натуральных чисел. (Конечно, положительных и отрицательных дробей тоже столько же, сколько натуральных чисел, потому что имеется 0положительных дробей и 0отрицательных, а из предыдущего мы знаем, что 0+ 0= 0)