庞加莱猜想的证明过程 _小知识

数学家庞加莱提出的猜想是克雷数学研究所悬赏的七个千禧年大奖难题。其中三维的情形被俄罗斯数学家格里戈里·佩雷尔曼于2003年左右证明。2006年，数学界最终确认佩雷尔曼的证明解决了庞加莱猜想。庞加莱猜想是一个拓扑学中带有基本意义的命题，将有助于人类更好地研究三维空间，其带来的结果将会加深人们对流形性质的认识。

文章插图
提出这个猜想后，庞加莱一度认为自己已经证明了它。但没过多久，证明中的错误就被暴露了出来。于是，拓扑学家们开始了证明它的努力。
庞加莱猜想早期的证明
20世纪30年代以前，庞加莱猜想的研究只有零星几项。但突然，英国数学家怀特海（Whitehead）对这个问题产生了浓厚兴趣。他一度声称自己完成了证明，但不久就撤回了论文。但是失之东隅、收之桑榆，在这个过程中，他发现了三维流形的一些有趣的特例，这些特例被称为怀特海流形。
30年代到60年代之间，又有一些著名的数学家宣称自己解决了庞加莱猜想，著名的宾（R.Bing）、哈肯（Haken）、莫伊泽（Moise）和帕帕奇拉克普罗斯（Papa-kyriakopoulos）均在其中。
帕帕奇拉克普罗斯是1964年的维布伦奖得主，一名希腊数学家。因为他的名字超长超难念，大家都称呼他“帕帕”（Papa）。在1948年以前，帕帕一直与数学圈保持一定的距离，直到被普林斯顿大学邀请做客。帕帕以证明了著名的“迪恩引理”（Dehn'sLemma）而闻名于世，喜好舞文弄墨的数学家约翰·米尔诺（JohnMilnor）曾经为此写下一段打油诗：
“无情无义的迪恩引理，
每一个拓扑学家的天敌。
直到帕帕奇拉克普罗斯，
居然证明得毫不费力。”
然而，这位聪明的希腊拓扑学家，却最终倒在了庞加莱猜想的证明上。在普林斯顿大学流传着一个故事。直到1976年去世前，帕帕仍在试图证明庞加莱猜想，临终之时，他把一叠厚厚的手稿交给了一位数学家朋友，然而，只是翻了几页，那位数学家就发现了错误，但为了让帕帕安静地离去，最后选择了隐忍不言。
高维庞加莱猜想
这一时期拓扑学家对庞加莱猜想的研究，虽然没能产生他们所期待的结果，但是，却因此发展出了低维拓扑学这门学科。
庞加莱猜想成为出了名难证的数学问题之一
一次又一次尝试的失败，使得庞加莱猜想成为出了名难证的数学问题之一。然而，因为它是几何拓扑研究的基础，数学家们又不能将其撂在一旁。这时，事情出现了转机。
斯梅尔（Smale）在60年代初想到了一个天才的主意：如果三维的庞加莱猜想难以解决，高维的会不会容易些呢？
1960年到1961年，在里约热内卢的海滨，经常可以看到一个人，手持草稿纸和铅笔，对着大海思考。他，就是斯梅尔。
1961年的夏天，在基辅的非线性振动会议上，斯梅尔公布了自己对庞加莱猜想的五维空间和五维以上的证明，立时引起轰动。斯梅尔由此获得1966年菲尔茨奖。
1983年，美国数学家福里德曼（Freedman）将证明又向前推动了一步。在唐纳森工作的基础上，他证出了四维空间中的庞加莱猜想，并因此获得菲尔茨奖。但是，再向前推进的工作，又停滞了。
拓扑学的方法研究三维庞加莱猜想没有进展，有人开始想到了其他的工具。瑟斯顿（Thruston）就是其中之一。他引入了几何结构的方法对三维流形进行切割，并因此获得了1983年的菲尔茨奖。
“就像费马大定理，当谷山志村猜想被证明后，尽管人们还看不到具体的前景，但所有的人心中都有数了。因为，一个可以解决问题的工具出现了。”清华大学数学系主任文志英说。
里奇曲率流
理查德·汉密尔顿，生于1943年，比丘成桐大6岁。虽然在开玩笑的时候，丘成桐会戏谑地称这位有30多年交情、喜欢冲浪、旅游和交女朋友的老友“Playboy”，但提起他的数学成就，却只有称赞和惺惺相惜。
1972年，丘成桐和李伟光合作，发展出了一套用非线性微分方程的方法研究几何结构的理论。丘成桐用这种方法证明了卡拉比猜想，并因此获得菲尔茨奖。1979年，在康奈尔大学的一个讨论班上，当时是斯坦福大学数学系教授的丘成桐见到了汉密尔顿。“那时候，汉密尔顿刚刚在做Ricci流，别人都不晓得，跟我说起。我觉得这个东西不太容易做。没想到，1980年，他就做出了第一个重要的结果。”丘成桐说，“于是我跟他讲，可以用这个结果来证明庞加莱猜想，以及三维空间的大问题。”