incidence geometry

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

→

{

0

,

1

,

…

,

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

∪

⋯

∪

P

n

,

with

⁢

P

i

∩

P

j

=

∅

⁢

for

⁢

i

≠

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

≠

∅

. Flats of dimension 0 are called

points

.

(b)

P

n

≠

∅

and consists of one element

S

, called the

space

.

•

a

reflexive

(

http://planetmath.org/Reflexive

) and

symmetric relation

I

⊆

P

×

P

on

P

, called an

incidence relation

, with the following conditions (or axioms):

(a)

for any

a

,

b

such that

(

a

,

b

)

∈

I

and

t

⁢

(

a

)

=

t

⁢

(

b

)

, then

a

=

b

;

(b)

suppose

t

⁢

(

a

)

≤

t

⁢

(

b

)

≤

t

⁢

(

c

)

with

(

a

,

b

)

∈

I

and

(

b

,

c

)

∈

I

, then

(

a

,

c

)

∈

I

;

(c)

given that

t

⁢

(

a

)

<

n

, there is a point

p

such that

(

p

,

a

)

∉

I

;

(d)

given

t

⁢

(

a

)

<

n

and a point

p

with

(

p

,

a

)

∉

I

, there is a unique

b

with

t

⁢

(

b

)

=

t

⁢

(

a

)

+

1

, such that

(

a

,

b

)

∈

I

and

(

p

,

b

)

∈

I

; furthermore, if, in

addition

, there is a

c

such that

(

p

,

c

)

∈

I

and

(

a

,

c

)

∈

I

, then

(

b

,

c

)

∈

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

)

∉

I

, such that

(

b

,

a

)

∈

I

and

(

p

,

a

)

∈

I

;

(f)

given that

0

<

t

⁢

(

a

)

=

t

⁢

(

b

)

=

i

<

n

, a point

p

with

(

p

,

a

)

,

(

p

,

b

)

∈

I

, and a flat

d

with

t

⁢

(

d

)

=

i

+

1

,

(

a

,

d

)

,

(

b

,

d

)

∈

I

, then there is a

c

with

t

⁢

(

c

)

=

i

-

1

such that

(

a

,

c

)

,

(

b

,

c

)

∈

I

.

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

n

-

1

are called

hyperplanes

.

•

When

(

a

,

b

)

∈

I

, we say that

a

is

incident

with

b

. Since

I

is

symmetric

, we also say that

a

and

b

are incident without any ambiguity. Furthermore, if

a

and

b

are incident with

t

⁢

(

a

)

≤

t

⁢

(

b

)

, then we say that

a

lies on

b

, or

b

passes through

a

.

•

Condition 2 is known as the “weak” , or the “transversality” of

I

. Basically,

(

a

,

b

)

∈

I

and

(

b

,

c

)

∈

I

imply

(

a

,

c

)

∈

I

whenever the dimensions of

a

,

b

and

c

are in a non-decreasing 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

i

-

1

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

=

⟨

p

,

b

⟩

. When

b

is a point,

a

is often written as

p

⁢

b

↔

. In addition, if we were to pick a different pair of a point

p

′

and a flat

b

′

of dimension

i

-

1

satisfying the above three properties, then

a

=

⟨

p

′

,

b

′

⟩

as well.

•

From the second part of Condition 4,

⟨

p

,

b

⟩

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

)

∈

I

and

(

b

,

a

)

∈

I

, then

(

⟨

p

,

b

⟩

,

a

)

∈

I

. It is easy to see that

t

⁢

(

a

)

≥

t

⁢

(

⟨

p

,

b

⟩

)

. For otherwise,

t

⁢

(

a

)

<

t

⁢

(

⟨

p

,

b

⟩

)

, which means

t

⁢

(

a

)

≤

t

⁢

(

b

)

. This inequality together with

(

p

,

a

)

∈

I

and

(

a

,

b

)

imply
that

(

p

,

b

)

∈

I

, a

contradiction

.

•

In Condition 6, if

a

≠

b

, then

c

is necessarily incident with

p

. Otherwise,

a

=

⟨

p

,

c

⟩

=

b

. Also, without much trouble, one can show that

d

in the condition must be unique.

•

P

i

≠

∅

for all

0

≤

i

≤

n

. In other words, there exists at least one flat of every dimension. To see this, we first observe that

P

0

≠

∅

, there is at least one point

p

. With

p

, there is a point

q

such that

(

p

,

q

)

∉

I

. Therefore, there is a (unique) line

ℓ

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

∈

P

, define

I

⁢

(

a

)

=

{

b

∈

P

∣

(

a

,

b

)

∈

I

}

,

I

-

⁢

(

a

)

=

{

b

∈

I

⁢

(

a

)

∣

t

⁢

(

b

)

≤

t

⁢

(

a

)

}

, and

I

+

⁢

(

a

)

=

{

b

∈

I

⁢

(

a

)

∣

t

⁢

(

b

)

≥

t

⁢

(

a

)

}

. For specific type

k

, we also define

I

k

⁢

(

a

)

=

{

b

∣

t

⁢

(

b

)

=

k

⁢

and

⁢

(

b

,

a

)

∈

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

)

⊆

I

-

⁢

(

a

)

⊆

I

⁢

(

a

)

