严格微积分的主线：从确界原理一路推到微积分基本定理

普通微积分教人怎么算极限、导数、积分。它管用，但每一步都踩在直觉上：极限"趋近到什么"，连续"中间不间断"，可积"是曲线下的面积"。严格微积分要回答的是另一件事——这条直觉的地基究竟是什么？换句话说，为什么连续函数在闭区间上必然取到极值，为什么微分和积分能彼此反推，为什么这套证明语言长成这样而不是别的样子。这篇专题沿一条贯穿主线把这条地基从头走一遍：实数完备性 → ε-δ 极限语言 → 紧区间上的连续性 → 中值定理族 → Darboux 积分 → 微积分基本定理（Fundamental Theorem of Calculus, 以下简称 FTC），并在最后诚实地给出这条主线留下的开放边界。

读者最好已经会用求导公式、能积基本函数、对极限的几何含义有感觉。后面所讲的，会把同样的对象重新架在一整套逻辑地基上。

一、为什么普通微积分不够：1872 年前后发生了什么

极限、导数、积分在 18 世纪是被当作"几何直觉 + 物理应用"在用的。Newton 写流数，Leibniz 写微分，都默认读者能凭图像理解"无穷小"。这套语言在工程上极其成功，但在理论上每隔几年就会被一个反例打穿一次——无穷小悖论、发散级数、"实数是什么"没人能给出干净的逻辑定义。

19 世纪的一群数学家决定把整门课重新架在一个算术地基上，把"看得见"换成"证得动"。这个过程被后人称为 arithmetization of analysis（算术化运动）。我们先把这百年级的工程在时间轴上摆出来：

图注：1817 年 Bolzano 在《Rein analytischer Beweis》里已给出后世称为 ε-δ 的极限雏形（不过他的手稿直到 1930 年才出版）；1821 年 Cauchy 在《Cours d'analyse》给出极限的口语化定义与连续性的 ε-δ 形式陈述；1872 年同一年，Méray、Weierstrass、Heine、Cantor、Dedekind 五人各自给出实数的不同构造——这就是被称作"red-letter year"的红字年；1875 年 Weierstrass 给出处处连续但处处不可导的反例（后由 du Bois-Reymond 在 Crelle 79 公开）；1893 年 Hermite 在信里写"我带着恐惧与厌恶调头离开那批没有导数的连续函数"；1960 年 Robinson 用非标准分析重建"无穷小"路线，作为对算术化的修正而非延伸。Arithmetization

这张图给的是尺度感：ε-δ 不是教学折磨，它是 19 世纪数学家应对"连续函数竟然可以处处不可导"这一类反直觉例子的回应。把直觉接受下来当公理用，已经被现实打穿了。接下来的六章就是当年那群人怎么从零开始把这条直觉的地基一块一块重新架起来。

需要先承认一条争议：算术化的叙事常把 ε-δ 定义归到 Cauchy 头上，但 Borovik 与 Katz 在 2011 年的论文里系统论证，Cauchy 1821 给出的连续性定义本质上是 infinitesimal 的（"infiniment petit"作名词而非形容词），并非现代意义上的 ε-δ；后者真正作为形式化定义要等到 Heine 1872 经 Weierstrass 讲义整理之后才发表。Borovik & Katz 2011。这条争议在第 7 章末尾还会回到——它意味着算术化并不是唯一可能的严格化路线。

严格微积分不是多背几个公式，而是把整门课重新架在 19 世纪算术化的逻辑地基上。

二、地基的钉法：为什么确界原理是整门课的存在性源头

把普通微积分翻到底，你会发现每一条"存在某点"的定理后面都藏着一句话："因为这条定理成立，才有这个点存在。"在严格微积分里，所有这些"存在性"最后都回指同一个东西：确界原理（least-upper-bound property，简称 LUB 或 sup 性质）。这是整门课唯一的存在性公理。

教材 1.3 节把这件事讲得非常干净：

图注：一条水平数轴，左侧蓝色粗线段标为集合 E，右侧红色粗线段标为 upper bounds of E（E 的所有上界）。红色线段里最靠近 E 那一端的刻度单独标为 least upper bound of E，即 $\sup E$。注意：sup 即使存在也可以不属于 E——下面我们会用具体例子说明。Basic Analysis

