Pullback bundle

Consider a fiber bundle with

Suppose you have a continuous map f:BB (from a new base space into the original one),
Definition
The pullback bundle fE is the set:

fE={(b,e)B×Ef(b)=π(e)}

So it’s a subset of B×E, consisting of pairs where the point eE lies over f(b)B.
This comes with:

fEπfEππBfB


Remark
The fiber of fE over a point bB is:

(fE)b={(b,e)fEf(b)=π(e)}π1(f(b))=Ef(b)

So each fiber in the pullback is just a copy of the fiber over f(b) in the original bundle.

Remark
The map πf is a fiberwise diffeomorphism. See @Michor2008Topics 17.5.

Example
Let’s say:

Then the pullback of the Möbius bundle via f becomes a non-twisted bundle — a trivial bundle — because the twist happens every full loop, and you're going twice as fast.

Related: pullback connection.