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

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

## Ιστορία

Η αρχική περιγραφή της κατασκευής έγινε από τον Βάτσλαφ Σιερπίνσκι το 1915. Παρόμοιες κατασκευές κατά το παρελθόν αποτελούν η τετρακτύς των Πυθαγορείων (6ος αιώνας π.Χ.) στα 10 πρώτα σημεία, καθώς και ψηφιδωτά του 13ου αιώνα στον καθεδρικό ναό του Ανάγκνι στην βορειοδυτική Ιταλία, και σε άλλες τοποθεσίες της Ιταλίας όπως η ρωμαϊκή βασιλική της Αγίας Μαρίας στο Κοσμέντιν και αλλού, όπου η επανάληψη του σχεδίου γίνεται τουλάχιστον έως το 3ο επίπεδο.


Tetractys.svg|Τετρακτύς
Apollonian gasket.svg|Απολλώνιο παρέμβυσμα
Santa Maria in Cosmedin (Roma).jpg|Δάπεδο εκκλησίας στην βασιλική της Αγίας Μαρίας στο Κοσμέντιν


Παρόμοιες καμπύλες μορφές προκύπτουν από το Απολλώνιο πρόβλημα, το οποίο τέθηκε από τον Απολλώνιο τον Περγαίο (3ος αιώνας π.Χ.) και στην νεότερη εποχή περιγράφθηκε από τον Γκότφριντ Λάιμπνιτζ (17ος αιώνας) και η μορφή που προκύπτει αποτελεί πρόδρομο και καμπύλη εκδοχή του τριγώνου Σιερπίνσκι.

## Περιγραφή

### Βασικές ιδιότητες
[μικρογραφία|Προσέγγιση τριγώνου Σιερπίνσκι βάσει του [Τρίγωνο του Πασκάλ|τριγώνου του Πασκάλ, με σκίαση των κελιών των αριθμών ανάλογα με το αν ο διωνυμικός συντελεστής είναι άρτιος (δηλαδή ζυγός) αριθμός.]]

Για ακέραιο αριθμό διαστάσεων *d*, ο διπλασιασμός της πλευράς του αντικειμένου δημιουργεί 2*d* αντίγραφα του αντικειμένου αυτού, π.χ. δημιουργούνται 2 αντίγραφα για μονοδιάστατο αντικείμενο, 4 αντίγραφα για δισδιάστατο αντικείμενο, και 8 αντίγραφα για τρισδιάστατο αντικείμενο. Στα τρίγωνα Σιερπίνσκι ο διπλασιασμός της πλευράς του προκαλεί την δημιουργία 3 αντιγράφων του εαυτού του, έτσι τα τρίγωνα αυτού του τύπου διαθέτουν διάσταση Χάουσντορφ ως log(3)/log(2)&nbsp;=&nbsp;log2&nbsp;3&nbsp;≈&nbsp;1,585 βάσει του 2*d*&nbsp;=&nbsp;3 για το *d*.

Το εμβαδό ενός τριγώνου Σιερπίνσκι είναι μηδέν (κατά το μέτρο Λεμπέγκ), ενώ η περιοχή που απομένει μετά από κάθε επανάληψη αποτελέι τα  της προηγούμενης περιοχής πριν την επανάληψη, έτσι η άπειρη επανάληψη της διαδικασίας οδηγεί στο μηδέν.

Τα σημεία της δομής περιγράφονται με απλό τρόπο στις βαρυκεντρικές συντεταγμένες. Εάν ένα σημείο έχει συντεταγμένες (0.*u*1*u*2*u*3…, 0.*v*1*v*2*v*3…, 0.*w*1*w*2*w*3…) εκφρασμένες ως δυαδικά ψηφία, τότε το σημείο βρίσκεται στο τρίγωνο Σιερπίνσκι εάν και μόνο εάν  για όλα τα *i*.

