【云藏山鹰代数信息系统】两直线垂直关系的代数表示与几何不变性

📖 导读

本文系统探讨三维欧几里得空间中两直线垂直关系的代数表示与几何不变性，核心命题为：

L 1 ⊥ L 2    ⟺    L 1 ∩ L 2 = { P } ∧ ∠ ( L 1 , L 2 ) = 90 ° L_1 \perp L_2 \iff L_1 \cap L_2 = \{P\} \land \angle(L_1, L_2) = 90° L1​⊥L2​⟺L1​∩L2​={P}∧∠(L1​,L2​)=90°

全文从三个视角展开：

• 符号的矩阵表示（第 1 节）

  • 引入齐次坐标与绝对二次曲线 ${\Omega }_{\infty }$，将度量结构嵌入射影空间
  • 使用 Plücker 坐标 $L=(m^T,v^T{)}^T$ 表示直线
  • 将相交条件 L 1 ∩ L 2 = { P } L_1 \cap L_2 = \{P\} L1​∩L2​={P} 表达为 $v_1\cdot m_2+v_2\cdot m_1=0$
  • 将垂直条件 $\angle (L_1,L_2)=90°$ 表达为 $v_1^T{v}_2=0$
  • 最终得到统一的矩阵判别式

• 生成元视角（第 2 节）

  • 垂直关系在欧几里得群 $E(3)$（刚体运动）下保持不变
  • 推导生成元（平移 ${\mathcal{P}}_i$、旋转 ${\mathcal{J}}_i$）在 Plücker 坐标下的 $6\times 6$ 表示
  • 证明生成元如何保持内积 $v_1\cdot v_2$ 与相交条件不变
  • 揭示垂直性比平行性对变换群要求更严格（$E(3)$ vs $Aff(3)$）

• 命题的深入论述（第 3 节）

  • 严格化符号体系与几何定义
  • 给出命题的矩阵化证明与统一判别式
  • 从群论角度诠释垂直关系的欧几里得不变性
  • 探讨垂直性的对偶结构（点-线、线-面）
  • 列举在计算机视觉（自标定）、高维推广、与平行命题对比等应用与延伸

阅读路线：

• 若关注代数表示，可重点阅读第 1 节（矩阵公式）与第 3.2 节（严格化定义）
• 若关注几何不变性，可重点阅读第 2 节（生成元）与第 3.4 节（群论诠释）
• 若关注应用与对比，可直接跳至第 3.6–3.9 节

本文通过矩阵语言与李群理论，将直观的几何垂直关系转化为可计算、可推广的代数框架，为三维线几何的度量计算奠定基础。

符号的矩阵表示

齐次坐标框架与度量结构

垂直关系是度量几何（metric geometry）的概念，需要引入内积结构。在三维欧几里得空间 ${\mathbb{E}}^3$ 中，我们通过绝对二次曲线（Absolute Conic）在射影空间中编码度量信息。

点的齐次坐标：$X=(X,Y,Z,W{)}^T\in {\mathbb{P}}^3$，其中有限点满足 $W=1$。

无穷远平面：${\pi }_{\infty }=(0,0,0,1{)}^T$，其上点 $D=(d_x,d_y,d_z,0{)}^T$ 代表方向向量 $d=(d_x,d_y,d_z{)}^T$。

绝对二次曲线 ${\Omega }_{\infty }$：位于 ${\pi }_{\infty }$ 上的虚二次曲线，其矩阵表示为：
$${\Omega }_{\infty }=\left(\begin{array}{cc}{I}_3& 0\\ 0& 0\end{array}\right)$$

对于无穷远点 $D_1=(d_1^T,0{)}^T,D_2=(d_2^T,0{)}^T$，其欧几里得内积由 ${\Omega }_{\infty }$ 诱导：
$$d_1\cdot d_2=D_1^T{\Omega }_{\infty }{D}_2=d_1^T{I}_3{d}_2$$

