数学史-第九讲优秀PPT.ppt

《数学史-第九讲优秀PPT.ppt》由会员分享，可在线阅读，更多相关《数学史-第九讲优秀PPT.ppt（18页珍藏版）》请在淘文阁 - 分享文档赚钱的网站上搜索。

1、数学在现代的发展状况酷似一棵树，一棵硕大的榕树，往数学在现代的发展状况酷似一棵树，一棵硕大的榕树，往上有不断增枝为蘖的树冠，往下有不断伸展扎实的树根，上有不断增枝为蘖的树冠，往下有不断伸展扎实的树根，生气勃勃，气象万千，从这一角度对数学的描述即是本章生气勃勃，气象万千，从这一角度对数学的描述即是本章宗旨的一个方面。宗旨的一个方面。在人类社会史上，首先有了整数的概念，然后即向着两个在人类社会史上，首先有了整数的概念，然后即向着两个方向发展。一方面往数学的结构方向发展；另一方面往数方向发展。一方面往数学的结构方向发展；另一方面往数学运算方向发展，对前者的描述是上一章的任务，对后者学运算方向发展，对

2、前者的描述是上一章的任务，对后者的描述正是本章任务。的描述正是本章任务。数学在运算上呈现出了两个大的分杈，一个是演绎数学；数学在运算上呈现出了两个大的分杈，一个是演绎数学；一个是数值数学一个是数值数学 1.1.演演绎数学绎数学在演绎数学方面，首先看到的是由古老的初等几何、在演绎数学方面，首先看到的是由古老的初等几何、初等代数和初等数论发展起来的三大枝系，其次是大初等代数和初等数论发展起来的三大枝系，其次是大有青出于蓝之势的数学分析和概率论这样两个不行小有青出于蓝之势的数学分析和概率论这样两个不行小视的巨大枝系。今日，上述五个视的巨大枝系。今日，上述五个“枝系枝系”都在尽情地都在尽情地发展着，看

3、不到终点。本节即从这五个方面来分头叙发展着，看不到终点。本节即从这五个方面来分头叙述演绎数学。述演绎数学。（1 1）第一支系）第一支系几何学几何学 1 1）几何）几何学学科知多少科知多少几何几何学从来学从来都是都是数学数学王王国国的主要成的主要成员员，是，是数学数学王王国国中名副其中名副其实实的的半半边边天，以致天，以致假假如今日要如今日要问问世上世上现现在有多少在有多少门门几何几何学学，这这是是难难以以算算清清的。因的。因为数学学为数学学科的集合科的集合对对于几何于几何概概念念来说来说已具有模糊性了，已具有模糊性了，就已有的附有几何名就已有的附有几何名称称的的学学科科来说来说至少可有几何原本

4、、初等几何、至少可有几何原本、初等几何、画画法几何、解析几何、微分几何、法几何、解析几何、微分几何、随随机微分几何、射影几何、仿机微分几何、射影几何、仿射几何、保形几何、度量几何、相像几何、射几何、保形几何、度量几何、相像几何、张张量几何、黎曼几何、量几何、黎曼几何、罗罗巴捷夫斯基几何、巴捷夫斯基几何、内蕴内蕴几何、距离几何、几何、距离几何、网络网络几何、几何、计计算几何、算几何、几何基几何基础础、数数的几何、接的几何、接触触几何、辛几何、代几何、辛几何、代数数几何、大范几何、大范围围几几何、何、齐齐性空性空间间局部几何和局部几何和BanachBanach几何等等。甚至几何等等。甚至7070年

5、年头还产头还产生生了一了一个个分形几何（分形几何（Fractural geometryFractural geometry）。以上所）。以上所举举几何可分作几何可分作三三类类，一，一类类可叫作干可叫作干脆脆的公理化体系几何；一的公理化体系几何；一类类可叫作代可叫作代数数方法方法构构成的几何（如解析几何）；第三成的几何（如解析几何）；第三类类可叫作用分析方法可叫作用分析方法构构成的几成的几何（如微分几何）。何（如微分几何）。这这就是一就是一个个以初等几何以初等几何为为源源发发展起展起来来的几何的几何学类学类的梗的梗概概。2 2）几何理）几何理论发论发展脉展脉络络在在纯数学纯数学的几何理的几何理论

