Хаос и структура
Шрифт:
Аксиома подвижного покоя в теории множеств: множество есть совокупность определенным образом взаиморасположенных элементов, возвратившихся из инобытия к самим себе. Или подробнее: множество есть совокупность элементов, взаиморасположенных так, что, будучи различными по актам своего внешнего полагания, они отождествляются в результате этих актов в чисто числовую совокупность.
2. Самое яркое, что имеется в математической литературе на темы этой аксиомы, это знаменитая теорема Цермело о том, что всякое множество может быть сделано вполне упорядоченным множеством [28] , вернее, всякое множество может быть мыслимо как вполне упорядоченное множество. Об этом стоит сказать несколько слов.
28
Mathem. Ann. 59 Bd.
Прежде всего эта теорема Цермело с философской точки зрения может считаться вполне излишней.
Далее, входя в существо доказательства этой аксиомы у Цермело, мы убеждаемся, что основная идея этого доказательства вполне интуитивна и непосредственна и что, собственно говоря, можно было бы и не давать его в этом развитом виде и ограничиться указанием на основную совершенно непосредственную очевидность самой структуры всякого множества.
Именно, центральная идея доказательства сводится вот к чему. Предполагая вначале, что данное множество неупорядоченно, мы берем его в виде всех его частей (уже тут, конечно, содержится petitio principii [29] , потому что раз множество расчленимо на несколько различных частей, то это значит, что оно вполне упорядочено, но — не будем настаивать на этом). В каждой такой части выбираем произвольно какой–нибудь элемент, который мы называем «отмеченным» элементом этой части (опять операция, возможная только при условии, что множество уже мыслится вполне упорядоченным, но — не будем настаивать и на этом). Далее следует самое интересное. Цермело называет «–частью» всякую часть рассматриваемого общего множества, такую, которая вполне упорядочена при помощи этого отмеченного элемента (тут опять указанное выше petitio principii, но — простим и это прегрешение), а именно: если а есть любой элемент этой –части, А — определенный им отрезок, —А—дополнительная часть к А до данного общего множества, то для этой —А отмеченным элементом оказывается как раз а. Вот это и есть основание всего доказательства. Грубо говоря, мы берем произвольно любой элемент из данного множества и на нем строим ориентацию в отношении всего множества. Ведь как можно вообще ориентироваться в том, что неразличимо? Нужно схватиться за какую–нибудь любую точку в этой неразличимости и в отношении этой точки ориентировать все прочие. Мы как бы чиркаем спичку в темной комнате и этим освещаем все, что в ней находится. Платон бы сказал: если есть что–нибудь одно, то это значит, что есть все. Ничего другого Цермело не высказывает в употреблении и в самом понятии своей «–части». Уже только одного «отмеченного» элемента достаточно, чтобы мы знали и весь отрезок (отрезком, который определен через элемент а, в теории множеств называется множество всех элементов, порядки которых ниже порядка а), и все, чего не хватает в данном отрезке по сравнению со всем первоначальным множеством, т. е. чтобы «–часть» была вполне упорядочена. Мы берем, следовательно, любой элемент из данного множества, становимся на нем как на некоей твердой точке и с него смотрим вперед и назад и во все стороны, озирая и сравнивая все, что во множестве вообще находится. Это и есть — и у Цермело, и по существу — единственный принцип упорядочения вообще; и конечно, во всяком множестве с необходимостью мыслится такая ориентация.
29
предвосхищение основания (лат.).
В дальнейшем Цермело берет две или несколько таких «–частей» (в этом случае одна из них, конечно, будет отрезком другой) и берет любые вообще элементы данного множества, входящие в «–части» (их порядок, очевидно, будет тот же, что и порядок соответствующих «–частей», а множество, обнимающее все «–части» и все входящие в них элементы, будет, конечно, вполне упорядоченным множеством). Остается только приравнять данное множество этому множеству всех «–частей», и — теорема доказана. Приравнивается же оно опять по тому же принципу. Пусть в входят какие–нибудь части, которые не суть «–части». Тогда остается дополнительное множество до А/, в котором также будет найден «отмеченный» элемент, т. е. получится новая «–часть», которая охватит и полученное множество «–частей» с этим «отмеченным» элементом, и таким образом все данное множество окажется состоящим из «–частей», т. е. вполне упорядоченным множеством.
Всего этого можно бы и не упоминать. Тут важно то, что мы уже сказали: в неразличимом берется одна точка, с которой сравнивается вся остальная неразличимость и, следовательно, всякая другая точка этой неразличимости. Больше ничего и
Можно сказать еще и так. Множество немыслимо без своих элементов (нуль–множество не есть исключение, так как нуль–множество и нуль просто — это совершенно разные вещи); множество и есть не что иное, как множество именно элементов. Но если это так, то элементы должны находиться между собой в каком–нибудь отношении. Ведь «множество» — это только неудачный термин; тут надо было бы говорить именно о единстве, а не о множестве. Единство же есть единство чего–нибудь. В том, что математики называют множеством, с философской точки зрения содержится именно единство взаимоотношений элементов. Раз есть элементы, то в силу самого своего понятия они находятся в некоем определенном взаимоотношении, а это и значит, что они вполне упорядочены. Понятие полной упорядоченности уже содержится в понятии элемента (т. е., другими словами, в самом понятии множества), так же как понятие протяженности содержится в понятии пространства.
3. Хотя подробная диалектика упорядоченного множества будет нами изложена в специальном отделе о множествах, необходимо и сейчас ради уяснения уже занятых позиций наметить перспективу по вопросу об упорядоченности и показать, какие вообще возможны виды упорядочения с диалектической точки зрения.
Итак, мы различаем чистое арифметическое число (в котором инобытийно–нулевая упорядоченность) и голую идею порядка — категорию подвижного покоя, — которая, конечно, может рассматриваться и сама по себе, без всякого применения к числу или к чему бы то ни было. Разные виды (или, если угодно, ступени) упорядочения возникнут в зависимости от того, как мы будем трактовать взаимоотношение голого инобытийно–нулевого числа и голого порядка (точнее, голой идеи порядка). В зависимости от того, как близко и как глубоко число и порядок проникли друг в друга, от этого будут меняться и виды упорядоченности. Тут та же последовательность диалектических категорий, что и везде.
1) Прежде всего, порядок есть перво–принцип. Это значит, порядок есть некая неразличимость актов полагания вообще. Все акты полагания слиты в одно, но не просто в один акт (актов тут именно много, бесконечно много, и они все друг от друга отличны), а в одну общую смысловую неразличимость. Акты полагания порядка различны, но смысловой результат этих актов — полная неразличимость. Отсюда получается конструкция, в одно и то же время неразличимая — по смысловой взаимослитости всех актов полагания порядка и различная — по самим этим актам. Это есть упорядоченность континуума. Континуум есть, конечно, как и всякое множество, вполне упорядоченное множество. Тут идея порядка присутствует актом своего полагания, своей субстанцией, так сказать, и этих актов множество, они рассыпаны в полную необозримость, но не своим смысловым содержанием.
2) Далее, идея порядка начинает более глубоко и осмысленно внедряться в инобытийно–нулевое число. Именно, она внедряется в противоположность первому случаю вполне смысловым образом, избегая, однако, своего субстанциального воплощения. Там воплощалась субстанция порядка без его смысловой структуры; тут же воплощается смысловая структура без ее субстанции. Там мы имеем упорядоченность, в которой было дано очень много актов полагания, но ввиду отсутствия принципа структурности порядка все эти акты полагания в смысловом отношении оказались слитыми в одну общую неразличимость; здесь же воплощается сама структурность порядка, т. е. зависящая от него как от принципа фигур–ность, но ввиду отсутствия субстанциальности и как бы овеществленности порядка вся эта фигурность остается чисто идеальной, абстрактной, она не принимается в расчет как таковая, а только продолжается такой же «субстанциальный» и континуальный учет этой фигурности, что и раньше. Тут мы — в области топологии.
Это уже не просто континуум, ничем не заполненный, но фигурность, рассматриваемая топологически. Топология занимается, как известно, изучением свойств фигур в отвлечении от конкретной формы с единственным условием— непрерывности деформации. Фигура не должна разрываться, во всем же остальном она может быть деформирована как угодно. Это значит, что в топологическом рассмотрении фигурность дана не целиком, но только абстрактно, как понятие, и воплощается она на континуальном фоне так, что важным оказывается не самая структура фигуры, а только те моменты, которые входят в определение отвлеченного понятия данной фигуры. Это так в геометрической топологии, в analysis situs [30] ; это так и в теоретико–множественной топологии. Здесь множество тоже упорядочено так, что еще не дается порядка во всей его конкретной и законченной структурности. Вместе с чистой континуалогией топология рассматривает упорядоченность множества только с точки зрения внешних актов полагания порядка, вне структуры самого порядка — хотя в отличие от чистого континуума топологическое множество уже воплощает на себе идею порядка, пока в самом абстрактном и только понятийном его смысле.
30
Букв.: анализ положения (лат.).