# Sierpinski-Dreieck

Das Sierpinski-Dreieck ist ein 1915 von Wacław Sierpiński beschriebenes Fraktal – mitunter auch Sierpinski-Fläche oder -Dichtung genannt, welches eine selbstähnliche Teilmenge eines meist gleichseitigen Dreiecks ist. Teilt man das Dreieck in vier zueinander kongruente und zum Ausgangsdreieck ähnliche Dreiecke, deren Eckpunkte die Seitenmittelpunkte des Ausgangsdreiecks sind, dann sind die Teilmengen des Fraktals in den drei äußeren Dreiecken skalierte Kopien des gesamten Fraktals, während das mittlere Teildreieck nicht zum Fraktal gehört. Diese Aufteilung des Fraktals in skalierte Kopien kann in den äußeren Teildreiecken rekursiv fortgesetzt werden. Die fraktale Dimension des Sierpinski-Dreiecks beträgt

  
    
      
        D
        =
        
          log
          
            2
          
        
        ⁡
        3
        ≈
        1,584
        96
        …
      
    
    {\displaystyle D=\log _{2}3\approx 1{,}58496\ldots }
  


## Konstruktion
### Algorithmus
Zur Darstellung des Sierpinski-Dreiecks wird als Ausgangsdreieck meist ein gleichseitiges Dreieck gewählt. Das ist nicht zwingend; aus jedem Dreieck kann ein Sierpinski-Dreieck erzeugt werden.

Der klassische Algorithmus, der zur grafischen Demonstration des Fraktalbegriffs verwendet wird, ist folgender:

Zeichne ein Dreieck („Initiator“)
Verbinde die Mittelpunkte der Seiten („Generator“). Dadurch wird das ursprüngliche Dreieck in 4 deckungsgleiche Teildreiecke zerlegt.
Entferne das mittlere der 4 Teildreiecke. Die anderen 3 Teildreiecke bleiben übrig.
Wende Schritte 2 und 3 auf die drei übriggebliebenen Teildreiecke an usw.

Dieser Algorithmus verdeutlicht den Zusammenhang. Bei jedem Iterationsschritt entstehen an den Ecken 3 zum Initiator ähnliche Dreiecke mit halber Seitenlänge und 1/4 des Flächeninhalts, die gefärbt werden. Das 4. innere kleine Dreieck, welches dabei entsteht, kann man sich als aus der Dreiecksfläche des vorhergehenden Schritts herausgeschnitten vorstellen.
Das eigentliche Sierpinski-Dreieck im streng mathematischen Sinn ist diejenige Punktmenge, die als „Grenzobjekt“ nach unendlich vielen Iterationsschritten übrigbleibt. Anschaulich gesprochen besteht das Sierpinski-Dreieck somit aus unendlich vielen Eckpunkten. Zur Darstellung, die meist mit rekursiven Computerprogrammen realisiert und nach Bedarf auf einem Bildschirm angezeigt oder ausgedruckt wird, reicht meist schon eine Iterationstiefe oder Rekursionstiefe von höchstens 10. Bedingt durch die Bildauflösung des darstellenden Mediums (Monitor, Drucker etc.) und des menschlichen Auges sind diese Gebilde vom Grenzobjekt nicht mehr zu unterscheiden. In klassischer planimetrischer Flächenmessung geht der Flächeninhalt mit zunehmender Iterationstiefe gegen 0.
Die folgende Tabelle zeigt die Anzahlen der verschiedenen Teildreiecke des Sierpinski-Dreiecks nach 
  
    
      
        k
      
    
    {\displaystyle k}
  
 Iterationsschritten für 
  
    
      
        k
        ≤
        4
      
    
    {\displaystyle k\leq 4}
  
:


### Lindenmayer-System
Das Sierpinski-Dreieck lässt sich durch ein Lindenmayer-System mit folgenden Eigenschaften beschreiben:

Winkel: 120°
Startstring: 
  
    
      
        A
        +
        A
        +
        B
      
    
    {\displaystyle A+A+B}
  

Ableitungsregeln:

  
    
      
        A
        ↦
        A
        A
      
    
    {\displaystyle A\mapsto AA}
  

  
    
      
        B
        ↦
        B
        +
        A
        −
        B
        −
        A
        +
        B
      
    
    {\displaystyle B\mapsto B+A-B-A+B}
  


### Darstellung in Wolframs eindimensionalem Universum
In Stephen Wolframs eindimensionalen zellulären Automaten erzeugt eine einzelne lebende Zelle in Regel 90 ein Sierpinski-Dreieck.


## Mathematische Zusammenhänge
Als klassisches Fraktal ist das Sierpinski-Dreieck ein Musterbeispiel für exakte Selbstähnlichkeit: Die in jedem Schritt erzeugten äußeren Teildreiecke enthalten verkleinerte exakte Kopien des gesamten Fraktals. Eine passende Skalierung eines beliebigen dreieckigen Teils des Fraktals erscheint wie das Gesamtobjekt selbst. Es ist somit skaleninvariant.
Nach 
  
    
      
        k
      
    
    {\displaystyle k}
  
 Iterationsschritten bleiben 
  
    
      
        
          3
          
            k
          
        
      
    
    {\displaystyle 3^{k}}
  
 Teildreiecke gleicher Seitenlänge übrig und es werden 
  
    
      
        
          
            
              
                3
                
                  k
                
              
              −
              1
            
            2
          
        
      
    
    {\displaystyle {\frac {3^{k}-1}{2}}}
  
 Dreiecke verschiedener Seitenlänge entfernt.


### Flächeninhalt
Wenn das ursprüngliche Dreieck (Ausgangsdreieck) gleichseitig ist und die Seitenlänge 
  
    
      
        a
      
    
    {\displaystyle a}
  
 hat, beträgt sein Flächeninhalt 
  
    
      
        
          A
          
            0
          
        
        =
        
          
            
              3
            
            4
          
        
        ⋅
        
          a
          
            2
          
        
      
    
    {\displaystyle A_{0}={\frac {\sqrt {3}}{4}}\cdot a^{2}}
  
