数学分析复习：实数列收敛

本篇文章适合个人复习翻阅，不建议新手入门使用

1. 定义、性质

定义：数列极限

设实数列 { x n } n ≥ 1 \{x_n\}_{n\geq 1} {xn​}n≥1​，若存在$x\in \mathbb{R}$，使得
$$\forall \epsilon >0,\exists N\ge 1,s.t.\forall n\ge N,|x_n-x|<\epsilon$$则称数列 { x n } \{x_n\} {xn​}收敛，称 $x$ 为 { x n } \{x_n\} {xn​} 的极限

若
$$\forall M>0,\exists >0,s.t.\forall n\ge N,|x_n|>M$$则称数列 { x n } \{x_n\} {xn​}发散

注：有的书将没有极限的情形也叫做发散

性质

1. 四则运算：设 $\underset{n\to \infty }{\lim }{a}_n,\underset{n\to \infty }{\lim }{b}_n$ 均存在，则
   $$\underset{n\to \infty }{\lim }(\alpha a_n+\beta b_n)=\alpha \underset{n\to \infty }{\lim }{a}_n+\beta \underset{n\to \infty }{\lim }{b}_n$$$$\underset{n\to \infty }{\lim }(a_n\cdot b_n)=\underset{n\to \infty }{\lim }{a}_n\cdot \underset{n\to \infty }{\lim }{b}_n$$$$\underset{n\to \infty }{\lim }\frac{a_n}{b_n}=\frac{\underset{n\to \infty }{\lim }{a}_n}{\underset{n\to \infty }{\lim }{b}_n}(\underset{n\to \infty }{\lim }{b}_n\ne 0)$$
2. 唯一性：
   设 $A,B$ 都是 $a_n$ 的极限，则 $A=B$

证明思路：
$$|A-B|\le |A-a_n|+|B-a_n|<\epsilon$$

3. 保序性
   极限有序 $\Rightarrow$ 数列尾部有序：
   若 $\underset{n\to \infty }{\lim }{a}_n>\underset{n\to \infty }{\lim }{b}_n$ ，则 $$\exists N>0,\forall n>N,s.t.a_n>b_n$$数列有序 $\Rightarrow$ 极限有序：
   若 $\underset{n\to \infty }{\lim }{a}_n,\underset{n\to \infty }{\lim }{b}_n$ 存在，且 $a_n\ge b_n$，则 $\underset{n\to \infty }{\lim }{a}_n\ge \underset{n\to \infty }{\lim }{b}_n$

4. 极限存在 $\Rightarrow$ 数列有界
   若 $\underset{n\to \infty }{\lim }{a}_n=A$，则
   $$\exists N>0,\exists M>0,\forall n>N,|a_n|\le M$$

5. 夹逼性：（数列版本的控制收敛定理）
   若 $\underset{n\to \infty }{\lim }{a}_n=\underset{n\to \infty }{\lim }{b}_n=A$，且 $\exists N>0,s.t.\forall n>N$，有$a_n\le c_n\le b_n$，则$\underset{n\to \infty }{\lim }{c}_n=A$

2. 单调有界实数列必收敛

只需证明以下的版本

命题：
设实数列 { x n } \{x_n\} {xn​}有界，且单调递增，那么 { x n } \{x_n\} {xn​}必收敛于其上确界，即
$$\underset{n\to \infty }{\lim }{x}_n=\underset{n\ge 1}{\sup }{x}_n$$证明思路：（确界原理）
令$a=\underset{n\ge 1}{\sup }{x}_n$，由上确界的等价刻画
$$\forall \epsilon >0,\exists ,s.t.-\epsilon <x_n-a<0$$由于 { x n } \{x_n\} {xn​}是单调递增的，则
$$\forall n\ge N,-\epsilon <x_n-a<0$$即$$|x_n-a|<\epsilon$$

3. Bolzano-Weierstrass定理

也称BW凝聚定理，简称B-W定理，内容是：有界实数列必有收敛子列

证明思路：（单调有界实数列必收敛+如下的引理）

引理：任意实数列必有单调子列

引理的证明：构造这样一个集合
X = { x k ∣ ∀ l ≥ k , x k ≥ x l } X=\{x_k|\forall l\geq k,x_k\geq x_l\} X={xk​∣∀l≥k,xk​≥xl​}为理解X的构造，我们探索 { x n } \{x_n\} {xn​}中什么样的元素可以进入X

