Skip to article frontmatterSkip to article content

2.3 Знакочередующиеся ряды и условно сходящиеся ряды

Higher School of Economics

Если мы хотим вычислить, например, значение cos⁡(1)\cos(1) с определённой точностью, то мы можем воспользоваться полиномом Тэйлора для функции cos⁡(x)\cos(x) в точке x=1x=1. Мы получаем следующий ряд:

(1,−12!,14!,−x66!,…,(−1)n(2n)!,…,) \left(1, - \frac{1}{2!}, \frac{1}{4!}, - \frac{x^6}{6!}, \ldots, \frac{(-1)^n}{(2n)!}, \ldots, \right)

и его частичная сумма, скажем, Sn\mathsf{S}_n и есть значение полинома Тэйлора функции cos⁡(x)\cos(x) при x=1x =1;

1−x22!+x44!−x66!+…+(−1)n(2n)! 1 - \frac{x^2}{2!} + \frac{x^4}{4!} - \frac{x^6}{6!} + \ldots + \frac{(-1)^n}{(2n)!}

2.3.1Знакочередующиеся ряды и признак Лейбница

Proof

Воспользовавшись Lemma 2.1.2, мы можем считать, что ∣an∣≥∣an+1∣|a_n| \ge |a_{n+1}| для всех nn. Для удобства положим, что первый элемент ряда — это a0a_0, т.е. n≥0n \ge 0. Рассмотрим частичную сумму S2n+1\mathsf{S}_{2n+1}, имеем

S2n+1=∣a0∣−∣a1∣+∣a2∣−∣a3∣+∣a4∣+⋯+∣a2n∣−∣a2n+1∣=∣a0∣−(∣a1∣−∣a2∣)−(∣a3∣−∣a4∣)−⋯−(∣a2n−1∣−∣a2n∣)−∣a2n+1∣,\begin{align*} \mathsf{S}_{2n+1} &=& |a_0| - |a_1| + |a_2| - |a_3| + |a_4| + \cdots + |a_{2n}| - |a_{2n+1}| \\ &=& |a_0| - \bigl(|a_1| - |a_2|\bigr) - \bigl(|a_3| - |a_4|\bigr) - \cdots - \bigl(|a_{2n-1}|- |a_{2n}|\bigr) - |a_{2n+1}|, \end{align*}

так как ∣an∣≥∣an+1∣|a_n| \ge |a_{n+1}|, то каждая скобка положительна, это значит, что S2n+1≤∣a0∣\mathsf{S}_{2n+1} \le |a_0|, т.е. последовательность (S2n+1)(\mathsf{S}_{2n+1}) ограничена сверху.

С другой стороны, мы можем записать

S2n+1=∣a0∣−∣a1∣+∣a2∣−∣a3∣+⋯+∣a2n−2∣−∣a2n−1∣+∣a2n∣−∣a2n+1∣=(∣a0∣−∣a1∣)+(∣a2∣−∣a3∣)+⋯+(∣a2n−2∣−∣a2n−1∣)+(∣a2n∣−∣a2n+1∣)=S2n−1+(∣a2n∣−∣a2n+1∣),\begin{align*} \mathsf{S}_{2n+1} &=& |a_0| - |a_1| + |a_2| - |a_3| + \cdots + |a_{2n-2}| - |a_{2n-1}| + |a_{2n}| - |a_{2n+1}| \\ &=& \bigl(|a_0| - |a_1| \bigr) + \bigl(|a_2|-|a_3| \bigr) + \cdots + \bigl( |a_{2n-2}| - |a_{2n-1}|\bigr)+ \bigl(|a_{2n}| - |a_{2n+1}|\bigr) \\ &=& \mathsf{S}_{2n-1} + \bigl(|a_{2n}| - |a_{2n+1}|\bigr), \end{align*}

