对角占优矩阵的性质.doc

唐山师范学院本科毕业论文 题 目 对角占优矩阵的性质 学 生 指导教师 年 级 2010级数本2班 专 业 数学与应用数学 系 别 数学与信息科学系 唐山师范学院数学与信息科学系 2014年5月 郑重声明 本人的毕业论文（设计）是在指导教师王朝霞的指导下独立撰写完成的。如有剽窃、抄袭、造假等违反学术道德、学术规范和侵权的行为，本人愿意承担由此产生的各种后果，直至法律责任，并愿意通过网络接受公众的监督.特此郑重声明。 　　　　　　　　　　　　　　　　　 毕业论文（设计）作者（签名）： 年 月 日 目 录 标题 1 中文摘要 1 1 预备知识 1 2 对角占优矩阵的性质 3 3 对角占优矩阵奇异性判定定理 5 4 （广义）对角占优矩阵的判别条件 8 5 结束语 13 参考文献 14 致谢 15 外文页 16 对角占优矩阵的性质 刘萌 摘 要 对角占优矩阵具有广泛的应用，本文以高等代数中的矩阵知识为基础，研究特殊的矩阵——对角占优矩阵，将给出对角占优矩阵的定义、研究对角占优矩阵的性质以及判别条件，并进而推广到广义对角占优矩阵，从而得出一些重要结论. 关键词 对角占优矩阵 广义对角占优矩阵 不可约矩阵 非奇异矩阵 对角均势主子阵 在《高等代数》教材中，已经对对角占优矩阵的定义有所了解，但是教材并没有进行进一步研究.对角占优矩阵有非常广泛的实际背景，在信息论、系统论、程序设计、数学物理和控制论等领域中有很多重要的应用.但是一些比较实用的判别条件并不多，这就给具体应用带来诸多不便.这就促使笔者研究对角占优矩阵的性质和简捷实用的判别条件. 1、预备知识 定义1 设，若对任意都有，则称为对角占优矩阵，记；若对任意都有，则称为严格对角占优矩阵，记. 定义2 设，若存在正对角矩阵，使得，则称为广义对角占优矩阵（广义严格对角占优矩阵），记. 定义3 设是一个的矩阵，如果且，则称是一个的置换矩阵，其中是阶单位方阵. 引理1 当时，一个的矩阵为置换矩阵的充要条件是的每一行恰有一个，每一列至多一个. 定义4 设，如果存在置换矩阵，使得 = 其中和分别是阶的方阵， ，则称为可约矩阵；否则称为不可约矩阵. 定义5 设满足条件：为对角占优矩阵；为不可约矩阵；严格不等式至少对一行标成立,则称为不可约对角占优矩阵. 定义6 设不可约，若存在正数，使得 ， 且上式中至少有一严格不等式成立，则称为不可约广义对角占优矩阵. 定义7 设，矩阵中满足的行称为对角占优行；而的行称为非对角占优行. 定义8 设，若对任意，如果成立，则称为行对角均势矩阵；如果成立，则称为行对角占优矩阵. 同理，可定义列对角均势矩阵.本文中对角均势矩阵一般指的是行对角均势矩阵. 定义9 设，如果的阶主子阵 为对角均势矩阵，则称为的对角均势主子阵，称其行列式为的对角均势主子式. 引理2 若齐次线性方程组 的系数矩阵，那么方程组有非零解，即系数矩阵奇异. 定义10 设，，若的各阶顺序主子式全为正数，则称为矩阵. 定义11 对任意，表示的比较矩阵，其中 引理3 设，则是广义严格对角占优矩阵当且仅当是非奇异矩阵. 引理4 设，为广义严格对角占优矩阵，如果中有个正数，个负数，且.则的全部特征值中恰有个为正，个为负. 定义12 表示矩阵的列向量所生成的子空间. 2、对角占优矩阵的性质 性质1 若为广义严格对角占优矩阵，则必存在对角占优行. 证明 （反证法）假设中不存在对角占优行，则，，对任何，，设，则.根据定义2知不存在正对角矩阵使得为严格对角占优矩阵.因此这与为广义严格对角占优矩阵相矛盾，所以必存在对角占优行. 性质2 若为广义严格对角占优矩阵，则只有零解. 证明 因为为广义严格对角占优矩阵，根据定义2知存在正对角矩阵使成立.设为的一非零解，其中至少有一个， 令 ，， 则至少有一 所以 设||，由知，即， 所以 这与为严格对角占优矩阵矛盾，所以只有零解. 性质3 设且为对角占优矩阵，如果有如下的分块形式: ，为阶方阵 则,. 证明 下证. 记，，为列向量.只需证 可由 线性表示即可. 如果中的，则. 如果，则在中第一个元素为. 如果 则中的第一、二两个元素为零.否则在和中的第一、二两个元素为零. 一直进行下去可将列全部变为零. 这就意味着存在数，使得即可由线性表示. 性质4 设=，，则对于矩阵其中， 若为对角占优