Мы привыкли думать, что после того, как математики создали свой мир пространства и чисел, нам осталось ставить опыты и выяснять, насколько с ним согласуется наш мир. Евклид, например, выдвинув предположения относительно точек, линий и т. д., вывел из них непротиворечивую геометрию.
На первый взгляд из грубого сравнения с реальными окружностями и треугольниками, нарисованными на бумаге или начерченными на земле, кажется, что результаты системы Евклида правильно описывают природу. Однако чувствуется, что для проверки, насколько правильно Евклид выбрал свои предположения и точно ли они воспроизводят природу, нужны все более и более точные эксперименты. Например, будут ли три угла треугольника составлять точно 180°[263]. Релятивистская механика и размышления о строении Вселенной поднимают серьезный вопрос о выборе наиболее подходящей геометрии. Математики давно знают, что евклидова геометрия — одна из нескольких возможных, которые совпадают в малом масштабе, но радикально отличаются по своей физической и философской природе в большом масштабе.
Специальная теория относительности имеет дело с наблюдателем, движущимся с постоянной скоростью относительно приборов или другого наблюдателя. После нее Эйнштейном была развита общая теория относительности, которая имеет дело с ускоряющимися системами.
Что же такое общая теория относительности и как она влияет на наши представления о физике и геометрии?
Фиг. 171. Разорванный треугольник (а) и треугольник на сфере (б).
Эйнштейновский принцип эквивалентности
К общей теории относительности Эйнштейна привел вопрос: «Может ли наблюдатель в падающем лифте или ускоряющемся поезде установить, что он действительно ускоряется?» Конечно, он заметил бы появление странных сил (как и в опытах с тележкой на роликах при проверке соотношения F = mа в ускоряющемся вагоне[264]. Там на тележку действуют силы, которые приводят к отклонению от закона F = mа). Но можно ли какими-то опытами отличить ускорение системы отсчета от нового поля силы тяжести? (Если бы плотник построил в таком ускоряющемся вагоне лабораторию с надлежащим наклоном, то наблюдатель снова обнаружил бы, что закон F = mа справедлив, но величина g в этом случае была бы другой.) Поэтому Эйнштейн предположил, что никакие локальные эксперименты (ни механические, ни электрические, ни оптические) никогда не могут сказать наблюдателю, вызваны ли наблюдаемые им силы ускорением или локальным полем силы тяжести. Затем Эйнштейн сказал: «Законы физики должны иметь одну и ту же форму для ВСЕХ наблюдателей, включая тех, кто движется с ускорением». Другими словами, Эйнштейн потребовал, чтобы все законы физики были ковариантны относительно любых переходов от одной системы отсчета (или лаборатории) к другой. В этом суть общей теории относительности: все физические законы должны сохранять свою форму.
Эквивалентность механического поведения в поле силы тяжести и ускоренной системе отсчета давно была очевидна. Величайшим вкладом Эйнштейна было предположение об их полной эквивалентности, а именно предположение, что даже на оптические и электрические эксперименты поле силы тяжести будет влиять подобно ускорению системы отсчета. «Это утверждение дало долгожданную связь между гравитацией и остальной физикой…»[265]
Локальное ускорение гравитация (поле силы тяжести)
Принцип эквивалентности существенно меняет наши взгляды на движение и геометрию.
263
Для вас это, вероятно, очевидно, ибо вы целиком полагаетесь на доказательство Евклида, на его авторитет. К тому же вы можете убедиться в правильности этого утверждения, взяв бумажный треугольник, оторвав углы и соединив их (фиг. 171). Допустим, однако, что мы живем на огромном шаре,