跳转至

10.1.3 Limit of a Sequence (序列的极限)

理解序列极限的严格定义(ε-N定义)和直观含义,掌握序列收敛和发散的概念

定义

序列的极限是指当序列的项数趋向无穷时,序列的项趋向于某个固定值的过程。

严格定义(ε-N定义):\(\{a_n\}\) 是一个序列,\(L\) 是一个实数。如果对于任意给定的正数 \(\varepsilon > 0\),都存在正整数 \(N\),使得当 \(n > N\) 时,都有 \(|a_n - L| < \varepsilon\) 成立,则称序列 \(\{a_n\}\) 收敛于 \(L\),记作 \(\lim_{n \to \infty} a_n = L\)

直观含义: 序列的项可以任意接近极限值 \(L\),只要我们取足够大的项数。换句话说,无论我们要求序列的项与 \(L\) 的距离有多小(由 \(\varepsilon\) 决定),总能找到一个足够大的项数 \(N\),使得之后的所有项都在这个距离范围内。

收敛与发散: 如果序列存在极限,则称该序列收敛;如果序列不存在极限(包括趋向无穷或振荡),则称该序列发散。

核心公式

  • \(["\)\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\(", "\)\lim_{n \to \infty} a_n = L \Rightarrow \lim_{n \to \infty} |a_n - L| = 0\(", "\)\lim_{n \to \infty} (a_n + b_n) = \lim_{n \to \infty} a_n + \lim_{n \to \infty} b_n$ (若两个极限都存在)", "\(\\lim_{n \\to \\infty} (a_n \\cdot b_n) = \\lim_{n \\to \\infty} a_n \\cdot \\lim_{n \\to \\infty} b_n\) (若两个极限都存在)", "\(\\lim_{n \\to \\infty} \\frac{a_n}{b_n} = \\frac{\\lim_{n \\to \\infty} a_n}{\\lim_{n \\to \\infty} b_n}\) (若两个极限都存在且分母极限不为零)"]$

易错点

  • ⚠️ 混淆 \(\varepsilon\)\(N\) 的角色:学生常误认为 \(N\) 是任意给定的,而 \(\varepsilon\) 需要找到。实际上应该是:先给定任意小的 \(\varepsilon > 0\),然后找到对应的 \(N\)
  • ⚠️ 忽视 \(N\) 的存在性:在验证极限时,学生可能只验证了某个特定的 \(N\) 值有效,但没有证明对所有 \(\varepsilon > 0\) 都能找到相应的 \(N\)
  • ⚠️ 错误地应用极限运算法则:当某个序列的极限不存在时,仍然使用加法、乘法等运算法则,导致错误结论。必须先确认所有涉及的极限都存在。
  • ⚠️ 混淆序列极限与函数极限的定义:虽然两者概念相似,但序列极限中 \(n\) 只能取正整数,而函数极限中 \(x\) 可以取任意实数值,这会影响某些性质的应用。