十九世纪数学.docx

1、十九世纪数学十九世纪数学十九世纪是数学史上制造精神和严格精神高度发扬的时期。复变函数论的创建和数学分析的严格化，非欧几何的问世和射影几何的完善，群论和非互换代数的诞生，是这一世纪典型的数学成绩。它们所包括的新思想，深刻地阻碍着二十世纪的数学。十九世纪数学进展的概貌十八世纪数学进展的主流是微积分学的扩展，它与力学和天文学的问题紧密相联。微积分的运用使这些自然科学领域迅猛进展，至十八世纪末，它们达到了一种相对完美的程度。但是，将数学和这些自然科学大体上视为一体的观念，使那时一些闻名的数学家，如拉格朗日、欧拉、达朗贝尔等对数学的前途产生了悲观情绪，他们感觉数学泉源已近枯竭。而事实上，现在的数学正处于

2、兴隆发达的前夜：18世纪的数学家忙于获取微积分的功效与应用，较少顾及其概念与方式的周密性，到十八世纪末，为微积分奠基的工作已紧迫地摆在数学家眼前；另一方面，处于数学中心课题之外的数学分支已积存了一批重要问题，如复数的意义、欧式几何中平行公设的地位，高次代数方程根式解的可能性等，它们多数是从数学内部提出的课题；再者，自十八世纪后期开始，自然科学显现众多新的研究领域，如热力学、流体力学、电学、磁学、测地学等等，从数学外部给予数学以新的推动力。上述因素促成了十九世纪数学充满活力的创新与进展。十九世纪欧洲的社会环境也为数学进展提供了适宜的舞台，法国资产阶级大革命所造成的民主精神和重视数学教育的风尚，鼓

3、舞大量有才华的青年步入数学教育和研究领地。法国在十九世纪一直是最活跃的数学中心之一，涌现出一批优秀人材，如傅里叶、泊松、彭赛列、柯西、刘维尔、伽罗华、埃尔米特、假设尔当、达布、庞加莱、阿达马。他们在几乎所有的数学分支中都作出了卓越奉献。法国革命的阻碍涉及欧洲各国，使整个学术界思想十分活跃，冲破了一切禁区。英国新一代数学家克服近一个世纪以来以牛顿为偶像的固步自封局面，成立了向欧洲大陆数学学习的“分析学会”，使英国进入世界数学进展的潮流。皮科克、格林、哈密顿、西尔维斯特、凯莱、布尔等英国数学界的杰出人物，在代数学、代数几何、数学物理方面的成绩尤其突出。德国在1870年统一之前，资本主义进展比较缓慢

4、，但从十八世纪下半叶起，它一直是思想意识领域十分活跃的地域，专门是思辩哲学强调事物内部矛盾增进事物进展的思想，对纯粹数学的进展产生了有利的阻碍。从高斯登上数学舞台至十九世纪下半叶，德国慢慢进展成为与法国不相上下的又一个世界数学中心，除高斯外，施陶特、普吕克、雅可比、狄利克雷、格拉斯曼、库默尔、魏尔斯特拉斯、克罗内克、黎曼、戴德金、康托尔、克莱因、希尔伯特都无愧为十九世纪最重要的数学家。处于数学中心之外的国家和地域，也显现很多优秀学者，最突出的有挪威的阿贝尔和李，捷克的波尔查诺、俄国的罗巴切夫斯基、切比雪夫和柯瓦列夫斯卡娅，匈牙利的波尔约，意大利的贝尔特拉米和里奇等。这种人材辈出的局面在数学史上

5、是空前的。十九世纪数学冲破分析学独占主导地位的局面，几何、代数、分析各分支显现如雨后春笋般的竟相进展。仅在十九世纪的前30连年中，一批二三十岁的年轻数学家就在数论、射影几何、复变函数、微分几何、非欧几何、群论等领域作出开辟性的成绩。随着众多新研究方向的开拓和证明严格化的要求，愈来愈多的学者开始埋头于较窄的领域作精细的研究。如阿贝尔要紧从事分析与代数学研究，彭赛列专攻射影几何，伽罗瓦关切代数方程的可解性。只有高斯和柯西仍然关切科学与数学中几乎所有的问题。在十九世纪下半叶，一些数学家注意了各分支间的联系，最闻名的有克莱因的埃尔朗根纲领，在几何中引进群的观点，取得专门大成功，但专门化的研究方式尚处于

