"All geometry is projective geometry." _{(}_{A}_{r}_{t}_{h}_{u}_{r} _{C}_{a}_{y}_{l}_{e}_{y}_{,} _{1}_{8}_{2}_{1}_{}_{1}_{8}_{9}_{5}_{)}
The first chapter of this book is an introduction into projective geometry. Although projective geometry is, from the abstract viewpoint, nothing but linear algebra in disguise, it is a geometric language which allows a unified approach to such different things as Euclidean geometry of points, the differential geometry of ruled surfaces, or spherical kinematics. Sec. 1.1 introduces projective space and coordinates for points and hyperplanes, studies linear subspaces and quadratic varieties, and shows the relations between some of the classical geometries. In Sec. 1.2, we consider curves and surfaces from the viewpoint of projective geometry. Afterwards we describe some basic facts about algebraic varieties in affine and projective space. Finally, Sec. 1.4 deals with polynomial and rational curves and surfaces in ComputerAided Geometric Design.
1.1 Real Projective Geometry
_{1}_{.}_{1}_{.}_{1} The Real Projective Plane History and Definition of Ideal Points
Projective geometry has its origin in the development of the geometric rules of per spective drawing. A central projection maps parallel lines that are not parallel to _{t}_{h}_{e} _{i}_{m}_{a}_{g}_{e} _{p}_{l}_{a}_{n}_{e} _{t}_{o} intersecting lines. This example indicates that a geometry used to study central projections will have to regard parallelity as a form of intersection. This is realized by the concept of projective extension of Euclidean space. We first discuss the projective extension of the Euclidean plane. We add an ideal _{p}_{o}_{i}_{n}_{t} or point at infinity to each line L, such that parallel lines share the same ideal point. Thus, two lines are parallel if and only if they intersect at infinity all other lines intersect in a proper point. The ideal line, denoted by w, consists of all ideal points. In figures we often indicate the ideal point of a line L by an arrow labelled with Lw or Li,. It is part of the definition of the point at infinity that a line contains _{e}_{x}_{a}_{c}_{t}_{l}_{y} one ideal point. It can be approached by traveling along the line in either direction.
H. Pottmann and J. Wallner, Computational Line Geometry,
1
Mathematics and Visualization, DOI 10.1007/9783642040184_1, © SpringerVerlag Berlin Heidelberg 2010
2
1. Fundamentals
_{F}_{i}_{g}_{.} _{1}_{.}_{1}_{.} Introduction of homogeneous coordinates.
Homogeneous Point Coordinates
We introduce coordinates which describe proper points as well as ideal points: We choose a Cartesian coordinate system in the Euclidean plane E 2 . Its points are rep resented by coordinate vectors x = (x, y) E R2 . The linear space ^{R}^{3} is assumed to have coordinates xo , xl , x2. We embed the Euclidean plane into R3 by mapping _{(}_{x}_{,} y) (1,x, y). Thus E 2 is identified with the plane xo = 1 of ^{R}^{3} (see Fig. 1.1). The onedimensional linear subspace spanned by x = (1, x, y) consists of the vectors
xR = (A, Ax, Ay), A E R.
_{I}_{f} _{A} _{0} 0, then such a coordinate triple uniquely defines the subspace xR and the _{c}_{o}_{r}_{r}_{e}_{s}_{p}_{o}_{n}_{d}_{i}_{n}_{g} _{p}_{r}_{o}_{p}_{e}_{r} _{p}_{o}_{i}_{n}_{t} _{o}_{f} _{E}_{2}_{.} Thus, to a point with two coordinates in E 2 we assign three, which are unique only up to a common nonzero factor, and are called _{h}_{o}_{m}_{o}_{g}_{e}_{n}_{e}_{o}_{u}_{s} _{C}_{a}_{r}_{t}_{e}_{s}_{i}_{a}_{n} _{c}_{o}_{o}_{r}_{d}_{i}_{n}_{a}_{t}_{e}_{s}_{.} The symbol xR denotes the point as well as the symbol x, if x = A(1, x, y) and x = (x, y). To emphasize the homogeneity, we _{u}_{s}_{e} _{t}_{h}_{e} _{n}_{o}_{t}_{a}_{t}_{i}_{o}_{n} _{(}_{x}_{0} : x _{1} : x 2) for (x o , xi _{,} x 2)R. The `ordinary' coordinates are recovered from the homogeneous ones by
xl[8= (x0 : x 1 : x2 ) .
= (x1lx0, x21xo) = x, (x0 1
0).
(1.1)
When using matrix notation we regard x (or x) as a column vector, even if we write x = (x, y) for simplicity.
Representation of Euclidean Lines and Ideal Points
_{C}_{o}_{n}_{s}_{i}_{d}_{e}_{r} _{a} _{l}_{i}_{n}_{e} _{L} parallel to the vector (4, 1 2) in the Euclidean plane. Its points x are represented by onedimensional subspaces xR of R3 . They are contained in a twodimensional linear subspace of R3 . One onedimensional subspace, however, is missing: It is spanned by (0, /1 , 12), is parallel to L, and is contained in the plane _{x}_{o} _{=} _{0}_{.} _{I}_{f} L' is parallel to L, then the onedimensional subspace parallel to L' obviously is the same as it was for L.
1.1 Real Projective Geometry 3
Conversely, all onedimensional subspaces of R3 _{,} _{e}_{x}_{c}_{e}_{p}_{t} _{t}_{h}_{o}_{s}_{e} _{i}_{n} _{x}_{o} _{=} _{0}_{,} _{r}_{e}_{p}_{} resent a proper point of E2 . A onedimensional subspace in x _{o} _{=} _{0} _{i}_{s} _{c}_{o}_{n}_{t}_{a}_{i}_{n}_{e}_{d} in twodimensional subspaces which correspond to a family of parallel lines. This shows how to represent ideal points: The `missing' onedimensional subspaces of the previous paragraph are the obvious candidates. Now we have established a onetoone correspondence between onedimen sional linear subspaces of ^{R}^{3} and points (both proper and ideal) of the projectively extended plane. This extended plane is called the real projective plane, and is de noted by P 2 . _{L}_{i}_{n}_{e}_{s} _{o}_{f} _{P} 2 are represented by twodimensional linear subspaces of R3 _{.} _{A}_{l}_{l} _{e}_{x}_{c}_{e}_{p}_{t} _{t}_{h}_{e} _{s}_{u}_{b}_{s}_{p}_{a}_{c}_{e} _{x} o = 0 determine a Euclidean line, and xo = 0 corresponds to _{t}_{h}_{e} _{i}_{d}_{e}_{a}_{l} _{l}_{i}_{n}_{e} to that contains all ideal points.
Homogeneous Line Coordinates and the Incidence Relation
If a point pR is contained in a line L, we call these two objects incident. The pair (pR, L) then is a member of the incidence relation. A line L spanned by the points aR and bR can be parametrized by
xR = (Àoa + b)R, _{.} _{o} _{,} _{A}_{l} _{E} _{R}_{.} _{(}_{1}_{.}_{2}_{)}
We may also write this twodimensional subspace as the solution of a homogeneous linear equation
_{u}_{0}_{x}_{o} _{+} ulxl _{+} u2x2 = O.
(1.3)
The coefficients (no, u1, u2) = u are unique up to a scalar factor, and are called _{h}_{o}_{m}_{o}_{g}_{e}_{n}_{e}_{o}_{u}_{s} _{l}_{i}_{n}_{e} _{c}_{o}_{o}_{r}_{d}_{i}_{n}_{a}_{t}_{e}_{s} of L. In order to distinguish line coordinates from point coordinates, we write L = R(u o , u1, u2) = Ru with the symbol R at the left hand side of the coordinate vector. We can give a Euclidean interpretation to Equ. (1.3): If we introduce the canon ical scalar product in R3 , then Equ. (1.3) means that the vectors _{(}_{n}_{0}_{,} _{u}_{1}_{,} _{u}_{2}_{)} _{a}_{n}_{d} _{(}_{x}_{0}_{,} _{x}_{1}_{,} _{x}_{2}_{)} are orthogonal. We write
u•x =0.
(1.4)
This is the condition of incidence of a line Ru and a point xR. To compute the line Ru incident with two points aR, bR, we therefore have to determine u such that it is orthogonal to both aR and bR. This can be done by letting
u=axb. 
_{(}_{1}_{.}_{5}_{)} 
Conversely, the point aR incident with lines Ru,Rv is computed by 

a = u x v. 
_{(}_{1}_{.}_{6}_{)} 
4
1. Fundamentals
The Incidence Structure of the Projective Plane
The incidence structure of the projective plane is very simple: Two different points Al = a 1R, A2 = a 2R are incident with exactly one line _{L} _{=} _{R}_{u} _{(}_{c}_{f}_{.} _{E}_{q}_{u}_{.} _{(}_{1}_{.}_{5}_{)}_{)}_{.} We write
L = A 1 VA2.
Two different lines L1, L2 are incident with exactly one point _{P}_{.} _{W}_{e} _{w}_{r}_{i}_{t}_{e}
P = L 1 n L2.
This is in contrast to the situation in the Euclidean plane, where there are lines which do not intersect (parallel lines). The incidence of a point P and the line L _{c}_{o}_{u}_{l}_{d} _{b}_{e} denoted by the symbol LIP, in order to emphasize the `symmetry' of this relation. But we prefer to write _{P} _{E} L. We call points incident with the same line collinear, _{a}_{n}_{d} _{l}_{i}_{n}_{e}_{s} _{i}_{n}_{c}_{i}_{d}_{e}_{n}_{t} _{w}_{i}_{t}_{h}
the same point concurrent. If a 1R, a 2R, a 3R are incident with the line Ru, then
_{a}_{l} _{u} _{=} a 2 • u = a3
u = 0, and det (al , a2 , a3 ) = O. Conversely, if this determinant
_{i}_{s} _{z}_{e}_{r}_{o}_{,} _{t}_{h}_{e} _{v}_{e}_{c}_{t}_{o}_{r}_{s} al , a2 , a3 are contained in a twodimensional subspace and so
_{a} _{1}_{R}_{,} a2111, a3R are collinear points. We have shown:
_{a}_{l} R, a2118, a3I18 collinear _{<}
_{>}
det(a1 , _{a}_{2} _{,} _{a}_{3} _{)} = _{O}_{.}
Duality in the Projective Plane
The incidence condition (1.4) is completely symmetric: If we interchange point and line coordinates, it remains unchanged. This has an important consequence.
_{D}_{e}_{f}_{i}_{n}_{i}_{t}_{i}_{o}_{n}_{.} The geometric objects `line' and `point' are dual to each other in the projective plane. If in a statement about points and lines and their incidences ev ery occurrence is replaced by its dual, this new statement is called the dual of the original one.
_{W}_{e} _{h}_{a}_{v}_{e} _{d}_{e}_{f}_{i}_{n}_{e}_{d} _{p}_{o}_{i}_{n}_{t}_{s} _{t}_{o} _{b}_{e} collinear if they are contained in the same line, lines _{t}_{o} _{b}_{e} _{c}_{o}_{n}_{c}_{u}_{r}_{r}_{e}_{n}_{t}_{,} if they contain the same point. If we want to convert a statement which contains the words `collinear' and `concurrent' into its dual version, we have to replace `collinear' with `concurrent' and vice versa.
_{T}_{h}_{e}_{o}_{r}_{e}_{m} _{1}_{.}_{1}_{.}_{1}_{.} (The principle of duality in the projective plane) If a true statement about geometric objects in the projective plane employs only `points', `lines' and `incidence', its dual is also true, and vice versa.
_{P}_{r}_{o}_{o}_{f}_{.} The proof of the dual statement is obtained by interchanging the words `point' and `line' in the original proof. Equations (1.4), (1.5), and (1.6) show that in that way the dual statement is proved. ❑
1.1 Real Projective Geometry 5
Remark 1.1.1. Th. 1.1.1 is actually a metatheorem: a theorem about other theo rems. Its proof is a sketch of a metaproof. It is also necessary to specify further what a `statement' is. As this is no course in logic, we just mention that it should not contain free variables, i.e., all variable names should be preceded by a `for all' or `exists' quantifier.
Usually the dual statement differs from its original. If not, the statement is called selfdual. Geometric objects can be dualized by dualizing their definition, which is a statement.
_{E}_{x}_{a}_{m}_{p}_{l}_{e} _{1}_{.}_{1}_{.}_{1}_{.} A range of points, i.e., the points incident with a line, is dual to a _{p}_{e}_{n}_{c}_{i}_{l} _{o}_{f} _{l}_{i}_{n}_{e}_{s}_{,} i.e., the lines concurrent in a point. The line spanned by two points is dual to the intersection point of two lines. A line element, i.e., a line with a point in it, is a selfdual geometric object.
G1
_{F}_{i}_{g}_{.} _{1}_{.}_{2}_{.} Left: Pappos' theorem. Right: its dual (Brianchon's theorem).
_{E}_{x}_{a}_{m}_{p}_{l}_{e} _{1}_{.}_{1}_{.}_{2}_{.} We give a statement that can be dualized: Suppose A 1 , A2, A3 are _{c}_{o}_{l}_{l}_{i}_{n}_{e}_{a}_{r}_{,} _{a}_{n}_{d} _{l}_{i}_{k}_{e}_{w}_{i}_{s}_{e} _{B}_{1}_{,} B2, B3. Then the three points (A1 _{V} _{B}_{2} ) _{n} _{(}_{A}_{2} _{V} B _{1} ),
_{(}_{A} _{2} _{V} _{B}_{3} _{)} _{n} _{(}_{A}_{3} _{V} _{B}_{2}_{)}_{,} (A 3 _{V} _{B} 1) _{n} _{(}_{A}_{1} _{V}
B3 ) are collinear (see Fig. 1.2, left).
The dual statement is the following: Suppose _{G}_{i}_{,} _{G}_{2}_{,} _{G}_{3} are concurrent, and
likewise H1i 
H2 , H3. Then the three lines (G 1 n H2 ) V (G2 n 
H1 ), (G 2 n H3 ) V 
_{(}_{G}_{3} _{n} _{H}_{2}_{)}_{,} _{(}_{G}_{3} _{n} _{H}_{1} _{)} _{v} _{(}_{G}_{1} _{n} H3 ) are concurrent (see Fig. 1.2, right). We will give 