6、论中，中，从从古至今古至今这这一一时间时间金金线线上，串上，串连连着如下几着如下几个个里程碑，里程碑，它它勾勾画画出了几何理出了几何理论论的的发发展脉展脉络络。欧欧几里德的几何几里德的几何学学原本（公元前原本（公元前3 3世世纪纪），最宏大的），最宏大的贡献贡献是提出了公理化思想。是提出了公理化思想。在公理化思想下在公理化思想下产产生了非生了非欧欧几何（公元几何（公元1919世世纪纪初），初），并并在在1919世世纪纪中叶形成了非中叶形成了非欧欧几何几何热热。欧欧氏几何氏几何与与非非欧欧几何几何热热促成克促成克莱莱茵的茵的“艾尔艾尔兰兰根根纲领纲领”问问世（世（18721872年）。他提出了年

7、）。他提出了“几何几何变换变换的的实质实质是找不是找不变变性性质质或或不不变变量。量。在艾尔在艾尔兰兰根根纲领纲领下下总结总结出了射影几何。（公元出了射影几何。（公元1717世世纪纪）。）。希尔伯特的几何希尔伯特的几何学学基基础础（18991899年）。年）。它它的的贡献贡献是完是完善了几何善了几何学学的公理化体系，的公理化体系，它它提出了一提出了一组组2121个个公理，使得公理，使得欧欧几里德几何几里德几何学学原本中的漏洞原本中的漏洞“全被全被补补上了上了”。最终当提到，最终当提到，2020世纪来几何学可说正沿着侧地线世纪来几何学可说正沿着侧地线微小曲面微小曲面不变子流形不变子流形调和映谢这

8、样一条主脉络发展，主要贡献者调和映谢这样一条主脉络发展，主要贡献者或许要数德拉蒙，或许要数德拉蒙，E E卡担，安德森、陈省身及邱成桐，进卡担，安德森、陈省身及邱成桐，进一步还可参考几何在美国的复兴：一步还可参考几何在美国的复兴：1938-19881938-1988。据信有的数学家用代数方式思维，有的用几何方式思维，也有据信有的数学家用代数方式思维，有的用几何方式思维，也有的用物理方式思维，但很多数学家的阅历表明，数学家的基的用物理方式思维，但很多数学家的阅历表明，数学家的基本思维方式仍旧是几何的。笛卡尔说，本思维方式仍旧是几何的。笛卡尔说，“没有什么比几何图没有什么比几何图形更简洁进入人的思维

9、了形更简洁进入人的思维了”。阿诺尔德说，。阿诺尔德说，“我常常是用几我常常是用几何方式思维，先绘出图而不是写下公式何方式思维，先绘出图而不是写下公式”。（2 2）其次支系）其次支系代数学代数学1 1）代）代数数的支系的支系代代数数一般一般应应理解理解为为1616世世纪纪起先的起先的“符符号号代代数数”。在。在这种这种意意义义下我下我们们说说初等代初等代数数是在秉承四是在秉承四则运则运算之下，引入算之下，引入参变参变量和未知量而成的，量和未知量而成的，此后在近此后在近400400年中，年中，这这的的发发展沿着展沿着两两支支进进行。行。一支是方程一支是方程组论组论。探讨探讨多元多元线线性代性代数数

