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

4. Необходимо отдавать себе полный логический отчет в диалектической последовательности и назревании числовой мысли в арифметике. Когда мы строили аксиомы едино–раздельности, арифметика созрела у нас до степени категории счета. Что надо для счета? Для этого нужно, чтобы каждое число было сформировано внутри себя самого и чтобы ясно было отношение сформированных чисел между собою. Первое было определено категориями самотождественного различия и подвижного покоя. Второе было дано через закон определенности числового бытия. Но, получивши идею арифметического счета, мы, в сущности, получили не что иное, как возможность бесконечно двигаться вперед и назад по натуральному ряду чисел. Надо было внести какие–нибудь диф–ференции в это безразличное движение по натуральному ряду, т. е. надо было получить возможность не просто выхватывать те или иные числа из этого ряда, но надо было уметь пользоваться и разными комбинациями этих чисел. Для этого надо было внести моменты становления в самую категорию счета. Получились разнообразные арифметические действия. Последние и есть ведь не что иное, как самый обыкновенный счет, но только с различными дифференциациями внутри себя, т. е. в условиях различного комбинирования чисел. Но ведь числа твердо держатся каждое на своем месте в общем натуральном ряду чисел. Если мы допускаем любое их комбинирование, то возникает вопрос: не прикованы ли они к своему месту настолько крепко, что каждый отрыв их от данного места и приковывание к новому месту влекут за собою их собственную деформацию? Чтобы этот «отрыв» и это новое полагание не мешали их чисто количественным отношениям, требуется нейтральность инобытия, несущего на себе эти комбинации чисел и заново осуществляющего их на любом участке числового протяжения. Но это значит, что требуется не только непрерывность чисел и действий над ними, но еще и конгруэнтность как чисел, так и действий. А для этого надо воспользоваться категорией ставшего.

5. Только теперь, с присоединением аксиомы конгруэнтности, наш счет, который мы вывели в сфере едино–раздельности только отвлеченно, наполнился живым содержанием и превратился в реальные законы арифметического счета вообще. Но это не значит, что невозможна арифметика без аксиомы конгруэнтности. Наш общий перво–принцип конгруэнтности, формулированный в § 64.3, гласит вовсе не то, что решительно всякое арифметическое число конгруэнтно. Он гласит только то, что всякое арифметическое число «так или иначе определено с точки зрения конгруэнтности». А вполне возможна арифметика, где этот принцип будет действовать отрицательно, и мы получим здесь числа, лишенные принципа конгруэнтности. Ниже (§ 66.5) мы укажем теорему Паскаля как наиболее яркую для характеристики геометрической конгруэнции. Если возможна непаскалева геометрия, то так же возможны и непаскалевы числа. Это числа, к которым применимы все упомянутые выше законы счета, кроме закона коммутативности умножения. Если бы мы стали входить в подробности, то, между прочим, мы нашли бы, что для неконгруэнтности в этом смысле необходимо нарушение принципа непрерывности, так что не все неархимедовы числа суть непаскалевы, но все непаскалевы обязательно суть в то же время и неархимедовы. Это должно быть понятно <…>, потому что в диалектической системе становление предшествует ставшему и, отвлеченно говоря, становление возможно без ставшего, но ставшее невозможно без становления. Нагляднее это дело будет обстоять в геометрической области.

§ 66. Аксиома ставшего числового бытия в геометрии.

1. а) О конгруэнтности в геометрии говорили больше всего, и это только потому, что там она видна грубее и показательнее, а вовсе не потому, что роль ее тут больше по существу. Даже самое понятие конгруэнтности почти не выяснилось геометрами, <…> и общепонятном смысле. Гильберт без дальнейших разъяснений говорит «конгруэнтный или равный», так что остается неизвестным, чем же конгруэнтность отличается от равенства. Невозможно понять, чем конгруэнтность отличается от подобия. Большинство геометров объединяет конгруэнтность с понятием движения. Так, Пеано брал понятия «точки», «отрезка» и «плоской поверхности», присоединял к ним «движение» и отсюда конструировал аксиому конгруэнтности. Другие (Виери) брали «точку» и «движение» и т. д.