6、方兴未艾的时期。从十九世纪晚期开始的将数学各分支奠基于公理体系之上的运动，又推动了各分支的细分，这种偏向一直延续到二十世纪。十九世纪数学家的工作方式呈现出全新的、不同于十八世纪的特色。数学成为一项取得全社会承认的职业，数学家要紧在大量培育人材的新型大学教书，研究与教学有机地联系在一路。法国的巴黎综合工科学校、巴黎高等师范大学，德国的柏林大学、格丁根大学是那时最重要的数学研究与教学中心。由于数学家人数与功效的剧增交流思想与功效的渠道增多了，数学杂志成了重要的传播媒介。法国的热尔岗编辑出版了纯粹与应用数学年刊，是最先的专门数学期刊。以后，高水平的数学杂志接踵问世，最闻名的有克雷尔开办的德文的纯粹与

7、应用数学杂志，刘维尔开办的法文的纯粹与应用数学杂志。到十九世纪后半叶，随着各国数学会的问世，各类会刊及专门杂志显著增加。这些数学会还在推动本国数学进展和增进国际学术交流方面发挥踊跃作用。最先成立的是伦敦数学会，以后创建的有法国数学会、美国数学会和德国数学会。在接近世纪之末，由各国数学会发起在瑞士苏黎世召开了第一届国际数学家大会，后成为一项按期举行的国际学术活动。 十九世纪数学的进展错综复杂，粗略地能够分为四个时期。数论、分析与几何的创新时期这一时期从十九世纪初到十九世纪二十年代。1801年，高斯发表算术研究，这部象征近代数论起点的巨著，同时也打开了数学新世纪的大门。十九世纪前的数论主若是一些漂

8、亮但却孤立的功效，高斯一方面将这些功效系统化，对问题及方式加以分类，同时开辟了全新的课题及方式。树立了严格证明的典范，以为找出简单漂亮的证明，有助于把握问题的实质并发觉不同问题间的联系(典型的是他给出了二次互反律的七个证明)。高斯的观点代表了十九世纪对数学周密性追求的时期精神，也指出了纯粹数学进展的一条途径。同年，高斯依据少量观测数据，运用误差分析等方式计算出谷神星的轨道，准确地预报了这颗小行星在天空显现的时刻，哄动了科学界。高斯在一生中始终对理论与应用一样重视，他的成绩一直鼓舞着最有才华的数学家。他和阿基米德、牛顿一路，被以为是历史上最伟大的数学家。1807年，傅里叶向巴黎科学院提交了一篇关

9、于热传导的文章，在解热传导方程时，提出任意函数可用三角级数表示。这是分析学在十九世纪的首项重要工作，它不仅使分析方式进入新的物理领域，而且扩展了函数概念，推动了偏微分方程理论。对傅里叶级数收敛点的研究，最终致使康托尔创建集合论。由于傅里叶级数在应用中的重要性，研究其收敛性成为分析严格化的动力之一。十九世纪分析严格化的提倡者有高斯、波尔查诺、柯西、阿贝尔和狄利克雷等人。1812年，高斯对一类具体的级数超几何级数，进行了周密研究，这是历史上第一项重要的有关级数收敛性的工作。1817年，波尔查诺第一抛弃无穷小量概念，用极限观念给出导数和持续性的概念，并取得判别级数收敛的一样准那么(现称柯西准那么)，

10、由于他的工作长期被埋没，因此对那时数学的进展没有产生阻碍，是数学史上一件憾事。柯西是对分析严格化阻碍最大的学者，1821年发表了分析教程，除独立取得波尔查诺的大体结果，还用极限概念概念了持续函数的定积分，这是成立分析严格理论的第一部重要高作。值得注意的是，柯西的分析理论大体上基于几何直观，按现代标准衡量仍不够周密。阿贝尔一直强调分析中定理的严格证明，在1826年最先利用一致收敛的思想，证明了持续函数的一个一致收敛级数的和在收敛区域内部持续。柯西在成立严格的分析理论的同时，还为十九世纪最重要的数学制造单复变函数论奠定了基础。18141825年间，他取得了计算复函数沿复平面上途径积分的大体定理和留

