黎曼重排定理

                     

贡献者: DTSIo

预备知识 绝对收敛与条件收敛

   相比于绝对收敛级数,条件收敛级数究竟是哪里有问题呢?

   不妨假定讨论的一直是实数项级数。沿用证明绝对收敛级数的重排性质时的构造: $$ a_n^+= \left\{\begin{aligned} &{a_n} &&(a_n\geq0)\\ &0 && (a_n<0)~, \end{aligned}\right. \qquad a_n^-= \left\{\begin{aligned} &0 &&(a_n\geq0)\\ -&a_n &&(a_n<0)~. \end{aligned}\right. $$ 可以很合理地将 $a_n^+$ 称为正部,$a_n^-$ 称为负部,而当然 $a_n=a_n^+-a_n^-$. 如果级数 $\sum_{n=1}^\infty a_n$ 是绝对收敛的,那么正部和负部组成的都是收敛的正项级数。而如果这级数只是条件收敛的,那么正部和负部组成的都是发散到无穷的正项级数。在这种情况下,式子 $$ \sum_{n=1}^\infty a_n=\sum_{n=1}^\infty a_n^+-\sum_{n=1}^\infty a_n^-~ $$ 是没有意义的。

   而后,回忆绝对收敛与条件收敛中给出的例子 $$ \sum_{n=1}^\infty\frac{(-1)^{n+1}}{n} =1-\frac{1}{2}+\frac{1}{3}-\frac{1}{4}+...~. $$ 这个级数的和等于 $\ln2$, 但我们已经通过一种重排技巧将它的和缩减到了本来的和的一半。这个性质不是偶然的。条件收敛级数的收敛完全是因为相邻项之间的正负抵消,而将这件事精确化的正是如下的

定理 1 黎曼重排定理

   设 $\sum_{n=1}^\infty a_n$ 是条件收敛但不绝对收敛的级数,一般项都是实数。则对于任何一个实数 $A$, 都存在正整数集 $\mathbb{N}$ 的一个重排 $\sigma$, 使得 $$ \sum_{n=1}^\infty a_{\sigma(n)}=A~. $$

   可以说,黎曼重排定理将条件收敛级数的正负抵消性质发挥到了极致。

   要证明黎曼重排定理,实际上只是需要重复一些构造而已。回忆一下级数收敛的必要条件,知道 $a_n^+$ 和 $a_n^-$ 都收敛到零。不妨先假定给定的实数 $A>0$. 从正部里取出前 $N_1$ 项,使得恰好有 \[ \sum_{n=1}^{N_1-1}a_n^+\leq A~, \quad \sum_{n=1}^{N_1}a_n^+> A~. \] 而后从负部里取出前 $N_2$ 项,使得恰好有 \[ \sum_{n=1}^{N_1}a_n^+-\sum_{n=1}^{N_1}a_n^-> A~, \quad \sum_{n=1}^{N_1+1}a_n^+-\sum_{n=1}^{N_1}a_n^-\leq A~. \] 重复这个操作,就得到了级数 $\sum_{n=1}^\infty a_n$ 的一个重排。首先,这重排是可以一直继续下去的,因为正部和负部组成的级数 $\sum_{n=1}^\infty a_n^+$ 和 $\sum_{n=1}^\infty a_n^-$ 都发散至无穷,所以在每一步操作之后总能找到足够多的项来超过/低于给定数 $A$ (这个操作对于绝对收敛级数就做不到,因为在这种情况下找再多的项都不够). 另外,这重排给出的是收敛级数,因为有 $a_n\to0$ 的关系,每一步操作所给出的部分和将会震荡着逼近 $A$.

例 1 黎曼重排定理的例题

   上面的论证可能比较抽象,来看具体例子。还是讨论级数 $$ \sum_{n=1}^\infty\frac{(-1)^{n+1}}{n} =1-\frac{1}{2}+\frac{1}{3}-\frac{1}{4}+...~ $$ 现在希望将它重排使之收敛到 1. 所作的重排过程如下: $$ 1-\frac{1}{2}=0.5<1~, $$ $$ 1-\frac{1}{2}+\frac{1}{3}+\frac{1}{5}=1.0333...>1~, $$ $$ 1-\frac{1}{2}+\frac{1}{3}+\frac{1}{5}-\frac{1}{4}=0.7833...<1~, $$ $$ 1-\frac{1}{2}+\frac{1}{3}+\frac{1}{5}-\frac{1}{4}+\frac{1}{7}+\frac{1}{9}=1.0373...>1~. $$ 如此续行。


致读者: 小时百科一直以来坚持所有内容免费无广告,这导致我们处于严重的亏损状态。 长此以往很可能会最终导致我们不得不选择大量广告以及内容付费等。 因此,我们请求广大读者热心打赏 ,使网站得以健康发展。 如果看到这条信息的每位读者能慷慨打赏 20 元,我们一周就能脱离亏损, 并在接下来的一年里向所有读者继续免费提供优质内容。 但遗憾的是只有不到 1% 的读者愿意捐款, 他们的付出帮助了 99% 的读者免费获取知识, 我们在此表示感谢。

                     

友情链接: 超理论坛 | ©小时科技 保留一切权利