Intereting Posts

What axioms does ZF have, exactly?
Galois Field Fourier Transform
How to evaluate this limit question? (+Infinity)
How do Taylor polynomials work to approximate functions?
Limit of the difference quotient of $f(x) = \frac{2}{x^2}$, as $x\rightarrow x_0$
Proof of a Limit of a Function, given the Limits of the Multiplicative Inverses of the Function
A Problem in Evans' PDE
Proving that if $A$ is diagonalizable with non-negative eigenvalues, then $A=B^2$ for some $B$
$A\oplus C \cong B \oplus C$. Is $A \cong B$ when $C$ is finite, A and B infinite.
$ gl(2,\mathbb C) \cong sl(2,\mathbb C) \oplus \mathbb C $
$5^n+n$ is never prime?
Legendre symbol $(-21/p)$
Proving that surjective endomorphisms of Noetherian modules are isomorphisms and a semi-simple and noetherian module is artinian.
Is there a simple method to prove that the square of the Sorgenfrey line is not normal?
A funtion and its fourier transformation cannot both be compactly supported unless f=0

On page $10$ of Hatcher’s Vector Bundles and K Theory, he gives a proof that the Whitney sum of the trivial line bundle over $\mathbb{R}P^n$ and the tangent bundle is equal to the Whitney sum of copies of the tautological line bundle.

A summary of the proof is

1) The image of the tangent bundle of the sphere under the quotient is the tangent bundle of real projective space, and the image of the normal bundle is the trivial line bundle over real projective space.

- Is a polynomial also a covering map?
- Homology of surface of genus $g$
- Cellular Boundary Formula
- Intersection Pairing and Poincaré Duality
- Books on topology and geometry of Grassmannians
- Proving that the join of a path-connected space with an arbitrary space is simply-connected

2) He says the sum of the tangent bundle and normal bundle of the sphere is trivial.

3) He then proves that the trivial line bundle over the sphere is isomorphic to the normal bundle and proves that the normal bundle under the quotient is mapped to the tautological line bundle over real projective space.

But this doesn’t make any sense because he claimed earlier that the image of the normal bundle is trivial and the tautological bundle is NOT trivial. Could someone please clarify what has happened? Is the image of the normal bundle of the sphere under the quotient the tautological bundle or the trivial bundle?

- Proof that retract of contractible space is contractible
- Compact $n$-manifold has same integral cohomology as $S^n$?
- Homology of the loop space
- Does smashing always increase the connectivity of a space?
- Seifert matrices and Arf invariant — Cinquefoil knot
- Why this space is homeomorphic to the plane?
- Why every map $f : S^n \to T^n (n>1)$ has topological degree zero?
- Topology of manifolds
- Why all differentials are $0$ for Serre Spectral Sequence of trivial fibration?
- Splitting of the tangent bundle of a vector bundle

Your point $1$ is correct. If you meant the *direct sum of* the tangent bundle and the normal bundle of the sphere is trivial, then point $2$ is also correct. However, point $3$ is wrong.

Hatcher shows that under the quotient map, the trivial bundle $S^n\times\mathbb{R}^{n+1}$ on $S^n$ is sent to $E^{\oplus(n+1)}$ on $\mathbb{RP}^n$ where $E$ is the line bundle on $\mathbb{RP}^n$ obtained by making the identification $(x, t) \sim (-x, -t)$ in the trivial bundle $S^n\times\mathbb{R}$. As has already been shown, there is an isomorphism $S^n\times\mathbb{R}\cong NS^n$, which is given by $(x, t) = (x, tx)$. Under this isomorphism, the identification $(x, t) \sim (-x, -t)$ becomes $(x, tx) \sim (-x, tx)$. This is **not** the identification used when showing the trivial bundle is sent to the trivial bundle, that identification is $(x, tx) \sim (-x, -tx)$.

You may not know why yet, but every line bundle on $S^n$ is trivial. This is not true on $\mathbb{RP}^n$ though; there is the trivial bundle $\varepsilon^1$ and the tautological bundle $\gamma^1$ which is non-trivial. If $f : S^n \to \mathbb{RP}^n$ is the quotient map, $f^*\varepsilon^1$ and $f^*\gamma^1$ are line bundles on $S^n$ and are therefore trivial. That is, both $\varepsilon^1$ and $\gamma^1$ on $\mathbb{RP}^n$ arise from the trivial bundle on $S^n$, even though $\varepsilon^1$ and $\gamma^1$ are not isomorphic. That’s what’s going on here.

- Showing a ring where $ax = b$ has a solution for all non-zero $a, b$ is a division ring
- How to compute coefficients in Trinomial triangle at specific position?
- Does an unbounded operator $T$ with non-empty spectrum have an unbounded spectrum?
- Algebraically, why is $\mathbb{Z}/(i + 1)$ isomorphic to $\mathbb{Z}_{2}$?
- Associative ring with identity, inverses, divisors of zero and Artinianity
- Calculating volume of convex polytopes generated by inequalities
- In the change-of-variables theorem, must $ϕ$ be globally injective?
- Proving that $\frac{\pi^{3}}{32}=1-\sum_{k=1}^{\infty}\frac{2k(2k+1)\zeta(2k+2)}{4^{2k+2}}$
- Integral Inequality $\int\limits_0^1f^2(x)dx\geq12\left( \int\limits_0^1xf(x)dx\right)^2.$
- Solving the curve equation for logarithmic decay using two anchor points.
- Conjecture regarding integrals of the form $\int_0^\infty \frac{(\log{x})^n}{1+x^2}\,\mathrm{d}x$.
- How can I find an element $x\not\in\mathfrak mM_{\mathfrak m}$ for every maximal ideal $\mathfrak m$
- How to add two points on an elliptic curve
- Counting primes by counting numbers of the form $6k \pm 1$ which are not prime
- Fundamental theorem of calculus for complex analysis, proof