让我们从简单的开始。我们知道地球的形状,它近似一个球形;银河系是棒螺旋形的,也就是带旋臂的圆盘形状;那可观测宇宙呢?是球形吗?看起来确实如此,因为它正在向外扩张。那么在我们可以观测到的范围之外的整个宇宙呢? 答案是,我们不知道,但我们可以猜想。它可能是有限的或无限的,有边界或没有边界,有曲率或没有曲率。我们所知道的是,它似乎在扩张。但扩张到哪里?我们不知道。但是我们可以推测一下。 宇宙过去的形状,现在的形状,以及将来可能的形状,我们很难凭经验来辨别。爱因斯坦在某种程度上帮助了我们,他向我们展示了物质和能量实际上可能与四维——时间——相互作用。在这种相互作用中,时空可能因质量(能量)的存在而发生扭曲。就我们所知,我们生活在一个四维宇宙中,这个宇宙易受变形的影响,比如拉伸、扭曲和弯曲。这就是拓扑学发明的由来。 让我们来看看最基本的。我们都知道,平面上的圆是二维圆盘的一维周长(嵌在二维空间中的一维等价物是一条直线)。增加一个维度,我们也能直观地知道,一个三维球的二维表面叫做球面(嵌在三维空间中的二维等价物是一个面)。然而,再增加一个维度,我们的直觉已经完全失效了。嵌在四维空间中的物体的三维等价物是什么?在四维欧几里得空间中,四维球的三维边界在数学上被称为三维球面( glome)。我们无法在大脑中形成三维球面的直观印象。 在数学中,这三个物体(圆、球、三维球面)是密切相关的,被称为一维球、二维球和三维球。n维球是一维球在任意维空间中的推广。在拓扑学中,n维球被视为n维流形,这些流形是在每个点附近局部类似欧几里德(平坦)空间的拓扑空间。更准确地说应该是: 关于流形的概念,作家西尔维亚·纳萨尔在她的《美丽心灵》一书中提供了一个很好的描述: 约翰·斯蒂威尔在他的著作《论拓扑》中声称,在亨利庞加莱之前,只有一个拓扑概念被定义。这一概念是由欧拉多面体公式V - E + F = χ给出的著名欧拉数(χ),其中V代表顶点,E代表边,F代表面。球面和凸多面体的欧拉数都是2,如柏拉图固体。1863年,在对这种表面的拓扑分类的研究中,莫比乌斯指出,R³中的所有闭合曲面,即可定向曲面,都是根据其欧拉数进行分类的。 高斯以及黎曼等人也对拓补学的发展做出了一定的贡献,但直到贝蒂在研究任意维度的概念方面取得了实质性进展,拓补学 才逐渐发展成一门独立的、系统的学科。 贝蒂定义了后来被称为贝蒂数的数字P₀,P₁,P₂…。在代数拓扑中,第k个贝蒂数是指拓补表面上k维孔的数量,或者用另一种说法,“在不把一个表面分成两部分的情况下所能切割的最大次数”。对于0维,1维和2维的单纯复形(指由点、线段、三角形等单纯形“粘合”而得的拓扑对象),贝蒂数的定义如下: 例如,一个环面有一个相连的表面分量,所以 P₀ = 1;两个“圆”孔(一个赤道孔和一个子午孔),所以P₁ = 2;还有一个封闭在表面内的空腔,所以 P₂ = 1。 米尔诺用亏格0、1和2的三个图形的简单草图来介绍流形和拓扑结构。 在庞加莱之前,正如米尔诺和斯蒂威尔所争论的那样,唯一定义得很好的拓扑概念确实是闭合曲面的理论,也就是所谓的维2流形。它们的性质是紧密的,没有边界。闭曲面的分类定理表明,任何连通的闭曲面与这三个族中的某个成员是同胚的: 亨利庞加莱是第一个试图进行类似研究的人,就像对1维流形和2维流形所做的那样,他研究三维流行是否可以被证明是同胚的。 亨利庞加莱于1854年4月29日出生在法国。他的父亲是医学教授,他的母亲是一位家庭主妇。他的天赋最早被一位数学老师所发现,这位老师称他为“数学怪兽”。除了数学之外,他还擅长写作文。1871年,他从大学毕业,获得文学和科学学士学位,并加入父亲的前线,参加普法战争,在救护队服役。 战争结束后,1873年庞加莱进入巴黎综合理工学院,他在查尔斯·埃尔米特手下学习数学,在22岁时发表了他的第一篇论文,题为“表面指标性质的新证明”。1875年,除了学习数学之外,他还进入了矿业学院,并于1879年毕业,获得了工程师学位。他立即利用了他的新学位,加入了美国陆军地雷部队。与此同时,他正在索邦大学攻读数学博士学位,研究微分方程。 博士毕业后,庞加莱继续从事采矿工程师的工作,从1881年到1885年,负责北方铁路的发展。同时,他也开始在他的母校索邦大学教授数学,并继续进行研究,发展了一个新的数学分支,名为“微分方程的定性理论”。除此之外,还有他后来在拓扑学上的研究,在其职业生涯中庞加莱还从事过复变解析函数、阿贝尔函数、代数几何、双曲几何、数论、三体问题、丢番图方程、电磁学、相对论、哲学和群论的理论研究。 庞加莱在19世纪90年代开始从事现在被认为是拓扑学和代数拓扑学基础的工作。“拓扑”一词的灵感来自于戈特弗里德·莱布尼茨在其1672-76年的著作中提到的这个词。 拓扑学是研究几何物体在连续变形下的特性,如拉伸、扭曲、弯曲,但不撕裂。 在他关于拓扑学的第一篇论文中,庞加莱开始着手于拓扑学的第一本真正的入门书《拓补分析》。他引用了贝蒂数。他提出,贝蒂数是否足以确定流形的拓扑分类?为此,他引入了基本群π₁的概念。一个基本群体可以用以下方式来理解: 接下来,他描述了一组三维流形,并说明其中某些流形具有相同的贝蒂数,但属于不同的基本群。由此,他提出,如果基本群是拓扑不变的,仅凭贝蒂数无法区分三维流形。 后来的庞加莱猜想(1904)实际上在1895年并不存在。根据斯蒂威尔的说法,庞加莱认为这是显而易见的,即所有单连通的n维闭流形都是同胚的n维球。也就是说,所有这样的流形如果在n维中变形为一个球体的形状,将保持它们的拓扑性质。毕竟,自黎曼时代以来,对于一维和二维流形,同样的结果是已知的。 拓扑分析,相反地,是对贝蒂数进行修正和补充,以寻找一个更坚实的基础,基于他自己三年前的论证。本文通过几种途径来实现这一目标。正如研究中经常出现的情况一样,他首先介绍了为什么这项工作是有价值的,他说:“n维几何是一个真实的对象,现在没有人怀疑这一点。”超维空间中的图形和普通空间中的图形一样,都容易被精确的定义,即使我们无法想象它们,但我们可以研究它们。 在拓扑分析的众多重大发现中,庞加莱为后来被称为同调论的理论奠定了基础,这是一种将一系列代数结构(如交换群或模块)与其他数学对象(如拓扑空间)联系起来的方法。他建立了一个计算贝蒂数的系统,假设每个流形都可以分解成与单形同胚的“包”,写出他称为同胚的线性方程,并通过线性代数计算相应的贝蒂数,从而达到这个目的。 利用他的新同调理论,庞加莱下一步通过考虑“包”分解的对偶,提供了n维流形的贝蒂数的庞加莱对偶性定理。对偶定理指出,从“两端”距离相同的贝蒂数,即上维和下维,是相等的。特别是,对于一个3维流形,二维的贝蒂数等于一维的贝蒂数。 在同一篇论文的后面,庞加莱还将欧拉多面体公式推广到任意维数,并将其与他的同调理论联系起来。他还给出了新的基本群的例子,证明了π₁是比贝蒂数更强的不变式,因为它识别的八面体的相对面与3维球具有相同的贝蒂数,但又是不同的基本群。从他的发现中可以看出,对于0维、1维和2维流形,贝蒂数足以区分它们,但对于三维流形,基本群就变得很重要了。 回顾过去,由于庞加莱对同调理论和基础群的建立,《拓扑分析》被视为代数拓扑的起源。对于同调理论,其建立的重要性在于它揭示了产生贝蒂数的代数结构。基本群的发现突出了用贝蒂数来指示流形性质的能力的不足。 这是由庞加莱在他1904年的《拓扑分析》补编的末尾所作的猜想,他认为三维流形的表征是同胚于3维球面的。准确地说,庞加莱猜想表明: 这个猜想认为,如果流形内的每一条简单的闭合曲线,如环路,都可以变形(收紧)为一个点,那么它一定是一个三维球体。不幸的是,我们不能有效地可视化三维流形,下面的图中显示了类似的2形流形,其中有蓝色和绿色的环。正如我们所看到的,在球体上的任何环都可以被收缩,并通过滑动它们而离开表面。然而,在环面上,虽然蓝色环可以被收紧和滑脱,但绿色环不能,除非切割环面。因此,环面与球面不是同胚的。 正如你现在可能已经发现的,庞加莱的猜想和宇宙形状之间的联系是非常明显的。简单地说,如果宇宙是一个单连通、封闭的3维流形,它与球体是同胚的。这意味着,尽管宇宙可能确实是一个3维环面的形状,如果是这样,我们知道它永远不可能扩展成3维球的形状,反之亦然。