Mandelbrot set: definition, properties, history, visualisation and variations
A compact guide to the Mandelbrot set: its iterative definition on the complex plane, visual and mathematical properties, historical context, examples, notable facts and common generalizations.
The Mandelbrot set is a famous fractal subset of the complex plane defined by a simple iterative rule. It is named for Benoît Mandelbrot, who popularized computer images of the set and demonstrated how very simple algebraic rules can produce intricate structure. In pictures the set is typically drawn in black for points that remain bounded under iteration, with surrounding points colored according to how quickly they escape. The image contains an iconic main cardioid with many circular "bulbs" and an infinitely detailed boundary that reveals self-similarity at many scales. Fractal and mathematical descriptions of the set emphasize both its visual appeal and its significance in complex dynamics; the name honors Benoît Mandelbrot and his contributions to geometry and modelling in mathematics.
Image gallery
10 ImagesDefinition and the escape criterion
The set is defined by iterating the quadratic map z_{n+1} = z_n^2 + c starting with z_0 = 0, where c is a complex parameter. For each complex number c one forms the sequence z_0, z_1, z_2, ... and asks whether the sequence remains bounded or tends to infinity. If the magnitude (absolute value) of z_n ever exceeds 2, the sequence will diverge to infinity and c is not in the Mandelbrot set; otherwise, if it stays bounded forever, c belongs to the set. This practical "escape radius" of 2 gives a finite test used in computer renderings. The algorithm maps each pixel to a complex value c and iterates the map until escape or until a chosen iteration limit is reached; the iteration count often determines pixel color. Equation and iteration concepts are central, while the reliance on complex numbers and the absolute value explains why the set lives naturally in the plane.
Structure and mathematical properties
Visually, the largest part of the set is a heart-shaped region called the main cardioid, with circular bulbs attached; each bulb corresponds to periodic behavior of the iteration. The boundary is a fractal: arbitrarily small zooms reveal repeating motifs and miniature copies of the whole. In rigorous terms the Mandelbrot set is compact and connected; a celebrated theorem by mathematicians in complex dynamics established many of these properties. However, finer topological questions, such as the full description of local connectivity (the MLC conjecture), remain deep and were long-standing research problems. The set is closely linked to Julia sets: for a fixed c, the Julia set describes the dynamics in the z-plane, while the Mandelbrot set organizes which parameters c produce connected Julia sets. Self-similarity and chaos theory are often used in informal descriptions of these phenomena.
History and visualisation
Although quadratic iteration had been studied earlier by mathematicians such as Fatou and Julia, the dramatic computer visualizations that made the Mandelbrot set famous were popularized by Mandelbrot and collaborators in the late twentieth century. Access to digital computation allowed rapid iteration over millions of points and the creation of colored images that highlighted the rate of escape; those images fueled interest in both mathematics and digital art. Mandelbrot used illustrations of coastlines and clouds to argue that complexity in nature can exhibit measurable structure, a theme that attracted attention beyond pure mathematics. Early computer graphics work and the cultural spread of striking pictures helped the set become an icon of complexity. Computer graphics and geometric rendering techniques remain essential to producing high-resolution views.
Examples, variations and uses
Concrete examples illustrate the escape test. For c = 1 the orbit begins 0, 1, 2, 5, 26, ... and grows without bound, so 1 is not in the set; for c = i (the square root of −1) the orbit cycles and remains bounded, so i belongs to the set. Artists and scientists use Mandelbrot renderings for pedagogy, demonstration of complex dynamics, and digital art. There are several common generalizations and related visual methods:
- Multibrot sets: replace the square by a higher power z_{n+1} = z_n^d + c to obtain a family of Multibrot sets, with the usual Mandelbrot corresponding to d = 2. Multibrot
- Buddhabrot and Nebulabrot: alternate rendering techniques that visualize escape trajectories instead of membership, producing dense, luminous images. Buddhabrot and Nebulabrot
- Parameter plane exploration and color mapping methods used in fractal art and scientific illustration. Natural number iteration limits and coloring algorithms determine final images. Iterative
Notable facts and distinctions
The Mandelbrot set serves as a bridge between simple algebraic rules and extraordinarily complex boundaries; it is a compact, connected set that organizes the behavior of quadratic polynomials. Its boundary contains infinitely many smaller copies of the whole and an uncountable variety of dynamical behaviors. Research into its fine structure connects to many areas of mathematics, including topology, complex analysis and dynamical systems. The set also remains a staple example when explaining how deterministic rules can produce unpredictably detailed patterns — a key insight for studies that apply mathematical ideas to natural phenomena such as clouds and shorelines. For further reading and interactive explorations see introductory resources on fractals and complex dynamics. Integer iteration, natural limits and the concept of infinity are useful notions when digging deeper; historical background links to earlier analytic work and to computer-era visual discovery. i and other concrete examples help newcomers grasp the escape test.
Definition
Definition via recursion
The Mandelbrot set is the set of all complex numbers
for which the recursively defined sequence of complex numbers
with the formation law
and the initial member
remains bounded. That is, a complex number is an element of the Mandelbrot set
if the amounts of
computed with this not grow beyond any limit, no matter how large
becomes. This can be written as follows:
.
One can easily show that the magnitude of grows over any limit when a
with
thus this definition is equivalent to:
.
Definition about complex quadratic polynomials
The Mandelbrot set can also be described by complex quadratic polynomials:
with a complex parameter . For each
the sequence
iteratively computed, where the
-fold successive execution of the iteration, i.e.
.
Depending on the value of the parameter this sequence then either grows unbounded, so that
not an element of the Mandelbrot set, or it remains within a range around the origin of the number plane, and
is an element of the Mandelbrot set.
The Mandelbrot set is a subset of the complex numbers with the definition
or equivalent
.
Some properties and examples are given for explanation:
- Based on the previously described observation, can be
set. Here the value
gives the radius around the origin within which an element of
can lie. Outside this circle no elements of
found.
- Because of the magnitude function,
symmetric about the real axis.
- To graphically represent the set
graphically, the values of the parameter must
all be calculated individually up to a self-determined number of iterations.
- If
then the sequence is
and is bounded. Therefore,
element of
.
- For
the iterative sequence
Divergence and
is not an element of
.
Definition about Julia sets
The Mandelbrot set was originally introduced by Benoît Mandelbrot to classify Julia sets, which were already studied by the French mathematicians Gaston Maurice Julia and Pierre Fatou in the early 20th century. The Julia set
to a given complex number
is defined as the edge of the set of all initial values
, for which the above sequence of numbers remains bounded. It can be proved that the Mandelbrot set
is
exactly the set of values for which the associated Julia set
contiguous.
This principle is developed in many results on the behavior of the Mandelbrot set in more depth. For example, Shishikura shows that the boundary of the Mandelbrot set
has Hausdorff dimension 2, as does the associated Julia set
An unpublished manuscript by Jean-Christophe Yoccoz served as the basis for John Hamal Hubbard's results on locally connected Julia sets
and locally connected Mandelbrot sets
.
Relation to chaos theory
The law of formation, which is the basis of the sequence, is the simplest nonlinear equation, on the basis of which the transition from order to chaos can be provoked by variation of a parameter. For this purpose it is sufficient to consider real number sequences.
They are obtained when restricted to the values of the axis of
is constrained. For values
, that is, inside the cardioid, the sequence converges. On the "antenna" extending to
the sequence behaves chaotically. The transition to chaotic behavior now occurs via an intermediate stage with periodic limit cycles. In this process, the period increases gradually toward the chaotic region by a factor of two, a phenomenon known as period doubling and bifurcation. Each
to a certain period corresponds to one of the circular "buds" on the
-axis.
The period doubling starts with the "head" and continues in the sequence of "buds" towards the "antenna". The ratio of the lengths of successive parameter intervals and thus that of the bud diameters to different periods thereby tends towards the Feigenbaum constant δ , a fundamental constant of chaos theory. This behavior is typical of the transition of real systems to chaotic dynamics. The conspicuous gaps in the chaotic domain correspond to islands of periodic behavior, to which the satellites on the "antenna" are assigned in the complex plane.
For certain complex values, limit cycles occur which lie on a closed curve, but whose points are not covered periodically, but chaotically. Such a curve is known in chaos theory as a so-called strange attractor.
The Mandelbrot set is therefore an elementary object for chaos theory, on which fundamental phenomena can be studied. For this reason, it is sometimes compared to straight lines in Euclidean geometry in terms of its importance for chaos theory.
Behavior of the number sequence
The various structural elements of closely related to certain behaviors of the sequence of numbers underlying
based on. Depending on the value of
one of the following four possibilities results:
- It converges to a fixed point.
- It converges to a periodic limit cycle consisting of two or more values. This also includes the cases in which the sequence behaves periodically from the beginning.
- It never repeats, but remains limited. Some values show chaotic behavior with alternation between almost periodic limit cycles and seemingly random behavior.
- It diverges towards infinity (certain divergence).
All values that do not diverge determinately belong to
.
The following table shows examples of these four limiting behaviors of iteration for
:
| Parameter | Sequence members | Boundary behavior |
| On the real axis ... | ||
| | | certain divergence against |
| | | immediate convergence to fixed point |
| | | Convergence against triple limit cycle |
| | | chaotic behavior |
| | | Convergence against 32 limit cycle |
| | | Convergence against alternating limit cycle |
| | | instantaneous convergence against alternating limit cycle |
| | | very slow convergence to fixed point |
| | | Convergence to fixed point |
| | | Convergence to fixed point |
| | | immediate convergence to fixed point |
| | | Convergence against fixed point |
| | | certain divergence against |
| In the complex number plane ... | ||
| | | instantaneous convergence against alternating limit cycle |
| | | Convergence vs. triple limit cycle |
Geometric assignment
Convergence exists precisely for the values of that form the interior of the cardioids, the "body" of
, as well as for countably many of its boundary points. Periodic limit cycles are found in the (approximately) circular "buds" as in the "head", in the cardioids of the satellites, and also on countably many boundary points of these components. A fundamental conjecture is that there is a limit cycle for all interior points of the Mandelbrot set. The sequence is genuinely pre-periodic for countably many parameters, often called Misiurewicz-Thurston points (after Michał Misiurewicz and William Thurston). These include the "aerial peaks" such as the point
the far left and branching points of the Mandelbrot set.
In the uncountably many remaining points of the Mandelbrot set, the sequence can behave in many different ways, each of which generates very different dynamical systems and some of which are the subject of intensive research. Depending on the definition of the word, "chaotic" behavior can be found.
Periodic behavior
The circular structures
Each circular "bud" and each satellite cardioid is characterized by a certain periodicity of the limit cycle against which the sequence tends for the associated values. The arrangement of the "buds" on the associated cardioid follows the following rules, from which the periodicities can be read directly. Each "bud" touches exactly one base body, namely a larger "bud" or a cardioid.
The periodicity of a "bud" is the sum of the periodicities of the two nearest larger "neighboring buds" in both directions on the same basic body, if there are any. If there are only smaller "buds" at the edge of the base body up to the point of contact with its base body or up to the notch of the cardioid, then instead of the periodicity of a "neighboring bud", that of the base body itself contributes to the sum. The following properties are derived directly from this:
- In tendency, the greater the periodicity of the "buds" or cardioids, the smaller they are.
- The periodicity of the largest "bud" on a base body is always double, like the "chignon" with period
on the "head".
- The periodicity of a satellite "bud" is the product of the periodicity of the satellite cardioids and that of the corresponding "bud" of the main cardioids.
Furthermore, this rule explains the occurrence of certain sequences of "buds" such as from the "head" towards the cardioid notch with a periodicity increase towards the next "bud" by the value or from the "arm" towards the "head" by the value
.
Attractive cycles
If for a there is a sequence member with the property
, then the sequence repeats strictly periodically from the beginning with period
. Since obtained
by applying the iteration rule
times, squaring at each step, it can be formulated as a polynomial of
degree
The
values for periodic sequences of period
are therefore obtained over the
zeros of this polynomial are obtained. It turns out that any sequence of numbers converges to this number cycle provided one of its sequence members is sufficiently close to this cycle; these are called attractors. This leads to the fact that all number sequences converge to some neighborhood of the
value, which represents the attractor, against a stable cycle of period
Each circular "bud" and each cardioid of a satellite represents exactly such an environment. As an example, consider the regions with periods
to
:
- Period 1: The cardioid of the main male apple. The edge of this cardioid is given by points of the form
with
.
- Period 2: The "head". The 2nd zero
corresponds to the main cardioid which, because of period
naturally occurs as a zero when determining all higher periods. This consideration shows that the number of attractors with period can be
most 2 n
, and that only if n {\displaystyle
prime number. The head itself is a circular disk with center
and radius
, i.e., the edge of this circular disk is given by points of the form
with
.
- Period 3: The "buds" corresponding to the "arms" and the cardioids of the largest satellite on the "head antenna". The fourth zero
omitted again.
The number of attracting cycles with exact period , i.e.
and
is minimal with this property, is the sequence A000740 in OEIS.
Iteration gallery
The following gallery gives an overview of the values of for some values of
. Here
on the parameter
whose real part ranges from -2.2 to +1 in the images from left to right, and whose imaginary part ranges from -1.4 to +1.4.
| The iteration z → z² + c after n steps | |||||||||||||||||||||
|
| ||||||||||||||||||||
From the series of images above, it can be seen for iteration level that the zero
an interior point of
. Thus, it depends on the number of iterations whether zeros within
are present or not.
Repulsive cycles
Besides attractive cycles, there are repulsive ones, which are characterized by sequences of numbers in their vicinity moving increasingly away from them. They can be achieved, however, since every apart from the situation
has two potential predecessors in the sequence, differing only by their sign, because of the square in the iteration rule.
values for which the associated sequence eventually enters such an unstable cycle via such a second antecedent of a period member are, for example, the "hubs" of wheel- or spiral-shaped structures as well as the endpoints of the widely used antenna-like structures, which can be formally interpreted as "hubs" of "wheels" or spirals with a single spoke. Such
values are called Misiurewicz points.
A Misiurewicz point further has the property that
in its immediate vicinity is nearly congruent with the same section of the associated Julia set
The closer to the Misiurewicz point, the better the match becomes. Since Julia sets for
values inside
are contiguous and outside
Cantor sets of infinitely many islands with total area zero, they are particularly filigree in the transition zone at the edge of
particularly delicate. However, each Misiurewicz point is just a boundary point of
, and any section of the boundary of
, which contains points both inside
as well as outside of it, contains infinitely many of them. Thus the entire richness of forms of all Julia sets of this filigree type in the neighborhood of Misiurewicz points in
represented.
Satellites
Another structural element which accounts for the richness of forms of the Mandelbrot set are the reduced copies of itself which are found in the filigree structures of its edge. Thereby, the behavior of the number sequences within a satellite corresponds to that of the sequences in the main body in the following way. Within a satellite, all number sequences converge to limit cycles whose periods differ from those at the corresponding places in the main body of differ by a factor
If, for a given
value from the satellite, only every
-th sequence member is considered, the result is a sequence that, except for a spatial scale factor, is nearly identical to that obtained for the corresponding
value in the main body of
. The mathematical justification for this is deep; it comes from the work of Douady and Hubbard on "polynomial mappings".
The additional structural elements in the immediate vicinity of a satellite are a consequence of the fact that between two of the considered sequence elements with the index distance there can be one with the value
, which thus
establishes a periodic course with the period However, the corresponding sequence outside the main body diverges since it has no such intermediate elements.
The Mandelbrot set itself is a universal structure which can appear in completely different nonlinear systems and classification rules. However, the basic prerequisite is that the functions involved are angle-faithful. If such systems are considered which depend on a complex parameter and classify their behavior with respect to a certain property of the dynamics depending on
, then small copies of the Mandelbrot set are found in the parameter level under certain circumstances. An example is the question for which third-degree polynomials Newton's iterative method for determining zeros with a certain initial value fails and for which it does not.
As in the adjacent picture, the Mandelbrot set can appear distorted, for example, the arm buds are located in a slightly different place. Otherwise, however, the Mandelbrot set is completely intact, including all buds, satellites, filaments and antennae. The reason for the appearance of the Mandelbrot set is that the considered function families in certain areas - apart from rotations and displacements - agree quite well with the function family
,
which defines the Mandelbrot set, coincide. Deviations are allowed within a certain range, and nevertheless the Mandelbrot set crystallizes. This phenomenon is called structural stability and is, in effect, responsible for the appearance of the satellites in the neighborhood of , because subsequences of the iterated functions locally exhibit the same behavior as the total family.
Intermediate changeable behavior
Due to the possibility of the sequence of numbers to repeatedly get into the immediate vicinity of a repulsive cycle, and in turn to almost get into another cycle during the subsequent tending divergent or chaotic behavior, intermediately very complicated behaviors of the sequence can be formed until the final character of the sequence is revealed, as the two figures demonstrate. The environment of the associated values in
is correspondingly rich in structure.
The representation of the following points even in the complex plane shows greater complexity in these cases. The quasiperiodic behavior in the neighborhood of a repulsive cycle in these cases often leads to spiral structures with several arms, where the following points orbit the center while the distance to it increases. The number of arms is therefore equal to the period. The point clusters at the ends of the spiral arms in the figure above are the result of the two associated near-captures by repulsive (unstable) cycles.
Density distribution of the sequence members
The adjacent picture shows how often a pixel is hit by an intermediate result of all iterations. In the range of |Z|<2.0 each pixel is hit at least once and added up. Within M, values up to 30000 can occur in this image. However, at a contrast of 1:30000, subtleties in the M edge can no longer be easily seen. At apertures up to 1000, structures can be seen that lie far outside the M. These are generated by the intermediate results of the periodic iterations of satellite sets.
In the orbit image all iteration results were filtered out which are not contained in the selection range at point 1. So you can see that these orbits start from a satellite of period 3 (point S). In the next pictures these 4 orbit summations are shown zoomed. This example is valid for all satellites. However, for most satellites a much higher iteration limit is needed (here only 100). This increases the generated contrast considerably, making such subtleties increasingly difficult to show.
Related articles
Author
AlegsaOnline.com Mandelbrot set: definition, properties, history, visualisation and variations Leandro Alegsa
URL: https://en.alegsaonline.com/art/61241




















