线性代数 Cheat Sheet 7-2:二次型
Rn 上的一个二次型是一个定义在 Rn 上的函数,它在向量 x 处的值可由表达式 Q(x)=xTAx 计算,其中 A 是一个 n×n 矩阵。矩阵 A 称为关于二次型的矩阵。
在某些情况下,二次型对应的矩阵是对角矩阵时,会更容易使用。非对角线项可用过适当的变量代换消去。
Contents [show]
1. 二次型的变量代换
如果 x 表示 Rn 中的向量变量,那么变量代换是下面形式的等式:
x=Py或y=P−1x
其中 P 是可逆矩阵且 y 是 Rn 中的一个新的向量变量。这里 P 的列可确定 Rn 的一个基,y 是相对于该基的向量 x 的坐标向量。
如果用变量代换 (1) 处理二次型 xTAx,那么
xTAx=(Py)TAPy=yTPTAPy=yT(PTAP)y
且新的二次型矩阵是 PTAP。因为 A 是对称的,由定理 2,存在正交矩阵 P,使得 PTAP 是对称矩阵 D,(2) 中的二次型变为 yTDy。
定理 4(主轴定理)设 A 是一个 n×n 对称矩阵,那么存在一个正交变量代换 x=Py,它将二次型 xTAx 变换为不含交叉乘积项的二次型 yTDy。
定理中矩阵 P 的列称为二次型 x=Py 的主轴,向量 y 是向量 x 在由这些主轴构造的 Rn 空间的单位正交基下的坐标向量。
2. 二次型的分类
定义 一个二次型 Q 是:
a. 正定的,如果对所有 x≠0,有 Q(x)>0。
b. 负定的,如果对所有 x≠0,有 Q(x)<0。
c. 不定的,如果 Q(x) 既有正值又有负值。
此外,对所有 x,如果 Q(x)≥0,则称 Q 是半正定的;如果 Q(x)≤0,则称 Q 是半负定的。
定理 5(二次型与特征值)设 A 是 n×n 对称矩阵,那么一个二次型 xTAx 是:
a. 正定的,当且仅当 A 的所有特征值是正数。
b. 负定的,当且仅当 A 的所有特征值是负数。
c. 不定的,当且仅当 A 既有正特征值,又有负特征值。
利用二次型的分类,相应的得到矩阵的形式分类。一个正定矩阵 A 是一个对称矩阵,二次型 xTAx 是正定的。其他形式的矩阵(如半正定矩阵)的概念可类似定义。