a proof in Ex. 1.1.9. 
Models of the Projective Plane
The use of homogeneous coordinates motivates the socalled _{b}_{u}_{n}_{d}_{l}_{e} _{m}_{o}_{d}_{e}_{l} _{o}_{f} _{t}_{h}_{e} real projective plane. All lines of Euclidean 3space concurrent in a point are called _{a} _{b}_{u}_{n}_{d}_{l}_{e} of lines. There is an obvious onetoone correspondence between the lines of the bundle and the onedimensional linear subspaces of R3 . Recall that we have established a onetoone correspondence between the onedimensional linear sub spaces of _{R}_{3} and the points of the projective plane. Thus we can say that the bundle is (a model of) the projective plane P2.
6
1. Fundamentals
A pencil of lines in the bundle corresponds to the range of points contained in a line of P 2 . Another model is the following: All onedimensional linear subspaces of R3 intersect the unit sphere S 2 in two points. Thus the unit sphere with antipodal points identified is a model of P 2 . Yet another model is the northern hemisphere, with antipodal points of the equator identified.
^
Fig. 1.3. Boy's surface and its planar sections.
Remark 1.1.2. We saw that the projective plane can be constructed by identifying antipodal points of the unit sphere, which makes the projective plane a closed sur face. Instead of identifying all points with their antipodes we could restrict ourselves to the upper hemisphere together with the equator, where all pairs of antipodal points are represented by at least one point, and precisely the _{p}_{o}_{i}_{n}_{t}_{s} _{o}_{f} _{t}_{h}_{e} _{e}_{q}_{u}_{a}_{t}_{o}_{r} _{b}_{y} _{t}_{w}_{o} points. This shows that we can make a projective plane from an upper hemisphere by gluing the equator to itself such that antipodal points come together. This con struction is called a crosscap attached to a circular hole in the sphere (in this case, the lower hemisphere is the hole). Yet another equivalent method is to take a Möbius band and a disk, and to glue them together along their boundaries. The resulting surface in nonorientable and cannot be embedded into Euclidean threespace without selfintersections. _{B}_{u}_{t} _{i}_{t} has been known for a long time that the projective plane admits an immersion in R3 , i.e., it can be mapped to a closed surface in without local singularities. The first to actually draw a picture of an immersion was W. Boy in 1901. Ever since, any similarly shaped surface which is an immersion of the projective plane is called a Boy's surface (cf. [4]). Fig. 1.3 shows an example.
1.1.2 ndimensional Projective Space
The construction of ndimensional real projective space _{P}_{n} _{i}_{s} _{c}_{o}_{m}_{p}_{l}_{e}_{t}_{e}_{l}_{y} _{a}_{n}_{a}_{l}_{o}_{g}_{o}_{u}_{s} to that of P 2 . We augment Euclidean nspace by ideal points, one for each class of parallel lines, and collect the ideal points in the _{i}_{d}_{e}_{a}_{l} _{h}_{y}_{p}_{e}_{r}_{p}_{l}_{a}_{n}_{e}_{,} _{d}_{e}_{n}_{o}_{t}_{e}_{d} _{b}_{y} _{w}_{.} _{W}_{e} define a onetoone correspondence between onedimensional subspaces of llr+ ^{1} and the points of Pn:
1.1 Real Projective Geometry 7
Definition. Assume that the linear space Rn+ 1 is equipped with coordinates xo,
x i ,
...
,
xn . The set of its onedimensional subspaces is called ndimensional real
projective space Pm. We embed ndimensional Euclidean space En into Pn by
(Xi, 
... 
, _{x} n ) 14 
(1,s1, 
... 
, _{x} n )R. If xo = _{0}_{,} the point _{(}_{S}_{o}_{,} 
, xn )R is called an 

ideal point. 

We denote the point (x o , 
, xn)R = xR also by the symbol (x o : 
: xn ). If xR 

(x0, , xn )R _{E} P n _{<} 
_{i} _{(}_{x}_{i}_{/}_{x}_{0}_{,} 
_{,} _{x} n /x0) E En 
_{(}_{S} 
_{0}_{)}_{.} _{(}_{1}_{.}_{7}_{)} 

