Fact-checked by Grok 2 weeks ago

Projective geometry

Projective geometry is a fundamental branch of that extends by incorporating points at , where lines are considered to intersect, thereby unifying the treatment of lines and eliminating the distinction between and intersecting lines. It focuses on properties invariant under projective transformations, which are bijective mappings that preserve and the of points on a line, and is typically defined axiomatically through incidence relations: any two distinct points determine a line, and any two distinct lines intersect at a point. This framework allows for the study of geometric configurations in a , often represented using , where points are equivalence classes of vectors in a . The origins of projective geometry trace back to the Renaissance era, when artists like in the early developed techniques for to realistically depict three-dimensional scenes on two-dimensional canvases, addressing how appear to converge at a . This artistic innovation was mathematically formalized in the by , who introduced key theorems on and conic sections, and , who extended properties of conics through projective methods. The field gained rigorous axiomatic foundations in the through the work of , who in 1822 published Traité des propriétés projectives des figures, emphasizing synthetic methods and duality between points and lines, followed by contributions from , , and others who explored transformations and invariants. Central to projective geometry are concepts like duality, which interchanges points and lines while preserving incidence, enabling theorems such as Desargues' theorem (stating that two triangles are from a point if and only if they are from a line) and Pappus's theorem on collinear points generated by intersecting lines from two sets. The cross-ratio, a projective invariant measuring the division of a by four collinear points, plays a crucial role in classifying configurations and transformations. Projective spaces can be constructed over any field, leading to finite projective planes like the , which has seven points and seven lines, illustrating the geometry's abstract nature beyond the real numbers. In modern applications, projective geometry underpins by modeling perspective projections from 3D scenes onto 2D images, facilitating tasks like camera calibration and through homographies and fundamental matrices. It also informs for rendering realistic scenes and has historical ties to , where projective varieties extend the study of curves and surfaces. Overall, projective geometry provides a metric-free foundation that reveals deep symmetries in geometric structures, influencing fields from to .

Introduction

Overview

Projective geometry is the branch of that studies properties of geometric figures invariant under projective transformations, which include central projections from one plane to another. The term "projective" derives from these central projections, where rays emanate from a fixed point (the center of projection) to map points from one surface onto another, preserving certain relational structures like incidence and cross-ratios. A fundamental distinction from lies in the treatment of parallelism: in projective geometry, there are no , as all lines intersect at some point, including those that would be in the , which meet at points on a line at . This addition of an ideal line at unifies the treatment of lines, eliminating in theorems and enabling a more symmetric study of configurations. An illustrative example is the central projection of a onto a , where circles on the sphere map to conic sections—such as ellipses, parabolas, or hyperbolas—on the plane, demonstrating how projective transformations preserve the projective of curves without regard to properties like or shape. This highlights the focus on qualitative incidences rather than quantitative measures, often formalized using to incorporate points at .

Motivations and Basic Properties

Projective geometry emerged as a response to certain limitations in , particularly the inconsistent treatment of , which are assumed not to intersect within the finite plane. This creates special cases in theorems and proofs, complicating the study of geometric configurations. By introducing points at infinity—ideal points where are considered to meet—projective geometry resolves these issues, ensuring a uniform framework where all lines intersect, thus simplifying and generalizing results. A key motivation lies in the unification of conic sections, which appear as distinct entities (ellipses, parabolas, hyperbolas) in but are revealed as equivalent under projective transformations. Specifically, these curves are all projective images of a , allowing a single set of properties to describe them without the Euclidean distinctions based on or with the line at . This , rooted in the invariance of incidence relations under , provides a more elegant classification and facilitates applications in areas like and . Among its basic properties, projective geometry adheres to that any two distinct points determine a unique line, mirroring the but extended to the full space including . Dually, any two distinct lines intersect at a unique point, eliminating the parallel case and embodying the between points and lines. These properties form the foundation of in projective spaces. The , as a fundamental model, extends the by adjoining a line at infinity, which captures all directions and points where parallels converge. This construction compactifies the affine plane into a closed surface topologically equivalent to a with antipodal points identified, preserving essential geometric relations while incorporating infinite elements seamlessly.

Historical Development

Origins in Perspective Art and Optics

The origins of projective geometry can be traced to the interest in accurately representing on two-dimensional surfaces, particularly through the development of linear in art. In the early 1420s, the Italian architect conducted pioneering experiments in to demonstrate the principles of linear , using a peephole device and a mirror to view the of San Giovanni, allowing viewers to see a painted scene align perfectly with the real architecture beyond. These demonstrations emphasized the convergence of to a , a core idea that would later underpin projective transformations. Building on this, formalized these concepts in his 1435 treatise Della Pittura (On Painting), the first systematic theoretical work on artistic in , where he described the visual pyramid formed by rays from the eye to objects, enabling painters to construct scenes mathematically using intersecting lines and proportions. Alberti's approach treated the canvas as a cross-section of this pyramid, introducing methods to scale figures based on their distance from the viewer, which influenced generations of artists and laid intuitive groundwork for handling projections. Advancing into the realm of , provided a scientific foundation for understanding visual projections in his 1604 work Astronomiae Pars Optica. Kepler modeled the eye as a , explaining how light rays from external objects form an inverted image on the through in the eye's lenses, thus describing the projective nature of as a central projection onto a curved surface. This optical theory shifted perspectives from geometric intuition in art to physiological and mathematical mechanisms, highlighting how projections preserve certain incidences and collinearities despite distortions, a principle central to later projective geometry. Kepler's insights connected artistic representation to the physics of light, bridging empirical observation with projective mappings. The transition to explicit mathematical treatments occurred in the 17th century with contributions from mathematicians inspired by these artistic and optical ideas. In 1639, Gérard Desargues published Brouillon Project d'une Atteinte aux Événements des Rencontres d'un Cône avec un Plan, a seminal but initially overlooked that introduced projective methods for studying conic sections through and involutions, treating points at infinity uniformly without metrics. Desargues' work, circulated privately and not widely published until 1866, emphasized configurations invariant under , such as the alignment of points in drawings of triangles. Complementing this, , at age 16, developed his theorem on conics in 1640 as part of his Essai pour les Coniques, proving that for any inscribed in a conic section, the intersections of opposite sides are collinear—a purely projective property independent of the conic's metric form. Pascal's result, derived from Desargues' techniques, demonstrated early of projective invariants in algebraic curves, setting the stage for more rigorous 19th-century developments.

