 Larry Riddle, Agnes Scott College #### Description Sierpinski

Construction
Animation

Geogebra
Animation Start with a solid (filled) equilateral triangle S(0). Divide this into four smaller equilateral triangles using the midpoints of the three sides of the original triangle as the new vertices. Remove the interior of the middle triangle (that is, do not remove the boundary) to get S(1). Now repeat this procedure on each of the three remaining solid equilateral triangles to obtain S(2). Continue to repeat the construction to obtain a decreasing sequence of sets

$$S(0) \supset S(1) \supset S(2) \supset S(3) \supset \cdots$$

The Sierpinski gasket, also known as the Sierpinski triangle, is the intersection of all the sets in this sequence, that is, the set of points that remain after this construction is repeated infinitely often.

#### IteratedFunctionSystem

IFS
Animation The set S(1) can also be obtained by scaling three copies of S(0) each by a factor of r=1/2 and then translating two of the smaller triangles to form the desired arrangement. If we imagine the bottom side of S(0) to lie along the x-axis with the vertices at the origin and at the point (1,0), then two of the scaled triangles would have to be translated so that the lower left vertices are at (1/2, 0) and $$(1/4, \sqrt 3 /4)$$ respectively. This yields the following iterated function system.

 $${f_1}({\bf{x}}) = \left[ {\begin{array}{*{20}{c}} {1/2} & 0 \\ 0 & {1/2} \\ \end{array}} \right]{\bf{x}}$$ scale by r $${f_2}({\bf{x}}) = \left[ {\begin{array}{*{20}{c}} {1/2} & 0 \\ 0 & {1/2} \\ \end{array}} \right]{\bf{x}} + \left[ {\begin{array}{*{20}{c}} {1/2} \\ 0 \\ \end{array}} \right]$$ scale by r $${f_3}({\bf{x}}) = \left[ {\begin{array}{*{20}{c}} {1/2} & 0 \\ 0 & {1/2} \\ \end{array}} \right]{\bf{x}} + \left[ {\begin{array}{*{20}{c}} {1/4} \\ {\sqrt{3}/4} \\ \end{array}} \right]$$ scale by r

IFS
Animation
3 different
initial sets

IFS
Animation
Sierpinski
converges to
his own triangle! IFS
Animation
Circumscribed
Circles If you apply the IFS to S(1), you will get S(2). Apply it to S(2) to get S(3), and continue to do this indefinitely. The Sierpinski gasket is the attractor for this IFS. This means that if you apply the iterated function system repeatedly beginning with any initial compact set (such as S(0)), then the resulting images will converge to the Sierpinski gasket, and applying the IFS to the Sierpinski gasket itself will just reproduce the same image. To see some examples of this behavior, view the IFS animation with three different initial sets. You can even make Sierpinski himself converge to his own gasket!

Because of the rotational symmetry of an equilateral triangle, there is second iterated function system that has the Sierpinski gasket as its attractor. In addition to scaling by a factor of r=1/2, rotate two of the triangles by 120° and -120°, then translate. This yields the IFS given by

 $${f_1}({\bf{x}}) = \left[ {\begin{array}{*{20}{c}} { - 1/4} & {\sqrt{3}/4} \\ { - \sqrt{3}/4} & { - 1/4} \\ \end{array}} \right]{\bf{x}} + \left[ {\begin{array}{*{20}{c}} {1/4} \\ {\sqrt{3}/4} \\ \end{array}} \right]$$ scale by r, rotate by −120° $${f_2}({\bf{x}}) = \left[ {\begin{array}{*{20}{c}} { 1/2} & {0} \\ { 0} & { 1/2} \\ \end{array}} \right]{\bf{x}} + \left[ {\begin{array}{*{20}{c}} {1/4} \\ {\sqrt{3}/4} \\ \end{array}} \right]$$ scale by r $${f_3}({\bf{x}}) = \left[ {\begin{array}{*{20}{c}} { - 1/4} & {- \sqrt{3}/4} \\ { \sqrt{3}/4} & { - 1/4} \\ \end{array}} \right]{\bf{x}} + \left[ {\begin{array}{*{20}{c}} {1} \\ {0} \\ \end{array}} \right]$$ scale by r, rotate by 120°

Zoom
Animation

The Sierpinski gasket consists of three self-similar pieces corresponding to the three functions in the iterated function system. If you zoom in on different parts of the gasket, you will see the same basic shape reappearing no matter how far in you zoom. Try the animation to see this effect.

#### L-System

Angle 120
Axiom F
F —> F+F−F−F+F

L-System
Animation ver 1

L-System
Animation ver 2

Suppose we started with just the axiom F, that is, just one side of the triangle. The first iteration generated by the rule given above would be the following We can see how the rule generates the boundary of the removed inside triangle. Repeated iterations will form more of the interior triangles but will leave out the other two sides of the main triangle. If you watch L-system animation version 1, you will notice that the animation seems to pause occasionally. This is because this L-system will trace some of the sides of the triangles more than once. To see how this happens, watch L-system animation version 2.

