极限的 $\varepsilon -N$ 语言

对 ${a_n},a\in R$ ,如果 $\forall \varepsilon >0,\exist N,s.t.$ 当 $n>N$ 时,有 $|a_n-a|<\varepsilon$ ，则数列 $a_n$ 收敛于 $a$ ，记为 $\underset{n\to\infty}{lim}a_n=a$

存在极限称为收敛数列，无极限称为发散数列。

注：1.要证 $\underset{n\to \infty}{lim}a_n=a$ ,只要 $n>m$ ，取 $N=[m]+1$ ,则当 $n>N$ , $|a_n-a|<\varepsilon$

​ 2.几何意义： $\forall \varepsilon >0$ ,作开区间 $(a-\varepsilon ,a+\varepsilon)$ 其中有无穷项

1.$a_n\not\to a \Leftrightarrow \exist \varepsilon >0,\forall N,\exist n_N >N,s.t.|a_n-a|\geqslant \varepsilon$

2.极限定义不能等效为 $\exist N,\forall \varepsilon >0$ 当 $n>N$ 时, $|a_n -a|<\varepsilon \Rightarrow a_n =a,\forall n>N$

极限定义是说，无论 $\varepsilon$ 多小，都能找到一个N，那之后的项都小于 $\varepsilon$

这里是说，存在一个固定的N，那之后的项对所有的 $\varepsilon$ 都满足条件（一直后推无法找到），它的要求更高

3.使用 $|a_n -a|=m<\varepsilon$ 解出N，或者 $N=[m]+1$

---

2.2 收敛数列的性质

定理：“唯一性” 设 ${a_n}$ 是收敛的，则极限唯一

证：设 $\underset{n\to\infty}{lim}a_n=a$ ， $\underset{n\to\infty}{lim}b_n=b$ ，且 $a\not= b$

不妨设 $a<b$ ,取 $\varepsilon =\dfrac {b-a}{2}$

$\because \underset{n\to \infty}{lim}a_n=a$ , $\therefore \exist N_1$ ,当 $x>N_1$ 时， $a-\varepsilon <a_n<a+\varepsilon$ ，即为 $\dfrac {a-b}{2} <a_n <\dfrac {a+b}{2}$

$\because \underset{n\to \infty}{lim}b_n=b$ , $\therefore \exist N_2$ ,当 $x>N_2$ 时 , $b-\varepsilon <b_n<b+\varepsilon$ ，即为 $\dfrac {a+b}{2} <b_n <\dfrac {3b-a}{2}$

取 $N=max \{N_1,N_2 \}$ ,当 $n>N$ 时,同时成立

N不存在，矛盾，证毕

定理：收敛数列是有界的

证：设 $\underset{n\to\infty}{lim}a_n=a$

对 $\varepsilon =1$ , $\exist N$ 当 $n>N$ 时, $|a_n -a|<1$

则当 $n>N$ 时, $|a_n|=|a_n -a+a|\leq |a_n -a|+|a|<1+|a|$

取 $M=max \{|a_1|,|a_2|,|a_3| \cdots |a_N|,1+|a| \}$

则 $\forall n,|a_n| \leq |M|$

小声说 ，把后无穷项限制住，余有限项比较

定理：“保号性”

1.设 $\underset{n\to \infty}{lim}a_n=a$ , $a> \alpha$ ,则 $\exist N_1$ ,当 $n>N_1$ 时, $a_n> \alpha$ ,

​ $\underset{n\to \infty}{lim}b_n=b,b< \beta$ ,则 $\exist N_2$ ,当 $n>N_2$ 时, $b_n < \beta$

2. $\exist N \in \N ,s.t.$ 当 $n>N$ 时, $a_n \leq b_n$ ,则 $a \leq b$

3. $a<b,\exist N \in \N ,s.t.$ 当 $n>N$ 时, 则 $a_n < b_n$

   例题：设 $\underset{n\to \infty}{lim} a_n =a$ ,则 $\underset{n\to \infty}{lim} |a_n| =|a|$

   证明：（思路为反证法，举例 $a_n =(-1)^n$ ）或者

   $\forall \varepsilon >0,| |a_n|-|a| |\leq |a_n -a|$

   $\because \underset{n\to \infty}{lim} a_n =a$ ，设 $\exist N$ 当 $n>N$ 时 $|a_n -a|<\varepsilon$

   当 $n>N$ 时 $| |a_n|-|a| |\leq |a_n -a|<\varepsilon$

   得证 $\underset{n\to \infty}{lim} |a_n| =|a|$

