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

Клайн Морис

В первой работе по математическому анализу (1669) Ньютон не без гордости ввел бесконечные ряды для упрощения основных операций — дифференцирования и интегрирования. Так, воспользовавшись для интегрирования (антидифференцирования) функции y = 1/(1 + x ²) теоремой о разложении бинома, Ньютон получил ряд

y= 1 - x ² + х ⁴– x ⁶+ х ⁸– …,

который и проинтегрировал

почленно. Ньютон обратил внимание на то, что если ту же функцию представить в виде y = 1/(x ²+ 1), то та же теорема о разложении бинома даст ряд

y= 1/ x ²– 1/ х ⁴ + 1/ x ⁶– 1/ х ⁸ + ….

Ньютон заметил далее, что при достаточно малом xследует пользоваться первым разложением, а при достаточно большом x— вторым. Из этого видно, что Ньютон интуитивно сознавал важность такого свойства ряда, как сходимость,хотя и не имел о нем ясного представления.

Обоснование, данное Ньютоном производимым им операциям над бесконечными рядами, может служить великолепным образцом логики того времени. В статье 1669 г. Ньютон утверждал:

То, что обычный анализ [алгебра] выполняет с помощью уравнений с конечным числом членов (если это выполнимо), [новый анализ] всегда может выполнить с помощью уравнений с бесконечным числом членов [рядов]; поэтому я, не задумываясь, назвал новое исчисление анализом. Рассуждения в нем не менее надежны, чем в обычном анализе, не менее точны и уравнения, хотя мы, смертные, чей разум ограничен узкими пределами, не можем ни выразить, ни постичь все члены этих уравнений дабы найти из них точные значения тех величин, которые нам нужны.

Для Ньютона бесконечные ряды были частью алгебры — высшей алгебры, изучающей выражения не с конечным, а с бесконечным числом членов.

Подобно Ньютону и Лейбницу, над решением странной проблемы бесконечных рядов бились несколько представителей славного математического рода Бернулли, а также Эйлер, Д'Аламбер и другие математики XVIII в. Применяя бесконечные ряды в анализе, они совершали всевозможные ошибки, предлагали неверные доказательства, приходили к неверным заключениям. Более того, иногда они в обоснование своих результатов приводили рассуждения, которые мы, ретроспективно, можем назвать лишь смехотворными и нелепыми. Даже беглого перечисления таких рассуждений достаточно, чтобы понять, какая сумятица и неразбериха царили тогда в представлениях о свойствах бесконечных рядов.

При x = 1 ряд (8), представляющий функцию 1/(1 + x),

1/(1 + x) = 1 - x+ x ²– х ³+ x ⁴– …, (8)

переходит в ряд

1 - 1 + 1 - 1 + 1 - ….

Вопрос о том, чему равна сумма последнего ряда, порождал бесконечные споры. Если этот ряд записать в виде

(1 - 1) + (1 - 1) + (1 - 1) + …,

то становится ясно, что его сумма должна быть равна нулю. Но если тот же ряд записать как

1 - (1 - 1) - (1 - 1) - …,

то столь же ясно, что сумма ряда должна равняться единице. Однако ясно также и то, что если сумму ряда обозначить через S,то

S= 1 - (1 - 1 + 1 - 1 + …),

или

S= 1 - S,

откуда S= ¹/ ₂.

Последний результат подкрепляется еще одним доводом. Интересующий нас ряд можно рассматривать как геометрическую прогрессию со знаменателем -1, а сумма бесконечной геометрической прогрессии с первым членом aи знаменателем rравна a/(1– r).В нашем случае сумма равна 1/[1 - (-1)], или ¹/ ₂.

Гвидо Гранди (1671-1742) в своем небольшом сочинении «Квадратура окружностей и гипербол» ( Quadratura circuit et hyperbolae,1703) другим методом получил сумму, равную ¹/ ₂. Полагая в (8) x = 1, он нашел:

¹/ ₂= 1 - 1 + 1 - 1 + 1 - ….

Тем самым Гранди утверждал, что сумма ряда равна ¹/ ₂. Но одновременно он заявлял, что сумма того же ряда равна 0. По мнению Гранди, полученное им «равенство» 0 = ¹/ ₂доказывало, что мир мог быть создан из ничего.

В письме к Христиану Вольфу, опубликованному в Acta eruditorumза 1713 г., Лейбниц рассмотрел тот же ряд. Он согласился с выводом Гранди, но считал, что к подобному заключению можно было бы прийти, не обращаясь к исходной функции. Взяв первый член, сумму первых двух, трех, четырех и т.д. членов, Лейбниц получил 1, 0, 1, 0, …. Следовательно, счел он, 0 и 1 равновероятны и их среднее арифметическое, равное ¹/ ₂, — наиболее вероятное значение суммы ряда. Якоб, Иоганн и Даниил Бернулли, а также Лагранж согласились с доводами Лейбница. Признав, что его доводы носят не столько математический, сколько метафизический характер, Лейбниц сослался на распространенность такого рода аргументации: в математике, по его словам, метафизических истин гораздо больше, чем обычно думают.

В одном из писем, датированных 1745 г., и в работе 1754-1755 гг. Эйлер предпринял попытку решить проблему суммирования рядов. Ряд, сумма которого по мере увеличения числа членов все меньше отличается от некоторого фиксированного числа, называется сходящимся, а само это число — суммойряда. По Эйлеру, ряд сходится, если члены его монотонно убывают. Ряд, члены которого не убывают и могут даже возрастать, расходится, а так как ряды такого типа порождаются хорошо известными явными функциями, то Эйлер предложил считать суммой ряда значение функции (при соответствующем значении x).

Теория Эйлера породила дополнительные проблемы. Взяв разложение

1/(1 + x) ²= (1 + x) ^{– 2}= 1 – 2 x+ 3 x ² – 4 x ³+ …,

Эйлер получил при x = -1

= 1 + 2 + 3 + 4 + ….

Результат, казалось бы, вполне осмысленный. Но затем Эйлер рассмотрел ряд для функции 1/(1– x):