Поле тяготения Земли, конечно, очень слабо для того, чтобы искривление светового луча в нем можно было обнаружить непосредственно экспериментом. Но известные опыты, проделанные во время солнечных затмений, убедительно, хотя и косвенно, показывают влияние поля тяготения на путь светового луча.
Из этих примеров следует, что имеется вполне обоснованная надежда сформулировать релятивистскую физику. Но для этого мы должны сначала разрешить проблему тяготения.
Мы видели на примере с лифтом последовательность двух описаний. Можно предположить наличие неравномерности движения, а можно этого не делать. Мы можем исключить из наших примеров «абсолютное» движение с помощью поля тяготения. Но тогда в неравномерном движении нет ничего абсолютного. Поле тяготения в состоянии полностью его уничтожить.
Призраки абсолютного движения и инерциальной системы координат могут быть исключены из физики, и может быть построена новая релятивистская физика. Наши идеализированные опыты показывают, как тесно связана проблема общей теории относительности с проблемой тяготения и почему эквивалентность тяжелой и инертной масс так существенна для этой связи. Ясно, что решение проблемы тяготения в общей теории относительности должно отличаться от ньютоновского. Законы тяготения, так же как и все законы природы, должны быть сформулированы для всех возможных систем координат, в то время как законы классической механики, сформулированные Ньютоном, справедливы лишь в инерциальных системах координат.
Геометрия и опыт
Наш следующий пример будет более фантастичным, чем пример с падающим лифтом. Мы должны подойти к новой проблеме, проблеме связи между общей теорией относительности и геометрией. Начнем с описания мира, в котором живут лишь двумерные, а не трехмерные существа, как в нашем. Кинематограф приучил нас к двумерным существам, действующим на двумерном экране. Представим себе теперь, что эти теневые фигуры, действующие на экране, действительно существуют, что они обладают способностью мышления, что они могут создавать свою собственную науку, что для них двумерный экран олицетворяет геометрическое пространство. Эти существа не в состоянии представить себе наглядным образом трехмерное пространство, так же как мы не в состоянии представить мир четырех измерений. Они могут изогнуть прямую линию; они знают, что такое круг, но они не в состоянии построить сферу, потому что это означало бы покинуть их двумерный экран. Мы находимся в таком же положении. Мы в состоянии изогнуть и линии, и поверхности, но мы с трудом можем представить искривленное пространство.
Размышляя и экспериментируя, наши теневые фигуры могли бы, возможно, овладеть знанием двумерной евклидовой геометрии. Таким образом, они могли бы доказать, что сумма углов в треугольнике равна 180°. Они могли бы построить два круга с общим центром, один очень малый, а другой большой. Они нашли бы, что отношение длин окружностей двух таких кругов равно отношению их радиусов — результат, опять характерный для евклидовой геометрии. Если бы экран был бесконечно велик, наши теневые существа нашли бы, что, отправившись однажды в путешествие вперед по прямой, они никогда не вернулись бы к своей отправной точке.
Представим себе теперь, что эти двумерные существа живут в измененных условиях. Предположим, что кто-то извне, из «третьего измерения», перенес их с экрана на поверхность сферы с очень большим радиусом. Если эти тени очень малы по отношению ко всей поверхности, если у них нет средств дальнего сообщения и они не могут двигаться очень далеко, они не обнаружат какого-либо изменения. Сумма углов в малых треугольниках еще составляет 180°. Отношение радиусов двух малых кругов с общим центром еще равно отношению длин их окружностей.
Но пусть эти теневые существа с течением времени развивают свои теоретические и технические познания. Пусть ими найдены средства сообщения, позволяющие им быстро покрывать огромные расстояния. Тогда они найдут, что, отправляясь в путешествие прямо вперед, они в конце концов вернутся к своей исходной точке. «Прямо вперед» означает вдоль большого круга сферы. Они найдут также, что отношение длин двух концентрических окружностей не равно отношению радиусов, если один из радиусов мал, а другой велик.