I came across this problem about showing the triviality of a fibre bundle.
The question is as follows:
If $\xi$ is a fibre bundle and it is given by $p:E\rightarrow B$ and $f:X\rightarrow B$ is any map that is continuous. Let ${U_{\alpha}}$ be an open cover of B such that the fibre bundle $\xi$ restricted to each $U_{\alpha}$ is trivial. I need to show that the induced bundle $f^{*}\xi$ restricted to each $f^{-1}(U_{\alpha})$ is trivial. Then from this I also need to show that if $\xi$ has an atlas of countable finite charts, then so does any induced fibre bundle of $\xi$.
How do I start for this problem? Any advice?
Let $F$ be the fiber. The restriction of $f$ on $U_\alpha$ is trivial is equivalent to saying that there exists an isomorphism of fiber bundles $g_\alpha:E_{\mid U_\alpha}\rightarrow U_\alpha\times F$. We denote by $p_F$ the projection on the second factor.
$f^*\xi$ restricted to $f^{-1}(U_\alpha)$ is $\{(x,y): y\in E, x\in f^{-1}(U_\alpha): f(x)=p(y)\}$. You can defined $h_\alpha:(f^*\xi)_{\mid U_\alpha}\rightarrow f^{-1}(U_\alpha)\times F$ by $h_\alpha(x,y)=(x,p_F(g_\alpha(y))$.