B1.8

Differentiable Manifolds
Part II, 2004

What is a smooth vector bundle over a manifold MM ?

Assuming the existence of "bump functions", prove that every compact manifold embeds in some Euclidean space Rn\mathbb{R}^{n}.

By choosing an inner product on Rn\mathbb{R}^{n}, or otherwise, deduce that for any compact manifold MM there exists some vector bundle ηM\eta \rightarrow M such that the direct sum TMηT M \oplus \eta is isomorphic to a trivial vector bundle.