数列的极限
第2节 数列的极限
一、数列极限的引入
- 极限概念源于求解实际问题的精确解,如计算由 $y = x^2$、$y = 0$、$x = 1$ 围成的曲边三角形面积 $A$。
- 使用“台阶形”逼近法,将区间 $[0,1]$ 分为 $n$ 等份,构造面积 $A_n$:
\[
A_n = \frac{1}{n^3} \left[1^2 + 2^2 + \cdots + (n-1)^2\right] = \frac{1}{6n^3} \cdot n(n-1)(2n-1)
\]
化简得:
\[
A_n = \frac{1}{3} - \left( \frac{1}{2n} - \frac{1}{6n^2} \right)
\]
- 当 $n \to \infty$,$A_n \to A = \frac{1}{3}$,体现了极限思想。
二、数列与整标函数
定义:
- 数列是一列按顺序排列的实数:$x_1, x_2, \dots, x_n, \dots$,记为 $\{x_n\}$。
- 第 $n$ 项 $x_n$ 称为通项。
例子:
- $A_2, A_3, \dots, A_n, \dots$
- $1, \frac{1}{2}, \frac{1}{3}, \dots, \frac{1}{n}, \dots$
- $2, 4, 8, \dots, 2^n, \dots$
- $\frac{1}{2}, \frac{1}{4}, \frac{1}{8}, \dots, \frac{1}{2^n}, \dots$
- $1, -1, 1, \dots, (-1)^{n+1}, \dots$
- $2, \frac{1}{2}, \frac{4}{3}, \dots, \frac{n + (-1)^{n-1}}{n}, \dots$
几何意义:
- 数列 $\{x_n\}$ 表示数轴上的一列点。
- 从函数角度看,数列是整标函数:$x_n = f(n), \quad n \in \mathbb{N}^*$
三、极限思想的核心
- 利用规则图形(如台阶形)的极限来逼近不规则图形(如曲边三角形)的面积。
- 体现了“极限方法”在解决实际问题中的基本思想。
用定义证明极限的例子
例 1.2.1 证明:$\lim_{n \to \infty} \left[ 1 + \frac{(-1)^{n-1}}{n} \right] = 1$
证:
\[
|x_n - 1| = \left| \frac{(-1)^{n-1}}{n} \right| = \frac{1}{n}
\]
要使 $\frac{1}{n} < \varepsilon$,只需 $n > \frac{1}{\varepsilon}$。
取 $N = \left\lfloor \frac{1}{\varepsilon} \right\rfloor$,则当 $n > N$ 时,有 $|x_n - 1| < \varepsilon$,故极限为 1。
例 1.2.2 证明:$\lim_{n \to \infty} \frac{1}{2^n} = 0$
证:
\[
\left| \frac{1}{2^n} - 0 \right| = \frac{1}{2^n}
\]
要使 $\frac{1}{2^n} < \varepsilon$,只需 $n > \log_2 \frac{1}{\varepsilon}$。
取 $N = \left\lfloor \log_2 \frac{1}{\varepsilon} \right\rfloor$,则当 $n > N$ 时,有 $\left| \frac{1}{2^n} \right| < \varepsilon$,故极限为 0。
例 1.2.3 证明:$\lim_{n \to \infty} \frac{3n-1}{2n-1} = \frac{3}{2}$
证:
\[
\left| \frac{3n-1}{2n-1} - \frac{3}{2} \right| = \frac{1}{4n - 2} < \frac{1}{n}
\]
要使 $\frac{1}{n} < \varepsilon$,只需 $n > \frac{1}{\varepsilon}$。
取 $N = \left\lfloor \frac{1}{\varepsilon} \right\rfloor$,则当 $n > N$ 时,有 $\left| x_n - \frac{3}{2} \right| < \varepsilon$,故极限为 $\frac{3}{2}$。
四、数列极限的性质
1. 唯一性
2. 有界性
3. 有界性与收敛性的关系
- 收敛 ⇒ 有界(定理 2)
- 有界 ⇏ 收敛(反例:$x_n = (-1)^{n+1}$)
- 无界 ⇒ 发散
- 发散 ⇏ 无界(反例:$(-1)^{n+1}$ 有界但发散)
4. 例题:证明发散性
例 1.2.4:证明 $x_n = (-1)^{n+1}$ 发散
证(反证法):
假设收敛于 $a$,取 $\varepsilon = \frac{1}{2}$,则存在 $N$,当 $n > N$ 时:
- 若 $n = 2k$,则 $x_n = -1$,有 $| -1 - a | < \frac{1}{2}$
- 若 $n = 2k+1$,则 $x_n = 1$,有 $|1 - a| < \frac{1}{2}$
于是:
\[
2 = |(1 - a) + (1 + a)| \leq |1 - a| + |1 + a| < 1
\]
矛盾,故发散。
5. 思考与解惑
下列说法错误的是:
- (A) 数列有界是数列收敛的必要条件 ✅
- (B) 有界数列不一定收敛 ✅
- (C) 无界数列一定发散 ✅
- (D) 发散数列一定无界 ❌(反例:$(-1)^{n+1}$)
正确答案:D
五、子列(子数列)
(1)定义
在数列 $\{x_n\}$ 中,任意取出无穷多项,并保持这些项在原数列中的先后次序,得到的新数列称为 子列,记为 $\{x_{n_k}\}$,其中:
- $x_{n_k}$ 是子列的第 $k$ 项;
- $n_k$ 是该项在原数列中的下标,且满足 $n_k \geq k$。
(3)推论:判断发散的方法
若一个数列存在 两个子列收敛于不同的极限,则该数列 发散。
例子:
- $x_n = (-1)^{n+1}$,其奇子列 $x_{2k-1} \to 1$,偶子列 $x_{2k} \to -1$,故原数列发散。
(4)奇子列与偶子列的关系
- 若数列 $\{x_n\}$ 收敛于 $a$,则其奇子列 $\{x_{2k-1}\}$ 和偶子列 $\{x_{2k}\}$ 都收敛于 $a$。
- 反之,若奇子列和偶子列都收敛于 同一个极限 $a$,则原数列也收敛于 $a$。
思考与解惑(选择题回顾)
下列说法错误的是:
- (A) 数列有界是数列收敛的必要条件 ✅
- (B) 有界数列不一定收敛 ✅
- (C) 无界数列一定发散 ✅
- (D) 发散数列一定无界 ❌
反例:$x_n = (-1)^n$ 有界但发散。
备用题(极限存在性与求解)
题 1:递推数列极限
设 $x_{n+1} = \frac{1}{2}(x_n + \frac{a}{x_n})$,$x_1 > 0$,$a > 0$,求 $\lim_{n \to \infty} x_n$。
解:
- 由均值不等式得 $x_{n+1} \geq \sqrt{a}$,故有下界。
- 又 $\frac{x_{n+1}}{x_n} = \frac{1}{2}(1 + \frac{a}{x_n^2}) \leq 1$,故数列单调递减。
- 由单调有界准则,极限存在,设 $\lim x_n = A$。
- 代入递推式:$A = \frac{1}{2}(A + \frac{a}{A}) \Rightarrow A^2 = a \Rightarrow A = \sqrt{a}$(取正)。
题 2:极限存在性证明
设 $a_i \geq 0$,证明:
\[
X_n = \sum_{k=1}^n \frac{a_k}{(1+a_1)\cdots(1+a_k)}
\]
的极限存在。
证:
- $X_n$ 单调递增;
- 通过变形:
\[
X_n = 1 - \frac{1}{(1+a_1)\cdots(1+a_n)} < 1
\] - 故 $\{X_n\}$ 单调有上界,极限存在。








