15.9: Axiomas
- Page ID
- 114666
\( \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}\)Obsérvese que el plano proyectivo real descrito anteriormente satisface el siguiente conjunto de axiomas:
P-i. Dos puntos distintos se encuentran en una línea única.
P-II. Dos líneas distintas pasan a través de un punto único.
P-III. Existen al menos cuatro puntos de los cuales no hay tres colineales.
Tomemos estos tres axiomas como definición del plano proyectivo; así el plano proyectivo real discutido anteriormente se convierte en su ejemplo particular.
Hay un ejemplo de un plano proyectivo que contiene exactamente 3 puntos en cada línea. Este es el llamado plano Fano que se puede ver en el diagrama; contiene\(7\) puntos y\(7\) líneas. Este es un ejemplo de plano proyectivo finito; es decir, un plano proyectivo con finitamente muchos puntos.
Mostrar que cualquier línea en plano proyectivo contiene al menos tres puntos.
- Pista
-
Dejemos\(A, B, C\), un\(D\) ser el punto proporcionado por el Axioma P-III. Dada una línea\(\ell\), podemos suponer que\(A \not\in \ell\), de lo contrario permutar las etiquetas de los puntos. Luego por axioma P-i y P-II, las tres líneas\((AB)\)\((AC)\), y se\((AD)\) cruzan\(\ell\) en distintos puntos. En particular,\(\ell\) contiene al menos tres puntos.
Considere el siguiente análogo dual de Axioma p-III:
P-III': Existen al menos cuatro líneas de las cuales no hay tres concurrentes.
Demostrar que el Axioma P-III' es equivalente al Axioma P-III. Es decir,
P-i, P-II y P-III implican P-III',
y
P-i, P-ii y P-III' implican P-III.
- Pista
-
Dejar\(A, B, C\), y\(D\) ser el punto proporcionado por el Axioma P-III. Demostrar que las líneas\((AB), (BC), (CD)\), y\((DA)\) satisfacer Axioma P-III'. La prueba de lo contrario es similar.
El ejercicio anterior muestra que en el sistema axiomático del plano proyectivo, las líneas y los puntos tienen los mismos derechos. De hecho, se puede cambiar en todas partes las palabras “punto” con “línea”, “pasar a través” con “se encuentra en”, “colineal” con “concurrente” y obtenemos un conjunto equivalente de axiomas — Los axiomas P-i y P-ii se convierten entre sí, y lo mismo sucede con el par P-iii y P-III'.
Supongamos que una de las líneas en un plano proyectivo finito contiene exactamente\(n+1\) puntos.
- Mostrar que cada línea contiene exactamente\(n+1\) puntos.
- Mostrar que el plano contiene exactamente\(n^2+n+1\) puntos.
- Demostrar que no hay plano proyectivo con exactamente 10 puntos.
- Mostrar que en cualquier plano proyectivo finito el número de puntos coincide con el número de líneas.
- Pista
-
Dejar\(\ell\) ser una línea con\(n + 1\) puntos sobre ella.
Por Axioma P-iii, dada cualquier línea m, hay un punto\(P\) que no yace sobre\(\ell\) ni sobre\(m\).
Por axiomas P-i y P-ii, hay una biyección entre las líneas que pasan a través\(P\) y los puntos en\(\ell\). En particular, hay exactamente\(n + 1\) líneas que pasan a través\(P\).
De la misma manera hay bijección entre las líneas que pasan a través\(P\) y los puntos en\(m\). De ahí que a) sigue. Arreglar un punto\(X\). Por Axioma P-i, cualquier punto\(Y\) del avión se encuentra en una línea única que pasa a través\(X\). De la parte (a), cada una de esas líneas contiene\(X\) y sin embargo\(n\) punto. De ahí que siga el inciso b).
Para resolver (c), mostrar que la cuación\(n^2 + n + 1 = 10\) no admite una solución entera y luego aplicar la parte (b).
Para resolver (d), contar el número de líneas que cruzan una línea dada usando la parte (a) y aplicar (b).
El número\(n\) en el ejercicio anterior se denomina orden de plano proyectivo finito. Por ejemplo el avión Fano tiene orden\(2\). Terminemos declarando un famoso problema abierto en geometría finita.
El orden de cualquier plano proyectivo finito es una potencia de un número primo.