и находя, что пересечение этого круга с бесконечно удаленной прямой <τ = 0> определяется уравнением

<ξ2 + η2 = 0,>

мы определяем расстояние циклических точек так:

что и есть неопределенность. Так же неопределенно и расстояние циклических точек и от всякой другой конечной точки. На это тонко обратил внимание Ф. Клейн.

g) Наконец, дадим кратчайшее резюме всем рассмотренным типам геометрического построения. Именно, обратим внимание на то, что в топологии имеется в виду не сама фигура, а лишь ее непрерывное становление, и притом становление, которое не позже становящегося, а еще раньше его (поскольку никакая определенная фигура тут еще не фиксируется). Но становление принципа, взятое до самого принципа, есть перво–принцип.

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

4. а) В качестве добавления скажем еще, что, поскольку принцип становления вносит возможность разнообразных комбинаций логически выведенных аксиом независимо от их чисто логической взаимосвязи (включая и саму непрерывность), вполне мыслимо конструирование геометрии и без всякого принципа непрерывности. Гильберт построил т. н. неархимедову геометрию, содержащую в себе все аксиомы, как раз за исключением аксиомы непрерывности[53]. И тем же самым занимался раньше его еще Веронезе[54], объединявший неархимедову арифметику и геометрию с теорией трансфинитных чисел Кантора. Хотя подобное построение по существу своему еще более оригинально и неожиданно, чем открытие Лобачевского (так как у последнего изменена только метрика, а [в] неархимедовой же геометрии нарушен самый континуум), все же формально и философски тут все совершенно обычно, и неархимедова геометрия — только одна из многочисленных диалектических теорий[55] вообще.

b) Все предыдущие установки являются только принципом для реального построения диалектики геометрии, которое мы даем в дальнейшем. Там все эти аксиоматические принципы должны вырасти в зрелую систему. Здесь же от этого, конечно, необходимо воздерживаться, и может идти речь только о самых принципах. Это положение дела и можно зафиксировать следующим образом.

I. Становление конструируется —

a) по типу подвижного покоя (т. е. порядка следования элементов), остающегося неизменным в условиях бесконечного становления прочих категорий (iтопология: любые свойства геометрических фигур инвариантны в отношении с любым непрерывным преобразованием);

b) по типу подвижного покоя (порядка следования) и самотождественного различия (взаимопринадлежности, сопряжения элементов), остающихся неизменными в условиях неопределенного становления категории определенности {проективная геометрия: любые свойства фигуры инвариантны в отношении к группе коллинеаций);

c) по типу подвижного покоя, самотождественного различия и определенности бытия, остающихся неизменными в условиях неопределенного функционирования самого становления, т. е. в условиях, когда категория становления еще не положена как самостоятельная {аффинная геометрия: любые свойства фигуры инвариантны к параллельному проектированию).

II. Становление конструируется по типу трех указанных основных категорий едино–раздельности с сохранением собственного принципа как инобытийного и потому с превращением его в то, чем измеряется фигура {метрическая геометрия: любое свойство фигуры инвариантно к абсолютно–измерительным операциям). Следовательно, фиксируется наиобщая и наиабстрактная метрика — та, которая гипостазирует идеальную фигурность во всей ее целостности, минуя те ее искажения, которые возникают от неполного числа категорий едино–раздельности. Эта метрика, однако, может быть и иной (она возникает уже в связи с принципами конгруэнтности и параллельности).