Topology MOC

Fibre bundle

Let be spaces in or an appropriate subcategory ,¹ which we call the base space and fibre space respectively. A fibre bundle²

is a “total space” equipped with a surjective morphism such that is locally the product space . #m/def/topology This is formalized as follows: For every , there is an open neighbourhood of with an isomorphism

called a local trivialization at such that

commutes. An open cover of with local trivializations is called a local trivialization of .

Further terminology

• We denote thr fibre above a base point as .
• A bundle for which and is called trivial.
• A Bundle map over a fixed based space is a morphism of bundles, and we can thus form the category .
• A Bundle section is a section (right-inverse) to , or equivalently a bundle map from to .

Further structure

• Vector bundle

Examples

• The Möbius strip is a bundle .
• The Klein bottle is a bundle .

#state/tidy | #lang/en | #SemBr