跳转至

10.1.5 Properties of Convergent Sequences (收敛序列的性质)

理解收敛序列的唯一性、有界性、保号性等基本性质及其应用

定义

收敛序列的性质是指满足收敛条件的数列所具有的基本特征。设数列 \(\{a_n\}\) 收敛到极限 \(L\)，即 \(\lim_{n \to \infty} a_n = L\)，则该序列具有以下性质：

  1. 唯一性：如果数列 \(\{a_n\}\) 收敛，则其极限值唯一。即若 \(\lim_{n \to \infty} a_n = L_1\) 且 \(\lim_{n \to \infty} a_n = L_2\)，则 \(L_1 = L_2\)。

  2. 有界性：收敛数列必为有界数列。即存在正数 \(M\)，使得对所有 \(n \in \mathbb{N}^+\)，都有 \(|a_n| \leq M\)。

  3. 保号性：若 \(\lim_{n \to \infty} a_n = L > 0\)，则存在正整数 \(N\)，当 \(n > N\) 时，\(a_n > 0\)（对于 \(L < 0\) 的情况类似）。更一般地，若 \(\lim_{n \to \infty} a_n = L\) 且 \(L > c\)（\(c\) 为常数），则存在 \(N\)，当 \(n > N\) 时，\(a_n > c\)。

  4. 四则运算性质：若 \(\lim_{n \to \infty} a_n = L_1\) 且 \(\lim_{n \to \infty} b_n = L_2\)，则：

  5. \(\lim_{n \to \infty} (a_n + b_n) = L_1 + L_2\)
  6. \(\lim_{n \to \infty} (a_n - b_n) = L_1 - L_2\)
  7. \(\lim_{n \to \infty} (a_n \cdot b_n) = L_1 \cdot L_2\)

  8. 当 \(L_2 \neq 0\) 时，\(\lim_{n \to \infty} \frac{a_n}{b_n} = \frac{L_1}{L_2}\)

  9. 夹逼定理：若存在正整数 \(N\)，当 \(n > N\) 时，\(a_n \leq c_n \leq b_n\)，且 \(\lim_{n \to \infty} a_n = \lim_{n \to \infty} b_n = L\)，则 \(\lim_{n \to \infty} c_n = L\)。

核心公式

  • \(\lim_{n \to \infty} a_n = L \Leftrightarrow \forall \varepsilon > 0, \exists N \in \mathbb{N}^+, \text{ s.t. } n > N \Rightarrow |a_n - L| < \varepsilon\)
  • \(\text{若 } \lim_{n \to \infty} a_n = L, \text{ 则 } \exists M > 0, \forall n \in \mathbb{N}^+, |a_n| \leq M\)
  • \(\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 b_n = L_1 L_2\)
  • \(\text{若 } \lim_{n \to \infty} a_n = L > 0, \text{ 则 } \exists N, \forall n > N, a_n > \frac{L}{2}\)
  • \(\text{若 } a_n \leq c_n \leq b_n \text{ 且 } \lim_{n \to \infty} a_n = \lim_{n \to \infty} b_n = L, \text{ 则 } \lim_{n \to \infty} c_n = L\)

易错点

  • ⚠️ 混淆有界性与收敛性：学生常误认为有界数列必收敛，但实际上有界数列不一定收敛（如 \(a_n = (-1)^n\) 有界但发散）。收敛数列必有界，但有界数列不一定收敛。
  • ⚠️ 在应用保号性时忽视'存在 \(N\) 使得 \(n > N\)'的条件：保号性只保证从某一项之后数列保持同号，而不是所有项都保持同号。学生容易错误地认为整个数列都满足该性质。
  • ⚠️ 四则运算性质中忽视前提条件：在应用除法法则时，学生常忘记检查分母的极限是否为零。当 \(\lim_{n \to \infty} b_n = 0\) 时，不能直接使用 \(\lim_{n \to \infty} \frac{a_n}{b_n} = \frac{L_1}{L_2}\) 的公式。
  • ⚠️ 在夹逼定理中错误地设置不等式：学生有时会反向设置不等式（如写成 \(b_n \leq c_n \leq a_n\)），或者忘记验证两端序列的极限相等这一关键条件。