15.9: Axioms
- Page ID
- 58359
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)
( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\id}{\mathrm{id}}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\kernel}{\mathrm{null}\,}\)
\( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\)
\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\)
\( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)
\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)
\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)
\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vectorC}[1]{\textbf{#1}} \)
\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)
\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)
\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)Note that the real projective plane described above satisfies the following set of axioms:
p-I. Any two distinct points lie on a unique line.
p-II. Any two distinct lines pass thru a unique point.
p-III. There exist at least four points of which no three are collinear.
Let us take these three axioms as a definition of the projective plane; so the real projective plane discussed above becomes its particular example.
There is an example of a projective plane that contains exactly 3 points on each line. This is the so-called Fano plane which you can see on the diagram; it contains \(7\) points and \(7\) lines. This is an example of finite projective plane; that is, a projective plane with finitely many points.
Show that any line in projective plane contains at least three points.
- Hint
-
Let \(A, B, C\), an \(D\) be the point provided by Axiom p-III. Given a line \(\ell\), we can assume that \(A \not\in \ell\), otherwise permute the labels of the points. Then by axiom p-I and p-II, the three lines \((AB)\), \((AC)\), and \((AD)\) intersect \(\ell\) at distinct points. In particular, \(\ell\) contains at least three points.
Consider the following dual analog of Axiom p-III:
p-III': There exist at least four lines of which no three are concurrent.
Show that Axiom p-III' is equivalent to Axiom p-III. That is,
p-I, p-II, and p-III imply p-III',
and
p-I, p-II, and p-III' imply p-III.
- Hint
-
Let \(A, B, C\), and \(D\) be the point provided by Axiom p-III. Show that the lines \((AB), (BC), (CD)\), and \((DA)\) satisfy Axiom p-III'. The proof of the converse is similar.
The exercise above shows that in the axiomatic system of projective plane, lines and points have the same rights. In fact, one can switch everywhere words "point" with "line", "pass thru" with "lies on", "collinear" with "concurrent" and we get an equivalent set of axioms — Axioms p-I and p-II convert into each other, and the same happens with the pair p-III and p-III'.
Assume that one of the lines in a finite projective plane contains exactly \(n+1\) points.
- Show that each line contains exactly \(n+1\) points.
- Show that the plane contains exactly \(n^2+n+1\) points.
- Show that there is no projective plane with exactly 10 points.
- Show that in any finite projective plane the number of points coincides with the number of lines.
- Hint
-
Let \(\ell\) be a line with \(n + 1\) points on it.
By Axiom p-III, given any line m, there is a point \(P\) that does not lie on \(\ell\) nor on \(m\).
By axioms p-I and p-II, there is a bijection between the lines passing thru \(P\) and the points on \(\ell\). In particular, there are exactly \(n + 1\) lines passing thru \(P\).
The same way there is bijection between the lines passing thru \(P\) and the points on \(m\). Hence (a) follows. Fix a point \(X\). By Axiom p-I, any point \(Y\) in the plane lies in a unique line passing thru \(X\). From part (a), each such line contains \(X\) and yet \(n\) point. Hence (b) follows.
To solve (c), show that the quation \(n^2 + n + 1 = 10\) does not admit an integer solution and then apply part (b).
To solve (d), count the number of lines crossing a given line using the part (a) and apply (b).
The number \(n\) in the above exercise is called order of finite projective plane. For example the Fano plane has order \(2\). Let us finish by stating a famous open problem in finite geometry.
The order of any finite projective plane is a power of a prime number.