incidence geometry
Incidence geometry is essentially geometry^{} based on the first postulate^{} in Euclid’s The Elements. Basically, the first postulate states that we can draw a straight line from one point to another point. At the end of the 19th century, David Hilbert extended and axiomatized this postulate by adding several companion “incidence axioms” in his famous “Grundlagen der Geometrie” (). Since Hilbert’s publication, his axioms of incidence have been characterized by alternative but equivalent^{} (http://planetmath.org/Equivalent3) versions, as well as generalized as to include areas of interests from other branches of mathematics, especially, in combinatorics. In this entry, we will define incidence geometry using abstract notions of sets, functions, and relations^{} (specifically, an incidence relation) and then briefly discuss how this definition is related to the axioms of incidence that we know from high school and college.
Definition. Let $P$ be a set and $n$ a positive integer. An incidence geometry on $P$ consists of

•
an onto function $t:P\to \{0,1,\mathrm{\dots},n\}$ called a type function. If we define ${P}_{i}:={t}^{1}(i)$, then $P$ can be partitioned into a finite number of subsets:
$$P={P}_{0}\cup \mathrm{\cdots}\cup {P}_{n},\text{with}{P}_{i}\cap {P}_{j}=\mathrm{\varnothing}\text{for}i\ne j.$$ Elements of ${P}_{i}$ are variously known as blocks or varieties^{} of type $i$. Sometimes, they are also called flats of dimension^{} $i$. For this discussion, we will use the latter terminology. Flats of specific dimensions have further conditions:

(a)
${P}_{0}\ne \mathrm{\varnothing}$. Flats of dimension 0 are called points.

(b)
${P}_{n}\ne \mathrm{\varnothing}$ and consists of one element $S$, called the space.

(a)

•
a reflexive^{} (http://planetmath.org/Reflexive) and symmetric relation^{} $I\subseteq P\times P$ on $P$, called an incidence relation, with the following conditions (or axioms):

(a)
for any $a,b$ such that $(a,b)\in I$ and $t(a)=t(b)$, then $a=b$;

(b)
suppose $t(a)\le t(b)\le t(c)$ with $(a,b)\in I$ and $(b,c)\in I$, then $(a,c)\in I$;

(c)
given that $$, there is a point $p$ such that $(p,a)\notin I$;

(d)
given $$ and a point $p$ with $(p,a)\notin I$, there is a unique $b$ with $t(b)=t(a)+1$, such that $(a,b)\in I$ and $(p,b)\in I$; furthermore, if, in addition, there is a $c$ such that $(p,c)\in I$ and $(a,c)\in I$, then $(b,c)\in I$ as well;

(e)
given that $t(a)>0$, there is a pair of a point $p$ and a flat $b$, with $t(b)=t(a)1$ and $(p,b)\notin I$, such that $(b,a)\in I$ and $(p,a)\in I$;

(f)
given that $$, a point $p$ with $(p,a),(p,b)\in I$, and a flat $d$ with $t(d)=i+1$, $(a,d),(b,d)\in I$, then there is a $c$ with $t(c)=i1$ such that $(a,c),(b,c)\in I$.

(a)
An incidence geometry is often written as a triple $(P,n,I)$.
Remarks.

•
Flats of dimensions 1 and 2 are commonly called lines and planes, respectively. Flats of dimension $n1$ are called hyperplanes^{}.
 •

•
Condition 2 is known as the “weak” , or the “transversality” of $I$. Basically, $(a,b)\in I$ and $(b,c)\in I$ imply $(a,c)\in I$ whenever the dimensions of $a,b$ and $c$ are in a nondecreasing order.

•
From Conditions 4 and 5 above, given any flat $a$ of dimension $i>0$, there exist a point $p$ and a flat $b$ of dimension $i1$ with the properties that

(a)
$p$ is not incident with $b$,

(b)
$a$ is incident with $p$, and

(c)
$a$ is incident with $b$,
then the unique flat of dimension $i$ mentioned in Condition 4 is $a$. We say that $a$ is generated by $p$ and $b$, or that $p$ and $b$ generate $a$, and we write $a=\u27e8p,b\u27e9$. When $b$ is a point, $a$ is often written as $\overleftrightarrow{pb}$. In addition, if we were to pick a different pair of a point ${p}^{\prime}$ and a flat ${b}^{\prime}$ of dimension $i1$ satisfying the above three properties, then $a=\u27e8{p}^{\prime},{b}^{\prime}\u27e9$ as well.

(a)

•
From the second part of Condition 4, $\u27e8p,b\u27e9$ is, in a sense, the smallest block (in terms of its type number), such that the above three properties hold. In other words, for any block $a$ with $(p,a)\in I$ and $(b,a)\in I$, then $(\u27e8p,b\u27e9,a)\in I$. It is easy to see that $t(a)\ge t(\u27e8p,b\u27e9)$. For otherwise, $$, which means $t(a)\le t(b)$. This inequality together with $(p,a)\in I$ and $(a,b)$ imply that $(p,b)\in I$, a contradiction^{}.

•
In Condition 6, if $a\ne b$, then $c$ is necessarily incident with $p$. Otherwise, $a=\u27e8p,c\u27e9=b$. Also, without much trouble, one can show that $d$ in the condition must be unique.

•
${P}_{i}\ne \mathrm{\varnothing}$ for all $0\le i\le n$. In other words, there exists at least one flat of every dimension. To see this, we first observe that ${P}_{0}\ne \mathrm{\varnothing}$, there is at least one point $p$. With $p$, there is a point $q$ such that $(p,q)\notin I$. Therefore, there is a (unique) line $\mathrm{\ell}$ that is incident with both $p$ and $q$. Continue this way until we reach $i=n$.

•
Any flat of dimension $i$ is incident with at least $i+1$ points.

•
Every flat is incident with at least one flat of every dimension. As a result, the space $S$ is incident with every flat of every dimension.
Shadow. For any $a\in P$, define $I(a)=\{b\in P\mid (a,b)\in I\}$, ${I}^{}(a)=\{b\in I(a)\mid t(b)\le t(a)\}$, and ${I}^{+}(a)=\{b\in I(a)\mid t(b)\ge t(a)\}$. For specific type $k$, we also define ${I}_{k}(a)=\{b\mid t(b)=k\text{and}(b,a)\in I\}$. When $k=0$, ${I}_{0}(a)$, the set of all points incident with $a$, is referred to as the shadow of $a$. We have that ${I}_{0}(a)\subseteq {I}^{}(a)\subseteq I(a)$. We also have ${I}^{}(a)\cap {I}^{+}(a)={I}_{t(a)}(a)=\{a\}$.
Remark. It is possible to show that $(a,b)\in I$ if and only if ${I}_{0}(a)\subseteq {I}_{0}(b)$ or ${I}_{0}(b)\subseteq {I}_{0}(a)$. Furthermore, if ${I}_{0}(a)\subseteq {I}_{0}(b)$, then $t(a)\le t(b)$. In particular, $a=b$ if and only if ${I}_{0}(a)={I}_{0}(b)$. From the last remark above, $I(S)=P$, and in particular ${P}_{k}={I}_{k}(S)\subset I(S)$. We also have for any flat $a$, ${I}_{0}(a)\subseteq {I}_{0}(S)$. This says that every singleton subset of ${I}_{0}(S)$ is of the form ${I}_{0}(p)$ for some $p$. The discussion so far suggests the following simpler, more intuitive, formulation of incidence geometry:
Let $A$ be a set. An incidence geometry on $A$ is a subset $P$ of the power set^{} of $A$ such that $P$ can be partitioned into $n+1$ finite subsets ${P}_{0},\mathrm{\dots},{P}_{n}$ with the following axioms:

1.
${P}_{0}$ consists of all singleton subsets of $A$ and ${P}_{0}$ is nonempty; elements of ${P}_{0}$ are called points of $A$. Since there is an obvious onetoone correspondence between $A$ and ${P}_{0}$, we shall follow by convention and call elements of $A$ points of $A$ instead;

2.
${P}_{n}=\{A\}$; $A$ is called the space;

3.
for every element $a$ of ${P}_{i}$, where $$, there is a point $p$ such that $p\notin a$;

4.
for every $a\in {P}_{i}$, where $$, and point $p$ such that $p\notin A$, there is a unique $b\in {P}_{i+1}$ such that $a\subset b$ and $p\in b$; furthermore, if there is a $c$ with $a\subset c$ and $p\in c$, then $b\subseteq c$;

5.
for every $a\in {P}_{i}$, where $i>0$, then there is a point $p$ and a $b\in {P}_{i1}$ with $p\notin b$, such that $p\in a$ and $b\subset a$;

6.
if $a,b\in {P}_{i}$ and $d\in {P}_{i+1}$, where $$, with a point $p$ such that $p\in a\subset d$ and $p\in b\subset d$, then there is a $c\in {P}_{i1}$ such that $c\subset a$ and $c\subset b$.
If we define $I$ on $P$ to be $(a,b)\in I$ if and only if there is a symmetrized inclusion relation between $a$ and $b$ ($a\subseteq b$ or $b\subseteq a$), it is not hard to verify that $I$ is an incidence relation on $P$.
Remarks. Elements of ${P}_{1}$ are called lines of $A$ and elements of ${P}_{2}$ are called planes of $A$. Whenever $a,b\in P$ such that $a\subset b$, then we say that $a$ lies on $b$ or $b$ passes through $a$. Two special types of incidence geometries are worth mentioning:

•
If $n=2$, an incidence geometry on $A$ is called a plane incidence geometry. In a plane incidence geometry, Axioms 1 through 3, 5 and first part of 4 are necessary. Axiom 2 says that the space is the unique plane of $A$. Axiom 3 enumerates elements of $P$. Axiom 4 is the heart of the incidence geometry; it says that two distinct points lie on a unique line. Furthermore, Axiom 4, together with Axiom 3, say that any line is a subset of the plane. Second part of Axiom 4 is redundant in a plane incidence geometry. If any element of $P$ that passes through two distinct points must be either a line or the plane. If it is a line, it must be the unique line determined by the two points, or the plane, which, clearly includes the unique line. Axiom 5 says that there is only to create lines (and the plane), namely, via Axiom 4. Axiom 6 is trivial too (let $c=p$).

•
If $n=3$, an incidence geometry on $A$ is called a solid incidence geometry. Axioms 1 through 3, 5, and the first part of Axiom 4 here play the same role as they do in a plane incidence geometry. First part of Axiom 4 also says that a line and a point not lying on it determine a unique plane. The second part of Axiom 4 and Axiom 6 play an equally important role as the other Axioms. Without the second part of Axiom 4, we would not be able to show, for example, that given a plane $\pi $ and a point $p$ lying on $\pi $, there is a line $\mathrm{\ell}$ lying on $\pi $ but not passing through $p$. Axiom 6 is decidedly nontrivial in solid incidence geometry. It basically says that two planes passing through a common point must pass through a line. Without it, it is possible to find an example such that two planes “intersect” at exactly one point.

•
Several familiar concepts concerning particular incidence properties of flat can be defined: points are collinear^{} if they lie on the same line; points and lines are coplanar if they lie on the same plane; a pencil is a collection^{} of flats of the same dimension sharing a common incidence property which, in most cases, states they have the same “intersection”.
Speaking of intersections, it would be proper to formally define what it means for two hyperplanes to “intersect”.
Intersection. Let $a,b\in P$. An intersection of $a$ and $b$ is a flat $c$, if it exists, such that ${I}_{0}(c)={I}_{0}(a)\cap {I}_{0}(b)$.
Immediately, we see that, if an intersection of $a$ and $b$ exists, it must be unique. For if ${I}_{0}(c)={I}_{0}(a)\cap {I}_{0}(b)={I}_{0}(d)$, then $c=d$. We shall abuse the use of settheoretic intersection to mean incidental intersection: if $a$ and $b$ are two flats, then $a\cap b$ denotes their intersection. Furthermore, if no intersection exists, we write $a\cap b=\mathrm{\varnothing}$.
Remarks.

•
It is easy to show that if $a$ and $b$ be flats with $i=t(a)\le t(b)$ and $a\cap b=d\ne \mathrm{\varnothing}$, then $(d,a)\in I$ and $(d,b)\in I$. In addition, if $(a,b)\in I$, then $a=d$. Also, the unique $c$ in Condition 6 above is the intersection or $a$ and $b$.

•
In light of the introduction of the concept of the intersection (of two flats), it seems feasible to toss in an additional element, called the empty block or empty flat, $\mathrm{\varnothing}$, into the underlying set $P$ of the incidence geometry: ${P}_{1}:=\{\mathrm{\varnothing}\}$ and ${P}^{\prime}={P}_{1}\cup P$. If we next define a binary relation ${I}^{\prime}$ on ${P}^{\prime}$ to be:
$$(a,b)\in {I}^{\prime}\text{if}\{\begin{array}{cc}(a,b)\in I,\hfill & \\ a=\mathrm{\varnothing}\text{, or}\hfill & \\ b=\mathrm{\varnothing}.\hfill & \end{array}$$ then ${I}^{\prime}$ becomes an incidence relation on ${P}^{\prime}$ if we restrict flat $a$ in Condition 3 to be nonempty only. Furthermore, ${P}^{\prime}$, together with ${I}^{\prime}$ have almost all the ingredients of being an incidence geometry, except that the range of the type function has now been extended to include $1$.

•
For every pair of nonempty $a,b\in {P}^{\prime}$, $U={I}^{+}(a)\cap {I}^{+}(b)$ is a nonempty set since the space $S$ is in it. In addition, since $n$ is finite, $U$ has a minimal element $c$ if we order its elements by their corresponding type numbers. Moreover, $c$ is unique. We denote this $c$ by $\u27e8a,b\u27e9$. This definition is consistent^{} with our earlier definition of $\u27e8\cdot ,\cdot \u27e9$ when the first coordinate^{} is a point and the second coordinate is a flat not passing through the point.

•
Collecting all the data above, it is now easy to see that ${P}^{\prime}$, together with the intersection operator $\cap $, and the angle bracket operator $\u27e8\cdot ,\cdot \u27e9$ form a semimodular lattice, if we set $a\wedge b:=a\cap b$ and $a\vee b:=\u27e8a,b\u27e9$.

•
parallelism^{}. Let $a$ be a flat. A flat $b$ is said be parallel to $a$ if

(a)
$t(b)=t(a)$,

(b)
$a\cap b$ is either $a$ or $\mathrm{\varnothing}$.
We write $a\parallel b$. Note that if $a\cap b=a$, then $a=b$, since $t(b)=t(a)$. So if $a$ is parallel to $b$, $b$ is parallel to $a$, and we may say that $a$ and $b$ are parallel. Parallelism is a reflexive and symmetric relation. However, it is not transitive^{} (http://planetmath.org/Transitive3) (as in the case of a hyperbolic geometry). Condition 6 above can now be restated as: if two flats of dimensions $i$, both lying in a flat of dimension $i+1$, are not parallel, then their intersection is a flat of dimension $i1$.

(a)

•
An incidence geometry with the condition (or axiom) that every pair of (nonempty) flats of dimensions $>0$ have nonempty intersection is called a projective incidence geometry.

•
An incidence geometry with the condition (or axiom) that for every (nonempty) flat $a$ of dimension $i$ with $$, and any point $p$ not lying on $a$, there is a flat $b$ passing through $p$, such that $a\parallel b$, is called an affine incidence geometry. The condition just stated is known as the Playfair’s Axiom.
Note to reader: the historical background of this entry is weak. Any additional historical information on this is welcome!
References
 1 Handbook of Incidence Geometry, edited by Francis Buekenhout, Elsevier Science Publishing Co. (1995)
 2 D. Hilbert, Foundations of Geometry, Open Court Publishing Co. (1971)
 3 K. Borsuk and W. Szmielew, Foundations of Geometry, NorthHolland Publishing Co. Amsterdam (1960)
 4 R. Hartshorne, Geometry: Euclid and Beyond, Springer (2000)
Title  incidence geometry 
Canonical name  IncidenceGeometry 
Date of creation  20130322 15:26:13 
Last modified on  20130322 15:26:13 
Owner  CWoo (3771) 
Last modified by  CWoo (3771) 
Numerical id  26 
Author  CWoo (3771) 
Entry type  Definition 
Classification  msc 05B35 
Classification  msc 06C10 
Classification  msc 51A05 
Synonym  lies on 
Synonym  lying on 
Synonym  passes through 
Synonym  passing through 
Related topic  SemimodularLattice 
Defines  incident 
Defines  incidence relation 
Defines  type function 
Defines  plane incidence geometry 
Defines  solid incidence geometry 
Defines  incidence axiom 
Defines  shadow 
Defines  pass through 
Defines  lie on 
Defines  line 
Defines  plane 
Defines  projective incidence geometry 
Defines  affine incidence geometry 
Defines  Playfair’s axiom 
Defines  coplanar 