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

Несколько иной подход к математическому анализу предложил Лейбниц (см. [141]). По его мнению, величины, обозначенные нами h и k (Лейбниц обозначал их символами dx и dy), убывая, достигают «исчезающе малых», или «бесконечно малых», значений. На этой стадии h и k отличны от нуля, но меньше любого заданного числа. Следовательно, любыми степенями h, например h² или h³, заведомо можно пренебречь. Получающееся при этом отношение h/k и есть та самая величина, которую требовалось найти, т.е. производная, которую Лейбниц обозначил dy/dx.

Геометрический смысл величин h и k по Лейбницу заключался в следующем. Пусть P и Q — «бесконечно близкие» точки на кривой. Тогда dx — разность их абсцисс, a dy — разность их ординат (рис. 6.4). Кроме того, касательная к кривой в точке T совпадает с дугой PQ. Следовательно, отношение dy/dx задает угол наклона касательной. Треугольник PQR, называемый характеристическим, не являлся изобретением Лейбница: им пользовались Паскаль и Барроу, труды которых были известны Лейбницу. Лейбниц считал, что треугольник PQR подобен треугольнику STU, — и пользовался этим подобием для доказательства некоторых утверждений относительно dy/dx.

Рис. 6.4. Характеристический треугольник PQR.

Лейбниц широко использовал понятие интеграла и независимо пришел к идее суммирования элементарных прямоугольников, на которые разбивается криволинейная трапеция [ср. (7)]. Но переход от суммы конечного числа прямоугольников к сумме бесконечно большого числа прямоугольников был не вполне понятен. По утверждению Лейбница, сумма элементарных прямоугольников превращалась из конечной в бесконечную, когда ширина h прямоугольников становилась «бесконечно малой». Для бесконечной суммы бесконечно малых величин — интеграла — Лейбниц ввел специальное обозначение ∫ydx. Он научился вычислять такие интегралы и независимо открыл основную теорему интегрального исчисления, утверждающую, что вычисление интеграла представляет собой операцию, обратную нахождению производной (антидифференцирование). После примерно двенадцати лет упорной работы над своим вариантом математического анализа Лейбниц опубликовал первую работу о новом исчислении в журнале Acta eruditorum («Журнал ученых») за 1684 г. Наиболее выразительный отзыв на эту работу Лейбница дали его друзья, братья Якоб и Иоганн Бернулли, заявив, что это «не столько загадка, сколько объяснение».

Идеям Ньютона и Лейбница недоставало ясности, и критики не замедлили воспользоваться этим. Ньютон не снисходил до ответа на критические замечания, тогда как Лейбниц считал своим долгом ответить на возражения критиков. Его попытки объяснить в частной переписке свое понимание бесконечно малых величин столь многочисленны, что для подробного разбора их понадобилось бы немало страниц. В статье, опубликованной в томе Acta eruditorum за 1689 г., Лейбниц утверждал, что бесконечно малые — не действительные, а некие фиктивные числа. Но эти фиктивные, или мнимые, числа подчиняются тем же правилам арифметики, что и обычные числа.

В той же статье Лейбниц, исходя из геометрических соображений, доказывал, что высший дифференциал (бесконечно малая более высокого порядка, чем первый), например (dx)², относится к низшему дифференциалу dx, как точка к прямой, и что dx относится к x, как точка к земному шару или радиус Земли к радиусу небесной сферы. Отношение двух бесконечно малых Лейбниц мыслил как отношение двух неопределенностей или бесконечно малых величин, которое, однако, можно выразить через конечные величины. Например, геометрически отношение dy к dx есть не что иное, как отношение ординаты к подкасательной (TU к SU на рис. 6.4).

Одним из критиков, выступивших против Лейбница, был Бернгардт Нювентидт (1654-1718). Ответ Лейбница ему был опубликован в Acta eruditorum за 1695 г. Лейбниц обрушился на ревнителя математической строгости, справедливо заметив, что чрезмерная скрупулезность не должна отвращать нас от плодов нового открытия. Лейбниц утверждал, что его метод отличается от метода Архимеда только терминологией, и считал, что избранная им терминология в большей мере отвечает искусству совершать открытия. Термины «бесконечная» и «бесконечно малая» относятся к величинам, которые можно считать сколь угодно большими или сколь угодно малыми, когда требуется показать, что совершаемая ошибка меньше «наперед заданного числа» (т.е. что ошибки нет). Предельные величины, т.е. все эти «действительные бесконечности» и «бесконечно малые», можно использовать как удобный рабочий инструмент в вычислениях, подобно тому как алгебраисты с превеликой пользой используют мнимые корни. (Напомним, что во времена Лейбница мнимые корни имели весьма шаткий статус.)

В письме к Валлису, написанном в 1699 г., Лейбниц дал несколько иное объяснение бесконечно малых:

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