и так как ∣a2n∣≥∣a2n+1∣|a_{2n}| \ge |a_{2n+1}|, то S2n+1≥S2n−1\mathsf{S}_{2n+1} \ge \mathsf{S}_{2n-1}, т.е. она не убывает.

Итак, последовательность (S2n+1)(\mathsf{S}_{2n+1}) ограничена сверху и не убывает, тогда по теореме Вейерштрасса у неё есть предел lim⁡n→∞S2n+1=S≤∣a0∣.\lim\limits_{n \to \infty}\mathsf{S}_{2n+1} = \mathsf{S} \le |a_0|.

Наконец, мы также можем записать

S2n+1=∣a0∣−∣a1∣+∣a2∣−∣a3∣+∣a2n∣−∣a2n+1∣=S2n−∣a2n+1∣,\begin{align*} \mathsf{S}_{2n+1} &=& |a_0| - |a_1| + |a_2| - |a_3| + |a_{2n}| - |a_{2n+1}| \\ &=& \mathsf{S}_{2n} - |a_{2n+1}|, \end{align*}

так как lim⁡n→∞S2n+1=S\lim\limits_{n \to \infty}\mathsf{S}_{2n+1} = \mathsf{S} и по условию lim⁡n→∞∣a2n+1∣=0\lim\limits_{n\to \infty} |a_{2n+1}| = 0, то по Theorem 1.3.1

lim⁡n→∞S2n=lim⁡n→∞(S2n+1+∣a2n+1∣)=S+0=S. \lim_{n\to \infty}\mathsf{S}_{2n} = \lim_{n\to \infty} \left( \mathsf{S}_{2n+1} + |a_{2n+1}| \right) = \mathsf{S} + 0 = \mathsf{S}.

Итак, мы показали, что lim⁡n→∞Sn=S\lim\limits_{n \to \infty}\mathsf{S}_n = \mathsf{S}, что и означает сходимость ряда.

2.3.2Абсолютно, условно и безусловно сходящиеся ряды

Мы видели, что в отношении положительных рядов (а значит, и для отрицательных тоже), характер сходимости, по большей части, устанавливается нетрудно, благодаря наличию ряда удобных признаков.

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

Начнём с простого, но очень важного наблюдения.

Proof

Последовательность частичных сумм ряда (xn)(x_n) мы, как обычно, обозначим через (Sn)(\mathsf{S}_n), а последовательность частичных суммы для ряда (∣xn∣)(|x_n|) мы обозначим через (An)(\mathsf{A}_n).

Так как ряд (∣xn∣)(|x_n|) сходится, то по критерию Коши мы для каждого ε>0\varepsilon >0 можем найти такое NN, что для всех n≥Nn \ge N и p≥1p \ge 1,

∣An+p−An∣=∣xn+1∣+⋯+∣xn+p∣<ε. | \mathsf{A}_{n+p} - \mathsf{A}_{n} | = |x_{n+1} | + \cdots +|x_{n+p}| < \varepsilon.

Далее, имеем

Sn+p−Sn=∣xn+1+⋯+xn+p∣≤∣xn+1∣+⋯+∣xn+p∣<ε,\begin{align*} \mathsf{S}_{n+p} - \mathsf{S}_n &=& | x_{n+1} + \cdots + x_{n+p} | \\ &\le & |x_{n+1}| + \cdots + |x_{n+p}| \\ &<& \varepsilon, \end{align*}

что согласно критерию Коши означает сходимость ряда (xn).(x_n).

Таким образом, оправдано введение следующего понятия

Proof

Во-первых, из Theorem 2.3.2 следует корректность утверждения, ибо ряд (xn)(x_n) сходится, а тогда последовательность его частичных сумм (Sn)(\mathsf{S}_n) имеет предел S.\mathsf{S}.

