On proximality with Banach density one (Q402953)

Let \((X,T)\) be a \textit{dynamical system}; here, \(X\) is a (nonempty) compact metric space and \(T\) is a continuous map from \(X\) to itself. The authors' main results are the following. { Theorem 1.} The conditions below are equivalent: {\parindent=6mm \begin{itemize} \item[(i)] \((X,T)\) is strongly proximal \item [(ii)] \((X,T)\) is proximal and unique ergodic \item [(iii)] \(\text{supp} (X,T)\) is a singleton \item [(iv)] \(BP(X,T)=X^2\) \item [(v)] for every pair \((x,y)\in X^2\) and every \(\varepsilon> 0\), the set \(\{n\in Z_+; d(T^nx,T^ny)< \varepsilon\}\) has upper density one. \end{itemize}} { Theorem 2.} There exists a dynamical system with the whole space being a Banach scrambled set. { Theorem 3.} Suppose that \((X,T)\) is strongly proximal, transitive and \(X\) is infinite. Then, there exists a dense Mycielski \(T\)-invariant Banach scrambled subset \(S\) of \(X\). { Theorem 4.} Suppose that \(X\) is infinite and there exists a sequence of strongly proximal transitive subsystems \((X_n,T)\) of \((X,T)\) such that \({cl}(X_1\cup X_2\cup ...)=X\) and \(X_i\cap X_j=\emptyset\) for \(i\neq j\). Then, there exists a dense Mycielski \(T\)-invariant Banach scrambled subset \(S\) of \(X\). Some comments and practical aspects involving related statements in the area are also given.