6
$\begingroup$

Let $X$ be CW complex having only cells up to dimension $n$.

I want to prove that every $m$-dimensional vector bundle $E$ over $X$ decomposes as a sum $E\cong A\oplus B$ where $A$ is a $n$-dimensional (perhaps $n+1$?) vector bundle and $B$ is a trivial bundle $X\times \mathbb{R}^{m-n}$.

I remember vaguely that I've seen such a statement somewhere but I have no idea how to prove it. My first thought was to use the cellular approximation theorem an show that every map $X\to Gr(m,\infty)$ is homotopic to a map with image in $Gr(n,\infty)$ but I have doubts now that the cell structure on $Gr(n,\infty)$ can be choosen in such a way.

  • 2
    "My first thougt was to use..." -- yes, that's right, just do it!2012-02-13
  • 1
    I think your first thought is perfect. Milnor and Stasheff's book, Characteristic classes, theorem 6.4 provides a CW structrue for $Gr(n,\infty)$ with each of the $Gr(n,m)$ as finite subcomplexes.2012-02-13
  • 0
    Thank you for the responses. What should I do with the question now?2012-02-13
  • 0
    Post an answer, people will upvote it, then accept it!2012-02-13
  • 1
    I still don't get it. To use cellular approximation for the map $X\to Gr(m,\infty)$, $Gr(n,\infty)$ would have to be the $n$-skeleton of $Gr(m,\infty)$ but this isn't given by theorem 6.4, is it?2012-02-14

1 Answers 1