# Explain fractal geometry like I'm an idiot

**URL:** <https://boards.straightdope.com/t/explain-fractal-geometry-like-im-an-idiot/471052>\
**Category:** Factual Questions\
**Created:** [November 4, 2008, 2:52pm UTC](https://boards.straightdope.com/t/explain-fractal-geometry-like-im-an-idiot/471052 "2008-11-04T14:52:23Z")\
**Posts on this page:** 20\
**Page:** 3

<div class="post-metadata">

**Author:** ![lynne-42](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/lynne-42/32/3138_2.png) [@lynne-42](https://boards.straightdope.com/u/lynne-42)\
**Post date:** [November 7, 2008, 12:42pm UTC](https://boards.straightdope.com/t/explain-fractal-geometry-like-im-an-idiot/471052/41 "2008-11-07T12:42:12Z")

</div>

> [@ianzin](#):
>
> I don’t think there’s any harm in asking questions and expressing doubts, and I don’t think ‘majority consensus’ is ever as satisfying as, or a good substitute for, question, discussion, analysis, reasoning and (maybe) proof. I’m trying not to be a jerk about this, and I apologise to anyone who thinks that I am being one. Sorry, I’ll try to learn from those better informed than myself (such as **Lynne42** , with whom I have discussed some of these issues already). But where I have honest doubts, I try to express them honestly.

There is in fact a great deal of good in asking such questions. **ianzin** challenges my ideas constantly, forcing me to really think them through and explain clearly, which is great if you are an author, as I am. For example: my next book is on spiders. **Ianzin** challenged my explanation on how a baby spider knows how to spin an orb web. In attempting to answer (probably not to **ianzin’s** satisfaction) the book is much better for that challenge. He will get his copy when it is published in a few months, and I will be intrigued to see what he thinks.

I have just started the following book. At the moment **ianzin** considers that I am possibly deluded. But he will still read my emails and force me to justify my claims. And, should I prove that I am not deluded, the book will be much better for his challenges. If he proves me wrong, the book will never see the light of day and I will not make a total fool of myself. We need the questioners and doubters.

The explanations in this thread have improved greatly for **ianzin’s** questions. And I still think he’s wrong!

---

<div class="post-metadata">

**Author:** ![Necroscopics](https://avatars.discourse-cdn.com/v4/letter/n/ba9def/32.png) [@Necroscopics](https://boards.straightdope.com/u/Necroscopics)\
**Post date:** [November 7, 2008, 1:50pm UTC](https://boards.straightdope.com/t/explain-fractal-geometry-like-im-an-idiot/471052/42 "2008-11-07T13:50:27Z")

</div>

> [@ianzin](#):
>
> Thank you, and thank you HMHW as well. I understand you perfectly, and I still contend that I am correct. I submit that to suggest ‘infinity’ is ‘the limit’ or ‘a limit’ or any kind of limit does violence either to the meaning of ‘infinite’ or the meaning of ‘limit’.

It seems to me that you have a fundamental misunderstanding of what a mathmatical limit is. As in: the construction of a mathmatical limit includes a starting point and a trend as a variable moves toward a point (in this case, upper or lower [positive or negative] infinity). This is a mathmatical definition. When we say limit, this is what we mean.

Therefore, the formula n^2 approaches infinity as n approaches infinity. (I don’t know how to make this form do mathmatical fomulas…)

For any particular value of n, there is a particular x value (x being the result of n^2).

The limit has a perceived boundary. The actual equation itself does not. Suggesting that infinity as a limit does damage to the terms ‘limit’ and ‘infinity’ seems short-sighted. Asymptotes are perfect examples of how a limit can be something other than infinity. It just about understanding the contraints in the use of the term in the mathmatical sense.

Perhaps a good calculus teacher in your area could explain it to you better.

---

<div class="post-metadata">

**Author:** ![control-z](https://avatars.discourse-cdn.com/v4/letter/c/eada6e/32.png) [@control-z](https://boards.straightdope.com/u/control-z)\
**Post date:** [November 7, 2008, 3:33pm UTC](https://boards.straightdope.com/t/explain-fractal-geometry-like-im-an-idiot/471052/43 "2008-11-07T15:33:23Z")

</div>

> [@friedo](#):
>
> You forgot the part about image compression. That means your porn gets to you faster!

Creating a fractal image takes orders of magnitude longer than a simple JPEG, like [10 minutes versus hundredeths of a second](http://www.steckles.com/compression.html). Also, resulting fractal image files with good quality [aren’t much smaller than JPEG files](http://einstein.informatik.uni-oldenburg.de/rechnernetze/fraktal.htm). When we tested 4 or 5 years ago, the fractal image wouldn’t hold text very well either, the text tended to get blotchy.

I’m sure fractal images have their place, but not for a general purpose image format like JPEG or PNG.

---

<div class="post-metadata">

**Author:** ![Thudlow\_Boink](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/thudlow_boink/32/320_2.png) [@Thudlow\_Boink](https://boards.straightdope.com/u/Thudlow_Boink)\
**Post date:** [November 7, 2008, 3:35pm UTC](https://boards.straightdope.com/t/explain-fractal-geometry-like-im-an-idiot/471052/44 "2008-11-07T15:35:49Z")

</div>

> [@Necroscopics](#):
>
> It seems to me that you have a fundamental misunderstanding of what a mathmatical limit is. As in: the construction of a mathmatical limit includes a starting point and a trend as a variable moves toward a point (in this case, upper or lower [positive or negative] infinity). This is a mathmatical definition. When we say limit, this is what we mean.

Except that even that can be a bit misleading, since the modern mathematical definition of a limit makes no mention of anything _moving_ toward anything else, nor need there be any “starting point.” Instead, it relies on closeness: a limit is something you can get arbitrarily close to. And, for something to “approach infinity” just means that it can be arbitrarily large.

(I’ve seen Calculus described as “the mathematics of change and motion,” and in a sense it is, but in another sense, not really: limits, and hence all of Calculus, can be formally explained without any reference to anything moving.)

---

<div class="post-metadata">

**Author:** ![Omphaloskeptic](https://avatars.discourse-cdn.com/v4/letter/o/bcef8e/32.png) [@Omphaloskeptic](https://boards.straightdope.com/u/Omphaloskeptic)\
**Post date:** [November 7, 2008, 6:51pm UTC](https://boards.straightdope.com/t/explain-fractal-geometry-like-im-an-idiot/471052/45 "2008-11-07T18:51:58Z")

</div>

**ianzin** , it’s clear from this and [other threads](http://boards.straightdope.com/sdmb/showthread.php?t=458514) that you are some variety of finitist; there are at least some inductive arguments that you don’t accept. I don’t mean to criticize this; you’re welcome to choose whatever axioms you like in playing with mathematics, and of course in real-world science nothing is likely to rely on the particular choice of transfinite axioms anyway, which gives finitism a certain minimalist appeal.

But mathematicians have generally decided on standard terminology for dealing with infinities. You are using these standard terms in nonstandard ways, which just leads to confusion. It’s not reasonable to expect everyone to understand what you mean by “infinite” or “limit” when you’re not using its standard definition, nor is it reasonable to argue that you are “correct” while other people, using the standard definitions and standard set theory, are wrong, just because they proceed from different axioms than you do. To successfully convince mathematicians that your viewpoint is correct, you will have to point to the axiom(s) you dislike, and give them a really good reason for them to dislike it too. (I join with **Indistinguishable** in wondering exactly which axioms you don’t accept.) Merely involving the infinite won’t do it; showing an internal inconsistency with some other more-beloved axiom almost certainly would, and showing that the axiom leads to an extremely counterintuitive result would probably convince some but not all mathematicians. (Cf. the Axiom of Choice/Zorn’s Lemma/the Well-ordering Principle.)

This standard terminology is not some conspiracy (at least, as far as I know; but I don’t suppose They would tell me anyway). The consensus seems to have arisen because it leads to interesting results; even if not directly applicable to finite real-world situations, they may allow (some people) better intuition about even finite mathematics, such as with the standard treatments of calculus and limits. For example, any real-world approximation of a Koch snowflake cannot have an “infinite” perimeter (whatever a “perimeter” even means at subatomic scales); but if you build a set of them, they can have perimeters scaling faster than linearly with diameter, which is unusual behavior in itself.

Asking about this scaling leads naturally (for some) to the notion of the limit, with the result of an abstract mathematical object (as described by **Indistinguishable** ) having an infinite perimeter (which in the standard mathematical terminology merely means, as **Half Man Half Wit** has said, that for any finite value x I can prove that the perimeter exceeds this value). These results seem to be consistent, even if they follow from an induction you’re not prepared to accept axiomatically.

---

<div class="post-metadata">

**Author:** ![The\_Second\_Stone](https://avatars.discourse-cdn.com/v4/letter/t/bbe5ce/32.png) [@The\_Second\_Stone](https://boards.straightdope.com/u/The_Second_Stone)\
**Post date:** [November 7, 2008, 7:04pm UTC](https://boards.straightdope.com/t/explain-fractal-geometry-like-im-an-idiot/471052/46 "2008-11-07T19:04:11Z")

</div>

> [@ftg](#):
>
> Speaking of that _Nova_ episode.
> 
> Way back when in the dark ages, when I was in grad school, there was this total idiot who always sat up front in class and asked the stupidest questions. Real groaners. He was universally hated.
> 
> Centuries later, PBS thinks I want to see that numbskull again.

You went to school with Mandelbrot?

---

<div class="post-metadata">

**Author:** ![Chronos](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/chronos/32/134_2.png) [@Chronos](https://boards.straightdope.com/u/Chronos)\
**Post date:** [November 7, 2008, 9:24pm UTC](https://boards.straightdope.com/t/explain-fractal-geometry-like-im-an-idiot/471052/47 "2008-11-07T21:24:01Z")

</div>

> [@](#):
>
> I submit that to suggest ‘infinity’ is ‘the limit’ or ‘a limit’ or any kind of limit does violence either to the meaning of ‘infinite’ or the meaning of ‘limit’.

In mathematical contexts, limits are the _only_ way that “infinity” or “infinite” has meaning. It’s possible that you have some other definition of “infinite” to which limits do violence, but none of us here know what definition you’re using. Perhaps you could explain to us what “infinite” means to you?

---

<div class="post-metadata">

**Author:** ![Indistinguishable](https://avatars.discourse-cdn.com/v4/letter/i/90ced4/32.png) [@Indistinguishable](https://boards.straightdope.com/u/Indistinguishable)\
**Post date:** [November 7, 2008, 9:51pm UTC](https://boards.straightdope.com/t/explain-fractal-geometry-like-im-an-idiot/471052/48 "2008-11-07T21:51:54Z")

</div>

> [@Omphaloskeptic](#):
>
> **ianzin** , it’s clear from this and [other threads](http://boards.straightdope.com/sdmb/showthread.php?t=458514)…

This has nothing to do with anything here, but looking back over that other thread, I feel like **Chronos** was unfairly slighted a bit, by me among others; we took him to task over “I’m not even convinced that you can always choose an element from a two element set (Pick one element of the set of square roots of minus one, and tell me which element you picked without resorting to circular arguments)” and claimed this had very little to do with the axiom of choice. But thinking on it now, I would not want to say that. Actually, this is a fine example of what, in topos theory, is considered a failure of the “external” axiom of choice (very roughly, the internal axiom of choice is the supposition that choice functions can be proved to exist, while the external axiom of choice is the supposition that a definable choice function can actually be exhibited (though this formulation hides the fact that they’re actually the same statement, interpreted in different settings)). I even think now **Chronos** gave the appropriate defense in response to claims to exhibit the choice he denied possible (i.e., that these depend on the internal choice of an isomorphism from the many possible). All the attacks on **Chronos** ’s understanding were focused on the internal axiom of choice, but everything he said makes perfect sense considered as regarding the external axiom of choice.

So, uh… basically, I’d agree with **Chronos** on everything now. Just wanted to get that off my chest.

(I’m sure if I read more old threads, I’ll find more instances of “Wait; I shouldn’t have said it like that”, but rarely do you get the opportunity to actually make the amendments)

---

<div class="post-metadata">

**Author:** ![Chronos](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/chronos/32/134_2.png) [@Chronos](https://boards.straightdope.com/u/Chronos)\
**Post date:** [November 8, 2008, 2:33am UTC](https://boards.straightdope.com/t/explain-fractal-geometry-like-im-an-idiot/471052/49 "2008-11-08T02:33:18Z")

</div>

Hm. I hadn’t even realized that there was a distinction between the internal and external axioms of choice. But I don’t suppose I can argue with someone saying they agree with me.

---

<div class="post-metadata">

**Author:** ![Connecting\_Rod](https://avatars.discourse-cdn.com/v4/letter/c/9d8465/32.png) [@Connecting\_Rod](https://boards.straightdope.com/u/Connecting_Rod)\
**Post date:** [November 8, 2008, 4:16am UTC](https://boards.straightdope.com/t/explain-fractal-geometry-like-im-an-idiot/471052/50 "2008-11-08T04:16:21Z")

</div>

> [@ianzin](#):
>
> Thank you, and thank you HMHW as well. I understand you perfectly, and I still contend that I am correct. I submit that to suggest ‘infinity’ is ‘the limit’ or ‘a limit’ or any kind of limit does violence either to the meaning of ‘infinite’ or the meaning of ‘limit’.  
> . . . .

This sounds like a semantic issue. For instance, I could define a mathematical function as f(x) = x/0 which looks to be completely useless. But that contradicts (or does violence to?) the definition that things function when they work, when they produce a useful output. But the mathematical use of “function” has its own definition, and it’s named “function” simply because of its similarity to the common usage of the word.  
In the same way, “limit” has a strict mathematical definition. Visualizing its operation with the common usage of the word can be useful, but it’s wrong to apply the common usage of “limit” to the mathematical phrase “the limit as n approaches infinity” to say that this somehow limits infinity.

---

<div class="post-metadata">

**Author:** ![Indistinguishable](https://avatars.discourse-cdn.com/v4/letter/i/90ced4/32.png) [@Indistinguishable](https://boards.straightdope.com/u/Indistinguishable)\
**Post date:** [November 8, 2008, 4:22am UTC](https://boards.straightdope.com/t/explain-fractal-geometry-like-im-an-idiot/471052/51 "2008-11-08T04:22:04Z")

</div>

> [@Chronos](#):
>
> Hm. I hadn’t even realized that there was a distinction between the internal and external axioms of choice. But I don’t suppose I can argue with someone saying they agree with me.

Yes, you can!

Yeah, I didn’t expect that you were overtly aware of these nuances (roughly speaking, it’s something that gets ignored in traditional expositions of set theory but discussed in category-theoretic foundations where a wider variety of models are considered, though it isn’t really intrinsically tied to this particular distinction), but just pointing out that they do give formal substance to the point you were making at a more intuitive level, so that we were off-base in being so dismissive before.

Anyway, enough with the hijack.

---

<div class="post-metadata">

**Author:** ![Klaus\_K](https://avatars.discourse-cdn.com/v4/letter/k/ba8739/32.png) [@Klaus\_K](https://boards.straightdope.com/u/Klaus_K)\
**Post date:** [November 9, 2008, 8:17pm UTC](https://boards.straightdope.com/t/explain-fractal-geometry-like-im-an-idiot/471052/52 "2008-11-09T20:17:16Z")

</div>

> [@Tripler](#):
>
> Tripler  
> I just want to know what makes Mendelbrot look like Eric Cartman on his side.

Somewhat amusingly, in Germany, they refer to the Mandelbrot set as _das Apfelmännchen_ which loosely translates as the “the little apple man”.

---

<div class="post-metadata">

**Author:** ![ftg](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/ftg/32/2801_2.png) [@ftg](https://boards.straightdope.com/u/ftg)\
**Post date:** [November 9, 2008, 9:48pm UTC](https://boards.straightdope.com/t/explain-fractal-geometry-like-im-an-idiot/471052/53 "2008-11-09T21:48:00Z")

</div>

> [@The\_Second\_Stone](#):
>
> You went to school with Mandelbrot?

Actually, “Benny” sat in the back and was kinda quiet. 😉

---

<div class="post-metadata">

**Author:** ![tim314](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/tim314/32/3468_2.png) [@tim314](https://boards.straightdope.com/u/tim314)\
**Post date:** [November 9, 2008, 9:58pm UTC](https://boards.straightdope.com/t/explain-fractal-geometry-like-im-an-idiot/471052/54 "2008-11-09T21:58:59Z")

</div>

> [@ianzin](#):
>
> Thank you, and thank you HMHW as well. I understand you perfectly, and I still contend that I am correct. I submit that to suggest ‘infinity’ is ‘the limit’ or ‘a limit’ or any kind of limit does violence either to the meaning of ‘infinite’ or the meaning of ‘limit’.

The nice thing about math is that everyone is required to spell out the meaning of their terms in unambiguous symbolic language. In particular, a word like “limit” or a phrase like “the limit is infinity” have been given a standard meaning, which you can find in innumerable mathematics textbooks (and which is essentially the one that I and others have given above).

Your objection seems to be, roughly, “Well, they should have chosen another word for it besides ‘limit’.” Maybe so. There are lots of technical terms which have been given names which might be misleading to lay people not familiar with the term’s technical meaning.

But I don’t think anyone here is saying “‘Limit’ is the best possible word that could have been chosen for referring to this mathematical concept.” They’re just making a statement about limits and infinity using the standard mathematical definition of what it means for a limit to be infinite.

Suppose someone were to say, “Prairie dogs are burrowing rodents,” and I were to reply, “That’s wrong, because no dogs are rodents.” My objection would be incorrect, because in fact “prairie dog” is a term that refers to a species of burrowing rodent. What I’m really trying to say is “I don’t think they should call them prairie dogs.” Which is a fine opinion to have, but that doesn’t invalidate the person’s original statement. Prairie dogs _are_ burrowing rodents, whether the name “prairie dog” bugs me or not.

Likewise, it is true that the limit (as n goes to infinity) of (4/3)[sup]n[/sup] is infinity. Arguing it’s not true “because that’s not what ‘the limit goes to infinity’ means to me” is like arguing that “'Prairie dogs aren’t rodents, because to me prairie dogs are canines who live on the prairie.” Instead of arguing with what people are actually saying, you’re arguing with what you think their words _should_ mean. As I say, the nice thing about math is that the words are assigned a standard meaning in advance. And at this point, changing the definition from the one every college-level math student already knows wouldn’t serve much purpose other than to create confusion.

---

<div class="post-metadata">

**Author:** ![Chefguy](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/chefguy/32/138_2.png) [@Chefguy](https://boards.straightdope.com/u/Chefguy)\
**Post date:** [November 10, 2008, 12:33am UTC](https://boards.straightdope.com/t/explain-fractal-geometry-like-im-an-idiot/471052/55 "2008-11-10T00:33:39Z")

</div>

Well, that clears it all up for me.

---

<div class="post-metadata">

**Author:** ![ciroa](https://avatars.discourse-cdn.com/v4/letter/c/8c91f0/32.png) [@ciroa](https://boards.straightdope.com/u/ciroa)\
**Post date:** [November 10, 2008, 9:18am UTC](https://boards.straightdope.com/t/explain-fractal-geometry-like-im-an-idiot/471052/56 "2008-11-10T09:18:08Z")

</div>

Forget all the fancy explanations about fractals. Most are a bad reading of Sagan’s books and kind of a fascination with the pretty pictures you can get in a PC using a few simple equations.

Fractals are a subset of chaos theory.

Chaos theory was developed trying to solve the three-body problem, by Poincaré.

If you want a dummie approach, just check ergodic theory at Wikipedia.

---

<div class="post-metadata">

**Author:** ![lynne-42](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/lynne-42/32/3138_2.png) [@lynne-42](https://boards.straightdope.com/u/lynne-42)\
**Post date:** [November 10, 2008, 10:16am UTC](https://boards.straightdope.com/t/explain-fractal-geometry-like-im-an-idiot/471052/57 "2008-11-10T10:16:30Z")

</div>

Or read the classic, James Gleick’s “Chaos: making a new science” - wonderfully readable. That book, along with the free software, Fractint, changed my life many years ago. Got me so obsessed with chaos and fractals that I did my Masters on them (in education). I have read Gleick a number of times now, and get high on it every time.

I find fractals really interesting and pretty, but as **ciroa** indicates, they are the mathematics underpinning chaos theory. See the implications in terms of the real effects of chaos - it is then that they really gain their full glory. The less spectacular fractals, such as the bifurcations or the Lorenz Attractor, start to take over as the most intriguing of all.

---

<div class="post-metadata">

**Author:** ![Chronos](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/chronos/32/134_2.png) [@Chronos](https://boards.straightdope.com/u/Chronos)\
**Post date:** [November 10, 2008, 6:12pm UTC](https://boards.straightdope.com/t/explain-fractal-geometry-like-im-an-idiot/471052/58 "2008-11-10T18:12:28Z")

</div>

As a real-world example of fractals, chaos theory, and the relationship between them: Suppose you have two large masses, and put them at, say, the points (0,1) and (0,-1) on a coordinate grid. The large masses are fixed in place somehow, so they won’t move. Now, take a mass to some other point in the coordinate grid, and drop it from rest. Eventually, it’ll hit one of the two big masses. If it hits the mass on top, then you color the point you started from red; if it hits the mass on bottom, you color the point blue.

Now, if you do this using ordinary Newtonian gravity, the picture you get is boring: It’s just all red on the top half, and all blue on the bottom half. But if your two big masses are black holes, and you use general relativity, a very different picture emerges: The top half is mostly red, and the bottom is mostly blue, but there are large loops of blue in the red part, and those blue loops have red loops in them, and the red loops in the blue loops have more blue loops in them, and so on. There are regions near the boundaries of the loops where, if you move your initial particle a very small amount in any direction, you might end up falling into a differernt hole. This is the type of behaviour that chaos theory talks about. And if you draw a picture of the different outcomes you get from the different initial conditions, that gets you a fractal.

---

<div class="post-metadata">

**Author:** ![aerodave](https://avatars.discourse-cdn.com/v4/letter/a/f08c70/32.png) [@aerodave](https://boards.straightdope.com/u/aerodave)\
**Post date:** [November 10, 2008, 6:51pm UTC](https://boards.straightdope.com/t/explain-fractal-geometry-like-im-an-idiot/471052/59 "2008-11-10T18:51:03Z")

</div>

Whoa, **Chronos**. I’d like to see that. What’s that scenario called, and how can I find a picture of the resulting fractal?

---

<div class="post-metadata">

**Author:** ![Chronos](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/chronos/32/134_2.png) [@Chronos](https://boards.straightdope.com/u/Chronos)\
**Post date:** [November 10, 2008, 7:03pm UTC](https://boards.straightdope.com/t/explain-fractal-geometry-like-im-an-idiot/471052/60 "2008-11-10T19:03:04Z")

</div>

I spent a few minutes looking for pictures, myself, before posting that. Unfortunately the only hits I found were in journals that most folks here won’t be able to access. Fortunately the author of several of those papers is one of the professors here, so I might be able to get something from him.

[Previous page](https://boards.straightdope.com/t/explain-fractal-geometry-like-im-an-idiot/471052.md?page=2)

[Next page](https://boards.straightdope.com/t/explain-fractal-geometry-like-im-an-idiot/471052.md?page=4)
