数学之家

建站
数学爱好者的家园
 找回密码
 注册

QQ登录

只需一步,快速开始

查看: 1001|回复: 0
打印 上一主题 下一主题

希尔伯特23个数学问题及其解决情况

[复制链接]
跳转到指定楼层
楼主
发表于 2009-5-31 13:45:21 | 只看该作者 回帖奖励 |倒序浏览 |阅读模式
希尔伯特23个数学问题及其解决情况
(1)康托的连续统基数问题。
1874年,康托猜测在可数集基数和实数集基数之间没有别的基数,即著名的连续统假设。1938年,侨居美国的奥地利数理逻辑学家哥德尔证明连续统假设与ZF集合论公理系统的无矛盾性。1963年,美国数学家科思(P.Choen)证明连续统假设与ZF公理彼此独立。因而,连续统假设不能用ZF公理加以证明。在这个意义下,问题已获解决。
(2)算术公理系统的无矛盾性。
欧氏几何的无矛盾性可以归结为算术公理的无矛盾性。希尔伯特曾提出用形式主义计划的证明论方法加以证明,哥德尔1931年发表不完备性定理作出否定。根茨(G.Gentaen,1909-1945)1936年使用超限归纳法证明了算术公理系统的无矛盾性。
(3)只根据合同公理证明等底等高的两个四面体有相等之体积是不可能的。
问题的意思是:存在两个登高等底的四面体,它们不可能分解为有限个小四面体,使这两组四面体彼此全等德思(M.Dehn)1900年已解决。
(4)两点间以直线为距离最短线问题。
此问题提的一般。满足此性质的几何很多,因而需要加以某些限制条件。1973年,苏联数学家波格列洛夫(Pogleov)宣布,在对称距离情况下,问题获解决。
(5)拓扑学成为李群的条件(拓扑群)。
这一个问题简称连续群的解析性,即是否每一个局部欧氏群都一定是李群。1952年,由格里森(Gleason)、蒙哥马利(Montgomery)、齐宾(Zippin)共同解决。1953年,日本的山迈英彦已得到完全肯定的结果。
(6)对数学起重要作用的物理学的公理化。
1933年,苏联数学家柯尔莫哥洛夫将概率论公理化。后来,在量子力学、量子场论方面取得成功。但对物理学各个分支能否全盘公理化,很多人有怀疑。
(7)某些数的超越性的证明。
需证:如果α是代数数,β是无理数的代数数,那么αβ一定是超越数或至少是无理数(例如,2√2和eπ)。苏联的盖尔封特(Gelfond)1929年、德国的施奈德(Schneider)及西格尔(Siegel)1935年分别独立地证明了其正确性。但超越数理论还远未完成。目前,确定所给的数是否超越数,尚无统一的方法。
(8)素数分布问题,尤其对黎曼猜想、哥德巴赫猜想和孪生素共问题。
素数是一个很古老的研究领域。希尔伯特在此提到黎曼(Riemann)猜想、哥德巴赫(Goldbach)猜想以及孪生素数问题。黎曼猜想至今未解决。哥德巴赫猜想和孪生素数问题目前也未最终解决,其最佳结果均属中国数学家陈景润。
(9)一般互反律在任意数域中的证明。
1921年由日本的高木贞治,1927年由德国的阿廷(E.Artin)各自给以基本解决。而类域理论至今还在发展之中。
(10)能否通过有限步骤来判定不定方程是否存在有理整数解?
求出一个整数系数方程的整数根,称为丢番图(约210-290,古希腊数学家)方程可解。1950年前后,美国数学家戴维斯(Davis)、普特南(Putnan)、罗宾逊(Robinson)等取得关键性突破。1970年,巴克尔(Baker)、费罗斯(Philos)对含两个未知数的方程取得肯定结论。1970年。苏联数学家马蒂塞维奇最终证明:在一般情况答案是否定的。尽管得出了否定的结果,却产生了一系列很有价值的副产品,其中不少和计算机科学有密切联系。
(11)一般代数数域内的二次型论。
德国数学家哈塞(Hasse)和西格尔(Siegel)在20年代获重要结果。60年代,法国数学家魏依(A.Weil)取得了新进展。
(12)类域的构成问题。
即将阿贝尔域上的克罗内克定理推广到任意的代数有理域上去。此问题仅有一些零星结果,离彻底解决还很远。
(13)一般七次代数方程以二变量连续函数之组合求解的不可能性。
七次方程x7+ax3+bx2+cx+1=0的根依赖于3个参数a、b、c;x=x(a,b,c)。这一函数能否用两变量函数表示出来?此问题已接近解决。1957年,苏联数学家阿诺尔德(Arnold)证明了任一在[0,1]上连续的实函数f(x1,x2,x3)可写成形式∑hi(ξi(x1,x2),x3)(i=1--9),这里hi和ξi为连续实函数。柯尔莫哥洛夫证明f(x1,x2,x3)可写成形式∑hi(ξi1(x1)+ξi2(x2)+ξi3(x3))(i=1--7)这里hi和ξi为连续实函数,ξij的选取可与f完全无关。1964年,维土斯金(Vituskin)推广到连续可微情形,对解析函数情形则未解决。
(14)某些完备函数系的有限的证明。
即域K上的以x1,x2,…,xn为自变量的多项式fi(i=1,…,m),R为K[X1,…,Xm]上的有理函数F(X1,…,Xm)构成的环,并且F(f1,…,fm)∈K[x1,…,xm]试问R是否可由有限个元素F1,…,FN的多项式生成?这个与代数不变量问题有关的问题,日本数学家永田雅宜于1959年用漂亮的反例给出了否定的解决。
(15)建立代数几何学的基础。
荷兰数学家范德瓦尔登1938年至1940年,魏依1950年已解决。
(15)注:舒伯特(Schubert)计数演算的严格基础。
一个典型的问题是:在三维空间中有四条直线,问有几条直线能和这四条直线都相交?舒伯特给出了一个直观的解法。希尔伯特要求将问题一般化,并给以严格基础。现在已有了一些可计算的方法,它和代数几何学有密切的关系。但严格的基础至今仍未建立。
(16)代数曲线和曲面的拓扑研究。
此问题前半部涉及代数曲线含有闭的分枝曲线的最大数目。后半部要求讨论备dx/dy=Y/X的极限环的最多个数N(n)和相对位置,其中X、Y是x、y的n次多项式。对n=2(即二次系统)的情况,1934年福罗献尔得到N(2)≥1;1952年鲍廷得到N(2)≥3;1955年苏联的波德洛夫斯基宣布N(2)≤3,这个曾震动一时的结果,由于其中的若干引理被否定而成疑问。关于相对位置,中国数学家董金柱、叶彦谦1957年证明了(E2)不超过两串。1957年,中国数学家秦元勋和蒲富金具体给出了n=2的方程具有至少3个成串极限环的实例。1978年,中国的史松龄在秦元勋、华罗庚的指导下,与王明淑分别举出至少有4个极限环的具体例子。1983年,秦元勋进一步证明了二次系统最多有4个极限环,并且是(1,3)结构,从而最终地解决了二次微分方程的解的结构问题,并为研究希尔伯特第(16)问题提供了新的途径。
(17)半正定形式的平方和表示。
实系数有理函数f(x1,…,xn)对任意数组(x1,…,xn)都恒大于或等于0,确定f是否都能写成有理函数的平方和?1927年阿廷已肯定地解决。
(18)用全等多面体构造空间。
德国数学家比贝尔巴赫(Bieberbach)1910年,莱因哈特(Reinhart)1928年作出部分解决。
(19)正则变分问题的解是否总是解析函数?
德国数学家伯恩斯坦(Bernrtein,1929)和苏联数学家彼德罗夫斯基(1939)已解决。
(20)研究一般边值问题。
此问题进展迅速,己成为一个很大的数学分支。日前还在继读发展。
(21)具有给定奇点和单值群的Fuchs类的线性微分方程解的存在性证明。
此问题属线性常微分方程的大范围理论。希尔伯特本人于1905年、勒尔(H.Rohrl)于1957年分别得出重要结果。1970年法国数学家德利涅(Deligne)作出了出色贡献。
(22)用自守函数将解析函数单值化。
此问题涉及艰深的黎曼曲面理论,1907年克伯(P.Koebe)对一个变量情形已解决而使问题的研究获重要突破。其它方面尚未解决。
(23)发展变分学方法的研究。
这不是一个明确的数学问题。20世纪变分法有了很大发展。
可见,希尔伯特提出的问题是相当艰深的。正因为艰深,才吸引有志之士去作巨大的努力。



