Topological entropy pairs for an iterated function system (Q2173778)

Let \(\mathcal{F} = \{f_0, f_1,\ldots , f_{m-1}\}\) be a family of continuous maps on a compact metric space \(X\). It is known that the iterated function system \((X, \mathcal{F})\) is the action of the semigroup generated by \(\{f_0, f_1,\ldots , f_{m-1}\}\) on \(X\). In the present paper, by using open covers, the authors deal with a notion of topological entropy \(h(\mathcal{F})\) for the iterated function system \((X, \mathcal{F})\). They show that the topological entropy can be equivalently defined using both spanning subsets and separated subsets. The authors prove that if \((X, \mathcal{F})\) has the specification property, then \(h(\mathcal{F})>0\). The topological entropy pairs for an iterated function system are defined, and their elementary properties are studied. For an iterated function system \((X, \mathcal{F})\) and \(\mu\in M(X, \mathcal{F})\), the authors prove that \[h_{\mu}(\mathcal{F})\leq h(\mathcal{F})\leq h_B(\mathcal{F}),\] where \(h_B(\mathcal{F})\) is the Bufetov's topological entropy and \(h_{\mu}(\mathcal{F})\) is the measure-theoretic entropy, \(M(X, \mathcal{F})\) is the set of invariant measures of \((X, \mathcal{F})\).