11、数计算公式。由于柯西的工作，复数和复变函数论在十九世纪20年代为广大数学家所熟悉。1826年，阿贝尔和雅可比创建了椭圆函数理论，成为复变函数论蓬勃进展的生长点。十九世纪最富革命性的制造当属非欧几何。自古希腊时期始，欧氏几何一直被以为是客观物质空间惟一正确的理想模型，是严格推理的典范。16世纪后的数学家在论证代数或分析结果的合理性时，都试图归之为欧氏几何问题。但欧氏几何的平行公设曾引发数学家的持久的关注，以弄清它和其他公理、公设的关系。那个烦扰了数学家千百年的问题，终于被高斯、罗巴切夫斯基和波尔约各自独立解决。高斯在1816年已熟悉到平行公设不可能在欧氏几何其他公理、公设的基础上证明，取得在逻辑

12、上相容的非欧几何，其中平行公设不成立，但由于担忧受人指责而未发表。1825年左右，波尔约和罗巴切夫斯基别离取得一样的结果，并推演了这种新几何中的一些定理。罗巴切夫斯基1829年的文章论几何基础是最先发表的非欧几何高作，因此这种几何也称为罗巴切夫斯基几何。这项发觉的技术细节是简单的，但观念的变革是深刻的，欧氏几何再也不是神圣的，数学家步入了制造新几何的时期。非欧几何对人们熟悉物质世界的空间形式提供了有力武器，但由于它背叛传统，创建之初未受到数学界的重视。只是当高斯有关非欧几何的通信和笔记在他1855年归天后出版时，才因高斯的名望而引发数学家们的关注。十九世纪前半叶最热点的几何课题是射影几何。18

13、22年，彭赛列发表论图形的射影性质，这是他18131814年被俘关在俄国时开始研究的总结。他探讨几何图形在任一投影下所有截影所共有的性质，他的方式具有象解析几何那样的普遍性。1827年左右，普吕克等人引进齐次坐标，用代数方式研究射影性质，丰硕了射影几何的内容。对纯几何问题爱好的增加，并未减弱分析在几何中的应用。高斯从1816年起参与大地测量和地图绘制工作，引发他对微分几何的爱好。1827年他发表的关于曲面的一样研究，为这一数学分支注入了全新的思想，开辟了微分几何的现代研究。代数观念的变革时期代数思想的革命发生在十九世纪3040年代。1830年，皮科克的代数学问世，书中对代数运算的大体法那么进行

14、了探讨性研究。在这之前，代数的符号运算实际仅是实数与复数运算的翻版。皮科克试图成立一门更一样的代数，它仅是符号及其知足的某些运算法那么的科学。他和德?摩根等英国学者围绕这一目标的工作，为代数结构观点的形成及代数公理化研究作了尝试，因此皮科克被誉为“代数中的欧几里得”。皮科克的目标尽管很有价值，但方式过于含糊，无法达到他的愿望。代数中更深刻的思想来自于数学史上传奇式的人物伽罗华。在18291832年间，他提出并论证了代数方程可用根式解的普遍判别准那么，从概念和方式上为最大体的一种代数结构(群)理论奠定了基础，说明了群的正规子群及同构等重要概念。伽罗瓦在1832年归天前，几回向巴黎科学院递交他的论

15、文，均未获回答。他的理论在1846年由刘维尔发表之前几乎无人知晓，到十九世纪60年代后才引发重视，这是数学史上新思想历经磨难终放异彩的最典型的例证。另一项引发代数观念深刻变革的功效，归功于哈密顿和格拉斯曼。哈密顿在用“数对”表示复数并探讨其运算规那么时，试图将复数概念推行到三维空间，未获成功，但却意想不到的创建了四元数理论，时刻是1843年。四元数是第一个被构造出的不知足乘法互换律的数学对象。从此，数学家便冲破了实数与复数的框架，比较自由地构作各类新的代数系统。四元数理论一经问世便引来数学与物理学家的讨论，它本身虽没有普遍应用，但成为向量代数、向量分析和线性结合代数理论的先导。1844年，格拉

