Флатландия. Сферландия

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

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

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

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