— обыкновенная конечная величина. Позитивисты из математиков так обыкновенно и бахвалятся, что–де тут и задумываться не над чем: дифференциал, если его вычислить, есть 1, 2, 3 или какое–нибудь другое число или величина. По–видимому, это очень примитивное суждение. Таким образом можно аннулировать весь математический анализ, так как производная тоже может быть конечной величиной, интеграл — гоже конечная величина, всякий предел тоже есть нечто конечное или по крайней мере точно установленное, постоянное и т. д. и т. д. Математическое опровержение этого заключается в том, что дифференциал есть не просто величина, но—функция, т. е. предполагает наличие определенного закона получения этой величины. Кроме того, дифференциал даже и в виде функции отнюдь не всегда имеет определенное значение. Известны такие непрерывные функции, которые не во всех своих точках дифференцируемы, т. е. соответствующая им кривая не везде имеет касательную. Такие функции дифференцируются, т. е. имеют производную, но эта производная не во всех точках обладает определенным значением. Однако раз есть производная, есть и дифференциал, и раз производная не везде обладает определенным значением, то и дифференциал такой функции отнюдь не везде получает точное и определенное значение. Таким образом, сказка о дифференциале функции как о той или иной только конечной величине рушится сама собой.
Кроме того, если бы дифференциал был только конечной величиной, то это означало бы, что в определение интеграла нельзя вводить дифференциала, ибо иначе всякий интеграл оказался бы бесконечно большой величиной, потому что интеграл получается из дифференциала в результате предельного суммирования бесконечно умаляющихся величин. На самом же деле интеграл может сколько угодно быть конечной величиной. Следовательно, дифференциал отнюдь не есть нечто конечное в абсолютном смысле. Из того, что он может быть выражен конечным образом, отнюдь не вытекает конечность его собственной природы. В том, что мы чертим окружность, нет ровно ничего иррационального: взял циркуль и — черти. Но это еще не значит, что отношение окружности к диаметру есть рациональное число. При всей внешней конечности окружности, при всей простоте ее чертежа отношение ее длины к диаметру, оказывается, невозможно выразить никаким конечным числом знаков. Таким образом, конечность дифференциала не есть нечто абсолютное и она совсем не характеризует его сущности.
Вместе с тем категория дифференциала, разумеется, как–то связана с конечным. Какой–то конечный элемент входит в эту категорию, поскольку он есть функция производной (которая может быть конечной) и вполне произвольного приращения аргумента (которое здесь, следовательно, тоже может мыслиться и конечным). Таким образом, конечность входит в понятие дифференциала, но не исчерпывает его.
Часто можно встретить такое определение дифференциала. Это, говорят, есть бесконечно–малая величина, характеризующая приращение функции. Это определение также не исчерпывающе для дифференциала. Во–первых, дифференциал вовсе не есть только просто величина, но предполагает определенный принцип получения этой величины. Во–вторых, бесконечно–малое указывает не просто на величину, а на процесс бесконечного и непрерывного уменьшения величины. Дифференциал в этом случае всегда только и был бы процессом уменьшения. А по определению, дифференциал фактически выступает именно в качестве конечного (хотя, как мы установили выше, и не только в качестве конечного). Конечное никак невозможно исключить из дифференциала. А чистая процессуаль–ность как раз исключает.
В старые наивные времена, до Коши, появлялась мысль, что дифференциал есть просто нуль. Так рассуждал ни больше и ни меньше как великий Эйлер. Но как же это может быть? Ведь если всерьез принимать дифференциал за нуль, то дифференциальное частное было бы А это сами математики считают неопределенностью. Куда же делась бы в таком случае производная? Ведь производная связана не с нулями, а с приближением функции и аргумента к нулю. А это огромная разница. Если мы дифференциал объявим нулем, а потом будем вместе с математиками «раскрывать неопределенность» этого подставляя вместо нулей бесконечно умаляющиеся наращения, то это типичнейшее idem per idem[208 — то же через то же (лат.).]. Правда, сам Эйлер в этой теории нетверд и кое–где рассматривает дифференциалы вовсе не как нули, а как бесконечно–малые приращения.
Однако даже и мнение Эйлера я бы не отбросил целиком.
Рациональное зерно его заключается в том, что при рассмотрении в условиях уже готовой производной (а только при этих условиях и возникает речь о дифференциале) мы получаем эти dy и dx отнюдь не в качестве только стремления к нулю. Стремление к нулю и переход всего этого отношения к пределу необходимы для того, чтобы только впервые получить производную. Но теперь мы не нуждаемся в этом получении и производная у нас уже имеется (причем совершенно неважно, какими именно средствами она получена). Что же такое dyndxB такой ситуации? Если производная сейчас уже не есть переход к пределу, то и dy, dx не есть переход к пределу. И если производная сейчас толкуется как уже готовый предел, то и dy, dx должны быть тоже готовыми пределами. Но ведь их предел был нуль. Значит, в каком–то смысле и dy и dx стали нулями. Предел уже не вне их и не притягивает их из бесконечности, но всосался в них самих, растворился в них самих, стал едино с этим бесконечным процессом, подобно тому как и производную мы теперь рассматриваем в качестве уже готового предела, уже достигнутого, уже охватившего всю бесконечность стремящихся к нему приближений. Ясно, стало быть, что дифференциал в известном смысле обязательно есть нуль.
Итак, дифференциал не есть ни конечная величина, ни бесконечная, ни самый процесс становления конечности или бесконечности, ни нуль. Что же это такое? Кроме того, элементы конечности, элементы бесконечности, элементы становления и даже нуля, несомненно, наличны в понятии дифференциала. И все–таки он не есть ни одно из этих определений. И напрасно математики старались и стараются такими способами понять категорию дифференциала, столь ясную и понятную формально–математически. Необходимо какое–то объединение всех этих четырех моментов, чтобы получить ясный логический смысл дифференциала. Но что же это за объединение?
3. Дифференциал функции есть функция двух переменных — производной от данной функции и произвольного приращения аргумента. Что это значит?
Прежде всего, как участвует в дифференциале функции ее производная? Производная есть предел, — мы знаем чего именно. Что такое предел? Уже и относительно предела возникают, как мы знаем, многие из тех сомнений, которые затемняют категорию дифференциала. Уже и предел многие готовы понять как просто конечную величину, как будто бы 1, 2, 3 и т. д. уже в силу своей конечности есть некие пределы. Но поскольку понятие предела гораздо проще и понятнее дифференциала, то обыкновенно и не входят глубоко в логический анализ этого понятия. Что ж тут объяснять? Вот предел; а вот то, что к нему стремится. И — все ясно. Но на самом же деле это, как мы видели в логической теории предела, вовсе не так ясно и просто. Предел логически имеет значение только вместе с бесконечным и непрерывным процессом приближения к нему его инобытия. Иначе это не предел, а просто конечное число. Предел, как мы видим, есть — в логическом смысле— обязательно синтез конечного и бесконечного, и не просто синтез вообще, а некоторого рода специальный синтез, ибо становление тоже есть синтез конечного и бесконечного; да и само конечное тоже ведь только с наивно–метафизической точки зрения является просто конечным, и больше ничего. Только наивно–мстафизи–чески можно было бы гипостазировать категорию конечного в отрыве от всего прочего. На самом же деле всякое конечное число, даже единицу, как мы видели, можно представить состоящим из бесконечного количества отдельных достаточно мелких элементов. И всякий отрезок прямой, как бы он мал ни был в абсолютном смысле, состоит из бесконечного количества отрезков достаточно малых. Значит, тот синтез конечного и бесконечного, который характерен для предела, есть специфический синтез конечного и бесконечного. Это именно есть синтез достигнутости конца для бесконечного процесса; это ставшее того бесконечного становления, в котором находилось конечное. Тут важна пройденность бесконечного пути, чего нет в других указанных только что синтезах конечного и бесконечного. Однако не будем входить здесь в детали и ограничимся тем, что просто назовем этот синтез синтезом предела или предельным синтезом. Он прежде всего и возникает, когда речь заходит о дифференциале.
Итак, дифференциал функции как функция ее производной есть прежде всего функция синтеза предела, функция предельного синтеза. Этот момент чрезвычайно важен. Он указывает на то, что нечто правильное было в этих наивных исканиях математиков, когда дифференциал объявлялся то конечной, то бесконечной величиной, то нулем. Поскольку дифференциал есть определенная функция некоей предельности, уже одно это свидетельствует о том, что в дифференциале есть и нечто конечное, и нечто бесконечное, и даже нуль. Конечное и бесконечное содержится, как мы сейчас установили, во всяком пределе. А нуля не избежать потому, что производная (в виде которой и фигурирует предельность дифференциала) есть предел отношения величин, именно стремящихся к нулю. Таким образом, математики, дававшие указанные выше понимания дифференциала, не были абсолютно не правы, а давали только односторонние понимания.
Итак, в дифференциале есть синтез конечного и бесконечного — предельного типа. Но что же дальше? Дифференциал есть, как мы знаем, функция и еще одного переменного, именно — произвольного приращения аргумента. Что это значит? Это значит, что функция предельности, фигурирующая в нем, дана не в чистом виде, но в измененном. И изменение это произошло тут в направлении изменения аргумента. Аргумент потребовал здесь некоего конечного фиксирования этой предельности, т. е. функционирования ее на некотором конечном протяжении. Дифференциал, стало быть, есть очень сложный принцип получения величины: он не только требует соединения конечного и бесконечного по типу предела, но он еще и требует определенной области, где бы это соединение воплощалось. Сама область тут в абсолютном смысле не определена, как и вообще весь дифференциал (да и все инфинитезимальные понятия) есть не абсолютная величина, а только принцип ее возникновения. Но что какая–то вообще определенная область осуществления синтеза должна быть, это тут зафиксировано строго.
Что же такое тогда дифференциал? Если говорить образно и грубо, то это есть: как бы закругленное становление, остановившийся бесконечный и непрерывный процесс; такое течение, которое совершается в определенных берегах; как бы снимок, что ли, со становления, некоторый отрезок, вырезка из этой стихии становления; остановившийся смысл той непрерывной текучести, о смысле которой невозможно было до этого момента и спрашивать ввиду полной неразличимости этого течения. Это отрезок линии постепенного изменения цвета какого–нибудь предмета, когда, напр., желтое переходит в зеленое — начиная от точки, когда желтое совершает первый сдвиг, до той точки, когда оно уже целиком перестает быть желтым и становится зеленым. Тут везде непрерывность,
