Homography

Last updated

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. [1] 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.

Contents

Historically, homographies (and projective spaces) have been introduced to study perspective and projections in Euclidean geometry, and the term homography, which, etymologically, roughly means "similar drawing", dates from this time. At the end of the 19th century, formal definitions of projective spaces were introduced, which differed from extending Euclidean or affine spaces by adding points at infinity. The term "projective transformation" originated in these abstract constructions. These constructions divide into two classes that have been shown to be equivalent. A projective space may be constructed as the set of the lines of a vector space over a given field (the above definition is based on this version); this construction facilitates the definition of projective coordinates and allows using the tools of linear algebra for the study of homographies. The alternative approach consists in defining the projective space through a set of axioms, which do not involve explicitly any field (incidence geometry, see also synthetic geometry); in this context, collineations are easier to define than homographies, and homographies are defined as specific collineations, thus called "projective collineations".

For sake of simplicity, unless otherwise stated, the projective spaces considered in this article are supposed to be defined over a (commutative) field. Equivalently Pappus's hexagon theorem and Desargues's theorem are supposed to be true. A large part of the results remain true, or may be generalized to projective geometries for which these theorems do not hold.

Geometric motivation

Points A, B, C, D and A', B', C', D' are related by a perspectivity, which is a projective transformation. Projection geometry.svg
Points A, B, C, D and A′, B′, C′, D′ are related by a perspectivity, which is a projective transformation.

Historically, the concept of homography had been introduced to understand, explain and study visual perspective, and, specifically, the difference in appearance of two plane objects viewed from different points of view.

In three-dimensional Euclidean space, a central projection from a point O (the center) onto a plane P that does not contain O is the mapping that sends a point A to the intersection (if it exists) of the line OA and the plane P. The projection is not defined if the point A belongs to the plane passing through O and parallel to P. The notion of projective space was originally introduced by extending the Euclidean space, that is, by adding points at infinity to it, in order to define the projection for every point except O.

Given another plane Q, which does not contain O, the restriction to Q of the above projection is called a perspectivity.

With these definitions, a perspectivity is only a partial function, but it becomes a bijection if extended to projective spaces. Therefore, this notion is normally defined for projective spaces. The notion is also easily generalized to projective spaces of any dimension, over any field, in the following way:

Given two projective spaces P and Q of dimension n, a perspectivity is a bijection from P to Q that may be obtained by embedding P and Q in a projective space R of dimension n + 1 and restricting to P a central projection onto Q.

If f is a perspectivity from P to Q, and g a perspectivity from Q to P, with a different center, then gf is a homography from P to itself, which is called a central collineation, when the dimension of P is at least two. (see § Central collineations below and Perspectivity § Perspective collineations).

Originally, a homography was defined as the composition of a finite number of perspectivities. [2] It is a part of the fundamental theorem of projective geometry (see below) that this definition coincides with the more algebraic definition sketched in the introduction and detailed below.

Definition and expression in homogeneous coordinates

A projective space P(V) of dimension n over a field K may be defined as the set of the lines through the origin in a K-vector space V of dimension n + 1. If a basis of V has been fixed, a point of V may be represented by a point of Kn+1. A point of P(V), being a line in V, may thus be represented by the coordinates of any nonzero point of this line, which are thus called homogeneous coordinates of the projective point.

Given two projective spaces P(V) and P(W) of the same dimension, an homography is a mapping from P(V) to P(W), which is induced by an isomorphism of vector spaces . Such an isomorphism induces a bijection from P(V) to P(W), because of the linearity of f. Two such isomorphisms, f and g, define the same homography if and only if there is a nonzero element a of K such that g = af.

This may be written in terms of homogeneous coordinates in the following way: A homography φ may be defined by a nonsingular n+1 × n+1 matrix [ai,j], called the matrix of the homography. This matrix is defined up to the multiplication by a nonzero element of K. The homogeneous coordinates of a point and the coordinates of its image by φ are related by

When the projective spaces are defined by adding points at infinity to affine spaces (projective completion) the preceding formulas become, in affine coordinates,

