13
$\begingroup$

Motivation: The Mandlebrot set is a simply connected set with an infinitely complex boundary, but CAN one move from interior to the exterior of this topological space by just crossing over a finite set of points?

Application: I am modeling the leakage of emission of EM waves, through a fractal forest where dispersion occurs every time an edge of the forest is crossed

Let $\mathbb{M}\subset \mathbb{C}$ be the Mandelbrot Set. Let $\partial \mathbb{M}\subset \mathbb{M}$ be its boundary. Consider two points $\mathbb{z_1}\in \mathbb {M}$ and $\mathbb{z_2}\in\mathbb{C}\notin \mathbb{M}$

My question is:

  • does there exist a path $\mathbb{P}$ $ \subset \mathbb{C}$ with initial point $\mathbb{z_1}$ and terminal point $\mathbb{z_2}$?

  • Is $\mathbb{P}\bigcap\partial\mathbb{M}$ a finite set?

$\endgroup$
7
  • 1
    $\begingroup$ As with any infinite subset of $R^n$, the answer depends on the path $P$. Just think of the graph of the function $y=x\sin(x^{-1})$. $\endgroup$
    – Misha
    Jun 13, 2013 at 15:57
  • 2
    $\begingroup$ Why the vote to close? The question makes senses. It might have a trivial answer, but I, for one, would be happy to know it... $\endgroup$
    – Joël
    Jun 13, 2013 at 17:02
  • 1
    $\begingroup$ I am not an expert... If the interior point is in the main lobe, the answer is to move along the positive real axis. For distant lobes (eg far along the negative real axis) there are presumably similar exit points. $\endgroup$
    – user25199
    Jun 14, 2013 at 8:22
  • 2
    $\begingroup$ ARi: You're right - it helps directly only the (rather large) part of the M-set that can reach the positive real axis with a finite number of crossings. However given the self-similarity of the set it is reasonable to look for similar paths at other cusp-like points. $\endgroup$
    – user25199
    Jun 14, 2013 at 12:49
  • 4
    $\begingroup$ Using of $\ni$ for any other meaning apart from that of $\in$ with arguments reversed should be banned from the solar system! $\endgroup$ Jul 5, 2013 at 18:44

1 Answer 1

23
$\begingroup$

Your notation is unusual, and I am not sure whether I entirely understand it.

I shall take your question to mean: Can every point of the Mandelbrot $M$ set be connected to $\infty$ by a path that intersects the boundary $\partial M$ in only finitely many points?

This is connected to a very famous conjecture, namely that The Mandelbrot set is locally connected. (See The deep significance of the question of the Mandelbrot set's local connectedness?.)

Indeed, if the Mandelbrot set is locally connected, then - in particular - every point of the boundary of M is accessible from $\infty$. Note that "finitely many points" can be replaced by "one point". (Recall that the Mandelbrot set is full, and hence every interior component is simply connected.)

If the Mandelbrot set is not locally connected, then it follows e.g. from the theory of "fibers", as formulated by Dierk Schleicher, that there exists a point of the boundary that is not accessible from the complement, and hence the answer to your question would be negative.

(Caution. This statement is not true for general compact sets: a compact and full connected set can have every point accessible, but not be locally connected. The statement above uses the specific structure we know about the Mandelbrot set.)

If you start asking for curves with specific geometric properties, the question will become more subtle. For example, if you ask for smooth curves, the answer is 'no' in general (as the Mandelbrot set spirals at many points).

$\endgroup$
2
  • $\begingroup$ What is a "full" subspace? $\endgroup$
    – Qfwfq
    Jun 10, 2017 at 15:21
  • $\begingroup$ A compact subset of the plane is full if it does not separate the plane. (That is, it has no bounded complementary components.) $\endgroup$ Jun 15, 2017 at 8:47

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.