16、斯曼在讨论 n维几何时，独立取得更一样的具有 n个分量的超复数理论，这一高度独创的功效由于表达晦涩，无法为那时的学者所明白得。在这一时期，还诞生了代数不变量理论，这是从数论中的二次型及射影几何中的线性变换引伸出的课题。1841年左右，凯莱受布尔的阻碍开始研究代数型在线性变换下的不变量。以后，寻觅各类特殊型的不变量及不变量的有限基，成为十九世纪下半叶最热点的研究课题，显现了人数众多的德国学派，进而开辟了代数几何的研究领域。数论中的重要问题，往往成为新思想进展的酵母。1844年，库默尔在研究费马大定理时提出了理想数理论，借助理想数可证明在惟一因子分解定理不成立的代数数域中，一般数论中的某些结果仍成

17、立。在这代数学丰收的时期，几何、分析和数论也都有长足的进步。格林在讨论变密度椭球体的引力问题时，考虑了 n维位势；凯莱在分析学中讨论了具有 n个坐标的变量；格拉斯曼那么直接从几何上成立高维空间理论。他们从不同角度导出超越直观的 n维空间概念。施陶特确立了不依托欧氏空间的长度概念的射影几何体系，从逻辑上说明射影几何比欧氏几何更大体。分析的严格化在继续。狄利克雷按变量间对应的说法给显现代意义下的函数概念。魏尔斯特拉斯开始了将分析奠基于算术的工作，从1842年起采纳明确的一致收敛概念于分析学，使级数理论更趋完善。值得注意的是，未经严格证明的分析工具仍被普遍利用，在取得新结果方面显示威力。格林第一利用

18、了位势函数的极小化积分存在的原理，即现称的狄利克雷原理，它的严格理论迟至1904年才为希尔伯特说明，可是在十九世纪50年代就已成为黎曼研究分析学的重要工具。随着分析工具的慢慢完善，数学家开始更自觉地在数学其他分支利用它们。除微分几何外，解析数论也应运而生。1837年，狄利克雷在证明算术序列包括无穷多素数时，精心利用了级数理论，这是近代解析数论最先的重要功效。刘维尔那么在1844年第一次证明了超越数的存在，引发数学家对寻觅超越数和证明某些特殊的数为超越数的爱好。在下半世纪，林德曼利用埃尔米特证明 e为超越数的方式，证明了的超越性，从而完全解决了化圆为方问题。数学新思想的深化时期这一时期从十九世纪

19、五十年代到十九世纪七十年代。1851年，黎曼的博士论文单复变函数一样理论的基础第一次明确了单值解析函数的概念，指出了实函数与复函数导数的大体不同，专门是论述了现称为黎曼面的概念和共形映射定理，开辟了多值函数研究的深刻方式，打通了复变函数论深切进展的道路。黎曼本人利用这一思想超卓地探讨了阿贝尔积分及其反演阿贝尔函数，1854年，黎曼为获大学讲师资格，提交了两篇论文，其中关于作为几何学基础的假设是数学史上阻碍最深远的作品之一。在十九世纪前半叶，数学家已熟悉到存在不同于欧氏几何的新几何学，并进展了内蕴几何和高维几何的理论，但它们处于分散与孤立的状态。黎曼以其深刻的洞察力将三者统一于 n维流形的理论，

20、开始了现代微分几何学研究。这是关于任意维空间的内蕴几何，黎曼以二次微分形式概念流形的气宇，给出了流形曲率的概念。他还论证了能在球面上实现二维正的常曲率空间。听说黎曼的深刻思想那时只有高斯能明白得。经十九世纪60年代贝尔特拉米等人的介绍与推动，黎曼的理论才开始为广大数学家领会，他们对微分不变量的研究，最后致使里奇创建张量理论。在另一篇论文中，黎曼探讨了将积分概念推行到中断函数上去，提出了现称为黎曼积分的概念。他构造了具有无穷中断点而按他的概念仍可积的函数。寻觅这种函数是十九世纪7080年代很时兴的课题。沿着扩展积分概念的方向，后来的数学家取得各类广义积分，最闻名的当属二十世纪初显现的勒贝格积分。

21、1859年，黎曼研究 函数的复零点，提出闻名的黎曼猜想。黎曼的思想，在几何、分析、数论领域长盛不衰，有力地阻碍着十九世纪后期以至二十世纪的数学研究。魏尔斯特拉斯在这一时期继续分析算术化的工作，提出了现代通用的极限概念，即用静态的方式(不等式)刻画转变进程。他构造出处处不可微的持续函数实例，警告人们必需精细地处置分析学的对象，对实变函数论的兴起起了催化作用。在复变函数论方面，他提出了基于幂级数的解析开拓理论。魏尔斯特拉斯的众多功效出自他任教员的时期，到1859年出任柏林大学教师后才广为人知。由于他为分析奠基的超卓成绩，后被誉为“现代分析之父”。当德国学者在分析与几何领域大放异彩之时，英国学者继续

