Strongart数学笔记：漫谈纤维丛的直观形象.pdf

漫谈纤维丛的直观形象 纤维丛（fibre bundle）是微分几何中的一个重要概念，但它却 是非常抽象的，传说要真正理解纤维丛至少需要四年。一般数学书上 尽管也举一些标准例子，但只是介绍其中代数与微分的构造，很少对 它们的直观图像进行分析。下面我结合自己对纤维丛的一点认识，写 一篇小文章算是填补一下其中的空白。 简单的说，纤维丛就是一簇在基底流形上参数化的局部平凡的拓 扑空间，而这里的拓扑空间多半是以流形的面目出现的，视其为基底 流形上面的参数化流形也未尝不可。它有一个重要的特例是向量丛 （vector bundle），那是一簇在流形上参数化的局部平凡的向量空 间。然而，人类对的直观只能达到三维，而基底流形至少要占掉一维， 因此所能见到直观例子主要也就纤维为一维的情形了。 一维纤维的直观形象就是“毛”，如果是一维向量丛（又称线 丛），那就笔直的“硬毛”，一般的纤维丛则可能是“软毛”。然而， “毛”的形象却是有缺陷的，它暗示着纤维似乎是从基底流形发出 的，但实际上纤维是穿透基底流形的。这里的误解还有另一个源头， 那就是很多中文书上把基底流形称为底流形，结果就自然被误认为是 位于底部的流形（记得我去国外（网站）讨论数学时，翻译回去就是 bottom manifold。结果有些老外就搞不明白了，后来发现它的英文 是 base，翻译成“基底”或者简称“基”才更加准确）。就直线上的 线丛而言，它的形象不应该类似于“梳子”，而应该更接近于“蜈 蚣”，这里“蜈蚣的腿”就相当于上面的“毛”，但它既是无限条， 也是无限长的。 然而，对“蜈蚣”形象还有个疑问，这里“蜈蚣”的（无限条无 限长的）腿是不是一定要垂直于身体，也就是说纤维丛里的纤维是不 是一定正交于基底流形呢？有趣的是，在我所见到的书籍当中，没有 一本书中的纤维丛定义要求它正交，但同样没有一本书中画出来的示 意图（假若有图的话）不是正交的，后者大概是出于美观的考虑，但 却容易使人产生误解。实际上。把各纤维转到同样的角度，得到的“歪 腿蜈蚣”一样也是纤维丛。 同样，对“斜腿蜈蚣”我们也有一个疑问，就是那些腿是不是一 定非要平行呢？这里容易出现的误解是：假若不平行，那么无限长的 “腿”就必然相交，这违反了局部平凡化的要求。但考虑一下圆周 S1上的切丛，相邻点的切线似乎总是相交的，这不是与上述要求矛盾 了吗？实际上，这是因为我们在二维空间内处理问题的结果，实际上 “蜈蚣的腿”是可以伸展到三维空间不相交的。圆周上的切丛也是如 此，一个标准的图形就是圆柱面，而对于二维球面上的切丛，那就是 三维空间中所无法完美展现的了，尽管画出来的图形是相交的，但实 际上却是在更高维的空间中不相交的。 那么，“斜腿蜈蚣”的腿大概可以歪到什么程度呢？这里由局部 平凡化条件决定的，一是它们不能相交，二是要保持连续条件，那就 是说“毛”的全体构成了一张“膜”。对于其他的纤维丛，它的大体 形象也就是某种抽象意义上的“膜”。 我们继续来看一下圆柱面的情形，它可以看做圆周的切丛（线 丛），但也可以视为直线上的一维球丛（圆周丛）。事实上，现出来就 是 S1×R，S1为底流形，R 为纤维时就是前者；而把 R 视为底流形， S1视为纤维时就是后者，后者的“毛”的卷的，因此并不属于向量丛。 在同样的流形中，假若定义的基底流形与纤维不同时，就可能是不同 的纤维丛。 在相对论中我们喜欢选定一个参考系，然后观察物体的运动状 况，这就相当于固定好纤维，让基底流形作相应的变化。我们在线丛 S1×R 中考虑，假若把基底流形 B 沿纤维方向向上平移，那么依然得 到一个纤维丛，而且可以把平移后的图形 B1视为基底流形。同样， 我们还可以旋转一个小角度，把原来的纤维丛视为以 B2为基底的纤 维丛（如下图），这里的“小”字如何理解呢？就是不能旋转到平行 于纤维。用几何的语言来说，就是要保证纤维与基底流形的横截性。 记得某位数学家说过，横截性解开了就流形的秘密。我想它也同样也 解开了纤维丛的秘密。当然，我们也可以在固定基底流形的同时旋转 它的纤维，这两种操作显然是等价的。 前面被平移或旋转后的图形，有一个直观的术语，称为整体截面 （请注意，有的微分几何教材把基底流形到（整体）截面的映射（截 影）称为（整体）截面）。这里我要考虑一个问题，是不是可以把整 体截面视为基底流形，得到一个新的纤维丛，使得原来的基底流形变 成新纤维丛的截面呢？也就