Katana VentraIP

Projective geometry

In mathematics, projective geometry is the study of geometric properties that are invariant with respect to projective transformations. This means that, compared to elementary Euclidean geometry, projective geometry has a different setting, projective space, and a selective set of basic geometric concepts. The basic intuitions are that projective space has more points than Euclidean space, for a given dimension, and that geometric transformations are permitted that transform the extra points (called "points at infinity") to Euclidean points, and vice versa.

Properties meaningful for projective geometry are respected by this new idea of transformation, which is more radical in its effects than can be expressed by a transformation matrix and translations (the affine transformations). The first issue for geometers is what kind of geometry is adequate for a novel situation. Unlike in Euclidean geometry, the concept of an angle does not apply in projective geometry, because no measure of angles is invariant with respect to projective transformations, as is seen in perspective drawing from a changing perspective. One source for projective geometry was indeed the theory of perspective. Another difference from elementary geometry is the way in which parallel lines can be said to meet in a point at infinity, once the concept is translated into projective geometry's terms. Again this notion has an intuitive basis, such as railway tracks meeting at the horizon in a perspective drawing. See Projective plane for the basics of projective geometry in two dimensions.


While the ideas were available earlier, projective geometry was mainly a development of the 19th century. This included the theory of complex projective space, the coordinates used (homogeneous coordinates) being complex numbers. Several major types of more abstract mathematics (including invariant theory, the Italian school of algebraic geometry, and Felix Klein's Erlangen programme resulting in the study of the classical groups) were motivated by projective geometry. It was also a subject with many practitioners for its own sake, as synthetic geometry. Another topic that developed from axiomatic studies of projective geometry is finite geometry.


The topic of projective geometry is itself now divided into many research subtopics, two examples of which are projective algebraic geometry (the study of projective varieties) and projective differential geometry (the study of differential invariants of the projective transformations).

Pascal: If all six vertices of a hexagon lie on a , then the intersections of its opposite sides (regarded as full lines, since in the projective plane there is no such thing as a "line segment") are three collinear points. The line joining them is then called the Pascal line of the hexagon.

conic

Brianchon: If all six sides of a hexagon are tangent to a conic, then its diagonals (i.e. the lines joining opposite vertices) are three concurrent lines. Their point of intersection is then called the Brianchon point of the hexagon.

In 1825, Joseph Gergonne noted the principle of duality characterizing projective plane geometry: given any theorem or definition of that geometry, substituting point for line, lie on for pass through, collinear for concurrent, intersection for join, or vice versa, results in another theorem or valid definition, the "dual" of the first. Similarly in 3 dimensions, the duality relation holds between points and planes, allowing any theorem to be transformed by swapping point and plane, is contained by and contains. More generally, for projective spaces of dimension N, there is a duality between the subspaces of dimension R and dimension NR − 1. For N = 2, this specializes to the most commonly known form of duality—that between points and lines. The duality principle was also discovered independently by Jean-Victor Poncelet.


To establish duality only requires establishing theorems which are the dual versions of the axioms for the dimension in question. Thus, for 3-dimensional spaces, one needs to show that (1*) every point lies in 3 distinct planes, (2*) every two planes intersect in a unique line and a dual version of (3*) to the effect: if the intersection of plane P and Q is coplanar with the intersection of plane R and S, then so are the respective intersections of planes P and R, Q and S (assuming planes P and S are distinct from Q and R).


In practice, the principle of duality allows us to set up a dual correspondence between two geometric constructions. The most famous of these is the polarity or reciprocity of two figures in a conic curve (in 2 dimensions) or a quadric surface (in 3 dimensions). A commonplace example is found in the reciprocation of a symmetrical polyhedron in a concentric sphere to obtain the dual polyhedron.


Another example is Brianchon's theorem, the dual of the already mentioned Pascal's theorem, and one of whose proofs simply consists of applying the principle of duality to Pascal's. Here are comparative statements of these two theorems (in both cases within the framework of the projective plane):

G1: Every line contains at least 3 points

G2: Every two distinct points, A and B, lie on a unique line, AB.

G3: If lines AB and CD intersect, then so do lines AC and BD (where it is assumed that A and D are distinct from B and C).

— tutorial by Joe Mundy and Andrew Zisserman.

Projective Geometry for Machine Vision

based on Coxeter's The Real Projective Plane.

Notes

— free tutorial by Roger Mohr and Bill Triggs.

Projective Geometry for Image Analysis

— free tutorial by Tom Davis.

Projective Geometry.

A compilation of three notes by Cesare Burali-Forti on the application of exterior algebra to projective geometry

The Grassmann method in projective geometry

(English translation of book)

C. Burali-Forti, "Introduction to Differential Geometry, following the method of H. Grassmann"

(English translation)

E. Kummer, "General theory of rectilinear ray systems"

(English translation)

M. Pasch, "On the focal surfaces of ray systems and the singularity surfaces of complexes"