19th-Century Foundations

The foundations of projective geometry as a rigorous mathematical discipline were laid in the early 19th century, building on earlier ideas from perspective but shifting toward abstract, metric-free properties. Jean-Victor Poncelet played a pivotal role with his 1822 publication, Traité des propriétés projectives des figures, which systematically explored projective properties of geometric figures through central projections and established the field on a synthetic basis. In this work, Poncelet introduced the principle of continuity, positing that properties holding for degenerate cases (such as intersecting conics) extend continuously to general cases, enabling the treatment of imaginary elements as real in projective contexts and unifying disparate geometric configurations. This principle allowed Poncelet to derive theorems on conic sections and polygons without relying on metric measurements, emphasizing invariance under projection. Concurrent developments in the 1820s advanced duality concepts central to projective geometry. Joseph Gergonne, in his 1813 paper, articulated the pole-polar relation for conics, where a point (pole) corresponds to a line (polar) such that properties are preserved under , providing a foundational tool for studying reciprocal figures. Poncelet independently developed similar ideas around the same period, integrating them into his projective framework to demonstrate how dual transformations maintain incidence relations between points and lines, thus revealing the symmetry inherent in projective spaces. These relations, though sparking debates over priority, enriched the theory by enabling proofs of invariance and divisions without coordinates. These ideas were further advanced by , who in 1827 introduced barycentric coordinates in Der barycentrische Calcül, providing a well-suited for projective geometry by treating points as weighted combinations without metrics, and by , who in the 1830s and 1840s developed analytic methods for projective duality and introduced line coordinates to study higher-dimensional configurations. By the mid-1840s, algebraic approaches began supporting synthetic methods. Hermann Grassmann's Die lineale Ausdehnungslehre (1844) introduced a of extension that formalized multilinear operations on vectors, laying the groundwork for modern linear algebra as applied to projective geometry. Grassmann's framework treated geometric objects through their extensive properties, such as outer products, which naturally encode projective transformations and incidence without metrics, influencing later vector-based treatments of projective spaces. This work provided an abstract toolset for handling higher-dimensional extensions, bridging combinatorial aspects of geometry with . Karl Georg Christian von Staudt further solidified the synthetic foundation in Geometrie der Lage (1847), constructing entirely from incidence axioms without reference to distance or angles. Von Staudt defined projective harmonic conjugates purely through complete quadrilaterals and extended this to coordinates via "throwing ratios," demonstrating that cross-ratios could be introduced synthetically to quantify projective invariants. His approach proved the independence of from metrics, establishing it as a self-contained discipline capable of deriving theorems like Desargues' from basic axioms alone. This text marked a culmination of early 19th-century efforts, emphasizing pure positional relations over analytic methods.

20th-Century Advances

In the early 20th century, and John Wesley Young published their seminal two-volume textbook Projective Geometry (1910–1918), which established a rigorous axiomatic foundation for the subject, emphasizing postulates for points, lines, and planes while integrating synthetic methods with emerging algebraic insights. This work, developed during their collaboration at Princeton, became a cornerstone for advanced studies, influencing generations of geometers by providing a systematic treatment that avoided assumptions and focused on incidence and properties. Harold Scott MacDonald Coxeter advanced the synthetic tradition in his Projective Geometry (first edition 1964, building on earlier synthetic ideas from the 1930s onward), offering an intuitive yet formal approach centered on perspectivities and projectivities, with constructions limited to alone. Coxeter's text highlighted the elegance of projective configurations and , making complex theorems accessible through visual and axiomatic clarity, and it reinforced the subject's independence from metrics. Emil Artin's (1957) bridged projective geometry with linear algebra by reformulating geometric concepts through vector spaces and bilinear forms, demonstrating how projective transformations arise naturally from linear mappings on . This integration facilitated deeper connections to modern algebra, enabling projective geometry to inform developments in and quadratic forms. Post-World War II, the rise of spurred significant advancements in finite projective geometries, as structures like projective planes over finite fields provided models for error-correcting codes, such as the derived from the (the of order 2). This interdisciplinary influence, beginning with Claude Shannon's foundational work in 1948 and Richard Hamming's codes in 1950, revitalized interest in non-Desarguesian planes and higher-dimensional finite spaces, leading to applications in and .

Fundamental Concepts

Points, Lines, and Incidence

In projective geometry, points and lines serve as the primitive elements of the theory, with no further provided beyond their mutual s. The denotes when a point lies on a line, forming the foundational structure known as an , where lines are distinguished subsets of points connected through this . This synthetic approach treats points and lines as undefined terms, emphasizing their interdependencies rather than embedding them in a or . A is defined as an consisting of a set of points, a set of lines, and the incidence relation satisfying three key axioms. First, any two distinct points are incident with exactly one line, ensuring that lines are uniquely determined by pairs of points. Second, any two distinct lines are incident with exactly one point, guaranteeing that lines always intersect. Third, there exist at least four points such that no three are incident with the same line, preventing degeneracy and allowing for non-trivial configurations. These axioms imply the fundamental theorem that in a , any two distinct points determine a unique line; dually, any two distinct lines determine a unique point of . To extend the with an ordering on lines, betweenness is introduced for ordered triples of collinear points, where one point is considered between the other two. Pasch's provides the consistency for this ordering: given a formed by three non-collinear points and a line that intersects one side of the but passes through none of the vertices, the line must intersect exactly one of the other two sides. This ensures that the ordering behaves coherently across the plane, distinguishing projective geometries with affine-like order from purely incidence-based ones. The concept of the line at infinity arises in the construction of the as the closure of an affine plane. In this , parallel lines from the affine plane, which do not intersect within the finite points, are made to meet at points on an added line at infinity, completing the structure to satisfy the projective axioms uniformly. This line at infinity comprises all ideal points corresponding to directions in the affine plane, with each such point representing the intersection of a pencil of .

Homogeneous Coordinates

