要量度累积，可将区间分成小段、近似每段的贡献，再让最长小段趋向零。带符号面积在坐标轴上方为正、下方为负；它不一定等于几何面积。

实直线闭集：序列判据与开补集

在通常的经典集合论背景下讨论实直线，并允许可数次见证选择。集合 $U$ 为开集，是指每个 $y$ 属于 $U$ 都有某个 $r>0$，使 $(y-r,y+r)$ 包含于 $U$。使用阿基米德性质的推论：$1/n$ 趋于零。对任意实直线子集 $K$，下列条件等价：

1. $K$ 中任意在实直线上收敛的序列，其极限仍属于 $K$。
2. $K$ 的补集为开集。

由 2 推出 1。 设 $x_n$ 属于 $K$ 且 $x_n$ 趋于 $x$。若 $x$ 不属于 $K$，补集的开放性给出 $r>0$，使 $(x-r,x+r)$ 与 $K$ 不相交。收敛性保证充分靠后时 $|x_n-x|<r$，与 $x_n$ 属于 $K$ 矛盾，故 $x$ 属于 $K$。

由 1 推出 2。 固定不属于 $K$ 的 $y$。若以 $y$ 为中心的每个正半径区间都遇到 $K$，则对每个正整数 $n$，都有 $x_n$ 属于 $K$ 且 $|x_n-y|<1/n$。将这些见证选成一个序列。给定 $\varepsilon>0$，取 $N$ 使 $1/N<\varepsilon$；当 $n\ge N$，有 $|x_n-y|<1/n\le1/N<\varepsilon$，故 $x_n$ 趋于 $y$。条件 1 会迫使 $y$ 属于 $K$，矛盾。因此 $y$ 周围存在避开 $K$ 的区间。对补集每点均如此，故补集开放。选择见证序列这一步使用已声明的经典背景；这里不声称在不带选择的基础体系中证明同一结论。若 $K$ 为空，其中没有序列，其补集为整个开实直线；若 $K$ 为整个实直线，其空补集的开放性真空成立。两种边界情形也满足等价关系。

学习目标与定义

集合 $K\subseteq\mathbb R$ 称为紧致的，如果任意一族开集只要其并包含 $K$，就存在有限个成员仍覆盖 $K$。集合若包含其点构成的每个收敛序列的极限，则称为闭集；等价地，其补集是开集。序列紧致性指 $K$ 中每个序列都有收敛到 $K$ 中某点的子列。

空集是紧致、闭且有界的，也满足序列紧致性；这些性质均以空真方式成立。在需要选取点或无穷序列的证明中，要单独处理空集。我们使用先前数列内容中的实数完备性及其闭区间套和 Bolzano–Weierstrass 推论。

定理：实数直线上的 Heine–Borel 定理

对 $K\subseteq\mathbb R$，下列条件等价：开覆盖意义下的紧致性；闭且有界；序列紧致性。

紧致推出闭且有界。 区间 $(-n,n)$（$n\ge1$）覆盖 $\mathbb R$，因而覆盖 $K$。有限子覆盖给出一个界。为证明闭性，取 $y\notin K$。对每个 $x\in K$，区间 $B(x,|x-y|/2)$ 不含 $y$。取其中覆盖 $K$ 的有限子族，令 $\delta$ 为这些区间中心到 $y$ 的正距离的一半所组成的有限集合的最小值。所选以 $x$ 为中心的区间内每点到 $y$ 的距离严格大于 $|x-y|/2\ge\delta$。因此 $B(y,\delta)$ 与 $K$ 不相交，因此对每个集合外的点，都找到不与集合相交的开邻域，补集是开集。若 $K$ 为空，结论立即成立。

