The Pullback of A Smooth Map
Just as every differentiable map f : M → N between manifolds induces a linear map (called the pushforward or derivative) between the tangent spaces
every such map induces a linear map (called the pullback) between the cotangent spaces, only this time in the reverse direction:
The pullback is naturally defined as the dual (or transpose) of the pushforward. Unraveling the definition, this means the following:
where θ ∈ Tf(x)*N and Xx ∈ TxM. Note carefully where everything lives.
If we define tangent covectors in terms of equivalence classes of smooth maps vanishing at a point then the definition of the pullback is even more straightforward. Let g be a smooth function on N vanishing at f(x). Then the pullback of the covector determined by g (denoted dg) is given by
That is, it is the equivalence class of functions on M vanishing at x determined by g o f.
Read more about this topic: Cotangent Space
Famous quotes containing the words smooth and/or map:
“he changed and ran
Through many shapes; I lunged at the smooth throat
Of a great eel; it changed, and I but smote
A fir-tree roaring in its leafless top;
And thereupon I drew the livid chop
Of a drowned dripping body to my breast....”
—William Butler Yeats (18651939)
“In my writing I am acting as a map maker, an explorer of psychic areas ... a cosmonaut of inner space, and I see no point in exploring areas that have already been thoroughly surveyed.”
—William Burroughs (b. 1914)