Differential Forms in Algebraic Topology
《Differential Forms in Algebraic Topology》 · 第 47–48 页 · Section 6
A surjection \(\pi:E\to B\) is a fiber bundle with fiber \(F\) and structure group \(G\) if \(B\) has an open cover \(\{U_\alpha\}\) with fiber-preserving homeomorphisms \(\phi_\alpha:E|_{U_\alpha}\to U_\alpha\times F\), whose transition functions take values in \(G\).