闭且有界推出紧致。 将非空的 $K$ 放入闭有界区间 $I_0$。假设 $K$ 的某个开覆盖不存在有限子覆盖。将 $I_0$ 二等分；至少一个闭半区间与 $K$ 的交集不能被有限覆盖，否则两组有限覆盖合起来便覆盖 $K$。选取这样的半区间并重复，得到长度趋于零的闭区间套 $I_n$，且 $K\cap I_n$ 不能被有限覆盖。每个交集非空，选取 $x_n\in K\cap I_n$。闭区间套性质给出唯一公共点 $p$；因两者均在 $I_n$ 中，故 $x_n\to p$。由闭性得 $p\in K$。覆盖中某个成员 $O$ 含 $p$；由其开放性，$O$ 包含以 $p$ 为中心的某个开球。当 $n$ 足够大时，整个区间 $I_n$ 均在该球内，于是单个开集 $O$ 就覆盖 $K\cap I_n$，矛盾。

闭且有界推出序列紧致。 $K$ 中每个序列有界，故 Bolzano–Weierstrass 定理给出收敛子列。由闭性，其极限仍在 $K$ 中。

序列紧致推出闭且有界。 若无界，可选取 $x_n\in K$，使 $|x_n|>n$；它没有收敛到有限实数的子列，矛盾。若 $p$ 是 $K$ 中点的极限，则可选取 $x_n\in K$ 使 $|x_n-p|<1/n$。由序列紧致性，某子列收敛到 $K$ 中一点；它也收敛到 $p$，由实数极限唯一性得 $p\in K$。因此 $K$ 是闭集，所有蕴涵均已证明。

固定整数 $n\ge1$，在 $\mathbb R^n$ 上使用欧几里得范数。集合若包含在某个有限半径的球内，就称为有界；若补集是开集，就称为闭集；若它的每个由 $\mathbb R^n$ 中开集组成的覆盖都有有限子覆盖，就称为紧集。我们使用实数完备性，包括闭区间套性质。

有限维欧几里得空间的 Heine–Borel 定理

定理。 集合 $K\subseteq\mathbb R^n$ 紧致，当且仅当它闭且有界。空集具有这三种性质。

紧致推出有界。 开球 $B(0,m)$（整数 $m\ge1$）覆盖 $K$。取有限子覆盖后，$K$ 包含在其中最大的球内。

紧致推出闭。 设 $K\ne\varnothing$ 且 $y\notin K$。开球 $B(x,\|x-y\|/2)$（$x\in K$）覆盖 $K$。取中心为 $x_1,\ldots,x_r$ 的有限子覆盖，令 $\delta=\min_i\|x_i-y\|/2>0$。若 $z$ 在以 $x_i$ 为中心的所选球内，三角不等式给出 $\|z-y\|>\|x_i-y\|/2\ge\delta$。所以 $B(y,\delta)$ 不与 $K$ 相交，补集是开集。

闭且有界推出紧致。 设非空的 $K$ 闭且有界，把它包含在闭立方体 $Q_0=[-M,M]^n$ 内，其中 $M>0$。假设 $K$ 的某个开覆盖没有有限子覆盖。把每个坐标区间分成两个闭半区间，所得 $2^n$ 个闭子立方体覆盖 $Q_0$。至少一个子立方体与 $K$ 的交集不能由给定覆盖族有限覆盖；否则把有限多个有限子覆盖合并，就能覆盖 $K$。选取这样的子立方体并重复，得到闭立方体套 $Q_j$，其边长为 $2M/2^j$，且 $K\cap Q_j$ 不能被有限覆盖，因而非空。

对每个坐标使用闭区间套性质，得到公共坐标值；合起来得到 $p\in\bigcap_jQ_j$。$Q_j$ 中任意两点的距离不超过 $2M\sqrt n/2^j$，所以交集中只有 $p$。选取 $x_j\in K\cap Q_j$，则 $\|x_j-p\|\le2M\sqrt n/2^j\to0$。闭集包含这种极限：若 $p$ 在开补集中，$p$ 周围某个开球就会使最终的 $x_j$ 落在 $K$ 外，矛盾。因此 $p\in K$。

