Рассмотрим вкратце, в чем здесь дело, и будем для простоты рассматривать снова не четырехмерную совокупность точек, с которой приходится иметь дело в теории Эйнштейна, а двухмерную, которую возможно изобразить на листе бумаги. Проведем снова две взаимно перпендикулярные оси координат и рассмотрим две точки 1 и 2 на этой диаграмме (рис. 2). Расстояние между точками 1 и 2 можно вычислить с помощью теоремы Пифагора, если даны так называемые «проекции отрезка 1 2 на координатные оси», т. е. катеты прямоугольного треугольника 12 3, проведенные параллельно координатным осям. Квадрат длины отрезка 1 2 равен сумме квадратов его проекций 1 3 и 2 3. Теорема Пифагора даст возможность вычислять длину также и любой кривой линии, проведенной на диаграмме. Для этого нужно разбить кривую линию на ряд таких мелких частей, что каждая из этих частей может приближенно рассматриваться как отрезок прямой линии (бесконечно малая дуга может быть заменена своей хордой). Вычислив длину каждого бесконечно малого отрезка прямой линии, равную квадратному корню из суммы квадратов проекций этого отрезка, мы можем сложить полученные результаты и найти таким образом длину всей кривой линии. Такое вычисление длины кривой, опирающееся на теорему Пифагора, является необходимым следствием геометрии Евклида.
Неевклидова геометрия, начало созданию которой положили сто лет тому назад Лобачевский, Гаусс и Болиаи и которая была приведена в более совершенную форму гениальным немецким математиком Берн-хардом Риманом, представляет непосредственно обобщение геометрии Евклида. Вместо того чтобы вычислять квадратный корень из суммы квадратов проекций бесконечно малого отрезка, как это делается в геометрии Евклида, неевклидова геометрия вычисляет квадратный корень из более сложного выражения, являющегося суммой не только квадратов бесконечно малых проекций, но и произведения этих проекций, причем в этой сумме каждый квадрат и произведение предварительно умножается на некоторый коэффициент. Таким образом, евклидова геометрия является тем частным случаем неевклидовой геометрии, который получится, если коэффициенты при квадратах проекций равны единице, а коэффициенты при произведении равны нулю. В неевклидовой же геометрии эти коэффициенты могут принимать различные значения в разных точках пространства. Легко видеть, что если даны значения этих коэффициентов во всех точках пространства (или, как сказал бы физик, задано «поле» этих коэффициентов), то возможно вычислить длину любой кривой линии, проведенной в этом неевклидовом пространстве. Все другие геометрические величины (углы, площади, объемы и т. д.) также возможно вычислить с помощью тех же коэффициентов, которые, таким образом, приобретают первостепенное значение для геометрических свойств неевклидова пространства. Ими, как говорят, определяется «метрика» пространства, т. е. результаты всех производимых в нем измерений. Коэффициенты эти получили довольно громоздкое название «компонентов метрического фундаментального тензора». Понятно, что вся суть заключается именно в этих компонентах. Если между двумя точками проведены две кривые линии, то, например, вопрос о том, которая из них короче, может быть решен только в том случае, если заданы значения компонентов метрического фундаментального тензора в каждой точке. Линия, которая не оказалась бы кратчайшим расстоянием между двумя точками в пространстве евклидовом, где все компоненты метрического фундаментального тензора равны или нулю или единице, может оказаться кратчайшей линией, если задано какое-нибудь другое распределение этих компонентов в пространстве, соответствующее неевклидовой геометрии.
Идея Эйнштейна, примененная им к изучению полей тяготения, заключалась в том, что четырехмерная пространственно-временная совокупность точек-событий не должна обязательно являться евклидовой, а может быть и неевклидовой. Если в какой-нибудь области пространства отсутствует поле тяготения, то согласно Эйнштейну геометрия четырехмерной пространственно-временной совокупности может считаться евклидовой. В этом случае материальная точка, на которую не действуют электромагнитные силы (т. е. не действуют никакие силы вообще, так как, кроме сил тяготения, все известные в физике силы сведены к электромагнитным), то рассматриваемая точка будет двигаться согласно закону инерции равномерно и прямолинейно.
До Эйнштейна полагали, что роль сил тяготения принципиально не отличается от роли электромагнитных сил, т. е. что действие тех и других сил состоит в сбивании материальной точки с того кратчайшего пути, по которому она двигалась бы в отсутствие сил. Эйнштейн решил этот вопрос совершенно новым и неожиданным образом. Если под силами подразумевать те причины, по которым график движения материальной точки перестает быть кратчайшей или прямейшей линией, то загадка сил тяготения получает следующее парадоксальное разрешение: сил тяготения вообще не существует! существует только свойство тяжелых тел создавать вокруг себя такие неевклидовы свойства пространства, такое, как говорят, «искривление» пространства, благодаря которому материальная точка движется в отсутствие электромагнитных сил не по тем линиям, по каким она бы двигалась в случае евклидовой метрики, а по другим.
Из предыдущего ясно, что поле тяготения является в эйнштейновой теории геометрическим свойством пространства, поскольку оно может быть вычислено по значениям тех коэффициентов, которыми определяется длина проведенных в четырехмерном пространстве Эйнштейна—Минковского кривых линий. Заслуга Эйнштейна заключается в том, что он нашел закон, которому должно удовлетворять поле этих метрических коэффициентов в четырехмерном пространстве («закон тяготения Эйнштейна»). Роль материи сводится к тому только, что присутствие материи вызывает искривление пространства и нарушение первоначальных евклидовых его свойств. Отсюда ясно, что в теории относительности Эйнштейна электромагнитные силы и силы тяготения играют принципиально различную роль: силы тяготения вытекают непосредственно из геометрических свойств четырехмерной пространственно-временной совокупности точек-событий, между тем как электромагнитные силы не имеют ничего общего с геометрией и не могут быть вычислены по заданным значениям компонентов метрического фундаментального тензора.
Такое различие между электромагнитными и гравитационными силами считалось недостатком теории, и многие исследователи пытались создать такую теорию электромагнитного поля, в которой электрические и магнитные величины вычислялись бы из геометрических свойств пространства-времени. Одной из попыток такого рода является теория Калуцы (1921 г.). Вместо четырехмерной совокупности точек Калуца рассматривал пятимерную, в которой число метрических коэффициентов было поэтому больше, чем в четырехмерной совокупности. Потенциалы электромагнитного поля вычислялись им из этих коэффициентов. Теория Калуцы не имела успеха, хотя его идеи сыграли некоторую роль (пятимерная совокупность точек была снова введена в 1927 г. немецким математиком Оскаром Клейном и русским математиком В. А. Фоком в их математическом истолковании волновой механики Шредингера). К другим попыткам свести электромагнитное поле к геометрическим свойствам пространственно-временного мира принадлежит теория, разработанная цюрихским математиком Германом Вейлем. Эта теория также не смогла удовлетворительно описать электромагнитные явления, как и теория Калуцы. Обе теории удовлетворительно справлялись с уравнениями электромагнитного поля в пустоте, но не могли объяснить законов движения материи в этом поле.
