Collineation

Last updated March 31, 2024

In projective geometry, a collineation is a one-to-one and onto map (a bijection) from one projective space to another, or from a projective space to itself, such that the images of collinear points are themselves collinear. A collineation is thus an isomorphism between projective spaces, or an automorphism from a projective space to itself. Some authors restrict the definition of collineation to the case where it is an automorphism.^[1] The set of all collineations of a space to itself form a group, called the collineation group.

Definition

Simply, a collineation is a one-to-one map from one projective space to another, or from a projective space to itself, such that the images of collinear points are themselves collinear. One may formalize this using various ways of presenting a projective space. Also, the case of the projective line is special, and hence generally treated differently.

Linear algebra

For a projective space defined in terms of linear algebra (as the projectivization of a vector space), a collineation is a map between the projective spaces that is order-preserving with respect to inclusion of subspaces.

Formally, let V be a vector space over a field K and W a vector space over a field L. Consider the projective spaces PG(V) and PG(W), consisting of the vector lines of V and W. Call D(V) and D(W) the set of subspaces of V and W respectively. A collineation from PG(V) to PG(W) is a map α : D(V) → D(W), such that:

α is a bijection.
A ⊆ B ⇔ α(A) ⊆ α(B) for all A, B in D(V).^[2]

Axiomatically

Given a projective space defined axiomatically in terms of an incidence structure (a set of points P, lines L, and an incidence relation I specifying which points lie on which lines, satisfying certain axioms), a collineation between projective spaces thus defined then being a bijective function f between the sets of points and a bijective function g between the set of lines, preserving the incidence relation.^[3]

Every projective space of dimension greater than or equal to three is isomorphic to the projectivization of a linear space over a division ring, so in these dimensions this definition is no more general than the linear-algebraic one above, but in dimension two there are other projective planes, namely the non-Desarguesian planes, and this definition allows one to define collineations in such projective planes.

For dimension one, the set of points lying on a single projective line defines a projective space, and the resulting notion of collineation is just any bijection of the set.

Collineations of the projective line

For a projective space of dimension one (a projective line; the projectivization of a vector space of dimension two), all points are collinear, so the collineation group is exactly the symmetric group of the points of the projective line. This is different from the behavior in higher dimensions, and thus one gives a more restrictive definition, specified so that the fundamental theorem of projective geometry holds.

In this definition, when V has dimension two, a collineation from PG(V) to PG(W) is a map α : D(V) → D(W), such that:

The zero subspace of V is mapped to the zero subspace of W.
V is mapped to W.
There is a nonsingular semilinear map β from V to W such that, for all v in V, $\alpha (\langle v\rangle )=\langle \beta (v)\rangle$

This last requirement ensures that collineations are all semilinear maps.

Types

The main examples of collineations are projective linear transformations (also known as homographies) and automorphic collineations. For projective spaces coming from a linear space, the fundamental theorem of projective geometry states that all collineations are a combination of these, as described below.

Projective linear transformations

Projective linear transformations (homographies) are collineations (planes in a vector space correspond to lines in the associated projective space, and linear transformations map planes to planes, so projective linear transformations map lines to lines), but in general not all collineations are projective linear transformations. The group of projective linear transformations (PGL) is in general a proper subgroup of the collineation group.

Automorphic collineations

An automorphic collineation is a map that, in coordinates, is a field automorphism applied to the coordinates.

Fundamental theorem of projective geometry

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.

