Читать онлайн «Эйнштейн (Жизнь, Смерть, Бессмертие)». Страница 17

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

Кант считал априорными, присущими сознанию, независимыми от опыта соотношения геометрии Евклида. В III в. до н. э. Евклид вывел всю совокупность теорем геометрии из нескольких независимых одна от другой аксиом. Среди последних находился так называемый постулат параллельных, эквивалентный утверждению, что из точки, взятой вне прямой, можно провести только одпу прямую, не пересекающуюся с данной. Из этого постула

74

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

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

Тридцать лет спустя Бернгард Риман заменил евклидов постулат параллельных утверждением, что через точку, взятую вне прямой, нельзя провести ни одной прямой, не пересекающей данную прямую. Иначе говоря, в геометрии Римана параллельных прямых нет. В геометрии Римана сумма углов треугольника нe равна двум прямым углам, как в геометрии Евклида, и не меньше их, как в геометрии Лобачевского, а больше двух прямых углов. Перпендикуляры к прямой не параллельны и не расходятся; в геометрии Римана они сходятся. Длина отрезка определяется по координатам его концов иначе, чем в геометрии Евклида, и иначе, чем в геометрии Лобачевского.

Эти парадоксальные утверждения геометрии Лобачевского и геометрии Римана приобретают простой и наглядный смысл, если мы нарисуем геометрические фигуры не на плоскости, а на кривой поверхности. Возьмем поверхность сферы. Роль прямых на плоскости здесь будут играть кратчайшие дуги, примером которых могут служить дуги меридианов на поверхности Земли или дуги экватора. Но каждые два меридиана обязательно пересекутся, следовательно, на поверхности сферы нельзя найти параллельные кратчайшие линии. Перпендикуляры к экватору - ими как раз и являются меридианы сходятся в полюсе. Нарисовав на поверхности сферы треугольник, образованный дугой экватора и двумя меридианами, т.е. с вершиной в полюсе, мы убедимся, что сумма углов этого треугольника больше двух прямых углов. Длина кратчайшего отрезка на поверхности сферы определяется иначе, иной формулой, чем длина кратчайшего отрезка на плоскости.

75

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

Можно заменить переход от евклидовой геометрии к неевклидовой геометрии на плоскости - искривлением этой плоскости.

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

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

Для этого необходимо было придать понятию пространства более широкий смысл.

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

Критерии выбора научной теории и основы классической физики

Природа в ее простой истине является более великой и прекрасной, чем любое создание человеческих рук, чем все иллюзии сотворенного духа.

Роберт Майер

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

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

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

77

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

Эйнштейн с его удивительно тонким ощущением гармонии, естественности и, как он говорил, "музыкальности" научной мысли придавал особое значение эстетическому впечатлению, зависящему от "внутреннего совершенства" теории. Для Эйнштейна критерий "внутреннего совершенства" становится критерием выбора однозначной теории, отображающей действительность. Теория, в наибольшей степени обладающая "внутренним совершенством", в наименьшей степени исходит из произвольных предположений, не вытекающих однозначным образом из других. Она в большей степени, чем другие теории, объясняет устройство и развитие мира исходя из единых универсальных закономерностей бытия. Но для Эйнштейна это значит, что теория ближе подходит к объективному ratio Вселенной.

Формально критерий внутреннего совершенства очень близок к критерию математического изящества в том виде, в каком его определял Пуанкаре. Последний называл изящным математическое построение, позволяющее вывести наибольшее число положений из наименьшего числа посылок. Он сравнивал такое построение с античной колоннадой, легко и естественно несущей на себе фронтон. Действительно, в архитектуре (прежде всего в античной) наиболее отчетливо выражается однозначность решения: из большого числа возможных архитектурных форм лишь одна соответствует минимальному числу дополнительных опор, лишь одна решает статическую задачу, минимально дополняя основной замысел сооружения. Она и является самой изящной.