Во-вторых, так как xn+≤∣xn∣x_n^+ \le |x_n| и xn−≤∣xn∣x_n^- \le |x_n|, то по признаку сравнения ряды (xn+)(x_n^+), (xn−)(x_n^-) сходятся, а значит, сходятся последовательности их частичных сумм (Sn+)(\mathsf{S}_n^+), (Sn−)(\mathsf{S}_n^-) к S+\mathsf{S}^+, S−\mathsf{S}^- соответственно.

Далее, так как из конструкции следует, что xn=xn+−xn−x_n = x_n^+- x_n^-, но тогда для каждого nn получаем

Sn=x1+⋯+xn=x1+−x1−+⋯+xn+−xn−=(x1++⋯+xn+)−(x1−+⋯+xn−)=Sn+−Sn−.\begin{align*} \mathsf{S}_n &=& x_1 + \cdots + x_n \\ &=& x_1^+ - x_1^- + \cdots + x_n^+ - x_n^- \\ &=& \left( x_1^+ + \cdots + x_n^+ \right) - \left(x_1^- + \cdots + x_n^- \right) \\ &=& \mathsf{S}_n^+ - \mathsf{S}_n^-. \end{align*}

Тогда по Theorem 1.3.1,

S=lim⁡n→∞Sn=lim⁡n→∞(Sn+−Sn−)=lim⁡n→∞Sn+−lim⁡n→∞Sn−=S+−S−, \mathsf{S} = \lim_{n \to \infty} \mathsf{S}_n = \lim_{n\to \infty}(\mathsf{S}_n^+ - \mathsf{S}_n^-) = \lim_{n\to \infty} \mathsf{S}_n^+ - \lim_{n\to \infty}\mathsf{S}_n^- = \mathsf{S}^+ - \mathsf{S}^-,

что и требовалось доказать.

Proof

Пусть ряд (xn)(x_n) сходится абсолютно, рассмотрим ряды (xn+)(x_n^+), (xn−)(x_n^-) (Конструкция), очевидно, что xn=xn+−xn−x_n = x_n^+ - x_n^- для всех n.n. Так как ряд (xn)(x_n) сходится абсолютно, то ввиду xn+≤∣xn∣x_n^+ \le |x_n|, xn−≤∣xn−∣x_n^- \le |x_n^-| и признака сравнения ряды (xn+)(x_n^+), (xn−)(x_n^-) тоже сходятся.

Пусть ряд, полученный после перестановки исходного ряда, имеет вид (yn)(y_n), рассмотрим также ряды (yn+)(y_n^+), (yn−)(y_n^-) (Конструкция), тогда yn=yn+−yn−y_n = y_n^+ - y_n^-, и мы получаем

S=S+−S−S=∑n=1∞xn+−∑n=1∞xn−S=∑n=1∞yn+−∑n=1∞yn−S=∑n=1∞(yn+−yn−)S=∑n=1∞yn.\begin{align*} & \mathsf{S} = \mathsf{S}^+ - \mathsf{S}^- & \\ & \phantom{\mathsf{S}} = \sum_{n=1}^\infty x_n^+ - \sum_{n=1}^\infty x_n^- \\ & \phantom{\mathsf{S}} = \sum_{n=1}^\infty y_n^+ - \sum_{n=1}^\infty y_n^- & \\ & \phantom{\mathsf{S}} = \sum_{n=1}^\infty (y_n^+ - y_n^-) & \\ & \phantom{\mathsf{S}} = \sum_{n=1}^\infty y_n. \end{align*}

(по Proof), (по Theorem 2.2.3) и (по Proposition 2.1.1), соответственно.

Что и требовалось доказать.

Итак, мы показали, что в абсолютно сходящемся ряду совершенно не важен порядок его элементов, т.е. любая перестановка его элементов не нарушает его сходимость и более того, его сумма остаётся прежней. Но будет ли такой же эффект, если ряд не сходится абсолютно? Как показал Б. Риман, это неверно. Поэтому оправданна следующая терминология.

Прежде чем перейти к теореме Римана, докажем следующее утверждение.

Proof

