«Не вселенная. Узко мыслишь!»

говорят сами за себя.

33. Диалог, имеющий отношение к бесконечному множеству вещей

(Падуя, Италия, 1608 год)

«Я полагаю, — начинает Галилео, — ты знаешь, какие числа являются квадратами, а какие нет».

«В этом я достаточно осведомлен, — отвечаешь ты. — Число является квадратом, если оно есть результат умножения другого числа само на себя. Так, числа 4, 9 и так далее получаются при умножении 2 на 2, 3 на 3… Этот ряд можно продолжить».

«А можно сказать, — интересуется Галилео, — что чисел больше, чем квадратов?»

«Конечно, — отвечаешь ты. — Их и должно быть больше. Ведь есть числа, которые не есть квадраты».

«И все же. — тут ученый призадумался. — Если начать считать квадраты, нужно будет использовать все числа. Смотри: числа 1, 2, 3, 4. превращаются в 1, 4, 9, 16. У меня есть обычное число, являющееся корнем данного квадрата, и для каждого числа есть соответствующий квадрат. Если между двумя наборами объектов есть взаимно однозначное соответствие, обычно считается, что в этих множествах число объектов равно. Не так ли?»

«Ты меня смутил, — отвечаешь ты. — Я согласен с твоими доводами, но, мне кажется, вопрос можно поставить иначе: какова доля квадратов между 1 и 10? Всего 3/10. Более того, между 1 и 100 их всего 1/10 часть. Чем дальше, тем больше: если увеличивать множество сравниваемых чисел, доля квадратов будет стремиться к нулю. Похоже, отношение числа квадратов к числу обычных чисел зависит от того, как именно ты считаешь. Да, я в замешательстве!»

Галилео кивает. «Итак, к какому выводу ты пришел? Что ты думаешь об отношении числа квадратов к числу всех чисел?» — спрашивает он.

«Кажется, можно сделать только такой вывод: поскольку совокупность всех чисел бесконечна, совокупность всех квадратов тоже бесконечна и число квадратных корней из них бесконечно, то такие понятия как „равно“, „больше“ и „меньше“ не применимы к бесконечным величинам, но только к конечным», — отвечаешь ты, немного поразмыслив.

«Это сбивает с толку, прямо-таки сводит с ума, — уныло отвечает Галилео, а затем, неожиданно вспомнив что-то, продолжает: — Помнишь, я говорил о новом устройстве, позволяющем рассматривать маленькие предметы? Сегодня я его наконец получил. Давай посмотрим. Пусть эта проблема бесконечности доводит до безумия кого-нибудь другого».

Есть несколько удивительных вещей, недоступных нашему воображению. Они должны предостеречь от серьезных ошибок тех, кто пытается говорить о бесконечности, наделяя ее теми же свойствами, которые мы используем для исследования конечного. Природа этих двух понятий не имеет ничего общего.

Галилео Галилей «Беседы и математические доказательства двух новых наук»[108]

Концепция бесконечности одновременно и навевает трансцендентные мысли о чем-то божественном, и сводит математиков с ума. Еще во времена Аристотеля (а может, и раньше) люди пытались понять, что означают числа, которым нет конца, и как можно представить себе бесконечное множество объектов, которые пересчитывают эти числа. По сей день продолжается спор, начатый еще древними философами, где потенциальная бесконечность противопоставляется актуальной. Под потенциальной бесконечностью подразумевается понятие, кроющееся за словами «продолжаем считать»: даже считая неограниченно долго, достичь бесконечности нельзя никогда. Актуальная бесконечность — это бесконечность, реализующаяся как самостоятельное единое целое. Может быть, разумно придерживаться мнения, что бесконечные множества существуют как математические объекты (хотя некоторые математики это отрицают), тогда как в реальном физическом мире могут быть только числа, пусть сколь угодно большие, — но не актуальная бесконечность. Однако мы увидим, что некоторые физики это отрицают.

Сопоставление целых чисел и квадратов целых чисел, о котором идет речь в «Диалогах» Галилея, — прекрасная отправная точка. Эта одна из самых ранних аргументированных интерпретаций парадоксов бесконечности демонстрирует две вещи.

Во-первых, счет становится неоднозначным. Если вы сравниваете два конечных множества объектов, чтобы узнать, где их больше, порядок, в котором вы пересчитываете объекты, значения не имеет. Но в случае бесконечных множеств, при некоторой сноровке в выборе метода счета, можно получить много разных ответов. Например, квадратов целых чисел столько же, сколько самих целых чисел, или четных чисел в шесть раз больше, чем нечетных. Таким образом, о большом числе множеств, которые, как кажется, содержат разное число элементов, на самом деле можно только сказать, что одно «столь же велико», как другое[109], но эти слова значат совсем не то, что в случае множества любого конечного (неважно, сколь большого) размера.

Во-вторых, как следует из приведенного выше диалога, можно измерять относительные частоты повторения разного типа элементов множества при условии, что элементы множества определенным образом упорядочены. То есть если выстроить все целые числа, скажем, по порядку, можно вычислить относительное количество четных и нечетных целых чисел вплоть до некоторого числа N, после которого счет прекращается. Если затем неограниченно увеличивать N, то мы увидим, что четные и нечетные целые числа распределены в отношении один к одному. Аналогично можно показать, что отношение квадратов целых чисел к самим этим числам будет стремиться к нулю. Конечно, если бы в этих примерах мы упорядочили целые числа как-то иначе, результаты могли бы быть другими, но представляется, что есть некое «естественное» упорядочение, при использовании которого полученные отношения будут в некотором смысле выделенными.

Теперь вернемся к космологии. Если действительно происходит вечная инфляция, то Вселенная, а вернее, мультивселенная, длится вечно, порождая бесконечное число постинфляционных областей. Но если это так, у нас есть причины для беспокойства. Если мы спрашиваем: «Какие свойства мы, обитатели этой мультивселенной, будем вероятнее всего наблюдать?» — то на самом деле нас интересует примерно следующее: «Если есть области с самыми разными свойствами, то какого типа области будут самыми распространенными?» Или иначе: «Пусть я нахожусь в некоторой произвольно выбранной области. Как она скорее всего будет выглядеть?» Точно так же, как с «четностью» и «нечетностью» целых чисел, с «квадратами» и «самими» целыми числами, эти вопросы относятся к относительным частотам проявления тех или иных свойств в бесконечном множестве. И возникают точно те же проблемы. Однако к неопределенности, обусловленной пересчетом, инфляция добавляет еще дополнительную неопределенность (правда, в некоторых случаях они взаимозаменяемы). Это неопределенность времени в общей теории относительности. ОСВОБОЖДАЯ ДЖИННА, мы видели, что в заданном пространстве-времени поверхности одновременности можно провести большим числом разных способов. В принципе, каждая из них ничем не лучше других, даже если на практике некоторые поверхности существенно предпочтительнее. Эта неопределенность в том, что именно считать заданным временем, в совокупности с бесконечной протяженностью вечно инфлирующего пространства-времени сбивает