更精确地，Lebl 在《Basic Analysis I》里把定义写成：有序集 $S$ 具备 LUB 性质，是指它的每一个非空有上界的子集 $E \subset S$ 都有最小上界，即 $\sup E$ 在 $S$ 内存在。Basic Analysis 实数 $\mathbb{R}$ 是"以不加证明的定理形式引入"的：存在唯一一个具备 LUB 性质的有序域 $\mathbb{R}$ 使得 $\mathbb{Q} \subset \mathbb{R}$。

教材第 1 章还给了一张更简化的示意图，与上面的官方版本语义完全一致，可以直接在书上翻到：

图注：水平数轴上，蓝色粗线段为集合 E，红色粗线段为 E 的所有上界；连接点上方的标签 $\gamma = \sup E$（the least upper bound），下方紧贴 sup 左侧的位置标 $\gamma - \varepsilon$，表示"$\gamma - \varepsilon$ 不是上界"——这正是 sup 最小性的可视化形式。HKUST Honors Calculus 教材

为什么要这么郑重？因为 $\mathbb{Q}$ 不具备这条性质。Lebl 给的反例极其经典：子集 ${x \in \mathbb{Q} : x^2 < 2}$ 在 $\mathbb{Q}$ 中没有上确界——任何有理上界都会被另一个更大但仍满足 $x^2 < 2$ 的有理数顶过去。这个 $\mathbb{Q}$ 缺口对应的就是 $\sqrt{2}$ 这个无理数。作者的评论很值得直接引用："That $\mathbb{Q}$ does not have the least-upper-bound property is one of the most important reasons we work with $\mathbb{R}$ in analysis. The set $\mathbb{Q}$ is just fine for algebraists. But we analysts require the least-upper-bound property to do any work."（$\mathbb{Q}$ 没有 LUB 性质是我们做分析必须迁到实数去的最重要理由之一。$\mathbb{Q}$ 应付代数学绰绰有余，但分析学家做事离不开 LUB 性质。）Basic Analysis

还有一个易被忽略的细节：上确界即使存在也不必属于集合本身。Lebl 给的三例对照很有教学价值：$E = {x \in \mathbb{Q} : x < 1}$ 的 $\sup$ 是 1，但 $1 \notin E$；$G = {x \in \mathbb{Q} : x \le 1}$ 的 $\sup$ 是 1 且 $1 \in G$；$P = {x \in \mathbb{Q} : x \ge 0}$ 没有上界所以没有 sup，但有下确界 0。sup 不属于集合这件事，反直觉但普遍。

把这条公理钉死之后，整门课的存在性结论就有了一条统一的回指链：单调收敛定理直接令 $x = \sup{x_n}$ 就能收敛；Bolzano-Weierstrass 定理（有界数列必有收敛子列）由 sup 推出 limsup，再由 limsup 取出子列；Cauchy 准则的收敛方向证明中 Lebl 直接标了一句话——"For a bounded sequence, liminf and limsup exist, and this is where we use the least-upper-bound property"。Basic Analysis

ETH Figalli 讲义则把完备性隔离出来单独成一条公理——从 ordered field（有序域）出发，先给完备性公理（Def. 2.21），再在 §2.4.1 单独陈述 Archimedean 性质（Th. 2.58）。这种"先隔离、后调用"的组织方式与 Lebl"作为 $\mathbb{R}$ 定义性质"的处理互为对照，正是同一理论可以怎样重排的体现。ETH Analysis I

后面所有用到"存在某点"的定理，都回指确界原理。这是这一章钉下的判断。

三、语言的重写：ε-δ 与量词顺序到底在保护什么

确界原理把"存在"这件事接住了。但"极限"是什么、"连续"是什么，还需要在 $\varepsilon$-$\delta$ 语言里被重新定义。普通微积分的"无限趋近"直觉在这里被拆成了一段可操作的"挑战-应答"结构。

先讲数列极限。"${x_n}$ 收敛到 $x$"的意思是：对方给一个任意小的容差 $\varepsilon > 0$，你必须能造出某个下标 $N$，使得从 $n \ge N$ 起所有 $x_n$ 都落在 $(x-\varepsilon, x+\varepsilon)$ 这条带里。符号地写是：$\forall \varepsilon > 0, \exists N \in \mathbb{N}, \forall n \ge N : |x_n - x| < \varepsilon$。

把这一行量词顺序画在图上，就是下面这张教材配图：

