有界闭集

有界闭集 (Bounded Closed Set)

有界闭集 (Bounded Closed Set) 是数学分析和拓扑学中兼具"有界性"与"闭性"的集合，是刻画紧集在欧氏空间中等价条件的核心概念。直观上，有界性保证集合不会"延伸到无穷远"，闭性保证集合包含其所有极限点，两者结合为最优化理论中解的存在性提供了基本框架。

定义与等价刻画

设 $(X, d)$ 为度量空间，$A \subseteq X$。

• $A$ 称为有界 (bounded)，若存在 $x_0 \in X$ 及常数 $M > 0$，使得对任意 $x \in A$ 有 $d(x, x_0) \le M$。等价地，$A$ 的直径 $\operatorname{diam}(A) = \sup_{x,y \in A} d(x,y)$ 为有限值。
• $A$ 称为闭集 (closed set)，若 $A$ 包含其所有极限点；或等价地，$A$ 的补集为开集；也可用序列刻画：若 $A$ 中任意收敛序列的极限仍在 $A$ 中，则 $A$ 为闭集。

在 $\mathbb{R}^n$（配备欧氏度量）中，有界闭集具有更具体的几何刻画：一个集合为有界闭集当且仅当它可被包含于某个足够大的闭球内，且包含了自身的边界。

Heine-Borel 定理

有界闭集与紧集的关系由经典的海涅-博雷尔定理（Heine-Borel Theorem）给出：在 $\mathbb{R}^n$（标准拓扑）中，集合 $K$ 为紧集当且仅当 $K$ 为有界闭集。此处紧性定义为"任意开覆盖存在有限子覆盖"，即海涅-博雷尔性质。

该定理的关键在于：$\mathbb{R}^n$ 是完备度量空间，且其有界闭子集满足列紧性（任意序列存在收敛子列）。具体证明分两步：

• 有界闭集 $\Rightarrow$ 列紧：因 $\mathbb{R}^n$ 的有界集必含于某闭超立方体，反复二等分超立方体的各边可得一个收敛到该立方体某点的子列，闭性保证该极限属于原集合。
• 列紧 $\Rightarrow$ 紧：列紧性等价于完备且完全有界，而完全有界性推出开覆盖的有限子覆盖存在性。

有界闭集与紧集的差异

值得注意的是，在一般的度量空间中，有界闭集未必是紧集。典型反例为无穷维赋范空间中的单位闭球：考虑 $\ell^2$ 空间（平方可和序列空间）中的单位闭球 $B = \{x \in \ell^2 \mid \|x\| \le 1\}$，其标准正交基序列 $e_n = (0,\ldots,1,0,\ldots)$ 无收敛子列，故 $B$ 虽为有界闭集，却非紧集。

这一差异说明了 Heine-Borel 定理中的有限维条件是本质性的：只有在 $\mathbb{R}^n$ 或有限维Banach空间中，有界闭集才等价于紧集。这是 Riesz 引理的核心推论：一个赋范空间为有限维当且仅当其单位闭球为紧集。

基本性质

有界闭集具有以下重要性质：

第一，交运算封闭性：任意一族有界闭集的交集仍为有界闭集（闭性始终封闭，有界性在交集上保持）。

第二，有限并封闭性：有限个有界闭集的并集仍为有界闭集，但无限并可破坏有界性。

第三，连续函数下的像：连续函数将有界集映为有界集（在有界性要求下），但闭集在连续映射下的像未必为闭集。然而，若定义域为紧集（即在 $\mathbb{R}^n$ 中即有界闭集），连续映射下的像既紧（有界且闭）。

第四，笛卡尔积：有限个有界闭集的笛卡尔积仍为有界闭集。

魏尔斯特拉斯极值定理

在经济学和优化理论中，有界闭集/紧集最重要的应用是魏尔斯特拉斯定理（Weierstrass Extreme Value Theorem）：若 $f: K \to \mathbb{R}$ 为连续函数，且 $K \subseteq \mathbb{R}^n$ 为有界闭集（紧集），则 $f$ 在 $K$ 上达到最大值与最小值。即存在 $x_*, x^* \in K$ 使得：

该定理是消费者理论（预算集为有界闭集时，连续效用函数存在最优消费束）、生产理论（技术可行集为有界闭集时，利润最大化解存在）以及一般均衡理论中均衡存在性证明的数学基石。

更一般地，若将连续性弱化为下半连续性，紧集上的下半连续函数仍能达到其下确界；类似地，上半连续函数在紧集上可达其上确界。

在经济学中的典型用例

• 预算集：标准瓦尔拉斯预算集 $B(p, w) = \{x \in \mathbb{R}_+^n \mid p \cdot x \le w\}$（$p \gg 0$，$w > 0$）在 $\mathbb{R}_+^n$ 的非负象限中为有界闭集，保证了效用最大化问题的解存在。
• 生产可能集：在生产函数满足 Inada 条件时，等产量线与预算超平面的交通常构成有界闭集，从而成本最小化问题有解。
• 博弈论中的策略空间：纳什均衡存在性定理（如 Debreu-Glicksberg-Fan 定理）要求策略空间为紧凸集（在 $\mathbb{R}^n$ 中即有界闭凸集），且支付函数满足适当的连续性/拟凹性条件。

与相关概念的逻辑链

有界闭集处于分析学概念链的中枢位置。从拓扑角度看，$\mathbb{R}^n$ 中：有界闭集 $\Leftrightarrow$ 紧集 $\Rightarrow$ 列紧 $\Rightarrow$ 完备且完全有界（一般度量空间中后三者等价）。从序结构角度，有界闭区间 $[a,b]$ 同时具备序完备性（最小上界性质）和拓扑紧性。在更抽象的框架中，下半连续函数在紧集上达到下确界的性质将闭集、紧集与半连续性串联为一个完备的理论体系，为数学经济学提供了不可替代的论证工具。