# Three Interesting Fractals From Koch, Sierpinski and Cantor

*I am a former maths teacher and owner of Doingmaths. I love writing about maths, its applications and fun mathematical facts.*

## What Are Fractals?

To formally define fractals would involve delving into some fairly complex mathematics, which is beyond the scope of this article. However, one of the main properties of fractals, and the one most easily recognised in popular culture, is their **self-similarity**. This self-similarity means that as you zoom in on a fractal you see parts that are similar to other larger parts of the fractal.

Another important part of fractals is their** fine structure**, i.e. however far you zoom in, there is still detail to be seen.

These properties will both become more evident as we look at some examples of my favourite fractals.

### Three Famous Types of Fractals

- The Middle Third Cantor Set
- The Koch Curve
- The Sierpinski Triangle

## The Middle Third Cantor Set

One of the easiest fractals to construct, the middle third Cantor set, is a fascinating entry-point to fractals. Discovered by the Irish mathematician Henry Smith (1826 - 1883) in 1875, but named for the German mathematician Georg Cantor (1845 - 1918) who first wrote about it in 1883, the middle third Cantor set is defined as such:

- Let E
_{0}be the interval [0,1]. This can be represented physically as a number line from 0 to 1 inclusive and containing all real numbers. - Delete the middle third of E
_{0}to give the set E_{1}consisting of the intervals [0,1/3] and [2/3,1]. - Delete the middle third of each of the two intervals in E
_{1}to give E_{2}consisting of the intervals [0,1/9], [2/9,1/3], [2/3,7/9] and [8/9,1]. - Continue as above, deleting the middle third of each interval as you go.

It can be seen from our examples so far that the set E_{k} is made up of 2^{k} intervals each of length 3^{-k}.

The middle third Cantor set is then defined as the set of all numbers in E_{k} for all integers k. In pictorial terms, the more stages of our line we draw and the more middle thirds we remove, the closer we get to the middle third Cantor set. As this iterative process goes on to infinity, we can never actually draw this set, we can only draw approximations.

### Self-Similarity in the Cantor Set

Earlier in this article, I mentioned the idea of self-similarity. This can be easily seen in our Cantor set diagram. The intervals [0,1/3] and [2/3,1] are exactly the same as the original interval [0,1] but each shrunk to a third of the size. The intervals [0,1/9], [2/9,1/3], etc. are also identical, but this time each is 1/9 of the size of the original.

The middle third Cantor set also starts to illustrate another interesting property of fractals. By the usual definition of length, the Cantor set has no size. Consider that 1/3 of the line is removed in the first step, then 2/9, then 4/27 etc. removing 2^{n}/3^{n+1} each time. The sum to infinity of 1/3 + 2/9 + 4/27 + ... = 1 and our original set had size 1, so we are left with an interval of size 1 − 1 = 0.

However, by the method of constructing the Cantor set, there must be something left (as we always leave behind the outer thirds of each remaining interval). There is actually an uncountably infinite number of points left. This disparity between the usual definitions of dimensions (topological dimensions) and 'fractal dimensions' is a large part of defining fractals.

## The Koch Curve

The Koch curve, which first appeared in a paper by Swedish mathematician Helge von Koch, is one of the most recognisable fractals and also very easily defined.

- As before, let E
_{0}be a straight line. - Set E
_{1}is defined by removing the middle third of E_{0}and replacing it with the other two sides of an equilateral triangle. - To construct E
_{2}we do the same again to each of the four edges; remove the middle third and replace with an equilateral triangle. - Keep repeating this to infinity.

As with the Cantor set, the Koch curve has the same pattern repeating itself on many scales, i.e. no matter how far in you zoom, you still get the exact same detail.

### The Von Koch Snowflake

If we fit three Koch curves together we get a Koch snowflake which has another interesting property. In the diagram below, I have added a circle around the snowflake. It can be seen by inspection that the snowflake has a smaller area than the circle as it fits completely inside it. It therefore has a finite area.

However, because each step of the construction of the curve is increasing each side length, each side of the snowflake has infinite length. We therefore have a shape with infinite perimeter but only finite area.

## Sierpinski Triangle (Sierpinski Gasket)

The Sierpinski triangle (named after the Polish mathematician Waclaw Sierpinski (1882 - 1969)) is another easily constructed fractal with self-similar properties.

- Take a filled-in equilateral triangle. This is E
_{0}. - To create E
_{1}, split E_{0}into four identical equilateral triangles and remove the one in the centre. - Repeat this step for each of the three remaining equilateral triangles. This leaves you with E
_{2}. - Repeat to infinity. To make E
_{k}, remove the middle triangle from each of the triangles of E_{k−1}.

It can be seen quite easily that the Sierpinski triangle is self-similar. If you zoom in on any individual triangle, it will look exactly the same as the original picture.

### Connection to Pascal's Triangle

Another interesting fact about this fractal is its link to Pascal's triangle. If you take Pascal's triangle and colour in all of the odd numbers, you get a pattern resembling the Sierpinski triangle.

As with the Cantor set, we also get an apparent contradiction with the usual method of measuring dimensions. As each stage of the construction removes a quarter of the area, each stage is 3/4 of the size of the previous one. The product 3/4 × 3/4 × 3/4 × ... tends towards 0 as we go, hence the area of the Sierpinski triangle is 0.

However, each step of the construction is still leaving 3/4 of the previous step behind, hence there must be something left. Again, we have a disparity between the usual measure of dimension and the fractal dimension.

**© 2020 David**