From Wikipedia, the free encyclopedia
Στην γεωμετρία, ένα πολύεδρο (πληθυντικός πολύεδρα) είναι ένα στερεό σε τρεις διαστάσεις με επίπεδες επιφάνειες και ορθές έδρες. Ένα πολύεδρο είναι ένα τρισδιάστατο παράδειγμα του γενικότερου πολύτοπου σε οποιοδήποτε αριθμό διαστάσεων.
![]() |
Αυτό το λήμμα χρειάζεται μορφοποίηση ώστε να ανταποκρίνεται στις προδιαγραφές μορφοποίησης της Βικιπαίδειας. |
|
Ο ορισμός ενός πολυέδρου ως στερεό που περικλείεται από επίπεδες επιφάνειες και ορθές έδρες δεν είναι πολύ ακριβής και, για έναν σύχρονο μαθηματικό, καθόλου ικανοποιητικός, για παράδειγμα είναι δύσκολο να συμβιβαστεί με το αστρόμορφο πολύεδρο. Ο Grünbaum (1994, p. 43) παρατήρησε, "Η Original Sin στη θεωρία των πολυέδρων ξεκινάει από τον Ευκλείδη, και μέσω των Kepler, Poinsot, Cauchy και πολλών άλλων ... [εν λόγω] σε κάθε φάση ... οι συγγραφείς απέτυχαν να ορίσουν τι είναι τα 'πολύεδρα' ...." Πολύ ορισμοί των "πολυέδρων" έχουν δοθεί μέσα σε συγκεκριμένα πλαίσια, με κάποιους πιο αυστηρούς από άλλους.[1] Για παράδειγμα ορισμοί που βασίζονται στην ιδέα μιας οριακής επιφάνειας παρά μιας στερεάς είναι συνηθισμένοι.[2] Παρόλα αυτά αυτοί οι ορισμοί δεν είναι πάντα συμβιβάσιμοι με άλλα μαθηματικά συμφραζόμενα. Μία σύγχρονη προσέγγιση μεταχειρίζεται ένα γεωμετρικό πολύεδρο ως την πραγματοποίηση κάποιων αφηρημένων πολυέδρων. Οποιοδήποτε τέτοιο πολύεδρο μπορεί να κατασκευαστεί από διαφορετικά είδη στοιχείων ή οντοτήτων, το καθένα από τα οποία σχετίζεται με διαφορετικό αριθμό διαστάσεων.
Γενικότερα στα Μαθηματικά και σε άλλες Επιστήμες, ο όρος "πολύεδρο" χρησιμοποιείται για να αναφερθεί σε μία ποικιλία σχετικών κατασκευών, κάποιων γεωμετρικών και άλλων καθαρά αλγεβρικών ή αφηρημένων.
Ένα καθοριστικό χαρακτηριστικό σχεδόν όλων των ειδών των πολυέδρων είναι ότι μόλις δύο έδρες ενώνονται κατά μήκος οποιασδήποτε κοινής ακμής. Αυτό εξασφαλίζει ότι η πολυεδρική επιφάνεια είναι συνεχώς συνδεδεμένη και δεν τελειώνει απότομα ή δεν διασπάται σε διαφορετικές κατευθύνσεις.
Οι ακμές έχουν δύο σημαντικά χαρακτηριστικά (εκτός εάν το πολύεδρο είναι πολύπλοκο:
Αυτά τα δύο χαρακτηριστικά είναι διπλά στο καθένα.
Η χαρακτηριστική Όιλερ χ σχετίζει τον αριθμό των κορυφών V, των ακμών E, και των εδρών F ενός πολυέδρου:
Για ένα κυρτό πολύεδρο ή γενικότερα για οποιοδήποτε απλώς συνεκτικό πολύεδρο του οποίου οι έδρες είναι επίσης απλώς συνεκτικές και του οποίου το όριο είναι μία πολλαπλότητα, χ = 2. Για περαιτέρω λεπτομέρειες, δείτε το Proofs and Refutations του Ίμρε Λάκατος.
Μερικά πολύεδρα, όπως όλα τα κυρτά πολύεδρα, έχουν δύο διακεκριμένες πλευρές στην επιφάνειά τους, για παράδειγμα η μία πλευρά κατά συνέπεια μπορεί να βαφτεί μαύρη και η άλλη άσπρη. Λέμε ότι το σχήμα είναι προσανατολίσιμο.
Άλλα για κάποια πολύεδρα αυτό δεν είναι δυνατόν, και τον σχήμα ορίζεται ως μη-προσανατολίσιμο. Όλα τα πολύεδρα με μονό αριθμό χαρακτηριστικής Όιλερ είναι μη-προσανατολίσιμα. Ένα δοσμένο σχήμα με ζυγό χ < 2 μπορεί ή δεν μπορεί να είναι προσανατολίσιμο.
Για κάθε κορυφή μπορεί κανείς να ορίσει ένα σχήμα κορυφής, το οποίο περιγράφει την τοπική δομή του σχήματος γύρω από την κορυφή. Αν το σχήμα της κορυφής είναι ένα κανονικό πολύγωνο, τότε η κορυφή η ίδια ορίζεται ως κανονική.
Για κάθε πολύεδρο υπάρχει ένα δυϊκό πολύεδρο το οποίο έχει:
Η δυϊκότητα ενός κυρτού πολυέδρου μπορεί να ληφθεί με τη μέθοδο της πολικής αντιστροφής.
Οποιοδήποτε κανονικό πολύεδρο μπορεί να διαιρεθεί σε ισότιμες πυραμίδες, με την κάθε πυραμίδα να έχει μία έδρα του πολυέδρου ως βάση της και το κέντρο του πολυέδρου ως κορυφής της. Το ύψος της πυραμίδας ισούται με την εσωτερική ακτίνα του πολυέδρου. Εάν η περιοχή της έδρας είναι και η εσωτερική ακτίνα είναι τότε ο όγκος της πυραμίδας είναι το ένα-τρίτο της βάσης επί το ύψος, or . Για ένα κανονικό πολύεδρο με έδρες, ο όγκος του είναι τότε simply
Για παράδειγμα, ένας κύβος με ακμές μήκους έχει έξι έδρες, και κάθε έδρα είναι ένα τετράγωνο με εμβαδόν . Η εσωτερική ακτίνα από το κέντρο της έδρας έως το κέντρο του κύβου είναι . Τότε ο όγκος δίνεται από
ο συνήθης τύπος για τον όγκο ενός κύβου.
Ο όγκος οποιουδήποτε προσανατολίσιμου πολυέδρου μπορεί να υπολογιστεί χρησιμοποιώντας το θεώρημα απόκλισης. Εξετάζουνε το διανυσματικό πεδίο , του οποίου η απόκλιση είναι πάντα 1. Από το θεώρημα απόκλισης συνεπάγεται ότι ο όγκος ισούται με το ολοκλήρωμα της επιφάνειας της :
Όταν Ω είναι η περιοχή που περικλείεται από ένα πολύεδρο, δεδομένου ότι οι έδρες του πολυέδρου είναι επίπεδες και ότι έχουν κατά τμήματα σταθερά κάθετα διανύσματα, ο τύπος γίνεται
όπου για την i έδρα, είναι το βαρύκεντρο της έδρας, είναι το κάθετο διάνυσμά της, και είναι το εμβαδόν της.[3]
Δεδομένου ότι μπορεί να είναι δύσκολο να απαριθμηθούν οι έδρες, ο υπολογισμός του όγκου μπορεί να είναι πρόκληση, και ως εκ τούτου υπάρχουν εξειδικευμένοι αλγόριθμοι για τον προσδιορισμό του όγκου (πολλοί από αυτούς γενικεύονται και σε κυρτά πολύγωνα σε υψηλότερες διαστάσεις).[4]
Τα πολύεδρα συνήθως ονομάζονται με βάση τον αριθμό των εδρών. Το σύστημα της ονομασίας βασίζεται στα Αρχαία Ελληνικά, για παράδειγμα τετράεδρο (4), πεντάεδρο (5), εξάεδρο (6), επτάεδρο (7), τριακοντάεδρο (30), και ούτω καθεξής. Μερικές φορές τροποποιούνται με βάση την περιγραφή των ειδών των εδρών που έχουν, για παράδειγμα το Ρομβικό δωδεκάεδρο εναντίον του Πενταγωνικού δωδεκαέδρου.
Μερικά πολύεδρα απέκτησαν κοινά ονόματα, για παράδειγμα το κανονικό εξάεδρο είναι ευρέως γνωστό ως κύβος. Άλλα έχουν πάρει το όνομά τους από αυτούς που τα ανακάλυψαν, όπως το τέρας του Miller ή το πολύεδρο του Szilassi.
Άλλα κοινά ονόματα δείχνουν ότι κάποια πράξη έχει εκτελεστεί σε ένα απλούστερο πολύεδρο, για παράδειγμα ο κόλουρος κύβος μοιάζει με κύβο του οποίου οι γωνίες έχουν κοπεί, και έχει 14 έδρες (άρα είναι επίσης παράδειγμα δεκατεσσεράεδρων).
Στην γεωμετρία, ένα πολύεδρο είναι παραδοσιακά ένα τρισδιάστατο σχήμα που αποτελείται από ένα πεπερασμένο αριθμό πολυγωνικών εδρών οι οποίες είναι τμήματα των επιπέδων; οι έδρες χωρίζονται σε ζεύγη κατά μήκος των ακμών που είναι ευθείες γραμμές, και οι ακμές τέμνονται σε σημεία που λέγονται κορυφές. Κύβοι, πρίσματα και πυραμίδες είναι παραδείγματα πολυέδρων. Το πολύεδρο περιβάλλει ένα φραγμένο όγκο σε τρισδιάστατο χώρο; μερικές φορές αυτός ο εσωτερικός όγκος θεωρείται ότι είναι μέρος του πολυέδρου, μερικές φορές μόνο η επιφάνεια θεωρείται, και περιστασιακά μόνο ο σκελετός των ακμών.
Ένα πολύεδρο λέγεται κυρτό εάν η επιφάνειά του (η οποία περιλαμβάνει έδρες, ακμές και κορυφές) δεν τέμνει τον εαυτό της και αν το ευθύγραμμο τμήμα που ενώνει οποιαδήποτε δύο σημεία του πολυέδρου περιέχεται στο εσωτερικό ή στην επιφάνεια.
Πολλά από τα πιο μελετημένα πολύεδρα είναι ιδιαίτερα συμμετρικά.
Φυσικά είναι εύκολο να παραμορφωθούν τέτοια πολύεδρα έτσι ώστε να μην είναι πλέον συμμετρικά. Αλλά όπου δίνεται ένα πολυεδρικό όνομα, όπως εικοσιδωδεκάεδρο, η πιο συμμετρική γεωμετρία είναι σχεδόν πάντα σιωπηρή, εκτός εάν διατυπωθεί διαφορετικά.
Μερικά από τα πιο κοινά ονόματα ειδικότερα χρησιμοποιούνται συχνά με τη λέξη "κανονικό" μπροστά ή την αφήνουν να εννοηθεί επειδή για το καθένα υπάρχουν διαφορετικοί τύποι που έχουν ελάχιστα κοινά εκτός από τον ίδιο αριθμό των εδρών. Αυτά είναι η τριγωνική πυραμίδα ή τετράεδρο, κύβος ή εξάεδρο, οκτάεδρο, δωδεκάεδρο και εικοσάεδρο:
Τα πολύεδρα των υψηλότερων συμμετριών έχουν όλα κάποιου είδους στοιχείο (έδρες, ακμές ή/και κορυφές), μέσα σε μία ενιαία συμμετρική τροχιά.[εκκρεμεί παραπομπή] Υπάρχουν διάφορες κατηγορίες των εν λόγω πολυέδρων:
Ένα πολύεδρο μπορεί να ανήκει στην ίδια συνολική ομάδα συμμετριών ως αυτό με την υψηλότερη συμμετρία, αλλά θα έχει αρκετές ομάδες στοιχείων (για παράδειγμα οι έδρες) σε διαφορετικές τροχιές συμμετρίας.
Τα Ομοιόμορφα πολύεδρα είναι vertex-transitive και η κάθε έδρα τους είναι κανονικό πολύγωνο. Μπορεί να είναι κανονικά, ψευδοκανονικά ή ημικανονικά, μπορεί επίσης να είναι κυρτά ή αστεροειδή.
Τα δυϊκά των ομοιόμορφων είναι face-transitive και το κάθε σχήμα κορυφής είναι ένα κανονικό πολύγωνο.
Η μεταβατικότητα των εδρών ενός πολυέδρου αντιστοιχεί στην μεταβατικότητα των κορυφών του δυϊκού και αντίστροφα, και η μεταβατικότητα των ακμών ενός πολυέδρου αντιστοιχεί στην μεταβατικότητα των ακμών του δυϊκού. Το δυϊκό ενός κανονικού πολυέδρου είναι επίσης κανονικό. Το δυϊκό ενός μη κανονικού ομοιόμορφου πολυέδρου (που ονομάζεται Καταλανικό στερεό εάν είναι κυρτό) έχει μη κανονικές έδρες.
Κάθε ομοιόμορφο πολύεδρο μοιράζεται την ίδια συμμετρία με το δυϊκό του, με τις συμμετρίες των εδρών και των κορυφών απλά να ανταλλάσσονται. Εξαιτίας αυτού ορισμένες αρχές θεωρούν τα δυϊκά επίσης ομοιόμορφα. Αλλά αυτή η ιδέα δεν είναι ευρέως διαδεδομένη: ένα πολύεδρο και τα συμμετρικά του δεν είναι το ίδιο πράγμα.
Τα ομοιόμορφα πολύεδρα και τα δυϊκά τους παραδοσιακά κατατάσσονται ανάλογα με το βαθμό της συμμετρίας τους, και με βάση το αν είναι κυρτά ή όχι.
Κυρτά ομοιόμορφα | Δυϊκά κυρτών ομοιόμορφων | Αστεροειδή ομοιόμορφα | Δυϊκά αστεροειδών ομοιόμορφων | |
---|---|---|---|---|
Κανονικά | Πλατωνικά στερεά | στερεά Kepler-Poinsot | ||
Ψευδοκανονικά | Αρχιμήδεια στερεά | Καταλανικά στερεά | (χωρίς ειδική ονομασία) | (χωρίς ειδική ονομασία) |
Ημικανονικά | (χωρίς ειδική ονομασία) | (χωρίς ειδική ονομασία) | ||
Πρίσματα | Διπυραμίδες | Αστεροειδή Πρίσματα | Αστεροειδείς Διπυραμίδες | |
Αντιπρίσματα | Τραπεζοπολύεδρα | Αστεροειδή αντιπρίσματα | Αστεροειδή τραπεζοπολύεδρο |
Ένα ευγενές πολύεδρο είναι ταυτόχρονα ισοεδρικό (equal-faced) και ισογώνιο (equal-cornered). Πέρα από τα κανονικά πολύεδρα, υπάρχουν πολλά άλλα παραδείγματα.
Το δυϊκό ενός ευγενούς πολυέδρου είναι επίσης ευγενές.
Οι πολυεδρικές ομάδες συμμετρίας (χρησιμοποιώντας σημειογραφία Schoenflies) είναι όλες σημειακές ομάδες και περιλαμβάνουν:
Αυτά με στροβιλική συμμετρία δεν έχουν ανακλαστική συμμετρία και ως εκ τούτου έχουν δύο αντιμεταθετικές μορφές που είναι αντανακλάσεις της καθεμιάς. Τα κολοβά Αρχιμήδεια πολύεδρα έχουν αυτή την ιδιότητα.
Μερικές οικογένειες πολυέδρων, όπου η κάθε έδρα είναι το ίδιο είδος πολυγώνου:
Δεν υπάρχει πολύεδρο του οποίου οι έδρες να είναι όλες ίδιες και να είναι κανονικά πολύγωνα με έξι ή περισσότερες πλευρές γιατί η κορυφή των τριών κανονικών εξαγώνων ορίζει ένα επίπεδο. (Βλέπε άπειρο ασύμμετρο πολύεδρο για εξαιρέσεις με αντικριστά σχήματα κορυφών.)
Ένα δελτάεδρο είναι ένα πολύεδρο του οποίου οι έδρες είναι όλες ισόπλευρα τρίγωνα. Υπάρχουν άπειρα τέτοια δελτάεδρα, αλλά μόνο οκτώ από αυτά είναι αυστηρώς κυρτά:
Ο Νόρμαν Τζόνσον αναζήτησε ποια κυρτά μη ομοιόμορφα πολύεδρα είχαν κανονικές έδρες. Το 1966, δημοσίευεσε μία λίστα από 92 τέτοια στερεά, τους έδωσε ονόματα και αριθμούς, και εικάστηκε ότι δεν υπήρχαν άλλα. Ο Victor Zalgaller απέδειξε το 1969 ότι η λίστα αυτών των στερεών του Τζόνσον ήταν ολοκληρωμένη.
Οι πυραμίδες περιλαμβάνουν μερικά από τα πιο σεβαστά και διάσημα πολύεδρα.
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
Οι αστερισμοί ενός πολυέδρου είναι η διαδικασία της επέκτασης των εδρών (εντός των σχημάτων) έτσι ώστε να ενωθούν για να σχηματίσουν ένα νέο πολύεδρο.
Είναι η ακρίβεια της αμοιβαιότητας της διαδικασίας του facetting η οποία είναι η διαδικασία της αφαίρεσης κομματιών του πολυέδρου χωρίς να δημιουργηθούν νέες κορυφές.
Ένα ζωνόεδρο είναι ένα κυρτό πολύεδρο που η κάθε έδρα του είναι ένα πολύγωνο με συμμετρική αναστροφή ή, ισοδύναμα, συμμετρία με περιστροφές κάτω των 180°.
Ένα σπειροειδές πολύεδρο είναι ένα πολύεδρο με χαρακτηριστική Euler 0 ή λιγότερο, που ισοδυναμεί με Genus 1 ή περισσότερο, αντιπροσωπεύοντας μία επιφάνεια σπείρας που έχει μία ή περισσότερες οπές στη μέση.
Οι πολυεδρικές ενώσεις σχηματίζονται από τις ενώσεις 2 ή περισσοτέρων πολυέδρων.
Αυτές οι ενώσεις often συχνά μοιράζονται τις ίδιες κορυφές όπως άλλα πολύεδρα και συχνά σχηματίζονται με αστερισμό. Μερικές καταγράφονται στην λίστα πολυεδρικών μοντέλων του Wenninger.
Ένα ορθογώνιο πολύεδρο είναι ένα σύνολο από έδρες που ενώνονται σε ορθές γωνίες, και το σύνολο των οποίων οι ακμές είναι παράλληλες προς τους άξονες ενός καρτεσιανού συστήματος συντεταγμένων. Εκτός από ένα ορθογώνιο κουτί, τα ορθογώνια πολύεδρα είναι μη-κυρτά. Είναι τα τρισδιάστατα αναλογικά των δισδιάστατων ορθογώνιων πολυγώνων, γνωστών επίσης ως ευθύγραμμα πολύγωνα. Τα ορθογώνια πολύεδρα χρησιμοποιούνται στην υπολογιστική γεωμετρία, όπου η περιορισμένη δομή τους τούς επέτρεψε να προοδεύσουν σε άλυτα προβλήματα αυθαίρετα πολύεδρα, για παράδειγμα, να ξεδιπλώσουν την επιφάνεια ενός πολυέδρου σε ένα πολυγωνικό δίκτυο.
Η ονομασία 'πολύεδρο' δημιουργήθηκε για να χρησιμοποιηθεί για μία ποικιλία αντικειμένων με παρόμοιες δομικές ιδιότητες με τα παραδοσιακά πολύεδρα.
Μία κλασική πολυεδρική επιφάνεια περιλαμβάνει πεπερασμένες, οριοθετούμενες περιφέρειες επιπέδου, ενωμένες σε ζευγάρια κατά μήκος των ακμώ. Εάν μία τέτοια επιφάνεια εκτείνεται επ'αόριστον ονομάζεται απειρόεδρο. Τα παραδείγματα περιλαμβάνουν:
Δείτε επίσης: Apeirogon - Άπειρο κανονικό πολύγωνο: {∞}
Το σύνθετο πολύεδρο είναι ένα το οποίο είναι κατασκευασμένο σε πολύπλοκο τρισδιάστατο Hilbert. Ο χώρος αυτός έχει έξι διαστάσεις: τρεις πραγματικές που αντιστοιχούν στον συνήθη χώρο, με την κάθε μία να συνοδεύεται από μία φανταστική διάσταση. Βλέπε για παράδειγμα Coxeter (1974).
Ορισμένοι από τους τομείς της μελέτης επιτρέπουν τα πολύεδρα να έχουν καμπυλωτές επιφάνειες και ακμές.
Η επιφάνεια της σφαίρας μπορεί να χωριστεί με ευθύγραμμα τμήματα σε οριοθετούμενες περιοχές, για να σχηματίσει ένα σφαιρικό πολύεδρο. Μεγάλο μέρος της θεωρίας των συμμετρικών πολυέδρων προέρχεται πιο βολικά με αυτό τον τρόπο.
Τα σφαιρικά πολύεδρα έχουν μία μακρά και αξιοσέβαστη ιστορία:
Μερικά πολύεδρα, όπως μονόεδρα και δίεδρα, υπάρχουν μόνο ως σφαιρικά πολύεδρα και δεν έχουν καθόλου αναλογικές επίπεδες έδρες.
Δύο σημαντικοί τύποι είναι:
Πιο πρόσφατα τα μαθηματικά ορίσανε ένα πολύεδρο ως ένα σύνολο σε πραγματικό αφινικό (ή Ευκλείδιο) χώρο οσονδήποτε n διαστάσεων που να έχει επίπεδες επιφάνειες. Μπορεί εναλλακτικά να ορίζεται ως η ένωση ενός πεπερασμένου αριθμού κυρτών πολυέδρων, όπου ένα κυρτό πολύεδρο είναι οποιοδήποτε σύνολο το οποίο είναι η τομή ενός πεπερασμένου αριθμού ημι-χώρων. Μπορεί να είναι φραγμένο ή άπειρο. Με αυτή την έννοια, ένα πολύτοπο είναι ένα φραγμένο πολύεδρο.
Αναλυτικότερα, ένα τέτοιο κυρτό πολύεδρο εκφράζεται ως το σύνολο των λύσεων ενός συστήματος γραμμικών ανισοτήτων. Ο καθορισμός του πολυέδρου με αυτό τον τρόπο παρέχει μία γεωμετρική προοπτική των προβλημάτων στον Γραμμικό προγραμματισμό.
Πολλές μορφές παραδοσιακών πολυέδρων είναι γενικά πολύεδρα. Άλλα παραδείγματα περιλαμβάνουν:
Δεν είναι απαραίτητο να συμπληρωθεί η έδρα ενός σχήματος πριν πούμε ότι είναι πολύεδρο. Για παράδειγμα ο Leonardo da Vinci επινόησε μοντέλα πλαισίων των κανονικών στερεών, τα οποία ζωγράφισε για το βιβλίο του Pacioli Divina Proportione. Στην σύχγρονη εποχή, ο Branko Grünbaum (1994) έκανε μία ειδική μελέτη αυτής της τάξης των πολυέδρων στην οποία αναπτύχθηκε μία πρώιμη ιδέα των αφηρημένων πολυέδρων. Όρισε μία έδρα ως ένα κυκλικά διατεταγμένο σύνολο κορυφών και επέτρεψε οι έδρες να είναι λοξές όπως και επίπεδες.
Διάφορα μαθηματικά καταστευάσματα έχουν βρεθεί να έχουν ιδιότητες οι οποίες παρουσιάζονται επίσης στα παραδοσιακά πολύεδρα.
Ένα τοπολογικό πολύτοπο είναι ένας τοπολογικός χώρος που παρατίθεται μαζί με ένα ειδικό διαμερισμό σχημάτων που είναι τοπολογικά ισοδύναμα με κυρτά πολύτοπα και που είναι συνδεδεμένα μεταξύ τους με ένα κανονικό τρόπο.
Ένα τέτοιο σχήμα λέγεται απλό αν κάθε περιφέρειά του είναι simplex, δηλαδή σε έναν n-διάστατο χώρο κάθε περιοχή έχει n+1 κορυφές. Η δυϊκότητα ενός απλού πολύτοπου λέγεται απλή. Ομοίως, μία ευρέως μελετημένη τάξη πολύτοπων (πολύεδρα) είναι αυτή των κυβικών πολυέδρων, όταν το βασικό δομικό στοιχείο είναι ένας n-διάστατος κύβος.
Ένα αφηρημένο πολύεδρο είναι ένα μερικώς διατεταγμένο σύνολο (poset) στοιχείων των οποίων η μερική διάταξη υπακούει σε ορισμένους κανόνες. Οι θεωρίες διαφέρουν στις λεπτομέρειες, αλλά ουσιαστικά τα στοιχεία του συνόλου αντιστοιχούν στο σώμα, τις έδρες, τις ακμές και τις γωνίες του πολυέδρου. Το κενό σύνολο αντιστοιχεί στο μηδενικό πολύτοπο, ή nullitope, το οποίο έχει διαστατικότητα −1. Αυτά τα poset ανήκουν στην ευρύτερη οικογένεια των αφηρημένων πολυτόπων σε οποιοδήποτε αριθμό διαστάσεων.
Κάθε πολύεδρο δημιουργεί μια γραφική παράσταση, ή σκελετό, με τις αντίστοιχες κορυφές και ακμές. Έτσι η ορολογία γραφημάτων και οι ιδιότητες μπορεί να εφαρμοστεί στα πολύεδρα. Για παράδειγμα:
Πέτρες σκαλισμένες σε σχήματα οι οποίες δείχνουν τις συμμετρίες των διαφόρων πολυέδρων έχουν βρεθεί στη Σκωτία και μπορεί να είναι μέχρι και 4,000 ετών. Αυτές οι πέτρες δείχνουν όχι μόνο τη μορφή των διαφόρων συμμετρικών πολυέδρων, αλλά και τις σχέσεις δυϊκότητας μεταξύ ορισμένων από αυτών(δηλαδή, ότι τα κέντρα των εδρών του κύβου δίνουν τις κορυφές ενός οκταέδρου, και ούτω καθεξής). Παραδείγματα τέτοιων λίθων βρίσκονται σε επίδειξη στην αίθουσα John Evans [5] του Ασμόλειου μουσείου στο Πανεπιστήμιο της Οξφόρδης. Είναι αδύνατο να γνωρίζουμε γιατί φτιάχτηκαν αυτά τα αντικείμενα, ή πως ο γλύπτης κέρδισε την έμπνευση για αυτούς.
Άλλα πολύεδρα έχουν φυσικά αφήσει το στίγμα τους στην Αρχιτεκτονική—κύβοι και ορθογώνια παραλληλεπίπεδα είναι προφανή παραδείγματα, με τις πρώτες πυραμίδες τεσσάρων-όψεων της αρχαίας Αιγύπτου επίσης να χρονολογούνται από τη Λίθινη Εποχή.
Οι Ετρούσκοι προηγήθηκαν των Ελλήνων στην ευαισθητοποίηση τους για μερικά τουλάχιστον από τα κανονικά πολύεδρα, όπως αποδεικνύεται από την ανακάλυψη κοντά στην Πάντοβα (στη Βόρεια Ιταλία) στα τέλη του 19ου αιώνα ενός δωδεκαέδρου από στεατίτη, η οποία χρονολογείται πάνω από 2,500 χρόνια (Lindemann, 1987). Οι κρύσταλλοι Pyritohedric βρίσκονται στη Βόρεια Ιταλία [εκκρεμεί παραπομπή].
Οι αρχαιότερες γνωστές γραπτές εγγραφές αυτών των σχημάτων προέρχονται από τους κλασικούς Έλληνες συγγραφείς, που επίσης έδωσαν την πρώτη γραπτή μαθηματική περιγραφή τους. Οι Αρχαίοι Έλληνες ενδιαφέρονταν κυρίως για τα κυρτά κανονικά πολύεδρα, που έγιναν γνωστά ως Πλατωνικά Στερεά. Ο Πυθαγόρας γνώριζε τουλάχιστον τρία από αυτά, και ο Θεαίτητος (γύρω στο 417 B. C.) μπορούσε να περιγράψει και τα πέντε. Τελικά, ο Ευκλείδης περιέγραψε την κατασκευή τους με τα Στοιχεία του. Αργότερα, ο Αρχιμήδης επέκτεινε τη μελέτη του στα κυρτά ανομοιόμορφα πολύεδρα τα οποία τώρα φέρουν το όνομά του. Το αυθεντικό του έργο έχει χαθεί και τα στερεά του έχουν έρθει σε εμάς μέσω του Πάππου.
Μέχρι το 236 AD, στην Κίνα ο Liu Hui είχε περιγράψει την ανατομή του κύβου σε χαρακτηριστικό τετράεδρο (orthoscheme) και σε σχετικά στερεά, χρησιμοποιώντας σύνολα αυτών των στερεών ως βάση για τον υπολογισμό των όγκων της γης που θα μετακινόντουσαν κατά τη διάρκεια μηχανικών ανασκαφών.
Μετά το τέλος της Κλασικής Εποχής, οι μελετητές του Ισλαμικού πολιτισμού συνέχισαν να λαμβάνουν την Ελληνική γνώση forward (Βλέπε Mathematics in medieval Islam).
Ένας μελετητής του 9ου αιώνα, ο Thabit ibn Qurra έδωσε φόρμουλες για τον υπολογισμό του όγκου των πολυέδρων όπως οι κόλουρες πυραμίδες.
Μετά τον 10ο αιώνα ο Abu'l Wafa περιέγραψε τα κυρτά κανονικά και τα ψευδοκανονικά σφαιρικά πολύεδρα.
Όπως και με άλλους τομείς της Ελληνικής σκέψης οι οποίοι διατηρήθηκαν και ενισχύθηκαν από τους Ισλαμικούς μελετητές, το ενδιαφέρον της Δύσης για τα πολύεδρα αναβίωσε κατά τη διάρκεια της Ιταλικής Αναγέννησης. Καλλιτέχνες κατασκεύασαν σκελετικά πολύεδρα, που τους απεικόνιζαν στη ζωή ως μέρος των ερευνών τους με προοπτική. Πολλά εμφανίζονταν σε πάνελ μαρκετερί της περιόδου. Η Piero della Francesca έδωσε την πρώτη γραπτή περιγραφή των άμεσων γεωμετρικών κατασκευών πολυέδρων τέτοιας προοπτικής. Ο Λεονάρντο ντα Βίντσι (Leonardo da Vinci) έκανε σκελετικά μοντέλα αρκετών πολυέδρων και ζωγράφισε τις απεικονίσεις τους σε ένα βιβλίο του Pacioli. Ένας πίνακας από έναν ανώνυμο καλλιτέχνη του Pacioli δείχνει ένα ποτήρι rhombicuboctahedron μισό-γεμάτο με νερό.
Καθώς η Αναγέννηση εξαπλωνόταν πέρα από την Ιταλία, αργότερα οι καλλιτέχνες όπως ο Wenzel Jamnitzer, Dürer και άλλοι επίσης απεικόνισαν πολύεδρα διαφόρων ειδών, πολλά από τα οποία ήταν καινοτόμα, στην εφευρετική χαλκογραφία.
Για περίπου 2.000 χρόνια, η έννοια του πολυέδρου ως στερεό κυρτό είχε παραμείνει όπως είχε αναπτυχθεί από τους Αρχαίους Έλληνες Μαθηματικούς.
Κατά τη διάρκεια της Αναγέννησης σχήματα αστέρων ανακαλύφθηκαν. Μία Τάρσια μαρμάρινη πλάκα στο δάπεδο της Βασιλικής του Αγίου Μάρκου, στη Βενετία, απεικονίζει ένα αστεροειδές δωδεκάεδρο. Καλλιτέχνες όπως ο Wenzel Jamnitzer ευχαριστιόντουσαν απεικονίζοντας καινοτόμες αστεροειδές μορφές αυξανόμενης πολυπλοκότητας.
Ο Γιοχάνες Κέπλερ (Johannes Kepler) συνειδητοποίησε ότι τα αστεροειδή πολύγωνα, συνήθως πενταγράμματα, μπορούσαν να χρησιμοποιηθούν για τη δημιουργία αστεροειδών πολυέδρων. Κάποια από αυτά τα αστεροειδή πολύεδρα μπορεί να ανακαλύφθηκαν πριν την εποχή του Κέπλερ, αλλά ήταν ο πρώτος που αναγνώρισε ότι θα μπορούσαν να θεωρηθούν "κανονικά" εάν αφαιρεθεί ο περιορισμός ότι τα κανονικά πολύτοπα είναι κυρτά. Αργότερα, ο Louis Poinsot συνειδητοποίησε ότι τα αστεροειδή σχήματα κορυφών (κύκλοι γύρω από κάθε γωνία) μπορούν επίσης να χρησιμοποιηθούν, και ανακάλυψε τα εναπομείναντα δύο κανονικά αστεροειδή πολύεδρα. Ο Cauchy απέδειξε ότι η λίστα του Poinsot είναι ολοκληρωμένη, και ο Cayley τους έδωσε τα αποδεκτά Αγγλικά ονόματά τους: (του Kepler) το μικρό αστρόμορφο δωδεκάεδρο και το μεγάλο αστρόμορφο δωδεκάεδρο, και (του Poinsot) το μεγάλο εικοσάεδρο και το μεγάλο δωδεκάεδρο. Συνολικά ονομάζονται τα Kepler-Poinsot πολύεδρα.
Τα Kepler-Poinsot πολύεδρα μπορούν να κατασκευαστούν από τα Πλατωνικά στερεά με μία διαδικασία που λέγεται αστερισμός. Οι περισσότεροι αστερισμοί δεν είναι κανονικοί. Στη μελέτη των αστερισμών των Πλατωνικών στερεών δόθηκε μεγάλη ώθηση από τον H. S. M. Coxeter και άλλους το 1938, με το πλέον διάσημο βιβλίο Τα 59 εικοσάεδρα. Αυτή η μελέτη πρόσφατα εκδόθηκε ξανά (Coxeter, 1999).
Η αμοιβαία διαδικασία του αστερισμού λέγεται facetting (or faceting). Κάθε αστερισμός ενός πολύτοπου είναι δυϊκός, ή αμοιβαίος, σε κάποιο facetting του δυϊκού πολύτοπου. Τα κανονικά αστεροειδή πολύεδρα μπορούν επίσης να αποκτηθούν με facetting στα Πλατωνικά στερεά. Ο Bridge 1974 έκανε μία λίστα με τα πιο απλά facettings του δωδεκαέδρου, και την αντάλλαξε για να ανακαλύψει τον αστερισμό του εικοσαέδρου που έλειπε από τα διάσημα "59". Περισσότερα έχουν ανακαλυφθεί από τότε, και η ιστορία δεν έχει ακόμα τελειώσει.
Για τα φυσικά γεγονότα των κανονικών πολυέδρων, δες Κανονικό πολύεδρο: Κανονικά πολύεδρα στη φύση. Μη-κανονικά πολύεδρα εμφανίζονται στη φύση ως κρύσταλλοι.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.