庞加莱猜想前言.docVIP

庞加莱猜想-前言Wir m\ussen wissen! Wir werden wissen!(我们必须知道！我们必将知道！)—— David Hilbert两年前科学版举行过一次版聚，我报告了低维拓扑里面的一些问题和进展，其中有一半篇幅是关于 Poincar\e 猜想。版聚后，flyleaf 要求大家回去后把自己所讲的内容发在版上。当时我甚至已经开始写了一两段，但后来又搁置了。主要是因为自己对于低维拓扑还是一个门外汉，写出来的东西难免有疏漏之处，不敢妄下笔。两年过去，我对低维拓扑这门学科的了解比原先多了，说话的底气也就比原先足了。另外，由于 Clay 研究所的百万巨赏，近年来 Poincar\e 猜想频频在媒体上曝光；而且 Perelman 最近的工作使数学家们有理由相信我们已经充分接近于这一猜想的最后解决。所以大概会有很多人对 Poincar\e 猜想的来龙去脉感兴趣，我也好借机一偿两年来的宿愿。现代科学的高速发展使各学科之间的鸿沟加大，不同学科之间难以互相理解，所以非数学专业的读者在阅读本文时可能会遇到一些困难。但限于篇幅和文章的形式，我也不可能对很多东西详细解释。一些最基本的拓扑概念如“流形”，我将在本文的附录中解释。还有一些“同调群”、“基本群”之类的名词，读者见到时大可不去理会它们的确切含义。我将尽量避免使用这一类的专业术语。作者并非拓扑方面的专家，对下面要说的很多内容都是道听途说，只知其然而不知其所以然；作者更不善于写作，写出来的东东总会枯燥无味，难登大雅之堂。凡此种种，还请读者诸君海涵。问题的由来Consid\erons maintenant une vari\et\e [ferm\ee] $V$ \`a troisdimensions ... Est-il possible que le groupe fondamental de $V$ ser\eduise \`a la substitution identique, et que pourtant $V$ ne soit passimplement connexe?—— Henri Poincar\e在拓扑学家的眼里，篮球、排球和乒乓球并没有什么不同，它们都同胚于三维空间中的球面S^2. (我们把n+1维欧氏空间中到原点距离为1的点的集合记作S^n，称为n维球面(sphere)。) 与它们不同的一种曲面是轮胎或者游泳圈，我们管这种曲面叫环面(torus)，记作T^2.从环面出发可以构造更多的曲面：取两个环面，在每个上面挖一个洞，然后把两个洞的边缘粘在一起，就得到一种新的曲面，称为双环面，记作2T^2. 从两个环面得到双环面的这种过程称为作两个环面的连通和(connected sum)。类似地，还可以作双环面与环面的连通和，得到的曲面自然就记作3T^2...早期拓扑学研究的主要对象就是这些形形色色的曲面。19世纪的数学家基本上已经完成了曲面的分类，一个著名的结果是 August M\obius 在70岁时得到的：可定向闭曲面只有上面所说的那些，即 S^2, T^2, 2T^2, 3T^2...拿一个汽车轮胎，我们可以用一个绳圈把它套住，而且套得很牢，怎么晃都晃不掉，只要绳子不断、轮胎不裂。如果是皮球就不同了，你没法用绳圈把一个皮球套牢。即使你将皮球捏瘪甚至捏凹，也只能勉强用绳圈套上，稍微晃一晃就掉了。这种“用绳圈套不住”的性质是球面所独有的，数学上称为“单连通性”。较严格地用数学语言说，球面上的任何一条闭合道路都能在球面上连续地收敛为一点。而T^2, 2T^2等曲面就不是单连通的，因为上面存在着一些闭合道路，不能在该曲面上连续地收缩为一点。根据 M\obius 所证明的闭曲面分类定理，单连通的闭曲面必然同胚于球面。数学家们在获得一个结论后，总是会寻找更加一般的结论。以前 Ecole Poly-technique 的一位物理教授面试 ukim 的时候，出了一道题，大意是在xz平面, zy平面, yz平面各放一面镜子，一束光照进来，然后如何如何。ukim 当然不会做，然后那教授给他讲了一个很好的看法。为了挽回面子，ukim 瞬间证明了这个问题可以推广到n维……一百年前 ukim 的校友 Poincar\e 同样是遵循着这种低维-高维的推广思路，写下了前面那一段引言。今天我们把这个问题称为 Poincar\e 猜想：单连通的三维闭流形必然同胚于三维球面 S^3. 也就是说，如果有一个三维闭流形M，M 中任何一条闭合道路都能在 M 内连续收缩为一点，那么 M 就同胚于 S^3.需要指出，Poincar\e 提出这一问题时，并不是