为什么「存在上确界」是一件大事

这是一篇用于展示公式、证明和阅读排版的示例文章。

一个看似自然的问题

设 $(a_n)$ 是一个递增且有上界的实数列。画一张图，很容易觉得它应该向某个数靠近。但「看起来应该」与「这个数确实存在」，中间还隔着一步。

我们通常把结论记作：

真正值得停下来问的是：极限 $L$ 是从哪里来的？

先找到候选，再说明它是极限

令 $A=\{a_n:n\in\mathbb N\}$。集合 $A$ 非空且有上界，实数的上确界性质给出了一个确实存在的实数：

这一步把「数列似乎正在靠近某处」变成了「我们已经有了一个候选」。接下来要做的，是验证定义。

给定任意 $\varepsilon>0$。由于 $L-\varepsilon$ 小于上确界，它不是 $A$ 的上界。因此，存在 $N\in\mathbb N$，使得

递增性随后接上了这一小步：对所有 $n\geq N$，都有

也就是 $|a_n-L|<\varepsilon$。这便是收敛。

这段证明的骨架

这不是一段需要逐字记住的证明。更有用的，是看见两件事情各自承担的工作：

1. 完备性给出对象。 上确界性质保证候选极限存在。
2. 递增性控制尾部。 一旦有一项足够接近，后面的项便都足够接近。

读完一个证明，可以试着问：每个条件在哪一步真正开始工作？

留下一个问题

如果把实数换成有理数，上面哪一步可能失效？

可以考虑从下方逼近 $\sqrt 2$ 的有理数列。每一项都在 $\mathbb Q$ 里，也有有理数上界，但它所需要的那个「候选」，未必还在 $\mathbb Q$ 里。

写到这里，一个熟悉的定理就变成了理解实数结构的入口。