视频字幕
庞加莱猜想是数学史上最著名的难题之一，由法国数学家亨利·庞加莱于1904年提出。这个猜想涉及三维空间的拓扑性质，是理解空间形状的基础问题。它被列为千禧年七大数学难题之一，悬赏一百万美元。经过近一个世纪的努力，直到2003年，俄国数学家格里戈里·佩雷尔曼才成功证明了这个猜想，这是数学史上的一个重大突破。
拓扑学是研究空间基本性质的数学分支。它关注的不是距离和角度，而是连续性和邻近关系。拓扑空间是具有连续性结构的集合。连续变形是指保持邻近关系不变的变换，比如将咖啡杯连续变形为甜甜圈，这两个形状在拓扑学中是等价的，称为同胚。流形是局部类似于欧几里得空间的拓扑空间，从一维的圆，到二维的球面，再到三维流形，它们为理解庞加莱猜想提供了基础概念。
三维流形是庞加莱猜想的核心概念。我们从简单的例子开始理解：一维圆S¹是二维平面中的圆周，二维球面S²是三维空间中的球面。类似地，三维球面S³是四维空间中到原点距离为1的所有点的集合。三维流形具有几个重要性质：闭合表示没有边界，紧致表示有界且封闭，单连通表示任何闭合路径都可以连续收缩为一点。三维球面S³正是具备所有这些性质的典型例子，它是庞加莱猜想要研究的核心对象。
基本群是拓扑学中的核心概念，用来刻画空间的连通性质。基本群π₁(X)由空间X中所有闭合路径的等价类组成。单连通性是指空间的基本群为平凡群，也就是说任何闭合路径都可以连续收缩为一点。球面是单连通的典型例子，球面上的任何闭合路径都可以收缩为一点。而环面则不是单连通的，因为绕环面中心孔洞的路径无法收缩为点。这个概念对理解庞加莱猜想至关重要，因为猜想正是关于单连通三维流形的性质。
现在我们来看庞加莱猜想的精确数学表述：每个单连通的闭合三维流形都同胚于三维球面S³。让我们分析这个表述中的每个关键术语。单连通意味着基本群为平凡群，闭合表示没有边界，三维流形是局部类似于三维欧几里得空间的拓扑空间，同胚表示拓扑等价，而三维球面S³是我们的标准参照模型。这个猜想之所以困难，是因为三维空间难以直观可视化，需要复杂的拓扑不变量来研究。有趣的是，类似的问题在其他维度都已经被证明，只有三维情况是最后的难题。