slug
type
status
summary
category
date
tags
password
icon
数学历史大纲by丘成桐
 
引 言
五十一年前我离开香港到加州大学柏克莱分校跟随陈省身先生,在柏克莱见到一大批有学问的学者,眼界大开,就如青蛙从井中出来见到阳光和大地一样,很快就发觉我从前在香港学习到的学问极不全面,虽然香港有某些学者自称是世界十大学者之一,事实上知识浅薄。当时香港学者能够教导学生的内容也只是数学的很小部分,因此我花了很多的努力,每天早上八点钟到下午五点钟不停的听课,从基础数学,到应用数学,到物理学,到工程科学我都想办法去涉猎,我在图书馆阅读了很多刊物和书籍。当我见到伟大数学家的著作,尤其是看到欧拉(Euler)的工作时,我吓了一跳!一个数学家能够有这么伟大而又丰富的工作,真是高山仰止,景行行止。中国二千年来的数学加起来恐怕都比不上欧拉一辈子的工作。我看到的就如庄子说的河伯见到北海若的光景。这个眼界使我胸怀大开,兴奋异常。在图书馆的期刊中找到一篇很有意思的文章,花了一个圣诞节的假期,完成了我的第一篇数学论文。这篇论文不算得很杰出,但是发表在当时最好的数学杂志,五十年后读这篇文章,还是觉得有点意思。
我在一九七九年受到华罗庚教授的邀请到中国科学院访问,文革刚结束,中国学术界正处于青黄不接的时候。经过文革这一段,很多学者已经洩了气,而年轻的学者觉得前途渺茫,国内经济困难,唯一的出路是出国。由于蔽塞已久,对于当代数学的发展并不清楚。一般学生只听过华罗庚、陈省身、陈景润、杨乐和张广厚的工作,数学家则知道多一些,但是和当时国际水平相差甚远。在一九九六年时,科学院路院长邀请了我来帮忙成立了晨兴数学中心,主要目标在引进当代最重要的数学学者到中心来讲学,聚集了中国各地的年轻学者一起学习,这些学者很多成为今天中国数学的领导人与骨干。
在八零年代和九零年代,中国的大学生大量出国,接触到最前线的数学发展。有不少留学生回国后,也确实大量的提高了中国的数学水平。但是即使如此,我们还是没有看到具有深刻而有创意的数学工作,我是说陈省身先生那样的足以留芳百世的工作!经过深思熟虑之后,我认为中国的数学发展依旧没有脱离传统的急功近利的做法,一般学者没有宏观的数学思想,不知道数学有一个多姿多采的历史,只看到数学的部分面积。所以我希望通过描述数学历史来打开我们数学学者的胸怀,做出传世的工作。
我将我所知道的数学重要里程碑约略分成八十个不同方向,我分别在几个大学为本文做过演讲,但是因为时间不足的原故,我只讨论了四十个方向,基本上只包括西方文艺复兴以后的工作,这些工作使我叹为观止。想起某些中国学者的说法:“西方用了四百年完成的科学成就,现代中国人只用了几十年!”真使人啼笑皆非。中国数学家要走的路还是“既阻且长”,恐怕我们需要做到如屈原说的“路曼曼其修远兮,吾将上下而求索!”
我希望中国的官员愿意找到时间阅读这些古代学者的伟大成就,知道中国数学学者的能力其实不隶他们远甚,对于数学知识还是相当贫乏,尤其是年纪比较大的中国数学家,他们的知识还不足够来评估近代数学的成就,尤其是对近代数学有成就的年轻人的数学并不见得了解。官方给予学者“帽子”,本来是好意,但是由于评估不再以学问为主要标准,结果却是揠苗助长。
韩愈说:“将蕲至于古之立言者,则无望其速成。无诱于势利,养其根而俟其实,加其膏而希其光。”让我们将我们数学的根养好吧!
在讨论历史上数学重要里程碑以前,我想指出,中国学者创意不足的一个原因,乃是中国学生习惯于考试,喜欢做别人给予的题目,而不喜欢问自己觉得有意义的问题。其实问一个好问题,有时比解决问题更重要!黎曼猜测和韦伊(Weil)猜想就是一个重要例子。
战国时,屈原写了一篇文章叫《天问》,大家都很惊讶,因为中国学者对于问问题兴趣不大。希腊数学家问的几个问题就影响数学两千年,平行公理就是其中一个重要的问题。
四十年前,我在普林斯顿高等研究所组织并且主持了一个几何分析年,全球不少重要的几何学家,分析学家和有关的理论物理学家在普林斯顿这个优美的地方日夕讨论,互相交流,总结了几何分析学家十年来的研究结果和经验,在该年年底,我花了两周时间,向大家提出了一百二十个几何上比较重要的问题。
这个几何年结束以后,我将当年参加讨论班的研究成果和这些问题编辑起来,在一九八二年普林斯顿大学出版社发表,这本书叫做《Seminar in Differential Geometry》。这些问题影响了四十年来微分几何的走向,大概三分之一已经得到解决,大部分解决的答案都是正面的。
我在一九八零年北京双微会议讨论这些问题,希望引起国内几何学家注意,确有不少年轻的学者开始注意几何分析,比较国外的发展,毕竟还是比较缓慢,不过四十年的努力,到了今天,也可以说是成果蔚然!
但是纵观今日中国几何学家的成就,和当年与我携手的伙伴们如孙理察(R. Schoen)、西蒙(L. Simon)、乌伦贝克(K. Uhlenbeck)、汉密尔顿(R. Hamilton)等人相比,原创性终究还是有一段距离。
除了这个问题集以外,我以后在不同场合提出新的问题,例如在一九八零年 UCLA 微分几何大会的一百个问题,影响还是不少。这几十年来,我希望中国学者能够自己找寻数学的主要方向和提供数学中重要的问题,但是中国学者的走向,始终以解题为主,没有脱离高考或是奥数的形式!我猜想其中原因是中国学者的宏观思考不足,对于数学的渊源不够清楚是一个重要的缺陷。
中国数学学者对于数学历史大都厥如,数学历史学家的重点在于考古,研究的是中国古代数学的断纸残章,对于古代文献的处理,不如一般历史学家考证严谨,对于世界数学发展的潮流并不清楚,往往夸大了中国古代的贡献,有如当年义和拳认为中国武术胜过西方的船坚炮利,在这种自欺欺人的背景下,一般学者不知道世界数学的历史背景,结果是宏观意识不够,开创性的思想不足!所以我今年发起心愿,希望大家努力了解世界数学历史,尤其是十八世纪以后的数学发展,这些大数学家的思维影响至今。以下我选择了少数几点来讨论: 下文只论及二零零零年以前的进展。
1.在芸芸古希腊学者中,泰勒斯是首个系统地探究数学的人。由毕达哥拉斯奠定的毕达哥拉斯学派发现了毕氏定理,这是几何学的根本。同时,利用反证法,他们也证明了无理数的存在。
2.泰阿泰德或柏拉图证明了只有五种正则多面体。欧几里德廓清了何谓数学上的“证明”。他利用五条公理,把当时知道的几何定理严格地推导出来,而这五条公理却是自明的。这种公理化的处理手法对后世科学的发展影响深远,受影响的包括牛顿的力学体系和现代物理学中统一场论中的种种尝试。欧几里德也证明了素数是无限的。古希腊数学家对于欧几里得的第五条平行公理,始终不认为是显而易见,希望由其他四条公理来证明它。这个想法影响了数学的发展,它等价于平面三角形的内角和等于180 度,这个命题是高斯–博内公式的雏形。平行的观念成为数学中最基本的观念,影响了近代物理。古希腊人提出了两个尺规作图问题:三等分角和化圆为方,分别与伽罗瓦群和圆周率的超越性有关。
3.阿基米德引进了极小元,它可说是微积分的滥觞。他运用“穷尽法”来计算某些重要几何物体的表面积和体积,其中包括了球的表面积和体积,以及抛物体的截面积。他也得到很多重要物理问题的精确数学解。阿基米德又用内接和外切正 96 边形去逼近单位圆,证明了不等式 223/71<圆周率<22/7 。几百年后,刘徽和祖冲之以 192 边形逼近得到圆周率为 3.1416。
4.埃拉托色尼在数论中引进了筛法。差不多过了二千年,勒让德重新用到它。到了二十世纪,大筛法在布伦、塞尔伯格、图兰、哈代、利特伍德等人的努力下发展成熟。哈代和利特伍德利用“圆法”证明了哥德巴赫猜想的一个较弱的版本,即在黎曼假设之下,任何一个足够大的奇数可以表示为三个素数之和。维诺格拉陀夫稍后去掉了这个假设。接着陈景润证明了,任何一个足够大的偶数,都可以写成为一个素数和另一个数之和,而后者是两个素数(其中一个可以是 1)之乘积。
5.到了八世纪,阿拉伯数学家海利勒有了编码理论的著作,而肯迪则把统计学用到密码分析和频率分析上去。到了十七世纪,费马、帕斯卡、惠更斯共同创立了概率论,这学科为伯努利和德莫夫进一步发展。十八世纪,拉普勒斯指出误差的频率是误差平方的指数函数。到了十九世纪,马尔可夫引进了随机过程中的马尔可夫链。
6.多个世纪以来,人们在数值计算方面找到了几个重要的方法。宋代数学家秦九韶找到了一个求解多项式方程的有效方法。他也把孙子定理应用到数值计算上,孙子定理首见于四世纪的《孙子算经》一书中。到了现代,冯·诺伊曼、柯朗–弗理德里赫斯–路维研究了有限差分法。柯朗研究了有限元,而奥舍尔则发展了水平集方法。一个重要的数值方法是快速傅立叶变换,此法可追溯到 1805 年的高斯。1965 年,库利和图基考虑了更一般的情况,并作出详尽的分析。从此,快速傅立叶变换成为数值计算尤其是数字讯息处理中最重要的方法。
7.十六世纪,卡尔丹诺发表三次方程和四次方程根的公式,并指出它们分别归功于德尔费罗和法拉利。他提倡使用负数和虚数,并且证明了二项式定理。十九世记初,高斯证明了代数基本定理,即任何 n 阶的多项式在复平面上具有 n 个复根。
8.十七世纪,笛卡儿发明了解析几何学,利用笛卡儿坐标系作为沟通几何和代数的桥梁。这个重要的概念扩阔了几何的堂庑。他也是符号逻辑的先驱。
9.费马找到了变分原理的雏型,从而推广了古希腊亚历山大希罗的工作。他和帕斯卡一起奠定了概率论的基础。他也是现代数论的开山祖师。
10.十七世纪,牛顿在寻找力学的基本定律时,系统地建立了微积分。他写下了万有引力的公式,又利用刚刚发明的微分积来推导出开普勒的行星运动三定律。此外,他也找到了以二阶收敛的方程求根法。
11.欧拉是变分法、图论和数论的奠基人。他引入了欧拉示性类,又开启了椭圆函数、zeta 函数及其函数方程的研究。他也是现代流体力学、解析力学的创始者。他有关复数的表示式 exp(ix)=cosx+isinx 对后世尤其是傅立叶分析有很大的影响。
12.十九世纪初,傅立叶引进了傅立叶级数和傅立叶变换,两者都是求解线性微分方程的主要工具。傅立叶级数中一个基本问题是鲁津猜想,直至上世纪六十年代它才由卡尔森解决。猜想断言每个平方可积函数的傅立叶级数几乎处处收敛。傅立叶的原创思想对波动和量子力学都有深远的影响。
13.到了现代,佐藤幹夫引入了超函数,霍孟德研究了傅立叶积分算子,柏原正树和伯恩斯坦研究了 D-模。D-模理论在分析、代数和群表示论中都有重要的应用。
14.十九世纪初,高斯证明了代数基本定理,发现了素数定理和二次互反律,他是现代数论之父。他也研究了曲面的几何,发现了高斯曲率是内蕴的。高斯、洛巴切夫斯基、鲍耶分别独立地发明了非欧几何学。
15.柯西黎曼开拓了单复变函数论的研究,继起的研究者包括魏尔斯特拉斯、皮卡德、博雷尔、奈望林纳、阿尔福斯、希弗等。在同一区域上的有界全纯函数形成一巴拿赫代数,其抽象边界需要等同起来。卡尔森解决了平面圆盘上的日冕问题。这问题在高维仍未解决。德布兰奇解决了有关单值全纯函数系数的比伯巴赫猜想。
16.格拉斯曼、庞加莱、嘉当、德拉姆研究了微分形式。魏尔定义了流形,并且利用投影法证明了黎曼曲面上的德拉姆分解。德拉姆证明了德拉姆定理。霍奇把魏尔的理论推广到高维流形上去。他引进了星算子。当流形是凯勒时,他对流形上面的微分形式作了更精细的分解。他也把莱夫谢茨的拓扑定理表达成在霍奇形式所组成的空间上的一个 SL(2) 表示。利用奎伦和陈国才关于迭代积分的工作,沙利文看到德拉姆复形包含着流形有理同伦的信息。沙利文和维格波里尔利用了格罗莫尔和迈耶的工作,证明了当一个单连通流形的有理上同调环并非由一个单元生成时,它上面存在着无限条不同的测地线。
17.阿贝尔利用置换群证明了当多项式方程的次数大于四时,一般的求根公式并不存在。之后,伽罗瓦发明了群论给出了一个多项式方程是否可根式求解的判定准则。索菲斯·李研究了对称性,并引入了对称变换的连续群,后世称为李群。基林继续李群和李代数的研究。伽罗瓦理论在数论有深远的影响。阿廷和泰特研究了伽罗华模的一般理论, 比如用伽罗华上同调建立类域论。岩泽健吉研究了伽罗瓦群为 p 进李群时伽罗瓦模的结构, 并定义了算术的 p 进 L-函数。他提出了这个算术的 p 进 L-函数与久保田富雄和利奥波德利用在伯努利数上插值所定义的 p 进 L-函数是否本质相同这个问题。里贝特、科茨、马祖尔和怀尔斯等人对岩泽理论作出了重大贡献。
18.1843 年,汉密尔顿引入了四元数,四元数对数学和物理都有深远的影响,后者见于狄拉克有关狄拉克算子的工作。同时,凯利和格雷夫斯独立地引入了八元数。1958 年,卡维尔和米尔诺独立地利用博特的周期性定理和理论证明了实域上有限维可除代数的维数只能是 1,2,4 和 8。
19.丢番图逼近论研究的乃是如何用有理数逼近无理数。1844 年,刘维尔首次找出了具体的超越数。图厄、西格尔和罗斯从此发展出一个求解不定方程的重要领域。闵可夫斯基利用凸几何来求解。继后者包括莫德尔、达文波特、西格尔和施密特等人。
20.黎曼引进了黎曼曲面,并开创了高维流形拓扑的研究。他对复分析上的单值化定理首先给出一个差不多严格的证明。庞加莱和科布把他的理论推广至一般的黎曼面。黎曼推广了雅可比 theta 函数并引进了定义在阿贝尔簇上的黎曼 theta 函数。透过对黎曼 theta 函数零点的研究,给出了雅可比反演问题的重要解释。他又定义了黎曼 zeta 函数,并研究其解析延拓。沿着 zeta 函数的想法,狄利克雷引进了 L 函数作为推广,并用来证明了好些数论的定理。黎曼 zeta 函数为哈达玛和瓦利普桑用来证明高斯的素数定理(初等证明后由埃尔德什和塞尔伯格给出)。算子谱的 zeta 函数也用来定义算子的不变量。雷和辛格利用这种正则化引进了流形上的不变量。
21. 十九世纪,黎曼引进的黎曼几何学,其后为克里斯托弗尔、里奇、列维奇维塔等人所发展。闵可夫斯基首先利用四维时空,完整地从几何的角度阐明狭义相对论。所有这些工作给爱因斯坦的广义相对论提供了关键的数学工具。广义相对论把引力看成时空几何中的某种作用。格罗斯曼和希尔伯特对此皆有重大贡献。
22.黎曼开始了冲击波的研究,继之者包括冯·诺伊曼、弗理德里赫斯、拉克斯、格里姆、迈达等。目前我们对高维冲击波所知甚少。
23.十九世纪,康托创立了集合论。他定义了基数和序数,并且开始了对无限的研究。1931 年,哥德尔证明了不完备定理。塔斯基发展了模型论。科恩发展了迫力理论,并且证明了在集合论中的 ZF 公理下,连续统假设和选择公理是独立的。
24.克莱因开创了克莱因群的研究,他在爱朗根纲领中提出利用几何的对称群来为几何学分类。崭新的几何如仿射几何、射影几何和共形几何都可以用这观点来研究。诺特阐明了如何从物理系统的连续对称群来得到守恒量。1926 年,嘉当在几何中引进了和乐群。和乐群为正交群的真子群的黎曼几何尤其特殊。1953 年,贝格根据安保斯和辛格的工作,把能作为黎曼几何和乐群的李群都分了类。当群是酉群时,所得到的便是 1933 年由凯勒引进的凯勒几何。当它是特殊酉群时,所得到的便是卡拉比–丘几何。当它是其他例外李群时,所得到的流形有好些由乔伊斯构造出来。和乐群的概念为现代物理提供了内部对称。
25.1852 年,林德曼证明了代数整数的指数乃是超越数,他也建立了圆周率的超越性。他的定理稍后由魏尔斯特拉斯所推广。在 1934 年和 1935 年之间,盖尔范德和施耐德解决了希尔伯特第七问题,因此推广了林德曼–魏尔斯特拉斯定理。1966 年,贝克给出了盖尔范德–施耐德定理的有效估计。1960 年代,史安努尔提出了一个更广泛的猜想,其后格罗腾迪克又把史安努尔猜想推广,成为代数几何学上有关积分周期的某些猜想。
26.庞加莱、诺特、亚力山大、霍普夫、惠特尼、切赫等人为代数拓扑学奠下了基石。他们引进了如链复形、切赫上同调、同调、上同调和同伦群等重要概念。一个非常重要的概念是庞加莱提出的对偶性。
27.希尔伯特研究了积分方程,并引进了希尔伯特空间。他又探究在希尔伯特空间上自共轭算子的谱分解。希尔伯特空间上算子形成的代数是了解量子力学的基本工具。它们先由冯·诺伊曼、继而由孔涅和琼斯等人研究。
28.希尔伯特打下了一般不变量理论的基础,继之者有蒙福特等人。它成了探求各种代数结构模空间的重要工具。如把退化的代数结构也算进去,在很多情况下,代数几何结构的模空间也是代数簇。周炜良利用周氏座标,把固定次数的代数簇在投影空间中参数化。德利涅–蒙福德把代数曲线的模空间紧化,而吉塞克和维赫威格则把一般型流形的模空间紧化了。吉塞克和丸山正树研究了向量丛的模空间。对阿贝尔簇的模空间而言,西格尔空间的商的紧化是经典的结果,这是基于闵可夫斯基的归结理论。对具有有限体积的局部对称空间而言,博雷尔、贝利、佐武一郎、塞尔等人作出了不同的紧化。另一方面,一个非常重要的解析方法是蒂希米勒利用拟共形映照,给出黎曼面的模空间。阿尔福斯、伯斯、罗伊登等人是这做法的后继者。
29.基于高斯互反律,库默尔扩张,克罗内克尔以及亨塞尔关于理想与完备化的工作,希尔伯特引入了类域论。受高木贞治早期关于存在性定理工作的启发,阿廷证明了阿廷互反律。阿廷和泰特利用群的上同调重建了局部和整体类域论。后来工作由志村五郎、塞尔、朗兰兹和怀尔斯通过一系列紧密地结合数论与群表示论的研究完成。除了朗兰兹纲领外,高维类域论也出现在代数理论中。
30.二十世纪初,嘉当和魏尔对紧李群、李代数及其表示论都作出了杰出的贡献。魏尔把紧群的表示用于量子力学。德利涅、卢斯提格等人为李类型的有限群表示论奠下基石。数学物理学家如维格纳、巴格曼、麦基等开始把某类特殊的非紧群的表示论应用于量子力学。继基里洛夫和盖尔范德学派关于幂零群和半单群表示论的重要工作后,哈里斯钱德拉为非紧李群的表示论打下基础。他的工作影响了朗兰兹有关爱森斯坦级数的工作。皮亚捷斯基夏皮罗、盖尔范德、朗兰兹、雅克、亚瑟、博雷尔等人发展了自守表示理论,其中的基于 p 进位群的表示和赫克运算的 adelic 方法十分有用。布雷尔–博特–韦伊型定理给出李群的表示论几何方面深刻的看法。
31.布劳威尔、霍普夫、莱夫谢茨等开始研究拓扑中的不动点理论。稍后阿蒂雅和博特将之推广至一般的椭圆微分复形。西格尔与阿蒂雅研究了等变 K 理论。1982 年,杜斯特马特与赫克曼发现辛局部化公式,随后柏林和韦尔涅、阿蒂雅和博特分别独立地在等变上同调下得出了局部化公式。阿蒂雅和博特为环面作用的不动点引入了有效的等变上同调局部化方法。它们已成为代数几何中有力的计算工具。
32.伯克霍夫和庞加莱是现代动力系统和遍历理论的谛造者。冯·诺伊曼和伯克霍夫证明了遍历定理。科尔莫戈罗夫、阿诺德、摩瑟证明了在可积系统中的不变环在小扰动下不会消失,因此遍历性并非汉米尔顿系统的典型性质。奥恩斯坦证明了伯努利移动由其熵决定。
33.1928年,魏尔引进了他的规范原理。在 1926 年到 1946 年期间,主纤维丛的研究(非阿贝尔规范场论)由嘉当、埃雷斯曼和其他人发展了。差不多同一时期,惠特尼开始了示性类和向量丛理论(斯蒂费尔给出其中一个特殊情况)的研究。庞特利雅金对实向量丛引入了示性类。1945 年,陈省身根据托德和艾德格的工作创造了陈类。陈省身和西蒙斯引入了陈–西蒙斯不变量。透过拓扑量子场论,这些不变量对纽结不变量以及凝聚态物理学都很重要。1954 年,泡利、杨振宁–米尔斯把魏尔的规范原理和嘉当、埃雷斯曼、陈省身等创造的非阿贝尔规范场论用到粒子物理学上去。然而,这些理论没能解释物质质量的存在,一直到对称破坏理论,以及提霍夫特和法德耶夫等人的基础性工作的出现,问题才有进展。
34.魏尔有关微分算子谱的基础工作影响了量子力学、微分几何和图论的发展。魏尔定律给出特征值的渐近性质。椭圆算子的谱和谱函数的特性成为调和分析最重要的分支。闵那克史孙达朗和普莱耶尔研究了特征值的 zeta 函数的基本性质。雷和辛格定义了拉普拉斯算子的行列式,并且引进了雷–辛格不变量。对狄拉克算子而言,阿蒂雅–辛格–帕度提研究了 eta 函数,对奇数维的流形得到其 eta 不变量。
35.薛定谔发明了薛定谔方程,用以描述量子或波动力学中波函数的动态。魏尔和薛定谔用它来找到氢原子的能量层。海森堡和魏尔发现波函数满足测不准原理,即函数与其傅立叶变换不能同时局部化。费曼在量子力学中引入了路径积分,它是研究物理系统量子化最重要的工具。
36.莫德尔提出了以他命名的猜想。他也证明了有理椭圆曲线上点群的秩是有限的。韦伊研究莫德尔–韦伊群,把莫德尔的工作推广以包含数域。西格尔研究了算术簇上的整点。包括莫德尔猜想在内的许多重要的猜想最后是被法尔廷斯凭藉阿拉克洛夫几何解决的,他亦破解了阿贝尔簇上的沙法列维奇猜想。
37.特征函数的零点曾为众多人研究。柯朗发现了节区域定理。丘成桐指出节点集的体积是一个在形变下稳定的量,并且对这个量的上下界作出精确的猜想。这猜想变成了谱研究的重要方向。唐纳利和费弗曼在实解析的条件下证明了丘成桐猜想。对光滑流形而言,几个不同的做法得到有用的结果,但距完满尚远。
38.二十世纪三十年代,巴拿赫引进了巴拿赫空间用以描述无限维的函数空间。汉恩–巴拿赫定理是研究这空间重要的工具。林克森斯特拉斯、恩福、布尔甘和其他人对巴拿赫空间的重要问题(包括不变子空间)皆有巨大贡献。肖德在巴拿赫空间上证明了不动点定理,用以求解偏微分方程。
39.摩尔斯首创以拓扑研究临界点理论,同时以临界点理论研究拓扑。透过博特、米尔诺、史梅尔等人的努力,摩尔斯理论已成为微分拓扑中的重要工具。博特找到了典型群的稳定同伦群的周期性,这是重要的发现。米尔诺引进了割补理论,而史梅尔则证明了配边定理,从而解决了维数大于四的庞加莱猜想。
40.格林函数、热核和波核等再生核在霍氏积分方程理论中扮演着重要的角色。哈达玛 找到了这些核的近似,称为拟基本解。塞戈、伯格曼、波克拿等人研究了在多复变函数论中重要的不同函数空间上的再生核。华罗庚计算了 Siegel 域上核函数。伯格曼利用他的核函数来定义伯格曼度量。费弗曼对有界光滑严格拟凸域上的伯格曼度量作出了详细的分析。从他的分析中,可以知道双全纯变换直到边界都是光滑的。卡兹丹研究了在流形覆盖下伯格曼度量的结构。他证明了志村簇的伽罗瓦共轭仍然是志村簇。 41. 波克拿引入方法证明了把拓扑和曲率联系起来的消灭定理。这种方法后来被小平邦彦应用到算子上,也给里赫那洛维奇用到狄拉克算子上。小平用他的消灭定理证明了具整凯勒类的紧凯勒流形必是代数的。莫雷把它推广到纽曼问题上,从而解决了其中的李维问题,以及证明了实解析流形上存在着实解析度量。科恩改进了莫雷的工作,重新证明了纽兰德–尼伦伯格有关近复结构可积性的定理。冈洁和格劳特也解决了李维问题。小平、斯宾塞和仓西正武研究了复结构的形变。
42.布劳尔、汤姆森、费特、戈伦斯坦恩、铃木通夫、泰兹、康威、格里斯、阿施巴赫等人共同完成了有限单群的分类。月光猜想把魔群的表示和自守形联系起来,它是由博切德斯首先证明的。
43.维格纳在重原子核谱的研究中引进了随机矩阵。戴森猜测这些谱满足随机酉矩阵和正交矩阵中的半圆法则。BGS 猜想指出其古典对应显示纷乱状态的谱统计可以用随机矩阵理论来刻画。沃库乐斯古引入了自由概率来描述随机矩阵的渐近行为。
44.1928 年,拉姆齐发明了拉姆齐理论,用以在无序中寻找规律。1959 年,埃尔德什和仁易提出了随机图的理论。1976 年,阿佩尔和哈肯利用计算机证明了四色问题。
45.霍奇提出了一个重要的问题,即一个 (k,k) 型的霍奇类能否在相差一个挠动下由代数闭链所表示。差不多同时,周炜良引进了代数闭链簇。代数积分的周期在理解代数闭链中起着重要的作用。这些积分的计算要用到全纯微分方程,如皮卡德–福克斯方程便用于计算椭圆曲线的周期。1963 年,泰特提出霍奇猜想在算术上的对应猜想,用在 Étale 上同调上的伽罗瓦表示来描述在算术簇上的代数闭链。法尔廷斯对数域上的阿贝尔簇证明了泰特猜想。
46.科尔莫戈洛夫、辛钦、列维奠定了现代概率论的基础。马尔可夫链是马尔可夫引入的,而伊藤清开始了随机微分方程的研究。维纳定义了布朗运动,将它视为在函数空间上的高斯过程。他亦开始了维纳过程的研究。戴森利用量子力学来解释物质的稳定性,利布及其合作者作进一步研究。克莱默引入了大偏差理论。布罗德本特和哈默斯利则引入了渗流理论。
47.冯·诺伊曼首先利用算子代数来研究量子场论。接着的是富田稔和竹崎正道的工作。孔涅引进了非交换几何。琼斯引进了琼斯多项式作为第一个量子连结不变量。威滕利用陈–西蒙斯的拓扑量子场论来解释纽结上的琼斯多项式;后来科瓦诺夫用他的同调来解释琼斯多项式。
48.1932 年,冯·诺伊曼和朗道在量子力学中引进了密度矩阵的概念。冯·诺伊曼把经典吉布斯熵推广到量子力学上来。维纳和香农分别对信息论作出了重要的贡献,他们各自引进了熵的概念。维纳发展了控制论、认知科学、机器人学和自动化。罗宾逊和鲁尔提出有关量子熵的强次可加性的猜想,猜想其后为利布和鲁斯凯所证明。
49.勒雷引进了层论和谱序列,它们是代数几何和拓扑的重要工具。塞尔发展了可以计算球面同伦群无挠性部分的谱序列。亚当斯也引入他的谱序列来研究球面的同伦群。
50.韦伊建构起代数几何和数论之间深刻的联系。他运用高度和伽罗瓦上同调群来研究无限下降法。对有限域上的代数簇,他提出了对应的黎曼假设。他也提议研究一般域上的代数几何,从而对数论获得重要的洞识。德沃克、阿廷、格罗腾迪克、德利涅一起完成韦伊的规划。德利涅证明了韦伊猜想,奠定了算术几何学的基础。格罗腾迪克、塞尔、德沃克和阿廷对代数几何和算术几何的发展皆有基本的贡献。塞尔在其奠基性工作 FAC 中将勒雷提出的层论应用到代数几何中去。格罗腾迪克受此启发引入概型,拓扑斯等概念把代数几何用范畴与函子的语言重新建立起来。此后格罗腾迪克及其学生发展出了 l-进上同调,Etale-上同调,晶体上同调并提出终极上同调理论 --- motive 理论。这些理论搭建了现代代数几何的基本框架。
51.凯勒流形上的中间雅可比概念首先由韦伊引进,稍后又被格里菲斯以不同的形式找到。在许多情形下,托里里型定理(它对代数曲线是成立的)被提出和证明,一个重要的情形和 K3 曲面有关。代数流形退化时其上霍奇结构的变化曾被德利涅、施密德、斋藤恭司等人研究。戈列斯基和麦弗森引进了相交上同调来研究代数结构的奇异行为。扎克猜测对志村簇来说,相交上同调和 L^2 上同调是同构的。其后这猜想被路安加和萨珀–斯特恩独立证明了。
52.莫雷证明了带粗糙系数的经典单值化定理,他也解决了一般黎曼流形上的普拉托问题,从而推广了道格拉斯和拉多的工作。魏尔提出了有关正曲率曲面的嵌入问题;闵科斯基提出了闵科斯基问题。对实解析曲面而言,这两个问题都被路维解决了,而光滑曲面的情况则由波哥列洛夫和尼伦伯格独立地解决。高维的闵科斯基问题则由波哥列洛夫和郑绍远–丘成桐独立地解决。实蒙日–安培方程曾由坎托罗维奇应用到最优化传输的研究中。
53.庞特利雅金在拓扑学中引进了配边理论。托姆计算了定向流形的配边群,希策布鲁赫利用它证明了可微流形上联系庞加莱对的符号差和庞特利雅金数的符号差公式。米尔诺利用它证明了七维怪球的存在,从而开启了流形上光滑结构的研究。凯尔维和米尔诺为怪球作出分类,并同时和诺维科夫开展了割补理论。割补理论对单连通光滑流形的分类提供了十分重要的工具。华尔利用基本群进行割补手术。割补理论为研究同伦结构、拓扑结构、PL 结构、光滑结构以及特殊结构的配边理论等重要问题提供了强有力的工具。其中包括了柯比–西尔伯曼、布鲁菲尔–马德森–米格里姆和布朗–彼德森的工作。
54.图灵引进了图灵机的概念,并开展了计算性理论。库克把定理证明的复杂性这概念精确化,并提出著名的 P=NP 问题(列文也独立地提出过)。瓦理安特引进了 #P 完备性的概念,并应用它来解释枚举的复杂性。
55.艾伦伯格和麦克莱恩最先利用公理化的方法来建构同调论,同时也引进了艾伦伯格–麦克莱恩空间来研究群的上同调。其后上同调理论由霍奇希尔德等人引进到代数及李氏理论中。作为上同调理论的推广,格罗腾迪克、阿蒂雅、希策布鲁赫等人引进了 K 理论。在标准上同调理论中自然存在的运算如上下积和平方运算,在 K 理论中皆有对应。
56.塞尔伯格、马古利斯、拉特纳、博雷尔等人利用遍历理论、分析和几何来研究李群的离散子群。塞尔伯格找到了迹公式,把半单李群除去离散子群的商空间的拉普勒斯算子谱和这个离散子群的共轭类联系起来。莫斯托使用拟共形方法证明了作用在双曲空间形式上格的刚性。他也证明了高秩群上格的超刚性。塞尔伯格曾猜想后者是算术的,这是由马古利斯证明的。拉特纳和马古利斯一起证明了有关离散群的拉古纳坦和奥本海姆猜想。布鲁哈特–泰兹建筑是由泰兹引进的,目的是了解例外李型群的结构。它也可以用来研究进李型的齐性空间。
57.费德勒、费莱明、阿尔姆格伦和阿拉德等人发展了几何测度论。邦比里、德-乔治、朱斯蒂合作解决了伯恩斯坦问题。和西蒙斯的工作结合起来,他们证明了面积极小超曲面最坏有余 7 维数的奇点。阿尔姆格伦证明了面积极小流在一个余 2 维的闭集外是光滑的。萨克斯–乌伦贝克利用变分原理和冒泡过程发展了流形中极小球面的存在性。萧荫堂–丘成桐利用这成果证明了弗伦克尔猜想;格罗莫夫又用它探究了辛几何上的不变量。
58.卡尔德隆和齐格蒙德研究了卷积型的奇异积分算子,从而推广了希尔伯特变换丶贝林变换和里茨变换。他们借用了哈代–利特伍德、里茨、马辛基维奇等前人的工作,研究了函数的分解定理。
59.希策布鲁赫利用他自己的可乘序列理论和塞尔对代数曲面的一个观察,找到了高维的黎曼–洛赫公式。他的公式对代数流形成立。阿蒂雅和辛格把它拓展到更一般的椭圆微分算子上,并且证明指标定理。希策布鲁赫–黎曼–洛赫公式从而在一般情况下是对的。小平邦彦利用这个一般定理,把意大利学派有关代数曲面的分类推广到一般的复曲面上去。线性微分算子开始进入到微分拓扑中,其中最重要的如狄拉克算子和算子。希策布鲁赫、格罗腾迪克、阿蒂雅和希策布鲁赫、博特等人发展了 K 理论,并利用它解决了不少代数和拓扑上的重要问题。代数 K 理论是由米尔诺、巴斯、舒奈尔、斯坦伯格、斯旺、格斯腾、奎伦等人发展出来的,从此深刻的代数方法,成为理解拓扑中问题的强力工具。
60.斯温讷通-戴尔和伯赫提出了他们有关椭圆曲线的著名猜想,这猜想猜测哈塞–韦伊zeta函数在中心点处的首项次数等于莫德尔–韦伊群的秩。科茨–怀尔斯,格罗斯–扎吉尔与括里瓦根等人对这猜想都作出了重要的贡献。在海尔布隆、海格纳、斯塔克的工作之后,哥德菲尔德借用了格罗斯和扎吉尔的工作来给出二次虚域的类数的一个有效界,从而解答了高斯的一个老问题。贝林森、布洛赫、加藤和也等人又把这猜想推广到高维的算术簇上。 61. 惠特尼开启了将流形浸入和嵌入到欧几里得空间的研究。浸入的高斯映射给出了流形到格拉斯曼流形的分类映射,从而将流形上的向量丛进行分类。惠特尼开始了合痕意义下的浸入分类工作,最后由史梅尔和希雷奇完成。浸入猜想最终由科恩于 1985 年证明。该猜想指出 n 维流形可以浸入到维数为 2n-k(n) 的欧几里得空间,其中 k(n) 是 n 的二进制表示中 1 的个数。纳什证明了任何流形都可以基于他的隐函数定理等距地嵌入到欧几里得空间中。但是嵌入维数不是最佳的。格罗莫夫极大地扩展了史梅尔和希雷奇的浸入理论,以处理微分关系。由于曲率退化,曲面局部嵌入到三维空间仍未解决。林长寿解决了非负曲率情形。
62.德-乔治、纳什、摩瑟和克雷洛夫发展了关于标量函数的一致椭圆偏微分方程的正则性理论。卡法雷利、斯普鲁克和尼伦伯格对完全非线性椭圆方程作了类似的工作。孙理察等人研究了含临界指标的半线性和拟线性方程。
63.彭罗斯和霍金在广义相对论中引入了奇点理论,从而为黑洞理论奠定了严格的数学基础。克尔发现了带有角动量的黑洞方程的解,成为了所有黑洞理论的基础。卡特、伊斯雷尔和霍金在事件视界的正则性假设下证明了黑洞的唯一性。孙理察和丘成桐首次证明了因物质凝聚而形成的黑洞的存在性。克里斯托杜洛和克莱因曼证明了闵科斯基时空是动态稳定的。
64.广中平祐证明了特征零上的代数簇的奇点可以通过逐次胀开来消解。马瑟和丘成栋指出孤立奇点的分类可以转化成为对有限维可交换代数的研究。森重文提出了极小模型理论来研究高维代数簇的双有理几何。之后这一理论被川又雄二郎、宫冈阳一、舒库罗夫、科尔拉等人所发展壮大。
65.1938 年,史密斯最早使用上同调理论研究作用于流形上的有限群。博雷尔于1960年扩展了史密斯理论,引入了等变上同调。史密斯猜想断言作用在三维球面上的循环群的不动点集是一个平凡纽结。通过米克斯–丘成桐的极小曲面方法、瑟斯顿的几何化纲领以及戈登关于群论的工作,史密斯猜想最终被解决。米克斯–西蒙–丘成桐还把结果扩充至包含怪球的情形,通过证明三维流形中嵌入的球面可以合痕于由曲线连结起来的不相交的嵌入极小球面。
66.1947 年,丹齐格发明了线性规划中的单纯形法。1984年,卡马尔卡引入内点法,其复杂度是多项式有界的。梅耶和马拉特发展了小波分析,紧随其随后有多贝西和科夫曼。
67.1967 年,加德、格林和克鲁斯卡尔提出了用逆散射法来求解KDV方程,他们找到了孤立子解。后来,该方法扩展到许多著名的非线性偏微分方程。这方法可以看成在黎曼–希尔伯特对应中的因子分解问题。拉克斯对的引入有助于从概念上理解该方法,而盖尔范德–列维坦方法也被涉及。
68.朗兰兹纲领是现代数论很多方面的推手,它将数论、算术几何和基于自守形式一般理论的调和分析统一起来。雅克和亚瑟为这一纲领做出了重要贡献。怀尔斯解决谷山–志村–韦伊猜想是该纲领的巨大成功。利用这个猜想,怀尔斯在泰勒的协助下,根据弗莱、塞尔和里贝特在椭圆曲线上的早期观察,证明了费马大定理。
69.厄尔斯和桑普森证明了映到非正曲率流形上中的调和映射的热流总是存在的,并且收敛到一个调和映射。汉密尔顿在由黎曼度量构成的空间中引入了里奇流。他在这一领域中的大量工作还包括对一般抛物方程中重要的李伟光–丘成桐不等式的推广。汉密尔顿、休斯肯、辛斯特拉里等人对平均曲率流发展了一套平行理论。
70..通过与孙理察、西蒙、乌伦贝克、汉密尔顿、陶布斯、唐纳森等人的合作,丘成桐为现代几何分析奠定了基础。他们通过使用非线性微分方程解决了一系列几何问题。其中最具代表性工作是卡拉比猜想的证明,丘成桐确定了哪些凯勒流形上可以容纳凯勒–里奇平坦度量。奥宾和丘成桐确定了数量曲率为负的凯勒–爱因斯坦度量的存在性。丘成桐以此证明了陈数不等式,从而意味着关于射影空间上代数结构唯一性的塞韦里猜想成立。丘成桐提出范诺流形上凯勒–爱因斯坦度量存在性的猜想,其中牵涉及某种稳定性。
71.1979 年,孙理察和丘成桐解决了正质量猜想,这证明了孤立物理时空在能量上是稳定的。最初证明只适用于一至七维。威滕随后在自旋流形上利用旋量给出另一个证明。彭罗斯、巴特尼克、霍金、吉本斯、霍洛维茨、布朗、约克等许多学者研究了拟局部质量的概念。
72.瑟斯顿根据八种典型几何结构提出了对三维流形进行了分类的大纲。基于莫斯托的强刚性定理,他证明了非环状的和足够大的三维流形可以具有唯一的双曲度量。在证明过程中,他研究了黎曼曲面上的动力系统以及全纯二次微分定义的奇异叶状结构。他还证明了流形上余维数为1的叶状结构存在当且仅当流形的欧拉数为零。
73.弗里德曼运用卡斯森把手和宾格拓扑理论,证明了四维庞加莱猜想,并且对所有单连通流形作了拓扑分类。
74.1982 年,威滕运用量子场论和超对称性的观念推导出摩尔斯理论,为连接几何与物理提供了一个强有力的工具。1988 年,他引入了拓扑量子场理论,随后的阿蒂雅使用了西格尔关于共形场理论公理化的部分思想。从这一观点出发,人们找到了许多拓扑不变量,它们在凝聚态理论中有着重要的意义。
75.唐纳森根据乌伦贝克和陶布斯在四维流形上规范理论的模空间的工作,发现了光滑四维流形的二阶上同调群的相交对的新约束,这与弗里德曼的上述工作有着鲜明的对比。唐纳森还定义了四维流形的多项式不变量。在赛伯格和威滕引入他们的不变量后,该理论得到了简化。赛伯格–威滕不变量可用于解决有关代数曲面拓扑的几个重要问题。
76.在特鲁丁格和奥宾的一些工作之后,孙理察完成了关于共形几何的山辺猜想的证明,架起了广义相对论数学与共形几何学之间的桥梁。孙理察和丘成桐以此对正数量曲率的完备共形平坦流形的结构进行了分类。孙理察和丘成桐在正数量曲率流形中引入度量割补。格罗莫夫和劳森跟进了这项工作并发现它与自旋配边有着密切相关。结果斯托尔茨找到了紧单连通流形在维度不为 3 和 4 时具有正数量曲率度量的充分必要条件。对于非单连通流形,还有其他基于孙理察–丘成桐的极小超曲面的判别标准。
77.1986 年,乌伦贝克和丘成桐求解了稳定丛的埃尔米特–杨–米尔斯方程,而唐纳森使用不同的方法在代数曲面上进行了相同的求解。唐纳森–乌伦贝克–丘成桐定理成为杂弦理论的重要组成部分。其后,辛普森使用它的分析来给出带希格斯场的全纯向量丛,这是希钦提出的概念。吴宝珠使用希格斯丛证明了朗兰兹纲领中的基本引理。
78.受到威滕在摩尔斯理论上的工作的启发,弗洛尔定义了辛几何中的弗洛尔理论。陶布斯证明了赛伯格–威滕不变量等同于他定义的辛不变量,他称之为格罗莫夫–威滕不变量。由此他证明了射影平面上辛结构的刚性。
79.格林和普莱莎与坎德拉等引入了卡拉比–丘空间的镜像对称性。坎德拉等人利用镜像对称性来得出了枚举几何学的五次三维形计算公式。纪梵特与连文豪–刘克峰–丘成桐分别独立严格地证明了该公式,从而解决了枚举几何学中的一个古老问题,同时也显示了弦论为几何学提供了有力的数学预测工具。作为镜像对称性的范畴化陈述,康切维奇提出了同调镜像对称。史聪闵格–丘–扎斯洛使用特殊拉格朗日闭链,对镜像对称性作出几何解释。这两种做法使得代数几何与弦论的互动活跃起来。
80舒尔首次提出因子分解的量子算法,比经典算法快指数倍。它推动了量子计算的发展。
作者简介:丘成桐,北京雁栖湖应用数学研究院院长,哈佛大学教授,清华大学教授,美国科学院院士,中国科学院外籍院士;菲尔兹奖、克拉福德奖、沃尔夫奖、马塞尔·格罗斯曼奖得主。
Intuitive Understanding Of Euler’s FormulaConrad Wolfram: Teaching kids real math with computers
Loading...
现代数学启蒙
现代数学启蒙
推广现代数学🍚
公告
🎉现代数学启蒙(MME:Modern Mathematics Enlightenment)欢迎您🎉
-- 感谢您的支持 ---