黎曼重排定理

贡献者： DTSIo

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

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

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

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

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