Арифметические действия с числовыми рядами — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
(наброски статьи)
 
Строка 8: Строка 8:
  
 
Под "расставлением скобок" в ряде понимают буквально следующее: пусть имеется последовательность
 
Под "расставлением скобок" в ряде понимают буквально следующее: пусть имеется последовательность
:<tex>n_1 < n_2 < \dots</tex>,
+
:<tex>n_1 < n_2 < \dots</tex>
:<tex>\sum a_n = (a_1 + \dots + a_{n_1 - 1}) + (a_{n_1} + \dots + a_{n_2}) + \dots</tex>.
+
:<tex>\sum a_n = (a_1 + \dots + a_{n_1 - 1}) + (a_{n_1} + \dots + a_{n_2}) + \dots</tex>
  
 
:<tex>b_p = \sum\limits_{k = n_{p - 1}}^{n_p - 1} a_k, \qquad n_0 = 1</tex>
 
:<tex>b_p = \sum\limits_{k = n_{p - 1}}^{n_p - 1} a_k, \qquad n_0 = 1</tex>
Строка 25: Строка 25:
  
 
Дан ряд <tex>\sum\limits_{n = 1}^{\infty} a_n</tex>. Рассмотрим ряд <tex>\sum\limits_{n = 1}^{\infty} a_{\varphi(n)}</tex>. Полученный ряд называется перестановкой ряда <tex>a_n</tex> по правилу <tex>\varphi</tex>.
 
Дан ряд <tex>\sum\limits_{n = 1}^{\infty} a_n</tex>. Рассмотрим ряд <tex>\sum\limits_{n = 1}^{\infty} a_{\varphi(n)}</tex>. Полученный ряд называется перестановкой ряда <tex>a_n</tex> по правилу <tex>\varphi</tex>.
 +
 +
{{Утверждение
 +
|statement=
 +
Пусть ряд из <tex>a_n \le 0</tex> сходится к <tex>A</tex>. Тогда <tex>\sum\limits_{n = 1}^{\infty} a_{\varphi(n)} = A</tex>
 +
|proof=
 +
<tex>B_n = a_{\varphi(1)} + a_{\varphi(2)} + \dots + a_{\varphi(n)}, \qquad m_n = \max\limits_{i = 1..n}{\varphi(i)}</tex>
 +
В силу положительности ряда <tex>a_n</tex> частичные суммы <tex>A_n</tex> ограничены.
 +
:<tex>B_n \le a_1 + a_2 + \dots + a_{m_n} = A_{m_n} \le A</tex>, следовательно, частичные суммы <tex>B_n</tex> ограничены, и так как все <tex>a_n \le 0</tex>
 +
:<tex>\lim\limits_{n \leftarrow \infty} B_n = B \le A</tex>.
 +
 +
Меняя местами исходный ряд на переставленный и наоборот, получаем неравенство <tex>A \le B</tex>, следовательно, <tex>B = A</tex>.
 +
}}
 +
 +
{{Теорема
 +
|statement=
 +
Пусть ряд абсолютно сходится. Тогда любая его перестановка сходится к той же сумме.
 +
|proof=
 +
По линейности суммы ряда разложим исходный ряд на сумму двух вспомогательных:
 +
:<tex>\sum\limits_{n = 1}^{\infty} a_{\varphi(n)} = \sum\limits_{n = 1}^{\infty} a_{\varphi(n)}^+ - \sum\limits_{n = 1}^{\infty} a_{\varphi(n)}^- = \sum\limits_{n = 1}^{\infty} a_n^+ - \sum\limits_{n = 1}^{\infty} a_n^- = \sum\limits_{n = 1}^{\infty} a_n</tex>.
 +
}}
 +
 +
Для условно сходящихся рядов ситуация меняется. Имеет место теорема Римана (приводится без доказательства):
 +
 +
{{Теорема
 +
|author=
 +
Риман
 +
|statement=
 +
Пусть ряд из <tex>a_n</tex> условно сходится. Тогда для любого <tex>A</tex> из <tex>\mathbb{R} \cup \{ -\infty; +\infty \}</tex> существует такая перестановка <tex>\varphi</tex>, что <tex>A = \sum\limits_{n = 1}^{\infty} a_{\varphi(n)}</tex>.
 +
}}

