一类矩阵秩的恒等式及推广高等代数毕业论文_第1页
一类矩阵秩的恒等式及推广高等代数毕业论文_第2页
一类矩阵秩的恒等式及推广高等代数毕业论文_第3页
一类矩阵秩的恒等式及推广高等代数毕业论文_第4页
一类矩阵秩的恒等式及推广高等代数毕业论文_第5页
已阅读5页,还剩20页未读 继续免费阅读

下载本文档

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

文档简介

1、 编号 莆田学院毕 业 论 文课题名称:一类矩阵秩的恒等式及推广系 别 数学系 学生姓名 学 号 专 业 数学与应用数学 年 级 03级 指导教师 2007年 5月目 录 TOC o 1-3 h z u HYPERLINK l _Toc150508922 0 引言 PAGEREF _Toc150508922 h 1 HYPERLINK l _Toc150508923 1 预备知识 PAGEREF _Toc150508923 h 1 HYPERLINK l _Toc150508924 2 推导过程 PAGEREF _Toc150508924 h 2 HYPERLINK l _Toc1505089

2、25 3 主要结论 PAGEREF _Toc150508925 h 12 HYPERLINK l _Toc150508926 4 结束语 PAGEREF _Toc150508926 h 17 HYPERLINK l _Toc150508927 参考文献 PAGEREF _Toc150508927 h 18 HYPERLINK l _Toc150508928 致谢 PAGEREF _Toc150508928 h 19一类矩阵秩的恒等式及推广摘 要在何种条件下,不等式化为等式是当前研究的重点本文利用矩阵及其初等变换对应到分块矩阵中,使得当在满足一定的条件时,有【关键词】:秩;矩阵;初等变换;分块阵

3、A Class of Matrix Rank Identities and Their GeneralizationAbstractChanging the inequality into equality under what condition is the current research key point. This paper uses the and its elementary operation corresponds the partitioned matrix, prove that when satisfy the certain condition, we have

4、【key words】rank;matrix ; elementary operation ; partitioned matrix莆田学院学士学位毕业设计(论文)原创性声明本人郑重声明:所呈交的学位论文,是本人在导师的指导下,独立进行研究工作所取得的成果除文中已经注明引用的内容外,本论文不含任何其他个人或集体已经发表或撰写过的作品成果对本文的研究做出重要贡献的个人和集体,均已在文中以明确方式标明本人完全意识到本声明的法律结果由本人承担学位毕业设计(论文)作者签名:日期: 年 月 日莆田学院学士学位毕业设计(论文)原创性声明 本人郑重声明:所呈交的学位论文,是在本人的指导下,独立进行研究工作所

5、取得的成果除文中已经注明引用的内容外,本论文不含任何其他个人或集体已经发表或撰写过的作品成果对本文的研究做出重要贡献的个人和集体,均已在文中以明确方式标明指导教师签名:日期: 年 月 日 0引言 目前对不等式推广研究的一个重点是如何将不等式化为等式在厦大06年的考研试卷中有这样一道试题 的充分必要条件是 以及北师大的两道习题 与 的充分必要条件分别是 与 ,而这三题刚好是不等式中不等号化等号的特例沿着这一研究方向,特别是在参考李书超与王廷明的关于一类矩阵秩的恒等式及证明的基础上,本文对不等式中不等号化等号的推广式进行了证明,在一定程度上改进王廷明的证法,具有更直观更具体意义上的效果本文在引入、

6、与 、在实数域上分解,并且各自对他们所构成的对角阵进行初等变换后得出定理这个结果及其他定理和推论1预备知识定义1 设P为任意数域,则关于定理的证明方法很多,我们可以参考文献1矩阵有初等变换下面变换叫做矩阵的初等变换:(i)矩阵的两行(列)互换位置,记为 ();(ii)矩阵的某行(列)乘非零常数k, 记为 ();(iii)矩阵的某行(列)加上另一行(列)的倍, 记为 ()而对应分块矩阵的初等变换如下:(i)对调矩阵的两行(列),记为 ():(ii)矩阵分块行(列)乘非退化矩阵, 记为 ();(iii)将矩阵的某一行(列)的所有子矩阵左乘一个矩阵加上另一行(列), 记为 ();引理 任意一个非零的

7、的矩阵都等价于下列形式的矩阵,其中推论1 ,当 为两两互异的数时,有 与 等价此结论的证明由引理1显然可得符号说明:(i) R(A)代表矩阵 A的秩;(ii) 代表对角矩阵 A;2推导过程北京大学数学系几何与代数小组编的高等代数(第三版)中有两道习题:习题1:设,则 的充分必要条件是习题2:设,则 的充分必要条件是 通过构造和分块矩阵并分别对他们进行初等变换如下:证明 (习题1)构造矩阵 和 ,对它进行初等变换,得相对应的,对 ,对它进行初等变换 故由 ,有当且仅当 ,证明 (习题2)构造矩阵 和 ,对它进行初等变换,得相对应的,对,对它进行初等变换 故由 ,有当且仅当 ,在知道幂等与对合矩阵

8、的秩有将Sylvester不等式的不等号化为等号的优点后,能否想象如 与 也具有此优点呢?不妨看如下的例题:例1设,则 的充分必要条件是证明 构造矩阵 和 ,对它进行初等变换得相对应的,对 ,对它进行初等变换 故由 ,有当且仅当 ,例2设,则 的充分必要条件是证明 构造矩阵 和 ,对它进行初等变换,得 相对应的,对 ,对它进行初等变换 故由 ,有当且仅当,例3设,则 的充分必要条件是证明 构造矩阵 和 ,对它进行初等变换,得 相对应的,对 ,对它进行初等变换 故由 ,有当且仅当 ,例4设,则 的充分必要条件是 证明 构造矩阵 和 ,对它进行初等变换,得相对应的,对 ,对它进行初等变换得 故由,

9、有当且仅当 ,有例5 设,则 的充分必要条件是 证明 构造矩阵 和 ,对它进行初等变换,得 相对应的,对 ,对它进行初等变换得 ,故由,有当且仅当 时,有例6设,证明:的充分必要条件是证明 构造矩阵和对它们进行初等变换如下 对分块阵作同样的初等变换 故由 ,有当且仅当 时,3主要结论现在对上述6个例题进行归纳总结,即可注意到这样的结果:当与 等价,对分块初等阵进行同样的初等变换后有 与 等价此结果在例1到例6都成立的,那么我们不妨设当 满足何种条件时,有如下结果定理1 ,当 为两两互异的数时,有 与 等价证明 首先我们先看对角矩阵与 相对应的三种初等变换1)换行2)倍乘3)倍加用数学归纳证明如

10、下当t=2时,由而此时对矩阵也进行同样的变换因此 ,此时由与等价,得到与也等价若由 与 等价,可以得到与 等价,其中 为复数域上两两互异的数那么,我们显然也易得 与 等价,其中 、为复数域上两两互异的数则由2)对于矩阵与矩阵 等价,而我们需要的结果是 与 能够等价因此,它其实就可以转化成 与 能否等价所以,首先可以看到 与 等价,其中 不能整除故用综合法发把 表示成的方幂和,即写成,则,令=,所以有如下结果 , 而此时也会得到=,故而 , 所以就有了 与 等价定理2 设,对任意的两两互异的数 ,则证明 由 中,两两互异,所以得 与 等价 因此由定理1得 与 等价 所以有结果成立推论2 设,A的

11、多项式在复数域的标准分解为 ,若 无重根 ,则推论3 设,A的多项式在复数域的标准分解 ,若无重根,且它在实数域的标准分解为则 证明 由定理2知:,其中, 且 故所以 定理3 设,且B可逆,A,B可交换,那么对任意的两两互异,则有 证明 由已知得 依定理2得 而 与 4结束语本文先通过对和型矩阵进行实数域上的分解,构造其分块对角阵及相应的矩阵,在引入矩阵和分块阵的初等变换后,分别对他们进行相同的初等变换后,得到平行的等价结果由此猜测:当互异时,有 与 等价根据这一结果得到当互异时,不等式的等号成立,并且证明的过程直观具体易懂,具有一定的联系性和过渡性,并且得到定理1这个结果因此本文的优点之一是

12、得到了对角矩阵与对于各自的初等变换后,得到它们的等价的矩阵分别为 与 ,并且两者的初等变换又具有平行性由定理1证明了不等式的等号成立及其推广与王廷明的一类矩阵秩的恒等式的证明相比较,在前一部分的证明中这一方法占有优势,但在王廷明最后一个定理的推广当中无法利用这一方法加以推广,是本文的不足之处,也是本文继续往前研究的一个重要方向而跳出这个研究范围,我们来观察一下定理1:它描述的是对角矩阵与初等变换的平行性,那么由引理1知对于任意的对角矩阵都与等价,则是否与等价呢?如果这一猜想成立,那么就不仅仅可以考虑A+KE的形式,更可拓宽到将用任意型如f(A)的多项式代替,而得到矩阵多项式也具有矩阵的性质参考文献1 北京大学数学几何与代数研究室代数小组,高等代数(第2版)M高等教育出版社,19982 雷雪萍,高等代数中一道习题的推广J大学学报,2006.8(第4期)3 王廷明,黎伯堂一类矩阵秩恒等式的证明J山东大学学报(理学版),2007.2(第2期)4 李书超,蒋君,向世斌等一类矩阵秩恒等式及推广J武汉科技大学学报(自然科学版),2004(第1期):96-985 朱德高,李桃生,费泰生高等代数M武汉:华中师范大学出版社20026 樊恽,钱吉林,岑嘉评,等代数学词典M武汉:华中师范大学出版社19947 任立顺高等代数研

温馨提示

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

评论

0/150

提交评论