Истина в пределе. Анализ бесконечно малых
Шрифт:
«Лейбниц умер — диспут окончен», — написал аббат Конти Ньютону 10 декабря 1716 года. Тем не менее он погрешил против истины: с уходом одного из оппонентов диспут не прекратился, так как наиболее ярые участники с обеих сторон — Джон Кейль, «обезьяна Ньютона», и Иоганн Бернулли, «ведущий математик», друг и ученик Лейбница, были живы (Кейль умер в 1721-м, Бернулли — в 1748 году). Не будем забывать и о Ньютоне, который пережил Лейбница на 10 лет, первые шесть из которых его сильнее всего заботил неоконченный диспут. Он продолжал писать всё новые и новые труды о праве на авторство математического анализа, о том, что говорилось в старых письмах и документах, о том, насколько подло поступали те, кто хотел воспользоваться его открытиями или критиковал его науку. Эти труды по большей части были неотредактированными, подобно множеству других работ Ньютона, посвященных математике, алхимии, богословию, истории… Ньютон собственноручно составил список наблюдений, поставив под сомнение и ревностно отцензурировав хвалебные слова Кристиана Вольфа в адрес Лейбница, опубликованные после его смерти в Acta eruditorum,
«Мораль пуританского мира, — пишет Ф. Мэнюэль, — подобно любой христианской морали предписывает любить Бога и ближнего своего. К этим двум принципам Ньютон сводил всю религию. Однако в пуританстве также предписывалось искоренять зло. Любить и разрушать — такой была противоречивая догма».
Глава 6.
Укрощенные бесконечно малые
Бесконечности, большие и малые
Анализ бесконечно малых был наполнен бесконечно большими и бесконечно малыми величинами с самого момента создания, в течение первых трех четвертей XVII века, когда его продвинули вперед Ньютон и Лейбниц, равно как и позднее, в течение всего XVIII века. Бесконечно малая величина — это числовая функция или последовательность, которая стремится к нулю. Так как она не является строго равной нулю, ее можно использовать в знаменателе дроби, а так как она является бесконечно малой, ее можно принять равной нулю, когда мы хотим упростить выражение. Бесконечно большая величина, в свою очередь, остается неизменной, когда мы прибавляем к ней обычное число. Иными словами, если N — бесконечно большая величина, то выполняется достаточно необычное равенство: N + 1 = N.
Разумеется, из-за этих необычных свойств существование бесконечно больших и бесконечно малых неоднократно ставилось под сомнение. Анализ бесконечно малых регулярно критиковался из-за того, что он был основан на бесконечно малых величинах. Критики задавались вопросом: как можно получить верный результат с помощью метода, в основе которого лежит понятие, столь нечеткое с точки зрения логики?
Математики, которые начали использовать бесконечно малые в XVII веке, — Кеплер, Кавальери, Ферма, Валлис, Паскаль, Барроу (этот список далеко не полон), много раз указывали, что подобные рассуждения приводил еще Архимед. Однако они не утруждали себя написанием строгих доказательств — в отличие от Архимеда. Известные в то время труды Архимеда были опубликованы в середине XVI века, и прошло почти 50 лет, прежде чем математики того времени смогли понять и применить его непростые методы. Архимед был наиболее цитируемым автором в течение всего XVII века. Как мы уже говорили в главе 2, математики этого периода очищали методы Архимеда от геометрической «оболочки» и приводили их в арифметическом и алгебраическом виде. Эти разделы математики набирали популярность в течение XVII века, особенно после открытия аналитической геометрии Декартом и Ферма. В то время математиков больше интересовали открытия, которые можно совершить, используя необычные свойства бесконечно малых, и они не тратили время на построение строгих геометрических доказательств.
Во многих случаях подобное пренебрежение строгостью объяснялось попросту нежеланием заниматься излишней работой: «Всё это можно доказать, используя архимедовы техники, однако это потребует больших усилий», — писал Кавальери в 1635 году.
Ньютон, Лейбниц и бесконечно малые
Даже создатели математического анализа не приводили исчерпывающих доказательств открытых ими методов. И Ньютон, и Лейбниц осознавали недостаток логики в своих работах и пытались каждый по-своему если не устранить, то хотя бы смягчить этот недостаток.
Так, Ньютон попытался избежать использования бесконечно малых путем перехода к пределу, однако потерпел неудачу. Тем не менее его усилия стали источником вдохновения для Коши. Покажем, как следует понимать дробь 0/0, получаемую при h = 0 в выражении
необходимом для определения производной f(x) функции f в точке х. Здесь мы позволим себе небольшой анахронизм. Сам Ньютон никогда не использовал понятие производной функции, равно как и не использовал подобные обозначения, а вместо этого употреблял понятие «исчезающая величина». Таким образом, разность f(x + h) — f(x) и само число h будут исчезающими величинами: обе они «исчезают», когда h становится равным нулю. «Последним отношением исчезающих величин» он называл значение вышеуказанной дроби при h = 0. Очевидно, что Ньютон имеет в виду переход к пределу, когда говорит о «последнем отношении исчезающих величин», чтобы обосновать неопределенность 0/0, к которой сводится вышеприведенная дробь при h = 0. Однако он так и не дал этому методу строгого определения. Сам Ньютон осознавал этот недостаток и в объяснении прибегал к физическим аналогиям: «Вероятно, вы можете возразить,
Бесконечно малые величины играли в математическом анализе Лейбница заметно большую роль. Например, они фигурировали в самом определении кривой, которым пользовался Лейбниц. Для Ньютона кривая была образована точкой в движении: «Полагаю математические величины не состоящими из очень малых частей, а описываемыми непрерывным движением. Кривые, таким образом, описываются и создаются не расположением частей, а непрерывным движением точек». Лейбниц же считал, что кривые состоят из отрезков прямой бесконечно малой длины: «Чтобы найти касательную, надо провести прямую, соединяющую две точки кривой, расположенных на бесконечно малом расстоянии, или продленную сторону многоугольника с бесконечным числом углов, который для нас равносилен кривой», — писал Лейбниц в 1684 году.
Понятие кривой еще более четко описывается в книге «Анализ бесконечно малых» маркиза Лопиталя (1696). Второй постулат книги звучит так: «Будем предполагать, что кривую линию можно считать состоящей из бесконечного числа бесконечно малых линий, или, что аналогично, многоугольником с бесконечным числом сторон, каждая из которых имеет бесконечно малую длину, а кривизна линии определяется углами между этими сторонами».
Лейбниц объяснял использование бесконечно малых подобно своим предшественникам: «Выбираются столь большие или столь малые величины, чтобы ошибка была меньше данной, так что различия с методом Архимеда заключаются лишь в способе записи, но наш метод более соответствует духу изобретательства». Лейбниц попал в самую точку: в то время ученых больше интересовали открытия, а не доказательства.
Книга Беркли «Аналитик» имела подзаголовок: «Трактат, адресованный неверующему математику». Этим «неверующим математиком», скорее всего, был астроном Эдмунд Галлей, который всегда славился атеистическими взглядами и как-то заставил больного отказаться от посещения епископа Беркли, убедив его в непрочности доктрин христианства. В своей книге Беркли хотел показать, что рассуждения анализа бесконечно малых столь же непрочны, как и религиозные догмы. Второй подзаголовок книги звучит так; …где исследуется, является ли предмет, принципы и заключения более отчетливо познаваемыми и с очевидностью выводимыми, чем религиозные таинства и положения веры». Он добавлял: «Извлеки бревно из глаза своего, и сможешь извлечь соринку из глаза брата твоего».
В своей книге Беркли также приводит ряд вопросов, над которыми полагается размышлять. Процитируем некоторые из них: «Вопрос 62. Разве непостижимые тайны не могут с большим правом допускаться в божественной вере, чем в человеческой науке? Вопрос 63. Разве те математики, которые резко выступают против непостижимых тайн, когда-либо критически исследовали собственные принципы?»
«Призраки исчезнувших величин»
Несмотря на огромный шаг вперед, который позволил совершить анализ бесконечно малых Ньютона и Лейбница, критика в адрес недостаточной прочности его основ была обоснованной.
Наиболее ярым критиком был английский епископ и философ Джордж Беркли. В 1734 году он опубликовал книгу под названием «Аналитик», где в критическом духе были рассмотрены основные идеи анализа с целью продемонстрировать их недостаточную логичность.
Так, Беркли заявил, что вывод формулы для вычисления производной произведения, приведенный Ньютоном в «Началах» (см. главу 3), был ошибочным. Приведя доказательство Ньютона, Беркли пишет: «Однако очевидно, что для получения момента или приращения прямоугольника АВ прямым и истинным методом необходимо взять стороны такими, какими они получились в результате увеличения их на полные приращения, и затем перемножить их (А + а) x (В + b), а полученное произведение (АВ + аВ + bА + ab) и есть увеличенный прямоугольник. Отсюда, если мы вычтем АВ, остаток (aВ + bА + ab) и будет истинным приращением прямоугольника, превышающим тот, который был получен предыдущим незаконным и непрямым методом, на величину ab. И это справедливо в любом случае, какими бы ни были величины а и b — большими или малыми, конечными или бесконечно малыми, приращениями, моментами или скоростями».