Таким образом, если под аксиомой Архимеда лежит интуиция раздельных тел, под аксиомой непрерывности в аспекте бесконечного процесса лежит интуиция пустого и темного пространства, то под аксиомой Дедекинда лежит интуиция поля, качественного пространства, расцветающего в непрерывном разнообразии своих красок.

Интересным является также и постулат Кантора о непрерывности, вызванный сходными же интуициями. Кантор[37] [38] говорит: если на прямолинейном отрезке ОМ имеется два неограниченных ряда отрезков OA, OB, ОС, OA', OB', ОС… из которых первые растут, а вторые уменьшаются таким образом, что отрезки АА', В В', СС… постоянно уменьшаются и в конце концов становятся меньше всякого данного отрезка, то на отрезке ОМ существует такая точка X, что ОХ больше, чем все отрезки первого ряда, и меньше, чем все отрезки второго ряда.

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

§ 61. Аксиома непрерывности в отдельных математических науках.

1. Формулировка аксиом непрерывности, развитая в предыдущем параграфе, легко приобретает и чисто арифметическое, и чисто геометрическое значение, стоит только «числа» заменить «отрезками» (или другими геометрическими понятиями). Поэтому нет нужды загромождать изложение отдельной формулировкой принципа непрерывности в арифметике и в геометрии.

Стоит, может быть, только остановиться на этой аксиоме в применении к теории множеств и к теории вероятностей, так как здесь существует в математике более своеобразная терминология.

2. Что касается теории множеств, то здесь учение о непрерывности можно формулировать при помощи понятий полного и сцепленного множества, которые определяются следующим образом. Сцепленное множество есть то, в котором между каждыми двумя элементами можно иметь еще один элемент. Ясно, что понятие сцепления возникает на основе категории непрерывности в аспекте его становления (аналогично § 59.5). Полным называется такое сцепленное множество, в котором присоединение каждого нового элемента делает этот последний или наибольшим, или наименьшим. Нетрудно заметить и здесь некоторую аналогию с учением о непрерывности в аспекте ее полноты или непроницаемости (§ 59.4). В теории множеств непрерывным множеством и называют такое упорядоченное множество, которое является и сцепленным, и полным. Следовательно, аналогия с моментом ставшего (§ 59.6) должна привести к понятию предела. Самым общим положением здесь явится теорема Больцано — Вейерштрасса: «Всякое бесконечное ограниченное множество имеет хоть одну предельную точку».

a) Наконец, теория множеств выработала также большое учение, основанное на эманативно–выразительном понимании непрерывности. Конечно, можно было бы, в сущности, ограничиться и вышеприведенными постулатами Кантора и Дедекинда. Однако здесь они звучат достаточно отвлеченно, и теория множеств обладает в этом отношении более развитыми тезисами.

Именно, здесь прежде всего интересно определение континуума, данное Кантором. По Кантору, континуум есть совершенно–связное точечное множество. Чтобы понять диалектику этого понятия, вспомним некоторые основные определения из теории множеств.

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

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

Далее, бытие, знаем мы, переходит в становление и непрерывность превращается в становящуюся. Содержится ли этот момент в континууме, как последний определен у Кантора? Несомненно, содержится. Уже понятие сцепления содержит в себе не только момент объединения (что необходимо для едино–раздельной структуры), но и момент специфического объединения, а именно такого, когда единораздельность мыслится как бесконечный процесс (поскольку сцепленность множества требует нового элемента между каждыми двумя, как они близкими ни были [бы] друг в отношении друга). Стало быть, континуум в смысле Кантора есть не только идеальное бытие, но он содержит в себе и переход в инобытие, в становление, т. е. непрерывность, лежащая в его основе, перестает быть плоской, изолированной, она покрывается новым слоем, углубляется, получает рельеф и тем самым стремится быть выразительным.

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

Однако и этого мало. В континууме Кантора даны не только предельные точки, они сами тоже вовлечены в новый поток становления, поскольку в нем мыслится еще и <…> связность. Но когда мы говорили об энергийно–выразительном, или эманативном моменте числа, мы как раз и мыслили становление, но не то становление, когда смысл впервые только еще вступает в свое инобытие и в нем погасает, но такое становление, когда смысл снова нашел себя в инобытии, растворился в нем, расцвел в нем и на нем, когда становление стало снова (…) включивши в себя, однако, и смысловой результат всех своих субстанциональных положений. Момент связности в Канторовом континууме, заставляющий сливаться в непрерывность уже не просто отдельные точки множества, но именно все его предельные точки, и демонстрирует для нас эту энергийную выразительность, которой не было в непрерывности на ступени ее идеально–бытийственной структуры.