第三章极限

这是本文档旧的修订版！

点击返回《数学分析》B.A.卓里奇笔记

定义 1: 定义域为自然数集的函数 $f: \mathbb{N} \rightarrow X$ 叫做序列。元素 $x_n$ 叫做序列的第 $n$ 项.
定义 2: 如果对于点 $A \in \mathbb{R}$ 的任何邻域¹⁾ $V(A)$ , 存在号码 $N$ (其选取与 $V(A)$ 相关), 使得数列的所有标号大于 $N$ 的项，包含在点 $A$ 的这个邻域 $V(A)$ 之中，则称数 $A \in \mathbb{R}$ 为数列 ${x_n}$ 的极限。
- 流行的表述：如果对于任何 $\varepsilon > 0$ , 存在号码 $N$ , 使得一切 $n > N$ , 有 $|x_n - A| < \varepsilon$
- 形式化定义： $\bigg( \lim_{n \to \infty} x_n = A \bigg) := \forall V(A) \;\exists N \in \mathbb{N} \;\forall\; n > N (x_n \in V(A))$ 相应得有： $\bigg( \lim_{n \to \infty} x_n = A \bigg) := \forall\; \varepsilon > 0 \;\exists N \in \mathbb{N} \;\forall\; n > N (|x_n - A| < \varepsilon)$
定义 3: 如果 $\lim\limits_{n \to \infty} x_n = A$ , 就说数列 ${x_n}$ 收敛于 $A$ 或趋于 $A$ , 并记成 “当 $n \to \infty$ 时 $x_n \to A$ ”。
- 有极限的序列叫做收敛序列，没有极限的序列叫做发散序列
- 例1： $\lim\limits_{n \to \infty} \frac{1}{n} = 0$
- 例4： $\lim\limits_{n \to \infty} \frac{\sin n}{n} = 0$

如果一个数列只有一个值，则叫做常数列
定义 4: 如果满足 $\exists A, \exists N, \forall\; n > N (x_n = A)$ , 就说数列 $\{x_n\}$ 为最终常数列
定义 5: 如果满足 $\exists M \;\forall\; n \in \mathbb{N}(|x_n|<M)$ , 就说数列 $\{x_n\}$ 为有界数列
定理 1: a) 最终常数列可收敛.
- b) 数列极限的任何邻域，包含着数列中除了有限多个数之外的所有项.
- c) 数列不能有两个不同的极限.
- d) 收敛数列并有界.
定义 6: 设 $\{x_n\}, \{y_n\}$ 是两个数列，那么分别称数列 $\{(x_n + y_n) \}, \{(x_n y_n)\}, \Bigl \{ \Bigl( \frac{x_n}{y_n} \Bigl) \Bigl \}$ 为它们的和、积、商
定理 2: 设 $\{x_n\}, \{y_n\}$ 是数列，如果 $\lim\limits_{n \to \infty} x_n = A, \lim\limits_{n \to \infty} y_n = B$ , 那么
- a) $\lim\limits_{n \to \infty}(x_n + y_n) = A + B$ ;
- b) $\lim\limits_{n \to \infty}x_n \cdot y_n = A \cdot B$ ;
- c) $\lim\limits_{n \to \infty}\dfrac{x_n}{y_n} = \dfrac{A}{B}$ , 如果 $y_n \ne 0(n=1,2\cdots) \land B \ne 0$ .
定理 3: a) 设 $\{x_n\}, \{y_n\}$ 是两个收敛数列，且 $\lim\limits_{n \to \infty} x_n = A, \lim\limits_{n \to \infty} y_n = B$ . 如果 $A < B$ , 就存在 $N \in \mathbb{N}$ ，使得对于任何 $n > N$ , 不等式 $x_n < y_n$ 成立.
- b) 设 $\{x_n\}, \{y_n\} , \{z_n\}$ 是这样三个数列: 当 $n > N \in \mathbb{N}$ 时， $x_n \leqslant y_n \leqslant z_n$ . 如果 $\{ x_n \}$ 与 $\{ z_n \}$ 收敛于同一极限，那么数列 $\{y_n\}$ 也收敛于这个极限.