定理：极限的四则运算

设 $\underset{n\to\infty}{lim}a_n=a$ ， $\underset{n\to\infty}{lim}b_n=b$ 则

（1） $\underset{n\to \infty}{lim}a_n\pm b_n=a\pm b$

（2） $\underset{n\to \infty}{lim}a_n b_n=ab$

（3） $ifb\not= 0,\underset{n\to \infty}{lim}\dfrac{a_n}{b_n}=\dfrac{a}{b}$

证明：

（1）$\forall \varepsilon >0,\because \underset{n\to\infin}{lim}a_n =a$

故 $\exist N_1$ 当 $n>N_1$ 时, $|a_n -a|<\dfrac{\varepsilon}{2}$ ; $\exist N_2$ 当 $n>N_2$ 时, $|b_n -b|<\dfrac {\varepsilon}{2}$

取 $N=max(N_1,N_2)$ ,则当 $n>N$ 时

$|(a_n +b_n)-(a+b)|\leq |a_n -a +b_n -b|\leq |a_n -a|+|b_n-b|<\varepsilon$

同理可证得“-“的情况

（2）$\because {b_n}$ 是收敛的，故 $\exist M>0,s.t.|b_n|\leq M,\forall n$

$|a_n b_n -ab|=|a_n b_n -ab_n +ab_n -ab|\leq |b_n||a_n -a|+|a||b_n -b|\leq M|a_n -a|+|a||b_n -b|$

$\forall \varepsilon >0,\because \underset{n\to\infin}{lim}a_n =a,\underset{n\to\infin}{lim}b_n =b$

则 $\exist N$ ,当 $n>N$ 时, $|a_n -a|<\dfrac{\varepsilon}{2M},|b_n -b|<\dfrac{\varepsilon}{2(1+|a|)}$ (为了下一步凑出 $\varepsilon$)

则当 $n>N$ 时, $|a_n b_n -ab|\leq M|a_n -a|+|a||b_n -b|<M\dfrac{\varepsilon}{2M} +|a|\dfrac{\varepsilon}{2(1+|a|)}<\varepsilon$

（3）下证 $\underset{n\to\infin}{lim}\dfrac{1}{b_n}=\dfrac{1}{b} (b\not= 0)$

$\because b_n\to b,\therefore |b_n|\to |b|(n\to \infin),\therefore \exist N,ifn>N,|b_N|\geq \dfrac{|b|}{2}$

$|\dfrac{1}{b_n}-\dfrac{1}{b}|=\dfrac{b_n -b}{|b_n||b|}\leq \dfrac{2|b_n -b|}{b^2} (n>N)$

$\forall \varepsilon >0,\because\underset{n\to\infin}{lim}b_n =b$ 故 $\exist N_1=N,$ 当 $n>N_1$ 时, $|b_n -b|<\dfrac {b^2}{2}\varepsilon$ (也是为了凑下一步)

取 $N=max\{N_0 ,N_1\}$ ,则当 $n>N$ 时, $|\dfrac{1}{b_n}-\dfrac{1}{b}|\leq\dfrac{2|b_n -b|}{|b|^2}<\varepsilon$

一些举例

定义：设 $\underset{n\to\infin}{lim}a_n =0$ ,则称 $a_n$ 是无穷小数列（注意这里的无穷小并非 $-\infin$ ）

(1) $a_n\Leftrightarrow |a_n|$ 无穷小

(2)两个无穷小数列相加减是无穷小

(3)设 $\{a_n\}$ 无穷小数列，$\{c_n\}$ 有界，则 $\{a_n c_n\}$ 是无穷小数列

证： $\exist M>0,s.t.|c_n|\leq M,\forall n$ 则 $|a_n c_n|\leq M|a_n|,\forall n$

