Oriented projective geometry is an oriented version of real projective geometry. Whereas the real projective plane describes the set of all unoriented lines through the origin in R3, the oriented projective plane describes lines with a given orientation. There are applications in computer graphics and computer vision where it is necessary to distinguish between rays light being emitted or absorbed by a point. Elements in an oriented projective space are defined using signed homogeneous coordinates. Let be the set of elements of excluding the origin. These spaces can be viewed as extensions of euclidean space. can be viewed as the union of two copies of \mathbb{R}, the sets (x,1) and (x,-1), plus two additional points at infinity, (1,0) and (-1,0). Likewise can be viewed as two copies of, (x,y,1) and (x,y,-1), plus one copy of \mathbb{T} (x,y,0). An alternative way to view the spaces is as points on the circle or sphere, given by the points (x,y,w) with

Oriented real projective space

Let n be a nonnegative integer. The (analytical model of, or** canonical) oriented (real) projective space** or (canonical) two-sided projective space \mathbb T^n is defined as Here, we use \mathbb T to stand for two-sided.

Distance in oriented real projective space

Distances between two points and in can be defined as elements in.

Oriented complex projective geometry

Let n be a nonnegative integer. The oriented complex projective space is defined as