плоскости Лобачевского. Этот пучок есть совокупность прямых, перпендикулярных к общему перпендикуляру двух данных прямых. Расстояние между двумя параллелями беспредельно растет в одном направлении и беспредельно убывает в противоположном. Поэтому происходит непрерывный переход от пересекающихся, сходящихся прямых через параллели к расходящимся. Если у Римана вовсе нет вещественных бесконечно удаленных точек <…> так что они пересекают эту область, но все еще не пересекаются в ней, а пересекаются где–то за ней, мнимо.
Пуанкаре дал замечательное по наглядности и осязательности истолкование пространства Лобачевского в эв–клидовских терминах. Оно сводится тоже к пра–символу гиперболической связки, но формулировано по–своему, ярче и определеннее. Пусть мы имеем некую прямую[82], все точки которой (V1 N1 U…) являются бесконечно удаленными точками. Пусть мы будем считать точкой обязательно точку верхней полуплоскости, а прямой — полуокружность с центром на данной прямой или полупрямую, перпендикулярную к ней (она, как ясно, будет предельным случаем этих полуокружностей). Новой плоскостью мы станем считать только верхнюю полуплоскость, и вообще нижней полуплоскости для нас не существует. Тогда под параллельными прямыми придется считать полуокружности и полупрямые, которые имеют общий конец. На рис. [7 ] полуокружности U V и NN1 не имеющие общих точек, суть непересекающиеся. Полуокружности UPU' и UV с общей точкой на данной линии параллельны. Пересекающимися прямыми здесь окажутся, например, V1PV и UPU1 с точкой пересечения [.?] выше данной линии.
Вдумаемся в эту интерпретацию Пуанкаре. Мы видим, что пространство устроено здесь также по закону некоторой кривизны, так как мы принуждены толковать прямые в виде полуокружностей. Фиксируя себя в конечной области, мы начинаем замечать, что оба конца прямой, на которой мы поместились, уходят в бесконечность, но что это не та единая бесконечно удаленная точка, до которой доходят оба конца прямой в Эвклидовом пространстве. Это разные точки. Если эвклидов–ская полупрямая, уходя в бесконечность, получает только одну бесконечно удаленную точку, как бы только касается, дотрагивается до бесконечности, в гиперболическом пространстве перед нами открывается в этой бесконечности еще новая бесконечность, т. е. мы тут не просто дотрагиваемся до нее, но входим в ее глубину и, таким образом, охватываем бесконечность самой бесконечности. Сама бесконечность тут положена как таковая, ставши из мнимой (в эллиптическом пространстве) фактической, вещественной. На нашем языке это значит, что параболическое становление перешло тут в гиперболически ставшее. В конечной же области это сказывается бесконечно расходящимися прямыми, тем, что к данной прямой через данную точку возможно бесконечное количество параллельных. Если в пространстве Римана каждая точка, уходя в бесконечность становления, тут же и возвращается к себе, так что мы уже в конечной области созерцали этот диалектический круговорот, то в гиперболическом пространстве точка не только не возвращается к себе, но уходит в реальную, вещественную бесконечность, и не только это, но стремится в этой бесконечности утвердиться и осесть. Тогда пересечение двух прямых, прошедших через бесконечность, может быть только мнимым, т. е. оно попросту отсутствует вещественно и только идеально представляется.
Но пожалуй, интерпретация Кэли — Клейна еще более простая [(рис. 8)][83]. Представим себе шар. Точкой пусть будет точка только внутри этого шара, прямой— его хорда и плоскостью—любое круговое сечение шара. Все точки на поверхности шара исключаются. Тогда пересекающимися прямыми окажутся только те, которые имеют общую точку внутри шара. Если иметь в виду прямую А В и точку М, то пересекаться с А В будут все прямые, исходящие из ? внутри угла AM В. Все же прямые за пределами этого угла не будут пересекаться с А В (вещественно, а будут пересекаться мнимо за пределами круга). Прямые МА и MB будут отделять все пересекающиеся прямые от не пересекающихся с прямой А В, т. 'е. они будут параллельными в смысле Лобачевского. Мы видим, что непересекающихся, расходящихся прямых в этих условиях может быть сколько угодно, что бесконечно удаленные точки никогда не могут быть достигнуты (так как они исключаются с самого начала), что прямые ? А и MB образуют «равные» углы с «перпендикуляром» из ? и А В и т. д. Тут выполняются все аксиомы геометрии, за исключением аксиомы об единственной параллельной.
с) В данном месте нет надобности давать обоснование эвклидовой геометрии; тем более нет надобности как–нибудь иллюстрировать относящиеся сюда области.
Заметим только ради единства изложения, что пра–сим–волом Эвклидового пространства также может быть связка окружностей и сфер, причем именно параболического типа, т. е. когда все окружности и сферы имеют одну общую точку (см. выше, п. 5b). Пусть прямыми и плоскостями будут окружности и сферы сети, а точка останется в обычном виде. Другими словами, всякая окружность окажется символом бесконечно удаленной прямой, а параллельными прямыми окажутся все окружности, пересекающиеся в данной точке. Легко увидеть, что все до–выразительные аксиомы и Эвклидова аксиома параллельности вполне найдут себе место в так понимаемом пространстве.
d) Наконец, тот же Пуанкаре еще в одной старой работе[84] дал простейшее и яснейшее представление об основных «квадратичных» геометриях, под которыми он понимает геометрии, рассматриваемые с точки зрения основной поверхности второго порядка. Если этой основной поверхностью второго порядка является обыкновенный шар, то эта сферическая геометрия и есть геометрия Римана при условии понимания больших кругов в качестве прямых линий. Геометрию Римана мы получаем и на эллипсоиде. При двуполом гиперболоиде в качестве основной поверхности мы имеем геометрию Лобачевского, а при эллиптическом параболоиде — геометрию Эвклида. Можно поставить вопрос и о геометрии на однополом параболоиде, если отказаться от предрассудков, которые часто мешают геометрам серьезно отнестись к тем или другим пространствам. Пуанкаре говорит, что для геометрии однополого гиперболоида нужно признать, что: 1) расстояние двух точек, лежащих на одной и той же прямой на производящей основной поверхности, равняется нулю; что 2) никаким движением нельзя превратить эллиптические диаметральные сечения в гиперболические (то и другое принимается за прямые); что 3) невозможно совместить прямую с самой собой путем вращения около одной из ее точек (как у Эвклида совмещается сама собой прямая при вращении на 180°).
Словом, сколько существует поверхностей второго порядка, столько можно себе представить и квадратичных геометрий.
7. В заключение, возвращаясь к трем видам выразительной аксиоматики в геометрии, формулированным в п. 3, дадим общую характеристику выразительного пространства.
Выразительное пространство есть такое внешнее пространство, по которому видно внутреннее. Внутренним, или идеальным, пространством является чистая фигурность как таковая, в той форме, как она выведена на основании аксиом едино–раздельности, непрерывности и конгруэнции. Внешним, реальным, инобытийным пространством является абсолютно–внефигурное становление, противостоящее всякой фигуре. Когда рождается выразительное пространство, то тем самым прекращается раздельное бытие обоих абстрактных пространств и возникает их абсолютное тождество как символ. Этот символ есть перво– принцип выразительного пространства.
Пространство как символ, как символическое пространство сначала понимаем непосредственно, как простую положенность, как тезис. Это значит, что идеальная фигурность просто и целиком воплощена на темном поле инобытийно–бесконечного пространства. Но воплотиться идее — значит целиком присутствовать ей везде, мгновенно охватывать всю длительность пространства. Другими словами, идея, уходя вовне, там же вовне и встречает себя, вечно пребывая, таким образом, в нерушимом круговороте себя самой. Это опознание себя в инобытии, эта встреча с самой собою, когда всякая точка сразу двигается от себя самой во всех возможных направлениях и тем самым отовсюду приближается к себе самой, — вот это пространство как символ, как тезис символа, как принцип символа и есть сферическое пространство Римана. Оно бесконечно, но его бесконечность не расплывается до безразличия, а собрана в себе; она есть система выразительной кривизны, обозримая уже на конечных масштабах. Да бесконечность и не нуждается в отсутствии границ. Истинно бесконечное— оформленно, определенно и в этом смысле конечно. Или, выражаясь бессмертными словами Римана в его общеизвестной вступительной лекции о гипотезах в геометрии, оно — безгранично, но не бесконечно.