.
Dann sind offensichtlich auch alle Teildreiecke und alle gelöschten Dreiecke gleichseitig. Beim ersten Iterationsschritt wird ein Dreieck mit halber Seitenlänge, also dem Flächeninhalt 
  
    
      
        
          
            
              3
            
            16
          
        
        ⋅
        
          a
          
            2
          
        
      
    
    {\displaystyle {\frac {\sqrt {3}}{16}}\cdot a^{2}}
  
 entfernt. Mit jedem Schritt verdreifacht sich die Anzahl der Dreiecke und die Seitenlänge halbiert sich, sodass beim Iterationsschritt 
  
    
      
        k
      
    
    {\displaystyle k}
  
 genau 
  
    
      
        
          3
          
            k
            −
            1
          
        
      
    
    {\displaystyle 3^{k-1}}
  
 Dreiecke mit der Seitenlänge 
  
    
      
        
          
            a
            
              2
              
                k
              
            
          
        
      
    
    {\displaystyle {\frac {a}{2^{k}}}}
  
 entfernt werden. Der Flächeninhalt der gelöschten Dreiecke beim Iterationsschritt 
  
    
      
        k
      
    
    {\displaystyle k}
  
 ist also gleich 
  
    
      
        
          
            
              3
              
                k
                −
                1
              
            
            
              2
              
                2
                ⋅
                k
              
            
          
        
        ⋅
        
          
            
              3
            
            4
          
        
        ⋅
        
          a
          
            2
          
        
        =
        
          
            (
            
              
                3
                4
              
            
            )
          
          
            k
          
        
        ⋅
        
          
            
              3
            
            12
          
        
        ⋅
        
          a
          
            2
          
        
      
    
    {\displaystyle {\frac {3^{k-1}}{2^{2\cdot k}}}\cdot {\frac {\sqrt {3}}{4}}\cdot a^{2}=\left({\frac {3}{4}}\right)^{k}\cdot {\frac {\sqrt {3}}{12}}\cdot a^{2}}
  
. Der gesamte Flächeninhalt der gelöschten Dreiecke nach dem Iterationsschritt 
  
    
      
        k
      
    
    {\displaystyle k}
  
 ist also gleich 
  
    
      
        
          ∑
          
            i
            =
            1
          
          
            k
          
        
        
          
            (
            
              
                3
                4
              
            
            )
          
          
            i
          
        
        ⋅
        
          
            
              3
            
            12
          
        
        ⋅
        
          a
          
            2
          
        
        =
        
          (
          
            
              
                
                  1
                  −
                  
                    
                      (
                      
                        
                          
                            3
                            4
                          
                        
                      
                      )
                    
                    
                      k
                      +
                      1
                    
                  
                
                
                  1
                  −
                  
                    
                      
                        3
                        4
                      
                    
                  
                
              
            
            −
            1
          
          )
        
        ⋅
        
          
            
              3
            
            12
          
        
        ⋅
        
          a
          
            2
          
        
        =
        
          (
          
            1
            −
            
              
                (
                
                  
                    
                      3
                      4
                    
                  
                
                )
              
              
                k
              
            
          
          )
        
        ⋅
        
          
            
              3
            
            4
          
        
        ⋅
        
          a
          
            2
          
        
      
    
    {\displaystyle \sum _{i=1}^{k}\left({\frac {3}{4}}\right)^{i}\cdot {\frac {\sqrt {3}}{12}}\cdot a^{2}=\left({\frac {1-\left({\tfrac {3}{4}}\right)^{k+1}}{1-{\tfrac {3}{4}}}}-1\right)\cdot {\frac {\sqrt {3}}{12}}\cdot a^{2}=\left(1-\left({\tfrac {3}{4}}\right)^{k}\right)\cdot {\frac {\sqrt {3}}{4}}\cdot a^{2}}
  
 und der Flächeninhalt der übriggebliebenen Teildreiecke ist gleich 
  
    
      
        
          A
          
            k
          
        
        =
        
          
            (
            
              
                
                  3
                  4
                
              
            
            )
          
          
            k
          
        
        ⋅
        
          
            
              3
            
            4
          
        
        ⋅
        
          a
          
            2
          
        
      
    
    {\displaystyle A_{k}=\left({\tfrac {3}{4}}\right)^{k}\cdot {\frac {\sqrt {3}}{4}}\cdot a^{2}}
  
. Dabei wurde eine so genannte geometrische Reihe mit dem konstanten Skalierungsfaktor 
  
    
      
        
          
            
              3
            
            12
          
        
        ⋅
        
          a
          
            2
          
        
      
    
    {\displaystyle {\frac {\sqrt {3}}{12}}\cdot a^{2}}
  
 berechnet.
Das lässt sich auch einfacher erkennen, denn mit jedem Iterationsschritt verringert sich der gesamte Flächeninhalt, der am Anfang 
  
    
      
        
          A
          
            0
          
        
        =
        
          
            
              3
            
            4
          
        
        ⋅
        
          a
          
            2
          
        
      
    
    {\displaystyle A_{0}={\frac {\sqrt {3}}{4}}\cdot a^{2}}
  
 beträgt, um 
  
    
      
        
          
            1
            4
          
        
      
    
    {\displaystyle {\frac {1}{4}}}
  
, oder anders ausgedrückt, er multipliziert sich mit dem Faktor 
  
    
      
        
          
            3
            4
          
        
      
    
    {\displaystyle {\frac {3}{4}}}
  
. Nach 
  
    
      
        k
      
    
    {\displaystyle k}
  
 Schritten ergibt sich logischerweise der Flächeninhalt 
  
    
      
        
          A
          
            k
          
        
        =
        
          
            (
            
              
                
                  3
                  4
                
              
            
            )
          
          
            k
          
        
        ⋅
        
          
            
              3
            
            4
          
        
        ⋅
        
          a
          
            2
          
        
      
    
    {\displaystyle A_{k}=\left({\tfrac {3}{4}}\right)^{k}\cdot {\frac {\sqrt {3}}{4}}\cdot a^{2}}
  
, der sich auf 
  
    
      
        
          3
          
            k
          
        
      
    
    {\displaystyle 3^{k}}
  
 Teildreiecke mit der Seitenlänge 
  
    
      
        
          
            a
            
              2
              
                k
              
            
          
        
      
    
    {\displaystyle {\frac {a}{2^{k}}}}
  
 aufteilt.
