区间套定理通俗理解：从几何直觉到数学严谨性的跨越

📌 核心定义

设有一列闭区间 [a₁, b₁], [a₂, b₂], ..., [aₙ, bₙ], ...，如果它们满足以下两个条件：

• 嵌套性：后一个区间完全包含在前一个区间内，即 [aₙ₊₁, bₙ₊₁] ⊆ [aₙ, bₙ]。这意味着左端点单调递增，右端点单调递减。
• 收缩性：区间的长度趋于零，即当 n → ∞ 时，(bₙ - aₙ) → 0。

那么，存在唯一的一个实数 ξ，使得它属于所有的这些闭区间。即：

其中 aₙ ≤ ξ ≤ bₙ 对所有 n 成立。

证明步骤：

第一步：构造单调数列
由嵌套性 [aₙ₊₁, bₙ₊₁] ⊆ [aₙ, bₙ] 可知：

数列 {aₙ} 单调递增且有上界（如 b₁），数列 {bₙ} 单调递减且有下界（如 a₁）。

第二步：应用单调有界原理
根据实数完备性，{aₙ} 收敛于某实数 ξ，{bₙ} 收敛于某实数 η。

第三步：证明 ξ = η
已知 lim(bₙ - aₙ) = 0，即 lim bₙ - lim aₙ = 0，故 η - ξ = 0，即 η = ξ。

第四步：验证包含关系
对于任意 n，当 m > n 时，aₙ ≤ aₘ ≤ bₘ ≤ bₙ。取极限 m → ∞，得 aₙ ≤ ξ ≤ bₙ。因此 ξ 属于所有区间。

第五步：唯一性
若有另一个点 ξ' 也属于所有区间，则 |ξ - ξ'| ≤ bₙ - aₙ。令 n → ∞，得 |ξ - ξ'| = 0，故 ξ = ξ'。

1. 证明实数集的不可数性（康托尔对角线法）

这是数学史上最优美的证明之一。康托尔利用区间套思想证明了实数比自然数“多”。

• 假设 [0, 1] 区间内的实数是可数的，可以将它们排成一列 r₁, r₂, r₃...
• 构造一个区间 I₁ 排除掉 r₁。
• 在 I₁ 中构造更小的区间 I₂ 排除掉 r₂。
• 如此继续，得到一个区间套 {Iₙ}，其交集包含一个实数 ξ。
• 但 ξ 不等于任何 rₙ（因为每个 rₙ 都在某一步被排除了）。
• 这与“所有实数都已列出”矛盾。故实数不可数。

2. 闭区间上连续函数的性质

在证明有界性定理、最大值最小值定理和介值定理时，区间套定理是强有力的工具。

反证法示例（有界性）： 假设 f(x) 在 [a,b] 上连续但无界。将 [a,b] 二等分，必有一半区间上 f(x) 无界。继续二分，得到区间套。由区间套定理，存在唯一公共点 c。利用 f(x) 在 c 处的连续性，会导致矛盾（局部有界 vs 全局无界）。

3. 不动点定理的直观理解

虽然压缩映射原理更常用，但简单的连续函数不动点存在性也可通过区间套思想辅助理解。如果函数 f: [a,b] → [a,b] 连续，我们可以通过不断缩小包含不动点的区间来逼近它。