Duality (projective geometry)

In projective geometry, duality or plane duality is a formalization of the striking symmetry of the roles played by points and lines in the definitions and theorems of projective planes. There are two approaches to the subject of duality, one through language (§ Principle of duality) 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.

Principle of duality

A projective plane C may be defined axiomatically as an incidence structure, in terms of a set P of points, a set L of lines, and an incidence relation I that determines which points lie on which lines. These sets can be used to define a plane dual structure.

Interchange the role of "points" and "lines" in

C = (P, L, I)

to obtain the dual structure

C∗ = (L, P, I∗),

where I∗ is the converse relation of I. C∗ is also a projective plane, called the dual plane of C.

If C and C∗ are isomorphic, then C is called self-dual. The projective planes PG(2, K) for any field (or, more generally, for every division ring (skewfield) isomorphic to its dual) K are self-dual.