Finite Geometries and Axiomatic Systems
An axiomatic system has:a) undefined terms
b) a set of axioms which are independent and consistent
An axiomatic system is categorical if there is basically only one model for it (names and objects, of course, may change).
An axiomatic system is complete if the addition of a new axiom is redundant.
A categorical axiomatic system is complete!!!!!
Axioms for the Three Point Geometry
1. There exist exactly three distinct points.
2. Each two distinct points are on exactly one line.
3. Not all the points are on the same line.
4. Each two distinct lines are on at least one point.
Theorems1. Each two distinct lines are on exactly one point.
2. There exist exactly three lines.
NOTE: Nothing is said about the type of line - whether it is straight or curved.
NOT A MODEL
Axioms for the Four Point Geometry
1. There exist exactly four points.
2. Each two distinct points have exactly one line that contains both of them
3. Each line is on exactly two points.
Theorems1. The four point geometry has exactly 6 lines.
2) Each point of the geometry has exactly 3 lines on it.
Axioms for the Five Point Geometry
1. There exist exactly five points.
2. Each two distinct points have exactly one line on both of them.
3. Each line has exactly two points.
Theorems1. The five point geometry has exactly 10 lines.
2. Each point of the geometry has exactly 4 lines on it.
Axioms for the Four Line Geometry MODEL
1. There exist exactly four lines.
2. Any two distinct lines have exactly one point on both of them.
3. Each point is on exactly two lines.
Theorems1. There exist exactly 6 points
2. Each line has exactly 3 points on it.
NOTE: A finite geometry can also sometimes be represented by a table. Here the columns show a line and each capital letter is a point.
Axioms for Fano's Line Geometry
1. There exist at least one line.
2. Every line of the geometry has exactly three points on it.
3. Not all the points of the geometry are on the same line.
4. For two distinct points, there exists exactly one line on both of them.
5. Each two lines have at least one point on both of them
Theorems1. Each two distinct lines have exactly one point in common.
2. There exist exactly 7 points and 7 lines.
An interesting model for Fano's Geometry is the Committee model where each line would represent a committee and and each point would represent a person on that committee.
Axioms1. There exist five points
2. Each line is a subset of those five points.
3. There exist two lines
4. Each line contain at least two points.
Two Completely Different Models
from Modern Geometries
by James Smart
pp.12-24 and 34 - 35.
Syllabus | Assignments | Home | Welcome | Bibliography | Class Links