Хаос и структура - Лосев Алексей Федорович - Страница 48

Можно поэтому в следующем виде выставить нашу аксиому.

Аксиома подвижного покоя в геометрии: геометрическая величина есть совокупность определенным образом взаиморасположенных элементов в их инобытии. Или подробнее: геометрическая величина есть совокупность определенным образом взаиморасположенных элементов, находящихся в состоянии движения по актам своего внешнего полагания и в состоянии покоя, достигаемого этим внешним движением.

2. Из обычных формулировок аксиом сюда относятся т. н. аксиомы порядка. Их я взял бы почти в том виде, как они даны у Гильберта, хотя и в ином порядке — ради большей стройности и последовательности мысли. Именно, на первом месте я бы поставил то, что у Гильберта занимает третье место (II 3):

1. «Из трех точек прямой всегда одна, и только одна, лежит между двумя другими».

За этой аксиомой логически следует та, которая у Гильберта на первом месте (II 1), потому что сначала надо поместить одну точку между двумя другими, а потом уже говорить об отношении ее к этим другим, равно как только после этого следует говорить о продолжении движения за пределы этих двух точек (II 2). Таковы эти аксиомы:

2. «Если А, В и С—точки одной прямой и В лежит между А и С, то В лежит также между С и А».

3. «Если А и С—точки одной прямой, то существует по меньшей мере одна точка В, лежащая между А и С, и по меньшей мере одна точка D такая, что С лежит между А и D».

Это — аксиомы линейные. Необходимо также применение нашей категории и к плоскости. Здесь существует аксиома Паша [27], дающая представление о продолжении и порядке плоскости. Ее можно формулировать так:

4. «Если в плоскости даны три отрезка АВ, ВС и С А, то прямая на этой плоскости, имеющая общую точку с одним каким–нибудь из них, имеет также общую точку с одним из обоих других».

Тут не сразу понятно, что имеется в виду. Имеется же в виду то, что отрезок, соединяющий две точки, находящиеся по одну и ту же сторону от данной прямой, не имеет ни одной общей точки с этой последней, в то время как отрезок, соединяющий две не находящиеся по одну и ту же сторону от данной прямой [точки ], имеет с нею одну общую точку.

Разумеется, должна быть «аксиома порядка» и в отношении пространства (каковой почему–то совсем нет у Гильберта). Ее легко получить по аналогии с аксиомой Паша на плоскости примерно так:

5. «Две плоскости, имеющие одну общую точку, имеют одну общую прямую».

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

Стоит заметить, что предложенная чисто математическая формулировка аксиомы подвижного покоя в геометрии отнюдь не есть единственно возможная. Энриквес наряду с предложениями Гильберта указывает и другие, которые вполне тождественны им. Это, пожалуй, стоит привести.

Одна формула:

«Каждая точка А прямой разлагает прямую на два класса точек (части), которые можно обозначить названиями «правая часть» и «левая часть», таким образом, что

a) каждая отличная от А точка принадлежит одной из обеих частей;

b) если А находится налево (или направо) от какой–нибудь точки В, то каждая точка налево (или направо) от А находится налево (или направо) от В

c) если А находится налево от В, то В находится направо от А».

Другая (относящаяся, как говорит Энриквес, к становящейся фигуре, но, собственно говоря, ни о каком становлении в настоящем диалектическом смысле тут нет и помину) [формула]:

«Точки прямой разбиты на два (естественных) порядка, из которых один противоположен другому таким образом, что при рассмотрении некоторого определенного порядка:

a) если даны две точки А, В прямой, то одна из них, например А, предшествует В ив таком случае В следует за А;

b) если даны три точки А, В, С и А предшествует В и В предшествует С, то А предшествует С;

c) между двумя точками А и В существуют промежуточные точки (предшествующие одной из них и следующие за другой);

d) не существует никакой первой (предшествующей всем) точки, и не существует также никакой последней точки».

Вышеприведенная плоскостная аксиома Паша может быть заменена другой (при условии Эвклидова постулата о параллельных линиях):

«Если две исходящие из одной точки О пары прямых пересекаются некоторой (не параллельной ни одной из четырех прямых) секущей в двух раздельных парах точек, то то же самое имеет место и для любой другой секущей, не проходящей через упомянутую точку О и не параллельной ни одной из четырех прямых».

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

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

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

§ 52. Аксиома подвижного покоя в теории множеств.

1. Во множествах подвижной покой будет, как и везде, отражать на себе своеобразие данной множественной сферы. Множество отличается от арифметического числа тем, что элементы, из которых оно состоит, находятся между собою в инобытийном, а не в чисто количественном взаиморасположении. Тут, говорили мы, также геометрическая система взаиморасположения, но только с одним отличием от нее: это не пространственная, но чисто числовая фигурность. Поэтому множество и есть синтез арифметического числа и геометрической величины. Подвижной покой есть, как мы уже знаем, идея порядка. Во множестве, стало быть, содержится свой собственный порядок, упорядоченность, — такая, что в ней участвуют не просто счетно–числовые моменты и не только пространственное расположение элементов, а и то и другое вместе, в их синтетической воссоединенности.

Имея это в виду, можно было бы просто сказать, что множеству свойственна упорядоченность, или, что то же, всякое множество есть упорядоченное множество. Но тут не будет подчеркнут момент специфически множественной упорядоченности. Ведь упорядочено все — и числа, и геометрические фигуры, и множества, и даже континуум.'Раз дается аксиома для множества, то должен быть отмечен и спецификум множества. Он и отмечается у нас во всех аксиомах о множествах. Однако в аксиоме подвижного покоя упорядоченность имеется в виду специально. Она, конечно, захватывается так или иначе решительно во всех аксиомах, поскольку упорядоченность (и притом специфически множественная) находится во всех множествах. Но в аксиоме подвижного покоя упорядоченность находит свое специальное выражение, поскольку упорядоченность и есть не что иное, как результат проявления именно подвижного покоя. Аксиому поэтому можно было бы так формулировать (аналогично предыдущим аксиомам множества).