级数是把“无限”放进可讨论框架里的工具。

一个级数

$$ \sum_{n=1}^{\infty} a_n $$

看起来只是很多项相加，但真正的问题是：这些项加下去以后，结果会不会稳定下来。

先看部分和

定义部分和

$$ S_N=\sum_{n=1}^N a_n. $$

如果 $S_N$ 随着 $N$ 增大趋向某个有限值 $S$，就说级数收敛：

$$ \sum_{n=1}^{\infty} a_n = S. $$

如果部分和不停长大、振荡，或者根本没有稳定趋势，那级数就发散。

最基本的必要条件

如果级数收敛，那么它的通项必须满足

$$ \lim_{n\to\infty} a_n = 0. $$

这是必要条件，但不是充分条件。

也就是说，$a_n \to 0$ 只是第一道门槛，不代表级数一定收敛。最经典的反例是调和级数：

$$ \sum_{n=1}^{\infty}\frac{1}{n}. $$

虽然

$$ \lim_{n\to\infty}\frac{1}{n}=0, $$

但它仍然发散。

收敛并不只是“项变小”

很多初学者会误以为，只要每一项越来越小，级数就应该收敛。

实际上，项变小只是必要条件。真正决定级数命运的，是这些小项累积起来的总效果。

例如几何级数

$$ \sum_{n=0}^{\infty} q^n $$

在 $|q|<1$ 时收敛，并且有

$$ \sum_{n=0}^{\infty} q^n=\frac{1}{1-q}. $$

这是因为每一项都在按比例衰减，整体能够被控制住。

误差和尾项

部分和的另一个重要概念是尾项：

$$ R_N=\sum_{n=N+1}^{\infty} a_n. $$

尾项越小，说明截断后的近似越好。

这也是级数在实际计算里很有用的原因。你不一定要把无穷项真的加完，只要知道尾项足够小，就可以把无穷问题变成可用的近似问题。

结尾

级数研究的不是“能不能继续加”，而是“加到无限以后会留下什么”。

收敛与发散的边界，正是高等数学里对无穷过程最精细的判断之一。