Normal Bundle is Trivial

5.2k Views Asked by At

how can I show the normal bundle $$\nu(\mathbb S^n):=\bigcup_{p\in\mathbb S^n} T_p\mathbb R^{n+1}/T_p\mathbb S^n, $$ is a trivial bundle? Any help will be valuable.. Thanks

1

There are 1 best solutions below

7
On

The normal bundle of the standard embedding of $S^n$ in $\Bbb R^{n+1}$ has a nowhere vanishing section (the unit outward normal to the sphere, $\displaystyle \frac{\mathbf{x}}{\|\mathbf{x}\|}$). So you just need to show that a nowhere vanishing section of a rank $1$ vector bundle can be used to construct an isomorphism of the bundle with the trivial bundle.

If you already know this fact, then you're done. If you don't know it, the proof is a simple exercise.

This is a special case of a more general fact:

If $E \longrightarrow M$ is a rank $k$ vector bundle and $s_1, \dots, s_k$ are sections of $E$ such that $\{s_1(p), \dots, s_k(p)\}$ is a basis for that fiber $E_p$ for all $p \in M$, then $E$ is isomorphic to the trivial rank $k$ bundle over $M$.