Finite geometry - University of Babylon · Theorem 2 The three point geometry has exactly three...
Transcript of Finite geometry - University of Babylon · Theorem 2 The three point geometry has exactly three...
![Page 1: Finite geometry - University of Babylon · Theorem 2 The three point geometry has exactly three lines. Proof: Let m be a line of the points A and B by Ax2. A third point C is not](https://reader034.fdocuments.us/reader034/viewer/2022050412/5f88966c827c4023bc00ef07/html5/thumbnails/1.jpg)
Finite geometry Hawraa Abbas Almurieb
![Page 2: Finite geometry - University of Babylon · Theorem 2 The three point geometry has exactly three lines. Proof: Let m be a line of the points A and B by Ax2. A third point C is not](https://reader034.fdocuments.us/reader034/viewer/2022050412/5f88966c827c4023bc00ef07/html5/thumbnails/2.jpg)
Finite Geometries
Three-Point Geometry
Four-Line Geometry
Fano’s Geometry
Young’s Geometry
Finite Projective Planes.
Finite Affine Planes.
![Page 3: Finite geometry - University of Babylon · Theorem 2 The three point geometry has exactly three lines. Proof: Let m be a line of the points A and B by Ax2. A third point C is not](https://reader034.fdocuments.us/reader034/viewer/2022050412/5f88966c827c4023bc00ef07/html5/thumbnails/3.jpg)
Three Point Geometry
Ax1. There exist exactly 3 points in this
geometry.
Ax2. Two distinct points are on exactly
one line.
Ax3. Not all the points of the geometry
are on the same line.
Ax4. Two distinct lines are on at least one
point.
![Page 4: Finite geometry - University of Babylon · Theorem 2 The three point geometry has exactly three lines. Proof: Let m be a line of the points A and B by Ax2. A third point C is not](https://reader034.fdocuments.us/reader034/viewer/2022050412/5f88966c827c4023bc00ef07/html5/thumbnails/4.jpg)
Presentation
Ax1. There exist exactly 3 points in this geometry.
Ax2. Two distinct points are on exactly one line.
Ax3. Not all the points of the geometry are on the same line.
Ax4. Two distinct lines are on at least one point.
![Page 5: Finite geometry - University of Babylon · Theorem 2 The three point geometry has exactly three lines. Proof: Let m be a line of the points A and B by Ax2. A third point C is not](https://reader034.fdocuments.us/reader034/viewer/2022050412/5f88966c827c4023bc00ef07/html5/thumbnails/5.jpg)
Theorem 1
Two distinct lines are on exactly one point.
Proof:
Assume 𝑙 ≠ 𝑚 be lines, intersect at P and Q.
By Ax2 P and Q lie on the same line (C!)
So for 𝑙 ≠ 𝑚 intersect at most one point
Ax1. There exist exactly 3 points in this geometry.
Ax2. Two distinct points are on exactly one line.
Ax3. Not all the points of the geometry are on the same line.
Ax4. Two distinct lines are on at least one point.
![Page 6: Finite geometry - University of Babylon · Theorem 2 The three point geometry has exactly three lines. Proof: Let m be a line of the points A and B by Ax2. A third point C is not](https://reader034.fdocuments.us/reader034/viewer/2022050412/5f88966c827c4023bc00ef07/html5/thumbnails/6.jpg)
Theorem 2
The three point geometry has exactly three lines.
Proof:
Let m be a line of the points A and B by Ax2.
A third point C is not on m by Ax3
Thus AC and BC are different lines of m.
Then there are at least 3 lines.
Assume that there exist a forth line l, then l meet m at a point by Thm1.
But there is no point (A,B,C) to lie on the line l (C! Ax2)
Ax1. There exist exactly 3 points in this geometry.
Ax2. Two distinct points are on exactly one line.
Ax3. Not all the points of the geometry are on the same line.
Ax4. Two distinct lines are on at least one point.
![Page 7: Finite geometry - University of Babylon · Theorem 2 The three point geometry has exactly three lines. Proof: Let m be a line of the points A and B by Ax2. A third point C is not](https://reader034.fdocuments.us/reader034/viewer/2022050412/5f88966c827c4023bc00ef07/html5/thumbnails/7.jpg)
Four Line Geometry
Ax1. There exist exactly 4 lines.
Ax2. Any two distinct lines have exactly
one point on both of them.
Ax3. Each point is on exactly two lines.
![Page 8: Finite geometry - University of Babylon · Theorem 2 The three point geometry has exactly three lines. Proof: Let m be a line of the points A and B by Ax2. A third point C is not](https://reader034.fdocuments.us/reader034/viewer/2022050412/5f88966c827c4023bc00ef07/html5/thumbnails/8.jpg)
Representation
Ax1. There exist exactly 4 lines.
Ax2. Any two distinct lines have exactly one point on both of them.
Ax3. Each point is on exactly two lines.
![Page 9: Finite geometry - University of Babylon · Theorem 2 The three point geometry has exactly three lines. Proof: Let m be a line of the points A and B by Ax2. A third point C is not](https://reader034.fdocuments.us/reader034/viewer/2022050412/5f88966c827c4023bc00ef07/html5/thumbnails/9.jpg)
Theorem 1
The four line geometry has exactly six points.
Proof:
By Ax2 and Ax3.
Ax1. There exist exactly 4 lines.
Ax2. Any two distinct lines have exactly one point on both of them.
Ax3. Each point is on exactly two lines.
![Page 10: Finite geometry - University of Babylon · Theorem 2 The three point geometry has exactly three lines. Proof: Let m be a line of the points A and B by Ax2. A third point C is not](https://reader034.fdocuments.us/reader034/viewer/2022050412/5f88966c827c4023bc00ef07/html5/thumbnails/10.jpg)
Theorem 2
Each line of the four-line geometry has
exactly 3 points on it.
Proof:
Consider any line. The three other lines must each
have a point in common with the given line (Ax 2).
These three points are distinct, otherwise Axiom 3
is violated.
Then there are exactly three points on each line.
Ax1. There exist exactly 4 lines.
Ax2. Any two distinct lines have exactly one point on both of them.
Ax3. Each point is on exactly two lines.
![Page 11: Finite geometry - University of Babylon · Theorem 2 The three point geometry has exactly three lines. Proof: Let m be a line of the points A and B by Ax2. A third point C is not](https://reader034.fdocuments.us/reader034/viewer/2022050412/5f88966c827c4023bc00ef07/html5/thumbnails/11.jpg)
Plane Duals
The plane dual of a statement is the
statement obtained by interchanging the
terms point and line.
Example:
Statement: Two points are on a unique
line.
Plane dual: Two lines are on a unique
point.
or two lines meet at a unique point.
![Page 12: Finite geometry - University of Babylon · Theorem 2 The three point geometry has exactly three lines. Proof: Let m be a line of the points A and B by Ax2. A third point C is not](https://reader034.fdocuments.us/reader034/viewer/2022050412/5f88966c827c4023bc00ef07/html5/thumbnails/12.jpg)
Four Line (point)Geometry
Ax1. There exist exactly 4 lines (points)
Ax2. Any two distinct lines (points)have exactly one point (line) on both of them.
Ax3. Each point (line) is on exactly two lines(points).
Theorem 1.The four line (point)
geometry has exactly six points (lines).
Theorem 2.Each line (point)
of the four-line(point) geometry has exactly 3 points (lines) on it.
![Page 13: Finite geometry - University of Babylon · Theorem 2 The three point geometry has exactly three lines. Proof: Let m be a line of the points A and B by Ax2. A third point C is not](https://reader034.fdocuments.us/reader034/viewer/2022050412/5f88966c827c4023bc00ef07/html5/thumbnails/13.jpg)
![Page 14: Finite geometry - University of Babylon · Theorem 2 The three point geometry has exactly three lines. Proof: Let m be a line of the points A and B by Ax2. A third point C is not](https://reader034.fdocuments.us/reader034/viewer/2022050412/5f88966c827c4023bc00ef07/html5/thumbnails/14.jpg)
Fano’s Geometry
Ax1. There exists at least one line.
Ax2. Every line of the geometry has
exactly 3 points on it.
Ax3. Not all points of the geometry are
on the same line.
Ax4. For two distinct points, there exists
exactly one line on both of them.
Ax5. Each two lines have at least one
point on both of them.
![Page 15: Finite geometry - University of Babylon · Theorem 2 The three point geometry has exactly three lines. Proof: Let m be a line of the points A and B by Ax2. A third point C is not](https://reader034.fdocuments.us/reader034/viewer/2022050412/5f88966c827c4023bc00ef07/html5/thumbnails/15.jpg)
Ax1. There exists at least one line.
![Page 16: Finite geometry - University of Babylon · Theorem 2 The three point geometry has exactly three lines. Proof: Let m be a line of the points A and B by Ax2. A third point C is not](https://reader034.fdocuments.us/reader034/viewer/2022050412/5f88966c827c4023bc00ef07/html5/thumbnails/16.jpg)
Ax2. Every line of the geometry has
exactly 3 points on it.
![Page 17: Finite geometry - University of Babylon · Theorem 2 The three point geometry has exactly three lines. Proof: Let m be a line of the points A and B by Ax2. A third point C is not](https://reader034.fdocuments.us/reader034/viewer/2022050412/5f88966c827c4023bc00ef07/html5/thumbnails/17.jpg)
Ax3. Not all points of the geometry
are on the same line.
![Page 18: Finite geometry - University of Babylon · Theorem 2 The three point geometry has exactly three lines. Proof: Let m be a line of the points A and B by Ax2. A third point C is not](https://reader034.fdocuments.us/reader034/viewer/2022050412/5f88966c827c4023bc00ef07/html5/thumbnails/18.jpg)
Ax4. For two distinct points, there
exists exactly one line on both of
them.
![Page 19: Finite geometry - University of Babylon · Theorem 2 The three point geometry has exactly three lines. Proof: Let m be a line of the points A and B by Ax2. A third point C is not](https://reader034.fdocuments.us/reader034/viewer/2022050412/5f88966c827c4023bc00ef07/html5/thumbnails/19.jpg)
Ax2. Every line of the geometry has
exactly 3 points on it.
![Page 20: Finite geometry - University of Babylon · Theorem 2 The three point geometry has exactly three lines. Proof: Let m be a line of the points A and B by Ax2. A third point C is not](https://reader034.fdocuments.us/reader034/viewer/2022050412/5f88966c827c4023bc00ef07/html5/thumbnails/20.jpg)
Ax4. For two distinct points, there
exists exactly one line on both of
them
![Page 21: Finite geometry - University of Babylon · Theorem 2 The three point geometry has exactly three lines. Proof: Let m be a line of the points A and B by Ax2. A third point C is not](https://reader034.fdocuments.us/reader034/viewer/2022050412/5f88966c827c4023bc00ef07/html5/thumbnails/21.jpg)
![Page 22: Finite geometry - University of Babylon · Theorem 2 The three point geometry has exactly three lines. Proof: Let m be a line of the points A and B by Ax2. A third point C is not](https://reader034.fdocuments.us/reader034/viewer/2022050412/5f88966c827c4023bc00ef07/html5/thumbnails/22.jpg)
Theorem 1
Each two lines have exactly one point in
common.
Proof:
Assume that two distinct lines 𝑙 ≠ 𝑚 have
two distinct points in common P and Q.
(C! Ax4) since these two points would
then be on two distinct lines.
Ax1. There exists at least one line.
Ax2. Every line of the geometry has exactly 3 points on it.
Ax3. Not all points of the geometry are on the same line.
Ax4. For two distinct points, there exists exactly one line on both of them.
Ax5. Each two lines have at least one point on both of them.
![Page 23: Finite geometry - University of Babylon · Theorem 2 The three point geometry has exactly three lines. Proof: Let m be a line of the points A and B by Ax2. A third point C is not](https://reader034.fdocuments.us/reader034/viewer/2022050412/5f88966c827c4023bc00ef07/html5/thumbnails/23.jpg)
Theorem 2
Fano's geometry consists of exactly seven
points and seven lines.
Proof:
Ax1. There exists at least one line.
Ax2. Every line of the geometry has exactly 3 points on it.
Ax3. Not all points of the geometry are on the same line.
Ax4. For two distinct points, there exists exactly one line on both of them.
Ax5. Each two lines have at least one point on both of them.
![Page 24: Finite geometry - University of Babylon · Theorem 2 The three point geometry has exactly three lines. Proof: Let m be a line of the points A and B by Ax2. A third point C is not](https://reader034.fdocuments.us/reader034/viewer/2022050412/5f88966c827c4023bc00ef07/html5/thumbnails/24.jpg)
Theorem 2 (Cont.)
Assume that there is an 8th point.
By axiom 4 it must be on a line with point 1.
By axiom 5 this line must meet the line containing
points 3,4 and 7.
But the line can not meet at one of these points
(C! Ax4)
So the point of intersection would have to be a
fourth point on the line 347(C! Ax2).
Ax1. There exists at least one line.
Ax2. Every line of the geometry has exactly 3 points on it.
Ax3. Not all points of the geometry are on the same line.
Ax4. For two distinct points, there exists exactly one line on both of them.
Ax5. Each two lines have at least one point on both of them.
![Page 25: Finite geometry - University of Babylon · Theorem 2 The three point geometry has exactly three lines. Proof: Let m be a line of the points A and B by Ax2. A third point C is not](https://reader034.fdocuments.us/reader034/viewer/2022050412/5f88966c827c4023bc00ef07/html5/thumbnails/25.jpg)
The End
Thank You