Equicontinuity and regionally proximal relation via Furstenberg families (Q2140629)

In this paper, a maximal \(\mathcal{F}\)-equicontinuous factor is given for some topological dynamical systems. Then, an equivalence result is established between \(\mathcal{F}\)-equicontinuity and \(\mathcal{F}\)-distality of induced systems on hyperspaces. The following are the main results. Theorem. Let \((X,T)\) be a topological dynamical system and \(\mathcal{F}\) be a filter. Then, the following claims hold true: (1) If \((X,T)\) is \(\mathcal{F}\)-equicontinuous then \((X,T)\) is \(\mathcal{F}\)-distal. (2) \((X,T)\) is \(\mathcal{F}\)-equicontinuous if and only if \(Q_{k,\mathcal{F}}(X,T)=\Delta_X\) (here \(Q_{k,\mathcal{F}}(X,T)\) is the set of all \(\mathcal{F}\)-regionally proximal pairs of \((X,T)\) and \(\Delta_X = \{(x, x) \in X \times X : x \in X\}\)). Theorem. Let \((X,T)\) and \((Y,S)\) be a pair of topological dynamical systems and \(\mathcal{F}\) be a filter. Further, let \(\pi:X\to Y\) be an open map. Then \((Y,S)\) is \(\mathcal{F}\)-equicontinuous if and only if \(Q_{k,\mathcal{F}}(X,T)\subset R_\pi\) (here \(R_\pi = \{(x,y\} \in X \times X : T(x)= T(y)\)). Further aspects involving the \(\mathcal{F}\)-equicontinuous characterization of topological dynamical systems with a thick filter are also discussed.