覆盖中有一个成员 $O$ 含 $p$，由开放性，存在 $\varepsilon>0$ 使 $B(p,\varepsilon)\subseteq O$。当 $j$ 足够大时，$Q_j$ 的每点到 $p$ 的距离都小于 $\varepsilon$，于是单个 $O$ 就覆盖 $K\cap Q_j$，与 $Q_j$ 的选取矛盾。因此每个开覆盖都有有限子覆盖。这里 $2^n$ 是有限数；若改成无限多个子块，这个论证就不再成立。

连续像与极值

定理。 若 $K\subseteq\mathbb R^n$ 紧致，且 $F:K\to\mathbb R^m$ 相对于 $K$ 连续，则 $F(K)$ 紧致。特别地，非空紧集 $K$ 上的连续函数 $f:K\to\mathbb R$ 有界，并达到最大值和最小值。

证明。 $F(K)$ 的开覆盖 $(O_i)$ 的原像是相对开集 $F^{-1}(O_i)=K\cap U_i$，其中 $U_i$ 在 $\mathbb R^n$ 中开。这些 $U_i$ 覆盖 $K$，所以有限多个足够。对应的 $O_i$ 覆盖 $F(K)$，证明了像的紧致性。对标量函数 $f$，由已证明定理的一维情形，其像非空、闭且有界。令 $a=\sup f(K)$。对每个 $j\ge1$，由上确界定义，可取 $y_j\in f(K)$ 使 $a-1/j<y_j\le a$。于是 $y_j\to a$，闭性使 $a$ 属于像，所以最大值可达。对 $-f$ 使用同一论证即得最小值。该结论证明存在性，而不提供极大点的计算公式。

例：实谱定理所需的球面。 球面 $S^{n-1}=\{x\in\mathbb R^n:\|x\|=1\}$ 含 $e_1$，所以非空，而且有界。反三角不等式 $|\|x\|-\|y\||\le\|x-y\|$ 证明范数连续，因此 $S^{n-1}$ 作为闭集 $\{1\}$ 的原像是闭集。Heine–Borel 定理使它紧致。对实矩阵 $A$，多项式函数 $x\mapsto x^TAx$ 连续，所以它在球面上的限制达到两个极值。这个存在性结论不要求 $A$ 对称；后续谱论证和梯度公式 $\nabla(x^TAx)=2Ax$ 才要求对称性。

练习

P01. 解释为什么开单位球虽然有界，却不满足紧致性结论。

P02. 若 $K$ 不闭，立方体证明的哪一步可能失败？给出例子。

P03. 对单位圆上的 $A=\operatorname{diag}(2,5)$，求 $x^TAx$ 的极值及全部取等点，并区分存在性定理与具体计算。

完整解答

P01. 开单位球不闭：对 $j\ge2$，$(1-1/j)e_1$ 在球内，却收敛到球外的 $e_1$。由已证必要性，紧集必须闭，所以该球不紧。有界性本身不够。

P02. $x_j\in K$ 的极限可能是 $K$ 外的一点 $p$，所以覆盖成员未必有任何一个含 $p$。明确取 $K=(0,1)$，开覆盖 $O_m=(1/m,2)$，其中整数 $m\ge2$，以及闭区间套 $Q_j=[0,2^{-j}]$，其中整数 $j\ge0$。这些开区间覆盖 $K$，但任何有限子族的左端点都有正的最小值，因此不能覆盖 $K\cap Q_j$。区间套 $Q_j$ 的公共点为零，它在 $K$ 外；所以覆盖中没有成员包含 $0$。这正是闭集证明可能失败的步骤。

P03. 写 $x=(u,v)^T$，其中 $u^2+v^2=1$，则 $x^TAx=2u^2+5v^2=2+3v^2$。最小值为二，恰在 $(\pm1,0)^T$ 取得；最大值为五，恰在 $(0,\pm1)^T$ 取得。紧致性与连续性保证极值存在；所列恒等式确定其值和全部取等情形。

一致连续

定义

整个定义域共用一个 delta

若对每个 $\varepsilon>0$，存在 $\delta>0$，使所有 $x,y\in A$ 只要满足 $|x-y|<\delta$，便有 $|f(x)-f(y)|<\varepsilon$，则称 $f:A\to\mathbb R$ 在 $A$ 上一致连续。$\delta$ 可依赖 $\varepsilon$，但不可依赖 $x$ 或 $y$。

