为什么需要完备性公理来完成上确界存在性的证明？

标准的收敛定义要求事先知道极限 $a$，因为它测量的是到特定数字的距离 $|a-a_n|$。柯西条件通过测量序列项之间的成对距离 $|a_n-a_m|$ 避免了这一限制，允许在不需要事先知道极限的情况下验证类似收敛的行为。

适用条件：正在测试序列的类似收敛的属性。；候选极限 $a$ 未知或未提前提供。

序列 $(a_n)_{n\in\mathbb{N}}$ 是柯西列，如果对于每个正数 $\varepsilon$，存在一个自然数 $N$，使得对于所有满足 $n,m\ge N$ 的索引，对应项之间的距离满足 $|a_n-a_m|<\varepsilon$。

适用条件：序列由实数组成。；该条件必须对每个 $\varepsilon>0$ 成立。；阈值 $N$ 可以依赖于 $\varepsilon$。；两个索引 $n$ 和 $m$ 都必须大于或等于 $N$。

完备性公理指出，对于实数序列，成为柯西列在逻辑上等价于成为收敛列。这意味着每个柯西列都收敛于实数范围内的一个极限，暗示实数线上没有“洞”。

适用条件：序列由实数组成。；上下文是实数域 $\mathbb{R}$。

任意两项 $b_n$ 和 $b_m$（其中 $m > n$）之间的距离被区间 $[a_n, b_n]$ 的长度所限制。因为二分法在每一步将区间长度减半，所以该距离被 $\left(\frac{1}{2}\right)^{n-1}|b_1 - a_1|$ 所限制。

适用条件：$m > n \in \mathbb{N}$。；序列 $(a_n)$ 和 $(b_n)$ 是通过二分法构造的。；$b_n$ 是集合 $M$ 的上界，$a_n$ 是下界。