Homogeneous coordinates provide the primary analytic framework for studying projective geometry, enabling the representation of points, lines, and transformations in a unified manner that incorporates points at . In this system, points in the \mathbb{RP}^n are defined as equivalence classes of (n+1)-tuples (x_0, x_1, \dots, x_n) \in \mathbb{R}^{n+1} \setminus \{\mathbf{0}\}, denoted by [x_0 : x_1 : \dots : x_n], where two tuples are identified if one is a non-zero scalar multiple of the other, i.e., = [\lambda x] for \lambda \in \mathbb{R} \setminus \{0\}. This construction arises from the quotient of the \mathbb{R}^{n+1} minus the by the action of scalar multiplication, effectively identifying each point with a one-dimensional (a line through the ). The ensures , which is essential for projective properties, as geometric incidences and transformations remain unchanged under rescaling. For instance, in \mathbb{RP}^2, a can be represented by [1 : 0 : 0], corresponding to the direction of the x-axis, without distinguishing between in the . To connect projective geometry with , finite points in the \mathbb{A}^n are embedded into \mathbb{RP}^n via homogenization: an (a_1, \dots, a_n) maps to the projective point [a_1 : \dots : a_n : 1]. This adds a at , defined by the equation x_{n+1} = 0, where ideal points reside, allowing to intersect at . The reverse process, dehomogenization, recovers from a projective point by normalizing the last coordinate to 1 (assuming x_{n+1} \neq 0): (a_1, \dots, a_n) = (x_1 / x_{n+1}, \dots, x_n / x_{n+1}). Normalization in general involves scaling the tuple so that a specific non-zero component equals 1, facilitating computations while preserving the equivalence class. Lines in projective space are similarly represented using homogeneous coordinates. The line joining two distinct points and in \mathbb{RP}^n (with x, y \in \mathbb{R}^{n+1} linearly independent) consists of all points [a x + b y] for scalars a, b \in \mathbb{R} not both zero, forming the one-dimensional projective subspace spanned by x and y. A point $$ lies on this line if and only if z is a linear combination of x and y, i.e., there exist scalars \lambda, \mu not both zero such that z = \lambda x + \mu y. In the case of \mathbb{RP}^2, this join operation corresponds to the cross product: the line through points p = [X_1, Y_1, W_1]^\top and q = [X_2, Y_2, W_2]^\top has homogeneous coordinates l = p \times q = [Y_1 W_2 - Y_2 W_1, W_1 X_2 - W_2 X_1, X_1 Y_2 - X_2 Y_1]^\top, up to scale. This coordinate system allows projective transformations to be expressed as linear maps on \mathbb{R}^{n+1}, preserving the equivalence classes and thus incidences between points and lines.

Projective Spaces

In projective geometry, the real projective space of dimension n, denoted \mathbb{RP}^n, is defined as the set of all one-dimensional linear subspaces (lines through the origin) of the vector space \mathbb{R}^{n+1}. Each point in \mathbb{RP}^n thus represents an equivalence class of nonzero vectors in \mathbb{R}^{n+1} under scalar multiplication by nonzero reals, capturing all possible directions from the origin. This construction generalizes the projective plane \mathbb{RP}^2 (where n=2) to arbitrary dimensions, providing a framework where parallel lines in lower-dimensional affine spaces meet at points at infinity. Projective subspaces, also called flats, are the natural substructures within \mathbb{RP}^n. A k-dimensional projective subspace (or k-flat) is the projectivization of a (k+1)-dimensional linear subspace of \mathbb{R}^{n+1}, consisting of all lines through the origin lying within that vector subspace. For instance, a 0-flat is a single point, a 1-flat is a projective line (generalizing the lines of the projective plane), and a 2-flat is a projective plane embedded in \mathbb{RP}^n. These flats inherit incidence relations from the underlying vector space, where two flats intersect in a flat of dimension at most the minimum of their dimensions, and their join (the smallest flat containing both) spans a higher-dimensional flat. Homogeneous coordinates [x_0 : \dots : x_n] from \mathbb{RP}^n provide a coordinate representation for points and flats, as discussed previously. A key property governing the structure of these subspaces is Grassmann's dimension formula, which relates the dimensions of subspaces, their intersection (meet), and their join. For any two projective subspaces S_1 and S_2 in \mathbb{RP}^n, the dimension of their join L(S_1, S_2) (the smallest flat containing both) satisfies \dim L(S_1, S_2) = \dim S_1 + \dim S_2 - \dim(S_1 \cap S_2), where the empty intersection has dimension -1. Equivalently, the dimension of the intersection (meet) is \dim(S_1 \cap S_2) = \dim S_1 + \dim S_2 - \dim L(S_1, S_2). This formula ensures that the geometry is consistent across dimensions: if S_1 and S_2 are disjoint (dimension -1), their join has dimension \dim S_1 + \dim S_2 + 1; if one contains the other, the join equals the larger subspace. It directly follows from the corresponding Grassmann relation in the ambient vector space \mathbb{R}^{n+1}. An illustrative example is the three-dimensional projective space \mathbb{RP}^3, which acts as the projective closure of the affine 3-space \mathbb{R}^3. This closure is formed by embedding \mathbb{R}^3 as an affine hyperplane in \mathbb{RP}^3 and adjoining a plane at infinity, a 2-flat comprising all projective points corresponding to parallel classes of lines in \mathbb{R}^3. In this setup, any two skew lines in \mathbb{R}^3 (non-intersecting and non-parallel) meet at a unique point on the plane at infinity, while parallel lines share that same infinite point, unifying affine parallelism into projective incidence. Planes in \mathbb{RP}^3 thus consist of an affine plane in \mathbb{R}^3 union a line at infinity, demonstrating how \mathbb{RP}^3 resolves directional behaviors at infinity in three-dimensional geometry.

Axiomatic Systems

Incidence and Parallelism Axioms