定理

Heine–Cantor 定理

紧致集合上的每个连续实值函数都一致连续。

证明

用紧致性作反证

若非一致连续，则存在 $\varepsilon_0>0$，使每个 $n$ 都有 $x_n,y_n\in K$，满足 $|x_n-y_n|<1/n$，但 $|f(x_n)-f(y_n)|\ge\varepsilon_0$。紧致性给子列 $x_{n_k}\to x\in K$；由两点距离趋零，也有 $y_{n_k}\to x$。连续性给 $f(x_{n_k})\to f(x)$ 及 $f(y_{n_k})\to f(x)$，与输出距离至少为 $\varepsilon_0$ 矛盾。

例题

无界定义域上连续但非一致连续

$f(x)=x^2$ 在 $\mathbb R$ 上连续，但不一致连续。取 $x_n=n$、$y_n=n+1/n$，则 $|x_n-y_n|=1/n\to0$，但 $|f(y_n)-f(x_n)|=2+1/n^2\not\to0$。在任何闭有界区间上，Heine–Cantor 定理却保证一致连续。也可直接证明：若 $|x|,|y|\le M$，则 $|x^2-y^2|\le2M|x-y|$。

学习目标与定义

推导可积性结论背后的证明，并区分有界与可积。设 $a<b$，$f$ 在 $[a,b]$ 上有界。对分割 $P:a=x_0<\cdots<x_n=b$，记 $m_i=\inf_{[x_{i-1},x_i]}f$、$M_i=\sup_{[x_{i-1},x_i]}f$，并定义 $L(f,P)=\sum m_i\Delta x_i$、$U(f,P)=\sum M_i\Delta x_i$。下积分 $\underline I$ 是所有下和的上确界，上积分 $\overline I$ 是所有上和的下确界。加细分割使下和不减、上和不增。

对任意两个分割 $P,Q$，由其公共加细得 $L(f,P)\le U(f,Q)$，故 $\underline I\le\overline I$。有界性保证这些量有限。上下积分相等时，称函数 Riemann 可积。

定理：Darboux 判据

有界函数可积，当且仅当对每个 $\varepsilon>0$ 都存在分割，使 $U(f,P)-L(f,P)<\varepsilon$。

证明。 若上下积分均等于 $I$，由上下确界逼近性质，取一个大于 $I-\varepsilon/2$ 的下和及一个小于 $I+\varepsilon/2$ 的上和。它们的公共加细的上下和之差小于 $\varepsilon$。反之，若对每个正的 $\varepsilon$ 都有这样的分割，则不等式 $0\le\overline I-\underline I\le U(f,P)-L(f,P)$ 迫使上下积分之差为零。

证明

为何连续性足够

紧致区间上的连续函数一致连续。给定 $\varepsilon>0$ 且 $b>a$，选 $\delta$，使距离小于 $\delta$ 的点，其函数值之差小于 $\varepsilon/(2(b-a))$。取网格小于 $\delta$ 的分割，每个子区间的振幅至多为该界，故 $U-L<\varepsilon$。由达布判据可积。当 $a=b$，约定积分为零。

连续函数与任意标签的细网格

设 $f:[a,b]\to\mathbb R$ 连续，其中 $a<b$。极值定理保证 $f$ 有界，Heine–Cantor 定理保证它一致连续。对分割 $P$，用 $L(f,P)$ 和 $U(f,P)$ 表示其 Darboux 下和与上和。已证明的连续函数 Darboux 可积定理给出共同积分值 $I$。

固定 $\varepsilon>0$。由一致连续性，存在 $\delta>0$，使得只要 $|x-y|<\delta$，便有 $|f(x)-f(y)|<\varepsilon/[2(b-a)]$。如果 $P$ 的网格大小小于 $\delta$，每个子区间上的振幅至多为 $\varepsilon/[2(b-a)]$，因此

$$U(f,P)-L(f,P)\le\frac{\varepsilon}{2}<\varepsilon.$$

