| • Science | • People | • Locations | • Timeline |
Taking the example of projective space of dimension three, there will be homogeneous co-ordinates (x:y:z:w). The plane at infinity is usually identified with the set of points with w = 0. Away from this plane we can use (x/w, y/w, z/w) as an ordinary Cartesian system; therefore the affine space complementary to the plane at infinity is co-ordinatised in a familiar way, with a basis corresponding to (1:0:0:1), (0:1:0:1), (0:0:1:1).
If we try to intersect the two planes defined by equations x = w and x = 2w then we clearly will derive first w = 0 and then x = 0. That tells us that the intersection is contained in the plane at infinity, and consists of all points with co-ordinates (0:y:z:0). It is a line, and in fact the line joining (0:1:0:0) and (0:0:1:0). The line is given by the equation
where μ is a scaling factor. The scaling factor can be adjusted to normalize the co-ordinates (0:y:z:0), thereby eliminating one of the two degrees of freedom. The result is a set of points with only one degree of freedom, as is expected for a line.
Let there be a pair of points A and B in projective 3-space, whose homogeneous co-ordinates are
It is desired to find their linear combination where a and b are coefficients which can be adjusted at will. There are three cases to consider:
The X, Y, and Z co-ordinates can be considered as numerators, whereas the W coordinate can be considered as a denominator. To add homogeneous coordinates it is necessary that the denominator be common. Otherwise it is necessary to rescale the co-ordinates until all the denominators are common. Homogeneous co-ordinates are equivalent up to any uniform rescaling.
If both points are in affine 3-space, then and . Their linear combination is
If both points are on the plane at infinity, then and . Their linear combination is
Let the first point be affine, so that . Then
which means that the point at infinity is "dominant".
Linear algebra Projective geometry