一个你能证明存在的洞
有理数感觉上是完备的——任意两个之间永远还夹着另一个；这种稠密性让它们看上去没有缝。但外表再次骗人。考虑所有平方小于 2 的正有理数构成的集合。它有上界（比如 2），所以它理应有一个最小上界——一个最小的天花板。在有理数中，那个天花板必须是一个平方恰好等于 2 的数。而这样的有理数根本不存在。
Claim: there is NO rational number x with x^2 = 2.
Proof by contradiction.
Suppose x = p/q is rational, in LOWEST terms (p, q share no factor),
and x^2 = 2. Then p^2 / q^2 = 2, so p^2 = 2 q^2.
So p^2 is even. A square is even only if its root is even,
so p is even: write p = 2k.
Then (2k)^2 = 2 q^2 -> 4 k^2 = 2 q^2 -> q^2 = 2 k^2.
So q^2 is even, hence q is even too.
But now p and q are BOTH even -- they share the factor 2.
That contradicts "lowest terms."
The assumption must be false. No rational squares to 2. QED.
Consequence: the set A = { x in Q : x > 0 and x^2 < 2 } is bounded
above but has NO least upper bound INSIDE the rationals. There is a
HOLE in Q exactly where sqrt(2) should be.填平每一个洞的公理
实数的构造恰恰是为了让这种事永不发生。其决定性的法则是完备性公理，通常表述为最小上界性质：每一个有上界的非空实数集，都有一个*最小的*上界，称为它的上确界。不存在「应有却缺席的最小天花板」。每一个该有顶的集合都有它的顶，就稳稳地待在实数里。
把它用到我们的集合 A = { x > 0 : x² < 2 }。在实数里，A 有上界，于是完备性*直接交给我们*一个实数 s = sup A。接着可以证明 s² 既不小于 2 也不大于 2（任何一种都能让你微调 s，从而与「它是最小上界」矛盾），所以 s² = 2。完备性公理实实在在地把 √2 制造为一个指向空位的集合的上确界。连续统就是这样被弄得没有洞的。
为什么极限需要完备性
完备性不是抽象的记账；它是让极限真正*落地*的东西。取 √2 的有理小数截断：1, 1.4, 1.41, 1.414, …。这个数列单调递增、且以 1.5 为上界。在有理数里它什么也收敛不到——它的目标是个洞。在实数里，完备性保证目标存在：每一个有界递增数列都收敛，且收敛到其各项的上确界。
这是你将遇到的几乎每一条存在性定理底下那台安静的引擎。一个根之所以存在，*是因为*实数完备；一个挤作一团的数列——一个柯西数列——之所以有极限，*是因为*实数完备；波尔查诺–魏尔斯特拉斯定理和区间套定理都不过是完备性换了身衣服。抽走完备性，分析学就垮了；放回它，极限终于有了落脚之处。