对任意标签选择，其标签和 $S(P)$ 位于 $L(f,P)$ 与 $U(f,P)$ 之间；$I$ 也在两者之间。因此 $|S(P)-I|\le U(f,P)-L(f,P)<\varepsilon$。同一个 $\delta$ 对所有网格足够小的分割和所有标签选择都适用。这证明了所述闭区间上连续函数满足标签网格定义。

4.5 积分作为累积变化

设 $a<b$，取分割 $a=x_0<x_1<\cdots<x_n=b$，记 $\Delta x_i=x_i-x_{i-1}$，选标签 $\xi_i\in[x_{i-1},x_i]$，网格为 $\|P\|=\max_i\Delta x_i$。若有限数 $I$ 满足：对每个 $\varepsilon>0$，存在 $\delta>0$，使得每个满足 $\|P\|<\delta$ 的分割及任意标签选择都满足 $|\sum_i f(\xi_i)\Delta x_i-I|<\varepsilon$，则 $I$ 是定积分 $\int_a^bf(x)dx$。闭区间上的连续函数可积。

设 $f$ 在 $[a,b]$ 上连续，令 $A(x)=\int_a^xf(t)dt$。对 $x\in(a,b)$ 及满足 $x+h\in[a,b]$ 的非零 $h$，积分估计给出

$$\left|\frac{A(x+h)-A(x)}h-f(x)\right|\le\sup_{t\in[\min(x,x+h),\max(x,x+h)]}|f(t)-f(x)|\longrightarrow0\quad(h\to0).$$

因此内部有 $A'(x)=f(x)$；端点处同理得到单侧导数。若 $F$ 在 $[a,b]$ 连续、在 $(a,b)$ 可微且其中 $F'=f$，由中值定理，$F-A$ 在 $[a,b]$ 上为常数。因此 $\int_a^bf=F(b)-F(a)$。

例如，$\int x^2dx=x^3/3+C$，且 $\int_a^bx^2dx=(b^3-a^3)/3$。不定积分表示一族原函数；定积分是一个数。负变化率对净累积的贡献为负。

反转上下限改变符号；上下限相同时积分为零。

例题

和式变成积分

对 $\lim_{n\to\infty}\frac1n\sum_{i=1}^n(1+i/n)^2$，各 $i/n$ 是 $[0,1]$ 等分小段的右端点。极限为 $\int_0^1(1+x)^2dx=[(1+x)^3/3]_0^1=7/3$。同时辨认区间及宽度 $1/n$ 可避免漏掉因子。

例题

变动上下限

令 $G(x)=\int_1^{x^2}\cos(t^3)\,dt$。基本定理和链式法则给 $G'(x)=2x\cos(x^6)$。积分变量 $t$ 是虚变量，不应与外部变量 $x$ 混淆。

可积函数的积分满足线性及区间可加性。若 $[a,b]$ 上 $f\le g$，则 $\int_a^b f\le\int_a^b g$；特别地 $|\int_a^b f|\le\int_a^b|f|$。连续图像与坐标轴之间的实际面积是 $\int_a^b|f(x)|dx$，必要时在零点分段。

界与平均值

若 $[a,b]$ 上 $m\le f(x)\le M$，积分保序性给 $m(b-a)\le\int_a^b f(x)dx\le M(b-a)$。当 $a<b$，除以 $b-a$ 得平均值 $f_{\rm avg}=\frac1{b-a}\int_a^b f(x)dx$。若 $f$ 连续，中间值定理保证某个 $c\in[a,b]$ 满足 $f(c)=f_{\rm avg}$。这是存在性结论；$c$ 不必唯一，也不必是中点。

例题

平均值

$f(x)=x^2$ 在 $[0,2]$ 的平均值是 $\frac12\int_0^2x^2dx=4/3$，在区间内 $c=2/\sqrt3$ 取得；这与中点函数值 $f(1)=1$ 不同。

方法选择

由采样点、区间及宽度辨认黎曼和。找到原函数后才使用基本定理，不可只因式子相似就套用。对变动上限先微分累积函数，再用链式法则。求面积前先找符号变化。

