This might be a silly question, but bear with me.
Let $X$ be a topological space, $V$ a vector space and consider the vector bundle $E=X\times V$ with $\pi:E\to X$, $(p,v)\mapsto p$. This is the trivial $V$-bundle over $X$.
I had been under the impression that any vector bundle $E'=X\times V$ was trivial, but I realised that I had not been accounting for the fact that for a trivial bundle, $\pi$ must be projection onto the first factor. My question is, can we show that $E\cong E'$ in general, even when $\pi':E'\to X$ is not just projection onto the first factor?
To show this, I would need to find a homeomorphism $\phi:E\to E'$ such $\pi'\circ\phi=\pi$, and $\pi'=\pi\circ\phi^{-1}$. The obvious idea would be to use the local trivialisations of $E'$, but I don't quite see how to do so.
Any help or references would be much appreciated.
Best Answer
As I mentioned in my comment above, the answer to the question is no, as demonstrated by the following example by Igor Belegradek in this MathOverflow answer which I have replicated below:
Let me add some details.
Let $\pi : TS^2 \to S^2$ be the vector bundle projection, and $\operatorname{pr}_1 : S^2\times\mathbb{R} \to S^2$ the natural projection map. Define $\xi := \operatorname{pr}_1^*TS^2$ and consider the inclusion $i : S^2 \to S^2\times\mathbb{R}$, $p \mapsto (p, 0)$. Note that
$$i^*\xi = i^*\operatorname{pr}_1^*TS^2 = (\operatorname{pr}_1\circ\ i)^*TS^2 = \operatorname{id}_{S^2}^*TS^2 = TS^2.$$
As the pullback of a trivial bundle is trivial, and $i^*\xi = TS^2$ is non-trivial, we see that $\xi$ is a non-trivial vector bundle over $S^2\times\mathbb{R}$.
On the other hand, by definition, the total space of $\xi$ is given by
$$\xi = \operatorname{pr}_1^*TS^2 = \{((p, t), v) \in (S^2\times\mathbb{R})\times TS^2 \mid \pi(v) = p\}.$$
Now note that, as bundles over $S^2$, we also have
$$\varepsilon^1\oplus TS^2 = (S^2\times\mathbb{R})\oplus TS^2 = \{((p, t), v) \in (S^2\times\mathbb{R})\times TS^2 \mid \pi(v) = p\}$$
where the last equality is the definition of the direct sum of vector bundles.
As $TS^2 \to S^2$ is stably trivial, $\varepsilon^1\oplus TS^2 \cong \varepsilon^3 = S^2\times\mathbb{R}^3$. So the total space of the non-trivial rank two vector bundle $\xi \to S^2\times\mathbb{R}$ is diffeomorphic to $S^2\times\mathbb{R}^3$ and hence to the trivial rank two vector bundle over $S^2\times\mathbb{R}$, i.e. $(S^2\times\mathbb{R})\times\mathbb{R}^2$.
The point is that the total space of the non-trivial vector bundle $\xi \to S^2\times\mathbb{R}$ can also be viewed as the total space of a trivial bundle over $S^2$.