$\forall \varepsilon >0,\underset{n\to\infin}{lim}a_n =0$

$\therefore \exist N$ ,当 $n>N$ 时, $|a_n|<\dfrac {\varepsilon}{M}$

当 $n>N$ 时, $|a_n c_n -0|<\varepsilon$

得证

例：证 $\underset{n\to\infin}{lim}\dfrac{n^k}{a^n}=0$ ，其中 $k\in N,a>1$

(1) $k=1$ 时，即证 $\underset{n\to\infin}{lim}\dfrac{n}{a^n}$

设 $a=1+\eta ,\eta >0,a_n =(1+\eta)^n >\dfrac{n(n-1)}{2}\eta ^2$ $\forall n$

这里是二项式定理的推论 $(1+\eta)^n =1+n\eta +\dfrac{n(n-1)}{2}\eta ^2\cdots \dfrac{n(n-1)(n-2)\cdots (n-k+1)}{k!}a^{n-k}b^k <\dfrac{n(n-1)}{2}\eta ^2$

$|\dfrac{n}{a^n}-0|=\dfrac{n}{a^n}<\dfrac{2}{(n-1)\eta ^2}$

$\because \underset{n\to\infin}{lim} \dfrac{2}{(n-1)\eta ^2} =0,\forall \varepsilon >0,\exist N$ 当 $n>N$ 时$\dfrac{2}{(n-1)\eta ^2}<\varepsilon$

故当 $n>N$ 时， $|\dfrac{n}{a^n} -0|<\varepsilon$

(2) $k\geq 2$ 时，$a^{\frac{1}{k}>1}$ 根据前面的证明得 $\underset{n\to\infin}{lim}\dfrac{n}{(a^{1/k)^n} }$ $=0$

由“保号性”（2）可证$\underset{n\to\infin}{lim}\dfrac{n^k}{a^n}=0$

例2：$\lim\limits_{n\to\infin}\sqrt{n}(\sqrt{n-1}-\sqrt{n})$

$=\lim\limits_{n\to\infin}\dfrac{\sqrt{n}}{\sqrt{n+1}+\sqrt{n}}$

同除之后就>可以处理了

---

2.3 数列极限判定方法

1. $\varepsilon$-N
2. 四则运算
3. 夹逼定理
4. 单调有界收敛定理
5. 子列

本节来说说3、4两个

夹逼定理（两边夹定理）

假定 $a_n\leq b_n\leq c_n (n\in\N)$ ,如果 $\lim\limits_{n\to\infin}a_n =\lim\limits_{n\to\infin}c_n =a$ ,则 $b_n$ 收敛且 $\lim\limits_{n\to\infin}b_n =a$

证明： $\forall \varepsilon >0,\because \lim\limits_{n\to\infin}a_n =0,\lim\limits_{n\to\infin}c_n =a$

故 $\exist N_1$ 当 $n>N_1$ 时, $a_n>a-\varepsilon$

$\exist N_2$ ,当 $n>N_2$ 时, $c_n <a+\varepsilon$

取· $N=max\{N_1,N_2\}$ ,当 $n>N$ 时 $a-\varepsilon <b_n <a+\varepsilon$

故 $\lim\limits_{n\to\infin}b_n =a$

例:设 $a>0$ ,证 $\lim\limits_{n\to\infin}\sqrt[n]{a}=1$

(1)设 $a>1$ , $1\leq \sqrt[n]{a} \leq \sqrt[n]{n}(n>[a]+1)$

$a_n=n^{1/n}$ 取自然对数: $\ln{a_n}=\dfrac{\ln n}{n}$

$n\to\infin$ 时,洛必达法则 $\ln{a_n}=\dfrac{\ln n}{n} =\lim\limits_{n\to\infin}\dfrac{1/n}{1}=0$

由夹逼定理可得 $\lim\limits_{n\to\infin}\sqrt[n]{a}=1$

(2) $0<a<1$ 时, $\lim\limits_{n\to\infin}a^{1/n}=\dfrac{1}{\lim\limits_{n\to\infin}(1/a)^{1/n}}=1$

例：利用夹逼定理求数列极限

