Un nuovo “vocabolario iperbolico”
Termini primitivi |
Interpretazione |
Punto |
Punto interno ad un cerchio fissato C nel piano euclideo |
Linea |
Parte interna a C di una linea euclidea |
Linea retta |
Parte interna a C di un diametro di C o di un cerchio ortogonale a C |
Piano |
Interno del cerchio C |
In pratica gli abitanti accetterebbero come veri i postulati della geometria neutrale, cioè tutti i postulati di Euclide eccetto il quinto cioè quello delle parallele. Essi esprimerebbero il V postulato in senso iperbolico e quindi il loro mondo può essere considerato come iperbolico.
Tramite questa interpretazione i postulati della geometria iperbolica diventano teoremi della geometria euclidea. Possiamo concludere che la geometria iperbolica è coerente solo se lo è quella euclidea. Questo porta ad affermare che il V postulato non è deducibile dalla geometria neutrale; infatti, se il V postulato fosse conseguenza logica degli altri postulati, ovvero della geometria neutrale, ogni insieme di enti che soddisfa tali proposizioni dovrebbe soddisfare anche il V postulato. Ma abbiamo appena visto che gli enti del modello di Poincarè soddisfano tutti gli altri assiomi e non il V postulato.