(1) Действительно, если ряд (xn)(x_n) сходится абсолютно, то, так как xn+≤∣xn∣x_n^+ \le |x_n| и xn−≤∣xn∣x_n^- \le |x_n|, и по признаку сравнения ряды (xn+)(x_n^+), (xn−)(x_n^-) сходятся.

(2) Пусть теперь для ряда (xn)(x_n) ряды (xn+)(x_n^+), (xn−)(x_n^-) сходятся. Но, так как (см. конструкция), ∣xn∣=xn++xn−|x_n| = x_n^+ + x_n^-, то для любого nn, An=Sn++Sn−\mathsf{A}_n = \mathsf{S}_n^+ + \mathsf{S}_n^-, где An\mathsf{A}_n, Sn+\mathsf{S}_n^+, Sn−\mathsf{S}_n^- — частичные суммы рядов (∣xn∣)(|x_n|), (xn+)(x_n^+), (xn−)(x_n^-), соответственно. Откуда следует сходимость последовательности (An)(\mathsf{A}_n). Тем самым мы завершаем доказательство.

Proof

Пусть ряд (xn)(x_n) сходится, но не абсолютно, т.е. ряд (∣xn∣)(|x_n|) расходится. Так как ∣xn∣=xn++xn−|x_n| = x_n^+ + x_n^-, то An=Sn++Sn−\mathsf{A}_n = \mathsf{S}_n^+ + \mathsf{S}_n^-, где An\mathsf{A}_n, Sn+\mathsf{S}_n^+, Sn−\mathsf{S}_n^- — частичные суммы рядов (∣xn∣)(|x_n|), (xn+)(x_n^+), (xn−)(x_n^-), соответственно. Тогда из расходимости последовательности (An)(\mathsf{A}_n) вытекает, что хотя бы одна из последовательностей (Sn+)(\mathsf{S}_n^+), (Sn−)(\mathsf{S}_n^-) расходится. Если они обе расходится, то предложение доказано.

Пусть расходится последовательность (Sn+)(\mathsf{S}_n^+). Так как xn=xn+−xn−x_n = x_n^+ - x_n^- (см. конструкцию), то Sn=Sn+−Sn−\mathsf{S}_n = \mathsf{S}_n^+ - \mathsf{S}_n^-.

Тогда

Sn−=Sn+−Sn, \mathsf{S}_n^- = \mathsf{S}_n^+ - \mathsf{S}_n,

но так как lim⁡n→∞Sn=S\lim_{n \to \infty} \mathsf{S}_n = \mathsf{S}, то согласно Lemma 1.4.1, последовательность (Sn)(\mathsf{S}_n) — ограничена, скажем, L≤Sn≤RL \le \mathsf{S}_n \le R. С другой же стороны, так как (xn+)(x_n^+) — положительный расходящийся ряд, то согласно Theorem 2.2.1, последовательность (Sn+)(\mathsf{S}_n^+) — неограниченна. Это значит, что для любого числа NN можно найти такой номер nn, что Sn+>N+L\mathsf{S}_n^+ >N+L, а тогда Sn−>N+L−L=N\mathsf{S}_n^- > N+L-L =N, т.е. для любого NN мы нашли номер nn такой, что Sn−>N\mathsf{S}_n^- >N, это означает, что последовательность (Sn−)(\mathsf{S}_n^-) неограниченна, а тогда по Theorem 2.2.1, ряд (xn−)(x_n^-) — расходится.

Аналогично рассматривается случай, когда расходится ряд (xn−)(x_n^-).

Наконец, так как ряд (xn)(x_n) сходится, то по необходимому признаку (см. Corollary 2.1.1), lim⁡n→∞xn=0\lim_{n \to \infty} x_n = 0, а из того, что (xn+)(x_n^+), (xn−)(x_n^-) подпоследовательности в последовательности (xn)(x_n), то из Theorem 1.6.1 получаем, что lim⁡n→∞xn+=lim⁡n→∞xn−=0.\lim_{n \to \infty} x_n^+ = \lim_{n \to \infty} x_n^- = 0. Это завершает доказательство.