图注：水平轴标 $n$，纵轴标 $x_n$。三条水平参考线由下至上为 $x - \varepsilon$、$x$、$x + \varepsilon$，中间为实线、上下为虚线。前若干 $n$（图中 $1, 2, 3, 4, 5, \ldots, N$）的红点散布在 $\varepsilon$ 带的内外，部分落在带外；从 $N$ 起右侧阴影带内的红点全部落在 $x \pm \varepsilon$ 之间。这张图把"序列前若干项可能落在带外、从某 $N$ 起全在带内"这个抽象量词结构变成可看的几何。HKUST Honors Calculus 教材

函数极限的结构类似，只是要把"自变量下标够大"换成"自变量离 $c$ 够近"：$\forall \varepsilon > 0, \exists \delta > 0, \forall x : 0 < |x - c| < \delta \Rightarrow |f(x) - L| < \varepsilon$。MIT OCW 的教学讲义把这个"挑战-应答"节奏落到了显式公式链上：在给定 $\varepsilon$ 后如何显式构造 $\delta$，例如 $\delta = \varepsilon / (1 + |a|)$ 或 $\delta = \varepsilon \sqrt{c}$。MIT OCW 18.100A

量词顺序是这门语言的核心。要看清它怎么发力，看下面的反例：

图注：二维坐标系中，三条蓝色曲线 $f_1, f_2, f_{20}$ 从原点附近出发，汇聚到右上角的同一红色实心圆；红色水平线段从原点延伸至 x 轴上方附近的红色空心小圆。函数族 $f_n(x) = x^n$ 在 $[0, 1]$ 上逐点收敛到 $f(x) = 0$（当 $x < 1$）和 $f(1) = 1$——这个极限函数在 $x = 1$ 处不连续。这是 ETH 讲义 Fig 3.10 给出的"逐点极限破坏连续性"反例，用来引出一致收敛的定义。ETH Analysis I

注意上面量词顺序里的差别："$\exists N$"是依赖 $\varepsilon$ 的，$N$ 可以随 $\varepsilon$ 变化，但不能反过来——这正是"挑战-应答"的方向。这种"$\exists$ 跟着 $\forall$ 变"的结构比反向错排（"先给定 $N$ 再收容差"）的命题强得多。

把量词顺序再换一次，我们就遇到一个更细的差别——逐点收敛 vs 一致收敛。$f_n \to f$ 在 $S$ 上一致收敛的定义是：$\forall \varepsilon > 0, \exists N(\varepsilon), \forall n \ge N(\varepsilon), \forall x \in S : |f_n(x) - f(x)| < \varepsilon$。注意那个 $\forall x$ 在 $\exists N$ 的后面——$N$ 一旦定下来，整条曲线 $f_n$ 都被压进 $\varepsilon$ 带里，与具体的 $x$ 无关。把这个画面画出来：

图注：横轴标 $X$，纵轴标 $\mathbb{R}$。两条红色曲线 $f + \varepsilon$（上）与 $f - \varepsilon$（下）形成围绕蓝色 $f$ 的带状通道，整体随 $X$ 平缓上升；绿色振荡曲线 $f_n$ 在通道内上下振荡但未越出红色边界。一致收敛的几何含义就是：从某 $N$ 起，$f_n$ 的整张图都落在 $f$ 上下各 $\varepsilon$ 的带子里，无例外地"被管住"。这正是 ETH Fig 3.11。ETH Analysis I

"逐点收敛破坏连续性"这个反例告诉我们：仅仅把每点的极限算对还不够，连续性这种"全曲线"的性质需要更强的工具。一致收敛正是给"全曲线"性质准备的。这一区别直接引出下一章：紧区间上的连续函数为什么既取到极值又一致连续——量词换一行，几何配置就换一幅。

四、紧区间上的力量：连续函数凭什么能取到极值、过零点

普通微积分里 EVT（Extreme Value Theorem，极值定理）和 IVT（Intermediate Value Theorem，介值定理）是被当成"显然"的定理在用的。在严格微积分里，它们都是需要被证明的命题，而证明过程会把读者带回第二章钉下的判断——确界原理。

EVT 的陈述很简单：若 $f : [a, b] \to \mathbb{R}$ 在闭区间上连续，则 $f$ 在 $[a, b]$ 上取到绝对最大值和绝对最小值。把这件事画成图就是下面这张：

图注：闭区间 $[a, b]$ 上画一条函数曲线，曲线被上下两条水平线夹住；上方水平线标注 $f$ 的绝对最大值 $f(c)$，下方水平线标注绝对最小值 $f(d)$。这张图把"$\sup$ 存在（图 1）→ 且被取到（图 2）"这个升级变成肉眼可见的画面——同样一条曲线，sup 与 sup 被取到不是一回事。Basic Analysis

