Читать книгу Наша математическая вселенная. В поисках фундаментальной природы реальности - Макс Тегмарк - Страница 14
Часть I. Все крупнее и крупнее
Глава 2. Наше место в пространстве
Что такое пространство?
ОглавлениеТак тянется ли космос бесконечно? К вопросу можно подойти двояко: путем наблюдений и теоретически. Пока мы следовали первому подходу, рассматривая, как хитроумные измерения открывали все более далекие области космоса без видимых признаков конца. Однако и теоретики достигли значительного прогресса. Прежде всего, как может пространство не тянуться бесконечно? Я объяснил детям, что было бы странно вдруг встретить знак, как на рис. 2.6, предупреждающий о достижении конца космоса. Я размышлял об этом, когда сам был ребенком: а что за этим знаком? Мне казалось, что беспокоиться о достижении конца космоса столь же глупо, как древним мореплавателям бояться упасть с края Земли. Так что я попросту заключил, что пространство бесконечно и тянется вечно. Еще Евклид пришел к выводу, что геометрия является частью математики и что бесконечное трехмерное пространство можно описать столь же строго, как и другие математические структуры вроде числовых множеств. Древнегреческий ученый разработал красивую математическую теорию бесконечного трехмерного пространства, а также его геометрических свойств, и люди долго считали ее единственным логически возможным способом существования нашего физического пространства.
Рис. 2.6. Трудно представить себе, что пространство может быть конечным. Если оно где-то заканчивается, то что находится дальше, за его краем?
Однако в середине XIX века математики Карл Фридрих Гаусс, Янош Бойяи и Николай Лобачевский независимо друг от друга открыли, что существуют и другие логические возможности для однородного трехмерного пространства. Бойяи в восторге писал отцу: «Из ничего я создал странный новый мир». Новые пространства подчиняются новым правилам: так, они более не обязаны быть бесконечными, каковым представлялось пространство Евклиду, а углы треугольника не обязательно дают в сумме 180°. Представьте себе треугольники на двумерных поверхностях трехмерных фигур. Сумма трех их углов больше 180° на сфере (рис. 2.7, слева), 180° на цилиндре (в середине) и меньше 180° на гиперболоиде (справа). Более того, двумерная поверхность сферы конечна, хотя на ней нет ничего похожего на край.
Этот пример показывает, что правила евклидовой геометрии могут нарушаться на поверхности, если она не плоская. Однако идеи Гаусса и других математиков были еще радикальнее: пространство может быть искривленным само по себе, даже если оно не является поверхностью чего-либо! Предположим, вы – слепой муравей, желающий знать, по какой из фигур на рис. 2.7 вы ползаете. Вы чувствуете себя так, будто живете в двумерном пространстве, поскольку не можете выйти в третье измерение (оторваться от поверхности), но это не препятствует вашей детективной работе: вы по-прежнему можете определить прямую линию (как кратчайший путь между двумя точками), а значит, и суммировать величины трех углов треугольника. Например, если вы получите 270°, то воскликнете: «Это больше 180°, значит, я на сфере!» Чтобы еще больше впечатлить друзей-муравьев, вы даже можете рассчитать, как далеко нужно пройти по прямой, чтобы вернуться в исходную точку. Иными словами, все обычные для геометрии объекты – точки, прямые, углы, кривые и т. д. – можно строго определить, оставаясь в двумерном пространстве безо всяких ссылок на третье измерение. Это означает, что математики могут строго определить кривизну двумерной поверхности, даже если третьего измерения не существует: двумерное пространство может быть искривленным само по себе, не являясь поверхностью чего-либо.
Рис. 2.7. Если нарисовать треугольники на этих поверхностях, сумма их углов окажется больше 180° (слева), 180° (посередине) и меньше 180° (справа). Эйнштейн считал, что в нашем трехмерном физическом пространстве для треугольников возможны все эти варианты.
Вероятно, математическое открытие неевклидовых пространств полтора столетия назад казалось большинству людей не более чем абстракцией, не имеющей практического отношения к нашему физическому миру. Затем Эйнштейн выдвинул общую теорию относительности, которая, по сути, утверждала, что мы – муравьи. Теория Эйнштейна позволяет нашему трехмерному пространству быть искривленным без всякого скрытого четвертого измерения, в котором оно искривлялось бы. Так что на вопрос, в пространстве какого типа мы живем, нельзя ответить, исходя из одной логики, как надеялись сторонники Евклида. Решить эту задачу можно, лишь выполнив измерения, например построив в космосе огромный треугольник (скажем, из лучей света) и проверив, равна ли сумма его углов 180°. В гл. 4 я расскажу, как мы с коллегами развлекались, проделывая это. Ответ оказался близок к 180° для треугольников размером с Вселенную, но значительно превосходящим 180°, если большую часть треугольника занимает нейтронная звезда или черная дыра. Так что форма нашего физического пространства сложнее, чем в трех примерах на рис. 2.7.
Вернемся к детскому вопросу о конечности пространства. Мы видим, что теория Эйнштейна позволяет пространству быть конечным далеко не таким глупым способом, как на рис. 2.6: оно может быть конечным за счет искривленности. Например, если наше трехмерное пространство искривлено подобно поверхности четырехмерной гиперсферы, то, будь у нас возможность достаточно далеко уйти по прямой линии, мы в конце концов вернулись бы домой с противоположной стороны. Мы не упали бы с края трехмерного пространства, поскольку у него нет края, как нет края и у сферы, по которой ползет муравей (рис. 2.7).
В действительности, Эйнштейн позволяет нашему трехмерному пространству быть конечным, даже если оно не искривлено. Цилиндр на рис. 2.7 в математическом смысле плоский: если нарисовать треугольник на бумажном цилиндре, сумма его углов составит 180°. Чтобы убедиться в этом, вырежьте из цилиндра треугольник: он ровно ляжет на стол. Со сферой или гиперболоидом это не получится сделать без складок или разрывов бумаги. Но хотя цилиндр на рис. 2.7 кажется плоским для муравья, ползущего по небольшому участку, цилиндр замкнут на себя: муравей может вернуться домой, обойдя его вокруг по прямой линии. Математики называют подобные характеристики связности пространства его топологией. Они дали определение плоскому пространству, замкнутому на себя по всем измерениям, и назвали такое пространство тором. Двумерный тор имеет такую же топологию поверхности, как у баранки. Эйнштейн допускает, что физическое пространство, в котором мы живем, представляет собой трехмерный тор и является в таком случае плоским и конечным. Или бесконечным.
Обе эти возможности прекрасно согласуются с лучшей имеющейся у нас теорией о пространстве – общей теорией относительности Эйнштейна. Но какое оно? В гл. 4 и 5 мы найдем свидетельство того, что пространство все-таки бесконечно. Но поиск ответа на детский вопрос приводит нас к другой проблеме: чем в действительности является пространство? Хотя все мы сначала думаем о пространстве как о чем-то физическом, образующем ткань нашего материального мира, теперь мы видим, что математики говорят о пространствах как о математических сущностях. Для них изучение пространства – то же самое, что изучение геометрии, а геометрия – просто часть математики. Вполне можно считать, что пространство – это математический объект в том смысле, что все внутренне присущие ему свойства – такие как размерность, кривизна и топология – математические. Мы рассмотрим этот аргумент в гл. 10.
В этой главе мы, изучив свое положение в пространстве, обнаружили, что Вселенная гораздо больше, чем казалось нашим предкам. Чтобы по-настоящему понять, что происходит на огромных расстояниях, можно вести наблюдения с помощью телескопов. Однако определить свое место в пространстве недостаточно. Нам необходимо знать и свое место во времени.