Флоренский П., свящ. Иррациональности в математике и догмат

XVII. —ИРРАЦИОНАЛЬНОСТИ В МАТЕМАТИКЕ 854) И ДОГМАТ

(к стр. 59).

Можно пояснить на одном примере, что сверхрассудочный синтез, — каковым является догмат—, не есть нечто вовсе невиданное и неожиданное в науке. Он осуществляется очень часто, например в построении, так называемых, иррациональных чисел.

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

Что значит, например, √2?—Это значит то и только то, что в ходе решения мы наткнулись на стену. Мы искали некоторое число, а оказалось, что нет числа, которое удовлетворило бы условиям задачи: √2есть символ арифметической невозможности. Почему?—А потому, что вообще √2означает такое число X, которое, будучи возведено в квадрат, дает а, т. е. число удовлетворяющее уравнению: х²=а. Но легко доказать, что нет и не может быть такого числа X, квадрат которого был бы равен 2. Подобным же образом—и в геометрии. Мы можем, например, стараться узнать,

506

во сколько раз одни отрезок длиннее другого. В одних случаях мы определим это «во сколько?», т. е. найдем число, его характеризирующее; а в других—такого числа вовсе не окажется, и тогда самый вопрос «во сколько» не имеет смысла. Так, диагональ квадрата ни во сколько раз не длиннее и не короче стороны того же квадрата. Диагональ и сторона несравнимы между собою в направлении «во сколько», — как говорят—, «несоизмеримы». Какое бы число мы ни взяли для охарактеризования этого отношения, оно окажется негодным. Если у стороны есть свое число, то его нет у диагонали, и наоборот. Между тою и другою—какая-то бездна, непроходимая для чисел. Длина диагонали трансцендентна (—употребляю это слово в общем значении, a не как математический terminus technicus—) в отношении длины стороны. Этот факт впервые открыт еще Пифагором; как известно, сам геометр ужаснулся глубине открытого им факта и последствий, которые нз него проистекают. Ведь одним этим фактом раз навсегда нанесены непоправимые бреши всякому рационализму.

Такие комбинации символов, как √2 еще в Средиие Века именовались «numeri ficti, выдуманные числа» или,—в Liber abaci Леонарда Пизанского, относящейся к 1202 г.—,— «numeri surdi, глухие числа» и вовсе не рассматривались за числа. Впервые только в Arithmetica integra Михаила Штифеля, изданной в Нюренберге в 1544 г., им придано условное значение чисел и соответственное имя «numeri irrationales», причем Штифел заявляет, что «irrationalis numerus non est verus numerus», т. е. что «иррациональное число не есть истинное число». А и сейчас во множестве учебников алгебры важно заявляется, что хотя де извлечь корня квадратного из 2 нельзя, но все-таки и т. д.

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

507

смысла, если не порвать их круга; а если его и е порвать, то данная комбинация нарушает цельность самого крута, производя внутреннее разрушение и опустошение. Так—и вообще:     рассудочные операции ведут к таким комбинациям, которым нет уже места в среде своих производителей и которые требуют разрыва рассудочной области, чтобы родниться в новый, дотоле невиданный и немыслимый мир. Выход, в алгебре, достигается лишь созданием по-ту-сторонних, трансцендентных для круга данных операций арифметических сущностей, которые невыразимы уже в конечных символах, но ими постулируются, их обосновывают и им придают новый, высший смысл. Однако, лишь только эти новые арифметические сущности мы хотим мыслить в терминах старых, лишь только хотим влить вино новое в мехи ветхие,—так получается разложение символа новой сущности на составные элементы, несовместные друг с другом в области старых понятий, a самая сущность—испаряется.

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

Г. Кантора, К. Вейерштрасса, Ш. дю-Мерэ, Э. Гейне, Р. Дедекинда, Г. Коссака, C. Пинчерле, О. Бирманна, Ж. Таннери, М. Паша, В. Рёсселя и др. Построения, предложенные различными исследователями, были независимы друг от друга и потому,—что весьма понятно—, значительно разнятся по своему внешнему облику. Но, в существе дела, все они говорят одно и тоже. Поэтому я останавливаюсь несколько на одном из них,—на методе Г. Кантора—, того самого Кантора, о котором столько 

508

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

Чтобы понять тебе канторовское построение, попрошу тебя об одном: забудь все, что ты слыхивал доселе об иррациональных числах, и держи в уме, что надо создать обект мысли совершенно новый.

Г. Кантор берет бесконечное множество чисел а₁, a₂, а₃, а₄, …. a_n, …а_n+m, …, расположенных в порядке написания, так что после каждого числа следует ближайшее к нему и перед каждым, кроме первого, есть ближайшее, ему предшествующее. Этот ряд чисел рассматривается Кантором как единый обект α. Символически обозначим это, заключив всю группу в скобки, так, что явится возможность написать равенство, служащее определением α, a именно:

