{"id":486,"date":"2007-08-08T11:41:41","date_gmt":"2007-08-08T11:41:41","guid":{"rendered":"http:\/\/scientopia.org\/blogs\/goodmath\/2007\/08\/08\/fractal-dimension\/"},"modified":"2007-08-08T11:41:41","modified_gmt":"2007-08-08T11:41:41","slug":"fractal-dimension","status":"publish","type":"post","link":"http:\/\/www.goodmath.org\/blog\/2007\/08\/08\/fractal-dimension\/","title":{"rendered":"Fractal Dimension"},"content":{"rendered":"<p><img data-recalc-dims=\"1\" loading=\"lazy\" decoding=\"async\" alt=\"pink-carpet.png\" src=\"https:\/\/i0.wp.com\/scientopia.org\/img-archive\/goodmath\/img_243.png?resize=195%2C195\" width=\"195\" height=\"195\" class=\"inset right\" \/><\/p>\n<p> One of the most fundamental properties of fractals that we&#8217;ve mostly avoided so far is the idea of dimension. I mentioned that one of the basic properties of fractals is that their Hausdorff dimension is<br \/>\nlarger than their simple topological dimension. But so far, I haven&#8217;t explained how to figure out the<br \/>\nHausdorff dimension of a fractal.<\/p>\n<p> When we&#8217;re talking about fractals, notion of dimension is tricky. There are a variety of different<br \/>\nways of defining the dimension of a fractal: there&#8217;s the Hausdorff dimension; the box-counting dimension; the correlation dimension; and a variety of others. I&#8217;m going to talk about the fractal dimension, which is<br \/>\na simplification of the Hausdorff dimension. If you want to see the full technical definition of<br \/>\nthe Hausdorff dimension, I wrote about it in <a href=\"http:\/\/scientopia.org\/blogs\/goodmath\/2006\/10\/dimensions-and-topology\">one of my topology posts.<\/a><\/p>\n<p><!--more--><\/p>\n<p> Starting from the basics: why do we need a different definition of dimension? There&#8217;s a nice, simple<br \/>\ndefinition of dimension used in geometry and topology. Why do we need to introduce this whole mess<br \/>\nof other measures of dimensionality?<\/p>\n<p> Think about the Koch curve. Pick any two points on it. How long is the curve segment between them? It&#8217;s <em>infinite<\/em>. That means that it&#8217;s got an infinite amount of structure in the segment between the two points. But if it&#8217;s a curve, it&#8217;s one-dimensional. How can two points on a continuous 1-dimensional line segment be infinitely far apart? Clearly it&#8217;s possible, and yet it doesn&#8217;t jibe with our notion of how a one-dimensional thing should behave.<\/p>\n<p> Think about the Sierpinski gasket. If you look at it, it seems to have a two-dimensional structure. But<br \/>\nif you work through the usual topological definition of dimension, it&#8217;s only got one dimension. Once again, the topological dimension doesn&#8217;t fit our intuition &#8211; it doesn&#8217;t really accurately describe the<br \/>\napparent dimensional properties of the structure.<\/p>\n<p> To fix this, we need some other notion of what dimension means. The fractal dimension is a measure<br \/>\nof how the complexity of the figure increases as it scales. The dimension is the exponent that<br \/>\nrelates the scaling factor to the measure of the figure &#8211; scale<sup>dim<\/sup>=number of copies.<\/p>\n<p>\tLet&#8217;s start with a line-segment. Double the length of the segment; how much have you increased the number of copies of the segment? You&#8217;ve doubled it. So increasing its size by a factor of 2 scales it up by two.  That makes the line one dimensional.<\/p>\n<p> Now, think about a square. Double the scale of the square &#8211; you&#8217;ve created 4 copies of it. Doubling scale creates 4 copies; 2<sup>dim<\/sup>=4, so the dimension is two. Now a cube: 2<sup>dim<\/sup>=8, so the dimension of the cube is three. <\/p>\n<p>\tGood so far: this notion of dimension<br \/>\nproduces results as we expect for simple regular shapes. Now let&#8217;s try it on fractals<\/p>\n<p> Think about the Cantor set. To create a copy of the set, you need to triple its length (you need to add a blank space of size equal to the length of the original set, and then another copy of the original set).<br \/>\nSo increasing the scale of the set by three creates two copies: 3<sup>dim<\/sup>=2; so dim = log<sub>3<\/sub>2 = ln(2)\/ln(3)=0.63. <\/p>\n<p><img data-recalc-dims=\"1\" loading=\"lazy\" decoding=\"async\" alt=\"gasket-dimension.png\" src=\"https:\/\/i0.wp.com\/scientopia.org\/img-archive\/goodmath\/img_244.png?resize=377%2C218\" width=\"377\" height=\"218\" \/><\/p>\n<p> Now let&#8217;s look at the Sierpinksi gasket. If we double its size, we create three copies of it. So<br \/>\nits dimension can be calculated by 2<sup>dim<\/sup>=3.  So dim=ln(3)\/ln(2) = 1.58. <\/p>\n<p><img data-recalc-dims=\"1\" loading=\"lazy\" decoding=\"async\" alt=\"carpet-dim.png\" src=\"https:\/\/i0.wp.com\/scientopia.org\/img-archive\/goodmath\/img_245.png?resize=356%2C253\" width=\"356\" height=\"253\" \/><\/p>\n<p> One more: the Sierpinski carpet. To scale it up, we need eight copies to scale it by a factor of 3.<br \/>\n3<sup>dim<\/sup>=8; dim = ln(8)\/ln(3)=1.89. <\/p>\n","protected":false},"excerpt":{"rendered":"<p>One of the most fundamental properties of fractals that we&#8217;ve mostly avoided so far is the idea of dimension. I mentioned that one of the basic properties of fractals is that their Hausdorff dimension is larger than their simple topological dimension. But so far, I haven&#8217;t explained how to figure out the Hausdorff dimension of [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"jetpack_post_was_ever_published":false,"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"_jetpack_memberships_contains_paid_content":false,"footnotes":"","jetpack_publicize_message":"","jetpack_publicize_feature_enabled":true,"jetpack_social_post_already_shared":false,"jetpack_social_options":{"image_generator_settings":{"template":"highway","default_image_id":0,"font":"","enabled":false},"version":2}},"categories":[86],"tags":[],"class_list":["post-486","post","type-post","status-publish","format-standard","hentry","category-fractals"],"jetpack_publicize_connections":[],"jetpack_featured_media_url":"","jetpack_shortlink":"https:\/\/wp.me\/p4lzZS-7Q","jetpack_sharing_enabled":true,"jetpack_likes_enabled":true,"_links":{"self":[{"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/posts\/486","targetHints":{"allow":["GET"]}}],"collection":[{"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/comments?post=486"}],"version-history":[{"count":0,"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/posts\/486\/revisions"}],"wp:attachment":[{"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/media?parent=486"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/categories?post=486"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/tags?post=486"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}