Lebl 写的证明是两次回指完备性：先用有界性引理与确界原理得 $\inf f([a, b])$ 与 $\sup f([a, b])$ 都存在（这里用了一次 LUB）；取逼近序列 $f(x_n) \to \inf$ 与 $f(y_n) \to \sup$，但 ${x_n}$ 未必收敛，于是援引 Bolzano-Weierstrass 抽出收敛子列 $x_{n_k} \to c$（这里又用了一次 LUB 经 B-W）；最后把极限穿过连续函数 $f$，得 $\inf f([a, b]) = f(c)$。所以 EVT 是经过 Bolzano-Weierstrass 二次回指完备性的，作者两次强调"important that the domain of $f$ is a closed and bounded interval"。Basic Analysis

IVT 的证明走另一条更精致的路：设 $f(a) < y < f(b)$，要找 $c \in (a, b)$ 使 $f(c) = y$。Lebl 的 IVT:lemma 用二分构造：构造 ${a_n}$ 单增、${b_n}$ 单减且都有界，由单调收敛定理（直接由 sup 推出）二者收敛；$b_n - a_n = 2^{1-n}(b - a) \to 0$ 推出两极限相等；最后在 $f(a_n) < y$、$f(b_n) \ge y$ 两侧同时取极限并用 $c$ 处连续性，夹出 $f(c) = y$。这条证明还是应用数学里二分法求根的理论化身。Basic Analysis

把目光从"取到点"转到"$\delta$ 不依赖点"，就进入一致连续。Lebl 在给定义前先埋了一句伏笔："We made a fuss of saying that the $\delta$ in the definition of continuity depended on the point $c$." 一致连续的定义只把量词换一行：$\forall \varepsilon > 0, \exists \delta > 0, \forall x, c \in S, |x - c| < \delta \Rightarrow |f(x) - f(c)| < \varepsilon$。差别干脆落在"$\delta$ 不再依赖 $c$"这一句——给 $\varepsilon$，找的 $\delta$ 必须对整个定义域同时奏效。

最干净的正反例来自同一个函数：$f(x) = x^2$。在 $[0, 1]$ 上是一致连续的：$|x^2 - c^2| = |x + c||x - c| \le 2|x - c|$，取 $\delta := \varepsilon / 2$ 就好，$\delta$ 与 $c$ 无关。把定义域扩大到 $\mathbb{R}$，就不是一致连续：取 $c := x + \delta/2$，由 $|x^2 - c^2| \ge \delta x$ 让 $x$ 任意大都破坏 $\varepsilon$ 界。再如 $f(x) = 1/x$ 在 $(0, 1)$ 上也不一致连续——越靠近原点 $\delta$ 必须越小。Lebl 归纳出规律：定义域不闭或无界时，连续但非一致连续才有可能发生。Basic Analysis

Heine-Cantor 定理把这扇门关上：闭区间上连续必一致连续。证明走的是逆否：若不一致连续，存在 $\varepsilon > 0$，对每个 $\delta = 1/n$ 都能找到 $|x_n - y_n| < 1/n$ 但 $|f(x_n) - f(y_n)| \ge \varepsilon$；由 Bolzano-Weierstrass 抽出 $x_{n_k} \to c \in [a, b]$，再由三角不等式 $y_{n_k}$ 也收敛到 $c$，于是在 $c$ 处违反连续性，矛盾。一致连续这条结论同样回指完备性（经 B-W）。

下面这张板书扫描来自 MIT OCW 18.100A 讲义，演示尖峰函数族逐点收敛但不一致收敛——同一个定义域内同样的连续函数，一致性差一个量词顺序，几何配置就不同：

图注：三坐标系中的尖峰三角形：顶部图标标注 $f_n$ 峰位 $(1/(2n), 2n)$ 底边延伸至 $1$；左下图是 $n = 1$ 情形，峰 $(1/2, 2)$；右下图极窄极高标 $f$。函数族 $f_n$ 在每点逐点收敛到 $f$，但任何一致收敛都失败——因为 $\delta$ 随 $n$ 越来越小。这是配合 Lebl/Figalli 一致连续讲的视觉锚。MIT OCW 18.100A

Heine-Cantor 这条结论正是下一章证明"连续函数必可积"时直接调用的一块积木。它埋了一颗伏笔：紧区间上连续之所以比开区间或无界区间好讲，本质上是因为完备性让"取到极值"和"$\delta$ 不依赖 $c$"两件事都成立。

