Фок начал свое обсуждение теории относительности с замечания о том, что теория пространства и времени может быть разделена на две части: теорию однородного (галилеевского) пространства и теорию неоднородного (римановского, эйнштейновского) пространства. Первая половина занимала внимание Эйнштейна в ходе его развития СТО, а затем он попытался (неудачно, по словам Фока) обобщить свою теорию в ОТО.
Основной характеристикой галилеевского пространства выступает его однородность, которая может быть проиллюстрирована эквивалентностью всех пунктов, направлений и инерциальных систем внутри него. Как ньютоновская физика, так и физика СТО были основаны на допущении однородного (галилеевского) пространства. Математически однородность пространства в физике Ньютона была выражена в преобразованиях Галилея; однородность пространства СТО была выражена в преобразованиях Лоренца. Лишь в переходе от СТО к ОТО допущение галилеевского пространства было отброшено и, по словам Фока, на очень правильных основаниях.
Эйнштейн правильно показал, продолжал Фок, что универсальная теория гравитации (ОТО) не может содержаться в рамках галилеевского пространства. Наиболее существенной причиной неадекватности галилеевского пространства, по словам Фока, была та, которую дал Эйнштейн: не только инертная масса тела, но и его гравитационная масса зависит от его энергии. Эйнштейн нашел способ описания новой физики посредством математического замещения галилеевского пространства на пространство Римана. Таким образом, он создал то, что обычно называют общей теорией относительности, новую физическую теорию. Но, согласно Фоку, новая теория, являясь необычайно ценной как теория гравитации, вовсе не была физической теорией общей относительности. Позже Фок сформулировал свою критику в форме, которую он назвал «двумя короткими фразами»:
Что же Фок считал концептуальной ошибкой Эйнштейна? Корень этого может быть найден в эйнштейновском понимании и использовании принципа эквивалентности, согласно которому в бесконечно малой области гравитационное поле эквивалентно ускорению. Эйнштейн иллюстрировал это с помощью известного мысленного эксперимента: если масса
тогда, находясь внутри лифта, невозможно сказать, вызвано ли растяжение пружины направленным вверх ускорением лифта в направлении
Эйнштейн так графически объяснял свой принцип эквивалентности, который может быть просто сформулирован как принцип эквивалентности инертной и гравитационной масс. Эйнштейн перешел далее к приложению этого представления к земному тяготению. На первый взгляд это кажется невозможным, так как любое ускорение, двигающее Землю в целом, будет иметь весьма различные эффекты в различных районах поверхности планеты. Однако гравитационные силы могут быть «устранены преобразованием», если мы рассмотрим лишь бесконечно малые области, описываемые с помощью дифференциальных уравнений. Так, если мы представим сеть клеток, наложенную на Землю, где каждая клетка представляет бесконечно малую область, в следующем виде:
то становится явным, что сила гравитации в любой точке поверхности Земли может быть «устранена преобразованием», с помощью воображаемого соответствующего ускоренного перемещения сетки. Если мы позволим этой системе двигаться с ускорением 9,8 м/сек2
в направленииВышеприведенные примеры принципа эквивалентности помогают понять, что, согласно эйнштейновской теории гравитации, в любой данной точке пространства гравитационное поле можно заменить соответствующим ускорением. Это же отношение передается наблюдением, что, хотя пространство Эйнштейна в целом неоднородно, в любой бесконечно малой области оно однородно и преобразования Лоренца имеют силу.
Именно в этом пункте Фок расходился со взглядом Эйнштейна. Он утверждал, что локальная эквивалентность ускорения и гравитации не была достаточным основанием для вывода о полной эквивалентности полей ускорения и гравитации во всем пространстве. В действительности, Фок рассматривал принцип эквивалентности имеющим силу лишь в ограниченном, локальном смысле. Согласно Фоку, принцип эквивалентности в законченной теории Эйнштейна имел «приближенный характер и не является общим принципом»[927]
.