Proof: Dual Axioms Independence
Dual Axiom 1: Dependent
Note that Dual Axiom 4 guarantees that the geometry can contain anything. This axiom say that there are lines, and then Dual Axiom 2 guarantees that there will be points as well. Therefore Dual Axiom 1 is dependent on Dual Axiom 2 and Dual Axiom 4 because without them, no points and lines would exist within the geometry.
Recall, Dual Axiom 1 states that a point lies on at least two lines.
By Dual Axiom 4, we know that there exist four distinct lines, no three of which are concurrent. Furthermore, by Dual Axiom 2, we know that each pair of these lines share exactly one point (6 points in total). Now consider a point X in the projective plane. Consider the following two cases:
Case 1. Suppose X is one of the six points. Then, we know that it already has two lines through it.
Case 2. Suppose X is not one of those six points. By Dual Axiom 3, we know that X must share a line with each of them. However, since not all of those six points are collinear, there are at least two lines through X.
As seen from the proof above, we can conclude that Dual Axiom 1 is dependent on the other axioms.
Dual Axiom 2: Independent
Dual Axiom 2: Independent
Dual Axiom 1: A point lies on at least two lines.
Notice the following:
Point wyst lies on lines W,Y,S,T.
Point rwz lies on lines R,W,Z.
Point rxy lies on lines R,X,Y.
Point xzst lies on lines X,Z,S,T.
Dual Axiom 3: Any two distinct points have at least one line in common.
Notice the following:
Lines wyst and rwz have point W in common.
Lines wyst and rxy have point Y in common.
Lines wyst and xzst have points S, T in common.
Lines rwz and rxy have point R in common.
Lines rwz and xzst have point Z in common.
Lines rxy and xzst have point X in common.
Dual Axiom 4: There is a set of four distinct lines, no three of which are concurrent.
The lines W, X, Y, Z are distinct and no three of which are concurrent.
Dual Axiom 2: Any two distinct lines have exactly one point in common.
Lines S and T share two points, wyst and xzst. Thus, Dual Axiom 2 fails.
Therefore, Dual Axiom 2 is independent.
Dual Axiom 3: Independent
Dual Axiom 1: A point lies on at least two lines.
Notice the following:
Point xy lies on lines X and Y.
Point xz lies on lines X and Z.
Point xw lies on lines X and W.
Point wy lies on lines W and Y.
Point wz lies on lines W and Z.
Point yz lies on lines Y and Z.
Dual Axiom 2: Any two distinct lines have exactly one point in common.
Notice the following:
Lines X and Y have only point xy in common.
Lines X and Z have only point xz in common.
Lines X and W have only point xw in common.
Lines W and Y have only point wy in common.
Lines W and Z have only point wz in common.
Lines Y and Z have only point yz in common.
Dual Axiom 4: There is a set of four distinct lines, no three of which are concurrent.
The lines W, X, Y, Z are distinct and no three of which are concurrent.
Dual Axiom 3: Any two distinct points have at least one line in common.
Points yz and xw do not have a line in common. Thus, Dual Axiom 3 fails.
Therefore, Dual Axiom 3 is independent.
Dual Axiom 4: Independent
Dual Axiom 1: A point lies on at least two lines.
Notice the following:
Point xy lies on lines X and Y.
Point xz lies on lines X and Z.
Point yz lies on lines Y and Z.
Dual Axiom 2: Any two distinct lines have exactly one point in common.
Notice the following:
Lines X and Y have point xy in common.
Lines X and Z have point xz in common.
Lines Y and Z have point yz in common.
Dual Axiom 3: Any two distinct points have at least one line in common.
Notice the following:
Points xy and xz have line X in common.
Points xy and yz have line Y in common.
Points xz and yz have line Z in common.
Dual Axiom 4: There is a set of four distinct lines, no three of which are concurrent.
In this geometry, four distinct lines do not even exist. Thus, Dual Axiom 4 fails.
Therefore, Dual Axiom 4 is independent.