1 基本定义
1.1 子水平集的定义
子水平集是用来描述函数值不超过某一给定阈值的点所组成的集合。设 \(f:X\to \mathbb{R}\) 是定义在集合 \(X\) 上的实值函数，给定实数 \(c\)，则与 \(c\) 对应的子水平集通常记为 \[ \{x\in X: f(x)\le c\}. \] 它反映了函数在某一高度以下的“低洼区域”，是分析函数图像时常用的集合对象。
1.1.1 非严格子水平集
非严格子水平集指满足不等式 \(f(x)\le c\) 的点集。这里允许函数值恰好等于阈值 \(c\)，因此它包含边界上的点。许多文献在默认情形下提到“子水平集”时，通常指的就是这一形式。
1.1.2 严格子水平集
严格子水平集是指满足 \(f(x)< c\) 的点集。由于使用严格不等式，这一集合往往不包含边界点。为了区分，常会在文字中明确说明“严格”二字，或用不同符号加以表示。
1.2 相关概念
子水平集与若干基础概念密切相关，尤其是水平集、上水平集以及等值线、等值面等。它们共同构成了对函数取值结构的几何描述体系。
1.2.1 水平集
水平集是指满足 \(f(x)=c\) 的点集，也称等值集。它通常位于子水平集的边界附近，用于刻画函数取某一固定值的位置。与子水平集相比，水平集更强调“恰好达到”某个数值。
1.2.2 上水平集
上水平集是指满足 \(f(x)\ge c\) 的点集。它与子水平集方向相反，描述的是函数值不低于阈值的区域。二者常被并列使用，用来分析函数在不同阈值下的分布。
1.2.3 等值线与等值面
在二维平面中，函数的等值线用于表示函数值恒定的曲线；在三维及更高维情形中，则常说等值面。子水平集通常可以看作由若干等值线或等值面包围、填充而成的区域，因此在几何直观上，它与这些对象关系紧密。
1.3 记号与表示方法
子水平集的记号通常较为统一，但在不同学科和文献中，也会出现若干变体。其核心仍是通过不等式给出集合条件。
1.3.1 集合构造式表示
最常见的写法是 \[ \{x\in X: f(x)\le c\}, \] 也可写作 \[ \{f\le c\}. \] 若讨论严格子水平集，则写为 \[ \{x\in X: f(x)<c\}. \] 这种构造式表达简明直接，便于在定理和证明中引用。
1.3.2 函数图像中的表达
从图像角度看，子水平集对应于函数图像在某一高度平面以下的投影区域。对于一元函数，它表现为横轴上满足条件的自变量区间；对于多元函数，则表现为平面或空间中的一个区域。通过图像观察，常可快速判断子水平集的连通性和边界形态。
2 几何与直观理解
2.1 直观含义
子水平集的直观理解十分直接：它是“函数值低于某个门槛”的所有点的集合。这样的解释使其在初学分析时尤其容易把握。
2.1.1 “低于阈值”的点集
若将阈值 \(c\) 看作一条分界线，那么子水平集就是落在这条线以下的所有点。这个分界思想在最优化和图像分析中都十分常见，因为它对应着“可接受区域”或“低能量区域”。
2.1.2 阈值变化下的集合演化
当阈值逐渐增大时，子水平集通常会不断扩张；当阈值降低时，集合则会收缩。由此可见，子水平集随阈值变化呈现出一种有序的层次结构，便于研究函数随参数变化的整体趋势。
2.2 几何特征
子水平集不仅是一个集合，也常体现出明显的几何性质，例如边界位置、内部结构以及整体形状。
2.2.1 边界与内部
子水平集的边界往往与对应的水平集密切相关。若函数连续，边界常出现在 \(f(x)=c\) 附近；而其内部则多由严格满足 \(f(x)<c\) 的点构成。不同函数的边界可能平滑，也可能呈现折线状或碎片化结构。
2.2.2 连通性与形状变化
某些函数的子水平集是连通的，甚至是凸的；另一些函数则可能产生多个彼此分离的部分。随着阈值改变，这些区域可能合并、分裂或产生新的连通分支，因此子水平集也是研究形状演化的重要工具。
2.3 典型示意
在具体例子中，子水平集的形态往往更容易理解。不同维数下，它们呈现出不同的视觉特征。
2.3.1 一元函数情形
对于一元函数，子水平集通常是实数轴上的若干区间。若函数为抛物线，阈值较低时可能得到一个有限区间，阈值较高时则扩展为更大的区间，甚至整个定义域。
2.3.2 二元函数情形
对于二元函数，子水平集通常是平面中的区域。例如圆锥面、抛物面或椭圆型函数的子水平集，往往对应圆盘、椭圆域或其他闭区域，具有较强的可视化特征。
3 基本性质
3.1 单调性
子水平集对阈值具有明显的单调依赖关系，这是其最基本的结构性质之一。
3.1.1 阈值增大时的包含关系
若 \(c_1\le c_2\)，则有 \[ \{x: f(x)\le c_1\}\subseteq \{x: f(x)\le c_2\}. \] 也就是说，阈值越大，允许进入集合的点越多，因此子水平集只会变大，不会缩小。
3.1.2 阈值减小时的缩小关系
当阈值从 \(c_2\) 降到 \(c_1\) 时，原先满足条件的部分点可能被排除出去，子水平集因此收缩。这种“嵌套”关系使得一族子水平集可以被视为按阈值排序的集合链。
3.2 拓扑性质
子水平集与拓扑结构关系紧密，尤其是在讨论开集、闭集以及连续映射时更为明显。
3.2.1 开集与闭集的条件
对于连续函数，严格子水平集 \(\{x: f(x)<c\}\) 常为开集；非严格子水平集 \(\{x: f(x)\le c\}\) 常为闭集。这一性质在拓扑分析中十分重要，因为它将函数的代数表达与集合的拓扑性质联系起来。
3.2.2 与连续性的关系
函数的连续性可以通过子水平集的开闭行为来观察。若函数连续，则它与开集、闭集的原像关系良好，因而子水平集往往具有较规整的拓扑性质。反之，若子水平集表现出异常的开闭结构，常提示函数可能存在不连续点。
3.2.3 与下半连续性的关系
下半连续函数的一个核心刻画方式，就是其所有子水平集都是闭集。这个性质使得子水平集成为分析下半连续性的重要工具，也常用于构造证明与判别条件。
3.3 代数性质
在集合运算与函数变换下，子水平集也表现出一些简洁的代数规律。
3.3.1 交并运算下的性质
若考虑多个函数或多个阈值，子水平集之间往往可以通过交集、并集进行组合描述。例如，对若干函数取最大值或最小值时，相应子水平集会与各自子水平集之间建立直接联系。这类性质在复合分析中很常见。
3.3.2 平移与缩放下的变化
若将函数整体加上常数，子水平集会随阈值同步平移；若对函数进行正比例缩放，则子水平集的阈值也相应缩放。这样的变化规律使得子水平集在研究归一化、变量替换和尺度分析时较为方便。
4 与函数性质的关系
4.1 连续函数
对子水平集来说，连续性是最常讨论的函数性质之一，因为它直接决定了集合的边界和开闭特征。
4.1.1 连续性与闭子水平集
若函数连续，则非严格子水平集通常是闭集。这可以由连续函数对闭集的原像仍为闭集这一事实推出。由此，连续函数的子水平集具有较好的拓扑稳定性。
4.1.2 反例与边界情况
并非所有函数都具有良好的子水平集闭性。例如，一些不连续函数的子水平集可能既不是开集也不是闭集，边界点的行为也会较为复杂。这些反例说明，子水平集的性质能够反映函数是否平滑或规整。
4.2 下半连续函数
下半连续性与子水平集的关系尤为紧密，几乎可以互相表述。
4.2.1 子水平集的闭性刻画
一个函数是下半连续的，往往等价于它的所有非严格子水平集都是闭集。这种刻画在泛函分析和优化理论中非常常用，因为它把函数性质转化为集合性质，便于处理极限过程。
4.2.2 在分析中的应用
下半连续函数的子水平集闭性有助于证明极小值存在、研究逼近序列，以及分析某些极限泛函的稳定性。由于闭集更适合进行极限论证，因此这一性质在现代分析中十分有用。
4.3 凸函数
凸函数的子水平集具有特别整齐的结构，这也是其在优化中广泛使用的重要原因。
4.3.1 凸函数子水平集的凸性
若函数是凸的，则其子水平集通常也是凸集。换言之，集合中任意两点连线上的点仍保持在集合内。这个性质将函数的凸性转化为集合的几何凸性。
4.3.2 与凸优化的联系
在凸优化中，目标函数的子水平集常用于描述可行区域和约束区域。若这些集合保持凸性，问题通常更易于分析，且最优解结构也更清晰。因此，子水平集是连接函数理论与凸优化理论的桥梁。
5 在微积分中的应用
5.1 极值问题
在求极值时，子水平集提供了描述“可接受解”的自然方式，尤其适合处理带约束的最优化问题。
5.1.1 可行域描述
当某些变量必须满足 \(f(x)\le c\) 这类条件时，子水平集就是对应的可行域。通过研究该集合的大小、形状和边界，可以了解问题是否存在解以及解的可能范围。
5.1.2 最优化约束中的角色
在最优化约束中，子水平集常作为候选解所在的区域，或用于构造逐步逼近最优值的序列。它能够帮助判断某个阈值是否可达到，从而为寻找最优解提供方向。
5.2 多变量函数分析
对于多变量函数，子水平集是理解函数整体几何结构的重要手段。
5.2.1 通过子水平集研究函数形状
不同阈值下的子水平集可以拼接出函数图像的层次轮廓。通过观察这些区域如何扩张、收缩或断裂，常可推测函数的起伏、谷底与峰值分布。
5.2.2 临界点附近的变化
在临界点附近，子水平集可能出现形状突变，例如边界变平、区域合并或分裂。微积分中常借助这些变化来理解函数在极值点附近的局部结构。
5.3 等值结构的辅助工具
子水平集与等值结构配合使用时，往往能更全面地反映函数的局部和整体特征。
5.3.1 与梯度方向的关系
在光滑函数情形下，梯度通常指向函数增长最快的方向，因此与子水平集的边界法向关系密切。沿梯度反方向移动，往往更容易进入更低的子水平区域。
5.3.2 与切平面分析的关系
切平面可以近似描述函数在某点附近的变化，而子水平集则从集合角度展示该点周围哪些位置仍满足给定阈值。两者结合，能更好地理解局部近似与全局区域之间的联系。
6 在优化与分析中的应用
6.1 凸优化
子水平集在凸优化中占据核心位置，常用于描述可行性和目标函数行为。
6.1.1 可行集与目标函数
很多优化问题可转化为寻找某一子水平集中的最优点。若目标函数的低值区域具有良好结构，就能借助集合性质来组织求解过程。
6.1.2 最优解存在性的讨论
当目标函数的子水平集是闭的且满足适当的有界性条件时，常可配合紧致性论证最优解的存在。此类思路是优化理论中的经典方法之一。
6.2 变分法
在变分法中，子水平集常用于研究泛函的能量分布与序列收敛问题。
6.2.1 能量泛函的子水平集
能量泛函的子水平集表示“能量不超过某值”的所有状态。通过考察这些集合，可以分析系统可能达到的稳定状态，以及低能量解的结构。
6.2.2 紧致性与收敛性分析
在变分问题中，若子水平集具有较好的紧致性质，往往有助于抽取收敛子列，从而证明极小化序列存在极限。这种方法广泛用于证明解的存在性。
6.3 测度论与可测性
子水平集也是可测函数理论中的基本工具，因为很多可测性定义正是通过这些集合来刻画的。
6.3.1 可测函数的判定思路
一个函数是否可测，常可通过其子水平集是否属于某个可测集合族来判断。由于不等式形式便于处理，这种方法在理论与应用中都很常见。
6.3.2 可测集合族中的作用
在研究集合族闭包性质时，子水平集经常作为生成元素出现。通过它们，可以建立函数与σ-代数之间的联系，从而把函数问题转化为集合问题。
7 典型例子
7.1 一元函数的子水平集
一元函数下的子水平集最容易用实数轴上的区间来理解。
7.1.1 抛物线函数示例
对函数 \(f(x)=x^2\)，其子水平集 \(\{x:x^2\le c\}\) 在 \(c<0\) 时为空集，在 \(c\ge 0\) 时为区间 \([-\sqrt c,\sqrt c]\)。这一例子清楚展示了阈值与集合大小之间的关系。
7.1.2 分段函数示例
对分段函数，子水平集常表现为多个区间的并集。由于不同区段的表达式不同，集合边界也可能出现跳跃，体现出分段结构对几何形态的影响。
7.2 二元函数的子水平集
二元函数的子水平集更能体现平面区域的轮廓特征。
7.2.1 圆锥面示例
若 \(f(x,y)=x^2+y^2\)，则子水平集为 \(\{(x,y):x^2+y^2\le c\}\)。当 \(c\ge 0\) 时，这对应以原点为中心、半径为 \(\sqrt c\) 的圆盘；当 \(c<0\) 时则为空集。
7.2.2 圆盘与椭圆区域示例
若 \(f(x,y)=ax^2+by^2\) 且 \(a,b>0\)，则子水平集通常是椭圆形区域。不同系数决定了区域在各方向上的伸缩程度，因此子水平集也能反映函数的各向异性。
7.3 特殊函数
一些特殊函数的子水平集非常简单，却具有代表性。
7.3.1 常值函数
若 \(f(x)\equiv k\) 为常值函数，则当 \(c<k\) 时子水平集为空集；当 \(c\ge k\) 时，子水平集就是整个定义域。这种情形说明阈值与函数值完全对应时，集合结构最为简单。
7.3.2 指示函数
指示函数的子水平集通常只会在几个离散阈值上发生变化。例如，若函数取值仅为 \(0\) 和 \(1\)，则阈值位于不同区间时，子水平集会在空集、原集合或整个定义域之间切换，结构十分清晰。
8 相关定理与命题
8.1 子水平集与连续性判别
子水平集不仅可用于描述函数，也可反过来作为判别函数性质的工具。
8.1.1 开闭性命题
连续函数的严格子水平集是开集，非严格子水平集是闭集。这一命题是从函数到集合的基本桥梁，也是许多证明的出发点。
8.1.2 反向构造结果
若一个函数的子水平集满足特定开闭条件，便可反推出该函数具有相应的连续性或下半连续性。这类反向命题说明，集合结构能够完整记录部分函数信息。
8.2 子水平集与凸性判别
凸性也可以借助子水平集来表述和检验。
8.2.1 凸性等价命题
一个函数是凸函数，常可等价地表述为它的所有子水平集是凸集。这个等价命题在凸分析中十分基础，具有很强的理论统一性。
8.2.2 应用性结论
由于凸集性质良好，这一判别方式在优化、几何和数值计算中都很实用。它使得对函数凸性的判断可以转化为对集合连线性质的检查。
8.3 子水平集的极限性质
在极限过程下，子水平集往往表现出一定的稳定性。
8.3.1 单调族极限
对于随阈值单调变化的一族子水平集，其并集或交集常可描述为某种极限集合。这种现象与集合递增、递减序列的极限性质一致。
8.3.2 函数收敛下的集合收敛
当一列函数收敛到某个极限函数时，其子水平集也可能在某种意义下收敛到极限函数的子水平集。不过，具体结论通常需要附加条件，如一致收敛、单调收敛或下半连续性等。
9 历史与术语
9.1 术语来源
“子水平集”一词是从对应英文术语翻译而来，体现了数学术语在中英文之间的对译关系。
9.1.1 英文术语 sublevel set
英文术语 sublevel set 直译即“低于某一水平的集合”。其中 sub- 表示“在下方、低于”，level 指“水平”或“层级”，set 则是“集合”。
9.1.2 中文翻译与习惯用法
中文中常译作“子水平集”，有时也会见到“下水平集”等近似说法。在分析、优化与几何文献中，前者更为常见，使用也更稳定。
9.2 数学发展中的出现
子水平集并非孤立概念，而是在多个分析分支中逐渐普及起来的。
9.2.1 分析学中的早期使用
在经典分析和测度论的发展中，人们逐渐意识到用不等式描述集合比直接处理函数值更方便，因此子水平集的思想开始频繁出现，尤其在可测性与连续性研究中。
9.2.2 优化理论中的普及
随着现代优化理论的发展，子水平集成为描述目标函数可行区域和低值区域的标准工具。它在凸优化、变分法和非线性分析中得到广泛采用。
9.3 与其他领域的交叉
子水平集的概念还与若干数学分支发生交叉，扩展了其应用范围。
9.3.1 几何分析
在几何分析中，子水平集常被用来研究曲面、区域边界以及几何流中的层次结构。其形状变化有时能够反映更深层的几何性质。
9.3.2 计算数学
在计算数学中，子水平集用于数值优化、图像分割和形状重建等问题。通过离散化与算法处理，研究者可以近似获得复杂函数的子水平区域，并据此进行计算与判定。