Стивен Строгац - Удовольствие от Х.Увлекательная экскурсия в мир математики от одного из лучших преподавателей в мир

Два основных понятия числового ряда — частичные суммы и сходимость. Частичная сумма представляет собой нарастающую сумму. Вы просто суммируете конечное число членов, а затем останавливаетесь. Например, если сложить первые три члена ряда 1–1 + 1–1 +… получим 1–1 + 1 = 1. Давайте назовем это S 3. Буква S обозначает «сумму», а индекс 3 показывает, что мы сложили только первые три члена. Вот несколько первых частичных сумм для этого ряда

S 1= 1

S 2= 1–1 = 0

S 3= 1–1 + 1 = 1

S 4= 1–1 + 1–1 = 0.

Таким образом, мы видим, что частичные суммы скачут между 0 и 1, и при этом не наблюдается никакой тенденции остановиться на 0, 1, или где-нибудь еще. По этой причине современные математики сказали бы, что сумма 1–1 + 1–1 +… не сходится.

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

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

Пока нет. Кошмар продолжается. И это хорошо, что он существует, потому что напуганные им аналитики XIX века открыли более глубокие тайны в самом сердце исчисления, а затем вытащили их на свет. Извлеченные из этого уроки оказались бесценными не только для математики, но и для ее приложений во всех областях — от музыки до медицинской визуализации.

Рассмотрим ряд, известный в гармоническом анализе как знакочередующийся гармонический ряд:

1 — + — + — +…

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

S 1= 1

S 2= 1 — = 0,500

S 3= 1 — + = 0,833…

S 4= 1 — + — = 0,583…

И если вы рассмотрите достаточно много таких сумм, то обнаружите, что они нацеливаются на число, близкое к 0,69. Действительно, можно доказать, что этот ряд сходится. Его предельное значение равно натуральному логарифму от 2 (обозначается ln2), приблизительно составляющему 0,693147.

Так что же здесь кошмарного? На первый взгляд, ничего. Знакочередующийся гармонический ряд походит на паиньку: сходящийся, с хорошим поведением. Ваши родители похвалили бы его.

Именно это и делает его опасным. Это хамелеон, мошенник, скользкий тип, который может быть кем угодно. Если переставлять его члены в произвольном порядке, вы можете подвести его сумму к любому значению. Буквально. Например, 297, 126 или –42π, или 0, или любому другому.

Это выглядит так, будто ряд полон презрения к коммутативному закону сложения. Просто просуммировав его члены в иной последовательности, вы можете изменить ответ, чего никогда не произошло бы с конечной суммой. Поэтому, даже если исходный ряд сходится, в нем по-прежнему будут странности, которые невозможно представить в обычной арифметике.

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

Далее упростим каждое выражение в скобках, вычитая второй член из первого и оставляя без изменения третий член. Тогда ряд сводится к сумме: