绝对收敛与条件收敛

贡献者： DTSIo

　　 乍看起来，一个数项级数 $\sum _{n=1}^{\mathrm{\infty }}{a}_n$ 的收敛性似乎没有什么特别之处：它只是涉及到部分和的极限而已。然而，鉴于有限项的求和允许任意换序，我们自然要问：对于这个极限过程，还能够这样随意换序吗？由此就生发出了许多微妙的问题。

1. 从一个例子开始

　　 考虑级数 $$\sum _{n=1}^{\mathrm{\infty }}\frac{(-1{)}^{n+1}}{n}=1-\frac{1}{2}+\frac{1}{3}-\frac{1}{4}+...$$ 它的各项绝对值组成的级数是发散的调和级数，但这个级数本身却是收敛的。实际上，它的第 $N$ 个部分和 $S_N$ 可以计算如下：当 $N$ 是奇数时， $$S_N=(1-\frac{1}{2})+(\frac{1}{3}-\frac{1}{4})+...+(\frac{1}{N-2}-\frac{1}{N-1})+\frac{1}{N},$$ 而当 $N$ 是偶数时， $$S_N=(1-\frac{1}{2})+(\frac{1}{3}-\frac{1}{4})+...+(\frac{1}{N-1}-\frac{1}{N}).$$ 由于 $$0<\frac{1}{N-1}-\frac{1}{N}<\frac{1}{N^2},$$ 可见对于 $M>N$ 总有 $$|S_M-S_N|<\sum _{k=N}^M\frac{1}{k^2}.$$ 根据柯西判据，部分和序列 $\{S_N\}$ 是有极限的，所以原来的级数收敛。以后将会算出这个极限等于 $\ln 2=0.6931...$

　　 正如上面证明收敛性的过程所显示的，级数 $\sum _{n=1}^{\mathrm{\infty }}\frac{(-1{)}^{n+1}}{n}$ 能够收敛，完全是因为求和过程中相邻的项能够相互抵消。如果更换一下求和的次序，那么抵消的结果就会有所不同。例如，将级数重新排列如下： $$(1-\frac{1}{2})-\frac{1}{4}+(\frac{1}{3}-\frac{1}{6})-\frac{1}{8}...$$ 这样重排的一般规律是 $$(\frac{1}{2k-1}-\frac{1}{2(2k-1)})-\frac{1}{4k},k\in \mathbb{N}.$$ 不难看出这样得到的级数实际上是 $$\frac{1}{2}-\frac{1}{4}+\frac{1}{6}-\frac{1}{8}+...$$ 根据同样的推理，这个级数的和乃是级数 $\sum _{n=1}^{\mathrm{\infty }}\frac{(-1{)}^{n+1}}{n}$ 的一半，也就是 $\ln 2/2$. 这显示出，级数 $\sum _{n=1}^{\mathrm{\infty }}\frac{(-1{)}^{n+1}}{n}=1-\frac{1}{2}+\frac{1}{3}-\frac{1}{4}+...$ 的收敛性与有限和的求和是不同的。

2. 绝对收敛级数

　　 那么，有没有级数在换序求和之后仍然能够收敛到同一个和呢？这需要引出所谓绝对收敛级数（absolutely convergent）的概念。

　　 根据柯西判据，绝对收敛的级数本身当然是收敛的，但反过来就不一定了; 上一小节就给出了一个典型例子。术语"绝对收敛"的"绝对"一词有双关含义：它既表示级数一般项的绝对值组成收敛级数，也表示级数的收敛性不是由于部分和取极限的过程中正负抵消导致的，而是"绝对"的收敛。实际上有如下重要的重排定理：

　　 证明。 先设级数 $\sum _{n=1}^{\mathrm{\infty }}{a}_n$ 为正项级数。这样一来，级数 $\sum _{n=1}^{\mathrm{\infty }}{a}_{\sigma (n)}$ 的部分和序列是单调递增的，而且第 $N$ 个部分和可以估计如下：设 $M$ 是诸 $\sigma (n),n=1,...,N$ 中的最大者，则 $$\sum _{n=1}^N{a}_{\sigma (n)}\le \sum _{n=1}^M{a}_n.$$ 显然当 $N\to \mathrm{\infty }$ 时 $M\to \mathrm{\infty }$, 因此级数 $\sum _{n=1}^{\mathrm{\infty }}{a}_{\sigma (n)}$ 的部分和序列组成单调递增的有界序列，从而这级数收敛，而且它的和不大于 $A$. 对于置换 $\sigma$ 的逆变换 ${\sigma }^{-1}$ 进行同样的推理，可见级数 $\sum _{n=1}^{\mathrm{\infty }}{a}_{\sigma (n)}$ 的和不小于 $A$. 于是它的和就是 $A$.

　　 接下来不妨设级数的一般项都是实数。作出如下定义： $$a_n^{+}=\{\begin{array}{cc}{a}_n& (a_n\ge 0)\\ 0& (a_n<0),\end{array}{a}_n^{-}=\{\begin{array}{cc}0& (a_n\ge 0)\\ -a_n& (a_n<0).\end{array}$$ 如果级数 $\sum _{n=1}^{\mathrm{\infty }}{a}_n$ 绝对收敛，那么显然级数 $\sum _{n=1}^{\mathrm{\infty }}{a}_n^{+}$ 和 $\sum _{n=1}^{\mathrm{\infty }}{a}_n^{-}$ 都是收敛的正项级数。把它们的和分别记为 $A^{+}$ 和 $A^{-}$. 我们发现，级数 $\sum _{n=1}^{\mathrm{\infty }}{a}_n$ 的和 $A$ 恰好等于 $A^{+}-A^{-}$. 实际上，如果部分和 $\sum _{n=1}^N{a}_n$ 里有 $N_1$ 个正项和 $N_2$ 个负项，那么 $$\sum _{n=1}^N{a}_n=\sum _{n=1}^{N_1}{a}_n^{+}-\sum _{n=1}^{N_2}{a}_n^{-}.$$ 令 $N\to \mathrm{\infty }$, 则此时 $N_1,N_2$ 都趋于无穷，于是得到 $A=A^{+}-A^{-}$. 这样一来，级数 $\sum _{n=1}^{\mathrm{\infty }}{a}_n$ 的任何重排实际上都不过是 $\sum _{n=1}^{\mathrm{\infty }}{a}_n^{+}$ 和 $\sum _{n=1}^{\mathrm{\infty }}{a}_n^{-}$ 的重排相减而已，因此自然收敛到同一个和。

　　 最后，在级数的一般项是复数的情形，只需要注意到复数项级数的绝对收敛等价于其实部和虚部都分别是绝对收敛的。由此只需要分开实部和虚部进行讨论就够了。证毕。