知经 KNOWECON
登录 注册

知经百科 / Z

正交补

正交补 (Orthogonal Complement)

正交补（Orthogonal Complement）是线性代数与泛函分析中的核心概念，指内积空间中与给定子空间的所有向量都正交的全体向量所构成的子空间。设 VV 是装备内积 ⟨⋅,⋅⟩\langle \cdot, \cdot \rangle 的向量空间（通常为 Rn\mathbb{R}^n 或 Hilbert 空间），W⊆VW \subseteq V 是一个线性子空间，则 WW 的正交补定义为：

W⊥={ v∈V∣⟨v,w⟩=0,  ∀w∈W }W^\perp = \{\, v \in V \mid \langle v, w \rangle = 0,\; \forall w \in W \,\}

该集合本身也是 VV 的线性子空间。若 WW 是 R3\mathbb{R}^3 中过原点的直线，则 W⊥W^\perp 是与之垂直的过原点平面；若 WW 是过原点的平面，则 W⊥W^\perp 是其法线。

基本性质

有限维内积空间中，正交补满足以下重要性质：

  1. 维数关系： dim⁡(W)+dim⁡(W⊥)=dim⁡(V)\dim(W) + \dim(W^\perp) = \dim(V)。该等式可由 Gram–Schmidt 正交化过程直接导出：将 WW 的标准正交基扩充为 VV 的标准正交基，扩充出的基向量恰生成 W⊥W^\perp。
  2. 二次取补： (W⊥)⊥=W(W^\perp)^\perp = W。在有限维情形下取两次正交补恢复原空间；在无限维 Hilbert 空间中则仅对闭子空间成立，此时 (W⊥)⊥=W‾(W^\perp)^\perp = \overline{W}（WW 的闭包）。
  3. 正交直和分解： V=W⊕W⊥V = W \oplus W^\perp，即任意向量 v∈Vv \in V 可唯一分解为 v=w+w⊥v = w + w^\perp，其中 w∈Ww \in W, w⊥∈W⊥w^\perp \in W^\perp，且 ⟨w,w⊥⟩=0\langle w, w^\perp \rangle = 0。这一分解是投影定理的基础。
  4. 包含反向： 若 U⊆WU \subseteq W，则 W⊥⊆U⊥W^\perp \subseteq U^\perp。正交补运算反转包含关系。
  5. 交与和的补： (U+W)⊥=U⊥∩W⊥(U + W)^\perp = U^\perp \cap W^\perp，(U∩W)⊥=U⊥+W⊥(U \cap W)^\perp = U^\perp + W^\perp。
  6. 零空间与全空间： {0}⊥=V\{0\}^\perp = V，V⊥={0}V^\perp = \{0\}。

与线性映射的关系

给定矩阵 A∈Rm×nA \in \mathbb{R}^{m \times n}，其四个基本子空间之间存在经典的正交补关系。将 Rn\mathbb{R}^n 和 Rm\mathbb{R}^m 装备标准欧氏内积，则：

ker⁡(A)=(range⁡(A⊤))⊥,ker⁡(A⊤)=(range⁡(A))⊥\boxed{\ker(A) = \bigl(\operatorname{range}(A^\top)\bigr)^\perp}, \qquad \boxed{\ker(A^\top) = \bigl(\operatorname{range}(A)\bigr)^\perp}

换言之，AA 的零空间是 A⊤A^\top 的列空间的正交补，A⊤A^\top 的零空间是 AA 的列空间的正交补。由此可得 Fredholm 二择一：Ax=bAx = b 有解当且仅当 b∈(ker⁡(A⊤))⊥b \in (\ker(A^\top))^\perp。

经济学与计量经济学中的应用

正交补在经济学中的核心应用出现在最小二乘法（OLS）的几何解释中。考虑线性回归模型 y=Xβ+εy = X\beta + \varepsilon，其中 XX 是 n×kn \times k 设计矩阵。OLS 估计量 β^\hat{\beta} 所生成的拟合值 y^=Xβ^\hat{y} = X\hat{\beta} 是 yy 在 XX 的列空间 C(X)\mathcal{C}(X) 上的正交投影。残差向量 ε^=y−y^\hat{\varepsilon} = y - \hat{y} 属于 C(X)⊥\mathcal{C}(X)^\perp，满足正交条件 X⊤ε^=0X^\top \hat{\varepsilon} = 0，这正是正规方程的几何本质。整个 Rn\mathbb{R}^n 被分解为正交直和：

Rn=C(X)⊕C(X)⊥\mathbb{R}^n = \mathcal{C}(X) \oplus \mathcal{C}(X)^\perp

其中 C(X)⊥=ker⁡(X⊤)\mathcal{C}(X)^\perp = \ker(X^\top)。这一分解保证了 OLS 估计在一切线性无偏估计中的最小方差性质（Gauss–Markov 定理）。

在凸分析与优化理论中，正交补被用于刻画约束优化问题的切锥与法锥。对于可行集为线性子空间 WW 的等式约束，Lagrange 乘子属于 W⊥W^\perp。在资产定价理论中，定价核与超额收益空间的正交关系本质上也是正交补结构。在泛函分析的视角下，正交补与Riesz 表示定理紧密相关，为无穷维经济模型提供了基础框架。

返回百科索引