Some connections between the attractors of an IIFS \(\mathcal S\) and the attractors of the sub-IFSs of \(\mathcal S\) (Q385251)

In the paper, the authors consider an infinite iterated function system (IIFS) \(\mathcal{S}=(X,(f_i)_{i\in I})\), where \(f_i\), \(i\in I\), are self-mappings on a complete metric space and define, for a nonempty set \(J\subset I\), the IIFS \(\mathcal{S_J}=(X,(f_i)_{i\in J})\) called sub-iterated function system (sub-IFS) of the considered IIFS. Theorem 3.1 yields a sufficient condition on a family \((J_j)_{j\in L}\) of nonempty subsets of \(I\) to have \(\overline{\bigcup_{j\in L}A_{J_j}}=A\), where \(A\) is the attractor of the IIFS \(\mathcal{S}\) and \(A_{J_j}\) is the attractor of \(\mathcal{S_{J_j}}\). Furthermore, if a cardinal number \(\mathcal{A}\) is given and the attractor \(A\) is of type \(\mathcal{A}\), then there is a sub-IFS having the attractor \(A\) and \(\operatorname{card}(J)\leq\mathcal{A}\) (Theorem 3.3). Some illustrative examples are provided.