What is the Mandelbrot set?

The Mandelbrot set is the set of all complex numbers c for which the iteration z → z² + c, starting from z₀ = 0, remains bounded (does not escape to infinity). Points inside the set are coloured black; points outside are coloured according to how many iterations they take to escape beyond a bailout radius — this is called the escape-time algorithm. The boundary of the Mandelbrot set is infinitely detailed: zooming in reveals self-similar spirals, miniature copies of the whole set, seahorse valleys, and elephant valleys, all at every scale of magnification.

What is smooth colouring and why does it look better than integer iteration count?

Standard escape-time colouring assigns each pixel the integer number of iterations before escape. This creates visible 'bands' of equal colour. Smooth colouring (also called normalised iteration count) uses the formula μ = N + 1 − log(log|z_N|) / log(2), where |z_N| is the modulus of the complex number at the time of escape. This non-integer value interpolates smoothly between integer escape counts, eliminating the banding and producing smooth gradient transitions between colour regions. The formula is derived from the renormalisation map of the Mandelbrot iteration.

What is a Julia set, and how is it related to the Mandelbrot set?

For each complex number c, the filled Julia set is the set of starting points z₀ for which the iteration z → z² + c remains bounded. The Mandelbrot set is essentially a catalogue of all Julia sets: if c is inside the Mandelbrot set, its Julia set is connected (one piece); if c is outside, the Julia set is a 'dust' of disconnected points (a Cantor set). In Julia mode in this simulator, clicking the canvas sets the parameter c, and the display shows the Julia set for that specific c. Points near the Mandelbrot boundary produce the most intricate Julia sets.

Why does the Mandelbrot set have infinite self-similar detail?

The Mandelbrot set is a fractal with Hausdorff dimension 2 — its boundary is so intricate that it locally fills the plane. The self-similarity arises because the iteration z → z² + c is a polynomial map whose critical point (z = 0) has the same dynamical structure at every scale. This manifests as miniature copies of the entire Mandelbrot set embedded throughout the boundary region at all scales of magnification. Furthermore, the Mandelbrot set is connected (proved by Douady and Hubbard, 1982) and simply connected — there are no isolated islands.

Mathematics Fractals Free A-Level Maths Further IB Maths AA HL University NEW

Mandelbrot Set Explorer

Dive into the most famous fractal in mathematics. Zoom into seahorse valleys, elephant trunks, and miniature Mandelbrots at every scale. Switch to Julia set mode to explore the infinity of connected Julia sets encoded within the Mandelbrot boundary.

Mode

Mandelbrot Set

Zoom

×200

Centre

−0.5 + 0i

Cursor

—

Colour Palette

Max Iterations

128

Higher = more detail at deep zoom but slower render.

c = −0.7269 + 0.1889i

Click anywhere on the canvas to set a new Julia seed. Or cycle through 7 classic Julia sets:

Famous Locations

R reset J Julia mode N next Julia preset P palette S screenshot +− zoom ↑↓←→ pan

The Mandelbrot Set

The Mandelbrot set M is the set of complex numbers c for which the orbit of 0 under the quadratic map:

z₀ = 0
z_n+1 = z_n² + c

remains bounded (does not escape to infinity). The fundamental theorem states: the orbit of 0 is bounded if and only if |z_n| ≤ 2 for all n. This gives a simple computational test — stop iterating once |z_n| > 2 (the bailout radius), and count how many iterations it took. Points that never escape within N_max iterations are coloured black (assumed inside M); escaped points are coloured by their escape speed.

Smooth Colouring Algorithm

Raw integer escape counts produce visible banding. Smooth colouring (normalised iteration count, or μ-value) eliminates this by computing:

μ = N + 1 − log(log|z_N|) / log(2)

where N is the escape iteration and |z_N| is the modulus at escape. This derives from the Böttcher coordinate — a conformal isomorphism of the complement of M to the complement of the unit disk. The quantity log(log|z_N|)/log(2) encodes how far "past" the bailout radius the point has gone, providing a continuously-varying fractional part that smoothly interpolates between integer escape counts.

Why Use Bailout |z|² > 65536?

Many implementations bail out at |z|² > 4. For smooth colouring we need log(log|z|) to be well-defined and positive, which requires |z| > e ≈ 2.718. Using a large bailout (|z| > 256, i.e. |z|² > 65536) gives more accurate smooth values and avoids edge cases near the bailout boundary, at the cost of a few extra iterations per escaped pixel.

Structure of the Mandelbrot Set

Main Cardioid

The largest region — a cardioid — contains c values for which the iteration converges to a single fixed point (period-1 cycle). It is parameterised as c = µ/2 − µ²/4, where µ = re^(iθ).

Period-2 Bulb

The large circular bulb to the left of the main cardioid. Points here have orbits converging to a 2-cycle (period-2 attractor). Each subsequent bulb on the real axis corresponds to a higher period.

Misiurewicz Points