Der Flächeninhalt der übriggebliebenen Teildreiecke geht gegen 0, wenn die Anzahl 
  
    
      
        k
      
    
    {\displaystyle k}
  
 der Schritte gegen unendlich geht. Formal lässt sich das mit 
  
    
      
        
          lim
          
            k
            →
            ∞
          
        
        
          A
          
            k
          
        
        =
        
          lim
          
            k
            →
            ∞
          
        
        
          
            (
            
              
                
                  3
                  4
                
              
            
            )
          
          
            k
          
        
        ⋅
        
          
            
              3
            
            4
          
        
        ⋅
        
          a
          
            2
          
        
        =
        0
      
    
    {\displaystyle \lim _{k\to \infty }A_{k}=\lim _{k\to \infty }\left({\tfrac {3}{4}}\right)^{k}\cdot {\frac {\sqrt {3}}{4}}\cdot a^{2}=0}
  
 ausdrücken. Entscheidend ist dabei, dass die Seitenlänge 
  
    
      
        a
      
    
    {\displaystyle a}
  
 konstant bleibt. Bei einigen anderen Fraktalen, zum Beispiel der Koch-Kurve, der Mandelbrot-Menge und vielen Julia-Mengen, nähert sich der Flächeninhalt stattdessen einem konstanten Wert größer als 0, konvergiert also auch.


### Fraktale Dimension
Von den zugrundeliegenden mathematischen Gesetzmäßigkeiten her ist das Sierpinski-Dreieck eng verwandt mit der Cantor-Menge. Seine fraktale Dimension ist der Kehrwert derselben, nämlich 
  
    
      
        
          
            
              log
              ⁡
              (
              3
              )
            
            
              log
              ⁡
              (
              2
              )
            
          
        
        ≈
        1,585
      
    
    {\displaystyle {\frac {\log(3)}{\log(2)}}\approx 1{,}585}
  
. Dies resultiert daraus, dass sich die Anzahl der Teildreiecke mit jedem Schritt verdreifacht, also beim Schritt 
  
    
      
        k
      
    
    {\displaystyle k}
  
 genau 
  
    
      
        
          3
          
            k
          
        
      
    
    {\displaystyle 3^{k}}
  
 neue Teildreiecke mit der Seitenlänge 
  
    
      
        
          
            a
            
              2
              
                k
              
            
          
        
      
    
    {\displaystyle {\frac {a}{2^{k}}}}
  
 erzeugt werden. Das Fraktal entsteht als Grenzobjekt, wenn 
  
    
      
        k
      
    
    {\displaystyle k}
  
 gegen unendlich geht, genauer, indem der Durchschnitt aller Zwischenschritte der Konstruktion gebildet wird, und es kann daher als „geometrisches Analogon“ zu einem Grenzwert aufgefasst werden. Aus der Bildungsvorschrift lässt sich auch berechnen, welche Punkte der ursprünglichen Fläche zum Grenzobjekt gehören.


### Zusammenhang mit regelmäßigen Parkettierungen
Das regelmäßige Sierpinski-Dreieck steht im Zusammenhang mit dem regelmäßigen Dreiecksgitter, das die euklidische Ebene vollständig mit kongruenten gleichseitigen Dreiecken ausfüllt (siehe Abbildung). Dieses regelmäßige Dreiecksgitter ist spiegelsymmetrisch, punktsymmetrisch, drehsymmetrisch und translationssymmetrisch und eine sogenannte platonische Parkettierung (englisch: uniform tiling).
Das regelmäßige Dreiecksgitter ist eine feinere Zerlegung des regelmäßigen Sierpinski-Dreiecks nach dem Iterationsschritt 
  
    
      
        k
      
    
    {\displaystyle k}
  
. Dabei werden die gelöschten Dreiecke des Iterationsschritts 
  
    
      
        i
      
    
    {\displaystyle i}
  
, deren Seitenlänge um den Faktor 
  
    
      
        
          2
          
            k
            −
            i
          
        
      
    
    {\displaystyle 2^{k-i}}
  
 größer als die Seitenlänge der übriggebliebenen Dreiecke ist, jeweils in 
  
    
      
        (
        
          2
          
            k
            −
            i
          
        
        
          )
          
            2
          
        
        =
        
          4
          
            k
            −
            i
          
        
      
    
    {\displaystyle (2^{k-i})^{2}=4^{k-i}}
  
 kongruente gleichseitige Dreiecke mit dieser Seitenlänge zerlegt. Das äußere Gebiet, das theoretisch ins Unendliche der zweidimensionalen Ebene geht, wird ebenfalls in solche Dreiecke zerlegt. Das regelmäßige Sierpinski-Dreieck nach dem Iterationsschritt 
  
    
      
        k
      
    
    {\displaystyle k}
  
 überdeckt ziemlich offensichtlich 
  
    
      
        
          4
          
            k
          
        
      
    
    {\displaystyle 4^{k}}
  
 Dreiecke des regelmäßigen Dreiecksgitters.

Die kongruenten Dreiecke müssen nicht gleichseitig sein. Mithilfe einer affinen Abbildung kann das Sierpinski-Dreieck zusammen mit dem Dreiecksgitter auf beliebige Dreiecke verallgemeinert werden.


## Topologie
In der Topologie betrachtet man das Sierpinski-Dreieck als Unterraum des mit der euklidischen Metrik versehenen 
  
    
      
        
          
            
              R
            
          
          
            2
          
        
      
    
    {\displaystyle {\mathbb {R} }^{2}}
  
. Es stellt ein im 
  
    
      
        
          
            
              R
            
          
          
            2
          
        
      
    
    {\displaystyle {\mathbb {R} }^{2}}
  
 nirgends dichtes, lokal zusammenhängendes, metrisches Kontinuum dar und gilt – zusammen mit dem Sierpinski-Teppich – nicht zuletzt deswegen als besonders bemerkenswerter topologischer Raum.


## Darstellung mittels Hutchinson-Operator
Ein Sierpinski-Dreieck lässt sich auch als Attraktor eines dynamischen Rückkopplungsprozesses, eines deterministisch iterierten Funktionensystems mit geeigneten Parametern aus nahezu jeder beliebigen geometrischen Figur darstellen. Dabei werden wiederholt Mehrfach-Transformationen des Ausgangsobjektes vorgenommen, diese Bilder mit einer Abbildungsvorschrift, dem Hutchinson-Operator, entsprechend angeordnet und diese Prozedur erneut auf das entstandene Gesamtbild angewandt usw. Mit zunehmender Iterationstiefe streben die entstehenden Bilder, falls geeignete Parameter gewählt wurden, einem Sierpinski-Dreieck zu, das in diesem Falle der Attraktor des Funktionensystems ist.
Das Sierpinski-Dreieck ist in diesem Sinne charakterisiert als diejenige kompakte Teilmenge der Ebene, die identisch ist mit der Vereinigung ihrer drei Bilder unter den drei Ähnlichkeitsabbildungen, die das gesamte Dreieck jeweils auf die drei halb so großen Teildreiecke abbilden.


