b) Далее можно присоединить к аксиомам подвижного покоя еще и аксиомы самотождественного различия. Мы, следовательно, оставляем инвариантной не только непрерывную последовательность фигуры, но и непрерывность, ненарушаемость ее вида, хотя все еще жертвуем аксиомами определенности, т. е. наша геометрическая фигура как бы вся целиком претерпевает разнообразные изменения. Так, когда мы видим предмет в перспективе, то сам по себе он нисколько не меняется ни по виду, ни в смысле порядка своих элементов, и тем не менее мы видим его в той или другой форме, несходной с видом, присущим ему как таковому. Этими свойствами фигур занимается проективная геометрия. Принцип вариации геометрических фигур понимается тут именно в моменте определенности бытия фигуры, но не в моменте вида или порядка элементов, из которых она состоит. Эти свойства фигур называют дескриптивными или проективными, противополагая их математическим свойствам фигуры, как это установили В. Фидлер и Ф. Блейн. Их можно назвать, если угодно, и «оптическими» свойствами фигур в отличие от топологических, которые удобно аналогизировать с мускульными ощущениями.
c) Наконец, мы можем строить геометрию, исходя из всех трех групп аксиом едино–раздельности, т. е. мы можем не только соблюдать порядок элементов, ограничиваясь свойствами, инвариантными к любым непрерывным преобразованиям, или соблюдать дескриптивный вид фигуры, ограничиваясь свойствами, инвариантными к группе коллинеаций, но мы можем потребовать, чтобы соблюдалась и категория определенности бытия, т. е. чтобы фигура бралась в неизменности всех своих свойств, чтобы на фигуру была бы уже раз навсегда установлена одна перспективная точка зрения, а именно та, которая не зависит от точки проекции и вполне адекватно фиксирует царящие в ней отношения. Такая «адеквация», однако, все же есть условность. Она предполагает ту или иную метрическую операцию, которая принимается за данную. Мы тем или другим способом измеряем линию или отрезок и в соответствии с этим строим свои фигуры. Непрерывность, рассмотренная с точки зрения принципа определенности, есть не что иное, как принцип измеримости. Однако мы еще не знаем, что такое непрерывность, и потому покамест тут мы еще не строим цельной геометрии, а только обсуждаем общую базу для будущих принципов метрики. Общая метрическая геометрия поэтому есть то, что возникает на основе всех трех аксиом едино–раздель–ности, рассмотренных совокупно с принципом непрерывности.
Однако в своем настоящем виде она может быть развита только на основе принципов конгруэнтности и параллельности, которые мы еще не вывели[44], и потому невозможно назвать метрикой получающуюся здесь геометрию в собственном смысле. Геометрия, возникающая на основе всех трех групп аксиом едино–раздель–ности, есть то, что называется синтетической геометрией. Это та геометрия, в которой равномерно и адекватно представлена логически целостная фигурность и которой недостает только метрического уточнения, чтобы стать обыкновенной элементарной геометрией.
Таким образом, под синтетической геометрией здесь у нас понимается не то, что назвал этим именем Шаль, выпустивший под таким названием свой знаменитый труд по проективной геометрии. Во времена Шаля эта геометрия полемически противополагалась аналитической геометрии, слишком увлекавшейся отвлечением от всякой наглядности. Аналитической геометрии противопоставляли геометрию, основанную на чисто дескриптивном методе и не зависимую ни от какого вычисления. Однако если рассуждать строго логически, то проективная геометрия вовсе не есть полная противоположность аналитической, так как последняя предполагает не только то абстрактное понимание фигуры, какое свойственно проективной геометрии, и основывается на допущении коллинеаций, но предполагает именно полную и конкретную фигурность, хотя и выражает ее уравнениями и функциями. Аналитическая геометрия есть противоположность синтетической, если последнюю понимать не как проективную, а именно в нашем смысле. Таким образом, если не геометрически, то логически наше понимание этого термина более основательно, хотя свое реальное значение эта синтетическая геометрия получает только с присоединением принципов конгруэнтности и параллельности. До этого присоединения она отличается от проективной только исключительно всей перспективой[45] точки зрения на фигуру и сосредоточением на последней как на таковой.