22、发挥他们在代数中的优势。1854年，布尔发表了思维规律的研究，创建了符号逻辑代数，这是使演绎推理形式化的有力工具。布尔强调数学的本质不是探讨对象的内容，而是研究其形式，因此数学没必要限于讨论数和持续量的问题，可由符号表示的一切事物都可纳入数学领域。1855年，凯莱在研究线性变换的不变量时，系统地提出矩阵概念及其运算法那么。矩阵是继四元数以后的又一类不知足乘法互换律的数学对象，它们和群论都是推动抽象代数观点形成进展的重要因素。在凯莱以后，矩阵理论不断完善，不仅成为数学中的锐利武器，仍是描述和解决物理问题的有效武器。基于对矩阵和四元数的熟悉，凯莱还引进了抽象群的概念，但未立刻引发重视，抽象群论的进

23、展还有待于对各类具体的群作深切的研究。十九世纪60年代末，假设尔当担起了向数学界说明伽罗瓦理论的重任，在发表于1870年的置换论中，他对置换群理论及其与伽罗瓦方程论的联系作出清楚的总结，为群论在十九世纪最后30年间的进展奠定了基础。在这一时期，数学家对射影几何及非欧几何的熟悉也日趋深化。1859年，凯莱论证了欧氏空间的气宇性质并非图形本身的届性，而能够借助某种特定图形按射影概念加以成立，说明欧氏几何是射影几何的一部份。克莱因发挥凯莱的思想，一样论证非欧几何也能够包括在射影几何之内。如此便完全澄清了射影几何与那些气宇几何的关系，摊平了几何公理化进展的道路。1868年，贝尔特拉米在伪球面上实现了罗

24、巴切夫斯基几何，在欧氏空间中给出直观上难以想象的非欧几何模型。以后克莱因和庞加莱别离给出各自的非欧几何模型，说明非欧几何本身的相容性(即无矛盾性)与欧氏几何一致，加速了人们同意非欧几何的进程。在60年代末70年代初，由高斯在十九世纪初开辟的代数数论研究，经由戴德金和克罗内克等人的推动，形成为内容丰硕的现代数学分支。戴德金引进一种代数数类代替库默尔的理想数，重建了代数数域中的惟一因子分解定理，创建了理想论。克罗内克那么另辟蹊径，取得相似的概念，并创建有理函数域论，引进在域上添加代数量生成扩域的方式。那个地址，需要提及概率论中的几项重要功效。在十九世纪，概率论的进展不象数学其他分支那样突出。自拉普

25、拉斯以后，泊松曾取得闻名的泊松散布。更重要的是切比雪夫关于独立随机变量序列的大数律和某类独立随机变量序列的中心极限定理，概率论的系统理论到二十世纪才完成。综上所述，可看到十九世纪前半叶显现的新思想，在这20连年间变得更成熟，形成了众多独立的研究方向或分支学科。数学公理化运动的初创期这一时期从十九世纪七十年代初到十九世纪末。数学通过十九世纪前七十年的进展，讨论基础问题的条件已趋成熟。与以前的世纪不同，十九世纪的数学家最终选择算术而不是几何作为本门科学的基础。几何中普吕克有关齐次坐标的研究，分析中魏尔斯特拉斯的静态方式都反映了这种偏向。可是算术中最大体的实数概念始终是模糊的。柯西的实数概念有严峻缺

26、点，犯了循环概念的错误。1872年，魏尔斯特拉斯、康托尔、戴德金和其他一些数学家，在确认有理数存在的前提下，通过不同途径给无理数下了精准概念。又通过很多数学家的尽力，最终由意大利学者皮亚诺完成了有理数理论。1881年，他在算术原理新方式中，给出了自然数的公理体系，由此可从逻辑上严格概念正整数、负数、分数、无理数。康托尔在探讨实数概念的同时，研究了傅里叶级数收敛点集的结构，1874年起发表一系列有关无穷集合的文章，开辟了集合论这一基础性的数学分支。康托尔的功效是高度独创性的，他把无穷集本身作为研究对象，通过一一对应方式，区分无穷集的大小，概念了集合的基数(或称势)，引进序型、序数和一些属于拓扑学

