Projective bundle
= Projective bundle
The projective bundle of a real or complex <vector bundle> $E\to X$ has fiber the space of one-dimensional subspaces of $E_x$. It carries a <tautological bundle> $\lambda\subset p^*E$; in the real case this is the <projectivization of a real vector bundle>.