The equivalence of iterated systems on \(\mathbb{R}\) (Q2719908)

A criterion for iterated systems to have the same self-similar set is given. The criterion is as follows.NEWLINENEWLINENEWLINELet \(\{|S_i|: 1\leq i\leq m_1\}\) with \(S_i(x)= \rho x+b_i\), \(0< \rho< 1\), \(b_1\leq b_2\leq\cdots\leq b_{m_1}\) be an equi-contractive iterated self-similar system, and \(\{|S^*_i|: 1\leq i\leq m_2\}\) be an other equi-contractive one with \(0< \rho^*< 1\). Suppose that the operators NEWLINE\[NEWLINET(F)= \bigcup^{m_1}_{i=1} S_i(F),\quad T^*(F)= \bigcup^{m_2}_{i= 1} S^*_i(F),NEWLINE\]NEWLINE and that \(F\) and \(F^*\) are the fixed points of \(T\) and \(T^*\), respectively, and \(F= F^*\), then there exists a self-similar transform \(H\) such that NEWLINE\[NEWLINET= \underbrace{H\circ H\circ\cdots\circ H}_{\ell},\quad T^*= \underbrace{H\circ H\circ\cdots\circ H}_{k}NEWLINE\]NEWLINE for some \(k,\ell\in \mathbb{N}\).NEWLINENEWLINENEWLINEThere is a similar result for self-similar measure.