线性代数：二次型

二次型

此为笔者考研复习拙见，如有错误，望各位读者不惜笔墨不啬赐教，感激不尽！

---

一、二次型的概念及其标准型

基本概念

二次型及其表示

含有 n 个变量 $x_1,x_2,\cdots ,x_n$ 的二次齐次函数 $f(x_1,x_2,\cdots ,x_n)=a_{11}{x}_1^2+\cdots +2a_{12}{x}_1{x}_2+\cdots +2a_{n-1,n}{x}_{n-1}{x}_n$ 称为 n 元二次型

二次型也可以写成 $f(x_1,x_2,\cdots ,x_n)=\sum _{i=1}^n\sum _{j=1}^n{a}_{ij}{x}_i{x}_j,a_{ij}=a_{ji}$ 的形式

记 $x=(x_1,x_2,\cdots ,x_n{)}^T$ ， $A=(a_{ij}{)}_{n\times n}$ ，则 $f(x_1,x_2,\cdots ,x_n)=x^{T}Ax$ ， $A^T=A$

称 $A$ 是二次型矩阵， $\mathrm{r}(A)$ 是二次型矩阵的秩， $A$ 是实对称矩阵

二次型的标准型

二次型只含有平方项时，即 $f(x_1,x_2,\cdots ,x_n)=d_1{x}_1^2+\cdots +d_n{x}_n^2$ ，称为二次型的标准型

二次型的标准化

二次型可以通过坐标变换 $x=Cy(C可逆)$ 化为标准型

$x^{T}Ax=(Cy{)}^{T}A(Cy)=y^T(C^{T}AC)y=y^T\Lambda y=d_1{y}_1^2+\cdots +d_n{y}_n^2$

另一方面，由于 $A$ 是实对称矩阵，那么存在正交变换 $x=Qy(Q为正交阵)$ 将 $x^{T}Ax$ 标准化，即 $x^{T}Ax=y^T\Lambda y={\lambda }_1{y}_1^2+{\lambda }_2{y}_2^2+\cdots +{\lambda }_n{y}_n^2$

惯性指数：在标准型中，正平方项的个数称为正惯性指数，记为 $p$，负平方项的个数记作 $q$ 。二次型经 可逆 坐标变换后 正负惯性指数不变且 $p+q=\mathrm{r}(f)=r(A)$

二次型的规范性

若 n 元二次型 $x^{T}Ax$ 经过坐标变换 $x=Cy$ 化为标准型， $x^{T}Ax=d_1{y}_1^2+\cdots +d_p{y}_p^2-d_{p+1}{y}_{p+1}^2-\cdots -d_{p+q}{y}_{p+q}^2$

其中 $d_i>0(i=1,2,\cdots ,p+q)$ ，再用坐标变换

$\{\begin{array}{rl}& y_1=\frac{1}{\sqrt{d_1}}{z}_1\\ & y_2=\frac{1}{\sqrt{d_2}}{z}_2\\ & \cdots \\ & y_{p+q}=\frac{1}{\sqrt{d_{p+q}}}{z}_{p+q}\\ & y_{p+q+1}=z_{p+q+1}\\ & \cdots \\ & y_n=z_n\end{array}$

则二次型化为 $z_1^2+\cdots +z_p^2-z_{p+1}^2-\cdots -z_{p+q}^2$ ，称为 二次型的规范型，二次型的规范型唯一，但标准型不唯一

矩阵合同

若 $A$ ， $B$ 为 n 阶实对称矩阵，存在可逆矩阵 $C$ 使得 $C^{T}AC=B$ 则称矩阵 $A$ 、$B$ 合同

若 $A、B合同\iff p_A=p_B,q_A=q_B$

坐标变换

形如 $\{\begin{array}{rl}& x_1=c_{11}{y}_1+c_{12}{y}_2+c_{13}{y}_3,\\ & x_2=c_{21}{y}_1+c_{22}{y}_2+c_{23}{y}_3,\\ & x_1=c_{31}{y}_1+c_{32}{y}_2+c_{33}{y}_3.\end{array}$ 称为坐标变换，记作 $x=Cy$ 其中 $C=(c_{ij}{)}_{3\times 3}$ 且 $C$ 可逆

坐标变换一定要注意可逆！

二次型化标准型的方法

• 正交变换

1. 求 $A$ 的特征值和对应特征向量
2. 对所有特征向量进行施密特正交化和单位化，得 ${\eta }_1,{\eta }_2,\cdots ,{\eta }_n$
3. 令 $Q=({\eta }_1,{\eta }_2,\cdots ,{\eta }_n)$ 则 $x=Qy$ 为正交变换
4. 写出标准型 ${\lambda }_1{y}_1^2+{\lambda }_2{y}_2^2+\cdots +{\lambda }_n{y}_n^2$

• 配方法

配方法注意一次只配一个字母，写成完全平方的形式后再作坐标变换，请看下例

$\begin{array}{rl}f(x_1,x_2,x_3)& =x_1^2+5x_2^2+5x_3^2+2x_1{x}_2-4x_1{x}_3\\ & =(x_1+x_2-2x_3{)}^2+4x_2^2+4x_2{x}_3+x_3^2(只配x_1)\\ & =(x_1+x_2-2x_3{)}^2+(2x_2-x_3{)}^2(只配x_2)\end{array}$

令 $\{\begin{array}{rl}& y_1=x_1+x_2-2x_3\\ & y_2=2x_2+x_3\\ & y_3=x_3\end{array}$ 反解 x 向量就可以得到矩阵 $C$ 了

注：二次型 $f=x^{T}Ax$ ，$A$ 的特征值 ${\lambda }_1,{\lambda }_2,\cdots ,{\lambda }_n$ 中最大的为 ${\lambda }^{\ast }$ ，最小的为 ${\lambda }_{\ast }$ ，且 $x^{T}x=M>0$

则 $M{\lambda }_{\ast }\le x^{T}Ax\le M{\lambda }^{\ast }$ ，即在条件 $x^{T}x=M>0$ 下能够确定二次型的界

二、正定二次型与正定矩阵

基本概念

设二次型 $f(x_1,x_2,\cdots ,x_n)=x^{T}Ax$ ，($A$ 为对称矩阵) ，若对任意 $x\ne 0$ 都有 $x^{T}Ax>0$ ，则称二次型正定，称 $A$ 为正定矩阵

正定二次型的判别

1. 二次型 $x^{T}Ax$ 正定 $\iff$ $A$ 的特征值全大于 0
2. 二次型 $x^{T}Ax$ 正定 $\iff$ $A$ 的顺序主子式全大于 0
3. $A$ 为实对称矩阵，则 $A$ 正定 $\iff$ $A$ 合同于单位矩阵 $E$
4. $A$ 为实对称矩阵，则 $A$ 正定 $\iff$ 正惯性指数 $p=n=\mathrm{r}(A)$
5. $A$ 为实对称矩阵，则 $A$ 正定 $\iff$ 存在可逆阵 $P$ 有 $A=P^{T}P$
6. 二次型 $x^{T}Ax$ 正定的必要条件是 $a_{ii}>0(i=1,2,\cdots ,n)$