刚刚发现了这篇文章,感觉不错,发来共享一下
纤维丛(fibre bundle)是微分几何中的一个重要概念,但它却是非常抽象的,传说要真正理解纤维丛至少需要四年。一般数学书上尽管也举一些标准例子,但只是介绍其中代数与微分的构造,很少对它们的直观图像进行分析。下面我结合自己对纤维丛的一点认识,写一篇小文章算是填补一下其中的空白。
简单的说,纤维丛就是一簇在基底流形上参数化的局部平凡的拓扑空间,而这里的拓扑空间多半是以流形的面目出现的,视其为基底流形上面的参数化流形也未尝不可。它有一个重要的特例是向量丛(vector bundle),那是一簇在流形上参数化的局部平凡的向量空间。然而,人类对的直观只能达到三维,而基底流形至少要占掉一维,因此所能见到直观例子主要也就纤维为一维的情形了。
一维纤维的直观形象就是“毛”,如果是一维向量丛(又称线丛),那就笔直的“硬毛”,一般的纤维丛则可能是“软毛”。然而,“毛”的形象却是有缺陷的,它暗示着纤维似乎是从基底流形发出的,但实际上纤维是穿透基底流形的。这里的误解还有另一个源头,那就是很多中文书上把基底流形称为底流形,结果就自然
纤维丛(fibre bundle)是微分几何中的一个重要概念,但它却是非常抽象的,传说要真正理解纤维丛至少需要四年。一般数学书上尽管也举一些标准例子,但只是介绍其中代数与微分的构造,很少对它们的直观图像进行分析。下面我结合自己对纤维丛的一点认识,写一篇小文章算是填补一下其中的空白。
简单的说,纤维丛就是一簇在基底流形上参数化的局部平凡的拓扑空间,而这里的拓扑空间多半是以流形的面目出现的,视其为基底流形上面的参数化流形也未尝不可。它有一个重要的特例是向量丛(vector bundle),那是一簇在流形上参数化的局部平凡的向量空间。然而,人类对的直观只能达到三维,而基底流形至少要占掉一维,因此所能见到直观例子主要也就纤维为一维的情形了。
一维纤维的直观形象就是“毛”,如果是一维向量丛(又称线丛),那就笔直的“硬毛”,一般的纤维丛则可能是“软毛”。然而,“毛”的形象却是有缺陷的,它暗示着纤维似乎是从基底流形发出的,但实际上纤维是穿透基底流形的。这里的误解还有另一个源头,那就是很多中文书上把基底流形称为底流形,结果就自然