Английская Википедия:Configuration (geometry)

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

Шаблон:Short description Шаблон:About

Файл:Complete-quads.svg
Configurations (4362) (a complete quadrangle, at left) and (6243) (a complete quadrilateral, at right).

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 Шаблон:Harvtxt.

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.

Notation

A configuration in the plane is denoted by (Шаблон:Math), where Шаблон:Math is the number of points, Шаблон:Math the number of lines, Шаблон:Math the number of lines per point, and Шаблон:Pi the number of points per line. These numbers necessarily satisfy the equation

<math>p\gamma = \ell\pi\,</math>

as this product is the number of point-line incidences (flags).

Configurations having the same symbol, say (Шаблон:Math), 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, Шаблон:Math and consequently, Шаблон:Math. These are called symmetric or balanced configurationsШаблон:Sfn and the notation is often condensed to avoid repetition. For example, (93 93) abbreviates to (93).

Examples

Файл:Non-Desargues configuration.svg
A (103) configuration that is not incidence-isomorphic to a Desargues configuration

Notable projective configurations include the following:

Duality of configurations

The projective dual of a configuration (Шаблон:Math) is a (Шаблон:Math) 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 Шаблон:Math.[3]

The number of (Шаблон:Math) configurations

The number of nonisomorphic configurations of type (Шаблон:Math), starting at Шаблон:Math, is given by the sequence

1, 1, 3, 10, 31, 229, 2036, 21399, 245342, ... Шаблон:OEIS

These numbers count configurations as abstract incidence structures, regardless of realizability.Шаблон:Sfn As Шаблон:Harvtxt discusses, nine of the ten (103) configurations, and all of the (113) and (123) configurations, are realizable in the Euclidean plane, but for each Шаблон:Math there is at least one nonrealizable (Шаблон:Math) 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.

Constructions of symmetric configurations

There are several techniques for constructing configurations, generally starting from known configurations. Some of the simplest of these techniques construct symmetric (Шаблон:Math) configurations.

Any finite projective plane of order Шаблон:Math is an ((Шаблон:Math configuration. Let Шаблон:Math be a projective plane of order Шаблон:Math. Remove from Шаблон:Math a point Шаблон:Math and all the lines of Шаблон:Math which pass through Шаблон:Math (but not the points which lie on those lines except for Шаблон:Math) and remove a line Шаблон:Math not passing through Шаблон:Math and all the points that are on line Шаблон:Math. The result is a configuration of type ((Шаблон:Math. If, in this construction, the line Шаблон:Math is chosen to be a line which does pass through Шаблон:Math, then the construction results in a configuration of type ((Шаблон:Math. Since projective planes are known to exist for all orders Шаблон:Math 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.[4] However, Шаблон:Harvtxt has provided a construction which shows that for Шаблон:Math, a (Шаблон:Math) configuration exists for all Шаблон:Math, where Шаблон:Math is the length of an optimal Golomb ruler of order Шаблон:Math.

Unconventional configurations

Higher dimensions

Файл:Double six.svg
The Schläfli double six.

The concept of a configuration may be generalized to higher dimensions,Шаблон:Sfn 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.

Topological configurations

Configuration in the projective plane that is realized by points and pseudolines is called topological configuration.Шаблон:Sfn For instance, it is known that there exists no point-line (194) configurations, however, there exists a topological configuration with these parameters.

Configurations of points and circles

Another generalization of the concept of a configuration concerns configurations of points and circles, a notable example being the (83 64) Miquel configuration.Шаблон:Sfn

See also

  • Perles configuration, a set of 9 points and 9 lines which do not all have equal numbers of incidences to each other

Notes

Шаблон:Reflist

References

External links

  1. In the literature, the terms projective configuration Шаблон:Harv and tactical configuration of type (1,1) Шаблон:Harv are also used to describe configurations as defined here.
  2. Шаблон:Harvnb, Шаблон:Harvnb
  3. Шаблон:Harvnb
  4. This configuration would be a projective plane of order 6 which does not exist by the Bruck–Ryser theorem.