第十四章现代数学概观二十世纪的数学第一节.doc

《第十四章现代数学概观二十世纪的数学第一节.doc》由会员分享，可在线阅读，更多相关《第十四章现代数学概观二十世纪的数学第一节.doc（60页珍藏版）》请在得力文库 - 分享文档赚钱的网站上搜索。

1、第十四章：现代数学概观二十世纪数学第一节 五大新兴学科建立 一、数理逻辑 1符号逻辑数理逻辑作为一门数学学科，来源于对数学和逻辑基础探讨，它最早可追溯到莱布尼茨，他关于逻辑演算观念预示着布尔代数，而英国数学家布尔(GBoole 18151864)在1847年出版逻辑数学分析一书，正式推出所谓布尔代数，在逻辑上相当于命题演算其后由英国数学家杰方斯(WSJevons，18351882)和小皮尔斯(CSPeirce，18391914)在1874年加入次序关系，德国数学卷中加以公理化第一个完全形式化语言是德国数学家弗瑞格(GFrege，18481925)在1879年出版概念文字中引进他首先定义了全称量

2、词及存在量词并引进一般谓词逻辑不过相应逻辑代数一直到1950年才由波兰数学家塔斯基(ATarski，19021983)所发展，他引进所谓“圆柱代数”1955年美国数学家哈尔莫斯(PHalmos，1916)又引进多进代数，形成一般逻辑代数理论1889年意大利数学家皮亚诺(GPeano，18581932)提出自然数公理系统，即后来所谓皮亚诺算术公理而戴德金在前一年也提出类似公理系统弗雷格在1884年出版算术基础中开始提到算术无非是扩展逻辑戴德金也提出类似观点弗雷格在1893年出版算术基本规律第一卷中，用五条逻辑公理来推导算术命题1902年6月罗素给弗雷格一封信，提出著名罗素悖论，并指出弗雷格矛盾弗

3、雷格在1903年出版算术基本规律第二卷附录中承认这是对他巨大打击，正是这个悖论，揭开了数理逻辑新一章2罗素悖论罗素悖论是关于集合论，康托尔已经意识到不加限制地谈论“集合集合”会导致矛盾其他人也发现集合论中存在矛盾而罗素在1903年出版数学原理(Principles of Mathematics)中，则十分清楚地表现出集合论矛盾，从而动摇了整个数学基础罗素悖论是说：可以把集合分成两类：凡不以自身为元素集合称为第一类集合，凡以自身做为元素集合称为第二类集合，每个集合或为第一类集合或为第二类集合设M表示第一类集合全体所成集合如果M是第一类集现了这个矛盾之后，导致第三次数学危机，在数学界出现了各种意见

