интеграл, она мыслится перекрытой стихией алогического становления и видится и сквозит через данную стихию как ее предельный контур.
Далее, необходимо заметить, что предыдущее определение интеграла есть, в сущности, определение того, что обычно называется «определенным» интегралом. Если мы просто напишем, как это понимается всегда,
???(x)dx=?(x)
то тут утверждается: ?(x) есть производная функции ?(x) и ?(x)dx есть ее дифференциал; интеграл же от этой функции и есть сама первообразная функция y=f(x). В этом способе выражения на первом плане стоит понимание интегрирования как действия, обратного дифференцированию. Однако если мы выдвинем на первый план момент предельного суммирования, то ясно, что это суммирование предполагает определенные пределы, в которых совершается данное суммирование. Тут имеется в виду процесс, который в общем можно обозначить так:
???(x)dx=?(b)-?(a)
Тут имеются два соседних значения функции f(a) и f(b), между которыми и происходит процесс суммирования бесконечно–малых приращений. Этот процесс можно изобразить при помощи суммирования бесконечного количества таких разниц:
??(b)-??(a);??(b)-??(b); ??(b)-??(b)и т. д.
Но ясно и так, что этот процесс разыгрывается между значениями а и b, в пределах между а и b, и что только в этом случае процесс суммирования получает законченную форму. Такой интеграл, который является результатом суммирования в определенных пределах, называется определенным интегралом в отличие от интеграла, не содержащего этих пределов и носящего название неопределенного интеграла. Ясно после этих разъяснений, что, хотя в обычных руководствах по анализу изложение начинается с неопределенных интегралов, логически, а также исторически первенство остается за понятием определенного интеграла. И только игнорирование интеграла как результата суммирования и выдвижение на первый план интеграла как результата взаимообразного действия с дифференцированием приводит к тому, что целесообразным считается начинать именно с неопределенных интегралов.
В заключение этого параграфа полезно подвести диалектический итог учению о приращениях и связанных с этим понятий дифференциала и интеграла.
Во–первых, после предыдущего рассуждения должна быть ясна такая тройственная последовательность. Если мы возьмем функцию саму по себе, у =??(x), т. е. функцию в ее непосредственном бытии, то антитезой к ней будет, очевидно, переход ее в инобытие, в становление. Инобытийное становление для функции, как и вообще для всего, есть система бесконечно–малых приращений. И следовательно, если функция в себе есть тезис, то диалектическим антитезисом, отрицанием ее будет функция вне себя, функция в области нарастающего становления. Но тогда синтезом функции в себе и функции вне себя будет, очевидно, функция как интеграл, потому что в функции как интеграле дана, во–первых, она сама и, во–вторых, дано перекрытие ее суммой всех ее бесконечно–малых наращений. Функция—тезис, ее наращение, дифференциал — антитезис, интеграл—синтез.
Далее, можно диалектически расчленить и среднюю область из только что указанных, область дифференциала. Тут мы имеем 1) приращение аргумента Ах, 2) приращение функции ?у и 3) предел их взаимоотношения=y’ производную, или -1) дифференциал аргумента, 2) дифференциал функции и 3) производную.
Таким образом, получается следующая резюмирующая диалектическая схема.
2. Функция вне себя. Ее становление:
a) дифференциал аргумента, dx,
b) дифференциал функции, dy,
c) производная =у’.
3. Ставшая функция — интеграл ?y?dx=?(x).
III. ДИФФЕРЕНЦИАЛbНОЕ И ИНТЕГРАЛbНОЕ ИСЧИСЛЕНИЕ. ИХ ЛОГИЧЕСКИЙ СОСТАВ
1. Дифференциальное исчисление. Теперь мы знакомы со всеми основными категориями исчисления бесконечно–малых, и теперь мы можем наметить основную структуру и двух главных наук, из которых и состоит математический анализ, — дифференциальное и интегральное исчисления. Начнем с дифференциального исчисления. Сумбур, царящий в обычных изложениях этой науки, когда в одну кучу валится ряд почти не связанных между собой проблем, заставляет с особенной тщательностью и критикой относиться к реальному содержанию того, что мы тут находим. Отбросим то, что обычно называется «введением в анализ», эту смесь алгебры, геометрии, тригонометрии, анализа и многих других вещей; к тому же основные категории этого введения рассмотрены нами в предыдущем изложении. Далее, отбросим всякие геометрические и механические приложения, которые — в порядке системы — занимают место именно приложений, а не центрального содержания науки. Наконец, отбросим и всю технику доказательств и вычислений и сосредоточимся только на существенном содержании центральных положений науки, выставляя на первый план логическую связь и последовательность развития существа дифференциального исчисления.
Общее содержание этой науки, если отбросить все приложения, все детали и всю технику демонстрации, представляется в виде следующих трех проблем.
Прежде всего, первая большая проблема и первый большой отдел дифференциального исчисления — это само дифференцирование функций. Чтобы внести ясность в структуру этого отдела, необходимо четко формулировать, во–первых, процесс самого дифференцирования, во–вторых же, классификацию функций.
Что касается первого вопроса, то общая формула дифференцирования является не чем иным, как развитым приложением самого понятия производной. Так как дифференцировать функцию — значит найти ее производную, то ясно, что процесс дифференцирования может состоять только из последовательного приложения элементов, входящих в самое понятие производной. В развитой форме это дифференцирование представляют в виде четырех приемов: 1) к аргументу и функции присоединяется приращение —
y=?(x)
y+?y=?(x+?x)
2) определяется отсюда приращение функции —
?y=?(x+?x)-y
?y=?(x+?x)-?(x)
3) берется отношение приращений ?у и ?x
4) происходит переход к пределу, считая, что ?х стремится к 0. Отсюда —
Таков в общей форме процесс всякого дифференцирования. Правда, этот общий прием не всегда удобен, но об этих деталях говорить не будем.
Что же касается вопроса о классификации функций, которая только и может внести логический стройный порядок в этот отдел дифференциального исчисления, то и этого вопроса в данном месте касаться не стоит. Вопрос о классификации функций отнюдь не такой легкий, как это представляют себе математические руководства. Легкость достигается тем, что обычно перечисляют только простейшие и легчайшие функции и отбрасывают более сложные, а потом начинают вводить их без всякого предупреждения.
Так, неизвестно, в каком месте надо излагать гиперболические функции. Тригонометрические функции хотя и излагаются сейчас же после дифференцирования «алгебраических» функций, но неизвестно почему. Неизвестно также, что, собственно, такое «тригонометрические» функции. Обычное определение их как отношения определенных линий к радиусу круга—слишком внешнее определение; оно в сущности ничего не говорит. Уже одно выражение их при помощи числа е в известных формулах Эйлера указывает на полную их загадочность и таинственность; и не так–то просто найти их вполне существенное определение. Эллиптические функции справедливо отнесены в отдел теории функций комплексного переменного. Но положение самого этого отдела в системе анализа совершенно неопределенно. Казалось бы, естественно было бы излагать функции комплексного переменного вслед за рациональными и иррациональными функциями, поскольку само понятие комплексной величины есть неограниченное завершение понятия величины вообще. Тем не менее ни в дифференцировании, ни в интегрировании функций обычно этих функций не помещают, а помещают их почему–то в отдел «аналитических» функций, причем опять невозможно разобрать, что такое аналитические функции. С одной[230 — В рукописи: общей.] стороны, аналитические функции комплексного переменного поставлены в ближайшую связь. С другой стороны, оказывается, что аналитические — это все вообще функции (так как аналитические—те, которые дифференцируемы). И т. д., и т. д., и т. д.
Вся эта неразбериха, не свидетельствующая о логической силе математиков, требует кропотливого анализа, который невозможно провести здесь, не удаляясь далеко в сторону, хотя только логически стройная классификация функций и могла бы внести порядок и последовательность в рассматриваемый отдел дифференциального (и соответственно—интегрального) исчисления. Сюда же относится, конечно, дифференцирование неявных функций, нахождение частных производных и производных высшего порядка. Это естественно вытекает из самого понятия дифференцирования.
Второй большой отдел дифференциального исчисления—это учение о рядах. Положение этого отдела в системе анализа— вполне специфическое. Ряды, конечно, нельзя помещать где попало. Логическое место их определяется тем основным обстоятельством, что ряд представляет собой инобытие производной. Если производная является образом пребывания функции в инобытии, то ряд является образом пребывания самой производной в инобытии.
Если производная—тезис, то ряд есть антитезис или, вернее, такой антитезис, который воплощает в себе в инобытийном[231 — В рукописи: многобытийном.] порядке тезис, производную. Чтобы это понять с полной четкостью, необходимо проанализировать диалектически хотя бы один какой–нибудь ряд. Для такого примера мы и возьмем простейший ряд—ряд Маклорена.
Этот ряд—
состоит из двух элементов, вдвинутых один в другой, — именно из ряда последовательно данных производных, начиная с самой функции при нулевом значении аргумента, —
?(0),?’,?»,?»‘, …
и из разложения в ряд е—
Что такое ряд производных, у которых последовательно повышается порядок? Производная есть, как мы видели, закон инобытия той или иной идеальной взаимозависимости. Производная от этой производной, или производная второго порядка, есть переход этого самого закона в инобытие. Производная третьего порядка есть еще новый инобытийный закон этого второго закона. И т. д. Ясно, стало быть, что если производная есть инобытие функции, то ряд производных последовательно повышающегося порядка есть инобытие самого перехода функции в инобытие, инобытие самого становления, инобытийное становление становления функции в инобытии, отрицание отрицания функции в инобытии. Переходя в инобытие и порождая из себя производную, функция отрицает себя. Но, продолжая неизменно дробить этот свой переход в инобытие и тем порождать производные все более и более высокого порядка, функция отрицает свое отрицание, исчерпывает свое отрицание и тем стремится к новому утверждению — к утверждению себя в инобытии не только как становящейся, но и как ставшей.
Однако этого еще недостаточно для того, чтобы действительно совершилось отрицание функции. Дело в том, что производные последовательно повышающегося порядка, взятые сами .по себе, вполне висят в воздухе; они ни к чему не прикреплены; и неизвестно, какие из них брать и как их брать. Тут утверждается только то, что вообще существуют такие производные; но на что они тут употреблены, об этом сама их отвлеченная последовательность ничего не говорит. Надо, стало быть, привязать эти висящие в воздухе ино–бытийные образы к каким–нибудь фактам, чтобы они стали не только теоретической возможностью, но и реально–субстанциальным существованием функции в инобытии, т. е. чтобы действительно получилось разложение функции в ряд. Однако привязать эти отвлеченно данные производные в целях инобытийного осуществления можно только к таким фактам, которые сами даны в становлении. В математике, в теории пределов, рассматривается одно такое тело, которое представляет собой как раз становящуюся единицу. Это именно число с. Ведь это е, которое разлагается:
очевидно, представляет собой единицу, сложенную с отношением ее ко всем возможным другим числам, кроме единицы, причем эти числа уходят в бесконечность. Ясно, что число е есть не что иное, как единица, но такая единица, которая разработана и перекрыта становящимся слоем взаимоотношения ее со всем окружающим числовым инобытием. Но ведь мы должны прикрепить ряд наших производных не просто к единице, но к определенному аргументу разлагаемой функции. Функция, переходя в инобытие, перестраивает существующее в ней отношение к аргументу. И, создавая инобытие своего инобытия, она все равно должна как–то оставаться связанной с судьбой своего аргумента. Поэтому наши производные должны быть осуществлены не просто
