Shadowing property, weak mixing and regular recurrence (Q2439765)

The authors study consequences of the shadowing property for a dynamical system on a compact metric space \(X\). A dynamical system is here an action of a continuous map \(f: X\to X\). To avoid trivialities, one has to assume that the set of nonwandering points of \(f\) is the whole space \(X\). Under that hypothesis the following dichotomy is proved: a system with the shadowing property is either equicontinuous or has positive topological entropy. The proof is based on the following observation: For every open neighborhood \(U\) of a sensitive point, there are a positive integer \(m\) and a nonempty closed \(f^m\)-invariant set \(Y\subset U\), which is an extension of the full shift over the alphabet \(\{0,1\}\). It is also proved that for maps with the shadowing property, the properties ``topological weak mixing'', ``Blanchard's property P'', and ``uniform positive entropy'' of all orders are mutually equivalent. (For more information on the last two properties see [\textit{F. Blanchard}, Contemp. Math. 135, 95--105 (1992; Zbl 0783.54033); \textit{W. Huang} and \textit{X. Ye}, Isr. J. Math. 151, 237--279 (2006; Zbl 1122.37013)].) Finally, using a technique originating in the work of \textit{K. Sigmund} [Invent. Math. 11, 99--109 (1970; Zbl 0193.35502)], the authors prove that if \(f\) is weakly mixing and has the shadowing property, then the ergodic measures supported on regularly recurrent points are dense in the simplex of all \(f\)-invariant Borel probability measures.