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:
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)
“Was man made stupid to see his own stupidity?
Is God by definition indifferent, beyond us all?
Is the eternal truth man’s fighting soul
Wherein the Beast ravens in its own avidity?”
—Richard Eberhart (b. 1904)