b) Еще яснее можно видеть осуществление категории подвижного покоя, именно — в т.н. умножении. В теории множеств произведением системы множеств называется множество таких элементов, из которых каждый принадлежит одному какому–нибудь множеству данной системы, а в каждом множестве данной системы есть один, и только один, элемент, входящий в это первое множество. Таким образом, здесь мы имеем в виду, собственно говоря, взятие общей части, потому что здесь берется множество тех элементов, которые являются общими для всех данных (перемножаемых) множеств. В то время как для сложения и вычитания достаточно было только растянуть все элементы слагаемых в одну, так сказать, линию (забывши, что такое множество каждого из таких слагаемых) и рассматривать полученные элементы как нечто целое и тем самым модифицировать категорию самотождественного различия с точки зрения непрерывности, здесь, в умножении, мы должны сначала сравнивать перемножаемые[42] множества, перебегая от одного к другому, с целью достигнуть успокоения, которое только тогда и может быть получено, если мы в результате этого сравнения получим нечто общее, одинаковое. И тогда, сколько бы мы ни бегали, мы будем бегать только, так сказать, в одном и том же круге, т. е. будем, в сущности, стоять на месте. Это–то и есть теоретико–множественное понимание «умножения».
5. Теория вероятностей также обладает рядом операций, которые в смысле отвлеченного принципа ничем не отличаются от категорий идеальной едино–раздельности, но которые по своему видоизменению в связи с принципом непрерывности приобретают ряд оригинальных черт, усиленных, конечно, кроме того, еще и своеобразием самой теории вероятностей. Тут мы имеем теорему сложения вероятностей: если событие [А ] состоит в поступлении одного из двух несовместимых фактов а и b, причем вероятность а=рх и вероятность b=р2, то вероятность Α=ργ+ρ2. Тут мы имеем теорему умножения вероятностей, касающуюся уже совместимых событий: вероятность совмещения событий А и В равна произведению вероятности события А на вероятность, которую приобретает событие В, когда становится известным осуществление факта А. Некоторым осложнением тех же категорий является, например, понятие математического ожидания, равного алгебраической сумме произведений каждого возможного значения данной величины на его вероятность, причем для математических ожиданий существует также своя теорема сложения. Имеет полную реальность и возведение вероятности в степень (когда исчисляется вероятность осуществления определенного числа из рассматриваемых событий при указанном числе опытов). И т.д.
§ 63. Продолжение.
Предыдущий параграф трактовал о воздействии аксиом непрерывности на аксиомы едино–раздельности. Теперь сделаем краткие замечания относительно воздействия последних аксиом на первые.
1. Общим отличием этой области аксиоматики является то, что мы ставим здесь ударение на самой непрерывности и что, следовательно, оно только отражает на себе те или иные категории едино–раздельности. Уже это одно устанавливает одну общую тему для всех возможных здесь суждений, а именно тему длительности, рас–ставленности, некоей процессуальное, которая устанавливается здесь взамен отвлеченно–числовой сферы едино–раздельности.
a) В арифметике мы здесь уже не можем оиерировать только с отдельными числами, так как мы их получили уже на предыдущей диалектической системе. Поскольку в сфере непрерывности речь идет об инобытии в отношении всего числа как такового, мы можем здесь говорить только о некоей сплошной, неразделимой процессуальное. Но поскольку эта неразличимость берется на данной стадии нашего исследования не сама по себе, а лишь в свете различимых установок аксиом едино–раздель–ности, то она теряет свою сплошность и заменяет ее разрывными моментами, в результате чего от непрерывности остается только последовательность. Непрерывность в свете едино–раздельности есть последовательность. Типы ее и должна установить аксиоматика, — конечно, только в отвлеченно–принципиальном виде как мерило и исходную точку зрения для ищущих конкретных анализов.
b) В арифметике мы имеем здесь дело, очевидно, с т. н. рядами, т. е. последовательностями, чисел, имеющими определенную структуру. Примитивным образцом этих рядов является арифметическая и геометрическая прогрессия, известная еще из элементарной алгебры. К этим рядам применима структура в зависимости от тех операций, которые мы установили выше. Если мы говорим, что в данном месте непрерывность нами рассматривается в свете едино–раздельности, то очевидно, что структура и должна определяться этой едино–раздель–ностью. А последняя свою наиболее зрелую форму получила у нас как раз в виде элементарно–математических операций. Так мы получаем ряд важнейших понятий высшей арифметики, которые мы рассмотрим в своем месте и для которых сейчас производим только общеаксиоматическую принципиальную установку, а именно: они все суть результат обработки аксиомы непрерывности с точки зрения аксиом едино–раздельности. Речь идет о группах целых чисел, определяемых теми или другими операциями. Если имеются в виду операции сложения и вычитания, говорят о модуле; если — умножение и деление, говорят о луче; если — сложение, вычитание и умножение, говорят о кольце (по примеру Гильберта Кронекер говорил «область целости» <…>); если, наконец, применяются все четыре основные операции, употребляют термины «тело», «корпус», «поле» (англичане), «область», «область радикальности» «…) — Кронекер).
Можно себе представить также и числа на основе отсутствия принципа непрерывности. Их можно было бы назвать неархимедовыми числами по аналогии с геометрией, в которой отсутствует Архимедов принцип непрерывности и о которой мы упомянем ниже, в § 2е.
2. Немного подробнее, но все же не входя в специальный анализ, а лишь намечая аксиоматическую перспективу этого анализа, мы скажем и о геометрической области рассматриваемой модификации. Тут тоже принцип становления дает нам впервые возможность как осуществлять каждую категорию едино–раздельности изолированно от прочих, хотя между ними и непосредственная логическая связь, так и осуществлять их во всей их совокупности и цельности, принимая во внимание ориентацию сферы становления. Историческая геометрия выработала здесь следующие формы.
а) Прежде всего мы можем оставить неприкосновенной только группу аксиом подвижного покоя и игнорировать все прочие аксиомы. Что это будет значить в смысле оформления изучаемой сферы становления? Это будет значить, что в наших геометрических фигурах мы будем соблюдать только последовательность элементов, и притом — так как теперь речь идет о применении к непрерывности принципа этой изолированной категории — мы теперь (будем) соблюдать в геометрических фигурах только непрерывную последовательность их элементов. Поскольку аксиомы самотождественного различия тут не соблюдаются, мы уже не сможем здесь отличать, например, прямую от кривой. А поскольку здесь не соблюдаются и аксиомы определенности, постольку в такой геометрии мы и вообще будем отвлекаться от точного вида фигур. Кто знает о дисциплинах геометрии, тот не может не догадаться, что тут мы сталкиваемся с так называемой топологией, или [analysis situs].
Примером топологического учения является известная теорема Эйлера о многогранниках. Оказывается, независимо от вида сомкнутого многогранника сумма его граней и вершин на два больше числа его ребер. Из этой теоремы получается много очень важных выводов, например что во всяком многограннике должны находиться или треугольные грани, или трехгранные углы, что не может существовать многогранник, всеми гранями которого служат многоугольники[43] с числом сторон больше пяти; например <…>. Эта теорема, таким образом, относится к любому виду многогранника, лишь бы это был именно многогранник. Известны еще задача Кёнигсберг–ских мостов, игра с додекаэдром Гамильтона и пр. построения, которые являются <…>.
b) Далее можно присоединить к аксиомам подвижного покоя еще и аксиомы самотождественного различия. Мы, следовательно, оставляем инвариантной не только непрерывную последовательность фигуры, но и непрерывность, ненарушаемость ее вида, хотя все еще жертвуем аксиомами определенности, т. е. наша геометрическая фигура как бы вся целиком претерпевает разнообразные изменения. Так, когда мы видим предмет в перспективе, то сам по себе он нисколько не меняется ни по виду, ни в смысле порядка своих элементов, и тем не менее мы видим его в той или другой форме, несходной с видом, присущим ему как таковому. Этими свойствами фигур занимается проективная геометрия. Принцип вариации геометрических фигур понимается тут именно в моменте определенности бытия фигуры, но не в моменте вида или порядка элементов, из которых она состоит. Эти свойства фигур называют дескриптивными или проективными, противополагая их математическим свойствам фигуры, как это установили В. Фидлер и Ф. Блейн. Их можно назвать, если угодно, и «оптическими» свойствами фигур в отличие от топологических, которые удобно аналогизировать с мускульными ощущениями.
