1 定义与基本性质
超平面是线性代数与几何学中的核心概念，指在一个n维空间中，由线性方程定义的、维度为n-1的仿射子空间。例如，二维空间中的直线、三维空间中的平面均为超平面特例。超平面在优化理论、机器学习（如支持向量机）以及代数几何中具有广泛应用，常作为分类边界或解空间的基本构成单元。
1.1 线性代数定义
在线性代数中，超平面定义为满足某个线性方程的点集。设域为K，n维向量空间V上的超平面由方程 \(\mathbf{a} \cdot \mathbf{x} = b\) 给出，其中 \(\mathbf{a} \in V\) 为非零向量，\(b \in K\) 为标量。该方程的解集构成了V的一个仿射子空间，其维度为n-1。
1.1.1 齐次超平面
当 \(b = 0\) 时，方程退化为 \(\mathbf{a} \cdot \mathbf{x} = 0\)。此时超平面经过原点，称为齐次超平面，它是一个线性子空间（即向量子空间）。齐次超平面由法向量 \(\mathbf{a}\) 的正交补空间定义，其维度为n-1。
1.1.2 非齐次超平面
当 \(b \neq 0\) 时，方程为 \(\mathbf{a} \cdot \mathbf{x} = b\)。此时超平面不经过原点，称为非齐次超平面。它是一个仿射子空间，可通过平移齐次超平面得到：若 \(\mathbf{x}_0\) 是任一解，则所有解可表示为 \(\mathbf{x} = \mathbf{x}_0 + \mathbf{v}\)，其中 \(\mathbf{v}\) 满足 \(\mathbf{a} \cdot \mathbf{v} = 0\)。
1.2 几何直观
从几何角度，超平面是一个“平坦”的、维度比所在空间少1的集合。它将空间分割为两个半空间，分别为不等式 \(\mathbf{a} \cdot \mathbf{x} < b\) 和 \(\mathbf{a} \cdot \mathbf{x} > b\) 所对应的区域。
1.2.1 低维示例
- 二维空间（平面）：一个超平面即一条直线，方程为 \(ax + by = c\)。该直线将平面分为两个半平面。
- 三维空间：一个超平面即一个普通的平面，方程为 \(ax + by + cz = d\)。该平面将空间分为两个半空间。
1.2.2 高维推广
在四维或更高维空间中，超平面无法直接可视化，但可类比低维情况：它仍然是维度为n-1的“平直”子空间，由单一线性条件界定。例如，在四维空间中，超平面是一个三维的“体”（犹如三维空间中的平面），将四维空间分为两个部分。
1.3 参数化表示
超平面有两种常见的代数表示方式：一般式（法向量与截距形式）和点法式。
1.3.1 法向量与截距
| 一般式 \(a_1 x_1 + a_2 x_2 + \cdots + a_n x_n = b\) 中，向量 \(\mathbf{a} = (a_1, \ldots, a_n)\) 称为法向量，垂直于超平面内的所有方向。标量 \(b\) 与原点的符号距离有关（当法向量为单位向量时，\( | b | \) 等于原点到超平面的距离）。截距通常指法向量方向上的截距：若 \(\mathbf{a} \neq \mathbf{0}\)，超平面在坐标轴上的截距可通过令其他变量为零求得。 |
|---|
1.3.2 点法式方程
给定超平面上一点 \(\mathbf{x}_0\) 和法向量 \(\mathbf{a}\)，超平面可表示为：\(\mathbf{a} \cdot (\mathbf{x} - \mathbf{x}_0) = 0\)。该方程直观地表明，超平面由所有与法向量垂直（即点积为零）且经过 \(\mathbf{x}_0\) 的点构成。点法式在几何推导中尤为便利，例如计算点到超平面的距离。
2 超平面的分类
超平面可按不同标准分类，常见的有按维度划分和按系数类型划分。
2.1 按维度划分
在给定的n维空间中，超平面的维度固定为n-1，但具体名称随n变化。低维情况具有直观的几何名称。
2.1.1 直线（1维超平面）
在二维平面（n=2）中，超平面的维度为1，即一条直线。它由方程 \(ax + by = c\) 描述，是最简单的超平面形式。
2.1.2 平面（2维超平面）
在三维空间（n=3）中，超平面的维度为2，即一个平面。它由方程 \(ax + by + cz = d\) 描述，与日常经验中的“平面”一致。
2.2 按系数类型划分
方程中的系数（法向量分量和常数项）所属的数域不同，可得到不同类型的超平面。
2.2.1 实数超平面
系数取自实数域 \(\mathbb{R}\) 时，超平面定义在实向量空间 \(\mathbb{R}^n\) 上。这是最常见的类型，广泛应用于物理、工程和机器学习中。实数超平面具有明确的几何距离概念。
2.2.2 复数超平面
系数取自复数域 \(\mathbb{C}\) 时，超平面定义在复向量空间 \(\mathbb{C}^n\) 上。此时方程的几何意义需从复流形角度理解，例如 \(\mathbb{C}^n\) 中的复超平面是实维度为 \(2n-2\) 的实流形。复数超平面在代数几何和复分析中扮演重要角色。
3 超平面的交点与正交性
多个超平面之间的关系可通过它们的交和正交性来描述，这在解线性方程组和几何构造中至关重要。
3.1 两个超平面的交
设两个超平面分别为 \(H_1: \mathbf{a}_1 \cdot \mathbf{x} = b_1\) 和 \(H_2: \mathbf{a}_2 \cdot \mathbf{x} = b_2\)。它们的交是满足两个方程的点集，即线性方程组的解集。
3.1.1 相交子空间维度公式
若两个法向量线性无关，则方程组秩为2，解空间维度为 \(n-2\)。更一般地，设r为法向量组的秩，则交集的维度为 \(n - r\)。当 \(r=1\) 且方程相容时（即 \(\mathbf{a}_1\) 与 \(\mathbf{a}_2\) 成比例且相应b也成比例），两个超平面重合或平行。
3.1.2 平行与重合条件
若 \(\mathbf{a}_1\) 与 \(\mathbf{a}_2\) 成比例（即存在非零常数k使得 \(\mathbf{a}_2 = k \mathbf{a}_1\)），则两超平面平行。进一步若 \(b_2 = k b_1\)，则它们重合；否则无交点（不相交）。当法向量不成比例时，两超平面必然相交于一个维度为 \(n-2\) 的子空间。
3.2 超平面的正交
两个超平面之间的正交关系由它们的法向量定义。
3.2.1 法向量正交性
超平面 \(H_1\) 与 \(H_2\) 正交当且仅当它们的法向量正交：\(\mathbf{a}_1 \cdot \mathbf{a}_2 = 0\)。此时每个超平面都包含对方法向量方向上的直线。例如在三维空间中，两个平面正交意味着它们的法线互相垂直，此时它们的交线垂直于两个法向量。
3.2.2 正交补空间
给定一个超平面 \(H: \mathbf{a} \cdot \mathbf{x} = b\)，其法向量 \(\mathbf{a}\) 张成一维子空间，称为该超平面的正交补空间（相对于所在向量空间）。超平面本身是由与 \(\mathbf{a}\) 正交的所有向量平移得到的。正交补空间的概念在投影和最小二乘问题中经常出现。
4 应用领域
超平面作为基础几何对象，在多个学科中具有核心应用。
4.1 优化理论
在凸优化中，超平面用于刻画凸集的边界和分离性质。
4.1.1 支撑超平面
对于一个凸集C，若存在超平面H使得C完全位于H的一侧（闭半空间）且H与C的边界相交，则称H为C的支撑超平面。支撑超平面在最优性条件中扮演关键角色，例如线性规划中，最优解往往出现在某个支撑超平面上。
4.1.2 分离超平面定理
该定理指出：对于两个不相交的凸集，存在一个超平面将它们分离（即一个集合位于超平面一侧，另一个位于另一侧）。这是凸分析的基本定理，也是支持向量机等算法理论依据。
4.2 机器学习
许多机器学习模型利用超平面进行数据分类或回归。
4.2.1 支持向量机中的决策边界
支持向量机（SVM）通过寻找一个超平面（在高维空间中）将两类数据点尽可能分开，并使该超平面到两侧最近点的间隔最大化。这个超平面称为最大间隔超平面，其法向量由支持向量决定。
4.2.2 感知机算法
感知机是一种线性分类器，其学习目标是找到一个超平面将训练数据正确分类。算法通过迭代更新法向量和截距，逐步调整超平面位置直至无误分类点。感知机是神经网络的基础，其超平面即为决策边界。
4.3 代数几何
代数几何中，超平面是构造和研究代数簇的基本工具。
4.3.1 超平面截面
给定一个代数簇（如代数曲线或曲面），它与一个超平面的交集称为超平面截面。通过研究不同超平面截面的性质，可以推断代数簇的整体特征，如次数和亏格等。
4.3.2 超平面束
一族以参数形式变化的超平面（如所有过某固定点的超平面）称为超平面束。超平面束常用于构造代数簇的线性系统，以及研究交点理论中的贝祖定理。
5 推广与相关概念
超平面的概念可进一步推广或与其他几何对象关联。
5.1 仿射超平面 vs 线性超平面
仿射超平面是指一般形式的超平面（非齐次），而线性超平面特指齐次超平面（过原点）。线性超平面是向量子空间，而仿射超平面是线性超平面的平移。在应用中，通常不加区分地使用“超平面”，但严格来说，超平面常指仿射超平面。
5.2 超曲面与超平面的关系
超曲面是指由单一方程 \(F(x_1, \ldots, x_n) = 0\) 定义的n-1维子流形，其中F为光滑函数。当F为线性函数时，超曲面退化为超平面。因此，超平面是超曲面的特例（次数为1的代数超曲面）。在微分几何中，超曲面可能弯曲，而超平面是“平坦”的。
5.3 无穷远超平面（射影几何）
在射影几何中，为将平行线（或平行超平面）视为相交于无穷远，引入无穷远超平面。具体而言，在n维仿射空间中添加一个n-1维的无穷远超平面，即可得到n维射影空间。无穷远超平面上的点对应仿射空间中的方向（平行线族）。这一概念使射影几何中任意两个不同的超平面总相交于一个n-2维子空间，统一了平行与相交的情况。