Mandelbrot Set: Why Are Julia Sets Connected?

  • Thread starter Thread starter Troels
  • Start date Start date
  • Tags Tags
    Mandelbrot Set
AI Thread Summary
The discussion centers on the relationship between the Mandelbrot set and Julia sets, specifically why Julia sets are connected when the iterative function f(z)=z^2+c is bounded from the launch point z_0=0. It is noted that the Mandelbrot set consists of values of c for which Julia sets are connected, while Julia sets are defined by varying the launch point z_0. The author questions whether there is a proof demonstrating that a Julia set contains the point z=0 if and only if it is connected. They observe that all connected Julia sets include z=0, but they have not encountered a disconnected Julia set containing this point. The inquiry seeks to clarify the underlying mathematical principles linking these concepts.
Troels
Messages
125
Reaction score
2
Don't know if this is the right subforum, but here goes:

The Mandelbrot set is formally defined as the values of a complex constant c for which the Julia Sets of the iterative function:

<br /> f(z)=z^2+c<br />

are connected (i.e. consists of a single figure)

Recall that the Julia sets are the launch points z_0 of the iteration that gives rise to bound orbits in the complex plan for some given constant c

However, according to some less formal sources (e.g. wikipedia) the Mandelbrot set can also be constructed simply by analyzing the same iterative function, only this time keep the launch point constant (0) and vary the constant - or parameter - c instead. Those values that give bound orbits are the Mandelbrot Set

This seems like a peculiar accident, but that cannot be so. So my question is: Why does a bound orbit for the iterative function

<br /> f(z)=z^2+c<br />

launched from z_0=0 for a given value of c, imply that the corrosponding Julia Set is connected?
 
Last edited:
Physics news on Phys.org
Okay, I've given this a bit more thought and the following occurred to me:

If the orbit launches from z=0 is bounded then z=0 is of course in the julia set.

And all the Connected julia sets I have seen contain the point z=0, but I haven't seen a dis-connected Julia Set that contains the point z=0. Of course, that is an argument from ignorance on my part.

So I guess that the question now is: Does there exist a proof that states that a Julia Set contains the point z=0 if and only if it is connected? If so, then the issue is solved.
 
I was reading documentation about the soundness and completeness of logic formal systems. Consider the following $$\vdash_S \phi$$ where ##S## is the proof-system making part the formal system and ##\phi## is a wff (well formed formula) of the formal language. Note the blank on left of the turnstile symbol ##\vdash_S##, as far as I can tell it actually represents the empty set. So what does it mean ? I guess it actually means ##\phi## is a theorem of the formal system, i.e. there is a...
Back
Top