秋之回忆2攻略现代数学概观-二十世纪的数学

2020年11月25日发(作者：凌瑚)
第十四章：现代数学概观－二十世纪的数学

第一节 五大新兴学科的建立



一、数理逻辑



1．符号逻辑

数理逻辑作为一门数学学科，来源于对数学和逻辑基础的探讨，它最早 可追溯到莱布尼茨，他
关于逻辑演算的观念预示着布尔代数，而英国数学家布尔(G．Boole 18 15—1864)在1847年出版《逻
辑的数学分析》一书，正式推出所谓布尔代数，在逻辑上相当于 命题演算．其后由英国数学家杰方
斯(W．S．Jevons，1835—1882)和小皮尔斯(C． S．Peirce，1839—1914)在1874年加入次序关系，德
国数学卷中加以
公理 化．第一个完全形式化的语言是德国数学家弗瑞格(G．Frege，1848—1925)在1879年出版的 《概
念文字》中引进的．他首先定义了全称量词及存在量词．并引进一般的谓词逻辑．不过相应的逻辑< br>代数一直到1950年才由波兰数学家塔斯基(A．Tarski，1902—1983)所发展，他引进 所谓“圆柱代
数”．1955年美国数学家哈尔莫斯(P．Halmos，1916—)又引进多进代数 ，形成一般的逻辑代数理
论．1889年意大利数学家皮亚诺(G．Peano，1858—1932) 提出自然数的公理系统，即后来所谓皮亚
诺算术公理．而戴德金在前一年也提出类似的公理系统．弗雷格 在1884年出版的《算术基础》中开
始提到算术无非是扩展的逻辑．戴德金也提出类似的观点．弗雷格 在1893年出版的《算术的基本规
律》第一卷中，用五条逻辑公理来推导算术命题．1902年6月罗 素给弗雷格一封信，提出著名的罗
素悖论，并指出弗雷格的矛盾．弗雷格在1903年出版的《算术的基 本规律》第二卷附录中承认这是
对他的巨大打击，正是这个悖论，揭开了数理逻辑新的一章．

2．罗素悖论

罗素的悖论是关于集合论的，康托尔已经意识到不加限制地谈论“集合 的集合”会导致矛盾．其
他人也发现集合论中存在矛盾．而罗素在1903年出版的《数学的原理》(P rinciples of Mathematics)
中，则十分清楚地表现出集合论的矛盾，从而动 摇了整个数学的基础．罗素的悖论是说：可以把集
合分成两类：凡不以自身为元素的集合称为第一类集合 ，凡以自身做为元素的集合称为第二类的集
合，每个集合或为第一类集合或为第二类集合．设M表示第一 类集合全体所成的集合．如果M是第
一类集

现了这个矛盾之
后，导致第三次 数学危机，在数学界出现了各种意见，从抛弃集合论到尽可能保持集合论在数学中
的基础地位的都有．由 于20世纪数学的发展主流是建立在集合论基础之上，这里只考虑数学家如何
消除悖论．在20世纪初， 大致有两种办法，一个办法是罗素的分支类型论，它在1908年发表，在这
个基础上罗素与怀特海(A ．N．Whitehead，1861—1947)写出三大卷《数学原理》(principia Mathe matica，
1910—1913)，成为数理逻辑最早一部经典著作．还有一个办法是公理方法限制 集合，由此产生公理
集合论．

3．集合论的公理化

