矩阵为奇异工作精度_外积与复合矩阵，特征值/奇异值的乘积型受控，Hodge对偶与伴随矩阵...

矩阵论记号约定​zhuanlan.zhihu.com

外积与复合矩阵

• 设
  ，则
  ；
• [Gram行列式]
  ，其中
  ；
• 。

证明：直接计算可得

设

构成

的规范正交基，记

。

• 构成规范正交基；注意
  。

证明：任取

，有

• 设
  ，任给规范正交基
  和
  ，对于
  有
  ，其中
  ；
• 复合矩阵
  是
  外幂
  的矩阵表示；
• ；特别地，若
  ，则
  。

证明：任取

，有

设

，则

• [乘性]
  ；
• [Cauchy-Binet公式]
  对
  成立。

证明：由

可得

。

• 设
  的奇异值为
  ，其中
  ，则
  ；从而
  。
• 若
  ，设
  的特征值为
  ，则
  ；从而[
  Sylvester-Franke]
  。

证明：注意

和

，只需考虑方阵情形。取可逆矩阵

使得

为Jordan标准型，于是

；容易验证上三角矩阵的情形。

• 记
  的特征多项式为
  ，则
  。

证明：展开

即知

。

特征值/奇异值的乘积型受控

• [Horn^[1]] 将
  的奇异值(计入
  )排列为
  ，则
  ；
• 类比于Karamata不等式的证明过程，由
  单调性可得
  。

证明：任取

，有

最后，

。

• [Weyl] 设
  的特征值和奇异值分别为
  和
  ，则
  ；
• 从而
  。

证明：任取

，由谱半径性质可得

。最后，

。

Hodge对偶与高次伴随矩阵

注意到

，尝试定义同构(

Hodge星算子)

，适合

，其中

表示

的

体积单位；只需对

定义

，其中

映射为

的

逆序数。易见

，且对

有

和

。

• 设
  ，则
  ，其中
  是
  的
  代数余子式；
• 伴随矩阵
  是
  的矩阵表示；
• 由
  可得
  。

证明：任取

，有

• ；
• 若
  可逆，则
  。

证明：应用Laplace展开[任取

，有

]即可。

参考

1. ^https://wj32.org/wp/2015/12/29/horns-inequality-for-singular-values-via-exterior-algebra/