10、方程方程组组的解（解的方法和解的解（解的方法和解的理的理论论）。在解的理）。在解的理论论中形成了行列式理中形成了行列式理论论，矩，矩阵阵理理论论，线线性空性空间间理理论论等大的分支，等大的分支，总称为线总称为线性代性代数数，一支是方程式一支是方程式论论。探讨探讨高次代高次代数数方程的根（根的求法和根的理方程的根（根的求法和根的理论论）。由于。由于对对五次和五次以上方程无一般有限形式的解（亦叫根）的五次和五次以上方程无一般有限形式的解（亦叫根）的证证明明产产生了伽生了伽罗华罗华群理群理论论（1919世世纪纪3030年年头头），），从从而很快而很快发发展成都展成都以群、以群、环环、域、体、域、体、

11、志志向、模等一系列向、模等一系列概概念念为为核心的核心的“近世代近世代数学数学”。如今代如今代数学数学仍仍旧旧表表现为现为以以这样两这样两分支上的理分支上的理论论深化深化与实际应与实际应用作用作为这为这的任的任务务和和内内容。容。2 2）矩阵论）矩阵论一个线性代数方程组完全地确定于它的系数矩阵。所以要一个线性代数方程组完全地确定于它的系数矩阵。所以要要求方程组解的方法和理论都少不了以系数矩阵为探讨对要求方程组解的方法和理论都少不了以系数矩阵为探讨对象，因此线性代数中产生了特地的矩阵论这一重要分支。象，因此线性代数中产生了特地的矩阵论这一重要分支。稀疏矩阵。这是指对一些特殊阵的探讨。如厄米特阵稀

12、疏矩阵。这是指对一些特殊阵的探讨。如厄米特阵（又叫幂零阵）（又叫幂零阵）一般矩阵理论，这是针对特征值、标准型、矩阵变换、一般矩阵理论，这是针对特征值、标准型、矩阵变换、逆矩阵、多项式矩阵，模糊矩阵等等方面进行的理论探讨，逆矩阵、多项式矩阵，模糊矩阵等等方面进行的理论探讨，这些内容统称做矩阵代数。这些内容统称做矩阵代数。矩阵分析。这包括对矩阵函数、函数矩阵和矩阵方程所矩阵分析。这包括对矩阵函数、函数矩阵和矩阵方程所涉及的连续、极限、微积分运算等性质的探讨。涉及的连续、极限、微积分运算等性质的探讨。3 3）群）群论论新理新理论论常常常常产产生于事物在最生于事物在最难难点点处处的突破，多的突破，多项

13、项式求根理式求根理论论的的发发展比展比线线性方程性方程组难组难，恰好多，恰好多项项式理式理论产论产生的突破就生的突破就更大，近世代更大，近世代数数就是就是这样来这样来的。群的。群概概念建立正是念建立正是产产生近世生近世代代数数的突破点，但事的突破点，但事实还远实还远不止于此，如今群不止于此，如今群论论已已发发展成展成有必要有必要从从近世代近世代数数中中独独立出立出来来，成，成为与为与近世代近世代数数同等同等规规模模的的浩浩大体系，因此大体系，因此这这里不能不特地里不能不特地谈谈一一谈谈群。群。群，直群，直观观地地说说，“若一若一个个具有具有单单位元的集合位元的集合G G对对某某个给个给定的定的

14、“乘乘”运运算封算封闭闭，则则G G叫做一叫做一个个群。自然，只要群。自然，只要满满足了足了运运算的算的“封封闭闭性性”，相，相应应于于该运该运算的逆元素就必算的逆元素就必需需存在，存在，这这就是一些就是一些书书上用三上用三条条公理公理严严格格叙叙述出的定述出的定义义了。了。（3 3）第三支系）第三支系分析学分析学 这是在笛卡尔坐标系下，描述一般几何对象，如曲线、这是在笛卡尔坐标系下，描述一般几何对象，如曲线、曲面等的思想产物，具体产生于微积分概念的建立。曲面等的思想产物，具体产生于微积分概念的建立。假如说解析几何是用代数方法探讨特殊的几何对象，假如说解析几何是用代数方法探讨特殊的几何对象，数