紧区间上的连续函数之所以好讲，是因为完备性保证它既取到极值又一致连续——后者正是下一章证明可积的钥匙。

五、微分侧的杠杆：Rolle → Lagrange → Cauchy → Taylor 的统一模板

第四章用了 EVT 把极值"取到"这件事落实下来；现在把视线转到导数。在普通微积分里中值定理（Mean Value Theorem, MVT）是用来"做等式"的小工具；在严格微积分里它是把局部导数信息推回全局函数的杠杆。而且这种杠杆作用在四次递进的层级里反复出现。

Rolle 定理最朴素：若 $f$ 在 $[a, b]$ 连续、在 $(a, b)$ 可导，且 $f(a) = f(b)$，则存在 $c \in (a, b)$ 使 $f'(c) = 0$。证明就是 EVT：$f$ 在闭区间取到绝对极值；若极值在端点取到，常值；否则在内部取到，由 Fermat 定理导数为零。

Lagrange MVT 减去割线：若 $f$ 在 $[a, b]$ 连续、在 $(a, b)$ 可导，则存在 $c \in (a, b)$ 使 $f'(c) = (f(b) - f(a)) / (b - a)$。证明做一个辅助函数 $g(x) = f(x) - \lambda (x - a)$，把 $f(a) = f(b)$ 还原成 $g$ 的两端等值情形，再对 $g$ 用 Rolle。这一步把"加上直线再减掉"作为辅助函数的构造核心。

Cauchy MVT 把两个函数的情形合并：若 $f, g$ 在 $[a, b]$ 连续、在 $(a, b)$ 可导且 $g'(x) \neq 0$，则存在 $c \in (a, b)$ 使 $(f(b) - f(a)) g'(c) = (g(b) - g(a)) f'(c)$。Lagrange 是 $g(x) = x$ 的特例。

Taylor 定理把同一条招数推到 $n$ 阶：若 $f$ 在 $[a, b]$ 上 $n+1$ 阶可导，则存在 $c \in (a, b)$ 使 $f(b) = \sum_{k=0}^n f^{(k)}(a)/k! \cdot (b-a)^k + f^{(n+1)}(c)/(n+1)! \cdot (b-a)^{n+1}$。这是Lagrange 余项形式。Keith Conrad 的 6 页讲义把这条链一次铺平：TaylorRemainder。下图为这一技巧线的整体视图：

图注：上行四蓝盒左→右连接：Rolle → Lagrange MVT → Cauchy MVT → Taylor 余项定理（第四盒琥珀色）。中行两盒由 Taylor 馈入：拉格朗日 1797 微分余项形式 / 柯西 1821 积分余项形式，各自标注 $n = 0 \Rightarrow$ Lagrange MVT / FTC。下行绿盒"两种证法 + Th. 4.1 应用"由拉格朗日形式馈入，粉色盒"1715/1797/1821 历史归属条"由柯西形式馈入。黄色注解条居中写明 $n = 0$ 的退化对应：Lagrange 余项 $\to$ MVT，Cauchy 积分余项 $\to$ FTC。这张图揭示 MVT 族不是四条并列结论，而是同一个"构造辅助函数 + apply Rolle"模板的反复施用。TaylorRemainder

$n = 0$ 的退化对应

Conrad 在讲义里直接把退化对应写出来："When $n = 0$ Theorem 1.1 says $f(b) = f(a) + f'(c)(b - a)$ for some $c$ strictly between $a$ and $b$. That is the Mean Value Theorem."（当 $n = 0$，Th. 1.1 给出的就是 MVT。）同样，"If $n = 0$, the conclusion of Theorem 1.2 says $f(b) = f(a) + \int_a^b f'(t) dt$, which is the Fundamental Theorem of Calculus."（$n = 0$ 时 Th. 1.2 给出的就是 FTC。）TaylorRemainder

这条对应很重要。MVT 和 FTC 不仅是 Taylor 定理的特例——它们是 Taylor 定理在 $n = 0$ 时分别对应微分余项与积分余项两条不同余项形式时的退化。所以把 Lagrange 余项的 $\varepsilon$-$\delta$ 拼图与 Cauchy 余项的积分拼图拼在一起，得到的不是"微分与积分彼此独立"，而是"它们是同一棵 Taylor 树在两种余项形式下 $n = 0$ 的两条枝"。第 6 章的 FTC 缝合是代数上必然的——它就是这条 Taylor 树在 $n = 0$ 处的 Cauchy 形式。

归属澄清

