# 下等高线集 (Lower Contour Set)
下等高线集 (Lower Contour Set)，在{{{数学}}}中也称为 子水平集 (Sublevel Set)，是一个用于描述实值函数几何特性的基本概念。它在{{{最优化理论}}}、{{{微观经济学}}}和{{{数理统计}}}等领域中扮演着至关重要的角色。简而言之，一个函数的下等高线集是指其定义域中所有使得函数值小于或等于某个特定值的点的集合。
## 形式化定义
设 $f$ 是一个定义在集合 $X$ 上的实值函数，其中 $X$ 是 $n$ 维欧几里得空间 $\mathbb{R}^n$ 的一个子集，即 $f: X \to \mathbb{R}$。对于任意一个实数 $\alpha$，函数 $f$ 对应于 $\alpha$ 的 下等高线集 被定义为：
$$ L_{\le \alpha} = \{ x \in X \mid f(x) \le \alpha \} $$
这个集合 $L_{\le \alpha}$ 包含了定义域 $X$ 中所有能使函数 $f$ 的取值“不超过” $\alpha$ 的点 $x$。
与之相关的概念有：
* 严格下等高线集 (Strict Lower Contour Set)： $$ L_{< \alpha} = \{ x \in X \mid f(x) < \alpha \} $$
* {{{上等高线集}}} (Upper Contour Set)： $$ L_{\ge \alpha} = \{ x \in X \mid f(x) \ge \alpha \} $$
* {{{等高线集}}} (Level Set) 或 等值线 (Contour Line)： $$ L_{= \alpha} = \{ x \in X \mid f(x) = \alpha \} $$
从定义可以看出，下等高线集 $L_{\le \alpha}$ 是其对应的严格下等高线集 $L_{< \alpha}$ 和等高线集 $L_{= \alpha}$ 的并集。几何上，我们可以将其理解为位于“等值线” $f(x)=\alpha$ “下方”或“内部”的所有点的集合（包括该等值线本身）。
## 与函数凸性的核心关系
下等高线集最重要的作用是作为判断与分析函数 {{{拟凸性}}} (Quasiconvexity) 的工具。这是连接函数代数形式与几何形状的关键桥梁。
定义：一个函数 $f: X \to \mathbb{R}$（其中定义域 $X$ 为一个{{{凸集}}}）被称为 {{{拟凸函数}}} (Quasiconvex Function)，当且仅当对于所有的实数 $\alpha$，其所有的 下等高线集 $L_{\le \alpha}$ 都是{{{凸集}}}。
回顾一下，一个集合 $S$ 是凸集，意味着对于集合中的任意两点 $x_1, x_2 \in S$，连接这两点的线段上的所有点也都属于该集合。即对于任意 $\theta \in [0, 1]$，都有 $\theta x_1 + (1-\theta)x_2 \in S$。
这一关系的重要性在于:
1. 最优化问题：在{{{最优化理论}}}中，如果要最小化一个目标函数 $f(x)$，当该函数是拟凸函数时，任何一个{{{局部最优解}}}都同时是{{{全局最优解}}}。这个性质极大地简化了求解过程，因为我们不必担心陷入一个非全局最优的“局部陷阱”。通过检查目标函数的下等高线集是否为凸集，我们就可以判断它是否为拟凸函数，从而了解该优化问题的良好性质。
2. 与凸函数的关系：所有{{{凸函数}}} (Convex Function) 都是拟凸函数，但反之不成立。也就是说，“下等高线集为凸集”是一个比“函数是凸函数”更弱的条件。这意味着拟凸性可以描述更广泛的一类在最优化中表现良好的函数。
类似地，一个函数是 {{{拟凹函数}}} (Quasiconcave Function)，当且仅当其所有的 上等高线集 $L_{\ge \alpha}$ 都是凸集。
## 在经济学中的应用
下等高线集及其与拟凸性/拟凹性的关联是现代微观经济分析的基石。
### 1. 消费者理论 (Consumer Theory)
在{{{消费者理论}}}中，我们使用{{{效用函数}}} $U(x)$ 来表示消费者从消费一个{{{消费束}}} (consumption bundle) $x$ 中获得的满足程度。这里，$x$ 是一个包含各种商品数量的向量，如 $x = (x_1, x_2, \dots, x_n)$。
* 一个效用水平为 $\bar{U}$ 的{{{无差异曲线}}} (Indifference Curve) 正是效用函数的 等高线集：$\{ x \mid U(x) = \bar{U} \}$。 * 该效用函数的 上等高线集 $\{ x \mid U(x) \ge \bar{U} \}$ 表示所有被认为“至少与无差异曲线上的消费束一样好”的消费束集合，经济学上称为“偏好集”(Preferred Set)。 * 而效用函数的 下等高线集 $\{ x \mid U(x) \le \bar{U} \}$ 则表示所有被认为“不优于”无差异曲线上消费束的集合。
经济学中一个标准的假设是消费者的偏好是“凸的”，即消费者偏好将两种消费束进行多样化组合，而不是完全只消费其中一种。这一偏好假设在数学上等价于：效用函数的 上等高线集 必须是 凸集。根据定义，这意味着一个具有凸偏好的消费者的{{{效用函数}}}必须是一个 拟凹函数。因此，通过研究效用函数的上/下等高线集，经济学家可以对消费者的行为模式进行精确的数学刻画。
### 2. 生产者理论 (Producer Theory)
在{{{生产者理论}}}中，下等高线集同样有广泛应用。
* 成本函数：考虑一个{{{成本函数}}} $C(q)$，它表示生产产出量 $q$ 所需的最小成本。下等高线集 $\{ q \mid C(q) \le \bar{C} \}$ 代表了所有能够以不超过预算 $\bar{C}$ 的成本生产出来的产出水平的集合。如果成本函数是{{{拟凸函数}}}，那么这个集合对于任何 $\bar{C}$ 都是一个区间（凸集），这符合经济直觉。
* 生产函数：考虑一个{{{生产函数}}} $F(K, L)$，它表示投入资本 $K$ 和劳动 $L$ 所能生产的最大产出。 * 一条{{{等产量线}}} (Isoquant) 对应于生产函数的 等高线集 $\{ (K, L) \mid F(K, L) = \bar{q} \}$。 * 下等高线集 $\{ (K, L) \mid F(K, L) \le \bar{q} \}$ 表示所有产生不多于 $\bar{q}$ 产出的资本和劳动组合。通常，在生产者理论中，我们更关心能产生至少 $\bar{q}$ 产出的投入组合，即 上等高线集。如果这个上等高线集是凸集，则意味着生产函数是 拟凹函数，这在经济上对应于“边际技术替代率递减”的特性。
## 总结
下等高线集 是一个看似简单但功能强大的数学工具。它将函数的代数性质与定义域上的几何形态联系起来。其核心价值在于，通过考察一个函数所有下等高线集的{{{凸性}}}，我们可以直接判断该函数是否为{{{拟凸函数}}}。这一特性在{{{最优化理论}}}中保证了局部最优即全局最优，在{{{微观经济学}}}中则为理性人假设（如凸的偏好、规模报酬递减等）提供了严谨的数学基础。因此，理解下等高线集是深入学习高级经济学、金融学和运筹学等领域的必备知识。