## Sierpinski-Pfeilspitzen-Kurve
Die Sierpinski-Pfeilspitzen-Kurve (siehe Abbildung) ist eine raumfüllende Kurve, die das Sierpinski-Dreieck in der zweidimensionalen euklidischen Ebene approximiert. Die Sierpinski-Kurve oder auch die Hilbert-Kurve oder die Peano-Kurve haben andere fraktale Eigenschaften und keinen direkten Zusammenhang zum Sierpinski-Dreieck.
Die fraktale Selbstähnlichkeit der Sierpinski-Pfeilspitzen-Kurve ist komplizierter, weil dort andere Drehungen, Spiegelungen und lokale Ungenauigkeiten eine Rolle spielen.


## Sierpinski-Tetraeder
Eine Darstellung des Sierpinski-Dreiecks ist, analog zum Menger-Schwamm, auch dreidimensional möglich: Die Startfigur ist ein Tetraeder. Aus dessen Mitte wird in jedem Iterationsschritt ein Oktaeder mit halber Kantenlänge herausgeschnitten. Übrig bleiben vier Tetraeder, aus denen wieder je ein Oktaeder herausgeschnitten wird usw.
Nach dem Iterationsschritt 
  
    
      
        k
      
    
    {\displaystyle k}
  
 sind offensichtlich 
  
    
      
        
          4
          
            k
          
        
      
    
    {\displaystyle 4^{k}}
  
 Teil-Tetraeder mit derselben Seitenlänge entstanden. Die Anzahl der herausgeschnittenen Oktaeder mit verschiedener Seitenlänge beträgt 
  
    
      
        
          
            
              
                4
                
                  k
                
              
              −
              1
            
            3
          
        
      
    
    {\displaystyle {\frac {4^{k}-1}{3}}}
  
.
Die Dimension für dieses Gebilde ist 
  
    
      
        D
        =
        
          
            
              log
              ⁡
              (
              4
              )
            
            
              log
              ⁡
              (
              2
              )
            
          
        
        =
        2
      
    
    {\displaystyle D={\frac {\log(4)}{\log(2)}}=2}
  
, obwohl es sich hierbei um eine Figur im dreidimensionalen Raum handelt. Mit einer zunehmenden Zahl von Iterationsschritten geht das Volumen der Figur gegen 0, der Flächeninhalt der Oberfläche bleibt jedoch konstant, weil sich die Anzahl der Seitenflächen der zueinander deckungsgleichen Teil-Tetraeder mit jedem Iterationsschritt vervierfacht, während sich die Seitenlänge dieser Seitenflächen, die alle deckungsgleiche Dreiecke sind, halbiert.
Interessant ist, dass sich das im Fall eines regelmäßigen Sierpinski-Tetraeders auch wie folgt einsehen lässt:

Die doppelte und quadratische Projektionsfläche hilft zu zeigen, dass die Oberfläche nach jedem Iterationsschritt konstant bleibt.
Werden alle Seitenflächen des regelmäßigen Sierpinski-Tetraeders, also gleichseitige Dreiecke, mit einer Parallelprojektion auf eine Ebene, die parallel zu zwei seiner gegenüber liegenden und zueinander orthogonalen Kanten ist, projiziert, dann entsteht als projizierte Fläche ein Quadrat, wobei auf jede Teilfläche des Quadrats jeweils zwei Seitenflächen des Sierpinski-Tetraeders projiziert werden (siehe Animation). Die Projektionsflächen der vier gleichseitigen Dreiecke der ebenfalls regelmäßigen Teil-Tetraeder sind jeweils zueinander parallele und gleich große Teilquadrate des gesamten Quadrates, die eine quadratische und platonische Parkettierung bilden. Jedes einzelne gleichseitige Dreieck bildet bei der Projektion ein gleichschenkliges und rechtwinkliges Dreieck mit den Innenwinkeln 45°, 45° und 90°. Die vier Seitenflächen eines Teil-Tetraeders erzeugen dann jeweils ein doppelt projiziertes Teilquadrat.
Mit jedem Iterationsschritt vervierfacht sich die Anzahl der Teil-Tetraeder, also vervierfacht sich auch die Anzahl der doppelt projizierten Teilquadrate, aber die Seitenlänge der Teilquadrate halbiert sich, sodass der Flächeninhalt der doppelten und quadratischen Projektionsfläche konstant bleibt. Weil alle Seitenflächen des regelmäßigen Sierpinski-Tetraeders mit der Projektionsebene denselben Diederwinkel bilden, ist jede einzelne projizierte Teilfläche um denselben Faktor kleiner als die ursprüngliche Seitenfläche.
Daraus folgt dann: Wenn der Flächeninhalt der doppelten und quadratischen Projektionsfläche nach jedem Iterationsschritt konstant bleibt, muss auch der Flächeninhalt der gesamten Oberfläche des regelmäßigen Sierpinski-Tetraeders konstant bleiben. Diese Betrachtungen lassen sich mithilfe einer affinen Abbildung auch auf ein beliebiges Sierpinski-Tetraeder verallgemeinern.


### Verallgemeinerung auf n Dimensionen
Der zweidimensionale Fall des Sierpinski-Dreiecks lässt sich auf 
  
    
      
        n
      
    
    {\displaystyle n}
  
 Dimensionen verallgemeinern. Die Startfigur ist dann ein Simplex. In diesem 
  
    
      
        n
      
    
    {\displaystyle n}
  
-dimensionalen Sierpinski-Simplex sind die übriggebliebenen geometrischen Figuren 
  
    
      
        n
      
    
    {\displaystyle n}
  
-dimensionale Teil-Simplexe und die herausgeschnittenen geometrischen Figuren sind rektifizierte 
  
    
      
        n
      
    
    {\displaystyle n}
  
-dimensionale Simplexe (siehe Archimedischer Körper – Ableitungen aus den platonischen Körpern).
Die unter Mathematische Zusammenhänge dargestellten Betrachtungen lassen sich problemlos auf 
  
    
      
        n
      
    
    {\displaystyle n}
  
 Dimensionen und damit auf die 
  
    
      
        n
      
    
    {\displaystyle n}
  
