|
Abbiamo dato alcuni esempi di piani affini finiti: il piano affine su
e quello su
.
Nel primo esempio avevamo 4 punti, 6 rette, 2 punti su ogni retta e 3 fasci di rette parallele contenenti ciascuno 2 rette; nel secondo esempio avevamo 9 punti, 12 rette, 3 punti su ogni retta e 4 fasci di rette parallele contenenti ciascuno 3 rette; ci chiediamo ora se per ogni intero
esiste un piano affine costituito da
punti e se esistono regole che determinano il numero di rette di un piano finito, il numero di punti su una retta e cosí via.
La seguente proposizione ci assicura che tutte le rette di un piano affine finito contengono lo stesso numero di punti, anzi in generale due rette di un piano affine hanno la stessa cardinalità:
7. PROPOSIZIONE
Sia
piano affine e
rette; allora esiste una biezione tra
e .
DIMOSTRAZIONE
Distinguiamo due casi:
8. DEFINIZIONE
Sia
piano affine e sia
;
se ogni retta di
contiene esattamente
punti si dice che
ha ordine .
9. TEOREMA
Sia
piano affine di ordine ;
allora si ha che:
-
contiene esattamente
punti
- Ogni punto giace su
rette
- Ogni fascio di rette parallele contiene
rette
- L'insieme
delle rette è costituito da
elementi
- Esistono esattamente
fasci di rette parallele
DIMOSTRAZIONE

- Supponiamo che
sia una retta in
e sia
un punto non giacente su ;
consideriamo la retta
e per ogni
definiamo
come l'unica retta passante per
e parallela a .
Ciascuna delle rette
contiene
punti e inoltre sono a due a due disgiunte per cui potremo dire che il numero di punti in
è ;
affermiamo che
, infatti sia
un punto di
,
allora
oppure esiste un'unica parallela
a
passante per
e in questo caso
deve incidere
in uno dei punti
( e non possono essere parallele perché altrimenti lo sarebbero anche e )
e quindi coincidere con una delle rette ,
.

- Sia
un punto arbitrario di
e
una retta che non lo contiene; definiamo
,
e
come l'unica retta passante per
e parallela a ;
dagli assiomi di spazio affine segue che esse sono
rette distinte per .
Inoltre ogni altra retta per
interseca
(e dunque è una delle rette ,
)
oppure è parallela a
(e dunque è ).
- Sia
una retta e
un punto su
e
un punto non su ;

possiamo considerare la retta
e per ipotesi si potrà scrivere
per opportuni punti di
;
per ogni
definiamo
come la retta parallela a
e passante per ;
queste
rette sono tutte distinte poiché distinti sono i punti
;
se
è una retta parallela a e da questa distinta
allora essa deve intersecare
poiché
è l'unica parallela a
passante per
e dunque
per un qualche ;
da ciò scende che
e dunque non esistono altre rette parallele a
distinte da
diverse dalle rette .
- Sia
un punto arbitrario di
e
le rette passanti per .
Ciascuna di queste rette sta in fascio e i fasci cosí ottenuti sono distinti e contengono ciascuno
rette cosicché in definitiva abbiamo che l'insieme delle rette per
e di tutte le parallele a queste consta di
rette; affermiamo che non vi sono altre rette in
:
infatti se
è una retta si ha che
(e in tal caso
è già stata considerata) oppure esiste una retta contenente
e parallela a
(e anche in questo caso
è già stata presa in considerazione).
- Poiché ciscuna delle
rette sta in un unico fascio e ogni fascio contiene
rette, necessariamente si devono avere
fasci.
Osserviamo che da A3 sappiamo che ogni piano affine è di ordine 2 o maggiore e dunque contiene almeno 3 fasci di rette parallele (come già visto direttamente in un punto dell'osservazione 2).
Una domanda naturale che viene naturale porsi è: per quali interi
vi sono piani affini di ordine
La risposta è effettivamente sconosciuta e resta uno dei piú grandi problemi aperti in geometria affine finita.
Noi abbiamo visto esempi di piani di ordine 2 e 3; similmente considerando il piano affine coordinato su
ove
è un numero primo, si ottiene un piano affine di ordine .
In generale se
è un campo con
elementi il piano affine coordinato su
ha ordine
e dall'algebra sappiamo che esistono campi di ordine
per ogni
numero primo, per ogni
;
dunque esistono piani affini di ordine 4, 5, 7, 8, 9, 11... (rispettivamente con 16, 25 ,49, 64, 81, 121... punti).
Invece da tempo è noto che non esistono piani affini di ordine 6, mentre solo recentemente (nel 1989 tramite una ricerca informatica) è stato provato che non esistono piani affini di ordine 10; resta tuttora sconosciuto se esistano o meno piani affini di ordine 12.
|