康托尔本人没 有对集合论进行公理化．集合论公理化是策梅罗(E．Zermelo，1871—1953)在1908
年发表的．富兰克尔(A．Fraenkel，1891—1965)等人曾加以改进，形成著名的ZF系统， 这是最常用
的一个系统，因此大家都希望从中推出常用的选择公理(1904年策梅罗引进它来


设与ZF系统是相容
的．1963年，柯亨(P．Cohen，1934—)发明“ 力迫法”证明这两条“公理”的否定也不能在ZF系统
中证明，从而推出其独立性．

4．希尔伯特纲领

为了使数学奠定在严格公理化基础上，1922年希尔伯特提出希 尔伯特纲领，首先将数学形式化，
构成形式系统，然后通过有限主义方法证明其无矛盾性．

1928年希尔伯特提出四个问题作为实现其纲领的具体步骤：

(1)分析的无矛盾 性．1924年阿克曼(W．Ackermann，896—1962)和1927年冯诺伊曼(J．Von < br>Neumann，1903—1957)的工作使希尔伯特相信只要一些纯算术的初等引理即可证明分析的 无矛盾
性．

1930年夏天，哥德尔开始研究这个问题，他不理解希尔伯特为什么要 直接证明分析的无矛盾
性．哥德尔认为应该把困难分解：用有限主义的算术证明算术的无矛盾性，再用算 术的无矛盾性证
明分析的无矛盾性．哥德尔由此出发去证明算术的无矛盾性而得出不完全性定理．

(2)更高级数学的无矛盾性．特别是选择公理的无矛盾性．这个问题后来被哥德尔在1938年以 相
对的方式解决．

(3)算术及分析形式系统的完全性．这个问题在1930年秋天 哥尼斯堡的会议上，哥德尔已经提出
了一个否定的解决．这个问题的否定成为数理逻辑发展的转折点．< br>
(4)一阶谓词逻辑的完全性，这个问题已被哥德尔在1930年完全解决．

这样一来哥德尔把希尔伯特的方向扭转，使数理逻辑走上全新的发展道路．

5．哥德尔的三项重大贡献

除了连续统假设的无矛盾性之外，哥德尔在1929—1930年证明下面两大定理：

(1)完全性定理：哥德尔的学位论文《逻辑函数演算的公理的完全性》解决了一阶谓词演算的完
全性 问题．罗素与怀特海建立了逻辑演算的公理系统及推演规则之后，数学家最关心的事就是公理
系统的无矛 盾性及完全性．所谓完全性就是，每一个真的逻辑数学命题都可以由这个公理系统导出，
也就是可证明． 命题演算的完全性已由美国数学家波斯特(E．Post，1897—1954)在1921年给出证
明 ．而一阶谓词演算的完全性一直到1929年才由哥德尔给出证明．

(2)不完全性定理：这 是数理逻辑最重大的成就之一，是数理逻辑发展的一个里程碑和转折点．

哥德尔证明不完全性 定理是从考虑数学分析的无矛盾性问题开始的．1930年秋在哥尼斯堡会议
上他宣布了第一不完全性定 理：一个包括初等数论的形式系统，如果是无矛盾的，那就是不完全
的．不久之后他又宣布：如果初等算 术系统是无矛盾的，则无矛盾性在算术系统内不可证明．

哥德尔的不完全定理造的是一个不自 然的数论问题，数学家一直希望在一阶皮亚诺算术中找到
一个数学表述既简单又有趣的数论问题，就像哥 德巴赫猜想或费马大定理来说明算术的不完全
性．这一直到1977年才由巴黎斯(J．Paris)等 人造出，这更加证明希尔伯特纲领是不可能实现的．

6．哥德尔以后的数理逻辑．哥德尔的不 完全性定理从根本上动摇了数学的基础，它指出绝对
的无矛盾性的证明是不可能实现的，数学家只能限制 自己的领域及要求．数理逻辑也成为一个专门
的学科，它分成四大分支：证明论、递归论、公理集合论及 模型论，它们都在30年代发展起来．证
明论仍然继续希尔伯特纲领，但不得不放宽有限主义的条件．其 中最主要的成就是根岑(G．Gentzen，
1909—1945)在1934年用超穷归纳法证明自 然数算术的无矛盾性．递归论也奠定基础，1935年克林尼
(，1909—1994)定义一般递归函 数，1936年图林(A．Tuˉring，1912—)提出图林机概念．同
年车尔赤(A．Chur ch1903—)提出车尔赤论点：任何有效可计算函数均等价于一般递归函数．递归论
与数学关系至为 密切，它不仅为计算机科学奠定基础，同时一系列判定问题则直接涉及数学基本问
题：如群的基本问题是 问什么时侯两个群同构，对于有限表出群是1908年提出的，到50年后，苏联
数学家阿其扬(C．И ．Aдьян，)在1957年及以色列数学家拉宾(M．O．Rabin，)在1958年独立
证明这 问题是不可解的．在这个基础上，小马尔科夫(A．A．MapkoB，1903—1979)证明拓扑学的基本问题——同胚问题也是不可解的，1970年最终证明希尔伯特第十问题是不可解的．模型论首先
是处理真假问题，它指出一系列命题在某些模型下为真，而在另外模型下非真．其次它构造一批非
标准 模型．1934年斯科仑(T．Skolem，1887—1968)给出整数的非标准模型，1961年鲁宾逊
(A．Robinson，1918—1974)提出非标准分析，使莱布尼茨的无穷小合法化，创立了 非标准数学．




二、抽象代数学



代数学与拓扑学是现代数学的两大部门．它们构成现代数学的基础与核心．没有代数学和拓扑
学，现代数学(除了那些较为孤立的、相对地讲不太重要的学科)可以说寸步难行．

抽象代数学或近世代数学是在20世纪初发展起来的．1930—1931年范德瓦尔登(B．L．vander
Waerden，1903—)的《近世代数学》(Moderne Algebra)一书问世，在数 学界引起轰动，由此之后，
抽象代数学或近世代数学成为代数学的主流，不久之后也就理所当然地把“抽 象”及“近世”的帽
子甩掉，堂尔皇之成为代数的正统．

范德瓦尔登的书至今仍然是 代数学的模式．它是根据德国女数学家E．诺特(E．Noether，
1882—1935)和德国数 学家阿廷(E．Artin，1898—1962)的讲义编写而成，在精神上基本来源于他们
两位，特 别是诺特，被公认为“近世代数学之母”．在诺特之前，不少大数学家都对近世代数学有
过这样或那样的 贡献，但是这种与经典代数学迥然不同的思想主要来源于戴德金和希尔伯特，戴德
金不仅引进大多数抽象 代数观念——如理想、模、环、格等，而且初步研究它们的结构及分类，而
希尔伯特的抽象思维方式及公 理方法则对现代整个数学都有举足轻重的影响．

抽象代数学的研究对象与研究目标与经典代数 学有着根本的不同：经典代数学的主要目标是求
解代数方程和代数方程组，而抽象代数学的目标则是研究 具有代数结构的集合的性质，刻划它们并
加以分类，这些对象是用公理定义的．

1．域论

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

所作的一切都是有具体表示的．到19世纪末，人们知道其他域的例子还有有理函数域 及代数函数域．
从整体结构上对域进行考察始自戴德金及克罗内克对代数数域的研究(从1855年起) ．但抽象域
的观念则来自德国数学家韦伯(H．Weber，1842—1913)，他的思想来自抽象 群的观念．后来美国数
学家狄克逊(L．E．Dickson，1874—1954)及亨廷顿(E．V ．Huntington，1874—1952)给出域的独立
的公理系统．在韦伯的影响下，德国数学 家施泰尼茨(E．Steinitz，1871—1928)在1910年发表《域的
代数理论》一文， 为抽象域论奠定了基础．他把域分为两种类型：一种是特征为p的域，也即对所
有元素a满足pa＝0的 域，它们一定包含最小的城(称为素域)，最小的域一定是只含p个元素的伽罗瓦
域．另一种是不存在这 种p的域，称为特征0，其素域一定是有理数域．不管域属于哪一种类型，任
何域均可由素域添加一些新 元素“扩张”而成．所以域的根本问题是研究域的扩张．他对扩张进行
了分类，其中主要的一类是添加系 数在原域中的多项式的根后所得的扩张(代数扩张)．当一个域通
过代数扩张不能再扩大时称为代数封闭 域．施泰尼茨证明，每个域均有唯一的代数封闭域．特别他
还对特征p一般域胁许多特殊性质如不可分性 、不完全性进行研究．

关于抽象有限域，已经有了相当完整的结果：1893年美国数学家莫 尔(E．H．Moore，1862—1932)
证明，任何一有限域必定与某一个伽罗瓦域同构．反过 来，对于任意素数p和正整数a，必定存在唯
一一个伽罗瓦域，具有p
a
个元素．有限 域理论在数论、编码理论、组合理论及数理统计等方面有着
许多应用．

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

抽象 理论的建立不仅使已有的零散知识系统化，而且有助于许多问题的解决，1927年阿廷解决
希尔伯特第 17问题就是靠他引进抽象的实域(他称为形式实域)．实域k是把实数域的一个特性抽象
化：即-1不 能表示为k中元素的平方和．通过这个概念，他证明“任何正定有理函数都可表示为有理
函数平方和”．

2．环论

环的概念原始雏型是整数集合．它与域不同之处在于对于乘法不 一定有逆元素．抽象环论的概
念来源一方面是数论，整数的推广——代数整数具有整数的许多性质，也有 许多不足之处，比如唯
一素因子分解定理不一定成立，这导致理想数概念的产生．戴德金在1871年将 理想数抽象化成“理
想”概念，它是代数整数环中的一些特殊的子环．这开始了理想理论的研究，在诺特 把环公理化之
后，理想理论被纳入环论中去．

环的概念的另一来源是19世纪对数系 的各种推广．这最初可追溯到1843年哈密顿关于四元数的
发现．他的目的是为了扩张用处很大的复数 ．它是第一个“超复数系”也是第一个乘法不交换的线
性结合代数．它可以看成是实数域上的四元代数． 不久之后凯莱得到八元数，它的乘法不仅不交换，
而且连结合律也不满足，它可以看成是第一个线性非结 合代数．其后各种“超复数”相继出现．1861
年，魏尔斯特拉斯证明，有限维的实数域或复数域上的 可除代数，如满足乘法交换律，则只有实数
及复数的代数(1884年发表)．1870年戴德金也得出 同样结果(1888年发表)．1878年弗洛宾尼乌斯
(F．G．Frobenius，1849—1 917)证明实数域上有限维可除代数只有实数、复数及实四元数的代数．1881
年小皮尔斯也独立得 到证明．1958年用代数拓扑学方法证明，实数域上有限维可除代数，连非结合
可除代数也算在内，只 有1，2，4，8这四种已知维数．可见实数域及复数域具有独特的性质．

关于域上线性结合 代数的研究在19世纪末处于枚举阶段，1870年老皮尔斯(B．Peirce，1809—
1880 )发表《线性结合代数》，列举6维以下的线性结合代数162个．他还引进幂零元与幂等元等重要
概念 为后来的结构理论奠定基础．1898年、嘉当(E．Cartan)在研究李代数的结构基础上，对于结合代数进行类似的研究，1900年，德国数学家摩林(T．Molien，1861—1941)征明，复数 域上维数≥2
的单结合代数都与复数域上适当阶数的矩阵代数同构．线性结合代数的结构定理是1907 年由美国数
学家魏德本(J．HM．Wedderburn，1882—1948)得出的：线性结合代 数可以分解为幂零代数及半单
代数，而半单代数又可以表示为单代数的直和．单代数可表为域上可除代数 的矩阵代数．这样结合
代数就归结为可除代数的研究．可除代数有着以下的结果．1905年魏德本证明 ：有限除环都是(交换)
域，也即伽罗瓦域．当时除了伽罗瓦域及四元数之外，不知道有别的除环．20 世纪虽然发现了一些
新的除环，但除环的整个理论至今仍不完善．

从线性结合代数到 结合环的过渡是阿廷完成的．1928年，阿廷首先引进极小条件环(即左、右理
想满足降键条件的环， 后称阿廷环)，证明相应的结构定理．对于半单环的分类，雅可布孙(on，
1910—)创立了他的结 构理论．他认为对任意环均可引进根基的概念，而对阿廷环来说，根基就是一
组真幂零元．对于非半单的 阿廷环(主要出现于有限群的模表示中)，如福洛宾尼乌斯代数及其推广
也有许多独立的研究．而与阿廷 环对应的是诺特环，对于有么无的环，秋月康夫(1902—1984)及霍
普金斯(C．H opki ns)证明阿廷环都是诺特环．对于诺特环，却长期没有相应的结构理论．一直到1958
年英国数学家 戈尔迪(A．W．Gold－ie)才取得突破，他证明任何诺特半素环都有一个阿廷半单的分
式环，这 才促进了新研究．与诺特环平行发展的是满足多项式等式的环．近来环表示论及同调方法
的应用对结合环 理论有极大促进．

环论的另一来源是代数数论及代数几何学及它们导致的交换环理论．187 1年戴德金引进理想概
念，开创了理想理论．环这个词首先见于希尔伯特的数论报告．代数几何学的研究 促使希尔伯特证
明多项式环的基定理．在本世纪初英国数学家腊斯克(E．Lasker，1868—1 941)及麦考莱
(F．S．Macaulay，1862—1937)对于多项式环得出分解定理．对 于交换环的一般研究来源于E．诺特．她
对一般诺特环进行公理化，证明准素分解定理从而奠定交换环论 乃至抽象代数学基础，其后克鲁尔
(W．Krull，1899—1971)给出系统的研究，他还引进 了最值得注意的局部环．四十年代，薛华荔、

柯恩(I．S．Cohen，1917—195 5)及查瑞斯基(O．Zariski，1899—1986)对局部环论进行了系统的研究．
3．群论

19世纪末抽象群开始成为独立研究的对象，当时主要问题仍是以置换群为模式的有限群，问 题
涉及列举给定阶数的所有群以及群的可解性的判据．

当时主要的定理是由挪威数学家西洛(L．Sylow，1832—1918)在

的 ．而19世纪90年代群论最主
要成就是群表示论的出现，它是由德国数学家福洛宾尼乌斯奠定的．后由 他的学生舒尔(I．Schur，
1875—1941)所发展，成为研究群论不可缺少的工具．所谓群 表示即是把群具体实现为某种结构的自
同构群，例如域F上的有限维线性空间的线性变换群，通常是把群 的元素与F上的n×n可逆矩阵相对
应．在英国数学家伯恩塞德(W．Burnside，1852—1 927)的经典著作《有限阶群论》(Theory of Groups
of Finite Order)第二版(1911)已经进行综述并给出应用．

20世纪有限群论的中心问题是 有限单群的分类．很久以来，就已经知道一个相当长的有限单群
的表，除了素数阶循环群之外，对于每一 个整数n≥5存在一个n！/2阶单群，它由n个事物的所有偶
置换构成，这就是所谓交错群．当n=5 时，它就是二十面体群．另外还知道许多射影特殊线性变换
群PSL(n，q)，它们通过行列式为1的 n×n矩阵群(元素取在有限域GL(q)中)的商群构造出来．另外对
于正交矩阵、辛矩阵、酉矩阵也 可以造出一批单群来．这些“典型群”，从若尔当时候起就已知道，
后来经过美国数学家狄克逊、荷兰数 学家范德瓦尔登、法国数学家丢东涅(J．Dieudonné，1906
—1992)进行系统研究． 真正重大的突破是1955年薛华荔在日本《东北数学杂志》上发表的“论某些
单群”的论文，这篇论文 的重要性不仅展示一些新单群，而且更重要的是对于以前知道的绝大部分
通过李代数换基的办法进行统一 的处理，从而得出九个系列的薛华荔群．其后，这些薛华荔群经过
美国数学家斯坦伯格(R．Stein berg，1922—)、韩国数学家李林学、比利时数学家梯茨(J．Tits，1930
—)、日本 数学家铃木通夫(1926—)等人加以扩充，得出全部李型单群的16系列．除了上述这18个序
列中 的有限单群之外，还有几个不属于它们的所谓“散在单群”，其中头一个是7920阶的群M
11
是
法国数学家马丢(E．L．Mathieu，1835—1890)在1861年发现的，他不久又 发现另外4个单群M
12
，
M
22
，M
23
，M< br>24
．一直到1965年之前再没有发现新的散在单群了．突然1965年南斯拉夫数学家严科< br>(Z．Janko，1932—)发现了一个175560阶的新单群，其后10年间，陆续发现另外20 个敬在单群，其
中最大的称为费舍尔(B．Fischer，1936—)“魔群”，其阶大约为8.1 0
53
，到这时候是否所有单群均
已找到，也就是有限单群的分类已经完成了呢？在这 条漫长的路上，首先的突破是一系列群论性质
及表示论的成果，其中包括1955年布劳尔(R．Bra uer 1901—1977)的工作．第二个突破是1963年美国
数学家费特(W．Feit，19 30—)和汤姆逊(J．G．Thompson，1932—)证明除循环群之外，奇阶群都是
可解群， 这个长达250页的论文包括了极其丰富的信息．70年代，在群的结构研究上有了新的突破，
最终导致 1981年，有限单群的分类彻底完成，不过全文需要1万页以上，这是各国上百位群论专家
通力合作的 结果．

对于无穷阶的离散群，也有一些重要的研究，其中重要的是与数理逻辑有关的“字的问 题”，
即两个符号序列何时相等，对于有限生成的具有有限个关系式的群，1955年左右苏联数学家诺 维科
夫(ΠCHовиков，1901—1975)、美国数学家布里顿(J．L．Britton) 和布恩(W．Boone，
1920—1983)证明一般的字的问题是不可解的，也就是不存在一个普 遍的算法来判定两个字是否相
等，但是另一方面德国数学家马格努斯(W．Magnus，1907—) 在1932年解决一个关系式的有限生成
群的字的问题．另一个重要的问题是伯恩赛德问题，他问一个有 限生成的群如果其所有元素都是有
限阶的，该群是否有限，这个问题一直到1964年由前苏联数学家考 斯特利金(А．И．Костри
кин，1929—)举出例子而得出否定的回答．另外还有一个狭义 的伯恩赛德猜想，即有限生成群当
所有元素x满足x
n
＝0是有限群，现在知道当n＝ 2，3，4，6时，狭义伯恩赛德猜想成立，但如果n相
当大，诺维科夫和布里顿等人也举出反例．


三、测度与积分理论



测度是 长度、面积和体积概念的精密化及推广．各民族数学发展一开始均致力于测量长度和面
积，得出相应的公 式及方法，而统一的求积方法一直到牛顿和莱布尼茨建立微积分之后才得到．这
时求积问题变成一个特殊 的积分问题．但积分是一个相当复杂的概念，19世纪由于分析的严格化才
导致由柯西、黎曼及达布相继 改进的黎曼积分的概念，最后确定下来．

随着康托尔点集论的建立，要求对更一般的点集的“ 大小”进行比较及量度，这要求定义测度．先
是对黎曼可积性条件中函数的不连续点集的“测度”给出定 义．最早是哈那克(A．Harnack，1851
—1888)、杜布瓦—瑞芒(P．du Bois Rey－mond，1831—1889)、史托尔茨(O．Stolz，1842—1905)
及康托 尔在1881到1885试着做出定义，他们均采用覆盖区间长度的下确界，但是这样定义有毛病．例
如 ，两个无公共点集的并集的“测度”有时能够小于两集的“测度”之和，除了上述定义的“外”
测度之外 ，最先定义“内”测度的是皮亚诺，他在1887年定义“可测”集为内、外测度相等，这样
虽然克服上 述困难，但有界开集并不一定可测．若尔当在他的《分析教程》第一卷第二版(1893)中
也做了类似 的定义，同样也有类似的毛病．对这些毛病的补救来自波莱尔(E．Borel，1871—1956)，
他在《函数论教程》中大大改进了以前的测度观念，利用可数可加性对任一有界开集构造地定义测
度． 他还考虑零测度集(实际上这个观念可以追溯到黎曼)．而真正把波莱尔的方法同皮亚诺—若尔
当的办法 结合而形成系统测度论的则是波莱尔的学生勒贝格，这些发表在他的博士论文《积分、长
度、面积》当中 ．

勒贝格的功绩不仅在于建立系统的测度理论，更主要的是建立系统的积分理论．在勒贝格之 前，
除了黎曼积分之外，还有斯蒂尔吉斯(T．J．Stieltjes，1856—1894)积分． 斯蒂尔吉斯在1894年发表
的“连分式的研究”中证明：如连分式



数F(Z)，F(Z)可表为


曼积分对于一般的数学分析已经
足够，但是还有一系列不理想的地方．

微积分的基本定理是微分和积分互为逆运算，也就是说如果


则导数F′( x)存在，而且等于f(x)，至少在f光滑的点是如此．但是1881年沃尔泰拉(V．Volterra，< br>1860—1940)还在比萨大学做学生时，发现一个例子：一个函数F在(0，1)区间上定义有界， 其导数f
＝F′处处存在，但是在当时流行的积分——黎曼可积的意义是不可积的．因此，需要定义一种 积
分，它可以在更广的一类函数上定义，而且使微分和积分成为互逆的运算．另外对这种积分还希望收敛级数可以逐项积分．勒贝格在他的1902年学位论文中迈出新的一步，他定义勒贝格积分与以前
定义积分的方式不同，以前是先定义积分，然后由积分得到“测度”，勒贝格与此相反，他先定义
测度 ，然后定义积分．他定义积分时，不去把自变量的区间加以区分，而把因变量y的区间(对于实
函数来说 是R的子集)加以重分(成有限个区间)，再仿照通常的办法定义积分，这样就可以使一些很
坏的函数也 成为勒贝格可积的，最明显的例子就是狄利克雷函数．这样，大大扩充了可积函数的范
围．另外如果勒贝 格可积函数同时也黎曼可积，则两个积分相等．并且与一些极限运算可以交换，
而且可以推广到高维．< br>
勒贝格积分虽然能解决沃尔泰拉原来的问题，但并不足够一般以致能够使所有具有有限导数f( x)
＝F′(x)的函数F(x)的导数f(x)=F′(x)都可积．为此，法国数学家当日瓦(A． Denjoy，1884—1974)
在1912年和德国数学家佩隆(O．Per－ron，1880 —1975)在1914年分别设计了以他们各自的姓定义的
积分．其后鲁金(H．H．Лузин，1 883—1950)给出描述性定义，这三者是等价的．

1915年法国数学家弗雷歇把积分 扩张到抽象集合的泛函上．他的模式取自1913年奥地利数学家
拉东(J．Radon，1887—1 956)的工作，其中引进集函数．他实际上综合了斯蒂尔吉斯积分与勒贝格
在1910年把勒贝格测度 论推广到高维(三维及三维以上)欧氏空间的研究．勒贝格通过可测函数的积
分定义一个集函数，证明它 是完全可加的而且绝对连续的．不过他只有点函数观念，而拉东则利用
集函数定义拉东测度．1930年 波兰数学家尼古丁(O．Nikodyn，1887—1974)对抽象测度论完成了1910
年勒贝格 定理在抽象测度论的推广，最终完成抽象测度论的建立．它不仅构成概率论的基础，同时
也是抽象调和分 析、谱理论等分支不可少的前提．



四、泛函分析



泛函分析是一门新兴学科，1932年才被正式列入德国《数学文摘》．“泛函分析”这个词 首先
出现于列维(P．Lévy，1886—1971)的1922年出版的《泛函分析教程》中．它是 一门分析学科，但与
传统的分析学科不太一样，后者强调演算，而前者强调概念．它们的对象也有所不同 ，后者主要讨
论个别函数(类)的性质，而前者主要讨论函数空间及其上算子的集合，特别是其上的拓扑 、代数及
序结构．不过很难说它有一个统一的对象及目标．泛函分析大致可分为四大块：一是函数空间理 论，
从希尔伯特空间、巴拿赫空间到一般拓扑线性空间的理论．二是函数空间上的分析，这是最先发展< br>的一部分，即所谓泛函演算．三是函数空间之间的映射及算子理论，发展最成熟的是希尔伯特空间
中的线性算子理论．四是算子(或函数)集合的代数结构，如巴拿赫代数、冯
以及算子半群等理论．
泛函分析的来源可以追溯到18世纪变分法的产生．正如微积分研究函数的极值一样，变分法研< br>究函数集(空间)上的函数——泛函的极值．而泛函分析的直接推动力则是19世纪末兴起的积分方程的研究．它导致线性泛函分析的诞生．

泛函分析的发展可分三个时期：

第一阶段是创始时期，大约从19世纪80年代到20世纪20年代．开始是意大利一些数学家引进泛
函演算，特别是他们引进原始泛函以及线性算子的概念．后来法国数学家发展了泛函演算，这反映
在阿达 马(J．Hadamard)在1897年第一次国际数学家大会上的报告中．他为了研究偏微分方程而考虑了闭区间[0，1]上全体连续函数所构成的族，发现这些函数构成一个无穷维的线性空间，并于1903< br>年定义了这个空间上的函数，即泛函．这些还只是具体的结果．

法国数学家弗雷歇利用 当时的集合论观念把前人的结果统一成为一个抽象的理论，他把他们的
共同点归纳起来而且加以推广：< br>
(1)把函数或曲线看成一个集合或空间中的点．不妨把它们看成一个抽象集合．
< br>(2)点列的极限概念也可以推广，这样有极限概念的集合他称为L空间，这是后来拓扑空间的萌
芽．

(3)集合上可以定义取值在实数里的实函数，即泛函．由于有了极限概念，就可以定义 泛函的连
续性．

(4)泛函可以进行代数运算，也可以进行分析演算，比如微分．这 样就成为名符其实的泛函分析
诺伊曼代数、C*代数
了．

1906年他还在 抽象的空间中引进“距离”的观念，具有欧几里得空间距离的性质，这种空间就
有更丰富的结构．

大约在弗雷歇同时，希尔伯特对于积分方程进行系统的研究．他在前人基础上，深刻认识积分
方程与无穷多变无线性方程组之间的相似性，积分方程的有解性与无穷多变元的收敛性条件有
关．这样 他实际上得到了具体的希尔伯特空间的理论．抽象的希尔伯特空间理论是他的学生施密特
(E．Schm idt，1876—1959)得到的．他引进实和复的希尔伯特空间的几何观念，把函数看成是平方
可 积序列的空间(l
2
空间)的点．1907年，匈牙利数学家黎斯(F．Riesz，1880 —1956)等人引进勒贝格
平方可积空间(L
2
空间)，发现其性质和l2空间相同 ，两个月之后，德国数学家费歇尔(E．Fischer，1875
—1959)与黎斯(M．Ries z，1886—1969)证明l
2
空间和L
2
空间同构，只不过是同一种抽 象希尔伯特空
间的两种具体表现而已．这也反映出研究抽象空间的重要意义．黎斯—费歇尔定理也更清楚 表明积
分理论和抽象空间的泛函之间的紧密联系．

1910年黎斯仿照L
2
空间研究了L
p
空间(1＜p＜∞)就是p次方可积函数全体构成的空间，后又研究< br>l
p
空间，它们不是希尔伯特空间，而是巴拿赫(S．Banach，1892—194 5)空间．他发现l
p
上连续线性
泛函全体


方面是不可少的工具．

第二阶段泛函分析正式发展成为一门学科， 1920年到1 922年间奥地利数学家哈恩(H．Hahn，
1879—1934)，海莱(E．Helly，188 4—1943)，维纳(N．Wiener，1894—1964)和巴拿赫都对赋范空间
进行定义并加 以研究，海莱还得到所谓哈恩——巴拿赫定理．但对泛函分析贡献最杰出的是巴拿
赫．他进一步把希尔伯 特空间推广成巴拿赫空间，用公理加以刻划，形成了系统的理论．他在1932
年出版的《线性算子论》 一书统一了当时泛函分析众多成果，成为泛函分析第一本经典著作．

这时泛函分析不仅理论上 比较完备，而且在古典分析的应用上起着举足轻重的作用，其中特别
是波兰数学家肖德尔(J．Scha uder，1899—1940)和法国数学家勒瑞(J．Leray，1906—)的不动点理论
是现 代偏微分方程理论的重要工具．他们把微分方程的解看成巴拿赫空间到自身映射的不动点，得
出了基本定 理，这是现代非线性泛函分析的出发点．

1926年冯诺伊曼来到哥丁根大学，当时正是哥丁 根物理学与数学的全盛时代．量子力学的产
生和抽象代数、泛函分析的发展使人们思想空前活跃．冯诺伊 曼把希尔伯特空间公理化，并把量
子力学的数学基础建立在泛函分析之上．虽然冯诺伊曼的公理的来源可 以从维纳、外尔和巴拿赫
的工作中看到，但冯诺伊曼的工作更为系统，特别是他关于厄米算子的谱理论．

三十年代末，波兰数学家马祖尔(S．Mazur，1905—1981)与苏联数学家盖尔 范德(Ц.М.Гел
ьфанд，1913—)发展巴拿赫代数(赋范环)理论，而且通过抽象方法轻 而易举证明古典分析中的
大定理．这显示了泛函分析方法的威力，也论证了泛函分析的独立存在的价值．

第三阶段是泛函分析的成熟阶段．从40年代起泛函分析在各方面取得突飞猛进的发展．头等 重
要的事是施瓦兹(L．Schwar－tz 1915—)系统地发展了广义函数论，它现在已成为数 学中不可缺少的
重要工具．它的前身就是狄拉克(P．Dirac，1902—1984)在量子力学中 引进的δ函数．

第二次世界大战以后，泛函分析取得突飞猛进的发展：1920年到1940 年间所发展的局部凸向量
空间理论的技术在1945年后主要通过沙顿(R．Schatten，191 1—)及格罗登迪克(A．Grothendieck，1927
—)引入拓扑张量积的理论而完成．在 这个理论的发展过程中，格罗登迪克引进一种新型的拓扑凸空
间一核空间，它在许多方面比巴拿赫空间还 接近于有限维空间，并且具有许多卓越的性质，使它在
泛函分析及概率论的许多分支中证明是非常有用的 ．

巴拿赫时代就提出来的两个老问题直到1973年才被恩福楼(P．Enflo)否定解决 掉：他造出一个
可分巴拿赫空间，其中不存在(巴拿赫意义下的)基；他还造出一个可分巴拿赫空间的紧 算子的例子，
它不是有限秩算子(关于紧集上的一致收敛拓扑)的极限．

1900年到 1930年间由希尔伯特、卡勒曼(T．Carleman，1892—1949)及冯 诺伊曼所发展的希
尔伯特空间的算子谱理论由于盖尔范德及其学派于1941年所创始的巴拿赫代数理论 而大大简化及
推广．但是，这个理论中最有趣的部分仍然是冯诺伊曼代数的研究．冯诺伊曼代数的研究开 始
得稍早一些，它和希尔伯特空间中局部紧群的酉表示理论有着非常紧密的联系．在冯诺伊曼的先
驱性文章之后，这些代数的分类并没有取得多少进步，特别是相当神秘的“Ⅲ”型因子．到1967年，
不同构的Ⅲ型因子只知道三个．其后，事情开始发展很快，几年之内许多数学家发现了新的Ⅲ型因
子， 一直到1972年到达顶点，发展成一般的分类理论，这个分类理论是建立在富田稔(1924—)的思
想及康耐(A．Connes，1947—)定义的新的不变量的基础上的，康耐的不变量使他解决了冯诺伊曼< br>代数理论中许多未解决的问题．



五、拓扑学



拓扑学是现代数学的基础，研究拓扑空间及其间的连续映射．在20世纪初期， 分为一般拓扑学
(也称点集拓扑学)及组合拓扑学．一般拓扑学讨论点集的一般的拓扑性质，如开、闭性 、紧性、可
分性、连通性等等．它们的具体体现可追溯到很久以前，但抽象化的定义则是20世纪的事情 ．最早
的拓扑概念在康托尔、拜尔(Baire1874—193z)及若尔当等人著作中已经出现，1 906年弗雷歇正式提
出非度量的抽象空间，同时黎斯也提出“聚点”的公理化定义，然后用它定义邻域 ，但真正从邻域
出发定义拓扑的是豪斯道夫(F．Hausdorff，1868—1942)，他在1 914年的《集论大纲》中通过邻域定
义所谓豪斯道夫空间以及开集、闭集、边界、极限等概念，从而正 式形成了一般拓扑学的分支．另
一种不通过度量定义拓扑的方法是库拉托夫斯基(C．Kurat－ow ski，1895—1980)在1922年提出来的，
他用闭包概念定义拓扑．1923年，蒂茨(H ．Tietze，1880—1964)以开集做为定义拓扑的中心概念，
现在通用的公理首先是亚历山 大洛夫(П．С．Александров，1896—1982)在1925年提
出来的．豪斯道夫在 他的书的第二版《集论》中加以总结，使—般拓扑学的表述得以确立下来．


使组合 拓扑学成为一个重要的数学分支的是庞加莱．他在1881年到1886年在微分方程定性理论
以及后来 天体力学的研究中，都有意识地发展拓扑的思想．他从1892年起对拓扑学开始进行系统地
研究．在1 895年到1904年发表的关于“位置分析”的六篇论文中，他创造了组合拓扑学的基本方法
并引进重 要的不变量，同调及贝蒂数(1895)、基本群(1895)、挠系数(1899)，并进行具体计算．他还< br>证明了庞加莱对偶定理的最初形式．1904年他提出了著名的庞加莱猜想；单连通、闭(定向)三维流< br>形同胚于球面．他有意识地研究两个闭流形(首先是三维流形)同胚的条件．在他的第二篇补充(1900 )
中，曾猜想如果两个闭流形的贝蒂数及挠系数对应相等，则它们同胚．但不久(1904)他自己就举 出
反例，因而他进一步把基本群考虑进去．1919年美国数学家亚力山大(der，1888—197 1)
举出两种透镜空间，证明它们贝蒂数、挠系数和基本群对应相等，但仍不同胚．至今三维流形的同< br>胚问题尚未解决．

布劳威尔继庞加莱之后对拓扑学做出突出贡献，创造单纯逼进方法， 使拓扑学的证明有了严格
的基础．1915年亚历山大证明贝蒂数及挠系数的拓扑不变性．对偶定理是拓 扑不变量之间关系的重
要方面，1922年亚力山大证明亚历山大对偶定理，是对庞加莱对偶定理的重要 补充及发展．1930年，
列夫希兹(S．Lefsc－hetz，1884—1972)证明列夫希兹 对偶定理，以上述两定理为其特殊情形．

对基本的拓扑不变量加以改造，早在1908年蒂茨 的文章中已经开始，他和其他人开始考虑整数
以外的系数，如模p系数及有理数．1926年亚历山大引 进Z
n
系数．1925年底到1926年初，诺特同亚
历山大洛夫等拓扑学家接触时， 曾建议把组合拓扑学建立在群论基础上，在她的影响下，浩普夫
(H．Hopf，1894—1971) 于1928年定义同调群，但诺特的思想直到以后才逐步为大家了解和接受．1935
年切赫(E．Ce ch，1893—1960)考虑系数取在任何交换群中．

二十年代起，数学家曾试图把同调 论从流形逐步推广到更一般的拓扑空间．先是维埃陶瑞斯
(is，1891—)(1927)、亚历山大 洛夫(1928)等人推广到紧度量空间，继而切赫推广到一般拓扑
空间(1932)，即所谓切赫同调 论．同时列夫希兹发展了奇异同调论．这是两个最重要的同调理论．在
代数与几何的对偶观念的影响下， 许多数学家在三十年代初提出同调群的对偶观念——上同调
群．除了同调群和上同调的加法结构外，许多 人从各个角度寻找其中的乘法结构，列夫希兹和浩普
夫在1930年左右研究流形的交口环．1935年 到1938年亚力山大、切赫、惠特尼(H．Whitney，1907
—1989)、柯尔莫哥洛夫( А．Н．Колмогоров，1903—1987)等人独立引进复形的上积．后
来才证明(195 2)一般同调不一定有上同调那种自然的乘法．上同调具有环的结构，带来更多的应

用．19 47年，斯廷洛德(N．Steenrod，1910—1971)定义了平方运算，后来发展成上同调运算的理 论．
同样在三十年代，另一个更广泛的概念——同伦产生了．同伦观念的重点由拓扑空间的性质转
移到空间与空间的映射的性质上．1895年庞加莱定义的基本群是第一个同伦群．其后布劳威尔、浩
普夫等人对于球面到球面的映射进行过初步的研究，得出拓扑度的概念．尤其是1931年浩普夫映射
的 发现促使人们注意连续映射的研究．1932年，切赫在国际数学家大会上定义了高维同伦群，但未
引起 注意．1933年波兰数学家虎尔维兹(W．Hure- wicz，1904—1956)对连续映射进行研究 ，在1935
—1936年发表四篇论文，定义了高维同伦群并研究了其基本性质．虎尔维兹还定义了伦 型的概念，
由于当时所知的大多数拓扑不变量均为伦型不变量，使同伦论的研究有了巨大的推动力．19 42年列
夫希兹的《代数拓扑学》问世，标志着组合拓扑学正式转变为代数拓扑学．

第二节 老学科的新进展


一、复变函数论



19世纪数学上最主要的成就之一是复变函数论的产生与发展．有人说“19世纪是函数论的 世
纪．”实际上，19世纪研究的主要是特殊函数，特别是椭圆函数及其推广，以及特殊的应用，尤其< br>是用残数演算计算定积分和为绘制地图而进行的保形变换的研究．复变函数论三个奠基人是柯西、
黎曼和魏尔斯特拉斯，他们各有一套方法和课题，各有自己的追随者．到19世纪末，出现了这三条
途径 的融合，形成了统一的复变函数论，另外，把一般函数论作为函数论的主要方向大大扩充了函
数论的研究 领域．

整函数及亚纯函数理论．比多项式复杂的函数是超越整函数，n次多项式有n个根，它 可以表示
为各因子的乘积．如果复变元z的复值函数在所有不等于∞的点z处全纯，则称f(z)为整函 数．当∞是
f(z)的极点，f(z)就是多项式，而不是多项式的整函数，就是超越整函数，例如e< br>z
，，sinz，cosz等．魏
尔斯特拉斯最先研究一般(超越)整函数，他在187 6年把整函数表示成典范乘积．他还证明，所有复
值都是f(z)可以趋于任何复数值C．1879年法 国数学家皮卡(E．Picard，1895—1941)证明了皮卡大定
理：每一个超越整函数f(z )对每一有限值w，最多除了一个之外，都取无穷多次．这个定理成为后来
值分布理论的出发点．这个可 能不取的值称为例外值，如果我们把∞也算一个值，则例外值可以有
两个．儒利雅(G．Julia，1 893—1978)在1919年把皮卡定理加以精密化，他证明，对于超越整函数，
至少存在一个方向 ，在这个方向的狭窄角域中，皮卡定理也成立，这个方向称为儒利雅方向．

比整函数再稍微复 杂一些的函数是亚纯函数(半纯函数)，它在复平面上可以有极点．同样，魏
尔斯特拉斯也给出了表示． 1877年瑞典数学家米塔格—莱夫勒(G．Mittag－Leffler，1846—1927)给
出部分分式的表示：

对于亚纯函数，皮卡大定理也成立．在经过许多人研究之后，芬兰数学家 耐凡林那
(R．Nevanlinna，1895—1980)对于亚纯函数的值分布理论进行了统一的 论述．他引进了特征函数T(r)
及亏数等概念，证明了第一、第二定理，使值分布理论成为精致的定量 理论． 1935年芬兰数学家
阿尔福斯(L．V．Ahlfo－rs，1907—)用拓扑的方法建立 了覆盖面理论，由它不仅可推出耐凡林那理
论，而且还得出亚纯函数许多其他结果，由它还明确了例外值 个数2的拓扑意义，它与球面的欧拉
示性数有关．其后的值分布理论是本着耐凡林那理论的模式向一般区 域或黎曼面上推广．

幂级数及狄利克雷级数是应用最多的复变函数，从19世纪末有着多方面 的研究．特别是一个幂
级数的收敛圆周成为自然边界的条件，有各种各样的缺项定理．应用上最常用的是 陶伯尔型定理．陶
伯尔型定理是



奥地利数学家陶伯尔(A．Tauber，1866—1943)给出逆定理成立的条



李特尔伍德的陶伯尔型定理推广到可测函数，进而证明素数定理．在数


的研究，另外也有相应的陶伯尔型定理，在数论上有许多应用．

函数论一 个重要方面是保角映射，其基本定理是黎曼映射定理(1851)．它指出单连通区域之间
可通过解析函 数进行保角映射．在区域D内定义的单值解析函数f(z)，如D内不同两点映到不同点，
称为单叶函数 ．单叶函数理论是保角映射的重要组成部分，在单位圆内单叶函数族的理论开始于科
贝(P．Koebe ，1882—1945)单值化问题的研究．他于1909年得出畸变定理，畸变定理反映函数值的
某种 限界．德国数学家比勃巴赫(L．Bieberbach，1886—1982)在1916年推导定量结果时， 得出单叶
函数系统理论，同时证明单叶函数｜a
2
｜≤2，他猜想｜a
n｜≤n．几十年来，数学家对所猜想发表
了上千篇论文，研究了各种方法，特别


方程，首先证明｜a
3
｜≤3．美国数学家席弗尔(M．Schiffer，1911 —)在1938年引进变分方法，后得
出｜a
4
｜≤4(1956)．到1972年才 证明对a5，a6比勃巴赫猜想成立．出乎人们意料，美国数学家德、
布兰吉斯(L．de Biang es，1932—)1984年一举完全证明比勃巴赫猜想，从而结束了这个问题近七十
年的历史．
对于开黎曼面的分类，最初是分型问题，即区别是一圆盘还是复平面是开黎曼面的覆盖面．由芬兰数学家阿尔福斯、梅尔堡(P．J．Myrberg，1892—1976)等人在三十年代初开始研究 ，后来进入
一般开黎曼面的分类，这是从撒利奥(L．Sario，1916—)1946年的工作开始 的．

函数论方面一个老问题是单值化问题，也就是象圆x
2
+y
2
=1这样的代数函数，能不能找到一个单
值的参数表示(如x=cost，y=sint就是) ．19世纪许多大数学家都对此做过贡献．一直到1907年，整个
问题才由科贝和庞加莱独立地解决． 像代数函数这样的多值函数，怎样表示为单值化的曲面上的单
值函数的问题，早在19世纪中叶由黎曼得 出富有想象力的黎曼面的观念．他的几何思想不仅推动几
何函数论的发展，而且也预示着曲面拓扑学的萌 芽．1913年，德国数学家外尔(H．Weyl，1885—


时代的著作，对黎 曼面做了抽象的刻划，引进了复流形的概念．匈牙利数学家拉多(T．Rado，1895
—1965) 及罗马尼亚数学家斯托伊洛夫(S．Stoilow，1887—1961)有着基本的贡献．对于闭黎曼曲面< br>的分类，归结为参模结构的研究．近年来，对于黎曼面的参模的结构进行了重要的研究，这方面的
工具是1928年德国数学家格罗采(H．Grotzsch，1902—)引进的拟保角映射．保角映射把地图 上一小
圆映成一个小圆，保持两条线交角不变，而拟保角映射则可看成把一个小圆映成一个小椭圆．19 39
年德国数学家台什缪勒(O．Teichmiiller，1913—1943)应用极值保角映射 观念研究黎曼面的模，他的
文章极为晦涩后来发现思想倒是对头的．战后沿着这条路线取得了巨大进展．



二、调和分析



傅里叶级 数原来是处理直线(－∞，＋∞)上，周期为2π且在[0，2π]上可积的数值函数(最好令
其为复数 值)，这样的函数f的傅里叶级数是



由于e
inx
= cosnx+isinnx，因此可用sin和cos来表达傅里叶级数．这种实的形式在几何上更直观，复指< br>数形式在代数上更容易处理和推广．主要问题是函数f的傅里叶级数的“和”是否存在，是否“等于”f．最初“和”与“等于”自然地理解为逐点收敛的，后来自然的和更富成果的是几乎处处收敛与依
范数收敛．人们早就知道，存在连续函数的傅里叶级数，它在某一点上，甚至在许多点上发散．如
果考虑 齐撒罗意义下的求和，则费耶尔(，1880—1959)定理(1904)指出：在这种意义下每一连
续函数f的傅里叶级数逐点收敛于f．但可积函数情况就差得多，柯尔莫哥洛夫证明若只要求f∈L
1< br>[0，
2π](即f在[0，2π]上可积)，则f的傅里叶级数可以几乎处处发散(1923) ，或甚至于处处发散(1926)．

鲁金提出：如果f∈L
2
[0，2π] ，则f的傅里叶级数是否几乎处处收敛于f呢？过了50年仍无法回
答这问题，想证明答案是肯定的努力 ，遭到无数次失败以至50年代到60年代专家们几乎一致认为，
鲁金问题的答案必定是否定的．令人感 到惊异的是：答案却是肯定的．1966年，瑞典数学家卡尔松
(L．Carleson，1928—) 给出了第一个证明，他的成就的一个突出之点是他没有用到以前所不知道的
技巧．次年洪特(R．A．H unt)证明，对f∈L
p
[0，2π]其中1＜p＜∞，则f的傅里叶级数几乎处处收敛于f．这样就漂亮而完整地结束了傅里叶级数论中最重要的一章．

函数f及其傅里叶级数 的系数序列{a
n
}之间关系，只当平方可积函数(∈L
2
)时才有极好的性 质；即
1907年由黎斯及费舍尔独立证明的黎斯—费舍尔定理，它指出任意L
2
中的 函数都存在收敛于其自身
的傅里叶级数，反过来对任意平方可和序列{a
n
}，也都存 在L2中的函数f，使{a
n
}为其傅里叶级数的系
数序列，同时有帕塞瓦尔(M．A ．Parseval，1755—1836)定理成立：


这当然是最理想的情形．但是，对于任L
p
，1≤p≤≥∞，情形要复杂



级数．1930年起，李特尔伍德及佩利(R．E．Paley，1907—19 33)创立李特尔伍德—佩利理论，特别
是把f分解为“二进”块之和：△
0
+△1
＋…+△k＋…△
k
=∑a
n
e
inx
．用 这个分解来代替傅里级数可得
L
p
空间的结果．相应于L
p
空间，对 于单位圆上的全纯函数，哈代及黎斯建立了哈代空间H
p
理论．对
于1＜p＜∞，可证 L
p
与H
p
同构，有趣的情形只是H′及H
∞
．

以傅里叶级数理论为模式，可以在许多方向上进行推广．首先是从周期函数推广到全实线(-∞，
∞)上的任意函数，这样就产生傅里叶积分理论．对于在(－∞，∞)上的勒贝格可积函数f，可定义其
傅里叶积分或傅里叶变换式


傅里叶积分理论大致与傅里叶级数理论平行，也有许多差别，例如对周


的 函数．与傅里叶级数情形类似，L2的情形最理想，对此普兰舍瑞尔(M．Plancherel，1885－1 967)
在1901年到1915年进行研究，特别是1910年证明了普兰舍瑞尔定理：傅里叶变换F 及其逆变换F
－1
是L
2
空间到自身的等距变换．这定理是后来许多推广的出 发点．由此推出帕舍瓦尔定理成立：


其中‖‖
2
表示L
2
中的范数，对于L
p
空间，1≤p≤2，相应的等式只有不等式



年得出的．由此出发，发展出一套算子内插理论．

第二次世界大战前后， 傅里叶分析向多维化及抽象化方向发展，多维傅里叶分析正如多复变函
数论一样，与一维情形相距甚远， 最早是波赫纳的工作， 50年代起卡尔德隆(－ron，1920
—)与齐格蒙所创立的奇异积分理论 起着最重要的作用．其后，斯坦因(E．M．Stein，1931—)和外
斯(G．Weiss，19 28—)把H
p
空间理论推广到高维，而且还在一维问题也有突破．1971年巴克荷路德(D．Burkholder 1927—)等人用概率论的方法刻划H′中函数的实部，次年费弗曼(C． Fefferman，1949
—)及斯坦因把它推广到n维．同时，费弗曼证明，H′空间的对偶空间 是BMO，这里BMO是1960年
由约翰(F．John，1910—)及尼仑伯格(L．Niren berg，1925—)引进的有界平均振动函数空间，这个
结果也被立即推广到n维．
由于周期函数可以看成是定义在圆圈群T上的函数，R本身对加法也是交换群，调和分析最大的
推广 是推广到一般的群上．这在五十年代产生出抽象凋和分析的理论．对于局部紧交换群，有一套
漂亮的理论 ，例如用代数方法证明1932年维纳的强有力的广义陶伯尔型定理，而对于局部紧李群，
则与艰深的群 表示论方法结合，形成非交换调和分析的庞大分支．



三、微分方程



常微分方程的研究随着微积分的诞生就已开始 ．从天文学、力学、物理学及几何学的问题引进
各种常微分方程．18世纪到19世纪数学家用各自方法 进行求解，除了明显形式解之外，主要是通过
幂级数及积分把解表示出来．19世纪初，通过数学物理方 程经过变量分离法，导出许多特殊的常微
分方程，如贝塞尔方程、勒让德方程等，对它们解的研究构成了 特殊函数的重要分支．一般常微分
方程求解问题，首先是拉格朗日发展的．在19世纪中叶，由于黎曼及 富克斯(L．Fuchs，1833—1902)
的工作形成了系统的解析理论．但直到19世纪最后2 0年，常微分方程理论才形成自己的理论基础．

首先是常微分方程的代数理论．受到代数方程 的伽罗瓦理论的启发，皮卡在1883年把群论引进
线性常微分方程，其后法国数学家德拉什(J．Dr ach，1871—1941)和维索(E．Vessiot，1865—1952)
继续这方面的工作 ．伴随着抽象代数学的发展，这理论溶入微分代数学的框架之中，到五十年代又
纳入代数群理论当中．< br>
现代微分方程论的基础是解的存在性、唯一性以及连续性等等，因为大部分微分方程的实际背< br>景是来自自然界的描述，而其解则反映自然界的客观运动规律，因此解的存在性、唯一性有着重大
的现实意义．关于常微分方程解的存在性的考虑，首先来自柯西，他的一系列论文奠定了各种存在
性证明 的基础．第一种方法来源于欧拉折线法(1768)，柯西在1820年建立，李普希兹(R．Lipschit z，
1832—1903)于1869年作了改进，皮亚诺在1890年得到存在性定理，配隆在191 5年又加以改进，他在
1925年还得出初值问题的充分必要条件．对于解析系数的方程，柯西在184 0年用所谓极限演算即优
函数法证明解的存在性．第四种方法来自拉格朗日的常数变易法，后来庞加莱推 广成小参数法．

常微分方程论主要困难还在于非线性问题．1881年到1886年，庞加莱 发表一组四篇题为“由微
分方程所确定的积分曲线”的论文，开辟了微分方程定性理论的新方向．他一反 过去具体局部求解
的做法，而着重研究大范围内解的曲线形态，他发现，微分方程的奇点起着关键的作用 ．于是，他
把奇点进行分类，然后研究解在奇点附近的性态，这样可以定性地确定解是否稳定．

俄国数学家李雅普诺夫(А．М．Ляпунов，1857—1918)从1892年起从另一角度研 究稳
定性问题，他的方法是定量的．他证明，在奇点附近解的稳定性依赖于特征方程的根，如果根都具< br>有负实部，则方程所有解才是稳定的．

1901年瑞典数学家本迪克逊(I．Bend ixson，1861—1935)提供了判断某区域内存在闭轨道的准则，
并证明庞加莱——本迪克逊 定理，这个定理给方程存在周期解一个肯定的判据．

微分方程在假定解的存在性及连续性前提 之下，应用相空间的拓扑结构及向量场的解析结构可
以得到解的行为的定性信息(如稳定性、周期性、回 归性等等)．如庞加莱提出猜想：狭义三体问题
存在无穷多周期解．他没能够证明它，只是在他临终前几 个月，把这个问题归结为一个拓扑定理，
所谓“庞加莱最后的问题”：由两个同心圆构成的圆环保持面积 不变，且在两同心圆上方向相反的
一对一连续映射，一定在圆环内至少有两个不动点．没有料到，庞加莱 去世还不到半年，美国数学
家柏克霍夫(G．D．Birk－hof，1884—1944)就证明了这 个定理，使欧洲数学界大为震惊．柏克霍夫
受庞加莱的强烈的影响，在1912年到1931年二十年间 ，应用拓扑技术，研究动力系统许多问题，特
别是极限集、回归性、极小集的结构等．他的工作总结在1 927年出版的《动力系统》(Dynamical Systems)
一书中．30年代，苏联数学家 开始研究动力系统，他们得到一些基本概念，特别是流及结构稳定性
等．另外，他们在李雅普诺夫稳定性 理论中也有许多贡献，特别是许多新工具、新方法在定性理论
上有种种应用，其中包括：不动点理论、拓 扑度理论、半群理论、同调理论、代数几何方法等等．

动力系统另一重要问题也来自天体力学 ，这就是周期系数的常微分方程的同期解的存在问
题．经过厄米特(1877)、皮卡(1881)的研 究，希尔(G．Hill，1838—1914)的工作及庞加莱关于渐近解
的观念之后，富洛凯(G． Floquet，1847—1920)在1883年给出一个完整线性方程的理论．到20世纪，
周期 系数推广到概周期函数上面．1924年到1926年丹麦数学家玻尔(H．Bohr，1887—1951，著 名物
理学家玻尔的弟弟)开创了这方面的理论，其后博赫纳(S．Bochner，1899—1982 )及冯诺伊曼作出
重大贡献．1933年法瓦(，1902—1965)出版这方面的第一部书，书中给 出一阶线性概周期系
数方程具有概周期解的充分条件，后来还推广到非线性方程上面．

偏微分方程的出现要比常微分方程晚半个世纪，最早是达朗贝尔(1744)及欧拉研究流体力学开
始 的．18世纪末，从位势理论中产生拉普拉斯方程．对它的研究一直贯彻到19世纪末，研究热传导
方程 使傅里叶得到傅里叶级数．波动方程的求解导致黎曼、克里斯托费尔关于间断解的研究．这些
二阶线性方 程虽在1889年由德国数学家杜布瓦累芒加以分类，分别称为椭圆型、抛物型及双曲型方
程，但是一般 理论并不成熟．当时只有柯西及柯瓦列夫斯卡雅的存在定理．而一般理论到本世纪初
才由阿达马开始探讨 ．他1903年声称偏微分方程的“适定”问题，不仅要求解存在及唯一，而且要
连续地依赖于给定的初 始条件或边界条件，否则就不是有物理意义的解．

这种连续性的要求，不仅是泛函分析的源泉 ，也是应用泛函分析的领域．如现在偏微分方程最
常用的方法是先验估计，首先证明对条件的连续性，然 后应用泛函定理(巴拿赫定理及黎斯定理)证
明存在性和唯一性．反过来，巴拿赫的闭图象定理又可以在 多种情形下，由存在性及唯一性证明连
续依赖性．另外，阿达马对于二阶正规型双曲型方程引进基本解( 法文称初等解)的概念．1930年勒
瑞、肖德尔的不动点定理，索保列夫(С．Л．Соболев 1908—)在1936年引进广义解的概念，
尤其是施瓦兹的整个广义函数论，给偏微分方程提供了系 统的函数空间工具．

第二次世界大战以后，偏微分方程理论取得巨大的发展：1954年左右 马尔格朗日(Malgrange，
1928—)等人证明对于常系数线性偏微分方程都存在基本解．1 956年刘威举出著名的反例，对于先滑
系数线性方程可能没有解存在．1958年卡尔德隆证明光滑系 数偏微分点子的柯西问题的唯一性条
件．1970年，尼仑伯格等人分别得出这类方程有解的充分条件和 必要条件．1973年，费弗曼等人得
出充分必要条件．在这个过程中，1956年许多人同时引进一大 类伪微分算子，1968年又被推广为傅
里叶积分算子．这一大类算子不仅包含以前所知的微分算子，而 且也包括奇异积分算子．它们的集
合构成算子代数，具有很好的不变性质．

1967 年，加德纳等人解决了浅水波的考德威克赫(D．J．Korteweg1848—1941)—德夫瑞斯(A． de
Vries，1858—1939)方程的孤立子解，震动了整个数学及物理学界，它们的方法是 逆散射方程，即
利用散射数据．



四、代数几何学



代数几何学的对象原来是欧氏平面中的代数曲线以及三维欧氏空间中的代数曲线 及曲面，后来
推广到高维欧氏空间中的代数方程组所定义的代数簇．从几何上来看，它是解析几何学的延 长，在
解析几何学中对于二次代数曲线和曲面已有相当完整的结果，从牛顿起着手对三次代数曲线进行分
类．18世纪，代数几何学的基本问题是曲线和曲面的交截问题，这在代数学上是消去法问题．随着18世纪末射影几何学的兴起，开始了射影几何方法的研究．这时引进无穷远点及虚点，考虑问题也
从实数扩张到复数．德国数学家普吕克(J．Plücker，1801—1868)在 1834年得出平面曲 线的普吕克
公式，它联系平面代数曲线的阶数、类数、二重切线数、拐点数等等．特别由此证明一切三阶 曲线
均有几个拐点．1839年他发现四阶曲线有28条二重曲线，其中至多8条是实的．黎曼的函数论 方法
对代数几何学以极大促进，他把代数曲线作为黎曼面上的函数论来研究，黎曼更引进第一个双有理< br>变换不变量——亏格，开辟了代数几何学新的一章，他和他的学生洛赫(G．Roch，1839—186 6)得
出黎曼—洛赫定理是代数曲线的基本定理，也是各种推广的出发点．黎曼去世之后，他的成就为各
种流派所继承．首先是克莱布什(R．Clebsch， 1833—1872)重新把黎曼用函数论方 法得到的结果改
写成代数曲线的结果，而他的学生M．诺特(M．Noether，1844—1921 )则是代数几何方向的首创者．他
在1871年首次证明平面代数曲线的奇点解消定理，1874年和布 瑞尔(A．Von Brill，1842—1935)合作，
引进线性系的概念，给黎曼—洛赫定理一 个代数的证明．1882年M．诺特和哈尔芬(G．Halphen，1844
—1889)把他们的工 作推广到空间代数曲线上．同年，诺特给出三维射影空间内代数曲线分类的表，
戴德金和韦伯开辟了以理 想为基础的代数方向，而克罗内克则是以除子为基础．

到19世纪中叶，代数曲面只有零散的特殊结果．1849年，萨蒙(G． Salmon，1819— 1904)及凯
莱证明在没有奇点的三次代数曲面上存在27条直线．一直到1868年克莱布什才从双 有理变换观点讨
论代数曲面．它定义第一类重积分，并征明其线性独立的最大数目是双有理不变量，称为 几何亏格
P
g
，它与凯莱在1869年由另外途径引进的算术亏格P
a
一般并不相等(1871年错玉登H．G．Zeuthen，
1839—1920，及诺特在1875 年证明其不变性)．从1870年起M．诺特发展了他的思想，他还引进曲面
的线性亏格P
(1 )
，并研究曲面上代数曲线得出曲线亏格公式，他还引进例外曲线的概念．从19世纪80
年代 末起，意大利的代数几何学派继承了M．诺特的几何思想，开始对代数几何学、尤其是代数曲
面进行研究 ．其主要代表人物是卡斯泰努沃(G．Castelnuo- vo，1865—1952)、恩瑞克斯(F．Enriques，
1871—1946)和稍晚的塞 梵利(F．Severi，1879—1961)，他们主要的结果是代数曲面的分类．头一个
结果是贝 尔蒂尼(E．Bertini，1846—1933)在1877年给出的平面对合变换的分类，1893年，卡 斯泰努
沃解决了吕略特(J.Lüroth，1844—1910)问题，1896年他提出并解决用数 值不变量刻划有理曲面的问
题，曲线只有唯一数值双有理不变量——亏格，亏格为0是曲线是有理曲线的 充分且必要条件，对
于曲面则有多种不变量：除了P
g
，P
a
，P< br>(1)
之外还有恩瑞克斯引进的多亏格P
k
(k≥2)与曲线的情形不
同， P
g
＝P
a
＝0还不足以保证代数曲面是有理曲面，要保证这点的充分 必要条件是Pg＝P
2
=0．恩瑞
克斯给出曲面是直纹曲面(直线与一个亏格为g的曲 线的乘积)的充分必要条件是P
4
＝P
6
＝0．另外还
发现一些特殊 的曲面，最主要的是恩瑞克斯六阶曲面和K．曲面．K
3
曲面的一个特殊情形是库默尔
于19世纪60年代引进的具有16个二重点的四阶库默尔曲面．这一切都导致恩瑞克斯在20世纪初一系
列论文中对于曲面的分类．1914年，由P
12
的不同分成四大类．意大利学派这方面的成 果总结在1949
年出版的恩瑞克斯《代数曲面》(Le superficie algeb- iche)一书中．

与意大利学派大约同时的是法国的超越方法，从某种意义上来讲，这是黎 曼研究代数曲线观点
的直接继续，只不过把单变量代数函数论推广成两个变量代数函数论，即由三个复变 量的不可约多
项式P(x，y，z)=0定义的代数函数．黎曼研究的黎曼面的拓扑结构及黎曼面上的有 理函数及阿贝尔
积分都被庞加莱及皮卡推广到代数曲面上，但是代数曲面情形要复杂得多．皮卡在189 9年发展了第
二类二重积分理论，不过独立的数目与亏格无关．



五、微分几何学



微分几何学是随着微积分一起产生的．有了 微积分这种有力工具，加上解析几何带来的坐标表
示，不难求出给定曲线的切线，曲线的长度，曲线的曲 率(弯曲程度的度量)．对于三维空间中的曲
面，可以具体求出曲面在一点的切平面，法线，并研究曲面 上曲线的一些性质．1827年德国大数学
家高斯建立了曲面的“内在”几何学．他用曲线坐标(好像球 面上经纬度)来代替三维笛卡儿坐标，
证明曲面在一点的全曲率(即高斯曲率，为两个主曲率的乘积)， 只依赖于曲面上两点间的无穷小距
离平方ds
2
，与如何把曲面嵌入到三维欧几里得空 间的方式无关．黎曼发展了高斯的思想，把几何从
二维、三维推广到任意维，把曲线、曲面推广到任意维 流形，从而开拓了黎曼几何的新篇章．它的
主要工具是张量分析．

在黎曼的影响下， 德国数学家克里斯托费尔(-stoffel，1829—1900)把ds
2
推广成一般的形
式∑gijdxidxj，研究在局部坐标变换之下，两个ds
2
是如何互相变换的． 这样他引进了以他名字命名
的克里斯托费尔记号Г
jk
i
．利用这个记号他能 够对于向量场进行微分，即所谓协变微分法．1887年
意大利数学家里奇(R．Ricci-Curb astro，1853—1925)定义了张量概念，在克里斯托费尔公式的启发
下，定义了张量的一般 运算，即协变微分或绝对微分法．有了这个工具，对于黎曼几何的研究对象
黎曼流形(即微分流形具有一 个指定的正定黎曼度量ds
2
)，也可以定义类似高斯曲率的量，但这时曲
率不是一个 数量，而是一个张量，称为曲率张量(或黎曼——克里斯托费尔张量)．如果曲率张量处
处相等，则黎曼 流形称为常曲率的．非欧双曲几何(罗巴切夫斯基几何)，就是研究曲率＜0的常曲率
空间；而非欧椭圆 几何，则是研究曲率＞0的常曲率空间．普通欧几里得空间，处处曲率都等于0．

20世纪初 ，微分几何学还与克莱因的变换群观点下的几何学结合起来，形成了射影微分几何学、
仿射微分几何学及 保形微分几何学．射影微分几何学研究空间中图形的微分几何性质中在射影变换
群下不变的那些性质．在 达布(x)的曲面论中已多处看到其萌芽．本世纪初，美国数学家
魏尔钦斯基(E．J．Wilczyn ski，1876—1932)和意大利数学家福比尼(G．Fubini，1876—1943)独自进
行了系统的研究，后来E嘉当、切赫、意大利数学家邦比安尼(E．Bompiani， 1889—1975 )均作出
重大贡献．相应有仿射微分几何学．对这种几何学，定向闭超曲面的体积是不变量．对于这种几 何
学，能够应用活动标架法．在这方面作出主要贡献的是德国数学家布拉施克(W．Blasckke， 1885—
1962)，他特别对曲线、曲面得出大范围性质．布拉施克也对保形微分几何学进行研究． 他的《微分

几何学讲义》(Vorlesungen über Diferentialg eometrie)(Ⅱ1923，Ⅲ1929)长期以来是这方面标准著作．
1901年里奇和他的学 生列维—奇维塔(T．Levi-Civita，1873—1941)系统地建立了张量分析的技
术， 提出求绝对微分不变式的一般问题，并且指出这些与坐标选取无关的量在物理问题与数学问题
中肯定是有 意义的．20世纪初，张量分析还只是少数数学家手中的工具，而一旦被爱因斯坦用在广
义相对论上，不 仅物理学家找到理想的数学工具，反过来激发人们对于黎曼几何及张量分析的兴趣，
从而极大推动了微分 几何学的发展．数学家决不满足于只给物理学家提供工具，他们要走自己的道
路，而在这条道路上后来依 然不断地为物理学提供工具．

由于黎曼几何学在爱因斯坦广义相对论中取得成功，引起了数学 家对黎曼几何学的各种推
广．芬斯拉(P．Finsler，1894—1970)在他的1918年博 士论文中首先把线素ds中的基本张量gij推广，
即gij不仅依赖空间中的点而且还依赖该点切向量 的方向．因此，由度量得到克里斯托费尔符号不规
定联络．于是E．嘉当由一般联络理论定义芬斯拉空间 上的联络，不过，它具有三种曲率张量，从
而比黎曼空间复杂得多．更一般的道路几何学由美国数学家爱 森哈特(L．Eisenhart，1876—1965)及
维布伦在1922年提出来，以微分方程定 义的道路为空间的基本元素．另外，E嘉当提出以面积元
素为基础的空间，称为嘉当空间，1937年日 本数学家河口商次(1902—1984)更提出更一般的高阶线
元空间或河口空间．

1917年，列维—奇维塔提出平行移动的概念．他的出发点是考虑黎曼流形上两个向量平行的意
义， 他把向量场X(t)沿曲线Г平行移动定义为X(t)，对曲线的协变微分等于0，由此推出沿着测地线(也就是短程线)，曲线切向量是平行移动的．这样可不必通过ds2得出曲率概念．1918年，外尔注意到< br>平行性是仿射几何的概念，与度量无关，因此从黎曼空间中除去度量性质，只保留平行概念就可以
得出更广的几何理论．为此他提出第一个联络的概念——仿射联络，它可以看成是Г
jk
i的变换关系
式的推广，但却不依赖于ds2的选取．这样通过联络可以直接引进曲率，而不必籍助于 度量．这种几
何理论叫仿射联络几何学．其后E．嘉当进一步发展了联络的概念，他在1922年到19 23年引进仿射
联络、射影联络、保形联络，建立了系统的联络理论．同时，他发展了由达尔布及黎包古 尔
(A．Ribaucour，1845—1893)发展的“活动标架法”，这成为他发展一般联络理 论的工具．

20世纪的微分几何学另一个重要发展方向是大范围微分几何学．以前的微分几何 学局限于每点
临近的范围，只限于描述局部的性质，而对于整个曲面或流形的性质则所知甚少．19世纪 末起，许
多几何学的研究，涉及局部性质与整体性质的关系：阿达马1898年证明，一个完备的单连通 ，处处
曲率非正的曲面一定同胚于欧氏平面．1899年希尔伯特证明，三维欧氏空间中不存在处处曲率 为负
的完全曲面而没有奇点，从而指出非欧双曲几何的曲面模型在空间中一定有奇点．德国数学家李伯< br>曼(W．Liebma- nn，1874—1939)在1899年证明三维欧氏空间中完备的正常曲率团曲面一定是球面．
< br>测地线为局部性质和整体性质的相互关系提供了另外一个突出的例子．所谓测地线就是曲面上
一条 距离最短的曲线C，也就是从C上一点P到C上另外一点Q的路径中，如果P和 Q不相距太远的话，
沿 着C的路径是曲面上所有(P到Q的)可能路径中最短路径．因此，在通常的球面上，每个大圆是一
条测 地线．几何学家已在许多特殊的曲面上明显指出测地线来．庞加莱首先研究在紧流形上，不同
的封闭测地 线的存在和数目问题，其后经过美国数学家柏克霍夫、莫尔斯和前苏联数学家刘斯铁尔
尼克(Л．А．Л юетсрник，1899—1981)，施尼列尔曼和其他人的工作，得到一个一般的
存在性定理， 这定理断言，在给定的闭凸曲面上至少存在三种不同的简单闭测地线．莫尔斯曾举出
一个例子，表明这个 结果中的三条是最佳的数字，不能再改进了．克林根柏格(W． Klingenberg，
1924—)和其他人把这个结果由曲面推广到高维情形．

另一个研究最多的问题是极小曲面问题．1873年普拉托(J．Plateau，1801—1883)的著 作《实验
和理论流体静力学》出版，他是比利时物理学家，长期以来对肥皂泡进行了大量的研究．他把金 属
丝圈成各种封闭的曲线形状，浸泡在肥皂水或甘油溶液中．当金属丝圈被拉出来时，在金属丝圈上就张上一层肥皂薄膜．由于表面张力的作用，在同一边界曲线上张成的曲面是所有可能的曲面中面
积 最小的，在数学上称为极小曲面．所谓普拉图问题就是要证明这样的定理，对于给定任意形状的
边界线圈 ，只假定边界闭曲线是可求长度的(即有一个长度)，那么总存在一个极小曲面．实际上数
学家早就考虑 过这个问题，拉格朗日在1760年就已经用变分方法推导出极小曲面应该满足的偏微分
方程，这是一个 二阶的非线性偏微分方程，因此问题就变成解这个方程了．尽管19世纪许多大数学
家如魏尔斯特拉斯和 施瓦兹等人都对此做出贡献，但一直到1930年这个解的存在性才首先由匈牙利
数学家拉多和美国数学 家道格拉斯(J．Douglas，1897—1965)所证明，但是，他们的解并不排除曲面
可能存 在奇点(它们是分支点)．1970年奥斯曼(R．Osserman，1926—)的研究排除掉这种可能性， 他
证明极小曲面不出现分支点．



六、李群与李代数



丢东涅说过“李群成为数学的中心，没有它什么大事也干不成”，这句话虽说有点 夸大，但的
确反映出李群同几乎所有纯粹数学部门——拓扑学、微分几何学、代数学、数论、多复变函数 论、
微分方程论、调合分析等领域不可分的密切关系，而且对物理、化学也是必不可少的工具，就连经< br>济学也有李群的用武之地．

1．李群的刻划和结构．

李群是挪威数 学家李(S．Lie，1842—1899)的创造．他的思想来源有三方面：一是几何学，他
和克莱因 曾经共同合作研究几何学，他们把几何学对象由具体的几何图形转换到变换群上，这明确
在克莱因的埃尔 兰根的纲领中得到表述．1872年他们似乎有一种默契对他们各自的研究领域有一个
分工：克莱因研究 离散变换群，而李则研究连续变换群．二是微分方程论．李的老师西洛把伽罗瓦
理论引进挪威，对李有深 刻的影响，既然有限置换群是研究代数方程可解性的工具，李引进“有限
连续群”(即后来的李群)就是 为了研究微分方程的可解性的．换句话说，也就是发展微分方程的伽
罗瓦理论．三是力学，李在1870 年引进“切触变换”的概念，对他来讲，重要的一步是把两函数的
波松括号解释为两个无穷小变换的切触 变换的括号，这个括号引导他研究李群的局部结构(也就是李
代数)的性质．

李产生 “有限连续群”的概念是在1873年，在1874年到1879年发表的头一批论文中他只用群的
封闭 性，并且还有许多不确切的地方．在1880年他发表的《变换群论》(Theorie der Tr- ansformations
gruppen)才假设群的元素的逆元素存在，并修正以前的一些错误 ．李自己关于有限连续群较好的论
述是他同他的学生德国数学家恩格尔(F．Engel，1861—1 941)合著三卷《变换群论》(1888—1893)
中表述的，其中他首先定义某一区域D上的变换 ：

x′
i
=f
i
(x
1
，…，x
n
)(i＝1，…，n)

其中f
i
均是解析函数，如果函数行列 式不等于零，则局部(在D中某点适当邻域)的这个变换有逆
元素．其次，他考虑依赖于r个参数a1
，…，ar的变换：

x′
i
=f
i
(x< br>1
，…，x
n
；a
1
，…a
n
)．

这样得到一组变换．如果两个变换的乘积也在这组之中，那么这组变换就称为有限连续群．不
过 ，他们也注意到这时必须假定幺元素及逆过元素存在，否则可能构不成群．不过李和他的合作者
实际上考 虑的是无穷小变换和由无穷小变换构成的“李代数”，并证明了三大基本定理．实际上，
李代数是r，维 线性空间，具有乘积[A，B]，它满足[B，A]=-[A，B]，[A，[B，C]]＋[B，[C，A]＋
[C，[A，B]]＝0．第二个等式即雅可比恒等式．由此可见，它是非交换、非结合的线性代数．李 还
证明：局部同构的李群定义同一李代数．他们以为反过来也对，实际上这是错误的．这样他们把研究李群问题归结为李代数的研究．

从1883年起，李等人开始研究李代数的结构，而且 得出四个类型局部单李群，即射影线性群，
射影正交群及射影辛群，这就是后来的典型李群(李代数)的 来源．1888年到1890年，德国数学家基
林(W．Killing，1847—1923)更找出 例外的单李群．1894年法国大数学家嘉当在他的博士论文中弥
补了基林等人的漏洞，证明半单李群为 单李群的乘积，证明单李群即是基林发现的五种例外群以及
李的四类典型群．实际上完成了复数域上单李 代数的结构及分类的研究．1914年，他研究实数域上
单李代数的结构．大约同时，他在单李代数结构 理论的基础上引进了“权”的概念，决定了复单李
代数的所有不可约表示．

到192 5年左右，对于原来的李群的整体(大范围性质)了解很少，由于外尔的几篇论文(1925—
1927 )才真正开始李群论的研究．外尔把E．嘉当的无穷小方法和弗洛宾尼乌斯和I舒尔(I．Schur，
1875—1941)的有限群的特征标理论结合起来，把胡尔维茨(A．Hurwitz，1859—1919 )的积分技巧搬
到紧群上．他证明半单李群的表示是完全可约的．稍后又得出紧群的表示理论并为它在物 理学上的
应用开辟道路．E嘉当(1927—1930)在外尔工作的启示下建立起半单李群和对称空间 的漂亮理论，
拉姆(G．W．de Rham，1903并开始通过不变微分形式来研究对称空间的实上 同调，后来导致德
—1990)定理的产生(1931)．对李群及对称空间的拓扑学研究还导致李代数 上同调、纤维丛及示性类
的丰硕成果，使拓扑学及微分几何学呈现崭新的局面．

这样 ，李群理论由分析及微分方程开始，转变成代数的理论(李代数)，又由局部转变成大范围
理论，最后到 三十年代与拓扑学及微分几何学连系在一起，在各方面发挥重要的影响．

2．李群概念的演化及推广

虽然李把他的“群”称为有限连续群，实际上，它既不有 限且元素数目有限必定离散即不连续．他
用函数定义变换是解析的，至少也要可微的．所以希尔伯特在他 的巴黎数学家大会上提出的23个问
题中，第5个问题就问是否能把解析及可微的条件简化为“连续”． 其后由于抽象代数学及拓扑学
的发展，促使人们对李群概念进行分析，李群一身兼三任：既是解析流形， 又是拓扑空间，还是群．兼
备拓扑空间和群两方面的结合是拓扑群．

一般的拓扑群概 念是施莱尔(O．Schreier，1901—1929)在1927年首先提出的，他给出一组一般
的公理：一方面有群的公理，一方面是拓扑空间(一般是豪斯道夫空间)，群与拓扑的关系是群的运
算在 该拓扑之下是连续的．如果加上群的每元素局部与欧氏空间开集同胚，则称为局部欧氏群．但
李群一般不 一定紧，最接近李群的是局部紧拓扑群．1933年匈牙利数学家哈尔(A．Haar，1885—1933)