-dimensionale Volumens der Teil-Simplexe dieses 
  
    
      
        n
      
    
    {\displaystyle n}
  
-dimensionalen Sierpinski-Simplexes und deren 
  
    
      
        n
        −
        1
      
    
    {\displaystyle n-1}
  
-dimensionale Oberflächen verallgemeinern. Die Anordnung dieser Teil-Simplexe und deren Oberflächen zueinander ist etwas komplizierter.


### Zusammenhang mit regelmäßigen dreidimensionalen Parkettierungen
Das regelmäßige Sierpinski-Tetraeder steht im Zusammenhang mit der regelmäßigen dreidimensionalen Parkettierung (siehe Raumfüllung), die aus kongruenten regelmäßigen Tetraedern und Oktaedern besteht, und den dreidimensionalen euklidischen Raum vollständig ausfüllt. Dabei treffen in jeder Ecke jeweils 8 Oktaeder und 6 Tetraeder zusammen (siehe Abbildung), die den vollen Raumwinkel von 
  
    
      
        4
        ⋅
        π
         
        
          s
          r
        
        ≈
        12,566
         
        
          s
          r
        
      
    
    {\displaystyle 4\cdot \pi \ \mathrm {sr} \approx 12{,}566\ \mathrm {sr} }
  
 ausfüllen. Diese Parkettierung bildet Schichten, die jeweils von zwei parallelen Ebenen im Raum begrenzt werden. Jedes Oktaeder bildet zusammen mit 2 Tetraedern, die an zwei gegenüberliegenden Seitenflächen des Oktaeders liegen, ein Rhomboeder. Diese Rhomboeder haben als Seitenflächen 6 Rauten, die aus jeweils 2 gleichseitigen Dreiecken gebildet werden, also die Innenwinkel 60°, 120°, 60°, 120° haben. Diese Rhomboeder bilden ein Gitter aus parallelen Ebenen, die durch die Parkettierung verlaufen und die einzelnen Polyeder an den Seitenflächen berühren, aber nicht schneiden.
Diese regelmäßige Parkettierung ist spiegelsymmetrisch, punktsymmetrisch, drehsymmetrisch und translationssymmetrisch und neben dem Kubusgitter die einzige, die den dreidimensionalen Raum vollständig mit platonischen Körpern gleicher Seitenlänge ausfüllt.
Die gezeigte regelmäßige dreidimensionale Parkettierung ist eine feinere Zerlegung des regelmäßigen Sierpinski-Tetraeders nach dem Iterationsschritt 
  
    
      
        k
      
    
    {\displaystyle k}
  
.
Dabei werden die herausgeschnittenen Oktaeder des Iterationsschritts 
  
    
      
        i
      
    
    {\displaystyle i}
  
, deren Kantenlänge um den Faktor 
  
    
      
        
          2
          
            k
            −
            i
          
        
      
    
    {\displaystyle 2^{k-i}}
  
 größer als die Kantenlänge der übriggebliebenen regelmäßigen Tetraeder ist, jeweils in 
  
    
      
        8
        ⋅
        
          
            
              (
            
            
              
                
                  2
                  
                    k
                    −
                    i
                  
                
                +
                1
              
              3
            
            
              )
            
          
        
        =
        
          
            
              
                2
                
                  k
                  −
                  i
                
              
              ⋅
              (
              8
              ⋅
              
                4
                
                  k
                  −
                  i
                
              
              −
              8
              )
            
            6
          
        
      
    
    {\displaystyle 8\cdot {\binom {2^{k-i}+1}{3}}={\frac {2^{k-i}\cdot (8\cdot 4^{k-i}-8)}{6}}}
  
  kongruente Tetraeder und 
  
    
      
        
          
            
              (
            
            
              
                
                  2
                  
                    k
                    −
                    i
                  
                
                +
                2
              
              3
            
            
              )
            
          
        
        +
        2
        ⋅
        
          
            
              (
            
            
              
                
                  2
                  
                    k
                    −
                    i
                  
                
                +
                1
              
              3
            
            
              )
            
          
        
        +
        
          
            
              (
            
            
              
                2
                
                  k
                  −
                  i
                
              
              3
            
            
              )
            
          
        
        =
        
          
            
              
                2
                
                  k
                  −
                  i
                
              
              ⋅
              (
              4
              ⋅
              
                4
                
                  k
                  −
                  i
                
              
              +
              2
              )
            
            6
          
        
      
    
    {\displaystyle {\binom {2^{k-i}+2}{3}}+2\cdot {\binom {2^{k-i}+1}{3}}+{\binom {2^{k-i}}{3}}={\frac {2^{k-i}\cdot (4\cdot 4^{k-i}+2)}{6}}}
  
 kongruente Oktaeder mit dieser Kantenlänge zerlegt. Das äußere Gebiet, das theoretisch ins Unendliche des dreidimensionalen Raums geht, wird ebenfalls in Tetraeder und Oktaeder und zerlegt. Das regelmäßige Sierpinski-Dreieck nach dem Iterationsschritt 
  
    
      
        k
      
    
    {\displaystyle k}
  
 überdeckt 
  
    
      
        
          
            
              (
            
            
              
                
                  2
                  
                    k
                  
                
                +
                2
              
              3
            
            
              )
            
          
        
        +
        
          
            
              (
            
            
              
                2
                
                  k
                
              
              3
            
            
              )
            
          
        
        =
        
          
            
              
                2
                
                  k
                
              
              ⋅
              (
              2
              ⋅
              
                4
                
                  k
                
              
              +
              4
              )
            
            6
          
        
      
    
    {\displaystyle {\binom {2^{k}+2}{3}}+{\binom {2^{k}}{3}}={\frac {2^{k}\cdot (2\cdot 4^{k}+4)}{6}}}
  
 Tetraeder und 
  
    
      
        
          
            
              (
            
            
              
                
                  2
                  
                    k
                  
                
                +
                1
              
              3
            
            
              )
            
          
        
        =
        
          
            
              
                2
                
                  k
                
              
              ⋅
              (
              
                4
                
                  k
                
              
              −
              1
              )
            
            6
          
        
      
    
    {\displaystyle {\binom {2^{k}+1}{3}}={\frac {2^{k}\cdot (4^{k}-1)}{6}}}
  
 Oktaeder der regelmäßigen dreidimensionalen Parkettierung.
