Истина в пределе. Анализ бесконечно малых

Книга Беркли «Аналитик» имела подзаголовок: «Трактат, адресованный неверующему математику». Этим «неверующим математиком», скорее всего, был астроном Эдмунд Галлей, который всегда славился атеистическими взглядами и как-то заставил больного отказаться от посещения епископа Беркли, убедив его в непрочности доктрин христианства. В своей книге Беркли хотел показать, что рассуждения анализа бесконечно малых столь же непрочны, как и религиозные догмы. Второй подзаголовок книги звучит так; …где исследуется, является ли предмет, принципы и заключения более отчетливо познаваемыми и с очевидностью выводимыми, чем религиозные таинства и положения веры». Он добавлял: «Извлеки бревно из глаза своего, и сможешь извлечь соринку из глаза брата твоего».

В своей книге Беркли также приводит ряд вопросов, над которыми полагается размышлять. Процитируем некоторые из них: «Вопрос 62. Разве непостижимые тайны не могут с большим правом допускаться в божественной вере, чем в человеческой науке? Вопрос 63. Разве те математики, которые резко выступают против непостижимых тайн, когда-либо критически исследовали собственные принципы?»

«Призраки исчезнувших величин»

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

Наиболее ярым критиком был английский епископ и философ Джордж Беркли. В 1734 году он опубликовал книгу под названием «Аналитик», где в критическом духе были рассмотрены основные идеи анализа с целью продемонстрировать их недостаточную логичность.

Так, Беркли заявил, что вывод формулы для вычисления производной произведения, приведенный Ньютоном в «Началах» (см. главу 3), был ошибочным. Приведя доказательство Ньютона, Беркли пишет: «Однако очевидно, что для получения момента или приращения прямоугольника АВ прямым и истинным методом необходимо взять стороны такими, какими они получились в результате увеличения их на полные приращения, и затем перемножить их (А + а) x (В + b), а полученное произведение (АВ + аВ + bА + ab) и есть увеличенный прямоугольник. Отсюда, если мы вычтем АВ, остаток (aВ + bА + ab) и будет истинным приращением прямоугольника, превышающим тот, который был получен предыдущим незаконным и непрямым методом, на величину ab. И это справедливо в любом случае, какими бы ни были величины а и b — большими или малыми, конечными или бесконечно малыми, приращениями, моментами или скоростями».

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

Эйлер и анализ бесконечно малых

Если Ньютон и Лейбниц считаются создателями дифференциального и интегрального исчисления, то Эйлера можно назвать создателем математического анализа — области математики, куда входят оба эти раздела. В этом смысле его книги «Введение в анализ бесконечно малых» (1748), «Наставление по дифференциальному исчислению» (1755) и «Интегральное исчисление» (1768—1770) сыграли ключевую роль в оформлении структуры этой новой дисциплины.