Χαλί του Σιερπίνσκι
Το χαλί του Σιερπίνσκι είναι ένα επίπεδο φράκταλ που περιγράφηκε για πρώτη φορά από τον Βάτσλαβ Σιερπίνσκι το 1916. Το χαλί είναι μια γενίκευση του συνόλου Κάντορ σε δύο διαστάσεις- η άλλη είναι η σκόνη Κάντορ.
Η τεχνική της υποδιαίρεσης ενός σχήματος σε μικρότερα αντίγραφα του εαυτού του, της αφαίρεσης ενός ή περισσότερων αντιγράφων και της αναδρομικής συνέχισης μπορεί να επεκταθεί και σε άλλα σχήματα. Για παράδειγμα, η υποδιαίρεση ενός ισόπλευρου τριγώνου σε τέσσερα ισόπλευρα τρίγωνα, η αφαίρεση του μεσαίου τριγώνου και η αναδρομή οδηγεί στο τρίγωνο Σιερπίνσκι. Στις τρεις διαστάσεις, μια παρόμοια κατασκευή που βασίζεται σε κύβους είναι γνωστή ως Σπόγγος του Μένγκερ.
Κατασκευή
Η κατασκευή του χαλιού Σιερπίνσκι ξεκινά με ένα τετράγωνο. Το τετράγωνο κόβεται σε 9 συγγραμμικά υποτετράγωνα σε ένα πλέγμα 3 επί 3 και το κεντρικό υποτετράγωνο αφαιρείται. Η ίδια διαδικασία εφαρμόζεται στη συνέχεια αναδρομικά στα υπόλοιπα 8 υποτετράγωνα, μέχρι το τέλος. Μπορεί να πραγματοποιηθεί ως το σύνολο των σημείων του μοναδιαίου τετραγώνου, των οποίων οι συντεταγμένες γραμμένες στη βάση τρία δεν έχουν και τα δύο ένα ψηφίο "1" στην ίδια θέση, χρησιμοποιώντας την απεικόνιση των απειροστικών αριθμών .[1].
Η διαδικασία της αναδρομικής αφαίρεσης τετραγώνων είναι ένα παράδειγμα κανόνα πεπερασμένης υποδιαίρεσης.
Ιδιότητες
Το εμβαδόν του χαλιού είναι μηδέν (στο τυπικό μέτρο Λέμπεργκ).
- Απόδειξη: Συμβολίζουμε ως Πρότυπο:Mvar το εμβαδόν της επανάληψης Πρότυπο:Mvar. Τότε Πρότυπο:Math. Άρα Πρότυπο:Math το οποίο τείνει στο 0 καθώς το Πρότυπο:Mvar πηγαίνει στο άπειρο.
Το εσωτερικό του χαλιού είναι άδειο.
- Απόδειξη: Ας υποθέσουμε ότι υπάρχει ένα σημείο P στο εσωτερικό του χαλιού. Τότε υπάρχει ένα τετράγωνο με κέντρο το Πρότυπο:Mvar το οποίο περιέχεται εξ ολοκλήρου στο χαλί. Αυτό το τετράγωνο περιέχει ένα μικρότερο τετράγωνο του οποίου οι συντεταγμένες είναι πολλαπλάσια του Πρότυπο:Math για κάποιο Πρότυπο:Mvar. Αλλά, αν αυτό το τετράγωνο δεν έχει αφαιρεθεί προηγουμένως, πρέπει να έχει τρυπήσει στην επανάληψη Πρότυπο:Math, οπότε δεν μπορεί να περιέχεται στο χαλί - μια αντίφαση.
Η διάσταση Χάουσντορφ του χαλιού είναι .[2]
Ο Σερπιένσκι απέδειξε ότι το χαλί του είναι μια καθολική επίπεδη καμπύλη[3] Δηλαδή: το χαλί του Σερπιένσκι είναι ένα συμπαγές υποσύνολο του επιπέδου με διάσταση κάλυψης Λεμπέσκ 1, και κάθε υποσύνολο του επιπέδου με αυτές τις ιδιότητες είναι ομοιομορφικό με κάποιο υποσύνολο του χαλιού του Σερπιένσκι.
Αυτή η "καθολικότητα" του χαλιού Σιερπίνσκι δεν είναι μια πραγματική καθολική ιδιότητα με την έννοια της θεωρίας κατηγοριών: δεν χαρακτηρίζει μοναδικά αυτόν τον χώρο μέχρι τον ομοιομορφισμό. Για παράδειγμα, η διαζευκτική ένωση ενός χαλιού Σιερπίνσκι και ενός κύκλου είναι επίσης μια καθολική επίπεδη καμπύλη. Ωστόσο, το 1958 ο Γκόρντον Γουάιμπερν[4] χαρακτήρισε μοναδικά το χαλί Σιερπίνσκι ως εξής: κάθε καμπύλη που είναι τοπικά συνδεδεμένη και δεν έχει "τοπικά σημεία αποκοπής" είναι ομοιομορφική με το χαλί Σιερπίνσκι. Εδώ ένα τοπικό σημείο αποκοπής είναι ένα σημείο Πρότυπο:Mvar για το οποίο κάποια συνδεδεμένη γειτονιά Πρότυπο:Mvar του Πρότυπο:Mvar έχει την ιδιότητα ότι το Πρότυπο:Math δεν είναι συνδεδεμένο. Επομένως, ένα οποιοδήποτε σημείο του κύκλου είναι για παράδειγμα ένα τοπικό σημείο κοπής.
Στην ίδια εργασία ο Γουάιμπερν έδωσε έναν άλλο χαρακτηρισμό του χαλιού Σιερπίνσκι. Θυμηθείτε ότι ένα συνεχές είναι ένας μη κενός συνδεδεμένος συμπαγής μετρικός χώρος. Ας υποθέσουμε ότι το Πρότυπο:Mvar είναι ένα συνεχές ενσωματωμένο στο επίπεδο. Ας υποθέσουμε ότι το συμπλήρωμά του στο επίπεδο έχει μετρήσιμα πολλές συνδεδεμένες συνιστώσες Πρότυπο:Math και ας υποθέσουμε:
- η διάμετρος του Πρότυπο:Mvar μηδενίζεται καθώς Πρότυπο:Math;
- Το όριο του Πρότυπο:Mvar και το όριο του Πρότυπο:Mvar είναι ασύνδετα αν Πρότυπο:Math;
- το όριο του Πρότυπο:Mvar είναι μια απλή κλειστή καμπύλη για κάθε Πρότυπο:Mvar;
- η ένωση των ορίων των συνόλων Πρότυπο:Mvar είναι πυκνή στο Πρότυπο:Mvar.
Τότε η Πρότυπο:Mvar είναι ομοιομορφική με το χαλί Σιεπίνσκι.
Η κίνηση Brown στο χαλί Σιερπίνσκι
Το θέμα της κίνησης Μπράουν στο χαλί Σιερπίνσκι προσέλκυσε το ενδιαφέρον τα τελευταία χρόνια.[5] Οι Μάρτιν Μπάρλοου και Ρίτσαρντ Μπας έδειξαν ότι ένας τυχαίος περίπατος στο χαλί Σιερπίνσκι διαχέεται με βραδύτερο ρυθμό από ό,τι ένας απεριόριστος τυχαίος περίπατος στο επίπεδο. Ο τελευταίος φτάνει σε μια μέση απόσταση ανάλογη του Πρότυπο:Math μετά από Πρότυπο:Mvar βήματα, αλλά ο τυχαίος περίπατος στο διακριτό χαλί Σιερπίνσκι φτάνει μόνο σε μια μέση απόσταση ανάλογη του Πρότυπο:Math για κάποιο Πρότυπο:Math. Έδειξαν επίσης ότι αυτός ο τυχαίος περίπατος ικανοποιεί ισχυρότερες ανισότητες μεγάλης απόκλισης (τις λεγόμενες "υπο-Γκαουσιανές ανισότητες") και ότι ικανοποιεί την ελλειπτική ανισότητα Χάρνακ χωρίς να ικανοποιεί την παραβολική. Η ύπαρξη ενός τέτοιου παραδείγματος ήταν ένα ανοιχτό πρόβλημα για πολλά χρόνια.
Κόσκινο Wallis (Γουάλις)
Μια παραλλαγή του χαλιού Σιερπίνσκι, που ονομάζεται κόσκινο Γουάλις, ξεκινά με τον ίδιο τρόπο, υποδιαιρώντας το μοναδιαίο τετράγωνο σε εννέα μικρότερα τετράγωνα και αφαιρώντας το μεσαίο από αυτά. Στο επόμενο επίπεδο υποδιαίρεσης, υποδιαιρεί κάθε ένα από τα τετράγωνα σε 25 μικρότερα τετράγωνα και αφαιρεί το μεσαίο, και συνεχίζει στο i-οστό βήμα υποδιαιρώντας κάθε τετράγωνο σε Πρότυπο:Math (τα περιττά τετράγωνα[6]) μικρότερα τετράγωνα και αφαιρώντας το μεσαίο. Με το γινόμενο Wallis, το εμβαδόν του συνόλου που προκύπτει είναι Πρότυπο:Sfrac, σε αντίθεση με το τυπικό χαλί του Σιερπίνσκι που έχει μηδενικό οριακό εμβαδόν. Αν και το κόσκινο Wallis έχει θετικό μέτρο Λεμπέσκ, κανένα υποσύνολο που είναι καρτεσιανό γινόμενο δύο συνόλων πραγματικών αριθμών δεν έχει αυτή την ιδιότητα, οπότε το μέτρο Τζόρνταν είναι μηδέν[7].
Εφαρμογές
Οι μορφοκλασματικές κεραίες για κινητά τηλέφωνα και Wi-Fi κατασκευάστηκαν με τη μορφή μερικών επαναλήψεων του χαλιού Σιερπίνσκι. Λόγω της αυτο-ομοιότητάς τους και της αναλλοίωτης κλίμακας, μπορούν εύκολα να φιλοξενήσουν πολλαπλές συχνότητες[8]. Είναι επίσης εύκολες στην κατασκευή και μικρότερες από τις συμβατικές κεραίες παρόμοιας απόδοσης, με αποτέλεσμα να είναι βέλτιστες για κινητά τηλέφωνα τσέπης.