Dabei gibt es zwei verschiedene disjunkte Mengen von Tetraedern. Die Seitenflächen und Kanten der Tetraeder beider Mengen liegen jeweils parallel zueinander, aber ihre Ecken zeigen bezogen auf die gegenüberliegende Seitenfläche jeweils in entgegengesetzte Richtungen. Sowohl die Tetraeder als auch die Oktaeder sind in einer Tetraeder-förmigen Formation angeordnet. Die Anzahlen der Polyeder der dreidimensionalen Parkettierung, die vom regelmäßigen Sierpinski-Tetraeder überdeckt werden, sind daher Tetraederzahlen, die Binomialkoeffizienten im Pascalschen Dreieck sind.
Die kongruenten Tetraeder und Oktaeder müssen nicht regelmäßig sein. Mithilfe einer affinen Abbildung kann das Sierpinski-Tetraeder zusammen mit der dreidimensionalen Parkettierung (Raumfüllung) auf beliebige Tetraeder verallgemeinert werden.


## Weitere Verallgemeinerungen
Das ursprüngliche Dreieck (Ausgangsdreieck) und die Teildreiecke können mit jedem Iterationsschritt statt in 
  
    
      
        
          2
          
            2
          
        
        =
        4
      
    
    {\displaystyle 2^{2}=4}
  
 auch allgemein in 
  
    
      
        
          m
          
            2
          
        
      
    
    {\displaystyle m^{2}}
  
 deckungsgleiche Dreiecke zerlegt werden. Die Berechnungen können für diese Fälle ohne Ausnahme verallgemeinert werden.
Das gelöschte Dreieck bei jedem Iterationsschritt muss nicht ähnlich zum Ausgangsdreieck sein. Dann liegen die Ecken nicht unbedingt äquidistant auf den Seiten des Teildreiecks und die Seiten sind nicht unbedingt parallel. Daraus ergeben sich weitere Verallgemeinerungen. Die geometrischen Berechnungen werden dann komplizierter.
Eine weitere Verallgemeinerung ergibt sich, wenn als Ausgangsfigur nicht ein Dreieck, sondern ein regelmäßiges Polygon oder sogar ein beliebiges konvexes Polygon gewählt und mit jedem Iterationsschritt die Mittelpunkte der Seiten der bisherigen Teil-Polygone verbunden werden. Dann würden die dadurch neu entstandenen Polygone gelöscht und dieses Verfahren mit jedem Iterationsschritt 
  
    
      
        k
      
    
    {\displaystyle k}
  
 wiederholt. Die dadurch entstehenden Seitenverhältnisse wären komplizierter und würden entscheidend von der Ausgangsfigur, also dem regelmäßigen oder konvexen Polygon, abhängen. Innerhalb der entstandenen Teildreiecke ergibt sich immer eine äquidistante Aufteilung wie beim Sierpinski-Dreieck, wo die Seitenverhältnisse von den Seitenverhältnissen des ursprünglichen Dreiecks und von den Zweierpotenzen 
  
    
      
        
          2
          
            k
          
        
      
    
    {\displaystyle 2^{k}}
  
 abhängen.


## Graphentheoretische Eigenschaften
### Vollständig gefüllter Baum
Graphentheoretisch können die gelöschten Dreiecke des Sierpinski-Dreiecks nach dem Iterationsschritt 
  
    
      
        k
      
    
    {\displaystyle k}
  
 einem vollständig gefüllten Baum mit 
  
    
      
        k
        +
        1
      
    
    {\displaystyle k+1}
  
 „Zeilen“ bijektiv zugeordnet werden, wobei der Knotengrad der „Wurzel“ des Baums gleich 3, der Knotengrad der inneren Knoten gleich 4 und der Knotengrad der „Blätter“ wie bei jedem Baum gleich 1 ist. Das ist ein sogenannter vollständiger ternärer Baum, eine Verallgemeinerung eines vollständigen Binärbaums.
Im dreidimensionalen Fall, also dem Sierpinski-Tetraeder, ist der Knotengrad der „Wurzel“ gleich 4 und der Knotengrad der inneren Knoten gleich 5. Dabei werden in diesem Fall die Knoten den gelöschten Tetraedern bijektiv zugeordnet.
Entsprechend ist dieser Knotengrad im 
  
    
      
        n
      
    
    {\displaystyle n}
  
-dimensionalen Fall, also dem 
  
    
      
        n
      
    
    {\displaystyle n}
  
-dimensionalen Sierpinski-Simplex, gleich 
  
    
      
        n
        +
        1
      
    
    {\displaystyle n+1}
  
 (siehe Weitere Verallgemeinerungen).


### Sierpinski-Graph
Der Sierpinski-Graph ist eine Darstellung des Sierpinski-Dreiecks als ungerichteter Graph. Jede Ecke der Teildreiecke stellt dabei einen Knoten, jede Seite eines Teildreiecks eine Kante und jedes Teildreieck eine Fläche des Graphen dar. Dieser Graph ist offensichtlich zusammenhängend. Der Sierpinski-Graph für den Iterationsschritt 
  
    
      
        k
      
    
    {\displaystyle k}
  
 besteht aus 
  
    
      
        E
        =
        
          
            
              3
              2
            
          
        
        ⋅
        (
        
          3
          
            k
          
        
        +
        1
        )
      
    
    {\displaystyle E={\tfrac {3}{2}}\cdot (3^{k}+1)}
  
 Knoten, 
  
    
      
        K
        =
        
          3
          
            k
            +
            1
          
        
      
    
    {\displaystyle K=3^{k+1}}
  
 Kanten und 
  
    
      
        F
        =
        
          
            
              1
              2
            
          
        
        ⋅
        (
        
          3
          
            k
            +
            1
          
        
        +
        1
        )
      
    
    {\displaystyle F={\tfrac {1}{2}}\cdot (3^{k+1}+1)}
  
 Flächen, wenn die äußere Fläche mitgezählt wird. Weil er ein planarer Graph ist, gilt nach dem Eulerschen Polyedersatz 
  
    
      
        E
        −
        K
        +
        F
        =
        2
      
    
    {\displaystyle E-K+F=2}
  