15、学分析则是用微积分方法探讨更一般的几何对象。数学分析则是用微积分方法探讨更一般的几何对象。1)1)数学分析支系梗概数学分析支系梗概 函数论函数论微积分、实变函数、复变函数、泛函分析、变分法微积分、实变函数、复变函数、泛函分析、变分法 流形上的分析流形上的分析积分方程、微分方程、微分拓扑积分方程、微分方程、微分拓扑各个分支又演化成若干分支，目前共计约各个分支又演化成若干分支，目前共计约3030个分支。个分支。已经知道，数学分析是围绕微积分理论，从数学到哲学，已经知道，数学分析是围绕微积分理论，从数学到哲学，哲学到数学，在基本概念、具体方法、处理技巧等一系列哲学到数学，在基本概念、具体方法、处理技

16、巧等一系列问题上，经过了问题上，经过了200200年的孕育过程才随着其次次数学危机的年的孕育过程才随着其次次数学危机的解决而诞生的。一门数学分支乃至一般科学分支的诞生常解决而诞生的。一门数学分支乃至一般科学分支的诞生常常可归为一个或两个人的功劳，但数学分析却是一批人的常可归为一个或两个人的功劳，但数学分析却是一批人的才智结晶，而且正是数学分析的诞生伴随而来的数学大爆才智结晶，而且正是数学分析的诞生伴随而来的数学大爆炸，才又反回来开拓了数学分析的新时期。百多年来由数炸，才又反回来开拓了数学分析的新时期。百多年来由数学分析（又称分析学）派生的支系难以细述，这里仅列出学分析（又称分析学）派生的支系难

17、以细述，这里仅列出它的梗概。它的梗概。1)1)数学分析支系梗概数学分析支系梗概 函数论函数论微积分、实变函数、复变函数、泛函分析、变分法微积分、实变函数、复变函数、泛函分析、变分法 流形上的分析流形上的分析积分方程、微分方程、微分拓扑积分方程、微分方程、微分拓扑各个分支又演化成若干分支，目前共计约各个分支又演化成若干分支，目前共计约3030个分支。个分支。已经知道，数学分析是围绕微积分理论，从数学到哲学，已经知道，数学分析是围绕微积分理论，从数学到哲学，哲学到数学，在基本概念、具体方法、处理技巧等一系列哲学到数学，在基本概念、具体方法、处理技巧等一系列问题上，经过了问题上，经过了200200年

18、的孕育过程才随着其次次数学危机的年的孕育过程才随着其次次数学危机的解决而诞生的。一门数学分支乃至一般科学分支的诞生常解决而诞生的。一门数学分支乃至一般科学分支的诞生常常可归为一个或两个人的功劳，但数学分析却是一批人的常可归为一个或两个人的功劳，但数学分析却是一批人的才智结晶，而且正是数学分析的诞生伴随而来的数学大爆才智结晶，而且正是数学分析的诞生伴随而来的数学大爆炸，才又反回来开拓了数学分析的新时期。炸，才又反回来开拓了数学分析的新时期。2 2）分析学的绝代优点）分析学的绝代优点 数学分析不仅对过去，今日乃至今后的数学，都将数学分析不仅对过去，今日乃至今后的数学，都将接着起着根本性的影响作用，

19、缘由是它能将高深的数接着起着根本性的影响作用，缘由是它能将高深的数学概念学概念“算术化算术化”。这是数学至今，任何一门分支都不。这是数学至今，任何一门分支都不行比拟的优点。行比拟的优点。假如一个宏观理论不是建立在细致的微观分析基础假如一个宏观理论不是建立在细致的微观分析基础上的话，该理论的应用范围和应用深度都将受到很大上的话，该理论的应用范围和应用深度都将受到很大的制约，也就是说，建立在越深化的微观理论上的宏的制约，也就是说，建立在越深化的微观理论上的宏观理论就越有活力，数学分析中的宏、微观理论和方观理论就越有活力，数学分析中的宏、微观理论和方法正体现了这一特点，这是迄今哪一门科学与之比起法正

