Хаос и структура

Если все это так, то мы оказываемся как будто бы в трагическом положении: никакими действиями нельзя в дальнейшем выйти за пределы континуальной мощности. Фактически, однако, дело обстоит иначе. Ведь и , говорили мы, недоступна никакому ни увеличению, ни уменьшению, и все же мы получили в результате увеличения целый ряд разных порядков шив конце концов , то, что уже имеет совсем другую природу, чем и чем любые ее порядки. В чем тут дело? Дело в том, что для бесконечности совсем не совпадают между собою мощность и тип множества, вполне фактически совпадающие для конечных множеств. Мощность каждого числа второго класса (между и )—совершенно одна и та же — счетная мощность. Типы же чисел второго класса везде разные, т. е. везде разная упорядоченность. Также и после континуума мы находим мощности, которые все подряд являются континуальными. Но, применивши сюда идею порядка, мы сразу видим, что у нас получаются континуумы вполне различных порядков, т. е. различного числа измерений.

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

Отсюда выясняется вся принципиальная важность трансфинитных чисел классов, начиная с третьего. Уже есть переход от одномерного континуума к двухмерному, следовательно, третий с класс чисел дает двухмерный континуум, четвертый (начиная с ₃) дает трехмерный континуум и т. д. С момента начинается континуальная сплошность бесконечного числа измерений континуума. И, соответственно, , , и т. д.

Мы, однако, не станем анализировать все эти числовые бездны, чтобы не впасть в потенциальную бесконечность и тем самым не нарушить принципа транс–финитности. Для нас достаточно выставить просто множество всех чисел, куда войдут и все континуальные, как и неконтинуальные порядки; множество всех чисел есть вполне упорядоченное множество, обладающее целым рядом совершенно определенных свойств. Но мы [не] станем здесь строить теорию этого замечательного множества, а только закрепим его терминологически как тотальность, понимая под этим все, что вообще больше континуума, — по преимуществу же счетно–мер–пый континуум.

Если уже просто континуум, как указано выше, есть вне–числовая выразительная форма числа, то сфера тотальности, которая есть раскрытие общеконтинуального принципа, оказывается наивысшей развитой выразительной формой вне–числового осмысления числа вообще. Этим, надо думать, исчерпывается вся сфера чисел вообще.

11. а) Остается еще одна область вопросов, которую нам необходимо выставить тоже на первый план, оставаясь, конечно, на позиции чисто принципиального исследования. Это, вообще говоря, вопрос о взаимопред–полагаемости и в то же время взаимонесводимости всех рассмотренных выше диалектических ступеней вне–числового осмысления. Математики здесь блещут точностью и общеобязательностью своих заключений. Для характеристики этого разброда . Н. Лузин[95] воспользовался «демоном» Максвелла, который владеет каждым математиком и внушает ему одни вкусы, исключая другие.

«1. «Демон» Брауэра. Его область есть область целого конечного, и притом ограниченного путем указания верхнего конечного предела. За этой областью все лежит «вне математики».

2. «Демон» Бэра. Его область есть просто область целого конечного без указания верхней конечной границы. Бесконечное — это лишь fagon de parler[96] и находится «вне математики».

3. «Демон» Бореля. Его область есть область счетной бесконечности. Всякое несчетное множество — «вне математики».

4. «Демон» Лебега. Его область есть область мощности континуума. Всякая операция, требующая континуум простых шагов, доступна этому «демону»; поэтому определение верхней меры еще лежит в области математики. Но мощность 2^е, мощность совокупности всех функций, уже отрицается Лебегом и не по силам его «демону».

5. «Демон» Цермело. Его поле операций — всякие мощности, в частности, всякое множество «демон» Цермело может «сделать» вполне упорядоченным».

Что может сказать философ по этому поводу? Можно только улыбнуться наивности этих философских рассуждений и похвалить за откровенное признание математиками субъективизма своей философии. Сказать, что существует только конечное и нет ничего бесконечного, или сказать, что существует только бесконечное и нет никаких подразделений в сфере бесконечного, — это значит слишком откровенно раскрывать свои ни на чем не основанные, но весьма интимные потребности и симпатии.