Диалектические основы математики - Алексей Федорович Лосев Страница 79

§ 63.

Продолжение

Предыдущий параграф трактовал о воздействии аксиом непрерывности на аксиомы едино-раздельности. Теперь сделаем краткие замечания относительно воздействия последних аксиом на первые.

1.

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

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

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

· Если имеются в виду операции сложения и вычитания, говорят о модуле;

· если – умножение и деление, говорят о луче;

· если – сложение, вычитание и умножение, говорят о кольце (по примеру Гильберта Кронекер говорил «область целости», Integritätsbereich);

· если, наконец, применяются все четыре основные операции, употребляют термины «тело», «корпус», «поле» (англичане), «область», «область рациональности» (Rationalitätsbereich – Кронекер).

Можно себе представить также и числа на основе отсутствия принципа непрерывности. Их можно было бы назвать неархимедовыми числами по аналогии с геометрией, в которой отсутствует Архимедов принцип непрерывности и о которой мы упомянем ниже, в п. 2e.

2.

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

a) Прежде всего мы можем оставить неприкосновенной только группу аксиом подвижного покоя и игнорировать все прочие аксиомы. Что это будет значить в смысле оформления изучаемой сферы становления? Это будет значить, что в наших геометрических фигурах мы будем соблюдать только последовательность элементов, и притом – так как теперь речь идет о применении к непрерывности принципа этой изолированной категории – мы будем теперь соблюдать в геометрических фигурах только непрерывную последовательность их элементов. Поскольку аксиомы самотождественного различия тут не соблюдаются, мы уже не сможем здесь отличать, например, прямую от кривой. А поскольку здесь не соблюдаются и аксиомы определенности, постольку в такой геометрии мы и вообще будем отвлекаться от точного вида фигур. Кто знает о дисциплинах геометрии, тот не может не догадаться, что тут мы сталкиваемся с так называемой топологией, или analysis situs.

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

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

c) Наконец, мы можем строить геометрию, исходя из всех трех групп аксиом едино-раздельности, т.е. мы можем не только соблюдать порядок элементов, ограничиваясь свойствами, инвариантными к любым непрерывным преобразованиям, или соблюдать дескриптивный вид фигуры, ограничиваясь свойствами, инвариантными к группе коллинеаций, но мы можем потребовать, чтобы соблюдалась и категория определенности бытия, т.е. чтобы фигура бралась в неизменности всех своих свойств, чтобы на фигуру была бы уже раз навсегда установлена одна перспективная точка зрения, а именно та, которая не зависит от точки проекции и вполне адекватно фиксирует царящие в ней отношения. Такая «адеквация», однако, все