Хотя Коши поставил своей целью обоснование математического анализа и заявил в переиздании своего курса (1829), что достиг мыслимых пределов строгости, он допустил немало ошибок, впрочем вполне понятных, если учесть тонкость затронутых им понятий. Приведенные Коши определения функции, предела, непрерывности и производной по существу были правильными, но язык, которым ему приходилось пользоваться, не отличался ни ясностью, ни точностью. Подобно своим современникам, Коши был убежден, что из непрерывности следует дифференцируемость (гл. VII), и сформулировал множество теорем, в условиях которых предполагал только непрерывность, тогда как в доказательстве использовал дифференцируемость, причем упорствовал в своих заблуждениях, даже когда ему указывали на ошибку. Введя со всеми необходимыми оговорками определение столь важного понятия, как «определенный интеграл», Коши намеревался показать, что для любой непрерывной функции значение такого интеграла существует и единственно; однако предложенное им доказательство оказалось ошибочным (поскольку Коши не сознавал необходимости введения более тонкого понятия — равномерной непрерывности). {89}Ясно понимая различие между сходящимися и расходящимися рядами, Коши тем не менее неоднократно предлагал неверные теоремы о расходящихся рядах и приводил ошибочные доказательства. Так, он утверждал — и более того, доказывал, — что сумма бесконечного ряда непрерывных функций непрерывна (это верно лишь при условии равномерной непрерывности). Коши почленно интегрировал бесконечные ряды, утверждая, что проинтегрированный ряд соответствует интегралу от функции, представленной исходным рядом (и в этом случае его ошибка была обусловлена непониманием необходимости равномерной сходимости). Коши предложил критерий сходимости последовательности, ныне известный под названием критерия Коши,но не сумел доказать его достаточность, так как для доказательства этого требовалось использовать такие свойства вещественных чисел, которые не были известны ни Коши, ни его современникам. Коши был также убежден, что если функция двух переменных имеет в некоторой точке предел, когда каждая из переменных в отдельности стремится к точке, то эта функция должна стремиться к пределу и в том случае, когда обе переменные изменяются одновременно и (переменная) точка M (x, y)стремится к рассматриваемой точке N (a, b). {90}
С самого начала работы по обоснованию математического анализа носили сенсационный характер. После заседания Парижской академии наук, на котором Коши изложил свою теорию сходимости рядов, Лаплас поспешил домой и оставался там взаперти до тех пор, пока не проверил на сходимость все ряды, которые он использовал в своей «небесной механике». Велика же была его радость, когда он обнаружил, что ряды сходятся.
Как ни парадоксально, сам Коши отнюдь не был склонен сковывать себя требованиями математической строгости. Написав три учебника (1821, 1823 и 1829) главным образом с целью строгого обоснования математического анализа, Коши в своих исследованиях продолжал полностью игнорировать строгость. Дав определение непрерывности, Коши никогда не доказывал, что рассматриваемые им функции непрерывны. Неоднократно подчеркивая важность сходимости рядов и несобственных интегралов, Коши оперировал с бесконечными рядами, преобразованиями Фурье и несобственными интегралами так, словно никаких проблем сходимости не существовало. Определив производную как предел, Коши предложил и чисто формальный подход, аналогичный предложенному Лагранжем (гл. VI). Коши допускал и полусходящиеся (осциллирующие) ряды, например 1 − 1 + 1 − 1 + … и перестановку членов в так называемых условно сходящихся рядах (некоторых рядах с положительными и отрицательными членами). Совершал он и другие «преступления», но безошибочная интуиция позволяла ему угадывать истину даже в тех случаях, когда ему не удавалось установить ее в соответствии со стандартами строгости, присущими его же собственным учебникам математического анализа.
Труды Коши вызвали к жизни многочисленные работы по обоснованию математического анализа. Но основной вклад в решение этой важной проблемы был внесен другим выдающимся математиком — Карлом Вейерштрассом (1815-1897). Именно ему суждено было завершить обоснование математического анализа. Результаты своих исследований Вейерштасс начал излагать в лекциях, прочитанных в 1858-1859 гг. в Берлинском университете. Самые ранние из сохранившихся конспектов лекций Вейерштрасса были сделаны его учеником Германом Амандусом Шварцем весной 1861 г. Труды Вейерштрасса полностью освободили математический анализ от какой бы то ни было зависимости от движения, интуитивных представлений и геометрической наглядности, которые во времена Вейерштрасса выглядели уже довольно подозрительно.
К 1861 г. Вейерштрасс отчетливо понимал, что вопреки широко распространенному убеждению (гл. VII) дифференцируемость отнюдь не следует из непрерывности. Мир был потрясен, когда в 1872 г. Вейерштрасс представил Берлинской академии пример функции, непрерывной при всех вещественных x,но не дифференцируемой ни при одном значении x.(Он сам не опубликовал свой пример; это было сделано, разумеется со ссылкой на Вейерштрасса, Полем Дюбуа-Реймоном в 1875 г. Ранее Вейерштрасса примеры непрерывной, но нигде не дифференцируемой функции были с помощью геометрических соображений построены Больцано в 1830 г. и Шарлем Селирье примерно в то же время, но второй из этих примеров был опубликован лишь в 1890 г., а первый — еще позже; в силу этого Больцано и Селирье не оказали влияния на развитие математики.)
То обстоятельство, что Вейерштрасс привел свой пример на позднем этапе развития математического анализа, следует расценивать как удачу, ибо, как сказал в 1905 г. Эмиль Пикар, «если бы Ньютон и Лейбниц знали, что непрерывные функции необязательно должны иметь производные, то дифференциальное исчисление никогда не было бы создано». Строгое мышление может стать препятствием для творческого начала.
Коши и даже Вейерштрасс — в начале своей деятельности по обоснованию математического анализа — рассматривали все свойства вещественных и комплексных чисел как нечто данное, не нуждающееся в обосновании. Первый шаг к логическому обоснованию вещественных и комплексных чисел был сделан в 1837 г. создателем кватернионов Гамильтоном. Гамильтон знал, что комплексные числа можно использовать для представления векторов на плоскости, и пытался найти (гл. IV) числа с тремя единицами, которые могли бы служить представлением векторов в пространстве. Гамильтон стал изучать свойства комплексных чисел с тем, чтобы обобщить их. Одним из результатов, изложенных в его работе «Алгебраические пары, с предварительным очерком о времени», было логическое обоснование комплексных чисел, при построении которого Гамильтон, однако, считал свойства вещественных чисел общеизвестными. Вместо комплексных чисел a + b√−1Гамильтон ввел упорядоченные пары (a, b)вещественных чисел и определил операции над этими парами так, чтобы результаты совпадали с результатами операций, производимых над комплексными числами a + b√−1. {91}Следует заметить, что Гамильтону пришлось создавать новую теорию комплексных чисел, поскольку для него, как и для всех его предшественников, были неприемлемы не только символ √−1, но до какого-то времени и отрицательные числа. Позднее в одной из своих работ Гамильтон писал:
Настоящая теория пар опубликована, дабы продемонстрировать скрытый смысл [комплексных чисел] и показать на этом примечательном примере, что выражения, которые все считали чисто символическими и не допускавшими интерпретации, входят в мир идей, обретая реальность и значимость,
Далее в той же статье говорится следующее:
В теории отдельных чисел символ √−1 лишен всякого смысла[курсив Гамильтона] и означает невозможное извлечение корня, или мнимое число, но в теории пар тот же символ √−1 обретает смысли означает возможное извлечение корня, или вещественную пару, а именно (как мы только что убедились) главное значение квадратного корня из пары (−1, 0). Следовательно, знак √−1 может быть надлежащим образом использован во второй теории, но отнюдь не в первой, и мы можем, если угодно, написать для любой пары (a 1, a 2)
(a 1, a 2) = a 1+ a 2√−1
…и интерпретировать символ √−1 в том же выражении как обозначающий вторую единицу, или чисто вторичную пару (0, 1).