.
Fast alle Knoten haben den Grad 4. Nur die 3 Knoten, die den Ecken des Ausgangsdreiecks zugeordnet sind, haben den Grad 2. Weil alle Knotengrade gerade sind, besitzt dieser Graph Eulerkreise. Er enthält auch Hamiltonkreise, wie sich mithilfe von vollständiger Induktion zeigen lässt.
Die chromatische Zahl des Sierpinski-Graphen ist 3, weil die Knoten des Dreiecksgitters mit 3 verschiedenen Farben eingefärbt werden können (siehe Knotenfärbung) und der Graph ein Teilgraph dieses Dreiecksgitters ist. Der Sierpinski-Graph hat außerdem den chromatischen Index 4 (siehe Kantenfärbung). Seine Flächen können per Definition mit 2 verschiedenen Farben eingefärbt werden, sodass es keine benachbarten Flächen mit gleicher Farbe gibt.


## Chaos-Spiel
Abgesehen von der rekursiven Darstellung gibt es noch einen Zufallspunkt-Algorithmus zur näherungsweisen Konstruktion des Sierpinski-Dreiecks: Das „Chaos-Spiel“.
Dabei wird ein gleichseitiges Dreieck mit den Ecken A, B, C aufgezeichnet und ein zufälliger Punkt im Inneren des Dreiecks gewählt. Er kann aber auch außerhalb liegen, ohne das Ergebnis wesentlich zu verändern. Nun wird pro Schritt eine Ecke zufällig ausgewählt und der Punkt gedanklich mit der gezogenen Ecke verbunden. Die Wahrscheinlichkeiten für die Ecken sind jeweils gleich. Die Mitte dieser Strecke markiert nun den Punkt für die nächste Runde. Wiederholt man dies sehr oft, bilden die Punkte eine Näherung des Sierpinski-Dreiecks. Wenn man die Punkte auch noch je nach ausgewählter Ecke unterschiedlich einfärbt, also z. B. A = grün, B = rot und C = blau, dann bekommt man drei unterschiedlich gefärbte Sierpinski-Dreiecke im Sierpinski-Dreieck.
Man kann aus der iterativen Struktur des Sierpinski-Dreiecks beweisen, dass ein mittels dieses Zufallszahlen-Algorithmus gewonnener Punkt genau dann zum Sierpinski-Dreieck gehört, wenn auch der Ausgangspunkt Teil des Sierpinski-Dreiecks ist. Wenn man also beispielsweise einen Punkt der Strecke AB als Ausgangspunkt wählt, hat man nach unendlich vielen Iterationen ein Sierpinski-Dreieck konstruiert.


## Zusammenhang mit dem Pascalschen Dreieck
Mit dem Sierpinski-Dreieck verwandt ist das Pascalsche Dreieck. Dabei entsprechen die geraden Zahlen im Pascal-Dreieck, die Binomialkoeffizienten, den gelöschten Teildreiecken im Sierpinski-Dreieck und die ungeraden Zahlen den übriggebliebenen Teildreiecken. Beide Dreiecke haben eine einfache Iterationsvorschrift, aus der stets eine geometrische Ähnlichkeit hervorgeht: Wird in einem Schritt beim Sierpinski-Dreieck jedes Initiatordreieck nach oben bereits beschriebener Regel ersetzt, so wird beim Pascal-Dreieck lediglich die Anzahl der Zeilen verdoppelt. Ungerade Zahlen mit mehr als einer Dezimalstelle werden im Folgenden der übersichtlicheren Darstellung halber als # dargestellt.
Initiator:

           1
          1 1

1. Schritt

           1
          1 1
         1   1
        1 3 3 1

2. Schritt

           1
          1 1
         1   1
        1 3 3 1
       1       1
      1 5     5 1
     1   #   #   1
    1 7 # # # # 7 1

Diese Ähnlichkeit ist sowohl für ein unendliches Pascal-Dreieck als auch ein Sierpinski-Dreieck nach unendlich vielen Iterationsschritten gegeben.
Das Erzeugen dieser Ähnlichkeit kann auch aus einer anderen Sichtweise betrachtet werden: Das Pascal-Dreieck selbst ist als Idee und damit als geometrischer Bauplan immer unendlich, wir können es nur nicht komplett aufschreiben. Ein iterativ erzeugtes Sierpinski-Dreieck aber ist stets durch seine konvexe Hülle beschränkt. Somit wird durch fortlaufende Iteration nicht das Pascal-Dreieck an ein Sierpinski-Dreieck, sondern das Sierpinski-Dreieck an den unendlichen geometrischen Bauplan und damit an das unendliche Pascal-Dreieck angeglichen.
Der Zusammenhang zwischen den geraden oder ungeraden Zahlen (Binomialkoeffizienten) und den Teildreiecken lässt sich formal so aufschreiben:

Jedes übriggebliebene Teildreieck des Sierpinski-Dreiecks ist genau einem ungeraden Binomialkoeffizienten des partiellen Pascal-Dreiecks mit 
  
    
      
        
          2
          
            k
          
        
      
    
    {\displaystyle 2^{k}}
  
 Zeilen zugeordnet und umgekehrt, nämlich dann, wenn 
  
    
      
        
          
            
              (
            
            
              a
              b
            
            
              )
            
          
        
         
        
          m
          o
          d
        
         
        2
        =
        
          
            
              a
              !
            
            
              b
              !
              ⋅
              (
              a
              −
              b
              )
              !
            
          
        
         
        
          m
          o
          d
        
         
        2
        =
        1
      
    
    {\displaystyle {\binom {a}{b}}\ \mathrm {mod} \ 2={\frac {a!}{b!\cdot (a-b)!}}\ \mathrm {mod} \ 2=1}
  
 ist. Diese Zuordnung ist also bijektiv.
Jedes gelöschte Teildreieck des Sierpinski-Dreiecks ist – mit Ausnahme der letzten Iteration – genau einem geraden Binomialkoeffizienten des partiellen Pascal-Dreiecks mit 
  
    
      
        
          2
          
            k
          
        
      
    
    {\displaystyle 2^{k}}
  
 Zeilen zugeordnet und umgekehrt, nämlich dann, wenn 
  
    
      
        
          
            
              (
            
            
              a
              b
            
            
              )
            
          
        
         
        
          m
          o
          d
        
         
        2
        =
        
          
            
              a
              !
            
            
              b
              !
              ⋅
              (
              a
              −
              b
              )
              !
            
          
        
         
        
          m
          o
          d
        
         
        2
        =
        0
      
    
    {\displaystyle {\binom {a}{b}}\ \mathrm {mod} \ 2={\frac {a!}{b!\cdot (a-b)!}}\ \mathrm {mod} \ 2=0}
  
 ist. Diese Zuordnung ist also injektiv und nicht bijektiv.