27、的大体概念。他提出了闻名的持续统假设。康托尔的工作阻碍十分深远：第一是从头唤起人们对实无穷的研究，开拓了点集拓扑的领域；第二，令人们把函数的概念域成立在一样的点集之上，推动了测度论和泛函分析的研究；第三，由于集合论的内在矛盾，激发起对数理逻辑和数学基础的深切研究。但集合论问世之初，曾受到一些闻名数学家的猛烈反对，以至康托尔晚年处于精神崩溃状态。到十九世纪末，阿达马等证明了康托尔的理论在分析学中的重要应用，才使这一理论取得转机，终于成为二十世纪数学研究的一个基础。分析的严格化以皮亚诺的自然数公理体系的成立而告一段落。这种公理化的偏向也一样在其他数学分支蔓延。弗雷格提出了逻辑公理体系，帕施取得了射

28、影几何的公理体系。最闻名的是希尔伯特于1899年在几何基础中论述的欧几里得几何的公理系统。他考虑了公理系统的独立性、相容性和完备性，并证明欧几里得几何的相容性可归结为算术的相容性。希尔伯特的工作掀起了公理化的热潮：一方面，数学家为各数学分支成立公理体系；另一方面，通过略去否定或其他方式改变所论体系的公理来探讨新体系、新问题。公理化运动并无限制新思想的萌生和对各类具体课题的研究，后者始终是数学进展中最活跃的因素。群论的应用在这一时期专门引人注视，1872年，克莱因受聘用埃尔朗根大学教授时，发表题为关于近代几何研究的比较考察的讲演(即闻名的埃尔朗根纲领)，他指出每种几何可由特定的变换群来刻画，各类

29、几何的研究内容是在相应的变换群下的不变量，一种几何的子几何那么是研究原变换群的子群的不变量。依照变换群的观点，克莱因对几何进行了系统分类，揭露了群的概念在几何中的统一作用(不包括一样的黎曼几何和代数几何)开拓了研究几何的一种有效的方式。克莱因的工作表现了数学专门化趋势中包括的统一因素。1874年，挪威数学家李在研究常微分方程与维持这些方程的解不变的变换群之间的关系时，创建了持续变换群理论(现称李群)和相应的代数(现称李代数)。有了对具体的群的普遍研究，抽象群论取得了新生。1882年，德国数学家迪克受凯莱工作的鼓舞，引进用生成元和生成元之间关系来概念群的抽象观点，开始抽象群论的系统研究。与此相伴

30、的是分析与经典代数方式对群论的应用，即群的表示理论应运而生。组合拓扑学作为一门学科在十九世纪末登上了数学舞台。庞加莱是这一领域的要紧奠基者。庞加莱是那时领头的数学家之一，爱好普遍，研究涉及众多数学分支以至天体力学和物理科学。在探讨描述行星运动的微分方程周期解时，他采纳了拓扑观点分析奇点及积分曲线的结构，开辟了微分方程定性理论。在研究一样”维图形的结构时，引进了一套系统的组合方式，为组合拓扑奠定了基础。拓扑和抽象代数的观点和方式成为二十世纪最有阻碍的研究手腕。与庞加莱齐名的另一名闻名数学家是希尔伯特。他不仅踊跃创导了公理化方式，而且专门重视数学中单个重大问题的研究，以为这是数学活力之所在。他本人就通过解决一系列具体问题，取得许多重要方式。十九世纪末，他发表了两个报告。数论报告系统总结了代数数论的全数功效，开辟了类域论的研究方向。1900年，在第二届国际数学家大会上，希尔伯特作了阻碍深远的题为数学问题的报告，成为迎接二十世纪挑战的宣言。在数学分成几十个分支各自独立进展的形势下，希尔伯特坚信数学科学是一个不可分割的有机整体，它的生命力正是在于各部份之间的联系。在十九世纪末，领头数学家对数学前途充满了信心，与十八世纪末的情景形成鲜明对照。庞加莱和希尔伯特的业绩展现了二十世纪数学大进展的曙光。