Pullback Bundle - Formal Definition

Formal Definition

Let π : E → B be a fiber bundle with abstract fiber F and let f : B′ → B be a continuous map. Define the pullback bundle by

and equip it with the subspace topology and the projection map π′ : f*E → B′ given by the projection onto the first factor, i.e.,

The projection onto the second factor gives a map such that the following diagram commutes:

\begin{array} {ccc} f^{\ast}E & \stackrel {\tilde f} {\longrightarrow} & E\\ {\pi}' \downarrow & & \downarrow \pi\\ B' & \stackrel f {\longrightarrow} & B \end{array}

If (U, φ) is a local trivialization of E then (f−1U, ψ) is a local trivialization of f*E where

It then follows that f*E is a fiber bundle over B′ with fiber F. The bundle f*E is called the pullback of E by f or the bundle induced by f. The map is then a bundle morphism covering f.

Read more about this topic:  Pullback Bundle

Famous quotes containing the words formal and/or definition:

    “There must be a profound recognition that parents are the first teachers and that education begins before formal schooling and is deeply rooted in the values, traditions, and norms of family and culture.”
    —Sara Lawrence Lightfoot (20th century)

    “The very definition of the real becomes: that of which it is possible to give an equivalent reproduction.... The real is not only what can be reproduced, but that which is always already reproduced. The hyperreal.”
    —Jean Baudrillard (b. 1929)