In particular, the collineations of the real projective plane PG(2, R) are exactly the homographies, as R has no non-trivial automorphisms (see Automorphism#Examples and footnote d in Real number).

Suppose φ is a nonsingular semilinear map from V to W, with the dimension of V at least three. Define α : D(V) → D(W) by saying that Z^α = {φ(z) : z ∈ Z} for all Z in D(V). As φ is semilinear, one easily checks that this map is properly defined, and furthermore, as φ is not singular, it is bijective. It is obvious now that α is a collineation. We say that α is induced by φ.

The fundamental theorem of projective geometry states the converse:

Suppose V is a vector space over a field K with dimension at least three, W is a vector space over a field L, and α is a collineation from PG(V) to PG(W). This implies K and L are isomorphic fields, V and W have the same dimension, and there is a semilinear map φ such that φ induces α.

For n ≥ 3, the collineation group is the projective semilinear group, PΓL – this is PGL, twisted by field automorphisms; formally, the semidirect product PΓL ≅ PGL ⋊ Gal(K/k), where k is the prime field for K.

Linear structure

Thus for K a prime field ( $\mathbb {F} _{p}$ or $\mathbb {Q}$ ), we have PGL = PΓL, but for K not a prime field (such as $\mathbb {C}$ or $\mathbb {F} _{p^{n}}$ for n ≥ 2), the projective linear group is in general a proper subgroup of the collineation group, which can be thought of as "transformations preserving a projective semi-linear structure". Correspondingly, the quotient group PΓL / PGL ≅ Gal(K/k) corresponds to "choices of linear structure", with the identity (base point) being the existing linear structure. Given a projective space without an identification as the projectivization of a linear space, there is no natural isomorphism between the collineation group and PΓL, and the choice of a linear structure (realization as projectivization of a linear space) corresponds to a choice of subgroup PGL < PΓL, these choices forming a torsor over Gal(K/k).

History

The idea of a line was abstracted to a ternary relation determined by collinearity (points lying on a single line). According to Wilhelm Blaschke ^[4] it was August Möbius that first abstracted this essence of geometrical transformation:

What do our geometric transformations mean now? Möbius threw out and fielded this question already in his Barycentric Calculus (1827). There he spoke not of transformations but of permutations [Verwandtschaften], when he said two elements drawn from a domain were permuted when they were interchanged by an arbitrary equation. In our particular case, linear equations between homogeneous point coordinates, Möbius called a permutation [Verwandtschaft] of both point spaces in particular a collineation. This signification would be changed later by Chasles to homography. Möbius’ expression is immediately comprehended when we follow Möbius in calling points collinear when they lie on the same line. Möbius' designation can be expressed by saying, collinear points are mapped by a permutation to collinear points, or in plain speech, straight lines stay straight.

Contemporary mathematicians view geometry as an incidence structure with an automorphism group consisting of mappings of the underlying space that preserve incidence. Such a mapping permutes the lines of the incidence structure, and the notion of collineation persists.

As mentioned by Blaschke and Klein, Michel Chasles preferred the term homography to collineation. A distinction between the terms arose when the distinction was clarified between the real projective plane and the complex projective line. Since there are no non-trivial field automorphisms of the real number field, all the collineations are homographies in the real projective plane,^[5] however due to the field automorphism of complex conjugation, not all collineations of the complex projective line are homographies. In applications such as computer vision where the underlying field is the real number field, homography and collineation can be used interchangeably.

Anti-homography

The operation of taking the complex conjugate in the complex plane amounts to a reflection in the real line. With the notation z^∗ for the conjugate of z, an anti-homography is given by

f(z)={\frac {az^{*}+b}{cz^{*}+d}}.

Thus an anti-homography is the composition of conjugation with a homography, and so is an example of a collineation which is not an homography. For example, geometrically, the mapping $f(z)=1/z^{*}$ amounts to circle inversion.^[6] The transformations of inversive geometry of the plane are frequently described as the collection of all homographies and anti-homographies of the complex plane.^[7]

Notes

↑ For instance, Beutelspacher & Rosenbaum 1998 , p.21, Casse 2006 , p. 56 and Yale 2004 , p. 226
↑ Geometers still commonly use an exponential type notation for functions and this condition will often appear as A ⊆ B ⇔ A^α ⊆ B^α for all A, B in D(V).
↑ "Preserving the incidence relation" means that if point $p$ is on line $l$ then $f (p)$ is in $g (l)$ ; formally, if $(p, l) \in I$ then $(f (p), g (l)) \in I'$ .
↑ Felix Klein (1926, 1949) Vorlesungen über Höhere Geometrie, edited by Blaschke, Seite 138
↑ Casse 2006 , p. 64, Corollary 4.29
↑ Morley & Morley 1933 , p. 38
↑ Blair 2000, p. 43; Schwerdtfeger 2012, p. 42.

Related Research Articles

In mathematics, a projective plane is a geometric structure that extends the concept of a plane. In the ordinary Euclidean plane, two lines typically intersect at a single point, but there are some pairs of lines that do not intersect. A projective plane can be thought of as an ordinary plane equipped with additional "points at infinity" where parallel lines intersect. Thus any two distinct lines in a projective plane intersect at exactly one point.

In Euclidean geometry, an affine transformation or affinity is a geometric transformation that preserves lines and parallelism, but not necessarily Euclidean distances and angles.

In mathematics, the general linear group of degree n is the set of n×n invertible matrices, together with the operation of ordinary matrix multiplication. This forms a group, because the product of two invertible matrices is again invertible, and the inverse of an invertible matrix is invertible, with the identity matrix as the identity element of the group. The group is so named because the columns of an invertible matrix are linearly independent, hence the vectors/points they define are in general linear position, and matrices in the general linear group take points in general linear position to points in general linear position.

<span class="mw-page-title-main">Projective space</span> Completion of the usual space with "points at infinity"

In mathematics, the concept of a projective space originated from the visual effect of perspective, where parallel lines seem to meet at infinity. A projective space may thus be viewed as the extension of a Euclidean space, or, more generally, an affine space with points at infinity, in such a way that there is one point at infinity of each direction of parallel lines.

A finite geometry is any geometric system that has only a finite number of points. The familiar Euclidean geometry is not finite, because a Euclidean line contains infinitely many points. A geometry based on the graphics displayed on a computer screen, where the pixels are considered to be the points, would be a finite geometry. While there are many systems that could be called finite geometries, attention is mostly paid to the finite projective and affine spaces because of their regularity and simplicity. Other significant types of finite geometry are finite Möbius or inversive planes and Laguerre planes, which are examples of a general type called Benz planes, and their higher-dimensional analogs such as higher finite inversive geometries.

In geometry and complex analysis, a Möbius transformation of the complex plane is a rational function of the form

<span class="mw-page-title-main">Projective linear group</span> Construction in group theory

In mathematics, especially in the group theoretic area of algebra, the projective linear group (also known as the projective general linear group or PGL) is the induced action of the general linear group of a vector space V on the associated projective space P(V). Explicitly, the projective linear group is the quotient group

In finite geometry, the Fano plane is a finite projective plane with the smallest possible number of points and lines: 7 points and 7 lines, with 3 points on every line and 3 lines through every point. These points and lines cannot exist with this pattern of incidences in Euclidean geometry, but they can be given coordinates using the finite field with two elements. The standard notation for this plane, as a member of a family of projective spaces, is PG(2, 2). Here, PG stands for "projective geometry", the first parameter is the geometric dimension and the second parameter is the order.

In geometry, the cross-ratio, also called the double ratio and anharmonic ratio, is a number associated with a list of four collinear points, particularly points on a projective line. Given four points $A$ , $B$ , $C$ , $D$ on a line, their cross ratio is defined as

In mathematics, a linear fractional transformation is, roughly speaking, an invertible transformation of the form

In projective geometry, duality or plane duality is a formalization of the striking symmetry of the roles played by points and lines in the definitions and theorems of projective planes. There are two approaches to the subject of duality, one through language and the other a more functional approach through special mappings. These are completely equivalent and either treatment has as its starting point the axiomatic version of the geometries under consideration. In the functional approach there is a map between related geometries that is called a duality. Such a map can be constructed in many ways. The concept of plane duality readily extends to space duality and beyond that to duality in any finite-dimensional projective geometry.

In mathematics, a sesquilinear form is a generalization of a bilinear form that, in turn, is a generalization of the concept of the dot product of Euclidean space. A bilinear form is linear in each of its arguments, but a sesquilinear form allows one of the arguments to be "twisted" in a semilinear manner, thus the name; which originates from the Latin numerical prefix sesqui- meaning "one and a half". The basic concept of the dot product – producing a scalar from a pair of vectors – can be generalized by allowing a broader range of scalar values and, perhaps simultaneously, by widening the definition of a vector.

In mathematics, the projective line over a ring is an extension of the concept of projective line over a field. Given a ring A (with 1), the projective line P¹(A) over A consists of points identified by projective coordinates. Let A^× be the group of units of A; pairs (a, b) and (c, d) from A × A are related when there is a u in A^× such that ua = c and ub = d. This relation is an equivalence relation. A typical equivalence class is written U[a, b].

In projective geometry, a homography is an isomorphism of projective spaces, induced by an isomorphism of the vector spaces from which the projective spaces derive. It is a bijection that maps lines to lines, and thus a collineation. In general, some collineations are not homographies, but the fundamental theorem of projective geometry asserts that is not so in the case of real projective spaces of dimension at least two. Synonyms include projectivity, projective transformation, and projective collineation.

Affine geometry, broadly speaking, is the study of the geometrical properties of lines, planes, and their higher dimensional analogs, in which a notion of "parallel" is retained, but no metrical notions of distance or angle are. Affine spaces differ from linear spaces in that they do not have a distinguished choice of origin. So, in the words of Marcel Berger, "An affine space is nothing more than a vector space whose origin we try to forget about, by adding translations to the linear maps." Accordingly, a complex affine space, that is an affine space over the complex numbers, is like a complex vector space, but without a distinguished point to serve as the origin.

In projective geometry, a correlation is a transformation of a d-dimensional projective space that maps subspaces of dimension k to subspaces of dimension d − k − 1, reversing inclusion and preserving incidence. Correlations are also called reciprocities or reciprocal transformations.

In mathematics, projectivization is a procedure which associates with a non-zero vector space $V$ a projective space $P (V)$ , whose elements are one-dimensional subspaces of $V$ . More generally, any subset $S$ of $V$ closed under scalar multiplication defines a subset of $P (V)$ formed by the lines contained in $S$ and is called the projectivization of $S$ .

In linear algebra, particularly projective geometry, a semilinear map between vector spaces V and W over a field K is a function that is a linear map "up to a twist", hence semi-linear, where "twist" means "field automorphism of K". Explicitly, it is a function T : V → W that is:

<span class="mw-page-title-main">Riemann sphere</span> Model of the extended complex plane plus a point at infinity

In mathematics, the Riemann sphere, named after Bernhard Riemann, is a model of the extended complex plane : the complex plane plus one point at infinity. This extended plane represents the extended complex numbers, that is, the complex numbers plus a value $for infinity. With the Riemann model, the point is near to very large numbers, just as the point is near to very small numbers.$

The concept of a Projective space plays a central role in algebraic geometry. This article aims to define the notion in terms of abstract algebraic geometry and to describe some basic uses of projective spaces.

References

Beutelspacher, Albrecht; Rosenbaum, Ute (1998), Projective Geometry / From Foundations to Applications, Cambridge University Press, ISBN 0-521-48364-6
Blair, David E. (2000), Inversion Theory and Conformal Mapping, Student mathematical library, vol. 9, American Mathematical Society, ISBN 9780821826362
Blaschke, Wilhelm (1948), Projective Geometrie, Wolfenbütteler Verlagsanstalt
Casse, Rey (2006), Projective Geometry / An Introduction, Oxford University Press, ISBN 9780199298860
Morley, Frank; Morley, F.V. (1933), Inversive Geometry, London: G. Bell and Sons
Schwerdtfeger, Hans (2012), Geometry of Complex Numbers, Courier Dover Publications, ISBN 9780486135861
Yale, Paul B. (2004) [first published 1968], Geometry and Symmetry, Dover, ISBN 0-486-43835-X

External links

projectivity at PlanetMath .

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[1] For instance, Beutelspacher & Rosenbaum 1998 , p.21, Casse 2006 , p. 56 and Yale 2004 , p. 226

[2] Geometers still commonly use an exponential type notation for functions and this condition will often appear as A ⊆ B ⇔ A^α ⊆ B^α for all A, B in D(V).

[3] "Preserving the incidence relation" means that if point $p$ is on line $l$ then $f (p)$ is in $g (l)$ ; formally, if $(p, l) \in I$ then $(f (p), g (l)) \in I'$ .

[4] Felix Klein (1926, 1949) Vorlesungen über Höhere Geometrie, edited by Blaschke, Seite 138

[5] Casse 2006 , p. 64, Corollary 4.29

[6] Morley & Morley 1933 , p. 38

[7] Blair 2000, p. 43; Schwerdtfeger 2012, p. 42.

[1]

[2]

[3]

[4]

[5]

[6]

[7]