• 从$x_1$开始，第一个不小于自己以后所有元素的那项进入X，记为$x_{i_1}$
• 检查$x_{i_1+1}$是否符合以下条件
  • 比$x_{i_1}$小
  • 后面没有比自己大的元素
• 若符合，则可进入X；否则检查$x_{i_1+2}$，直至找到下一个进入X的元素，记为$x_{i_2}$
• 对$x_{i_2+1}$进行检查……

理解了上述过程，就容易给出证明
若X是无限集，X自然给出了一个单调下降的子列
若X是有限集，设最后一个进入X的元素为$x_{i_l}$，它以后的元素都比它小；
考虑$x_{i_l+1}$，则它后面必有元素比它大，否则它会进入X；按照此规则，必然能找到一个单调递增的子列

4. Cauchy收敛准则

4.1 Cauchy列的定义和性质

首先给出Cauchy列的定义
设实数列 { x n } \{x_n\} {xn​}
$$\forall \epsilon >0,\exists N\ge 1,s.t.\forall m,n\ge N,|x_m-x_n|<\epsilon$$称满足上述性质的实数列为Cauchy列

性质1：Cauchy列必有界

性质2：Cauchy列的子列若收敛，那么它本身也收敛

证明思路：使用加减同一项再辅以三角不等式的经典方法
$$|x_n-x|\le |x_n-x_{i_k}|+|x_{i_k}-x|<\epsilon$$注：性质2说的是，Cauchy列不可能有两个收敛到不同地方的子列

4.2 实数列的Cauchy收敛准则

实数列 { x n } \{x_n\} {xn​}收敛当且仅当它是Cauchy列

证明：
必要性：使用加减同一项再辅以三角不等式的经典方法
充分性：Cauchy有界，由BW定理知有收敛子列，故收敛

5. 上极限和下极限

定义：极限点
设实数列 { x n } \{x_n\} {xn​}，若存在其子列 { x n k } \{x_{n_k}\} {xnk​​}，使得 $\underset{k\to \infty }{\lim }{x}_{x_k}=\xi$，则称 $\xi$ 是 { x n } \{x_n\} {xn​} 的一个极限点，或称为聚点， { x n } \{x_n\} {xn​} 的极限点全体构成的集合记为 c l u s t { x n } clust\{x_n\} clust{xn​}

存在性与唯一性
极限点必然存在（在包含无穷的意义下）；显然若存在极限，则极限即为唯一的极限点；若不存在极限，则极限点有很多个。

证明思路
存在性：在数列有界的条件下，由Weierstrass定理保证，在无界条件下，容易构造趋于无穷的子列。

接下来若无特别说明，我们考虑的数列 { x n } \{x_n\} {xn​} 均为有界数列，这意味着 c l u s t { x n } clust\{x_n\} clust{xn​} 非空有界

定理
对于集合 E = c l u s t { x n } E=clust\{x_n\} E=clust{xn​}，其确界可在集合内取到，即
$$\sup E=\max E,\inf E=\min E$$

证明思路
只证 $\sup E=\max E$，由定义 $E$ 中有序列 { ξ k } \{\xi_k\} {ξk​} 收敛于 $\sup E$
故可以选取合适的 { x n k } \{x_{n_k}\} {xnk​​}，使得
$$|x_{n_k}-\sup E|\le |x_{n_k}-{\xi }_k|+|{\xi }_k-\sup E|<\epsilon$$

定义：上、下极限
设实数列 { x n } \{x_n\} {xn​}， E = c l u s t { x n } E=clust\{x_n\} E=clust{xn​}，则称 $\sup E$ 为数列 { x n } \{x_n\} {xn​} 的上极限；类似可定义下极限，记作
$$\underset{n\to \infty }{\overline{\lim }}{x}_n=\sup E,\underset{n\to \infty }{\underline{\lim }}{x}_n=\inf E$$