练习

1. 求 $\int_{-1}^2(x^2-1)\,dx$ 及该区间内图像与坐标轴之间的几何面积。
2. 对 $H(x)=\int_x^{x^2}e^{-t^2}\,dt$ 求导。
3. 求 $\lim_{n\to\infty}\frac{2}{n}\sum_{i=1}^n(2i/n)^2$。

详解

1. 原函数为 $x^3/3-x$，故带符号积分为 $0$。被积函数在 $[-1,1]$ 非正、在 $[1,2]$ 非负；两段带符号积分为 $-4/3$ 和 $4/3$，故几何面积为 $8/3$。
2. 写成 $H(x)=\int_0^{x^2}e^{-t^2}dt-\int_0^x e^{-t^2}dt$。链式法则给 $H'(x)=2xe^{-x^4}-e^{-x^2}$。
3. 此式是 $\int_0^2x^2dx$ 的右端点和，故极限为 $8/3$。

章节联系

基本定理把前面的导数方法连到代换及接下来的积分技巧。这些概念亦可在已知速率时建立物理累积量的模型。

本篇所用方法的证明

有限实数极限运算与等比数列：补全证明

使用有序实数、阿基米德性质、正整数归纳法及绝对值三角不等式。数列收敛至有限实数 $L$，是指每个 $\varepsilon>0$ 都有对所有 $n\ge N$ 有效的下标 $N$。

唯一性、有界性与子列。 若 $a_n\to L,M$ 且 $L\ne M$，在同一充分大下标使两误差均小于 $|L-M|/3$，三角不等式便给出 $|L-M|<2|L-M|/3$，矛盾。要证有界，令尾部 $|a_n-L|<1$，再取 $|L|+1$ 与有限个初始绝对值的最大值。对子列下标 $n_1<n_2<\cdots$，归纳给出 $n_k\ge k$，故原数列的每个尾部阈值最终也适用于子列。

和、数乘及积。 若 $a_n\to a$、$b_n\to b$，令两个输入误差均小于 $\varepsilon/2$，则

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

对固定 $c\ne0$，使用输入容差 $\varepsilon/|c|$；$c=0$ 直接成立。取所有 $|b_n|$ 的一个上界 $B\ge1$，要求

$$|a_n-a|<\frac{\varepsilon}{2B},\qquad |b_n-b|<\frac{\varepsilon}{2(|a|+1)}.$$

在共同的后期阈值后，$|a_nb_n-ab|\le B|a_n-a|+|a||b_n-b|<\varepsilon$。

倒数与商。 若 $b\ne0$，先令 $|b_n-b|<|b|/2$，从而 $|b_n|>|b|/2$，分母非零。于是

$$\left|\frac1{b_n}-\frac1b\right|\le\frac{2|b_n-b|}{|b|^2}.$$

再要求 $|b_n-b|<\varepsilon|b|^2/2$，便证明倒数收敛。乘积法则继而给出 $a_n/b_n\to a/b$。可省略最初有限个无定义的商；收敛只约束尾部。

保序与夹逼。 若最终 $a_n\le b_n$ 且分别趋于 $a,b$，则 $a\le b$；否则将两误差限制在 $(a-b)/3$ 内会迫使 $a_n>b_n$。若最终 $a_n\le z_n\le b_n$，两端都趋于 $L$，令两端误差均小于 $\varepsilon$，就得到 $L-\varepsilon<z_n<L+\varepsilon$，所以 $z_n\to L$。无需事先知道中间数列有极限。

对相应的函数极限法则，固定共同的允许趋近定义域 $D\subseteq\mathbb R$，并设 $a$ 是 $D$ 的聚点：$a$ 的每个去心邻域都含 $D$ 中的点。设 $f,g:D\to\mathbb R$ 在 $a$ 有所述的有限相对定义域极限。将上述估计中的尾部阈值改为去心定义域半径，并取有限个正半径的最小值。乘积证明只需局部有界：由 $g(x)\to b$，充分小的去心 $D$ 邻域上有 $|g(x)|\le|b|+1$，即使它在 $D$ 的其他部分无界。相同估计证明和、数乘、积、倒数及商的法则，并保留极限分母非零的条件；相同保序及夹逼估计适用于共同趋近域。证明唯一性或排除不相容的极限次序时，聚点条件提供实际定义域点。

