Question

In: Math

. Let Π be a finite incidence geometry. Prove that, if every line in Π has...

. Let Π be a finite incidence geometry. Prove that, if every line in Π has exactly n points and every point in Π lies on exactly n + 1 lines, then Π is an affine plane. Come up with a similar criterion for finite geometries satisfying (EP) (those geometries are called projective planes).

Solutions

Expert Solution

Let Π be a finite incidence geometry. Prove that, if every line in Π has exactly n points and every point in Π lies on exactly n + 1 lines, then Π is an affine plane. Come up with a similar criterion for finite geometries satisfying (EP) (those geometries are called projective planes).

Proof

From the finite Projective Plane Geometry, we have 4 Rules that are below

Rule1. For any two distinct points, there is exactly one line incident with both points.

Rule2. For any two distinct lines, there is at least one point incident with both lines.

Rule3. Every line has at least three points incident with it.

Rule4. There exist at least four distinct points of which no three are collinear.

By the definition of a projective plane of order n, there exists a line l with exactly n + 1 points incident to it, call them P1 , P2 ,…..,Pn+1.

By Rule4, there is a point Q not incident with l. Thus by Rule1, there exist lines QP1 , QP2 ,…….,QPn+1. We need to show the lines are distinct and that there are no other lines through Q.

Suppose QPi = QPj for some i ≠ j.

Then by Rule1, Q, Pi , and Pj would be on line l = Pi Pj , but this contradicts that Q is not on line l. Hence, the n + 1 lines QP1 , QP2 ,…… ,QPn+1 are distinct.

Now let m be a line incident to Q. By Rule2, lines l and m are incident with a point R. Since P1 , P2 , ….. ,Pn+1 are the only points incident to l, R = Pi for some i ϵ {1, …. ,n + 1}. Hence, m = QR = QPi which is one of the n + 1 lines through Q. Therefore, the point Q is incident with exactly n + 1 lines.

Henced proved that, if every line in Π has exactly n points and every point in Π lies on exactly n + 1 lines.


Related Solutions

Prove that every nontrivial finite group has a composition series
Prove that every nontrivial finite group has a composition series
Prove that every open cover has a finite subcover implies that every sequence in S has...
Prove that every open cover has a finite subcover implies that every sequence in S has a subsequence converging to a point of S
Prove both of the following theorems in the context of Incidence Geometry. Your proofs should be...
Prove both of the following theorems in the context of Incidence Geometry. Your proofs should be comparable in terms of rigor and precision (and clarity of thought!) to the ones done in class today. A1. Given any point, there is at least one line not passing through it, A2. Given any point, there are at least two lines that do pass through it,
Let A be incidence matrix of graph G. prove if G has a cycle, then null...
Let A be incidence matrix of graph G. prove if G has a cycle, then null space of transpose of A is not {0} (there exists non-trivial solution of (A^T)y=0)
(27) Give an example of an infinite incidence geometry (i.e. an incidence geometry with an infinite...
(27) Give an example of an infinite incidence geometry (i.e. an incidence geometry with an infinite number of points and an infinite number of lines).
5. Prove the Following: a. Let {v1, . . . , vn} be a finite collection...
5. Prove the Following: a. Let {v1, . . . , vn} be a finite collection of vectors in a vector space V and suppose that it is not a linearly independent set. i. Show that one can find a vector w ∈ {v1, . . . , vn} such that w ∈ Span(S) for S := {v1, . . . , vn} \ {w}. Conclude that Span(S) = Span(v1, . . . , vn). ii. Suppose T ⊂ {v1,...
Prove that every real number with a terminating binary representation (finite number
Prove that every real number with a terminating binary representation (finite number of digits to the right of the binary point) also has a terminating decimal representation (finite number of digits to the right of the decimal point).  
Prove the following: Let V and W be vector spaces of equal (finite) dimension, and let...
Prove the following: Let V and W be vector spaces of equal (finite) dimension, and let T: V → W be linear. Then the following are equivalent. (a) T is one-to-one. (b) T is onto. (c) Rank(T) = dim(V).
Prove that the axiomatic set for Fano's 7 point/line geometry is independent
Prove that the axiomatic set for Fano's 7 point/line geometry is independent
Prove that every finite integral domain is a field. Give an example of an integral domain...
Prove that every finite integral domain is a field. Give an example of an integral domain which is not a field. Please show all steps of the proof. Thank you!!
ADVERTISEMENT
ADVERTISEMENT
ADVERTISEMENT