Following a discussion on Reasonable Deviations. I was prompted to write on this.
The above is an illustration on the generation of the Sierpinski Gasket. For simplicity we assume that the area of the initial triangle is 1. We split this triangle into four triangles by joining the mid-points of the sides of the triangle. These smaller triangles as shown in figure 2 have equal areas. We then remove the middle triangle. We adopt the convention that we will only remove the middle triangle and not a triangle at the edge.
In each of the three remaining triangles we repeat the process and remove the middle triangles. This is where self-symmetry comes in. If we pretend to see only one of the three small triangles then we are actually doing the same thing as we did to the original triangle. Albeit on a smaller scale. The above figure shows the third and fourth iterates of the original triangle. This process repeated ad infinitum gives rise to the Sierpinski gasket.
The L-System representation of the process is:
variables : A B
constants : + −
start : A
rules : (A → B−A−B),(B → A+B+A)
angle : 60°
Anyway, now what is interesting about this figure is its area and the perimeter.
Continuing with our earlier assumption, suppose the initial triangle had an area
Now in the first iteration we remove one of the four equal areas in that triangle and keeping the other three that remain.
Therefore the total area of the first iterate will be equal to
A1 = (3/4) x 1;
Similarly in the second iteration, we repeat the process as I have already noted above. Thus,
A2 = (3/4)(3/4) x 1;
For n iterations the area will be given by:
An = (3/4)n x 1;
Now if n is arbitrarily large then the area, it would follow will be ZERO.
Now finding out the perimeter is a similar exercise. The length of the boundary of the nth iterate of the original triangle is the total length of the boundaries of all the shaded small triangles in the nth iterate. It can be shown that this gets arbitrarily large as n gets arbitrarily large. Therefore we conclude that a Sierpinski gasket has infinite perimeter!
And that it has zero area inside and infinite perimeter.
This is against the Koch Snowflake, which is a figure having a finite area inside an infinite perimeter. This goes against the way we think and according to geometric intuition that we have. But it actually is characteristic of many shpaes in nature. For example (i really like this example :D ) if we take all the arteries, veins and capillaries in the human body, then they occupy a relative small fraction of the body. Yet if we were able to lay them out end to end, we would find that the total length would come to over 60000 kilometres. This example i am quoting from an article i had copied years ago.