Piano di Moulton
Da Wikipedia, l'enciclopedia libera.
Nel 1902, F. R. Moulton riprende il controesempio di Hilbert sul Teorema di Desargues inserito nei Grundlagen der Geometrie e propone un esempio di geometria non desarguesiana alquanto più semplice. David Hilbert lo riporterà nelle edizioni successive della sua opera sui fondamenti della geometria. Moulton in sostanza prova che il teorema di Desargues non è una conseguenza degli assiomi I 1-2, II, III, IV 1-5, V di Hilbert, mostrando un piano geometrico non desarguesiano che soddisfa tutti gli assiomi in questione e che risulta più semplice di quello dato da Hilbert.
La geometria non desarguesiana viene descritta in termini dell’ordinario piano geometrico euclideo che è assunto logicamente esistente. Come piano non desarguesiano si assume dunque un ordinario piano euclideo che risulta opportuno riferire ad un sistema di assi ortogonali; come punti non desarguesiani si assumono i punti del piano euclideo. Come rette desarguesiane si assumono innanzi tutto le rette euclidee che non hanno un’inclinazione positiva; come rimanenti rette non desarguesiane si assumono le spezzate ciascuna costituita dall'unione di due semirette euclidee con inclinazione positiva che si saldano in un punto sull’asse x in modo che l’inclinazione superiore sia data dal prodotto di una costante positiva diversa dall’unità per la inclinazione della parte inferiore. L'insieme delle rette non desarguesiane comprende quindi le rette euclidee a inclinazione negativa, l’asse x, l’asse y e le spezzate definite dall’equazione:
Qui x, y sono le coordinate ortogonali di un punto riferito agli assi di riferimento, a è la distanza dall’origine al punto dove le linee incrociano l’asse x, θ (0 ≤ θ ≤ π) è l’angolo tra la semiretta positiva dell’asse x ed il prolungamento della metà più bassa della retta, e δ(y,θ) è una costante per ogni singola linea definita chiedendo
- δ(y,θ) := 1 se y < 0 e θ qualsiasi, oppure se y > 0 e θ ≥ π/2
- δ(y,θ) := C (C > 0, C ≠ 1) se y < 0 e θ < π/2.
Le linee A1KM, B1 B2 P, C1 C2 P, Oy e Ox sono linee non desarguesiane.
Dimostriamo ora che l’esempio di Moulton soddisfa tutti gli assiomi indicati da Hilbert, ma non verifica il teorema di Desargues.
Dato l'insieme dei punti P in RxR, l'insieme L delle rette di P è cosí definito: L consiste di tutte le rette euclidee (della geometria analitica) verticali e orizzontali o con pendenza negativa, cioè con equazione
e inoltre dalle spezzate costituite da rette euclidee (della geometria analitica) con pendenza positiva m sopra l'asse x e 2m al di sotto dello stesso, cioè:
Occorre mostrare che ogni coppia di punti distinti P1 = (x1 , y1) e P2 = (x2 , y2) giace su un unica retta del piano di Moulton: l'unico caso che presenta qualche difficoltà si presenta quando un punto ha ordinata positiva, l'altro ordinata negativa e la retta euclidea per questi due punti ha pendenza positiva; in tal caso si può procedere scrivendo i fasci di linee per P1 e P2 rispettivamente in questo modo
y1 > 0 ; y2 < 0
(y – y1) = m(x – y1)
(y – y2) = m(x – y2)
e imponendo che il punto di intersezione con l'asse x sia lo stesso:
(- y1 + mx1)/m = (- y2 + mx2)/2m
Da questa equazione in m otteniamo
M = ½(2y1 – y2 )/ (x1 – x2)
L'assioma I1-2 è soddisfatto.
Chiaramente vale anche l'assioma I 3
Gli assiomi II 1-4 riguardanti l’ordinamento di 3 e 4 punti sopra una retta, e la relazione d’ordine sono presi come nella geometria euclidea e quindi risultano verificati.
L’assioma II 4 assume che una linea che taglia un lato del triangolo, non passante per uno dei suoi vertici, taglia anche un altro lato del triangolo e si prova facilmente che è soddisfatto. Se il triangolo sta tutto nella parte positiva o negativa, la proprietà segue dal fatto si trova immerso in un piano euclideo; questo vale anche se il triangolo ha un lato sull’asse x. Altrimenti, l’asse x è una retta interna del triangolo e presa una qualsiasi retta non passante per i vertici interseca il triangolo almeno in due punti, al più in tre.
Infatti consideriamo il caso di un triangolo come in figura, comunque si scelga una retta che interseca il lato AB, supponiamo in P, questa nel piano euclideo taglia il triangolo in un altro punto; se questo si trova la di sotto della retta x, la retta euclidea coincide con quella di Moulton, e l’assioma è dimostrato; altrimenti il punto si trova o come in H sull’asse x, e allora comunque prenda un’altra retta di coefficiente positivo che taglia il triangolo in H, questa taglia il triangolo in un altro punto, poiché la parte positiva del triangolo può pensarsi immersa in un piano euclideo, e quindi taglia il triangolo in tre punti, oppure se la retta passante per P interseca l’asse x in un altro punto che non stia sul lato del triangolo, poiché la retta x è interna al triangolo, la linea spezzata di Moulton, deve intersecare il triangolo in un altro punto.
Per quanto riguarda l’assioma IV (il parallelismo), si ha che rette orizzontali sono parallele così come le rette verticali e le rette con una medesima pendenza negativa; per quel che riguarda le linee spezzate, esse sono parallele se e solo se hanno uguale pendenza al di sopra dell'asse x e se hanno uguale pendenza al di sotto dell'asse x. Da questo si ricava che, preso un qualsiasi punto P fuori di una linea data, esiste una ed una sola parallela a questa passante per il punto P, ricordando che il problema non si pone per due linee di differente tipo le quali non sono mai parallele.
Gli assiomi III 1-3 riguardano la congruenza tra segmenti di rette. Le lunghezze dei segmenti sono misurati lungo le linee in questa geometria, come si fa nella geometria euclidea e quindi questi assiomi sono verificati.
Gli assiomi III 4-5 riguardano la congruenza tra angoli e si cerca di renderli verificati con appropriate definizioni per la congruenza degli angoli. La scelta più facile consiste nel definire la grandezza degli angoli in termini di ampiezza angolare euclidea e chiedere che siano congruenti due angoli che hanno uguali ampiezze. In questa geometria le grandezze non desarguesiane di tutti gli angoli sono uguali alle corrispondenti euclidee, eccetto per gli angoli che hanno i loro vertici sull’asse x ed almeno un lato su tale asse, e che formano un angolo minore di π/2.
Essendo il punto K sull’asse x, consideriamo LKM l’angolo di divergenza tra la parte positiva dell’asse x con la retta KM della parte superiore del piano. La grandezza non desarguesiana dell’angolo è la grandezza euclidea che nel senso non desarguesiano è opposta verticalmente a questo. Nella figura, la grandezza non desarguesiana dell’angolo LKM eguaglia la grandezza euclidea dell’angolo OKA2 o LKP. La grandezza non desarguesiana dell’angolo tra le due rette che intersecano l’asse x, è la differenza algebrica degli angoli non desarguesiani che formano con l’asse x. Con questa definizione gli assiomi III 4-5 sono soddisfatti.
L’assioma V è soddisfatto nell’esempio di Hilbert e di Moulton. Rimane da mostrare che in questa geometria il teorema di Desargues non è vero. Si tratta di trovare due triangoli particolari che hanno i loro corrispettivi lati paralleli e di dimostrare che le linee che uniscono i rispettivi vertici non sono necessariamente concorrenti.
Consideriamo i triangoli della figura A1 B1 C1 e A2 B2 C2. Nella geometria euclidea le rette che uniscono i rispettivi vertici si intersecano in un unico punto P. In questa geometria le rette B1 B2 e C1 C2 restano le stesse, mentre la retta A1 A2 si spezza prima di arrivare in P. Dunque non passerà più per P, ed il Teorema di Desargues non è valido. l (A, A') || l (B, B') || l (C,C') e l (A,B) || l (A', B') e l (A,C) || l (A', C'). Allora l (B,C) || l (B',C'). In figura si vede che la retta l (B,C) interseca l (B',C') nel punto Q. Quindi il piano di Moulton non è Desarguesiano.