20、体现了这一特点，这是迄今哪一门科学与之比起来都将自惭形秽的。来都将自惭形秽的。3 3）微分）微分概概念的分支念的分支图图已知微已知微积积分分概概念是念是产产生分析生分析学学的基的基础础，事，事实实上分析上分析学学的的优优点也就是微点也就是微积积分的分的优优点，点，差分差分 变变分分 确定微分（共确定微分（共变变微分）微分）牛牛顿顿莱莱布尼布尼兹兹微分微分 Frechet Frechet微分，微分，GateauxGateaux微分微分 微分算子，微分算子，拟拟微分算子微分算子 外微分（格拉斯曼微分）外微分（格拉斯曼微分）次微分，微分包含次微分，微分包含 所以微所以微积积分分概概念的影念的影响响是

21、很深是很深远远的。的。（4 4）第四支系）第四支系概率论与数理统计概率论与数理统计 概率论与数理统计包括：概率论与数理统计包括：随机理论：随机理论：随机分析、时序分析、过程理论、鞅论、随机微随机分析、时序分析、过程理论、鞅论、随机微分分 方程等。方程等。统计学：统计学：估计方法、抽样分布、检验方法、回来方法等。估计方法、抽样分布、检验方法、回来方法等。概率应用：概率应用：随机计算方法、博弈论、排队论等。随机计算方法、博弈论、排队论等。概率论是迟至概率论是迟至2020世纪世纪4040年头才被承认的，因为这时才发觉它（柯年头才被承认的，因为这时才发觉它（柯尔莫哥洛夫）原来是干脆从尔莫哥洛夫）原来是

22、干脆从“数学之树数学之树”根部的勒贝格测度论基根部的勒贝格测度论基础上生长出来的，它是不确定数学中又一浩大支系，同时可看到，础上生长出来的，它是不确定数学中又一浩大支系，同时可看到，它还有若干强壮的根，干脆扎在大地这个实际应用环境上，这些它还有若干强壮的根，干脆扎在大地这个实际应用环境上，这些都赐予了概率论以丰富的养分资源，预兆着它和的后天繁茂。都赐予了概率论以丰富的养分资源，预兆着它和的后天繁茂。再则，概率论一经被承认，它就与数学分析结上了不解之缘，与再则，概率论一经被承认，它就与数学分析结上了不解之缘，与之平行地派生出一系列随机分析子学科。特殊要提及的是作为概之平行地派生出一系列随机分析子

23、学科。特殊要提及的是作为概率论的重要应用分支率论的重要应用分支统计学，如今已成为分支繁多、生长点统计学，如今已成为分支繁多、生长点密布的独立学科，其发展大有超过概率论之趋势，以致密布的独立学科，其发展大有超过概率论之趋势，以致2020年前的年前的概率论在今日必需分别叫它做概率论与统计学理论（简称概统论）概率论在今日必需分别叫它做概率论与统计学理论（简称概统论）了。概统论在高校里也已发展成独立的专业和系。了。概统论在高校里也已发展成独立的专业和系。概统论之所以这样概统论之所以这样“走红走红”，不仅在于它是数学描述对象的一个，不仅在于它是数学描述对象的一个发展阶段，更在于这很强的应用性，今日的应用

24、数学假如没有概发展阶段，更在于这很强的应用性，今日的应用数学假如没有概统工具，必是蹩脚的统工具，必是蹩脚的 （5 5）第五支系）第五支系数论数论数论是探讨整数性质的学科，在数的发展过程中，整数是人类史数论是探讨整数性质的学科，在数的发展过程中，整数是人类史上最早接受的，这就注定了数论历史的古老性，同时数学史还表上最早接受的，这就注定了数论历史的古老性，同时数学史还表明，数论是一个独立性很强，旺盛期超前，且倍受历史青睐的学明，数论是一个独立性很强，旺盛期超前，且倍受历史青睐的学科，之所以如此，可由下面几个方面来说明。科，之所以如此，可由下面几个方面来说明。数论探讨的领域（整数），从人们的感觉上讲

