Volume 2022, Issue 1 3512621
Research Article
Open Access

The Research of Sequence Shadowing Property and Regularly Recurrent Point on the Double Inverse Limit Space

Zhan jiang Ji

Corresponding Author

Zhan jiang Ji

School of Data Science and Software Engineering, Wuzhou University, Wuzhou, Guangxi 543002, China gxuwz.edu.cn

Search for more papers by this author
First published: 12 January 2022
Academic Editor: Salah Mahmoud Boulaaras

Abstract

According to the definition of sequence shadowing property and regularly recurrent point in the inverse limit space, we introduce the concept of sequence shadowing property and regularly recurrent point in the double inverse limit space and study their dynamical properties. The following results are obtained: (1) Regularly recurrent point sets of the double shift map σfσg are equal to the double inverse limit space of the double self-map fg in the regularly recurrent point sets. (2) The double self-map fg has sequence shadowing property if and only if the double shift map σfσg has sequence shadowing property. Thus, the conclusions of sequence shadowing property and regularly recurrent point are generalized to the double inverse limit space.

1. Introduction

Inverse limit space plays an important role in topological dynamical systems, and a series of research results have been obtained (see [14]). With the gradual deepening of problem research, it is found that the finite symbols in the inverse limit space have been difficult to solve the practical problems in life. Therefore, scholars began to try to extend the inverse limit space to the double inverse limit space and study the dynamical properties of Lipschitz tracking property, topological transitivity, and nonwandering points in the double inverse limit space. The relevant results are shown in [58]. Up to now, there are few new results in the double inverse limit space and it needs to be further studied. In addition, it is known that shadowing property and regularly recurrent point have always been the focus of topological dynamical systems. At present, many scholars have studied them in the inverse limit space and obtained valuable research results (see [915]). But there are few research results about them in the double inverse limit space. In this paper, firstly, the new concepts of sequence shadowing property and regularly recurrent point are given in double inverse limit space. Secondly, by using the method of mutual disclosure of the double self-map fg and the double shift map σfσg, we can obtain the following theorem.

Theorem 1. Let (X, d) be a compact metric space, f : XX be a continuous map, g : XX be a continuous map, and fg = gf. Then, we have that

(1)

Theorem 2. Let (X, d) be a compact metric space, f : XX be a homeomorphic map, g : XX be a homeomorphic map, and fg = gf. Then, the double self-map fg has sequence shadowing property if and only if the double shift map σfσg has sequence shadowing property.

The results enrich the conclusions of sequence shadowing property and regularly recurrent point in the double inverse limit space.

2. Regularly Recurrent Point in the Double Inverse Limit Space

Definition 3. Let (X, d) be a metric space and f be a continuous map from X to X. f is said to be a homeomorphic map if f is one-to-one and the map f and f−1 are continuous.

Definition 4 (see [7].)Let (X, d) be a compact metric space, f : XX be a continuous map, g : XX be a continuous map and fg = gf. Xfg is said to be the double inverse limit spaces of X if we write

(2)

where we write .

The metric in Xfg is defined by
(3)
where and.
The double shift map σfg : XfgXfg is defined by
(4)
Thus, is compact metric space, and the double shift map σfg is homeomorphic. In addition, we have
(5)
For any i, jZ, the projection map πi,j : XfgX is defined by
(6)

Then, the map πi,j is a continuous, surjective, and open map.

Definition 5. Let (X, d) be a metric space and f be a continuous map from X to X. A point xX is called to be a regularly recurrent point if each open set xU, there exists positive integer m > 0 such that for any positive integer k > 0, we have fkm(x) ∈ U, denoted by RR(f) the regularly recurrent point set of the map f.

Remark 6. According to the concept of regularly recurrent point of the map f, we will give the concept of regularly recurrent point of the double map fg.

Definition 7. Let (X, d) be a compact metric space, f : XX be a continuous map, g : XX be a continuous map, and fg = gf. A point xX is called to be a regularly recurrent point if each open set xU, there exists positive integer n, m > 0 such that for any positive integer k, l > 0, we have fknglm(x) ∈ U, denoted by RR(fg) the regularly recurrent points set of the double map fg.