--《近现代数学发展概论》张光远重庆出版社 1991.12版

《现代化知识文库--二十世纪数学史话》知识出版社 1984.2上海
注一:这是《二十世纪数学史话》的说法。
winion整理,如要转载,请注明转载自
国际数学界的最高奖—菲尔兹奖和国际数学家大会
诺贝尔奖金中为什么没有设数学奖?对此人们一直有着各种猜测与议论。每年一度的诺贝尔物理、化学、生理学和医学奖,表彰了这几个学科中的重大成就,奖掖了科学精英,可谓举世瞩目。不设数学奖,对于这个重要的基础学科,岂不是失去了一个在世界范围内评价重大成就和杰出人才的机会?
其实,数学领域中也有一种世界性的奖励,这就是每四年颁发一次的菲尔兹奖。在各国数学家的眼里,菲尔兹奖所带来的荣誉可与诺贝尔奖金媲美。
菲尔兹奖是由国际数学联盟(简称IMU)主持评定的,并且只在每四年召开一次的国际数学家大会(简称ICM)上颁发。菲尔兹奖的权威性,部分地即来自于此。所以,这里先简单介绍一下“联盟”与“大会”。




十九世纪以来,数学取得了巨大的进展。新思想、新概念、新方法、新结果层出不穷。面对琳琅满目的新文献,连第一流的数学家也深感有国际交流的必要。他们迫切希望直接沟通,以便尽快把握发展大势。正是在这样的情况下,第一次国际数学家大会在苏黎世召开了。紧接着,一九00年又在巴黎召开了第二次会议,在两个世纪的交接点上,德国数学家希尔伯特提出了承前启后的二十三个数学问题,使得这次大会成为名副其实的迎接新世纪的会议。



