# Fractals

Romanesco Broccoli.

Relevant examples from Escher's work:

## Self-Similarity

Definition: Fractals are objects that are self-similar under magnification.

Fractals show up in the work of artists as varied as M.C. Escher, Salvador Dali, Max Ernst, and Jackson Pollock. Fractals are also used in Computer Science. If an object is self-similar, then data storage becomes more efficient. All you would need to store is the basic shape, and how many times you use a magnification.

Common Fractals

The Sierpinski Triangle is one of the best-known fractals. One method of creating fractals is through a process called iteration. Iterating an operation simply means that we perform the operation over and over again. To create the Sierpinski triangle we take a triangle, find the midpoints of all the sides, and use those to create four smaller triangles. We throw away the central triangle, and repeat the process.

Above you see 3 iterations of the division process. On the left we divided the triangle in four smaller triangles and threw away the middle one. The figure in the middle shows the second iteration of the operation. We took the remaining three triangles, and divided them into four triangles and threw away the middle one. The triangle on the right shows what we get if we repeat the process five times. The real fractal is what we get if we repeat the process infinitely often. This means that we can think about a fractal, but we can only draw stages of the fractal as it is being produced. We know that a line is one dimensional, and a triangle is a two dimensional object. We will see later that the dimension of the Sierpinski Triangle lies somewhere between one and two. This means that the dimension of this object is not a whole number! This is where the term fractal comes from: The dimension of a fractal is some whole number plus a fraction of one.

Koch Edge The middle third of a segment is replaced by an equilateral “bump” consisting of two new segments. Recursively repeating on these new segments (and the remaining two segment thirds of the initial segment) results in the Koch Edge.