The \(d\)-shadowing property and average shadowing property for iterated function systems (Q2179155)

Summary: In this paper, we introduce the definitions of \(\overline{d} \)-shadowing property, \(d_{\bar{}} \)-shadowing property, topological ergodicity, and strong ergodicity of iterated function systems \(\mathrm{IFS}( f_0 , f_1)\). Then, we show the following: \( ( 1)\) if \(\mathrm{IFS}( f_0 , f_1)\) has the \(d_{\bar{}} \)-shadowing property (respectively, \( \overline{d} \)-shadowing property), then \(\mathcal{F}^k\) has the \(d_{\bar{}} \)-shadowing property (respectively, \( \overline{d} \)-shadowing property) for any \(k\in \mathbf{Z}^+; ( 2)\) if \(\mathcal{F}^k\) has the \(d_{\bar{}} \)-shadowing property (respectively, \( \overline{d} \)-shadowing property) for some \(k\in \mathbf{Z}^+\), then \(\mathrm{IFS}( f_0 , f_1)\) has the \(d_{\bar{}} \)-shadowing property (respectively, \( \overline{d} \)-shadowing property); \( ( 3)\) if \(\mathrm{IFS}( f_0 , f_1)\) has the \(\overline{d} \)-shadowing property or \(d_{\bar{}} \)-shadowing property, and \(f_0\) or \(f_1\) is surjective, then \(\mathrm{IFS}( f_0 , f_1)\) is chain mixing; \( ( 4)\) let \(f_0, f_1\) be open maps. For \(\mathrm{IFS}( f_0 , f_1)\) with the \(d_{\bar{}} \)-shadowing property (respectively, \( \overline{d} \)-shadowing property), if \(A\subset X\) is dense in \(X\), and \(s\) is a minimal point of \(f_0\) or \(f_1\) for any \(s\in A \), then \(\mathrm{IFS}( f_0 , f_1)\) is strongly ergodic, and hence, \( \operatorname{\mathcal{F}}^k\) is strongly ergodic; and \(( 5)\) for \(\mathrm{IFS}( f_0 , f_1)\) with the average shadowing property, if \(S\subset X\) is dense in \(X\), and \(s\) is a quasi-weakly almost periodic point of \(f_0\) or \(f_1\) for any \(s\in S \), then \(\mathrm{IFS}( f_0 , f_1)\) is ergodic.