设 $a_n = \frac{1}{\sqrt{n^2 + 1}} + \frac{1}{\sqrt{n^2 + 2}} + \dots + \frac{1}{\sqrt{n^2 + n}}$，求 $\lim_{n \to \infty} a_n$ 。

对任意正整数 $n$ ，由于 $\frac{1}{\sqrt{n^2 + n}} \leq \frac{1}{\sqrt{n^2 + k}} \leq \frac{1}{\sqrt{n^2 + 1}} ( k = 1,2,\dots,n)$，对这 $n$ 项求和得：
$\frac{n}{\sqrt{n^2 + n}} \leq a_n \leq \frac{n}{\sqrt{n^2 + 1}}$

• 左侧极限：
  $\lim_{n \to \infty} \frac{n}{\sqrt{n^2 + n}} = \lim_{n \to \infty} \frac{1}{\sqrt{1 + \frac{1}{n}}} = 1$
• 右侧极限：
  $\lim_{n \to \infty} \frac{n}{\sqrt{n^2 + 1}} = \lim_{n \to \infty} \frac{1}{\sqrt{1 + \frac{1}{n^2}}} = 1$

由夹逼定理，得 $\lim_{n \to \infty} a_n = 1$。

单调数列的极限判定定理

1.若数列 $\{a_n\}$ 满足 $a_1 \leq a_2 \leq \dots \leq a_n \leq a_{n+1} \leq \dots$ ，则称 $\{a_n\}$ 为单增数列。

2.定理： 设 $\{a_n\}$是单增数列，且有上界，则 $\{a_n\}$ 收敛。

证明（确界原理）

记$a = \sup\limits_{n\geq 1} a_n \in \mathbb{R}$（确界原理：非空有上界数集必有上确界）。

要证 $\lim_{n \to \infty} a_n = a$，对任意 $\varepsilon > 0$ ：

$a - \varepsilon$ 不是 $\{a_n\}$ 的上界，故存在 $N$，使得 $a_N > a - \varepsilon$ 。

$n > N$ 时，由数列单增性，$a_n \geq a_N > a - \varepsilon$；

由上确界定义，$a_n \leq a < a + \varepsilon$ 。

因此 $|a_n - a| < \varepsilon$ ，即 $\lim_{n \to \infty} a_n = a$ 。

例：设 $a > 0$ ，数列定义为 $x_1 = \sqrt{a}$ ，$x_2 = \sqrt{a + x_1}$，…，$x_n = \sqrt{a + x_{n-1}}$ ,求 $\lim\limits_{n\to\infin} x_n$

(1)证明 $\{x_n\}$ 是单增数列

$x_2 = \sqrt{a + \sqrt{a}} > \sqrt{a} = x_1$，故 $x_2 > x_1$。

假设 $x_n > x_{n-1}$，则：$x_{n+1} = \sqrt{a + x_n} > \sqrt{a + x_{n-1}} = x_n$

(2)证明 $\{x_n\}$ 有上界

$x_n^2 = a + x_{n-1} \le a + x_n \implies x_n \le \frac{a}{x_n} + 1$

∴$\{x_n\}$ 有上界

(3)由单调有界定理$\{x_n\}$ 收敛，记$\lim_{n\to\infty} x_n = x$

$x_n^2 = a + x_{n-1} \implies x^2 = a + x \implies x^2 - x - a = 0$

解得 $x = \frac{1 \pm \sqrt{1+4a}}{2}$
$x = \frac{1 - \sqrt{1+4a}}{2} < 0$ 不合题意，故 $\lim_{n\to\infty} x_n = \frac{1 + \sqrt{1+4a}}{2}$

​

例：证$\lim_{n\to\infty} \frac{q^n}{n!} = 0 \ (q \in \mathbb{R})$

取$x_n = \frac{|q|^n}{n!}$

(1) 证单调：
$\frac{x_{n+1}}{x_n} = \frac{|q|}{n+1}$
当$n > |q| - 1$ 时，$\frac{|q|}{n+1} < 1$，故$\{x_n\}$ 从某项起递减

(2)$x_n \ge 0$，由单调有界定理知$\lim_{n\to\infty} x_n = x$