_{I}_{f} _{a} _{l}_{i}_{n}_{e} _{o}_{f} En is parallel to the vector (h, 
, ln ), its ideal point is (0, h, 
, l n)1R. 
The ideal points are contained in the ideal hyperplane, whose equation is x o = 0. The coordinate vector x of the point xR is called its homogeneous coordinate vector. The correspondence between onedimensional subspaces and points represents one of the most important connections between algebra and geometry. If we want to distinguish _{t}_{h}_{i}_{s} _{m}_{o}_{d}_{e}_{l} _{o}_{f} P n from others, we refer to it as to `the real projective space of Rn+ ' If we repeat the construction of ndimensional projective space and homoge _{n}_{e}_{o}_{u}_{s} _{c}_{o}_{o}_{r}_{d}_{i}_{n}_{a}_{t}_{e}_{s} _{i}_{n} _{i}_{t} _{f}_{o}_{r} complex numbers instead of real ones, we get socalled _{c}_{o}_{m}_{p}_{l}_{e}_{x} _{p}_{r}_{o}_{j}_{e}_{c}_{t}_{i}_{v}_{e} _{s}_{p}_{a}_{c}_{e} _{(}_{C}_{P}_{T}_{.} It will be discussed in more detail in Sec. 1.1.6, but we will occasionally refer to it before. As a general rule, everything which can be computed linearly holds true for both projective spaces, real and complex. Objects defined by nonlinear equations behave in different ways. This is mainly because polynomials always have zeros over the complex number field, but not necessarily over the field of real numbers.
1
Projective Subspaces
_{D}_{e}_{f}_{i}_{n}_{i}_{t}_{i}_{o}_{n}_{.} _{A} _{(}_{k} _{+} 1)dimensional linear subspace U of Rn+ 1 defines a kdimen sional projective subspace, which consists of all points xR with x _{E} U.
_{T}_{h}_{e} _{z}_{e}_{r}_{o} _{s}_{u}_{b}_{s}_{p}_{a}_{c}_{e} _{o}_{f} _{1}_{1}_{1}_{n}_{+} ^{1} in this way corresponds to the empty set (there is no point contained in the zero subspace). It is assigned the dimension k = —1. Points xR are 0dimensional projective subspaces. If k = _{1}_{,} the projective subspace is _{c}_{a}_{l}_{l}_{e}_{d} _{a} _{l}_{i}_{n}_{e}_{,} _{i}_{f} _{k} _{=} _{2}_{,} _{a} plane, if k = n — 1, a hyperplane. The only ndimensional projective subspace is Pn itself.
_{D}_{e}_{f}_{i}_{n}_{i}_{t}_{i}_{o}_{n}_{.} _{P}_{o}_{i}_{n}_{t}_{s} _{P}_{o} _{=} _{p}_{o}_{l}_{l}_{8}_{,} if and only if the vectors 130, ...
, _{P}_{k} _{=} pkR of P _{n} are projectively independent, , p k are linearly independent.
...
Any kdimensional projective subspace is a kdimensional projective space itself. _{I}_{f} _{U} is the corresponding linear subspace, we write 17(U) to indicate the projective subspace. We will often omit the symbol H and write U for the projective subspace as well.
_{8}
1. Fundamentals
Projective Span
Assume k + 1 linearly independent vectors p0 , •
..
, pk which span a _{(}_{k} _{+} _{1}_{)}_{}_{d}_{i}_{m}_{e}_{n}_{}
sional linear subspace _{U}_{.} We denote the projective subspace corresponding to this
linear subspace by the symbol
_{U} _{=} [p0,
...
,
_{P}_{k}_{]} =Po _{V}
_{.}_{.}_{.}
_{V} _{P}_{k}_{,} where pR
P.
_{I}_{t} _{i}_{s} _{c}_{a}_{l}_{l}_{e}_{d} _{t}_{h}_{e} _{p}_{r}_{o}_{j}_{e}_{c}_{t}_{i}_{v}_{e} _{s}_{p}_{a}_{n} of Po,
...
, Pk. Two projectively independent points
span a line and three projectively independent points span a plane. _{U} _{c}_{a}_{n} _{b}_{e} _{p}_{a}_{r}_{a}_{m}_{}
etrized by
xR = ()opo + • • • +.kpk)R
_{w}_{i}_{t}_{h} _{k} _{+} _{1} homogeneous parameters a o ,
, Ak E R.
... Hyperplanes can be represented alternatively by one linear equation
_{u}_{0} _{x}_{o} ^{+}
. ..
+
_{u}_{n}_{x}_{n} _{=}_{u}_{•}_{x} _{=}_{0}_{.}
(1.8)
(1.9)
The homogeneous (n + 1)tuple (uo :
...
:
un _{)} is called homogeneous hyperplane
_{c}_{o}_{o}_{r}_{d}_{i}_{n}_{a}_{t}_{e}_{,} and we denote the hyperplane with coordinate vector u by Ru. The incidence relation is described by (1.9): A point xR and a hyperplane Ru are incident
if and only if u•x=0.
_{E}_{x}_{a}_{m}_{p}_{l}_{e} _{1}_{.}_{1}_{.}_{3}_{.} We compute the hyperplane coordinates of the plane spanned by the points (1, 0, 0), (0, 1, 0), (0, 0, 1) of Euclidean space E 3 : After the embedding _{i}_{n}_{t}_{o} _{p}_{r}_{o}_{j}_{e}_{c}_{t}_{i}_{v}_{e} _{s}_{p}_{a}_{c}_{e} _{P} _{3} these three points have coordinates x,R = _{(}_{1}_{,} _{1}_{,} _{0}_{,} _{0}_{)}_{R}_{,} _{x}_{2}_{R} = (1, 0, 1, 0)R, and x3R = (1, 0, 0, 1)R. Their span Ru must fulfill u • x 1 = _{u} _{•} _{x}_{2} _{=} _{u} _{•} _{x} _{3} = 0. These are three homogeneous linear equations for the four unknown components of u. In this case we see even without computing that the solution is R(1,1,1,1).
Projective Span and Intersection of Subspaces
_{S}_{u}_{p}_{p}_{o}_{s}_{e} _{U} and V are linear subspaces of Rn+ 1 They define projective subspaces, _{a}_{l}_{s}_{o} _{d}_{e}_{n}_{o}_{t}_{e}_{d} _{b}_{y} _{U} and V. The symbol _{U} _{V} V denotes the smallest (linear or pro jective) subspace which contains both _{U}_{,} V. By _{U} _{n} V we denote their intersection, which again is a (linear or projective) subspace. The following theorem shows a relation between the dimensions of these sub spaces:
Theorem 1.1.2. Assume that G, H are projective subspaces of ndimensional pro jective space Pn. Then
dim _{G}_{+} dim H= dim(GnH)+dim(GV _{H}_{)}_{.}
_{(}_{1}_{.}_{1}_{0}_{)}
_{P}_{r}_{o}_{o}_{f}_{.} We consider the linear subspaces corresponding to the projective ones, and denote their dimension with dim L . Now it is well known that dimL G + dimL H = _{d}_{i}_{m}_{L}_{(}_{G} _{n} H)+dimL(GVH). Because dimL() = dim( ) +1, the _{r}_{e}_{s}_{u}_{l}_{t} _{f}_{o}_{l}_{l}_{o}_{w}_{s}_{.} _{❑}
1.1 Real Projective Geometry
_{9}
If _{G} _{n} H is empty and G V H = Pn, the projective subspaces _{G}_{,} _{H} are called complementary. (1.10) implies that in this case, dim _{G} _{+} dim H = _{n} _{—} _{1}_{.}
Example 1.1.4. There are only two possibilities for the dimensions of complemen tary subspaces in the projective plane: The trivial possibility is the empty subspace and entire space, which are complementary. The nontrivial possibility is a point and a nonincident line. In projective threespace we have, apart from the trivial case, the cases of a plane plus a nonincident point, and of two nonintersecting lines. Such lines are called skew.
_{I}_{f} _{U}_{i} is an indexed family of subspaces, where the index ranges in some set I, we use the symbols
V= n Ui, W= v Uz
iCI
iEI
(1.11)
to denote the intersection V and the span W of the subspaces Ui. The former con sists of the points which are contained in all Ui, and is a projectivesubspace again. The latter is the smallest subspace which contains all Ui.
The Annullator Mapping
The incidence condition (1.9) shows that a point xR is contained in a hyperplane Ru, if and only if the vectors x and u are orthogonal with respect to the canonical scalar product in ][8n+ ^{1} ^{.} A (k + 1)dimensional linear subspace U of Rn+ ^{1} has an (n — k)dimensional _{o}_{r}_{t}_{h}_{o}_{g}_{o}_{n}_{a}_{l} _{c}_{o}_{m}_{p}_{l}_{e}_{m}_{e}_{n}_{t} _{U}_{°}_{.} We consider a second copy of Pn, denoted by Pn*. U defines a kdimensional projective subspace in Pn, and U° defines an (n — k — 1) dimensional projective subspace in Pn*.
_{D}_{e}_{f}_{i}_{n}_{i}_{t}_{i}_{o}_{n}_{.} The space Pn* is called dual projective space. The mapping U H U° is called the annullator mapping.
_{P}_{r}_{o}_{p}_{o}_{s}_{i}_{t}_{i}_{o}_{n} _{1}_{.}_{1}_{.}_{3}_{.} Assume that G and H are projective subspaces. The annullator mapping has the following properties:
_{(}_{G} _{n} _{H}_{)}_{°} _{=} _{G}_{°} V H° , (GVH)°=G°nH°, GcHt G°nH°.
If Ui is an indexed family of subspaces, then
_{P}_{r}_{o}_{o}_{f}_{.} This follows from the respective properties of the orthogonal complement in
litI ^{n}^{+}^{1}
_{R}_{e}_{m}_{a}_{r}_{k} _{1}_{.}_{1}_{.}_{3}_{.} We emphasize that from the `clean' point of view, something like orthogonality should not be intermixed with the annullator mapping, which is a natural antimorphism of the lattice of subspaces. The orthogonality defined by the canonical coordinate system in Rn+ ^{1} appears here because we expect the reader to be familiar with this concept. 0
_{1}_{0}
1. Fundamentals
Duality in ndimensional Projective Space
Definition. If a statement involving kdimensional subspaces, projective span, in tersection, and inclusion of subspaces in Pn is modified by replacing these items by (n — k — 1)dimensional subspace, intersection, projective span, and reverse inclusion of subspaces, then this new statement is called dual to the original one.
Obviously, the iterated dual gives the original statement again. A configuration of subspaces, which is also called a `geometric figure', is assigned a dual configuration, by dualizing its definition.
Theorem 1.1.4. A statement which fulfills the criteria of the previous definition is true if and only if its dual is.
_{P}_{r}_{o}_{o}_{f}_{.} The annullator mapping transforms a configuration of subspaces into a dual configuration. This shows that the truth of a statement in P n _{i}_{s} _{e}_{q}_{u}_{i}_{v}_{a}_{l}_{e}_{n}_{t} _{t}_{o} _{t}_{h}_{e} truth of the dual statement in Pn*. As Pn* is just a second copy of Pm, the theorem follows. ❑
Remark 1.1.4. The points of dual projective space can be identified with the hy _{p}_{e}_{r}_{p}_{l}_{a}_{n}_{e}_{s} _{o}_{f} _{P}_{n}_{.} A projective subspace of _{P}_{n}_{*} is then a set of hyperplanes. If _{U} _{i}_{s} _{a} _{p}_{r}_{o}_{j}_{e}_{c}_{t}_{i}_{v}_{e} _{s}_{u}_{b}_{s}_{p}_{a}_{c}_{e} _{o}_{f} Pn, then _{U}_{°} consists of all hyperplanes which contain
U.
_{F}_{i}_{g}_{.} _{1}_{.}_{4}_{.} A range of points, a pencil of planes, and a pencil of lines in a plane (from left to right).
Example 1.1.5. We illustrate duality in P 3 : points are dual to planes, and lines are _{d}_{u}_{a}_{l} _{t}_{o} _{l}_{i}_{n}_{e}_{s}_{.} _{T}_{h}_{e} _{p}_{o}_{i}_{n}_{t}_{s} _{o}_{f} _{a} _{l}_{i}_{n}_{e} _{—} _{a} range of points — is dual to the planes which contain a line — a pencil of planes. _{T}_{h}_{e} field of points of a plane is dual to the bundle of planes incident with a _{p}_{o}_{i}_{n}_{t}_{.} _{I}_{f} _{a} _{p}_{o}_{i}_{n}_{t} _{P} _{i}_{s} _{c}_{o}_{n}_{t}_{a}_{i}_{n}_{e}_{d} _{i}_{n} _{t}_{h}_{e} plane e, then the lines which contain P and _{a}_{r}_{e} _{c}_{o}_{n}_{t}_{a}_{i}_{n}_{e}_{d} _{i}_{n} _{e} _{a}_{r}_{e} _{c}_{a}_{l}_{l}_{e}_{d} _{a} pencil of lines (cf. Ex. 1.1.1). Its dual figure consists of those lines which are contained in a plane _{P}_{°}_{,} and contain a point _{e}_{°}_{,} where _{e}_{°} _{E} _{P}_{°}_{.} This is again a pencil of lines, so `pencil of lines' is a selfdual object in _{P} _{3}_{.} Likewise `concurrent lines' are the same as two `coplanar lines', so this notion is selfdual (cf. Fig. 1.4)
1.1 Real Projective Geometry 11
Remark 1.1.5. Note that there is no such thing as duality in Euclidean space _{E}_{n} _{.} It is true that En is contained in Pn, but what is missing is not selfdual: There are many ideal points, but only one ideal hyperplane.
Models of Projective Space
Some of the models of the projective plane can be immediately generalized to pro jective space: a bundle of lines in Euclidean space En+ 1 _{i}_{s} _{a}_{n} _{n}_{}_{d}_{i}_{m}_{e}_{n}_{s}_{i}_{o}_{n}_{a}_{l} _{p}_{r}_{o}_{} jective space itself, as well as the unit sphere _{S}_{n} _{w}_{i}_{t}_{h} _{a}_{n}_{t}_{i}_{p}_{o}_{d}_{a}_{l} _{p}_{o}_{i}_{n}_{t}_{s} _{i}_{d}_{e}_{n}_{t}_{i}_{f}_{i}_{e}_{d}_{.}
Remark 1.1.6. The construction of Pn by identifying antipodal points makes it an ndimensional manifold whose double cover is the sphere. It is orientable if n is odd, and its fundamental group is _{Z}_{2} if n > 2. Onedimensional projective space (a projective line) is homeomorphic to a circle. The question of embedding topological spaces into Euclidean spaces as surfaces is very interesting: There is no embedding of Pn into En+ ^{1}^{,} and the projective spaces are among those manifolds which are most resistant against embedding into
Rn 'S.
1.1.3 Projective Mappings Projective Automorphisms
`Geometry' in the sense of F. Klein's Erlangen program (1872) means the theory of objects invariant with respect to a given group of transformations, which are the automorphisms of the geometry. Thus Euclidean geometry is the theory of objects invariant with respect to Euclidean congruence transformations. The group of automorphisms of ndimensional projective space are induced by the linear automorphisms of Rn+l :
_{D}_{e}_{f}_{i}_{n}_{i}_{t}_{i}_{o}_{n}_{.} _{I}_{f} _{A} ^{E} ^{R}^{(}^{n}^{+}^{1}^{)} ^{x} ^{(}^{n}^{+}^{1}^{)} is a regular matrix, the linear automorphism
_{f} _{:} 1[8n+1 pgn+1
f :xH+x'=A• x
(1.12)
induces the projective mapping 0 : P n * P n by
:xR' (A •
x)R. (1.13)
0 is called projective automorphism, projective collineation, or regular projective map. The group of projective automorphisms of Pn is denoted by PGLn, and is called the projective linear group.
_{D}_{e}_{f}_{i}_{n}_{i}_{t}_{i}_{o}_{n}_{.} _{A} projective isomorphism _{0} from one ndimensional projective space onto another is defined by the same formulae, but with the source coordinate system in the first, and the target coordinate system in the second projective space. _{A} projective isomorphism is also called projective collineation or regular pro jective map from the first projective space onto the second.
12
1. Fundamentals
0 maps onedimensional subspaces xR of R71+1 _{t}_{o} _{o}_{n}_{e}_{}_{d}_{i}_{m}_{e}_{n}_{s}_{i}_{o}_{n}_{a}_{l} _{s}_{u}_{b}_{s}_{p}_{a}_{c}_{e}_{s} _{x}_{'}_{R} _{o}_{f} _{R}_{n}_{+} _{l} , i.e., points of Pn to points of Pn. f _{i}_{s} _{o}_{n}_{e}_{}_{t}_{o}_{}_{o}_{n}_{e} _{a}_{n}_{d} _{o}_{n}_{t}_{o}_{,} _{a}_{n}_{d} _{s}_{o} _{i}_{s} _{0}_{.}
Remark 1.1.7. Two linear automorphisms fl , f2 of Rn+ 1 _{d}_{e}_{f}_{i}_{n}_{e} _{t}_{h}_{e} _{s}_{a}_{m}_{e} _{p}_{r}_{o}_{j}_{e}_{c}_{} tive automorphism if and only if fi = Af2, with A # 0 (the proof of this fact is left as an exercise to the reader — cf. also the proofs of Prop. 1.1.8 and Th. 2.2.6). If we denote the group of linear automorphisms of Rn+ 1 by _{G}_{L}_{n}_{+}_{i} _{a}_{n}_{d} _{t}_{h}_{e}
group of homotheties of the form x
Ax with R • id, then obviously
PGLn, =
/(Il8 • _{i}_{d}_{)}_{.}
We will show later that a onetoone mapping of P 71 _{o}_{n}_{t}_{o} _{i}_{t}_{s}_{e}_{l}_{f}_{,} _{w}_{h}_{i}_{c}_{h} _{p}_{r}_{e}_{s}_{e}_{r}_{v}_{e}_{s} collinearity of points, is necessarily a projective automorphism.
Remark 1.1.8. To indicate that the mapping _{0} is applied to an object P we will use the notation 0(P) or PO. The symbol 00 means that we apply first and then 0. This is the same as what is usually denoted by 0 o 0.
The Action of Projective Automorphisms on Hyperplanes
A linear automorphism _{f} of R71 ^{+} ^{1} preserves the _{V}_{,} _{n}_{,} and _{C} relations between linear subspaces, and therefore so does the projective automorphism _{0} which is induced by f. In particular, a hyperplane Ru is mapped to a hyperplane Ru'. We want to com pute u' from u and from the matrix A describing f.
Proposition 1.1.5. The projective automorphism xR + x'R = (A • x)R transforms hyperplanes according to
u' = (A T ) • u,
(1.14)
_{w}_{h}_{e}_{r}_{e} _{A}_{}_{T} denotes the transpose inverse of A.
_{P}_{r}_{o}_{o}_{f}_{.} We have to show that u' • x' = 0 is equivalent to u • x = 0: We compute
_{u}_{'} _{•}_{x}_{'} _{=} _{u}_{'}_{T} _{x}_{'} _{_}
_{(}_{A}  T u)T (Ax) = u T A1 Ax = u •x. The proposition is proved. _{❑}
_{E}_{x}_{a}_{m}_{p}_{l}_{e} _{1}_{.}_{1}_{.}_{6}_{.} Consider the projective automorphism n : xR real projective plane with
_{(}_{A} _{•} _{x}_{)}_{R} _{o}_{f} _{t}_{h}_{e}
1 
1 
1 
1 
1 
1 

A 
= 
0 
1 
1 
1 and 
A _{}_{T} = 
1 
2 
1 
1 
0 1 
0 
1 
1 
The points P =
pR = (2, 0, 1)R and Q = qR = (0, 1, 0)R are contained in the
line L = Ru = R(1, 0,
2) (cf. Equ. (1.4)). Their images Pn = (A•p)R = (1, 1, _{3}_{)}_{R}
_{a}_{n}_{d} _{Q}_{n} _{=} _{(}_{}_{1}_{,}_{1}_{,}_{0}_{)}_{R} are contained in the line Ln = R(A T _{•}_{u}_{)} _{=} _{R}_{(}_{3}_{,} _{3}_{,} _{}_{2}_{)}_{.} _{0}
1.1 Real Projective Geometry
_{1}_{3}
Fundamental Sets 

A linear automorphism f _{E} _{G}_{L}_{n}_{+}_{1} is uniquely defined by its values on a basis 

_{{}_{b}_{o} , 
, bn }. Basis vectors, however, are no geometric objects in projective geom 
etry. A vector bi defines a projective point, but not conversely. It turns out that a projective automorphism is uniquely determined by its values
on n I 2 points `in general position':
Definition. A set of n + 2 points of Pn is called a fundamental set if every subset of n + 1 points is projectively independent.
_{P}_{r}_{o}_{p}_{o}_{s}_{i}_{t}_{i}_{o}_{n} _{1}_{.}_{1}_{.}_{6}_{.} If Po,
...
, _{P}_{n}_{+}_{i} and Po,
...
, Pn+1 are fundamental sets of Pn,
there exists a projective automorphism _{q}_{S} which maps Pi to P' for i = 0,
...
, n + 1.
The same is true for projective isomorphisms, where the points Pi and the points Pf are contained in different projective spaces.
_{P}_{r}_{o}_{o}_{f}_{.} _{W}_{e} _{l}_{e}_{t} _{P}_{i} 
_{=} bill8, and P' = bzIIB (i = 0, 
, n + 1). _{T}_{h}_{e}_{n} _{{}_{b}_{o}_{,} 
_{,} _{b}_{n}_{}} 
and {b'o, 
_{E}_{i} 0 Aibi, and 

_{o} _{A}_{i}_{b}_{'}_{i} . All coefficients Ai (and A'„) are nonzero, because otherwise 

_{n} _{+} _{1} _{o}_{f} _{t}_{h}_{e} _{v}_{e}_{c}_{t}_{o}_{r}_{s} _{b}_{i} _{(}_{o}_{r} _{b}_{i}_{d} would be linearly dependent. 

We let ci = Xibi and c? = aibZ. Then {co , , cn} and {c'0, (i = 0, 
, c;,} are bases , n. 

of ^{R} ^{+}^{l} ^{.} The linear mapping _{f} which maps ci projective automorphism _{0} which maps Pi P' for i = 0, 
, n) induces a 

_{B}_{u}_{t} _{0} also maps Pn+ 1 H P,a +1 , because f _{(}_{b}_{n}_{+}_{1}_{)} _{=} _{f} _{(}_{c}_{o} _{+} _{•} _{•} _{•} _{+} _{c}_{n}_{)} _{=} 

co+•••+en=b, 1. 
❑ 
_{E}_{x}_{a}_{m}_{p}_{l}_{e} _{1}_{.}_{1}_{.}_{7}_{.} We want to show that for any two hyperplanes H, H' there ex ists a projective automorphism _{0} with HO = H'. It is well known that any in
dependent set of vectors in EV+ ^{1} can be completed to a basis. So we can choose
_{f}_{u}_{n}_{d}_{a}_{m}_{e}_{n}_{t}_{a}_{l} _{s}_{e}_{t}_{s} _{(}_{P}_{o} ,
...
, Pn+1 ) and (Pô,
...
, P,', +1 ) such that Po ,
...
, Pn span
_{H}_{,} _{a}_{n}_{d} _{P}_{,} _{,}
_{.}_{.}_{.}
(i = 0,
...
,n+
_{,} _{P}_{,} span H'. Then a projective automorphism with _{P}_{i}_{k} _{=} _{P}_{,} 1)maps HtoH'.
Example 1.1.8. Assume that bo = (1, 0, 1), b1 = (0, 1, 1), b2 = (1, 0, 0), b3 = _{(}_{1}_{,}_{1}_{,} _{}_{2}_{)}_{,} _{a}_{n}_{d} _{b}_{'}_{0} = (2, 1,0), bi = (2,2,1), b2 = (1, 0,1), b'3 = (2,3,3). We look for a projective automorphism rc of the projective plane such that i (biR)
bi1R for i = 0,
, 3. We use the notation of the proof of Prop. 1.1.6. First we
... determine Ai such that E?=o Aibi = b3 and similarly Ài for b2. This gives ao = 1, = 1, A2 = 2, ao = 1, )' = 1, a2 = 2. We let ci = aibi and et: = Àibi for i = 0, 1, 2. Then the matrix A = (ci , c2, c3) • (c 1, c2, c3) 1 is the coordinate matrix of n. It turns out that the matrix _{A} equals the matrix _{A} _{u}_{s}_{e}_{d} _{i}_{n} _{E}_{x}_{.} _{1}_{.}_{1}_{.}_{6}_{.}
Projective Coordinate Systems
A fundamental set also defines a projective coordinate system _{o}_{r} _{p}_{r}_{o}_{j}_{e}_{c}_{t}_{i}_{v}_{e} _{f}_{r}_{a}_{m}_{e} _{i}_{n}
the following way: The proof of Prop. 1.1.6 shows that a fundamental set (P o, Pn ; E) can always be written in the form
...
,
14
1. Fundamentals
(bol[8,
...
,b
_{n} R; eR= (b o _{+}_{•}_{•}_{•}_{+}_{b}_{,} 2)R).
The points biR are called fundamental points _{a}_{n}_{d} _{e}_{R} _{i}_{s} _{c}_{a}_{l}_{l}_{e}_{d} _{u}_{n}_{i}_{t} _{p}_{o}_{i}_{n}_{t}_{.} _{A}_{l}_{l} _{v}_{e}_{c}_{t}_{o}_{r}_{s} _{p} _{E} Rn ^{+}^{1} can be written in the form
_{p} _{=} xobo + • + xn bn .
(1.15)
The coefficients (xo ,
, x n ) are called _{p}_{r}_{o}_{j}_{e}_{c}_{t}_{i}_{v}_{e} _{c}_{o}_{o}_{r}_{d}_{i}_{n}_{a}_{t}_{e}_{s} _{o}_{f} _{t}_{h}_{e} _{p}_{o}_{i}_{n}_{t} _{p}_{l}_{l}_{g} _{w}_{i}_{t}_{h}
...
, Pn ; E). _{T}_{h}_{e}_{s}_{e} _{c}_{o}_{o}_{r}_{d}_{i}_{n}_{a}_{t}_{e}_{s} _{a}_{r}_{e} _{h}_{o}_{m}_{o}_{g}_{e}_{}
... respect to the projective frame (Po ,
neous, since Ap leads to coefficients (ax o ,
...
, Ax n _{)}_{.} _{T}_{h}_{u}_{s}_{,} _{w}_{e} _{s}_{a}_{y} _{t}_{h}_{a}_{t} _{a} _{p}_{o}_{i}_{n}_{t}
has, with respect to the given projective frame, the coordinates (x _{0} _{:} _{:} _{x}_{n} _{)} _{o}_{r}
_{(}_{x}_{0} ,
...
,x
n )R.
The coordinates of the fundamental points and the unit point are
(1:0: ...
:0),
...
, (0:
...
:0:1);
(1:1:
...
:1).
The following is obvious:
Theorem 1.1.7. Assume that (Po ,
, Pn ; E) is a projective frame, and that _{O} _{i}_{s} _{a}
: xn ) with respect to this
...
, P, ç; Eqs).
... projective automorphism. If P has coordinates (x0 :
. . . frame, then PO has the same coordinates with respect to (Poi,
A projective frame induces coordinates for hyperplanes in a natural way: The coor dinates of a hyperplane are the coefficients of its linear equation. If A is the matrix of the projective automorphism which transforms one projec tive frame to another (bi = A • bi), then point coordinates transform with A 1 :
_{(}_{x}_{ô}_{,}
_{,} _{x}_{'}_{)} _{=} _{A}_{'} _{•} _{(}_{x} o , . , x n ). Hyperplane coordinates transform with _{A}_{T} _{:}
_{.}_{.}_{.} (u' ten) T
_{E}_{x}_{a}_{m}_{p}_{l}_{e} _{1}_{.}_{1}_{.}_{9}_{.} We prove Pappos' theorem (see Fig. 1.2 and Ex. 1.1.2): Let _{S} _{=} _{[}_{A}_{1}_{A}_{2}_{A}_{3}_{]} _{n} _{[}_{B}_{i} B2B3] and consider the projective frame _{(}_{S}_{,} _{A}_{l} _{,} _{B}_{1} _{;} _{(}_{A}_{1} _{V} _{B}_{2} _{)} _{n} _{(}_{A}_{2} _{V} _{B}_{1} )). Then the points Al , A2, A3, B1 , B2 , B3, have the homogeneous co
ordinates (0 : 1 : 0), (1 : 1 : 0), (a : 1 : 0), (0 : 0 : 1), (1 : 0 : 1), (b : _{0} _{:} _{1}_{)}
(in that order) with real numbers a, _{b}_{,} and (A l _{V} _{B}_{2} ) _{n} _{(}_{A} 2 V B,)
_{=} _{(}_{1} _{:} _{1} _{:} _{1}_{)}_{,}
(A2VB3)n(A3VB2) = (ab1 : b1 : a1), (A 3 _{V}_{B}_{1} )n(A,VB 3 _{)} _{_} _{(}_{a}_{b} _{:} _{b} _{:} _{a}_{)}_{.}
These three points are immediately seen to be collinear.
Homogeneous Cartesian Coordinates
A Cartesian coordinate system with its origin (0,
...
, 0), unit point _{(}_{1}_{,}
_{.}_{.}_{.}
_{,} _{1}_{)} _{a}_{n}_{d}
axes defines a projective coordinate system _{(}_{P}_{o} , P, _{,}
_{.}_{.}_{.}
, Pn _{;} _{E}_{)} in the following
way: Po is the origin, P, , 
, Pn are the ideal points of the coordinate axes, and 
_{E} is the unit point. If (x 1i 
, xn ) are the Cartesian coordinates of a point P, its 
homogeneous coordinates with respect to the projective frame _{(}_{P}_{o} _{,}
(1 : x _{1} :
...
, Pn _{;} _{E}_{)} _{a}_{r}_{e}
... : xn ). Such a projective frame is called homogeneous Cartesian
coordinate system.
1.1 Real Projective Geometry
_{1}_{5}
Projective Mappings in En
We consider Pn as the projective extension of _{E}_{n}_{,} where ideal points are charac terized by the condition xo = O. A projective automorphism _{0} _{n}_{e}_{e}_{d} _{n}_{o}_{t} _{m}_{a}_{p} _{i}_{d}_{e}_{a}_{l} points to ideal points, so its restriction to En perhaps does not map all points. The inverse image of the ideal hyperplane is called the vanishing hyperplane.
_{F}_{i}_{g}_{.} _{1}_{.}_{5}_{.} Projective mapping in P 2 .
_{E}_{x}_{a}_{m}_{p}_{l}_{e} _{1}_{.}_{1}_{.}_{1}_{0}_{.} Fig. 1.5 illustrates some properties of a projective mapping in _{t}_{h}_{e} _{p}_{l}_{a}_{n}_{e} _{P} _{2} . The homogeneous Cartesian coordinate system _{(}_{B}_{0}_{,} B1, B2; E) is mapped onto a projective coordinate system (Bô, Bi , B; E'). The image of the _{i}_{d}_{e}_{a}_{l} _{l}_{i}_{n}_{e} _{w} _{i}_{s} _{t}_{h}_{e} _{l}_{i}_{n}_{e} _{w}_{ç} _{=} _{B}_{'}_{B}_{.} The metric scales on the coordinate axes BoB 1
_{a}_{n}_{d} _{B}_{o}_{B}_{2} _{a}_{r}_{e} _{m}_{a}_{p}_{p}_{e}_{d} _{o}_{n}_{t}_{o} projective scales _{o}_{n} B JBi _{a}_{n}_{d} 13âB2.
_{C}_{o}_{n}_{s}_{i}_{d}_{e}_{r} _{t}_{h}_{e} _{p}_{a}_{r}_{a}_{b}_{o}_{l}_{a} _{w}_{i}_{t}_{h} c : y = x 2 . In homogeneous coordinates (see (1.1)) c's equation is
c : x ^{2} —x0x2
= _{0}_{.}
(1.16)
_{T}_{h}_{e} _{i}_{m}_{a}_{g}_{e} _{c}_{u}_{r}_{v}_{e} _{c}_{ç} possesses the same equation with respect to the frame _{(}_{B}_{ô}_{,} _{B}_{i}_{,} B2; E'). It is a conic whose tangent at BZ is the line wçb. This shows that the curve _{c} touches the ideal line in the ideal point B2 (for the definition of tangency, see Sec.
1.1.5).
Fixed Points and Perspective Collineations
A projective map _{0} may have fixed points X = Xq. The homogeneous coordinate vector x of a fixed point is characterized by
A•x=Ax,
where A is çb's coordinate matrix. This shows that x is an eigenvector of the matrix
A.
Proposition 1.1.8. A projective automorphism k which fixes a fundamental set is the identity. There is exactly one projective isomorphism which transforms a given fundamental set into another one.
16 1. Fundamentals
Proof. A regular linear mapping with n + 2 eigenvectors of which any n + 1 are linearly independent, must be a scalar multiple of the identity. This shows that _{,}_{c} _{i}_{s} the identity mapping. The existence of a projective isomorphism which maps a given fundamental set onto another one has already been shown by Prop. 1.1.6. It is unique, because for any two such isomorphisms, say rc1, n2, the mapping ic _{l} _{r}_{c}_{2} _{1} _{f}_{i}_{x}_{e}_{s} _{a} _{f}_{u}_{n}_{d}_{a}_{m}_{e}_{n}_{t}_{a}_{l} _{s}_{e}_{t} and is therefore the identity mapping. This shows rc _{1} _{=} _{n}_{c}_{2} _{.}
_{❑}
A nontrivial projective map can therefore have at most n + 1 projectively indepen dent fixed points. An impo rtant special case is where all points of a hyperplane _{A}
are fixed. Then, we speak of a perspective collineation _{w}_{i}_{t}_{h} _{a}_{x}_{i}_{s} _{h}_{y}_{p}_{e}_{r}_{p}_{l}_{a}_{n}_{e} _{A}_{.}
Theorem 1.1.9. A perspective collineation possesses a point C, called its center, with the property that X, X ç, C are collinear for all points X E Pn.
Proof. To show this, we assume that _{0} is not the identity mapping (the theorem is true in this case) and choose a projective coordinate system such that the axis hyperplane _{A} is given by the equation xo = O. If all vectors of the hyperplane xo = 0 are eigenvectors of a linear mapping, then this linear mapping must have the following coordinate representation:
r
_{x}_{o}
aooxo,
x1 a10xo _{+} ax _{1}
x X711 n
=
anoxo _{+} ax n .
_{(}_{1}_{.}_{1}_{7}_{)}
We introduce the vector C :_ (aoo — a, aim, • • • , ano) and see that (1.17) can be written in the form
X' = x0C+ax,
which shows collinearity of the points X = x118, X(/) = x'1E8 and _{C} = CR.
_{❑}
_{O}_{b}_{v}_{i}_{o}_{u}_{s}_{l}_{y} _{t}_{h}_{e} _{c}_{e}_{n}_{t}_{e}_{r} _{C} of a perspective collineation is a fixed point. If a 00 _{=} _{a}_{,} _{t}_{h}_{e} _{C} is incident with the axis A and we speak of an elation 0. Otherwise, the center is not contained in the axis and _{0} is called a homology.
Perspective Collineations of Euclidean Space
_{E}_{x}_{a}_{m}_{p}_{l}_{e} _{1}_{.}_{1}_{.}_{1}_{1}_{.} Equ. (1.17) contains special cases of perspective collineations in the projective extension of Euclidean space. Assume that the axis A is the ideal hy perplane w. Then the coordinate system used in (1.17) is a homogeneous Cartesian coordinate system. We see that an elation whose axis hyperplane is w is a transla _{t}_{i}_{o}_{n}_{,} and that a homology with this property is a central similarity. This is illustrated in Fig. 1.6.
1.1 Real Projective Geometry
_{1}_{7}
A=w
C
_{F}_{i}_{g}_{.} _{1}_{.}_{6}_{.} Translation and central similarity as special perspective collineations.
_{E}_{x}_{a}_{m}_{p}_{l}_{e} _{1}_{.}_{1}_{.}_{1}_{2}_{.} A perspective collineation is uniquely defined by its center _{C}_{,} its axis A, and an admissible pair of points X, X0. Admissible means that both _{X} _{a}_{n}_{d} _{X}_{0} are not in A, are different from _{C}_{,} and that _{X}_{,} _{X}_{,} _{C} are collinear. A geometric construction of the images of further points Y, Z is shown by Fig. 1.7. _{B}_{o}_{t}_{h} _{i}_{m}_{a}_{g}_{e} _{(}_{.}_{4} _{a}_{n}_{d} _{p}_{r}_{e}_{i}_{m}_{a}_{g}_{e} _{w}_{q} 1 of the ideal line w are constructed as well. Note that the axis' ideal point is fixed and thus wç and w0 1 must be parallel to A.
X0
_{F}_{i}_{g}_{.} _{1}_{.}_{7}_{.} Perspective collineation in P 2 .
Projective Mappings of Subspaces
Definition. The restriction of a projective automorphism ¢ to a kdimensional pro jective subspace Qk is called a projective mapping of Q k onto Qk 0.
_{C}_{l}_{e}_{a}_{r}_{l}_{y} _{Q}_{k}_{0} is of the same dimension. We introduce a projective coordinate system
_{b}_{o}_{R}_{,}
...
, bnlR, eR in Pn such that e = b o _{+} _{•} _{•} _{•} _{+} _{b}_{n}_{,} and Qk = b oR V
...
V baR,
_{1}_{8}
1. Fundamentals
and let dR = (b 0 + • • + bk )R. Then b oR,
...
, bkR, dR is a projective coordinate
system in Qk . Its 0image is a projective coordinate system of _{Q}_{k}_{ç}_{b} _{a}_{n}_{d} _{0} _{m}_{a}_{p}_{s} _{p}_{o}_{i}_{n}_{t}_{s} _{o}_{f} _{Q}_{k} _{t}_{o} _{p}_{o}_{i}_{n}_{t}_{s} _{o}_{f} Qk _{ç} via equal coordinates with respect to these systems.
Lemma 1.1.10. For any two fundamental sets b oR,
, bkl[8, éll8, and b' R,
, bklI, d'R of projective subspaces Q k, Qk' of Pn there is exactly one projective mapping of Qk onto Q k' which transforms the points of the first set onto the respec tive points of the second.
...
...
_{P}_{r}_{o}_{o}_{f} Without loss of generality we can assume that d = b0 _{+} _{•} _{•} _{•} _{+} _{b}_{k}_{.} _{C}_{h}_{o}_{o}_{s}_{e}
bk+l, , b,, such that b0, , b., is a basis of R"+ 1 . Do the same for the vec 

_{t}_{o}_{r}_{s} _{é}_{'}_{,} _{b}_{ô}_{,} , bk. Then the projective automorphism which maps b0II8, 
, b,.,R, 
_{E}_{x}_{a}_{m}_{p}_{l}_{e} _{1}_{.}_{1}_{.}_{1}_{3}_{.} Consider two planes Q2 , Q2' of projective threespace. In order to set up a collineation of Q2 onto Q2' we need the images of a fundamental set. In this case it consists of four points with not three of them being collinear. Such a set _{i}_{s} _{c}_{a}_{l}_{l}_{e}_{d} _{a} quadrilateral. _{W}_{e} assume that the projective automorphism _{0} which induces the projective _{m}_{a}_{p}_{p}_{i}_{n}_{g} _{Q}_{2} _{}_{*} _{Q}_{2}_{'} is a perspective collineation with center _{C}_{.} Then C, P, Pçb are _{c}_{o}_{l}_{l}_{i}_{n}_{e}_{a}_{r} _{f}_{o}_{r} _{a}_{l}_{l} P _{E} _{Q}_{2}_{,} and the points of Q2 n Q2' are fixed points of 0. _{C}_{o}_{n}_{v}_{e}_{r}_{s}_{e}_{l}_{y}_{,} _{a} _{p}_{r}_{o}_{j}_{e}_{c}_{t}_{i}_{v}_{e} _{m}_{a}_{p}_{p}_{i}_{n}_{g} Q2 > Q2' which has these two properties (it _{i}_{s} _{t}_{h}_{e}_{n} _{c}_{a}_{l}_{l}_{e}_{d} _{a} _{p}_{e}_{r}_{s}_{p}_{e}_{c}_{t}_{i}_{v}_{i}_{t}_{y}_{)} can always be extended to a perspective collineation of P 3 .
_{E}_{x}_{a}_{m}_{p}_{l}_{e} _{1}_{.}_{1}_{.}_{1}_{4}_{.} The situation of Ex. 1.1.13 has the following interpretation: A planar figure and its image under a central projection are connected by a projective mapping. This geometric situation occurs when we take a photograph. This is literally _{t}_{r}_{u}_{e} _{o}_{n}_{l}_{y} _{i}_{n} _{t}_{h}_{e} _{c}_{a}_{s}_{e} _{o}_{f} _{t}_{h}_{e} _{a}_{n}_{c}_{i}_{e}_{n}_{t} camera obscura, which does not have a lens but only a very small hole for the light rays to pass through. Modern cameras give good approximations, especially those used in surveying and photogrammetry. Developing and printing the film is a Euclidean similarity, which is a projective _{m}_{a}_{p}_{p}_{i}_{n}_{g} _{a}_{l}_{s}_{o}_{.} _{T}_{h}_{u}_{s} _{a} planar figure and a photograph are connected via a projective mapping of subspaces, and Lemma 1.1.10 shows that in order to reconstruct a planar figure we must know the position of four points in general position (`fitting points'). This fact is of course important in photogrammetry and computer vision (cf. Fig.
1.8).
Characterization of Projective Automorphisms
It is interesting to ask which properties of a bijection of projective space imply that this bijection is a projective automorphism, i.e., is described by a linear mapping of homogeneous coordinates. There is the following theorem:
1.1 Real Projective Geometry
_{1}_{9}
I ;;
^/
f
►w
I.
...
_s.^ .._...._...
r
..
^^

