{"id":463,"date":"2007-07-09T19:40:28","date_gmt":"2007-07-09T19:40:28","guid":{"rendered":"http:\/\/scientopia.org\/blogs\/goodmath\/2007\/07\/09\/an-introduction-to-fractals\/"},"modified":"2018-11-27T20:10:38","modified_gmt":"2018-11-28T01:10:38","slug":"an-introduction-to-fractals","status":"publish","type":"post","link":"http:\/\/www.goodmath.org\/blog\/2007\/07\/09\/an-introduction-to-fractals\/","title":{"rendered":"An Introduction to Fractals"},"content":{"rendered":"<p><img data-recalc-dims=\"1\" loading=\"lazy\" decoding=\"async\" alt=\"gasket.jpg\" src=\"https:\/\/i0.wp.com\/scientopia.org\/img-archive\/goodmath\/img_183.jpg?resize=99%2C115\" width=\"99\" height=\"115\" class=\"inset right\" \/><\/p>\n<p> I thought in addition to the graph theory (which I&#8217;m enjoying writing, but doesn&#8217;t seem to be all that popular), I&#8217;d also try doing some writing about fractals. I know pretty much <em>nothing<\/em> about fractals, but I&#8217;ve wanted to learn about them for a while, and one of the advantages of having this blog is that it gives me an excuse to learn about things that that interest me so that I can write about them.<\/p>\n<p>Fractals are amazing things. They can be beautiful: everyone has seen beautiful fractal images &#8211; like the ones posted by my fellow SBer Karmen. And they&#8217;re also useful: there are a lot of phenomena in nature that seem to involve fractal structures.<\/p>\n<p>But what is a fractal?<\/p>\n<p>The word is a contraction of <em>fractional dimension<\/em>. The idea of that is that there are several different ways of measuring the dimensionality of a structure using topology. The structures that we call fractals are things that have a kind of fine structure that gives them a strange kind of dimensionality; their conventional topological dimension is smaller than their <em>Hausdorff<\/em> dimension. (You can look up details of what topological dimension and Hausdorff dimension mean in one of my topology articles.) The details aren&#8217;t all that important here: the key thing to understand is that there&#8217;s a fractal is a structure that breaks the usual concept of dimension: it&#8217;s shape has aspects that suggest higher dimensions. The Sierpinski carpet, for example, is topologically one-dimensional. But if you look at it, you have a clear sense of a two-dimensional figure.<\/p>\n<p><img data-recalc-dims=\"1\" loading=\"lazy\" decoding=\"async\" alt=\"carpet.jpg\" src=\"https:\/\/i0.wp.com\/scientopia.org\/img-archive\/goodmath\/img_184.jpg?resize=239%2C240\" width=\"239\" height=\"240\" class=\"inset right\" \/><\/p>\n<p> That&#8217;s all frightfully abstract. Let&#8217;s take a look at one of the simplest fractals. This is called <em>Sierpinski&#8217;s carpet<\/em>.  There&#8217;s a picture of a finite approximation of it over to the right. The way that you generate this fractal is to take a square. Divide the square into 9 sub-squares, and remove the center one. Then take each of the 8 squares around the edges, and do the same thing to them: break them into 9, remove the center, then repeat on the even smaller squares. Do that an infinite number of times.<\/p>\n<p>When you look at the carpet, you probably think it looks two dimensional. But topologically, it is a one-dimensional space. The &#8220;edges&#8221; of the resulting figure are infinitely narrow &#8211; they have no width that needs a second dimension to describe. The whole thing is an infinitely complicated structure of lines: the total area covered by the carpet is 0! Since it&#8217;s just lines, topologically, it&#8217;s one-dimensional.<\/p>\n<p>In fact, it is more than just a one dimensional shape; what it is is  a kind of <em>canonical<\/em> one dimensional shape: <em>any<\/em> one-dimensional space is topologically equivalent (homeomorphic) to a subset of the carpet.<\/p>\n<p> But when we look at it, we can see it has a clear structure in two dimensions. In fact, it&#8217;s a structure which really can&#8217;t be described as one-dimensional &#8211; we defined by cutting finite sized pieces from a square, which is a 2-dimensional figure.  It isn&#8217;t really two dimensional; it isn&#8217;t really one dimensional. The best way of describing it is by its Hausdorff dimension, which is 1.89. So it&#8217;s <em>almost<\/em>, but not quite, two dimensional.<\/p>\n<p> Sierpinski&#8217;s carpet is a very typical fractal; it&#8217;s got the traits that we use to identify fractals, which are the following:<\/p>\n<ol>\n<li> Self-similarity: a fractal has a structure that repeats itself on ever smaller scales. In the case of the carpet, you can take any non-blank square, and it&#8217;s exactly the same as a smaller version of the entire carpet.<\/li>\n<li> Fine structure: a fractal has a fine structure at arbitrarily small scales. In the case of the carpet, no matter how small you get, it&#8217;s always got even smaller subdivisions. <\/li>\n<li> Fractional dimension: its Hausdorff dimension is not an integer. Its Hausdorff dimension is also usually <em>larger<\/em> than its topological dimension. Again looking at the carpet, it&#8217;s topological dimension is 1; it&#8217;s Hausdorff dimension is 1.89.<\/p>\n<\/ol>\n","protected":false},"excerpt":{"rendered":"<p>I thought in addition to the graph theory (which I&#8217;m enjoying writing, but doesn&#8217;t seem to be all that popular), I&#8217;d also try doing some writing about fractals. I know pretty much nothing about fractals, but I&#8217;ve wanted to learn about them for a while, and one of the advantages of having this blog is [&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-463","post","type-post","status-publish","format-standard","hentry","category-fractals"],"jetpack_publicize_connections":[],"jetpack_featured_media_url":"","jetpack_shortlink":"https:\/\/wp.me\/p4lzZS-7t","jetpack_sharing_enabled":true,"jetpack_likes_enabled":true,"_links":{"self":[{"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/posts\/463","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=463"}],"version-history":[{"count":2,"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/posts\/463\/revisions"}],"predecessor-version":[{"id":3662,"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/posts\/463\/revisions\/3662"}],"wp:attachment":[{"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/media?parent=463"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/categories?post=463"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/tags?post=463"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}