Хаос и структура - Лосев Алексей Федорович. Страница 66
d) Необходимо заметить, что, в сущности, все три группы аксиом едино–раздельности действуют всегда и везде и речь может идти только о примате [46]той или другой группы. Ведь логическая связь, раз она однажды установлена, уже не может исчезнуть в абсолютном смысле. Она может только отступать, она может быть перекрыта и, стало быть, скрыта какими–нибудь внелогическими связями. Но так или иначе, латентно, она всегда как–то присутствует. И вот, можно сказать, что топология выдвигает на первый план аксиомы подвижного покоя, проективная геометрия—аксиомы самотождественного различия и синтетическая геометрия—аксиомы определенности — на общем фоне.
3. Прежде чем, однако, дать диалектические формулы вышевыведенным типам геометрического построения, мы внесем, во–первых, одно уточнение и, во–вторых, попробуем осознать относящийся сюда математический материал.
а) Яснее всего и проще всего положение топологии. Тут невозможно сказать, что исключается коллинеация, т. е. исключаются аксиомы самотождественного различия. Присоединяем теперь к категории подвижного покоя категорию самотождественного различия и оставляем неприсоединенной категорию определенности. Что в этих целях мы получим последовательность точек вместе с сохранением коллинеации, это тоже ясно. Но нельзя ли конкретнее описать значение отсутствия категории определенности? Это сделать можно и нужно, и тут–то и начинается подлинная работа диалектики математической науки.
А именно, в чем, собственно говоря, заключается абстрактность проективной геометрии в сравнении с обычной метрической? Проективная геометрия основана на перспективной точке зрения. Перспектива искажает фигуры; и вот — проективная геометрия синтезирует эти искажения. Она сохраняет коллинеацию как принцип, но она всячески требует коллинеарные связи, занимаясь в то же время только инвариантами в отношении всех этих деформаций. Что нужно для того, чтобы покончить [47]эти деформации и чтобы если они есть, то учитывать их как таковые, не отвлекаясь от их специфических свойств? Математика учит, что для этого надо принять во внимание существование бесконечно удаленной точки (или прямой) в качестве центра проекции. При таком центре все лучи зрения окажутся параллельными, и тем самым будет исключена всякая перспективная деформация фигуры. Следовательно, введение бесконечно удаленной точки внесет с собою определенность фигуры. Мы тут начинаем смотреть на фигуру с бесконечности, или, другими словами, начинаем смотреть на нее вне зависимости от расстояния. Проективная геометрия зависит от этого расстояния, хотя и отвлекается от вносимых им деформаций. Та же геометрия, которая построяется при помощи бесконечно удаленной точки, не зависит от этого, и потому изучаемые ею фигуры гораздо строже и конкретнее. Другими словами, категория определенности несет с собою исключение проективности и включение бесконечно удаленной точки. Пока не было определенности, пространственные расстояния вносили в фигуру свои деформации, а, чтобы отвлечься от них, проективной геометрии приходилось принимать во внимание только слишком абстрактные моменты фигуры. Теперь зависимость от пространственных расстояний исключается, и при этом точным диалектическим аналогом внесения бесконечно удаленной точки является внесение категории определенности (т. е. структурной определенности, фигурности) бытия. >
b) Но, как известно, включение бесконечно удаленной точки превращает проективную геометрию не в метрическую, а только в аффинную. Аффинные преобразования отличаются от проективных соблюдением параллельности, т. е. соблюдением углов, в то время как проективные преобразования соблюдают только коллинеацию. Аффинная геометрия поэтому гораздо конкретнее, но все же инвариантом аффинитета является только уточнение параллельных отрезков. Аффинное преобразование есть, следовательно, равномерное растяжение или сжатие пространства по трем взаимно перпендикулярным направлениям. Поэтому геометрия, названная у нас выше метрической, или синтетической, вовсе не есть объединение трех основных категорий — подвижного покоя, самотождественного различия и определенности бытия. Таковым является пока только аффинная геометрия. Что же такое настоящая метрическая геометрия или, лучше сказать, настоящая синтетическая геометрия, т. е. та, в которой будут исключены даже те параллельные <…>, на которых стоит аффинная геометрия?
c) Вопрос этот крайне важен, и должна быть [в нем ] абсолютная диалектическая точность и ясность. Если мы обратимся к математике, то нас поразит ответ, даваемый ею на вопрос о переходе аффинной геометрии в метрическую. Этот ответ полон глубочайшей тайны; и, по–моему, из математиков еще никто не проанализировал его философски и логически, хотя Штаудт, Клейн и др. достигли полной ясности представления относительно математического значения этого ответа.
Ответ этот таков. Известно, что всякий круг пересекается с бесконечно удаленной прямой в одних и тех же двух постоянных мнимых точках (т. н. циклических точках) и, — соответственно, шар пересекается с бесконечно удаленной плоскостью по одному и тому же мнимому коническому сечению, кругу. Необходимость двух мнимых точек для всякой кривой второго порядка явствует аналитически из того, что пересечение двух кривых второго порядка дает четыре корня двух квадратных уравнений, в то время как вещественно эти кривые пересекаются только в двух точках. И вот оказывается: если присоединить к геометрической системе не только бесконечно удаленную точку (или плоскость), но и упомянутый мнимый круг, то из проективной геометрии вместо аффинной мы получаем метрическую. Этот ответ потрясает; и невозможно успокоиться, покамест не дашь ему достаточной философской интерпретации. Ведь речь ни больше ни меньше как о том, различать ли нам квадрат и прямоугольник или не различать. Ведь аффинная геометрия не различает этого. И вот оказывается: для того, чтобы иметь возможность различать квадрат и прямоугольник, надо ввести существование мнимого круга, по которому всякий вещественный шар пересекается с бесконечно удаленной плоскостью. Это учение производит настоящее мистическое впечатление, как бы ясно мы ни представляли себе, что квадратное уравнение имеет два корня, а два квадратных уравнения имеют четыре корня, что из них два корня мнимые, и т. д. и т. д. Попробуем разобраться здесь философски и диалектически, и это будет первая диалектика перехода от аффинности к метрике, первая — за все время существования и геометрии, и диалектики.
d) Нам надо, чтобы квадрат отличался от прямоугольника и круг от эллипса. Как связаны между собой квадрат и прямоугольник? Прямоугольник есть параллельная проекция квадрата. Следовательно, наш вопрос стоит так: как возможна проекция? Отвлекаясь от проек–тических (.··)> мы должны сказать, что проекция есть отображение первообраза на его инобытие. Что для этого нужно? Для этого 1) нужно, чтобы кроме первообраза было и его инобытие. Для этого 2) нужно, чтобы инобытие приняло на себя первообраз. Для этого 3) нужно, чтобы принятие на себя первообраза инобытием было не чисто образным (ибо тогда мы остались бы в сфере (…) первообраза) и не чисто инобытийным (ибо тогда мы остались бы в сфере только инобытия), но чтобы оно было именно отобразительным понятием, отображением. Что же это значит — принять на себя образ, но принять не вещественно, а образно же? Первообраз и его инобытие встречаются, но эта встреча — не вещественная, а чисто образная, смысловая. Выбирая выражения, более близкие к математике, надо сказать, что первообраз и его инобытие пересекаются, но пересекаются не вещественно, а мнимо. Позже (§ [105—107]) мы разовьем специальное учение о мнимых величинах как величинах именно выразительной (в частности, и отобразительной) структуры.
Итак, отличать квадрат от прямоугольника — значит отличать проектирующее от проектируемого, а это значит признавать существование проекции. Признавать существование проекции — значит признавать существование пересечения двух вещественных фигур в мнимых точках. Все поверхности второго порядка пересекают друг друга в мнимых точках, образующих особый мнимый круг. Поэтому если есть такой мнимый круг, то проекция квадрата в виде прямоугольника возможна и, значит, квадрат отличен от прямоугольника. Если же этого мнимого круга нет, то никакая проекция вообще невозможна и поэтому, берем ли мы квадрат, берем ли прямоугольник, пред нами в обоих случаях нечто совершенно тождественное.