Это «движение» в данном контексте или непонятно, или, когда становится понятным, оказывается весьма наивным. В самом деле, зачем геометры привлекают эту категорию? По–видимому, тут имеется в виду очень простая вещь: чтобы судить о конгруэнтности, надо две фигуры [сопо]ставить между собою или заставить одну и ту же фигуру передвинуться на другое место с тем, чтобы потом посмотреть, не изменилась ли она в своих очертаниях. Если это представление правильно, то можно только удивляться его наивности.

b) Во–первых, вполне абсурдно применять к геометрическим фигурам понятие движения в физическом смысле. Когда мы говорили о покое и движении, то понимали под этим чисто смысловые категории (образец: от единицы мы «движемся» к двойке, от двойки — к тройке, и т. д.). Но говорить о том, что треугольник «движется» по пространству— это значит высказывать нелепость или выбирать слишком грубую манеру выражаться. В этом же смысле можно говорить о движениях по топологическому или проективному пространству. В этом [же] смысле «движение» играет первостепенную роль и в аксиоме параллельности (к которой мы в дальнейшем перейдем), так как, чтобы судить о том, встречаются ли где–нибудь параллельные или нет, надо прежде всего «двигаться» по этим параллельным. Движение в этом смысле играет первостепенную роль везде в числе, начиная с его первых категориальных моментов.

Во–вторых, под «движением» геометры имеют в виду здесь вовсе не движение, а, наоборот, если угодно, «покой», так как понятие конгруэнтности есть во всяком случае понятие как [ого ] — то взаимо–соответствия, взаимосоотнесенности, какого–то совпадения, а это все суть виды покоя или, лучше, подвижного покоя. В–третьих, однако, дело тут, конечно, и не в покое. И движение, и покой суть слишком общие категории, применяемые в математике решительно ко всему ^[65], и не ими можно вскрыть сложную категорию геометрической конгруэнтности. Чтобы ее усвоить, надо присмотреться к ряду простейших геометрических операций. Пусть мы впервые пришли от точки А до точки В. Мы получили некую линию — пусть, например, прямую. Профану покажется, что если речь идет о получении прямой, то одной этой операции «движения» от А до В и достаточно, чтобы получить прямую. На самом же деле это вовсе не так просто.

с) Мало линию провести. Надо, после ее проведения, еще раз пробежать по ней глазами, сравнивая ее с окружающим фоном. Если этого становления не произведено, мы не можем поручиться, что наша прямая есть действительно прямая. Чтобы она была, надо, чтобы она отличалась от всего иного. Когда же мы ее проводили, мы действовали пока еще как бы слепо; и зрячими стали мы в отношении прямой только тогда, когда, пробегая по ней еще раз, мы будем исследовать, действительно ли она во всех своих точках в одинаковом смысле отличается от всего иного (от своего фона), т. е. действительно ли она есть замысленная прямая. Но и того еще мало. Надо еще третий раз пробежать глазами по полученной прямой и опять — совершенно с новым смысловым содержанием. Мы отличили нашу прямую от ее фона, но мы должны еще и отождествить ее с самой собою. Мы сравнили ее с иным, но мы также должны сравнить ее с нею же самою. Когда мы ее провели в первый раз, мы еще не знали, что она такая, потому что весь смысл такой прямой был только смыслом первого ее утверждения, гипо–стазирования, первого ее бытийственного положения. Когда мы провели ее во второй раз, мы уже получили возможность сказать, что наша линия а не есть ни b, ни с, ни вообще что–нибудь иное. Когда же мы проходили по нашей линии в третий раз, мы получили впервые возможность сказать, что наша прямая а есть именно прямая а.

Для этого надо было, пробежавши от А до В, пробежать еще от В к А и — отождествить оба прохождения.