25、是数论探讨的领域（整数），从人们的感觉上讲是“熟悉熟悉”的，的，因此人们简洁去接近它。因此人们简洁去接近它。数论探讨的工具在历史上是简洁朴实的，简洁入门。数论探讨的工具在历史上是简洁朴实的，简洁入门。数论问题简洁激起人们对它的成功幻想。因此数论问题很具有数论问题简洁激起人们对它的成功幻想。因此数论问题很具有吸引力。吸引力。数论问题技巧性强，这就构成了这的趣味性，高斯曾说过数论问题技巧性强，这就构成了这的趣味性，高斯曾说过“数数论是思维的体操论是思维的体操”数论学科内部存在着强大的发展动力，这就是数论史上的各种数论学科内部存在着强大的发展动力，这就是数论史上的各种“猜想猜想”和和“难题难题”。这

26、些问题看起来直观，作起来却超出想像。这些问题看起来直观，作起来却超出想像的难，数论大师拉格朗日曾说，的难，数论大师拉格朗日曾说，“数论对于我来说，付出的劳动数论对于我来说，付出的劳动多，得到的收获少多，得到的收获少”可以说数论史就是一系列简洁接受但不简洁证明的难题谱可以说数论史就是一系列简洁接受但不简洁证明的难题谱写成的。写成的。作为近代数论的发展，其主要动力是所谓作为近代数论的发展，其主要动力是所谓“世界三大数论世界三大数论难题难题”，这可说已，这可说已“家喻户晓家喻户晓”的了。它们是：的了。它们是：费马问题（亦叫费马大定理）：是否存在正整数费马问题（亦叫费马大定理）：是否存在正整数x x、

27、y y、z z、n n，（，（n n2 2）使得）使得xn+yn=znxn+yn=zn（16701670年）；年）；华林问题：任一正整数华林问题：任一正整数n n必为四个平方数之和或九个立方必为四个平方数之和或九个立方数之和，或数之和，或1919个四方数之和等等（个四方数之和等等（17701770）；）；哥德巴赫问题：每个大于或等于哥德巴赫问题：每个大于或等于6 6的偶数可表为两个奇素的偶数可表为两个奇素数之和；每个大于或等于数之和；每个大于或等于9 9的奇数可表为的奇数可表为3 3个奇素数之和个奇素数之和（17421742年）年）我们概述了演绎数学这一浩大支系的分支发展梗概，其中我们概述了演

28、绎数学这一浩大支系的分支发展梗概，其中一、三支属连续数学，二、四、五枝属离散数学。事实上一、三支属连续数学，二、四、五枝属离散数学。事实上对每一分支还可分出若干子支，每一子支又可分作若干子对每一分支还可分出若干子支，每一子支又可分作若干子支，始终分到支，始终分到“底底”。从目前的科研前沿看，一般课题都。从目前的科研前沿看，一般课题都处在五级以上分支点，比如常微分方程中，产生于处在五级以上分支点，比如常微分方程中，产生于2020世纪世纪3030年头的，以电子学理论的极限环为背景的探讨课题，即年头的，以电子学理论的极限环为背景的探讨课题，即可追溯到如下五级分支上来：微积分理论可追溯到如下五级分支上

29、来：微积分理论常微分方程常微分方程定性理论定性理论多项式微分方程多项式微分方程极限环论。当进一步落实到极限环论。当进一步落实到具题课题时已是第六、七级分支了。具题课题时已是第六、七级分支了。总之，数学之树如今分支极细、层次繁多，以致有的学科总之，数学之树如今分支极细、层次繁多，以致有的学科在归属上产生了在归属上产生了“模糊模糊”性，比如计算机科学在几十年前性，比如计算机科学在几十年前很明显属于数学，但而今变得模糊了。因此，对数学分支很明显属于数学，但而今变得模糊了。因此，对数学分支体系很难作出精确排列，这时要想精确反会不精确，所以体系很难作出精确排列，这时要想精确反会不精确，所以只能就此作作简述。只能就此作作简述。