In mathematics, specifically projective geometry, a configuration in the plane consists of a finite set of points, and a finite arrangement of lines, such that each point is incident to the same number of lines and each line is incident to the same number of points. [1]
Although certain specific configurations had been studied earlier (for instance by Thomas Kirkman in 1849), the formal study of configurations was first introduced by Theodor Reye in 1876, in the second edition of his book Geometrie der Lage, in the context of a discussion of Desargues' theorem. Ernst Steinitz wrote his dissertation on the subject in 1894, and they were popularized by Hilbert and Cohn-Vossen's 1932 book Anschauliche Geometrie, reprinted in English as Hilbert & Cohn-Vossen (1952).
Configurations may be studied either as concrete sets of points and lines in a specific geometry, such as the Euclidean or projective planes (these are said to be realizable in that geometry), or as a type of abstract incidence geometry. In the latter case they are closely related to regular hypergraphs and biregular bipartite graphs, but with some additional restrictions: every two points of the incidence structure can be associated with at most one line, and every two lines can be associated with at most one point. That is, the girth of the corresponding bipartite graph (the Levi graph of the configuration) must be at least six.
A configuration in the plane is denoted by (pγℓπ), where p is the number of points, ℓ the number of lines, γ the number of lines per point, and π the number of points per line. These numbers necessarily satisfy the equation
as this product is the number of point-line incidences (flags).
Configurations having the same symbol, say (pγℓπ), need not be isomorphic as incidence structures. For instance, there exist three different (93 93) configurations: the Pappus configuration and two less notable configurations.
In some configurations, p = ℓ and consequently, γ = π. These are called symmetric or balanced configurations [2] and the notation is often condensed to avoid repetition. For example, (93 93) abbreviates to (93).
Notable projective configurations include the following:
The projective dual of a configuration (pγℓπ) is a (ℓπpγ) configuration in which the roles of "point" and "line" are exchanged. Types of configurations therefore come in dual pairs, except when taking the dual results in an isomorphic configuration. These exceptions are called self-dual configurations and in such cases p = ℓ. [5]
The number of nonisomorphic configurations of type (n3), starting at n = 7, is given by the sequence
These numbers count configurations as abstract incidence structures, regardless of realizability. [6] As Gropp (1997) discusses, nine of the ten (103) configurations, and all of the (113) and (123) configurations, are realizable in the Euclidean plane, but for each n ≥ 16 there is at least one nonrealizable (n3) configuration. Gropp also points out a long-lasting error in this sequence: an 1895 paper attempted to list all (123) configurations, and found 228 of them, but the 229th configuration, the Gropp configuration, was not discovered until 1988.
There are several techniques for constructing configurations, generally starting from known configurations. Some of the simplest of these techniques construct symmetric (pγ) configurations.
Any finite projective plane of order n is an ((n2 + n + 1)n + 1) configuration. Let Π be a projective plane of order n. Remove from Π a point P and all the lines of Π which pass through P (but not the points which lie on those lines except for P) and remove a line ℓ not passing through P and all the points that are on line ℓ. The result is a configuration of type ((n2 – 1)n). If, in this construction, the line ℓ is chosen to be a line which does pass through P, then the construction results in a configuration of type ((n2)n). Since projective planes are known to exist for all orders n which are powers of primes, these constructions provide infinite families of symmetric configurations.
Not all configurations are realizable, for instance, a (437) configuration does not exist. [7] However, Gropp (1990) has provided a construction which shows that for k ≥ 3, a (pk) configuration exists for all p ≥ 2 ℓk + 1, where ℓk is the length of an optimal Golomb ruler of order k.
The concept of a configuration may be generalized to higher dimensions, [8] for instance to points and lines or planes in space. In such cases, the restrictions that no two points belong to more than one line may be relaxed, because it is possible for two points to belong to more than one plane.
Notable three-dimensional configurations are the Möbius configuration, consisting of two mutually inscribed tetrahedra, Reye's configuration, consisting of twelve points and twelve planes, with six points per plane and six planes per point, the Gray configuration consisting of a 3×3×3 grid of 27 points and the 27 orthogonal lines through them, and the Schläfli double six, a configuration with 30 points, 12 lines, two lines per point, and five points per line.
Configuration in the projective plane that is realized by points and pseudolines is called topological configuration. [2] For instance, it is known that there exists no point-line (194) configurations, however, there exists a topological configuration with these parameters.
Another generalization of the concept of a configuration concerns configurations of points and circles, a notable example being the (83 64) Miquel configuration. [2]
In mathematics, the concept of a projective space originated from the visual effect of perspective, where parallel lines seem to meet at infinity. A projective space may thus be viewed as the extension of a Euclidean space, or, more generally, an affine space with points at infinity, in such a way that there is one point at infinity of each direction of parallel lines.
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 to Euclidean points, and vice-versa.
Synthetic geometry is geometry without the use of coordinates. It relies on the axiomatic method for proving all results from a few basic properties initially called postulate, and presently called axioms.
In projective geometry, Desargues's theorem, named after Girard Desargues, states:
In finite geometry, the Fano plane is a finite projective plane with the smallest possible number of points and lines: 7 points and 7 lines, with 3 points on every line and 3 lines through every point. These points and lines cannot exist with this pattern of incidences in Euclidean geometry, but they can be given coordinates using the finite field with two elements. The standard notation for this plane, as a member of a family of projective spaces, is PG(2, 2). Here PG stands for "projective geometry", the first parameter is the geometric dimension and the second parameter is the order.
In geometry, a striking feature of projective planes is the symmetry of the roles played by points and lines in the definitions and theorems, and (plane) duality is the formalization of this concept. There are two approaches to the subject of duality, one through language 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.
In mathematics, an incidence structure is an abstract system consisting of two types of objects and a single relationship between these types of objects. Consider the points and lines of the Euclidean plane as the two types of objects and ignore all the properties of this geometry except for the relation of which points are on which lines for all points and lines. What is left is the incidence structure of the Euclidean plane.
The Sylvester–Gallai theorem in geometry states that every finite set of points in the Euclidean plane has a line that passes through exactly two of the points or a line that passes through all of them. It is named after James Joseph Sylvester, who posed it as a problem in 1893, and Tibor Gallai, who published one of the first proofs of this theorem in 1944.
In combinatorial mathematics, a Levi graph or incidence graph is a bipartite graph associated with an incidence structure. From a collection of points and lines in an incidence geometry or a projective configuration, we form a graph with one vertex per point, one vertex per line, and an edge for every incidence between a point and a line. They are named for Friedrich Wilhelm Levi, who wrote about them in 1942.
In mathematics, incidence geometry is the study of incidence structures. A geometric structure such as the Euclidean plane is a complicated object that involves concepts such as length, angles, continuity, betweenness, and incidence. An incidence structure is what is obtained when all 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 to form a richer geometry. It sometimes happens that authors blur the distinction between a study and the objects of that study, so it is not surprising to find that some authors refer to incidence structures as incidence geometries.
In geometry, the Desargues configuration is a configuration of ten points and ten lines, with three points per line and three lines per point. It is named after Girard Desargues.
In geometry, the Möbius–Kantor configuration is a configuration consisting of eight points and eight lines, with three points on each line and three lines through each point. It is not possible to draw points and lines having this pattern of incidences in the Euclidean plane, but it is possible in the complex projective plane.
Ordered geometry is a form of geometry featuring the concept of intermediacy but, like projective geometry, omitting the basic notion of measurement. Ordered geometry is a fundamental geometry forming a common framework for affine, Euclidean, absolute, and hyperbolic geometry.
In geometry, the Möbius configuration or Möbius tetrads is a certain configuration in Euclidean space or projective space, consisting of two mutually inscribed tetrahedra: each vertex of one tetrahedron lies on a face plane of the other tetrahedron and vice versa. Thus, for the resulting system of eight points and eight planes, each point lies on four planes, and each plane contains four points.
In geometry, the Hesse configuration, introduced by Colin Maclaurin and studied by Hesse (1844), is a configuration of 9 points and 12 lines with three points per line and four lines through each point. It can be realized in the complex projective plane as the set of inflection points of an elliptic curve, but it has no realization in the Euclidean plane.
In geometry, the Reye configuration, introduced by Theodor Reye (1882), is a configuration of 12 points and 16 lines. Each point of the configuration belongs to four lines, and each line contains three points. Therefore, in the notation of configurations, the Reye configuration is written as 124163.
In mathematics, the Cremona–Richmond configuration is a configuration of 15 lines and 15 points, having 3 points on each line and 3 lines through each point, and containing no triangles. It was studied by Cremona (1877) and Richmond (1900). It is a generalized quadrangle with parameters (2,2). Its Levi graph is the Tutte–Coxeter graph.
Geometry and the Imagination is the English translation of the 1932 book Anschauliche Geometrie by David Hilbert and Stefan Cohn-Vossen.
In geometry, the Grünbaum–Rigby configuration is a symmetric configuration consisting of 21 points and 21 lines, with four points on each line and four lines through each point. Originally studied by Felix Klein in the complex projective plane in connection with the Klein quartic, it was first realized in the Euclidean plane by Branko Grünbaum and John F. Rigby.
In mathematics, Danzer's configuration is a self-dual configuration of 35 lines and 35 points, having 4 points on each line and 4 lines through each point. It is named after the German geometer Ludwig Danzer and was popularised by Branko Grünbaum. The Levi graph of the configuration is the Kronecker cover of the odd graph O4, and is isomorphic to the middle layer graph of the seven-dimensional hypercube graph Q7. The middle layer graph of an odd-dimensional hypercube graph Q2n+1(n,n+1) is a subgraph whose vertex set consists of all binary strings of length 2n + 1 that have exactly n or n + 1 entries equal to 1, with an edge between any two vertices for which the corresponding binary strings differ in exactly one bit. Every middle layer graph is Hamiltonian.