Editing Incidence geometry (section)

{{Short description|Field of mathematics which studies incidence structures}}
{{General geometry |branches}}
{{About|the field of mathematics|the class of geometric structures|Buekenhout geometry}}
In [[mathematics]], '''incidence geometry''' is the study of [[incidence structure]]s. A geometric structure<!--Do not wikilink, the redirect is inappropriate--> such as the [[Euclidean plane]] is a complicated object that involves concepts such as length, angles, continuity, betweenness, and [[incidence (geometry)|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.<ref>As, for example, L. Storme does in his chapter on Finite Geometry in {{harvtxt|Colbourn|Dinitz|2007|loc=pg. 702}}</ref>

Incidence structures arise naturally and have been studied in various areas of mathematics. Consequently, there are different terminologies to describe these objects. In [[graph theory]] they are called [[hypergraph]]s, and in [[Combinatorial design|combinatorial design theory]] they are called [[block design]]s. Besides the difference in terminology, each area approaches the subject differently and is interested in questions about these objects relevant to that discipline. Using geometric language, as is done in incidence geometry, shapes the topics and examples that are normally presented. It is, however, possible to translate the results from one discipline into the terminology of another, but this often leads to awkward and convoluted statements that do not appear to be natural outgrowths of the topics. In the examples selected for this article we use only those with a natural geometric flavor.

A special case that has generated much interest deals with finite sets of points in the [[Euclidean plane]] and what can be said about the number and types of (straight) lines they determine. Some results of this situation can extend to more general settings since only incidence properties are considered.