On mixing property in set-valued discrete systems (Q2497586)

If \((X,d)\) is a compact metric space and \(f: X\to X\) is a continuous map, consider the metric space \((\mathcal K(X), H)\) of all nonempty compact subsets of \(X\) endowed with the Hausdorff metric induced by \(d\) and the continuous map \(\overline{f}: \mathcal K(X) \to \mathcal K(X)\) defined by \(\overline{f}(A)=\{f(a):\, a\in A\}\) for any \(A\in \mathcal K(X)\). Recently, it became popular to investigate the relationships between the dynamical properties of the system \((X,f)\) and those of the system \((\mathcal K(X), \overline{f})\). The paper under review is a contribution to this program. The authors prove that \(\overline{f}\) is strongly mixing if and only if \(f\) is strongly mixing and analogously for mild mixing, the specification property and Bowen's property P. Unfortunately, it seems that the authors (and also some other people working with `set-valued discrete systems') are not aware of the older paper by \textit{W. Bauer} and \textit{K. Sigmund} [Monatsh. Math. 79, 81--92 (1975; Zbl 0314.54042)] and therefore not all their results are new.