There is a lot of work done on projective spaces, over real, complex numbers or over an abstract field. But I do not find a reference for similar theory where the vectors are projected to the same "infinite" point only if one is a non-negative multiple of the other. Can you advise some?
In an abstract point of view, it is definitely more delicate since the ordering (possibly linear) has to be considered. But at least for problems over real numbers it is not big obstacle.
The theory which I am asking about would be connected with theory of convex sets and mainly "convex cones". My question is motivated by some situations in Information theory, probability or measure theory (ergodic theory) which I encountered, where one-directional rays have better meaning than "both-directional".