Hello, I was wondering if someone could tell me if what I am doing for this question makes sense (and maybe point me in the right direction if it doesn't).
The question asks to define a natural surjection between the set of all straight lines and the real projective space , and write it using local coordinates on and natural coordinates on .
My thinking was first to show both have a natural manifold structure (to get the local coordinates):
, (the set of non-vertical lines) and (the set of non-horizontal lines). Each with functions , . This gives an atlas on .
, and . Each with functions , . This gives an atlas on .
Now associate each straight line in to each straight line through the origin ( ), so if the line in is through the origin, the required function is just the identity, and associate the gradient of all lines in the plane with unique line of same gradient that passes through the origin.
ie. given by:
Does this make sense, and if so, how could I show that is a smooth map?
Any input would be greatly appreciated.