which generalizes the expression of the homographic function of the next section. This defines only a partial function between affine spaces, which is defined only outside the hyperplane where the denominator is zero.

Homographies of a projective line

Homographies of the complex plane preserve orthogonal circles Faisceaux orthogonaux.png
Homographies of the complex plane preserve orthogonal circles

The projective line over a field K may be identified with the union of K and a point, called the "point at infinity" and denoted by ∞ (see projective line). With this representation of the projective line, the homographies are the mappings

which are called homographic functions or linear fractional transformations.

In the case of the complex projective line, which can be identified with the Riemann sphere, the homographies are called Möbius transformations. These correspond precisely with those bijections of the Riemann sphere that preserve orientation and are conformal. [3]

In the study of collineations, the case of projective lines is special due to the small dimension. When the line is viewed as a projective space in isolation, any permutation of the points of a projective line is a collineation, [4] since every set of points are collinear. However, if the projective line is embedded in a higher-dimensional projective space, the geometric structure of that space can be used to impose a geometric structure on the line. Thus, in synthetic geometry, the homographies and the collineations of the projective line that are considered are those obtained by restrictions to the line of collineations and homographies of spaces of higher dimension. This means that the fundamental theorem of projective geometry (see below) remains valid in the one-dimensional setting. A homography of a projective line may also be properly defined by insisting that the mapping preserves cross-ratios. [5]

Projective frame and coordinates

A projective frame or projective basis of a projective space of dimension n is an ordered set of n + 2 points such that no hyperplane contains n + 1 of them. A projective frame is sometimes called a simplex, [6] although a simplex in a space of dimension n has at most n + 1 vertices.

Projective spaces over a commutative field K are considered in this section, although most results may be generalized to projective spaces over a division ring.

Let P(V) be a projective space of dimension n, where V is a K-vector space of dimension n + 1, and be the canonical projection that maps a nonzero vector to the vector line that contains it.

For every frame of P(V), there exists a basis of V such that the frame is and this basis is unique up to the multiplication of all its elements by the same nonzero element of K. Conversely, if is a basis of V, then is a frame of P(V)

It follows that, given two frames, there is exactly one homography mapping the first one onto the second one. In particular, the only homography fixing the points of a frame is the identity map. This result is much more difficult in synthetic geometry (where projective spaces are defined through axioms). It is sometimes called the first fundamental theorem of projective geometry. [7]

Every frame allows to define projective coordinates, also known as homogeneous coordinates : every point may be written as p(v); the projective coordinates of p(v) on this frame are the coordinates of v on the base It is not difficult to verify that changing the and v, without changing the frame nor p(v), results in multiplying the projective coordinates by the same nonzero element of K.

The projective space Pn(K) = P(Kn+1) has a canonical frame consisting of the image by p of the canonical basis of Kn+1 (consisting of the elements having only one nonzero entry, which is equal to 1), and (1, 1, ..., 1). On this basis, the homogeneous coordinates of p(v) are simply the entries (coefficients) of the tuple v. Given another projective space P(V) of the same dimension, and a frame F of it, there is one and only one homography h mapping F onto the canonical frame of Pn(K). The projective coordinates of a point a on the frame F are the homogeneous coordinates of h(a) on the canonical frame of Pn(K).

Central collineations

Points A, B, C, D and A', B', C', D' are related by several central collineations, which are completely specified by choosing a line of fixed points L passing through the intersection of the lines ABCD and A'B'C'D'. Let O the intersection of the lines AA', BB', CC', DD'. The image E' of a point E by this collineation is the intersection of the lines A'I and OE, where I is the intersection of the lines L and AE. Projection geometry.svg
Points A, B, C, D and A′, B′, C′, D′ are related by several central collineations, which are completely specified by choosing a line of fixed points L passing through the intersection of the lines ABCD and A′B′C′D′. Let O the intersection of the lines AA′, BB′, CC′, DD′. The image E′ of a point E by this collineation is the intersection of the lines A′I and OE, where I is the intersection of the lines L and AE.