Für einen effizienten iterativen Algorithmus, der die binären Ziffern 0 und 1 für die geraden oder ungeraden Zahlen des Pascal-Dreiecks berechnet, ist es nicht sinnvoll, die Binomialkoeffizienten zu berechnen, sondern zeilenweise eine simple binäre Addition modulo 2 auszuführen (siehe Binomialkoeffizient – Divisionsreste).
Für das verallgemeinerte Sierpinski-Dreieck, wo mit jedem Iterationsschritt die übriggebliebenen Teildreiecke statt in 
  
    
      
        
          2
          
            2
          
        
        =
        4
      
    
    {\displaystyle 2^{2}=4}
  
, jeweils in 
  
    
      
        
          m
          
            2
          
        
      
    
    {\displaystyle m^{2}}
  
 deckungsgleiche Dreiecke zerlegt werden (siehe Weitere Verallgemeinerungen), werden die übriggebliebenen Teildreiecke einem Binomialkoeffizienten zugeordnet, wenn dieser nicht durch 
  
    
      
        m
      
    
    {\displaystyle m}
  
 teilbar ist, also 
  
    
      
        
          
            
              (
            
            
              a
              b
            
            
              )
            
          
        
         
        
          m
          o
          d
        
         
        m
        =
        
          
            
              a
              !
            
            
              b
              !
              ⋅
              (
              a
              −
              b
              )
              !
            
          
        
         
        
          m
          o
          d
        
         
        m
        >
        0
      
    
    {\displaystyle {\binom {a}{b}}\ \mathrm {mod} \ m={\frac {a!}{b!\cdot (a-b)!}}\ \mathrm {mod} \ m>0}
  
 gilt. Für die durch 
  
    
      
        m
      
    
    {\displaystyle m}
  
 teilbaren Zahlen ist die Zuordnung zu den gelöschten Teildreiecken entsprechend wie für den genannten Standardfall 
  
    
      
        m
        =
        2.
      
    
    {\displaystyle m=2.}
  

Dabei ist zu beachten, dass am rechten und am linken Rand des Pascal-Dreiecks in der Zeile 
  
    
      
        
          m
          
            k
          
        
      
    
    {\displaystyle m^{k}}
  
, wobei 
  
    
      
        m
      
    
    {\displaystyle m}
  
 der Zerlegungsfaktor für die übriggebliebenen Teildreiecke und 
  
    
      
        k
      
    
    {\displaystyle k}
  
 die Anzahl der Iterationsschritte ist, der Binomialkoeffizient gleich 1 ist, und alle anderen Zahlen, die dazwischen stehen, gleich 0. Deshalb fängt das Pascal-Dreieck modulo 
  
    
      
        m
      
    
    {\displaystyle m}
  
 für jeden Iterationsschritt 
  
    
      
        k
      
    
    {\displaystyle k}
  
 mit der Zeile 
  
    
      
        
          m
          
            k
          
        
      
    
    {\displaystyle m^{k}}
  
 sozusagen von vorn an. Formal lässt sich das als 
  
    
      
        
          
            
              (
            
            
              
                m
                
                  k
                
              
              0
            
            
              )
            
          
        
         
        
          m
          o
          d
        
         
        m
        =
        
          
            
              (
            
            
              
                m
                
                  k
                
              
              
                m
                
                  k
                
              
            
            
              )
            
          
        
         
        
          m
          o
          d
        
         
        m
        =
        1
      
    
    {\displaystyle {\binom {m^{k}}{0}}\ \mathrm {mod} \ m={\binom {m^{k}}{m^{k}}}\ \mathrm {mod} \ m=1}
  
 und 
  
    
      
        
          
            
              (
            
            
              
                m
                
                  k
                
              
              b
            
            
              )
            
          
        
         
        
          m
          o
          d
        
         
        m
        =
        0
      
    
    {\displaystyle {\binom {m^{k}}{b}}\ \mathrm {mod} \ m=0}
  
 für 
  
    
      
        0
        <
        b
        <
        
          m
          
            k
          
        
      
    
    {\displaystyle 0<b<m^{k}}
  
 ausdrücken.
Für einen effizienten iterativen Algorithmus ist es auch in diesem allgemeineren Fall sinnvoller, simple Additionen modulo 
  
    
      
        m
      
    
    {\displaystyle m}
  
 auszuführen.
Solche Betrachtungen spielen in der Informatik für die Laufzeiten und die Komplexitätstheorie eine Rolle.


## Programmierung
Das Sierpinski-Dreieck lässt sich sowohl rekursiv als auch iterativ implementieren. Der Code der rekursiven Programmierung ist kürzer, weil die Koordinaten der Punkte nicht in einer Liste oder einem Array gespeichert werden müssen. Die folgenden Beispiele zeigen eine rekursive und eine iterative Implementierung in der Programmiersprache C#.


### Rekursive Implementierung
### Iterative Programmierung
Hier werden nur die Methoden für die Berechnung der Koordinaten und das Zeichnen der einzelnen Dreiecke gezeigt.


## Natur
In der Natur kommt dieses Muster auf dem Gehäuse der Schneckenart Cymbiola innexa vor.


## Siehe auch
Sierpinski-Kurve
Sierpinski-Teppich
Fraktalantenne
Türme von Hanoi
Tetraeder (Bottrop)
Triforce
Grand Egyptian Museum


## Literatur
P. S. Alexandroff: Einführung in die Mengenlehre und in die allgemeine Topologie (= Hochschulbücher für Mathematik. Band 85). VEB Deutscher Verlag der Wissenschaften, Berlin 1984. 


## Weblinks
Eric W. Weisstein: Sierpiński Sieve. In: MathWorld (englisch).
Erklärungen zu Chaosspiel und Sierpinsky-Dreieck
Interaktive Konstruktion zum Ausprobieren mit JSXGraph
Erklärung und Java-Applet zum Chaos-Spiel
Fraktale – Wechselspiel zwischen Chaos und Ordnung, Universität Berlin
Demonstration des Sierpinski-Dreiecks mit WolframAlpha
Sierpinski sieve generator, onlinemathtools.com
Sierpinski arrowhead curve generator, onlinemathtools.com
Implementierung in .NET


## Einzelnachweise