2.3.3Теорема Римана

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

Proof

Для ряда (xn)(x_n) мы рассмотрим ряды (xn+)(x_n^+), (xn−)(x_n^-) (см. конструкцию). Согласно Proposition 2.3.5, ряды (xn+)(x_n^+), (xn−)(x_n^-) расходятся. Это значит, что последовательности их частичных сумм неограничены (см. Theorem 2.2.1), т.е. их значения могут быть больше любого числа.

Пусть p1p_1 — наименьшее натуральное число (=номер последовательности (xn+)(x_n^+)) такое, что

α<x1++⋯+xp1+=∑i=1p1xi+, \alpha < x_1^+ + \cdots + x_{p_1}^+ = \sum_{i=1}^{p_1}x_i^+,

далее, пусть q1q_1 — наименьшее натуральное число (=номер последовательности (xn−)(x_n^-)) такое, что

α>∑i=1p1xi+−∑j=1q1xj−. \alpha > \sum_{i=1}^{p_1} x_i^+ - \sum_{j=1}^{q_1} x_j^-.

Пусть теперь p2p_2 есть наименьшее натуральное число (=номер последовательности (xn+)(x_n^+)), большее, чем p1p_1, такое, что

α<∑i=1p1xi+−∑j=1q1xj−+∑i=p1+1p2xi+=∑i=1p2xi+−∑j=1q1xj−.\begin{align*} \alpha &<& \sum_{i=1}^{p_1} x_i^+ - \sum_{j=1}^{q_1} x_j^- + \sum_{i={p_1}+1}^{p_2}x_i^+\\ &=& \sum_{i=1}^{p_2} x_i^+ - \sum_{j=1}^{q_1} x_j^- . \end{align*}

Потом мы выбираем такое наименьшее натуральное q2q_2 (=номер последовательности (xn−)(x_n^-)) большее, чем q1q_1, чтобы было верно неравенство

α>∑i=1p2xi+−∑j=1q1xj−−∑j=q1+1q2xj−=∑i=1p2xi+−∑j=q1+1q2xj−.\begin{align*} \alpha &>& \sum_{i=1}^{p_2} x_i^+ - \sum_{j=1}^{q_1} x_j^- - \sum_{j={q_1}+1}^{q_2}x_j^-\\ &=& \sum_{i=1}^{p_2} x_i^+ - \sum_{j={q_1}+1}^{q_2}x_j^-. \end{align*}

Продолжая таким образом, мы получаем последовательность номеров p1,q1,…,pk,qk,…,p_1, q_1,\ldots, p_k,q_k,\ldots, и новую последовательность