### Γενίκευση
Μια γενίκευση του τριγώνου του Σιερπίνσκι αποτελεί το τρίγωνο του Πασκάλ με διαφορετικό ισοϋπόλοιπο (mod). Η επανάληψη *n* μπορεί να παραχθεί παίρνοντας ένα τρίγωνο Πασκάλ με *P**n* σειρές και χρωματίζοντας τους αριθμούς ανά την τιμή τους για *x*&nbsp;mod&nbsp;*P*. Καθώς το *n* προσεγγίζει το άπειρο δημιουργείται φράκταλ. Το ίδιο φράκταλ μπορεί να παραχθεί διαιρώντας ένα τρίγωνο σε ψηφιδοποίηση (*tessellation*) *P*2 παρομοίων τετραγώνων και αφαιρώντας τα ανάποδα τρίγωνα σε σχέση με το αρχικό, και κατόπιν επαναλαμβάνοντας το βήμα αυτό με κάθε μικρότερο τρίγωνο. Το φράκταλ μπορεί επίσης να δημιουργηθεί ξεκινώντας με ένα τρίγωνο και διαδοχικά τοποθετώντας τα αντίγραφα του σε διευθέτηση  κατά τον ίδιο προσανατολισμό με τα μεγαλύτερα τρίγωνα και με τις κορυφές των προηγουμένων τριγώνων να εφάπτονται.

## Μέθοδοι κατασκευής
### Αφαίρεση τριγώνων

Το τρίγωνο Σιερπίνσκι μπορεί να κατασκευαστεί ξεκινώντας με ένα ισόπλευρο τρίγωνο και αφαιρώντας διαδοχικά τριγωνικά υποσύνολα από αυτό:

512px|The evolution of the Sierpinski triangle

Τοπολογικά, το κάθε τρίγωνο που αφαιρείται αποτελεί ανοικτό σύνολο.

### Σμίκρυνση και αντιγραφή

Η ίδια ακολουθία σχημάτων η οποία καταλήγει σε τρίγωνο Σιερπίνσκι μπορεί να ακολουθηθεί με τα παρακάτω βήματα:

Η παραπάνω διαδικασία δεν χρειάζεται απαραίτητα να έχει τρίγωνο, αλλά μπορεί να δουλέψει και με τετράγωνα.

512px|Iterating from a square

### Παίγνιο χάους

Βάσει της μεθόδου του παιγνίου χάους, εάν παρθεί ένα σημείο και κατόπιν εφαρμοστούν τυχαία κάποιοι μετασχηματισμοί σε αυτό, τα σημεία που προκύπτουν θα σχηματίσουν τρίγωνο Σιερπίνσκι:

Τα παραπάνω ορίζονται από την σχέση , όπου *r<sub>n</sub>* είναι ο αριθμός 1, 2 or 3. και **p**1, **p**2 και **p**3 οι κορυφές του τριγώνου, ενώ **v**n το τυχαίο σημείο.

### Καμπύλη βέλους

Η δομή μπορεί να επιτευχθεί και ως καμπύλη επί πεδίου με διαδοχικές τροποποιήσεις, παρόμοιες με αυτές της Νιφάδα του Κοχ:

Το φράκταλ που προκύπτει ονομάζεται η καμπύλη βέλους Σιερπίνσκι και η οριακή μορφή του είναι το τρίγωνο Σιερπίνσκι.

### Άλλες μέθοδοι
[μικρογραφία|δεξιά|Ως [Δέντρο (Θεωρία Γράφων)|δέντρο φράκταλ με 3 κλάδους σε γωνία 60° αναμεταξύ τους. Η ελαχιστοποίηση της γωνίας επιφέρει τον μετασχηματισμό σε δέντρο.]]

Η δομή μπορεί να προκύψει κατά προσέγγιση και μέσω κυτταρικών αυτομάτων, όπως το Παιχνίδι της ζωής του Κόνγουεϊ.

