Главная Случайная страница Контакты | Мы поможем в написании вашей работы! | ||
|
Фразу «от перемены мест слагаемых сумма не меняется» в школе так вбивают в голову, что она кажется аксиомой. Она действительно верна, если слагаемых конечное число. Но будет ли она верна, если слагаемых бесконечно много? Ответу на этот вопрос и посвящены две следующие теоремы.
Пусть дан сходящийся ряд (ряд А). Пусть есть некоторая перестановка чисел , причем чисел переставлено бесконечно много. Рассмотрим ряд (ряд ), где . Будет ли выполняться равенство ?
Теорема. Если ряд А сходится абсолютно, то ряд А ’ тоже абсолютно сходится и имеет ту же сумму.
Доказательство.
1. Пусть и есть частная сумма рада А. Так как все слагаемые неотрицательны, то, очевидно, все частные суммы меньше суммы ряда А.
Рассмотрим теперь частные суммы ряда :
.
Возьмем . Тогда очевидно, что , так как в сумме не больше слагаемых, чем в сумме . Но , и поэтому и ряд сходится. При этом верно соотношение .
Но ряд А также получается из ряда перестановкой слагаемых. Поэтому должно одновременно выполняться и неравенство . Отсюда и следует, что .
2. Пусть теперь слагаемые ряда А могут иметь произвольный знак, но ряд, составленный из их модулей, сходится: .
Основная идея дальнейшего состоит в том, чтобы разбить ряд А на два ряда, в одном их которых будут собраны все положительные слагаемые, а в другом - все отрицательные. Представим себе, что мы просматриваем все слагаемые ряда А по порядку номеров. Если окажется, что , то обозначим его через (величины нумеруются в порядке их появления). Если окажется, что , то введем величину (величины также нумеруются в порядке их появления. Таким образом, вместо одного ряда А появятся два ряда и .
Так как частные суммы этих рядов удовлетворяют неравенствам , , то оба этих ряда сходятся. Далее очевидно, что и .
Но перестановка слагаемых в ряде А приведет лишь к перестановке слагаемых в рядах P и Q. Все слагаемые этих рядов положительные, следовательно, согласно п.1, от такой перестановки их суммы не изменятся, а поэтому не изменится сумма ряда А. <
Итак, в абсолютно сходящихся рядах от перестановки слагаемых из сумма не меняется. А как насчет неабсолютно сходящихся рядов?
Теорема Римана. Если ряд сходится неабсолютно, то, какое бы ни взять число В (конечное, или равное ± ¥), можно так переставить слагаемые в ряде, что его сумма станет равной В.
Так что от перестановки местами слагаемых сумма все-таки может меняться!
Доказательство.
1. Проделаем с нашим рядом ту же процедуру, что и в предыдущей теореме, и построим ряды P и Q. Но теперь ситуация меняется кардинально: есть конечное число, а . Это может быть лишь в том случае, когда и , то есть ряды P и Q расходящиеся.
2. Возьмем конечное число В. Пусть, для определенности, . Начнем строить новый ряд следующим образом.
Начнем сначала складывать положительные слагаемые из ряда Р. Так как этот ряд расходящийся, то есть его сумма равна + ¥, то на каком-то шаге накопленная сумма превзойдет число В. Мы остановимся, как только это произойдет в первый раз, то есть будет выполнено следующее
.
А теперь начнем прибавлять отрицательные слагаемые ряда А, то есть вычитать слагаемые ряда Q. Сумма этого ряда также равна + ¥, и поэтому на каком-то шаге накопленная сумма обязательно станет меньше В. Мы снова остановимся, как только это произойдет в первый раз, то есть будет выполнено следующее
,
.
Снова начнем прибавлять положительные слагаемые, пока накопленная сумма не превзойдет В, затем снова отрицательные, пока накопленная сумма не станет меньше В, и т.д. и т.д.
Эту процедуру можно проиллюстрировать следующим рисунком:
Каждый раз членов рядов P и Q берется не больше, чем необходимо для первого осуществления требуемого неравенства. Тогда отклонения накопленных сумм от В по модулю не превысят последнего написанного члена. В силу сходимости ряда А его общий член стремится к нулю. Следовательно, накопленные суммы стремятся к числу В, так что построенный ряд сходится и его сумма равна именно В. |
3. Пусть .
Возьмем последовательность чисел , такую, что
, .
Трудность заключается в том, что нам надо разместить не только положительные, но и отрицательные члены ряда. Поэтому поступаем следующим образом:
Сначала складываем положительные слагаемые до тех пор, пока их сумма в первый раз не превысит число В 1:
.
Затем добавляем одно отрицательное слагаемое и снова добавляем положительные, пока их сумма в первый раз не превысит число В 2:
.
Снова добавляем одно отрицательное слагаемое и снова добавляем положительные, пока их сумма в первый раз не превысит число В 3 и т.д. Так как чисел счетное множество, то разместятся не только все положительные, но и все отрицательные слагаемые.
Очевидно, что сумма построенного таким образом ряда равна + ¥. <
Пример.
Рассмотрим ряд
,
который сходится по признаку Лейбница. Переставим его слагаемые по следующему правилу: после положительного слагаемого идут два отрицательных:
.
Из экономии, мы не будем доказывать, что этот ряд сходится - попробуйте сделать это сами.
Каждая тройка слагаемых имеет следующую структуру
,
Тогда построенный ряд принимает вид
,
так что сумма построенного ряда уменьшилась в два раза.
Таким образом, в неабсолютно сходящемся ряде можно переставлять местами только конечное число слагаемых, а вот переставлять местами бесконечное число слагаемых нельзя - можно получить все, что угодно.
Дата публикования: 2015-01-23; Прочитано: 1044 | Нарушение авторского права страницы | Мы поможем в написании вашей работы!