(3)$x_{n+1} = x_n \cdot \frac{|q|}{n+1}$，两边取极限：
$x = x \cdot 0 \implies x = 0$
∴$\lim_{n\to\infty} \frac{q^n}{n!} = 0$

单调有界收敛定理

单调增（减）且有上（下）界的数列一定收敛

​

题目：计算 $lim_{n→∞}(1 + 2/n)^n$ （$(1+1/n)^n \to e$ ）

求极限：$\lim_{n \to \infty} \left(1 + \frac{2}{n}\right)^n$

$\lim_{n \to \infty} \left(1 + \frac{2}{n}\right)^n = \lim_{n \to \infty} \left( \frac{n + 2}{n} \right)^n = \lim_{n \to \infty} \left( \frac{n + 2}{n + 1} \right)^n \cdot \left( \frac{n + 1}{n} \right)^n = \lim_{n \to \infty} \left(1 + \frac{1}{n + 1}\right)^{n+1} \cdot \left(1 + \frac{1}{n + 1}\right)^{-1} \cdot \left(1 + \frac{1}{n}\right)^n = e^2$

类似地凑格式，由数学归纳法，对任意常数 $k$，有 $\lim_{n \to \infty} \left(1 + \frac{k}{n}\right)^n = e^k$

Cauchy列(基本列)

$$\begin{aligned} &\forall \varepsilon > 0, \exists N \in \mathbb{N}, \text{当 } n, m > N \text{ 时，有 } |a_n - a_m| < \varepsilon; \\ &\text{等价表述：} \forall \varepsilon > 0, \exists N, \text{当 } n > N \text{ 时，对 } \forall p \in \mathbb{N} \text{，有 } |a_{n+p} - a_n| < \varepsilon. \end{aligned}$$

证： $(-1)^n$ 不是Cauchy数列

$|a_{2n} - a_{2n-2}| = 2, \, \forall n$
对 $\varepsilon = 1$，找不到这样的 $N$，故不是Cauchy列。

柯西收敛原理

$\{a_n\}$ 收敛 $\iff$ 数列 $\{a_n\}$ 是Cauchy列

证：$\Rightarrow$ 方向（收敛 $\Rightarrow$ Cauchy 数列）
已知 $a_n \to a$（$n \to \infty$），对任意 $\varepsilon > 0$ ，存在 $N$ ，当 $n > N$ 时， $|a_n - a| < \frac{\varepsilon}{2}$ ，
于是当 $n, m > N$ 时：
$|a_n - a_m| \le |a_n - a| + |a_m - a| < \frac{\varepsilon}{2} + \frac{\varepsilon}{2} = \varepsilon$
故 $\{a_n\}$ 是 Cauchy 数列。

$\Leftarrow$ 方向（Cauchy 数列 $\Rightarrow$ 收敛）
先证 $\{a_n\}$ 有界：取 $\varepsilon = 1$ ，存在 $N(1)$ ，当 $n, m > N(1)$ 时， $|a_n - a_m| < 1$，
特别地，当 $n > N(1)$ 时，$|a_n - a_{N(1)+1}| < 1$，即 $a_{N(1)+1} - 1 < a_n < a_{N(1)+1} + 1$
故$\{a_n\}$ 有界。

再用确界定理（或单调有界收敛定理）：
记 $x_n = \inf\limits_{k \ge n} \{a_k\}$，$y_n = \sup\limits_{k \ge n} \{a_k\}$，收敛。

下证 $\lim\limits_{n \to \infty} (y_n - x_n) = 0$（*）

$\forall \varepsilon > 0$，$\exists N(\varepsilon)$，当 $k \ge N$ 时，$a_N - \frac{\varepsilon}{3} < a_k < a_N + \frac{\varepsilon}{3}$
（由Cauchy数列定义推出）

则当 $ n > N $ 时

$$a_N - \frac{\varepsilon}{3} \le x_n = \inf\limits_{k \ge n} \{a_k\} \le y_n = \sup\limits_{k \ge n} \{a_k\} \le a_N + \frac{\varepsilon}{3}$$

$$\therefore 0 \le y_n - x_n \le \frac{2\varepsilon}{3} < \varepsilon$$

$\Rightarrow$（*）证毕

