闭区间

闭区间 (Closed Interval)

闭区间是实分析中最基本的集合构造之一。给定实数 $a, b \in \mathbb{R}$ 且 $a \leq b$，闭区间 $[a, b]$ 定义为：

其关键特征是两个端点均包含在集合内部。与之对照，开区间 $(a, b) = \{ x \in \mathbb{R} \mid a < x < b \}$ 排除端点，而半开半闭区间 $[a, b)$ 和 $(a, b]$ 各含一端。当 $a = b$ 时，$[a, a] = \{a\}$ 退化为单点集（退化闭区间）；当 $a > b$ 时，区间为空集。

拓扑性质

在 $\mathbb{R}$ 的标准拓扑中，闭区间是紧集（compact set）的典范。根据 海涅-博雷尔定理，$\mathbb{R}^n$ 的子集是紧集当且仅当它是有界闭集。因此 $[a, b]$ 同时具备两个关键属性：

1. 有界性：存在 $M > 0$ 使得对所有 $x \in [a, b]$，有 $|x| \leq M$。
2. 闭性：区间包含其所有极限点。若序列 $\{x_n\} \subset [a, b]$ 收敛到 $x$，则 $x \in [a, b]$。

紧性保证了闭区间上一系列核心定理的成立。确界原理断言：非空有上界的实数子集必有上确界。在闭区间上，$\sup [a, b] = b$，且该上确界可达（即 $\max [a, b] = b$）；相比之下，开区间 $(a, b)$ 的上确界 $b$ 不可达，无最大值。这一差异在最优化问题中至关重要——紧可行域上的连续函数必存在全局最优解。

核心定理

闭区间的紧性使三个经典定理得以成立：

极值定理（Extreme Value Theorem）：若 $f: [a, b] \to \mathbb{R}$ 连续，则 $f$ 在 $[a, b]$ 上必取得最大值和最小值。这为非线性规划中紧集上连续目标函数最优解的存在性提供了数学基础。

介值定理（Intermediate Value Theorem）：若 $f: [a, b] \to \mathbb{R}$ 连续，且 $f(a) \cdot f(b) < 0$，则存在 $c \in (a, b)$ 使 $f(c) = 0$。该定理是二分法求根和不动点定理中 Brouwer 一维情形的核心。

一致连续性：闭区间上的连续函数必一致连续（Heine-Cantor 定理）。这意味着对任意 $\varepsilon > 0$，存在统一的 $\delta > 0$ 使 $|x - y| < \delta$ 蕴含 $|f(x) - f(y)| < \varepsilon$，无需依赖具体点。

套区间定理

闭区间的另一核心性质是套区间定理（Nested Interval Theorem）：设 $\{[a_n, b_n]\}_{n=1}^{\infty}$ 是一列非空闭区间，满足

则存在唯一的 $\xi \in \mathbb{R}$ 属于所有区间，即 $\bigcap_{n=1}^{\infty} [a_n, b_n] = \{\xi\}$。这一结论依赖于闭性——若换为开区间套，交集可能为空。套区间定理是实数完备性的等价表述之一，与确界原理、柯西收敛准则、Bolzano-Weierstrass 定理等价。

在经济学中的应用

闭区间在定量经济学中频繁出现：

• 策略空间：在 博弈论 中，企业选择产量 $q_i \in [0, \bar{Q}]$，闭区间作为策略空间保证 纳什均衡 的存在性（紧策略空间上的连续支付函数必有纯策略均衡，Glicksberg 定理）。
• 置信区间：统计学中的 置信区间 通常表示为闭区间 $[\hat{\theta} - z_{\alpha/2} \cdot \text{SE}, \hat{\theta} + z_{\alpha/2} \cdot \text{SE}]$，表明参数以给定概率落在该范围内。
• 预算集：消费者预算约束 $p_1 x_1 + p_2 x_2 \leq m$ 与 $x_i \geq 0$ 的交集是紧集，保证连续效用函数在该可行域上存在最大效用消费束。
• 动态规划：值函数迭代中，状态空间通常取为紧区间以确保 Bellman 算子有唯一不动点。

与其他概念的关联

闭区间与开区间、紧集、连通性、实数完备性构成紧密概念网络。在测度论中，闭区间 $[a, b]$ 的 勒贝格测度 为 $b - a$，与开区间 $(a, b)$ 相同——端点集 $\{a, b\}$ 是零测集，不影响区间长度。在拓扑学中，闭区间是既紧又连通的一维流形，是构造高维紧集（如 $[0,1]^n$）的基本积木。