In mathematics, incidence geometry is the study of incidence structures. A geometry such as the Euclidean plane is a complicated object involving concepts such as length, angles, continuity, betweeness and incidence. An incidence structure is what is obtained when all the other concepts are removed and all that remains is the data about which points lie on which lines. Even with this severe limitation, theorems can be proved and interesting facts emerge concerning this structure. Such fundamental results remain valid when additional concepts are added back to form a richer geometry. It sometimes happens that authors will blur the distinction between a study and the objects of that study, so it is not surprising to find that some authors will refer to incidence structures as incidence geometries.
An incidence structure (P, L, I) consists of a set P whose elements are called points, a disjoint set L whose elements are called lines and an incidence relation I between them, that is, a subset of P × L. Intuitively, a point and line are in this relation if and only if the point is on the line.
Incidence structures that are most studied are those that satisfy some additional properties (axioms), such as projective planes, affine planes, and polar spaces. Very general incidence structures can be obtained by imposing "mild" conditions, such as:
A partial linear space is an incidence structure for which the following axioms are true:
- Every pair of distinct points determines at most one line.
- Every line contains at least two distinct points.
- Every pair of distinct points determines exactly one line.
Some authors would add a "non-triviality" axiom to the definition of a (partial) linear space, such as:
- There exist at least two distinct lines.
This is used to rule out some very small examples (mainly when the sets P or L have fewer than two elements) that would normally be exceptions to general statements made about the incidence structures. An alternative to adding the axiom is to refer to incidence structures which do not satisfy the axiom as being trivial and those that do as non-trivial.
Each non-trivial linear space contains at least three points and three lines, so the simplest non-trivial linear space that can exist may be represented by:
One famous incidence geometry was developed by the Italian mathematician Fano. In his work on proving the independence of Hilbert's axioms he worked with a three dimensional space in which each line had only three points on it. The planes in this space consisted of seven points and seven lines and are now known as Fano planes:
A finite incidence geometry (one with a finite number of points and lines) is equivalent to an incidence matrix which gives a visual representation of all the incidence relations in the geometry. The rows of the matrix represent points, while the columns represent lines. An entry of one in row i and column j means that the point i is incident with the line j. All other entries are zero. The incidence matrix for the Fano plane looks like this:
The incidence matrix contains all the information that is known about an incidence geometry. Being an algebraic object it may be studied with algebraic tools thus opening an avenue for obtaining additional information about the geometry.
The line-line matrix indicates the number of common points for each line-pair. The line-line matrix for the Fano plane is:
The line-line matrix can be obtained from the incidence matrix. If N is the incidence matrix and NT is the transpose of the incidence matrix, then the line-line matrix is the matrix product, L = NT × N.
The point-point matrix indicates the number of lines common to each point-pair. The point-point matrix for the Fano plane is as follows:
The point-point matrix can also be derived from the incidence matrix. If N is the incidence matrix and NT is the transpose of the incidence matrix, then the point-point matrix is the product P = N × NT.
The de Bruijn-Erdös theorem
- In a projective plane, every non-collinear set of n points determines at least n distinct lines.
As the authors pointed out, since their proof was combinatorial, the result holds in a larger setting, in fact in any incidence geometry.
See also↑Jump back a section
- As, for example, L. Storme does in his chapter on Finite Geometry in Colbourn & Dinitz (2007, pg. 702)
- Technically this is a rank two incidence structure, where rank refers to the number of types of objects under consideration (here, points and lines). Higher ranked structures are also studied, but several authors limit themselves to the rank two case, as shall we.
- Moorhouse, pg.5
- Moorhouse, pg. 5
- There are several alternatives for this "non-triviality" axiom. This could be replaced by "there exist three points not on the same line" as is done in Batten & Beutelspacher (1993, pg. 1). There are other choices, but they must always be existence statements that rule out the very simple cases which are to be excluded.
- Batten, Lynn Margaret; Beutelspacher, Albrecht (1993), The Theory of Finite Linear Spaces, New York: Cambridge University Press, ISBN 0-521-33317-2
- Buekenhout, Francis (1995), Handbook of Incidence Geometry: Buildings and Foundations, Elsevier B.V.
- Colbourn, Charles J.; Dinitz, Jeffrey H. (2007), Handbook of Combinatorial Designs (2nd Edition ed.), Boca Raton: Chapman & Hall/ CRC, ISBN 1-58488-506-8
- Moorhouse, G. Eric. "Incidence Geometry". Retrieved Oct. 20, 2012.