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

Хотя Коши поставил своей целью обоснование математического анализа и заявил в переиздании своего курса (1829), что достиг мыслимых пределов строгости, он допустил немало ошибок, впрочем вполне понятных, если учесть тонкость затронутых им понятий. Приведенные Коши определения функции, предела, непрерывности и производной по существу были правильными, но язык, которым ему приходилось пользоваться, не отличался ни ясностью, ни точностью. Подобно своим современникам, Коши был убежден, что из непрерывности следует дифференцируемость (гл. VII), и сформулировал множество теорем, в условиях которых предполагал только непрерывность, тогда как в доказательстве использовал дифференцируемость, причем упорствовал в своих заблуждениях, даже когда ему указывали на ошибку. Введя со всеми необходимыми оговорками определение столь важного понятия, как «определенный интеграл», Коши намеревался показать, что для любой непрерывной функции значение такого интеграла существует и единственно; однако предложенное им доказательство оказалось ошибочным (поскольку Коши не сознавал необходимости введения более тонкого понятия — равномерной непрерывности).{89} Ясно понимая различие между сходящимися и расходящимися рядами, Коши тем не менее неоднократно предлагал неверные теоремы о расходящихся рядах и приводил ошибочные доказательства. Так, он утверждал — и более того, доказывал, — что сумма бесконечного ряда непрерывных функций непрерывна (это верно лишь при условии равномерной непрерывности). Коши почленно интегрировал бесконечные ряды, утверждая, что проинтегрированный ряд соответствует интегралу от функции, представленной исходным рядом (и в этом случае его ошибка была обусловлена непониманием необходимости равномерной сходимости). Коши предложил критерий сходимости последовательности, ныне известный под названием

критерия Коши, но не сумел доказать его достаточность, так как для доказательства этого требовалось использовать такие свойства вещественных чисел, которые не были известны ни Коши, ни его современникам. Коши был также убежден, что если функция двух переменных имеет в некоторой точке предел, когда каждая из переменных в отдельности стремится к точке, то эта функция должна стремиться к пределу и в том случае, когда обе переменные изменяются одновременно и (переменная) точка M (x, y)

стремится к рассматриваемой точке N (a, b).

{90}

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

Как ни парадоксально, сам Коши отнюдь не был склонен сковывать себя требованиями математической строгости. Написав три учебника (1821, 1823 и 1829) главным образом с целью строгого обоснования математического анализа, Коши в своих исследованиях продолжал полностью игнорировать строгость. Дав определение непрерывности, Коши никогда не доказывал, что рассматриваемые им функции непрерывны. Неоднократно подчеркивая важность сходимости рядов и несобственных интегралов, Коши оперировал с бесконечными рядами, преобразованиями Фурье и несобственными интегралами так, словно никаких проблем сходимости не существовало. Определив производную как предел, Коши предложил и чисто формальный подход, аналогичный предложенному Лагранжем (гл. VI). Коши допускал и полусходящиеся (осциллирующие) ряды, например 1 − 1 + 1 − 1 + … и перестановку членов в так называемых условно сходящихся рядах (некоторых рядах с положительными и отрицательными членами). Совершал он и другие «преступления», но безошибочная интуиция позволяла ему угадывать истину даже в тех случаях, когда ему не удавалось установить ее в соответствии со стандартами строгости, присущими его же собственным учебникам математического анализа.

Труды Коши вызвали к жизни многочисленные работы по обоснованию математического анализа. Но основной вклад в решение этой важной проблемы был внесен другим выдающимся математиком — Карлом Вейерштрассом (1815-1897). Именно ему суждено было завершить обоснование математического анализа. Результаты своих исследований Вейерштасс начал излагать в лекциях, прочитанных в 1858-1859 гг. в Берлинском университете. Самые ранние из сохранившихся конспектов лекций Вейерштрасса были сделаны его учеником Германом Амандусом Шварцем весной 1861 г. Труды Вейерштрасса полностью освободили математический анализ от какой бы то ни было зависимости от движения, интуитивных представлений и геометрической наглядности, которые во времена Вейерштрасса выглядели уже довольно подозрительно.