线性代数发展简介.ppt

线性代数发展简介,幻灯片制作:张小向东南大学数学系,版本:2008.1,194/xxds/old/ziliao/fazhan.htm,参考资料,2,3,4,5,6http:/turnbull.mcs.st-and.ac.uk/history/Mathematicians/,行列式,出现于线性方程组的求解最早是一种速记的表达式现已是数学中一种非常有用的工具发明人:德国数学家莱布尼茨日本数学家关孝和,行列式,1750年，瑞士数学家克莱姆线性代数分析导引行列式的定义和展开法则，克莱姆法则稍后，法国数学家贝祖将确定行列式每一项符号的方法进行了系统化，利用系数行列式概念指出了如何判断一个齐次线性方程组有非零解,行列式,法国数学家范德蒙(Alexandre-ThophileVandermonde,1735.2.28-1796.1.1)对行列式理论做出连贯的逻辑的阐述把行列式理论与线性方程组求解相分离给出了用余子式来展开行列式的法则自幼在父亲的指导下学习音乐但对数学有浓厚的兴趣后来终于成为法兰西科学院院士,行列式,1772年，法国数学家拉普拉斯证明了范德蒙提出的一些规则推广了范德蒙展开行列式的方法1815年，法国数学家柯西第一个系统的几乎是近代的处理乘法定理,方阵,双足标记法改进了拉普拉斯的行列式展开定理并给出了一个证明,行列式,19世纪，英国数学家西尔维斯特活泼、敏感、兴奋、热情，甚至容易激动他(犹太人)受到剑桥大学的不平等对待改进了从一个n次和一个m次的多项式中消去x的方法(他称之为配析法)并给出形成的行列式为零时这两个多项式方程有公共根充分必要条件这一结果(但没有给出证明),行列式,德国数学家雅可比继柯西之后，在行列式理论方面最多产引进了函数行列式(雅可比行列式)指出函数行列式在多重积分的变量替换中的作用，给出了函数行列式的导数公式雅可比的著名论文论行列式的形成和性质标志着行列式系统理论的建成,行列式,由于行列式在数学分析、几何学、线性方程组理论、二次型理论等多方面的应用，促使行列式理论自身在19世纪也得到了很大发展。整个19世纪都有行列式的新结果。除了一般行列式的大量定理之外，还有许多有关特殊行列式的其他定理都相继得到。,矩阵,“矩阵”这个词是由西尔维斯特首先使用的他是为了将数字的矩形阵列区别于行列式而发明了这个述语。英国数学家凯莱被公认为是矩阵论的创立者首先把矩阵作为一个独立的数学概念首先发表了关于这个题目的一系列文章同研究线性变换下的不变量相结合，首先引进矩阵以简化记号。,矩阵,英国数学家凯莱1858年，矩阵论的研究报告系统地阐述了关于矩阵的理论:矩阵的相等、运算法则、转置以及逆等指出了矩阵加法的可交换性与可结合性方阵的特征方程和特征根(特征值),有关矩阵的一些基本结果凯莱出生于一个古老而有才能的英国家庭剑桥大学三一学院大学毕业后留校讲授数学三年后他转从律师职业，工作卓有成效并利用业余时间研究数学，发表了大量的数学论文,矩阵,1855年，法国数学家埃米特证明了别的数学家发现的一些矩阵类的特征根的特殊性质，如现在称为埃米特矩阵的特征根性质等后来，德国数学家克莱伯施、布克海姆(A.Buchheim)等证明了对称矩阵的特征根性质泰伯(H.Taber)引入矩阵的迹的概念并给出了一些有关的结论,矩阵,德国数学家弗罗伯纽斯最小多项式、秩、不变因子和初等因子、正交矩阵、相似变换、合同矩阵等概念以合乎逻辑的形式整理了不变因子和初等因子的理论并讨论了正交矩阵与合同矩阵的一些重要性质,矩阵,1854年，法国数学家约当矩阵化为标准型的问题1892年，加拿大数学家梅茨勒(WilliamHenryMetzler,1863.9.18-1943.4.18)引进了矩阵的超越函数概念并将其写成矩阵的幂级数的形式傅立叶、西尔和庞加莱的著作中还讨论了无限阶矩阵问题，这主要是适用方程发展的需要而开始的。,矩阵,矩阵本身所具有的性质依赖于元素的性质，矩阵由最初作为一种工具经过两个多世纪的发展，现在已成为独立的一门数学分支矩阵论。而矩阵论又可分为矩阵方程论、矩阵分解论和广义逆矩阵论(M-P)等矩阵的现代理论。矩阵及其理论现已广泛地应用于现代科技的各个领域。,线性方程组,公元前1世纪,九章算术初等行变换,相当于高斯消元法。17世纪后期,德国数学家莱布尼茨曾研究含两个未知量三个方程的线性组18世纪上半叶,英国数学家麦克劳林具有二、三、四个未知量的线性方程组得到了现在称为克莱姆法则的结果克莱姆不久也发表了这个法则,线性方程组,18世纪下半叶，法国数学家贝祖对线性方程组理论进行了一系列研究证明了n元齐次线性方程组有非零解的条件是系数行列式等于零19世纪，英国数学家史密斯和道奇森前者引进了方程组的增广矩阵的概念后者证明了n个未知数m个方程的方程组相容的充要条件是系数矩阵和增广矩阵的秩相同,线性方程组,大量的科学技术问题，最终往往归结为解线性方程组。因此在线性方程组的数值解法得到发展的同时，线性方程组解的结构等理论性工作也取得了令人满意的进展。现在，线性方程组的数值解法在计算数学中占有重要地位。,向量,古希腊的亚里士多德已经知道力可以表示成向量，二力合成的平行四边形法则。法国数学家笛卡尔和费马为解析几何奠定了基础。挪威测量学家未塞尔(CasparWessel,1745.6.8-1818.3.25),瑞士数学家阿工(JeanRobertArgand,1768.7.18-1822.8.13)发明了复数的几何表示。英国数学家科兹,法国数学家棣美弗,范德蒙(Alexandre-ThophileVandermonde,1735.2.28-1796.1.1),瑞士数学家欧拉也曾认识到平面上的点可与复数一一对应。,向量,德国数学家高斯建立了复平面的概念。英国物理学家数学家亥维赛在向量分析上作出了许多贡献。1843年,英国数学家哈密顿发现了四元数。1844年,德国数学家格拉斯曼提出了n维向量的理论。1888年,意大利数学家皮亚诺以公理的方式定义了有限维或无限维向量空间。,二次型,二次型的系统研究是从18世纪开始的起源于对二次曲线/面的分类问题的讨论19世纪,法国数学家柯西当方程是标准型时，二次曲面用二次项的符号来进行分类然而，那时并不太清楚，在化简成标准型时，为何总是得到同样数目的正项和负项,二次型,后来,英国数学家西尔维斯特回答了这个问题，他给出了n个变数的二次型的惯性定律，但没有证明这个定律后被雅可比重新发现和证明1801年，德国数学家高斯在算术研究中引进了二次型的正定、负定、半正定和半负定等术语,二次型,二次型化简的进一步研究涉及特征方程的概念特征方程的概念隐含地出现在瑞士数学家欧拉的著作中;法国数学家拉格朗日在其关于线性微分方程组的著作中首先明确地给出了这个概念;而三个变数的二次型的特征值的实性则是由阿歇特、蒙日和泊松建立的,二次型,法国数学家柯西在别人著作的基础上，着手研究化简变数的二次型问题证明了特征方程在直角坐标系的任何变换下不变性后来，他又证明了n个变数的两个二次型能用同一个线性变换同时化成平方和,二次型,1851年，英国数学家西尔维斯特在研究二次曲线和二次曲面的切触和相交时需要考虑这种二次曲线和二次曲面束的分类在他的分类方法中他引进了初等因子和不变因子的概念但他没有证明“不变因子组成两个二次型的不变量的完全集”这一结论,二次型,1858年，德国数学家魏尔斯特拉斯对同时化两个二次型成平方和给出了一个一般的方法并证明，如果二次型之一是正定的，那么即使某些特征根不相等，这个化简也是可能的比较系统的完成了二次型的理论并将其推广到双线性型,群论,公元前3世纪,古希腊的阿基米德曾用图象法解出特殊的数字三次方程公元前1世纪,九章算术:x3=1860867公元3世纪,希腊的丢番图:x3+x=4x2+4625年左右,唐朝数学家王孝通:三次方程1079年,阿拉伯数学家奥马海亚姆(OmarKhayyam,约1048-约1131)在代数中较系统地研究了一、二、三次方程以上都未给出求根公式,群论,1541年，意大利数学家塔尔塔利亚(N.Tartaglia,1499?-1557)三次方程的求根公式1545年,意大利的卡尔达诺(G.Cardano,1501-1576)在大术中介绍了三次方程的求根公式卡尔达诺的学生费拉里一元四次方程的一般解法但是对于更高次方程的求根公式是否存在，成为当时的数学家们探讨的又一个问题。这个问题花费了不少数学家们大量的时间和精力。经历了屡次失败，但总是摆脱不了困境。,群论,到了18世纪下半叶，拉格朗日认真总结分析了前人失败的经验，深入研究了高次方程的根与置换之间的关系，提出了预解式概念，并预见到预解式和各根在排列置换下的形式不变性有关。但他最终没能解决高次方程问题。拉格朗日的弟子鲁菲尼也做了许多努力，但都以失败告终,群论,1824年，挪威数学家阿贝尔证明了次数大于四次的一般代数方程不可能有根式解但问题仍没有彻底解决，因为有些特殊方程可以用根式求解因此，高于四次的代数方程何时没有根式解，是需要进一步解决的问题这一问题由法国数学家伽罗瓦全面透彻地给予解决,群论,伽罗瓦仔细研究了拉格朗日和阿贝尔的著作，建立了方程的根的“容许”置换，提出了置换群的概念，得到了代数方程用根式解的充分必要条件是置换群的自同构群可解从这种意义上说，伽罗瓦是群论的创立者伽罗瓦出身于巴黎附近一个富裕的家庭，幼时受到良好的家庭教育，只可惜，这位天才的数学家英年早逝1832年5月，由于政治和爱情的纠葛，在一次决斗中被打死，年仅21岁,群论,置换群的概念和结论是最终产生抽象群的第一个主要来源抽象群产生的第二个主要来源则是戴德金和克罗内克的有限群及有限交换群的抽象定义以及凯莱关于有限抽象群的研究工作克莱因和庞加莱给出了无限变换群和其他类型的无限群19世纪70年代，李开始研究连续变换群，并建立了连续群的一般理论，这些工作构成抽象群论的第三个主要来源,群论,1882-1883年，德国数学家迪克把上述三个主要来源的工作纳入抽象群的概念之中，建立了（抽象）群的定义到19世纪80年代，数学家们终于成功地概括出抽象群论的公理体系20世纪80年代，群的概念已经普遍地被认为是数学及其许多应用中最基本的概念之一,群论,如今,群论不但渗透到诸如几何学、代数拓扑学、函数论、泛函分析及其他许多数学分支中而起着重要的作用，还形成了一些新学科如拓扑群、李群、代数群等，它们还具有与群结构相联系的其他结构，如拓扑、解析流形、代数簇等，并在结晶学、理论物理、量子化学以及编码学、自动机理论等方面，都有重要作用。,NielsHenrikAbel,Born:5Aug1802inFrindoe(nearStavanger),NorwayDied:6April1829inFroland,Norway,Born:287BCinSyracuse,SicilyDied:212BCinSyracuse,Sicily,ArchimedesofSyracuse,Born:384BCinStagirus,Macedonia,GreeceDied:322BCinChalcis,Euboea,Greece,Aristotle,Born:31March1730inNemours,FranceDied:27Sept1783inBasses-Loges(nearFontainbleau),France,tienneBzout,AugustinLouisCauchy,Born:21Aug1789inParis,FranceDied:23May1857inSceaux(nearParis),France,Born:16Aug1821inRichmond,EnglandDied:26Jan1895inCambridge,England,ArthurCayley,Born:19Jan1833inKnigsberg,Germany(nowKaliningrad,Russia)Died:7Nov1872inGttingen,Germany,RudolfFriedrichAlfredClebsch,Born:10July1682inBurbage,Leicestershire,EnglandDied:5June1716inCambridge,Cambridgeshire,England,RogerCotes,Born:31July1704inGeneva,SwitzerlandDied:4Jan1752inBagnols-sur-Ceze,France,GabrielCramer,Born:6Oct1831inBraunschweig,duchyofBraunschweig(nowGermany)Died:12Feb1916inBraunschweig,duchyofBraunschweig(nowGermany),JuliusWihelmRichardDedekind,RenDescartes,Born:31March1596inLaHaye(nowDescartes),Touraine,FranceDied:11Feb1650inStockholm,Sweden,CharlesLutwidgeDodgson,Born:27Jan1832inDaresbury,EnglandDied:14Jan1898inGuilford,England,WaltherFranzAntonvonDyck,Born:6Dec1856inMunich,GermanyDied:5Nov1934inMunich,Germany,LeonhardEuler,Born:15April1707inBasel,SwitzerlandDied:18Sept1783inStPetersburg,Russia,PierredeFermat,Born:17Aug1601inBeaumont-de-Lomagne,FranceDied:12Jan1665inCastres,France,FerdinandGeorgFrobenius,Born:26Oct1849inBerlin-Charlottenburg,Prussia(nowGermany)Died:3Aug1917inBerlin,Germany,JeanBaptisteJosephFourier,Born:21March1768inAuxerre,Bourgogne,FranceDied:16May1830inParis,France,JohannCarlFriedrichGauss,Born:30April1777inBrunswick,DuchyofBrunswick(nowGermany)Died:23Feb1855inGttingen,Hanover(nowGermany),EvaristeGalois,Born:25Oct1811inBourgLaReine(nearParis),FranceDied:31May1832inParis,France,HermannGnterGrassmann,Born:15April1809inStettin,Prussia(nowSzczecin,Poland)Died:26Sept1877inStettin,Germany(nowSzczecin,Poland),JeanNicolasPierreHachette,Born:6May1769inMzires,Ardennes,FranceDied:16Jan1834inParis,France,SirWilliamRowanHamilton,Born:4Aug1805inDublin,IrelandDied:2Sept1865inDublin,Ireland,OliverHeaviside,Born:18May1850inCamdenTown,London,EnglandDied:3Feb1925inTorquay,Devon,England,CharlesHermite,Born:24Dec1822inDieuze,Lorraine,FranceDied:14Jan1901inParis,France,CarlGustavJacobJacobi,Born:10Dec1804inPotsdam,Prussia(nowGermany)Died:18Feb1851inBerlin,Germany,MarieEnnemondCamilleJordan,Born:5Jan1838inLaCroix-Rousse,Lyon,FranceDied:22Jan1922inParis,France,FelixChristianKlein,Born:25April1849inDsseldorf,Prussia(nowGermany)Died:22June1925inGttingen,Germany,LeopoldKronecker,Born:7Dec1823inLiegnitz,Prussia(nowLegnica,Poland)Died:29Dec1891inBerlin,Germany,Joseph-LouisLagrange,Born:25Jan1736inTurin,Sardinia-Piedmont(nowItaly)Died:10April1813inParis,France,Pierre-SimonLaplace,Born:23March1749inBeaumont-en-Auge,Normandy,FranceDied:5March1827inParis,France,GottfriedWilhelmvonLeibniz,Born:1July1646inLeipzig,Saxony(nowGermany)Died:14Nov1716inHannover,Hanover(nowGermany),MariusSophusLie,Born:17Dec1842inNordfjordeide,NorwayDied:18Feb1899inKristiania(nowOslo),Norway,ColinMaclaurin,Born:Feb1698inKilmodan(12kmNofTighnabruaich),Cowal,Argyllshire,ScotlandDied:14June1746inEdinburgh,Scotland,AbrahamdeMoivre,Born:26May1667inVitry-le-Franois,Champagne,FranceDied:27Nov1754inLondon,England,GaspardMonge,Born:9May1746inBeaune,Bourgogne,FranceDied:28July1818inParis,France,EliakimHastingsMoore,Born:26Jan1862inMarietta,Ohio,USADied:30Dec1932inChicago,Illinois,USA,GiuseppePeano,Born:27Aug1858inCuneo,Piemonte,ItalyDied:20April1932inTurin,Italy,Born:8Aug1931inColchester,Essex,England,RogerPenrose,JulesHenriPoincar,Born:29April1854inNancy,Lorraine,FranceDied:17July1912inParis,France,SimonPoisson,Born:21June1781inPithiviers,FranceDied:25April1840inSceaux(nearParis),France,PaoloRuffini,Born:22Sept1765inValentano,PapalStates(nowItaly)Died:10May1822inModena