Induced fibre bundle

From Encyclopedia of Mathematics
Revision as of 16:59, 7 February 2011 by (talk) (Importing text file)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

induced fibration

The fibration induced by the mapping and the fibration , where is the subspace of the direct product consisting of the pairs for which , and is the mapping defined by the projection . The mapping from the induced fibre bundle into the original fibre bundle defined by the formula is a bundle morphism covering . For each point , the restrictions

are homeomorphisms. Furthermore, for any fibration and morphism covering there exist precisely one -morphism such that , and such that the following diagram is commutative:

Figure: i050720a

Fibre bundles induced from isomorphic fibrations are isomorphic, a fibre bundle induced by a constant mapping is isomorphic to the trivial fibre bundle.

For any section of a fibration , the mapping defined by the formula is a section of the induced fibration and satisfies the relation . For example, the mapping induces the fibration with space and base that is the square of the fibration and has the canonical section .


[1] C. Godbillon, "Géométrie différentielle et mécanique analytique" , Hermann (1969)
[2] N.E. Steenrod, "The topology of fibre bundles" , Princeton Univ. Press (1951)
[3] D. Husemoller, "Fibre bundles" , McGraw-Hill (1966)
How to Cite This Entry:
Induced fibre bundle. Encyclopedia of Mathematics. URL:
This article was adapted from an original article by M.I. Voitsekhovskii (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article