(xn′)=x1+,…,xp1+,x1−,…,xq1−,xp1+1+,…,xp2+,xq1+1−,…,xq2−,…, (x_n') = x_1^+, \ldots, x_{p_1}^+, x_1^-, \ldots, x_{q_1}^-, x_{p_1+1}^+, \ldots, x_{p_2}^+, x_{q_1+1}^-, \ldots, x_{q_2}^-, \ldots,

при этом, если числа p1,q1,…,pk,qkp_1,q_1, \ldots, p_k, q_k выбраны, то мы имеем

α>∑i=1pkxi+−∑j=1qkxj− \alpha > \sum_{i=1}^{p_k} x_i^+ - \sum_{j=1}^{q_k} x_j^-

и тогда мы подбираем pk+1p_{k+1} как наименьшее натуральное число, большее, чем pkp_k так, чтобы

α<∑i=1pkxi+−∑j=1qkxj−+∑i=pk+1pk+1xi+=∑i=1pk+1xi+−∑j=1qkxj−, \alpha < \sum_{i=1}^{p_k}x_i^+ - \sum_{j=1}^{q_k} x_j^- + \sum_{i=p_k+1}^{p_{k+1}} x_i^+ = \sum_{i=1}^{p_{k+1}}x_i^+ - \sum_{j=1}^{q_k}x_j^-,

но тогда (в силу условия минимальности на выбор числа pk+1p_{k+1}) имеем

α≥∑i=1pkxi+−∑j=1qkxj−+∑i=pk+1pk+1−1xi+=∑i=1pk+1−1xi+−∑j=1qkxj−. \alpha \ge \sum_{i=1}^{p_k}x_i^+ - \sum_{j=1}^{q_k} x_j^- + \sum_{i=p_k+1}^{p_{k+1}-1} x_i^+ = \sum_{i=1}^{p_{k+1}-1}x_i^+ - \sum_{j=1}^{q_k}x_j^-.

Итак, мы получаем

∑i=1pk+1−1xi+−∑j=1qkxj−≤α<∑i=1pk+1xi+−∑j=1qkxj−. \sum_{i=1}^{p_{k+1}-1}x_i^+ - \sum_{j=1}^{q_k}x_j^- \le \alpha < \sum_{i=1}^{p_{k+1}}x_i^+ - \sum_{j=1}^{q_k}x_j^-.

Из полученных неравенств вычтем сумму ∑i=1pk+1xi+−∑j=1qkxj−\sum_{i=1}^{p_{k+1}}x_i^+ - \sum_{j=1}^{q_k}x_j^-, тогда получаем

(∑i=1pk+1−1xi+−∑j=1qkxj−)−(∑i=1pk+1xi+−∑j=1qkxj−)≤α−(∑i=1pk+1xi+−∑j=1qkxj−)<0. \left(\sum_{i=1}^{p_{k+1}-1}x_i^+ - \sum_{j=1}^{q_k}x_j^-\right) - \left( \sum_{i=1}^{p_{k+1}}x_i^+ - \sum_{j=1}^{q_k}x_j^- \right) \le \alpha - \left( \sum_{i=1}^{p_{k+1}}x_i^+ - \sum_{j=1}^{q_k}x_j^- \right) < 0.

откуда получаем

−xpk+1+≤α−(∑i=1pk+1xi+−∑j=1qkxj−)<0,- x_{p_k+1}^+ \le \alpha - \left( \sum_{i=1}^{p_{k+1}}x_i^+ - \sum_{j=1}^{q_k}x_j^- \right) < 0,

или

0<(∑i=1pk+1xi+−∑j=1qkxj−)−α≤xpk+1+.0 < \left( \sum_{i=1}^{p_{k+1}}x_i^+ - \sum_{j=1}^{q_k}x_j^- \right) - \alpha \le x_{p_k+1}^+.

Далее, согласно Proposition 2.3.5, lim⁡k→∞xpk+1+=0\lim_{k \to \infty}x_{p_k+1}^+ = 0, то по лемме о зажатой последовательности) и Proposition 1.2.1 получаем, что

lim⁡k→∞(∑i=1pk+1xi+−∑j=1qkxj−)=α.\boxed{ \lim_{k\to \infty} \left( \sum_{i=1}^{p_{k+1}}x_i^+ - \sum_{j=1}^{q_k}x_j^- \right) = \alpha. }
(2.3.1)

С другой стороны, если числа p1,…,pk,qk,pk+1p_1,\ldots, p_k,q_k,p_{k+1} выбраны, то

α<∑i=1pk+1xi+−∑j=1qkxj−, \alpha < \sum_{i=1}^{p_{k+1}} x_i^+- \sum_{j=1}^{q_k}x_j^-,

и тогда qk+1q_{k+1} мы выбираем как наименьшее натуральное число такое, что

