Weird curves bound normal areas
Curves of infinite length may enclose finite areas.
When have you last used the word circumference to refer to the set of points equividistant from a given point? Would not you rather call it a circle like everyone else? But then what is your term for the set of points enclosed by the circle? Disk? Personally, I consider both circumference and disk somewhat formal and prefer circle to either provided of course such usage does not result in ambiguity.
Descriptive identification of a region with its boundary is quite natural. Indeed one unequivocally defines the other. At least it was natural to me. So that when I first read about fractal curves which not only appeared weird but were mostly of unexpected (often beautiful) shapes I perceived as weird also the regions the curves enclosed. Would not you consider a region peculiar if its boundary were a strange looking curve?
The first unexpected feature of fractal curves is that none of them has finite length. As everyone will learn sooner or later, in order to describe them it's customary to introduce some kind of dimension (Hausdorff Besicovitch or similarity dimension.) Rarely it's mentioned that for every dimension it's possible to define a measure - a set function, i.e. a function that associates a real value with some sets, similarly to how length applies to curves and area to sets. This function,
a Hausdorff Besicovitch measure md, is such that a curve C has dimension d0 if and only if
Now, what would be your answer to the following question
A plane curve of (Hausdorff Besicovitch) dimension 1 < d < 2 encloses a region G. What is the dimension of G?
Is it surprising to learn that the dimension of G is 2? Old, plain two. In other words, a region enclosed by
a fractal curve has finite area. Let's imagine the snowflake curve
built on the three sides of an equilateral triangle. The area of an equilateral triangle with side a
is given by √3a2/4. Therefore, on every step, we add (1/3)2 of its area on each of the three sides. If the original triangle had area 1, the resulting Star of David would enclose a region of area
Where did 4/9 come from? The number of segments from one step to another grows by a factor of 4. Their common length, on the
other hand, decreases by a factor of three. So that the area of the triangles built on these segments decreases by a factor of
Some curves like, for example, Sierpinski gasket look like sets of substance. However, Sierpinski gasket has dimension log(3)/log(2) and according to the above mentioned property of the Hausdorff Besicovitch dimension has area of 0. It's a sheer boundary with no internal points but a lot of self intersection. However, accepting that the set it bounds is the part of the original triangle that is obtained after removal of the gasket, then the area of this set is the same as that of the original triangle.