MathDB
Unit sphere bundle equivalent to CP^{r-1}

Source: Miklós Schweitzer 2016, Problem 7

November 2, 2016
spheretopology

Problem Statement

Show that the unit sphere bundle of the rr-fold direct sum of the tautological (universal) complex line bundle over the space CP\mathbb{C}P^{\infty} is homotopically equivalent to CPr1\mathbb{C}P^{r-1}.