α>∑i=1pk+1xi+−∑j=1qkxj−−∑j=qk+1qk+1xj−=∑i=1pk+1xi+−∑j=1qk+1xj−, \alpha > \sum_{i=1}^{p_{k+1}} x_i^+- \sum_{j=1}^{q_k}x_j^- - \sum_{j=q_{k+1}}^{q_{k+1}} x_j^- = \sum_{i=1}^{p_{k+1}} x_i^+- \sum_{j=1}^{q_{k+1}}x_j^-,

а тогда получаем

α≤∑i=1pk+1xi+−∑j=1qk+1−1xj−. \alpha \le \sum_{i=1}^{p_{k+1}} x_i^+- \sum_{j=1}^{q_{k+1}-1}x_j^-.

Мы получаем неравенства

∑i=1pk+1xi+−∑j=1qk+1xj−<α≤∑i=1pk+1xi+−∑j=1qk+1−1xj−, \sum_{i=1}^{p_{k+1}} x_i^+- \sum_{j=1}^{q_{k+1}}x_j^- < \alpha \le \sum_{i=1}^{p_{k+1}} x_i^+- \sum_{j=1}^{q_{k+1}-1}x_j^-,

вычитая сумму ∑i=1pk+1xi+−∑j=1qk+1xj−\sum_{i=1}^{p_{k+1}} x_i^+- \sum_{j=1}^{q_{k+1}}x_j^- из каждого неравенства, мы получаем

0<α−(∑i=1pk+1xi+−∑j=1qk+1xj−)≤(∑i=1pk+1xi+−∑j=1qk+1−1xj−)−(∑i=1pk+1xi+−∑j=1qk+1xj−), 0 < \alpha - \left( \sum_{i=1}^{p_{k+1}} x_i^+- \sum_{j=1}^{q_{k+1}}x_j^- \right) \le \left( \sum_{i=1}^{p_{k+1}} x_i^+- \sum_{j=1}^{q_{k+1}-1}x_j^-\right) - \left( \sum_{i=1}^{p_{k+1}} x_i^+- \sum_{j=1}^{q_{k+1}}x_j^-\right),

откуда вытекает

0<α−(∑i=1pk+1xi+−∑j=1qk+1xj−)≤xqk+1−. 0 < \alpha - \left( \sum_{i=1}^{p_{k+1}} x_i^+- \sum_{j=1}^{q_{k+1}}x_j^- \right) \le x_{q_{k+1}}^-.

А тогда, согласно Proposition 2.3.5, lim⁡k→∞xpk+1+=0\lim_{k \to \infty}x_{p_k+1}^+ = 0, то по лемме о зажатой последовательности) и Proposition 1.2.1 получаем, что

lim⁡k→∞(∑i=1pk+1xi+−∑j=1qk+1xj−)=α.\boxed{ \lim_{k\to \infty} \left( \sum_{i=1}^{p_{k+1}}x_i^+ - \sum_{j=1}^{q_{k+1}}x_j^- \right) = \alpha. }
(2.3.2)

Но по построению, все частичные суммы ряда

(xn′)=x1+,…,xp1+,x1−,…,xq1−,xp1+1+,…,xp2+,xq1+1−,…,xq2−,…, (x_n') = x_1^+, \ldots, x_{p_1}^+, x_1^-, \ldots, x_{q_1}^-, x_{p_1+1}^+, \ldots, x_{p_2}^+, x_{q_1+1}^-, \ldots, x_{q_2}^-, \ldots,

имеют либо вид ∑i=1pk+1xi+−∑j=1qkxj−\sum_{i=1}^{p_{k+1}}x_i^+ - \sum_{j=1}^{q_k}x_j^- либо ∑i=1pk+1xi+−∑j=1qk+1xj− \sum_{i=1}^{p_{k+1}}x_i^+ - \sum_{j=1}^{q_{k+1}}x_j^-, а тогда из уравнений (2.3.1), (2.3.2) вытекает, что сумма ряда (xn′)(x_n') есть α.\alpha.

2. Начало теории рядов
2.2 Положительные ряды
3. Топология вещественной прямой
3.0 Вводные замечания и мотивировка