拓扑学简介（三）

尾相接，就组成一条新的道路，这就是道路的乘法。这里有两个问题需要处理，首先，不是任何两条道路都能相乘（必须首尾相接才可以），然后，即使能相乘，乘法也不满足结合律，运算起来不方便。庞卡莱想到了办法解决这两个问题。他在几何体内取一个基点，只考虑那些从这个点出发再回到这个点的道路，这些道路当然互相首尾相连；然后他规定，如果一条道路能在几何体内经过连续变形到另一条道路（见下图），这两条道路就被看作在同一个“道路类”中，这样规定后，“道路类”之间的乘法就满足结合律了。这些“道路类”也组成一个代数对象，有乘法运算，这个对象叫做几何体的“基本群”，或者“1维同伦群”。
　　

　　来点感性认识。线段的基本群只有一个元素，就是静止在基点的道路。线段里的其他任何从基点出发回到基点的道路都可以在线段内连续变形到静止在基点的道路。我们把只包含一个元素的基本群称为“平凡的”。再看圆周，它的基本群是所有整数组成的。绕圆周n圈的道路不能在圆周上连续变形到绕圆周m圈的道路，而把它们首尾相接的结果就是绕圆周n+m圈的道路，这里道路类之间的乘法体现为整数间的加法。第三个例子，球面，它的基本群是平凡的，因为球面上所有由基点出发的回路都可以在球面上连续变形（滑缩）为静止在基点的道路（见左图）。具有平凡基本群的几何体称为“单连通的”。
　　
　　基本群的计算涉及到更深入的细节，比如拓扑的具体定义，拓扑空间之间的映射，等等，无法在这里详加解释。有兴趣进一步了解的朋友请参阅《基础拓扑学》，阿姆斯特朗（M.A.Armstrong）著；孙以丰译。
　　
　　发明了基本群以后，庞卡莱觉得这个更加精确的拓扑性质应该足以把三维球面从其它三维几何体中区分出来，但他自己无法证明。这就是举世闻名的庞卡莱猜想：单连通的三维封闭几何体一定是三维球面。这个猜想及其推广主导了代数拓扑学一百年的发展，最终在2004年由俄罗斯数学家裴若曼给出证明。裴若曼因此在2006年获得数学界最高荣誉——菲尔兹奖。（来源：科学松鼠会）

上一页 [1] [2] [3]