Vector bundle is homotopy equivalence

90 Views Asked by At

If $\pi:E\rightarrow B$ is a vector bundle (I allow it to be of nonconstant rank), then I want to prove that it is a homotopy equivalence. As a homotopy inverse I propose the zero section $s:B\rightarrow E$. So $\pi s=id_B$ and $s\pi$ is homotopic to $id_E$ by $f:E\times[0,1]\rightarrow E$, $f(e,t)=te+(1-t)s\pi(e)$. Is this correct?