A collineation of
is defined as a mapping from the plane to
itself such that the collinearity of any set of points is preserved. Such a
mapping can be achieved with matrix multiplication by a
T. Each point
is transformed into a point
To transform a line
into a line
we note that collinearity must
be preserved, that is, if a point
lies on the line
must lie on the corresponding line
From these results, it is not hard to show that a point conic C transforms to T-TCT-1, and a line conic |C|C-1 transforms to T|C|C-1TT.
Regarding transformations, recall that projective
Let's study the matrix T to uncover the relationships between these
various geometries. First we will write out the elements of T, for
The affine plane is just the projective plane minus the ideal line.
Therefore, affine transformations must preserve the ideal line and
the ideal points,
that is, any point
[X, Y, 0]T must be transformed into
for some arbitrary scaling
Unlike affine transformations,
similarity transformations preserve angles and ratios of lengths.
Delaying the derivation for a moment, we simply state the result:
Under Euclidean transformation, scale is important, and therefore the
must first be converted to Euclidean coordinates by
dividing by its third element. The transformation then is
In closing this section, we offer one final proposition, along with its proof:
The ``only if'' is rather easy to see: The absolute point is transformed through equation (3) to the point , which is equivalent because the scale factor is ignored.
The ``if'' is a little more complicated, but still rather straightforward.
Starting with the unrestricted equation for T,