矩阵思想的形成与发展

矩阵思想的形成与发展 本科毕业论文?矩阵思想的形成与发展 目 录 1.前言 „„„„„„„„„„„„„„„„„„„„„„„„„„„„„„„„„„„„„„ (1) 2.早期行列式计算中孕育的矩阵思想„„„„„„„„„„„„„„„„„„„„„„„„(2) 3.矩阵思想的形成„„„„„„„„„„„„„„„„„„„„„„„„„„„„„„„„„ (2) 3.1矩阵的基本思想 „„„„„„„„„„„„„„„„„„„„„„„„„„„„„„„„ (3) 3.2矩阵运算„„„„„„„„„„„„„„„„„„„„„„„„„„„„„„„„„„„„ (4) 4.矩阵的发展 „„„„„„„„„„„„„„„„„„„„„„„„„„„„„„„„„„ (7) 4.1特征值与特征向量 „„„„„„„„„„„„„„„„„„„„„„„„„„„„„„„ (9) 4.2标准形 „„„„„„„„„„„„„„„„„„„„„„„„„„„„„„„„„„„„ (10) 4.3方程组的解 „„„„„„„„„„„„„„„„„„„„„„„„„„„„„„„„„„ (11) 5.结论„„„„„„„„„„„„„„„„„„„„„„„„„„„„„„„„„„„„„„ (12) 参考文献 „„„„„„„„„„„„„„„„„„„„„„„„„„„„„„„„„„„„ (13) 致谢 „„„„„„„„„„„„„„„„„„„„„„„„„„„„„„„„„„„„„„„ (14) 第1页，共17页 本科毕业论文?矩阵思想的形成与发展 摘 要 矩阵形式解方程组在中国古代数学著作《九章算术》中已相当成熟，但这部著作并没有建立起独立的矩阵理论，而仅把矩阵看作一种排列形式来解决实际问题。矩阵在中国古代的萌芽，蕴含了丰富的矩阵算法与程序化等思想。矩阵概念产生并发展于19世纪的欧洲，欧洲的社会环境与文化背景为矩阵的早期发展提供了适宜的舞台，一大批矩阵理论的奠基者做了大量的工作，使矩阵从零散的知识发展为系统完善的理论体系，为矩阵理论的形成与发展做出了重要的贡献。从18世纪末到19世纪中叶，这种排列形式在求解线性方程组和行列形式来解决实际问题，本文通过对矩阵理论发展过程中的众多数学家工作的考察，揭示了矩阵思想从萌芽、早期发展到成熟以及进一步完善的全过程。 关键词:矩阵;矩阵发展;凯莱;矩阵思想 第2页，共17页 本科毕业论文?矩阵思想的形成与发展 Abstract The matrix form solution of equations in Chinese ancient mathematics" arithmetic in nine sections" has been quite mature, but it hasn't established the independent matrix theory, and only the matrix as an arrangement to solve practical problems. Matrix in ancient China budding, contains rich matrix algorithm and programming ideas. Matrix concept originated from the nineteenth Century in Europe, the European social environment and cultural background for the matrix of early development to provide a suitable stage, a large number of matrix theory of the founders did much work, so that the matrix from a fragmented knowledge development for the system of perfect theory, matrix theory's formation and the development has made important contribution. From the late eighteenth Century to the middle of the nineteenth Century, this kind of arrangement form in solving linear equations and the ranks of the form to the solution of practical problems, based on the matrix theory in the process of development of many mathematicians work study, reveals the idea of matrix from bud, early development to mature and perfect the whole process. Key words: Matrix; Matrix development ; Kailai; matrix theory 第3页，共17页 本科毕业论文?矩阵思想的形成与发展 1引言 矩阵直接产生于线性方程组并运用于其求解，这方面的工作在我国最早出现在《九章算术》(公元前1世纪)中解方程组的“遍乘直除”法，这与19世纪高斯创立的“高斯消元法”的思想是一致的。 矩阵作为一个独立的概念是基于行列式的研究基础上，其基本性质在其概念产生之前就因为行列式的工作建立得很完善了。从逻辑上看，矩阵概念是行列式的前概念，是行列式概念的一般推广，而历史的次序却正好相反。行列式关注一个方阵所确定出来的一个值，而在很多问题中，并不需要确定这个方阵所确定的一个值，而是这个方阵本身的结构，并且方阵可以变成任意的结构。这样，行列式向m，n 矩阵推广就是很自然的了。 “矩阵”这个名词是西尔维斯特给出的(1850)，不过他仅仅是把矩阵用于表达一个行列式。把矩阵作为一个独立的对象进行研究，最早的是凯莱。同样，最初他也是把矩阵作为行列式的推广或者作为线性方程组的表达工具。不过，在《矩阵论的研究》(1855)中就开始把矩阵作为一个独立研究对象。他从基本的概念开始，定义矩阵的加法、乘法(包括数乘)、矩阵的逆、转置矩阵、方阵的特征方程和特征根(这一术语最早是柯西给出的，见“行列式的发展”)等。特征方程和特征根的工作被哈密顿、弗罗贝尼乌斯(F.G.Frobenius，1849——1917)等数学家推广了。矩阵的秩概念是弗罗贝尼乌斯提出的(1896)，不变因子和初等因子是从西尔维斯特和魏尔斯特拉斯的工作中产生的，并被弗罗贝尼乌斯用于矩阵中，进一步合乎逻辑地系统化了不变因子和初等因子在矩阵中的理论(1878)。正交矩阵被赫尔默特(F.R.Helmert，1843——1917)和弗罗贝尼乌斯研究，并引起很多注意。从魏尔斯特拉斯的行列式工作(1868)中可以直接导出相似矩阵的概念及其性质。相似矩阵和特征方程的关系被若尔当(M.E.C.Jordan，1838——1922)拓展了，而弗罗贝尼乌斯则用逆变换处理相似变换，并给出矩阵概念。梅茨勒(W.H.Metaler，1863——?)引进了矩阵的超越函数概念并将其写成矩阵的幂级数的形式(1892)。矩阵用来表示二次型和双线性密切关系。凯莱提出了把超复数当作矩阵来看待的思想。 行列式和矩阵被推广到了无限阶，并与傅里叶级数相联系，这方面的工作在后来的积分方程理论中展示了广泛的天地。把矩阵和行列式的元素从整数到实数，再到复数是的另一个方向的推广，不过矩阵的性质还与元素的性质相联系，20世纪对矩阵的研究已经完全将元素置于一般的抽象域，并在物理学中发挥了重要作用。 2早期行列式计算中孕育的矩阵思想 从数学史看，优良的数学符号和生动的概念是数学思想产生的动力和钥匙。行列式与矩阵的发明就属于这和情形。 行列式出现于线性方程组的求解。它的名称最先由柯西使用。现在的两条竖线记法是由凯莱最先给 第4页，共17页 本科毕业论文?矩阵思想的形成与发展 出的(1841)。柯西给出行列式的第一个系统的、几乎是近代的处理，得到行列式的乘法定理 ，其中和代表n阶行列式，而c,ab，即在乘积的第行第列的项是iabaa,b,cj,ijikkjijijijijijijk 的第i行和的第列的对应元素和乘积之和。柯西还改进了拉普拉斯行列式展开定理，并给了一个bjij 证明。 行列式理论的另一发展者是英国数学家西尔威斯特(J.J.Sylvester，1814——1897)。他改进了从一个次的和一个次的多项式中消去的方法，引入了初等因子概念，还对矩阵理论有所创见。 nxm 最先讨论函数行列式的是雅可比。他于1841年给出函数行列式的求导 ,D,D' ,A,,Aa,ijijij,a,ti,jij DaAa其中是t的函数，是的余子式，是行列式。他还将行列式应用到多重积分的变数替换中，ijijij 得出某些结果。 矩阵一词是西尔威斯特于1850年首先使用的，但矩阵理论早已见诸于各种数学论著。中国古代《九章算术》中的方程组解法实质上就是一种南增广矩阵的运算。在行列式的研究中也涉及一些矩阵方法。不过，将矩阵作为一个数学对象来研究是由凯莱开始的，他被认为是矩阵论的创立者。 1855年凯莱引进矩阵以化简线性变换的记号，给出一些基本概念。1858年他双定义了零矩阵、矩阵的和与积等概念，讨论了特征方程与特征值，得到与特征方程有关的凯莱-哈密顿定理等 。 弗罗贝尼乌斯于1879年引入了矩阵的秩的概念，还于1878年将行列式中的不变因子和初等因子理 TS论。同时他使用了正交矩阵一词，证明了:如果表示一对称矩阵，表示一斜对称矩阵，则正交矩阵总能写成的形式，或简记为。他的论述还涉及矩阵的相似变换，合(S,T)/(S，T)(I,T)/(I，T) 同矩阵或同步矩阵的概念等。 现代行列式与矩阵的研究从形式上已推广到无限阶，从内容上已有属于抽象域的元素的矩阵，这些理论都在继续发展之中。 3矩阵思想的形成 矩阵思想其实很早就有了，至少可以追溯到汉代中国学者在解线性方程时的应用，《九章算术》中有许多例子，我们举一例。 例1 今有五羊、四犬、三鸡、二兔，直钱一千四百九十六;四羊、二犬、六鸡、三兔，直钱一千一百七十五;三羊、一犬、七鸡、五兔，直钱九百五十八;二羊、三犬、五鸡、一兔，直钱八百六十一。 第5页，共17页 本科毕业论文?矩阵思想的形成与发展 问羊、犬、鸡、兔价各几何, 答曰:羊价一百七十七;犬价一百二十一;鸡价二十三;兔价二十九。 术曰:如方程，以正负术入之。 5432 4213 3675 2351 14961175958861 用左列第一行数遍乘行中各数，由所得新数减去右列适当倍数，以消去头数为止。同样的方法消去右边各列头数。然后消去第二行数，如此下去求得兔价。其实和今天列方程解是一样的。 今解:设羊、狗、鸡、兔每只钱各为、y、、，则依据题设条件列方程: xzu 5x，4y，3z，2u,1496, ,4x，2y，6z，3u,1175, ,3x，y，7z，5u,958, ,2x，3y，5z，u,861, x,177, ,y,121,得 ,z,23, ,u,29, 在18世纪或者更早些时候，数的方阵的行列式已被计算和使用了通常是在解线性方程组时使用。尽管在当时阵列本身并没有单独引起注意。19世纪的其他工作导致阵列更加形式的计算，并在19世纪中叶导致了矩阵概念的定义以及矩阵代数的发展。除了这些形式化的工作，还有矩阵论发展中深刻的一面，即从高斯二次型的研究中发展出来的成果，并最终引起了相似、对角化和标准型的矩阵分类。 3.1矩阵的基本思想 高斯在他的次型理论中讨论到了可以把一个形式转化成另一个形式的线性变换的思想，如果 ,,,,x,x，y,22,FFF，那么变换把变成一个新的形式，它的系数依赖于的系F,ax，2bxy，cy,,,y,,x，,y, ,,,,,,,x,x，y,,,,FF数和变换本身，高斯特别指出如果通过另外一个变换变成，这两个变换的复合就,,,,,,y,,x，,y, ,,FF把变成的一个新变换: ,,,,,,,,,,,,x,(，)x，(，)y,, ,,,,,y,(，)x，(，)y.,,,,,,,,, 第6页，共17页 本科毕业论文?矩阵思想的形成与发展 222在他研究的三元二次型时的计算过程，实际上就是3，3矩阵Ax，2Bxy，Cy，2Dxz，2Eyz，Fz 的相乘法则。但高斯并没有明确指出这种复合的思想就是乘法。 在1815年，柯西发表了一篇关于行列式理论的基础性文章。在这篇文章中他不仅用这个名字代替了几个旧的术语，而且用缩写的记号代表他称之为“对称组”的矩阵: (a,n)1 aa？a11121n aa？a21212n ？？？？ aa？an1n2nn 与它有一个相关的行列式。尽管关于行列式计算的许多基本结论很早就已经知道了，是柯西第一次在他的论文中给出了它们的完整论述，包括一个给定的矩阵伴随余子式的思想以及通过展开任何行或者列来计算行列式的步骤，继而在设若之后明确地认识到复合两个组和可以得到一个新的组，，(a,n)b,n11 的思想。后者是通过熟知的乘法律定义的: ，，m,n1 n m,ab ,,,,ijikkj,1k 之后，他证明了新组的行列式是原来两个组的行列式的乘积。 高斯的一位于1843年到爱尔兰拜访过哈密顿的学生弗尔迪南?奇特候德?爱森斯坦(1823——1852) TSS，T用明确的符号来表示两个变换和的复合。这些内容写在1844年他的一篇讨论三次型的论文中，也许是从高斯的行列式简洁定理中得到启发。关于这个记号，爱森斯坦写道:“顺便地，在它的基础上可以建立一个算法，其中包括把乘、除法以及乘幂的一般去处应用到两个线性方程的符号方程上。正确的符号方程总是可以得到，它思考的中心问题是因子的顺序，即，方程组的复合的顺序往往不可以改变。”推测一下这个乘法不可交换的代数体系是否与爱森斯坦在1843年和哈密顿的讨论有关次非常有趣，但可能永远也得不到答案。 3.2矩阵运算 爱森斯坦没能充分发展他的变换的代数的思想是因为他在39岁时就去世了，这方面的进展是由英国的亚瑟?凯莱和詹姆斯?约瑟夫?西尔维斯特(1814——1897)在19世纪90年代做出的。 在1850年西尔维斯特创造了矩阵一词来表示“一项由行n列元素组成的矩形排列，”因为由那m 个排列，“我们能形成各种行列式组。”(矩阵的英语愿意是指可以引起其他事物的源头。)他当时并没有用这个术语，是他的朋友凯莱在1855年和1858年的论文中用到了该词，在1855年的那篇论文中凯莱 第7页，共17页 本科毕业论文?矩阵思想的形成与发展 注意到线性方程组中使用矩阵是非常方便的。因而他用: ,,,,,,？,,,,,,,,,,,,,？,,,,, ，，，，,,？,x,y,z,？,,,,,,,,,,,,,,？,,,,？？？？,, 来表示方程组 ,,,,,x，y，z，？, ,,,,,,,,x，y，z，？, ,,,,,,,,,x，,y，,z，？, ？,？，？，？，？. 继而，他把方程组的解来矩阵的逆来表示: ,1,,,,,,？,,,,,,,,,,,,,？,, xyz,，，，，,,,？,,,,,？.,,,,,,,,,,,？,,,,,,,？？？？,,这种表示法是把矩阵方程与只含一个变量的简单方程类比而得来的。但是，凯莱在知道了克莱姆的法则 之后，把逆矩阵的元素用含有适当的行列式的分数来表示。在1858年，凯莱用了单个的字母表示矩阵， 并给出了矩阵相乘、相加以及相减的规则: 1)设有两个阶矩阵 m，n aa？abb？b，，，，11121n11121n,,,,aa？abb？b21222n21222n,,,,,A,B, ,,,,？？？？？？ ,,,,aa？abb？bm1m2mnm1m2mn，，，，称所对应元素的和(或差)构成的阶矩阵 A,Bm，n a,ba,b？a,b，，111112121n1n,,a,ba,b？a,b212122222n2n,,C, ,,？？？ ,,a,ba,b？a,bm1m1m2m2mnmn，，为的和(或差)记为。 ，，C,A，B或C,A,BA,B 第8页，共17页 本科毕业论文?矩阵思想的形成与发展 12241,232，，，，例2 则 A,,B,,,,,,36705107，，，， ，，1，12，,22，34，22056，，，，A，B,,,,,,,3，56，17，00，78777，，，， ，，1,12,,22,34,204,12，，，，A,B,,. ,,,,3,56,17,00,7,257,7，，，， aa？a，，11121n,,aa？a21222n,,)若k是一个数矩阵，将A的每一个元素都乘以数k，得到的矩阵称为书k2A,,,？？？ ,,aa？am1m2mn，， ，，kAkA,ka与矩阵A的乘积，记为，即。 ijm，n 3)设A是m行r列矩阵，B是r行n列矩阵 aa？abb？b，，，，11121n11121n,,,,aa？abb？b21222n21222n,,,,,A,B, ,,,,？？？？？？ ,,,,aa？abb？bm1m2mnm1m2mn，，，，则有元素 r ，，C,ab，ab，？，ab,abi,1,2,？,m;j,1,2,？,m ,1122ijijijirrjikkj,1k 所构成的行列矩阵 mn cc？c，，11121n,,cc？c21222n,, C,,,？？？ ,,cc？cm1m2mn，， ABC,AB叫矩阵与的乘积，记为。 之后，凯莱继续挖掘他的思想，不断地利用一般的代数运算和矩阵运算之间的相似性，并仔细留意 3，3这种相似性不成立的情况。因而利用了矩阵的逆的公式，他写道:“当行列式变成0的时候，逆矩阵的概念就没有了，这种矩阵称为不定的，0矩阵是不定的，只有当两个矩阵中的一个或两个都是不定时，它们的乘积才可能是0.” 2，2 大概是由于凯用了单个的符号来表示矩阵才推出了所谓的凯莱-哈密顿定理。对矩阵 第9页，共17页 本科毕业论文?矩阵思想的形成与发展 ab,,，凯莱把他的结果明确地写成 ,,M,,,cd,, a,Mb,, ,,det,0,,cd,M,, 凯莱首先是在1857年11月份一封给西尔维斯的信中表述这个“非凡”的定理的。他只简单地给出 2100(指单位矩阵)就证明了上述结论。其叙述在本质上是现代形，，，，M,a，dM，ad,bcM,0M M,式的一般结论，即满足的特征方程，。凯莱注意到他已验证了3，3矩阵的情形，，，detM,,I,0 进一步他写道:“我认为没有必要去验证一般的任意阶的矩阵满足这个定理了。”由乔治?弗罗贝乌斯(1849——1917)利用凯莱新符号在20年之后给出完整证明。 凯莱提出凯莱-哈密顿定理的动机就是想证明:“任何矩阵都会满足一个与它同阶的代数方程，”并由此而得到“矩阵的任何有理整函数可以表示成阶不超过矩阵的阶的一个有理整函数。”凯莱甚至继续 M2，2证明这个结论适用于非有理函数。特别地，他给出了如何计算，这里的是上述的矩L,M 阵。结论是形如 a，Yb,,,,XX,, cd，Y,,,,XX,, X,a，d，2ad,bc的矩阵。其中，，但凯莱没能给出这个结论的使用范围。对仅Y,ad,bc M依赖于符号运算的类似的讨论，由于没有考虑到运算不成立的特殊情况，凯莱得出所有的与可交换 L的矩阵的错误特征描述，也正是同样的问题使约10年之后通过今天被称作的约当标准型而把矩阵进行了基本分类。 4矩阵的发展 4.1特征值与特征向量 约当的分类不是基于矩阵的形式运算，而是谱理论，即围绕着特征值的概念的结果。在现代术语中， AX,n，1AX,,X矩阵的特征值是矩阵方程的一个解，这里是一个矩阵，是一个矩阵，或者n，n AX,1，nAX,,X，这里是一个矩阵，是一个矩阵，特征向量是与对应的那个满足同一方程n，n X向量。自始至终，这些概念都是独立于矩阵理论自身，它们从不同思想的研究发展而来，并最终包含在理论之中。因此，在18世纪常系数的线性微分方程组解的问题最早引起特征值的问题。在达朗贝尔的从1743年到1758年的著作中，由于考察了承载有限质量的运动而受启发，考察了下述方程组(为 第10页，共17页 本科毕业论文?矩阵思想的形成与发展 简单起见，把有限元的个数定义为3个): 23dyi ，ay,0i,1,2,3.,ikk2dtk,1 对以上方程分别乘上一个常量，然后相加得: vi 233dyi v，vay,0.,,iiikk2dti,ik,1,1 v如果所选的使得 i 3 va，,v,0 k,1,2,3,,iikki,1 ,即，如果是矩阵相应于的特征向量，那么变换就把方程化，，，，v,v,vA,a,,vy，vy，vy123ik112233简成单个的微分方程 2du，,u,0. 2dt ,通过欧拉在微分方程上所作的研究，解出该方程的三个y，通过对该方程的研究得到是由一个有三i 个根的三次方程决定，从达朗贝尔对这个解的物理意义的研究中得到，要解有意义则需当，它t,，, ,们必须有界，即，只有当三个是相异的正实数时才有意义。 柯西首先解决了特殊情况下通过矩阵本身的属性来确定特征值的属性的问题。总的说来，他没有受到达朗贝尔的关于微分方程的研究的影响，而是通过二次曲面的研究受到启发。这门课作为解析几何的重要部分，柯西从1815年开始就在综合工科学校讲授了，一个中心在原点的二次曲面由一个方程 给出，这里是一个二次型，为弄清这种曲面，柯西找到一个坐标变换使变成一个只，，ffx,y,z,kf 含平方项的形式。后来柯西把这个问题推广到了有个变量的二次型中，其系数可写成一个对称矩阵。n 柯西后来的目的是要找到一个变量的线性变换，使矩阵在这个线性变换的作用下是对角化的。这个目标在1829年的一篇文章中达到了，由于一般情形下的细节有些复杂，而且柯西的证明实质在2个变量的情形下已很明显，因而我们在此只看到两个变量的情形。 22，， 为了找到一个把转化成平方和的形式的线性变换，只须找到，，在fx,y,ax，2bxy，cyfx,y22的条件下的最大值和最小值，使取极值的单位圆上的点同时也在由方程所确x，y,1，，ffx,y,k定的某椭圆(或双曲线)的某个轴的顶点上。如果把原点到这个点的直线取作一个轴，与之垂直的直线取作另一个轴的话，在这个坐标系下，这个方程就只包含平方顶了。由拉格朗日的乘数法，极值只有当 第11页，共17页 本科毕业论文?矩阵思想的形成与发展 ffyx成立时才取得，让两边等于,，得到两个方程 ,2x2y ax，bybx，cy,,,,,, xy ,a,x，by,0,，，,又可以写成方程组: 柯西知道只有当行列式等于0的时候，这个方程组才有非平凡,，，bx，c,,y,0., 2解，即，在矩阵的术语中，这个等式就是特征方程，30年以后，，，，，a,,c,,,b,0，，detA,,I,0凯莱就是讨论的这个方程。 为了弄清特征方程的要是如何把一个矩阵对角化的，设是方程的两个根，是,,,，，，，x,y,x,y121122相应的解，因而， ，，，，a,,x，by,0,a,,x，by,0.111222 用乘前式减去后式乘以的积，得方程 xx21 ，，，，,,,xx，byx,xy,0.21121212 类似地，从包含，，的方程开始，可以得到方程 c,,i ，，，，byx,xy，,,,yy,0.21211212 这两个方程相加得。因而，如果(在我们考虑的情形下无疑是成立的，，，，，,,,,,,xx，yy,0.12211212 除非原来的二次型已被对角化了)，那么，因为可确定到差一个常数倍，，，，，xx，yy,0.x,y,x,y12121122 2222可以要求x，y,1,x，y,1.用现代术语来说，线性变换: 1122 x,xu，xv,,12 ,y,yu，yv12, 22是正交的。很容易算出这个变换下得到的二次型正是所需要的。和由假定可得是实的，,,,u，,v1212 如若相反则它们互为共轭，在这种情况下，是的共轭，是的共轭， 就不能xxyyxx，yy12121212为0了。因而，柯西证明了所有对角矩阵的特征向量都是实的，至少在不等的情况下是这样的，并且矩阵可以通过正交变换而对角化。 4.2标准形 柯西论文中的讨论为处理各种类型的矩阵的特征值和标准型提供了一种广泛的理论。然而，几乎在 第12页，共17页 本科毕业论文?矩阵思想的形成与发展 整个19世纪中期这些理论都是用二次型的形式来表示的，而不是矩阵。二次型可以生成对称矩阵。更 n 2n加一般的是双线性型，形如的含有个变量的函数，生成一般的方阵。 axy,ijiji,j,1 关于型的理论的有影响的部分是由约当在他的《论变换》一文中解决的。约当没有通过双线性型而是直接用线性变换本身的研究，得到分类问题的解决。他曾经仔细研究过伽罗瓦的关于代数方程的解的工作，尤其是关于素数幂次代数方程的解的理论。这些解与根的线性变换有关，系数可以看作是p阶 AX的变换可表为矩阵的形式。换句话说，如果用代表的的有限域的元素。这些关于根xx,x？,xi12n ,n，1矩阵，那么变换就可以写成。约当的目的就是想找到他所谓的“指标的变换”，，，X,AXmodp PA,DP的可逆矩阵，使得使之变换成尽可能简单的形式。写成矩阵的符号就是他想找到一个n，nP ,1YY,PX(这里D是尽可能简单的矩阵)。因此若,那么并且这个关于PAPY,PAX,DPX,DY, A的变换是“简单的”。利用的特征多项式，约当指出如果的所有的根不同，那么 D，，detA,,I,0 就可以取对角阵，其中对角线的元素是其特征值，另一方面，如果有重根，约当证明了可以找到一个变换使D分块成形如 D0？0,,1,,0D？0,,2 ,,？？？？,,,,00？Dm,, 的矩阵，其中每个块D都是形如 i ,00？00,,i,,,,0？00,,ii ,,？？？？？？,,,,000？,,ii,, 的矩阵，，，是特征方程的根。这种标准型就是我们今天的约当标准型，对角线的元素角1,,0modpi p来代换。1871年当他发表这个结论时就意识到该方法可以用到线性微分方程组中去，这里的系数不是域中的元素而是实数或复数。由此，继达朗贝尔100多年后，约当回到了与矩阵特征值相关的整个思想体系的源头。 约当并没有用凯莱的单个字母来代表线性变换。弗罗贝尼乌斯在1878年把前人的思想综合成一本 B完整的矩阵理论的著作。弗罗贝尼乌斯指出了各种不同类型的矩阵的关系。例如，他定义了两个矩阵 TP和A相合，这里是的转置。他证明了，如果两个对称矩阵相似，那么变换矩阵可以取为正交的(一P 第13页，共17页 本科毕业论文?矩阵思想的形成与发展 个矩阵的逆等于它的转置)。而后，弗罗贝尼乌斯证明它们的特征值是模为1的复数，同时还证明了一些其他的结论，在论文的最后，弗罗尼乌斯说明了符号矩阵理论和四元数理论之间的关系。他定义了42，2个的矩阵，这四个矩阵生成的代数刚好是四元数1，i，j和k生成的代数。 4.3方程组的解 弗罗贝尼乌斯还曾尝试着弄清楚线性方程组解集的特征;欧拉在多年前考虑过它的一个特殊情形，当时他发现了一个没有惟一解的方程组，对此他感到困惑。当时他没有意识到是由于这个方程组系数矩阵的行列式等于了0而出现了上述的情形。在19世纪中期，数学家们面临着各种各样的问题。他们不仅想弄清楚什么条件下个元线性方程组有解，而且想弄明白解集的大小。由行列式的经验可得，nm k如果从这个方程组里取一个含个方程的子组，它的的系数矩阵的行列式非0，那么该子组就可k，k 解，尽管它不一定是惟一的。因此，存在原方程组行列式可以决定解集性质、以及该方程组是否可解的条件。在方程个数比个数多的情况下一般无解，因为它是超定的。因此我们只关心的方程组，用n,m凯莱的符号记为: 是的矩阵。 m，nAX,B,A 亨利J.S.史密斯(1826——1883)是此后第一个在该理论中做出贡献的科学家之一，他是牛津大学的一位几何学教授。在1861年的论文中他发展了齐次线性方程组AX,0的不定指标和方程组的独 A立解的完全集两个基本概念。这两个概念都只处理并且有一个阶非0行列式的情形。mn,mn,m表示变量个数超过“独立方程的个数”的数。之后，史密斯证明存在一个含有个元的解集n,m ，，x，其他的任何解都是这些解的线性组合，且阶为的矩阵的行列，，x,x,？,xi,1,2,？,n,mmiji1i2in 式的值不全为零。事实上，他找到了大量实际确定独立解的完全集的方法，并进一步指出要解决非齐次 ,,X，XBAX,B线性方程组，此时 不等于零，只需找到一个特解，任何解就可以表示成的形X X式，是对应的齐次线性方程组的解。 尽管史密斯用到了“实际的独立方程”，但他并没有考虑这个数比实际方程的个数小的情形。而后在1867年查理斯?L?道吉森(1832——1898)发表的《行列式初论》中得到解决，该书中不仅讨论了 A，，ABAX,B的矩阵，还讨论了该方程组的阶的增广矩阵，它蕴含了该方程组是，，m，nm，n，1 不是相容的。 5总结 矩阵理论既是学习经典数学的基础，又是一门最有实用价值的数学理论。它不仅是数学的一个重要的分支，而且业以成为现代科技领域处理大量有限维空间形式与数量关系的强有力的工具。众所周知，矩阵论在历史上至少可追溯到Sylvester与Cayley，特别是Cayley1858年的工作。近代数学的一些学 第14页，共17页 本科毕业论文?矩阵思想的形成与发展 科，如代数结构理论与泛函可以在矩阵论中寻到它们的根源。另一方面，作为一种基本工具，矩阵论在应用数学与工程技术学科，如微分方程、概率统计、最优化、运筹学、计算数学、控制论与系统理论等有着广泛的应用。这些学科的发展反过来又极大地促进了矩阵论的发展。 从20世纪初至今，非负矩阵、M矩阵、H矩阵及与之密切相关的其他特殊矩阵的应用日益广泛。对这些特殊矩阵的研究也日益受到人们的重视，有关的研究论文达数百篇之多，是基础数学、计算数学和应用数学中较为活跃的研究领域之一。 第15页，共17页 本科毕业论文?矩阵思想的形成与发展 参考文献 [1]王青建.数学史简编[M](北京:科学出版社，2004:111-112( [2]张红.数学简史[M](北京:科学出版社，2007:240-245( 赵益坤，候静.高等数学应用基础[M](北京:教育出版中心，2005:1-2. [3] [4]陈公宁.矩阵理论与应用[M](北京:科学出版社，2007:33-34. [5]何良材.高等应用数学[M](重庆:重庆大学出版社，2000(8: 60-61. [6]杜瑞芝，王青建等.数学史辞典[M](济南:山东教育出版社，2000:143-144. [7]戴华.矩阵论[M](北京:科学出版社，2001(8:1-2. [8]黄延祝，杨传胜.特殊矩阵分析及应用[M](北京:科学出版社，2007:20-22. [9]李文林，邹建成等译.数学史通论[M](北京:教育出版中心，2004:534-536. [10]张苍著，周海龙译解.九章算术[M](南京:江苏人民出版社，2011.3:687-689. 第16页，共17页 本科毕业论文?矩阵思想的形成与发展 致 谢 时间如梭，转眼毕业在即。回想在大学求学的四年，心中充满无限感激和留恋之情。感谢母校为我们提供的良好学习环境，使我们能够在此专心学习，陶冶情操。谨向我的论文指导老师xx老师致以最诚挚的谢意～xx老师不仅在学业上言传身教，而且以其高尚的品格给我以情操上的熏陶。本文的写作更是直接得益于他的悉心指点，从论文的选题到体系的安排，从观点推敲到字句斟酌，无不凝聚着他的心血。滴水之恩，当以涌泉相报，师恩重于山，师恩难报。我只有在今后的学习、工作中，以锲而不舍的精神，努力做出点成绩，以博恩师一笑。 另外，我必须感谢我的父母。焉得谖草，言树之背，养育之恩，无以回报。作为他们的孩子，我秉承了他们朴实、坚韧的性格，也因此我有足够的信心和能力战胜前进路上的艰难险阻;也因为他们的日夜辛劳，我才有机会如愿完成自己的大学学业，进而取得进一步发展的机会。 最后，我必须感谢我的朋友，正是因为他们在电脑技术上的无私指引，我才能得以顺利完成该论文。 第17页，共17页