In above sections, homographies have been defined through linear algebra. In synthetic geometry, they are traditionally defined as the composition of one or several special homographies called central collineations. It is a part of the fundamental theorem of projective geometry that the two definitions are equivalent.

In a projective space, P, of dimension n ≥ 2, a collineation of P is a bijection from P onto P that maps lines onto lines. A central collineation (traditionally these were called perspectivities, [8] but this term may be confusing, having another meaning; see Perspectivity) is a bijection α from P to P, such that there exists a hyperplane H (called the axis of α), which is fixed pointwise by α (that is, α(X) = X for all points X in H) and a point O (called the center of α), which is fixed linewise by α (any line through O is mapped to itself by α, but not necessarily pointwise). [9] There are two types of central collineations. Elations are the central collineations in which the center is incident with the axis and homologies are those in which the center is not incident with the axis. A central collineation is uniquely defined by its center, its axis, and the image α(P) of any given point P that differs from the center O and does not belong to the axis. (The image α(Q) of any other point Q is the intersection of the line defined by O and Q and the line passing through α(P) and the intersection with the axis of the line defined by P and Q.)

A central collineation is a homography defined by a (n+1) × (n+1) matrix that has an eigenspace of dimension n. It is a homology, if the matrix has another eigenvalue and is therefore diagonalizable. It is an elation, if all the eigenvalues are equal and the matrix is not diagonalizable.

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 , the axis of α is some line M through R. The image of any point A of under α is the intersection of OA with . The image B′ of a point B that does not belong to may be constructed in the following way: let , then .

The composition of two central collineations, while still a homography in general, is not a central collineation. In fact, every homography is the composition of a finite number of central collineations. In synthetic geometry, this property, which is a part of the fundamental theory of projective geometry is taken as the definition of homographies. [10]

Fundamental theorem of projective geometry

There are collineations besides the homographies. In particular, any field automorphism σ of a field F induces a collineation of every projective space over F by applying σ to all homogeneous coordinates (over a projective frame) of a point. These collineations are called automorphic collineations.

The fundamental theorem of projective geometry consists of the three following theorems.

  1. Given two projective frames of a projective space P, there is exactly one homography of P that maps the first frame onto the second one.
  2. If the dimension of a projective space P is at least two, every collineation of P is the composition of an automorphic collineation and a homography. In particular, over the reals, every collineation of a projective space of dimension at least two is a homography. [11]
  3. Every homography is the composition of a finite number of perspectivities. In particular, if the dimension of the implied projective space is at least two, every homography is the composition of a finite number of central collineations.

If projective spaces are defined by means of axioms (synthetic geometry), the third part is simply a definition. On the other hand, if projective spaces are defined by means of linear algebra, the first part is an easy corollary of the definitions. Therefore, the proof of the first part in synthetic geometry, and the proof of the third part in terms of linear algebra both are fundamental steps of the proof of the equivalence of the two ways of defining projective spaces.

Homography groups

As every homography has an inverse mapping and the composition of two homographies is another, the homographies of a given projective space form a group. For example, the Möbius group is the homography group of any complex projective line.

As all the projective spaces of the same dimension over the same field are isomorphic, the same is true for their homography groups. They are therefore considered as a single group acting on several spaces, and only the dimension and the field appear in the notation, not the specific projective space.

Homography groups also called projective linear groups are denoted PGL(n + 1, F) when acting on a projective space of dimension n over a field F. Above definition of homographies shows that PGL(n + 1, F) may be identified to the quotient group GL(n + 1, F) / F×I, where GL(n + 1, F) is the general linear group of the invertible matrices, and F×I is the group of the products by a nonzero element of F of the identity matrix of size (n + 1) × (n + 1).

When F is a Galois field GF(q) then the homography group is written PGL(n, q). For example, PGL(2, 7) acts on the eight points in the projective line over the finite field GF(7), while PGL(2, 4), which is isomorphic to the alternating group A5, is the homography group of the projective line with five points. [12]

The homography group PGL(n + 1, F) is a subgroup of the collineation groupPΓL(n + 1, F) of the collineations of a projective space of dimension n. When the points and lines of the projective space are viewed as a block design, whose blocks are the sets of points contained in a line, it is common to call the collineation group the automorphism group of the design.