w^ .,,
_.
......
^^.
..
a
`4`
4tt
—
.....
^.a^
_{F}_{i}_{g}_{.} _{1}_{.}_{8}_{.} Rectifying the photograph of a planar figure (courtesy of Institute of Pho togrannnetry and Remote Sensing, Vienna University of Technology).
_{T}_{h}_{e}_{o}_{r}_{e}_{m} _{1}_{.}_{1}_{.}_{1}_{1}_{.} Assume that k is a bijective mapping of Pn onto itself. If , pre serves collinearity of points, and there is a line L such that the restriction iIL is a _{p}_{r}_{o}_{j}_{e}_{c}_{t}_{i}_{v}_{e} _{t}_{r}_{a}_{n}_{s}_{f}_{o}_{r}_{m}_{a}_{t}_{i}_{o}_{n}_{,} _{t}_{h}_{e}_{n} tr is a projective automorphism of Pn.
_{P}_{r}_{o}_{o}_{f}_{.} We fix a fundamental set (P0,
_{c}_{o}_{n}_{s}_{i}_{d}_{e}_{r} _{i}_{t}_{s} _{i}_{m}_{a}_{g}_{e} _{(}_{t} _{(}_{P}_{o} ),
. . .
, Pn+1 ) of Pn such that L = Po _{V} P1, and
... , i(P _{n}_{+}_{1} _{)}_{)}_{,} which is again a fundamental set. There
is a projective automorphism A with À(PP) = ic(Pi ). The mapping KcA1 preserves
collinearity and fixes the fundamental set (Po ,
.. .
, P2, _{+}_{1} ). If we can show that it is
the identity mapping, then tr _{=} A and we are done. This is done by induction: If n = 1, then necessarily Pn = L and Prop. 1.1.8 _{s}_{h}_{o}_{w}_{s} _{t}_{h}_{a}_{t} _{K}_{A} _{}_{1} is the identity. Now assume that the theorem has been proved for all projective spaces of dimension less than n.
_{I}_{f} _{U} _{=} _{P}_{0} _{V}
_{.}_{.}_{.}
_{V} _{P}_{n}_{_} 1, then dim(U) = n — 1. kA 1 fixes {Po ,
...
, Pn _ 11
and therefore leaves U invariant. Further P, = (Pn V Pn+1 ) n U is a fixed point
_{o}_{f} _{n}_{A} _{}_{1} _{,} _{a}_{n}_{d} _{(}_{P}_{o} ,
...
, Pn_ 1 i Pn) is a fundamental set of _{U}_{.} Thus Ka _{}_{1} 1 U is the
identity, by our assumption. _{N}_{o}_{w} _{c}_{o}_{n}_{s}_{i}_{d}_{e}_{r} _{a} _{p}_{o}_{i}_{n}_{t} X _{0} (Pn _{V} Pn+1). The lines X V Pn and X V Pn+1 both _{i}_{n}_{t}_{e}_{r}_{s}_{e}_{c}_{t} _{U}_{,} and are therefore invariant under nA _{}_{1} _{,} _{w}_{h}_{i}_{c}_{h} _{s}_{h}_{o}_{w}_{s} _{t}_{h}_{a}_{t} _{k}_{(}_{X}_{)} _{=} _{X}_{.}
The only remaining points (those of Pn V Pn +1) are now easily shown to be fixed also, because all lines incident with these points contain at least two fixed points.
_{❑}
Remark 1.1.9. In real projective space Pn with n > 2 the last assumption in Th. 1.1.11 is actually not required. We give a sketch of the proof: As the proof of Th. 1.1.11 shows, it is enough to show that a bijective mapping ir of P 2 onto itself, which preserves collinearity of points, and which fixes a fundamental set _{O}_{,} _{P}_{1}_{,} _{P}_{2}_{,} _{E}_{,} fixes all points of _{0} _{V}
20 1. Fundamentals
P1. We use (O, Pi, P2; E) as a projective coordinate system. With respect to the corresponding affine coordinate system, we have the coordinates _{O} _{=} _{(}_{0}_{,} _{0}_{)}_{,} _{E} _{=} (1,1). 0 V P1 and O V P2 are x 1 and x2axis. We define the mapping _{0} by tc(x, 0) = (0(x), _{0}_{)}_{.} _{O}_{b}_{v}_{i}_{o}_{u}_{s}_{l}_{y} _{0}_{(}_{0}_{)} _{=} _{0} _{a}_{n}_{d} ql(1) = 1. k(Pl ) = P1 shows that _{0} maps R to R. It is an elementary exer cise to construct, from the points (x _{i} _{,} _{0}_{)} _{a}_{n}_{d} _{(}_{x} _{2} _{,}_{0}_{)}_{,} _{t}_{h}_{e} _{p}_{o}_{i}_{n}_{t}_{s} _{(}_{x} _{1} _{+} _{x} _{2}_{,} _{0}_{)} _{a}_{n}_{d} (x i x2, 0), using only the operations V and _{n} _{a}_{p}_{p}_{l}_{i}_{e}_{d} _{t}_{o} _{t}_{h}_{e}_{s}_{e} _{t}_{w}_{o} _{p}_{o}_{i}_{n}_{t}_{s} _{a}_{n}_{d} _{t}_{h}_{e} points _{O}_{,} _{E}_{,} Pl , P2. This construction is transformed by rc such that the base points are fixed, which shows that ç(x 1 _{+} _{x} 2) _ _{ç}_{(}_{x}_{1}_{)} _{+} 0(x2) and ç(x i x2) = _{0}_{(}_{x} _{1} _{)}_{0}_{(}_{x}_{2} _{)}_{.} _{I}_{t} _{i}_{s} _{w}_{e}_{l}_{l} known that such a mapping is the identity mapping, which is a special property of the real number field.
1.1.4 Projectivities, Cross Ratio and Harmonic Position
Projectivities
The restriction of a projective mapping in Pn to a line _{L} is called a projectivity _{o}_{f} L onto L' = LO. This is a special case of a projective mapping of subspaces. By Lemma 1.1.10 it is uniquely defined by the images of three distinct points of L. If we write these points as b oR, b 11I8, eR = (b 0 _{+} _{b} 1)R, and their images as _{b}_{'}_{o}_{R}_{,} b1If8, e'R = (bo + bi)R, then _{q}_{i} acts via equal coordinates with respect to these two projective frames:
: xR = (x obo _{+} _{x} i bi )R H x'JR = (xobô + x _{l} bi)][8.
_{(}_{x} _{o} _{,} _{x}_{1}_{)} are projective coordinates on L. The ratio x _{1} : x _{o} sets up a _{p}_{r}_{o}_{j}_{e}_{c}_{t}_{i}_{v}_{e} _{s}_{c}_{a}_{l}_{e} on L. Points Bo = boR, B1 = b1118, E = eR have, in this order, the scale values oo(= 1 : 0), 0 and 1, and are called end point, origin and _{u}_{n}_{i}_{t} _{p}_{o}_{i}_{n}_{t} of the projective scale. This shows that a projectivity of a range of points onto another may also be seen as a transformation via equal values in projective scales on two lines _{L}_{,} _{L}_{'}_{.}
The Cross Ratio of Four Points
It is possible to assign a numerical projective invariant to _{f}_{o}_{u}_{r} collinear points
_{A}_{,}
_{.}_{.}_{.}
_{,} _{D}_{:} Consider the projective scale with A as end point, _{B} _{a}_{s} _{o}_{r}_{i}_{g}_{i}_{n} _{a}_{n}_{d} _{C}
as unit point; the scale value of D then is called the cross ratio cr(A, B, C, D) of the four points. If
A = aR, B = bR, C = (a + b)R, D = (xia + xob)R,
then cr(A, B, C, D) = xl
X0
.
(1.18)
Clearly, projective maps preserve the cross ratio of collinear points.
1.1 Real Projective Geometry
_{2}_{1}
Proposition 1.1.12. If the four points A, B, C, _{D} _{o}_{f} _{t}_{h}_{e} _{l}_{i}_{n}_{e} _{L} _{h}_{a}_{v}_{e} _{c}_{o}_{o}_{r}_{d}_{i}_{n}_{a}_{t}_{e}_{s}
(ao : a l ),
...
is given by
, (do : d1) in some projective coordinate system of L, their cross ratio
ao
co
bo
do
cr(A, B, C, D) =
a l
bo
b1
c1
co
c1
bl
_{a}_{p}
al
dl
_{d}_{o}
d1
(1.19)
Proof. A change of coordinate system in L is expressed by multiplication of ho mogeneous coordinate vectors with some regular 2 x 2 matrix _{M}_{.} _{B}_{e}_{c}_{a}_{u}_{s}_{e} _{o}_{f} _{d}_{e}_{t}_{(}_{M} _{•} N) = det(M) • det _{(}_{N}_{)} for all matrices M, N, _{t}_{h}_{e} _{n}_{u}_{m}_{e}_{r}_{i}_{c}_{a}_{l} _{v}_{a}_{l}_{u}_{e} _{d}_{e}_{f}_{i}_{n}_{e}_{d} by Equ. (1.19) is not affected by coordinate changes. If we choose the projective co ordinate system A, B, C, we immediately see that both Equ. (1.18) and Equ. (1.19) give the same result. ❑
From this it is easy to see how certain permutations of the arguments change the value of the cross ratio:
_{C}_{o}_{r}_{o}_{l}_{l}_{a}_{r}_{y} _{1}_{.}_{1}_{.}_{1}_{3}_{.} If A, _{B}_{,} _{C}_{,} D are collinear points, then
cr(A, B, C, D) = cr(B, A, D, C) = cr(C, D, A, B) = cr(D, C, B, A) =
1/ cr(A, B, D, C) = _{1}_{—} _{c}_{r}_{(}_{A}_{,} _{C}_{,} _{B}_{,} _{D}_{)}_{.}
_{(}_{1}_{.}_{2}_{0}_{)}
If the projective frame (boR, b 1R; eR) on L is such that b 1][8 is an ideal point, then _{t}_{h}_{e} _{p}_{r}_{o}_{j}_{e}_{c}_{t}_{i}_{v}_{e} _{s}_{c}_{a}_{l}_{e} _{b}_{e}_{c}_{o}_{m}_{e}_{s} _{a} metric scale with bo as origin and eR as unit point. The value a in this metric scale corresponds to coordinates ao = 1, al = a in the projective coordinate system given by (b oR, b 1R; eR). The cross ratio becomes
cr(A, B, C, D) =
1
a
1
b
1
c
1
c
1
b
1
a
1
d
1
d
c — a d— b
_{c}_{—} _{b} _{d}_{—} _{a}
ratio(A, _{B}_{,} _{C}_{)}
ratio(A, B, D) '
(1.21)
where the symbol `ratio(A, B, C)' means the quotient (c—a)/(c—b). This quotient _{o}_{f} _{r}_{a}_{t}_{i}_{o}_{s} _{e}_{x}_{p}_{l}_{a}_{i}_{n}_{s} _{t}_{h}_{e} _{n}_{a}_{m}_{e} cross ratio. There is another relation between the _{a}_{f}_{f}_{i}_{n}_{e}
ratio and the projective cross ratio: Consider (A,
, D,,) with Dw at infinity. Now,
... _{c}_{r}_{(}_{A}_{,} _{B}_{,} _{C}_{,} _{D}_{,}_{,}_{)} _{=} cr(D„„ _{C}_{,} _{B}_{,} _{A}_{)} is the value of A in a projective scale with _{D}_{„}_{,}
_{a}_{s} _{e}_{n}_{d} _{p}_{o}_{i}_{n}_{t}_{,} _{C} as origin and B as unit point. This is a metric scale and clearly the scale value of A equals ratio(A, B, C). Thus, for D„ at infinity,
cr(A, _{B}_{,} _{C}_{,} DW ) = ratio(A, _{B}_{,} _{C}_{)}_{.}
Perspectivities
_{(}_{1}_{.}_{2}_{2}_{)}
Let us return to the concept of projectivities. We consider two lines L, L' in the projective plane, and define a special projectivity of _{L} onto L' by
22
1. Fundamentals
_{F}_{i}_{g}_{.} _{1}_{.}_{9}_{.} Perspectivities of ranges of points and of line pencils.
X _{E}_{L}_{H} (C V X) n L',
where the point C is not in L, L'. This mapping is called a perspectivity and it equals the restriction of an appropriate perspective collineation to L. (cf. Ex. 1.1.13 _{a}_{n}_{d} _{F}_{i}_{g}_{.} _{1}_{.}_{9}_{,} _{l}_{e}_{f}_{t}_{)}_{.} _{T}_{h}_{e} _{p}_{o}_{i}_{n}_{t} _{C} is called the center of the perspectivity. We say that _{t}_{h}_{e} _{r}_{a}_{n}_{g}_{e}_{s} _{o}_{f} _{p}_{o}_{i}_{n}_{t}_{s} L, L' are `perspective', which means that we have defined a perspectivity L * L'. There is also a dual version of this: Consider two pencils of lines with vertices _{P}_{,} _{P}_{'}_{.} A perspectivity of the first pencil onto the second is defined by
L _{(}_{L}_{f}_{1} a)V P',
_{w}_{h}_{e}_{r}_{e} _{L} is contained in the first pencil, i.e., contains P, and a is the axis of the perspectivity (see Fig. 1.9, center). In line coordinates, a perspectivity of line pencils is expressed by a linear map ping, because a perspectivity of ranges of points is. The third type of mapping called a perspectivity is the following: A point X contained in a line a is mapped to the line X7r = X V C. An appropriate projective coordinate system reveals that this mapping in homogeneous coordinates is again given by a linear mapping. Its inverse is called a perspectivity as well (see Fig. 1.9, right). The following theorem is useful:
_{T}_{h}_{e}_{o}_{r}_{e}_{m} _{1}_{.}_{1}_{.}_{1}_{4}_{.} All projectivities can be decomposed into a finite product of per spectivities.
_{P}_{r}_{o}_{o}_{f}_{.} We have to show the theorem only for projectivities of ranges of points. We already know that such a mapping is uniquely determined by the images of three distinct points. So if we can find a product of perspectivities which maps three points in exactly the same way as the given projectivity, we are done. Such a construction can be seen in Fig. 1.10
❑
This allows the following
_{D}_{e}_{f}_{i}_{n}_{i}_{t}_{i}_{o}_{n}_{.} Any composition of perspectivities is called a projectivity.
1.1 Real Projective Geometry 23
Because of Th. 1.1.14, this is consistent with the previous use of `projectivity'. It actually extends the previous definition, which was restricted to the case that domain and range was of the same type.
Example 1.1.15. A projectivity of the line L onto the line L', which fixes the inter _{s}_{e}_{c}_{t}_{i}_{o}_{n} _{p}_{o}_{i}_{n}_{t} _{L} _{n} L', is always a perspectivity (see Fig. 1.10). The proof of this fact is left to the reader as an exercise.
= Xzr Yir
Zir
_{F}_{i}_{g}_{.} _{1}_{.}_{1}_{0}_{.} Decomposing a projectivity into two perspectivities.
Projective Automorphisms of a Line
_{L}_{e}_{t} _{u}_{s} _{n}_{o}_{w} _{f}_{o}_{c}_{u}_{s} _{o}_{n} _{t}_{h}_{e} _{c}_{a}_{s}_{e} L = L'. A projectivity _{i}_{t} of _{L} onto itself, i.e., a projective automorphism of L, is written as
[
x
'
0
x
i
aoo aoi
xo
aio _{a} ii xi
(1.23)
_{w}_{h}_{e}_{r}_{e} _{x}_{o}_{,} _{x} _{i} are homogeneous coordinates with respect to a projective frame of _{L}_{.}
_{L}_{e}_{m}_{m}_{a} _{1}_{.}_{1}_{.}_{1}_{5}_{.} A projective automorphism of a line L has _{0}_{,} 1, or _{2} fixed points, if it is not the identity mapping.
_{P}_{r}_{o}_{o}_{f}_{.} _{A} _{p}_{o}_{i}_{n}_{t} _{x}_{R} _{i}_{s} _{a} _{f}_{i}_{x}_{e}_{d} _{p}_{o}_{i}_{n}_{t} _{o}_{f} _{0} if and only if x is an eigenvector of the matrix _{A} _{o}_{f} _{E}_{q}_{u}_{.} _{(}_{1}_{.}_{2}_{3}_{)}_{.} _{I}_{f} _{0} is not the identity mapping (i.e., A is not a scalar multiple of the unit matrix), then there are 0, 1 or 2 onedimensional eigenspaces.
❑
_{D}_{e}_{f}_{i}_{n}_{i}_{t}_{i}_{o}_{n}_{.} A projective automorphism of a line is called elliptic, parabolic, or _{h}_{y}_{p}_{e}_{r}_{b}_{o}_{l}_{i}_{c}_{,} _{i}_{f} _{i}_{t} _{h}_{a}_{s} _{0}_{,} _{1} or 2 fixed points, respectively.
In the complex projective plane there are no elliptic projectivities, because there is always an eigenvector of A. If the matrix A is real and has no real eigenvectors, then there are two conjugate complex ones. We may say that there are two conjugate complex fixed points of A. This will be discussed in Sec. 1.1.6.
24
1. Fundamentals
Involutions and Harmonic Points
An involutory projective automorphism of a range of points, or of a pencil of lines, _{i}_{s} _{c}_{a}_{l}_{l}_{e}_{d} _{a}_{n} involution. This means that it is its own inverse, but it does not equal the identity mapping.
_{L}_{e}_{m}_{m}_{a} _{1}_{.}_{1}_{.}_{1}_{6}_{.} A nonidentical projective automorphism is an involution if and only if its coordinate matrix satisfies
trace(A) = a00 { all = 0.
(1.24)
_{P}_{r}_{o}_{o}_{f}_{.} The matrix A is no multiple of the unit matrix I, but its square is. This condition is easily seen to be equivalent to Equ. (1.24).
_{❑}
Clearly an involution it is uniquely determined by the images Air, Bir of two points
_{A}_{,} _{B} _{(}_{i}_{f} _{A}_{i}_{r} _{B}_{)}_{,} because automatically Air
A serves as a third pair of points.
On the other hand, with Bir
B we already have the images of four points, and the
involution may seem overdetermined. A closer look at (1.24) reveals that actually _{f}_{o}_{r} _{a}_{l}_{l} _{a}_{d}_{m}_{i}_{s}_{s}_{i}_{b}_{l}_{e} A, B, Air, Bir there is a unique involution ir. Furthermore, (1.24) implies that there is no parabolic involution, so we either have two real fixed points E = Eir, F = Fir or a pair of conjugate imaginary fixed
points.
_{E}_{x}_{a}_{m}_{p}_{l}_{e} _{1}_{.}_{1}_{.}_{1}_{6}_{.} Consider a line L in the projective extension of the Euclidean plane, and a hyperbolic involution it of L. Assume that the ideal point Fw of L _{i}_{s} _{f}_{i}_{x}_{e}_{d}_{:} _{F}_{w} _{7}_{r} _{=} _{F}_{w} _{.} _{T}_{h}_{e} _{o}_{t}_{h}_{e}_{r} _{f}_{i}_{x}_{e}_{d} _{p}_{o}_{i}_{n}_{t} E then is a proper Euclidean point. _{T}_{h}_{e} _{E}_{u}_{c}_{l}_{i}_{d}_{e}_{a}_{n} _{r}_{e}_{f}_{l}_{e}_{c}_{t}_{i}_{o}_{n} _{i}_{n} _{E} obviously is an involutory projectivity, and therefore coincides with 7r. Further it is easily verified that for all X we have
_{—}_{1} _{=} _{r}_{a}_{t}_{i}_{o}_{(}_{X}_{,} _{X}_{7}_{r}_{,} E) = cr(X, Xir, E, Fw ),
where the latter equality is given by (1.22).
_{T}_{h}_{e}_{o}_{r}_{e}_{m} _{1}_{.}_{1}_{.}_{1}_{7}_{.} If _{i}_{t} is an involution with fixed points E, F, then for all points X E EVFwehave
cr(X, XTr, E, F) = —1.
(1.25)
_{P}_{r}_{o}_{o}_{f}_{.} We transform the entire situation by a suitable collineation n (or simply a perspectivity like the one in Fig. 1.11) such that F is transformed into an ideal _{p}_{o}_{i}_{n}_{t} _{F}_{n} _{=} _{F}_{a}_{,}_{.} Cross ratios are not affected by _{n}_{,} and by Ex. 1.1.16, we have
cr(X, Xir, E, F) = cr(Xn, X7rn,
Esc, Fn) _ —1. _{❑}
We say that a pair _{X}_{,} X7r with property (1.25) is in harmonic position with respect _{t}_{o} _{t}_{h}_{e} _{p}_{o}_{i}_{n}_{t}_{s} E, F. This is a generalization of Euclidean symmetry to projective geometry. When we use the complex extension, (1.25) is valid also for an elliptic involution.
1.1 Real Projective Geometry
25
X7rk
L„,
Fig. 1.11. Mapping involutions to Euclidean special cases.
_{D}_{e}_{f}_{i}_{n}_{i}_{t}_{i}_{o}_{n}_{.} Four collinear points A, their cross ratio equals —1:
...
, D are in harmonic position if and only if
H(A, B; C, D) <
> cr(A, B, C, D) = —1.
(1.26)
_{W}_{e} use the notation H(A, B; C, D) to indicate harmonic position.
If _{A}_{,} _{B}_{,} _{C}_{,} _{D} are in harmonic position, then also the following cross ratios have the value —1:
_{c}_{r}_{(}_{A}_{,} B, C, D) = cr(B, A, C, D) = cr(A, B, D, C) = _{c}_{r}_{(}_{C}_{,} D, A, B) = —1.
The equality of these various cross ratios follows immediately from (1.20), and shows that the property of being harmonic remains invariant if we interchange A _{a}_{n}_{d} _{B} _{o}_{r} _{C} _{a}_{n}_{d} _{D}_{,} or the pairs A, B and _{C}_{,} _{D}_{.} Thus, harmonic position is a sym metric relation between unordered pairs of collinear points. Note that harmonic pairs _{a}_{l}_{w}_{a}_{y}_{s} interlace in the closed projective line. The object dual to a range of points in Pn is a pencil of hyperplanes, which therefore has involutions as well. The following two examples illustrate the case n = 2:
Example 1.1.17. We obtain a Euclidean special case of a hyperbolic involution 7r in a line pencil, if the two fixed lines E, F are orthogonal. Then, 7r is the reflection _{i}_{n} _{E} _{(}_{o}_{r} _{F}_{)}_{,} since this reflection is an involutory projective automorphism, and acts on E, F in the same way as 7r does. E, F are the bisector lines of all pairs L, L7r. This shows that harmonic position of two pairs of concurrent lines, one of which is orthogonal, is characterized by the orthogonal pair being the angular bisector of the other.
_{E}_{x}_{a}_{m}_{p}_{l}_{e} _{1}_{.}_{1}_{.}_{1}_{8}_{.} Consider the elliptic involution c in a pencil of lines which maps a line L to the line Lt orthogonal to it. It is easily verified that this mapping is indeed an involution. It is called the right angle involution. It can be used to handle elliptic involutions it in a range g of points constructively. (see Fig. 1.11):
Take two pairs A, A7r and B, B7r. The Thales circles with diameters A, A7r and _{B}_{,} _{B}_{i}_{r} intersect in two points L„, L;r (the Laguerre points of 7r).
26 1. Fundamentals
Now we `project 7F from L,', which means that we define a new involution which maps a line x incident with L, to (x _{n} g)ir V _{L}_{.} This mapping coincides with the right angle involution in the pencil _{L}_{.}_{7}_{.}_{,} _{b}_{e}_{c}_{a}_{u}_{s}_{e} _{(}_{i}_{)} _{i}_{t} _{i}_{s} _{a}_{n} _{i}_{n}_{v}_{o}_{l}_{u}_{t}_{i}_{o}_{n}_{,} _{a}_{n}_{d} (ii) it maps two different lines like the right angle involution. This can be used to find the image of further points by a simple geometric con struction. In particular, we can construct the image Guir of g's ideal point, which is
called the central point of 71.
Projective Reflections
_{S}_{u}_{p}_{p}_{o}_{s}_{e} n is an involutory perspective collineation in Pn, i.e., n 2 is the identity
mapping, but n is not (as an example you may think of the reflection in a hyper plane). Its restriction to any line containing the collineation's center _{C} is a projec _{t}_{i}_{v}_{i}_{t}_{y} _{X} _{H} _{X}_{n}_{.} The fixed points of this projectivity are the center C and the line's _{i}_{n}_{t}_{e}_{r}_{s}_{e}_{c}_{t}_{i}_{o}_{n} _{D} with the axis hyperplane. _{n} is involutory, so this projectivity must be an involution, with fixed points C, D, which shows that X, Xn, C, D are in har _{m}_{o}_{n}_{i}_{c} _{p}_{o}_{s}_{i}_{t}_{i}_{o}_{n} _{f}_{o}_{r} _{a}_{l}_{l} _{X} collinear with _{C}_{,} D. The mapping _{n} is called a harmonic _{h}_{o}_{m}_{o}_{l}_{o}_{g}_{y} _{o}_{r} _{p}_{r}_{o}_{j}_{e}_{c}_{t}_{i}_{v}_{e} _{r}_{e}_{f}_{l}_{e}_{c}_{t}_{i}_{o}_{n} (its being a homology, and not an elation, is clear _{b}_{e}_{c}_{a}_{u}_{s}_{e} _{C} _{0} _{D} implies that the center is not incident with the axis hyperplane).
_{L}_{e}_{m}_{m}_{a} _{1}_{.}_{1}_{.}_{1}_{8}_{.} If the center C and the axis hyperplane A of a projective reflection
_{n} _{h}_{a}_{v}_{e} _{c}_{o}_{o}_{r}_{d}_{i}_{n}_{a}_{t}_{e}_{s} _{(}_{1}_{,} _{0}_{,}
_{.}_{.}_{.}
_{,} _{0}_{)}_{R} and R(1, _{0}_{,}
_{.}_{.}_{.}
_{,} _{0}_{)}_{,} respectively, then n : xR
x'R has, with respect to this coordinate system, the equation
xo = x0, x
i
l
=
_{—}_{x}_{i}_{,} • • • , x„ = —x
..
(1.27)
_{P}_{r}_{o}_{o}_{f}_{.} _{W}_{e} _{l}_{e}_{t} _{a}_{1}_{0}_{=} _{=} _{a}_{g}_{o} _{=} _{0} _{a}_{n}_{d} _{a} _{=}
—a00 in Equ. (1.17). Because of a _{0} _{0}
and homogeneity we may without loss of generality let aoo = 1. ❑
In the projective extension of Euclidean space there are the following special cases of harmonic homologies: If the axis is the hyperplane at infinity, Equ. (1.27) shows that n is the reflection in its center.
P
A= w
P^
0
A
Fig. 1.12. Projective reflections whose axes or centers are ideal.
1.1 Real Projective Geometry 27
If C is an ideal point, n is, in general, an affine reflection in A, a special case of which is the Euclidean reflection in A. It is remarkable that reflection in a point and reflection in a hyperplane are the same from the projective point of view: both are harmonic homologies, with either the center or the axis at infinity. That is why we call this type of projective automorphism a projective reflection (see Fig. 1.12).
_{R}_{e}_{m}_{a}_{r}_{k} _{1}_{.}_{1}_{.}_{1}_{0}_{.} _{I}_{n} _{P} _{2} _{,} harmonic homologies are the only involutory collineations.
_{I}_{n} _{P} _{3} this is no longer true: Consider the projective extension of E 3 and a reflection in a line A, which is the same as the rotation by an angle 7r about the same line. The _{p}_{r}_{o}_{j}_{e}_{c}_{t}_{i}_{v}_{e} _{e}_{x}_{t}_{e}_{n}_{s}_{i}_{o}_{n} _{i}_{t} of this mapping is an involutory collineation. The set of its fixed points comprises two lines, namely A and the line at infinity A orthogonal to
A.
If we apply any projective automorphism to this situation, the reflection in the line is transformed to an involutory collineation which fixes the points of two skew (i.e., nonintersecting) lines L, L.
Fig. 1.13. Skew involution.
_{F}_{o}_{r} _{a}_{l}_{l} _{p}_{o}_{i}_{n}_{t}_{s} _{X} not in L, L, there is a unique line Lx which intersects both _{L}_{,} _{L}_{.} _{L}_{e}_{t} _{E}_{x} _{=} _{L} _{n} _{L}_{x} , Fx = L _{n} Lx. Then Lx = Ex V Fx, Exn = Ex , _{F}_{X}_{n} _{=} _{F}_{x}_{,} _{s}_{o} _{L}_{x} is left invariant by n. It is clear that the restriction of _{n} to Ex _{V} _{F}_{x} is an involution, whose fixed points are precisely EX, Fx. We therefore have _{H}_{(}_{X}_{,} _{X}_{n}_{;} _{E}_{x} , Fx). This type of involutory collineation is called skew involution (see Fig. 1.13).
Singular Projective Mappings
We have defined projective mappings by Equ. (1.12), where we used a regular ma trix A. It is often useful to consider singular linear mappings, whose domain is a projective space of dimension n and whose image space has a different dimension.
Definition. A mapping À from an ndimensional projective space onto an mdi mensional projective space is called linear, if it is described by the equation (xR)a = (A • x)E, with an (m + 1) x (n + 1)matrix A.
If the matrix A is quadratic and regular, a linear mapping becomes a projective iso _{m}_{o}_{r}_{p}_{h}_{i}_{s}_{m}_{.} Singular projective mapping means a linear mapping which is no projec tive isomorphism. It turns out that such mappings are generalizations of the familar concept of central projection from projective threespace onto a plane. We first de _{f}_{i}_{n}_{e} _{a} central projection from Pn onto a subspace _{U} via a center Z by
_{2}_{8}
1. Fundamentals
P'7r = (z v P) n U.
_{(}_{1}_{.}_{2}_{8}_{)}
We require that Z and U are complementary subspaces. Then Th. 1.1.2 shows that
_{P}_{i}_{r} is actually a welldefined point if P
Z, _{a}_{n}_{d} _{P}_{e}_{r} _{i}_{s} _{t}_{h}_{e} _{o}_{n}_{l}_{y} _{p}_{o}_{i}_{n}_{t} _{o}_{f} _{U} _{s}_{u}_{c}_{h}
that P, Pir, and some point of Z are collinear. Precisely the points _{Q} _{E} _{P} _{V} _{Z} _{h}_{a}_{v}_{e}
the property that Per = Q7r. If P _{E} Z, then Per is undefined or void, depending on interpretation. Formally, if Z is the empty set and _{U} _{=} _{P}_{n}_{,} _{t}_{h}_{e}_{n} _{t}_{h}_{e} _{p}_{r}_{o}_{j}_{e}_{c}_{t}_{i}_{o}_{n} _{i}_{s} the identity mapping. There is the following lemma which establishes a connection between central projections and linear mappings:
Lemma 1.1.19. For all linear mappings A : Pn * Pm there is a central projection it from Pn onto a subspace U and a projective isomorphism a of U onto Pm such _{t}_{h}_{a}_{t} _{A} _{=} _{i}_{r}_{a}_{.} All such mappings are singular linear mappings.
_{P}_{r}_{o}_{o}_{f} We assume that (xR)A = (A • x)118. We let Z _{e}_{q}_{u}_{a}_{l} _{t}_{h}_{e} _{k}_{e}_{r}_{n}_{e}_{l} _{o}_{f} _{t}_{h}_{e} _{l}_{i}_{n}_{e}_{a}_{r}
mapping x A•x and choose a linear subspace _{U} of I18n+ ^{1} which is complementary _{t}_{o} Z. Obviously all vectors x E Rn+ 1 can be written in the form x = x' x" with
_{x}_{'} _{E}
_{Z} and x" E _{U}_{.} If x _{E} Z, then
x" _{0} O. As xR, x'118, and x"118 are collinear
points, the mapping xR x"118 indeed equals the central projection it with center Z and image subspace U.
The linear mapping x" H A • x" from U to Rm+ 1 is regular, since its kernel _{U} _{n} Z is the zero subspace. Furthermore, A • x = A • x", so the corresponding mapping a : x"118 H (A . x")R of projective points is a projective isomorphism, and A=Ira. To show the converse, we have to show that a central projection it with center _{Z} _{a}_{n}_{d} _{i}_{m}_{a}_{g}_{e} _{s}_{u}_{b}_{s}_{p}_{a}_{c}_{e} _{U} is a singular projective mapping (a is even a regular one).
We introduce a projective coordinate system (B0 ,
, Bn ; E) such that B0 ,
...
, B,,, (1,
...
, B,,,,
...
,
... _{s}_{p}_{a}_{n} _{U} and the remaining points span Z. We use (B0 ,
...
,1, 0,
m + 1
0)118 as a projective coordinate system in _{U}_{.} _{O}_{b}_{v}_{i}_{o}_{u}_{s}_{l}_{y} _{t}_{h}_{e} _{l}_{i}_{n}_{e}_{a}_{r} _{m}_{a}_{p}_{p}_{i}_{n}_{g} _{7}_{'} _{:}
_{(}_{x}_{0}_{,}
_{.} ..
, xn _{)}_{R}
(x0,
...
, x.m )I18 equals 7r: If _{X} _{=} _{(}_{x} _{0}_{,}
...
, xn)R, _{t}_{h}_{e} _{l}_{i}_{n}_{e} _{X} _{V}
X7' meets Z in the point (0,
...
, 0, xm+1 i
...
, xn )2
.
_{❑}
It is an immediate consequence of Lemma 1.1.19 that a linear mapping has a _{k}_{e}_{r}_{n}_{e}_{l} (or center or exceptional subspace) Z, whose points have no image, and which is independent of the decomposition of A into a projection it and a projective isomor phism. Precisely the points _{Q}_{E}_{P}_{V}_{Z} _{h}_{a}_{v}_{e} _{t}_{h}_{e} _{p}_{r}_{o}_{p}_{e}_{r}_{t}_{y} _{t}_{h}_{a}_{t} _{P}_{e}_{r} _{=} _{Q}_{7}_{r}_{.}
1.1.5 Polarities and Quadrics
Having studied linear objects in projective space, we are now going to have a closer look at quadratic ones. This is done by first considering some further projective mappings.
1.1 Real Projective Geometry
_{2}_{9}
Correlations
We have already defined projective mappings of one projective space onto another — such mappings are defined by a linear transformation of homogeneous coordi nates. In this section we consider projective mappings of Pn _{o}_{n}_{t}_{o} _{i}_{t}_{s} _{d}_{u}_{a}_{l} _{P}_{n}_{*}_{:}
Definition. A projective mapping rc of Pr' onto its dual Pn* is called a projective correlation. For P _{E} Pn, the points contained in the hyperplane P are called conjugate to P.
Thus a projective correlation maps points to hyperplanes. In homogeneous coordi nates, a projective correlation reads
(xR)k = R(C • x), 
with 
C E ][8(71+1) ^{x} ^{(}^{n}^{+}^{1}^{)} ^{,} det _{C} 
_{0}_{.} _{(}_{1}_{.}_{2}_{9}_{)} 
The point ylR is conjugate to xR if and only if 

yT • C •x=0. 
(1.30) 
The Duality Associated with a Correlation
Consider a projective correlation n and the image _{Q}_{r}_{c} _{o}_{f} _{a} _{p}_{r}_{o}_{j}_{e}_{c}_{t}_{i}_{v}_{e} _{s}_{u}_{b}_{s}_{p}_{a}_{c}_{e} _{Q}_{.} _{Q}_{i}_{c} is a set of hyperplanes. More precisely, it is a projective subspace of Pn*, i.e., a _{l}_{i}_{n}_{e}_{a}_{r} manifold of hyperplanes. If Q is defined by linear equations
Q : ao .x=••• =al: •x=0,
and rc is given by Equ. (1.29), then QK is defined by the equations
Qn : (aô .C
^{}^{1} ^{)}^{.} ^{u}^{=}
^{.}^{.}^{.}
^{=} ^{(}^{a} _{k} •C  1 )•u=0.
The intersection of all hyperplanes of Qrc is a subspace of Pn. We call it QS. Ob _{v}_{i}_{o}_{u}_{s}_{l}_{y} _{i}_{t}_{s} _{a}_{n}_{n}_{u}_{l}_{l}_{a}_{t}_{o}_{r} _{Q}_{S}_{°} _{c}_{o}_{i}_{n}_{c}_{i}_{d}_{e}_{s} _{w}_{i}_{t}_{h} _{t}_{h}_{e} _{s}_{e}_{t} _{Q}_{i}_{c} of hyperplanes. The points of _{Q}_{8} are conjugate to all points of Q.
Definition. If Q is a subspace and rc a correlation, there is a subspace QS whose points are conjugate to the points of Q. The mapping Q Q5 is called the duality associated with n.
_{P}_{r}_{o}_{p}_{o}_{s}_{i}_{t}_{i}_{o}_{n} _{1}_{.}_{1}_{.}_{2}_{0}_{.} The duality associated with a correlation maps kdimensional projective subspaces to (n  k  1)dimensional ones, and has the following prop erties:
_{(}_{G} _{n}_{H}_{)}_{S}_{=}_{G}_{S}_{V}_{H}_{S}_{,} (G V H)8 = GS _{n} HS, GCHt=>GS3HS.
If UU is an indexed family of subspaces, then
_{(}_{n} Uz)S = V UPS, (V Uz)S = n U2s.
_{P}_{r}_{o}_{o}_{f}_{.} This follows immediately from Prop. 1.1.3 and the relation QS° = _{❑}
_{W}_{e} _{s}_{e}_{e} _{t}_{h}_{a}_{t} _{a} _{d}_{u}_{a}_{l}_{i}_{t}_{y} _{6} is an explicit realization of the duality principle within the same projective space: Subspaces are mapped to subspaces of complementary di mension, and inclusion and span are interchanged.