两方向垂直当且仅当：
$$D_1^T{\Omega }_{\infty }{D}_2=0⟺d_1\cdot d_2=0$$

直线的 Plücker 坐标表示

直线 $L$ 由两点 $A,B$ 确定，其Plücker 矩阵为：
$$L=A{B}^T-B{A}^T=\left(\begin{array}{cccc}0& p_{01}& p_{02}& p_{03}\\ -p_{01}& 0& p_{12}& p_{13}\\ -p_{02}& -p_{12}& 0& p_{23}\\ -p_{03}& -p_{13}& -p_{23}& 0\end{array}\right)$$

等价地，Plücker 坐标六元组 $L=(m^T,v^T{)}^T\in {\mathbb{P}}^5$，其中：

• 方向向量 $v=(p_{01},p_{02},p_{03}{)}^T=b-a$（欧几里得化后）
• 矩向量 $m=(p_{23},p_{31},p_{12}{)}^T=a\times b$

满足 Klein 二次约束：$m\cdot v=0$

相交条件 L 1 ∩ L 2 = { P } L_1 \cap L_2 = \{P\} L1​∩L2​={P} 的矩阵判别

两直线相交于唯一有限点 $P$ 的充要条件：

Plücker 坐标条件：
$$L_1\circ L_2=v_1\cdot m_2+v_2\cdot m_1=0$$

且方向向量 $v_1,v_2$ 线性无关（保证不平行）。

矩阵验证：在 ${\mathbb{P}}^3$ 中，两直线相交（有限点或无穷远点）当且仅当上述双线性形式为零。若 $v_1\times v_2\ne 0$（不平行），则交点为有限点；若 $v_1\times v_2=0$ 且 $L_1/\propto L_2$，则交于无穷远点（平行）。

交点坐标的矩阵计算：
设 $L_1=A_1\vee B_1,L_2=A_2\vee B_2$，交点 $P$ 可表示为：
$$P=L_1\cdot L_2^{\ast }\cdot \pi$$
其中 $L_2^{\ast }$ 为对偶 Plücker 矩阵，$\pi$ 为包含 $L_2$ 的任意平面。

