2
$\begingroup$

For every line $l$ in $\mathbb{R}^3$ we write $l^\perp$ for the plane orthogonal to $l$. Let $F$ be : $F = \{(u,l) | l\in\mathbb{P}^2(\mathbb{R}),u\in l^\perp\}$

How do you show that this is not isomorphic to the trivial bundle on $\mathbb{P}^2(\mathbb{R})$.

1 Answers 1

3

Assume there were a non-vanishing section $g: P^2(\mathbb{R}) \rightarrow F$. Precomposing with the quotient map $S^2 \rightarrow P^2(\mathbb{R})$, one gets for each $v \in S^2$ a $w \in \mathbb{R}^3$ - namely the vector appearing in g(v) - which is nonzero and perpendicular to $v$. But this defines a nowhere vanishing vector field on $S^2$.

  • 0
    This would also be a contradiction to the Poincare-Hopf theorem, maybe you know that one?2012-12-18