实分析

分析学研究什么

实分析用唯一一件工具研究实变量函数：取极限。连续性、导数、积分、级数——一切都归结于此。

它不是一堆彼此独立的结果，而是建在一条性质之上的整座建筑；抽走那条性质，它便整体坍塌。

唯一的地基

这条性质就是完备性：$\mathbb{R}$R 中任何非空且有上界的子集都有上确界。

分析学的重大定理不只是由它推出——它们与它等价。承认其中任何一条，就等于承认完备性，反之亦然。

若把它建在 ℚ 上

要看清完备性带来了什么，最好的办法是把它拿走。设身于缺乏完备性的 $\mathbb{Q}$Q，并取：

$f(x) = x^2 - 2 \quad \text{（在} [1, 2] \cap \mathbb{Q} \text{上）}$f(x)=x2−2（在[1,2]∩Q上）

该函数连续，$f(1) = -1 < 0$f(1)=−1<0 且 $f(2) = 2 > 0$f(2)=2>0。介值定理本应要求它有零点。它没有：其零点是 $\sqrt{2}$2​，而它不是有理数。

同一个空隙也推倒了其余三条。$\sqrt{2}$2​ 的十进制近似序列在 $\mathbb{Q}$Q 中是柯西列却不收敛；它有界，却在其中没有任何收敛子列。

ℝ



√2
1
2

导数与积分都是极限

两项核心运算不过是乔装过的取极限：

$f'(a) = \lim_{h \to 0} \frac{f(a+h) - f(a)}{h}$f′(a)=h→0lim​hf(a+h)−f(a)​

黎曼积分同样是宽度趋于零的矩形面积之和的极限。

若无这些极限存在的保证，两者皆无意义。微积分之所以不可能仅建立在有理数之上，原因正在于此。

「严格」最终意味着什么

分析学长期依靠关于连续性与无穷小的直觉运作，结果正确，却无人说得清为何正确。

$\varepsilon$ε–$\delta$δ 表述与 $\mathbb{R}$R 的显式构造，把这些直觉换成了可检验的命题。所得并非新的结果，而是能够准确说出每条定理依赖于哪一个假设。

小结

抽走完备性，分析学即告停止：它的定理与之等价，而非仅仅从属于它。