Search results
Results from the WOW.Com Content Network
If the geometric dimension of a pappian projective space is at least 2, then every collineation is the product of a homography (a projective linear transformation) and an automorphic collineation. More precisely, the collineation group is the projective semilinear group, which is the semidirect product of homographies by automorphic collineations.
The geometric view of a central collineation is easiest to see in a projective plane. Given a central collineation α, consider a line ℓ that does not pass through the center O, and its image under α, ℓ ′ = α(ℓ). Setting R = ℓ ∩ ℓ ′, the axis of α is some line M through R.
By the Fundamental theorem of projective geometry, the full collineation group (or automorphism group, or symmetry group) is the projective linear group PGL(3, 2), [a] Hirschfeld 1979, p. 131 [3] This is a well-known group of order 168 = 2 3 ·3·7, the next non-abelian simple group after A 5 of order 60 (ordered by size).
A mapping of a geometry to itself which sends lines to lines is called a collineation; it preserves the collinearity property. The linear maps (or linear functions) of vector spaces , viewed as geometric maps, map lines to lines; that is, they map collinear point sets to collinear point sets and so, are collineations.
The only projective geometry of dimension 0 is a single point. A projective geometry of dimension 1 consists of a single line containing at least 3 points. The geometric construction of arithmetic operations cannot be performed in either of these cases. For dimension 2, there is a rich structure in virtue of the absence of Desargues' Theorem.
The archetypical example is the real projective plane, also known as the extended Euclidean plane. [1] This example, in slightly different guises, is important in algebraic geometry, topology and projective geometry where it may be denoted variously by PG(2, R), RP 2, or P 2 (R), among other notations.
For example, in affine geometry, two distinct lines in a plane intersect in at most one point, ... It is a bijection that maps lines to lines, and thus a collineation.
Hanfried Lenz gave a classification scheme for projective planes in 1954, [6] which was refined by Adriano Barlotti in 1957. [7] This classification scheme is based on the types of point–line transitivity permitted by the collineation group of the plane and is known as the Lenz–Barlotti classification of projective planes.