. We also have

I

-

⁢

(

a

)

∩

I

+

⁢

(

a

)

=

I

t

⁢

(

a

)

⁢

(

a

)

=

{

a

}

.

Remark

. It is possible to show that

(

a

,

b

)

∈

I

if and only if

I

0

⁢

(

a

)

⊆

I

0

⁢

(

b

)

or

I

0

⁢

(

b

)

⊆

I

0

⁢

(

a

)

. Furthermore, if

I

0

⁢

(

a

)

⊆

I

0

⁢

(

b

)

, then

t

⁢

(

a

)

≤

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

)

⊂

I

⁢

(

S

)

. We also have for any flat

a

,

I

0

⁢

(

a

)

⊆

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

,

…

,

P

n

with the following

axioms

:

1.

P

0

consists of all singleton subsets of

A

and

P

0

is non-empty; elements of

P

0

are called points of

A

. Since there is an obvious

one-to-one 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

i

<

n

, there is a point

p

such that

p

∉

a

;

4.

for every

a

∈

P

i

, where

i

<

n

, and point

p

such that

p

∉

A

, there is a unique

b

∈

P

i

+

1

such that

a

⊂

b

and

p

∈

b

; furthermore, if there is a

c

with

a

⊂

c

and

p

∈

c

, then

b

⊆

c

;

5.

for every

a

∈

P

i

, where

i

>

0

, then there is a point

p

and a

b

∈

P

i

-

1

with

p

∉

b

, such that

p

∈

a

and

b

⊂

a

;

6.

if

a

,

b

∈

P

i

and

d

∈

P

i

+

1

, where

0

<

i

<

n

, with a point

p

such that

p

∈

a

⊂

d

and

p

∈

b

⊂

d

, then there is a

c

∈

P

i

-

1

such that

c

⊂

a

and

c

⊂

b

.

If we define

I

on

P

to be

(

a

,

b

)

∈

I

if and only if there is a symmetrized inclusion relation between

a

and

b

(

a

⊆

b

or

b

⊆

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

∈

P

such that

a

⊂

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

π

and a point

p

lying on

π

, there is a line

ℓ

lying on

π

but not passing through

p

. Axiom 6 is decidedly non-trivial 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

∈

P

. An

intersection

of

a

and

b

is a flat

c

, if it exists, such that

I

0

⁢

(

c

)

=

I

0

⁢

(

a

)

∩

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

)

∩

I

0

⁢

(

b

)

=

I

0

⁢

(

d

)

, then

c

=

d

. We shall abuse the use of set-theoretic intersection to mean incidental intersection: if

a

and

b

are two flats, then

a

∩

b

denotes their intersection. Furthermore, if no intersection exists, we write

a

∩

b

=

∅

.

Remarks

.

•

It is easy to show that if

a

and

b

be flats with

i

=

t

⁢

(

a

)

≤

t

⁢

(

b

)

and

a

∩

b

=

d

≠

∅

, then

(

d

,

a

)

∈

I

and

(

d

,

b

)

∈

I

. In addition, if

(

a

,

b

)

∈

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

,

∅

, into the underlying set

P

of the incidence geometry:

P

-

1

:=

{

∅

}

and

P

′

=

P

-

1

∪

P

. If we next define a

binary relation

I

′

on

P

′

to be:

(

a

,

b

)

∈

I

′

⁢

if

⁢

{

(

a

,

b

)

∈

I

,

a

=

∅

⁢

, or

b

=

∅

.

then

I

′

becomes an incidence relation on

P

′

if we restrict flat

a

in Condition 3 to be non-empty only. Furthermore,

P

′

, together with

I

′

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 non-empty

a

,

b

∈

P

′

,

U

=

I

+

⁢

(

a

)

∩

I

+

⁢

(

b

)

is a non-empty 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

⟨

a

,

b

⟩

. This definition is

consistent

with our earlier definition of

⟨

⋅

,

⋅

⟩

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

′

, together with the intersection

operator

∩

, and the angle bracket operator

⟨

⋅

,

⋅

⟩

form a

semimodular lattice

, if we set

a

∧

b

:=

a

∩

b

and

a

∨

b

:=

⟨

a

,

b

⟩

.

•

parallelism

. Let

a

be a flat. A flat

b

is said be

parallel

to

a

if

(a)

t

⁢

(

b

)

=

t

⁢

(

a

)

,

(b)

a

∩

b

is either

a

or

∅

.

We write

a

∥

b

. Note that if

a

∩

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

i

-

1

.

•

An incidence geometry with the condition (or axiom) that every pair
of (non-empty) flats of dimensions

>

0

have non-empty intersection is called a

projective incidence geometry

.

•

An incidence geometry with the condition (or axiom) that for every (non-empty) flat

a

of dimension

i

with

i

<

n

, and any point

p

not lying on

a

, there is a flat

b

passing through

p

, such that

a

∥

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

, North-Holland Publishing Co. Amsterdam (1960)

4

R. Hartshorne,

Geometry: Euclid and Beyond

, Springer (2000)

Title

incidence geometry

Canonical name

IncidenceGeometry

Date of creation

2013-03-22 15:26:13

Last modified on

2013-03-22 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

Generated on Thu Feb 8 20:39:37 2018 by

LaTeXML