Topological entropy of induced spaces for an iterated function system

Dynamics in general topological spaces (37B02) Dynamical systems involving transformations and group actions with special properties (minimality, distality, proximality, expansivity, etc.) (37B05) Topological entropy (37B40) Hyperspaces in general topology (54B20)

Review text

Given a compact metric space \((X,d)\) and a family \(\mathcal{F} = \{f_0, f_1,\ldots ,f_{m-1}\}\) of continuous maps on \(X\), the iterated function system (IFS) denoted by \((X,\mathcal{F})\) is the action of the semigroup generated by \(\{f_0, f_1,\ldots , f_{m-1}\}\) on \(X\).\N\NIn [J. Dyn. Control Syst. 5, No. 1, 137--143 (1999; Zbl 0949.37001)], \textit{A. Bufetov} defined the topological entropy \(h_{\mathrm B}(X,\mathcal{F})\) of an IFS \((X,\mathcal{F})\). In this way, following Bufetov's ideas, the authors of the paper under review define another topological entropy for the IFS \((X,\mathcal{F})\), which is denoted by \(h_{\mathrm{top}}(X,\mathcal{F})\). It is observed that \(h_{\mathrm{top}}(X,\mathcal{F})\leq h_{\mathrm B}(X,\mathcal{F})\).\N\NOn the other hand, denote by \(\mathcal{K}(X)\) the hyperspace of \(X\) consisting of all non-empty closed subsets of \(X\) endowed with the Hausdorff metric and by \(\mathcal{M}(X)\) the space of probability measures which consists of all Borel probability measures on \(X\) equipped with the weak\(\boldsymbol{\ast}\)-topology. It is known that an IFS \((X,\mathcal{F})\) induces the dynamical systems \((\mathcal{K}(X),\mathcal{F})\) and \((\mathcal{M}(X),\mathcal{F})\).\N\NWith respect to these lines of research, \textit{Y. Ji} and \textit{Y. Wang} [Dyn. Syst. 36, No. 1, 39--47 (2021; Zbl 1473.37020)] proved that if \(h_{\mathrm B}(X,\mathcal{F}) > 0\) then \(h_{\mathrm B}(\mathcal{K}(X),\mathcal{F})=\infty\); \(h_{\mathrm B}(X,\mathcal{F}) = 0\) if and only if \(h_{\mathrm B}(\mathcal{M}(X),\mathcal{F}) = 0\) and \(h_{\mathrm B}(X,\mathcal{F}) > 0\) if and only if \(h_{\mathrm B}(\mathcal{M}(X),\mathcal{F}) = \infty\).\N\NIn the paper under review, the authors continue to develop this theme and carry out a similar analysis for the topological entropy \(h_{\mathrm{top}}(X,\mathcal{F})\). In fact, they prove the following interesting result:\N\N{Theorem.} If \((X,\mathcal{F})\) is an iterated function system, then\N\begin{itemize}\N\item[(1)] \(h_{\mathrm{top}}(X,\mathcal{F}) = 0\) if and only if \(h_{\mathrm{top}}(\mathcal{M}(X),\mathcal{F}) = 0\);\N\N\item[(2)] \(h_{\mathrm{top}}(X,\mathcal{F}) > 0\) if and only if \(h_{\mathrm{top}}(\mathcal{M}(X),\mathcal{F}) = \infty\). In particular, it follows that \(h_{\mathrm{top}}(\mathcal{K}(X),\mathcal{F}) = \infty\).\N\end{itemize}

Cites work

This page was built for publication: Topological entropy of induced spaces for an iterated function system

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7000911)