Special points on the boundary where the critical orbit is pre-periodic (eventually periodic but not immediately). These are centres of self-similar spirals — including the famous Seahorse Valley at c ≈ −0.7436 + 0.1318i.

Mini Mandelbrots

Exact copies of the whole Mandelbrot set appear at every scale throughout the boundary. These are called small Mandelbrot sets or satellite Mandelbrots. The copy near c ≈ −1.755 on the real axis is the most visible.

Douady–Hubbard Theorem

Proved in 1982: M is connected (its complement in ℂ is also connected). The Mandelbrot set is not just a union of disconnected islands — every "island" is connected to the main body by infinitely thin filaments.

MLC Conjecture

The Mandelbrot set is conjectured (but not yet fully proved) to be locally connected at every boundary point. This MLC conjecture would imply the dynamical systems description of M is purely combinatorial — a major open problem in complex dynamics.

Julia Sets: The Mandelbrot Catalogue

For each fixed c, the filled Julia set K_c is the set of all z₀ for which the orbit {z_n} remains bounded:

z_n+1 = z_n² + c (z₀ varies; c fixed)

The Mandelbrot set encodes the structure of all quadratic Julia sets:

c ∈ M (inside the Mandelbrot set) → K_c is connected
c ∉ M (outside the Mandelbrot set) → K_c is totally disconnected (Cantor dust)

Furthermore, the closer c is to the Mandelbrot boundary, the more intricate and elaborate the corresponding Julia set. Points deep inside the cardioid produce simple ellipse-like Julia sets; points near the boundary at filaments produce fractal shapes with rich structure.

Parameter c	Julia Set Name	Notable Feature
−0.7269 + 0.1889i	Douady Rabbit	Three-lobed rabbit-ear structure; c is at period-3 bulb
−0.7 + 0.27i	Simonini Spiral	Infinite spiral tendrils near c on cardioid boundary
0.285 + 0.01i	Cauliflower	Hyperbolic component near parabolic c; smooth lobes
−0.4 + 0.6i	Dendrite Swirl	Parabolic-type: intricate swirling fractal dendrites
−0.835 − 0.2321i	Sharp Tendrils	Thin Cantor-like filaments — c is outside M
−0.8 + 0.156i	Siegel Disk	c near irrational rotation number; smooth inner disk
0 + 1i	Basilica	Symmetric period-2 structure; connected, two lobes

Mathematics: Complex Iteration & Dynamics

The Quadratic Family

The map f_c(z) = z² + c is the simplest non-trivial polynomial map. Iterating f_c is equivalent to composing f_c with itself: f_c⁰(0) = 0, f_c¹(0) = c, f_c²(0) = c² + c, f_c³(0) = (c²+c)² + c, and so on. The Mandelbrot set is exactly the set of c for which this sequence is bounded in modulus.

Bifurcation and Period-Doubling

Along the real axis, the Mandelbrot set is identical to the bifurcation diagram of the logistic map x → rx(1−x) (under a coordinate change). The sequence of period-doubling bifurcations follows the Feigenbaum constant δ ≈ 4.669: each successive period-2k bulb is δ times smaller than the previous one. This universality appears in all period-doubling routes to chaos.

Feigenbaum Constant

The ratio of successive period-doubling intervals converges to δ = 4.66920160910299..., a universal constant independent of the specific map. It appears in the Mandelbrot set, the logistic map, and physical experiments (dripping faucets, acoustic resonators, heart rate variability) — a remarkable example of mathematical universality.

Fatou and Julia Components

For a rational map, the complex plane C splits into two invariant sets: the Fatou set (open subset where iteration is equicontinuous — stable, predictable behaviour) and the Julia set (closed complement where iteration is chaotic and sensitive to initial conditions). For the map f_c = z² + c, the Fatou set contains the basin of attraction of any finite attractor, and the Julia set is its boundary — always a fractal when c ∉ M.

Famous Locations in the Mandelbrot Set

Location	Coordinates (c)	Zoom	What to see
Seahorse Valley	−0.7436 + 0.1314i	8000×	Spiralling seahorse-shaped filaments at the neck between main cardioid and period-2 bulb
Elephant Valley	0.3 + 0i (on real axis)	4000×	Elephant-trunk-shaped protrusions emerging from the main cardioid on the positive-real side
Tip of Antenna	−2 + 0i	very high	The leftmost point of M at exactly c = −2 on the real axis; extreme tip of the period-2 filament
Mini Mandelbrot	−1.25066 + 0.02012i	15000×	Complete copy of the whole Mandelbrot set, surrounded by spirals
Spiral Whorl	−0.5555 + 0.6219i	3000×	Infinite inward-spiralling vortex of copies of the set

📖 Deep Dive Article

Read the full educational article: The Mandelbrot Set: Fractal Geometry, Complex Dynamics & Infinite Complexity — covering the history from Fatou to Mandelbrot, the mathematics of the iteration, bifurcation theory, the Douady–Hubbard theorem, and connections to chaos, universality, and the physical world.