- Chaos-Spiel
-
Sierpinski-Dreieck mit Rekursionstiefe 7Ein Sierpinski-Dreieck ist ein 1915 von Wacław Sierpiński beschriebenes Fraktal, das durch fortgesetzte rekursive Aufteilung eines Vorgängerdreiecks in vier weitere, zueinander kongruente Dreiecke erhalten wird. Die neuen Dreiecke sind dem Ausgangsdreieck ähnlich. Das Siepinski-Dreieck – teilweise auch Sierpinski-Fläche genannt – ergibt sich durch Grenzübergang dises Prozesses. Die fraktale Dimension der so entehenden Fläche beträgt
Inhaltsverzeichnis
Konstruktion
Zur Darstellung des Sierpinski-Dreiecks wird als Ausgangsdreieck meist ein gleichseitiges Dreieck gewählt; das ist nicht zwingend, jedes beliebige Dreieck kann in ein Sierpinski-Dreieck zerlegt werden.
Schrittweise Konstruktion des Sierpinski-DreiecksDer „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 vier deckungsgleiche Teildreiecke zerlegt)
- Entferne das mittlere der vier Teildreiecke (die anderen drei Teildreiecke bleiben übrig)
- Wende Schritte 2 und 3 auf die drei übriggebliebenen Teildreiecke an. usw.
Dieser Algorithmus verdeutlicht den Zusammenhang. Es entstehen bei jedem Iterationsschritt an den Ecken drei (zum Initiator ähnliche) Dreiecke mit halber Seitenlänge und einem Viertel der Fläche, die gefärbt werden. Das vierte „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 das Grenzobjekt, das nach unendlich vielen Iterationsschritten übrigbleibt. Es besteht 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 Iterations- oder Rekursionstiefe von höchstens zehn. Bedingt durch die Auflö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 die Fläche mit zunehmender Iterationstiefe gegen Null.
Mathematische Zusammenhänge
Das Sierpinski-Dreieck ist selbstähnlichAls klassisches Fraktal, insbesondere mit einem gleichseitigen Dreieck als Initiator, ist das Sierpinski-Dreieck ein Musterbeispiel für exakte Selbstähnlichkeit: Die in jedem Schritt erzeugten Teildreiecke sind verkleinerte exakte Kopien des Ausgangsdreiecks. Jede Skalierung eines beliebigen Teils des Grenzobjekts erscheint wie das Gesamtobjekt selbst. Es ist somit skaleninvariant.
Von den zugrundeliegenden mathematischen Gesetzmäßigkeiten her ist das Sierpinski-Dreieck eng verwandt mit der Cantor-Menge. Seine Dimension ist der Kehrwert derselben, nämlich log(3) / log(2) = 1,585. Dies resultiert daraus, dass bei jedem Schritt k genau 3k neue Teildreiecke mit der Seitenlänge (1 / 2)k erzeugt werden. Das Grenzobjekt entsteht, wenn k gegen unendlich geht, 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.
Darstellung mittels Hutchinson-Operator
Ein Sierpinski-Dreieck lässt sich auch als Attraktor eines dynamischen Rückkopplungsprozesses, eines so genannten deterministisch iterierten Funktionensystems mit geeigneten Parametern aus nahezu jeder beliebigen geometrischen Figur darstellen. Dabei werden wiederholt Mehrfach-Transformationen des Ausgangsobjekt 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.
Stufe 1 2 3 4 5 6 7 8 Sierpinski-Schwamm
Eine Darstellung des Sierpinksi-Dreiecks ist, analog zum Menger-Schwamm, auch in der dritten Dimension 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. Die Dimension für dieses Gebilde ist D=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; die Oberfläche bleibt jedoch konstant.
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 (die Wahrscheinlichkeit für die Ecken sind gleich) und der Punkt gedanklich mit der gezogenen Ecke verbunden. 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.
Zusammenhang mit dem Pascalschen Dreieck
Mit dem Sierpinski-Dreieck verwandt ist auch das Pascalsche Dreieck. Um das zu verdeutlichen, stelle man sich die ungeraden Zahlen als schwarz markiert vor und die geraden als farblos. Die ungeraden Zahlen des Pascal-Dreiecks werden der Einfachheit halber als Doppelkreuze angegeben (und die geraden Zahlen weggelassen):
. . . # # # # # # # . . . . . . . . . . # # # # # # # # # # # # # # # # # # # # # # # # # # # Null-Meer # # # # # # # # # # # . . . . . . # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # #. . . . . . . . . 1 1 1 1 1 1 3 3 1 1 1 1 5 5 1 # # # # Null-See # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # . . . . . .Aber egal, wie weit man das Gebilde erweitert, es wird nie ein Sierpinski-Dreieck daraus. Wenn man wissen will, wo sich das Pascal-Dreieck ungefähr im Sierpinski-Dreieck lokalisieren lassen könnte: es ist ein gedachter mathematischer Punkt auf der Mitte der Strecke der rechten, oder wahlweise linken Seite des (initialen) Dreiecks. Das bedeutet, wenn man von 1 aus in irgend eine Richtung laufen würde, käme man nie an irgend einen Eckpunkt. Ebenso wenig könnte ein Beobachter, der das ganze Sierpinski-Dreieck von oben betrachten würde, je das Sierpinski-Dreieck so vergrößern, dass er den Läufer jemals sehen würde.
Siehe auch
Weblinks
- Eric W. Weisstein: Sierpiński Sieve auf MathWorld (englisch)
- http://www.seefsen.de/sierp.html Java-Applet zur Demonstration des Dreiecks
- http://www.jgiesen.de/ChaosSpiel/Chaos.html – Erklärung und Java-Applet zum Chaos-Spiel
- http://dotnet-snippets.de/dns/sierpinski-triangle-SID781.aspx – Implementierung in .NET
Wikimedia Foundation.