The incidence axioms of projective geometry establish the fundamental relationships between points and lines, diverging from by eliminating the concept of parallelism. In , asserts that given a line and a point not on it, there exists exactly one line through the point parallel to the given line. Projective geometry negates this by positing that every pair of distinct lines intersects in exactly one point, ensuring no parallels exist and unifying affine and "infinite" behaviors. This axiom, often termed the elliptic parallel property, forms the cornerstone of projective incidence, allowing all lines to meet, either in the finite plane or at infinity. A comprehensive axiomatic framework for these incidence relations was developed by and John Wesley Young in their seminal two-volume work on projective geometry. Their system treats points and lines as primitive elements, with axioms guaranteeing the existence and uniqueness of joins (lines connecting points) and meets (intersection points of lines). The core incidence axioms are:
  • Any two distinct points determine a unique line, known as the join of the points.
  • Any two distinct lines determine a unique point of intersection, known as the meet of the lines.
These ensure a symmetric duality between points and lines while preventing degenerate configurations. To support non-trivial structures, additional axioms specify existence: there exist at least three non-collinear points, ensuring the geometry is not merely linear. The Veblen-Young axioms thus provide a minimal set for constructing projective spaces of arbitrary finite greater than or equal to 2. For geometries in dimensions higher than 2, the axiom of plane existence extends the incidence structure: any three non-collinear points determine a unique plane containing them. This axiom embeds lower-dimensional subspaces within the higher-dimensional space, allowing planes to be generated as the joins of lines or spans of points while maintaining uniqueness to avoid over-dimensioning. It is essential for defining projective 3-space and beyond, where planes serve as the basic hyper-surfaces. A key non-degeneracy condition in the Veblen-Young system is the eponymous axiom, which addresses the intersection behavior in quadrilateral configurations. It states: if points A, B, C, D are such that the line AB intersects the line CD at a point, then the line AC intersects the line BD at a point, and the line AD intersects the line BC at a point. This axiom, analogous to Pasch's axiom in ordered geometries but adapted for projective incidence, ensures that the space is connected and free of "gaps" in line intersections, facilitating the proof of higher theorems without invoking coordinates. These incidence and parallelism-negating axioms enable synthetic proofs of central theorems, notably Desargues' theorem, which relates two triangles in from a point. In a projective 3-space defined by the above axioms, the theorem for a follows synthetically: consider two triangles in distinct planes sharing a perspective ; their vertices' joining lines concur at a point O by the two-lines-one-point , and the determined by three non-collinear vertices intersects the configuration such that the intersections of corresponding sides are collinear, using repeated applications of unique intersections and the to trace the alignments without metric assumptions. This proof demonstrates the power of pure incidence in deriving properties from spatial structure, independent of order axioms.

Order and Continuity Axioms

In axiomatic systems for projective geometry, order axioms introduce a on the points of each line, enabling the distinction of ordered triples of collinear points without invoking concepts. This , denoted B(A, B, C) to indicate that B lies between A and C on a line, satisfies properties such as: for distinct points A, B, C on a line, exactly one of B(A, B, C), B(B, A, C), or B(C, A, B) holds; if B(A, B, C), then B(A, C, B) is false; and holds, so if B(A, B, D) and B(B, C, D), then B(A, C, D). These axioms adapt Hilbert's group by focusing on projective incidence structures, omitting parallelism to maintain uniformity across lines. A key plane axiom of order in projective geometry is Pasch's axiom, which serves as the projective counterpart to the affine or version. It states that if a line intersects two sides of a but does not pass through any , then it must intersect the third side. This ensures consistent separation properties in the plane, preventing pathological configurations and supporting the development of ordered projective spaces. The axiom, introduced in foundational treatments of geometry, guarantees that the betweenness relation extends coherently from lines to planar figures. Continuity axioms further refine the structure by imposing completeness on the ordered lines, particularly in the real projective case. For the real projective line \mathbb{RP}^1, which is topologically a circle but coordinatized by the real projective field, continuity is achieved through the Dedekind completeness of the underlying real numbers: every non-empty subset of points bounded above has a least upper bound. Alternatively, the Archimedean property ensures that for any two positive elements, there exists a natural number multiple exceeding the other, preventing infinitesimal gaps. These properties, adapted from Hilbert's continuity group (removing metric dependencies), ensure that the real projective geometry is "complete" without discrete interruptions. By incorporating these order and continuity axioms atop incidence structures, real projective geometry embeds as a substructure: selecting a line as the "line at infinity" yields an affine plane isomorphic to the , where betweenness aligns with the standard order on \mathbb{R}^2. This preserves all projective properties while recovering interpretations via additional axioms if desired.

Axioms for Projective Planes

A projective plane is defined by a set of points and lines satisfying the incidence axioms: any two distinct points determine a unique line, any two distinct lines intersect in a unique point, and there exist four points no three of which are collinear. These axioms, originally formalized in the context of Hilbert's foundational work on geometry, provide the minimal structure for a projective plane without additional ordering or assumptions. To achieve coordinatization, Hilbert's incidence axioms are supplemented with Desargues' theorem, which states that if two triangles are from a point (corresponding vertices joined by lines concurrent at that point), then they are from a line (intersections of corresponding sides are collinear). A satisfying these axioms (a Desarguesian plane) can be coordinatized by a , where points are represented as equivalence classes of triples from the division ring under , and lines as linear equations in . Further imposing Pappus' theorem—that the intersections of opposite sides of a inscribed in two lines are collinear—ensures the coordinating structure is a commutative , yielding a Pappian plane isomorphic to the over that . For more general projective planes not assuming Desargues' theorem, coordinatization proceeds via a planar , an consisting of a set R with a t: R \times R \times R \to R satisfying specific axioms: there exist distinct elements and in R such that t(0, a, b) = t(a, 0, b) = b and t(1, a, 0) = t(a, 1, 0) = a; for a \neq c, the map x \mapsto (t(x, a, b), t(x, c, d)) is bijective; for fixed a, b, the map x \mapsto t(a, b, x) is bijective; and for a \neq c, given b, d, there is a unique pair (x, y) such that t(a, x, y) = b and t(c, x, y) = d. This structure, developed in the tradition of von Staudt's early coordinatization efforts, allows construction of the plane's points as ordered pairs from R plus points at infinity, with lines defined using the ternary operation, satisfying the incidence axioms without requiring a . The existence of non-Desarguesian planes demonstrates that Desargues' theorem is independent of the incidence axioms. A seminal example is the Moulton plane, constructed in 1902 by modifying the : points are pairs of real numbers, vertical lines remain as in the , but non-vertical lines have slope m/2 when x \leq 0 (left of the y-axis) and slope m when x > 0, for any slope m \neq 0. This alteration preserves incidence but violates Desargues' theorem, as certain perspective triangles fail to have collinear side intersections. The theorem characterizing Desarguesian planes states that a projective plane is Desarguesian it is coordinatizable by a . The forward direction follows from embedding the plane into a higher-dimensional space or direct algebraic verification using ; the converse constructs the from the plane's operations, verifying field-like properties via Desargues' configurations.

