10.2.5 Properties of Convergent Series (收敛级数的性质)¶
收敛级数的线性性质、必要条件（通项趋于零）以及级数的基本运算规则
定义¶
收敛级数的性质是指无穷级数 \(\sum_{n=1}^{\infty} a_n\) 收敛时所满足的重要性质和运算规则。设级数 \(\sum_{n=1}^{\infty} a_n\) 和 \(\sum_{n=1}^{\infty} b_n\) 都收敛，其和分别为 \(S\) 和 \(T\)，则：
-
线性性质：对于任意常数 \(c\) 和 \(d\)，级数 \(\sum_{n=1}^{\infty} (ca_n + db_n)\) 也收敛，且其和为 \(cS + dT\)。
-
必要条件（通项趋于零）：若级数 \(\sum_{n=1}^{\infty} a_n\) 收敛，则必有 \(\lim_{n \to \infty} a_n = 0\)。这是级数收敛的必要条件，但不是充分条件。
-
级数的重新分组：收敛级数的项可以任意加括号（分组），所得的新级数仍然收敛，且和不变。但注意：不能随意去掉括号。
-
级数的基本运算：两个收敛级数可以进行加法、减法运算，结果仍为收敛级数。常数倍数的级数收敛性与原级数相同。
核心公式¶
- \(\sum_{n=1}^{\infty} (ca_n + db_n) = c\sum_{n=1}^{\infty} a_n + d\sum_{n=1}^{\infty} b_n\)
- \(\text{若} \sum_{n=1}^{\infty} a_n \text{收敛，则} \lim_{n \to \infty} a_n = 0\)
- \(\text{逆否命题：若} \lim_{n \to \infty} a_n \neq 0 \text{（或极限不存在），则} \sum_{n=1}^{\infty} a_n \text{发散}\)
- \(\sum_{n=1}^{\infty} a_n = S \text{ 且 } \sum_{n=1}^{\infty} b_n = T \Rightarrow \sum_{n=1}^{\infty} (a_n \pm b_n) = S \pm T\)
- \(\text{若} \sum_{n=1}^{\infty} a_n \text{收敛，则} \sum_{n=1}^{\infty} ca_n \text{也收敛，其和为} cS\)
易错点¶
- ⚠️ 混淆必要条件与充分条件：学生常错误地认为 \(\lim_{n \to \infty} a_n = 0\) 是级数收敛的充分条件。实际上这只是必要条件，例如调和级数 \(\sum_{n=1}^{\infty} \frac{1}{n}\) 的通项趋于零但级数发散。
- ⚠️ 错误地使用逆命题：学生可能认为若级数发散则通项不趋于零，但正确的是逆否命题：若通项不趋于零则级数必发散。发散的级数通项不一定不趋于零。
- ⚠️ 在级数中随意去掉或添加括号：虽然收敛级数可以任意加括号，但不能随意去掉括号。去掉括号后的级数可能发散，即使原级数收敛。
- ⚠️ 忽视线性性质的前提条件：学生在应用线性性质时，常忘记检查两个级数是否都收敛。只有两个级数都收敛时，其线性组合才一定收敛。