数学分析：数项级数的性质

数学分析：数项级数的性质

通过上一节的内容，我们知道：级数的收敛与数列的收敛本质上是一回事。这使得通过数列的性质推导级数的性质成为了可能。

定理 1. 数项级数收敛的必要条件：设 ${\sum }_{n=1}^{\infty }{x}_n$ 为任意一个级数，若 ${\sum }_{n=1}^{\infty }{x}_n$ 收敛，则由其通项构成的数列 { x n } \{x_{n}\} {xn​} 是无穷小量。即：

$$\underset{n\to \infty }{\lim }{x}_n=0.$$

证：

不妨设 ${\sum }_{n=1}^{\infty }{x}_x=S,S\in \mathbb{R}$，其部分和数列为 { S n } \{S_{n}\} {Sn​}，则有：

$$\underset{n\to \infty }{\lim }{S}_n=S.$$

从而有：

$$\underset{n\to \infty }{\lim }{x}_n=\underset{n\to \infty }{\lim }(S_n-S_{n-1})=\underset{n\to \infty }{\lim }{S}_n-\underset{n\to \infty }{\lim }{S}_{n-1}=S-S=0.$$

证毕

附注：定理 1 可用来判断某些级数发散。

例题：当 $|q|\ge 1$ 时， { q n } \{q^{n}\} {qn} 不是无穷小量，因此级数 ${\sum }_{n=1}^{\infty }{q}^{n-1}$ 发散。

定理 2. 级数收敛的 Cauchy 准则：级数 ${\sum }_{n=1}^{\infty }{x}_n$ 收敛的 充分必要条件 为：对于任意给定的 $ϵ>0$，存在正整数 $N$，使得对一切 $m>n>N$，成立：

$$|x_{n+1}+x_{n+1}+\cdots +x_m|=\left|\sum _{k=n+1}^m{x}_k\right|<ϵ.$$

等价地，有另一表述：对于任意给定的 $ϵ>0$，存在正整数 $N$，使得对一切 $n>N$ 和一切正整数 $p$ 成立：

$$|x_{n+1}+x_{n+2}+\cdots +x_{n+p}|=\left|\sum _{k=1}^p{x}_{n+k}\right|<ϵ.$$

附注：对于 定理 2 的第二种表述，若取 $p=1$，则得到 $|x_{n+1}|<ϵ,\forall n>N$，此即为 定理 1 中级数收敛的必要条件。

证：

对数项级数的部分和数列应用 数列收敛的 Cauchy 准则，即可得证。

证毕