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