Математика. Утрата определенности.

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

Такие бесконечно малые, как dx (обозначение Лейбница), равны нулю, следовательно, равны нулю (dx)², (dx)³ и т.д., утверждал Эйлер, потому что последние принято считать бесконечно малыми более высокого порядка, чем dx. Производная dy/dx (в обозначениях Лейбница), бывшая для Лейбница отношением бесконечно малых, понимаемых в его смысле, для Эйлера, по существу, обращалась в неопределенность 0/0. Эйлер утверждал, что 0/0 может принимать много значений, так как

n∙0 = 0 при любом числе n, и, разделив равенство на 0, мы получим n = 0/0. Какое именно значение принимает 0/0 для вполне определенной функции, можно установить с помощью обычного метода вычисления производной. Эйлер демонстрирует это на примере функции y = x². Придадим переменной x приращение h (Эйлер обозначал приращение ω

). Пока h, по предположению, не равно нулю. [Ср. сказанное в связи с выражениями (1) — (4).] Следовательно,

k/h = 2x + h.

Там, где Лейбниц считал приращение h бесконечно малым, но не равным нулю, Эйлер положил h равным нулю, после чего отношение k/h, т.е. 0/0, оказалось равным 2x.

Эйлер подчеркивал, что эти дифференциалы (предельные значения k и h) — абсолютные нули и из них нельзя извлечь ничего, кроме их отношения, которое и было вычислено в заключение и оказалось конечной величиной. В третьей главе «Основ анализа» Эйлера есть немало рассуждений такого рода. Стремясь приободрить читателя, Эйлер замечает, что понятие производной не столь уж загадочно, как обычно думают, хотя оно в глазах многих делает дифференциальное исчисление подозрительным. Разумеется, предложенное Эйлером обоснование метода нахождения производной было ничуть не более здравым, чем обоснования, предлагавшиеся Ньютоном и Лейбницем.

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

Наиболее претенциозная из последующих попыток заложить фундамент анализа была предпринята в XVIII в. Лагранжем. Подобно Беркли и другим своим предшественникам, Лагранж считал, что полученные с помощью анализа правильные результаты объясняются наложением и взаимной компенсацией ошибок. Свою собственную реконструкцию анализа Лагранж изложил в книге под названием «Теория аналитических функций» (1797; 2-е изд. — 1813).{79} Подзаголовок книги гласил: «Содержащая основные теоремы дифференциального исчисления, [доказанные] без использования бесконечно малых, исчезающих величин, пределов и флюксий, и сведенная к искусству алгебраического анализа конечных величин» (курсив М. К.).

Критикуя Ньютона, Лагранж, в частности, указывал, что, рассматривая предел отношения дуги к хорде, тот считал хорду и дугу равными не до и не после, а в момент исчезновения. В этой связи Лагранж заметил:

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

Лагранж не был удовлетворен ни бесконечно малыми величинами Лейбница, ни абсолютными нулями Эйлера, так как оба этих понятия, «хотя и правильны в действительности, все же недостаточно ясны для того, чтобы служить основанием науки, надежность выводов которой зиждется на ее очевидности».