自一九00年以后,大会一般每四年召开一次。只是因为世界大战的影响,在一九一六年和一九四0~一九五0年间中断举行。第二次世界大战以后的第一次大会是一九五0年在美国举行的。在这次会议前夕,国际数学联盟成立了。这个联盟联络了全世界几乎所有的主要数学家,她的主要任务是促进数学事业的发展和国际交流,组织进行四年一次的国际数学家大会及其他专业性国际会议,颁发菲尔兹奖。自此以后,大会的召开比较正常。从一八九七年算起,总共举行了十九次大会,其中有九次是在一九五0~一九八三年间举行的。



联盟的日常事务由任期四年的执行委员会领导进行,近年来,这个委员会设主席一人,副主席二人,秘书长一人,一般委员五人,都是由在国际数坛上有影响的著名数学家担任。每次大会的议程,由执委会提名一个九人咨询委员会来编定。而菲尔兹奖的获奖人,则由执委会提名一个八人评定委员会来遴选。评委会的主席也就是执委会的主席,可见对这个奖的重视。这个评委会首先由每人提名,集中提出近四十个值得认真考虑的候选人,然后进行充分的讨论并广泛听取各国数学家的意见,最后在评定委员会内部投票决定本届菲尔兹奖的得奖人。



现在,国际数学家大会已是全世界数学家最重要的学术交流盛会了。一九五0年以来,每次参加者都在两千人以上,最近两次大会的参加者更在三千人以上。这么多的参加者再加上这四年来无数的新成果,用什么方法才能很好地交流呢?近几次大会采取了分三个层次讲演的办法。以一九七八年为例,在各专业小组中自行申请作十分钟讲演的约有七百人,然后由咨询委员会确定在各专业组中作四十五分钟邀请讲演的名单约二百个,以及向全会作一小时综述报告的人选十七位。被指定作一小时报告是一种殊荣,报告者是当今最活跃的一些数学家,其中有不少是过去或未来的菲尔兹奖获得者。



菲尔兹奖的宣布与授予,是开幕式的主要内容。当执委会主席(即评委会主席)宣布本届得主名单之后,全场掌声雷动。接着由东道国的重要人士(当地市长、所在国科学院院长、甚至国王、总统),或评委会主席授予一块金质奖章,外加一干五百美元的奖金。最后由一些权威的数学家来介绍得奖人的杰出工作,并以此结束开幕式。







