1 基本概念
1.1 定义
半空间是由一个边界超平面将空间划分后得到的其中一侧区域。在欧几里得空间中，通常可用一条直线、一个平面或更高维的超平面作为分界，分界两侧分别对应两个半空间。若把边界本身包含在区域内，则称为闭半空间；不包含边界时，则称为开半空间。
从直观上看，半空间可理解为“某个平面的一边”。这种对象在几何学中具有基础地位，因为它既简单，又能作为复杂区域的组成部分。许多几何体和可行域都可以表示为若干半空间的交集。
1.2 几何直观
半空间最容易通过“切分空间”的方式理解：一个边界把整个空间分成两部分，每一部分都延伸到无穷远，因此与有限图形不同，它没有封闭的外形，但具有清晰的方向性。常见例子包括平面上直线两侧的区域，以及三维空间中平面两侧的空间部分。
1.2.1 开半空间与闭半空间
开半空间不包含边界上的点，适合描述严格不等式所对应的区域；闭半空间则把边界纳入其中，更常用于处理约束、极值和边值问题。两者在拓扑性质上有所不同，前者是开集，后者通常是闭集。
1.2.2 边界超平面
边界超平面是定义半空间的核心元素。它不仅决定了分割的位置，也给出了半空间的“界面”。在分析和优化中，边界超平面常被视为约束条件的等号部分，而半空间则对应不等号满足的区域。
1.3 维度中的半空间
半空间这一概念可以自然推广到任意维度。随着维数升高，边界由低维对象逐步推广为超平面，而半空间仍表示其一侧的点集。尽管维度变化，基本思想并未改变。
1.3.1 二维平面中的半平面
在二维平面中，半空间通常称为半平面。它由一条直线将平面分成两部分，其中一部分就是半平面。半平面在初等几何中十分常见，可用于描述角、区域和不等式图像。
1.3.2 三维空间中的半空间
在三维空间中，半空间由一个平面分割而成。它可以视为“平面一侧的全部点”。这种结构常见于建筑制图、物理边界以及三维建模中，能够有效表示空间约束和可达区域。
1.3.3 高维欧氏空间中的推广
在高维欧氏空间里，半空间由超平面划分。此时虽然难以直接绘图，但在理论上仍可通过方程和不等式精确定义。高维半空间在凸分析、统计学习和数值优化中尤其重要。
2 数学表示
2.1 线性不等式形式
半空间最常见的数学表达是线性不等式。给定一个向量和一个常数，满足不等式的一组点构成一个半空间。由于形式简洁，这种表示在理论推导和算法实现中都很常用。
2.1.1 点积表示
若设法向量为 \(a\)，点为 \(x\)，则半空间可写成 \(a \cdot x \le b\) 或 \(a \cdot x < b\)。点积反映了点在法向方向上的投影大小，因此能自然区分超平面两侧的位置。
2.1.2 仿射函数表示
半空间也可写成仿射函数 \(f(x)=a \cdot x+b\) 的符号条件，例如 \(f(x)\ge 0\)。这种写法便于与函数分析结合，也便于在优化中处理多个约束的组合。
2.2 坐标表示
在具体坐标系中，半空间的表达往往更直观。通过坐标方程或不等式，可以直接判断某点是否属于该区域，也便于绘制与计算。
2.2.1 标准坐标系下的写法
在标准直角坐标系中，半空间通常写成若干坐标的线性组合与常数之间的不等式。例如二维中可写为 \(ax+by\le c\)，三维中则可加入 \(z\) 变量。坐标表示使空间位置关系一目了然。
2.2.2 法向量与截距
法向量决定半空间的方向，而截距则决定边界的位置。法向量改变时，半空间的朝向随之改变；截距改变时，边界平移但方向不变。这一组合是描述半空间的重要参数。
2.3 集合论表示
从集合论角度看，半空间是点集的一种特定形式。它可以与其他集合进行交、并、补等运算，从而构造更复杂的区域。
2.3.1 交并与补集关系
两个互补的半空间分别位于边界的两侧，二者的并集通常覆盖整个空间，交集则只剩下边界或为空，取决于是否包含边界。许多多面体区域正是由多个半空间的交集形成。
2.3.2 与边界的关系
半空间的边界正是定义它的超平面。若不包含边界，则边界点不属于该集合；若为闭半空间，则边界点属于集合但不属于内部。这种关系在拓扑和测度理论中都很重要。
3 几何性质
3.1 凸性
半空间是典型的凸集。任取其中两点，连接它们的线段仍完全落在半空间内。这一性质使其成为构造和分析凸区域的基本工具。
3.1.1 半空间的凸集性质
由于线性不等式在连线插值下保持成立，半空间天然满足凸性定义。正因如此，半空间常被作为凸优化的基本约束单元，也常出现在证明中作为“标准凸集”使用。
3.1.2 与凸包的关系
一个集合的凸包可视为包含该集合的最小凸集，而半空间常用于刻画凸包的外部支撑结构。很多凸集都可以表示为若干半空间的交，从而与凸包理论形成紧密联系。
3.2 闭包与内部
半空间在拓扑意义上可区分为开、闭与边界部分。它的内部、闭包和边界通常都能通过不等式是否取等号来明确判断。
3.2.1 开集与闭集
开半空间是开集，因为它不包含边界点，且每个内部点周围都能找到完全落在其中的小邻域。闭半空间则是闭集，因为它包含所有极限点，便于极值与极限过程分析。
3.2.2 边界点与内点
内点位于半空间内部，周围邻域完全包含于集合中；边界点则处在分界超平面上，任意小邻域都会同时与两侧相交。内点与边界点的区分，是理解半空间结构的关键。
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 约束半空间
在线性规划中，不等式约束直接定义半空间。例如“资源不超过上限”“变量非负”等条件，都可以转写为半空间约束。这使问题结构清晰，便于求解。
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.2 超平面
超平面是高维空间中起分界作用的“平面”概念。半空间通常由超平面及其一侧组成，因此二者在定义上密切相关。
7.3 支撑半空间
支撑半空间是指在某个凸集边界处，与该凸集相切或接触并将其包含在一侧的半空间。它常用于凸几何中的支撑理论和分离定理。
7.4 凸锥与锥形区域
凸锥是对缩放封闭的凸集合，常与半空间交织出现。许多锥形区域可由若干半空间构成，而半空间本身也可视为构造更复杂锥体边界的基础元素。
8 历史与发展
8.1 早期几何中的雏形
半空间的思想可追溯到古典几何中对“直线两侧”“平面两侧”的认识。早期数学家虽然未必使用现代术语，但已能处理类似的分割和区域问题。
8.2 现代数学中的形式化
随着解析几何、线性代数和集合论的发展，半空间逐渐被严格定义为由线性不等式或超平面划分得到的点集。其表达方式更加统一，也更适合进入公理化与抽象分析框架。
8.3 在应用数学中的扩展
进入现代应用数学后，半空间的用途显著扩大。它不仅出现在几何与分析中，还广泛服务于优化、计算、控制和数值模拟，成为连接理论与应用的重要基础概念。