跳转至

10.1.4 Convergence Tests for Sequences (序列收敛性判定)

掌握判定序列收敛性的方法，包括单调有界定理、夹逼定理和极限运算法则

定义

序列收敛性判定是指通过特定的定理和方法来判断一个数列 \(\{a_n\}\) 是否收敛到某个极限值 \(L\)。一个序列 \(\{a_n\}\) 收敛到极限 \(L\)，当且仅当对于任意小的正数 \(\epsilon > 0\)，都存在正整数 \(N\)，使得当 \(n > N\) 时，有 \(|a_n - L| < \epsilon\) 成立。序列收敛性的判定主要包括三个重要方法：(1) 单调有界定理：如果一个序列单调递增且有上界，或单调递减且有下界，则该序列必然收敛；(2) 夹逼定理（三明治定理）：如果序列 \(\{a_n\}\) 被两个收敛到同一极限 \(L\) 的序列 \(\{b_n\}\) 和 \(\{c_n\}\) 夹在中间，即 \(b_n \leq a_n \leq c_n\)，则 \(\{a_n\}\) 也收敛到 \(L\)；(3) 极限运算法则：若 \(\{a_n\}\) 和 \(\{b_n\}\) 分别收敛到 \(L_1\) 和 \(L_2\)，则它们的和、差、积、商（分母不为零）也都收敛，且极限值等于各自极限的相应运算结果。

核心公式

  • \(\lim_{n \to \infty} a_n = L \Leftrightarrow \forall \epsilon > 0, \exists N \in \mathbb{N}, n > N \Rightarrow |a_n - L| < \epsilon\)
  • \(\text{单调有界定理：若 } \{a_n\} \text{ 单调递增且有上界，则 } \lim_{n \to \infty} a_n \text{ 存在}\)
  • \(\text{夹逼定理：若 } b_n \leq a_n \leq c_n \text{ 且 } \lim_{n \to \infty} b_n = \lim_{n \to \infty} c_n = L, \text{ 则 } \lim_{n \to \infty} a_n = L\)
  • \(\text{极限运算法则：若 } \lim_{n \to \infty} a_n = L_1, \lim_{n \to \infty} b_n = L_2, \text{ 则 } \lim_{n \to \infty} (a_n \pm b_n) = L_1 \pm L_2, \lim_{n \to \infty} (a_n \cdot b_n) = L_1 \cdot L_2, \lim_{n \to \infty} \frac{a_n}{b_n} = \frac{L_1}{L_2} (L_2 \neq 0)\)
  • \(\text{比值判定法：若 } \lim_{n \to \infty} \left|\frac{a_{n+1}}{a_n}\right| = r < 1, \text{ 则序列 } \{a_n\} \text{ 收敛到 } 0\)

易错点

  • ⚠️ 混淆单调性和有界性：学生常常认为仅有单调性或仅有有界性就能保证收敛，但单调有界定理要求两个条件同时满足。例如，序列 \(a_n = n\) 单调递增但无上界，不收敛；序列 \(a_n = (-1)^n\) 有界但不单调，也不收敛。
  • ⚠️ 在应用夹逼定理时忽视两个边界序列必须收敛到同一极限的条件：学生可能找到了合适的上下界序列，但这两个序列的极限不同，此时夹逼定理不适用。
  • ⚠️ 错误地应用极限运算法则到发散序列：当 \(\{a_n\}\) 或 \(\{b_n\}\) 发散时，不能直接使用极限运算法则。例如，不能说 \(\lim_{n \to \infty}(n - n) = \infty - \infty\)，而应该先化简再求极限。
  • ⚠️ 在使用比值判定法时，忽视了 \(r = 1\) 的情况是不确定的：当 \(\lim_{n \to \infty} \left|\frac{a_{n+1}}{a_n}\right| = 1\) 时，该判定法无法判断序列是否收敛，需要使用其他方法。