Projectivization of a real vector bundle (source code)

= Projectivization of a real vector bundle
{title2=$\mathbb P(E)$}

The projectivization $\mathbb P(E)\to B$ has fiber over $b$ equal to the space of one-dimensional linear subspaces of $E_b$.