广义正定矩阵-数学与应用数学毕业论文.doc

本科毕业论文 题目 广义正定矩阵 学院： 数学与计算机科学学院 班级： 数学与应用数学2007级5班 姓名： xx 指导教师： xx 职 称： 副教授 完成日期： 2015 年 5 月 18 日 广义正定矩阵 摘 要：对于正定矩阵的理论，在实际应用中有非常广泛的应用，但在本科阶段的教材中，讨论的都不够充分，以至于我们不能很好的理解和应用.教材中涉及了矩阵的常规正定性，虽然在几何学，物理学以及概率论等学科中都得到了重要的应用，但随着数学本身以及应用矩阵的其他学科的发展，越来越感到不能满足需要，所以研究广义正定矩阵已成为一种必然. 本文研究了未必对称的较广义的几种正定矩阵，给出了他们的定义及其这些广义矩阵的关系,接着又比较深入的讨论了各类正定矩阵的等价描述和其性质.这种较为广义的正定矩阵在数学规划的最优算法中，在严格的凸向量函数的检验中，以及在各种线性回归模型结构的基本理论中都得到了重要的应用. 关键词：对称正定矩阵；实正定矩阵； 广义正定矩阵；行列式；特征根 目 录 1 正定矩阵及广义正定矩阵的相关定义 1 2 上述正定矩阵类的关系及相关推论 1 3 上述正定矩阵类的等价描述及其相关性质 3 3.1 对称正定矩阵 3 3.2 实正定矩阵 4 3.2.1 实正定矩阵的等价描述及其性质 4 3.3 广义正定矩阵 8 3.3.1 的等价描述及其性质 8 3.3.2 对于有下列等价描述及性质 9 参考文献 14 谢 词 16  1 正定矩阵及广义正定矩阵的相关定义 正定矩阵在矩阵论中占有十分重要的地位，在实际中有非常广泛的应用，历史上，正定矩阵的研究最先出现在二次型与Hermite型的研究中，它的常规定义是： 定义1 设.若，对任意的，都有，则称为对称正定矩阵,记为. 定义2 设，若(代表的共轭转置)，对都有，则称A为hermite正定矩阵，记为. 1970年，C.R.Johnson给出了较广义的正定矩阵. 定义3 设，若对任意的，都有，则称为实正定矩阵，记为. 1984年，佟文延把这种正定性推广为： 定义4 设，若对任意的，都有正对角矩阵0，使.则称为广义的正定矩阵，记为，若与x无关，则记为. 1988年夏长富又将实矩阵的正定性作为进一步推广，他给出了： 定义5 设，若对，都存在实对称矩阵（即），使得，则称为正定矩阵，记为，特别地若与无关时，记为. 2 上述正定矩阵类的关系及相关推论 下面我们给出这些矩阵类的包含关系及相关命题 命题1 证明 任取，则,显然. 再取则对任何，都有=+0.因此. 但,即,故. 取知.再取，.则对任何，都有.因此.但当=0，不全为零，而==0,==0. 由此知,故. 显然.故命题得证. 命题2 的充要条件是： 证明 由等式： 注意到.即知的充要条件是： 命题得证. 命题3 广义实正定矩阵和对称正定矩阵、 实正定矩阵有如下关系： ,使或 证明 :若，则,使对，有, (1) 即,显知,而 或者将（1）式改写为：即,而,显知 ：若,,使,则. 因,.有 或者，若,使，则，有.因， 所以 又因. 所以 综上所述，命题得证. 说明：对称正定矩阵和实正定矩阵之积为广义实正定矩阵，这也可作为广义正定矩阵的定义和判据. 3 上述正定矩阵类的等价描述及其相关性质 3.1 对称正定矩阵 命题1 设则（1）的主对角元素全大于0（2）中绝对值最大元素在主对角线上. 证明 （1）经过若干次行列合同变换，可将换到，故. （2）反证法：假定（）是的绝对值最大元素，而因为，即正定，所以的所有主子式全大于0，由此我们只需证明第行第行与第列第列交点上元素组成的矩阵不是正定矩阵即可. 考虑矩阵（假定）注意到，且所以 所以这个矩阵一定不是正定矩阵.证毕. 命题2 若是严格对角占优矩阵且主对角线上的元素全为正，又满足则. 证明 (1)首先证明 设由于是严格对角占优矩阵，则有更有 （反证法）由于线性方程组只有零解得冲要条件是.假设有非零解，记，方程组的第个方程为 整理得 于是 从而与条件矛盾 故只有零解，即. （2）再证 构造矩阵 那么，显然满足，故. 注意到展开后是的连续函数，且，.以下用反证法证明. 假设，则有，但，由零点定理，存在使 矛盾.故 (3)显然的所有顺序主子式均为严格对角占优矩阵，故对的任意顺序主子式恒大于0. 由课本定