Теорема о рядах Римана
В математике , теорема о рядах Римана также называемая теоремой о перестановке Римана , названная в честь немецкого математика XIX века Бернхарда Римана , гласит, что если бесконечный ряд действительных чисел условно сходится , то его члены можно расположить в такой перестановке , что новый ряд сходится к произвольному действительному числу или расходится . Отсюда следует, что ряд действительных чисел абсолютно сходится тогда и только тогда, когда он сходится безусловно .
Например, ряд 1 - 1 + 1/2 - 1/2 + 1/3 - 1/3 + ⋯ сходится к 0 (при достаточно большом числе слагаемых частичная сумма становится сколь угодно близкой к 0); но замена всех членов их абсолютными значениями дает 1 + 1 + 1/2 + 1/2 + 1/3 + 1/3 + ⋯, сумма которых равна бесконечности. Таким образом, исходный ряд условно сходится и его можно переставить (взяв первые два положительных члена, за которым следует первый отрицательный член, за которым следуют следующие два положительных члена, а затем следующий отрицательный член и т. д.), чтобы получить сходящийся ряд. в другую сумму: 1 + 1/2 - 1 + 1/3 + 1/4 - 1/2 + ⋯ = ln 2. В более общем смысле, использование этой процедуры с p положительными значениями, за которыми следуют q отрицательных значений, дает сумму ln( p / д ). Другие перестановки дают другие конечные суммы или не сходятся ни к какой сумме.
История [ править ]
Основной результат состоит в том, что сумма конечного числа чисел не зависит от порядка их сложения. Например, 2 + 6 + 7 = 7 + 2 + 6 . Наблюдение о том, что сумма бесконечной последовательности чисел может зависеть от порядка слагаемых, обычно приписывают Огюстену-Луи Коши в 1833 году. [1] Он проанализировал знакопеременный гармонический ряд , показав, что определенные перестановки его слагаемых приводят к различным пределам. Примерно в то же время Питер Густав Лежен Дирихле подчеркнул, что такие явления исключаются в контексте абсолютной сходимости , и привел дополнительные примеры феномена Коши для некоторых других рядов, которые не могут быть абсолютно сходящимися. [2]
В ходе анализа рядов Фурье и теории интегрирования Римана Бернхард Риман дал полную характеристику явления перегруппировки. [3] Он доказал, что в случае сходящегося ряда, который не сходится абсолютно (известный как условная сходимость ), можно найти такие перестановки, что новый ряд сходится к любому произвольно заданному действительному числу. [4] Теорема Римана теперь рассматривается как основная часть области математического анализа . [5]
Для любого ряда можно рассматривать множество всех возможных сумм, соответствующих всем возможным перестановкам слагаемых. Теорему Римана можно сформулировать так: для ряда действительных чисел это множество либо пусто, либо представляет собой единственную точку (в случае абсолютной сходимости), либо всю линию действительных чисел (в случае условной сходимости). В этой формулировке теорема Римана была расширена Полем Леви и Эрнстом Стейницем на ряды, слагаемыми которых являются комплексные числа или, в более общем смысле, элементы конечномерного вещественного векторного пространства . Они доказали, что множество возможных сумм образует вещественное аффинное подпространство . Распространение теоремы Леви–Стейница на ряды в бесконечномерных пространствах рассматривалось рядом авторов. [6]
Определения [ править ]
Серия сходится, если существует значение такая, что последовательность частичных сумм
сходится к . То есть для любого ε > 0 существует целое число N такое, что если n ≥ N , то
Ряд условно сходится, если ряд сходится, но ряд расходится.
Перестановка — это просто биекция множества целых положительных чисел в себя. Это означает, что если является перестановкой, то для любого натурального числа существует ровно одно положительное целое число такой, что В частности, если , затем .
Формулировка теоремы [ править ]
Предположим, что представляет собой последовательность действительных чисел , и это условно сходится. Позволять быть действительным числом. Тогда существует перестановка такой, что
Также существует перестановка такой, что
Сумму также можно переставить так, чтобы она расходилась к или не суметь приблизиться к какому-либо пределу, конечному или бесконечному.
Переменный гармонический ряд [ править ]
Изменение суммы [ править ]
Знаковый гармонический ряд представляет собой классический пример условно сходящегося ряда:
Один из примеров этого заключается в следующем. Начните с серии, написанной в обычном порядке:
а также переставить и перегруппировать термины следующим образом:
где шаблон: первые два члена равны 1 и -1/2, сумма которых равна 1/2. Следующий член равен −1/4. Следующие два члена — 1/3 и −1/6, сумма которых равна 1/6. Следующий член равен −1/8. Следующие два члена — 1/5 и −1/10, сумма которых равна 1/10. В общем, поскольку каждое нечетное целое число встречается один раз положительное, а каждое четное целое число встречается один раз отрицательное (половина из них кратна 4, другая половина — дважды нечетные целые числа), сумма состоит из блоков по три, которые можно упростить следующим образом:
Следовательно, приведенный выше ряд фактически можно записать как:
что изначально составляет половину суммы и может равняться исходной последовательности только в том случае, если значение равно нулю. Можно продемонстрировать, что этот ряд больше нуля, путем доказательства теоремы Лейбница с использованием того, что вторая частичная сумма равна половине. [7] Альтернативно, значение к которому он сходится, не может быть нулевым. Таким образом, показано, что значение последовательности зависит от порядка, в котором вычисляется ряд.
Это правда, что последовательность:
содержит все элементы последовательности:
Однако, поскольку суммирование определяется как и , порядок членов может влиять на предел. [7]
Получение произвольной суммы [ править ]
Эффективный способ восстановить и обобщить результат предыдущего раздела — использовать тот факт, что
где γ — постоянная Эйлера–Машерони , и где обозначение o (1) обозначает величину, которая зависит от текущей переменной (здесь переменная n ) таким образом, что эта величина стремится к 0, когда переменная стремится к бесконечности .
Отсюда следует, что сумма q четных членов удовлетворяет
и, взяв разницу, можно увидеть, что сумма p нечетных членов удовлетворяет
Предположим, что даны два положительных целых числа a и b и что перестановка чередующегося гармонического ряда формируется путем взятия по порядку положительных членов из чередующегося гармонического ряда, за которыми следуют b отрицательных членов, и повторения этой схемы на бесконечности ( сам знакопеременный ряд соответствует a = b = 1 , пример в предыдущем разделе соответствует a = 1, b = 2):
Тогда частичная сумма порядка ( a + b ) n этого переставленного ряда содержит p = положительные нечетные члены и q = bn отрицательные четные члены, следовательно
Отсюда следует, что сумма этого переставленного ряда равна [8]
Предположим теперь, в более общем смысле, что перестроенный ряд знакопеременных гармонических рядов организован таким образом, что отношение p n / q n между числом положительных и отрицательных членов в частичной сумме порядка n стремится к положительному пределу r. . Тогда сумма такой перестановки будет равна
и это объясняет, что любое действительное число x может быть получено как сумма перестановки ряда знакопеременных гармонических рядов: достаточно образовать перестановку, для которой предел r равен e 22x / 4 .
Доказательство [ править ]
Существование перестановки, которая в сумме дает M действительное положительное любое
Описание теоремы и ее доказательства, данное Риманом, полностью гласит: [9]
…бесконечные ряды делятся на два разных класса в зависимости от того, остаются ли они сходящимися, когда все члены становятся положительными. В первом классе термины можно переставлять произвольно; во втором случае, напротив, значение зависит от порядка терминов. Действительно, если мы обозначим положительные члены ряда второго класса через a 1 , a 2 , a 3 , ... а отрицательные члены через - b 1 , - b 2 , - b 3 , ... , то ясно, что Σ a, как и Σ b, должны быть бесконечными. Ведь если бы они оба были конечными, ряд все равно сходил бы после того, как сделал бы все знаки одинаковыми. Если бы только один был бесконечным, то ряд разошелся бы. Ясно, что теперь произвольно заданное значение C можно получить подходящим переупорядочением членов. Берём поочередно положительные члены ряда, пока сумма не станет больше , а затем отрицательные члены, пока сумма не станет меньше С. С Отклонение от C никогда не превышает размера члена в последнем месте смены знаков. Теперь, поскольку число как числа b так и числа b становятся бесконечно малыми с ростом индекса, то же самое происходит и с отклонениями от C. , Если мы продвинемся в ряду достаточно далеко, то отклонение станет сколь угодно малым, т. е. ряд сходится к C .
Более подробно это можно описать следующим образом. [10] Напомним, что условно сходящийся ряд вещественных членов имеет как бесконечно много отрицательных, так и бесконечно много положительных членов. Сначала определим две величины: и к:
То есть сериал включает все n положительных значений , при этом все отрицательные члены заменяются нулями, а ряд включает все n отрицательных значений , при этом все положительные члены заменяются нулями. С условно сходится, то как «положительный», так и «отрицательный» ряд расходятся. Пусть М — любое действительное число. Возьмите достаточно положительных терминов так что их сумма превышает M . То есть, пусть p 1 будет наименьшим положительным целым числом таким, что
Это возможно, поскольку частичные суммы сериал имеет тенденцию . Теперь пусть q 1 — наименьшее положительное целое число такое, что
Это число существует потому, что частичные суммы склонны к . Теперь продолжим индуктивно, определив p2 p1 как наименьшее целое число, большее, чем , такое , что
и так далее. Результат можно рассматривать как новую последовательность
частичные суммы этой новой последовательности сходятся к M. Более того , Это видно из того, что для i любого
при этом первое неравенство выполняется, поскольку p i +1 было определено как наименьшее число, большее, чем pi , что делает второе неравенство истинным; как следствие, считается, что
Поскольку правая часть сходится к нулю из-за предположения об условной сходимости, это показывает, что ( p i +1 + q i ) -я частичная сумма новой последовательности сходится к M по мере увеличения i . Аналогично, ( p i +1 + q i +1 ) '-я частичная сумма также сходится M. к Поскольку ( p i +1 + q i + 1) -я, ( p i +1 + q i + 2) -я, ... ( p i +1 + q i +1 − 1) -я частичные суммы оцениваются между ( p i +1 + q i ) '-й и ( p i +1 + q i +1 ) '-ми частичными суммами, из этого следует, что вся последовательность частичных сумм сходится к M .
Каждый элемент исходной последовательности n к появляется в этой новой последовательности, частичные суммы которой сходятся M . Те элементы исходной последовательности, которые равны нулю, появятся в новой последовательности дважды (один раз в «положительной» последовательности и один раз в «отрицательной» последовательности), и каждую секунду такое появление может быть удалено, что не влияет на суммирование в в любом случае. Таким образом, новая последовательность является перестановкой исходной последовательности.
Существование перестановки, расходящейся в бесконечность [ править ]
Позволять — условно сходящийся ряд. Ниже приводится доказательство того, что существует перестановка этого ряда, стремящаяся к (аналогичный аргумент можно использовать, чтобы показать, что тоже можно получить).
Приведенное выше доказательство исходной формулировки Римана необходимо лишь изменить так, чтобы +1 pi выбиралось как наименьшее целое число, большее, чем pi , такое, что
и с q i +1, выбранным как наименьшее целое число, большее, чем q i, такое, что
Выбор i +1 в левых частях не имеет значения, поскольку его можно заменить любой последовательностью, возрастающей до бесконечности. С сходится к нулю с увеличением n , для достаточно большого i существует
и это доказывает (так же, как и при рассмотрении сходимости выше), что последовательность частичных сумм новой последовательности расходится к бесконечности.
, которая не достигает какого-либо предела, конечного или бесконечного перестановки Существование .
Приведенное выше доказательство необходимо только изменить так, чтобы pi +1 pi выбиралось как наименьшее целое число, большее, чем , такое , что
и с q i +1, выбранным как наименьшее целое число, большее, чем q i, такое, что
Это напрямую показывает, что последовательность частичных сумм содержит бесконечное количество элементов, которые больше 1, а также бесконечно много элементов, которые меньше -1 , так что последовательность частичных сумм не может сходиться.
Обобщения [ править ]
Теорема Серпинского [ править ]
Учитывая бесконечный ряд , мы можем рассмотреть набор «неподвижных точек» и изучите действительные числа, к которым может привести ряд, если нам разрешено переставлять индексы только в . То есть мы позволяем
- Если конечно, то . Здесь означает симметричную разницу .
- Если затем .
- Если ряд является абсолютно сходящейся суммой, то для любого .
- Если ряд является условно сходящейся суммой, то по теореме о рядах Римана .
Серпинский доказал, что, переставляя только положительные члены, можно получить ряд, сходящийся к любому заданному значению, меньшему или равному сумме исходного ряда, но больших значений вообще достичь невозможно. [11] [12] [13] То есть пусть — условно сходящаяся сумма, то содержит , но нет гарантии, что оно содержит любое другое число.
В более общем смысле, пусть быть идеалом , то мы можем определить .
Позволять — множество всех нулевой асимптотической плотности множеств , то есть, . Ясно, что является идеалом .
(Владислав, 2007 г.) [14] — Если есть условно сходящаяся сумма, то (т. е. достаточно переставить набор индексов нулевой асимптотической плотности).
Эскиз доказательства: Дано , условно сходящую сумму, построить некоторую такой, что и оба условно сходятся. Затем, переставляя достаточно, чтобы сходиться к любому числу в .
Филипов и Шука доказали, что этим свойством обладают и другие идеалы. [15]
Теорема Стейница [ править ]
Дан сходящийся ряд комплексных чисел , при рассмотрении множества возможных сумм для всех рядов может возникнуть несколько случаев получается перестановкой (перестановкой) членов этого ряда:
- сериал могут сходиться безоговорочно; тогда все переставленные ряды сходятся и имеют одинаковую сумму: множество сумм переставленных рядов сводится к одной точке;
- сериал могут не сойтись безоговорочно; если S обозначает множество сумм тех переставленных рядов, которые сходятся, то либо множество S представляет собой прямую L на комплексной плоскости C вида множество S — это вся комплексная плоскость C. или
В более общем смысле, учитывая сходящийся ряд векторов в конечномерном вещественном пространстве E набор сумм сходящихся переставленных рядов является аффинным подпространством E. векторном ,
См. также [ править ]
Ссылки [ править ]
- ^ Коши 1833 , Раздел 8; Апостол 1967 , с. 411.
- ^ Дирихле 1837 , Раздел 1.
- ^ Риман 1868 .
- ^ Клайн 1990 , с. 966.
- ^ Апостол 1967 , раздел 10.21; Апостол 1974 г. , раздел 8.18; Рудин 1976 , Теорема 3.54; Whittaker & Watson 2021 , Раздел II.17.
- ^ Банащик 1991 , Раздел 10; Молдин 2015 , Выпуск 28 и Выпуск 106.
- ^ Jump up to: Перейти обратно: а б Спивак, Михаил (2008). Исчисление (4-е изд.). Хьюстон, Техас: Опубликуй или погибни. стр. 482–483. ISBN 978-0-914098-91-1 .
- ^ Апостол, Том М. (16 января 1991 г.). Исчисление, Том 1 . Джон Уайли и сыновья. п. 416. ИСБН 978-0-471-00005-1 .
- ^ Риман 1868 , с. 97, цитата из английского перевода 2004 г.
- ^ Апостол 1967 , раздел 10.21; Whittaker & Watson 2021 , Раздел II.17.
- ^ Серпинский, Вацлав (1910). «Вклад в теорию расходящихся рядов» . Отчеты заседаний Варшавского научного общества (на польском языке). 3 : 89–93.
- ^ Серпинский, Вацлав (1910). «Замечание к теореме Римана о полусходящихся рядах» . Математические и физические труды (на польском языке). 21 (1): 17–20.
- ^ Серпинский, Вацлав (1911). «О свойстве неабсолютно сходящихся рядов [O pewnej własności szeregów warunkowo zbieżnych]» . Международный бюллетень Краковской академии наук, серия A : 149–158.
- ^ Вильчинский, Владислав (2007). «О теореме Римана о расстройстве». Слупский математический и физический труд . 4 : 79–82.
- ^ Филипов, Рафал; Шука, Петр (февраль 2010 г.). «Перестановка условно сходящегося ряда на малом множестве» . Журнал математического анализа и приложений . 362 (1): 64–71. дои : 10.1016/j.jmaa.2009.07.029 .
- Апостол, Том М. (1967). Исчисление. Том I: Исчисление с одной переменной, с введением в линейную алгебру (второе издание оригинального издания 1961 года). Нью-Йорк: John Wiley & Sons, Inc. ISBN 0-471-00005-1 . МР 0214705 . Збл 0148.28201 .
- Апостол, Том М. (1974). Математический анализ (второе издание оригинальной редакции 1957 г.). Ридинг, Массачусетс: Addison-Wesley Publishing Co. MR 0344384 . Збл 0309.26002 .
- Банащик, Войцех (1991). Аддитивные подгруппы топологических векторных пространств . Конспект лекций по математике . Том. 1466. Берлин: Springer-Verlag . стр. 93–109. дои : 10.1007/BFb0089147 . ISBN 3-540-53917-4 . МР 1119302 . Збл 0743.46002 .
- Коши, М. Огюстен Луи (1833). Исполнительные резюме . Турин: Королевская типография.
- Дирихле, ПГЛ (1837). «Доказательство теоремы о том, что каждая бесконечная арифметическая прогрессия, первый член и разность которой являются целыми числами без общего множителя, содержит бесконечно много простых чисел». Трактаты Королевской прусской академии наук : 45–81.
Лежен Дирихле, Ж. (1889). «Доказательство теоремы о том, что каждая бесконечная арифметическая прогрессия, первый член и разность которой являются целыми числами без общего множителя, содержит бесконечно много простых чисел». В Кронекер, Л. (ред.). Фабрики. Том I. Берлин: Дитрих Раймер Верлаг. стр. 313–342. ЖФМ 21.0016.01 . MR0249268 .
- Клайн, Моррис (1990). Математическая мысль от древности до современности. Том 3 (второе издание оригинальной редакции 1972 г.). Нью-Йорк: Кларендон Пресс . ISBN 0-19-506137-3 . МР 1058203 . Збл 0864.01001 .
- Молдин, Р. Дэниел, изд. (2015). Шотландская книга. Математика из «Шотландского кафе» с избранными задачами из новой «Шотландской книги» . Включая избранные статьи, представленные на Шотландской книжной конференции, состоявшейся в Университете Северного Техаса, Дентон, Техас, май 1979 г. (второе издание оригинального издания 1981 г.). Спрингер, Чам . дои : 10.1007/978-3-319-22897-6 . ISBN 978-3-319-22896-9 . МР 3242261 . Збл 1331.01039 .
- Риман, Бернхард (1868). «О представимости функции тригонометрическим рядом» . Трактаты Королевского общества наук в Гёттингене . 13 :87–132. ЖФМ 01.0131.03 .
Риман, Бернхард (2004). «О представлении функции тригонометрическим рядом». Сборник статей . Перевод Бейкера, Роджера; Кристенсон, Чарльз; Орд, Генри. Перевод немецкого издания 1892 года. Хибер-Сити, Юта: Кендрик Пресс. ISBN 0-9740427-2-2 . МР 2121437 . Збл 1101.01013 .
- Рудин, Уолтер (1976). Принципы математического анализа . Международная серия по чистой и прикладной математике (третье издание оригинального издания 1953 г.). Нью-Йорк: McGraw-Hill Book Co. MR 0385023 . Збл 0346.26002 .
- Уиттакер, ET ; Уотсон, Дж.Н. (2021). Молл, Виктор Х. (ред.). Курс современного анализа — введение в общую теорию бесконечных процессов и аналитических функций с учетом главных трансцендентных функций . С предисловием С. Дж. Паттерсона (пятое издание оригинальной редакции 1902 года). Кембридж: Издательство Кембриджского университета . дои : 10.1017/9781009004091 . ISBN 978-1-316-51893-9 . МР 4286926 . Збл 1468.30001 .
Внешние ссылки [ править ]
- Вайсштейн, Эрик В. «Теорема о рядах Римана» . Математический мир . Проверено 1 февраля 2023 г.