Abstract
We introduce topological definition of average shadowing property. We prove that topological average shadowing property implies topological chain transitivity. In particular it is proved that for a dynamical system with dense minimal points, the topological average shadowing property implies topological strong ergodicity.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The pseudo-orbit tracing property is one of the most important notions in dynamical systems, which is closely related to stability and chaos of systems [1,2,3,4,5]. This concept is motivated by computer simulations. More precisely, let X be a set and \(f:X\rightarrow X\) be a map. Then in the computation of f with initial value \(x_0\in X\), computer approximates \(f(x_0)\) by some point \(x_1\). To continue the process, it computes the value \(x_2\) as an approximation of \(f(x_1)\) and so on. For formulating this concept we have to use the ‘distance’ between points to control approximation errors. In a metric space (X, d) one can approximates points using metric d and define a pseudo-orbit with error \(\delta \) as a sequence \(x_0,x_1,\dots \) with \(d(x_{j+1},f(x_j))<\delta \) for all \(j\ge 0\). However, for general topological spaces such a distance cannot be found unless we have somewhat more structure than what the topology itself provides. This issue will be solved if we consider a completely regular topological spaces which is equipped with an structure, called uniformity, enabling us to control the distance between points in these spaces. Using this structure, Das et al. [6, 7] generalized the usual definitions of shadowing, and chain recurrence for homeomorphisms to topological spaces. Then, the second author [8] proved that a dynamical system with ergodic shadowing is topologically chain transitive. The third author [9] introduced the topological concepts of weak uniformity, uniform rigidity, and multi-sensitivity and obtained some equivalent characterizations of uniform rigidity. Then, we [10] proved that a point transitive dynamical system in a Hausdorff uniform space is either almost (Banach) mean equicontinuous or (Banach) mean sensitive. Recently, we [11] generalized concepts of entropy points, expansivity and shadowing property for dynamical systems to uniform spaces and obtained a relation between topological shadowing property and positive uniform entropy. Good and Macías [12] obtained some equivalent characterizations and iteration invariance of various definitions of shadowing in the compact uniform spaces. For more results on shadowing properties on non-metrizable spaces, one is referred to [13,14,15,16,17] and references therein.
Nevertheless when calculating approximate trajectories, it makes sense to consider errors small on average, since controlling them in each iteration may be impossible. The notion of average pseudo-orbit introduced by Blank [18]. In a metric space (X, d) an average pseudo-orbit with error \(\delta \) is a sequence \(x_0,x_1,\dots \) for which there is \(N\in \mathbb {N}\) such that \(\frac{1}{n}\sum _{j=0}^{n-1} d(x_{j+k+1},f(x_{j+k}))<\delta \) for any \(n\ge N\) and \(k\in \mathbb {N}\). The average shadowing property is related to finding an averagely close real orbit for any average pseudo-orbit [19,20,21,22,23,24]. But in a general topological space we need some method to control the average of errors in a pseudo-orbit . Motivated by mentioned ideas, we show that average shadowing property can be defined in a natural way on uniform spaces. In order to do this, we control the average of errors of a pseudo-orbit in a non-metrizable topological space via infinite sequences of neighborhoods of diagonal. This paper introduce and studies topological definition of average shadowing property and obtains that topological average shadowing implies topological chain mixing. Then we show that for a dynamical system with dense minimal points, the topological average shadowing property implies topological strong ergodicity.
2 Basic Definitions and Preliminaries
A uniform structure on X is a filter \( \mathscr {U}\) of subsets of \( X \times X \) with the following properties.
-
(U1)
every set \(U\in \mathscr {U}\) contains the diagonal \(\Delta _X = \{(x,x) : x\in X\}\);
-
(U2)
if \(U\in \mathscr {U}\), then \(U^{-1} = \{(y,x) : (x,y)\in U\} \in \mathscr {U}\);
-
(U3)
for any \(U\in \mathscr {U}\) there exists \(V\in \mathscr {U}\) such that \(V\circ V \subset U\), where \(V\circ V =\{(x,y) : \exists z\in X\text { with }(x,z)\in V, (z,y)\in V\}.\)
The set X with a uniformity \( \mathscr {U} \) on it is called uniform space and denoted by \( (X, \mathscr {U}) \). For example if \((X,\rho )\) is a pseudo-metric space, then the family \(\{V_{\epsilon }^{\rho }|~\epsilon >0\}\) is a base for a uniformity on X, where \(V_{\epsilon }^{\rho }=\{(x,y)|~\rho (x,y)<\epsilon \}\). Each element of \(\mathscr {U}\) is called entourage of X. An entourage E is said to be symmetric if \( E = E^{-1} \). If \(x\in X\) and \( E \in \mathscr {U} \), then the set \(E[x]=\{y\in X: (x,y)\in E\}\) is called the cross-section of E at a point x. If \( \tau _{\mathscr {U}} =\{ A \subset X: \forall a \in A, \exists E \in \mathscr {U}, \ {such that} \ E[a] \subset A \} \), then \( \tau _{\mathscr {U}} \) is a topology on X which is called the uniform topology on X. A map \(f:X\rightarrow X\) is called uniformly continuous if for any \(E\in \mathscr {U}\) we conclude that \(f^{-1}(E)\in \mathscr {U}\). In this paper, by a dynamical system, mean a pair (X, f), where X is a uniform space and \(f:X\longrightarrow X\) is a uniformly continuous map (Note that any continuous map on a compact uniform space is uniformly continuous, so in this case it is enough to assume that f is continuous). Let \(D\in \mathscr {U}\). A D-chain of length n is a sequence \(\xi =\{x_i\}_{i=0}^{n}\) such that \((f(x_i),x_{i+1})\in D\) for \(i=0, \ldots , n-1\). An infinite D-chain is called a D-pseudo-orbit. A D-pseudo-orbit \(\xi =\{x_i\}\) is E-shadowed by a point \(z\in X\) if \((f^n(z),x_n)\in E\) for all \(n \in \mathbb {N}_0\). A dynamical system (X, f) has the topological shadowing property TSP [6] if for every entourage E of X, there exists an entourage D such that every D-pseudo-orbit is E-shadowed by some point in X. For \(x\in X\) and \(U, V\subset X\), let
An infinite subset \(A\subset \mathbb {N}\) is relatively dense (or syndetic) if there exists \(k>0\) such that \(\{n, n + 1\dots , n + k\}\cap A\ne \emptyset \) for all \(n\in \mathbb {N}_0\). Let (X, f) be a dynamical system. A point \(x\in X\) is minimal (or almost periodic) if \(N_f(x, U)\) is syndetic for every neighborhood U of x. We denote by \(\mathcal {M}(f)\) the set of all minimal points.
A dynamical system (X, f) is
-
(TCR) topologically chain recurrent if, for any entourage D of X and any point \(x\in X\), there exists an D-chain from x to itself;
-
(TCT) topologically chain transitive if, for any entourage D of X and any two points \(x, y\in X\), there exists an D-chain from x to y;
-
(TCM) topologically chain mixing if, for any two points \(x,y\in X\) and any entourage D of X, there exists \(N\in \mathbb {N}\) such that for any \(n\ge N\), there exists a D-chain from x to y of length n;
-
(TT) topologically transitive if \(N_f(U,V)\) is a non-empty set for any pair of nonempty open subsets U, V of X;
-
(TTT) topologically totally transitive if \(f^n\) is topologically transitive for any \(n\in \mathbb {N}\);
-
(TE) topologically ergodic if \(\overline{d}(N_f(U,V))=\limsup _{n\rightarrow \infty }\frac{N_f(U,V)\cap \{1,2,\dots ,n\}}{n}>0\) for any pair of nonempty open subsets U, V of X;
-
(TSE) topologically strongly ergodic if \(N_f(U,V)\) is a syndetic set for any pair of nonempty open subsets U, V of X;
-
(TTSE) topologically totally strongly ergodic if \(f^n\) is topologically ergodic for any \(n\in \mathbb {N}\).
It is clear that
3 Topological Average Shadowing Property
Denote by \(\Sigma _{\mathscr {U}}\) the family of all sequences \(\mathcal {E}=\{E_i\}_{i=0}^{\infty }\) of entourages in \(\mathscr {U}\) with \(E_0=X\times X\), such that \(E_{i+1}\subset E_i\) for all \(i\in \mathbb {N}_0\). For a sequence \(\mathcal {E}=\{E_i\}_{i=0}^{\infty }\in \Sigma _{\mathscr {U}}\), a map \(f:X\rightarrow X\) and a sequence \(\xi =\{x_0,x_1,\dots \}\) in X we define
and
where \(\mathbb {N}_0^n\) is the set of all maps from \(\{0,1,\dots ,n\}\) to \( \mathbb {N}_0=\mathbb {N}\cup \{0\}\).
Remark 1
Let \((X,\mathscr {U})\) be a compact uniform space and \(f:X\rightarrow X\) be a continuous map. If \(\mathcal {E}=\{E_i\}_{i=0}^{\infty }\in \Sigma _{\mathscr {U}}\) and \(\xi =\{x_i\}_{i=0}^{\infty }\) be a sequence in X, then for any \(m,n,k\in \mathbb {N}\) we have
-
1.
\(0\le \mathcal {A}_n(\xi ,f,\mathcal {E})\le n\);
-
2.
\(\mathcal {A}_n(\xi ,f,\mathcal {E})\le \mathcal {A}_{n+1}(\xi ,f,\mathcal {E})\le \mathcal {A}_{n}(\xi ,f,\mathcal {E})+1\);
-
3.
\(\mathcal {A}_n(\xi ,f,\{E_i\}_{i=0}^{\infty })=\frac{1}{2^k} \mathcal {A}_{n}(\xi ,f,\{E_{i}'\}_{i=0}^{\infty })\), where \(E_{i}'=E_{i+k}\) for \(i\ge 1\) and \(E_{i}'=X\times X\).
-
4.
\(\mathcal {A}_n(\xi ,f,\{E_{i}'\}_{i=0}^{\infty })\le \mathcal {A}_{n}(\xi ,f,\{E_i\}_{i=0}^{\infty })\), where \(E_{i}'=E_{ik}\);
-
5.
\(\mathcal {A}_{m+n}(\xi ,f,\mathcal {E})= \mathcal {A}_{m}(\xi ,f,\mathcal {E})+\mathcal {A}_{n}(T^m(\xi ),f,\mathcal {E})\), where \(T:X^{\mathbb {N}_0}\rightarrow X^{\mathbb {N}_0}\) is the shift map.
Definition 3.1
For \(\mathcal {D}\in \Sigma _{\mathscr {U}}\), a topological average \(\mathcal {D}\)-pseudo-orbit of f is a sequence \(\{x_i\}\) in X such that \(\lim _{n\rightarrow \infty }\frac{1}{n}\mathcal {A}_n(\xi ,f,\mathcal {D})=0.\) Let \(\mathcal {E}=\{E_i\}\in \Sigma _{\mathscr {U}}\) . We say that the sequence \(\{x_i\}\) is \(\mathcal {E}\) -shadowed on average by some point \(z \in X\), if \(\lim _{n\rightarrow \infty }\frac{1}{n}\mathcal {A}_n(\xi ,z,f,\mathcal {E})=0.\) We say that the map f has the topological average shadowing property TASP, if for every \(\mathcal {E}=\{E_i\}\in \Sigma _{\mathscr {U}}\), there exists \(\mathcal {D}=\{D_i\}_{i=0}^{\infty }\in \Sigma _{\mathscr {U}}\) such that every topological average \(\mathcal {D}\)-pseudo-orbit is \(\mathcal {E}\)-shadowed on average by some point of X.
Remark 2
If (X, d) is a compact metric space, then for any neighborhood U of \(\Delta _X\), we can find \(\delta >0\) such that \(V_{\delta }^d\subset U\). On the other hand, every \(V_{\delta }^d\) is a neighborhood of \(\Delta _X\). Moreover if \(\{x_i\}\) is a topological average \(\{V_{\frac{\delta }{2^i}}^d\}\)-pseudo-orbit, then \(\lim _{n\rightarrow \infty }\frac{1}{n}\mathcal {A}_n(\xi ,f,\{V_{\frac{\delta }{2^i}}^d\})=0\) and there exists \(N\in \mathbb {N}\) such that \(\frac{1}{n}\mathcal {A}_n(\xi ,f,\{V_{\frac{\delta }{2^i}}^d\})<1\) for \(n\ge N\). One can easily check that \(\frac{1}{n}\sum _{i=0}^{n-1}d(x_{i+k+1},f(x_{k+i}))<\delta \) for all \(n\ge N\) and \(k\in \mathbb {N}\). This shows that for any \(\delta >0\), we can find a \(\mathcal {D}=\{D_i\}_{i=0}^{\infty }\in \Sigma _{\mathscr {U}}\) such that every topological average \(\mathcal {D}\)-pseudo orbit is an average \(\delta \)-pseudo orbit. But the converse is not true, for example, if we consider the identity map on \(S^1\) with the usual topology, then for \(\mathcal {D}=\{V_{\frac{1}{i}}\}_{i=0}^{\infty }\in \Sigma _{\mathscr {U}_{S^1}}\) and any \(\delta >0\), the sequence \(x_{j+1}=x_j+\delta /2\) with \(x_0=0\) is an average \(\delta \)-pseudo orbit which is not a topological average \(\mathcal {D}\)-pseudo orbit. That is, this remark does not implies that the topological average shadowing property is equivalent to the usual average shadowing property when the uniform structure is came from a metric d.
Recall that two dynamical systems \( f: X \rightarrow X \) and \( g: Y \rightarrow Y \) are topologically semi-conjugate, if there exists a continuous map h from X onto Y, such that \( h \circ f = g \circ h \). In this case h is called a semi-conjugacy between f and g.
Theorem 3.1
Let \((X,\mathscr {U}_X)\) and \((Y,\mathscr {U}_Y)\) be two compact uniform spaces. Let \(h:X\rightarrow Y\) be an homeomorphism. If (X, f) has the topological average shadowing property, then \((Y, h \circ f \circ h^{-1}) \) has topological average shadowing property.
Proof
Consider \( H: X \times X \rightarrow Y \times Y \) given by \( H(x,y) = (h(x),h(y)) \). For any \(\mathcal {E}=\{E_i\}\in \Sigma _{\mathscr {U}_Y}\), observe that \(H^{-1}(\mathcal {E})=\{(h^{-1} \times h^{-1}) E_i\}\in \Sigma _{\mathscr {U}_X}\) is a sequence of entourages in X. Let \(\mathcal {D}=\{D_i\}\in \Sigma _{\mathscr {U}_X}\) be an \(H^{-1}(\mathcal {E})\)-modulus of topological average shadowing property of f. Suppose that \( \{ y_{i} \}_{i=0}^{\infty } \) is a topological average \(H(\mathcal {D})\)-pseudo-orbit for \( h \circ f \circ h^{-1} \), that is
hence \( \{ h^{-1}(y_{i})\}_{i=0}^{\infty } \) is a topological average \(\mathcal {D}\)-pseudo-orbit for f. Then by topological average shadowing property of f there exists a point \( z \in X \) such that
which implies that
Thus, \( h \circ f \circ h^{-1} \) has the topological average shadowing property in Y. \(\square \)
Proposition 3.1
Let \( (X, \mathscr {U}) \) be a compact uniform space. Let f be a continuous map from X onto itself. If (X, f) has the topological average shadowing property, then so does \( (X,f^{k}) \) for every \( k \in \mathbb {N} \).
Proof
Fix \( k > 1 \) and let \( \mathcal {E} = \{E_{i}\} \in \Sigma _{\mathscr {U}}\). Since f has the topological average shadowing property, there exists \( \mathcal {D}= \{D_{i}\} \in \Sigma _{\mathscr {U}} \) such that every topological average \(\mathcal {D}\)-pseudo-orbit is \(\mathcal {E}\)-shadowed on average by some point in X. Let \( \xi =\{ x_{i} \}_{i=0}^{\infty } \) be a topological average \(\mathcal {D}\)-pseudo-orbit of \( f^{k} \), that is
Putting \( f(x_{i}), f^{2}(x_{i}), \dots , f^{k-1}(x_{i}) \) between \( x_{i} \) and \( x_{i+1} \) for all \( i \ge 0 \), we get a topological average \(\mathcal {D}\)-pseudo-orbit \( \xi ^{\prime } \) for f. Let \( y_{lk+j} = f^{j}(x_{l}) \), for all \( 0 \le j \le k \) and all \( l \ge 0 \). Then
that is, the sequence \( \{y_{i}\}_{i=0}^{\infty } \) is topological average \(\mathcal {D}\)-pseudo-orbit of f. So there is a point \( z \in X \) such that
Therefore
hence \( f^{k} \) has topological average shadowing property. \(\square \)
The following theorem is the topological version of [20, Theorem 3.1], done for metric spaces.
Theorem 3.2
Let \( (X, \mathscr {U}) \) be a compact uniform space. Let f be a continuous map from X onto itself. If f has the topological average shadowing property, then f is topologically chain transitive.
Proof
Suppose x and y are two distinct points in X and \( D \in \mathscr {U} \). Let \( \mathcal {E}= \{ E_{i} \} \in \Sigma _{\mathscr {U}} \) be such that \( E_{1} \subset D \) and \( (f \times f)E_{1} \subset D \). Since f has topological average shadowing property. there exists \( \mathcal {D}= \{ D_{i} \} \in \Sigma _{\mathscr {U}}\) such that every topological average \(\mathcal {D}\)-pseudo-orbit, can be \( \mathcal {E} \)-shadowed on average by some point in X.
Now, we construct a sequence \( \{ w_{i} \}_{i=0}^{\infty } \) as follows.
where \( f(y_{-j})= y_{-j+1} \) for every \( j>0 \) and \( y_{0}=y \).
For \( n\ge 2 \) we obtain that
thus \( \lim _{n\rightarrow \infty }\frac{1}{n} \mathcal {A}_n(\{w_i\},f,\mathcal {D})=0.\) That is, \( \{w_{i}\} \) is a topological average \(\mathcal {D}\)-pseudo-orbit of f. Hence there exists a point \( z \in X \) such that \( \lim _{n\rightarrow \infty }\frac{1}{n}\mathcal {A}_n(\{w_i\},z,f,\mathcal {E})=0\). Now, we prove the following claims.
Claim 1 There exist infinitely many positive integers j such that
Claim 2 There exist infinitely many positive integers l such that
Proof of claim 1. It is enough to prove the condition (1).
Suppose on the contrary that there is a positive integer N such that for all integer \( k > N, \) whenever
it is obtained that \( (f^{i}(z),w_{i}) \notin E_{1} \), hence \( (f^{i}(z),w_{i}) \notin E_{j} \) for all \( j= 1, 2, \dots , n \). Therefore
which implies that \( \lim _{n\rightarrow \infty }\frac{1}{n}\mathcal {A}_n(\{w_i\},f,\mathcal {E})\ne 0,\) a contradiction. Hence the claim (1) holds.
By the claim, we can pick two positive integers \( j_{0} \) and \( l_{0} \) such that \( n_{j_{0}} < n_{l_{0}} \) and
Assume that \( w_{n_{j_{0}}} = f^{j_{1}}(x)\) and \( w_{n_{l_{0}}} = y_{-l_{1}}\) for some \(j_1,l_1>0\). Hence we have a D-chain from x to y as follows.
Therefore, f is topological chain transitive. \(\square \)
Corollary 3.1
Let \( (X, \mathscr {U}) \) be a compact uniform space. Let f be a continuous map from X onto itself. If (X, f) has the topological average shadowing property, then it is topologically chain mixing.
Proof
By Theorem 3.1 if f has the average shadowing property, then so does \(f^n\) for every \(n > 0\). Hence by Theorem 3.2, \(f^n\) is chain transitive for every \(n > 0\), then by Proposition 3.3 in [25], f is chain mixing. \(\square \)
A sequence \(\xi =\{x_i\}_{i=0}^{\infty }\) is called an ergodic D-pseudo-orbit provided that the set \(\Lambda ^c(\xi ,f,D)=\{i\in \mathbb {N}_0|~(x_{i+1},f(x_i))\notin D\}\) has density zero, that is \(\lim _{n\rightarrow \infty }1/n|\Lambda ^c_n(\xi ,f,D)|=0\), where \(\Lambda ^c_n(\xi ,f,D)=\Lambda ^c(\xi ,f,D)\cap \{0,1,\dots ,n-1\}\). For an entourage E of X, an ergodic D-pseudo-orbit \(\xi \) is said to be ergodically E-shadowed by a point \(z\in X\) provided that the set \(\Lambda ^c(\xi ,z,f,E)=\{i\in \mathbb {N}_0|~(x_{i},f^i(z))\notin E\}\) has density zero, that is
A dynamical system (X, f) has the topological ergodic shadowing property provided that for any entourage E of X there exists an entourage D of X such that any ergodic D-pseudo-orbit can be ergodically E-shadowed by some point in X [8, 17]. A dynamical system (X, f) has the topological \(\underline{d}\)-shadowing if for every entourage E there is an entourage D such that every ergodic D-pseudo-orbit is E-shadowed by some point z in such a way that the set \(\Lambda (\xi ,z,f,E)=\{i\in \mathbb {N}_0|~(x_{i},f^i(z))\in E\}\) has positive lower density, that is \(\liminf _{n\rightarrow \infty }1/n|\Lambda _n(\xi ,z,f,E)|>0\).
A dynamical system (X, f) has the topological pseudo orbital specification if for every entourage E there exists an entourage D and a positive integer M such that for any non-negative integers \(a_1 \le b_1< a_2 \le b_2< \dots < a_n \le b_n\) with \(a_{j+1}- b_j > M\) for \(1 \le j \le (n - 1)\) and any D-chain \(\xi _1,\xi _2,\dots ,\xi _n\) where \(\xi _j = \{x_{(i,j)}\}_{a_j\le i\le b_j}\) for \(1\le j\le n\), there is \(z\in X\) such that \((f^i(z), x_{(i,j)})\in E\) for \(a_j \le i \le b_j\) , \(1 \le j \le n\). By [26, Main Theorem] and Corollary 3.1 we obtain the following corollary.
Corollary 3.2
Let \( (X, \mathscr {U}) \) be a compact uniform space and f be a continuous map from X onto itself. If (X, f) has topological average shadowing property and topological shadowing property, then (X, f) has
-
1.
Topological pseudo orbital specification property;
-
2.
Topological ergodic shadowing property;
-
3.
Topological \(\underline{d}\)-shadowing property.
The following theorem generalizes [22, Theorem 3.1] from metric spaces to uniform spaces.
Theorem 3.3
Let \( (X, \mathscr {U}) \) be a compact uniform space. Let f be a continuous map from X onto itself. If f has the topological average shadowing property and the minimal points of f are dense in X, then f is topologically totally strongly ergodic.
Proof
Let U, V be two non-empty open subsets of X. By density of minimal points of f in X, we can choose \( x \in U \cap \mathcal {M}(f), y \in V \cap \mathcal {M}(f) \) and \( E \in \mathscr {U} \) such that \( E[x] \subset U\), and \(E[y] \subset V\). There is a symmetric entourage \( \hat{E} \) such that \( \hat{E} \circ \hat{E} \subset E. \) Since \( x,y \in \mathcal {M}(f), \) hence \( J_{x}= \{ n \in \mathbb {Z_{+}} : \quad f^{n}(x) \in \hat{E}[x] \} \) and \( J_{y}= \{ n \in \mathbb {Z_{+}} : \quad f^{n}(y) \in \hat{E}[y] \} \) are syndetic. Thus, there are \( N_{1}, N_{2} \in \mathbb {N} \) such that \( [n, n+N_{1}] \cap J_{x} \ne \emptyset \) and \( [n, n+N_{2}] \cap J_{y} \ne \emptyset \) for each \( n \in \mathbb {Z_{+}}. \) Let \( N = \max \{N_{1},N_{2}\} \) then by uniform continuity of f there exists \( D \in \mathscr {U} \) such that \( ( f \times f )^{i}D \subset \hat{E} \) for \( i=1,2,\dots , N. \) Choose \( \mathcal {E}= \{E_{i}\} \in \Sigma _{\mathscr {U}} \) such that \( E_{i} \subset D \) for \(i\ge 1\). Since f has topological average shadowing property then there exists \( \mathcal {D}=\{D_i\} \in \Sigma _{\mathscr {U}} \) such that every topological average \(\mathcal {D}\)-pseudo-orbit, \( \mathcal {E} \)-shadowed on average by some point of X. Now, we construct a sequence \( \{ w_{i} \}_{i=0}^{\infty } \) as follows.
For \( n\ge 2\) we obtain that
therefore \( \lim _{n\rightarrow \infty }\frac{1}{n} \mathcal {A}_n(\{w_i\},f,\mathcal {D})=0.\) That is, \( \{w_{i}\} \) is a topological average \(\mathcal {D}\)-pseudo-orbit of f. Thus there exists a point \( w \in X \) such that \(\lim _{n\rightarrow \infty }\frac{1}{n}\mathcal {A}_n(\{w_i\},w,f,\mathcal {E})=0\). We have the following claims.
Claim 1 There exist infinitely many \( k \in \mathbb {N} \) such that there exists \( n_{k} \in \{ 2^{k},2^{k}+1, \dots , 2^{k}+2^{k-1}-1 \} \) with
Claim 2 There exist infinitely many \( l \in \mathbb {N}\) such that there exists \( m_{l} \in \{ 2^{l},2^{l-1}, \dots , 2^{l+1}-1 \} \) with
Proof of claim 1. It is enough to prove (1). Assume on the contrary that there is \( M \in \mathbb {N} \) such that for all integers \( k > M, \) whenever \( i \in \{ 2^{k},2^{k}+1, \dots , 2^{k}+2^{k-1}-1 \} \), which implies \( w_{i} \in \{ x, f(x), \dots , f^{2^{k-1}-1}(x) \), it is obtained that \( (f^{i}(w),w_{i}) \notin E_{j} \) for all \( j=1, 2, \dots , n. \) Therefore,
thus,
which is a contradiction. Hence the claim 1 holds.
By the claim, we can choose \( n_{k_{0}}, m_{l_{0}}, r, t \) with \( m_{l_{0}} > n_{k_{0}}+ N \) and \( w_{n_{k_{0}}}=f^{t}(x) \), \( w_{m_{l_{0}}}=f^{r}(y) \) such that
since \( [t,t+N] \cap J_{x} \ne \emptyset \), \( [r,r+N] \cap J_{y} \ne \emptyset \), there are \( 0 \le k, l \le N \) such that \( f^{t+k}(x) \in \hat{E}[x] \), \( f^{r+l}(y)\in \hat{E}[y] \). By 1 and 2, we obtain \( (f^{n_{k_{0}}+ k}(w), f^{t+k}(x)) \in \hat{E} \) and \( (f^{m_{l_{0}}+ l}(w), f^{r+l}(y)) \in \hat{E} \). Thus \( f^{n_{k_{0}}+ k}(w) \in E[x] \subset U \) and \( f^{m_{l_{0}}+ l}(w) \in E[y] \subset V \). Let \( n_{0}= m_{l_{0}} - n_{k_{0}} +l - k > 0 \), then it follows that \( U \cap f^{-n_{0}}(V) \ne \emptyset \). Choose \( W = U \cap f^{-n_{0}}(V) \ne \emptyset \). Hence there is \( s \in \mathcal {M}(f) \cap W \). Let \( J = \{ n \in \mathbb {Z_{+}} : \quad f^{n}(s) \in W \} \), then J is syndetic. For \( m \in J \), since \( \emptyset \ne U \cap f^{-n_{0}}(V) \cap f^{-m}( U \cap f^{-n_{0}}(V)) \subset U \cap f^{-(n_{0}+m)}(V) \), \( N(U,V)\ne \emptyset \). thus N(U, V) is syndetic. Since U, V are arbitrary, f is topological strongly ergodic. For any \( k \in \mathbb {N} \), since f has the topological average shadowing property, \( f^{k} \) has the topological average shadowing property by proposition 3.1, so \( f^{k} \) is topological strongly ergodic. Hence f is topological totally strongly ergodic. \(\square \)
4 Examples
The following example shows that \(\mathbf{TSP} \nRightarrow \mathbf{TASP}\).
Example 4.1
Let \(X=\{a,b,c\}\). Consider following subsets of \(X\times X\);
Then \(\mathscr {U}=\{U_0,U_1,U_2,\dots ,U_{14},X\times X\}\) is a uniformity on X for which \(\tau _{\mathscr {U}}=\{\emptyset ,\{a,b\},\{c\},X\}\). Let \(f:X\rightarrow X\) be a permutation defined by \(f(a)=b\), \(f(b)=a\) and \(f(c)=c\). Then f is uniformly continuous. We show that f does not have the average shadowing property. Let \(E_0=X\times X\) and \(E_i=U_0\) for all \(i\ge 1\). Then \(\mathcal {E}=\{E_i\}\in \Sigma _{\mathscr {U}}\). Put \(x_0=a\) and for each \(i\in \mathbb {N}\) and \(k\ge 0\) define
In other word
Let \(\xi =\{x_i\}\). Since any element of \(\mathscr {U}\) contains (a, b) and (b, a), we obtain
for \(n\ge 2\) and arbitrary \(\mathcal {D}=\{D_i\}\in \Sigma _{\mathscr {U}}\). That is \(\xi \) is an average \(\mathcal {D}\)-pseudo-orbit. For \(2^k\le n<2^{k+1}\), we obtain
hence
Therefore \(\xi \) could not be \(\mathcal {E}\)-shadowed in average by any point in X. This implies that f does not have the topological average shadowing property. It is easy to show that f has the topological shadowing property. Indeed \(U_0\) is an E-modulus of shadowing property for any \(E\in \mathscr {U}\). Also f is not topologically transitive, since \(f^n(\{c\})\cap \{a,b\}=\emptyset \) for all \(n\ge 0\).
The following example shows that the condition of surjectivity in the Theorem 3.2 is necessary.
Example 4.2
Let \( (X, \mathscr {U}) \) be a compact uniform space with more than one element. Let \(a\in X\) be arbitrary. Consider the constant map \(f:X\rightarrow X\), by \(f(x)=a\) for all \(x\in X\). Let \( \mathcal {E} = \{E_{i}\} \in \Sigma _{\mathscr {U}}\) be arbitrary and \(\mathcal {D}=\mathcal {E}\).Then for any \(\xi =\{x_i\}_{i=0}^{\infty }\) and \(n\in \mathbb {N}\),
This implies that f has the topological average shadowing property. But it is easy to check that f is not chain transitive.
By applying the method in [20, Example 5.4] we construct a dynamical system with TASP in a non-metrizable topological space.
Example 4.3
Let \(\mathbb {P}=\mathbb {R}\setminus \mathbb {Q}\). Let \(\mathbf{a} =\{a_i\}_{i\in \mathbb {Z}}\subset \mathbb {P}\) be an increasing bi-sequence for which there exists a positive integer k such that \(a_i+1=a_{i+k}\) for all \(i\in \mathbb {Z}\). Put
(See Fig. 1). Then the family \(\mathcal {B}=\{U_\mathbf{a }\}\) is a filter base and generate a uniformity \(\mathscr {U}\). Consider this uniformity on \(S^1\) (just taking the projection modulo 1). Then the topology generated by this uniformity is the Michael line topology \(\tau _M=\{U\cup F:~U\text { is open in usual topology and } F\subset \mathbb {P}\}\) which is not metrizable [27, b-13]. Consider the map \(f:S^1\rightarrow S^1\) by
It is easy to see that f is uniformly continuous, in fact, \(x\in \mathbb {P}\) iff \(f^{-1}(x)\in \mathbb {P}\) and for any \(U_a\in \mathcal {B}\),
Let \( \mathcal {E} = \{E_{i}\} \in \Sigma _{\mathscr {U}}\) be arbitrary. Let \(\mathcal {D}=\{D_i\}\), where \(D_0=S^1\times S^1\) and \(D_i\subset E_i\cap V_{\frac{1}{2^i}}\), for all \(i\ge 1\). We show that any average \(\mathcal {D}\)-pseudo orbit can be \(\mathcal {E}\)-shadowed by the fixed point 1. Let \(k\in \mathbb {N}\) be arbitrary. By the structure of the uniformity there exists \(a,b\in \mathbb {P}\) such that \((1,1)\in (a,b)\times (a,b)\subset E_k\). Put \(\epsilon =1-a>0\). Let \(\{x_j\}\) be an average \(\mathcal {D}\)-pseudo orbit, that is, \(\lim _{n\rightarrow \infty }\frac{1}{n}\mathcal {A}_n(\{x_j\},f,\mathcal {D})=0.\) Since \(\lim _{n\rightarrow \infty } f^n(x)=1\) for all \(x\in [\epsilon ,1]\), there exists \(N\in \mathbb {N}\) such that
By [28, Theorem 1.20], there is a set \( J_{0}\subset \mathbb {Z}^{+} \) of zero density such that
provided \( n\notin J_{0} \). By uniform continuity of f there exists \(\delta \in (0,\epsilon )\) such that
Choose \(m>k\) such that \(D_m\subset V_{\delta }\). Let \( J_{N}=\{j: \{jN,jN+1, \dots , jN+N-1\} \cap J_{0}\ne \emptyset \} \) and \( J_{N}^{\prime }=\bigcup _{j\in J_{N} }\{jN,jN+1, \dots , jN+N-1\} \). Then \( J_{N}^{\prime } \) has density zero and \(\lim _{n\rightarrow \infty }\inf \{\frac{1}{2^{\sigma (j)}}|\quad (x_{j+1},f(x_j))\in D_{\sigma (j)}, \sigma \in \mathbb {N}_0^n\} =0\) provided \( n\notin J_{N}^{\prime }.\) Therefore there exists \(N_1\ge N\) such that
hence it follows from (4) that
Let \( \hat{J}_{N}=\bigcup _{j\in J_{N} }\{(j-1)N,(j-1)N+1,\dots ,jN,jN+1, \dots , jN+N-1\} \) and let \(\hat{J}_N^c=\mathbb {N}\setminus \hat{J}_N\). Then \( \hat{J}_{N} \) has density zero. It follows from (3) and (6) that
for all \(j\in \hat{J}_{N}^c\cap [N_1,\infty )\). That is \((x_{(j+1)N+k},1)\in E_k \) for all \(j\in \hat{J}_{N}^c\cap [N_1,\infty )\). Since k is arbitrary we conclude that,
hence it follows from [28, Theorem 1.20] that
This shows that the fixed point 1 topologically \(\mathcal {E}\)-shadows \( \{x_{i}\}_{i=0}^{\infty } \) in average. Therefore, f has the topological average shadowing property.
References
Smaoui, N., Kanso, A.: Cryptography with chaos and shadowing. Chaos Solitons Fractals 42(4), 2312–2321 (2009). https://doi.org/10.1016/j.chaos.2009.03.128
Shao, H., Shi, Y., Zhu, H.: On distributional chaos in non-autonomous discrete systems. Chaos Solitons Fractals 107, 234–243 (2018). https://doi.org/10.1016/j.chaos.2018.01.005
Li, N., Wang, L.: Sensitivity and chaoticity on nonautonomous dynamical systems. Internet J. Bifur. Chaos Appl. Sci. Engrg. 30(10), 2050146 (2020). https://doi.org/10.1142/S0218127420501461
Liu, G., Lu, T., Yang, X., Waseem, A.: Further discussion about transitivity and mixing of continuous maps on compact metric spaces. J. Math. Phys. 61(11), 112701 (2020). https://doi.org/10.1063/5.0023553
Li, R., Lu, T., Chen, G., Liu, G.: Some stronger forms of topological transitivity and sensitivity for a sequence of uniformly convergent continuous maps. J. Math. Anal. Appl. 494(1), 124443 (2021). https://doi.org/10.1016/j.jmaa.2020.124443
Das, T., Lee, K., Richeson, D., Wiseman, J.: Spectral decomposition for topologically anosov homeomorphisms on noncompact and non-metrizable spaces. Topol. Its Appl. 160(1), 149–158 (2013). https://doi.org/10.1016/j.topol.2012.10.010
Shah, S., Das, T., Das, R.: Distributional chaos on uniform spaces, Qual. Theory Dyn. Syst. 19(1) (2020) Paper No. 4, 13. https://doi.org/10.1007/s12346-020-00344-x
Ahmadi, S.A.: Shadowing, ergodic shadowing and uniform spaces. Filomat 31, 5117–5124 (2017). https://doi.org/10.2298/FIL1716117A
Wu, X., Luo, Y., Ma, X., Lu, T.: Rigidity and sensitivity on uniform spaces. Topol. Its Appl. 252, 145–157 (2019). https://doi.org/10.1016/j.topol.2018.11.014
Wu, X., Liang, S., Ma, X., Lu, T., Ahmadi, S.A.: The mean sensitivity and mean equicontinuity in uniform spaces. Int. J. Bifur. Chaos (2020). https://doi.org/10.1142/S0218127420501187
Ahmadi, S.A., Wu, X., Feng, Z., Ma, X., Lu, T.: On the entropy points and shadowing in uniform spaces. Int. J. Bifur Chaos 28, 1850155 (2018). https://doi.org/10.1142/S0218127418501559
Good, C., Macías, S.: What is topological about topological dynamics? Discrete Contin. Dyn. Syst. 38, 1007–1031 (2018). https://doi.org/10.3934/dcds.2018043
Ahmadi, S.A.: On the topology of the chain recurrent set of a dynamical system. Appl. Gen. Topol. 15(2), 167–174 (2014). https://doi.org/10.4995/agt.2014.3050
Akin, E.: The General Topology of Dynamical Systems. Graduate Studies in Mathematics, vol. 1. American Mathematical Society, Providence (1993)
Akin, E., Wiseman, J.: Chain recurrence and strong chain recurrence on uniform spaces. In: Dynamical Systems and Random Processes, Vol. 736 of Contemporary Mathematical American Mathematical Society, Providence, RI, 2019, pp. 1–29. https://doi.org/10.1090/conm/736/14831
Morales, C.A., Sirvent, V.: Expansivity for measures on uniform spaces. Trans. Am. Math. Soc. 368(8), 5399–5414 (2016). https://doi.org/10.1090/tran/6555
Wu, X., Ma, X., Zhu, Z., Lu, T.: Topological ergodic shadowing and chaos on uniform spaces. Int. J. Bifur. Chaos 28(3), 1850043 (2018). https://doi.org/10.1142/S0218127418500438
Blank, M.L.: Metric properties of-trajectories of dynamical systems with stochastic behaviour. Ergodic Theory Dyn. Syst. 8(3), 365378 (1988). https://doi.org/10.1017/S01433857000451X
Dong, Y., Tian, X., Yuan, X.: Ergodic properties of systems with asymptotic average shadowing property. J. Math. Anal. Appl. 432(1), 53–73 (2015). https://doi.org/10.1016/j.jmaa.2015.06.046
Gu, R.: The asymptotic average shadowing property and transitivity. Nonlinear Anal. Theory Methods Appl. 67(6), 1680–1689 (2007). https://doi.org/10.1016/j.na.2006.07.040
Niu, Y.: The average-shadowing property and strong ergodicity. J. Math. Anal. Appl. 376(2), 528–534 (2011). https://doi.org/10.1016/j.jmaa.2010.11.024
Niu, Y., Su, S.: On strong ergodicity and chaoticity of systems with the asymptotic average shadowing property. Chaos Solitons Fractals 44(6), 429–432 (2011). https://doi.org/10.1016/j.chaos.2011.03.008
Niu, Y., Wang, Y., Su, S.: The asymptotic average shadowing property and strong ergodicity. Chaos Solitons Fractals 53, 34–38 (2013). https://doi.org/10.1016/j.chaos.2013.04.009
Wu, X., Wang, L., Liang, J.: The chain properties and average shadowing property of iterated function systems. Qual. Theory Dyn. Syst. 17, 219–227 (2018)
Ahmadi, S.A., Wu, X., Chen, G.: Topological chain and shadowing properties of dynamical systems on uniform spaces. Topol. Appl. 275, 107153 (2020). https://doi.org/10.1016/j.topol.2020.107153
Das, P., Das, T.: Various types of shadowing and specification on uniform spaces. J. Dyn. Control Syst. 24, 253–267 (2018). https://doi.org/10.1007/s10883-017-9388-1
Hart, K.P., Nagata, J.-I., Vaughan, J.E.: Encyclopedia of General Topology. Elsevier Science Publishers, Amsterdam (2004)
Walters, P.: An Introduction to Ergodic Theory. Graduate Texts in Mathematics. Springer, New York (2000)
Acknowledgements
The authors are grateful to the anonymous reviewer for careful reading and valuable suggestions.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Pirfalak, F., Ahmadi, S.A., Wu, X. et al. Topological Average Shadowing Property on Uniform Spaces. Qual. Theory Dyn. Syst. 20, 31 (2021). https://doi.org/10.1007/s12346-021-00466-w
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s12346-021-00466-w
Keywords
- Topological average shadowing
- Topologically chain transitive
- Topologically ergodic
- Topologically strongly ergodic
- Uniform space