或利用线性代数方法：解方程组
$$\{\begin{array}{l}P=A_1+\lambda (B_1-A_1)\\ P=A_2+\mu (B_2-A_2)\end{array}$$
即 $(B_1-A_1,-(B_2-A_2))\left(\begin{array}{c}\lambda \\ \mu \end{array}\right)=A_2-A_1$，有唯一解当且仅当系数矩阵秩为 2 且方程组相容。

垂直条件 $\angle (L_1,L_2)=90°$ 的矩阵表达

垂直性依赖于度量结构，需引入欧几里得内积。

方向向量的垂直：
$$\angle (L_1,L_2)=90°⟺v_1\cdot v_2=0⟺v_1^T{I}_3{v}_2=0$$

在齐次坐标下，利用绝对二次曲线：
$$v_1\cdot v_2=D_1^T{\Omega }_{\infty }{D}_2=0$$
其中 $D_i=(v_i^T,0{)}^T$ 为 $L_i$ 的无穷远点。

完整的垂直矩阵条件：

命题 L 1 ⊥ L 2    ⟺    L 1 ∩ L 2 = { P } ∧ ∠ ( L 1 , L 2 ) = 90 ° L_1 \perp L_2 \iff L_1 \cap L_2 = \{P\} \land \angle(L_1, L_2) = 90° L1​⊥L2​⟺L1​∩L2​={P}∧∠(L1​,L2​)=90° 的矩阵等价形式为：

$$\boxed{L_1\perp L_2⟺\{\begin{array}{ll}{v}_1\cdot m_2+v_2\cdot m_1=0& \text{(相交)}\\ v_1\times v_2\ne 0& \text{(不平行)}\\ v_1^T{v}_2=0& \text{(方向垂直)}\end{array}}$$

统一矩阵方程：
构造 $9\times 6$ 矩阵系统，将三个条件编码为：
$$\mathcal{M}(L_1,L_2)=\left(\begin{array}{cc}{v}_1^T& m_1^T\\ v_2^T& m_2^T\\ 0& v_1^T\\ 0& v_2^T\end{array}\right)\cdot \left(\begin{array}{c}{v}_2\\ m_2\end{array}\right)=\left(\begin{array}{c}0\\ 0\\ 0\\ 0\end{array}\right)$$

其中第一行 $v_1^T{v}_2=0$ 为垂直条件，第二行 $v_2^T{v}_1=0$ 冗余，第三行 $v_1^T{m}_2$ 与第四行 $v_2^T{m}_1$ 组合为相交条件 $v_1\cdot m_2+v_2\cdot m_1=0$（利用 $m\cdot v=0$ 的对称性）。

度量矩阵的推广

在一般欧几里得坐标系下（非标准正交基），度量由内积矩阵 $G$ 定义：
$$d_1\cdot d_2=d_1^{T}G{d}_2$$

此时绝对二次曲线矩阵为：
$${\Omega }_{\infty }=\left(\begin{array}{cc}G& 0\\ 0& 0\end{array}\right)$$

垂直条件推广为：
$$v_1^{T}G{v}_2=0$$

在相机标定中，$G=K^{-T}{K}^{-1}$ 为绝对二次曲线的像（IAC），其中 $K$ 为相机内参矩阵。

生成元视角

保持垂直关系的变换群

垂直关系在欧几里得群 $E(3)$（刚体运动群）下保持不变。$E(3)$ 是仿射群 $Aff(3)$ 的子群，要求线性部分 $A\in O(3)$（正交矩阵）。

$$E(3)=\left\{H=\left(\begin{array}{cc}R& t\\ 0^T& 1\end{array}\right):R\in O(3),t\in {\mathbb{R}}^3\right\}$$

$E(3)$ 的李代数 $\mathfrak{e}(3)$ 由 6 个生成元 张成：

注意：与平行性不同，垂直性不保持于剪切和缩放变换下。因此 $E(3)$ 比 $Aff(3)$ 更小，生成元更少。

生成元在 Plücker 坐标下的 $6\times 6$ 表示

点变换 $X^{\prime }=HX$ 诱导直线的协变变换 $L^{\prime }=HL{H}^T$。对于 $H=\left(\begin{array}{cc}R& t\\ 0& 1\end{array}\right)$，Plücker 坐标的变换为：

$$\left(\begin{array}{c}{m}^{\prime }\\ v^{\prime }\end{array}\right)=\underset{\mathcal{H}}{\underbrace{\left(\begin{array}{cc}R& [t{]}_{\times }R\\ 0& R\end{array}\right)}}\left(\begin{array}{c}m\\ v\end{array}\right)$$

（注意 $\det (R)=\pm 1$，故 $\det (R)\cdot R^{-T}=R$）

旋转生成元（以 $J_z$ 为例，$R=\exp (\theta [e_3{]}_{\times })$）：
$${\mathcal{J}}_z=\left(\begin{array}{cc}[e_3{]}_{\times }& 0\\ 0& [e_3{]}_{\times }\end{array}\right)=\left(\begin{array}{cccccc}0& -1& 0& 0& 0& 0\\ 1& 0& 0& 0& 0& 0\\ 0& 0& 0& 0& 0& 0\\ 0& 0& 0& 0& -1& 0\\ 0& 0& 0& 1& 0& 0\\ 0& 0& 0& 0& 0& 0\end{array}\right)$$

平移生成元（以 $P_x$ 为例）：
$${\mathcal{P}}_x=\left(\begin{array}{cc}0& [e_1{]}_{\times }\\ 0& 0\end{array}\right)=\left(\begin{array}{cccccc}0& 0& 0& 0& 0& 0\\ 0& 0& 0& 0& 0& 1\\ 0& 0& 0& 0& -1& 0\\ 0& 0& 0& 0& 0& 0\\ 0& 0& 0& 0& 0& 0\\ 0& 0& 0& 0& 0& 0\end{array}\right)$$

生成元保持垂直结构的运作原理

核心机制：保持欧几里得内积不变

旋转生成元 ${\mathcal{J}}_i$ 的运作：

• 同步旋转方向向量：$v^{\prime }=Rv$
• 同步旋转矩向量：$m^{\prime }=Rm$
• 保持内积：$v_1^{\prime T}{v}_2^{\prime }=(R{v}_1{)}^T(R{v}_2)=v_1^T{R}^{T}R{v}_2=v_1^T{v}_2$
• 因此 $v_1\cdot v_2=0⟺v_1^{\prime }\cdot v_2^{\prime }=0$，垂直性保持

平移生成元 ${\mathcal{P}}_i$ 的运作：

• 保持方向向量不变：$v^{\prime }=v$
• 改变矩向量：$m^{\prime }=m+t\times v$
• 内积 $v_1\cdot v_2$ 不变（因 $v$ 不变）
• 相交条件 $v_1\cdot m_2+v_2\cdot m_1=0$ 在平移下变为：
  $$v_1\cdot (m_2+t\times v_2)+v_2\cdot (m_1+t\times v_1)=v_1\cdot m_2+v_2\cdot m_1+v_1\cdot (t\times v_2)+v_2\cdot (t\times v_1)$$
  利用标量三重积 $a\cdot (b\times c)=b\cdot (c\times a)=c\cdot (a\times b)$：
  $$v_1\cdot (t\times v_2)=t\cdot (v_2\times v_1)=-t\cdot (v_1\times v_2)$$
  $$v_2\cdot (t\times v_1)=t\cdot (v_1\times v_2)$$
  两者相消，故相交条件保持。

关键结论：生成元 { P i , J i } \{\mathcal{P}_i, \mathcal{J}_i\} {Pi​,Ji​} 的指数映射 $\exp (\sum {\theta }_k{G}_k)$ 生成的群 $E(3)$，正是保持命题中垂直等价关系 $L_1\perp L_2⟺\dots$ 结构不变的变换群。

反射生成元与离散对称

垂直关系还在反射下保持。关于平面的反射是 $O(3)$ 中 $\det (R)=-1$ 的元素，其生成元可补充为完整正交群。

关于 $xy$-平面的反射：
$$H_{xy}=\left(\begin{array}{cccc}1& 0& 0& 0\\ 0& 1& 0& 0\\ 0& 0& -1& 0\\ 0& 0& 0& 1\end{array}\right)$$

在 Plücker 坐标下：
$${\mathcal{H}}_{xy}=\left(\begin{array}{cc}\text{diag}(1,1,-1)& 0\\ 0& \text{diag}(1,1,-1)\end{array}\right)$$

反射保持内积（因 $R^{T}R=I$），故保持垂直性。

生成元与度量结构的深层联系

垂直性的保持本质上是度量张量 $G=I_3$ 的不变性。生成元的李括号结构反映了这一点：

$$[{\mathcal{J}}_i,{\mathcal{J}}_j]={ϵ}_{ijk}{\mathcal{J}}_k,[{\mathcal{J}}_i,{\mathcal{P}}_j]={ϵ}_{ijk}{\mathcal{P}}_k,[{\mathcal{P}}_i,{\mathcal{P}}_j]=0$$

这正是欧几里得群 $E(3)$ 的标准李代数 $\mathfrak{e}(3)\cong \mathfrak{so}(3)⋉{\mathbb{R}}^3$。

论述： L 1 ⊥ L 2    ⟺    L 1 ∩ L 2 = { P } ∧ ∠ ( L 1 , L 2 ) = 90 ° L_1 \perp L_2 \iff L_1 \cap L_2 = \{P\} \land \angle(L_1, L_2) = 90° L1​⊥L2​⟺L1​∩L2​={P}∧∠(L1​,L2​)=90°

命题的几何背景与范畴定位

该命题是三维欧几里得几何中垂直线的定义。与平行关系（仿射概念）不同，垂直关系是度量概念，依赖于角度测量，因此需要欧几里得结构（内积）才能定义。

在射影几何中，垂直性无法直接定义——射影变换不保持角度。必须引入绝对二次曲线 ${\Omega }_{\infty }$ 作为"度量锚点"，才能将垂直性嵌入射影框架。

符号体系的严格化

定义 1（欧几里得空间）。三维欧几里得空间 ${\mathbb{E}}^3$ 是配备标准内积 $⟨u,v⟩=u^{T}v$ 的仿射空间 ${\mathbb{A}}^3$。

定义 2（直线的方向）。直线 $L$ 的方向由其无穷远点 $D_L=(v^T,0{)}^T\in {\pi }_{\infty }$ 确定，其中 $v$ 为方向向量。

定义 3（绝对二次曲线）。${\Omega }_{\infty }\subset {\pi }_{\infty }$ 为虚二次曲线，矩阵 ${\Omega }_{\infty }=\text{diag}(I_3,0)$。两方向 $D_1,D_2$ 垂直当且仅当 $D_1^T{\Omega }_{\infty }{D}_2=0$。

定义 4（Plücker 坐标）。直线 $L$ 的 Plücker 坐标 $L=(m^T,v^T{)}^T\in {\mathbb{P}}^5$，满足 $m\cdot v=0$。

定义 5（直线相交）。 L 1 ∩ L 2 = { P } L_1 \cap L_2 = \{P\} L1​∩L2​={P}（有限点）当且仅当 $v_1\cdot m_2+v_2\cdot m_1=0$ 且 $v_1\times v_2\ne 0$。

命题的矩阵化证明

定理。设 $L_1,L_2$ 为 ${\mathbb{E}}^3$ 中两直线，则：
L 1 ⊥ L 2    ⟺    L 1 ∩ L 2 = { P } ∧ ∠ ( L 1 , L 2 ) = 90 ° L_1 \perp L_2 \iff L_1 \cap L_2 = \{P\} \land \angle(L_1, L_2) = 90° L1​⊥L2​⟺L1​∩L2​={P}∧∠(L1​,L2​)=90°

证明。

（$\Rightarrow$）设 $L_1\perp L_2$。 由垂直定义，两直线相交于一点 $P$ 且夹角为 $90°$。相交性保证 L 1 ∩ L 2 = { P } L_1 \cap L_2 = \{P\} L1​∩L2​={P}（有限点），角度条件保证 $\angle (L_1,L_2)=90°$。

（$\Leftarrow$）设 L 1 ∩ L 2 = { P } L_1 \cap L_2 = \{P\} L1​∩L2​={P} 且 $\angle (L_1,L_2)=90°$。 由相交条件，两直线共面（交点 $P$ 与两方向向量 $v_1,v_2$ 确定一平面）。在该平面内，两相交直线夹角 $90°$ 即为垂直定义。

矩阵化表述：
在 Plücker 坐标下，命题等价于：
$$L_1\perp L_2⟺\{\begin{array}{ll}{v}_1\cdot m_2+v_2\cdot m_1=0& \text{(相交)}\\ v_1\times v_2\ne 0& \text{(不平行)}\\ v_1^T{v}_2=0& \text{(方向垂直)}\end{array}$$

统一判别式：
构造判别矩阵：
$$\Delta (L_1,L_2)=\left(\begin{array}{cc}{v}_1^T{v}_2& v_1\cdot m_2+v_2\cdot m_1\\ v_1\cdot m_2+v_2\cdot m_1& \Vert v_1\times v_2{\Vert }^2\end{array}\right)$$

则：

• $L_1\perp L_2⟺{\Delta }_{11}=0\wedge {\Delta }_{12}=0\wedge {\Delta }_{22}>0$
• $L_1\parallel L_2⟺{\Delta }_{12}=0\wedge {\Delta }_{22}=0\wedge L_1/\propto L_2$
• $L_1,L_2$ 异面 $⟺{\Delta }_{12}\ne 0$

生成元的群论诠释

命题（垂直关系的欧几里得不变性）。设 $H\in E(3)$（刚体运动），则：
$$L_1\perp L_2⟺H(L_1)\perp H(L_2)$$

证明。$H=\left(\begin{array}{cc}R& t\\ 0& 1\end{array}\right)$ 保持欧几里得内积：

• 方向变换：$v_i^{\prime }=R{v}_i$，故 $v_1^{\prime T}{v}_2^{\prime }=v_1^T{R}^{T}R{v}_2=v_1^T{v}_2$
• 相交条件在平移下不变（见 2.3 节验证）
• 因此垂直的三个矩阵条件均保持。

李群视角：$E(3)$ 是保持垂直关系的最大连通群。任何破坏 $R^{T}R=I$ 的变换（如剪切、非均匀缩放）都将破坏垂直性。

垂直性与对偶结构

垂直性具有深刻的对偶性：

点-线对偶：在 ${\mathbb{E}}^3$ 中，过点 $P$ 垂直于直线 $L$ 的直线唯一确定（在 $L$ 的方向与 $P$ 确定的平面内）。

线-面对偶：直线 $L$ 垂直于平面 $\pi$ 当且仅当 $L$ 的方向 $v$ 平行于 $\pi$ 的法向量 $n$，即 $v\times n=0$。

在 Plücker 坐标下，平面 $\pi =(n^T,d{)}^T$ 的法方向为 $n$。直线 $L=(m^T,v^T{)}^T$ 垂直于 $\pi$ 的条件：
$$v\times n=0⟺v=\lambda n$$

这与两直线垂直的条件 $v_1\cdot v_2=0$ 形成对偶——前者是"平行于法向"，后者是"方向正交"。

命题在计算机视觉中的应用

在相机几何中，垂直关系用于自标定（self-calibration）：

定理（垂直线的绝对二次曲线约束）。若已知图像中两直线 $l_1,l_2$ 对应空间中的垂直线，则：
$$l_1^T\omega l_2=0$$
其中 $\omega =K^{-T}{K}^{-1}$ 为绝对二次曲线的像（IAC），$K$ 为相机内参矩阵。

这是命题的投影版本：空间垂直性在图像中表现为对 IAC 的约束，通过多条垂直线对可求解 $K$。

命题的推广与局限

在 ${\mathbb{E}}^n$（$n\ge 4$）中，两直线方向垂直且相交需要它们共处于某个 ${\mathbb{E}}^2$ 子空间中，这在一般情况下不成立——高维空间中两直线可以方向垂直但异面。

与平行命题的对比

友情提示，划重点

命题 “ L 1 ⊥ L 2    ⟺    L 1 ∩ L 2 = { P } ∧ ∠ ( L 1 , L 2 ) = 90 ° L_1 \perp L_2 \iff L_1 \cap L_2 = \{P\} \land \angle(L_1, L_2) = 90° L1​⊥L2​⟺L1​∩L2​={P}∧∠(L1​,L2​)=90°” 通过矩阵表示（Plücker 坐标、绝对二次曲线、欧几里得内积）获得了严格的代数形式，通过生成元理论（欧几里得群的李代数 $\mathfrak{e}(3)$、$6\times 6$ Plücker 变换矩阵）获得了变换不变性的群论解释。

与平行性相比，垂直性对变换群的要求更为严格——它不仅是仿射不变量，更是度量不变量。这一差异深刻体现在生成元结构上：平行性允许剪切和缩放（12 个生成元），而垂直性仅允许刚体运动（6 个生成元）。在射影框架中，平行性由无穷远平面 ${\pi }_{\infty }$ 编码，垂直性由绝对二次曲线 ${\Omega }_{\infty }$ 编码，两者共同构成了从射影几何到欧几里得几何的层级还原。

该命题在计算机视觉、机器人运动学、CAD 几何建模中具有核心应用价值，是三维线几何计算的度量基础。