同济线性代数：6-3.PPTVIP

6.3.1 实二次型的规范形及唯一性 §6.3 惯性定理 二次型经过可逆线性变换化为标准形后,它的标准形是否是唯一确定的? 换言之,与一个对称矩阵合同的对角形矩阵是否是唯一的? 本节将讨论这一问题. 在定理6.2.3中已经看到,对于实二次型,用正交线性变换化为标准形后,标准形中平方项的系数就是其相应实对称矩阵的全部特征值,从而其标准形除平方项排列顺序外是唯一确定的.与此对应,与实对称矩阵正 ， ， 交合同的对角矩阵除主对角线元素排列顺序外是唯一确定的. 然而在用可逆线性变换化二次型为标准形时,情况就不一样了. 例如对于二次型 经可逆线性变换 ， ， 可化为标准形 若用可逆线性变换 又可化为标准形 . ， ， 因此,二次型的标准形不是唯一的,它与所作的可逆线性变换有关.但可以看出,尽管g与h不同,但它们的系数非零的项数是相同的,系数为正的项数也是相同的.下面将会看到,这并不是巧合. 设 (6.3.1) 其中, 是一个实二次型,由定理 6.2.1可知, 必可由可逆线性变换化为只含 平方项的标准形 ， ， 相应地,二次型 由于合同的矩阵具有相同的秩,而 的矩阵 经过合同变 换化为对角形 的秩就 是主对角线上非零元素的个数,故标准形中 系数非零的平方项个数是确定的,它就等于 的秩r,它不会因不同的可逆线性变换而 ， ， 改变.这样,适当排列变元次序后, (6.3.2) 其中, 在式(6.3.2)中之所以有些带正号而另一些带负号,是因为不为零的平方项系数可能有一些是大于零,而另一些小于零.由 的标准 形(6.3.1)可写为 为正实数, 于在实数域 上正数总可开平方,对 (6.3.2)继续作下列可逆线性变换 ， ， 则式(6.3.2)变为 (6.3.3) ， ， 式(6.3.4)称为实二次型 定理6.3.1（惯性定理） 任意一个实 (6.3.4) 的规范 形,它完全被r,p这两个数所决定.由于r为 的秩,故r是完全由 确定的.那么数p, 即规范形(6.3.4)中系数为正的平方项个数 是否唯一确定呢? 下面的定理回答了这一 问题. 二次型 经过适当的可逆线性变换必可化 为规范形,且规范形是唯一的. 证 定理的前一个论断已由式(6.3.2)、 (6.3.3)、 (6.3.4) 证明,只需证明规范形的唯一性即可.由于规范形中的数r是确定的,实际上只要证明规范形式(6.3.4)中的数p是唯一的即可. 设实二次型 而 经过可逆线性 变换 化成规范形 化为规 范形 经另一个可逆线性变换 ， ， 要证明 得 (6.3.5) 由于 (6.3.6) .用反证法.设 ,则由 ,则 ,从而 ， ， 记 则式(6.3.6)给出了由变元 (6.3.7) 到 的可逆线性变换 ， ， 考虑线性方程组 它是含有 (6.3.8) 个未知数 且含有 个方程的齐次线性方程组.由假设 ,则 ， ， 故方程组(6.3.8)必有非零解,设为 (6.3.9) 则由式(6.3.8)的后 将式(6.3.9)代入式(6.3.5)左边得 个方程可知 ， ， 再把式(6.3.9)代入式(6.3.7),由式(6.3.8)的前q个方程可知 再代入式(6.3.5)右边得 这样, , 的一组非零的值代入 (6.3.5)的左、右两边得到不同的值,由此说 明假设 是不对的.故必有 ， ， 交换p,q的位置,同法可证 定义6.3.1 实二次型 有了上述概念,就可以把惯性定理另外叙述如下. .综合 上述两种情况,有 .证毕. 的规范形中正平 方项的个数 的正惯性指数;负平方 称为 项的个数 称为 的负惯性指数;二者 的差 称为 的符号差. 定理6.3.2 实二次型 关于实二次型的惯性定理的矩阵叙述如下. 定理6.3.3 任一实对称矩阵 的标准形中系 数为正的平方项个数是唯一确定的,它等于 的正惯性指数;系数为负的平方项个数 也是唯一确定的,它等于 的负惯性指数. 一个如下述形状的对角矩阵 必合同于 ， ， 其中, (6.3.10) 的主对角线上1的个数 及－1的个 数 (r是 的秩)都是唯一确定的,分别 称为 的正、负惯性指数.它们的差 称为 的符号差. ， ， 推论 两个n阶实对称矩阵合同的充分必要条件是它们有相同的秩和相同的正惯性指数(或相同的符号差). 例6.3.1 求实二次型 的正