闭区间套定理的作用

连续函数的重要性质证明

闭区间套定理的作用在证明连续函数的全局性质时尤为关键。

示例1：有界性定理

命题：若 f(x) 在闭区间 [a, b] 上连续，则 f(x) 在 [a, b] 上有界。

证明思路（反证法）：

• 假设 f(x) 无界。将 [a, b] 二等分为 [a, c] 和 [c, b]。
• 至少有一个子区间上 f(x) 无界。选取该子区间为 [a_1, b_1]。
• 重复二分，得到一列闭区间套 [a_n, b_n]，且 f(x) 在每个区间上都无界。
• 由闭区间套定理，存在唯一 ξ ∈ ∩[a_n, b_n]。
• 由于 f 在 ξ 处连续，应有界，这与构造矛盾。故假设不成立，f(x) 必有界。

示例2：零点定理（介值定理的特例）

命题：若 f(a)·f(b) < 0，且 f 在 [a, b] 连续，则存在 ξ ∈ (a, b) 使得 f(ξ) = 0。

证明思路：

• 取中点 c，若 f(c)=0 则证毕。
• 若 f(c) ≠ 0，则 f(a)·f(c) < 0 或 f(c)·f(b) < 0。选取符号相反的区间作为新的 [a_1, b_1]。
• 构造区间套，由定理得唯一 ξ。
• 由连续性 f(ξ) = lim f(a_n) = lim f(b_n) = 0。

算法与数值计算

在实际应用中，闭区间套定理的作用体现为二分法（Bisection Method）的理论基础。

• 算法原理：通过不断缩小区间范围来逼近方程的根。
• 收敛性保证：定理保证了只要初始区间满足条件，算法产生的区间序列必然收敛到一个实数解。
• 误差估计：第 n 步的误差上限为 (b-a)/2^n，这为计算机数值解提供了严格的精度控制依据。

例如，在求解 f(x) = x^3 - x - 1 = 0 的根时，我们可以在 [1, 2] 之间使用二分法，每次迭代将误差减半，直到达到所需的精度。