Transformations and Invariants

Perspectivities

A perspectivity is a bijective between two distinct lines (or planes) in a , defined as a central from a fixed center point not lying on either line (or plane). Specifically, for two lines l and l' in the , a perspectivity with center O maps a point A on l to the point A' on l' such that the line AA' passes through O. This construction extends naturally to higher dimensions, where it projects between hyperplanes via lines through the center. Perspectivities preserve key incidence relations, including collinearity of points and concurrence of lines. If three points are collinear on the source line, their images remain collinear on the target line, as the projection rays from the center maintain the relative alignments. Similarly, concurrent lines map to concurrent lines, ensuring that the intersection structure is invariant under the mapping. These properties follow from the linear nature of the projection and underpin theorems like , where two triangles related by a perspectivity have collinear side intersections. A chain of perspectivities refers to the composition of multiple such mappings along a sequence of lines or planes, where each subsequent shares an appropriate and with the previous one. Such compositions are bijective and form the foundational building blocks for more general projective transformations, with any projectivity between two distinct lines expressible as a chain of at most two perspectivities. In the real projective plane \mathbb{RP}^2, a classic example of a perspectivity arises in perspective drawing: consider two l and l' (which intersect at a ), and a center O not on either. The mapping sends points on l to l' along rays through O, effectively simulating the convergence of toward a , thus unifying affine and projective views.

Projectivities

In projective geometry, a projectivity is defined as a bijective between two projective spaces (or between pencils or ranges within them) that preserves the incidence relation between points and lines, meaning collinear points map to collinear points and vice versa. This transformation is equivalently characterized as a finite of perspectivities, which are special projective mappings with a fixed of projection. Projectivities form the general collineation group of the projective space, acting transitively on ordered sets of points in , such as complete quadrangles. In homogeneous coordinates, a projectivity on the real projective space \mathbb{RP}^n is represented by an invertible linear transformation on the underlying vector space \mathbb{R}^{n+1}. Specifically, it acts on a point represented by the equivalence class = [x_0 : x_1 : \dots : x_n], where x \in \mathbb{R}^{n+1} \setminus \{0\} and scalar multiples are identified, via \mapsto [Ax], with A an (n+1) \times (n+1) invertible matrix from \mathrm{GL}(n+1, \mathbb{R}). The group of all such projectivities is the projective linear group \mathrm{PGL}(n+1, \mathbb{R}), obtained as the quotient \mathrm{GL}(n+1, \mathbb{R}) / \mathbb{R}^\times I, where scalar matrices act trivially. A key result is the fundamental theorem of projective geometry, which states that for a projective space of dimension at least 2 over a K, any bijective collineation (incidence-preserving map) is a projectivity induced by a semilinear transformation on the coordinate space. In the real case, this simplifies to projectivities being precisely the elements of \mathrm{PGL}(n+1, \mathbb{R}). Moreover, every projectivity can be expressed as a of perspectivities, and there exists a unique projectivity mapping any complete quadrangle (four points, no three collinear) to any other. Projectivities are classified in part by their fixed points, which correspond to eigenvectors of the representing matrix A: a point $$ is fixed if Ax = \lambda x for some scalar \lambda \neq 0. If a projectivity fixes three distinct points on a line, it must be the identity on that line. A notable subclass is the harmonic homology, an involutory projectivity (H^2 = \mathrm{id}) with a center O (a fixed point) and an axis \ell (a fixed line not containing O). It fixes all points on \ell pointwise and maps any other point X to its harmonic conjugate Y with respect to O and the intersection H_X = [OX] \cap \ell, such that the cross-ratio (O, H_X; X, Y) = -1. This transformation, with eigenvalue -1 on the axis complement, exemplifies projectivities preserving harmonic divisions.

Cross-Ratio

The cross-ratio provides the fundamental invariant for the configuration of four collinear points in projective geometry, determining their relative positions up to projective transformations. For four distinct points A, B, C, D on a line with affine coordinates a, b, c, d, the cross-ratio is defined as (A, B; C, D) = \frac{(c - a)/(c - b)}{(d - a)/(d - b)} = \frac{(c - a)(d - b)}{(c - b)(d - a)}. This expression uses directed distances and remains well-defined in the projective setting, where the line is \mathbb{RP}^1, by incorporating the point at infinity; if any denominator vanishes, the value is \infty. In homogeneous coordinates [x_i : y_i] for points P_i, the cross-ratio extends to (A, B; C, D) = \frac{\det\begin{pmatrix} x_A & x_B \\ y_A & y_B \end{pmatrix} \det\begin{pmatrix} x_C & x_D \\ y_C & y_D \end{pmatrix}}{\det\begin{pmatrix} x_B & x_C \\ y_B & y_C \end{pmatrix} \det\begin{pmatrix} x_D & x_A \\ y_D & y_A \end{pmatrix}}. This determinant form ensures invariance and handles projective completions directly. A defining property of the cross-ratio is its preservation under projectivities, the collineations of the projective line isomorphic to \mathrm{PGL}(2, \mathbb{R}), making it the unique (up to the action of this group) complete invariant for four points. The value depends on the ordering of the points: among the 24 possible permutations, only six distinct cross-ratios arise, related by the transformations q \mapsto 1-q, q \mapsto 1/q, and q \mapsto q/(q-1), where q is the original value; the cases q = 0, 1, \infty correspond to degenerate configurations where points coincide projectively. When the cross-ratio equals -1, the four points form a harmonic division (or harmonic set), a configuration central to projective constructions. In this case, the points C and D are harmonic conjugates with respect to A and B, meaning that the complete quadrilateral formed by lines joining them has diagonals intersecting at a point that "balances" the division projectively; an example is the points at $0, \infty, 1, -1 in affine coordinates. This property is constructible using ruler and compass in the plane and characterizes many self-dual figures. The generalizes to higher-dimensional projective spaces, where it applies to configurations involving through coordinate systems and pencils. In \mathbb{FP}^n, a coordinate with vertices B_0, \dots, B_n defines for points via barycentric combinations, and the extends to four (each a facet-like ) containing a common (n-2)-plane by projecting to a transversal line and using the 1D definition; the invariance holds analogously, with the value determining whether a fourth passes through the projected point. This framework supports volume-based interpretations for , where signed determinants of vertex coordinates yield ratios mirroring the 1D case.

