数学与应用数学毕业论文关于多项式矩阵秩的恒等式及其推广

关于多项式矩阵秩的恒等式及其推广孙季华〔莆田学院数学系指导老师：杨忠鹏〕摘要：本文主要从胡付高[1]的一个定理出发，把定理的条件加以弱化，推导出更一般的关于多项式矩阵秩恒等式的结论，利用矩阵的秩和线性变换的秩关系简单的证明了线性变换在互素多项式下直和分解的结论，同时对[5]的一个猜测给出了证明。关键词：互素线性变换直和核二次矩阵Abstract：Thispaperdeducesamoregeneralconclusionaboutrankidentitiesofthepolynomialmatrix,whichisbasedonatheoremofhufugao.andtheconditionofthetheoremhasbeenweakened.Acorrdingtotherelationsbetweentherankotthematrixandtherankofthelineartransformation,theconclusionsofthedirectsumdecompositionofthelineartransformationundertherelativelyprimepolynomialshasbeenprovedeasily.Meantimetheconjectureoftheliterature[5]hasbeenproved.Keywords:relativelyprimelineartransformationdirectsumnucleusquadraticmatrix0符号说明及引言矩阵的秩的研究是高等代数的一个重要内容，本文在参考文献[1]的一个定理出发对多项式矩阵的秩做进一步的讨论，结合矩阵的知识，分块的初等变换法得到一个更为精确的结论，本文更重要的是利用矩阵和线性变换的秩关系，从而更加简单的证明了线性变换在互素多项式下直分解的结论，并加以推广得到相关的结果，本文进一步对文献[5]的一个尚未解决的猜测给以提出来并加以证明。用P表示数域、分别表示数域P上一元多项式和n阶矩阵的集合，表示矩阵A的秩，E表示单位矩阵，约定与分别表示首项系数为1的最大公因式和最小公倍式。表示复数域上所有n阶矩阵的集合，表示线性变换，=，表示线性变换的值域，表示的维数。预备定理我们首先引入本论文用到的根本定理引理1.1〔见[10]，第16页〕中的两个多项式互素的充分必要条件是存在中的多项式使。引理1.2〔见[10]，第48页〕设，首项系数都为1那么引理1.3设，，那么证明：由引理1.1可知，存在多项式使得将上面两式相乘得再由引理1.1得引理1.4，那么其中证明：由引理1.3，，，反复引用引理1.3可得。在反复引用引理1.3可得因为，由引理1.1存在，使得，即再由引理1.1得引理1.5知，两两互素且，令，，那么证明：设，只需证明即可，那么因为两两互素根据引理1.3得=，即，所以且同理，，又引里1.3得，因为，，所以，，显然故所以。引理1.6是的一些子空间，，，那么是直和。证明：，都有于是。零向量表示法唯一，假设零向量表示法不唯一那么有。于是这与矛盾所以零向量的表示法是唯一的，由直和的定义推出引理1.7设是n维线性空间V的线性变换，那么的一组基的原像及的一组基合起来就是V的一组基，且有二．主要结果定理2.1设且，那么证明:设 〔1.1〕 因为， 〔1.2〕所以 〔1.3〕 ， 〔1.4〕 〔1.5〕由试〔1.1〕~〔1.5〕对矩阵做分块的初等变换=======那么又引理1.2知=所以推论设，假设，令,那么定理2.2设，那么证明： (1.6)因为所以 (1.7)所以 〔1.8〕由〔1.6〕~〔1.8〕对矩阵做分块的初等变换=====那么由引理1.2知所以推论设，且，那么推论设，而分别是与的最大公因式和最小公倍式又设，那么〔1.9〕证明由知，存在，使得且，又有公式，得。故有推论得由此既得〔1.9〕成立推论设，，且，那么证明：由推论既得推论成立推论设，且两两互素。，又设.那么。证明:因为两两互素，所以由引理1.4得，即也两两互素，下面用数学归纳法来证明时显然成立.当时由推论2.2.3显然成立.假设时成立 当时由于两两互素所以有推论2.2.3得得 可见当时等式成立，所以上述定理成立。推论设，，假设两两互素，，那么证明：只要令，即可。在文献[3]中的定理1线性变换在互素多项式下核的直和分解结论给出的证明很繁杂，运用上述定理的推论可以简单的证明出来，下面给出新的证明。定理，且两两互素，；是数域P上的n维线性空间V的一个线性变换，那么，2〕假设，有证明：先证，，事实上：因为，设，由引理1.5知所以存在使得〔2.3〕即，，那么由〔2.3〕知，记，那么，，所以故〔1〕成立。〔2〕事实上，所以=+即，故〔2〕成立。所以设为V的一组基，且所以,即得，i=1,2,…,t因为dim=方程组AX=0的解空间的维数=所以dim==〔2.4〕同理dim=，i=1,2,…,t.所以由定理2推论知即〔2.5〕把〔2.5〕代入〔2.4〕得由引理1.6得2〕另一方面有即所以推论2.3.1，且两两互素，令，是数域P上n维线性空间V的一个线性变换，那么证明：由，及定理2.3可得。三．应用定理2.3的证明在直和分解里面是比拟简明扼要，能够对文献[4]中的线性空间按线性变换的特征值分解成不变子空间的直和的一个定理更简便的得出来。定理如下：命题1P线性空间V的线性变换A的特征多项式为，它可分解因式为：其中互不相等，都是正整数，那么V可分解成A的不变直空间的直和：其中，是单位变换证明：依题显然 〔2.6〕因为为的特征多项式所以且设那么由定理2.3得由〔2.6〕知.命题2设，对任意的两两互异的数,那么证明取那么两两互素，有由定理2.2的推论得。利用命题2的结论可以进一步推广到二次矩阵的秩等式上。定义设存在，使得，那么是二次矩阵。假设，那么由命题2得当时，A为幂等矩阵。当时 ，A为对和矩阵当时，A为斜幂等矩阵。当时,A为数量对和矩阵。命题，且，，如果，那么证明：用分块的初等变换来证明，所以当不全相等时，这一步的证明在[5]只是一个猜测并没有给出证明，下面用归纳法和分块矩阵的初等变换得以证明出来。命题4设，，且如果那么=+其中证明：用数学归纳法当t=3时有命题3成立。假设t=s时成立，那么=+当t=s+1时，=++下面用分块的初等变换来证明所以=+=所以命题4成立。结束语：本论文是在认真研究阅读胡付高的文献[1]的文章和有关的多项式矩阵的秩的恒等式及应用的文章之后，查阅大量相关资料的根底上，对文献[1]的定理条件进一步弱化，而得出更一般的多项式矩阵秩的恒等式，并推导出一些相关的有用的结论，本文突出的是借助矩阵的秩和线性变换秩对应关系，从而解决了线性变换在互素多项式下直和的分解的证明，利用互素多项式矩阵秩的恒等关系式从而把最近的一些文献二次矩阵的性质加以推广，本文还有一个重要的地方就是把文献[1]中尚未解决的猜测，提出来并用分块的初等变换加以证明。本文不仅是在原来研究内容上的拓宽，研究程度上的深入，在研究方法上，所得结果都有创新之处.致谢：衷心感谢我的导师杨忠鹏老师，本文是在他的悉心指导下我的论文才能顺利完成，感谢杨忠鹏老师在平日繁忙的工作中抽出时间帮我指点迷津，帮助我精心点拨，开拓研究思路和热忱的鼓舞，杨老师以渊博的知识，严谨的治学态度，精益求精的工作作风和对科研的献身精神给我留下了刻苦铭心的印象，这些使我受益匪浅，本论文从选题到完成，每一步都是在导师的指导下完成的，倾注了导师的大量的心血，在此，谨向杨忠鹏教授表示崇高的敬意和衷心的感谢！还要感谢同组的同学丽美和国祥的帮助，最后还要感谢曾经教育和帮助过我的所有老师，衷心的感谢为评阅论文而付出珍贵时间和辛勤劳动的老师。参考文献：[1]胡付高，曾玉娥/r/