线性代数(李建平)讲义__复旦大学出版社__第六章.pptVIP

 二、正交变换法 三、初等变换法 根据定理4，任一n元二次型 上式说明：对于实对称矩阵A相继施以初等列变换，同时施以同种初等行变换，矩阵A就合同于一个对角矩阵. 由此得到化二次型为标准形的初等变换法： 定义3 设n元二次型 设实二次型 若总有 若对某些X有 A的特征值全小于零； A的奇数阶顺序主子式全小于零，偶数阶顺序 定理12　 但至少有一个主子式等于零. 注　实对称矩阵A的顺序主子式大于或等于零时，A不一定是半正定的，例如. 因此半正定的这个性质与正定是不同的. 例3　用初等变换法化例3中的二次型 f=2x1x2+2x1x3-6x2x3为标准形，并求所用的变矩阵. = 于是 解　二次型f的矩阵为 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 这样，矩阵A就化为了对角矩阵，相应的二次型化成 了标准形 所用的变换矩阵为 - F = Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 比较教材例3和例4的结果可以看到，选取的变换矩阵不 同，化出的二次型的标准形一般也不同，但有两点是相 同的：一是标准形中平方项的项数，即二次型的秩， 这一点由上节定理1即知；另一相同之处就是标准 形中正平方项和负平方项的项数，这一点将在下 一节加以研究. Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 第三节　惯性定理和正定二次型 同一二次型化为标准形，由于采用的可逆变换不 同而使标准形不同，也就是说，二次型的标准形 不是唯一的，那么这些不同的标准形有什么关系呢？ 二次型f=X AX化为标准形f= 后， 如果A的秩为r，因任何可逆变换不改变二次型的秩， 所以其标准形中非零系数有且仅有r项. 再经过一次可 逆变换，可以适当排列变量的次序，把系数为正的排 在前面，将其化为如下形式 其中ci＞0(i=1，2，…，r). 一、 惯性定理 T f= (6.5) Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 定理5 任意实二次型f，经过不同的可逆变换化为 标准形后，正平方项的个数和负平方项的个数都是 由f 唯一确定的. 实二次型的标准形保持其正平方项个数和负平方项 个数不变的特性，称为实二次型的惯性. 因此，常称定理5为惯性定理. 这里不予证明. 二次型f的标准形（6.5）中正平方项的个数p称为 二次型的正惯性指数，负平方项的个数r-p称为负 惯性指数. 正惯性指数与负惯性指数的和为r，恰等于 二次型f的秩. 若对二次型f的标准形（6.5）进一步作可逆变换 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. y1=  yr= yr+1=zr+1，  yn=zn， 则二次型可以化为如下形式 f=z21+…+z2p-z2p+1-…-z2r， (6.6) Z ， 1 … Z ， r … 称(6.6)式为二次型f的规范形. Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 推论1　任意实二次型都可以通过可逆变换化 为规范形，且规范形是唯一的. 利用矩阵的语言，推论1可以叙述为： 推论2　任意实对称矩阵A合同于对角矩阵 Ep 　　 Λ= -Er-p 　　　　 O 且p与r-p是由A唯一确定的. 显然，将一个标准形化为规范形的过程中， 二次型的正平方项个数和负平方项个数也 保持不变. 于是由惯性定理