数学史11章.pptVIP

20世纪数学概观(Ⅰ)纯粹数学的主要趋势 纯粹数学是19世纪的遗产，在20世纪得到了巨大的发展．与19世纪相比，20世纪纯粹数学的发展表现出如下主要的特征或趋势： ①更高的抽象性； ②更强的统一性； ③更深入的基础探讨． 本章对20世纪纯粹数学的论述，将以这三项特征为线索 11.1 新世纪的序幕 希尔伯特问题中近一半已经解决或基本解决．有些问题虽未最后解决，但也取得了重要进展． 1.连续统假设． 2．算术公理的相容性． 3．两等底等高四面体体积之相等． 4．直线为两点间的最短距离问题提得过于一般． 5．不要定义群的函数的可微性假设的李群概念． 6．物理公理的数学处理．． 7．某些数的无理性与超越性． 8．素数问题．． 9．任意数域中最一般的互反律之证明． 10．丢番图方程可解性判别． 11.2 更高的抽象 更高的抽象化是20世纪纯粹数学的主要趋势或特征之一．这种趋势，最初主要是受到了两大因素的推动，即集合论观点的渗透和公理化方法的运用． (1)集合论观点． (2)公理化方法 集合论观点与公理化方法在20世纪逐渐成为数学抽象的范式，它们相互结合将数学的发展引向了高度抽象的道路． 11.1.2 勒贝格积分与实变函数论 集合论的观点在20世纪初首先引起了积分学的变革，从而导致了实变函数论的建立． 19世纪末，分析的严格化迫使许多数学家认真考虑所谓“病态函数”，特别是不连续函数，如狄利克雷函数 和不可微函数，如魏尔斯特拉斯函数，并研究这样—个问题：积分的概念可以怎样推广到更广泛的函数类(如某种间断函数)上去．实变函数论是普通微积分的推广，它使微积分的适用范围大大扩展，引起数学分析的深刻变化． 与柯西和黎曼的积分概念不同，勒贝格将函数在区间上的值的下确界与上确界之间的线段分成个小区间，其中(下图)，对每一个这样的分割作“勒贝格积分和”：，其中表示满足的所有的点的集合的“测度”．当时，勒贝格积分和的极限就定义为“勒贝格积分”(对于上所谓“有界可测函数”，勒贝格证明的极限一定存在．) 11.2.2 泛函分析 变分法的典型问题是求积分 的极值，其中本身是一个可变函数，这样就可以看作是“函数的函数”(对每一个函数有一个值相对应)，也就是所谓“泛函”． 11.2.3 抽象代数 抽象代数使代数结构成为代数学研究的中心．代数结构是由集合以及集合元素之间的一个或几个二元合成运算组成．这里关键之处在于： ①集合的元素是抽象的，不事先赋予具体涵义； ②运算是通过公理来规定的． 正因为如此，抽象代数的研究具有极大的一般性并能演绎出无比丰富的内容 11.2.4 拓扑学 拓扑学研究几何图形的连续性质，即在连续变形下保持不变的性质(允许拉伸、扭曲，但不能割断和粘合)．拓扑学思想的萌芽可以追溯到欧拉的哥尼斯堡七桥问题(1736，如图，要求设计一条散步路线，使河上每桥走过一次且只过一次)、地图四色问题(1852)等问题的研究，高斯也研究过一些与拓扑学有关的问题(如在他关于代数基本定理的第一个证明中)，他们均称这类问题为“位置几何”(Geometriam Situs) 11.2.5 公理化概率论 概率论的公理化，是20世纪数学抽象化的又一大硕果，它使这门古老的学科焕发出无限的青春，在理论和应用两方面都进入了崭新的发展阶段. (一)20世纪以前的概率论 (二)酝酿与准备 (三)科尔莫戈罗夫公理化 (四)公理化以后的概率论 11.3 数学的统一化 (一)微分拓扑与代数拓扑 (二)整体微分几何 (三)代数几何 (四)多复变函数论 (五)动力系统 (六)偏微分方程与泛函分析 (七)随机分析 11.4 对基础的深人探讨 11.4.1 集合论悖论 罗素的悖论是：以表示是其自身成员的集合(如一切概念的集合仍是一个概念)的集合，表示不是其自身成员的集合(如所有人的集合不是一个人)的集合．然后问：集合是否为它自身的成员?如果是它自身的成员，则属于而不属于，也就是说不是它自身的成员；另一方面，如果不是它自身的成员，则属于而不属于，也就是说是它自身的成员．无论出现哪一种情况，都将导出矛盾的结论．为了消除悖论，数学家们首先求助于将康托尔以相当随意的方式叙述的“朴素集合论”加以公理化 11.4.2 三大学派 (一)逻辑主义(logicism) 逻辑主义的基本思想在罗素1903年发表的《数学的原理》中已有大概的轮廓，罗素后来与怀特黑德(A.Whitehead，1861—1947)合著的三大卷《数学原理》(1910—1913)，是逻