L-System
Animation ver 3

Another L-system that generates Sierpinski's gasket is given by

Angle 60
Axiom FX
F —> Z
X —> +FY-FX-FY+
Y —> -FX+FY+FX-

This a bit different in that each curve never intersects with itself as with the first L-system. As such, this construction illustrates that the Sierpinski gasket is actually a plane curve. It corresponds to the second of the iterated function systems given above.

Below is the fourth iteration of each L-system. Watch the animations for a more detailed view.  #### SimilarityDimension

The Sierpinski gasket is self-similar with 3 non-overlapping copies of itself, each scaled by the factor r < 1. Therefore the similarity dimension, d, of the attractor of the IFS is the solution to

$$\sum\limits_{k = 1}^3 {{r^d}} = 1\quad \Rightarrow \quad d = \frac{{\log (1/3)}}{{\log (r)}} = \frac{{\log (1/3)}}{{\log (1/2)}} = \frac{{\log (3)}}{{\log (2)}} = 1.58496$$

#### SpecialProperties

The Sierpinski gasket is also referred to as the Sierpinski triangle or as the Sierpinski triangle curve. It apparently was Mandelbrot who first gave it the name "Sierpinski's gasket." Sierpinski described the construction to give an example of "a curve simultaneously Cantorian and Jordanian, of which every point is a point of ramification." Basically, this means that it is a curve that crosses itself at every point. See the articles  and  for a good discussion of the origin of the Sierpinski triangle curve.

The following figure shows six Sierpinski gaskets put together in a hexagonal shape. This "curve" also has some interesting topological properties that Sierpinski discussed in his 1915 and 1916 papers. Also see reference .

We remove "all" of the area of the initial triangle in constructing the Sierpinski gasket. But of course there are many points still left in the gasket.

What is the average distance between two points in a unit Sierpinski gasket? The answer is 466 / 885 = 0.52655. Ian Stewart  credits this result to Andreas Hinz and describes how the use of graph theory to analyze the n-disk Tower of Hanoi puzzle can be used to calculate this average distance.

An interesting connection also exists between Pascal's Triangle and the Sierpinski Gasket. There's even some applications to electric circuits!

Could the Sierpinski gasket have captured the imagination of neolithic people in Ireland 5000 years ago? Look at these images and decide for yourself. An article by Elisa Conversano and Laura Tedeschini-Lalli in the 2011 Journal of Applied Mathematics illustrates designs from 11th century Rome churches that are similar to Sierpinski gaskets. Snow artist Simon Beck created a Sierpinski triangle pattern in snow with snowshoes. This was also the February image for the 2013 Calendar of Mathematical Imagery from the American Mathematical Society.

#### Variations

There are many possible variations on the construction of the Sierpinski gasket, both from the geometric point of view of "removing" sections and the IFS point of view of scaling, rotating, and translating.

#### Sierpinski Pedal Triangle The pedal triangle of an acute triangle T is the triangle formed by the three points that lie at the feet of the three altitudes of T, i.e. from each vertex drop a perpendicular to the opposite side until it intersects with that side. The pedal triangle divides the original triangle into four smaller triangles. Remove the interior of the pedal triangle, then repeat the construction on the remaining three triangles. The Sierpinski gasket is formed by scaling an equilateral triangle by the factor r= 1/2. Instead of using this scaling factor, however, we can scale the equilateral triangle by a number λ between 0 and 1, make three copies, then translate them to fit back within the original triangle.

Allow the top triangle to rotate around its center. Each rotation produces a different iterated function system with a different attractor. Click on the link above to see an animation of how that changes the Sierpinski gasket. #### Sierpinski Relatives

The Sierpinski gasket can also be constructed by starting with a square that is subdivided into four equal subsquares, then removing the upper right subsquare. By performing one of the 8 symmetry transformations of a square on each of the three remaining subsquares during each step of the iteration, many variations of the Sierpinski gasket can be obtained. Click on the link above for more details and examples of such fractals (such as the one below). #### Triangle Fractals

Perform the usual construction for the Sierpinski gasket, but rather than remove the middle triangle, remove the top triangle. The remaining three triangles may be rotated by 120° or 240°, or reflected across one of the altitudes, to form variations on the Sierpinski gasket. Click on the link above for more details and examples of such fractals (such as the one below). The example of a triangle fractal shown above shows a sequence of Sierpinski triangles shrinking in size. A different version of this is illustrated in the book Brainfilling Curves, by Jeffrey Ventrella. He constructs this as family of non-crossing curves in what he describes as a root4 triangle grid family. It is also the attractor of an IFS with three functions that mimic the usual construction of a Sierpinski triangle. Click on the button to the left for a demonstration.

Curve
Animation

