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