\(\mathcal{F}\)-mixing property and \((\mathcal{F}_1,\mathcal{F}_2)\)-everywhere chaos of inverse limit dynamical systems (Q2447088)

Let \((X,f)\) be a dynamical system, where \(X\) is a compact metric space with metric \(d\) and \(f\) is a continuous selfmap of \(X\). The \textit{hitting time set} of \(A\), \(B\subset X\) is the set \(N_f(A,B)=\{n\in\mathbb{Z}^+\,:\, f^n(A)\cap B\neq\emptyset\}\). Let \(\mathcal{P}\) be the collection of all subsets of \(\mathbb{Z}^+\). A sub-collection \(\mathcal{F}\subset\mathcal{P}\) is called a \textit{Furstenberg family} if it is hereditarily upwards, i.e. \(F_1\subset F_2\) and \(F_1\in\mathcal{F}\) imply that \(F_2\in\mathcal{F}\). \(\mathcal{F}\) is called \textit{proper} if it is a non-empty proper subfamily of \(\mathcal{P}\). A dynamical system \((X,f)\) is called \(\mathcal{F}\)-\textit{transitive} with respect to a Furstenberg family \(\mathcal{F}\) if for any pair of non-empty open sets \(U\), \(V\subset X\) it holds that \(N_f(U,V)\in\mathcal{F}\) and it is called \(\mathcal{F}\)-\textit{mixing} if the dynamical system \((X\times X,f\times f)\) is \(\mathcal{F}\)-transitive. A dynamical system \((X,f)\) is called \(\mathcal{F}\)-\textit{sensitive} if there exists \(\epsilon >0\) such that for any \(x\in X\) and any open neighborhood \(U\) of \(x\) there exists \(y\in U\) such that \(\{n\in\mathbb{Z}^+\,:\, d(f^n(x),f^n(y))\geq \epsilon\}\in\mathcal{F}\). A dynamical system \((X,f)\) is called \(\mathcal{F}\)-\textit{accessible} if for any \(\epsilon >0\) and any non-empty open sets \(U\), \(V\subset X\) there exist \(x\in U\) and \(y\in V\) such that \(\{n\in\mathbb{Z}^+\,:\, d(f^n(x),f^n(y)) <\epsilon\}\in\mathcal{F}\). Finally, a dynamical system \((X,F)\) is called \((\mathcal{F}_1,\mathcal{F}_2)\)-everywhere chaotic if it is \(\mathcal{F}_1\)-sensitive and \(\mathcal{F}_2\)-accessible. In this paper the authors investigate some chaotic properties via proper Furstenberg families generated by inverse limit dynamical systems. More precisely, the authors show that \(\mathcal{F}\)-transitivity, \(\mathcal{F}\)-mixing and \((\mathcal{F}_1,\mathcal{F}_2)\)-everywhere chaos are all inherited in the inverse limit dynamical system provided that \(f:X\to X\) is surjective. They authors also give a sufficient condition for ensuring that the orbit of some point in the inverse limit dynamical system is stable.