二次型的每一项都是二次的,如果是平方则是平方项,如果是两个不同的变量则为交叉项。二次型如: x 2 + x y + y 2 x^2+xy+y^2 x2+xy+y2。
二次型->矩阵表达式
例: x 1 2 + 2 x 1 x 2 + x 2 2 − x 2 x 3 + 2 x 3 2 − 2 x 1 x 3 x_1^2+2x_1x_2+x_2^2-x_2x_3+2x_3^2-2x_1x_3 x12+2x1x2+x22−x2x3+2x32−2x1x3
解:
上图可表示为 X T A X X^TAX XTAX, A A A 为二次型的矩阵, A A A 的秩为二次型的秩,因此二次型的矩阵一定是对称的,即 A T = A A^T=A AT=A。
标准型
只有平方项,如 d 1 y 1 2 + d 2 y 2 2 + . . . + d n y n 2 d_1y_1^2+d_2y_2^2+...+d_ny_n^2 d1y12+d2y22+...+dnyn2, d i d_i di 可以是任意数。
线性替换
假设二次型 f ( x ) = X T A X f(x)=X^TAX f(x)=XTAX,令 X = C Y X=CY X=CY(线性替换),可得
f ( x ) = X T A X = ( C Y ) T A ( C Y ) = Y T ( C T A C ) Y f(x)=X^TAX=(CY)^TA(CY)=Y^T(C^TAC)Y f(x)=XTAX=(CY)TA(CY)=YT(CTAC)Y
令 B = C T A C B=C^TAC B=CTAC,由于标准型只有平方项,所以其只有主对角线元素,因此换做 Y Y Y 为自变量时 f ( Y ) f(Y) f(Y) 为标准型,同时 B B B 为新二次型矩阵。
若 ∣ C ∣ ≠ 0 |C|ne0 ∣C∣=0,则该替换为可逆替换或者非退化或者非奇异替换。