3_2.埃尔米特二次形.pptVIP

二次型指的是数域P上的n元二次齐次多项式，它的研究起源于解析几何中化二次曲面的方程为标准形式的问题．二次型不但在几何中出现，而且在数学的其它分支以及物理、力学中也常常会碰到．在这一章里，我们用学过的矩阵知识来讨论二次型的一些最基本的性质． Department of Mathematics * * Department of Mathematics 矩 阵 论 电 子 教 程 哈尔滨工程大学理学院应用数学系 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 矩阵的对角化,若当标准型 第 三 章 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 一,Hermite矩阵及基本性质 引理: 设 , 则 (1) 都是H-阵. §3.2 Hermite二次型 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. (2) 是反H-阵. (3) 如果 是H-阵, 那么 也是H-阵, 为任意正整数. 如果 是可逆的H-阵, 那么 也是可逆 的H-阵. 如果 是H-阵(反H-阵), 那么 是反H-矩 阵(H-阵), 这里 为虚数单位. 如果 都是H-阵, 那么 也是H-阵, 这里 均为实数. (7) 如果 都是H-阵, 那么 也是H-阵的 充分必要条件是: Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 二,Hermite矩阵的相关定理 定理1:设 ,则 (1) A酉相似与对角线都是A的特征值的对角阵 (2) 若 ,则A与矩阵 合同,其中p为A的正惯性指数,r- p为负惯性指数 证明(2)因为A是正规矩阵,所以存在酉矩阵U,使得: 不妨假设 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 则有: 其中: 我们记 于是: ,且: 由此可以看出:H-阵A的正、负惯性指数即为A的特征值的个数,因此A的惯性指数唯一确定,是合同变换下的不变量 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 证明: 必要性,因为 是数, A 是H-阵,所以: 定理2: 设 , 则 是H-阵的充分必要条件 是对于任意的 是实数. 所以: 为实数 充分性: 因为 是实数, 故 即: ,设 则: Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyrigh