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:
“The spiritual kinship between Lincoln and Whitman was founded upon their Americanism, their essential Westernism. Whitman had grown up without much formal education; Lincoln had scarcely any education. One had become the notable poet of the day; one the orator of the Gettsyburg Address. It was inevitable that Whitman as a poet should turn with a feeling of kinship to Lincoln, and even without any association or contact feel that Lincoln was his.”
—Edgar Lee Masters (1869–1950)
“The definition of good prose is proper words in their proper places; of good verse, the most proper words in their proper places. The propriety is in either case relative. The words in prose ought to express the intended meaning, and no more; if they attract attention to themselves, it is, in general, a fault.”
—Samuel Taylor Coleridge (1772–1834)