Флатландия. Сферландия - [113]

Ли доказал, что свободное движение может происходить лишь в трех названных нами пространствах. Существуют другие формы неевклидовых пространств, не допускающих свободное движение. Киллинг назвал их пространствами Клиффорда — Клейна.

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

Евклидово пространство, рассматриваемое как совокупность величин, доступных измерению, не соответствует наиболее общему представлению о трехмерном множестве, поскольку удовлетворяет некоторым специальным условиям. Например, евклидовость пространства можно охарактеризовать тремя условиями: 1) свободной подвижностью твердых тел; 2) существованием единственной геодезической, соединяющей любые две точки пространства; 3) существованием параллельных. Но евклидово пространство можно определить и двумя другими условиями: 1) свободной подвижностью и 2) постулатом подобия. Все эти условия не являются необходимыми атрибутами мышления, и если они выполняются для реального физического пространства, то этот факт необходимо устанавливать опытным путем так же, как это принято в других эмпирических исследованиях, то есть путем наблюдения и эксперимента. Рассуждая чисто логически, мы не можем требовать, чтобы объективный мир непременно соответствовал нашей субъективной интуиции.

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

Относительно реального физического пространства мы не можем с уверенностью сказать, является ли оно евклидовым или неевклидовым. Геометрия не может пролить свет па природу реального пространства. Исследование реального пространства — эмпирическая наука, в то время как геометрия представляет собой творение чистого мышления, раздел чистой математики. Говоря о чистой математике, мы имеем в виду некую совокупность гипотетических дедуктивных теорий, каждая из которых состоит из определенной системы исходных неопределяемых понятий или символов и исходных недоказываемых, но непротиворечивых допущений (обычно называемых аксиомами) и. логически выводимых из них следствий, полученных строго дедуктивными рассуждениями без обращения к интуиции. В этом смысле чистая математика представляет собой не что иное, как символическую или формальную логику. Чистая математика занимается извлечением следствий, а не приложениями. С другой стороны, естественные науки, носящие эмпирический характер и всецело зависящие от наблюдения и эксперимента, не могут достичь абсолютной точности и поэтому не могут стать строго математическими. Таким образом, достоверность геометрии зиждется лишь на необходимости, с которой ее выводы следуют из непротиворечивых посылок. Чистая математика не занимается вопросом о том, в какой мере полученные выводы применимы к материальному миру. Таким образом, геометрия, если говорить о ее приложении к реальному миру, полезна, хотя к ее выводам следует относиться с известной осторожностью.

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