Triangle
Animation $${f_1}({\bf{x}}) = \left[ {\begin{array}{*{20}{c}} { 1/4} & {\sqrt{3}/4} \\ { \sqrt{3}/4} & { - 1/4} \\ \end{array}} \right]{\bf{x}}$$ $${f_2}({\bf{x}}) = \left[ {\begin{array}{*{20}{c}} { - 1/4} & {- \sqrt{3}/4} \\ { \sqrt{3}/4} & { - 1/4} \\ \end{array}} \right]{\bf{x}} + \left[ {\begin{array}{*{20}{c}} {1/2} \\ {0} \\ \end{array}} \right]$$ $${f_3}({\bf{x}}) = \left[ {\begin{array}{*{20}{c}} { 1/2} & {0} \\ { 0} & { 1/2} \\ \end{array}} \right]{\bf{x}} + \left[ {\begin{array}{*{20}{c}} {1/2} \\ {0} \\ \end{array}} \right]$$

#### Symmetric Fractal generated from Sierpinski Triangle

Let S = {f1, f2, f3} be the three functions in the Sierpinski Triangle IFS. Let G be the cyclic symmetry group Z3. The three elements of G are the identity (no rotation), r120, a counterclockwise rotation through 120°, and r240, a counterclockwise rotation through 240°. We can form a new IFS by applying each of the symmetries in G to each of the functions in S, i.e. form the set of affine transformations GK = { gf : g in G and f in S}. The new IFS would then consist of the 9 functions {fk, r120fk, r240fk for k = 1,2,3}. The first iteration would look like the following (using an equilateral triangles as the initial set as in the construction of the regular Sierpinski triangle). This iterated function system produces the following fractal which actually has six-fold rotational symmetry (in addition to several reflective symmetries). This is because the fixed attractor is a filled-in hexagon [Details]. It is colored using pixel counting (the color depends on how many times a particular pixel is plotted during the drawing of the fractal using the random chaos game algorithm). More details on symmetric fractals can be found here and in the book by Field and Golubitsky.  #### Sierpinski Valentines

The image on the left is from the webcomic xkcd. The image on the right was inspired by xkcd and drawn using the software IFS Construction Kit with the heart graphed using the implicit relationship $$x^2+\left(y-\sqrt{|x|}\right)^2 = 2$$.  See a similar image implemented in Desmos by Eric Berger.

#### References

1. Bannon, Thomas. "Fractals and Transformations," Mathematics Teacher, March 1991.
2. Barnsley, Michael F. Fractals Everywhere, 2nd Edition, Academic Press Professional, 1993. [See Preview at Google Books]
3. Ciesielski, Krzysztof and Zdzislaw Pogoda. "The Beginning of Polish Topology," The Mathematical Intelligencer, 18 (3), 1996, 32-39.
4. Devaney, Robert. A First Course in Chaotic Dynamical Systems, Addison-Wesley Publishing Co., 1992.
5. Conversano, Elisa and Tedeschini Lalli, Laura. "Sierpinsky Triangles in Stone, on Medieval Floors in Rome," Journal of Applied Mathematics, Vol. 4, No. 4 (2011), 113-122.
6. Edgar, Gerald A. Measure, Topology, and Fractal Geometry, Springer-Verlag, 1990.
7. Field, Michael and Martin Golubitsky. Symmetry in Chaos: A Search for Pattern in Mathematics, Art, and Nature (2nd Edition), SIAM, 2009. [See Preview at Google Books. Chapter 7 is on Symmetric Fractals.]
8. Jones, Juw. "Fractals Before Mandelbrot-A Selective History," in Fractals and Chaos, Crilly, Earnshaw, and Jones, Editors, Springer-Verlag 1991.
9. Lauwerier, Hans. Fractals, Endlessly Repeated Geometrical Figures, translated by Sophia Gill-Hoffstadt, Princeton University Press, 1991.
10. Mandelbrot, Benoit. The Fractal Geometry of Nature, W.H. Freeman and Co. 1983. [Preview available at Google Books]
11. Peitgen, Heinz-Otto, Hartmut Jurgens and Dietmar Saupe. Fractals for the Classroom, Part One: Introduction to Fractals and Chaos, Springer-Verlag New York, Inc. 1990.
12. Prusinkiewicz, Przemyslaw and James Hanan. Lindenmayer Systems, Fractals, and Plants, Lecture Notes in Biomathematics #79, Springer-Verlag 1989.
13. Prusinkiewicz, Przemyslaw and Aristid Lindenmayer. The Algorithmic Beauty of Plants, Springer-Verlag, 1990. [Available from the Algorithmic Botany website]
14. Sierpinski, Waclaw. "Sur une courbe dont tout point est un point de ramification," Compt. Rendus Acad. Sci. Paris 160 (1915), 302-305.
15. Sierpinski, Waclaw. "On a curve every point of which is a point of ramification," Prace Mat. Fiz. 27 (1916), 77-86 [Polish].
16. Sokolov, I.M. "A ride on Sierpinski's carpet," Quantum, May/June 1992, 7-11.
17. Stewart, Ian. "Four Encounters with Sierpinski's Gasket," The Mathematical Intelligencer, 17, No. 1 (1995), 52-64.