Models and Interpretations of Incidence Geometry

EXAMPLES:

Interpretation # 1

Points:  A, B, and C. Lines: {A, B}, {B, C}, and {A, C}. Incidence: PI l if P is an element of l.

Interpretation # 2

Points:  A, B, and C. Lines: {A}, {A, B}, {B, C}, and {A, C}. Incidence: PI l if P is an element of l.

Interpretation # 3

Points:  A, B, and C. Lines: {A, B}, and {A, C}. Incidence: PI l if P is an element of l.

Interpretation # 4

Points:  A, B, C, and D. Lines: {A, B}, {B, C}, {C, D}, {A, D}, {B, D} and {A, C}. Incidence: PI l if P is an element of l.

Interpretation # 5

Points:  A, B, and C. Lines: {A, B, C}. Incidence: PI l if P is an element of l.

Interpretation # 6

Points:  {A, B}, {B, C}, and {A, C}. Lines: A, B, and C. Incidence: PI l if l is an element of P.

Interpretation # 7

Points:  A, B, C, D, and E. Lines: {A, B}, {A, C}, {A, D}, {A, E}, {B, E}, {C, E}, {D, E}, and {B, C, D}. Incidence: PI l if P is an element of l.

Interpretation # 8

Points: {A}, {A, B}, and {A, B, C}. Lines: A, B, and C. Incidence: PI l if  l is an element of P.

Interpretation # 9

Points:  A, B, C, D, and E. Lines: {A, B}, {A, C}, {A, D}, {A, E}, {B, C}, {B, D} {B, E}, {C, D}, {C, E}, and {D, E}. Incidence: PI l if P is an element of l.

Interpretation # 10

Points: all dots on a sheet of paper. Lines: all horizontal and vertical lines. Incidence: PI l if the dot P  lies on line l.

QUESTIONS:

Does this interpretation satisfy the incidence axiom I-1?

Does this interpretation satisfy the incidence axiom I-2?

Does this interpretation satisfy the incidence axiom I-3?

Is this interpretation a model?

Determine whether this interpretation has the elliptic, Euclidean, of hyperbolic parallel property.

ANSWERS:

To find the answer to the questions above and an  explanation for a specific interpretation, click on that interpretation. Also, the following table summarizes all the answers:

Interpretation I-1 I-2 I-3 Model Parallel Property
1 yes yes yes yes elliptic
2 yes no yes no none
3 no yes yes no elliptic
4 yes yes yes yes Euclidean
5 yes yes no no all 3 (vacuous)
6 yes yes yes yes elliptic
7 yes yes yes yes none
8 no no no no elliptic
9 yes yes yes yes hyperbolic
10 no yes yes no Euclidean