下半连续

下半连续 (Lower Semi-continuity)

下半连续（Lower Semi-continuity，简称 l.s.c.）是数学分析和泛函分析中的一个重要概念，它是对函数连续性概念的弱化。直观地说，一个函数在某点下半连续，意味着函数值在该点不会"突然向下跳跃"——当自变量趋近该点时，函数值的下极限至少等于该点的函数值。下半连续性在凸优化、变分法和经济均衡理论中发挥着基础性作用。

形式化定义

设 $X$ 为拓扑空间，函数 $f: X \to \mathbb{R} \cup \{+\infty\}$ 在点 $x_0 \in X$ 处称为下半连续，当且仅当对任意实数 $\alpha < f(x_0)$，存在 $x_0$ 的邻域 $U$，使得对所有 $x \in U$，有 $f(x) > \alpha$。等价地使用下极限表述为：

若该不等式在 $X$ 中每一点均成立，则称 $f$ 在整个空间 $X$ 上是下半连续的。

另一个等价定义利用上镜图（epigraph）：$f$ 下半连续当且仅当其上镜图 $\{(x, t) \in X \times \mathbb{R} \mid f(x) \le t\}$ 在 $X \times \mathbb{R}$ 中为闭集。

基本性质

下半连续函数具有以下重要性质。第一，非负下半连续函数族的上确界仍为下半连续函数——这是其与上半连续性的对称区别。第二，若 $f$ 和 $g$ 均为下半连续，则 $f + g$ 也为下半连续（加法封闭）。第三，下半连续函数与连续函数的复合：若 $\phi: \mathbb{R} \to \mathbb{R}$ 为单调不减且下半连续，而 $f: X \to \mathbb{R}$ 为下半连续，则复合函数 $\phi \circ f$ 也为下半连续。

指示函数是理解半连续性的典型案例。赋予拓扑空间 $X$ 上，开集 $U$ 的指示函数为下半连续，而闭集 $C$ 的指示函数为上半连续。若 $X = \mathbb{R}$，定义 $f(x) = 1$（当 $x \ne 0$ 时）而 $f(0) = 0$，则该函数在 $x = 0$ 处下半连续但不连续，因函数值在零点"向下跳"，但极限下界并未低于函数值。

在优化理论中的角色

下半连续性在最优化理论中具有核心地位，其关键结果是魏尔斯特拉斯定理的推广。定理陈述为：若 $X$ 为紧拓扑空间且 $f: X \to \mathbb{R} \cup \{+\infty\}$ 为下半连续，则 $f$ 在 $X$ 上达到其下确界，即存在 $x^* \in X$ 使得 $f(x^*) = \inf_{x \in X} f(x)$。这为证明优化问题解的存在性提供了基础框架。

在凸优化中，若目标函数为下半连续的凸函数且约束集为紧集，则最优解必然存在。在变分法和最优控制中，泛函的下半连续性（通常通过 Tonelli 定理和 Sobolev 紧嵌入定理建立）是证明极小化序列收敛至极小元的核心步骤。在微观经济学中，成本函数和支出函数的下半连续性保证了企业在给定要素价格下的成本最小化解的存在性。

与上半连续及连续的关系

下半连续与上半连续互为对偶概念：$f$ 为下半连续当且仅当 $-f$ 为上半连续。若函数在一点既下半连续又上半连续，则它在该点连续。因此下半连续性可视为"一半"的连续性，与上极限的行为相关。在测度论中，可测函数的下半连续性近似是 Lusin 定理的核心内容。下半连续函数在随机过程和随机控制中也广泛出现：动态规划中的值函数在适当条件下具有下半连续性，这保证了贝尔曼方程解的存在性。下半连续概念提供了介于"完全连续"与"无任何正则性"之间的宽广函数类，在数学经济学和优化方法中具有不可替代的理论价值。