Let $F,B$ be topological spaces. A fiber bundle $E$ over the basis $B$ with fiber $F$ is a topological space $E$ endowed with a continuous surjection $\pi:E\to B$ such that there exists an open cover $\{U_\alpha\}_\alpha$ of $B$ and homeomorphisms $\phi_\alpha:\pi^{-1}(U_\alpha)\to U_\alpha\times F$ such that $\pi=\pi_1\circ\phi_\alpha$, where $\pi_1:U_\alpha\times F\to U_\alpha$ is the projection on the first factor.
Let $A,B,C$ general sets and $f:A\to C$, $g:B\to C$ be general maps. We define the fiber product of $f$ and $g$ as
$$
A\times_C B:=\{(a,b)\in A\times B:f(a)=g(b)\}
$$
Then define the projections $g':A\times_CB\to A$ and $f':A\times_CB\to B$.
In my lecture notes it's written that if $B$ is a fiber bundle over $C$ with fiber $F$ and projection $g$, then also $A\times_C B$ is a fiber bundle over $A$ with fiber $F$ and projection $g'$.
I want to prove this last statement.
My idea is to suppose, first of all, $f,g$ continuous.
Then, if I prove that $f\circ g'=g\circ f$ (it immediately follows by definition of fiber product), we have that there is a morphism of fiber bundles between $B$ and $A\times_C B$, i.e. there exist $f':A\times_C B\to B$, $f:A\to C$ continuous map such that $f\circ g'=g\circ f$.
Since there is a morphism of fiber bundles, then $f\circ g'=g\circ f$ must be a fiber bundle.
Right?
Best Answer
Ok so $A\times_C B$ by your definition can also be seen as an association to a point $a\in A$ of the whole fibre of $g$ at the point $f(a)\in C$.
We know that $B$ has a trivialization (those maps to $U\times F$) over C, and we need to show that $g' : A\times_C B \longrightarrow A$ has a trivialization.
To this end I believe $f$ really needs to be continuous so we can pull back (term) the trivialization over $C$ to $A$.