20世纪纯数学的发展.docxVIP

下面我们从四个方面论述纯数学的进展。一、元数学20世纪初期，集合论的内在矛盾开始暴露出来，使数学界震动最大的是罗素在1901年发现的悖论。为了解决这个矛盾，罗素提出了分支类型论，并在这个基础上与怀特海合著3大卷《数学原理》（1910－1913）。一个解决悖论的途径是策梅罗于1908年提出的集合论的公理化，他的公理体系经过后来的补充和修改成为公理集合论的一个公认的基础。与此同时，对于数学基础进行了热烈的争论，产生了相互对立的逻辑主义、直觉主义和形式主义三大派。以希尔伯特为代表的形式主义企图把全部数学建立在少数公理的基础上，然后给公理的无矛盾性一个绝对的证明，这就是所谓证明论。1931年，哥德尔证明了他的著名的不完全性定理，使得希尔伯特所期望的形式系统的绝对完全性的证明根本做不到，从而使数理逻辑完全转向一个新的方向。1931年，哥德尔的不完全性定理导致数理逻辑的大发展。首先是20世纪30年代发展起来的一般递归函数的概念，1936年图灵提出了图灵机的概念，给可计算性一个具体的刻画。由于不完全性定理出现形式系统中的不可判定问题，特别是群的字的问题不可解与希尔伯特第10问题的否定解决。1938年，哥德尔证明连续统假设的相对无矛盾性，20世纪60年代又发现选择公理和连续统假设等的相对独立性，由此产生一系列的数学方面的后果。特别是从20世纪50年代起模型论的诞生，对数学本身也有很大的冲击，其中主要的是非标准分析的产生以及拓扑斯理论的发表。由于集合论的公理系统不完全，自然考虑加进一些新的公理，其中选择公理是比较重要的，在代数和分析的许多证明中是不可少的。但是也有一些公理，比如大基数公理，可以导出所有实数的子集都是勒贝格可测的。数理逻辑的研究又重新受到数学家的重视。二、结构数学20世纪上半期主要奠定抽象代数、一般拓扑学、测度和积分理论、泛函分析等分支的基础，20世纪下半期结构数学的重点是代数拓扑学。1、抽象代数从19世纪末起，代数学的面貌发生了根本性改变，这时抽象群的结构理沦和表示理论已经有了一定的发展。1910年，施泰尼茨对于域论进行统一的抽象处理，而最重要的发展是从19世纪末发展起来的结合代数和非结合代数的结构理论，特别是韦德伯恩在1907年证明了线性结合代数的结构定理。在此前后，．嘉当完成了复数域上的半单李代数的结构定理，并推广到实半单李代数，同时研究了它们的表示理论，这些都构成了抽象代数的最初萌芽。但是，抽象代数的发展来源于A．E．诺特的理想理论，A．E．诺特通过公理化方法发展了一般理想理论，建立了诺特环及戴德金环的理想的结构理论，并建立结合代数的基础。阿廷首先把代数的结构理论推广到环上去，导致了环论的诞生。阿廷等人关于实域的研究解决了希尔伯特第17问题，反映了抽象方法的威力。1930年范德瓦尔登的《近世代数学》一书的出版，标志着抽象代数学这门学科的诞生。2、泛函分析大约同时，泛函分析也作为一门学科正式诞生，它的来源除了意大利和法国的泛函演算之外，还有希尔伯特和他的学生在20世纪初所进行的积分方程的研究。他们引进了l2空间和L2空间，证明了里斯一菲舍尔定理。里斯还引进了抽象线性算子，并定义算子的范数。他把希尔伯特关于积分方程中的全连续概念推广到抽象算子上，这样，基本建成希尔伯特空间及其线性算子理论，但一直到1928年才由冯·诺伊曼加以公理化。泛函分析的第三条路线来源于巴拿赫等人的工作，他们主要研究赋范空间，并引进其上的算子，其中特别是推广了里斯的工作，建立了对偶空间的概念。泛函分析的出现不仅推广了20世纪初期的谱理论，而且后来成为量子力学的合用的数学工具。量子力学的出现，更进一步推动了泛函分析的研究，推动了算子理论的产生。3、有限群论有限群论的主要目标是把所有有限群进行分类，为此我们可以分成两步走，一步是找出所有的单群（也就是构成所有群的基本单位），再就是把这些单群拼凑起来成为各种各样的群。关于有限单群，很久以前就已经知道许多。除了素数阶循环群外，伽罗瓦已经知道交错群。1900年左右知道许多矩阵构成的典型群，但是在1955年之前进展不大。1955年谢瓦莱用李代数的方法系统地造出当时已知的所有单群（除了几个例外），后来别人又利用他的方法得出许多新的无限单群系列，这些都被称为李型单群。但是这些群并没有把有限单群包罗完全。除了无限系的单群之外，还有26个零散单群，早在1861年及1873年马蒂厄已知道其中的5个，1966－1975年间又陆续发现了21个。到1980年初，所有这26个零散单群都已经具体造出来。那么单群的分类是否大功告成了呢？群论专家大都认为是这样，不过完全证明仍在发表中。4、拓扑学在20世纪最初30多年中，拓扑学经历了相当长的混乱时期，出现了许多同调理论，也开拓了一些应用领域，其中特别值得指出的是拓扑学与分析的联系。1925年莫