对复合，设 $B\subseteq\mathbb R$、$b\in B$，且 $F:B\to\mathbb R$ 在 $b$ 相对于 $B$ 连续。设 $g:D\to\mathbb R$ 趋于 $b$，并在 $a$ 的某个充分小去心 $D$ 邻域中处处满足 $g(x)\in B$。给定 $\varepsilon>0$，连续性给出 $\eta>0$，使 $u\in B$ 且 $|u-b|<\eta$ 蕴含 $|F(u)-F(b)|<\varepsilon$。$g$ 的极限与复合定义域条件提供共同正半径，令每个允许趋近的 $x$ 都满足两条件。因此 $F(g(x))\to F(b)$。这包括 $g(x)=b$ 的输入，不除以内层增量。

等比数列的分类。 对 $t\ge0$，Bernoulli 界 $(1+t)^n\ge1+nt$ 可由归纳证明：将 $n$ 的情形乘以正数 $1+t$，保留非负余项 $nt^2$。若 $0<q<1$，令 $t=q^{-1}-1>0$，则

$$0<q^n\le\frac1{1+nt}\longrightarrow0.$$

给定容差，由阿基米德性质选 $N$ 使右侧更小。因此 $0<|r|<1$ 时，由 $|r^n|=|r|^n$ 得 $r^n\to0$；$r=0$ 时所有正下标项为零。$r=1$ 时恒为一。$r=-1$ 时偶、奇子列分别为一和负一，由唯一性及子列继承性排除收敛。若 $r>1$，取 $t=r-1$，Bernoulli 给 $r^n\ge1+nt\to+\infty$。若 $r<-1$，同理 $|r^n|\to+\infty$，与收敛实数列必有界矛盾。这些情况穷尽所有实公比。

有界常义黎曼积分：网格等价及基本性质

设有限实数 $a<b$，且 $f:[a,b]\to\mathbb R$ 有界。对分割 $P$，以下用 $L(f,P),U(f,P)$ 表示 Darboux 下和、上和。使用实数完备性及已证明的 Darboux 判据：上下积分相等当且仅当 $U-L$ 可任意小。本段不要求 $f$ 连续。

Darboux 推出所有细网格标签和收敛。 设 Darboux 积分为 $I$。给定 $\varepsilon>0$，固定一个分割 $P_0$，其差小于 $\varepsilon/2$。取 $M>0$ 使 $|f|\le M$，设 $P_0$ 有 $k$ 个内部分点。对任意另一分割 $P$，将闭包包含这些分点之一的小区间标为坏区间。每个分点至多属于两个小区间，所以坏区间总长至多 $2k\|P\|$。其余好区间均位于某个 $P_0$ 小区间内。好区间的振幅和贡献不超过 $P_0$ 的差，坏区间贡献至多 $2M(2k\|P\|)$。因此

$$U(f,P)-L(f,P)<\varepsilon/2+4Mk\|P\|.$$

取 $\|P\|<\varepsilon/[8M\max(1,k)]$。每个标签和 $S(P)$ 与 $I$ 均在 $L(f,P),U(f,P)$ 之间，故 $|S(P)-I|<\varepsilon$，且与标签选择无关。

反方向。 假设所有充分细标签和都与同一有限数 $I$ 相差小于 $\eta$。固定一个这样的细分割。每个小区间的上确界、下确界都能由实际函数值以小于 $\eta/(b-a)$ 的误差逼近。由此选出的上逼近标签和大于 $U(f,P)-\eta$，下逼近和小于 $L(f,P)+\eta$，所以 $U(f,P)<I+2\eta$、$L(f,P)>I-2\eta$。由于 $\eta$ 可任意小，由 Darboux 判据可积。再用下和、上和夹住标签和，得积分恰为 $I$。这个论证不需要上下确界达到。