In order to prove the main theorem in this section, we will give two lemmas below.

Lemma 8 (see [8].)Let (X, d) be a compact metric space, f : XX be a continuous map, g : XX be a continuous map, and fg = gf. Then, for any positive integer i, jZ and nonnegative integer m, n ≥ 0, we have

(7)

Lemma 9. Let (X, d) be a compact metric space, f : XX be a continuous map, g : XX be a continuous map, and fg = gf. Then, we have that

(8)

Proof. Suppose x ∈ RR(fg). Let U be an any open set containing the point fg(x). Then, (fg)−1(U) is an open set containing the point x. According to x ∈ RR(fg), there exists positive integer n, m > 0 such that for any positive integer k, l > 0, we have

(9)

Thus, fknglm(fg(x)) ∈ U. So fg(x) ∈ RR(fg). Hence,fg(RR(fg)) ⊂ RR(fg).

Remark 10. The regularly recurrent point set RR(fg) is invariant to the double map fg. So we can study the double inverse limit space of the double self-map fg in the regularly recurrent point set RR(fg). Now let us give the proof process of Theorem 11.

Theorem 11. Let (X, d) be a compact metric space, f : XX be a continuous map, g : XX be a continuous map, and fg = gf. Then, we have

(10)

Proof. Suppose . For any integer i, jZ, let U be an any open set containing the point xi,j. Thus, is an open set containing the point . According to , there exists positive integer n, m > 0 such that for any positive integer k, l > 0, we have that

(11)

Thus, we have that

(12)

By Lemma 8, we can get that

(13)

That is,

(14)

So xi,j ∈ RR(fg). Hence, .

Suppose . Then, for any integer i, jZ, we have

(15)

Let V be an any open set containing the point . Then, πi,j(V) is an open set containing the point yi,j. Thus, there exists positive integer t1, t2 > 0 such that for any positive integer p, s > 0, we have that

(16)

Thus, we have that

(17)

By Lemma 8, we can get that

(18)

Thus, we have that

(19)

So . Hence, . This completes the proof.

3. Sequence Shadowing Property in the Double Inverse Limit Space

Definition 12 (see [4].)Let (X, d) be a metric space and f be a continuous map from X to X. The sequence is called δ-pseudo orbit of f if for any i ≥ 0, we have d(f(xi), xi+1) < δ.

Definition 13 (see [4].)Let (X, d) be a metric space and f be a continuous map from X to X. The sequence is said to be ε-shadowed by the point x in X if for any i ≥ 0, we have d(fi(x), xi) < ε.

Definition 14 (see [4].)Let (X, d) be a metric space and f be a continuous map from X toX. The map f has a sequence shadowing property if each ε > 0, there exists δ > 0 such that any δ-pseudo orbit of f, there exists a point x in X and nonnegative integer sequence such that the sequence is ε-shadowed by the pointx.

Remark 15. By Definitions 1214, we will give the concept of sequence shadowing property of the double map fg.

Definition 16. Let (X, d) be a compact metric space, f : XX be a continuous map, g : XX be a continuous map, and fg = gf. The sequence is called δ-pseudo orbit of the double map fg if for any integer i, jZ, we have d(fg(xi,j), xi+1,j+1) < δ.

Definition 17. Let (X, d) be a compact metric space, f : XX be a continuous map, g : XX be a continuous map, and fg = gf. The sequence is said to be ε-shadowed by the point x in X if for any positive integer i, jZ, we have

(20)

Definition 18. Let (X, d) be a compact metric space, f : XX be a continuous map, g : XX be a continuous map, and fg = gf. The double map fg has sequence shadowing property if each ε > 0, there exists δ > 0 such that for any δ-pseudo orbit of fg, there exists a point x in X and increasing positive integer sequence and such that the sequence is ε-shadowed by the point xX.

Now we begin to prove Theorem 19.

Theorem 19. Let (X, d) be a compact metric space, f : XX be a homeomorphic map, g : XX be a homeomorphic map, and fg = gf. Then, the double map fg has sequence shadowing property if and only if the double shift map σfσg has sequence shadowing property.

