Эволюция физики - Альберт Эйнштейн

Призраки абсолютного движения и инерциальной системы координат могут быть исключены из физики, и может быть построена новая релятивистская физика. Наши идеализированные опыты показывают, как тесно связана проблема общей теории относительности с проблемой тяготения и почему эквивалентность тяжелой и инертной масс так существенна для этой связи. Ясно, что решение проблемы тяготения в общей теории относительности должно отличаться от ньютоновского. Законы тяготения, так же как и все законы природы, должны быть сформулированы для всех возможных систем координат, в то время как законы классической механики, сформулированные Ньютоном, справедливы лишь в инерциальных системах координат.

Геометрия и опыт

Наш следующий пример будет более фантастичным, чем пример с падающим лифтом. Мы должны подойти к новой проблеме, проблеме связи между общей теорией относительности и геометрией. Начнем с описания мира, в котором живут лишь двумерные, а не трехмерные существа, как в нашем. Кинематограф приучил нас к двумерным существам, действующим на двумерном экране. Представим себе теперь, что эти теневые фигуры, действующие на экране, действительно существуют, что они обладают способностью мышления, что они могут создавать свою собственную науку, что для них двумерный экран олицетворяет геометрическое пространство. Эти существа не в состоянии представить себе наглядным образом трехмерное пространство, так же как мы не в состоянии представить мир четырех измерений. Они могут изогнуть прямую линию; они знают, что такое круг, но они не в состоянии построить сферу, потому что это означало бы покинуть их двумерный экран. Мы находимся в таком же положении. Мы в состоянии изогнуть и линии, и поверхности, но мы с трудом можем представить искривленное пространство.

Размышляя и экспериментируя, наши теневые фигуры могли бы, возможно, овладеть знанием двумерной евклидовой геометрии. Таким образом, они могли бы доказать, что сумма углов в треугольнике равна 180°. Они могли бы построить два круга с общим центром, один очень малый, а другой большой. Они нашли бы, что отношение длин окружностей двух таких кругов равно отношению их радиусов — результат, опять характерный для евклидовой геометрии. Если бы экран был бесконечно велик, наши теневые существа нашли бы, что, отправившись однажды в путешествие вперед по прямой, они никогда не вернулись бы к своей отправной точке.

Представим себе теперь, что эти двумерные существа живут в измененных условиях. Предположим, что кто-то извне, из «третьего измерения», перенес их с экрана на поверхность сферы с очень большим радиусом. Если эти тени очень малы по отношению ко всей поверхности, если у них нет средств дальнего сообщения и они не могут двигаться очень далеко, они не обнаружат какого-либо изменения. Сумма углов в малых треугольниках еще составляет 180°. Отношение радиусов двух малых кругов с общим центром еще равно отношению длин их окружностей.

Но пусть эти теневые существа с течением времени развивают свои теоретические и технические познания. Пусть ими найдены средства сообщения, позволяющие им быстро покрывать огромные расстояния. Тогда они найдут, что, отправляясь в путешествие прямо вперед, они в конце концов вернутся к своей исходной точке. «Прямо вперед» означает вдоль большого круга сферы. Они найдут также, что отношение длин двух концентрических окружностей не равно отношению радиусов, если один из радиусов мал, а другой велик.

Если наши двумерные существа консервативны, если их поколения изучали евклидову геометрию в прошлом, когда они не могли далеко путешествовать и когда эта геометрия соответствовала наблюдаемым фактам, то они, конечно, сделают всё возможное, чтобы сохранить ее, несмотря на очевидность своих измерений. Они постараются заставить физику нести бремя этих противоречий. Они станут искать какие-либо физические основания, скажем различие температур, которое деформирует линии и вызывает отклонение от евклидовой геометрии. Но рано или поздно они должны будут найти, что имеется гораздо более логический и последовательный путь описания этих явлений. Они окончательно поймут, что их мир конечен, что его геометрические принципы отличны от тех, которые они изучали. Несмотря на свою неспособность представить себе свой мир, они поймут, что он есть двумерная поверхность сферы. Они скоро изучат новые принципы геометрии, которая, хотя и отличается от евклидовой, тем не менее может быть сформулирована так же последовательно и логично для их двумерного мира. Новому поколению, воспитанному на знании сферической геометрии, старая евклидова геометрия будет казаться более сложной и искусственной, так как она не соответствует наблюдаемым фактам. Вернемся к трехмерным существам нашего мира.

Что это значит, когда утверждают, что наше трехмерное пространство имеет евклидов характер? Смысл этого в том, что все логически доказанные положения евклидовой геометрии могут быть точно подтверждены действительным экспериментом. С помощью твердых тел или световых лучей мы можем построить объекты, соответствующие идеализированным объектам евклидовой геометрии. Ребро линейки или световой луч соответствуют прямой. Сумма углов треугольника, построенного из тонких жестких стержней, равна 180°. Отношение радиусов двух концентрических окружностей, построенных из тонкой упругой проволоки, равно отношению длин окружностей. Истолкованная таким образом евклидова геометрия становится главой физики, хотя и очень простой ее главой.

