Вопрос о том, чему равна сумма последнего ряда, порождал бесконечные споры. Если этот ряд записать в виде
(1 − 1) + (1 − 1) + (1 − 1) + …,
то становится ясно, что его сумма должна быть равна нулю. Но если тот же ряд записать как
1 − (1 − 1) − (1 − 1) − …,
то столь же ясно, что сумма ряда должна равняться единице. Однако ясно также и то, что если сумму ряда обозначить через S,то
S= 1 − (1 − 1 + 1 − 1 + …),
или
откуда S= 1/ 2. Последний результат подкрепляется еще одним доводом. Интересующий нас ряд можно рассматривать как геометрическую прогрессию со знаменателем −1, а сумма бесконечной геометрической прогрессии с первым членом aи знаменателем rравна a/(1− r).В нашем случае сумма равна 1/[1 − (−1)], или 1/ 2.
Гвидо Гранди (1671-1742) в своем небольшом сочинении «Квадратура окружностей и гипербол» ( Quadratura circuit et hyperbolae,1703) другим методом получил сумму, равную 1/ 2. Полагая в (8) x = 1, он нашел:
1/ 2= 1 − 1 + 1 − 1 + 1 − ….
Тем самым Гранди утверждал, что сумма ряда равна 1/ 2. Но одновременно он заявлял, что сумма того же ряда равна 0. По мнению Гранди, полученное им «равенство» 0 = 1/ 2доказывало, что мир мог быть создан из ничего.
В письме к Христиану Вольфу, опубликованному в Acta eruditorumза 1713 г., Лейбниц рассмотрел тот же ряд. Он согласился с выводом Гранди, но считал, что к подобному заключению можно было бы прийти, не обращаясь к исходной функции. Взяв первый член, сумму первых двух, трех, четырех и т.д. членов, Лейбниц получил 1, 0, 1, 0, …. Следовательно, счел он, 0 и 1 равновероятны и их среднее арифметическое, равное 1/ 2, — наиболее вероятное значение суммы ряда. Якоб, Иоганн и Даниил Бернулли, а также Лагранж согласились с доводами Лейбница. Признав, что его доводы носят не столько математический, сколько метафизический характер, Лейбниц сослался на распространенность такого рода аргументации: в математике, по его словам, метафизических истин гораздо больше, чем обычно думают.
В одном из писем, датированных 1745 г., и в работе 1754-1755 гг. Эйлер предпринял попытку решить проблему суммирования рядов. Ряд, сумма которого по мере увеличения числа членов все меньше отличается от некоторого фиксированного числа, называется сходящимся, а само это число — суммойряда. По Эйлеру, ряд сходится, если члены его монотонно убывают. Ряд, члены которого не убывают и могут даже возрастать, расходится, а так как ряды такого типа порождаются хорошо известными явными функциями, то Эйлер предложил считать суммой ряда значение функции (при соответствующем значении x).
Теория Эйлера породила дополнительные проблемы. Взяв разложение
1/(1 + x) 2= (1 + x) −2= 1 −2 x+ 3 x 2 −4 x 3+ …,
Эйлер получил при x = −1
Результат, казалось бы, вполне осмысленный. Но затем Эйлер рассмотрел ряд для функции 1/(1− x):
1/(1 − x) = 1 + x+ x 2+ x 3+ …
и получил при x = 2
Так как сумма ряда, стоящего в правой части этого ряда, должна превышать сумму предыдущего ряда, Эйлер заключил, что −1 больше, чем бесконечность. Некоторые из современников Эйлера утверждали даже, что отрицательные числа, которые больше бесконечности, отличаются от отрицательных чисел, меньших нуля. С этим Эйлер не согласился: по его мнению, бесконечность разделяет положительные и отрицательные числа так же, как нуль.
Взгляды Эйлера на сходимость и расходимость рядов были ошибочными. В его время уже были известны ряды с монотонно убывающими членами, тем не менее не имеющие суммы по Эйлеру, — да и ему самому приходилось работать с рядами, которые не были порождены явными функциями. «Теория» бесконечных рядов Эйлера была явно неполной. Кроме того, Николай Бернулли (1687-1759) в ныне утерянном письме (1743), по-видимому, обратил внимание Эйлера на то, что различные аналитические выражения могут порождать один и тот же ряд, и если следовать предложенному Эйлером определению суммы ряда, то этому ряду надлежит приписать различные суммы. В письме Гольдбаху (1745) Эйлер ответил, что Бернулли не привел никаких примеров в подтверждение своих слов и что он, видимо, сам не верит в то, что два истинно различных алгебраических выражения могут порождать один и тот же ряд. Однако Жан Шарль Калле (1744-1799) предложил пример ряда, порождаемого двумя различными функциями. Лагранж пытался опровергнуть пример Калле, но, как выяснилось впоследствии, аргументы Лагранжа были ошибочными.
Подход Эйлера к бесконечным рядам был неадекватен и по другим причинам. Ряды можно дифференцировать и интегрировать, и то, что дифференцирование и интегрирование ряда приводит соответственно к производной и антипроизводной функции, породившей ряд, требует особого обоснования. Несмотря на это, Эйлер провозгласил: «Всякий раз, когда бесконечный ряд получается при разложении некоторого замкнутого выражения [формулы для функции], его допустимо использовать в математических операциях как эквивалент этого выражения даже при тех значениях переменной, при которых ряд расходится». Мы можем обратить себе на пользу расходящиеся ряды, утверждал Эйлер, и защитить их применение от всяких возражений.
Другие математики XVIII в. также сознавали необходимость отличать ряды, называемые ныне сходящимися, от рядов, которые мы называем расходящимися, хотя и не знали, где именно проходит различие между теми и другими. Трудность была вызвана новизной понятия: подобно первопроходцам, математикам XVIII в. приходилось прорубать себе дорогу через девственный лес. Первоначальная идея Ньютона, принятая Лейбницем, Эйлером и Лагранжем (ряд не более чем «длинный» многочлен и, следовательно, относится к области алгебры), не могла служить основой для обоснования операций, производимых с рядами.
В XVIII в. господствовал формальный подход к бесконечным рядам. Математики того времени отменили все ограничения на операции над рядами, например перестали заботиться о сходимости ряда. Использование рядов давало полезные результаты — и математики довольствовались практическим подтверждением правильности применяемых ими методов. Они далеко вышли за пределы того, что могли бы обосновать, но в целом обращались с расходящимися рядами довольно осторожно.
Хотя арифметика и алгебра были обоснованы ничуть не лучше математического анализа, математики сосредоточили свои усилия на последнем, надеясь изгнать из дифференциального и интегрального исчисления любую неоднозначность. Столь явное предпочтение математическому анализу объяснялось, несомненно, тем, что к началу XVIII в. различные типы чисел стали привычными и казались вполне естественными, в то время как понятия математического анализа по-прежнему оставались странными и даже загадочными, а потому менее приемлемыми. Кроме того, применение чисел не приводило к противоречиям, тогда как применение дифференциального и интегрального исчисления, бесконечных рядов и других разделов математического анализа рождало противоречия.
Ньютоновский подход к анализу потенциально легче поддавался обоснованию, чем подход Лейбница, хотя методология Лейбница отличалась большей гибкостью и была более удобной для приложений. Английские математики все еще надеялись обосновать оба подхода, связав их с евклидовой геометрией. К тому же они путали ньютоновские моменты (приращения неделимых, нынешние дифференциалы) и его непрерывные переменные. Математики, жившие в континентальной Европе, придерживались подхода Лейбница и пытались обосновать введенное им понятие дифференциала (бесконечно малой). Книги, посвященные объяснению и обоснованию подходов Ньютона и Лейбница, слишком многочисленны и противоречивы, чтобы подробно говорить о них. {78}
