杂然赋流形-YiqianLu陆奕骞.PDFVIP

拓扑的初步概念 天地有正气，杂然赋流形。 —— 文天祥 Nicholas Bourbaki 先生认为数学中有三种基本结构：代数结构、拓扑结构、 序结构。拓扑学(topology)是研究拓扑结构的数学分支，自然地，它在现代数学中 就占据着重要的地位。为便于读者理解正文，作者将简要介绍一些拓扑初步概念， 它们的确切定义可以参见任何一本拓扑入门教材，例如[Arm],[You]。[BE]则是一本 很好的普及读物。 拓扑学最基本的研究对象是拓扑空间(topological space)。所谓拓扑空间就是 一个集合，上面赋予了拓扑结构。更确切的定义不适合在这里写出来，读者只要知道： 有拓扑结构后，“连续”这个概念就可以定义了。直线、平面、三维欧氏空间、各种 曲线、曲面、多面体……都可以作为拓扑空间的例子。 拓扑空间之间可以定义连续映射(continuous map)。设 X,Y 是两个拓扑空间， f: X - Y 是一个连续映射，如果f 有逆映射，而且逆映射也是连续的，那么就说 f 是一个同胚映射(homeomorphism)，并且说X 与Y 同胚(homeomorphic)。比如，不同 大小的两个球面就是同胚的，它们跟凸多面体的表面也是同胚的。拿一个曲面，即 使把它捏瘪，或者再揉一揉，但只要不撕破，不把原先不相连的两小块粘到一起， 这个变化后的曲面和原来的还是同胚的。可以想象，在同胚变换下，几何对象的很 多性质都会改变，如距离、角度等，但仍然有一些性质保持不变，拓扑学就要研究 这些不变的性质。 同伦等价(homotopy equivalent)是拓扑学中所关心的另外一种等价关系，它的 要求比同胚更宽松。取一个拓扑空间，对它进行些特定的连续形变，所得到的空 间与原来的空间是同伦等价的。举个例子：初始空间是一个实心球，我们可以把它 压缩成一张没有体积的圆盘，再搓成一条没有面积的线段，甚至挤成一个连长度都 没有的点，得到的这些空间都跟原来的同伦等价；我们也可以从原来的实心球里 “长”出半个圆盘来作为“耳朵”(半圆盘的直径还贴在实心球表面上)，甚至再 “长”出几条线段来作为“触角”(线段的一端在实心球表面上)，所得到的空间还 是跟原来的同伦等价。“终结者2”里面那个给人深刻印象的液体机器人，它在身体 没有撕裂开的情况下的各种形态就是同伦等价的。 虽说拓扑学可以研究非常一般的“拓扑空间”，但拓扑学家最关心的还是流形 的拓扑。“流形”(manifold)的概念最早是在1854 年由 Riemann 出的(德文 Mannigfaltigkeit)，现代使用的流形定义则是由 Hermann Weyl 在 1913 年给出的。 江泽涵先生对这个名词的翻译出自文天祥《正气歌》，日本人则将之译为“ 多样体”， 二者孰雅孰鄙，高下立判。 流形定义为满足Hausdorff 公理(这里不作介绍了)的拓扑空间，每个点的局部都 同胚于n 维空间 R^n. 按定义，R^n 本身就是一个流形；圆周是流形，每点的局部都 有一段弧同胚于 R^1；各种曲面都是流形，局部同胚于 R^2. 如果忽略黑洞之类的奇 点的话，我们所处的宇宙也是一个流形：无论你处在哪一个时空点，环顾一下四方， 总觉得周围就是普通的三维空间 R^3，再算上时间这一维度，局部也还是 R^4，不会 有分岔的现象发生。 古人对世界的看法没有我们这么先进，出的大部分宇宙模型都是有限的，而且 有边界。盘古开天辟地，轻清者上浮而为天，重浊者下凝而为地。《三国演义》里秦 宓难张温，问“又未知轻清之外，还是何物？”张温便无言以对。这种有边界的宇宙 模型，用拓扑的语言来说，就是一个“带边流形”。带边流形的边界是比它本身低一 维的(无边)流形。例如圆盘是一个二维带边流形，它的边界是圆周；实心球是三维带 边流形，边界是球面。 读者在微积分里可能会碰上“紧致”(compact)的概念。对流形来说，紧致就是 任何点列都有收敛子序列。球面、环面、实心球、圆盘等都是紧致的，但R^n 就不紧， 因为其中能找到一串点趋向于无穷远。紧致性种程度上相当于有限性。科普读物里 讲到现代宇宙模型，经常会说它是“有限而无界”的，然后费半天唇舌来解释。其实 用数学语言说，就是“紧致而无边”。紧致无边流形称为闭(closed)流形。 另一个经常会见到的概念是可定向性(orientability)。不可定向流形最简单的 例子是科普读物里经常出现的 M\obius 带。它是一张只有一个侧面的曲面，蚂蚁在 上面爬一圈后就到了原来所处位置的另外一“侧”。不过这种说法依赖于外围空间， 并不能非常确切地反映不可定向性，笔者倒觉得科幻小说里常