由 $x_n \le a_n \le y_n$，$\forall n$，及夹逼定理得 $\{a_n\}$ 收敛。

---

​

2.4 无穷大量

若对 $\forall M > 0$，$\exist N_M$ ，当 $n > N_M$ 时，$a_n > M$ ，则称 $\{a_n\}$ 是正无穷大量，记为 $\lim_{n \to \infty} a_n = +\infty$

（同理可定义负无穷大量$\lim_{n \to \infty} a_n = -\infty$ 或一般无穷大量$|a_n| \to +\infty$）。

$\{a_n\}$ 是无穷大量 $\implies$ $\{a_n\}$ 无界,反向不行，因为无界可以是”跳跃的“

证明示例 例：设 $a_n = n^3 - 3n^2 - 2n - 5$，求证 $\lim_{n \to \infty} a_n = +\infty$。

(1) 放缩估计： 要使 $3n^2 \le \frac{1}{2}n^3$、$2n \le \frac{1}{4}n^3$、$5 \le \frac{1}{8}n^3$， 分析可知当 $n \ge 6$ 时，上述放缩均成立。

(2) 当 $n \ge 6$ 时：$a_n \ge n^3 - \frac{1}{2}n^3 - \frac{1}{4}n^3 - \frac{1}{8}n^3 = \frac{1}{8}n^3$

对 $\forall M > 0$，要使 $a_n > M$，只需 $\frac{1}{8}n^3 > M$，即 $n > (8M)^{\frac{1}{3}}$

取 $N = \max\left\{ \left\lfloor (8M)^{\frac{1}{3}} \right\rfloor + 1,\ 6 \right\}$， 则当 $n > N$ 时，$a_n \ge \frac{1}{8}n^3 > M$，故 $\lim_{n \to \infty} a_n = +\infty$

无穷大量的定义与性质

定义

• 若 $\lim_{n \to \infty} |a_n| = +\infty$，称 $\{a_n\}$ 是无穷大量，即：

  $$\{a_n\} \text{ 是无穷大量} \iff \forall M > 0,\ \exists N,\ \text{当 } n > N \text{ 时，} |a_n| > M$$

• 若 $\forall M > 0,\ \exists N,\ \text{当 } n > N \text{ 时，} a_n < -M$，称 $\{a_n\}$ 是负无穷大量。

命题与注记：

1.若 $\{a_n\}$ 是无穷大量，则 $\{a_n\}$ 一定是无界数列； 但无界数列不一定是无穷大量（例如数列 $1,0,2,0,3,0,4,\dots$）。

2.设 $a_n \to +\infty$，$b_n \to +\infty$，则 $\{a_n + b_n\}$、$\{a_n b_n\}$ 都是正无穷大量。

3.$\{a_n\}$ 是无穷大量 $\iff \left\{ \frac{1}{a_n} \right\}$ 是无穷小量。

4.若 $\{a_n\}$、$\{b_n\}$ 都是无穷大量，则 $\{a_n + b_n\}$ 不一定是无穷大量（例如 $a_n = n$，$b_n = -n$）。

2.5 子列

1.定义：设$\{a_n\}$，若$n_1 < n_2 < \dots < n_k < \dots \ (n_k \in \mathbb{N})$，则$a_{n_1}, a_{n_2}, \dots, a_{n_k}, \dots$ 称为$\{a_n\}$ 的子列，记为$\{a_{n_k}\}$

下角标表示在子列中的排序 $n_k$ 表示在 $\{a_n\}$ 中的排序

2.命题：设$\{a_n\}$ 收敛到$a$，则其任何子列也收敛到$a$

证明：对任意的 $\varepsilon > 0$，存在 $N \in \mathbb{N}$，当 $n > N$ 时，有 $|a_n - a| < \varepsilon$

任取 $\{a_n\}$ 的一个子列 $\{a_{k_n}\}$。令

$$b_n = a_{k_n}.$$

对任意 $n \in \mathbb{N}$，$k_n \geq n$，

因此，当 $n > N$ 时，有 $k_n \geq n > N$。从而

$$|b_n - a| = |a_{k_n} - a| < \varepsilon.$$

