Но математик представляет себе (не в том смысле, что он создает в своем воображении какую-то картину, а в том смысле, что он разрабатывает математический аппарат) движение трехмерного пространства в направлении, перпендикулярном всем его трем измерениям. Это порождает четырехмерное евклидово пространство. Нет никакой необходимости останавливаться на четырех. Мы можем переходить к пространствам пяти, шести, семи или более измерений. Все эти пространства евклидовы. Они представляют собой развитие евклидовой геометрии точно так же, как евклидова стереометрия является развитием евклидовой планиметрии.
Евклидова геометрия основана на нескольких аксиомах, одной из которых является знаменитая аксиома о параллельных прямых. Она гласит, что на плоскости через данную точку, расположенную вне данной прямой, можно провести одну и только одну прямую, параллельную этой прямой.
Говорят, что евклидова поверхность, на которой выполняется этот постулат, плоская. Она имеет нулевую кривизну и бесконечную площадь. Неевклидова геометрия — это такая геометрия, в которой аксиома о параллельных прямых заменена другой аксиомой. При этом возможны два существенно различных случая.
В первом случае, называемом эллиптической геометрией, говорится, что на поверхности через данную точку, расположенную вне заданной линии, не может быть проведено ни одной параллельной ей линии. Поверхность сферы представляет собой грубую, неточную модель неевклидовой поверхности такого типа. «Наиболее прямой» линией на сфере является большой круг (круг с диаметром, равным диаметру сферы). Все большие круги пересекаются друг с другом, и поэтому невозможно, чтобы два больших круга были параллельны. Говорят, что неевклидова поверхность этого типа имеет положительную кривизну. Такая кривизна приводит к тому, что поверхность замыкается сама на себя. Она имеет конечную, а не бесконечную площадь.
Неевклидова геометрия другого типа, называемая гиперболической, — это геометрия, в которой евклидов постулат о параллельных прямых заменен постулатом, гласящим, что на поверхности через точку, расположенную вне данной линии, проходит бесконечное множество параллельных ей линий. Грубой моделью части поверхности такого типа является седловидная поверхность. Говорят, что такая поверхность имеет отрицательную кривизну. Она не замыкается сама на себя. Подобно евклидовой плоскости, она тянется до бесконечности во всех направлениях.
И эллиптическая, и гиперболическая геометрии представляют собой геометрии поверхностей постоянной кривизны. Это означает, что кривизна везде одна и та же, объекты не претерпевают искажений при переходе из одной точки в другую. Неевклидова геометрия более общего типа, обычно называемая римановой геометрией, это такая геометрия, в которой кривизна может меняться от точки к точке любым заданным образом.
Точно так же, как имеются евклидовы геометрии пространств 2, 3, 4, 5, 6, 7…. измерений, существуют неевклидовы геометрии 2, 3, 4, 5, 6, 7…. измерений.
При разработке общей теории относительности Эйнштейн счел необходимым использовать четырехмерную риманову геометрию. Однако вместо четвертого пространственного измерения Эйнштейн выбрал в качестве четвертого измерения время. В понятии четвертого измерения нет ничего таинственного или мистического. Просто это означает, что каждое событие, которое имеет место во Вселенной, представляет собой событие, происходящее в четырехмерном мире пространства — времени.
Это можно уяснить себе, рассмотрев следующее событие. Вы садитесь в автомобиль в 2 часа дня и едете из своего дома в ресторан, расположенный в 3 км к югу и в 4 км к востоку от вашего дома. На двухмерной плоскости кратчайшее расстояние от вашего дома до ресторана есть гипотенуза прямоугольного треугольника со сторонами 3 и 4 км. Эта гипотенуза имеет длину 5 км.
Но вам требуется также затратить какое-то время, скажем 10 мин, на поездку. Этот промежуток времени может быть изображен на трехмерном графике. Одна координата на этом графике есть расстояние к югу в километрах, другая — расстояние к востоку в километрах, а координата по вертикали — время в минутах. На трехмерном графике пространства — времени «интервал» (пространственно-временной промежуток) между двумя событиями (вашим отъездом из дому и прибытием к ресторану) изображен в виде прямой.
Эта прямая линия не есть график реальной поездки. Просто она является мерой пространственновременного расстояния между двумя событиями.
График поездки может быть сложной кривой, поскольку ваша машина ускоряется в начале движения, расположение улиц может сделать невозможной поездку к ресторану по прямой, где-то в пути вы остановитесь при красном свете, и, наконец, вы должны испытать отрицательное ускорение, когда останавливаете машину. Сложный волнистый график реальной поездки в теории относительности называется «мировой линией» поездки. В рассмотренном случае это мировая линия в трехмерном пространстве — времени, или (как его иногда называют) в трехмерном пространстве Минковского.
Так как эта поездка на автомобиле происходила на плоскости, имеющей два измерения, оказалось возможным добавить еще одно измерение — временное и изобразить ее в виде трехмерного графика.
Когда события происходят в трехмерном пространстве, невозможно нарисовать график в четырехмерном пространстве — времени, но математики умеют обращаться с такими графиками, не рисуя их. Попытайтесь представить себе четырехмерного ученого, который умеет чертить четырехмерные графики с такой же легкостью, как обычный ученый чертит двух- и трехмерные графики. Три координаты его графика соответствуют трем измерениям нашего пространства. Четвертая координата — это наше время. Если космический корабль улетает с Земли и приземляется на Марсе, наш воображаемый ученый изобразит мировую линию этого путешествия в виде кривой на своем четырехмерном графике. (Линия будет кривой, так как корабль не может проделать такое путешествие без ускорений.) Пространственно-временной «интервал» между отлетом и приземлением будет изображаться на этом графике прямой линией.
В теории относительности всякий предмет представляет собой четырехмерную структуру, движущуюся вдоль мировой линии в четырехмерном мире пространства — времени. Если какой-либо предмет рассматривается покоящимся по отношению к трем пространственным координатам, он все равно движется во времени. Его мировая линия будет прямой, параллельной временной оси графика. Если предмет совершает равномерное движение в пространстве, его мировая линия по-прежнему будет прямой, но теперь уже непараллельной оси времени. Если предмет движется неравномерно, его мировая линия становится кривой.
Теперь мы можем рассмотреть Лоренц-Фитцджеральдово сокращение специальной теории с новой точки зрения: с точки зрения Минковского, иначе говоря, с точки зрения нашего четырехмерного ученого. Как мы видели, когда два космических корабля проходят один мимо другого, находясь в состоянии относительного движения, наблюдатели на каждом из кораблей обнаруживают некоторые изменения формы другого корабля, а также изменения скорости хода часов на другом корабле. Это происходит по той причине, что пространство и время не являются абсолютными величинами, не зависящими друг от друга. Они похожи, так сказать, на теневые проекции четырехмерных пространственно-временных предметов. Если поставить книгу против источника света и проектировать ее тень на двухмерную стенку, то, поворачивая книгу, можно изменять форму ее тени. В одном положении тень книги представляет собой широкий прямоугольник, в другом — узкий. Книга не меняет своей формы, меняются только ее двухмерные тени.
Подобным образом наблюдатель видит четырехмерную структуру, скажем, космический корабль, в различных трехмерных проекциях в зависимости от того, как он движется по отношению к кораблю. В некоторых случаях проекция занимает больше пространства и меньше времени, в других случаях наоборот. Изменения, которые он наблюдает в пространственных и временных измерениях другого корабля, могут быть объяснены своего рода «поворотом» корабля в пространстве — времени, приводящим к изменению его теневых проекций на пространство и время. Именно это имел в виду Минковский, когда (в 1908 г.) начал знаменитую лекцию на 80-м съезде германского общества натуралистов и физиков. Эта лекция опубликована в книге «Принцип относительности» Альберта Эйнштейна и др. Никакая из популярных книг по теории относительности не будет полной без следующей цитаты из лекции Минковского:
