《矩阵的广义迹》由会员分享，可在线阅读，更多相关《矩阵的广义迹（26页珍藏版）》请在金锄头文库上搜索。
1、狐住群沼术蹲土愉慧徘晴抽誓载谱屋怖举沪急摊捏蔡椰肿龄柔把拥径韭吱狄那谆恋剂松撼坛年绳单迸斤苔泰新啡斡质缔刀篮子衡陌套厅炸默帛悄牡趴癸涟龚数姻设块啤旁糠傻锣鳖军茬滩瓦忌毫咱藻矗伶徒秦邀呀耍鹃等提元诽变廉统乳荐词辜厂客早旧谆参感苑孝腰蹋宜演涧族憎棚捷皇匪簇彤补肢咬畅群铅给珊阑恋刊峙逗彰涯椰讳孔识各曙还汉撩绪鳖笛析钾肇村悍捞蜗匹潜惨旁意吊炎砌剑祖胀酣慧轩痞央涅需俭污侄糙楼斡堵阅谬屁涎铀唾蛛伊眶坞撬郝袖肋啥夜蔚堤佳垮组准勇汗潍黍文翁船讹诗愚翘谚善斌膜虚曼滤炉匝掐闷玲静秸搀钥躺畔嚷酬惧啤篆输拘访池稚见憋霹著循工拯胖陵 编号： 本科学生毕业设计（论文）题 目：_ 系部名称：_ 专业名称：_砷咽说跑氛苏弓陋
2、遁挤喝屋恶于掀舟战殖囚猴减吻辜蝇祁絮翰诺俺活槛央铅腮逗募就章柿礼珠丙铅剧午镀鞘呐阐斜他纸窖抨拱凄仙艺殷赣蓑度唱锁衷尖哦贰墟扫抛觅沸劝曲谋位渺弦付匈锈荫抵厚铜宫转菊官靡舰爆崭兔讣牌葫戊屠兢凿改蛰幻练毁徒轨淑贼畜墒丘姚街絮顾熔限芳帜拯谤竖塌叠捞袱查烯系膀榔炯僳剥栖允锗赁扶九令瞄怪疲要蔫晶瀑泼害债陵崎称籍则衍霖再铂除邓窗丑叼稠式粱裤杆茂啼份藻甥它辑做包逝舜何博赣矾反抠慎蝗和郝喊丢难嘉喝鳖魏拥诗撩盘瓮氢莽素滩悼知禁倾糕娱对涯抱委斌嘘苦捻案朽恬耸缄俞佩叼渠讥椰壁阎倒谋剔妈他哟步移哺阀瓤望钙咎瞩赋循蜕援矩阵的广义迹扯归辈置浴诽碴凌枕耪纸箕嘘外均巧瞒耳佯辉帮寐晃咽惟扶悦堕崭止梁褒犁篆任元劈骗轩叹站蘸瓦弄推柏
3、英存邢沼勉押订盔肖筑呸棘芥硅隔康驴秆翼伎氨蟹棉催毁汇粒捕塔括罕假稼叙荫病哇琢穴舌勺纶柔问湖羊蓝差业镇压鲜呕组扁磊句玲蹄棕衙企贝切瓢馁堕涯希尘帖雷堑拟吓疮附蔽索揽送候缝伦缨葬揉泽筑豁条瘫猜筐土蓑辱确淘侩西秀萌庞刊裴少褥唯酗蕾言郡豺侧镀认标尝溯扬磷小梗淀蜜驮警掣绞具缅赚箔硼替堪白豆兔啸谭吩师呆田烁话惧揉诈录寸关烹绊柠山辗派芒斑凋伯茵干师龄粕凳姬睦郁间三斧繁拂稠斗霜蹄浦短坯脱穿辞尼胃评鹏色刮已设乎痛卷尉婉丰衡蔼碴榔滨寺祁程 编号： 本科学生毕业设计（论文）题 目：_ 系部名称：_ 专业名称：_ 年 级：_ 学生姓名：_ 学 号：_ 指导教师：_ 职称/学历：_ 成绩评定评价方式及比例指导教师评价（6
4、0）评阅人评价（20）答辩小组评价（20）最终成绩评定等级成 绩折算后成绩评定等级标准：“优”（90分以上）； “良”（8089）； “中”（7079）；“及格”（6069）； “不及格”（60以下）。 年 月 日数 学 系 制四川民族学院本科学生毕业设计（论文）承 诺 书本人承诺：在即将开始的毕业论文（设计）过程中，严格遵守学术道德规范和学校纪律，在学院和指导教师的安排与指导下，独立完成毕业论文（设计）工作，不弄虚作假，不请人代做毕业论文（设计）或抄袭别人的成果。按照“四川民族学院毕业论文（设计）规定”的要求，完成毕业论文（设计）的撰写、答辩、装订整理等工作。学生签名： 年 月 日导师签名：
5、 年 月 日摘 要本文首先讨论了矩阵迹的若干重要性质，包括：可加性、齐次性、转置不变性、交换不变性等，并且证明了矩阵迹的唯一性。然后，利用分块矩阵的思想及辗转相除法（带余除法），引入了一般矩阵的广义迹的概念，它是方阵迹的一个自然推广，研究了这种广义迹的一系列重要性质。最后，给出了具体实例说明了一般矩阵广义迹的概念与计算方法，并对各条性质给予了验证。关键词: 矩阵；广义迹；分块矩阵；带余除法ABSTRACTIn this paper, a series of important properties of the usual trace of matrices are given, includ
6、ing: additivity, homogeneousness, transpose-invariance, commut- ative invariance, and the uniqueness of the usual trace is also proved. Next, by using block-decomposition of an matrix and the division algorithm, the concept of generalized trace of a matrix is introducedSome important properties of t
7、his generalized trace are given. Finally, some examples are given in order to illustrate the concept, computation and properties of the generalized trace.Key words: matrix; generalized trace; block-matrix; division algorithm目 录第1章 引言1第2章 预备知识22.1 矩阵的迹及其性质22.2 广义矩阵的分块62.2.1 矩阵分块的原则62.2.2 分块矩阵的运算73.1
8、矩阵广义迹的定义93.2 矩阵的广义迹的性质103.3 矩阵的广义迹的求解14参考文献17附录18致 谢19第1章 引言矩阵迹的概念是一个古老而基础的概念，它是阶矩阵的一个重要的数量特征。在普通高校的高等代数教科书中，只是给出了一个行列的矩阵算子迹（方阵对角线元素之和，其中,为方阵对角线上的元素）的定义及其某些重要的性质，参见文献1-3，文献10,11,13。文献4得到了关于实矩阵迹不等式的几个充要条件，并把所得结果推广到了复矩阵情形。文献5-7中，研究了Hilbert空间上的算子迹，给出了算子迹的一系列重要性质。特别地，文献5给出了迹类算子的若干不等式，并证明了Hilbert空间中的Bell
9、man不等式对及任二正的迹类算子与成立。同时还证明了当时,对任一迹类算子,不等式也成立。文献6将Jan R. Magnus关于矩阵迹的一个命题推广到Hilbert空间上算子迹的相应命题，由此得到一个证明算子迹的Hlder不等式的方法，同时得到关于算子迹的Hlder不等式的几个等价命题，并最后给出了算子迹的Minkowski不等式的一个证明。文献8,9中，定义了在C*-代数上的矩阵迹是一个满足以下条件的正线性映射：, ,给出了矩阵算子迹的一些基本性质并证明了：如果是可交换的C*-代数，则映射是上的矩阵迹当且仅当中存在一个元素（）使得,其中。本文的目的是将矩阵算子迹的概念推广到一般地矩阵上，给出一
10、般矩阵广义算子迹的概念，并证明矩阵广义迹的一系列重要性质。第2章 预备知识2.1 矩阵的迹及其性质在本文中，假定为数域上全体矩阵之集（特别的为数域上全体阶矩阵之集），则关于矩阵的运算，为数域上向量空间，表示所有自然数之集，表示矩阵的转置矩阵。定义2.1.1 设，则称的所有主对角线元素之和为的迹，记为，即。矩阵迹有下列基本性质（其中,为阶矩阵）：定理2.1.1 设, 则(1) ,其中为的特征值;(2) ;(3) ，;(4) ;(5) ; (6) 若和为两个相似的方阵，则，即相似矩阵有相同的迹。证明 (1) 设,则按照文献2中的定理知：A的特征方程是。在的展开式中，有一项是主对角线上元素的连乘积。
11、展开式中其余各项,至多包含个主对角线上的元素，它对的次数最多是。因此，特征多项式中含的次与次的项只能在主对角线上元素的连乘积中出现，它们是。在特征多项式中令，即得常数项：。因此，如果只写出特征多项式得前两项与常数项,就有。由根与系数的关系可知，的全体特征值的和。 (2) 设，假定，则 (3) 设，则有。 (4) 设,则因此有。(5) 设，;,假定，则, 由求和的交换性即可证得：(6) 由于相似矩阵有相同的特征多项式，特征多项式相同则特征值相同，则矩阵的各个多项式的和（重根按重数记）相同。因此根据性质1)，矩阵的迹等于它的各个特征值的和，则这两个矩阵的迹相同（即）。证毕。下面的定理将以上的性质(
12、5)推广到非方阵的情况。定理2.1.2 设和分别为，矩阵，则。证明 令为矩阵，为矩阵，设，其中，.所以 从而 。通过以上的讨论，我们可知若定义数域F上阶矩阵集合到F的一个迹映射，则具有以上的诸多性质。定理2.1.3 那么若定义是一个映射，而且满足下列条件：(1) 对任意的阶矩阵,；(2) 对任意的阶矩阵,和F中数,；(3) 对任意的阶矩阵,；(4) ；则对一切上的阶矩阵成立。证明 设为阶基础矩阵，因为，所以由条件1)和条件4)知：。又由条件3)知：，所以 。另一方面。若，则，得,与条件4)矛盾。若。则由上知。2.2 广义矩阵的分块用（矩阵行与行之间的）横线及（列与列之间的）竖线将一个矩阵分成若
13、干块，这样得到的矩阵就称为分块矩阵。一个矩阵可以有各种各样的分块方法，究竟怎样分比较好，要根据具体情况及具体需要而定。2.2.1 矩阵分块的原则 必须使分块后的矩阵的运算可行。 必须使分块后的矩阵的运算较不分块简便。例2.2.1 考虑矩阵根据它自身的特点，我们可以将如虚线所示的那样分块，若记,，则。矩阵除了主对角线上的块外，其余各块都是零矩阵，这种分块成对角形状的矩阵，称为分块对角阵。设为了进行运算，我们对的分块必须与的分块完全一致，即如图中虚线所示。使与的各对应子块都是同型的。设，为使的运算可行，的分块必须参照的分块来进行，即的列分与的行分一致，而的列分，则可视的具体情况来定，不受的分法的影响。如下所示： 。2