这正表明 $\{b_n\}$ 收敛于 $a$。

3.命题：若 $\lim\limits_{n \to \infty} a_n = a$（或 $+\infty/- \infty$），则对任意子列 $\{a_{n_k}\}$，有 $a_{n_k} \to a$（或 $+\infty/- \infty$，$k \to \infty$）。

证：对 $\forall M > 0$，$\exists N$，当 $n > N$ 时，$|a_n| > M$ 。

取子列下标 $k = n_N$，则当 $k > K$ 时，$n_k > n_K \geq k= n_N \geq N$，故 $n_k \geq N$，即子列满足极限定义。

推论：设 $\{a_n\}$ 有两个子列收敛到不同极限，则 $\{a_n\}$ 发散。

例：$\{(-1)^n\}$，子列 $\{a_{2k}\} = \{1\} \to 1$（$k \to \infty$），子列 $\{a_{2k-1}\} = \{-1\} \to -1$（$k \to \infty$），故 $\{(-1)^n\}$ 发散。

定理：列紧性定理：任何有界数列必有收敛子列。

(了解) 证：设 $\{a_n\}$ 有界，即 $\exists M > 0$，使得 $|a_n| \leq M$ 对 $\forall n$ 成立。

将区间 $[a_1, b_1] \supset [a_2, b_2] \supset \dots$ 不断二分，取 $a_k \leq x^* \leq b_k$，则 $0 \leq |a_{n_k} - x^*| \leq b_k - a_k \to 0$，由夹逼定理，故子列收敛到 $x^*$。

记忆常用极限：

$\lim\limits_{n \to \infty} \frac{1}{n^\alpha} = 0$（$\alpha > 0$）；
$\lim\limits_{n \to \infty} q^n = 0$（$|q| < 1$）；
$\lim\limits_{n \to \infty} \sqrt[n]{n} = 1$；
$\lim\limits_{n \to \infty} \sqrt[n]{a} = 1$（$a > 0$）；
$\lim\limits_{n \to \infty} \left(1 + \frac{1}{n}\right)^n = e$。

​

习题：设 $a_n \to a$（$n \to \infty$），证 $\sqrt{a_n} \to \sqrt{a}$（$n \to \infty$）。

证法一：$|\sqrt{a_n} - \sqrt{a}| = \frac{|a_n - a|}{\sqrt{a_n} + \sqrt{a}} \leq \frac{|a_n - a|}{\sqrt{a}} \to 0$（由夹逼定理）。

证法二：对 $\forall \varepsilon > 0$，由 $a_n \to a$（$n \to \infty$），$\exists N$，当 $n > N$ 时，$|a_n - a| < \varepsilon \sqrt{a}$。于是当 $ n > N $ 时，$|\sqrt{a_n} - \sqrt{a}| \leq \frac{|a_n - a|}{\sqrt{a}} < \frac{\varepsilon \sqrt{a}}{\sqrt{a}} = \varepsilon$。

习题：设 $\{a_n\}$ 收敛，$\{b_n\}$ 发散，证 $\{a_n + b_n\}$ 发散。

（反证法）

若 $\{a_n + b_n\}$ 收敛，则 $b_n = (a_n + b_n) - a_n$ 也收敛（收敛数列的差仍收敛），与 $\{b_n\}$ 发散矛盾，故 $\{a_n + b_n\}$ 发散。

同类型拓展：

若 $\{a_n\}$ 收敛，$\{b_n\}$ 发散，则 $\{a_n b_n\}$ 不一定发散；

若 $\{a_n\}$ 收敛且极限不为 $0$，$\{b_n\}$ 发散，则 $\{a_n b_n\}$ 发散。

（反证法）若 $\{a_n b_n\}$ 收敛，则 $b_n = \frac{a_n b_n}{a_n}$ 也收敛（收敛数列的商，分母极限非零），与 $\{b_n\}$ 发散矛盾，故 $\{a_n b_n\}$ 发散。

​

题：设 $a_n \leq b_n \leq c_n$ 且 $\lim\limits_{n \to \infty} (c_n - a_n) = 0$，问 $\{b_n\}$ 是否必收敛？