α=(a₁, a₂, a₃, ... a_n,… a_n+m, …)

Оно означает, что α есть ничто иное, как бесконечная группа, мыслимая в единстве.

В известных случаях числа a₁, a₂, a₃, ... a_n,… могут оказаться таковыми, что ряд α, как говорят, «будет сходиться», т. е. будет обладать следующим свойством: какое бы малое число σ мы ни взяли, всегда найдется n настолько великое, т. е. член, или элемент, а_n столь далекий, что разница между ним и любым  последующим членом а_n+m, —как бы ни было велико это m,— по абсолютной величине (т. е. не принимая во внимание знака разности) будет менее σ; символически:

| a_n+m—а_n | <σ , где σ сколь угодно мало.

Другими словами, чем дальше мы берем какой-нибудь член а_n, тем менее делается разница между ним и всеми последующими за ним, и, при том, может быть как угодно близко подведена к нулю, хотя ну-

509

лем, вообще говоря, никогда не сделается. Такова, например, будет группа чисел.

В самом деле, для нее абсолютная величина разности между (n+m)· и n·ым членом будет:

Чем более m, тем менее  величина , и потому тем больше числитель. Но он всегда . Ясное дело, что как бы ни было мало некоторое заданное нам число σ, всегда можно подобрать n столь великим, чтобы было потому,—тем более—, чтобы разность между (n + m)-м и n-м членом, т. е.  была   < σ. —Но возвратимся от частного примера к общей теории. Итак, если вообще группа α удовлетворяет условию сходимости, «сходится», то ряд а₁, а₂, а₃,.... получает название основного ряда, Fundamentalreihe, а вся группа, в качестве единого обекта а,—название иррационального числа.

Таким образом, иррациональность, в области конечной, на рассудок опирающейся арифметики, является бессмыслицею с точки зрения «чисел», т. е. чисел в собственном, конечном смысле, получаемых как сочетание конечного числа символов основных (1, 2, 3, 4, 5,...n,...). Никакою комбинацией этих символов, конечных, имманентных рассудку, нельзя дать образа для иррациональности или даже чего-либо «подобного» ей. Иррациональность безусловно трансцендентна, безусловно непостижима для области рациональной. И раз навсегда, окончательно и бесповоротно нужно отказаться

510

от намерения представить иррациональность в виде конечной комбинации рациональностей.

Но, пользуясь рациональными символами как безвидным веществом, мы можем, помощью совершенно новых конструктивных определений, внести в бескачественный, как целое, агрегат рациональных чисел новую устрояющую его сущность. Тогда в этом «веществе» будет запечатлено и воплощено число иррациональное. Каждое рациональное число в отдельности, каждый элемент, каждый атом этого агрегата сам по себе, по своему первоначальному смыслу, не имеет ничего общего с воплощенным в нем целым,—как эстетическая идея статуи не имеет ничего общего с кристалликами мрамора, статую составляющими, или смысл поэмы — со звуками отдельных слов. Но бесконечная,— точнее: сверх-конечная—, совокупность их всецело отображает это целое, эту идею. В канторовском основном ряде, который изображает, воплощает, представляет и éсть, согласно определению, иррациональное число α, каждый из элементов а₁, a₂,... а₃,...а_n, … покуда,— пока мы только входим в область иррациональностей—, не имеет ничего общего с α и даже нелепо спрашивать, в каком взаимо-отношении находятся эти существенно-несравнимые символы, из которых α трансцендентно для всякого а_i (где i==1, 2, 3, ...ν,...). Но совокупность чисел а_i, связанная признаком сходимости и определением «действий» над α, как единым обектом, в точности изображает эту трансцендентную сущность α. Впоследствии, когда α вполне обследовано, оказывается возможным транспонировать все а_i в виде α, хотя нельзя, обратно, транспонировать α в виде а_i; тогда устанавливается понятие «сходства» между a_i и α, хотя это «сходство» есть только сходство намека,— не тавтегории. Это значит, что хотя α трансцендентно для всех а_i, «непостижимо» с точки зрения а_i, но все а_i имманентны для α, насквозь для него прозрачны. Можно, даже сказать, что с точки зрения а_i нельзя видеть

511

тех трансцендентных корней а_i, того трансцендентного освещения аи, которое, однако, явно и очевидно с точки зрения α. Имманентность и трансцендентность в области сущностей разума подобна таковым же в области сущностей онтологии: Бог трансцендентен для мира, с точки зрения мира, но мир не трансцендентен Богу, а всецело пронизывается Божественными энергиями,— α и а_i различны, но если a рассматривать в ряду всех а_i, то можно усмотреть, что разница или сходство а_i и α с изменением i сами меняются. С точки зрения формально законнической, рассудочной, по закону тождества, а_i не похоже на α; но, для непосредственного сознания, а_i может намекать на α, и, притом, прозрачнее или мутнее, в зависимости от величины i. Впрочем, прошу обратить внимание, что здесь я только излагаю общие результаты, но не самую теорию.

