伴随纤维丛

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

定义 · 9.4 主丛

其中 $u\in P$，$f\in F$。于是伴随纤维丛(associated fibre bundle) $(E,\pi ,M,G,F,P)$ 就是等价类 $P\times F/G$，其中两点 $(u,f)$ 与 $(ug,g^{-1}f)$ 被等同起来。

英文原文

where $u\in P$ and $f\in F$ . Then the associated fibre bundle $(E,\pi ,M,G,F,P)$ is an equivalence class $P\times F/G$ in which two points $(u,f)$ and $(ug,g^{-1}f)$ are identified.

出处：9.4 主丛 · node a-67814d52eee1671eee332def · 源节点 SHA-256 8edb1354ba6b68fd…