拓扑学简介(四) 流形.pdfVIP

.

拓扑学简介〔四〕——流形

1854年，28岁的黎曼在哥廷根大学发表就职演讲。这

个职位是所谓无薪讲师，他的收入完全来自于听课的学生所

缴纳的学费。即使是争取这样一个职位，也需要提供一篇就

职论文以及发表一个就职演讲。1853年他提交了就职论文，

其中讨论了什么样的函数可以展开成三角级数的问题，并导

致对定积分的第一个严格数学定义。之后的就职演讲要求候

选人准备三个演讲课题，委员会从中挑选一个作为正式演讲

题目。黎曼选了两个思虑多时的课题，外加一个还未及考虑

的课题——关于几何学的根本假设。他几乎确信委员会将挑

选前面两个题目之一。然而，委员会的高斯偏偏就看中了第

三个题目。当时黎曼正沉浸于电、磁、光、引力之间的互相

关系问题，从这样的深沉考虑中抽身转而研究新的问题无疑

是一种宏大的压力，再加上长期的贫穷，一度让黎曼崩溃。

但不久他就重新振作起来，用7个星期时间准备了关于几何

学根本假设的演讲。为了让数学系以外的委员会成员理解他

的演讲，黎曼只用了一个公式，并且忽略了所有计算细节。

尽管如此，估计在场鲜有人能理解这次演讲的内容。只有高

斯为黎曼演讲中蕴含的深邃思想冲动不已。

黎曼在演讲中提出了“弯曲空间〞的概念，并给出怎样研究

这些空间的建议。“弯曲空间〞正是后世拓扑学研究的主要

对象。在这些对象上，除了可以运用代数拓扑的工具，还可

.

以运用微积分工具，这就形成了“微分拓扑学〞。

回到黎曼的演讲。黎曼认为，几何学的对象缺乏先验的定义，

欧几里德的公理只是假设了未定义的几何对象之间的关系，

而我们却不知道这些关系怎么来的，甚至不知道为什么几何

对象之间会存在关系。黎曼认为，几何对象应该是一些多度

延展的量，表达出各种可能的度量性质。而我们生活的空间

只是一个特殊的三度延展的量，因此欧几里德的公理只能从

经历导出，而不是几何对象根本定义的推论。欧氏几何的公

理和定理根本就只是假设而已。但是，我们可以考察这些定

理成立的可能性，然后再试图把它们推广到我们日常观察的

范围之外的几何，比方大到不可测的几何，以及小到不可测

的几何。接着，黎曼开场了关于延展性，维数，以及将延展

性数量化的讨论。他给了这些多度延展的量〔几何对象〕一

个名称，德文写作mannigfaltigkeit,英文翻译为manifold，

英文字面意思可以理解为“多层〞，中国第一个拓扑学家江

泽涵把这个词翻译为“流形〞，取自文天祥?正气歌?，“天

地有正气，杂然赋流形〞，而其原始出处为?易经?，“大哉

乾元，万物资始，乃统天。云行雨施，品物流形。〞这个翻

译比英文翻译更加符合黎曼的原意，即多样化的形体。

黎曼定义的“n维流形〞大概是这个样子的：以其中一个点

为基准，那么周围每个点的位置都可以用n个实数来确定。

后人将这种性质总结为：流形的部分与n维欧氏空间的部分

.

具有一样的拓扑性质。假如进一步要求在流形的不同部分做

微积分的结果可以互相联络起来，成为“整体微积分〞，那

么称此流形为“微分流形〞。一个简单的例子就是二维球

面。我们都知道，二维球面上没有整体适用的坐标。经度和

纬度是一组很好的坐标，但是在南北两极，经度无从定义。

尽管如此，球面的每个部分都可以画在平面上，这就是地图。

把各个区域的地图搜集在一起，重叠的部分用比例尺协调一

下，就得到整个球面。这样，坐标〔或地图〕只存在于每个

部分，而整个球面其实是地图之间的重叠关系。球面是二维

流形，因为球面的部分同平面〔二维欧氏空间〕的部分具有

一样的延展性质。球面的整体构造显然跟平面不同。沿着球

面的某个方向往前走，比方，从赤道某点出发往东走，最终

会回到出发点。而假如在平面上沿某个方向往前走那么永不

回到出发点。研究流形的整体构造，以及整体构造与部分构

造之间的关系，就是“拓扑学〞的核心课题。微分流形上可

以使用微积分的工具，再辅之以前面介绍过的代数工具〔同

调群，同伦群〕，就形成了威力强大的“微分拓扑学〞。这

门学问的开展使我们对5维以上的单连通微分流形〔回忆先

前介绍的“单连通〞概念，即每条曲线可于流形内滑缩为一

点〕有了比较彻底的认识。

到了80年代，数学家对4维单连通“拓扑流形〞也有了彻

底的认识，然而4维“微分流形〞却是无比复杂的对象。比

.

方，直观上最简单的四维流形，四维欧氏空间，也就是所有

〔x,y,z,t〕这样的数组组成的空间，有无穷多个“微分构

造〞，通俗一