in the narrow sense
An algebra of points on a projective line; projectively-invariant constructions for defining addition and multiplication of points on a projective line , lying in a projective plane for which the Desargues assumption holds. These constructions depend on the choice of three distinct points on .
determines for any two points different from a third point , also different from and called the sum of and . One draws in three straight lines , and , different from , forming a triangle and passing through , and , respectively. Let be the point of intersection of and , let be that of and , that of and , and that of and . Then intersects in the point (for the general case see Fig. a). It turns out that the point thus constructed depends on , , , and only, and not on the choice of the straight lines or the point .
determines for any two points different from a third point , also different from and called the product of and . One draws in three straight lines , and , different from , forming a triangle and passing through , and , respectively. Let be the point of intersection of and , let be that of and , that of and , and that of and . Then intersects in the point (for the general case see Fig. b). It turns out that the point thus constructed depends on , , , , only, and not on the choice of the straight lines , and . The points of the line (distinct from ) form a skew-field under these operations of addition and multiplication. Interchanging and in construction II leads to an anti-isomorphic skew-field . If is another triple of points on a straight line in , then the corresponding skew-field is isomorphic to , since there is a projective correspondence between and . Therefore, any skew-field isomorphic to it is simply called a skew-field of the given projective plane (or even of the given projective geometry). One also says that one has a projective geometry over the skew-field . In the general cases of constructions I and II there figure four points , , , , lying in one plane and no three of which are collinear; these form a complete quadrangle with three pairs of opposite sides , ; , ; and , . The points of intersection of these pairs of opposite sides are called diagonal points, while the straight lines joining diagonal points are called diagonals. A special case, not indicated in the figure, corresponds to the situation that are collinear (see Fano postulate).
Similar constructions can be carried out in a pencil of straight lines passing through a point, using a complete quadrilateral, a figure dual to a quadrangle, and leading to a skew-field anti-isomorphic to .
The properties of the projective line as an algebraic system are determined by the geometric (projectively-invariant) properties of the projective plane in which lies. E.g., commutativity of is equivalent to the Pappus axiom being true; Fano's postulate is equivalent to the characteristic of being different from 2; if has no other automorphisms but inner ones, then every projective transformation is a collineation, etc.
Using the skew-field on the straight line, and hence in the projective space containing the line, one can introduce projective coordinates, giving an algebraic model of the projective space, so that the contents of the projective geometry is, in essence, determined by properties of the same skew-field over which it is constructed.
In the wide sense, in projective geometry one studies the set of subspaces of projective space, which is a complemented modular lattice. Here one does not require the space to be finite-dimensional, but imposes the condition of completeness, existence of a homogeneous basis, etc. Accordingly, one can establish various connections with the theory of prime and regular rings, the theory of Abelian operator groups and other branches of algebra.
|||W.V.D. Hodge, D. Pedoe, "Methods of algebraic geometry" , 1 , Cambridge Univ. Press (1947)|
|||E. Artin, "Geometric algebra" , Interscience (1957)|
A collineation is a linear transformation of the homogeneous coordinates (Baer's terminology, [a2]).
|[a1]||D. Hilbert, "Grundlagen der Geometrie" , Teubner, reprint (1968)|
|[a2]||R. Baer, "Linear algebra and projective geometry" , Acad. Press (1952)|
|[a3]||H.S.M. Coxeter, "The real projective plane" , Cambridge Univ. Press (1961)|
Projective algebra. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Projective_algebra&oldid=17098