Τρίγωνο Σιερπίνσκι

Το τρίγωνο Σιερπίνσκι (πολωνικά: Trójkąt Sierpińskiego, αγγλικά: Sierpinski Triangle) γνωστό και ως κόσκινο Σιερπίνσκι (Sierpinski Sieve) ή παρέμβυσμα Σιερπίνσκι (Sierpinski Gasket), είναι δομή φράκταλ σταθερού σημείου, εντός των ορίων ενός ισόπλευρου τριγώνου το οποίο διαιρείται αναδρομικά σε μικρότερα ισόπλευρα τρίγωνα. Αποτελεί ένα από τα βασικά παραδείγματα αυτοόμοιων ομάδων, όπου το σχήμα επαναλαμβάνεται σε οποιαδήποτε μεγέθυνση ή σμίκρυνση. Η ονομασία του προέρχεται από τον Πολωνό μαθηματικό Βάτσλαφ Σιερπίνσκι.

 Η αρχική περιγραφή της κατασκευής έγινε από τον Βάτσλαφ Σιερπίνσκι το 1915. Παρόμοιες κατασκευές κατά το παρελθόν αποτελούν η τετρακτύς των Πυθαγορείων (6ος αιώνας π.Χ.) στα 10 πρώτα σημεία, καθώς και ψηφιδωτά του 13ου αιώνα στον καθεδρικό ναό του Ανάγκνι στην βορειοδυτική Ιταλία, και σε άλλες τοποθεσίες της Ιταλίας όπως η ρωμαϊκή βασιλική της Αγίας Μαρίας στο Κοσμέντιν και αλλού, όπου η επανάληψη του σχεδίου γίνεται τουλάχιστον έως το 3ο επίπεδο. Παρόμοιες καμπύλες μορφές προκύπτουν από το Απολλώνιο πρόβλημα, το οποίο τέθηκε από τον Απολλώνιο τον Περγαίο (3ος αιώνας π.Χ.) και στην νεότερη εποχή περιγράφθηκε από τον Γκότφριντ Λάιμπνιτζ (17ος αιώνας) και η μορφή που προκύπτει αποτελεί πρόδρομο και καμπύλη εκδοχή του τριγώνου Σιερπίνσκι. Για ακέραιο αριθμό διαστάσεων d, ο διπλασιασμός της πλευράς του αντικειμένου δημιουργεί 2d αντίγραφα του αντικειμένου αυτού, π.χ. δημιουργούνται 2 αντίγραφα για μονοδιάστατο αντικείμενο, 4 αντίγραφα για δισδιάστατο αντικείμενο, και 8 αντίγραφα για τρισδιάστατο αντικείμενο. Στα τρίγωνα Σιερπίνσκι ο διπλασιασμός της πλευράς του προκαλεί την δημιουργία 3 αντιγράφων του εαυτού του, έτσι τα τρίγωνα αυτού του τύπου διαθέτουν διάσταση Χάουσντορφ ως log(3)/log(2) = log2 3 ≈ 1,585 βάσει του 2d = 3 για το d.Το εμβαδό ενός τριγώνου Σιερπίνσκι είναι μηδέν (κατά το μέτρο Λεμπέγκ), ενώ η περιοχή που απομένει μετά από κάθε επανάληψη αποτελέι τα 3/4 της προηγούμενης περιοχής πριν την επανάληψη, έτσι η άπειρη επανάληψη της διαδικασίας οδηγεί στο μηδέν.Τα σημεία της δομής περιγράφονται με απλό τρόπο στις βαρυκεντρικές συντεταγμένες. Εάν ένα σημείο έχει συντεταγμένες (0.u1u2u3…, 0.v1v2v3…, 0.w1w2w3…) εκφρασμένες ως δυαδικά ψηφία, τότε το σημείο βρίσκεται στο τρίγωνο Σιερπίνσκι εάν και μόνο εάν ui + vi + wi = 1 για όλα τα i. Μια γενίκευση του τριγώνου του Σιερπίνσκι αποτελεί το τρίγωνο του Πασκάλ με διαφορετικό ισοϋπόλοιπο (mod). Η επανάληψη n μπορεί να παραχθεί παίρνοντας ένα τρίγωνο Πασκάλ με Pn σειρές και χρωματίζοντας τους αριθμούς ανά την τιμή τους για x mod P. Καθώς το n προσεγγίζει το άπειρο δημιουργείται φράκταλ. Το ίδιο φράκταλ μπορεί να παραχθεί διαιρώντας ένα τρίγωνο σε ψηφιδοποίηση (tessellation) P2 παρομοίων τετραγώνων και αφαιρώντας τα ανάποδα τρίγωνα σε σχέση με το αρχικό, και κατόπιν επαναλαμβάνοντας το βήμα αυτό με κάθε μικρότερο τρίγωνο. Το φράκταλ μπορεί επίσης να δημιουργηθεί ξεκινώντας με ένα τρίγωνο και διαδοχικά τοποθετώντας τα αντίγραφα του σε διευθέτηση n(n + 1)/2 κατά τον ίδιο προσανατολισμό με τα μεγαλύτερα τρίγωνα και με τις κορυφές των προηγουμένων τριγώνων να εφάπτονται. Το τρίγωνο Σιερπίνσκι μπορεί να κατασκευαστεί ξεκινώντας με ένα ισόπλευρο τρίγωνο και αφαιρώντας διαδοχικά τριγωνικά υποσύνολα από αυτό: Τοπολογικά, το κάθε τρίγωνο που αφαιρείται αποτελεί ανοικτό σύνολο. Η ίδια ακολουθία σχημάτων η οποία καταλήγει σε τρίγωνο Σιερπίνσκι μπορεί να ακολουθηθεί με τα παρακάτω βήματα: Η παραπάνω διαδικασία δεν χρειάζεται απαραίτητα να έχει τρίγωνο, αλλά μπορεί να δουλέψει και με τετράγωνα. Βάσει της μεθόδου του παιγνίου χάους, εάν παρθεί ένα σημείο και κατόπιν εφαρμοστούν τυχαία κάποιοι μετασχηματισμοί σε αυτό, τα σημεία που προκύπτουν θα σχηματίσουν τρίγωνο Σιερπίνσκι: Τα παραπάνω ορίζονται από την σχέση vn+1 = 1/2(vn + prn), όπου rn είναι ο αριθμός 1, 2 or 3. και p1, p2 και p3 οι κορυφές του τριγώνου, ενώ vn το τυχαίο σημείο. Η δομή μπορεί να επιτευχθεί και ως καμπύλη επί πεδίου με διαδοχικές τροποποιήσεις, παρόμοιες με αυτές της νιφάδας χιονιού του Κοχ: Το φράκταλ που προκύπτει ονομάζεται η καμπύλη βέλους Σιερπίνσκι και η οριακή μορφή του είναι το τρίγωνο Σιερπίνσκι. Η δομή μπορεί να προκύψει κατά προσέγγιση και μέσω κυτταρικών αυτομάτων, όπως το Παιχνίδι της ζωής του Κόνγουεϊ.Εάν παρθεί ένα τρίγωνο Πασκάλ με 2n σειρές και οι άρτιοι αριθμοί χρωματιστούν λευκοί ενώ οι περιττοί μαύροι, το αποτέλεσμα που προκύπτει είναι τρίγωνο Σιερπίνσκι καθώς αντιστοιχεί στο όριο ακολουθίας όπου το n προσεγγίζει το άπειρο κατά την εναλλαγή περιττών και άρτιων.Στο παιχνίδι του πύργου του Ανόι, γίνεται μετακίνηση δίσκων μεταξύ τριών δοκών, εφόσον ο κάθε δίσκος είναι μικρότερος από αυτόν που βρίσκεται ακριβώς από κάτω του. Η ακολουθία κινήσεων εκφραζόμενη ως μη κατευθυνόμενο γράφημα, μπορεί να εκφραστεί γεωμετρικά ως το γράφημα τομής της ομάδος των τριγώνων που απομένουν μετά το νιοστό βήμα κατά την κατασκευή του τριγώνου του Σιερπίνσκι, και η ακολουθία των γραφημάτων αυτών αποτελεί διακριτό ανάλογο του τριγώνου του Σιερπίνσκι. Το τετράεδρο Σιερπίνσκι ή τέτριξ αποτελεί την τρισδιάστατη μορφή του τριγώνου. Σχηματίζεται με την σμίκρυνση ενός κανονικού τετράεδρου σε 1/2 του αρχικού του ύψους, και τοποθετώντας 4 αντίγραφα του τετράεδρου με τις γωνίες τους να εφάπτονται, και η διαδικασία αυτή επαναλαμβάνεται διαδοχικά. Η ίδια διαδικασία μπορεί να εφαρμοστεί και επί τετράγωνης πυραμίδας χρησιμοποιώντας 5 αντί για 4 αντίγραφα. Κατά την διαδικασία αυτή το συνολικό εμβαδό της επιφάνειας παραμένει σταθερό μετά την κάθε επανάληψη. Το αρχικό εμβαδό επιφανείας του τετράεδρου με μήκος πλευράς L είναι L2√3, και κατά το επόμενο βήμα υπάρχουν 4 αντίγραφα με μήκος πλευράς L/2 και έτσι το συνολικό εμβαδό γίνεται 4(L/2)2√3 = 4L2√3/4 = L2√3 ξανά. Στην γλώσσα προγραμματισμού που διατίθεται εντός του λογισμικού μαθηματικών υπολογισμών Mathematica, η αναδρομική συνάρτηση SiPyramid παράγει τρισδιάστατη πυραμίδα αυθαιρέτου βαθμού n ως το εμφανιζόμενο γραφικό αντικείμενο Graphics3D: Τετρακτύς Απολλώνιο πρόβλημα Φράκταλ (Αγγλικά) Pythagorean triangles, Waclaw Sierpinski, Courier Corporation, 2003 (Αγγλικά) Hazewinkel, Michiel, επιμ.. (2001), «Sierpinski gasket», Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4, http://www.encyclopediaofmath.org/index.php?title=p/s130310 (Αγγλικά) Weisstein, Eric W., "Sierpinski Sieve" από το MathWorld. (Αγγλικά) Real-time GPU generated Sierpinski Triangle in 3D