Версия 06:32, 2 января 2011

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

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

Как мы убедимся далее, абсолютно сходящиеся ряды полностью копируют поведение суммы конечного числа слагаемых, а условно сходящиеся - нет.

Расставление скобок

Под "расставлением скобок" в ряде понимают буквально следующее: пусть имеется последовательность

[math]n_1 \lt n_2 \lt \dots[/math]
[math]\sum a_n = (a_1 + \dots + a_{n_1 - 1}) + (a_{n_1} + \dots + a_{n_2}) + \dots[/math]
[math]b_p = \sum\limits_{k = n_{p - 1}}^{n_p - 1} a_k, \qquad n_0 = 1[/math]

Из построения видно, что частичная сумма ряда [math]b_p[/math] является некоторой частичной суммой ряда [math]a_n[/math]. Если исходный ряд сходится, то и ряд с расставленными скобками сходится к той же сумме. Обратное неверно: рассмотрим ряд с расставленными скобками

[math](1 - 1) + (1 - 1) + \dots = 0[/math]

Но ряд без скобок является расходящимся.

Легко установить факт: сходящийся ряд с расставленными скобками, в каждой скобке которого стоят слагаемые одного знака, сходится и без расставленных скобок.

Перестановка слагаемых ряда

Уточним, что понимается под перестановкой слагаемых ряда. Пусть [math]\varphi: \mathbb{N} \rightarrow \mathbb{N}[/math] - биекция.

Дан ряд [math]\sum\limits_{n = 1}^{\infty} a_n[/math]. Рассмотрим ряд [math]\sum\limits_{n = 1}^{\infty} a_{\varphi(n)}[/math]. Полученный ряд называется перестановкой ряда [math]a_n[/math] по правилу [math]\varphi[/math].

Утверждение:
Пусть ряд из [math]a_n \le 0[/math] сходится к [math]A[/math]. Тогда [math]\sum\limits_{n = 1}^{\infty} a_{\varphi(n)} = A[/math]
[math]\triangleright[/math]

[math]B_n = a_{\varphi(1)} + a_{\varphi(2)} + \dots + a_{\varphi(n)}, \qquad m_n = \max\limits_{i = 1..n}{\varphi(i)}[/math] В силу положительности ряда [math]a_n[/math] частичные суммы [math]A_n[/math] ограничены.

[math]B_n \le a_1 + a_2 + \dots + a_{m_n} = A_{m_n} \le A[/math], следовательно, частичные суммы [math]B_n[/math] ограничены, и так как все [math]a_n \le 0[/math]
[math]\lim\limits_{n \leftarrow \infty} B_n = B \le A[/math].
Меняя местами исходный ряд на переставленный и наоборот, получаем неравенство [math]A \le B[/math], следовательно, [math]B = A[/math].
[math]\triangleleft[/math]
Теорема:
Пусть ряд абсолютно сходится. Тогда любая его перестановка сходится к той же сумме.
Доказательство:
[math]\triangleright[/math]

По линейности суммы ряда разложим исходный ряд на сумму двух вспомогательных:

[math]\sum\limits_{n = 1}^{\infty} a_{\varphi(n)} = \sum\limits_{n = 1}^{\infty} a_{\varphi(n)}^+ - \sum\limits_{n = 1}^{\infty} a_{\varphi(n)}^- = \sum\limits_{n = 1}^{\infty} a_n^+ - \sum\limits_{n = 1}^{\infty} a_n^- = \sum\limits_{n = 1}^{\infty} a_n[/math].
[math]\triangleleft[/math]

Для условно сходящихся рядов ситуация меняется. Имеет место теорема Римана (приводится без доказательства):

Теорема (Риман):
Пусть ряд из [math]a_n[/math] условно сходится. Тогда для любого [math]A[/math] из [math]\mathbb{R} \cup \{ -\infty; +\infty \}[/math] существует такая перестановка [math]\varphi[/math], что [math]A = \sum\limits_{n = 1}^{\infty} a_{\varphi(n)}[/math].