闭区间套定理的“闭”字——解构闭区间套闭字的数学逻辑与深层意蕴

考察开区间列：(0, 1), (0, ½), (0, ⅓), ..., (0, 1/n), ...
① 显然嵌套：(0, 1/(n+1)) ⊂ (0, 1/n)
② 长度：1/n → 0（趋于零）
但所有开区间的交集为：⋂ₙ₌₁^∞ (0, 1/n) = ∅（空集）！
为何？因为 0 虽是“极限位置”，却不在任何一个开区间内——开区间不包含端点，导致极限点“无家可归”。

• 长度变化：l₁ = 2, l₂ = 0.5, l₃ = 0.2, l₄ = 0.05, ... ⇒ lₙ = 2 × (1/4)ⁿ⁻¹ → 0
• 嵌套性：显然 [aₙ₊₁, bₙ₊₁] ⊂ [aₙ, bₙ]
• 极限点：解方程组 aₙ → ξ, bₙ → ξ，得 ξ = 4/3 ≈ 1.333...
• 闭字体现：ξ = 4/3 ∈ [aₙ, bₙ] 对所有 n 成立——若为开区间，4/3 可能不在交集中

• Step 1：f(1) = −1 < 0, f(2) = 5 > 0 ⇒ 根在 [1, 2]
• Step 2：中点 x₁ = 1.5, f(1.5) = 0.875 > 0 ⇒ 根在 [1, 1.5]
• Step 3：x₂ = 1.25, f(1.25) ≈ −0.296 < 0 ⇒ 根在 [1.25, 1.5]
• ... 重复得区间套 [aₙ, bₙ]，满足：
• [aₙ₊₁, bₙ₊₁] ⊆ [aₙ, bₙ]（由中点选择保证）
• bₙ − aₙ = (2−1)/2ⁿ⁻¹ → 0

由闭区间套定理，存在唯一 ξ ∈ ⋂[aₙ, bₙ]，且 f(ξ) = 0。

• 构造区间 Iₙ = [aₙ, bₙ]，其中 aₙ = inf{xₖ | k ≥ n}, bₙ = sup{xₖ | k ≥ n}
• 易证：I₁ ⊇ I₂ ⊇ ...，且 bₙ − aₙ → 0（因 {xₙ} 单调增且有界）
• 由定理，存在唯一 ξ ∈ ⋂Iₙ，即 limₙ→∞ xₙ = ξ = e

此处“闭”保证了上下确界 aₙ, bₙ 属于对应集合的闭包，使极限点被“捕获”。

• 嵌套性：成立（(0, 1/(n+1)) ⊂ (0, 1/n)）
• 长度：1/n → 0
• 但 ⋂ₙ₌₁^∞ (0, 1/n) = ∅ —— 无公共点！
• 原因：0 是极限点，但 0 ∉ (0, 1/n) 对任意 n

结论：“闭”字缺失，导致交集为空。这反向证明了定理前提中“闭”的不可或缺性。