Conrad 在 Remark 3.1 里直接点破归属："Taylor's inequality is not due to Taylor. In fact, Taylor's treatment of power series in his book, written in 1715, was not concerned with justifications of convergence or error estimates, and preceded by almost 80 years the work of Lagrange and by over 100 years the work of Cauchy."（Taylor 不等式并非 Taylor 所写。Taylor 1715 年的书只写级数、不做收敛或误差估计，比 Lagrange 早约 80 年、比 Cauchy 早 100 年以上。）TaylorRemainder 所以本章用的"统一模板"是后人的整理：Taylor 给出级数，Lagrange 1797 给出微分余项，Cauchy 1821 给出积分余项。这条归属链把第 1 章的历史时间线与第 5 章的技术内容接榫起来。

MVT 族看起来是四条定理，本质是同一个"构造辅助函数 + apply Rolle"模板的四阶应用；$n = 0$ 退化对应把 MVT 和 FTC 收进了同一个代数网。

六、缝合与边界：积分如何重建，FTC 如何把一切缝合起来

普通微积分里"积分是曲线下的面积"被当成公理用。严格微积分把"可积"从一个面积直觉重新定义为可判别的存在性问题。

Darboux 上下和与可积判别

教材 5.1 节给的是 Darboux 进路。先取一条分划 $P = {x_0, x_1, \ldots, x_n}$ 把 $[a, b]$ 分成 $n$ 个子区间，记 $\Delta x_i = x_i - x_{i-1}$；在每个子区间上取 $f$ 的下确界 $m_i = \inf{f(x) : x_{i-1} \le x \le x_i}$ 与上确界 $M_i = \sup{\ldots}$，分别得到下和 $L(P, f) = \sum m_i \Delta x_i$ 与上和 $U(P, f) = \sum M_i \Delta x_i$。把这件事画出来：

图注：水平 $x$ 轴上以分点 $x_0, x_1, x_2, x_3, x_4$ 把 $[x_0, x_4]$ 划为 4 个子区间；每子区间下画一个灰色填充矩形，矩形高度取子区间上下确界较低的那条（即 $m_i$），所以是下和图。配上相邻子区间的原 PDF caption 一并理解：上和要把顶部加到上确界 $M_i$。Darboux handout

把"分划越细、上和越压低、下和越抬高"画在 1-D 点云上：

图注：横向数轴上，左侧红色括号覆红色 dots 标 lower sums，右侧蓝色括号覆蓝色 dots 标 upper sums；中央 $\int!!!\int_a^b f \le \overline{\int_a^b} f$；下方两条反向箭头各标 finer partitions。下和永远不超上和；分划越细，差被压得越小。Darboux handout

Campesato 给的可积判别（Theorem 10）：$f$ 在 $[a, b]$ 上 Riemann 可积，当且仅当对每个 $\varepsilon > 0$，存在分划 $P$ 使 $U(P, f) - L(P, f) < \varepsilon$。Remark 11 提醒一句很关键的话："This criterion is non-constructive."（这条判别是非构造性的。）它只判别"有没有"，不告诉读者积分值是多少——这跟定积分的反导数算法是两套完全不同的对象。

兑现伏笔：连续函数必可积

第 4 章埋的伏笔在这里兑现。Lebl 写的 lemma:contint 开门第一句就是："As $f$ is continuous on a closed bounded interval, it is bounded and uniformly continuous"——这一步同时调用了 EVT（给出有界性）和 Heine-Cantor（给出一致连续）。给定 $\varepsilon$，取 $\delta$ 使 $|x - y| < \delta \Rightarrow |f(x) - f(y)| < \varepsilon / (b - a)$；再取网格细度 $\Delta x_i < \delta$；每个子区间上由 EVT $f$ 取到最大最小值，故 $M_i - m_i = f(x) - f(y) < \varepsilon / (b - a)$，上下和之差被压到 $\varepsilon$ 以下。这一步同时消费了第 4 章的一致连续与 EVT，是全书承重结构最集中的一处。Basic Analysis

Riemann 和的另一种视角

Darboux 进路之外，MIT OCW 讲义给的是 tagged partition 的视角：先把区间 $[a, b]$ 切成 $n$ 个子区间，每个子区间内挑一个"标签" $\xi_i$，再用 $f(\xi_i)$ 估计这一段的高度：