线性、常数与保序。 对可积的 $f,g$ 及实数 $\alpha,\beta$，在共同标签分割上有精确有限恒等式 $S(\alpha f+\beta g)=\alpha S(f)+\beta S(g)$。右侧极限存在，由刚证明的等价性，左侧函数可积且积分满足线性恒等式。常数函数 $c$ 的每个和均为 $c(b-a)$。若 $f\le g$，同标签的和保持该次序，极限也保持。故当 $|f|\le M$ 时，$|\int f|\le M(b-a)$。

绝对值。 由反三角不等式，在每个小区间 $J$ 上有 $\operatorname{osc}_J|f|\le\operatorname{osc}_J f$：将 $||f(x)|-|f(y)||\le|f(x)-f(y)|$ 应用于实际点，再逼近上下确界即可。因此 $|f|$ 的每个 Darboux 差不超过 $f$ 的差，故 $|f|$ 可积。由于 $-|f|\le f\le|f|$，由保序与线性得 $|\int_a^b f|\le\int_a^b|f|$。

限制与区间可加性。 对 $a<c<b$，将任意小差分割加上分点 $c$。$[a,c]$ 与 $[c,b]$ 的非负差之和为加细后整段的差，所以各自都可任意小，两段限制均可积。将两段网格趋零的分割接合，整段标签和精确等于两段标签和之和。取三个极限，得 $\int_a^b f=\int_a^c f+\int_c^b f$。反之，若两段有界可积，各选差小于 $\varepsilon/2$ 的分割并接合，整段差小于 $\varepsilon$，证明整段可积及同一恒等式。共享端点的函数值相同；任何单独端点都没有正的区间长度。规定同限积分为零、反限积分取负，再用区间拆分与相消，便把可加性推广到三个端点的每种次序。

这些证明支持累积、连续版本基本定理、分部积分和常义换元中使用的估计。这里只证明有界常义黎曼结论；奇点或无穷端点的积分仍需另行使用收敛定义。

学习目标与设定

将可微性理解为线性近似，处理链式法则中内层增量为零的情况，构造导数不连续的可微函数，并陈述局部可微反函数的充分条件。除非明确讨论端点，均假设函数定义在所论点的开邻域内。

在 $a$ 可微意味着差商有有限极限 $f'(a)$。等价地，

$$f(a+h)=f(a)+f'(a)h+h\varepsilon(h),\qquad\varepsilon(h)\to0.$$

对非零 $h$ 定义误差商，并将其在零处的值设为零。这精确表达了切线近似的内容。令增量趋于零可得连续性；但单凭它不能给出数值误差常数或二阶导数界。

竖直斜率或单侧无穷斜率不是此定义下的有限导数。在定义域端点，可以单独定义并命名单侧导数，但不能悄悄把它等同于不存在的双侧导数。

1. 处理内层变化为零的链式法则证明

设 $g$ 在 $a$ 可微，$F$ 在 $b=g(a)$ 可微，且附近的复合有定义。写成

$$F(b+k)-F(b)=F'(b)k+k\eta(k),\qquad\eta(k)\to0,$$

并设 $\eta(0)=0$。令 $k=g(a+h)-g(a)=g'(a)h+h\varepsilon(h)$。由 $g$ 连续，$k\to0$。代入得

$$\frac{F(g(a+h))-F(g(a))}{h} =[F'(b)+\eta(k)][g'(a)+\varepsilon(h)]\longrightarrow F'(b)g'(a).$$

该证明从不除以 $k$；后者对无穷多个增量可能为零。常见的两个差商相乘证明在拟用分母为零时需要另作讨论，误差函数证明则自动包含此情形。

对商 $f/g$，条件 $g(a)\ne0$ 加上 $g$ 的连续性，给出满足 $|g(x)|>|g(a)|/2$ 的邻域。因此该商在局部有定义，导数公式才能得到论证。仅在最终答案中写出分母的平方，并不能证明这一局部定义域事实。