数学与应用数学毕业论文-矩阵秩的相关理论的证明.doc_第1页
数学与应用数学毕业论文-矩阵秩的相关理论的证明.doc_第2页
数学与应用数学毕业论文-矩阵秩的相关理论的证明.doc_第3页
数学与应用数学毕业论文-矩阵秩的相关理论的证明.doc_第4页
数学与应用数学毕业论文-矩阵秩的相关理论的证明.doc_第5页
已阅读5页,还剩5页未读 继续免费阅读

下载本文档

版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领

文档简介

矩阵秩的相关理论的证明内容提要 在矩阵理论中,矩阵的秩是代数学中一个非常重要的概念,在代数研究中有着重要的作用,它是研究线性方程组、向量空间、欧式空间、线性变换及二次型的一个有力工具。因而,了解矩阵的秩可以为更好地学习、研究代数方面打下基础。本文主要是讨论满秩矩阵秩中常见的一些性质、定理及结论,并且从sylvester公式出发,去探讨一个以刻画矩阵秩的完美公式,并且去得到相关的一系列的结果。此外还研究了方程组的解与矩阵秩的关系;最后,就矩阵秩的证明方发及应用加以概括和总结。关键词 矩阵;矩阵的秩;行满秩阵;列满秩阵;sylvester公式;伴随矩阵一、矩阵及矩阵秩的定义1、矩阵的定义 数域p上个数排成的s上列的表称为数域p上的矩阵,记为,简记a,也记为,即a=。当时,即矩阵称为阶方阵。如果a,b是同行矩阵(即行数相同,列数相同),且对应的元素相等,则称a与b相等,记为a=b.2. 矩阵秩的定义 设为矩阵, 如果存在的阶子式不为零, 而任何阶子式(如果存在的话)皆为零,则称数为矩阵的秩, 记为.规定零矩阵的秩等于零.当, 称矩阵为满秩矩阵,否则称为降秩矩阵.二矩阵秩的相关性质及其推论推论设是阶方阵,则有, 。证 可以通过证明方程组与有完全相同的解得到结论成立。 假设,左边乘以后可得,即的解是的解反之假设,则必有假设则个元向量线性无关,与题矛盾因此,结论成立。从上述结论,我们可以知道阶方阵的秩的多少次方都是相等的引理 设是秩为的矩阵, 存在 1)可逆矩阵, 使得的后行全为0, 2)可逆矩阵, 使的后列全为0. 证 存在可逆矩阵, 使 . (1) 令, 其中设为矩阵a 行的子块,有 .得到结论一成立再令 , 其中设为矩阵a 列的子块,有 ,得结论二成立.从上述定理,我们可以知道任意一个矩阵与其它的可逆矩阵相乘,秩是保持不变。 再来看下面的推论推论设是一个矩阵, 是一个矩阵, 则1)若, 则. 2)若, 则.证 1)由上面的引理我们可以知道,存在非奇异矩阵,使,又因为的秩为, 所以可得子块阶非奇异矩阵.因此有.2), , .存在非奇异矩阵, , 为n阶非奇异矩阵因此有 得到上述结论成立。从上述推论我们可以得出结论:任意一个矩阵左(右)乘一列(行)满秩矩阵, 其秩是不变的;推论 设, 是数域上的满秩矩阵, 存在数域上的阶可逆矩阵, 使得.证 因为是列满秩矩阵, 所以存在阶可逆矩阵, 使得,同理可知存在阶可逆矩阵, 使得,因此有 ,推出 ,设 , 则有 .得出结论成立。推论 设是阶实对称正定矩阵,是实矩阵, 则是列满秩矩阵的充分必要条件为正定.证 充分性: 由题为正定矩阵, 则对任意的实维列向量, 存在, 即, 又因为正定知, 所以得 只有零解, 因此 , 即是列满秩矩阵. 必要性: 因为, 所以有为实对称矩阵. 又因为是列满秩矩阵, 有, 因此只有零解. 所以对任意的实维列向量, 都有, 因此有 , 即正定.得出结论成立三sylvester公式及其推论7我们已经知道在矩阵论中,矩阵的秩是最基本的概念之一,它最早是由sylvester引进的。而矩阵的秩是则是矩阵诸多数量特征中既抽象又本质的数字特征之一,它是矩阵在初等变换下的不变量。而关于矩阵的秩有一系列的不等式,但是在矩阵秩的等式当中sylvester与frobenius不等式是两个最基本的不等式,它们在矩阵理论中也占有非常重要的地位。我们先来看矩阵秩的一个基本结论是: 设是矩阵,是矩阵,且满足,则有接着我们先来看 sylvester不等式 定理(sylvester(薛尔佛斯特)公式) 设分别是与矩阵, 则 .证: 由题有 ,又因为,所以有 即. 在sylvester定理中, 我们可以将与分别是形如,的矩阵时, 可以得出更多的结论:推论1 设 ,则有.证 将,分块矩阵及其广义矩阵进行初等变换可得: 有 ,即 .可得结论成立。推论2 设, 则有. 推论3 设, 则.有上面的推论,我们可以跟广泛一些,变可得下面的推论:推论4 ,则有.证 由推论1, 我们有 结论成立。定理2( frobenius(佛罗扁尼斯)公式) 假设设分别是与,矩阵, 乘积有意义, 则有 证 设是矩阵, , 则存在阶可逆阵, 阶可逆阵, 使得 , 把适当分块, , 由上式有,所以有 .即 命题成立 由frobenius定理我们也可以得出下面的推论推论 设为阶方阵, 为任意自然数. 则.证 我们对其用数学归纳进行证明. 当时, 不等式显然成立. 当时, 由frobenius公式知,进而可得 ,不等式成立.我们假设当时成立. 即:.又因为可得出 .即不等式对时也成立. 所以结论成立。四矩阵秩在线性方程组中的应用推论 设为矩阵, 对任意矩阵, 由可得 的充要条件是(的列数).证 1)若, 则矩阵方程(为未知矩阵, 为阶单位矩阵)有解. 任取其一解, 则, 于是对等式左乘以即得,从而得.2) 反之, 若由可得, 则必. 因若不然, 设. 则齐次线性方程组必有非零解. 于是以非零解为列所得的矩阵且,其中. 即有, 但是, 矛盾, 因此必.注 同理, 由(在矩阵可乘前提下)可得的充要条件是的行数.推论 设为任意矩阵, 为未知矩阵. 则矩阵方程 必有解.证 设.若, 则结论显然成立。 下设.于是存在阶可逆矩阵 使,其中为阶单位矩阵.现在令,其中依次分别为任意的 矩阵. 于是有=.从而为矩阵方程的解.注 从以上证明还可知, 当时, 矩阵方程不仅有解, 而且有无穷多解.推论 设分别为矩阵, 而为未知矩阵. 则矩阵方程有解的充要条件是:.当 时, 矩阵方程有惟一解.证 (1) 设有解.今任取其一解 则有. 由此可知, 矩阵方程分别有解:,于是 .反之, 设以上二等式成立, 则由前面的结论知, 矩阵方程有解. 各任取其一解, 设为, 则有 又由上题知, 矩阵方程有解, 任取其一解, 于是有 再由、可得,即是矩阵方程的解, 从而方程有解.(2)证解的惟一性.在假设条件下, 方程有解.设为其任二解, 有,从而都是矩阵方程的解.但由于,故其解是惟一的, 因此.从而.这说明, 矩阵的每一列都是齐次线性方程组(这里为未知矩阵)的解, 但由于 ,故只有零解.因此.即矩阵方程的解是惟一的.五矩阵秩的证明方法总结在矩阵理论中,矩阵的秩是一个重要的概念。它是矩阵的一个数量特征,而且是初等变换下的不变量。矩阵的秩与矩阵是否可逆、线性方程组的解得情况都有密切的联系。矩阵的秩的内容丰富,其应用十分广泛的,不仅仅在数学中有应用,而且在控制论及信息处理技术等等其他学科中得到广泛应用,并且随着越来越多的国内数学家的努力与研究,矩阵的秩将会有一个更大的发展空间。证明矩阵秩的有关理论,有许多方法。若充分利用分块矩阵来证明,虽然带有一定得技巧性,但并不难想,尤其是,这种方法的证明本身显得十分简洁,而且方法也很统一,具有极大的优越性。不等式的证明可以转化为证两个相关联的分块矩阵等价,而后者可由适当的初等变换来证明。除了用分块矩阵以外,它可以用行(列)向量组的极大线性无关组来证,用矩阵的初等变换来证明,还可以联系到齐次线性方程组的基础解系来证。参考文献1 北京大学数学系几何与代数教研室代数小组高等代数m北京: 高等教育出版社,19882 杨子胥. 高等代数习题解 . 济南: 山东科学技术出版社,20033 钱吉林. 高等代数题解精粹 . 北京: 中央民族大学出版社,20054 黎伯堂. 高等代数解题技巧与方法. 济南: 山东科学技术出版社,1999abstract:in the matrix theory, matrix rank, a very important concept in algebra, plays an important role. it is a powerful tool for studying linear equations, vector spaces, euclidean space, linear and quadratic. thus, the research on matrix rank is helpful for better learning and researching on algebra. this paper mainly discusses some common properties, theorems and conclusions of matrix rank in full rank matrix ,and aims at finding out a series of results by discussing a perfect formula based on the sylvester formula

温馨提示

  • 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

评论

0/150

提交评论