Duality and Polarity

Principle of Duality

The principle of duality in projective geometry asserts that points and lines (or points and planes in higher dimensions) play symmetric roles with respect to incidence relations, allowing any theorem formulated in terms of these elements to be dualized by interchanging "point" with "line" (or "plane"), resulting in an equally valid dual theorem. This symmetry stems from the axiomatic foundations of projective spaces, where the undefined primitives—points and lines—are treated equivalently in the incidence axioms, without privileging one over the other. The principle was first stated in full generality by Joseph Gergonne in 1825–1826, following foundational contributions by in 1817–1818 that emphasized the role of reciprocation in projective transformations. A fundamental example is the dualization of the incidence statement "two distinct points lie on a unique line" to "two distinct lines intersect in a point," both of which hold true in any . Another illustration is the "three non-collinear points determine a ," whose dual is "three lines in (no two parallel, no three concurrent) determine a ," preserving the geometric configuration through the interchange. These dual pairs demonstrate how the principle generates corresponding propositions without altering their validity, relying solely on the self- nature of the . The duality principle is inherently preserved under projectivities, the fundamental transformations of projective geometry that map lines to lines and points to points while maintaining and . Specifically, a projectivity on the space of points induces a corresponding projectivity on the space of lines, ensuring that incidence relations are mirrored exactly in the dual setting. This compatibility underscores the principle's deep integration with the group's on the geometry, allowing dual maps to exist naturally without additional assumptions. While powerful in standard projective spaces, holds primarily in self-dual axiomatic systems focused on unoriented incidence and may fail in non-self-dual settings, such as oriented projective geometries, where the interchange of points and lines disrupts orientation-dependent properties like signed or directed incidences. In these extensions, duality requires modifications to account for the added structure, preventing direct application of the classical .

Polar Reciprocity

In projective geometry, a is defined as a bijective between the points and hyperplanes of a that reverses incidence and is an , meaning applying the map twice yields the . This structure provides a concrete realization of duality, mapping points to hyperplanes and vice versa while preserving the relational properties of the geometry. Polarities are commonly induced by non-degenerate quadrics, which are hypersurfaces defined by quadratic forms. In a projective space \mathbb{P}^n arising from a V over a F (with \mathrm{char}(F) \neq 2), a B: V \times V \to F defines the as follows: for a point \in \mathbb{P}^n (the projective point corresponding to the line spanned by x \in V), its polar hyperplane is the set of points $$ such that B(x, y) = 0. The associated is q(v) = B(v, v), and the is the set \{ \mid q(v) = 0 \}. This construction ensures the map is an because B is symmetric and non-degenerate, so the operation satisfies (U^\perp)^\perp = U for subspaces U \subseteq V. Key properties of such polarities include the existence of absolute points, which are self-polar points satisfying B(x, x) = 0 and thus lying on the quadric. These points play a central role in classifying the polarity (e.g., hyperbolic if there are isotropic subspaces of maximal dimension). Additionally, the polar of a subspace U is its orthogonal complement U^\perp = \{ v \in V \mid B(v, u) = 0 \ \forall u \in U \}, which inherits the lattice structure of the original space under the duality. Non-degeneracy ensures the radicals (kernels where B vanishes entirely) are trivial, preserving the bijection between points and hyperplanes. A representative example occurs in the real projective plane \mathbb{RP}^2, where the polarity with respect to the unit —defined by the quadric x^2 + y^2 - z^2 = 0 in [x : y : z]—arises from the B((x_1, y_1, z_1), (x_2, y_2, z_2)) = x_1 x_2 + y_1 y_2 - z_1 z_2. The polar line of a point [x_0 : y_0 : z_0] is given by the equation \begin{pmatrix} x_0 & y_0 & -z_0 \end{pmatrix} \begin{pmatrix} x \\ y \\ z \end{pmatrix} = 0, or x_0 x + y_0 y - z_0 z = 0. For a point outside the (in the affine view where z=1), this polar is the line joining the points of tangency from that point to the ; points on the are self-polar, with their polars being the tangents at those points. This conic-based exemplifies how (here, a as a special ) generate the reciprocal relations central to projective duality.

Self-Dual Configurations

In projective geometry, a self-dual configuration is an of points and lines that remains unchanged under the principle of duality, featuring a between points and lines that preserves incidence relations. This to its implies an equal number of points and lines, with symmetric incidence properties such that the number of lines through each point matches the number of points on each corresponding line. A fundamental example involves the complete quadrilateral and its dual, the complete quadrangle. The complete quadrilateral comprises 4 lines in (no three concurrent) and their 6 intersection points, with each line containing 3 points and each point incident to 2 lines, denoted as a (6_2 4_3) . Its dual, the complete quadrangle, consists of 4 points in (no three collinear) and the 6 lines joining them pairwise, forming a (4_3 6_2) . While these are not individually self-dual due to differing counts of points and lines, their mutual duality exemplifies the interchangeability central to self-dual structures. The Desargues configuration provides a prominent self-dual example, denoted as 10_3, with 10 points and 10 lines where each line passes through 3 points and each point lies on 3 lines. This configuration emerges from Desargues' theorem, which equates central and axial perspectivities between triangles, and its self-duality follows directly from the theorem's symmetric statement under duality. A key theorem states that in a self-dual admitting a under which the configuration is self-polar (invariant under the polarity ), the —whose rows and columns represent points and lines with entries indicating incidence—can be labeled such that it is symmetric. This symmetry arises because the polarity induces a that equates point-line incidences with line-point incidences, reflecting the configuration's invariance.

