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

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

Простое объяснение четвертого измерения

Генри П. Мэннинг Что такое четырехмерная геометрия?

I

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

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

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

Даже аксиомы геометрии, ранее считавшиеся самоочевидными истинами, ныне рассматриваются лишь как гипотезы. Математик отнюдь не утверждает, что аксиомы верны. Он строит систему утверждений, которые с необходимостью следуют из аксиом и содержатся в самих аксиомах, но оставляет за собой свободу менять аксиомы и, выбирая различные наборы аксиом, строит различные геометрии. Каждая геометрия с математической точки зрения верна, верна в том смысле, что представляет собой совокупность утверждений (теорем), с необходимостью следующих из того набора аксиом, который положен в ее основу. Необходимо, чтобы аксиомы, лежащие в основании геометрии, были непротиворечивыми, то есть чтобы одна аксиома не противоречила другой. Кроме того, аксиомы должны быть независимыми. Утверждение не следует принимать за аксиому, если оно следует из других аксиом. Наконец, система аксиом должна быть полной, то есть геометрия должна полностью определяться принятой системой аксиом без обращения к каким-либо дополнительным аксиомам.

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

Наконец, математик может пойти еще дальше и отказаться от явного определения объектов, рассматриваемый в его геометрии, их свойств и отношений. Математик может выбрать некоторые элементы, назвав их «точками» и «прямыми», и некоторые отношения, которые он называет отношениями «положения», «величины» или «принадлежности». Не определяя в явном виде элементы и отношения, математик предполагает, что элементы удовлетворяют отношениям. Утверждения о том, что выбранные элементы удовлетворяют отношениям, служат аксиомами. Из этих аксиом математик выводит другие отношения. Формулировки этих отношений служат теоремами.