概念

实数连续性

确界原理、单调收敛、区间套与聚点定理互相等价，共同刻画实数的完备性，是极限理论成立的根本保证。

阅读路径

参考可汗学院 Get ready 机制：先修概念 → 当前概念 → 进阶概念，✓ 表示已读。

实数连续性数系理论

01定义

实数的完备性有一组互相等价的刻画：确界原理、单调有界收敛、区间套定理、聚点定理、柯西收敛准则。它们共同断言「实数没有缝隙」，是极限理论成立的根本保证。

区间套：逐层嵌套的闭区间必缩出至少一点

确界原理 ⇔ 单调有界收敛 ⇔ 区间套 ⇔ 聚点定理（B-W）⇔ 柯西准则 ⇔ 有限覆盖定理——六者互为推论，构成完备性的多面体。

连续函数取遍中间值、闭区间连续函数有最值——分析学的基本定理全部依赖完备性； $\mathbb{Q}$ 上它们纷纷失效。

完备的阿基米德有序域在同构意义下唯一——实数系是「满足这些性质的唯一数系」，这赋予整个微积分确定性。

\sup A\in\mathbb{R}\quad(A\subset\mathbb{R}\ \text{非空有上界})

波尔查诺 1817 年首先用确界原理证明介值定理；1872 年戴德金与康托尔完成实数构造，把连续性从几何直觉变为定理——分析学自此立于坚实地基。

微积分一切存在性结论（最值、零点、积分）的理论保证；数值方法收敛性分析；经济学不动点定理（均衡存在性）依赖完备空间。

实数连续性：区间套定理嵌套闭区间长度 → 0，交集恰为一点（完备性等价形式）

n 嵌套层数3