Математика. Утрата определенности.
Шрифт:
Несмотря на слово «алгебраический», которое Коши вынес в заголовок своего курса, он не разделял традиционной веры в «общность алгебры». Коши имел здесь в виду рассуждения, неявно используемые его современниками: то, что истинно для вещественных чисел, истинно и для комплексных чисел; то, что истинно для сходящихся рядов, истинно и для расходящихся рядов; то, что истинно для конечных величин, истинно и для бесконечно малых величин. Коши очень тщательно определил и установил свойства основных понятий математического анализа: функции, предела, непрерывности, производной и интеграла. Он также ввел различие между бесконечными рядами, имеющими сумму в указанном им смысле, и бесконечными рядами, не имеющими такой суммы, т.е. различие между сходящимисяи расходящимисярядами. Последние Коши объявил «вне закона». {88} В октябре 1826 г. Абель имел все основания сообщить в письме своему бывшему учителю Хольмбе, что Коши «в настоящее время единственный, кто знает, как следует действовать в математике». Далее Абель называет Коши глупцом и фанатиком, но замечает, что тот по крайней мере считает необходимым «воздать дьяволу дьяволово».
88
Вряд
Хотя Коши поставил своей целью обоснование математического анализа и заявил в переиздании своего курса (1829), что достиг мыслимых пределов строгости, он допустил немало ошибок, впрочем вполне понятных, если учесть тонкость затронутых им понятий. Приведенные Коши определения функции, предела, непрерывности и производной по существу были правильными, но язык, которым ему приходилось пользоваться, не отличался ни ясностью, ни точностью. Подобно своим современникам, Коши был убежден, что из непрерывности следует дифференцируемость (гл. VII), и сформулировал множество теорем, в условиях которых предполагал только непрерывность, тогда как в доказательстве использовал дифференцируемость, причем упорствовал в своих заблуждениях, даже когда ему указывали на ошибку. Введя со всеми необходимыми оговорками определение столь важного понятия, как «определенный интеграл», Коши намеревался показать, что для любой непрерывной функции значение такого интеграла существует и единственно; однако предложенное им доказательство оказалось ошибочным (поскольку Коши не сознавал необходимости введения более тонкого понятия — равномерной непрерывности). {89} Ясно понимая различие между сходящимися и расходящимися рядами, Коши тем не менее неоднократно предлагал неверные теоремы о расходящихся рядах и приводил ошибочные доказательства. Так, он утверждал — и более того, доказывал, — что сумма бесконечного ряда непрерывных функций непрерывна (это верно лишь при условии равномерной непрерывности). Коши почленно интегрировал бесконечные ряды, утверждая, что проинтегрированный ряд соответствует интегралу от функции, представленной исходным рядом (и в этом случае его ошибка была обусловлена непониманием необходимости равномерной сходимости). Коши предложил критерий сходимости последовательности, ныне известный под названием критерия Коши,но не сумел доказать его достаточность, так как для доказательства этого требовалось использовать такие свойства вещественных чисел, которые не были известны ни Коши, ни его современникам. Коши был также убежден, что если функция двух переменных имеет в некоторой точке предел, когда каждая из переменных в отдельности стремится к точке, то эта функция должна стремиться к пределу и в том случае, когда обе переменные изменяются одновременно и (переменная) точка M (x, y)стремится к рассматриваемой точке N (a, b). {90}
89
Функция y = f(x)называется непрерывной,скажем на интервале а < x < b,если для каждой точки xэтого интервала и каждого (сколь угодно малого!) числа > 0существует такое ,что |y(x) - у(x 0)| < коль скоро |x - x 0| < ,и равномерно непрерывнойна этом интервале, если соответствующее значение можно считать не зависящим от x 0(а только от ); тонкое (и важное) различие между непрерывностью и равномерной непрерывностью было осознано лишь Кантором и Вейерштрассом.
90
Неверность этого утверждения Коши следует из рассмотрения простейшей функции Z = Z(x, у),где Z = 0,при xy = 0и Z = 1при xy /= 0.
С самого начала работы по обоснованию математического анализа носили сенсационный характер. После заседания Парижской академии наук, на котором Коши изложил свою теорию сходимости рядов, Лаплас поспешил домой и оставался там взаперти до тех пор, пока не проверил на сходимость все ряды, которые он использовал в своей «небесной механике». Велика же была его радость, когда он обнаружил, что ряды сходятся.
Как ни парадоксально, сам Коши отнюдь не был склонен сковывать себя требованиями математической строгости. Написав три учебника (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, но до какого-то времени и отрицательные числа. Позднее в одной из своих работ Гамильтон писал:
91
Другими словами, Гамильтон полагал (a, b) + (c, d) = (a + c, b + d); (a, b)•(c, d) = (ac - bd, ad + bc).Подобное же построение теории комплексных чисел ранее (около 1840 г.) было дано одним из создателей неевклидовой геометрии Я. Бойаи в работе, представленной на конкурс, объявленный Лейпцигским научным обществом. Но, к сожалению, эта работа не была должным образом оценена жюри конкурса и потому осталась неопубликованной.
Настоящая теория пар опубликована, дабы продемонстрировать скрытый смысл [комплексных чисел] и показать на этом примечательном примере, что выражения, которые все считали чисто символическими и не допускавшими интерпретации, входят в мир идей, обретая реальность и значимость,
Далее в той же статье говорится следующее:
В теории отдельных чисел символ -1 лишен всякого смысла[курсив Гамильтона] и означает невозможное извлечение корня, или мнимое число, но в теории пар тот же символ -1 обретает смысли означает возможное извлечение корня, или вещественную пару, а именно (как мы только что убедились) главное значение квадратного корня из пары (-1, 0). Следовательно, знак -1 может быть надлежащим образом использован во второй теории, но отнюдь не в первой, и мы можем, если угодно, написать для любой пары (a 1, a 2)
(a 1, a 2) = a 1+ a 2– 1
…и интерпретировать символ -1 в том же выражении как обозначающий вторую единицу, или чисто вторичную пару (0, 1).
Так Гамильтон убрал то, что он назвал «метафизическими камнями преткновения» в системе комплексных чисел.
В свою теорию пар Гамильтон включил и свойства вещественных чисел — пар вида (a, 0).В работе от 1837 г. он попытался логически обосновать систему вещественных чисел. Исходя из понятия времени, Гамильтон вывел свойства положительных целых чисел, а затем распространил эти свойства на рациональные (положительные и отрицательные целые числа и дроби) и иррациональные числа. Но развитая Гамильтоном теория была логически весьма несовершенна и особенно несостоятельна во всем, что касалось иррациональных чисел. Она была не только неясно изложена, но и неверна. Математический мир вполне справедливо просто не заметил эту работу Гамильтона. Интерес Гамильтона к обоснованию вещественных и комплексных чисел был ограниченным. Истинной целью его исследований были кватернионы. Но когда Гамильтону случалось работать в области математического анализа, он, подобно большинству своих современников, без малейших колебаний свободно оперировал свойствами вещественных и комплексных чисел.
Вейерштрасс первым понял, что обоснование математического анализа останется незавершенным, если не добиться более глубокого понимания системы вещественных чисел, и первым предложил строгое определение и вывод свойств иррациональных чисел на основе известных свойств рациональных чисел. Свои исследования Вейерштрасс начал еще в 40-х годах XIX в., но его результаты долгое время оставались неопубликованными; впервые они стали известны лишь из лекций, прочитанных Вейерштрассом в Берлинском университете в 60-е годы.
Некоторые другие математики, прежде всего Рихард Дедекинд и Георг Кантор, также правильно определили иррациональные числа и доказали их свойства, приняв за исходные свойства рациональных чисел. Работы этих математиков были опубликованы в 70-х годах XIX в. Дедекинд, как и в Вейерштрасс, отчетливо сознавал необходимость ясной теории иррациональных чисел для последовательного изложения математического анализа. В небольшой книге «Непрерывность и иррациональные числа» (1872) [46] Дедекинд писал, что начиная с 1858 г. он «острее, чем когда-либо, ощущал отсутствие строгого обоснования арифметики». В работе о теоремах анализа (гл. IX) Кантор также признавал необходимость последовательной теории иррациональных чисел. Работы Вейерштрасса, Дедекинда и Кантора позволили математикам наконец доказать, что 2•3 = 6.