Dynamics of continuous maps induced on the space of probability measures
For a continuous self-map f on a compact interval I and the induced map f^ on the space M(I) of probability measures, we obtain a sharp condition to guarantee that (I,f) is transitive if and only if (M(I),f^) is transitive. We also show that the sensitivity of (I,f) is equivalent to that of (M(I),f^). We prove that (M(I),f^) must have infinite topological entropy for any transitive system (I,f), while there exists a transitive non-autonomous system (I,f0,∞) such that (M(I),f^0,∞) has zero topological entropy, where f0,∞={fn}n=0∞ is a sequence of continuous self-maps on I. For a continuous self-map f on a general compact metric space X, we show that chain transitivity of (X,f) implies chain mixing of (M(X),f^), and we provide two counterexamples to demonstrate that the converse is not true. We confirm that shadowing of (X,f) is not inherited by (M(X),f^) in general. For a non-autonomous system (X,f0,∞), we prove that if (M(X),f^0,∞) is weak mixing of order n, then so is (X,f0,∞) for any n≥2; while there exists (X,f0,∞) such that it is weak mixing of order 2 but (M(X),f^0,∞) is not. We then prove that Li-Yorke chaos (resp., distributional chaos) of (X,f0,∞) carries over to (M(X),f^0,∞), and give an example to show that (X,f) and (M(X),f^) may have no Li-Yorke pair simultaneously. We also prove that if fn is surjective for all n≥0, then chain mixing of (M(X),f^0,∞) always holds true, and shadowing of (M(X),f^0,∞) implies mixing of (X,f0,∞).