菲尔兹奖是以已故的加拿大数学家约翰·查尔斯·菲尔兹命名的。



一八六三年五月十四日,菲尔兹生子加拿大渥太华。他十一岁时父亲逝世,十八岁时又失去了慈母,家境不算太好。菲尔兹十七岁时进入多伦多大学专攻数学。一八八七年,菲尔兹二十四岁,就在美国约翰.霍普金斯大学获得了博士学位。又过了两年,他在美国阿勒格尼大学当上了教授。



当时,世界数学的中心是在欧洲。北美的数学家差不多都要到欧洲学习、工作一段时间。一八九二年,菲尔兹远渡重洋,游学巴黎、柏林整整十年。在欧洲,他与福雪斯、弗劳伯纽斯等著名数学家有密切的交往。这一段经历,大大地开阔了菲尔兹的眼界。



作为一个数学家,菲尔兹的工作兴趣集中在代数函数方面,成就不算突出,但作为一名数学事业的组织、管理者,菲尔兹却是功绩卓著的。

菲尔兹很早就意识到研究生教育的重要,他是在加拿大推进研究生教育的第一人。现在人们都知道,一个国家的研究生培养情况如何,是衡量这个国家科学水平的一个可靠指数。而在当时,能有这样的认识实属难能可贵。



菲尔兹对于数学的国际交流的重要性,对于促进北美州数学的发展,都有一些卓越的见解。为了使北美的数学迅速赶上欧洲,菲尔兹竭尽全力主持筹备了一九二四年的多伦多国际数学家大会(这是在欧洲之外召开的第一次大会)。这次大会使他精疲力尽,健康状况再也没有好转,但这次会议对于北美的数学水平的成长产生了深远的影响。



一九二四年大会没有邀请德国等第一次世界大战的战败国的数学家。在此之前的一九二0年大会,因为是在法国的斯特拉斯堡(战前属德国)举行,德国拒绝参加(一九二八年的波伦亚大会只是由于希尔伯特坚持,德国才参加了。)。这些事情很可能触发了菲尔兹发起一项国际性奖金的念头,因为菲尔兹强烈地主张数学发展应该是国际性的。当菲尔兹知道了一九二四年大会的经费有结余时,他就建议以此作为基金设立一项这样的奖。菲尔兹奔走欧美谋求支持,并想在—九三二年苏黎世大会亲自提出正式建议,结果未及开幕他就逝世了。是多伦多大学数学系的悉涅,把这个建议和一大笔钱(其中包括一九二四年大会的结余和菲尔兹的遗产)提交苏黎世大会,大会立即接受了这一建议。



按照菲尔兹的意见,这项奖金应该就叫国际奖金,而不应该以任何国家机构或个人的名字来命名。但是国际数学家大会还是决定命名为菲尔兹奖。数学家们希望用这一方式来表示对菲尔兹的纪念和赞许,他不是以自已的研究工作,而是以远见、组织才能和勤恳的工作促进了本世纪的数学事业。



第一次菲尔兹奖颁发于一九三六年。不久,国际形势急剧恶化。原定一九四0年在美国召开的大会已成泡影。第二次的菲尔兹奖是在战后的第一次大会,即一九五0年大会上颁发的。以后,每次大会都顺利地进行了这一议程。—般是每届两名获奖者。但一九六六年、一九七0年、一九七八年得奖人是四名,据说是因为有一位不愿透露姓名的捐款人,使奖金可以临时增加到四份,一九八二年华沙会议因故而延期至一九八三年八月举行,获奖者为三名。总起来,获得菲尔兹奖的数学家己有二十七名。



在一九三六年、—九五0年、一九五四年这三次大会上,都是由一位数学家来介绍所有得奖人的工作的。一九三六年卡拉凯渥铎利还讲了一点获奖者的生平。一九五0年评委会主席玻尔就只用清晰而非专门的语言简述工作。一九五四年,由本世纪著名的数学家外尔介绍,他在结束语中盛赞两位得奖者“所达到的高度是自己未曾梦想到的”,“自已从未见过这样的明星在数学天空中灿烂地升起,”他说:“数学界为你们二位所做的工作感到骄傲。它表明数学这棵长满节瘤的老树仍然充满着汁液和生机。你们是怎样开始的,就怎样继续下去吧!”