Но мы можем представить себе, что обнаружены противоречия: например, что сумма углов большого треугольника, построенного из стержней, которые по всем признакам должны были считаться твердыми, не равна 180°. Так как мы уже прибегали к идее конкретного представления объектов евклидовой геометрии с помощью твердых тел, мы, вероятно, стали бы искать какие-либо физические силы, которые явились причиной такого неожиданного поведения наших стержней. Мы постарались бы найти физическую природу этих сил и их влияние на другие явления. Чтобы спасти евклидову геометрию, мы обвинили бы объекты в том, что они не тверды, что они не точно соответствуют объектам евклидовой геометрии. Мы постарались бы найти лучшие тела, ведущие себя так, как это ожидается согласно евклидовой геометрии. Если бы, однако, нам не удалось объединить евклидову геометрию и физику в простую и последовательную картину, то мы должны были бы отказаться от идеи, что наше пространство евклидово, и искать более последовательную картину реальности на основе более общих предположений о геометрических свойствах нашего пространства.

Необходимость этого может быть проиллюстрирована с помощью идеализированного эксперимента, показывающего, что действительнорелятивистская физика не может основываться на евклидовой геометрии. Наши рассуждения будут предполагать, что уже известны выводы, касающиеся инерциальной системы координат, а также специальная теория относительности.

Представим себе большой диск с двумя концентрическими окружностями, нарисованными на нем; одна из этих окружностей мала, другая очень велика (рис. 73). Диск быстро вращается. Он вращается относительно внешнего наблюдателя; пусть имеется еще внутренний наблюдатель, помещающийся на диске. Предположим далее, что система координат внешнего наблюдателя инерциальна. Внешний наблюдатель может нарисовать в своей инерциальной системе две такие же окружности — малую и большую, покоящиеся в его системе, но совпадающие с окружностями на вращающемся диске. Евклидова геометрия справедлива в его системе координат, так как его система инерциальна, — так что отношение длин окружностей равно отношению радиусов. А что же находит наблюдатель на диске? С точки зрения классической физики, а также специальной теории относительности его система координат недопустима. Но если мы стремимся найти новую форму физических законов, справедливую в любой системе координат, мы должны рассматривать наблюдателя на диске и наблюдателя внешнего с одинаковой серьезностью. Теперь мы извне следим за попыткой внутреннего наблюдателя найти путем измерения длины окружностей и радиусов на вращающемся диске. Он использует такой же небольшой измерительный масштаб, какой был использован внешним наблюдателем. «Такой же» означает либо действительно тот же, просто переданный внешним наблюдателем внутреннему, либо один из двух масштабов, имеющих одинаковую длину в покоящейся системе координат.

Внутренний наблюдатель на диске начинает измерение радиуса и длины окружности малого круга. Его результат может оказаться таким же, как и результат внешнего наблюдателя. Ось, на которой вращается диск, проходит через центр. Те части диска, которые близки к центру, имеют очень небольшие скорости. Если окружность достаточно мала, мы можем спокойно применить классическую механику и не обращать внимания на специальную теорию относительности. Это означает, что отрезок имеет одинаковую длину как для внешнего, так и для внутреннего наблюдателя и результат двух измерений будет одинаков для них обоих. Теперь наблюдатель на диске измеряет радиус большой окружности. Помещенный на радиусе отрезок движется относительно внешнего наблюдателя. Однако такой отрезок не сокращается и будет иметь одинаковую длину для обоих наблюдателей, так как направление движения перпендикулярно к отрезку. Итак, три акта измерения одинаковы для обоих наблюдателей: два радиуса и малая окружность. Но не так обстоит дело с измерением четвертой длины! Длина большой окружности будет различна для обоих наблюдателей. Отрезок, помещенный на окружности в направлении движения, теперь будет казаться сокращенным для внешнего наблюдателя сравнительно с соответствующим ему покоящимся отрезком. Скорость на внешней окружности гораздо больше, чем скорость на внутренней окружности, и это сокращение должно быть учтено. Поэтому, если мы применим выводы специальной теории относительности, наше заключение будет таково: длина большой окружности должна быть различной, если она измеряется обоими наблюдателями. Так как только одна из четырех длин, измеренных обоими наблюдателями, не будет одинаковой для обоих, то для внутреннего наблюдателя отношение обоих радиусов не может быть равным отношению окружностей, как это имеет место для внешнего наблюдателя. Это означает, что наблюдатель на диске не может подтвердить справедливость евклидовой геометрии в своей системе.