本书暂定概念:尚未进入正式概念库。下面是本书给出的定义原文。

定义 · 9.4 主丛

其中 是正常数, 是无穷小正数。细窄的交集 实质上就是 。设 为在 处定义的过渡函数。由于 把 映到 ,故它由 分类。刻画该丛的整数称为瞬子数(instanton number)。若取 为单位元 ,则得到平凡丛 ,它对应于同伦类 0。非平凡丛可如下得到。首先注意到 (例 4.12)。元素 可写成

出处:9.4 主丛 · node a-883e44046340045d0861c1db · 源节点 SHA-256 581be27a3828836f…