Εάν παρθεί ένα τρίγωνο Πασκάλ με 2*n* σειρές και οι άρτιοι αριθμοί χρωματιστούν λευκοί ενώ οι περιττοί μαύροι, το αποτέλεσμα που προκύπτει είναι τρίγωνο Σιερπίνσκι καθώς αντιστοιχεί στο όριο ακολουθίας όπου το *n* προσεγγίζει το άπειρο κατά την εναλλαγή περιττών και άρτιων.

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

## Τέτριξ

Το *τετράεδρο Σιερπίνσκι* ή *τέτριξ* αποτελεί την τρισδιάστατη μορφή του τριγώνου. Σχηματίζεται με την σμίκρυνση ενός κανονικού τετράεδρου σε 1/2 του αρχικού του ύψους, και τοποθετώντας 4 αντίγραφα του τετράεδρου με τις γωνίες τους να εφάπτονται, και η διαδικασία αυτή επαναλαμβάνεται διαδοχικά. Η ίδια διαδικασία μπορεί να εφαρμοστεί και επί τετράγωνης πυραμίδας χρησιμοποιώντας 5 αντί για 4 αντίγραφα.


Sierpinski pyramid.png|Τρισδιάστατο τρίγωνο Σιερπίνσκι και το αντίστροφο του.
tetrix_projection_fill_plane.gif|Περιστρεφόμενη τέτριξ και οι ορθογραφικές προβολές της
Sierpinskitetrahedron.gif|Τετράεδρο Σιερμπίνσκι πυραμίδας


Κατά την διαδικασία αυτή το συνολικό εμβαδό της επιφάνειας παραμένει σταθερό μετά την κάθε επανάληψη. Το αρχικό εμβαδό επιφανείας του τετράεδρου με μήκος πλευράς *L* είναι *L*2, και κατά το επόμενο βήμα υπάρχουν 4 αντίγραφα με μήκος πλευράς *L*/2 και έτσι το συνολικό εμβαδό γίνεται 4(*L*/2)2&nbsp;= 4*L*2/4&nbsp;= *L*2 ξανά.

## Προγραμματιστικά
[μικρογραφία|Αναδρομική [φράκταλ παράσταση του τριγώνου]]

Στην γλώσσα προγραμματισμού που διατίθεται εντός του λογισμικού μαθηματικών υπολογισμών Mathematica, η αναδρομική συνάρτηση **SiPyramid** παράγει τρισδιάστατη πυραμίδα αυθαιρέτου βαθμού *n* ως το εμφανιζόμενο γραφικό αντικείμενο **Graphics3D**:


```mathematica
vect[1] = {0, 0, 0};
vect[2] = {1, 0, 0};
vect[3] = {0.5, 3^0.5/2, 0};
vect[4] = {0.5, 1/3*3^0.5/2, ((3^0.5/2)^2 - (1/3*3^0.5/2)^2)^0.5};
Tetron[{i_, j_, k_}] := 
 Tetrahedron[{vect[1] + {i, j, k}, vect[2] + {i, j, k}, vect[3] + {i, j, k}, vect[4] + {i, j, k}}];
SiPyramid[0, {i_, j_, k_}] := {Tetron[{i, j, k}]};
SiPyramid[n_, {i_, j_, k_}] := 
  Module[{s = {}}, 
   Do[s = Union[s, 
      SiPyramid[n - 1, 2^(n - 1)*vect[u] + {i, j, k}]], {u, 4}]; s];
```


## Παραπομπές


## Δείτε επίσης
* Τετρακτύς
* Απολλώνιο πρόβλημα
* Φράκταλ

## Εξωτερικοί σύνδεσμοι

*  Pythagorean triangles, Waclaw Sierpinski, Courier Corporation, 2003
*  
*  
*  Real-time GPU generated Sierpinski Triangle in 3D

Κατηγορία:Φράκταλ
Σιερπίνσκι
Κατηγορία:Σύστημα-L