Classifications and Models

Real Projective Geometry

The real projective space \mathbb{RP}^n serves as the for projective geometry over the field of real numbers \mathbb{R}. It consists of all one-dimensional subspaces (lines through the origin) of the \mathbb{R}^{n+1}, where each point in \mathbb{RP}^n corresponds to such a line. This endows \mathbb{RP}^n with a natural smooth manifold structure of dimension n. Topologically, \mathbb{RP}^n is obtained as the quotient space S^n / \sim, where S^n is the n-dimensional in \mathbb{R}^{n+1} and \sim identifies each point x with its antipode -x. This identification yields a compact, connected Hausdorff manifold that is second-countable. The space \mathbb{RP}^n is orientable n is odd; for even n, it is non-orientable, as evidenced by its double cover S^n \to \mathbb{RP}^n being orientation-reversing along the non-trivial deck transformation. The affine Euclidean space \mathbb{R}^n embeds naturally into \mathbb{RP}^n via the standard affine chart, where points [x_0 : \dots : x_n] with x_n \neq 0 are identified with (x_0/x_n, \dots, x_{n-1}/x_n) \in \mathbb{R}^n. The complement \mathbb{RP}^n \setminus \mathbb{RP}^{n-1}_\infty \cong \mathbb{R}^n, where \mathbb{RP}^{n-1}_\infty is the hyperplane at infinity consisting of points with x_n = 0. This embedding realizes projective geometry as a compactification of affine geometry, adding the hyperplane at infinity to handle parallel lines and points at infinity uniformly. In the real projective plane \mathbb{RP}^2, are closed curves homeomorphic to S^1 that intersect every in at most two points. A key establishes that every in \mathbb{RP}^2 is the locus of real points of a non-degenerate conic, defined by a ax^2 + by^2 + cz^2 + dxy + exz + fyz = 0 with non-vanishing . Such conics, when possessing real points, form a single connected , as their real loci are topologically circles in the projective closure; examples include projectivizations of ellipses and hyperbolas, which become equivalent under projective transformations. Hyperovals, which extend by adding two nuclei in finite even-order planes, do not arise in the real case due to the continuous nature of \mathbb{R}, though conics provide the maximal analogues, intersecting each line in exactly two points (counting multiplicity).

Finite Projective Geometries

Finite projective geometries, denoted as PG(n, q), are incidence structures defined over the GF(q), where q = p^k for a prime p and positive integer k. These geometries arise from the (n+1)-dimensional V(n+1, q) over GF(q), with points corresponding to the 1-dimensional subspaces and lines to the 2-dimensional subspaces of V. The notation PG(n, q) was introduced by and William H. Bussey in their foundational 1906 paper, which systematically developed these finite analogs of classical projective spaces. A fundamental property of PG(n, q) is that the total number of points is given by the formula \frac{q^{n+1} - 1}{q - 1}, which counts the distinct directions (or rays) in the . Every pair of distinct points in PG(n, q) lies on a unique line, and every pair of distinct lines intersects in a unique point, ensuring a highly symmetric structure without . These geometries are inherently Desarguesian, meaning they satisfy Desargues' theorem—perspective triangles from a point have their intersection points collinear—due to their construction from a . The smallest non-trivial example is the , PG(2, 2), constructed over the field with two elements. It features 7 points and 7 lines, with each line containing 3 points and each point incident to 3 lines, illustrating the basic incidence relations in a compact form. Finite projective planes of order q, such as PG(2, q), relate to affine planes of the same order through the addition of a "line at ," which eliminates parallels by connecting all directions at . In design theory, finite projective planes provide prototypical examples of symmetric 2-(v, k, 1) designs, where the points form a set of size v = q^2 + q + 1, each block (line) has k = q + 1 points, and every pair of distinct points appears in exactly one block. This combinatorial interpretation underscores their utility in constructing balanced incomplete block designs (BIBDs) with λ = 1, facilitating applications in statistical experimentation and coding.

Non-Desarguesian Planes

Non-Desarguesian projective planes are those that do not satisfy Desargues' theorem, meaning they cannot be coordinatized by a (or skew-field). These planes arise in both infinite and finite settings, highlighting pathologies in axiomatic projective geometry where standard theorems fail. Unlike Desarguesian planes, which embed into higher-dimensional spaces over fields, non-Desarguesian examples rely on alternative algebraic structures like near-fields or semifields. A classic infinite example is the Moulton plane, originally an affine plane constructed by modifying the : lines with positive slope remain straight, while those with negative slope bend at the y-axis, doubling their slope below it. This modification preserves affine axioms but violates Desargues' theorem due to the altered parallelism and intersection properties. The projective completion of the Moulton plane, obtained by adding points at infinity, yields a non-Desarguesian that is a Baer plane, satisfying a restricted form of Desargues but not the full theorem. Finite non-Desarguesian planes include Hughes planes, constructed in 1957 using Dickson near-fields of 2 over their sub-division . In a Hughes plane of q^2 (where q is a ), points and lines are defined via the near-field's and , with lines as cosets of subgroups; the non-associativity of the near-field ensures failure of Desargues' theorem, distinguishing these planes from Desarguesian ones over finite fields. Hughes planes are not translation planes and exhibit unique collineation groups. Hall planes, introduced by Marshall Hall Jr. in 1943, form another family of finite non-Desarguesian planes, constructed as translation planes using ternary rings derived from finite fields with modified multiplication tables. For order q^n ( q , n > 1), a Hall plane replaces the field multiplication with a non-associative operation on a over \mathbb{F}_q, ensuring the plane admits a transitive translation group but fails Desargues due to the underlying ring not being a division ring. More generally, translation planes arise from semifields—non-associative division-like structures—where the semifield coordinates the affine plane, and its projective extension is non-Desarguesian unless the semifield is a field. All known non-Desarguesian projective planes of order n > 2 are non-Arguesian, meaning they fail the Argues configuration (a higher-order incidence theorem implying Desargues in Desarguesian planes). This property underscores the rarity of Arguesian non-Desarguesian planes, with no examples known beyond order 2.

Applications and Extensions

In Algebraic Geometry

