庞加莱猜想
谈起庞加莱,可能人们最先想到的是他的庞加莱猜想,数学家庞加莱提出的这个猜想是克雷数学研究所悬赏的七个千禧年大奖难题。其中三维的情形被俄罗斯数学家格里戈里·佩雷尔曼于2003年左右证明。2006年,数学界最终确认佩雷尔曼的证明解决了庞加莱猜想。庞加莱猜想是一个拓扑学中带有基本意义的命题,将有助于人类更好地研究三维空间,其带来的结果将会加深人们对流形性质的认识。
提出这个猜想后,庞加莱一度认为自己已经证明了它。但没过多久,证明中的错误就被暴露了出来。于是,拓扑学家们开始了证明它的努力。
早期的证明
20世纪30年代以前,庞加莱猜想的研究只有零星几项。但突然,英国数学家怀特海(Whitehead)对这个问题产生了浓厚兴趣。他一度声称自己完成了证明,但不久就撤回了论文。但是失之东隅、收之桑榆,在这个过程中,他发现了三维流形的一些有趣的特例,这些特例被称为怀特海流形。
30年代到60年代之间,又有一些著名的数学家宣称自己解决了庞加莱猜想,著名的宾(R.Bing)、哈肯(Haken)、莫伊泽(Moise)和帕帕奇拉克普罗斯(Papa-kyriakopoulos)均在其中。
帕帕奇拉克普罗斯是1964年的维布伦奖得主,一名希腊数学家。因为他的名字超长超难念,大家都称呼他“帕帕”(Papa)。在1948年以前,帕帕一直与数学圈保持一定的距离,直到被普林斯顿大学邀请做客。帕帕以证明了著名的“迪恩引理”(Dehn's Lemma)而闻名于世,喜好舞文弄墨的数学家约翰·米尔诺(John Milnor)曾经为此写下一段打油诗:
“无情无义的迪恩引理,
每一个拓扑学家的天敌。
直到帕帕奇拉克普罗斯,
居然证明得毫不费力。”
然而,这位聪明的希腊拓扑学家,却最终倒在了庞加莱猜想的证明上。在普林斯顿大学流传着一个故事。直到1976年去世前,帕帕仍在试图证明庞加莱猜想,临终之时,他把一叠厚厚的手稿交给了一位数学家朋友,然而,只是翻了几页,那位数学家就发现了错误,但为了让帕帕安静地离去,最后选择了隐忍不言。
高维庞加莱猜想
这一时期拓扑学家对庞加莱猜想的研究,虽然没能产生他们所期待的结果,但是,却因此发展出了低维拓扑学这门学科。
庞加莱猜想成为出了名难证的数学问题之一
一次又一次尝试的失败,使得庞加莱猜想成为出了名难证的数学问题之一。然而,因为它是几何拓扑研究的基础,数学家们又不能将其撂在一旁。这时,事情出现了转机。
斯梅尔(Smale)在60年代初想到了一个天才的主意:如果三维的庞加莱猜想难以解决,高维的会不会容易些呢?
1960年到1961年,在里约热内卢的海滨,经常可以看到一个人,手持草稿纸和铅笔,对着大海思考。他,就是斯梅尔。
1961年的夏天,在基辅的非线性振动会议上,斯梅尔公布了自己对庞加莱猜想的五维空间和五维以上的证明,立时引起轰动。斯梅尔由此获得1966年菲尔茨奖。
1983年,美国数学家福里德曼(Freedman)将证明又向前推动了一步。在唐纳森工作的基础上,他证出了四维空间中的庞加莱猜想,并因此获得菲尔茨奖。但是,再向前推进的工作,又停滞了。
拓扑学的方法研究三维庞加莱猜想没有进展,有人开始想到了其他的工具。瑟斯顿(Thruston)就是其中之一。他引入了几何结构的方法对三维流形进行切割,并因此获得了1983年的菲尔茨奖。
“就像费马大定理,当谷山志村猜想被证明后,尽管人们还看不到具体的前景,但所有的人心中都有数了。因为,一个可以解决问题的工具出现了。”清华大学数学系主任文志英说。
里奇曲率流
理查德·汉密尔顿,生于1943年,比丘成桐大6岁。虽然在开玩笑的时候,丘成桐会戏谑地称这位有30多年交情、喜欢冲浪、旅游和交女朋友的老友“Playboy”,但提起他的数学成就,却只有称赞和惺惺相惜。
1972年,丘成桐和李伟光合作,发展出了一套用非线性微分方程的方法研究几何结构的理论。丘成桐用这种方法证明了卡拉比猜想,并因此获得菲尔茨奖。1979年,在康奈尔大学的一个讨论班上,当时是斯坦福大学数学系教授的丘成桐见到了汉密尔顿。“那时候,汉密尔顿刚刚在做Ricci流,别人都不晓得,跟我说起。我觉得这个东西不太容易做。没想到,1980年,他就做出了第一个重要的结果。”丘成桐说,“于是我跟他讲,可以用这个结果来证明庞加莱猜想,以及三维空间的大问题。”
Ricci流是以意大利数学家里奇(Gregorio Ricci)命名的一个方程。用它可以完成一系列的拓扑手术,构造几何结构,把不规则的流形变成规则的流形,从而解决三维的庞加莱猜想。看到这个方程的重要性后,丘成桐立即让跟随自己的几个学生跟着汉密尔顿研究Ricci流。
在使用Ricci流进行空间变换时,到后来,总会出现无法控制走向的点。这些点,叫做奇点。如何掌握它们的动向,是证明三维庞加莱猜想的关键。在借鉴了丘成桐和李伟光在非线性微分方程上的工作后,1993年,汉密尔顿发表了一篇关于理解奇点的重要论文。便在此时,丘成桐隐隐感觉到,解决庞加莱猜想的那一刻,就要到来了。
佩雷尔曼的突破
格里戈里·佩雷尔曼在花了8年时间研究这个足有一个世纪的数学难题后,在2002年11月和2003年7月之间,将3份关键论文的手稿粘贴到专门刊登数学和物理预印本论文的网站上,并用电邮通知了几位数学家,声称自己证明了几何化猜想。
到2005年10月,数位专家宣布验证了该证明,一致的赞成意见几乎已经达成。“如果有人对我解决这个问题的方法感兴趣,都在那儿呢—让他们去看吧。”佩雷尔曼说,“我已经发表了我所有的算法,我能提供给公众的就是这些了。”
佩雷尔曼的做法让克雷数学研究所大伤脑筋。因为按照这个研究所的规矩,宣称破解了猜想的人需在正规杂志上发表并得到专家的认可后,才能获得100万美元的奖金。显然,佩雷尔曼并不想把这100万美金补充到他那微薄的收入中去。
相关阅读
数学问题的提出和解决是推动数学发展的重要力量,猜想和反驳是解决数学问题的一个重要思想方法。猜想是人们根据一定的经验材料和已
ζ(s)\zeta (s)ζ(s), is a function of a complex variable sss that analytically continues the sum of the infinite series
有卖家朋友想知道,我是个人商家,没有实体经营场所,仅在京东线上平台开了网店,我想进行市场主体登记,去哪里获得我的“经营场所”呢?下面
贷款买过房的人都知道,申请银行贷款的时候,需要提供夫妻一方或者双方的收入证明,而收入证明的开具直接影响你的贷款额度,那么,个人的收
在1985年有人提出了一个叫做ABC猜想的事情,其中abc猜想是Oesterlé–Masser猜想,最早提出的是乔瑟夫·奥斯达利(Joseph Oesterlé)及