4、，从抛弃集合论到尽可能保持集合论在数学中基础地位都有由于20世纪数学发展主流是建立在集合论基础之上，这里只考虑数学家如何消除悖论在20世纪初，大致有两种办法，一个办法是罗素分支类型论，它在1908年发表，在这个基础上罗素与怀特海(ANWhitehead，18611947)写出三大卷数学原理(principia Mathematica，19101913)，成为数理逻辑最早一部经典著作还有一个办法是公理方法限制集合，由此产生公理集合论3集合论公理化康托尔本人没有对集合论进行公理化集合论公理化是策梅罗(EZermelo，18711953)在1908年发表富兰克尔(AFraenkel，18911965

5、)等人曾加以改进，形成著名ZF系统，这是最常用一个系统，因此大家都希望从中推出常用选择公理(1904年策梅罗引进它来设与ZF系统是相容1963年，柯亨(PCohen，1934)发明“力迫法”证明这两条“公理”否定也不能在ZF系统中证明，从而推出其独立性4希尔伯特纲领为了使数学奠定在严格公理化基础上，1922年希尔伯特提出希尔伯特纲领，首先将数学形式化，构成形式系统，然后通过有限主义方法证明其无矛盾性1928年希尔伯特提出四个问题作为实现其纲领具体步骤：(1)分析无矛盾性1924年阿克曼(WAckermann，8961962)和1927年冯诺伊曼(JVon Neumann，19031957)工作

6、使希尔伯特相信只要一些纯算术初等引理即可证明分析无矛盾性1930年夏天，哥德尔开始研究这个问题，他不理解希尔伯特为什么要直接证明分析无矛盾性哥德尔认为应该把困难分解：用有限主义算术证明算术无矛盾性，再用算术无矛盾性证明分析无矛盾性哥德尔由此出发去证明算术无矛盾性而得出不完全性定理(2)更高级数学无矛盾性特别是选择公理无矛盾性这个问题后来被哥德尔在1938年以相对方式解决(3)算术及分析形式系统完全性这个问题在1930年秋天哥尼斯堡会议上，哥德尔已经提出了一个否定解决这个问题否定成为数理逻辑发展转折点(4)一阶谓词逻辑完全性，这个问题已被哥德尔在1930年完全解决这样一来哥德尔把希尔伯特方向扭转

7、，使数理逻辑走上全新发展道路5哥德尔三项重大贡献除了连续统假设无矛盾性之外，哥德尔在19291930年证明下面两大定理：(1)完全性定理：哥德尔学位论文逻辑函数演算公理完全性解决了一阶谓词演算完全性问题罗素与怀特海建立了逻辑演算公理系统及推演规则之后，数学家最关心事就是公理系统无矛盾性及完全性所谓完全性就是，每一个真逻辑数学命题都可以由这个公理系统导出，也就是可证明命题演算完全性已由美国数学家波斯特(EPost，18971954)在1921年给出证明而一阶谓词演算完全性一直到1929年才由哥德尔给出证明(2)不完全性定理：这是数理逻辑最重大成就之一，是数理逻辑发展一个里程碑和转折点哥德尔证明不

8、完全性定理是从考虑数学分析无矛盾性问题开始1930年秋在哥尼斯堡会议上他宣布了第一不完全性定理：一个包括初等数论形式系统，如果是无矛盾，那就是不完全不久之后他又宣布：如果初等算术系统是无矛盾，则无矛盾性在算术系统内不可证明哥德尔不完全定理造是一个不自然数论问题，数学家一直希望在一阶皮亚诺算术中找到一个数学表述既简单又有趣数论问题，就像哥德巴赫猜想或费马大定理来说明算术不完全性这一直到1977年才由巴黎斯(JParis)等人造出，这更加证明希尔伯特纲领是不可能实现6哥德尔以后数理逻辑哥德尔不完全性定理从根本上动摇了数学基础，它指出绝对无矛盾性证明是不可能实现，数学家只能限制自己领域及要求数理逻辑

9、也成为一个专门学科，它分成四大分支：证明论、递归论、公理集合论及模型论，它们都在30年代发展起来证明论仍然继续希尔伯特纲领，但不得不放宽有限主义条件其中最主要成就是根岑(GGentzen，19091945)在1934年用超穷归纳法证明自然数算术无矛盾性递归论也奠定基础，1935年克林尼(S.Kleene，19091994)定义一般递归函数，1936年图林(ATuring，1912)提出图林机概念同年车尔赤(AChurch1903)提出车尔赤论点：任何有效可计算函数均等价于一般递归函数递归论与数学关系至为密切，它不仅为计算机科学奠定基础，同时一系列判定问题则直接涉及数学基本问题：如群基本问题是问

10、什么时侯两个群同构，对于有限表出群是1908年提出，到50年后，苏联数学家阿其扬(CA，)在1957年及以色列数学家拉宾(MORabin，)在1958年独立证明这问题是不可解在这个基础上，小马尔科夫(AAMapkoB，19031979)证明拓扑学基本问题同胚问题也是不可解，1970年最终证明希尔伯特第十问题是不可解模型论首先是处理真假问题，它指出一系列命题在某些模型下为真，而在另外模型下非真其次它构造一批非标准模型1934年斯科仑(TSkolem，18871968)给出整数非标准模型，1961年鲁宾逊(ARobinson，19181974)提出非标准分析，使莱布尼茨无穷小合法化，创立了非标准数

11、学 二、抽象代数学 代数学与拓扑学是现代数学两大部门它们构成现代数学基础与核心没有代数学和拓扑学，现代数学(除了那些较为孤立、相对地讲不太重要学科)可以说寸步难行抽象代数学或近世代数学是在20世纪初发展起来19301931年范德瓦尔登(BLvander Waerden，1903)近世代数学(Moderne Algebra)一书问世，在数学界引起轰动，由此之后，抽象代数学或近世代数学成为代数学主流，不久之后也就理所当然地把“抽象”及“近世”帽子甩掉，堂尔皇之成为代数正统范德瓦尔登书至今仍然是代数学模式它是根据德国女数学家E诺特(ENoether，18821935)和德国数学家阿廷(EArtin，

12、18981962)讲义编写而成，在精神上基本来源于他们两位，特别是诺特，被公认为“近世代数学之母”在诺特之前，不少大数学家都对近世代数学有过这样或那样贡献，但是这种与经典代数学迥然不同思想主要来源于戴德金和希尔伯特，戴德金不仅引进大多数抽象代数观念如理想、模、环、格等，而且初步研究它们结构及分类，而希尔伯特抽象思维方式及公理方法则对现代整个数学都有举足轻重影响抽象代数学研究对象与研究目标与经典代数学有着根本不同：经典代数学主要目标是求解代数方程和代数方程组，而抽象代数学目标则是研究具有代数结构集合性质，刻划它们并加以分类，这些对象是用公理定义1域论从古代起，人们就已经熟悉有理数和它们运算加法和

13、乘法这些运算满足加法交换律和加法结合律，乘法交换律和乘法结合律，以及分配律，而且对于加法存在零元素(0)及逆元素(倒数)所有有理数集合是人们最早认识具体域，后来也知道实数集合、复数集合同样满足上述公理，它们也是城除了这些最熟悉域之以，在19世纪研究得最多域是代数数域，这些都是含有无穷多元素数域有没有有限多个元素域呢？1830年伽罗瓦已知有有限多个元素域(后来被称为伽罗瓦域)，其元素被称为伽罗瓦虚数，它们满足pa0，其中p是一个素数，p称为域特征伽罗瓦曾具体证明，在一个特征为p伽罗瓦域中，元素个数是p一个幂如在当时情况一样，伽罗瓦所作一切都是有具体表示到19世纪末，人们知道其他域例子还有有理函数

14、域及代数函数域从整体结构上对域进行考察始自戴德金及克罗内克对代数数域研究(从1855年起)但抽象域观念则来自德国数学家韦伯(HWeber，18421913)，他思想来自抽象群观念后来美国数学家狄克逊(LEDickson，18741954)及亨廷顿(EVHuntington，18741952)给出域独立公理系统在韦伯影响下，德国数学家施泰尼茨(ESteinitz，18711928)在1910年发表域代数理论一文，为抽象域论奠定了基础他把域分为两种类型：一种是特征为p域，也即对所有元素a满足pa0域，它们一定包含最小城(称为素域)，最小域一定是只含p个元素伽罗瓦域另一种是不存在这种p域，称为特征0

15、，其素域一定是有理数域不管域属于哪一种类型，任何域均可由素域添加一些新元素“扩张”而成所以域根本问题是研究域扩张他对扩张进行了分类，其中主要一类是添加系数在原域中多项式根后所得扩张(代数扩张)当一个域通过代数扩张不能再扩大时称为代数封闭域施泰尼茨证明，每个域均有唯一代数封闭域特别他还对特征p一般域胁许多特殊性质如不可分性、不完全性进行研究关于抽象有限域，已经有了相当完整结果：1893年美国数学家莫尔(EHMoore，18621932)证明，任何一有限域必定与某一个伽罗瓦域同构反过来，对于任意素数p和正整数a，必定存在唯一一个伽罗瓦域，具有pa个元素有限域理论在数论、编码理论、组合理论及数理统计

16、等方面有着许多应用在域论中引进p进域是一个重大成就德国数学家亨泽尔(KHensel，18611941)在1908年出版代数数论(Theorie der algebraischen Zahlen)中系统阐述了p进数，他对这种数规定了加、减、乘、除四种基本运算，构成一个域称p进域，而它是有理数域一个完备化，如同实数域一样但是与实数域性质一个很大不同是实数域具有阿基米德性质，也就是对任何两个实数a，b总存在一个正整数n，使nabp进域虽然也有一个自然顺序，但却没有阿基米德性质p进数域是一种“局部”域，在它里面也可定义整数及代数数，它建立大大有助于数论发展亨泽尔之后，抽象赋值论得到发展，在代数数论及代

17、数几何学上有着重要应用抽象理论建立不仅使已有零散知识系统化，而且有助于许多问题解决，1927年阿廷解决希尔伯特第17问题就是靠他引进抽象实域(他称为形式实域)实域k是把实数域一个特性抽象化：即-1不能表示为k中元素平方和通过这个概念，他证明“任何正定有理函数都可表示为有理函数平方和”2环论环概念原始雏型是整数集合它与域不同之处在于对于乘法不一定有逆元素抽象环论概念来源一方面是数论，整数推广代数整数具有整数许多性质，也有许多不足之处，比如唯一素因子分解定理不一定成立，这导致理想数概念产生戴德金在1871年将理想数抽象化成“理想”概念，它是代数整数环中一些特殊子环这开始了理想理论研究，在诺特把环公

18、理化之后，理想理论被纳入环论中去环概念另一来源是19世纪对数系各种推广这最初可追溯到1843年哈密顿关于四元数发现他目是为了扩张用处很大复数它是第一个“超复数系”也是第一个乘法不交换线性结合代数它可以看成是实数域上四元代数不久之后凯莱得到八元数，它乘法不仅不交换，而且连结合律也不满足，它可以看成是第一个线性非结合代数其后各种“超复数”相继出现1861年，魏尔斯特拉斯证明，有限维实数域或复数域上可除代数，如满足乘法交换律，则只有实数及复数代数(1884年发表)1870年戴德金也得出同样结果(1888年发表)1878年弗洛宾尼乌斯(FGFrobenius，18491917)证明实数域上有限维可除代

19、数只有实数、复数及实四元数代数1881年小皮尔斯也独立得到证明1958年用代数拓扑学方法证明，实数域上有限维可除代数，连非结合可除代数也算在内，只有1，2，4，8这四种已知维数可见实数域及复数域具有独特性质关于域上线性结合代数研究在19世纪末处于枚举阶段，1870年老皮尔斯(BPeirce，18091880)发表线性结合代数，列举6维以下线性结合代数162个他还引进幂零元与幂等元等重要概念为后来结构理论奠定基础1898年、嘉当(ECartan)在研究李代数结构基础上，对于结合代数进行类似研究，1900年，德国数学家摩林(TMolien，18611941)征明，复数域上维数2单结合代数都与复数域

20、上适当阶数矩阵代数同构线性结合代数结构定理是1907年由美国数学家魏德本(JHMWedderburn，18821948)得出：线性结合代数可以分解为幂零代数及半单代数，而半单代数又可以表示为单代数直和单代数可表为域上可除代数矩阵代数这样结合代数就归结为可除代数研究可除代数有着以下结果1905年魏德本证明：有限除环都是(交换)域，也即伽罗瓦域当时除了伽罗瓦域及四元数之外，不知道有别除环20世纪虽然发现了一些新除环，但除环整个理论至今仍不完善从线性结合代数到结合环过渡是阿廷完成1928年，阿廷首先引进极小条件环(即左、右理想满足降键条件环，后称阿廷环)，证明相应结构定理对于半单环分类，雅可布孙(N

21、.Jacobson，1910)创立了他结构理论他认为对任意环均可引进根基概念，而对阿廷环来说，根基就是一组真幂零元对于非半单阿廷环(主要出现于有限群模表示中)，如福洛宾尼乌斯代数及其推广也有许多独立研究而与阿廷环对应是诺特环，对于有么无环，秋月康夫(19021984)及霍普金斯(CH opkins)证明阿廷环都是诺特环对于诺特环，却长期没有相应结构理论一直到1958年英国数学家戈尔迪(AWGoldie)才取得突破，他证明任何诺特半素环都有一个阿廷半单分式环，这才促进了新研究与诺特环平行发展是满足多项式等式环近来环表示论及同调方法应用对结合环理论有极大促进环论另一来源是代数数论及代数几何学及它们

22、导致交换环理论1871年戴德金引进理想概念，开创了理想理论环这个词首先见于希尔伯特数论报告代数几何学研究促使希尔伯特证明多项式环基定理在本世纪初英国数学家腊斯克(ELasker，18681941)及麦考莱(FSMacaulay，18621937)对于多项式环得出分解定理对于交换环一般研究来源于E诺特她对一般诺特环进行公理化，证明准素分解定理从而奠定交换环论乃至抽象代数学基础，其后克鲁尔(WKrull，18991971)给出系统研究，他还引进了最值得注意局部环四十年代，薛华荔、柯恩(ISCohen，19171955)及查瑞斯基(OZariski，18991986)对局部环论进行了系统研究3群论1

23、9世纪末抽象群开始成为独立研究对象，当时主要问题仍是以置换群为模式有限群，问题涉及列举给定阶数所有群以及群可解性判据当时主要定理是由挪威数学家西洛(LSylow，18321918)在而19世纪90年代群论最主要成就是群表示论出现，它是由德国数学家福洛宾尼乌斯奠定后由他学生舒尔(ISchur，18751941)所发展，成为研究群论不可缺少工具所谓群表示即是把群具体实现为某种结构自同构群，例如域F上有限维线性空间线性变换群，通常是把群元素与F上nn可逆矩阵相对应在英国数学家伯恩塞德(WBurnside，18521927)经典著作有限阶群论(Theory of Groups of Finite Or

24、der)第二版(1911)已经进行综述并给出应用20世纪有限群论中心问题是有限单群分类很久以来，就已经知道一个相当长有限单群表，除了素数阶循环群之外，对于每一个整数n5存在一个n！/2阶单群，它由n个事物所有偶置换构成，这就是所谓交错群当n=5时，它就是二十面体群另外还知道许多射影特殊线性变换群PSL(n，q)，它们通过行列式为1nn矩阵群(元素取在有限域GL(q)中)商群构造出来另外对于正交矩阵、辛矩阵、酉矩阵也可以造出一批单群来这些“典型群”，从若尔当时候起就已知道，后来经过美国数学家狄克逊、荷兰数学家范德瓦尔登、法国数学家丢东涅(JDieudonn，19061992)进行系统研究真正重大

25、突破是1955年薛华荔在日本东北数学杂志上发表“论某些单群”论文，这篇论文重要性不仅展示一些新单群，而且更重要是对于以前知道绝大部分通过李代数换基办法进行统一处理，从而得出九个系列薛华荔群其后，这些薛华荔群经过美国数学家斯坦伯格(RSteinberg，1922)、韩国数学家李林学、比利时数学家梯茨(JTits，1930)、日本数学家铃木通夫(1926)等人加以扩充，得出全部李型单群16系列除了上述这18个序列中有限单群之外，还有几个不属于它们所谓“散在单群”，其中头一个是7920阶群M11是法国数学家马丢(ELMathieu，18351890)在1861年发现，他不久又发现另外4个单群M12，

26、M22，M23，M24一直到1965年之前再没有发现新散在单群了突然1965年南斯拉夫数学家严科(ZJanko，1932)发现了一个175560阶新单群，其后10年间，陆续发现另外20个敬在单群，其中最大称为费舍尔(BFischer，1936)“魔群”，其阶大约为8.1053，到这时候是否所有单群均已找到，也就是有限单群分类已经完成了呢？在这条漫长路上，首先突破是一系列群论性质及表示论成果，其中包括1955年布劳尔(RBrauer 19011977)工作第二个突破是1963年美国数学家费特(WFeit，1930)和汤姆逊(JGThompson，1932)证明除循环群之外，奇阶群都是可解群，这个

27、长达250页论文包括了极其丰富信息70年代，在群结构研究上有了新突破，最终导致1981年，有限单群分类彻底完成，不过全文需要1万页以上，这是各国上百位群论专家通力合作结果对于无穷阶离散群，也有一些重要研究，其中重要是与数理逻辑有关“字问题”，即两个符号序列何时相等，对于有限生成具有有限个关系式群，1955年左右苏联数学家诺维科夫(CH，19011975)、美国数学家布里顿(JLBritton)和布恩(WBoone，19201983)证明一般字问题是不可解，也就是不存在一个普遍算法来判定两个字是否相等，但是另一方面德国数学家马格努斯(WMagnus，1907)在1932年解决一个关系式有限生成群

28、字问题另一个重要问题是伯恩赛德问题，他问一个有限生成群如果其所有元素都是有限阶，该群是否有限，这个问题一直到1964年由前苏联数学家考斯特利金(，1929)举出例子而得出否定回答另外还有一个狭义伯恩赛德猜想，即有限生成群当所有元素x满足xn0是有限群，现在知道当n2，3，4，6时，狭义伯恩赛德猜想成立，但如果n相当大，诺维科夫和布里顿等人也举出反例 三、测度与积分理论 测度是长度、面积和体积概念精密化及推广各民族数学发展一开始均致力于测量长度和面积，得出相应公式及方法，而统一求积方法一直到牛顿和莱布尼茨建立微积分之后才得到这时求积问题变成一个特殊积分问题但积分是一个相当复杂概念，19世纪由于分

29、析严格化才导致由柯西、黎曼及达布相继改进黎曼积分概念，最后确定下来随着康托尔点集论建立，要求对更一般点集“大小”进行比较及量度，这要求定义测度先是对黎曼可积性条件中函数不连续点集“测度”给出定义最早是哈那克(AHarnack，18511888)、杜布瓦瑞芒(Pdu Bois Reymond，18311889)、史托尔茨(OStolz，18421905)及康托尔在1881到1885试着做出定义，他们均采用覆盖区间长度下确界，但是这样定义有毛病例如，两个无公共点集并集“测度”有时能够小于两集“测度”之和，除了上述定义“外”测度之外，最先定义“内”测度是皮亚诺，他在1887年定义“可测”集为内、外测

30、度相等，这样虽然克服上述困难，但有界开集并不一定可测若尔当在他分析教程第一卷第二版(1893)中也做了类似定义，同样也有类似毛病对这些毛病补救来自波莱尔(EBorel，18711956)，他在函数论教程中大大改进了以前测度观念，利用可数可加性对任一有界开集构造地定义测度他还考虑零测度集(实际上这个观念可以追溯到黎曼)而真正把波莱尔方法同皮亚诺若尔当办法结合而形成系统测度论则是波莱尔学生勒贝格，这些发表在他博士论文积分、长度、面积当中勒贝格功绩不仅在于建立系统测度理论，更主要是建立系统积分理论在勒贝格之前，除了黎曼积分之外，还有斯蒂尔吉斯(TJStieltjes，18561894)积分斯蒂尔吉斯

31、在1894年发表“连分式研究”中证明：如连分式数F(Z)，F(Z)可表为曼积分对于一般数学分析已经足够，但是还有一系列不理想地方微积分基本定理是微分和积分互为逆运算，也就是说如果则导数F(x)存在，而且等于f(x)，至少在f光滑点是如此但是1881年沃尔泰拉(VVolterra，18601940)还在比萨大学做学生时，发现一个例子：一个函数F在(0，1)区间上定义有界，其导数fF处处存在，但是在当时流行积分黎曼可积意义是不可积因此，需要定义一种积分，它可以在更广一类函数上定义，而且使微分和积分成为互逆运算另外对这种积分还希望收敛级数可以逐项积分勒贝格在他1902年学位论文中迈出新一步，他定义勒

32、贝格积分与以前定义积分方式不同，以前是先定义积分，然后由积分得到“测度”，勒贝格与此相反，他先定义测度，然后定义积分他定义积分时，不去把自变量区间加以区分，而把因变量y区间(对于实函数来说是R子集)加以重分(成有限个区间)，再仿照通常办法定义积分，这样就可以使一些很坏函数也成为勒贝格可积，最明显例子就是狄利克雷函数这样，大大扩充了可积函数范围另外如果勒贝格可积函数同时也黎曼可积，则两个积分相等并且与一些极限运算可以交换，而且可以推广到高维勒贝格积分虽然能解决沃尔泰拉原来问题，但并不足够一般以致能够使所有具有有限导数f(x)F(x)函数F(x)导数f(x)=F(x)都可积为此，法国数学家当日瓦(

33、ADenjoy，18841974)在1912年和德国数学家佩隆(OPerron，18801975)在1914年分别设计了以他们各自姓定义积分其后鲁金(HH，18831950)给出描述性定义，这三者是等价1915年法国数学家弗雷歇把积分扩张到抽象集合泛函上他模式取自1913年奥地利数学家拉东(JRadon，18871956)工作，其中引进集函数他实际上综合了斯蒂尔吉斯积分与勒贝格在1910年把勒贝格测度论推广到高维(三维及三维以上)欧氏空间研究勒贝格通过可测函数积分定义一个集函数，证明它是完全可加而且绝对连续不过他只有点函数观念，而拉东则利用集函数定义拉东测度1930年波兰数学家尼古丁(ONik

34、odyn，18871974)对抽象测度论完成了1910年勒贝格定理在抽象测度论推广，最终完成抽象测度论建立它不仅构成概率论基础，同时也是抽象调和分析、谱理论等分支不可少前提 四、泛函分析 泛函分析是一门新兴学科，1932年才被正式列入德国数学文摘“泛函分析”这个词首先出现于列维(PLvy，18861971)1922年出版泛函分析教程中它是一门分析学科，但与传统分析学科不太一样，后者强调演算，而前者强调概念它们对象也有所不同，后者主要讨论个别函数(类)性质，而前者主要讨论函数空间及其上算子集合，特别是其上拓扑、代数及序结构不过很难说它有一个统一对象及目标泛函分析大致可分为四大块：一是函数空间理论

35、，从希尔伯特空间、巴拿赫空间到一般拓扑线性空间理论二是函数空间上分析，这是最先发展一部分，即所谓泛函演算三是函数空间之间映射及算子理论，发展最成熟是希尔伯特空间中线性算子理论四是算子(或函数)集合代数结构，如巴拿赫代数、冯诺伊曼代数、C*代数以及算子半群等理论泛函分析来源可以追溯到18世纪变分法产生正如微积分研究函数极值一样，变分法研究函数集(空间)上函数泛函极值而泛函分析直接推动力则是19世纪末兴起积分方程研究它导致线性泛函分析诞生泛函分析发展可分三个时期：第一阶段是创始时期，大约从19世纪80年代到20世纪20年代开始是意大利一些数学家引进泛函演算，特别是他们引进原始泛函以及线性算子概念后

36、来法国数学家发展了泛函演算，这反映在阿达马(JHadamard)在1897年第一次国际数学家大会上报告中他为了研究偏微分方程而考虑了闭区间0，1上全体连续函数所构成族，发现这些函数构成一个无穷维线性空间，并于1903年定义了这个空间上函数，即泛函这些还只是具体结果法国数学家弗雷歇利用当时集合论观念把前人结果统一成为一个抽象理论，他把他们共同点归纳起来而且加以推广：(1)把函数或曲线看成一个集合或空间中点不妨把它们看成一个抽象集合(2)点列极限概念也可以推广，这样有极限概念集合他称为L空间，这是后来拓扑空间萌芽(3)集合上可以定义取值在实数里实函数，即泛函由于有了极限概念，就可以定义泛函连续性(

37、4)泛函可以进行代数运算，也可以进行分析演算，比如微分这样就成为名符其实泛函分析了1906年他还在抽象空间中引进“距离”观念，具有欧几里得空间距离性质，这种空间就有更丰富结构大约在弗雷歇同时，希尔伯特对于积分方程进行系统研究他在前人基础上，深刻认识积分方程与无穷多变无线性方程组之间相似性，积分方程有解性与无穷多变元收敛性条件有关这样他实际上得到了具体希尔伯特空间理论抽象希尔伯特空间理论是他学生施密特(ESchmidt，18761959)得到他引进实和复希尔伯特空间几何观念，把函数看成是平方可积序列空间(l2空间)点1907年，匈牙利数学家黎斯(FRiesz，18801956)等人引进勒贝格平方

38、可积空间(L2空间)，发现其性质和l2空间相同，两个月之后，德国数学家费歇尔(EFischer，18751959)与黎斯(MRiesz，18861969)证明l2空间和L2空间同构，只不过是同一种抽象希尔伯特空间两种具体表现而已这也反映出研究抽象空间重要意义黎斯费歇尔定理也更清楚表明积分理论和抽象空间泛函之间紧密联系1910年黎斯仿照L2空间研究了Lp空间(1p)就是p次方可积函数全体构成空间，后又研究lp空间，它们不是希尔伯特空间，而是巴拿赫(SBanach，18921945)空间他发现lp上连续线性泛函全体方面是不可少工具第二阶段泛函分析正式发展成为一门学科， 1920年到1922年间奥地

39、利数学家哈恩(HHahn，18791934)，海莱(EHelly，18841943)，维纳(NWiener，18941964)和巴拿赫都对赋范空间进行定义并加以研究，海莱还得到所谓哈恩巴拿赫定理但对泛函分析贡献最杰出是巴拿赫他进一步把希尔伯特空间推广成巴拿赫空间，用公理加以刻划，形成了系统理论他在1932年出版线性算子论一书统一了当时泛函分析众多成果，成为泛函分析第一本经典著作这时泛函分析不仅理论上比较完备，而且在古典分析应用上起着举足轻重作用，其中特别是波兰数学家肖德尔(JSchauder，18991940)和法国数学家勒瑞(JLeray，1906)不动点理论是现代偏微分方程理论重要工具他们

40、把微分方程解看成巴拿赫空间到自身映射不动点，得出了基本定理，这是现代非线性泛函分析出发点1926年冯诺伊曼来到哥丁根大学，当时正是哥丁根物理学与数学全盛时代量子力学产生和抽象代数、泛函分析发展使人们思想空前活跃冯诺伊曼把希尔伯特空间公理化，并把量子力学数学基础建立在泛函分析之上虽然冯诺伊曼公理来源可以从维纳、外尔和巴拿赫工作中看到，但冯诺伊曼工作更为系统，特别是他关于厄米算子谱理论三十年代末，波兰数学家马祖尔(SMazur，19051981)与苏联数学家盖尔范德(.，1913)发展巴拿赫代数(赋范环)理论，而且通过抽象方法轻而易举证明古典分析中大定理这显示了泛函分析方法威力，也论证了泛函分析独

41、立存在价值第三阶段是泛函分析成熟阶段从40年代起泛函分析在各方面取得突飞猛进发展头等重要事是施瓦兹(LSchwartz 1915)系统地发展了广义函数论，它现在已成为数学中不可缺少重要工具它前身就是狄拉克(PDirac，19021984)在量子力学中引进函数第二次世界大战以后，泛函分析取得突飞猛进发展：1920年到1940年间所发展局部凸向量空间理论技术在1945年后主要通过沙顿(RSchatten，1911)及格罗登迪克(AGrothendieck，1927)引入拓扑张量积理论而完成在这个理论发展过程中，格罗登迪克引进一种新型拓扑凸空间一核空间，它在许多方面比巴拿赫空间还接近于有限维空间，并

42、且具有许多卓越性质，使它在泛函分析及概率论许多分支中证明是非常有用巴拿赫时代就提出来两个老问题直到1973年才被恩福楼(PEnflo)否定解决掉：他造出一个可分巴拿赫空间，其中不存在(巴拿赫意义下)基；他还造出一个可分巴拿赫空间紧算子例子，它不是有限秩算子(关于紧集上一致收敛拓扑)极限1900年到 1930年间由希尔伯特、卡勒曼(TCarleman，18921949)及冯诺伊曼所发展希尔伯特空间算子谱理论由于盖尔范德及其学派于1941年所创始巴拿赫代数理论而大大简化及推广但是，这个理论中最有趣部分仍然是冯诺伊曼代数研究冯诺伊曼代数研究开始得稍早一些，它和希尔伯特空间中局部紧群酉表示理论有着非常

43、紧密联系在冯诺伊曼先驱性文章之后，这些代数分类并没有取得多少进步，特别是相当神秘“”型因子到1967年，不同构型因子只知道三个其后，事情开始发展很快，几年之内许多数学家发现了新型因子，一直到1972年到达顶点，发展成一般分类理论，这个分类理论是建立在富田稔(1924)思想及康耐(AConnes，1947)定义新不变量基础上，康耐不变量使他解决了冯诺伊曼代数理论中许多未解决问题 五、拓扑学 拓扑学是现代数学基础，研究拓扑空间及其间连续映射在20世纪初期，分为一般拓扑学(也称点集拓扑学)及组合拓扑学一般拓扑学讨论点集一般拓扑性质，如开、闭性、紧性、可分性、连通性等等它们具体体现可追溯到很久以前，但

44、抽象化定义则是20世纪事情最早拓扑概念在康托尔、拜尔(Baire1874193z)及若尔当等人著作中已经出现，1906年弗雷歇正式提出非度量抽象空间，同时黎斯也提出“聚点”公理化定义，然后用它定义邻域，但真正从邻域出发定义拓扑是豪斯道夫(FHausdorff，18681942)，他在1914年集论大纲中通过邻域定义所谓豪斯道夫空间以及开集、闭集、边界、极限等概念，从而正式形成了一般拓扑学分支另一种不通过度量定义拓扑方法是库拉托夫斯基(CKuratowski，18951980)在1922年提出来，他用闭包概念定义拓扑1923年，蒂茨(HTietze，18801964)以开集做为定义拓扑中心概念，

45、现在通用公理首先是亚历山大洛夫(，18961982)在1925年提出来豪斯道夫在他书第二版集论中加以总结，使般拓扑学表述得以确立下来使组合拓扑学成为一个重要数学分支是庞加莱他在1881年到1886年在微分方程定性理论以及后来天体力学研究中，都有意识地发展拓扑思想他从1892年起对拓扑学开始进行系统地研究在1895年到1904年发表关于“位置分析”六篇论文中，他创造了组合拓扑学基本方法并引进重要不变量，同调及贝蒂数(1895)、基本群(1895)、挠系数(1899)，并进行具体计算他还证明了庞加莱对偶定理最初形式1904年他提出了著名庞加莱猜想；单连通、闭(定向)三维流形同胚于球面他有意识地研究

46、两个闭流形(首先是三维流形)同胚条件在他第二篇补充(1900)中，曾猜想如果两个闭流形贝蒂数及挠系数对应相等，则它们同胚但不久(1904)他自己就举出反例，因而他进一步把基本群考虑进去1919年美国数学家亚力山大(J.w.Alexander，18881971)举出两种透镜空间，证明它们贝蒂数、挠系数和基本群对应相等，但仍不同胚至今三维流形同胚问题尚未解决布劳威尔继庞加莱之后对拓扑学做出突出贡献，创造单纯逼进方法，使拓扑学证明有了严格基础1915年亚历山大证明贝蒂数及挠系数拓扑不变性对偶定理是拓扑不变量之间关系重要方面，1922年亚力山大证明亚历山大对偶定理，是对庞加莱对偶定理重要补充及发展1930年，列夫希兹(SLefschetz，18841972)证明列夫希兹对偶定理，以上述两定理为其特殊情形对基本拓扑不变量加以改造，早在1908年蒂茨文章中已经开始，他和其他人开始考虑整数以外系数，如模p系数及有理数1926年亚历山大引进Zn系数1925年底到1926年初，诺特同亚历山大洛夫等拓扑学家接触时，曾建议把组合拓扑学建立在群论基础上，在她影响下，浩普夫(HHopf，18941971)于1928年定义同调群，但诺特思想直到以后才逐步为大家了解和接受1935年切赫(ECech，18931960)考虑系数取在任何交换群中二十年代起，数学