В качестве примера искривленной поверхности возьмем поверхность Земли. Если рассмотреть небольшой участок земной поверхности, например участок в один квадратный метр, то, в принципе, его можно отождествить с небольшой частью плоскости (достаточно рассмотреть касательную плоскость к точке, расположенной недалеко от центра рассматриваемого участка). Таким образом, квадрат расстояния (т. е. расстояние, возведенное в квадрат) между двумя точками на этой небольшой поверхности будет в очень хорошем приближении равен квадрату расстояния между двумя точками на плоскости, который в свою очередь может быть получен с помощью теоремы Пифагора. Единственная сложность заключается в невозможности покрыть всю поверхность Земли с ее горами и долинами абсолютно регулярной сеткой координат (таких как длина и ширина).
На плоской поверхности, например на лежащем на столе листе бумаги, можно легко определить местоположение точки с помощью обычной прямоугольной сетки, какая используется в школьных тетрадках или на миллиметровой бумаге. Такую регулярную сетку уже невозможно реализовать на поверхности, имеющей всевозможные выпуклости и впадины. Чтобы зафиксировать любую точку на искривленной поверхности, мы, таким образом, используем два параметра, скажем x и y, которые больше не имеют простого смысла длины и ширины. Например, на поверхности Земли в качестве «первой координаты» x можно использовать долготу, а в качестве «второй координаты» y – широту. Следует отметить, что такие координаты можно использовать, даже когда земную поверхность невозможно аппроксимировать сферой: например, на возвышенности или в низине. При этом нет необходимости вводить третью координату (скажем, высоту над уровнем моря), поскольку двух первых координат (долготы и широты) будет достаточно, чтобы определить положение на Земле, а высота будет определяться некоторой функцией долготы и широты. Отсюда легко видеть, что если использовать сетку, определяемую долготой и широтой, на небольшой части поверхности Земли на склоне горы или ущелья, то эта сетка будет представлять собой деформацию привычной сетки из школьной тетрадки в клетку: поверхность по-прежнему будет разбиваться на ячейки двумя семействами линий, но каждая ячейка будет не квадратом, а чем-то вроде параллелограмма, точнее, ее стороны просто не будут равны друг другу и перестанут пересекаться под прямым углом.
Итак, локально можно сопоставить каждый небольшой фрагмент получившегося разбиения на ячейки с обычным разбиением на параллелограммы, сделанном на касательной плоскости. Обобщение теоремы Пифагора применительно к непрямоугольным треугольникам говорит нам, что квадрат расстояния между двумя узлами такой (плоской) сетки дается суммой квадратов разностей координат между двумя узлами и их удвоенным произведением. Чтобы определить квадрат расстояния между близкими точками вообще любой искривленной поверхности, точки которой фиксируются двумя координатами x и y, необходимо, таким образом, задать в каждой точке три величины: коэффициент перед квадратом dx² разности dx между первыми координатами двух точек, коэффициент перед квадратом dy² разности dy между вторыми координатами и коэффициент перед удвоенным произведением 2dxdy. [Мы рассматриваем математический предел, в котором точки бесконечно близки, отсюда символ d, обозначающий бесконечно малую разность.] Эти три коэффициента определяют геометрию (geometry) рассматриваемой поверхности и по этой причине обозначаются соответственно как gxx, gyy и gxy, где буква g напоминает нам, что речь идет о геометрии.
Во времена обучения в Цюрихском политехническом Эйнштейн высоко ценил курс Карла Фридриха Гёйзера, посвященный «инфинитезимальной геометрии» поверхностей. Гёйзер читал лекции по теории, разработанной знаменитым математиком Карлом Фридрихом Гауссом и фактически изучающей тот самый квадрат расстояния между бесконечно близкими точками, про который мы только что говорили. В связи с этим в 1912 г. Эйнштейн вспомнил, что геометрия «деформированной» (или неплоской) поверхности определяется с помощью трех величин gxx, gyy, gxy, заданных в каждой точке поверхности. Этот набор данных, определяющий для каждой точки поверхности значения трех величин gxx, gyy, gxy, называется «геометрическим тензором», а точнее, «метрическим тензором» g. Эйнштейн понял, что ему требуется обобщение этого понятия на случай, когда (двумерная) поверхность заменяется на (четырехмерное) пространство-время. Математик Бернхард Риман, студент Гаусса, уже обобщил теорию Гаусса для деформированных пространств произвольных размерностей. Однако Риман рассматривал исключительно случай пространств, которые локально, т. е. в окрестности каждой точки, напоминают обычное евклидово пространство. Другими словами, он изучал пространства, в которых геометрическое место точек, разделенных с данной центральной точкой малым значением квадрата расстояния ε², имеет форму деформированной (гипер)сферы, т. е. представляет своего рода «мяч для регби»
{68}. Эйнштейн понял, что ему требуется обобщить теорию Римана на случай, когда геометрическое место точек, разделенных с данной центральной точкой малым (положительным) значением квадрата интервала ε², имеет форму деформированных песочных часов
{69}.
Деформированное пространство-время, таким образом, определяется заданием для каждой точки такого рода деформированных песочных часов. На рис. 8 можно увидеть графическое представление этой идеи, а также сравнить ее с недеформированным случаем пространства-времени специальной теории относительности (см. рис. 3). Затем Эйнштейн понял, что такое деформированное пространство не может быть покрыто обычной квадратной сеткой, подобной той, что мы видим в школьных тетрадях, т. е. с помощью четырех обычных координат (длины, ширины, высоты и времени), использованных им в специальной теории относительности. Как и в случае поверхности Земли, нужно было использовать более общие координаты (аналогичные долготе и широте для деформированной сферы, см. рис. 7). Поскольку пространство-время является четырехмерным, необходимо иметь четыре координаты, чтобы точно определить какое-либо событие. Можно обозначить эти координаты различными способами, из которых наиболее распространенные: (x, y, z, t), (x1, x2, x3, x4) или (x0, x1, x2, x3).
Эйнштейн обнаружил (хотя и после долгих лет блужданий, колебаний и сомнений), что в выборе этих четырех координат имеется полная математическая свобода или, другими словами, что никакой конкретный способ фиксации точек пространства-времени не является заведомо предпочтительным. Исходя из этого он пришел к следующему выводу: законы физики должны иметь одинаковый вид в любой системе координат. Эйнштейн назвал этот постулат принципом общей относительности, так как изначально думал, что он является обобщением принципа относительности 1905 г., который ограничивался рассмотрением систем координат, используемых наблюдателями при равномерном относительном движении
{70}. Введение этого постулата позволило очень сильно ограничить допустимую форму законов «релятивистской гравитации» и, таким образом, приблизило Эйнштейна к его самому замечательному открытию, которое Дж. Томсон, Дирак и многие другие физики считали «величайшим достижением в истории человеческой мысли», а именно к созданию общей теории относительности или теории гравитации Эйнштейна.
