.
Στα μαθηματικά, ένας προβολικός χώρος είναι ένα σύνολο γραμμών που έχουν προέλευση από τον διανυσματικό χώρο V. Οι περιπτώσεις V = R2 και V = R3 σημαίνουν αντίστοιχα την προβολική γραμμή και το προβολικό επίπεδο, όπου το R υποδηλώνει το πεδίο των πραγματικών αριθμών, και κατά συνέπεια το R2 υποδηλώνει διατεταγμένα ζεύγη πραγματικών αριθμών και το R3 διατεταγμένες τριάδες πραγματικών αριθμών.
Η ιδέα ενός προβολικού χώρου σχετίζεται με την προοπτική, πιο συγκεκριμένα στον τρόπο που με ένα μάτι ή μια φωτογραφική μηχανή προβάλλεται μια τρισδιάστατη σκηνή σε δισδιάστατη εικόνα. Όλα τα σημεία που βρίσκονται σε μια ευθεία προβολής (δηλαδή, μια "γραμμή οπτικής επαφής") και τέμνονται με το σημείο εισόδου στον φακό της φωτογραφικής μηχανής, προβάλλονται πάνω σε ένα κοινό σημείο της εικόνας. Στην περίπτωση αυτή, ο διανυσματικός χώρος είναι R3 με προέλευση το σημείο εισόδου στον φακό της φωτογραφικής μηχανής και ο προβολικός χώρος αντιστοιχεί στα σημεία της εικόνας.
Θεωρία
Οι προβολικοί χώροι μπορούν να μελετηθούν ως ένα ξεχωριστό πεδίο στα μαθηματικά, αλλά επίσης χρησιμοποιούνται ειδικότερα σε διάφορους τομείς της εφαρμοσμένης γεωμετρίας. Τα γεωμετρικά αντικείμενα, όπως για παράδειγμα τα σημεία, οι γραμμές και τα επίπεδα, μπορούν να παρασταθούν ως στοιχεία σε προβολικούς χώρους με βάση τις ομογενείς συντεταγμένες. Ως αποτέλεσμα, διάφορες σχέσεις μεταξύ αυτών των αντικειμένων μπορούν να περιγραφούν με απλούστερο τρόπο από ό,τι είναι εφικτό χωρίς τις ομογενείς συντεταγμένες. Επιπλέον, διάφορες δηλώσεις στη γεωμετρία μπορούν να γίνουν συνεπέστερες και χωρίς καμία εξαίρεση. Για παράδειγμα, στην πρότυπη γεωμετρία όταν δύο ευθείες βρίσκονται στο ίδιο επίπεδο, τότε τέμνονται πάντα σε κάποιο σημείο, με εξαίρεση την περίπτωση που οι ευθείες είναι παράλληλες μεταξύ τους. Ωστόσο, σε μια προβολική αναπαράσταση γραμμών και σημείων, ακόμα και για τις παράλληλες ευθείες υπάρχει ένα τέτοιο σημείο τομής, το οποίο μπορεί να υπολογιστεί με τον ίδιο ακριβώς τρόπο όπως και τα άλλα σημεία τομής.
Άλλοι μαθηματικοί τομείς όπου οι προβολικοί χώροι παίζουν σημαντικό ρόλο είναι η τοπολογία, η θεωρία των ομάδων Λι και των αλγεβρικών ομάδων, καθώς και οι θεωρίες οι οποίες εκπροσωπούν οι τομείς αυτοί.
Παραπομπές
Πηγές
Beutelspacher, Albrecht; Rosenbaum, Ute (1998), Projective geometry: from foundations to applications, Cambridge University Press, MR 1629468, ISBN 978-0-521-48277-6
Coxeter, Harold Scott MacDonald (1974), Projective geometry, Toronto, Ont.: University of Toronto Press, MR 0346652, ISBN 0-8020-2104-2, OCLC 977732
Hartshorne, Robin (1977), Algebraic Geometry, Berlin, New York: Springer-Verlag, MR 0463157, ISBN 978-0-387-90244-9, τόμ. Α΄ (κεφ. 2 & 7) και τόμ Β΄ (κεφ. 5 & 7).
Mukai, Shigeru (2003), An Introduction to Invariants and Moduli, Cambridge Studies in Advanced Mathematics, Cambridge University Press, ISBN 978-0-521-80906-1
Veblen, Oswald; Young, John Wesley (1965), Projective geometry, New York-Toronto-London: Blaisdell Publishing Co. Ginn and Co., MR 0179666, τόμ. Α΄ και Β΄, επανέκδοση από το 1910.
Εξωτερικοί σύνδεσμοι
Weisstein, Eric W., "Προβολικός χώρος" από το MathWorld.
Εγκυκλοπαίδεια: Προβολικός χώρος από το PlanetMath.
Hellenica World - Scientific Library
Από τη ελληνική Βικιπαίδεια http://el.wikipedia.org . Όλα τα κείμενα είναι διαθέσιμα υπό την GNU Free Documentation License
