李亚飞终稿论文.doc

目录 中文摘要 关键词 (II) 1、 绪论 (1) 2、预备知识 (1) 2.1二次型的相关定义 (1) 2.2 二次型的相关定理 (2) 3、正定二次型和正定矩阵的判定方法 (7) 3.1定义法 (7) 3.2正定二次型和正定矩阵等价判定 (8) 4、 正定矩阵常见的性质 (12) 5、 正定二次型和正定矩阵的简单应用 (18) 5.1解题中的应用 (18) 5.2极值问题中的应用 (20) 5.3几何中的应用 (23) 5.4统计中的应用…………………………………………… (25) 6、 结论 (26) 参考文献 (27) 外文摘要 关键词 (Ⅲ) 浅谈正定二次型的性质和应用 数学与信息科学学院 数学与应用数学专业 指导老师 蔡炳苓 作 者 李亚飞 摘要 二次型这一章节形式上在高等代数中是独立的，但它与矩阵的性质、特征值、特征向量、Math lab中矩阵的求解和线性变换等有很大的联系，并且它的求解计算等思想又丰富了矩阵的计算和解析几何中二次曲面等知识。二次型的讨论对象是二次函数，二次型在物理、统计、几何、极值等问题中有广泛的应用。其中正定二次型因其特殊的地位在许多应用和理论研究中有很大的实用价值，本文简单介绍了二次型的相关定义：如正定矩阵、特征值等；概括解题中的正定二次型和正定矩阵判定定理和等价条件：如正定矩阵顺序主子式大于零等；总结了一些性质、应用和证明；重点举例在解题中的若干定理和性质，进行了总结和推广并研究它的一些简单的应用。 关键词 正定二次型，正定矩阵，可逆矩阵，主子式，特征值 1绪论 在实二次型中正定二次型占有特殊的地位，正定二次型和它相互唯一决定的正定矩阵是我们探讨研究的重点，以下我们介绍二次型讨论的常用手法，指出正定二次型的地位，给出实用性较强的定理和经典例题，通过实例我们更好的了解正定二次型和正定矩阵的魅力。 2预备知识 2.1二次型的相关定义 定义1 设是一数域，一个系数在数域中的的二次齐次多项式 称为数域上的一个元二次型，或者，在不致引起混淆时简称二次型． 定义2 设，是两组文字，系数在数域中的一组关系式 称为由到的一个线性替换（简称线性替换）． 如果系数行列式 则称线性替换是非退化的． 定义3 令 ，．由于，所以上述二次型可以写成 把上式的系数排成一个矩阵 称为二次型的矩阵．因为，，所以．二次型的矩阵都是对称矩阵． 定义4 数域上矩阵与称为合同的，如果有数域上可逆的矩阵，使 合同是矩阵之间的一个等价关系．它满足 (1)反身性：； (2)对称性：由即得； (3)传递性：由即得． 定义5 二次型中最简单的一种是只包含平方项的二次型 是二次型的标准形． 定义6 二次型中标准形的系数只为1，-1或0的，是二次型的规范形． 定义7 在实二次型的规范形中，正平方项的个数称为 的正惯性指数；负平方项的个数称为的负惯性指数；它们的差称为的符号差． 定义8 设是数域上线性空间的一个线性变换，如果对于数域中一数，存在一个非零向量，使得，那么称为的一个特征值，而称为的属于特征值的一个特征向量． 2.2 二次型的相关定理 定理1 二次型可以用矩阵的乘积表示出来 证明 令 有 这说明二次型可以用矩阵的乘积表示出来．我们把二次型用矩阵表示出来，并且二者之间是相互唯一决定的． 注意：任给那么都是二次型，但此二次型的矩阵不一定是，因为不一定是实对称阵，因此二次型的矩阵是，其中 这时． 例1 判断二次型 是否正定时，它对应的矩阵是 应注意． 定理2 数域上任意一个二次型都可以经过非退化的线性替换变成标准形的形式，如： 证明略． 定理3 在数域上，任意一个对称矩阵都合同于一个对角矩阵。即：对于任意一个对称矩阵都可以找到一个可逆矩阵使 为对角矩阵． 例2化二次型 为标准形，并利用矩阵验算所得结果． 解 由配方法可得 要作非退化线性替换，于是可令 则原二次型的标准形为 且非退化线性替换为 故替换矩阵为 且有 ． 定理4 任意一个复系数的二次型，经过一适当的非退化线性替换可以变成规范形；且规范形是唯一的． 证明 设是复数域的二次型．经适当的非退化线性替换 可以变成标准形．不妨设它的标准形是 ， （1）就是的秩.因为复数总可以开平方，我们再作一非退化线性替换（1） （2）的规范形．显然，规范形完全被原二次型的秩所唯一决定，因此有 任一复数的对称矩阵合同于另一个对称矩阵，该