图注：水平直线代表区间 $[a, b]$。四对竖直彩色矩形条：青色条标记分点 $a = x_0, x_1, x_2, x_3, x_4 = b$（分划 $X$），黄色条标记标签 $\xi_1, \xi_2, \xi_3, \xi_4$（标签 $\Sigma$）。每对中黄色条位于对应两个青色条之间；左下角 $(X, \Sigma)$ 图例给出颜色编码。这是 Riemann 和定义旁的"划分 + 标签"二元结构可视化——与 Darboux 上下和的矩形视角互为对照：Darboux 视角看矩形逼近的上下界，tagged partition 视角看一次具体选样。MIT OCW 18.100A

边界反例

可积类的边界由两个反例标出。Thomae 函数（有理点上不连续、无理点上连续）在 $[0, 1]$ 上 Riemann 可积——因为有理点可被任意小总长度的区间覆盖，剩余无理点的贡献可用振幅压到零。Dirichlet 函数（有理点取值 1、无理点取值 0）在任何点都不连续，故不可积——任何子区间内的振幅都至少是 1，无可压窄的余地。Lebesgue 判别把这件事实抽成定理：$f$ Riemann 可积当且仅当其不连续点的集合是"零测度"（不展开测度论正文）。Darboux handout

FTC：把微分与积分缝合

第 5 章的 MVT 杠杆和第 6 章的 Darboux 积分在这里接合。

图注：粗线绘函数曲线，标 $y = f(x) = F'(x)$；$x$ 轴上画三个相邻子区间，中间子区间从 $x_{i-1}$ 到 $x_i$，长度标 $\Delta x_i$；内部由 $c_i$ 向上引虚线交曲线于 $f(c_i)$；以该高度和子区间为底画阴影矩形，标注 $\text{area} = f(c_i) \Delta x_i = F(x_i) - F(x_{i-1})$。左右子区间结构相同，下标换 $i - 1$ 与 $i + 1$。这张图把"每子区间用 MVT 把 $f(c_i) \Delta x_i$ 换成 $F$ 增量"这个机制可视化——求和即望远镜求和。Basic Analysis

Lebl 的 FTC v1 假设是不对称的：$F : [a, b] \to \mathbb{R}$ 在 $[a, b]$ 连续、在开区间 $(a, b)$ 可导；$f \in \mathcal{R}([a, b])$ 且 $f(x) = F'(x)$；则 $\int_a^b f = F(b) - F(a)$。三个假设各有必要——闭区间连续但只要求开区间可导（端点不必可导）；$f$ 的可积性是独立假设，不是从 $F$ 可导推出来的。证明就在每个子区间用 MVT 取 $c_i$ 使 $f(c_i) \Delta x_i = F(x_i) - F(x_{i-1})$，求和即望远镜相消。Basic Analysis

FTC v2 假设更弱、结论分两级：若 $f$ 在 $[a, b]$ 上 Riemann 可积，定义 $F(x) = \int_a^x f$，则 $F$ 自动 Lipschitz 连续；要得到 $F'(c) = f(c)$，还需在 $c$ 处额外假设 $f$ 连续。所以"互逆"口号掩盖了真相——连续是可导的充分而非必要条件。Lebl 给了两个边界反例：$f(x) = -1$（$x < 0$）、$f(x) = 1$（$x \ge 0$）使 $F(x) = |x|$，$f$ 在 $0$ 不连续导致 $F$ 在 $0$ 不可导；另一个反例是 $g(0) = 1$ 但 $g$ 在 $0$ 之外与上面 $f$ 同值。Basic Analysis

余韵：幂级数把 Taylor 推回全局

把 Taylor 余项估计当作收敛判别工具，可以反过来用幂级数构造初等函数。Figalli 讲义给出收敛半径公式：若幂级数 $\sum a_n (x - x_0)^n$，则收敛半径 $R = 1 / \limsup_{n \to \infty} |a_n|^{1/n}$。ETH Analysis I 这条公式让 $e^x, \sin x, \cos x$ 不再依赖"几何直觉"或"微分方程求解"，而是从幂级数本身逐项微分积分构造出来。教材 7.16–7.20 节（幂级数收敛、收敛半径、Taylor 级数、Abel 定理）正是这一段在 HKUST 教材上的对应位置。HKUST Honors Calculus 教材

下面这张教材页把两条核心恒等式——毕氏恒等式和 Euler 公式——作为余韵的最小可见桥：

图注：浅绿色背景的两块公式：$\sin^2 x + \cos^2 x = 1$（毕氏恒等式）与 $e^{ix} = \cos x + i \sin x$（Euler 公式，$i = \sqrt{-1}$）。这两条恒等式本身是把幂级数收敛与三角函数、复指数联系起来的最简可见桥。HKUST Honors Calculus 教材

