亨利·庞加莱奠定了现代拓扑学的基础，但他对拓扑学的研究也存在一些理论上的悖论。布劳威尔的不动点定理是拓扑学的重要成果。
原文标题：庞加莱成为现代拓扑学的创始人，这事有点儿奇怪
原文作者：图灵编辑部
冷月清谈：
怜星夜思：
2、布劳威尔的直觉主义哲学对数学的观点是什么？这种哲学思想如何影响了他对拓扑学的看法？
3、文章提到了构造主义数学，并且说“一旦人们对思维方式做出了适当调整，那么人们自 1880 年以来取得的很多数学成果看起来都会是误解”，你觉得在计算机技术高速发展的今天，构造主义数学会迎来新的发展机遇吗？为什么？
原文内容
1895 年，一位才华横溢的法国数学家把这些想法代数化，这位数学家就是巴黎综合理工学院的亨利·庞加莱（1854—1912）。
庞加莱是这样陈述的：考虑一个曲面上的所有可能的若尔当闭路，即起点和终点相同的所有路径。令这个基点固定不动，把所有闭路分成若干集族，如果一条闭路能够光滑地变形为另一条闭路，那么这两条闭路就属于同一个族，即它们是拓扑等价的。
考虑这些族，无论它们有多少。两个族的合成定义如下：首先经过第一个族的一条路径，然后再经过第二个族的一条路径（选择哪条路径无关紧要）。
现在，你有了一个以闭路族为元素的集合，而且还有一种将两个元素合成为另一个元素的方法。这些元素（即闭路族）能构成一个群吗？庞加莱证明它确实是一个群，于是代数拓扑就这样诞生了。
1904 年，庞加莱提出了著名的庞加莱猜想，断言上述问题的答案是肯定的。直到 2005 年末，这个猜想既没有被证明，也没有被推翻。在发表于 2002 年和 2003 年的一系列论文中，俄罗斯数学家格里戈里·佩雷尔曼（1966— ）证明了它是正确的。当我在写这本书时（本书英文版出版于 2006 年 5 月），数学家们仍在评审佩雷尔曼的工作。根据这些评审报告的非正式报道，越来越多的人认为佩雷尔曼实际上已经证明了这个猜想。庞加莱猜想是七个千禧年大奖难题之一，解决其中任何一个问题都将获得美国马萨诸塞州剑桥市的克雷数学研究所提供的 100 万美元奖金。如果佩雷尔曼的证明是正确的，那么他将获得这 100 万美元。
当一个数学理论开始产生猜想时，它就开始活跃起来了。拓扑学就是伴随着庞加莱 1895 年出版的著作《位置分析》而活跃起来的。在拓扑学发展的最初几十年间，它经常被称为“位置分析”。直到 20世纪 30 年代，人们才普遍用“拓扑学”来命名这个学科。我想这应该感谢所罗门·莱夫谢茨（1884—1972），我稍后将详细介绍这个人。
庞加莱成为现代拓扑学的创始人，这里有点儿奇怪。
数学家认为，拓扑学实际上有两种风格：一种源自几何学的启示，另一种源自分析学。这里的“分析”指的是数学意义中的分析，即以函数、极限、微分和积分作为研究对象的数学分支，这些研究对象都与连续性有关。如果你回头看一下我在前面多次提到的光滑和连续变形，你就会掌握这种拓扑意义中的联系。从某种意义上说，如果没有光滑、连续、从一个位置到另一个位置的无穷小移动等基础概念，即一些分析的思维方式，那么拓扑学就没有意义。
用数学术语来说，分析的对面是组合。在组合数学中，我们研究的事物可以数出来：1、2、3，等等，且整数之间不存在其他数。因为相邻整数之间没有整数，所以从一个整数到另一个整数没有一条光滑的路径，我们需要跳过一个个间隔。分析数学是连贯的，可以光滑地在连续的空间中穿梭；而组合数学是断断续续的，从一个整数直接跳跃到另一个整数。
如今，拓扑学应该是所有数学研究中最具有连贯性的，因为橡皮面可以光滑、连续地弯曲和伸缩。然而，最早出现的拓扑不变量却是一个表示孔洞数的整数，它用来衡量一个曲面内环状孔洞的个数，是由瑞士数学家西蒙·吕利耶（1750—1840）于 1813 年发现的。维数是另一个拓扑不变量（在拓扑意义中，你不能把一根鞋带变成一张煎饼，或把一张煎饼变成一块砖），它也是一个整数。甚至连庞加莱发现的那些基本群也不是像李群那样的连续群，而是如“数学基础知识：数和多项式”中定义的那样的可数的离散群。尽管这些群可能是无限群，但是它们的元素可以数出来：1、2、3，等等。连续群中的元素是不可数的。所以，拓扑学中所有有趣的东西似乎都是离散的，而不是连续的。
自相矛盾的是，庞加莱经由分析学进入拓扑学，确切地说，他是在研究微分方程的一些问题时来到了拓扑学领域。然而，他的研究结果以及他在《位置分析》中的所有思想都是组合的。从分析角度研究拓扑学（现在通常被称为点集拓扑学）对他而言没什么吸引力。
同样的矛盾在荷兰数学家布劳威尔（1881—1966）的身上更加明显，他是庞加莱最重要的代数拓扑传人。正是布劳威尔在 1910 年证明了维数是一个拓扑不变量。在现代数学中，更为重要的是他的不动点定理。
布劳威尔不动点定理
维球体到自身的任意连续映射都有一个不动点。
维球体就是实心单位圆盘（平面上到原点的距离不超过一个单位的点的全体）的概念或实心单位球体（三维空间中到原点的距离不超过一个单位的点的全体）的概念在 维空间中的推广。对于二维平面的情形，这个定理意味着如果你把单位圆盘上的每一个点光滑地移到另外某个点处，把非常靠近的点移到同样非常靠近的点，那么总有一个点在移动前后的位置不变。
不动点定理及其直接推广有很多推论。例如，你小心平稳地搅拌杯子里的咖啡，那么某一滴咖啡，或者说某个分子，最终会停在它的起始位置上。（注意，从拓扑意义上说，杯中的咖啡是一个三维球体，通过搅拌，你就把咖啡中的每一个分子从这个三维球体的某个点 
移到了某个点 
，这就是我们所说的“把一个空间映射到自身”的意思。）还有一个不太明显的例子：把一张纸放在桌子上，用记号笔在桌子上画出它的轮廓。现在把这张纸揉皱，但不要撕破它，然后把它放进画出的轮廓里。这张变皱的纸上存在（至少）一个点，一定在画出的这张纸的轮廓中这个点的正上方。
布劳威尔的拓扑学中潜在的自相矛盾，是他得到的结果与他的哲学思想格格不入。对于一名普通的数学家来说，这也许并不重要，但是布劳威尔是一位非常有哲学想法的数学家。他痴迷于形而上学思想（更确切地说是反形而上学的思想）以及为数学寻找一个可靠的哲学基础。
为此，他创立了直觉主义学说，试图将所有数学根植于人类进行连续思考的思维活动之中。布劳威尔说，一个数学命题不真，是因为它对应于某种柏拉图式的更高实体，这种更高实体超出了我们的物理感官，而我们的大脑却能以某种方式理解它。它不真，还因为它遵循了一些语言形符的规则，就像布劳威尔时代的逻辑学家和形式主义者（如罗素和希尔伯特）所主张的那样。它为真，是因为我们可以进行一些适当的心理建构，一步一步体验它的正确性。按照布劳威尔的说法，构成数学的材料（非常粗略地说）并不是从超出我们感知的世界里的某个仓库里取出来的，也不仅仅是语言或者在纸上根据规则操作的符号。它是一种思想——一种人类活动，最终建立在我们对时间的直觉上，它是人类本能的一部分。
这仅仅是对直觉主义最简单的概括，它催生了大量的文献。了解这种哲学的读者会察觉到康德和尼采对其产生的影响。
事实上，不管怎么说，布劳威尔绝不是这条思路仅有的开创者。类似的思想贯穿数学的现代历史，可以追溯到康德之前，至少可以追溯到笛卡儿的时代。我认为，四元数（见第 8 章）的发现者哈密顿可以被看作直觉主义者。1835 年，他在论文《作为纯时间科学的代数》中试图将康德的基于几何学的数学思想建立在“直觉”和“构造”之上，并引进到代数中。
19 世纪后期，利奥波德·克罗内克（1823—1891）强烈反对格奥尔格·康托尔把“实无穷”引入集合论中，你可以称克罗内克为前直觉主义者。克罗内克认为，像 
这样的不可数集合不属于数学，数学即使没有它们也能发展，它们把无用且不必要的形而上学的包袱带到了数学中，数学应该根植于计数、算法和计算。
正是这个思想学派被布劳威尔带到 20 世纪，传播给后来的数学家，例如美国数学家埃里特·毕晓普（1928—1983）。布劳威尔的学说被称为“直觉主义”，毕晓普的学说被称为“构造主义”。这些思想现在都被称为“构造主义”，它们在美国的倡导者是美国柯朗数学科学研究所的哈罗德·爱德华兹教授。爱德华兹教授在其 2004 年的著作《构造数学论著集》（Essays in Constructive Mathematics）中很好地说明了这种方法（事实上，他的其他著作也是如此）。
爱德华兹教授认为，随着功能强大的计算机便捷化，构造主义现已迎来了它的时代，而且一旦人们对思维方式做出了适当调整，那么人们自 1880 年以来取得的很多数学成果看起来都会是误解。我没有资格评判这个预言，但就其特点而言，我个人觉得构造主义的方法非常有吸引力，而且我是爱德华兹教授的著作的“铁杆粉丝”，这可以从我在正文中多处引用他的话看出来。我在第 13 章中对手工制作数学模型和绘制曲线的评述也非常具有构造主义特征。
总之，在布劳威尔 30 岁左右的那几年里，他在代数拓扑方面的研究一定与他的哲学观点有冲突。十年后，他的同胞范德瓦尔登来到荷兰阿姆斯特丹跟随他学习。范德瓦尔登在接受《美国数学学会通告》采访时说：
尽管布劳威尔最重要的研究贡献在拓扑学领域，但是他从来没有开设过拓扑学课程，而且总是只开设直觉主义基础课程。他似乎不再相信自己在拓扑学方面的成果，因为从直觉主义的观点来看，它们是不正确的。根据他自己的哲学，他认为之前做过的每一件事情——甚至他最伟大的成果——都是错误的。他是一个非常奇怪的人，他疯狂地热爱自己的哲学。
《代数的历史：人类对未知量的不舍追踪（修订版）》
作者：约翰·德比希尔
更严谨、更翔实、更好读，全面展现代数自诞生至今的面貌。
这是一部恢宏的数学史和人类思想史，一本阐明代数基本知识的“数学入门书”，一册数学家的趣味故事集。