Proof. Suppose the double map fg has the sequence shadowing property. Since X is compact metric space, it is bounded. Write M = diam(X). Then, for any ε > 0, there exists positive integer m1 > 0 and n1 > 0 such that

(21)

Since the map f and g is uniformly continuous, it follows that for any 0 ≤ i ≤ 2m1 and 0 ≤ j ≤ 2n1, there exists 0 < δ1 < ε such that d(u, v) < δ1 implies

(22)

Note that the double map fg has the sequence shadowing property, and it follows that there exists 0 < δ2 < δ1 such that for any δ2-pseudo orbit of fg, there exists a point xX and increasing positive integer sequence and such that the sequence is δ1-shadowed by the point x. Let be -pseudo orbit of the double map σfσg where . Then, for any integer s, tZ, we have that

(23)

According to the definition of the metric , for any integer s, tZ, we can get that

(24)

So we have that

(25)

Thus, is δ2-pseudo orbit of the double map fg in X. Hence, there exists xX and increasing positive integer sequence and such that for any integer s, tZ, we have that

(26)

By (22), for any 0 ≤ i ≤ 2m1 and 0 ≤ j ≤ 2n1, we can get

(27)

Let and . For any i ≥ 0 and j ≥ 0, we have that

(28)

So the point is in Xfg. It is easy to know that

(29)

When |h| > m1 or |k| > n1, we can, respectively, get that

(30)

When |h| > m1 and |k| > n1, for any 0 ≤ i ≤ 2m1 and 0 ≤ j ≤ 2n1, we have that

(31)

where m1h = i and n1k = j.

By (27), we can obtain that

(32)

Thus, for any h, kZ we can get that

(33)

So for any integer s, tZ, we have that

(34)

Hence, the double shift map σfσg has the sequence shadowing property.

Suppose the double shift map has the sequence shadowing property. For each η > 0, there exists δ3 > 0 such that for any δ3-pseudo orbit of σfσg, there exists a point yX and increasing positive integer sequence and such that the sequence is η-shadowed by the point y. Let m2 > 0 and n2 > 0 such that

(35)

Since the map f and g is uniformly continuous, it follows that for any −m2sm2 and−n2tn2, there exists 0 < δ4 < δ3 such that d(u, v) < δ4 implies

(36)

Let be δ4-pseudo orbit of the double map fg. Then, for any i, jZ, we have that

(37)

By (36), when −m2sm2 and −n2tn2, we have that

(38)

For every yi,j, let . It is easy to know that

(39)

When |h| > m2 or |k| > n2, we can, respectively, get that

(40)

When |h| > m2 and |k| > n2, for any −m2sm2 and −n2tn2, we have that

(41)

where −h = s and −k = t.

By (38), we can get that

(42)

So for any integer h, kZ, we have that

(43)

Thus for any integer i, jZ, we have that

(44)

Hence, is δ3-pseudo orbit of the double map σfσg in Xf°g. So there exists a point and increasing positive integer sequence and such that for any integer i, jZ, we have that

(45)

According to the definition of the metric , we can get that

(46)

Hence, the map fg has the sequence shadowing property. Thus, we end the proof.

4. Conclusion

Firstly, we give the new concepts of sequence shadowing property and regularly recurrent point of double inverse limit space in this paper. Secondly, let (X, d) be a compact metric space, f : XX be a homeomorphic map, g : XX be a homeomorphic map, and fg = gf. By using the method of mutual disclosure of the double self-map fg and the double shift map σfσg, we can obtain the following results: (1) ; (2) the double self-map fg has sequence shadowing property if and only if the double shift map σfσg has sequence shadowing property. These results enrich the conclusions of sequence has shadowing property and regularly recurrent point in double inverse limit space. Most importantly, it provided the theoretical basis and scientific foundation for the application of sequence shadowing property in computational mathematics and biological mathematics.

Conflicts of Interest

The author declares that there are no conflicts of interest regarding the publication of this article.

Acknowledgments

This research was partially supported by the NSF of Guangxi Province (2020JJA110021) and construction project of Wuzhou University of China (2020B007).

    Data Availability

    The data used to support the findings of this study are included within references [115] in the article.

      The full text of this article hosted at iucr.org is unavailable due to technical difficulties.