微积分 A(1) —— 连续与极限
\(\newcommand{\a}{\alpha} \newcommand{\b}{\beta} \newcommand{\o}{\omega} \newcommand{\D}{\Delta} \newcommand{\de}{\delta} \newcommand{\si}{\sigma} \newcommand{\Si}{\Sigma} \newcommand{\w}{\wedge} \newcommand{\om}{\Omega} \newcommand{\eps}{\varepsilon} \newcommand{\ph}{\varphi} \newcommand{\t}{\theta} \newcommand{\la}{\lambda} \newcommand{\ga}{\gamma} \newcommand{\d}{\mathrm{d}} \newcommand{\DD}{\mathrm{D}} \newcommand{\e}{\mathrm{e}} \newcommand{\i}{\mathrm{i}} \newcommand{\N}{\mathbb{N}} \newcommand{\F}{\mathbb{F}} \newcommand{\Z}{\mathbb{Z}} \newcommand{\Q}{\mathbb{Q}} \newcommand{\R}{\mathbb{R}} \newcommand{\C}{\mathbb{C}} \newcommand{\fr}{\frac} \newcommand{\l}{\left} \newcommand{\r}{\right} \newcommand{\ov}{\overline} \newcommand{\ud}{\underline} \newcommand{\bs}{\backslash} \newcommand{\mps}{\mapsto} \newcommand{\pa}{\partial} \newcommand{\str}{\stackrel} \newcommand{\op}{\operatorname} \newcommand{\tr}{\operatorname{tr}} \newcommand{\gr}{\operatorname{grad}} \newcommand{\cu}{\operatorname{curl}} \newcommand{\di}{\operatorname{div}} \newcommand{\rot}{\operatorname{rot}} \newcommand{\abs}[1]{\left| #1 \right|} \newcommand{\infn}[1]{\| #1 \|_{\infty}} \newcommand{\p}[2]{\fr {\pa #1} {\pa #2}} \newcommand{\se}[2]{\sum_{#1 = #2} ^ \infty} \newcommand{\seq}[2]{\{{#1}_{#2}\}_{{#2}\geq 1}} \newcommand{\an}[1]{\left \langle #1 \right\rangle} \newcommand{\na}{\nabla} \newcommand{\lan}{\langle} \newcommand{\ran}{\rangle} \newcommand{\scr}{\mathscr} \newcommand{\bf}{\mathbf} \newcommand{\rm}{\mathrm} \newcommand{\xeq}{\xlongequal} \newcommand{\bal}{\begin{aligned}} \newcommand{\eal}{\end{aligned}} \newcommand{\bc}{\begin{cases}} \newcommand{\ec}{\end{cases}} \newcommand{\bpm}{\begin{pmatrix}} \newcommand{\epm}{\end{pmatrix}} \newcommand{\bvm}{\begin{vmatrix}} \newcommand{\evm}{\end{vmatrix}} \newcommand{\st}{\mathrm{s.t.} \ \ }\)
101 从自然数到实数
有理数集
自然数
数学家们定义满足何种性质的集合为自然数集，而不是定义自然数本身。
自然数集 \(\N\) 是这样一个集合：
-
存在 \(0\in \N\) 和 单射 \(S : \N\to \N\bs\{0\} =: \N ^ *\)。
-
\(\N\) 满足 数学归纳法原理：对 \(\N\) 的任意子集 \(A\)，
\[\begin{cases} 0\in A, \\ n\in A\implies S(n)\in A \end{cases} \implies A = \N. \]
称 \(S(n)\) 为 \(n\) 的 后继。
该定义提取了自然数集最本质的特征。
定理
后继映射是一一对应：\(S\) 是满射。
证明
设 \(A := \{0\} \cup S(\N)\)，则
- \(0\in A\)。
- 若 \(n\in A\)，则 \(n\in \N\)，因此 \(S(n)\in S(\N)\subset A\)。
根据数学归纳法原理，\(A = \N\)。因为 \(0\notin S(\N)\)，所以 \(S(\N) = A\backslash \{0\} = \N\backslash \{0\} = \N ^ *\)。\(\square\)
加法与乘法
对任意 \(m, n\in \N\)，定义
基本推论：
运算律：
- 加法结合律 \(a + (b + c) = (a + b) + c\)。
- 加法单位元 \(a + 0 = 0 + a = a\)。
- 加法交换律 \(a + b = b + a\)。
- 加法对乘法的分配律 \((a + b)c = ac + bc\)。
- 乘法单位元 \(a \cdot 1 = 1 \cdot a = a\)。
- 乘法交换律 \(a\cdot b = b\cdot a\)。
- 乘法结合律 \(a\cdot (b\cdot c) = (a\cdot b)\cdot c\)。
整数
记
为 整数集，规定
必须证明加法和乘法良定义：相等元素互相替换不影响运算结果。
定义 加法逆元：对任意 \(a\in \Z\)，存在唯一的 \(-a\in \Z\) 使得 \(a + (-a) = 0\)。进而定义 减法。
有理数
记
为 有理数集，规定
定义非零元素的 乘法逆元：对任意 \(a\in \Q\)，存在唯一的 \(a ^ {-1}\) 使得 \(a\cdot a ^ {-1} = 1\)，进而定义 除法。
序域
记
对有理数 \(r_1, r_2\)，定义 \(r_1 < r_2\iff r_2 - r_1\in \Q^ +\)。
不等式的性质
对任意 \(r_1, r_2\in \Q\)，三者有且仅有一个成立：\(r_1 < r_2, \ r_2 < r_1,\ r_1 = r_2\)。
对任意 \(r_1, r_2, r_3\in \Q\)，若 \(r_1\leq r_2\) 且 \(r_2\leq r_3\)，则 \(r_1\leq r_3\)。
对任意 \(r_1, r_2, r_3\in \Q\)，若 \(r_1\leq r_2\)，则 \(r_1 + r_3\leq r_2 + r_3\)。
对任意 \(r_1, r_2\in \Q\) 和 \(r_3\in \Q ^ +\)，若 \(r_1 \leq r_2\)，则 \(r_1 \cdot r_3 \leq r_2\cdot r_3\)。
第一次数学危机
假设存在 \(m ^ 2 = 2n ^ 2\)，则 \(n < m < 2n\)。由 \((2n - m) ^ 2 = 2(m - n) ^ 2\) 和 \(2n - m, m - n < n\) 导出矛盾。
从自然数出发依靠四则运算，只能够得到有理数。
上确界与实数集
界
设 \(A\) 为序域 \(\F\) 的子集，称 \(A\) 有上界，若存在 \(u\in \F\) 使得对任意 \(a\)，\(a\in A\implies a\leq u\)。称 \(u\) 是 \(A\) 的一个 上界。
类似定义 下界。
称 \(A\) 有界，若 \(A\) 既有上界又有下界。
最值
称 \(a_0\) 为 \(A\) 的 最大值，若 \(a_0\in A\) 且 \(a_0\) 是 \(A\) 的上界，记 \(a_0 = \max A = \max_{a\in A} a\)。
类似定义 最小值。
上确界
设 \(A\) 有上界。若 \(A\) 的上界有最小值，则称最小的上界为 \(A\) 的 上确界，记为 \(\sup A\)。
类似定义 下确界，记为 \(\inf A\)。
例 \(1\)
在有理数集上，集合 \(A := \{r\in \Q | r > 0,\ r ^ 2 < 2\}\) 非空有上界，无上确界。
证明
\(1\in A\)，所以 \(A\) 非空。
\(2\) 是 \(A\) 的上界。
任何满足 \(u ^ 2\geq 2\) 的正有理数 \(u\) 都是 \(A\) 的上界。进一步地，任何满足 \(a ^ 2 > 2\) 的正有理数 \(a\) 都不是 \(A\) 的最小上界。
任何满足 \(a ^ 2 < 2\) 的正有理数 \(a\) 不是 \(A\) 的上界：考虑正有理数 \(a_n = a(1 + \fr 1 n)\)，当正整数 \(n > \fr {3} {\fr {2} {a ^ 2} - 1}\) 时，\(a_n ^ 2\leq a ^ 2(1 + \fr 3 n) < 2\)。
任何正有理数 \(a\) 都不满足 \(a ^ 2 = 2\)，所以 \(A\) 在 \(\Q\) 没有最小上界。\(\square\)
实数
实数集 \(\R\) 是一个序域，满足任何非空有上界的子集都有上确界。
确界性是在实数集上建立微积分的基本性质。
- 实数的 Dedekind 分割定义法：将有理数分成左右两部分。
阿基米德性质
自然数集 \(\N\) 在实数集无上界。
证明
假设有上界，则有上确界 \(x_0 = \sup \N\)。由上确界的定义，存在 \(n_0 \in \N\) 使得 \(n_0 > x_0 - 1\)，此时 \(n_0 + 1\in \N\)，但 \(n_0 + 1\) 大于所有自然数，矛盾。\(\square\)
例 \(2\)
\(\Q\) 在 \(\R\) 上稠密。
证明
对任意实数 \(a < b\)，设有理数步长 \(d\) 满足 \(d < b - a\)。从足够小的整数每次加 \(d\)，由阿基米德性质，总会从 \(a\) 左侧到 \(a\) 右侧，且第一次跨过 \(a\) 时取到的有理数 \(r\) 满足 \(a < r < b\)。\(\square\)
例 \(3\)
对任意正实数 \(y\) 和正整数 \(n\geq 2\)，存在唯一的正实数 \(x\) 使得 \(x ^ n = y\)。
证明
记 \(A = \{z\in \R|z > 0,\ z ^ n < y\}\)，则 \(A\) 非空有上界。
由数学归纳法知 \(z ^ n\) 关于整数 \(z\) 严格增，所以 \(x\) 至多一个，且满足 \(u ^ n > y\) 的正数 \(u\) 都是 \(A\) 的上界。
类似例 \(1\) 证明任何 \(x ^ n > y\) 的 \(x\) 都不是 \(A\) 的最小上界，且任何 \(x ^ n < y\) 的 \(x\) 都不是 \(A\) 的上界。\(\square\)
Bernoulli 不等式（\((1 + h) ^ n\geq 1 + nh,\ \forall n\in \N, \ \forall h > -1\)）帮助我们在讨论不等式时避免开方。
102 初等函数与简易逻辑
指数函数
整数指数幂
对任意实数 \(a\) 和任意正整数 \(n\)，定义
对 \(a\neq 0\)，\(a ^ 0 = 1\)，\(a ^ {-n} = \fr {1} {a ^ n}\)。
幂的运算性质：\(a ^ r b ^ r = (ab) ^ r\)，\(a ^ r a ^ s = a ^ {r + s}\)，\((a ^ r) ^ s = a ^ {rs}\)。
有理数指数幂
对任意 \(a > 0\)，\(\forall n\in \N ^ *\)，\(\forall m\in \Z\)，记 \(a ^ {\fr m n}\) 为方程 \(x ^ n = a ^ m\) 的唯一正整数解。
无理数指数幂
能否定义 \(2 ^ {\sqrt 3}\)？
第一步：证明 \(2 ^ n\) 关于正整数 \(n\) 是增函数。
第二步：证明 \(2 ^ r\) 关于有理数 \(r\) 是增函数。
第三步：用有理指数幂逼近。
实数指数幂
对任意 \(a > 1\) 及任意实数 \(x\)，\(A = \{a ^ r | r\in \Q,\ r\leq x\}\) 非空有上界，上确界记为 \(\exp_a(x)\)。
对有理数 \(r_0\)，\(\exp_a(r_0) = a ^ {r_0}\)，与现有定义一致。
幂函数的单调性
对 \(a > 1\)，\(a ^ x\) 关于 \(x\in \R\) 严格增。
证明
对任意实数 \(x < y\)，因为有理数稠密，所以存在 \(r_1, r_2\in \Q\) 使得 \(x < r_1 < r_2 < y\)。
对任意有理数 \(r\leq x\)，\(a ^ r < a ^ {r_1} < a ^ {r_2} \leq a ^ y\)，于是 \(a ^ {r_1}\) 是 \(\{a ^ r | r\in \Q,\ r\leq x\}\) 的上界。而 \(a ^ x\) 是 \(\{a ^ r | r\in \Q,\ r\leq x\}\) 的上确界，所以 \(a ^ x\leq a ^ {r_1} < a ^ {r_2} < a ^ {y}\)。\(\square\)
引理
设 \(a > 1\)，则 \(\inf_{n\in \N ^ *} a ^ {\fr 1 n} = 1\)。
证明
因为 \(a ^ {\fr 1 n}\geq 1\)，所以 \(b = \inf_{n\in\N ^ *} a ^ {\fr 1 n}\) 存在且 \(b\geq 1\)。
假设 \(b > 1\)，则 \(a \geq b ^ n > 1 + n(b - 1)\implies n < \fr {a - 1} {b - 1}\)，和阿基米德性质矛盾。\(\square\)
实指数幂的运算规则
对实数 \(x, y\) 和正数 \(a, b\)，\(a ^ x b ^ x = (ab) ^ x\)，\(a ^ x a ^ y = a ^ {x + y}\)，\((a ^ x) ^ y = a ^ {xy}\)。
证明（\(a ^ xa ^ y = a ^ {x + y}\)）
设 \(a > 1\)，\(\forall 0 < \eps < \fr 1 2\)，\(\exists r, s\in \Q\) 使得 \(r\leq x\)，\(s\leq y\)，\((1 - \eps)a ^ x < a ^ r\leq a ^ x\)，\((1 - \eps)a ^ t < a ^ s \leq a ^ y\)。
于是 \((1 - 2\eps) a ^ xa ^ t < (1 - \eps) ^ 2 a ^ x a ^ y < a ^ ra ^ s = a ^ {r + s} \leq a ^ {x + y}\)，即 \(1 - \fr {a ^ {x + y}}{a ^ x a ^ y}\leq 2\eps\)。由 \(\eps\) 的任意性可知 \(1 - \fr {a ^ {x + y}} {a ^ x a ^ y} \leq 0\)，即 \(a ^ x a ^ y\leq a ^ {x + y}\)。
任取 \(t\in \Q\) 满足 \(t\leq x + y\)。任取正整数 \(n\)，则存在有理数 \(r\) 满足 \(x - \fr 1 n < r < x\)。记 \(s = t - r - \fr 1 n\)，则 \(s\leq y\)。因此
\[a ^ t = a ^ {r + s + \fr 1 n} = a ^ r a ^ s a ^ {\fr 1 n}\leq a ^ x a ^ ya ^ {\fr 1 n} \]于是 \(a ^ {x + y}\leq a ^ xa ^ t a ^ {\fr 1 n}\)。由引理得 \(a ^ {x + y} \leq a ^ x a ^ y\)。\(\square\)
指数函数的值域
对 \(a > 1\)，\(\forall y > 0\)，\(\exists x\in \R\) 使得 \(a ^ x = y\)。
证明
设 \(B = \{r \in \Q| a ^ r\leq y\}\)。用 Bernoulli 证明 \(B\) 非空有上界，因此 \(B\) 有上确界 \(x\)。
任取正整数 \(n\)，存在有理数 \(r\in B\) 满足 \(x - \fr 1 n < r \leq x\)。于是 \(a ^ x\leq a ^ {r + \fr 1 n} = a ^ ra ^ {\fr 1 n}\leq ya ^ {\fr 1 n}\)。
另一方面，因为 \(r + \fr 1 n \notin B\)，所以 \(a ^ x a ^ {\fr 1 n} \geq a ^ r a ^ {\fr 1 n} = a ^ {r +\fr 1 n} > y\)。\(\square\)
对数函数、幂函数
对数函数
对任意 \(a > 1\) 及正数 \(x\)，\(A = \{r \in \Q | a ^ r\leq x\}\) 非空有上界，上确界记为 \(\log_a x\)，关于 \(x > 0\) 严格增。
对 \(0 < a < 1\)，定义 \(\log_a x = \frac {\log_2 x}{\log_2 a}\)，关于 \(x > 0\) 严格减。
对 \(a, x, y > 0\) 且 \(a\neq 1\)，\(\log_a(xy) = \log_a x + \log_a y\)，\(\log_a a = 1\)。
\(\log_a\) 和 \(\exp_a\) 互为反函数。
幂函数
对任意实数 \(\mu\) 和 任意正数 \(x\)，定义 \(x ^ {\mu} = 2 ^ {\mu \log_2 x}\)。
对任意 \(\mu > 0\)，\(x ^ \mu\) 关于正数 \(x\) 是从 \(\R ^ +\) 到 \(\R ^ +\) 的严格增满射。
三角函数
公理
- \(\cos(\t - \ph) = \cos \t \cos \ph + \sin \t \sin \ph\)。
- \(\cos 0 = 1\)。
- 存在整数 \(\pi\) 使得 \(\sin \fr \pi 2 = 1\)，\(\cos \pi = -1\)。
重要结论
对任意 \(0 < \t < \fr \pi 2\)，使得 \(0 < \cos \t < \fr {\sin \t} {\t} < 1\)。
初等函数
基本初等函数
- 常值函数。
- 恒同函数 \(\mathrm{id}(x) = x\)。
- 指数、对数、幂函数。
- 三角、反三角函数。
初等函数
有限多基本初等函数经过有限多次四则运算和有限多次复合得到的函数。
多项式，有理分式，\(\se {n} {0} \fr {x ^ {2n}} {n!}\) 是初等函数。\(|x|, \mathrm{sgn}(x), D(x)\) 不是初等函数。
逻辑
否定、合取、析取、蕴含，逻辑量词。
蕴含式 \(P\implies Q\) 只有在 \(P\) 真 \(Q\) 假时为假。
103 连续与极限
内容：
- 函数连续性的概念与性质。
- 函数在一点处的极限与单侧极限。
- 间断点分类。
连续
真正有价值的性质对一部分对象成立，对另一部分不成立。
连续
函数 \(f: I\to \R\) 在 \(x_0\in I\) 处 连续，若
称 \(f\) 在 \(A\) 上连续，指 \(f\) 在每个 \(x_0\in A\) 处连续。称 \(f\) 是 连续函数，指 \(f\) 在 \(I\) 上连续。
自变量的小误差不会引起函数值的剧烈变化。我们希望当自变量的误差足够小时，函数值的误差也足够小。如何衡量 “任意小”？任意小就是 “想要多小有多小”。目标是函数值的误差任意小，那么任给函数值的非零误差，都要有自变量的非零误差，使得误差范围内所有自变量的函数值的误差也符合要求。
- 前提条件：\(f\) 在 \(x_0\) 处有定义。
- 对于 \(0 < \eps_2 < \eps_1\)，\(|x - x_0| < \delta\implies |f(x) - f(x_0)| < \eps_2 < \eps_1\)。如果较小的 \(\eps\) 满足条件，那么较大的 \(\eps\) 一定满足条件。\(\eps\) 是不断变小的动态行为，\(\delta\) 配合 \(\eps\)。可以限制 \(\eps\) 不超过某个已知的正数（不能依赖于 \(\eps\)）。
- 对于一个 “任意正数”，如果它出现在不等式较大的一侧做限制，那么它描述的是任意小。如果它出现在不等式较小的一侧做限制，那么它描述的是任意大。
- 连续描述的是函数在一个点处的 局部性质：局部函数值接近 \(f(x_0)\)。这里的 “局部” 不是固定的范围，而是一个任意小但没有小到只剩一个点的范围。
- 因为 \(\de\) 出现在 \(\eps\) 和 \(x_0\) 之后，所以 \(\de\) 一般和 \(\eps, x_0\) 有关（如 \(x ^ 2\)）。\(\de\) 和 \(x_0\) 无关的连续（如 \(\sqrt x\)）称为 一致连续。
例 \(1\)
常值函数是连续函数。
例 \(2\)
绝对值函数是连续函数。
学会画图是理解数学的重要方式：可以受图像启发得到证明，但图像无法代替严格的证明。
例 \(3\)
\(\sqrt x\) 在 \([0, +\infty)\) 上连续。
证明
\(\forall x_0 > 0\)，\(\forall \eps > 0\)，若 \(x_0 + h \geq 0\)，则
\[\begin{aligned} & \abs{\sqrt {x_0 + h} - \sqrt {x_0}} \\ = \; & \sqrt{\abs{\sqrt {x_0 + h} - \sqrt {x_0}}\abs{\sqrt {x_0 + h} - \sqrt {x_0}}} \\ \leq \; & \sqrt{\abs{\sqrt {x_0 + h} - \sqrt {x_0}}\abs{\sqrt {x_0 + h} + \sqrt {x_0}}} \\ = \; & \sqrt{\abs h} \\ < \; & \eps \end{aligned} \]因此，当 \(\sqrt {\abs{h}} < \eps\)，即 \(\abs{h} < \eps ^ 2\) 时，\(\abs {f(x_0 + h) - f(x_0)} < \eps\)，即 \(\delta = \eps ^ 2\)。\(\square\)
例 \(4\)
\(x ^ 2\) 是连续函数。
证明
\[\begin{aligned} & \abs {(x_0 + h) ^ 2 - x_0} \\ = \; & \abs{2x_0h + h ^ 2} \\ \leq \; & 2|x_0||h| + |h| ^ 2 \\ \leq \; & (2|x_0| + 1) |h| & (|h| < 1) \\ < \; & \eps \end{aligned} \]\(\forall \eps > 0\)，当 \(|h| < \frac {\eps}{2|x_0| + 1 + \eps}\) 时（分母加 \(\eps\) 保证 \(|h| < 1\)），\(\abs {(x_0 + h) ^ 2 - x_0 ^ 2} < \eps\)。\(\square\)
证明连续不是解不等式，而是找使得不等式成立的充分条件。这给我们将不等式左侧自由放大的空间，并可以在放大的过程中对 \(|h|\) 提出要求（\(|h|\) 小于某个正数），只要将最终的结果与所有要求取交。
在证明 \(\sqrt x\) 连续时，最终的 \(\delta\) 与 \(x_0\) 无关，\(\sqrt x\) 一致连续。但 \(x ^ 2\) 的 \(\delta\) 与 \(x_0\) 有关，是否说明 \(x ^ 2\) 不一致连续？
\(x ^ 2\) 不一致连续。
证明
由于 \(\abs {(n + \frac 1 n) ^ 2 - n ^ 2} = \abs {2 + \frac 1 {n ^ 2}} > 2\)，所以对 \(\eps = 2\)，\(\delta(2, n) < \frac 1 n\)，即随着 \(x_0\) 增大，\(\delta(2, x_0)\) 变得任意小。因此 \(x ^ 2\) 在 \(\R\) 上不一致连续。随着抛物线远离对称轴，它会变得越来越陡峭。
\(x ^ 2\) 在任意有界区间上一致连续：令 \(M\) 为 \(x_0\) 的界，将 \(M\) 带入 \(\frac {\eps}{2|x_0| + 1 + \eps}\)。
例 \(5\)
\(\frac 1 x\) 在 \(\R\bs \{0\}\) 上连续。
证明
\(\forall x_0\neq 0\)，\(\forall \eps > 0\)，
\[\begin{aligned} & \left|\frac 1 {x_0 + h} - \frac 1 {x_0} \right| \\ = \; & \frac {|h|} {|x_0||x_0 + h|} \\ \leq \; & \frac {|h|} {|x_0|(|x_0| - |h|)} & (|h| < |x_0|) \\ < \; & \eps\\ \end{aligned} \]得 \(|h| < \frac {\eps |x_0| ^ 2} {1 + \eps|x_0|}\)，容易验证 \(|h| < |x_0|\)。\(\square\)
连续的性质
对于复杂函数，使用定义证明连续性太麻烦了。将复杂函数拆解为简单函数的方法是复合。
复合函数的连续性
若 \(f\) 在 \(x_0\) 处连续，\(g\) 在 \(y_0\) 处连续且 \(y_0 = f(x_0)\)，那么 \(g\circ f\) 在 \(x_0\) 处连续。
复合函数的连续性定理给予我们证明复杂函数连续性的简单方法。
连续函数的四则运算
若 \(f, g\) 在 \(x_0\) 处连续，那么 \(f + g\)，\(f\cdot g\) 在 \(x_0\) 处连续。若 \(g(x_0) \neq 0\)，则 \(\frac f g\) 在 \(x_0\) 处连续。
证明
加法显然，下证乘法。
\(\forall \eps > 0\)，取 \(\eps' = \fr {\eps} {1 + |f(x_0)| + |g(x_0)| + \eps}\)，则 \(0 < \eps' < 1\) 且 \(\exists \delta > 0\) 使得
\[|x - x_0| < \delta \implies |f(x) - f(x_0)| < \eps' \land |g(x) - g(x_0)| < \eps' \]此时
\[\begin{aligned} & |f(x)g(x) - f(x_0)g(x_0)| \\ = \; & |[f(x) - f(x_0)][g(x) - g(x_0)] + f(x_0)[g(x) - g(x_0)] + g(x_0)[f(x) - f(x_0)] | \\ \leq \; & (\eps' + |f(x_0)| + |g(x_0)|) \eps' \\ \leq \; & (1 + |f(x_0)| + |g(x_0)|) \eps' & (\eps' < 1) \\ < \; & \eps \end{aligned} \]利用复合函数连续性将 \(\frac f g\) 在 \(x_0\) 处的连续性转化为 \(f \cdot \frac 1 g\) 在 \(x_0\) 处的连续性，而乘积在 \(x_0\) 处的连续性已经被证明了。\(\square\)
推论
多项式和有理函数都是连续函数。
单侧连续
仅对 一元实变量函数 有单侧连续的概念。
称函数 \(f : I\to \R\) 在 \(x_0\in I\) 处 右连续，若
类似定义 \(f\) 在 \(x_0\) 处 左连续。
\(f\) 在 \(x_0\) 处连续当且仅当它在 \(x_0\) 处左连续且右连续。
区间映到区间的单调满射连续
设 \(I, J\subseteq \R\) 是区间，\(f : I\to J\) 是单调满射，则 \(f\) 是连续函数。
- \(I\) 是区间当且仅当 \(\forall a, b\in I(a < b),\ \forall c: a < c < b\implies c\in I\)。统一定义区间为了避免对开闭区间以及两侧是否有界的讨论。
证明
不妨设 \(f\) 单调不减，否则考虑 \(-f\)。\(\forall x_0\in I\)：
如果 \(x_0\) 不是 \(I\) 的右端点，则存在 \(x_1\in I\) 使得 \(x_1 > x_0\)，于是 \(f(x_0) \leq f(x_1)\)。
若 \(f(x_0) = f(x_1)\)，则 \(\forall x\in [x_0, x_1)\)，\(f(x_0) \leq f(x) \leq f(x_1) = f(x_0)\)，于是 \(f\) 在 \(x_0\) 处右连续。
若 \(f(x_0) < f(x_1)\)，则 \(\forall y_2\in (f(x_0), f(x_1))\subseteq J\)，因为 \(f\) 是满射，所以存在 \(x_2\) 使得 \(f(x_2) = y_2\)。再由 \(f\) 单调不减知 \(x_2\in (x_0, x_1)\)。于是 \(\forall x\in [x_0, x_2)\)，\(f(x_0) \leq f(x) \leq f(x_2) = y_2\)，从而 \(f\) 在 \(x_0\) 处右连续。
- 证明连续，不应拘泥于最基本的 \(\eps-\delta\) 语言。以上证明没有出现 \(\eps\) 和 \(\delta\)，但 \(y_2\) 充当了 \(\eps\) 的角色，\(x_2\) 充当了 \(\delta\) 的角色。\(\forall x\in [x_0, x_2]: f(x_0) \leq f(x) \leq f(x_2) = y_2\) 结合 \(y_2\) 的任意性（\(\forall 0 < \eps < f(x_2) - f(x_0)\)）和 \(x_2\) 的存在性（存在 \(x_2 > x_0\) 使 \(f(x_2) = y_2\)），是 \(\eps - \delta\) 语言的等价表述。
如果 \(x_0\) 是 \(I\) 的右端点，那么 \(x_0\) 右侧没有定义，蕴含式恒为真。因此 \(f\) 在 \(x_0\) 处右连续。
同理知 \(f\) 左连续。
综上，\(f\) 是连续函数。\(\square\)
推论
指数函数，对数函数，幂函数是连续函数。
\(\forall a > 0\land a\neq 1\)，\(a ^ x\) 是 \(\R\) 到 \(\R ^ +\) 的单调满射。
\(\log_a x\) 是 \(\R ^ +\) 到 \(\R\) 的单调满射。
幂函数 \(x ^ \mu = 2 ^ {\mu \log_2 x}\) 是连续函数的复合。
总结
- \(|x - x_0| < \delta\) 是 \(|f(x) - f(x_0)| < \eps\) 的充分条件，无需充要。不是解不等式 \(|f(x) - f(x_0)| < \eps\)。
- 只需证明 \(\delta\) 的存在性，无需求出 \(\delta\) 的具体值，也无需求出最优解（最大值）。
- 对复杂函数，用定义方式很难讨论。根据函数结构将问题分解为简单的情形（必须经过有限步拆解）。
极限
聚点
称 \(x_0\) 是 \(I\) 的 聚点，若
若 \(x_0\in I\) 不是 \(I\) 的聚点，则 \(x_0\) 是 \(I\) 的 孤立点。
集合的聚点不一定在集合内：\(0\) 是 \((0, 1)\) 的聚点，因为 \(0\) 的任意右侧都有属于该区间的点。
\(I = \{\left.\frac 1 n \right| n\in \N ^ *\}\) 的聚点只有 \(0\)。
\(I = \{x\in \R | x ^ 2 < 2\}\) 的聚点为 \(\l[-\sqrt 2, \sqrt 2\r]\)。
\(I = \{x\in \Q | x ^ 2 < 2\}\) 的聚点为 \(\l[-\sqrt 2, \sqrt 2\r]\)（\(\Q\) 在 \(\R\) 上稠密）。
极限
称 \(A\) 为 \(x\) 趋于 \(x_0\) 时 \(f(x)\) 的 极限，若 \(x_0\) 是 \(f\) 的定义域 \(I\) 的 聚点（不要求 \(x_0\in I\)），且
记作 \(\lim_{x\to x_0} f(x) = A\)。
连续与极限的定义非常相似，它们都描述了 \(f\) 在 \(x_0\) 处的局部性质，但极限不要求 \(f\) 在 \(x_0\) 处有定义（\(|x - x_0| > 0\)），也和 \(f(x_0)\) 的取值无关（\(|f(x) - A| < \eps\)）。极限是对 \(x_0\) 局部其它函数值的性质的刻画：随着邻域越来越小，取值波动减小，最终趋于某定值 \(A\)。这要求 \(f\) 在 \(x_0\) 任意小的邻域内都要有定义（定义域能够无限靠近 \(x_0\)：避免蕴含式条件 \(0 < |x - x_0| < \delta\) 恒不成立的情况），但并非所有位置都要有定义，进而引出了聚点的概念。
区别：连续的 \(x_0\) 可以是孤立点（在小邻域内只有 \(x_0\) 处有定义）（数学连续不等于几何连续），极限的 \(x_0\) 可以没有定义（但不能是孤立点）。
极限与连续的关系
设 \(x_0\) 是 \(I\) 的聚点，则 \(\lim_{x\to x_0} f(x) = A\) 当且仅当 \(g(x) = \begin{cases} f(x), & x\in I\bs \{x_0\}; \\ A, & x = x_0. \end{cases}\) 在 \(x_0\) 处连续。
理解：\(\lim_{x\to x_0} f(x) = A\) 要求 \(x_0\) 是 \(I\) 的聚点。由于 \(g(x_0) = A\)，所以 \(g(x)\) 在 \(x_0\) 处连续的 \(\eps - \delta\) 条件和 \(\lim_{x\to x_0} f(x) = A\) 的 \(\eps - \delta\) 语言几乎一致。
设 \(x_0\in I\) 是 \(I\) 的聚点，则 \(f\) 在 \(x_0\) 处连续当且仅当 \(\lim_{x\to x_0} f(x) = f(x_0)\)。
注：黄皮教材上用极限定义连续，所以教材上连续的定义不包含孤立点。
极限的四则运算
根据极限与连续的关系，以及连续函数的性质，得极限的四则运算……
数学上的很多性质都是通过条件加公式的形式描述的。等式不仅描述了相等关系，也告诉我们等式某一侧的式子为什么存在。因此，四则运算的极限的存在性也是定理重要的一部分。
复合函数极限
设 \(\lim_{x\to x_0} f(x) = y_0\)，\(g\) 在 \(y_0\) 处连续，则 \(\lim_{x\to x_0} g(f(x)) = g(y_0)\)。
特别注意
如果没有 \(g\) 在 \(y_0\) 连续的条件，但 \(g\) 在 \(y_0\) 处有极限，则不能简单认为 \(\lim_{x\to x_0} g(f(x)) = \lim_{y\to y_0} g(y)\)。此时极限甚至不一定存在，因为 \(x\to x_0\) 的过程中，\(f(x)\) 可能不断取到 \(y_0\)，使得 \(g(f(x))\) 被 \(g(y_0)\) 处不一定等于极限的取值带偏，导致极限不存在。
如果能额外保证在 \(x\to x_0\) 的过程中 \(f(x)\) 时刻不等于 \(y_0\)，则 \(\lim_{x\to x_0} g(f(x)) = \lim_{y\to y_0} g(y)\)。
- \(y\to y_0\) 表示 \(y\) 任意接近 \(y_0\) 但 \(y\neq y_0\)。
复合函数极限定理允许我们在一定条件下使用 换元法。
夹挤定理
设 \(x_0\) 是 \(I\) 的聚点。若 \(f(x)\leq g(x)\leq h(x),\ \forall x\in I\)，且 \(\lim_{x\to x_0} f(x) = \lim_{x\to x_0} h(x) = A\)，则 \(\lim_{x \to x_0} g(x)\) 存在 且等于 \(A\)。
注意：只有当两侧极限 存在且相等 时，中间函数的极限存在且等于两侧极限。如果不等，不能推出极限存在。
例 \(6\)
\[\lim_{x\to 0} x\sin \frac 1 x \]解
\(-|x| \leq x\sin \frac 1 x \leq |x|\)。由夹挤定理，\(\lim_{x\to 0} x\sin \frac 1 x = 0\)。
四则运算通过函数的等式关系计算极限，夹挤定理通过函数的不等式关系计算极限。
极限的保号性
极限 保号，但 不保持严格不等号：若 \(f(x)\leq g(x)\) 且极限存在，则 \(\lim f(x)\leq \lim g(x)\)。若 \(f(x) < g(x)\) 且极限存在，则 \(\lim f(x)\) 不一定严格小于 \(\lim g(x)\)。
反之，若 \(\lim f(x) < \lim g(x)\)，则在某去心邻域内 \(f(x) < g(x)\)（局部有界）。
单侧极限
右极限 \(\lim_{x\to x_0 ^ +} f(x) = A\)，若
类似定义 左极限 \(\lim_{x\to x_0 ^ -} f(x) = A\)。
单侧极限和极限的关系：若 \(x_0\) 两侧都可以被 \(I\) 逼近，则
极限的四则运算和夹挤定理也适用于单侧极限的情况。
例 \(7\)（重要极限）
\[\lim_{x\to x_0} \frac {\sin x} x \]解
根据几何意义，对 \(0 < x < \frac \pi 2\)，有 \(0 < \sin x < x < \tan x\)。
由夹挤定理，\(\lim_{x\to 0 ^ +} \sin x = 0\)。于是 \(\lim_{x\to 0 ^ +} \cos x = \lim_{x\to 0} \sqrt {1 - \sin ^ 2 x} = 1\)。
因为 \(x < \tan x\)，所以 \(\cos x < \frac {\sin x} x\)。因为 \(\sin x < x\)，所以 \(\frac {\sin x} x < 1\)。于是 \(\lim_{x\to 0 ^ +} \frac {\sin x} x = 1\)。
因为 \(\frac {\sin x} x\) 是偶函数，所以 \(\lim_{x\to 0 ^ -} \frac {\sin x} x = 1\)。
因此，\(\lim_{x\to 0} \frac {\sin x} x = 1\)。
- 仅用公理定义三角函数需要更复杂的知识在定义和几何解释之间建立联系。
利用四则运算得到一些重要极限：\(\lim_{x\to 0} \frac {\tan x} {x} = 1\)，\(\lim_{x\to 0} \frac {1 - \cos x} {x ^ 2} = \frac 1 2\)。
间断
可去间断点
称 \(x_0\) 是 \(f\) 的 可去间断点，若
- \(x_0\) 是 \(I\) 的聚点，且极限存在。
- \(x_0\notin I\) 或取值不等于极限。
没有函数值或函数值没给好导致不连续，但有极限，将函数值改成极限则连续。
例 \(8\)
Riemann 函数
\[R(x) = \begin{cases} \frac 1 n, & x = \frac m n \land n\in \N ^ * \land \gcd(m, n) = 1; \\ 0, & x\in \R\bs \Q. \end{cases} \]在无理数连续，所有有理数是可去间断点。
证明
思路：对长度小于 \(\frac 1 {N ^ 2}\) 的区间，最多有一个分母不大于 \(N\) 的既约分数。
\(\forall x_0\in \R\)，\(\forall N\in \N ^ *\)：考虑 \((x_0 - \frac 1 {2N ^ 2}, x_0 + \frac 1 {2 N ^ 2})\)，则存在 \(\delta > 0\) 使得对任意 \(x \in \mathring U(x_0, \delta)\)，要么 \(x\in \R\bs \Q\)，要么 \(x\) 是分母大于 \(N\) 的既约分数。
而 \(N\) 是任取的，所以总有 \(\lim_{x\to x_0} R(x) = 0\)。\(\square\)
（跳跃）间断点
设 \(x_0\) 是定义域的 聚点。如果 \(f\) 在 \(x_0\) 处不连续，则称 \(x_0\) 为 \(f\) 的 间断点。
\(x_0\) 是 \(f\) 的 跳跃间断点，指 \(f\) 在 \(x_0\) 处的左右极限存在但不相等。
- 可去间断点和跳跃间断点统称为 第一类间断点。
- 其它间断点统称为 第二类间断点（至少一侧极限不存在）。
例 \(9\)
\(x = 0\) 是 \(f(x) = \frac {x} {|x|}\) 第一类间断点（跳跃间断点）。
\(x = 0\) 是 \(f(x) = \fr 1 x\) 的第二类间断点。
\(x = 0\) 是 \(f(x) = \sin \fr 1 x\) 的第二类间断点。
104 无穷远与无穷大
内容：
- 无穷远，极限的一般概念，数列极限。
- 单调性与极限。
无穷大
无穷远
\(\lim_{x\to +\infty} f(x) = A\)，若
例 \(1\)
\[\lim_{x\to +\infty} \fr {2x + 1} {x - 2} \]解
“主项法” 可以猜出答案是 \(2\)。
\(\forall \eps > 0\)，当 \(x > 2 + \fr 5 \eps\) 时，\(\abs {\fr {2x + 1} {x - 2} - 2} = \abs {\fr 5 {x - 2}} < \eps\)。
\(\lim_{x\to -\infty} f(x) = A\)，若
\(\lim_{x\to \infty} f(x) = A\)，若
无穷远和数轴上的某个点没有本质区别（北极投影）。因此，函数在无穷远处的极限和在某一点处的极限具有相同的性质：四则运算、换元、夹挤定理、局部有界。
去心邻域
设 \(c\) 为 \(x_0, x_0 ^ +, x_0 ^ -, -\infty, +\infty, \infty\) 的任何一个，则 \(c\) 的 邻域 和 去心邻域 是……
为了统一所有不同情况的极限。
极限的统一定义
设 \(c\) 是 \(x_0, x_0 ^ +, x_0 ^ -, -\infty, +\infty, \infty\) 的任何一个，\(A\) 是实数或 \(-\infty, +\infty, \infty\) 的任何一个。\(\lim_{x\to c} f(x) = A\)，指对 \(A\) 的任何邻域 \(V\)，存在 \(c\) 的去心邻域 \(W\)，使得 \(\forall x \in W\cap I : f(x) \in V\)。
无穷大量
称 \(x\to c\) 时 \(f(x)\) 是 无穷大量，若 \(\lim_{x\to c} f(x) = \infty\)。类似定义正无穷大量和负无穷大量。
无穷大量不是任何数，是一个 动态过程。
加法未定型：两个异号无穷大相加，或至少一个符号未确定。
乘法未定型：零乘以无穷大。
数列极限
数列极限
数列 \(\seq a n\) 是定义在 \(\N^ *\) 上的函数，可定义极限 \(\lim_{n\to +\infty} a_n\)。
类似有极限的性质。
复合极限
设 \(\lim_{n\to +\infty} a_n = A\)，\(\lim_{x\to A} g(x) = B\)。若 \(g\) 在 \(A\) 连续，或 \(A\) 是无穷大，或 \(a_n\neq A\)，则 \(\lim_{n\to +\infty} g(a_n) = B\)。
复合极限定理反过来是海涅定理。
海涅定理
若对任意以 \(A\) 为极限且 \(a_n\neq A\) 的数列，均有 \(\lim_{n\to +\infty} g(a_n) = B\)，则 \(\lim_{x\to A} g(x) = B\)。
证明
反证法。假设 \(\exists \eps_0 > 0\) 使得 \(\forall \delta > 0\)，\(\exists x_{\delta} \in I\)，满足 \(0 < |x_{\delta} - A| < \delta\)，但 \(|g(x_{\delta}) - B| \geq \eps\)。取 \(\delta = \fr 1 n\)（技巧：将连续参数变成离散参数），得到 \(\lim_{n\to +\infty} x_n = A\) 但 \(g(x_n)\) 不以 \(B\) 为极限。矛盾。\(\square\)
海涅定理联系了连续的极限和离散的极限。
子列
一种特殊的数列极限复合。
设 \(\seq nk\) 为严格增的正整数列，记 \(b_k = a_{n_k}\)，则称 \(\seq bk\) 为数列 \(\seq an\) 的 子列。
子列极限
若 \(\lim_{n\to +\infty} a_n = A\)，则 \(\lim_{k\to +\infty} a_{n_k} = A\)。
定理
若 \(f : \N ^ *\to \N ^ *\) 是单射，则 \(\lim_{k\to +\infty} f(k) = +\infty\)。
允许 \(n_k\) 不严格增。
单调函数极限
定理
设 \(f : (a, b) \to \R\) 单调不减。
若 \(f\) 有上界，则 \(\lim_{x\to b ^ -} f(x) = \sup_{x\in (a, b)} f(x)\)。
若 \(f\) 无上界，则 \(\lim_{x\to b ^ -} f(x) = +\infty\)。
证明
设 \(A\) 是上界。对 \(A_1 < A\)，存在 \(x_1 \in (a, b)\) 使得 \(f(x_1) > A_1\)。对任意 \(x\in (x_1, b)\)，\(A_1 < f(x_1)\leq f(x) \leq A\)。
第二种情况类似。\(\square\)
单调有界收敛
设 \(a_n\) 单调不减。
若 \(\seq a n\) 有上界，则 \(\lim_{n\to +\infty} a_n = \sup_{n\geq 1} a_n\)。
若 \(\seq a n\) 无上界，则 \(\lim_{n\to +\infty} a_n = +\infty\)。
推论
区间上的单调函数在区间内部的间断点是跳跃间断（端点可以是可去间断），且最多只有可数多个间断点（在函数值的跳跃区间内找一个有理数与之对应）。
能否构造严格增的有界函数，使得在无理数处连续，在所有有理数处间断？
重要极限 \(\e\)
定理
\(a_n = \l(1 + \fr 1 n\r) ^ n\) 单调增，\(b_n = \l(1 + \fr 1 n\r) ^ {n + 1}\) 单调减。
证明
\[\bal & \; \fr {a_{n + 1}}{a_n} \\ = & \; \fr {(n + 2) ^ {n + 1} n ^ n} {(n + 1) ^ {2n + 1}} \\ = & \; \fr {n + 2} {n + 1} \l(1 - \fr 1 {n ^ 2 + 2n + 1}\r) ^ n \\ > & \; \fr {n + 2} {n + 1} \l(1 - \fr n {n ^ 2 + 2n + 1}\r) \\ = & \; \fr {n ^ 3 + 3n ^ 2 + 3n + 2} {n ^ 3 + 3n ^ 2 + 3n + 1} \\ > & \; 1 \eal \]\(b_n\) 类似。
可知 \(a_1 < \cdots < a_n < \cdots < b_n < \cdots < b_1\)。
\(a_n\) 单调增有上界，所以收敛。\(b_n\) 等于 \(a_n\) 乘以趋于 \(1\) 的因子，所以 \(\lim_{n\to +\infty} a_n\) 和 \(\lim_{n\to +\infty} b_n\) 存在且相等。定义该极限值为 \(\e\)。
例 \(2\)
\[\lim_{n\to +\infty} \l(\fr 1 {0!} + \cdots + \fr 1 {n!}\r) = \e \]证明
记数列为 \(S_n\)。
一方面
\[a_n = \l(1 + \fr 1 n\r) ^ n = \sum_{i = 0} ^ n \fr {\binom n i} {n ^ i} = \sum_{i = 0} ^ {n} \fr 1 {i!}\fr {n ^ \ud{i}} {n ^ i} < S_n \]另一方面，任给正整数 \(k\)，对任意正整数 \(n > k\)，有
\[a_n > \sum_{i = 0} ^ k \fr 1 {i!} \fr {n ^ \ud{i}} {n ^ i} \]令 \(n\to +\infty\)，得 \(\e\geq \sum_{i = 0} ^ k \fr 1 {i!} = S_k\)。可知 \(S_n\) 单调增有上界 \(\e\)，有极限不超过 \(\e\)。
在 \(a_n \leq S_n\) 中令 \(n\to +\infty\) 得 \(\e\leq \lim_{n\to +\infty} S_n\)。因此 \(\lim_{n\to +\infty} S_n = \e\)。\(\square\)
从离散到连续
当 \(x\to +\infty\) 时
由夹挤定理，\(\lim_{x\to +\infty} \l(1 + \fr 1 x\r) ^ x = \e\)。
当 \(x\to -\infty\) 时，令 \(y = -x\)，\(u = y - 1\)，则
于是 \(\lim_{x\to -\infty} \l(1 + \fr 1 x\r) ^ x = \e\)。
例 \(3\)
\[\lim_{x\to 0} \fr {\ln(1 + x)} x \]解
\[\lim_{x\to 0} \fr {\ln(1 + x)} x = \lim_{y\to \infty} y\ln\l(1 + \fr 1 y\r) = \ln \l[\lim_{y\to +\infty}\l(1 + \fr 1 y\r) ^ y\r] = \ln \e = 1 \]
例 \(4\)
\[\lim_{x\to 0} \fr {a ^ x - 1} {x},\ \lim_{x\to 1} \fr {x ^ \mu - 1} {x - 1} \]解
\[\lim_{x\to 0} \fr {a ^ x - 1} {x} = \lim_{y\to 0} \fr {y} {\fr {\ln(1 +y)} {\ln a}} = \ln a \quad (a\neq 1) \]\[\lim_{x\to 1} \fr {x ^ \mu - 1} {x - 1} = \lim_{y\to 0} \fr {\e ^ {\mu \ln(1 + y)} - 1} y = \lim_{y\to 0} \fr {\e ^ {\mu \ln (1 + y)} - 1} {\mu \ln(1 + y)} \fr {\mu \ln(1 + y)} y = \mu \quad (\mu \neq 0) \]
例 \(3\)，例 \(4\) 和 \(\lim_{x\to 0} \fr {\sin x} x = 1\) 都是重要极限。
105 无穷小，大 O 与 小 o
无穷小
无穷小量
当 \(x\to c\) 时，\(f(x)\) 是 无穷小量，指 \(\lim_{x\to c} f(x) = 0\)。
无穷小量的和、差、积是无穷小量。
和无穷大量一样，无穷小量不是零，是一个 动态过程。\(x ^ 2\) 在 \(x\to 0\) 时是无穷小量，在 \(x\to \infty\) 时是无穷大量。
\(\lim_{x\to c} f(x) = A\) 即当 \(x\to c\) 时，\(f(x) - A\) 是无穷小量。
\(\lim_{x\to c} f(x) = \infty\) 即当 \(x\to c\) 时，\(\fr 1 {f(x)}\) 是无穷小量。
有界量
当 \(x\to c\) 时，\(f(x)\) 是 有界量，指存在 \(M > 0\) 和 \(c\) 的去心邻域 \(W\) 使得 \(\forall x\in W \cap I : |f(x)| \leq M\)。
有界量的和、差、积是有界量。有界量与无穷小量的乘积是无穷小量。
大 O 与小 o
大 O
当 \(x\to c\) 时，\(f(x) = O(g(x))\) 指存在 \(M > 0\) 以及 \(c\) 的去心邻域 \(W\) 使得 \(\forall x\in W\cap I : |f(x)| \leq M|g(x)|\)。即被 \(g(x)\) 的常数倍数所控制。
注
\(O(g(x))\) 是在 \(c\) 附近所有被 \(g(x)\) 控制的函数集合，\(f(x) = O(g(x))\) 表示 \(f(x)\in O(g(x))\)，但后者不便于计算。
若 \(f_1 = O(g),\ f_2 = O(g), \ x\to c\)，则 \(f_1 + f_2 = O(g)\)。
若 \(f_1 = O(g_1),\ f_2 = O(g_2),\ x\to c\)，则 \(f_1f_2 = O(g_1g_2)\)。
同阶
当 \(x\to c\) 时，\(f\) 与 \(g\) 同阶，记为 \(f = \Theta(g), \ x\to c\)，指 \(f = O(g)\) 且 \(g = O(f)\)。
\(x\to 0\) 时，与 \(x ^ \a\) 同阶的无穷小称为 \(\a\) 阶无穷小。
\(x\to +\infty\) 时，与 \(x ^ \a\) 同阶的无穷大称为 \(\a\) 阶无穷大。
注意
\(x\to 0\) 时，\(x ^ 2 \sin \fr 1 x\) 和 \(x ^ 2\) 不同阶。
一些教材用比值为非零有限极限定义同阶，这只是同阶的充分条件。考虑 \(x ^ 2(2 + \sin \fr 1 x)\) 和 \(x ^ 2\)。
小 o
当 \(x\to c\) 时，\(f(x) = o(g(x))\) 指对任意 \(\eps > 0\)，存在 \(c\) 的去心邻域 \(W\) 使得 \(\forall x\in W\cap I : |f(x)| \leq \eps|g(x)|\)。即被 \(g(x)\) 的任意小的倍数所控制。
若 \(f_1 = o(g),\ f_2 = o(g), \ x\to c\)，则 \(f_1 + f_2 = o(g)\)。
若 \(f_1 = o(g_1),\ f_2 = O(g_2),\ x\to c\)，则 \(f_1f_2 = o(g_1g_2)\)。
等价
当 \(x\to c\) 时，\(f\) 与 \(g\) 等价，指 \(f = g + o(g)\)。
注意
一些教材用比值为 \(1\) 定义等价，两种定义几乎相同，但比值定义无法处理函数值均为 \(0\) 的情况。
需要验证自反、对称、传递性。
定理
当 \(x\to c\) 时，若 \(f + o(f) = G + o(g)\)，\(G = O(g)\)，则 \(f = G + o(g)\)。
证明
记为 \(f + \a = G + \b\)，其中 \(|G| \leq M |g|\)。
\(\forall \eps > 0\)，取 \(\eps' = \fr {\eps} {1 + M + \eps}\)，存在 \(c\) 的去心邻域 \(W\) 使得 \(|\a| \leq \eps' |f|\)，\(|\b| \leq \eps' |g|\)。
\[|f| \leq |G| + |\a| + |\b| \leq (M + \eps') |g| + \eps' |f|\implies |f| \leq \fr {M + \eps'} {1 - \eps'} |g| \]这一步证明了 \(f = O(g)\)，于是 \(\a = o(g)\)。
\[|f - G| \leq |\a| + |\b| \leq \eps' |f| + \eps' |g| \leq \eps |g| \]\(\square\)
推论
若 \(x\to c\) 时，\(f\) 与 \(g\) 等价，则 \(g\) 与 \(f\) 等价。
若 \(x\to c\) 时，\(f\) 与 \(g\) 等价，\(g\) 与 \(h\) 等价，则 \(f\) 与 \(h\) 等价。
基本初等函数的渐进展开
除法
指数函数
对数函数
幂函数
三角函数
反三角函数
例 \(1\)
\[\lim_{x\to 0} \fr {1 - \cos(1 - \cos x)} {x ^ 4} \]解
\[1 - \cos x = \fr {x ^ 2} 2 + o(x ^ 2), \quad x\to 0 \]所以
\[1 - \cos(1 - \cos x) = \fr {\l(\fr {x ^ 2} 2 + o(x ^ 2)\r) ^ 2} 2 + o(x ^ 4) = \fr {x ^ 4} 8 + o(x ^ 4), \quad x\to 0 \]因此极限为 \(\fr 1 8\)。
小 o 的语言可以求函数的渐进表达式。
例 \(2\)
求 \(x\to 0\) 时，\(\e ^ x\) 的渐进表达式。
解
已知 \(\lim_{x\to 0} \fr {\e ^ x - 1} {x} = 1\)。
设 \(u(x) = \fr {\e ^ x - 1 - x} x\)，则 \(u(x)\to 0, \ x\to 0\)，可定义 \(u(0) = 0\)。
于是 \(\e ^ x = 1 + x + xu(x)\)。
\[1 + 2x + 2xu(2x) = \e ^ {2x} = (\e ^ x) ^ 2 = (1 + x + xu(x)) ^ 2 \]得
\[u(2x) - u(x) - \fr x 2 = o(x), \quad x\to 0 \]对任意 \(\eps > 0\)，存在 \(\delta > 0\) 使得对任意 \(0 < |x| < \de\)：设 \(x_n = \fr {x} {2 ^ n}\)，\(n\) 是非负整数，则
\[-\eps |x_n| < u(2x_n) - u(x_n) - \fr {x_n} 2 < \eps |x_n| \]累加，让 \(n\to +\infty\)，得
\[-\eps |x| \leq u(x) - \fr x 2 \leq \eps |x| \]因此
\[\e ^ x = 1 + x + xu(x) = 1 + x + \fr {x ^ 2} 2 + o(x ^ 2), \quad x\to 0 \]
小 o 的符号帮助我们避免等价无穷小替换时的常见错误。
例 \(3\)
\[\lim_{x\to 0} \fr {\tan x - \sin x} {x ^ 3} \]解
如果认为 \(\tan x \sim x\) 且 \(\sin \sim x\)，则得到错误结果 \(0\)。实际上 \(\lim_{x\to 0} \fr {o(x)} {x ^ 3}\) 的结果不能确定。
\[\fr {\tan x - \sin x} {x ^ 3} = \fr {\sin x(1 - \cos x)} {x ^ 3\cos x} = \fr {(x + o(x))\left(\fr {x ^ 2} 2 + o(x ^ 2)\right)} {x ^ 3(1 + o(1))} = \to \fr 1 2, \quad x\to 0 \]
学习 Taylor 展开之后会有系统性的方法解决这类问题。
总结
小 o 为函数的渐进展开提供了简洁的表示形式，使我们可以只关注主项，但不完全无视次要的项的存在。当主项在运算中消失时，小 o 提醒我们需要从原来次要的项当中分离新的主项。
善于使用小 o 的语言和符号是微积分的一项重要技能。
106 深入研究连续性
连续是函数的局部性质。从局部性质出发，研究连续函数所具有的整体性质。
内容：
- 实数的连续性：有界闭区间套、列紧性、Cauchy 收敛准则。
- 连续函数的性质：连通性（介值定理、零点定理）、反函数的连续性。
- 最大最小值定理、一致连续性。
- 压缩不动点定理。
- 二分法。
实数的连续性
确界性
任何非空有上界的实数子集都有上确界。
单调有界收敛
任何单调不减且有上界的数列有极限。一条关于数列极限存在性的重要结论。
有界闭区间套
有界闭区间套有非空交集（实数轴上没有洞）。
证明
根据单调有界收敛定理，\(\lim_{n\to +\infty} a_n = \sup_{n\geq 1} a_n =: \alpha\)，\(\lim_{n\to +\infty} b_n = \inf_{n\geq 1} b_n =: \beta\)。只需证明 \(\alpha \leq \beta\) 和 \(\bigcap_{n\geq 1} [a_n, b_n] \supseteq [\alpha, \beta]\)。
根据上下确界的性质证明 \(\bigcap_{n\geq 1} [a_n, b_n] = [\alpha, \beta]\)。
推论
当 \(b_n - a_n\to0\) 时，\(\alpha = \beta\)，有界闭区间套仅包含一个数。
为什么要求有界：\([n, +\infty)\) 是闭区间。
闭集
称 \(A\subseteq \R\) 是 闭集，指 \(A\) 对极限封闭。
\((-\infty, b]\) 和 \([a, +\infty)\) 是闭集。
两个闭集的并集是闭集，所以 \(\R\) 是闭集。
任意一组闭集的交是闭集。
空集 \(\varnothing\) 是闭集。
有界闭集套定理
有界闭区间套定理的推广。
证明
有界、闭显然，下证非空。
记 \(a_n = \inf F_n\)，则 \(a_n\in F_n\)：对任意 \(m \in \N ^ *\)，存在 \(x_m\in F_n\) 使得 \(a_n \leq x_m < a_n + \frac 1 m\)，于是数列 \(x_m\) 收敛至 \(a_n\)。由闭集可知 \(a_n\in F_n\)。
于是 \(a_{n + 1}\in F_{n + 1}\subseteq F_n\)，可知 \(a_{n} \leq a_{n + 1}\)。\(b_1 = \sup F_1\) 是 \(a_n\) 的上界。根据单调有界收敛定理，\(\alpha = \lim_{n\to +\infty} a_n\) 存在。
而 \(\forall m \geq n\)，\(a_m\in F_n\)，根据闭集性质，\(\alpha \in F_n\)。\(\square\)
证明过程中的重要结论：非空有界闭集有最值。
有界闭集套定理的条件的必要性：
- 有界：\(F_n = [n, +\infty)\)。
- 闭：\(F_n = (0, \frac 1 n]\)。
- 非空：\(F_n = \varnothing\)。
列紧性（Bolzano-Weierstrass）
任何有界实数列都有收敛子列。
- 收敛数列一定有界，有界数列不一定收敛。但有界数列有收敛子列。
证明
设 \(m \leq x_n \leq M\)。取 \(a_1 = m\)，\(b_1 = M\)，则 \([a_1, b_1]\) 含有 \(x_n\) 的所有项。取 \(n_1 = 1\)。
若 \([a_1, \frac {a_1 + b_1} 2]\) 含有 \(x_n\) 的无穷多项，则取 \(a_2 = a_1\)，\(b_2 = \frac {a_1 + b_1} 2\)，否则取 \(a_2 = \frac {a_1 + b_1} 2\)，\(b_2 = b_1\)。则 \([a_2, b_2]\subseteq [a_1, b_1]\)，且包含 \(x_n\) 的无穷多项。从而存在 \(n_2 > n_1\) 使得 \(x_{n_2} \in [a_2, b_2]\)。
这构造了有界闭区间套 \([a_k, b_k]\) 以及 \(x_n\) 的子列 \(x_{n_k}\)。由有界闭区间套定理，夹挤定理和 \(b_k - a_k\to 0\) 可知 \(\lim_{k\to +\infty} x_{n_k}\) 存在。\(\square\)
- 核心：将问题转化为在闭区间套做搜索。
Cauchy 收敛准则
非常非常重要的准则。
实数列 \(\{a_n\}_{n\geq 1}\) 收敛，当且仅当它是 Cauchy 数列：
Cauchy 准则的重要性在于证明收敛时无需知道极限，只需数列末尾任意两项比大小。
证明
先证有界，再找极限：令 \(\eps = 1\)，则对任意 \(n\geq 1\)，\(|x_n|\leq 1 + \sum_{i = 1} ^ {N_0} |x_i|\)。
思路：通过构造有界闭区间套找到极限。
- 找收敛子列和求极限不同。不同于列紧性的证明，如果直接平分区间，两侧可能同时有数列的无穷多项，但因为求极限，我们只能舍弃有限多项。此时需要用到 Cauchy 数列的性质。
取 \(\eps = \frac {b_k - a_k} 3\)，存在 \(N_k > 0\)，使得数列在 \(N_k\) 之后的所有项要么全部落在区间的左 \(\frac 2 3\)，要么全部落在区间的右 \(\frac 2 3\)。得到有界闭区间套 \([a_k, b_k]\) 和单调增的正整数数列 \(N_k\)，且 \(\forall n\geq N_k,\ x_n\in [a_k, b_k]\)。
根据有界闭区间套定理，结合 \(b_k - a_k\to 0\)，可知数列极限存在。\(\square\)
另一证明思路
由列紧性得到收敛子列，结合 Cauchy 性易证。“先收敛带动后收敛”。
在不知道极限存在的情况下如何证明极限存在：单调有界收敛 \(\to\) 有界闭区间套（两侧单调有界收敛）\(\to\) Cauchy 收敛准则。
注意：Cauchy 收敛准则在有理数集上不成立。所有定理的根本保证是实数的确界性。
序列及其极限的概念适用于任何距离空间。称距离空间是 完备 的，指其中任何 Cauchy 数列都有极限。利用 Cauchy 数列可将距离空间完备化（构造完备空间包含原空间）：将 Cauchy 列作为对象。如果两个 Cauchy 列可合并为一个 Cauchy 列，则它们代表同一对象。这提供了用有理数构造实数的方法。
- 合并：\(a_1, b_1, a_2, b_2, \cdots, a_n, b_n, \cdots\)。
- 四则运算：\(a_1 \pm b_1, a_2 \pm b_2, \cdots, a_n\pm b_n, \cdots\)。
- 两个 不同 Cauchy 列比大小：\(\exists N,\ \forall n\geq N,\ a_n < b_n\)。
有理数组成的 Cauchy 列构成了新的集合，集合是完备空间，它就是实数集。
压缩不动点（Banach）
设 \(A\subset \R\) 是非空闭集。函数 \(F: A\to \R\) 满足
- \(F(A)\subseteq A\)。
- （压缩）存在 \(0 < \lambda < 1\) 使得 \(\forall x, y\in A,\ |F(x) - F(y)| \leq \lambda |x - y|\)。
则 存在唯一的 \(x ^ *\in A\) 使得 \(f(x ^ *) = x ^ *\)，且 \(\forall x_0\in A\) 以及 \(\forall n\geq 1,\ |F ^ n(x_0) - x ^ *| \leq \frac {\lambda ^ n} {1 - \lambda} |F(x_0) - x_0|\)。
-
用处：解方程 \(f(x) = 0\) 相当 于求 \(g(x) = f(x) + x\) 的不动点。
-
个人理解：找不动点相当于找函数图像与 \(y = x\) 的交点。“压缩” 保证了随着 \(x\) 在 \(A\) 中增大，\(F(x)\) 和 \(x\) 的大小关系会从原来的 \(F(x) > x\) 变为 \(F(x) < x\)。使得大小关系改变的唯一点就是 \(F(x) = x\) 的不动点。
证明
证明 \(x_n = F ^ n(x_0)\) 是 Cauchy 数列，其中有 \(|x_{n + p} - x_n| \leq \frac {\lambda ^ n(1 - \lambda ^ p)} {1 - \lambda} |x_1 - x_0| \leq \frac {\lambda ^ n} {1 - \lambda} |x_1 - x_0|\)，放缩到与 \(p\) 无关是为了去除在证明 Cauchy 时 \(p\) 的影响。
于是极限存在，记作 \(x ^ *\)。令 \(p\to +\infty\)，得到 \(|x ^ * - x_n| \leq \frac {\lambda ^ n}{ 1 - \lambda}|x_1 - x_0|\)。
根据 \(|F(x ^ *) - x ^ *| \leq |F(x ^ *) - F(x_n)| + |x_{n + 1} - x ^ *| \leq \lambda|x ^ * - x_n| + |x_{n + 1} - x ^ *|\)，令 \(n\to +\infty\)，\(|F(x ^ *) - x ^ *| \leq 0\)，于是 \(F(x ^ *) = x ^ *\)。
根据压缩性，不存在两个不动点，所以 \(\forall x_0\in A\)，形成的数列最终都会收敛至 \(x ^ *\)。\(\square\)
压缩不动点适用于任意维：一张地图平铺在它所描述的区域内，恰有地图上的一点描述了它所在的位置。
- 闭集条件的必要性：\(x_n\) 的极限 \(x ^ *\in A\)。反例：\(f(x) = \frac 1 2 x\) 在 \((0, 1]\) 上。
- 不动点的蛛网图逼近：函数图像左上右下：蜘蛛网；函数图像左下右上：单侧逼近。
例 \(1\)
设 \(0 < \eps < 1\)。证明 \(f(x) = x - \eps\sin x\) 有定义在 \(\R\) 上的连续反函数。
证明
设 \(F(x) = y + \eps \sin x\)，那么 \(y = f(x) \iff F(x) = x\)。\(F\) 将闭集 \(\R\) 映到 \(\R\)，且 \(F\) 是压缩，于是 \(F\) 存在唯一不动点，反函数存在。
- \(\sin x - \sin y = 2\cos \frac {x + y} 2\, \sin \frac {x - y} 2\) 且 \(|\sin x|\leq |x|,\ \forall x\in \R\)。
而 \(|x_1 - x_2| \leq |y_1 - y_2| + \eps|x_1 - x_2|\)，所以 \(|x_1 - x_2| \leq \frac {1} {1 - \eps} |y_1 - y_2|\)，\(f ^ {-1}\) 连续。\(\square\)
接下来有更一般的结论：将区间映到区间的连续单射有连续反函数。
例 \(2\)
任给 \(a > 0\)，证明数列 \(x_{n + 1} = \frac {x_n + \frac a {x_n}} 2\) 收敛到 \(\sqrt a\)。
- 直观理解：不足近似和过剩近似的均值比距离较远的近似更接近 \(\sqrt a\)。
证明
设 \(F(x) = \frac {x + \frac a x} 2\)，则 \(F(x) \geq \sqrt a\)。
证明 \(F(x)\) 在 \([\sqrt a, +\infty)\) 上是压缩（易证）。
因为 \(F(\sqrt a) = \sqrt a\) 是压缩的不动点，所以对任意 \(x_0 > 0\)，\(x_n = F ^ n(x_0)\) 收敛到 \(\sqrt a\)。\(\square\)
每次迭代后的误差是原误差的平方级别，二阶收敛。
有限覆盖定理
略。
连续函数的性质
之前研究的连续是函数在一点处的性质，现在研究的连续是连续函数整体的性质。
介值定理
连续函数将区间映为区间。
证明
任取 \(u, v\in f(I)\) 及实数 \(u < z < v\)。设 \(f(a_1) = u\)，\(f(b_1) = v\)，不妨设 \(a_1 < b_1\)。
假设 \(z\notin f(I)\)，二分法构造有界闭区间套使得 \(f(a_n) < z < f(b_n)\) 且 \(b_n - a_n \to 0\)。
记 \(x_0 = \lim_{n\to +\infty} a_n\)，则 \(a_n\leq x_0 \leq b_n\)，\(x_0 = \lim_{n\to +\infty} b_n\)。
因为 \(I\) 是区间，\(a_n, b_n\in I\)，所以 \(x_0\in I\)。
而 \(f\) 连续，于是 \(f(x_0) \leq z \leq f(x_0)\)，从而 \(z = f(x_0) \in f(I)\)，矛盾。
于是 \(z\in f(I)\)，\(f(I)\) 是区间。\(\square\)
推论
介值性：若 \(f\) 在 \([a, b]\) 上连续，\(f(a)\neq f(b)\)，则介于 \(f(a), f(b)\) 之间的所有实数都是 \(f\) 在 \([a, b]\) 中取到的函数值。
零点存在定理：若 \(f\) 在 \([a, b]\) 上连续，且 \(f(a), f(b)\) 异号，则存在 \(\xi\in (a, b)\) 使得 \(f(\xi) = 0\)。
这三条性质相互等价。
定理中的区间可以是任何区间：无论开闭，无论是否有界。
证明给出了求解方程的一个基本方法：二分法。
单调函数的连续性
若 \(f\) 在区间 \(I\) 上单调，则 \(f\) 连续当且仅当 \(f(I)\) 是区间。
证明
“\(\implies\)” 是介值定理的结论。
“\(\impliedby\)”（见 103 小节 “区间映到区间的单调满射连续”）：不妨设 \(f\) 在 \(I\) 上单调不减，且 \(x_0\in I\) 不是右端点。
由 \(f\) 的单调性，\(\lim_{x\to x_0 ^ +} f(x)\) 存在，设为 \(\beta\)，则 \(\beta \geq f(x_0)\)。记 \(\gamma = \frac {f(x_0) + \beta} 2\)。
假设 \(\beta > f(x_0)\)，任取 \(x_2\in I\) 满足 \(x_0 < x_2\)，则 \(f(x_2) \geq \beta\)。因为 \(f(I)\) 是区间，故存在 \(x_1\in (x_0, x_2) \subset I\) 使得 \(f(x_1) = \gamma\)，与 \(f(x_1) \geq \beta\) 矛盾。于是 \(\beta = f(x_0)\)，即 \(f\) 在 \(x_0\) 处右连续。
同理，若 \(x_0\) 不是左端点，则 \(f\) 在 \(x_0\) 处左连续。\(\square\)
区间上的单调函数的间断点只可能是跳跃间断点。
反函数的连续性
区间上连续单射 \(f\) 的反函数 \(f ^ {-1}: f(I)\to I\) 连续。
证明
因为 \(f\) 连续，所以 \(f(I)\) 是区间。若 \(f\) 单调（结合单射可知严格单调），则 \(f ^ {-1}\) 严格单调。而 \(f ^ {-1}\) 将区间 \(f(I)\) 映为 \(I\)，于是 \(f ^ {-1}\) 连续。
故只需证明 区间上的连续单射单调。
任取 \(a, b\in I\)，\(a < b\)。不妨设 \(f(a) < f(b)\)。
先证 \(\forall x\in (a, b)\)，\(f(a) < f(x) < f(b)\)。
假设存在 \(x_1 \in (a, b)\) 使得 \(f(x_1) < f(a)\)，由介值定理，存在 \(x_2 \in (x_1, b)\) 使得 \(f(x_2) = f(a)\)，矛盾。同理可证 \(\forall x\in (a, b)\)，\(f(x) < f(b)\)。
用两次该结论，可知 \(\forall x, y: a < x < y < b\)，\(f(a) < f(x) < f(y) < f(b)\)。于是 \(f\) 在 \([a, b]\) 上严格增。因此 \(f\) 在 \(I\) 的任何子区间上严格增（易证）。
构造 \(\lim_{n\to + \infty} a_n = a\) 且 \(\lim_{n\to +\infty} b_n = b\) 且 \(a_1 < b_1\)，特别地，若 \(a\in I\) 则令 \(a_n = a\)，若 \(b\in I\) 则令 \(b_n = b\)。不妨设 \([a_1, b_1]\) 严格增，则 \([a_n, b_n] \supseteq [a_{n - 1}, b_{n - 1}]\) 严格增。\(\forall x, y\in I\) 且 \(x < y\)，存在 \(n\) 使得 \(a_n \leq x < y \leq b_n\)，于是 \(f(x) < f(y)\)，即 \(f\) 在 \(I\) 上严格增。\(\square\)
初等函数的连续性
因为 \(\sin\) 连续，\(\sin x ^ 2 \leq 1\) 且 \(\sin(-\frac \pi 2) = -1\)，\(\sin(\frac \pi 2) = 1\)，根据介值定理，\(\sin\) 的值域为 \([-1, 1]\)。而 \(\sin\) 在 \([-\frac \pi 2, \frac \pi 2]\) 上单调增，根据反函数的单调性，\(\sin\) 在 \([-\frac \pi 2, \frac \pi 2]\) 上有连续单调反函数 \(\arcsin : [-1, 1]\to [-\frac \pi 2, \frac \pi 2]\)。
\(\cos\) 在 \([0, \pi]\) 上严格减，连续，有连续反函数 \(\arccos : [-1, 1]\to [0, \pi]\)。
\(\tan\) 在 \((- \frac \pi 2, \frac \pi 2)\) 上严格增，连续，有连续反函数 \(\arctan : (-\infty, +\infty) \to (-\frac \pi 2, \frac \pi 2)\)。
基本初等函数都是连续函数，于是初等函数都是连续函数。
\(x - \frac 1 2\sin x\) 是初等函数，它的反函数是连续函数，但不是初等函数。
注意：连续函数不等于没有间断点的函数：\(\frac {x} {\sqrt {x ^ 2}}\)。
最值定理
设 \(f\) 在非空有界闭集 \(K\subset \R\) 上连续，则 \(f(K)\) 非空有界闭，从而 \(f\) 在 \(K\) 上有最大最小值。
引理
\(K\subset \R\) 是有界闭集当且仅当 \(K\) 上所有数列都有收敛子列，且极限在 \(K\) 上。
- 根据列紧性，有界数列必有收敛子列，于是用 “所有数列都有收敛子列” 刻画 “有界”。
- 根据闭集定义，闭集对极限封闭，于是用 “极限在 \(K\) 上” 刻画 “闭集”。
证明
“\(\implies\)” 是列紧性和闭集定义的推论。
对于 “\(\impliedby\)”，利用这两条性质构造矛盾：
根据列紧性，若 \(K\) 无界，构造 \(\{x_n\}\) 使其任何子列无界，于是无子列收敛，矛盾。
根据闭集性，若 \(K\) 不是闭集，则存在 \(\{x_n\}\) 使 \(\lim_{n\to +\infty} x_n = \alpha \notin K\)，于是其任何子列收敛于 \(\alpha\notin K\)，矛盾。\(\square\)
证明（最值定理）
对于任意值域上的数列，有定义域上的对应数列。
先用引理得到定义域上的数列的收敛至 \(\alpha \in K\) 的收敛子列，根据连续性，对应于值域上的数列的收敛至 \(f(\alpha) \in f(K)\) 的收敛子列，再用一次引理即得 \(f(K)\) 非空有界闭。
根据非空有界闭集有最值即证。\(\square\)
对于最值定理，有界、闭、连续三个条件都是必要的。
有界：\([0, +\infty)\) 是闭集，但 \(x ^ 2\) 没有上界。
闭：\((0, 1)\) 的 \(\fr 1 x\) 没有上界。
连续：\([0, 1]\) 上 \(f(x) = \begin{cases} 0, & x\in \R\bs \Q; \\ n,\ & x \in \Q \land x = \fr m n. \end{cases}\) 没有上界。
一致连续
称函数 \(f\) 在 \(K\) 上 一致连续，若
与连续的区别：连续的 \(x_0\) 不可变，而一致连续的 \(x, y\) 均可变，\(\delta\) 出现于 \(x_0\) 之前，不受 \(x_0\) 的影响。一致连续强于连续。
不一致连续：\(\exists \eps_0 > 0\)，\(\forall \delta > 0\)，都存在 \(x, y\) 使得 \(|x - y| < \delta\implies |f(x) - f(y)| \geq \eps_0\)。写成离散形式：\(\exists \eps_0 > 0\) 以及数列 \(x_n, y_n\in K\) 满足 \(|x_n - y_n| < \frac 1 n\)，但 \(|f(x_n) - f(y_n)| \geq \eps_0\)。
\(\sqrt x\) 在 \([0, +\infty)\) 上一致连续。
\(\sin x\) 在 \(\R\) 上一致连续。
Lipschitz 函数是一致连续的：\(\exists L > 0,\ \forall x, y,\ |f(x) - f(y)| \leq L|x - y|\)。\(L\) 称为 \(f\) 的 Lipschitz 常数。
例 \(3\)
\(x ^ 2\) 在任何 \([a, +\infty)\) 上不一致连续。
证明
取 \(\eps_0 = 2\)，\(\forall \delta > 0\)，取正整数 \(n > \frac 1 \delta\)，\(x_n = n + \frac 1 n\)，\(y_n = n\)。则 \(|x_n - y_n| < \delta\)，但 \(|f(x_n) - f(y_n)| = 2 + \frac 1 {n ^ 2} > 2\)。\(\square\)
\(x ^ 2\) 在任何有界区间上是一致连续的。
例 \(4\)
\(\frac 1 x\) 在任何 \((0, a]\) 上不一致连续。
证明
取 \(\eps_0 = 1\)，\(\forall \delta > 0\)，取正整数 \(n > \frac 1 \delta\)，\(x_n = \frac 1 n\)，\(y_n = \frac 1 {2n}\)。则 \(|x_n - y_n| < \delta\)，但 \(|f(x_n) - f(y_n)| = n > 1\)。\(\square\)
一致连续性定理
设 \(f\) 在非空有界闭集 \(K\subset \R\) 上连续，则 \(f\) 在 \(K\) 上一致连续。
由上例可知有界和闭的条件都是必要的。
证明
假设不一致连续。于是 \(\exists \eps_0 > 0\) 以及数列 \(x_n, y_n\in K\) 使得 \(|x_n - y_n| < \frac 1 n\)，\(|f(x_n) - f(y_n)| \geq \eps_0\)。
因为 \(K\) 有界，所以 \(x_n\) 有界。根据列紧性，不妨设 \(x_n\) 收敛。记 \(x_0 = \lim_{n\to +\infty} x_n\)。因为 \(K\) 闭，所以 \(x_0\in K\)。因为 \(|x_n - y_n|\to 0\)，所以 \(\lim_{n\to +\infty} y_n = x_0\)。
又因为 \(f\) 连续，于是 \(\eps_0 \leq \lim_{n\to +\infty} |f(x_n) - f(y_n)| = |f(x_0) - f(x_0)| = 0\)，矛盾。\(\square\)
浙公网安备 33010602011771号