Julia set ($J(f)$)

The Julia set is the complement of the Fatou set. It is nonempty, closed, completely invariant, and perfect for every rational map of degree at least two.

Let $R,S$ commute. On an open set where $\{R^n\}$ is equicontinuous, so is $\{S\circ R^n\}$, by the rational map is Lipschitz in the chordal metric bound. Since this equals $\{R^n\circ S\}$, equicontinuity descends through the open map $S$: near $S(x)$ every nearby value has a preimage near $x$, and the corresponding estimates hold for all $n$. Thus $S(F(R))\subseteq F(R)$. A degree-at-least-two Julia set contains at least three points, all omitted by the iterates of $S$ on $F(R)$. The three-value Montel theorem gives $F(R)\subseteq F(S)$. Exchanging the maps proves equality of their Fatou and Julia sets. The degree hypothesis excludes Möbius examples with only one Julia point.

For a polynomial $P$ of degree at least two, the filled Julia set $K(P)$ consists of the points with bounded forward orbit. Choose an escape radius $B$ so that $|P(z)|>2|z|$ for $|z|>B$. Then $K(P)={\bigcap }_{n\ge 0}(P^n{)}^{-1}(\{|z|\le B\})$ is compact, and its complement is the basin of infinity. On the interior all iterates are bounded by $B$, so they form a normal family; on the complement they converge locally uniformly to infinity. At a boundary point, normality would give a subsequential limit equal to infinity on an open escaping part and hence identically infinity, contradicting the uniform bound at a nearby point of $K(P)$. Therefore $\partial K(P)=J(P)$.

If a closed set $E$ satisfies $f^{-1}(E)=E$ for a rational map of degree at least two, then either $E$ has at most two points and lies in the Fatou set, or $J(f)\subseteq E$. The complement omits every point of $E$, so Montel theorem proves normality when $|E|\ge 3$.

The accumulation-point set of $J(f)$ is closed and completely invariant. Applying the classification of completely invariant closed sets shows that it equals $J(f)$; hence the Julia set is perfect.

For every $d\ge 2$, choose a $d$th root of unity $r\ne 1$ with $d|1-r|>1$, put $a=1-r$, and setIts only critical points are $0$ and infinity, and both land on the repelling fixed point $r$. The postcritically finite map has no possible Fatou component, so its Julia set is the whole sphere.

The degree-$d$ Chebyshev polynomial has Julia set the interval $[-1,1]$ after the standard normalization. Its Fatou set is the connected complement of that interval in the Riemann sphere, so it has exactly one Fatou component.