Projective geometry

Projective geometry. It is a non-Euclidean geometric framework that formalizes the principles of perspective, where parallel lines may meet at a point at infinity. The discipline emerged from the work of Renaissance artists like Leon Battista Alberti and was later formalized by mathematicians such as Girard Desargues. It provides a unified setting for understanding geometric properties that remain invariant under projection, fundamentally altering classical notions of points, lines, and planes.

● Introduction

The origins of this field are deeply intertwined with developments in Renaissance art, particularly the mathematical study of perspective by figures like Albrecht Dürer and Filippo Brunelleschi. The foundational text *Brouillon Project d’une atteinte aux événemens des rencontres du cône avec un plan* by Girard Desargues in 1639 introduced key ideas, though his work was largely forgotten until being revived in the 19th century. Jean-Victor Poncelet, while a prisoner during the Napoleonic Wars, wrote *Traité des propriétés projectives des figures*, which established it as a distinct branch of mathematics. This revival was part of a broader 19th-century expansion in geometric thought, championed by institutions like the École Polytechnique.

● Fundamental concepts

Central to the subject are points, lines, and planes, but with the crucial addition of ideal elements. The principle that parallel lines intersect at an *point at infinity* is axiomatic, with the complete set of such points forming the *line at infinity*. This leads to a symmetric treatment of conic sections, where a circle, ellipse, parabola, and hyperbola are seen as projectively equivalent. Theorems like Desargues's theorem and Pappus's hexagon theorem are fundamental projective properties, independent of notions of distance or angle. The work of Karl von Staudt was pivotal in freeing the subject from any reliance on Euclidean geometry.

● Duality

A profound and distinctive feature is the principle of duality, which states that any true proposition about points and lines remains valid when these terms are interchanged. In the plane, this creates a perfect correspondence between the theorems of Joseph Gergonne and Charles Julien Brianchon. In three dimensions, a similar duality exists between points and planes. This principle was extensively developed in the 19th century and is elegantly captured in the work of George Salmon and in the Erlangen program of Felix Klein. The duality simplifies proofs and reveals deeper structural symmetries within geometric systems.

● Projective transformations

Also known as homographies or collineations, these are invertible transformations that map lines to lines. They form the projective linear group, denoted PGL(*n*), and include familiar transformations from Euclidean geometry as special cases. A key property is that they preserve the cross-ratio, a fundamental invariant introduced by August Ferdinand Möbius. The study of these transformations connects deeply to linear algebra and the work of Arthur Cayley, who showed how Euclidean geometry and non-Euclidean geometry could be modeled within a projective framework. The Cayley–Klein metric provides this linkage.

● Projective spaces

These are constructed from vector spaces over a field, such as the real numbers ℝ or complex numbers ℂ. The real projective plane, denoted **RP**², can be modeled as a sphere with antipodal points identified. Complex projective spaces, like **CP**ⁿ, are central to algebraic geometry and modern physics. The axiomatic development of these spaces was advanced by David Hilbert in his *Grundlagen der Geometrie*, while their topological properties were explored by Henri Poincaré. Higher-dimensional spaces are essential in fields like computer vision and the study of moduli spaces.

● Applications

Its principles are foundational in computer graphics and computer vision, where the pinhole camera model is described by projective transformations. In artificial intelligence, it aids in 3D reconstruction from 2D images. The field is indispensable in algebraic geometry, with seminal concepts like the projective variety developed by Bernhard Riemann and later figures in the Italian school of algebraic geometry. It also finds use in descriptive geometry for technical drawing, and its ideas influence theoretical physics, particularly in the twistor theory of Roger Penrose and in understanding conformal field theory. Category:Geometry Category:Mathematical disciplines