Алексей Лосев – Диалектические основы математики (страница 72)

Аксиома выражения в арифметике: арифметический ряд основан на тождестве внутренно-внешних направлений самого становления.

Или: существует то усложнение арифметического действия, которое основано на том, что ряды чисел подчиняются в своей структуре тому или иному арифметическому действию или их системе.

a) В отделе арифметики мы увидим, что сюда относятся т.н. модули, или ряды чисел, подчиненные действиям сложения или вычитания, кольца – с действиями сложения, вычитания и умножения и поля, или тела, – с четырьмя основными арифметическими действиями. Особую область составляют т.н. группы с более широким законом объединения элементов, чем те или иные арифметические действия. Все это – выразительные формы в арифметике.

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

b) Наконец, необходима и еще одна диалектическая позиция, долженствующая к тому же завершить всю сферу числового выражения. А именно, мы должны взять всю числовую сферу целиком и, забывая все, что мы различили внутри нее самой, подвергнуть ее рассмотрению с точки зрения вне-числовой. Ведь выражение предмета и есть его значимость для иного, когда он является иному. До сих пор наше число являлось самому себе. Выразительная форма получалась у нас, вообще говоря, как та или иная комбинация самих же чисел (таковы модуль, группа и т.д.). Но постоянное и уже последнее по своей конкретности числовое выражение получится тогда, когда мы всю сферу числа противопоставим вне-числовой сфере.

Однако эту позицию удобно будет провести вместе с теорией множеств, что мы и делаем ниже, в § 72.

§ 71.

Аксиома выражения в геометрии

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

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

Это неоднородное пространство никак нельзя осилить предыдущими аксиомами. Что нам давали аксиомы едино-раздельности («порядка», «сочетания» и пр.)? Они нам только впервые давали геометрическую фигуру, да и то не столько ее саму, сколько ее отвлеченную категорию. Результат аксиом едино-раздельности, как это формулировано в § 58.1, гласил нам только о фигурно-упорядоченной совокупности элементов, и больше ничего. Конечно, и в эвклидовой и во всякой неэвклидовой геометрии построение приводит к тем или иным фигурно-упорядоченным совокупностям. Однако по этой линии невозможно провести различие между эвклидовой и неэвклидовыми геометриями. Точно так же тут ничем не поможет и становление, т.е. принцип непрерывности. Все эти пространства одинаково непрерывны и прерывны, и совершенно не в этом их подлинное различие. Конгруэнтность стоит уже значительно ближе к характеристике разных пространств, но та конгруэнтность, которая выше формулирована у нас в § 64 как результат категории числового ставшего, все равно сюда не годится. Там имелась в виду конгруэнтность внутрифигурная, когда сравнивались две фигуры в пространстве и независимо от свойств того пространства обсуждались с точки зрения конгруэнтности. Здесь же, поскольку ставится вопрос о субстанции самого пространства, нам важна конгруэнтность фигур именно в зависимости от пространства.

Самое большое, что мы получили до сих пор от наших аксиом, это фигура как таковая, с той ее чисто фигурной же измеримостью, которая зависела или от ее внутреннего инобытия, или от ее внешнего, но от такого внешнего, которое положено пока только в виде голого принципа, без всякой реальной развернутости. Ясно, что выведенная нами геометрическая фигура все еще слишком «идеальна», хотя она уже значительно «реальнее» фигуры, о конгруэнтных свойствах которой ничего неизвестно, подобно тому как эта последняя «реальнее» голой категории фигуры. В настоящем же смысле и уже в окончательном смысле «реальной» фигура будет только тогда, когда она вместит в себя и все свое абсолютно-внешнее инобытие. Включивши в себя возможное инобытие, она уже не сможет больше ни в каком смысле изменяться.

Как же включить в геометрическую фигуру ее абсолютно-внешнее инобытие, чтобы она стала выразительней?

a) Чтобы решить этот вопрос, мы должны взять какую-нибудь фигуру и рассмотреть ее отношение к ее абсолютно-внешнему инобытию. Возьмем фигуру простейшую – прямую линию, потому что еще более простая «фигура», точка, по своему смыслу абсолютно самотождественна решительно во всех фигурах и пространствах. Конечно, прямая и без всяких дальнейших добавлений уже содержит в себе свою соотнесенность со своим инобытием. Поскольку в прямой мы находили (§ [55]) единство направления, мы тем самым уже, несомненно, ориентировали ее на фоне ее абсолютно-внешнего инобытия. Однако сейчас нам этого мало. Мы хотим как раз эту-то соотнесенность и рассматривать специально, полагая и утверждая ее в виде отдельной диалектической категории. Но для этого мало будет одной прямой. Кроме того, и в указанной соотнесенности нас интересует, собственно говоря, не сама она как таковая, а то, с чем прямая соотнесена, т.е. само пространство. По этой соотнесенности мы должны судить о пространстве.

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

Но что значит две взаимно конгруэнтные прямые? Конгруэнтность есть одинаковая ориентированность фигуры относительно ее внутренно-внешнего инобытия. Две прямые, если мы к ним решаемся применить это понятие, есть не что иное, как две параллельные прямые. Когда две линии параллельны, это значит, что они одинаково ориентированы относительно своего абсолютно-внешнего инобытия, что они взаимно «конгруэнтны» и по своему внутреннему, и по своему внешнему инобытию.

b) И вот если мы имеем две такие параллельные прямые, а они оказываются при своем продолжении непараллельными, то это значит только то, что данная деформация есть деформация не прямых как прямых, но именно того пространства, в котором они существуют. Если при одинаковой, в принципе, ориентированности прямых они при своем продолжении в пространстве вдруг меняют свою ориентацию, то это значит, что само пространство как-то их деформирует; и по их новому виду мы, следовательно, получаем возможность вполне точно судить о самом пространстве. И особенности этого последнего, выводимые из нового вида фигур, уже не зависят от самих фигур; они деформируют в определенном смысле вообще всякие фигуры.

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

c) Что же оказывается? Оказывается, существует пространство, в котором не только возможна одна параллельная к данной прямой через данную точку, но и такое, в котором этих параллельных может быть сколько угодно, и такое, в котором их не может быть ни одной. В чем же дело?

Какой философский смысл возможности только одной параллельной к данной прямой в данной точке? Из предыдущего вытекает само собой, что если возможна реально только одна параллельная к данной, то это равносильно возможности только одинаковой ориентации прямой относительно прочего пространства. А так как прямая у нас с самого начала берется в чистом виде и без всяких примесей, то, значит, эта одинаковость есть всецело результат самого же прочего пространства, т.е. это пространство как таковое везде одинаково, или, как говорят еще, кривизна его равна нулю. Если к данной прямой через данную точку возможна только одна параллельная, то пространство, в котором все это происходит, есть голое и ровное становление, абсолютно однородное, каким и полагается быть становлению, если оно берется в чистом виде. Рассматривая пространство как выражение, а в выражении основное – это внутренно-внешнее становление, то сначала мы имеем просто становление как таковое, не внося в него решительно никаких дифференций. Это и значит, что к данной прямой через данную точку можно провести только одну параллельную. Это – эвклидовское, параболическое пространство.