1 概念基础：从连续性到半连续性
半连续性是连续性的放宽版本，用来描述函数在极限点附近“不会突然往某一方向发生跳变”的现象。直观上，连续性要求函数值在趋近点时既不突然向上跳，也不突然向下跳；而半连续性只约束其中一个方向。
1.1 连续性与极限的基本直观
设函数 \(f\) 定义在拓扑空间（常见为度量空间或欧氏空间）中。连续性对应的极限关系是：当自变量 \(x\to x_0\) 时，函数值 \(f(x)\) 收敛到 \(f(x_0)\)。因此，连续性同时保证“上方不会突然越过极限”以及“下方不会突然低于极限”。半连续性相当于只保留其中一半的限制条件。
1.2 上极限与下极限（limsup/liminf）
为了刻画“趋近某点时可能出现的极值行为”，分析中常用上极限与下极限。对实值序列 \((a_n)\)， \[ \limsup_{n\to\infty} a_n \] 表示该序列在无穷远处的“上界极限”，而 \[ \liminf_{n\to\infty} a_n \] 表示“下界极限”。在函数情形中，可将“序列趋近 \(x_0\)”理解为“自变量从各方向逼近 \(x_0\)”：上极限控制“可能出现的最高尖峰”，下极限控制“可能出现的最低谷底”。
1.3 半连续性的两种方向：上半连续与下半连续
半连续性分为两种互补的方向性概念。
- 上半连续（upper semicontinuous）关注“函数值的向上突变”：当 \(x\to x_0\) 时，\(f(x)\) 不能在极限上方形成不可控的突升。极限点的函数值相当于局部上界的“极限形态”。
- 下半连续（lower semicontinuous）关注“函数值的向下突变”：当 \(x\to x_0\) 时，\(f(x)\) 不能在极限下方形成不可控的突降。此时 \(f(x_0)\) 类似于局部下界的“极限形态”。
这两种定义对应不同的不等式约束方向，也决定了图像在极限点附近更可能“封顶”还是“托底”。
2 上半连续性
2.1 定义：基于上极限的表述
设 \(f\) 是取值于扩展实数（允许 \(\pm\infty\)）的函数。\(f\) 在点 \(x_0\) 处上半连续的常用表述是： \[ f(x_0)\ge \limsup_{x\to x_0} f(x). \] 这表示：沿任意趋近方式逼近 \(x_0\)，函数值的“可能最高水平”不会超过 \(f(x_0)\)。若该不等式对区域内每个点都成立，则称 \(f\) 为上半连续函数。
2.2 等价刻画：闭集/开集的像性质
上半连续性也可用集合的像来刻画。对任意实数 \(a\)，考虑集合 \[ \{x:\ f(x)<a\}\quad \text{或}\quad \{x:\ f(x)\le a\}. \] 在标准拓扑条件下，上半连续性等价于以下类型的闭集或开集性质（常见等价版本取决于使用“\(<a\)”还是“\(\le a\)”）：
- 上半连续与“形如 \(\{f<a\}\) 的集合是开集”这一规律相关；
- 也可用“\(\{f\ge a\}\) 的集合为闭集”来表达同一思想。
这些描述把极限不等式转化成可验证的集合拓扑性质。
2.3 与连续性的关系：上半连续但不连续的例子类型
上半连续性比连续性更宽，因此存在许多“有方向性跳跃”的函数。典型情形包括：
- 在某点处出现向上跳变受到限制的函数，即函数在逼近该点时可能从下方趋近，但不能在极限点处形成“突然高于极限”的尖峰；
- 指示函数或阶跃型函数的某些变体：通过选择跳跃方向，使其满足上半连续但不满足连续。
这些例子体现了“只允许某一种方向的间断”。
2.4 几何直观：上方“不会突然跳升”的含义
从几何图像理解，上半连续性可视为“图像在点 \(x_0\) 的上方有保护”。当 \(x\) 从邻域接近 \(x_0\) 时，函数值可能在下侧变化并上升趋近，但若想在极限点处比附近出现更高的“上冲”，就会违反上半连续的不等式。结果是：任何逼近方式的峰值不超过该点的函数高度。
3 下半连续性
3.1 定义：基于下极限的表述
下半连续性在点 \(x_0\) 的表述是： \[ f(x_0)\le \liminf_{x\to x_0} f(x). \] 这说明：沿任意趋近方式逼近 \(x_0\)，函数值的“可能最低水平”不会低于 \(f(x_0)\)。因此，\(f(x_0)\) 更像是局部下界的“极限极小”。
若对所有点都成立，则称 \(f\) 为下半连续函数。
3.2 等价刻画：闭集/开集的像性质
与上半连续类似，下半连续性也可用集合的拓扑性质刻画。常见等价形式包括：
- \(\{x:\ f>a\}\) 为开集，或
- \(\{x:\ f\ge a\}\) 与 \(\{x:\ f\le a\}\) 的某种选择在闭集层面成立。
其本质是将“下极限不等式”转化为“阈值截集在拓扑上表现为某类开/闭集合”。
3.3 与连续性的关系：下半连续但不连续的例子类型
下半连续但不连续的函数通常表现为：
- 允许在某点处出现向下跳变，但要求这种跳变不能在极限意义下产生“过度向下的尖陷”；
- 阶跃函数的另一种方向变体：当跳跃方向与下半连续的约束一致时，可出现只在一个方向上断裂的情况。
这类例子展示了半连续性不是对称的放宽，而是“定向”的。
3.4 几何直观：下方“不会突然跳降”的含义
几何上，下半连续性像是给图像的下侧设置了底线。靠近 \(x_0\) 时，函数值可以从上方下降并在极限点处取得某个高度，但不能在 \(x_0\) 附近出现比该点更低、且无法被 \(f(x_0)\) 作为下界容纳的“深坑”。换言之，最低点的极限不会穿过 \(f(x_0)\)。
4 半连续函数的运算与稳定性
半连续性在分析中重要的一部分原因是：其在某些运算下具有稳定性，能在构造极值、界函数或逼近时保持所需性质。
4.1 线性组合与单调变换
对上半连续函数与下半连续函数分别进行线性组合时，需要注意符号和系数对“方向性”的影响。例如：
- 非负系数下的加权与求和，通常会保持与原方向一致的半连续性；
- 若引入负系数或进行取负操作，上下半连续性会互相交换（因为不等号方向翻转）。
更一般地，“单调变换”常能保留半连续性：若对函数进行某种单调函数 \( \phi \) 的复合，且 \(\phi\) 满足与方向一致的连续/半连续要求，那么半连续性可以在复合后维持。
4.2 取极大/极小与上确界/下确界的保持性
半连续性与“取族函数的上确界或下确界”关系密切。典型结论是：
- 上半连续函数族的适当上确界（尤其在可数上确界或满足额外条件时）仍保持上半连续；
- 下半连续函数族的相应下确界保持下半连续。
这些性质为构造上包络/下包络（例如用一组比较函数取最优上界或下界）提供了工具。
4.3 点态收敛下的极限保持条件（常见结论框架）
仅凭点态收敛通常不足以保证半连续性在极限函数中被保留；需要附加条件，例如单调性（单调收敛）或一致控制。常见框架包括：
- 若序列在每个点上单调递增/递减，并且每一步函数保持上或下半连续性，则极限函数也会继承对应的半连续性质；
- 或者使用上半连续包/下半连续包将极限可能破坏的部分“重新封装”为满足半连续的最小/最大修正。
这些结论在存在性证明中尤为常用。
4.4 函数组合与连续映射下的传播规律
当在半连续函数上施加连续映射时，半连续性可能保持。直观上，连续映射不会改变极限的“邻域结构”，因此阈值集合的开/闭性质也更容易被继承。常见情形包括：
- 函数与连续映射的复合可保留上半连续或下半连续性（方向保持取决于映射与复合形式）。
在具体使用中通常通过集合像/原像的拓扑性质来验证。
5 序列化与逼近
半连续性常通过序列化方法理解和操作：用逼近序列的极限行为来替代直接的拓扑刻画。
5.1 用上、下半连续包逼近
给定任意函数 \(f\)，可以构造与其相关的“上半连续包”与“下半连续包”。它们分别是：
- 与 \(f\) 在每点不等式关系下“最贴近”的上半连续改造；
- 与 \(f\) 类似但以相反方向为目标的下半连续改造。
这种包的思想用于把不够规则的函数替换为半连续版本，从而在极值与紧性论证中获得可控的性质。
5.2 单调序列与半连续性的极限行为
单调序列是半连续性最自然的逼近方式之一。若有一个上半连续函数的单调序列逼近某目标函数，则“向极限方向”的半连续性往往能被保留或至少在半连续包意义下得到正确表达。其关键在于极限上/下界与极限点的极限不等式能够互相对齐。
5.3 半连续性与逐点收敛的注意事项
逐点收敛本身可能破坏半连续性。例如，一个序列在每点上收敛，但在局部邻域中“峰值或谷值”可能越来越尖锐，导致极限函数丢失原有不等式控制。为了避免这种问题，常见做法是：
- 引入单调性；
- 使用半连续包/下包结构修正；
- 或要求更强的收敛形式（如某种半一致性）。
6 几何与拓扑视角
从拓扑角度看，半连续性本质上是关于“阈值截集”的开集/闭集行为，它将函数的极限性质转化为集合结构。
6.1 作用于集合的“上/下闭性”描述
上半连续与下半连续分别对应不同的“闭性方向”。以阈值 \(a\) 为界，将函数的取值区域切成两部分，半连续性要求这些区域在拓扑上呈现某种闭性或开性。例如，上半连续更偏向于保证“高于阈值的部分”在拓扑上不发生突然断裂；下半连续则相反，保证“低于阈值的部分”具有稳定性。
6.2 与闭包、内部、边界的关系
阈值集合与闭包、内部、边界的关系可用于理解半连续性。若一个阈值集合是开集，那么其边界点的函数值就受到对应不等式的约束；若是闭集，则意味着边界点不会把函数值带到“违反方向”的位置。换言之，半连续性可以被视为一种“边界可控性”。
6.3 在度量空间/一般拓扑空间中的表述差异
在度量空间中，上述定义既可以用序列极限（limsup/liminf）表述，也能用开/闭集合刻画；由于拓扑更丰富，一般拓扑空间中通常优先使用集合像/原像以及开/闭集合性质来定义或等价刻画。两种视角在常见良性条件下保持一致，但在更一般情形中需要格外注意“用什么来表征极限过程”。
7 变分法与优化中的作用
半连续性在变分法与优化里常用于保证“最小值或最大值不会在极限过程中消失”，也为极值存在性提供关键技术条件。
7.1 存在性：极值原理中的半连续性角色
许多存在性定理都需要对目标函数施加某种半连续性，从而在取极限时不破坏不等式结构。典型机制是：在紧性（或紧化）条件下，从一个“最小化序列”中可抽取收敛子列；半连续性确保函数值在极限点处不劣于极限下界或上界，从而把“近似最优”转换为“真正最优”。
7.2 下半连续性与下确界取得（常见应用套路）
在最小化问题中，下半连续性常用于处理下确界取得。若目标函数下半连续且可在紧集上获得适当界与紧性，则可证明存在点达到或实现最小值。直观而言，下半连续性防止在极限过程中出现“函数值突然更低导致上界/下界失真”的情况，从而保证下确界不会被“甩掉”。
7.3 上半连续性在约束与上界控制中的用途
与最小化配套，最大化或约束上界问题中，上半连续性提供对“突然向上跳出”的抑制。它可用于确保在极限取点时，函数值不会在上方发生不可控的跃升，从而使约束检验或上界估计能够稳定传递到极限点。
8 在分析中的常见应用
8.1 凸分析中的相关现象
凸分析中常见的函数类（如凸函数、凹函数、支持函数等）具有良好的半连续性特征。许多凸函数在合适条件下呈现上半连续或下半连续的性质，使得次梯度、支撑超平面、对偶表示等工具能在极限过程中保持结构稳定。
8.2 偏微分方程中的半连续包思想（概念层面）
在偏微分方程的弱解或广义解理论中，经常会对候选解使用半连续包以获得“足够的上界/下界控制”。例如，比较原理与最大最小方法往往要求某种上半连续性或下半连续性，以便在取极值时避免出现不符合方程结构的极限跳变。这里的半连续包常被视为一种技术修补手段。
8.3 动力系统/度量与最优控制中的典型出现
在动力系统和最优控制中，价值函数或代价函数常带有半连续性（或半连续包）性质。原因通常来自动态规划中的上/下界递推，以及对极限取点的控制需求。半连续性帮助把“在逼近过程中成立的估计”落实为“在状态空间中真正的最优或最优候选”。
9 例子与反例库
9.1 指示函数与阶跃函数的半连续性示例
指示函数是判断半连续性的经典起点。对集合 \(A\)，指示函数 \( \mathbf{1}_A \) 只取 0 与 1。其半连续性取决于集合 \(A\) 的开闭性质：
- 若 \(A\) 具有使“低于阈值的部分”成为开集的结构，则相应方向的半连续性成立；
- 阶跃函数（在某点左右取不同常数）同理：通过选择跳变发生在何侧，确定它是上半连续、下半连续或都不满足。
这些例子直观展示了“半连续性就是只在一个方向允许跳”。
9.2 距离函数、范数与常见构造
距离函数 \(d(x,A)\)（到集合的距离）与范数函数在分析中经常出现。由于距离的几何性质，相关函数通常具有良好的半连续性或连续性特征。构造时可利用：
- 距离映射对极限点的稳定性；
- 由范数或度量诱导的拓扑与极限行为一致性。
在更一般度量空间里，这类例子仍常作为半连续性直觉的来源。
9.3 典型反例：为何某个性质不成立
反例的常见模式是构造“尖峰”或“深谷”随逼近越来越剧烈，使得上极限或下极限在极限点处与函数值不匹配。例如：
- 用一个在 \(x_0\) 附近不断抬高的尖峰序列，但让函数在 \(x_0\) 处取较低值，从而违反上半连续；
- 或相反，在 \(x_0\) 附近制造不断下挖的谷底而在 \(x_0\) 处取较高值，从而违反下半连续。
这些反例强调半连续性的“不等式控制”不是自动获得，而是需要被验证。
10 相关概念与延伸
10.1 半连续性与可测性/上可测性关系（概念联结）
半连续性与可测性紧密相关。由于半连续性能够转化为阈值集合的开/闭性质，而开集与闭集在标准可测结构下往往是可测集合，因此半连续函数通常具有良好的可测性。更精确的对应关系取决于所处的拓扑与可测体系，但总体上半连续性提供了“可测性来自几何”的路径。
10.2 与闭图像性质、外半连续等相近概念的对照
在多值映射或广义映射语境中，半连续性会推广为关于“图像/闭图像”的性质，例如通过闭图像、外半连续等概念来刻画极限点的可控性。这类概念在变分分析与包含关系（如可行集随参数变化）中经常出现，核心思想仍是“极限不会以不受控方式产生突变”。
10.3 进一步推广：半连续算子与更一般的极限概念
进一步的推广包括对半连续性概念施加到算子层面（半连续算子）或将其与更一般的极限（如格极限、滤子收敛等）联系起来。此时，半连续性的角色从“函数值的单方向控制”扩展为“某种序结构或收敛结构下的不等式保持”，用于更抽象的分析框架。