The Julia set of a random iteration system (Q4515428)

Let \({\mathcal R}=\{R_1,R_2,\dots,R_M\}\) be a collection of rational functions. Let \(\Sigma =\prod^\infty_0\{1, 2,\dots, M\}\) with a metric \(d(\{j_i\}, \{j_i'\})=\sum^\infty_{i=1}|j_i-j_i'|/2^i\). The rational random iteration system is defined as \[ \{\text{Identity, } W^n_\sigma = R_{j_n}\circ R_{j_{n-1}}\circ\cdots\circ R_{j_1}\mid \sigma=j_1j_2\cdots j_n\cdots \in\Sigma\}. \] Note that the inverse \[ W^{-n}_\sigma=R^{-1}_{j_1}\circ R^{-1}_{j_2}\circ\cdots\circ R^{-1}_{j_n}. \] The Julia set \(J\) of this rational random iteration system is the closure of the union of the sets \(z\) of non-normality of the sequences \(\{W^n_\sigma\}\) for all \(\sigma\in\Sigma\). The complement \(F\) of \(J\) in the Riemann sphere is called the Fatou set. Some property of \(J\) has been studied by the author. Furthermore, the author shows that the set \(J\) is uniformly perfect.