In algebraic geometry, projective varieties serve as the primary objects for studying the global properties of algebraic sets, defined as the common zero loci of a finite collection of homogeneous polynomials in the projective space \mathbb{P}^n_k over an k. Unlike affine varieties, which may exhibit non-compact behavior, projective varieties are compact in the classical and incorporate points at , enabling a unified treatment of asymptotic phenomena and intersections. This definition ensures that projective varieties are closed subsets of \mathbb{P}^n_k invariant under , facilitating the use of to describe them rigorously. A central method for embedding affine varieties into the projective setting is homogenization, which transforms non-homogeneous polynomials from affine space \mathbb{A}^n into homogeneous ones by introducing a new variable z and multiplying terms by appropriate powers of z to equalize degrees. For example, the affine hyperbola defined by xy = 1 in \mathbb{A}^2 homogenizes to the equation xy - z^2 = 0 in \mathbb{P}^2, where the line at infinity z=0 intersects the curve at the point [1:0:0] and [0:1:0], completing the affine picture. This process yields the projective closure of the affine variety, preserving algebraic structure while adding infinite points, and is essential for applying projective techniques to affine problems. Bézout's theorem exemplifies the power of projective geometry in , stating that two plane curves of degrees d and e in \mathbb{P}^2, with no common irreducible component, intersect in exactly de points, counted with appropriate multiplicity. This result relies on the compactness of to guarantee all intersections are finite and accounts for multiplicities via the local ring at intersection points, providing a foundational tool for . In higher dimensions, generalizations to complete intersections maintain this degree-based counting, highlighting 's role in resolving affine limitations. In modern , particularly within scheme theory, the formalizes projective varieties by associating to a finitely generated graded S over a base ring the scheme \mathrm{Proj}(S), which consists of homogeneous prime ideals not containing the irrelevant ideal (S_+). This functorial approach extends classical projective varieties to schemes, accommodating non-reduced structures, torsion, and relative situations over arbitrary base schemes, and underpins advanced topics like moduli spaces and . The construction is detailed in Hartshorne's foundational , where it unifies affine and projective schemes via the distinguished open cover by \mathrm{Spec}(S_{(f)}) for homogeneous elements f.

In Computer Vision and Graphics

In , the serves as the foundational representation of , modeling the of three-dimensional world points onto a two-dimensional as a projective transformation. This model assumes an ideal point-like aperture through which light rays pass without distortion, mapping a 3D point \mathbf{X} = (X, Y, Z)^T in to a 2D image point \mathbf{x} = (x, y, 1)^T via a 3×4 matrix \mathbf{P}, such that \mathbf{x} \propto \mathbf{P} \mathbf{X}. The intrinsic parameters (focal length, principal point) and extrinsic parameters (rotation and translation) are encoded in \mathbf{P}, enabling the handling of perspective effects inherent to projective geometry. Homographies extend this framework to planar scenes or image-to-image mappings, represented by a 3×3 \mathbf{H} that induces a projectivity between two planes: \mathbf{x}' \propto \mathbf{H} \mathbf{x}. In vision tasks, homographies arise when projecting a planar surface from one view to another, preserving straight lines and incidence relations while allowing for . This matrix has 8 (up to scale), estimated from at least four point correspondences using linear methods like the (DLT). Homographies are crucial for rectifying images or aligning features in scenarios where depth variations are negligible. Epipolar geometry captures the projective relationship between two uncalibrated views, constraining corresponding points to lie on epipolar lines defined by the fundamental matrix \mathbf{F}, a 3×3 matrix of rank 2 satisfying \mathbf{x}'^T \mathbf{F} \mathbf{x} = 0. This matrix encodes the essential projective structure, with its null space revealing the epipole (projection of one camera center onto the other image). Derived from the relative pose and intrinsics of the cameras, \mathbf{F} has 7 degrees of freedom and is computed from at least eight point correspondences via eigendecomposition or iterative optimization. Epipolar constraints reduce the search space for stereo matching and facilitate 3D reconstruction by imposing geometric consistency across views. These concepts underpin key applications in and graphics. In panorama stitching, homographies align overlapping images captured from a rotating camera, warping them into a cohesive wide-field view by estimating \mathbf{H} from feature matches (e.g., SIFT keypoints); this projective alignment handles minimally for near-planar scenes, enabling seamless blending. For calibration, the DLT algorithm estimates camera parameters from known 3D-2D correspondences, solving \mathbf{P} via to register virtual overlays onto real environments with sub-pixel accuracy in controlled setups. Such methods ensure robust pose estimation, vital for real-time AR systems like head-mounted displays.

Connections to Other Geometries

Projective geometry provides a unifying framework for various classical geometries by embedding them as subgeometries, where , hyperbolic, elliptic, and conformal structures arise through specific choices of metrics or subspaces within . emerges from projective geometry by removing the line at , which consists of all points corresponding to directions of in the . In this construction, in the intersect at points on the line at in the full , thereby recovering the parallel postulate absent in pure projective geometry. This embedding allows transformations to be viewed as projective transformations that preserve the line at . Hyperbolic and elliptic geometries are realized within projective geometry through the Beltrami-Klein model, where the geometry is represented inside a bounded by a conic section serving as the "line at infinity." In the hyperbolic case, points lie inside the conic disk, with straight lines as chords, and distances defined via the projective metric induced by the conic, ensuring parallelism. For , the model covers the entire , with the conic identifying antipodal points to form a metric of constant positive . This projective embedding, developed by Eugenio Beltrami and , demonstrates the consistency of non-Euclidean geometries by reducing them to projective properties. Conformal geometry connects to projective geometry via Möbius transformations, which preserve angles and can be interpreted as projective transformations in one higher dimension. Specifically, Möbius transformations on the correspond to linear fractional transformations in the complex , but in three dimensions, they act as projective maps on the sphere embedded in projective 3-space, mapping circles to circles and preserving the conformal structure. This higher-dimensional projective realization unifies conformal mappings with projective invariance. A fundamental result states that all classical geometries—affine, Euclidean, hyperbolic, elliptic, and conformal—can be embedded as subgeometries of projective geometry, with their transformation groups as subgroups of the . This embedding theorem highlights projective geometry's role as a foundational structure encompassing these geometries through appropriate choices of subspaces and metrics.