上水平集

上水平集 (Upper Level Set / Superlevel Set)

设函数 $f: X \to \mathbb{R}$ 定义在集合 $X \subseteq \mathbb{R}^n$ 上，则对任意实数 $\alpha \in \mathbb{R}$，$f$ 的上水平集（upper level set，也称优集 superior set）定义为所有函数值不低于 $\alpha$ 的点的集合：

对称地，下水平集（lower level set）定义为 $L_{\alpha}(f) = \{x \in X \mid f(x) \leq \alpha\}$。上水平集与下水平集的概念是凸分析与最优化理论的基石，尤其在刻画函数的拟凹性（quasiconcavity）与拟凸性（quasiconvexity）中扮演核心角色：$f$ 是拟凹函数当且仅当其所有上水平集均为凸集；$f$ 是拟凸函数当且仅当其所有下水平集均为凸集。这一定义为经济学中大量仅依赖于序数性质的偏好与生产结构提供了精确的数学语言。

几何直觉与图形理解

从等高线的视角审视，上水平集就是函数图像中位于水平面 $z = \alpha$ 以上的区域在定义域上的投影。以二元函数 $f(x, y)$ 为例，其图像是三维空间中的曲面，而 $U_{\alpha}(f)$ 则是 $xy$-平面上所有使得曲面"不低于高度 $\alpha$"的点的集合。如果 $f$ 是凹函数，那么其上水平集必然是凸的，但拟凹性所需的条件远弱于凹性——上水平集为凸集并不要求函数本身弯曲的方向一致，仅要求"高于 $\alpha$ 的部分"在定义域上形成一个凸的区域。

经济学中的核心应用

在微观经济学中，上水平集是理解消费者理论与生产者理论不可或缺的工具。

偏好与效用：给定效用函数 $u(\cdot)$ 表示偏好关系 $\succsim$，则上轮廓集（upper contour set）$\{x \in X \mid u(x) \geq u(x_0)\}$ 即为效用函数在水平 $u(x_0)$ 处的上水平集，代表所有至少与 $x_0$ 同样好的消费束。偏好为凸当且仅当所有上轮廓集均为凸集——这一性质等价于效用函数为拟凹。这恰好刻画了边际替代率递减这一经典假设：消费者偏好"平均"而非"极端"的消费组合。

生产理论：在分析生产技术时，生产函数 $F(K, L)$ 的上水平集（即等产量线的上方区域）对应于能够产出至少某一水平的投入组合。边际技术替代率递减同样等价于生产函数的拟凹性假设。

风险与金融：在期望效用理论中，风险价值（Value at Risk, VaR）等风险度量可视为某些随机变量的上水平集的分位数表达，而条件风险价值（CVaR）的优化恰好涉及对损失函数上水平集的积分。

与相关概念的比较

上水平集与上图（epigraph）和下图（hypograph）密切相关但并不等同。函数 $f$ 的上图定义为 $\operatorname{epi}(f) = \{(x, t) \in X \times \mathbb{R} \mid f(x) \leq t\}$，是函数图形及图形上方区域在乘积空间中的表示。上水平集可视为上图在特定高度处的"横截面"投影。类似地，函数为凹当且仅当上图是凸集；函数为拟凹当且仅当所有上水平集是凸集——可见凹性对函数的限制明显强于拟凹性。

在最优化理论中的角色

在非线性规划中，约束条件常表示为一系列上水平集或下水平集的形式。例如约束 $g_i(x) \leq 0$ 本质上是 $g_i$ 在水平 $0$ 处的下水平集。当约束函数均为拟凸时，可行域（即下水平集的交集）为凸集，从而保证任何局部最优解亦为全局最优解。这一洞见是KKT条件及凸优化理论中"约束规范"（constraint qualification）讨论的出发点。在单调比较静态分析（Topkis定理、超模博弈）中，上水平集与格（lattice）结构的互动为无需可微假设的比较静态提供了基础框架。