Cross-ratio

Use of cross-ratios in projective geometry to measure real-world dimensions of features depicted in a perspective projection. A, B, C, D and V are points on the image, their separation given in pixels; A', B', C' and D' are in the real world, their separation in metres.
In (1), the width of the side street, W is computed from the known widths of the adjacent shops.
In (2), the width of only one shop is needed because a vanishing point, V is visible. Cross ratio metrology example.svg
Use of cross-ratios in projective geometry to measure real-world dimensions of features depicted in a perspective projection. A, B, C, D and V are points on the image, their separation given in pixels; A', B', C' and D' are in the real world, their separation in metres.
  • In (1), the width of the side street, W is computed from the known widths of the adjacent shops.
  • In (2), the width of only one shop is needed because a vanishing point, V is visible.

The cross-ratio of four collinear points is an invariant under the homography that is fundamental for the study of the homographies of the lines.

Three distinct points a, b and c on a projective line over a field F form a projective frame of this line. There is therefore a unique homography h of this line onto F ∪ ∞ that maps a to , b to 0, and c to 1. Given a fourth point on the same line, the cross-ratio of the four points a, b, c and d, denoted [a, b; c, d], is the element h(d) of F ∪ ∞. In other words, if d has homogeneous coordinates [k : 1] over the projective frame (a, b, c), then [a, b; c, d] = k. [13]

Over a ring

Suppose A is a ring and U is its group of units. Homographies act on a projective line over A, written P(A), consisting of points U[a, b] with projective coordinates. The homographies on P(A) are described by matrix mappings

When A is a commutative ring, the homography may be written

but otherwise the linear fractional transformation is seen as an equivalence:

The homography group of the ring of integers Z is modular group PSL(2, Z). Ring homographies have been used in quaternion analysis, and with dual quaternions to facilitate screw theory. The conformal group of spacetime can be represented with homographies where A is the composition algebra of biquaternions. [14]

Periodic homographies

The homography is periodic when the ring is Z/nZ (the integers modulo n) since then Arthur Cayley was interested in periodicity when he calculated iterates in 1879. [15] In his review of a brute force approach to periodicity of homographies, H. S. M. Coxeter gave this analysis:

A real homography is involutory (of period 2) if and only if a + d = 0. If it is periodic with period n > 2, then it is elliptic, and no loss of generality occurs by assuming that adbc = 1. Since the characteristic roots are exp(±hπi/m), where (h, m) = 1, the trace is a + d = 2 cos(/m). [16]

See also

Notes

  1. Berger , chapter 4
  2. Meserve 1983 , pp. 43–4
  3. Hartshorne 1967 , p. 138
  4. Yale 1968 , p. 244, Baer 2005 , p. 50, Artin 1957 , p. 88
  5. In older treatments one often sees the requirement of preserving harmonic tetrads (harmonic sets) (four collinear points whose cross-ratio is −1) but this excludes projective lines defined over fields of characteristic two and so is unnecessarily restrictive. See Baer 2005 , p. 76
  6. Baer , p. 66
  7. Berger , chapter 6
  8. Yale 1968 , p. 224
  9. Beutelspacher & Rosenbaum 1998 , p. 96
  10. Meserve 1983 , pp. 43–4
  11. Hirschfeld 1979 , p. 30
  12. Hirschfeld 1979 , p. 129
  13. Berger , chapter 6
  14. Wikibooks-logo-en-noslogan.svg Homographies of associative composition algebras at Wikibooks
  15. Arthur Cayley (1879) "On the matrix and its connection with the function ", Messenger of Mathematics 9:104
  16. H. S. M. Coxeter, On periodicity in Mathematical Reviews

Related Research Articles

Euclidean space Fundamental space of geometry

Euclidean space is the fundamental space of classical geometry. Originally it was the three-dimensional space of Euclidean geometry, but in modern mathematics there are Euclidean spaces of any nonnegative integer dimension, including the three-dimensional space and the Euclidean plane. It was introduced by the Ancient Greek mathematician Euclid of Alexandria, and the qualifier Euclidean is used to distinguish it from other spaces that were later discovered in physics and modern mathematics.

