高等代数(五)-二次型04：正定二次型

§ 4 正定二次型
在实二次型中,正定二次型占有特殊的地位.作为本章的结束,我们给出它的定义以及常用的判别条件.
定义 4 实二次型 $f\left(x_1,x_2,\cdots ,x_n\right)$ 称为正定的,
如果对于任意一组不全为零的实数 $c_1,c_2,\cdots ,c_n$, 都有
$f\left(c_1,c_2,\cdots ,c_n\right)>0$.
显然,二次型
$$f\left(x_1,x_2,\cdots ,x_n\right)=x_1^2+x_2^2+\cdots +x_n^2$$
是正定的, 因为只有在 $c_1=c_2=\cdots =c_n=0$ 时,
$c_1^2+c_2^2+\cdots +c_n^2$ 才为零.一般地,
读者不难验证,实二次型
$$f\left(x_1,x_2,\cdots ,x_n\right)=d_1{x}_1^2+d_2{x}_2^2+\cdots +d_n{x}_n^2$$
是正定的当且仅当 $d_i>0(i=1,2,\cdots ,n)$.
设实二次型
$$f\left(x_1,x_2,\cdots ,x_n\right)=\sum _{i=1}^n\sum _{j=1}^n{a}_{ij}{x}_i{x}_j,a_{ij}=a_{ji}$$
是正定的,经过非退化实线性替换
$$\mathbf{X}=\mathbf{C}\mathbf{Y}$$
变成二次型
$$g\left(y_1,y_2,\cdots ,y_n\right)=\sum _{i=1}^n\sum _{j=1}^n{b}_{ij}{y}_i{y}_j,b_{ij}=b_{ji}.$$
我们指出, $y_1,y_2,\cdots ,y_n$ 的二次型
$g\left(y_1,y_2,\cdots ,y_n\right)$ 也是正定的,或者说,
对于任意一组不全为零的实数 $k_1,k_2,\cdots ,k_n$, 都有
$g\left(k_1,k_2,\cdots ,k_n\right)>0$. 事实上, 令
$$y_1=k_1,y_2=k_2,\cdots ,y_n=k_n,$$
代人 (2) 的右端, 就得 $x_1,x_2,\cdots ,x_n$ 对应的一组值.
臂如说是 $c_1,c_2,\cdots ,c_n$, 这就是说
$$\left(\begin{array}{c}{c}_1\\ c_2\\ ⋮\\ c_n\end{array}\right)=\mathbf{C}\left(\begin{array}{c}{k}_1\\ k_2\\ ⋮\\ k_n\end{array}\right).$$
因为 $\mathbf{C}$ 可逆，就有
$$\left(\begin{array}{c}{k}_1\\ k_2\\ ⋮\\ k_n\end{array}\right)={\mathbf{C}}^{-1}\left(\begin{array}{c}{c}_1\\ c_2\\ ⋮\\ c_n\end{array}\right)\text{. }$$
所以当 $k_1,k_2,\cdots ,k_n$ 是一组不全为零的实数时,
$c_1,c_2,\cdots ,c_n$ 也是一组不全为零的实数.显然
$$g\left(k_1,k_2,\cdots ,k_n\right)=f\left(c_1,c_2,\cdots ,c_n\right)>0.$$
因为二次型 (3) 也可以经过非退化实线性替换
$$\mathbf{Y}={\mathbf{C}}^{-1}\mathbf{X}$$
变到二次型 (1), 所以按同样理由, 当 (3) 正定时 (1)
也正定.这就是说,非退化实线性替换保持正定性不变,由此即得
定理 $6n$ 元实二次型 $f\left(x_1,x_2,\cdots ,x_n\right)$
是正定的充分必要条件是它的正惯性指数等于 $n$.
证明 设二次型 $f\left(x_1,x_2,\cdots ,x_n\right)$
经过非退化实线性替换变成标准形
$$d_1{y}_1^2+d_2{y}_2^2+\cdots +d_n{y}_n^2.$$
上面的讨论表明, $f\left(x_1,x_2,\cdots ,x_n\right)$ 正定当且仅当
(4) 是正定的,而我们知道,二次型 (4)是正定的当且仅当
$d_i>0(i=1,2,\cdots ,n)$, 即正惯性指数为 $n$.
定理 6 说明,正定二次型 $f\left(x_1,x_2,\cdots ,x_n\right)$
的规范形为
$$y_1^2+y_2^2+\cdots +y_n^2.$$
定义 5 实对称矩阵 $A$ 称为正定的,如果二次型
$$\dot{{\mathbf{X}}^{\top }}\dot{\mathbf{A}}\mathbf{X}$$
正定.
因为二次型 (5) 的矩阵是单位矩阵 $E$,
所以一个实对称矩阵是正定的当且仅当它与单位矩阵合同,由此得
推论 正定矩阵的行列式大于零.
证明 设 $\mathbf{A}$ 是一正定矩阵. 因为 $\mathbf{A}$
与单位矩阵合同, 所以有可逆矩阵 $C$, 使
A = C ⊤ E C = C ⊤ C .  \boldsymbol{A}=\boldsymbol{C}^{\top} \boldsymbol{E} \boldsymbol{C}=\boldsymbol{C}^{\top} \boldsymbol{C} \text {. } A=C