Editing Julia set (section)

==Examples==
For <math>f(z) = z^{2}</math> the Julia set is the unit circle and on this the iteration is given by doubling of angles (an operation that is chaotic on the points whose argument is not a rational fraction of <math>2\pi</math>). There are two Fatou domains: the interior and the exterior of the circle, with iteration towards 0 and ∞, respectively.

For <math>g(z) = z^{2} - 2</math> the Julia set is the line segment between −2 and 2.  There is one [[Classification of Fatou components|Fatou domain]]: the points not on the line segment iterate towards ∞. (Apart from a shift and scaling of the domain, this iteration is equivalent to <math>x \to 4(x - \tfrac{1}{2})^{2}</math> on the unit interval, which is commonly used as an example of chaotic system.)

The functions ''f'' and ''g'' are of the form <math>z^2 + c</math>, where ''c'' is a complex number. For such an iteration the Julia set is not in general a simple curve, but is a fractal, and for some values of ''c'' it can take surprising shapes. See the pictures below.

[[Image:Julia-set N z3-1.png|thumb|right|Julia set (in white) for the rational function associated to [[Newton's method]] for ''f'' : ''z'' → ''z''<sup>3</sup>−1. Coloring of Fatou set in red, green and blue tones according to the three attractors (the three roots of ''f'').]]
For some functions ''f''(''z'') we can say beforehand that the Julia set is a fractal and not a simple curve. This is because of the following result on the iterations of a rational function:

{{math theorem|Each of the Fatou domains has the same boundary, which consequently is the Julia set.{{Citation needed|date=October 2021}}}}

This means that each point of the Julia set is a point of accumulation for each of the Fatou domains. Therefore, if there are more than two Fatou domains, ''each'' point of the Julia set must have points of more than two different open sets infinitely close, and this means that the Julia set cannot be a simple curve. This phenomenon happens, for instance, when ''f''(''z'') is the [[Newton iteration]] for solving the equation <math>\;P(z) := z^n - 1  =  0 ~ : ~ n > 2\;</math>:

:<math>f(z) = z - \frac{P(z)}{P'(z)} = \frac{\;1 + (n-1)z^n\;}{nz^{n-1}} ~ .</math>

The image on the right shows the case ''n'' = 3.