性质
$$\underset{n\to \infty }{\overline{\lim }}(x_n+y_n)\le \underset{n\to \infty }{\overline{\lim }}{x}_n+\underset{n\to \infty }{\overline{\lim }}{y}_n$$$$\underset{n\to \infty }{\underline{\lim }}(x_n+y_n)\ge \underset{n\to \infty }{\underline{\lim }}{x}_n+\underset{n\to \infty }{\underline{\lim }}{y}_n$$
$$\underset{n\to \infty }{\overline{\lim }}(x_n+y_n)=\underset{n\to \infty }{\lim }{x}_n+\underset{n\to \infty }{\overline{\lim }}{y}_n$$$$\underset{n\to \infty }{\underline{\lim }}(x_n+y_n)=\underset{n\to \infty }{\lim }{x}_n+\underset{n\to \infty }{\underline{\lim }}{y}_n$$
若 $x_n,y_n\ge 0$
$$\underset{n\to \infty }{\overline{\lim }}(x_n{y}_n)\le \underset{n\to \infty }{\overline{\lim }}{x}_n\cdot \underset{n\to \infty }{\overline{\lim }}{y}_n$$$$\underset{n\to \infty }{\underline{\lim }}(x_n{y}_n)\ge \underset{n\to \infty }{\underline{\lim }}{x}_n\cdot \underset{n\to \infty }{\underline{\lim }}{y}_n$$
$$\underset{n\to \infty }{\overline{\lim }}(x_n{y}_n)=\underset{n\to \infty }{\lim }{x}_n\cdot \underset{n\to \infty }{\overline{\lim }}{y}_n$$$$\underset{n\to \infty }{\underline{\lim }}(x_n{y}_n)=\underset{n\to \infty }{\lim }{x}_n\cdot \underset{n\to \infty }{\underline{\lim }}{y}_n$$
$$\underset{n\to \infty }{\overline{\lim }}c{x}_n=\{\begin{array}{ll}c\underset{n\to \infty }{\overline{\lim }}{x}_n,& c>0\\ c\underset{n\to \infty }{\underline{\lim }}{x}_n,& c<0\end{array}$$

命题：
有界数列收敛当且仅当其上下极限相等

命题：上下极限的刻画

有界数列 { x n } \{x_n\} {xn​} 的上极限为 $H$ 当且仅当
$$\forall \epsilon >0,\exists N\in {\mathbb{N}}_{>0},s.t.\forall n>N,x_n-H<\epsilon$$$$\forall \epsilon >0,\exists \text{无穷多}{N}_i\in {\mathbb{N}}_{>0},s.t.x_{N_i}-H>-\epsilon$$
有界数列 { x n } \{x_n\} {xn​} 的下极限为 $h$ 当且仅当
$$\forall \epsilon >0,\exists N\in {\mathbb{N}}_{>0},s.t.\forall n>N,x_n-H>-\epsilon$$$$\forall \epsilon >0,\exists \text{无穷多}{N}_i\in {\mathbb{N}}_{>0},s.t.x_{N_i}-H<\epsilon$$
证明思路
只考虑上极限的情形，必要性显然
充分性：第一个条件给出 $\underset{n\to \infty }{\lim }{x}_n\le H$，第二个条件给出 $\underset{n\to \infty }{\lim }{x}_n\ge H$

6. stolz 定理

stolz定理
设 { y n } \{y_n\} {yn​} 是严格单调递增的正无穷大量，且 $\underset{n\to \infty }{\lim }\frac{x_n-x_{n-1}}{y_n-y_{n-1}}=a$，则 $\underset{n\to \infty }{\lim }\frac{x_n}{y_n}=a$

证明思路：
使用先特殊后一般的技巧，依次考虑 $a=0$ ，$a$ 为非零有限数，$a=\infty$

$a=0$：设某个 $y_N>0$ ，注意到对任意 $n>N$
$$\begin{array}{rl}|x_n-x_N|& \le |x_n-x_{n-1}|+\cdots +|x_{N+1}-x_N|\\ & <\epsilon (y_n-y_{n-1})+\cdots +\epsilon (y_{N+1}-y_N)\\ & =\epsilon (y_n-y_N)\end{array}$$同除 $y_n$ 易得结论

参考书：

• 《数学分析》陈纪修 於崇华 金路
• 《数学分析之课程讲义》清华大学数学系及丘成桐数学中心
• 《数学分析习题课讲义》谢惠民 恽自求 易法槐 钱定边 著