水平集

水平集 (Level Set)

水平集 (Level Set) 是 多变量微积分 和 数学分析 中的一个基本概念。对于一个给定的实值函数，其水平集是指函数值等于某个特定常数的所有点的集合。该概念提供了一种将多维函数可视化的强大方式，在优化、物理学、经济学和计算机图形学等领域有广泛应用。

直观上，若将三维地形图视为函数 $f(x,y)$ 的图形，则水平集是海拔为常数 $c$ 的所有点的集合，从正上方俯瞰即构成 等高线 (Contour Line)。

定义

给定函数 $f: D \to \mathbb{R}$，其中定义域 $D \subseteq \mathbb{R}^n$，对常数 $c \in \mathbb{R}$，其水平集 $L_c(f)$ 定义为：

其中 $\mathbf{x} = (x_1, x_2, \ldots, x_n)$。

• 当 $n=1$ 时，水平集是实轴上满足 $f(x)=c$ 的点，通常为离散点集。
• 当 $n=2$ 时，水平集是平面上的曲线，称为 等高线 或等值线。
• 当 $n=3$ 时，水平集是空间曲面，称为 等值面 (Isosurface)。

典型例子

单变量情形：对 $f(x)=x^2$，$c=4$ 的水平集为 $\{-2, 2\}$；$c=0$ 为 $\{0\}$；$c=-1$ 为空集。

双变量情形：对 $f(x,y)=x^2+y^2$（抛物面），$c=1$ 的水平集是半径为 1 的圆 $x^2+y^2=1$；$c=0$ 仅为原点；$c<0$ 为空集。这些同心圆即为抛物面在不同高度的"水平切片"。

经济学实例：Cobb-Douglas生产函数 $Q(L,K)=100L^{0.7}K^{0.3}$ 的水平集构成 等产量线 (Isoquant)，表示所有产出相同产量 $Q=c$ 的投入组合。

三维情形：$f(x,y,z)=x^2+y^2+z^2$ 在 $c=9$ 的水平集是半径为 3 的球面。物理学中，点电荷电势函数 $V(x,y,z)=kq/r$ 的水平集构成同心 等势面 (Equipotential Surface)。

水平集与梯度

水平集的核心性质：在点 $\mathbf{x}_0$ 处，梯度 $\nabla f(\mathbf{x}_0)$ 垂直于 穿过该点的水平集。

梯度指向函数值增长最快的方向。若在水平集上沿光滑曲线 $\mathbf{r}(t)$ 移动，恒有 $f(\mathbf{r}(t))=c$。对 $t$ 求导并应用 链式法则：

梯度与曲线的 切向量 $\mathbf{r}'(t)$ 的 点积 为零，二者正交。因曲线在水平集上任意选取，梯度必垂直于水平集在该点的整个切平面。

主要应用

约束优化与拉格朗日乘数法：在 约束优化 问题中，约束条件 $g(x,y)=m$ 定义了函数 $g$ 的水平集。最优点处，目标函数的水平集（如 无差异曲线）与约束水平集相切，二者梯度平行：

这正是 拉格朗日乘数法 的核心原理。

隐式曲面与计算机图形学：方程 $f(x,y,z)=c$ 隐式定义曲面，无需显式三角剖分。例如 环面 可表示为 $(\sqrt{x^2+y^2}-R)^2+z^2=r^2$ 的水平集。水平集方法 (Level-set method) 即基于此思想的数值技术，广泛用于追踪拓扑变化的动态界面（如流体模拟）。

相关概念

• 下水平集 (Sublevel Set)：$S_c(f) = \{ \mathbf{x} \in D \mid f(\mathbf{x}) \le c \}$，函数值不超过 $c$ 的点的集合。
• 上水平集 (Superlevel Set)：$S^c(f) = \{ \mathbf{x} \in D \mid f(\mathbf{x}) \ge c \}$，函数值不小于 $c$ 的点的集合。

在 凸优化 中，函数是 凸函数 当且仅当其所有下水平集均为 凸集，这为凸性判断提供了几何视角。