从一九五八年起,改成每位获奖者分别由一位数学家介绍。介绍的内容比较地局限于工作,对于获奖者个人的情况很少涉及。这个做法,一直延续到最近一次大会。







菲尔兹奖只是一枚金质奖章,与诺贝尔奖金的十万美元相比真是微不足道。为什么在人们心目中,菲尔兹奖的地位竟然与诺贝尔奖金相当?



原因看来很多。菲尔兹奖是由数学界的国际学术团体——国际数学联盟,从全世界的第一流数学家中遴选的。就权威性与国际性而言,任何其他的奖励都无法与之相比。菲尔兹奖四年才发一次,每次至多四名,因而获奖机会比诺贝尔奖要少得多。但是主要的原因应该是:迄今为止的获奖者用他们的杰出工作,证明了菲尔兹奖不愧为最重要的国际数学奖。事情就是这样:从表面上看,一项奖赏为获奖人带来了巨大荣誉;而事实上正相反,正是得奖工作的水准奠定了这项奖励的学术地位的基础。



菲尔兹奖首先是一项工作奖(这一点与诺贝尔奖金相同),即授予的原因只能是“已经做出的成就”,而不能是服务优秀、活动积极等其他原因。但是菲尔兹奖只授予四十岁以下的数学家(起先是一种默契,后来就成为不成文的规定),因此也带有一点鼓励性。问题在于,如果放在整个数学家的范围里,菲尔兹奖的得奖工作地位如何?



我们只举一个小小的例子。一九七八年,当代著名的老一辈数学家,布尔巴基学派创始人之一丢东涅发表了一篇题为《论纯数学的当前趋势》的论文,对于近二十年来纯数学各分支的前沿作了全面概述。在文章中,他列举了十三个目前处于主流的数学分支。其中十二个分支中的部分重要工作是由菲尔兹奖获得者作出的。这再清楚不过地说明了菲尔兹奖获奖成就的地位。







人们不能不承认,数学对于现实生活的影晌正在与日俱增。许多学科都在悄悄地或先或后地经历着一场数学化的进程。现在,已经没有哪个领域能够抵御得住数学方法的渗透。



数学本身也在一日千里地发展着。全世界成千上万的数学工作者正在几十个分支成百个专门方向上孜孜研究着。他们每年提出大约二十万条新定理!重要论文数,如以《数学评论》的摘要为准,每八至十年翻一番。文献数量的爆炸再加上方法概念的迅速更新,使得工作在不同方向上的数学家连交谈也有点困难,更不用说非数学专业的人了。



这样就产生了一个尖锐的矛盾。一方面,公众非常需要数学,他们渴望理解数学!另—方面,现代数学过于深刻、庞大、变得越来越不容易接近。



因此,对于数学,特别是现代数学加以普及,使得数学和数学家的工作能对现实生活产生应有的积极影响,这已成为人们日益重视的课题。

二十一世纪的曙光即将普照全球,要概述一下二十世纪的数学发展决非易事。就纯粹数学而言,我们觉得有两个主题可以起到提纲挈领的作用:一个是希尔伯特二十三问题的提出、解决现状与发展,另一个就是菲尔兹奖的获奖者及其工作。



作为一种表彰纯数学成就的奖励,菲尔兹奖当然不能体现现代数学的全部内容。就这个奖本身而言也有种种缺点。但是,无论从哪一方面讲,菲尔兹奖的获得者都可以作为当代数学家的代表,他们的工作所属的领域大体上覆盖了纯粹数学主流分支的前沿。这样,菲尔兹奖就成了一个窥视现代数学面貌的很好的“窗口”。
分享到:  QQ好友和群QQ好友和群 QQ空间QQ空间 腾讯微博腾讯微博 腾讯朋友腾讯朋友
收藏收藏 分享分享 分享淘帖 顶 踩
回复

使用道具 举报

您需要登录后才可以回帖 登录 | 注册

本版积分规则

QQ|网站统计|手机版|小黑屋|数学之家    

GMT+8, 2024-12-23 15:41 , Processed in 1.203132 second(s), 21 queries .

Powered by Discuz! X3.1

© 2001-2013 Comsenz Inc.

快速回复 返回顶部 返回列表