
Real Projective space.
E: set of ALL lines in R^(n+1).
The question:
Consider the natural projection p: E → RP^n sending every line to the parallel line throughthe origin. Describe the preimage p^−1(L0) of an arbitrary point L0 ∈ RP^n and show that p^−1(L0)has a structure of a vector space (which does not depend on any choices) of dimension n.
My answer:
The preimage of every point from RP^n (which is in fact a line) is a hyperplane of E , so a vector space of dimension n. The independence of choice is a consequence that RP^n is the quotient R^n+1\{0} / ~ , where ~ denotes x ~kx for some non negative k in R^n+1.
Please could readers criticise or confirm my answer is correct.
Many thanks, BT