Στα μαθηματικά, η υπερβολική γεωμετρία[1] (επίσης ονομάζεται γεωμετρία του Λομπατσέφσκι (Лобаче́вский)) είναι μια μη Ευκλείδεια γεωμετρία, δηλαδή μια γεωμετρία στην οποία ορισμένα από τα αξιώματα της Ευκλείδειας γεωμετρίας δεν ισχύουν. Συγκεκριμένα, στην υπερβολική γεωμετρία δεν ισχύει το αξίωμα των παραλλήλων. Το αξίωμα των παραλλήλων της δισδιάστατης Ευκλείδειας γεωμετρίας αντιστοιχεί στην πρόταση ότι, για οποιαδήποτε (ευθεία) γραμμή I και ένα σημείο P που δεν ανήκει στην I υπάρχει ακριβώς μία και μόνο (ευθεία) γραμμή που διέρχεται από το P και δεν τέμνει την I, δηλαδή είναι παράλληλη στην I. Στην υπερβολική γεωμετρία υπάρχουν τουλάχιστον δύο ξεχωριστές γραμμές που διέρχονται από το P και οι οποίες δεν τέμνουν την I, και το αξίωμα των παραλλήλων ευθειών είναι για την υπερβολική γεωμετρία εσφαλμένο. Έχουν κατασκευαστεί μοντέλα εντός της Ευκλείδειας που υπακούν στα αξιώματα της υπερβολικής γεωμετρίας, το οποίο δείχνει ότι το αξίωμα των παραλλήλων είναι ανεξάρτητο από τα άλλα αξιώματα του Ευκλείδη.

Γραμμές που διέρχονται από δεδομένο σημείο Ρ και είναι ασυμπτωτικές στην ευθεία R
Ένα τρίγωνο επί "επιπέδου" σχήματος σέλας (υπερβολικό παραβολοειδές), καθώς επίσης και δύο αποκλίνουσες υπερπαράλληλες ευθείες

Δεν υπάρχει ακριβές υπερβολικό αντίστοιχο των ευκλείδειων παράλληλων ευθειών, με αποτέλεσμα η χρήση του όρου παράλληλο να ποικίλει ανάμεσα στους συγγραφείς. Σ ’αυτό το άρθρο, δύο γραμμές που δεν τέμνονται όσο κι αν τις επεκτείνουμε ονομάζονται ασυμπτωτικές και δύο γραμμές που έχουν μία κοινή κάθετο ονομάζονται υπερπαράλληλες: η απλή λέξη παράλληλη μπορεί να αναφέρεται και στα δύο είδη γραμμών.

Ιδιότητες Επεξεργασία

Σχέση με την Ευκλείδεια γεωμετρία Επεξεργασία

Η υπερβολική γεωμετρία έχει στενότερη σχέση με την Ευκλείδεια γεωμετρία απ' ό,τι φαίνεται: η μόνη αξιωματική διαφορά είναι το αξίωμα της παραλληλίας. Όταν το αξίωμα της παραλληλίας αφαιρείται από την Ευκλείδεια γεωμετρία, η γεωμετρία που προκύπτει είναι μία απόλυτη γεωμετρία. Υπάρχουν δύο τύποι απόλυτης γεωμετρίας: η Ευκλείδεια και η υπερβολική. Όλα τα θεωρήματα της απόλυτης γεωμετρίας, συμπεριλαμβανομένων των 28 πρώτων προτάσεων του πρώτου βιβλίου των Στοιχείων του Ευκλείδη, ισχύουν στην Ευκλείδεια και στην υπερβολική γεωμετρία. Οι προτάσεις 27 και 28 του πρώτου βιβλίου των Στοιχείων του Ευκλείδη αποδεικνύουν την ύπαρξη παράλληλων ή μη τεμνόμενων ευθειών.

Αυτή η διαφορά έχει επίσης ορισμένες συνέπειες: έννοιες που είναι ισοδύναμες στην Ευκλείδεια γεωμετρία δεν είναι ισοδύναμες στην υπερβολική γεωμετρία και πρέπει να εισαχθούν νέες έννοιες. Επιπλέον, λόγω της γωνίας παραλληλίας, η υπερβολική γεωμετρία έχει μια απόλυτη κλίμακα, μια σχέση μεταξύ των μετρήσεων της απόστασης και της γωνίας.

Εξωτερικοί σύνδεσμοι Επεξεργασία

Δημοσιεύσεις Επεξεργασία

Παραπομπές Επεξεργασία