Projective plane Geometric concept of a 2D space with a "point at infinity" adjoined

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 in 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 in one and only one point.

In vector calculus and differential geometry, the generalized Stokes theorem, also called the Stokes–Cartan theorem, is a statement about the integration of differential forms on manifolds, which both simplifies and generalizes several theorems from vector calculus. It is a generalization of Isaac Newton's fundamental theorem of calculus that relates two-dimensional line integrals to three-dimensional surface integrals.

In algebra, the dual numbers are a hypercomplex number system first introduced in the 19th century. They are expressions of the form a + , where a and b are real numbers, and ε is a symbol taken to satisfy .

Projective space 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.

Homogeneous coordinates

In mathematics, homogeneous coordinates or projective coordinates, introduced by August Ferdinand Möbius in his 1827 work Der barycentrische Calcul, are a system of coordinates used in projective geometry, as Cartesian coordinates are used in Euclidean geometry. They have the advantage that the coordinates of points, including points at infinity, can be represented using finite coordinates. Formulas involving homogeneous coordinates are often simpler and more symmetric than their Cartesian counterparts. Homogeneous coordinates have a range of applications, including computer graphics and 3D computer vision, where they allow affine transformations and, in general, projective transformations to be easily represented by a matrix.

In mathematics, a modular form is a (complex) analytic function on the upper half-plane satisfying a certain kind of functional equation with respect to the group action of the modular group, and also satisfying a growth condition. The theory of modular forms therefore belongs to complex analysis but the main importance of the theory has traditionally been in its connections with number theory. Modular forms appear in other areas, such as algebraic topology, sphere packing, and string theory.

In mathematics, conformal geometry is the study of the set of angle-preserving (conformal) transformations on a space.

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

Projective linear group

In mathematics, especially in the group theoretic area of algebra, the projective linear group 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

Fano plane Finite projective plane of order 2

In finite geometry, the Fano plane is the finite projective plane of order 2. It is the 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. The standard notation for this plane, as a member of a family of projective spaces, is PG(2, 2) where PG stands for "projective geometry", the first parameter is the geometric dimension and the second parameter is the order.

In geometry, a striking feature of projective planes is the symmetry of the roles played by points and lines in the definitions and theorems, and (plane) duality is the formalization of this concept. 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, and more specifically in projective geometry, a projective frame or projective basis is a tuple of points in a projective space that can be used for defining homogeneous coordinates in this space. More precisely, in a projective space of dimension n, a projective frame is a n + 2-tuple of points such that no hyperplane contains n + 1 of them. A projective frame is sometimes called a simplex, although a simplex in a space of dimension n has at most n + 1 vertices.

In mathematics, the Cayley transform, named after Arthur Cayley, is any of a cluster of related things. As originally described by Cayley (1846), the Cayley transform is a mapping between skew-symmetric matrices and special orthogonal matrices. The transform is a homography used in real analysis, complex analysis, and quaternionic analysis. In the theory of Hilbert spaces, the Cayley transform is a mapping between linear operators.

Projective line over a ring

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 U be the group of units of A; pairs and from A × A are related when there is a u in U 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 collineation is a one-to-one and onto map 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. The set of all collineations of a space to itself form a group, called the collineation group.

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 geometry and in its applications to drawing, a perspectivity is the formation of an image in a picture plane of a scene viewed from a fixed point.

Riemann sphere 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 a 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 "0" is near to very small numbers.

Real projective line

In geometry, a real projective line is an extension of the usual concept of line that has been historically introduced to solve a problem set by visual perspective: two parallel lines do not intersect but seem to intersect "at infinity". For solving this problem, points at infinity have been introduced, in such a way that in a real projective plane, two distinct projective lines meet in exactly one point. The set of these points at infinity, the "horizon" of the visual perspective in the plane, is a real projective line. It is the set of directions emanating from an observer situated at any point, with opposite directions identified.

References

Further reading