开放的边界

把上面这条主线的地图画到底，我们会撞上几面诚实的墙。第一，Cauchy 归属仍有争议——Borovik 与 Katz 系统论证 Cauchy 1821 实际是 infinitesimal 定义而非 ε-δ；Grabiner 1983 给的回溯性解读被批评；17 节点的 B-strand timeline 把 Robinson 1961/1966 之后的非标准分析连续呈现出来。Borovik & Katz 2011 第二，单变量严格化的边界——Riemann 可积性在面对更多病态函数时不够用，Lebesgue 积分是下一门课的内容。第三，反例 $F(x) = x^2 \sin(\pi / x^2)$ 标出一条更细的缝：$F$ 在 $0$ 处有导数，但 $F'$ 在 $[0, 1]$ 上不可积——FTC 的"互逆"在非连续点附近彻底失守。Darboux handout nLab 词条 epsilontic analysis 把这条主线与 infinitesimal 路线并置，作为下一步阅读的方向锚：epsilontic。

所以这条主线并不指向一个虚假的完结——读者被送到下一门课（实分析 / 测度论 / 多变量分析），而不是一份"严丝合缝的总结"。这正是严格微积分的最后一句实话。

FTC 把微分与积分缝合——但要记得它的两个部分假设不对称，缝合是有代价的；同时这条主线留下开放边界（Lebesgue 积分、非标准分析、Cauchy 归属争议），读者被送到下一门课而不是虚假完结。

参考文献

本专题引用的核心资料如下，建议深入学习时阅读原文：

1. Honors Calculus 高等微積分 (HKUST-GZ MathGroup, 2025) — 教材第 0–7 章 + Appendix A/B/C，章节编号 1.3 least-upper-bound property / 2.27 IVT / 4.4 MVT / 5.8 FTC / 7.16 幂级数收敛 / 7.20 Taylor 級數 / Abel 定理；课时分配 Chap. 1–4 = 52、Chap. 5–7 = 52；E/I/D/T 难度标注；双语术语对照（确界原理 / 一致連續 / 收斂半徑 等）；Appendix B 人物-年份三元组（1691 Rolle / 1821 Cauchy / 1826 Abel / Weierstrass 1815–1897 / Riemann 1826–1866 / Wallis 1616–1703）。无网络公开 URL（用户上传 PDF，由 docling 离线解析为 parsed/content.md）。
2. Basic Analysis: Introduction to Real Analysis, Volume I — Jiří Lebl, v6.3, May 15, 2026. Oklahoma State University. Dual licensed CC BY-NC-SA 4.0 / CC BY-SA 4.0. https://www.jirka.org/ra/
3. Analysis I: One Variable — Lecture Notes — Alessio Figalli, ETH Zürich D-MATH, Version August 21 2026, 279 pages. https://metaphor.ethz.ch/x/2025/hs/401-1261-07L/sc/Analysis_1___D_MATH___ETH.pdf
4. Darboux's construction of Riemann's integral — J.-B. Campesato, University of Toronto MAT237Y1 handout, January 21 2020. https://www.math.utoronto.ca/campesat/ens/1920/darboux.pdf
5. The Remainder in Taylor Series — Keith Conrad, University of Connecticut Department of Mathematics, 6-page handout. https://kconrad.math.uconn.edu/blurbs/analysis/TaylorRemainder.pdf
6. Arithmetization of analysis — Encyclopedia of Mathematics (Springer + European Mathematical Society), latest edit 2023-11-23 by Chapoton. https://encyclopediaofmath.org/wiki/Arithmetization_of_analysis
7. Who Gave you the Cauchy-Weierstrass Tale? The Dual History of Rigorous Calculus — Alexandre Borovik & Mikhail Katz, arXiv:1108.2885, v1 2011-08 / v3 2012-10; Foundations of Science 17(3): 245–276 (2012), DOI 10.1007/s10699-011-9235-x. https://arxiv.org/abs/1108.2885
8. MIT OCW 18.100A Real Analysis, Fall 2020 — Instructor Dr. Casey Rodriguez, Lecture Notes by Paige Dote; 指定教材 Lebl Basic Analysis I (2018). https://ocw.mit.edu/courses/18-100a-real-analysis-fall-2020/
9. epsilontic analysis — nLab, last revised June 18 2026. https://ncatlab.org/nlab/show/epsilontic+analysis