反例：$a_n = n - \frac{1}{n}$，$b_n = n$，$c_n = n + \frac{1}{n}$，则 $c_n - a_n = \frac{2}{n} \to 0$，但 $\{b_n\} = \{n\}$ 发散。

​

题：求 $\lim\limits_{n \to \infty} \left(1 - \frac{1}{\sqrt[n]{a}}\right) \sin n$（$a > 0$）。

解：因 $\lim\limits_{n \to \infty} \left(1 - \frac{1}{\sqrt[n]{a}}\right) = 0$（由 $\sqrt[n]{a} \to 1$），且 $|\sin n| \leq 1$（有界），故由夹逼定理，得极限为 $0$。

​

证：设 $b_n = a_0 + a_1 q + \dots + a_n q^n$（$n = 1,2,\dots$），其中 $\{a_n\}$ 有界，证 $\{b_n\}$ 收敛

先证 $\{b_n\}$ 是 Cauchy 列

因 $\{a_n\}$ 有界，故 $\exists M > 0$，使得 $|a_n| \leq M$ 对 $\forall n$ 成立。对 $\forall n, p \in \mathbb{N}$，有：

$|b_{n+p} - b_n| = \left|a_{n+1} q^{n+1} + \dots + a_{n+p} q^{n+p}\right| \leq M |q|^{n+1} + \dots + M |q|^{n+p} = M |q|^n \cdot \frac{1 - |q|^p}{1 - |q|} \leq M |q|^n \cdot \frac{1}{1 - |q|}$

对 $\forall \varepsilon > 0$，因 $\lim\limits_{n \to \infty} M |q|^n \cdot \frac{1}{1 - |q|} = 0$（$|q| < 1$），

故 $\exists N$，当 $n > N$ 时，$M |q|^n \cdot \frac{1}{1 - |q|} < \varepsilon$。

于是当 $n > N$ 时，对 $\forall p \in \mathbb{N}$，有 $|b_{n+p} - b_n| < \varepsilon$，即 $\{b_n\}$ 是 Cauchy 列，故收敛。

命题：$\{a_n\}$ 收敛 $\iff$ 偶子列 $\{a_{2k}\}$ 和奇子列 $\{a_{2k-1}\}$ 都收敛且收敛到同一极限。（证明略）

​

命题：设 $\{a_n\}$ 无下界，则存在子列 $\{a_{n_k}\}$ 使得 $a_{n_k} \to -\infty$（$k \to \infty$）；

若无上界，则存在子列 $\{a_{n_k}\}$ 使得 $a_{n_k} \to +\infty$（$k \to \infty$）；

若无界，则存在子列 $\{a_{n_k}\}$ 使得 $a_{n_k} \to \infty$（$k \to \infty$）。

证：（以无下界为例）$\{a_n\}$ 无下界 $\iff$ 对 $\forall M > 0$，$\exists n_m \in \mathbb{N}$，使得 $a_{n_m} < -M$。

① 取 $M=1$，则 $\exists n_1 \in \mathbb{N}$，使得 $a_{n_1} < -1$；
② 取 $M_2 = \max\{2, |a_1|, |a_2|, \dots, |a_{n_1}|\}$，则 $\exists n_2 \in \mathbb{N}$（$n_2 > n_1$），使得 $a_{n_2} < -M_2 < -2$；
③ 取 $M_3 = \max\{3, |a_1|, \dots, |a_{n_2}|\}$，则 $\exists n_3 \in \mathbb{N}$（$n_3 > n_2$），使得 $a_{n_3} < -M_3 < -3$；
……
如此构造的子列 $\{a_{n_k}\}$ 满足 $a_{n_k} < -k$（对 $\forall k$），故 $a_{n_k} \to -\infty$（$k \to \infty$）。

更新日志

2026/1/26 06:51

查看所有更新日志

• 3824e-eleven于 2026/1/26
• 6d340-ninth于 2025/12/5
• bde6a-seventh于 2025/11/5
• 744bb-fourth于 2025/10/20
• 194ea-new notes于 2025/10/12

版权所有

版权归属：LucyWWWmm

许可证：署名-非商业性-相同方式共享 4.0 国际 (CC-BY-NC-SA-4.0)