Из понятия о равенстве двух иррациональностей,— α и другой, аналогичной ей, β,— полученных разными процессами—, устанавливается, что конечную часть символов а_i можно выкинуть из α, что можно из группы (а₁, а₂,.. а_n ) выбрать и удалить бесконечную группу, что можно, наконец, произвести попарно перестановку,—» транспозицию»—, бесконечного множества элементов а_i,— лишь бы не изменялась структура ряда, лишь бы элементы не перемещались так, чтобы быть не в состоянии вернуться к старому расположению определенными парными перестановками—, —и все таки α не изменится. Мало того, даже совсем разные совокупности (а₁, а₂, а₃,.. a_n,...) и (b₁, b₂, b₃,... b_n,…) могут выразить одно и то же число α: совершенно разные знаки могут выражать одну и ту же разумную сущность.

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

512

рая оперирует с «конечными» символами, — привнести новую идею, идею актуальной,— т. е. синтезированной—, бесконечности и, при помощи нее, создать особым творческим актом духа совершенно новую мысленную сущность,—иррациональность.

Была ли тут последовательность выведений? Конечно нет! Мы совершили скачок,—перерыв в развитии; мы внесли нечто существенно новое. Мы могли и не вносить его, ограничившись теми сущностями, которые даны,—т. е. сущностями «конечными»—, предавшись позитивистическому обезпложению разума и успокоившись на невозможности выйти за границы данных символов. Мы могли также подняться ввысь; но для этого требовалось напряжение воли и подвиг разума, — совершенно специфическое усилие и смирение пред обектом исследования потребовалось для создания символов иррациональности. Создание новой сущности требует свободного подвига. Свобода его выражается в том, что нам дана возможность либо оставаться при «хорошем» старом, либо подняться к «лучшему» новому. Подвиг  же — в том, что «естественные силы», — присущие уму инертность и само-довольство—, толкают его к коснению в старом, в конечном, в «известном». Нужно преодолеть самодовольство рассудка, порвать магический круг его конечных понятий и выступить в новую среду, — в среду сверх-конечного, рассудку недоступного и для него нелепого. Таков разумный подвиг в арифметике.

Oднакo, былo бы вeличайшeй oшибкoй видeть в этoм пoдвигe нeчтo иcключитeльнoe и ocoбнякoм cтoящee. Coврeмeнная матeматика, вcя цeликoм, пocтрoeна на пoнятии прeдeла и прeдeльнoгo прoцeccа, c кoтoрыми прихoдитcя имeть дeлo явнo вcякий раз, как явнo прocтупаeт идeя бecкoнeчнocти, и бeз мoлчаливoгo учаcтия кoтoрых в пocтрoeнии науки нeльзя cтупить ни шагу. Иррациoнальнocти, нeкoтoрыe намeки на тeoрию кoтoрых были cдeланы здecь,—этo лишь прocтeйший и oбщe-извecтный cлучай прeдeльнoгo прoцeccа; нo,

513

кроме того, имеется еще множество других подобных сему применений основного понятия о преодолении конечности. Так, трансцендентная аналитическая функция не может быть выражена никаким конечным числом элементов, тогда как относительно алгебраической Вейерштрасс нашел, что она всегда может быть выражена таковым. Но тогда выступает начало преодоления конечности и оказывается, по теореме Пуанкaрэ, что «всякую аналитическую функцию можно определить посредством счетового множества элементов (x—a)» 855). Таким образом, функция аналитическая стоит в таком же отношении к функции алгебраической, как число иррациональное к числу рациональному.

К этой же области преодоления конечности относятся чрезвычайно интересные, с теоретико-познавательной и онтологической точки зрения, исследования признаков сходимости и расходимости бесконечных рядов, в связи с вопросом о возрастании и убывании функций и теорией определенных интегралов. Тут «идеальные функции» Π. дю Буа-Реймона опять могут быть, в известном смысле, приравнены к иррациональностям, но уже не среди чисел и не среди функций, а среди интегралов. исследования Н. Абеля, Н. В. Бугаева, Π. дю Буа-Реймона, Э. Бореля, Ж. Адамара, А. Пуанкарэ и др. 886), несмотря на специальность задач ставимых там и методов там применяемых, имеют величайшее значение для философии, и нужно только удивляться, что до сих пор из них не сделано здесь почти никаких применений 887).

514