Dynamical property of hyperspace on uniform space

: First, we introduce the concepts of equicontinuity, expansivity , ergodic shadowing property, and chain transitivity in uniform space. Second, we study the dynamical properties of equicontinuity, expansivity , ergodic shadowing property, and chain transitivity in the hyperspace of uniform space. Let ( ) X μ , be a uniform space, ( ( ) ) C X C , μ be a hyperspace of ( ) X μ , , and → f X X : be uniformly continuous. By using the relationship between original space and hyperspace, we obtain the following results: (a) the map f is equicontinous if and only if the induced map C f is equicontinous; (b) if the induced map C f is expansive, then the map f is expansive; (c) if the induced map C f has ergodic shadowing property, then the map f has ergodic shadowing property; (d) if the induced map C f is chain transitive, then the map f is chain transitive. In addition, we also study the topological conjugate invariance of ( ) G h , -shadowing property in metric G - space and prove that the map S has ( ) G h , -shadowing property if and only if the map T has ( ) G h , -shadowing property. These results generalize the conclusions of equicontinuity, expansivity, ergodic shadowing property, and chain transitivity in hyperspace.


Introduction
Uniform space is an important research branch of dynamical systems, and it has also been the focus and hotspot in recent years.After development, we achieved good research results (see [1][2][3][4][5][6][7][8][9][10][11][12][13][14][15]).Wu et al. [1] proved that the map f is uniformly rigid if and only if the induced map C f is uniformly rigid in the hyperspace of uniform space; Yan and Zeng [2] proved that the map f is expansive if and only if, for any > k 1, f k is expansive; Wu et al. [3] obtained that if there exists a transitive non-equicontinuity point in Hausdorff uniform space, then the map f is sensitive; Pirfalak et al. [4] proved that if the minimal point set is dense and f has topological average shadowing property, then it is topologically complete and strongly ergodic in uniform space; Ahmadi et al. [5] studied the relationship between topological entropy point and traceability in uniform space; In another study [6], Ahmadi et al. proved that f has shadowing property in a uniform space if and only if X is completely disconnected.In this article, we study the dynamical properties of equicontinuity, expan- sivity, ergodic shadowing property, and chain transitivity in the hyperspace of uniform space.Through reasoning, we obtain the following theorems: , be a uniform space, ( ( ) ) C X C , μ be a hyperspace of ( ) X μ , , and → f X X : be uniformly continuous.Then, the map f is equicontinous if and only if the induced map C f is equicontinous.Theorem 1.2.Let ( ) X μ , be a uniform space, ( ( ) ) C X C , μ be a hyperspace of ( ) X μ , , and → f X X : be uniformly continuous.If the induced map C f is expansive, then the map f is expansive.
, be a uniform space, ( ( ) ) C X C , μ be a hyperspace of ( ) X μ , , and → f X X : be uniformly continuous.If the induced map C f has ergodic shadowing property, then the map f has ergodic shadowing property.
, be a uniform space, ( ( ) ) C X C , μ be a hyperspace of ( ) X μ , , and the mapping f : X to X be uniformly continuous.If the induced map C f is chain transitive, then the map f is chain transitive.
In addition, metric G-space is also the focus of many scholars' research and the related research results are seen in [16][17][18][19][20].In the study by Ekta and Tarun [16], it is shown that if f is a pseudo-equivariant minimal homeomorphism map, it lacks pseudo-orbit tracking property in metric G-space.Ji [17] proved that the self- map f has the G-asymptotic average tracking property if and only if the shift map σ has G-asymptotic average tracking property.Ahmadi [18] proved that chain transitivity is topological conjugate invariant in metric G-space.Ji [19] proved that if the self-map f is G-chaotic, the shift map σ is G-chaotic.In this article, we introduce the concept of ( ) G h , -shadowing property in metric G-space and obtain the following theorem: , -sha- dowing property if and only if the map T has ( ) G h , -shadowing property.
Now, we prove above theorem in Section 3.

Basic definitions
In this section, we gave some concepts that may be used in the following.
[1] Let X be nonempty set.The diagonal △ of × X X is defined as follows: x X 1 Definition 2.2.
[2] Let X be nonempty set and μ be a collection of subsets of × X X.The ( ) X μ , is called a uniform space if the following conditions are satisfied: The μ is called uniform structure on a set X .A member of μ is called an entourage.
, be a uniform space.Write Then, the ζ is called uniform topology on a set X .The uniform topology ζ generated by μ is denoted by , be a uniform space.Write Clearly, C μ is a uniform structure on a set ( ) C X , and ( ( ) ) C X C , μ is a uniform space.Write where and U i be finite open set of ( ) X μ , .Then, ξ is a Vietoris topology on a set ( ) C X .According to Wu et al. [1], Vietoris topology ξ coincides with uniform topology , be a uniform space and → f X X : be uniformly continuous.The map f is expansive if there exists ∈ D μ such that for ≠ x y, there exists > n 0 satisfying , be a uniform space, → f X X : be uniformly continuous, and .
, be a uniform space and → f X X : be uniformly continuous.The map f is said to have the ergodic shadowing property if, for any ∈ U μ, there exists ∈ V μ such that for any .
, be a uniform space, → f X X : be uniformly continuous, and ∈ U μ.The sequence , be uniform space and → f X X : be uniformly continuous.The map f is chain transitive if for any ∈ U μ and ∈ x y X , , there exists U -chain , be a metric G-space and f be a continuous map from X to X .f is said to be a pseudo-equivariant map if, for all ∈ x X and ∈ p G, there exists ∈ g G such that ( ) ( ) = f px gf x .
, where all ∈ x X and e is the identity of G.
for all ∈ x X and , , is also said to be compact metric G-space.For the convenience of writing, ( ) θ g x , is usually abbreviated as gx Definition 2.14.Let ( ) X d , be a metric G-space and → f X X : be a continuous map.The map f is said to be have , -shadowing property if, for any > ε 0, there exists > δ 0 such that for any 3 Equicontinous, expansive, ergodic shadowing property, and , -shadowing property Now, we prove the main results in this section.
, be a uniform space, ( ( ) ) C X C , μ be a hyperspace of ( ) X μ , , and → f X X : be uniformly continuous.Then, the map f is equicontinous if and only if the induced map C f is equicontinous.
Proof.(Necessity) Suppose the map f is equicontinous.For any ∈ U C μ , there exists Hence, for any ∈ x A and ∈ y D, we can obtain ( ) ∈ x y W , .Applying equation ( 1) implies n n Thus, we have that n n So, Hence, the induced map C f is equicontinous.( ) Sufficiency Suppose the induced map C f is equicontinous.For any ∈ U μ, we can obtain ∈ C C .

U μ
According to that C f is equicontinous, there exists W By equation ( 2), we can obtain n n Thus, f is equicontinous.We end the proof.
, be a uniform space, ( ( ) ) C X C , μ be a hyperspace of ( ) X μ , , and → f X X : be uniformly continuous.If the induced map C f is expansive, then the map f is an expansive.
Proof.Suppose the induced map C f is expansive.Then, there exists U , then we have Then, By equation ( 3), we can obtain = A B. Thus, = x y.Hence, f is expansive.Thus, we complete the proof.□ , be a uniform space, ( ( ) ) C X C , μ be a hyperspace of ( ) X μ , , and → f X X : be uniformly continuous.Then, C f has ergodic shadowing property implying that f has ergodic shadowing property.
Proof.Suppose the induced map C f has ergodic shadowing property.For any ∈ U μ, we can obtain According to that, C f has ergodic shadowing property, and for above . .
Therefore, we can obtain that .
Dynamical property of hyperspace on uniform space  5 Card .Thus, we have, . .
That is, Thus, we can obtain that Card .Thus, we have, So the map f has ergodic shadowing property.Thus, we end the proof.
, be a uniform space, ( ( ) ) C X C , μ be a hyperspace of ( ) X μ , , and → f X X : be uniformly continuous.If the induced map C f is chain transitive, then the map f is chain transitive.
Proof.Suppose the induced map C f is chain transitive.For any ∈ U μ, we can obtain x and { } y are singleton sets.According to that, C f is chain transitive, and there exists C U -chain So the map f is chain transitive.Thus, we complete the proof.
, -sha- dowing property if and only if the map T has ( ) G h , -shadowing property.

Proof. ( )
According to the uniform continuity of h, for any > ε 0, there exists > δ 0 By equations ( 5) and ( 8), for any ≤ < i m 0 , there exists ∈ l G i such that Thus, { ( )} , 2 -chain of S. According to equation ( 7), there exists ∈ x X and ∈ p G i satisfying f o r a n y 0 ; By equations ( 5) and ( 6), for any ≤ < i m 0 , there exists ∈ s G i such that Hence, the map T has ( ) G h , -shadowing property.(Sufficiency) According to the uniform continuity of − h 1 , for any > ε 0, there exists Suppose the map T has ( ) G h , -shadowing property.Then, for above > δ 0 (11) By equations ( 5) and ( 11), for any By equations ( 5) and ( 9), for any ≤ < i m 0 , there exists ∈ s G i such that Hence, the map S has ( ) G h , -shadowing.Thus, we complete the proof.□ First, we introduce the concepts of equicontinuity, expansivity, ergodic shadowing property, and chain transitivity in uniform space.Second, we study the dynamical properties of equicontinuity, expansivity, ergodic shadowing property, and chain transitivity in the hyperspace of uniform space.Let ( ) X μ , be a uniform space, ( ( ) ) C X C , μ be a hyperspace of ( ) X μ , , and → f X X : be uniformly continuous.By using the relationship between original space and hyperspace, we obtain the following results: (1) the map f is equicontinous if and only if the induced map C f is equicontinous; (2) if the induced map C f is expansive, then the map f is expansive; (3) if the induced map C f has ergodic shadowing property, then the map f has ergodic shadowing property; and (4) if the induced map C f is chain transitive, then the map f is chain transitive.In addition, we also study the topological conjugate invariance of ( ) G h , -shadowing property in metric G-space and prove that the map S has ( ) G h , -shadowing property if and only if the map T has ( ) G h , -shadowing property.These new results enrich the conclusions of equicontinuity, expansivity, ergodic shadowing property, and chain transitivity in the hyperspace.They are sharp and more accurate compared to the conclusions of equicontinuity, expansivity, ergodic shadowing property, and chain transitivity in the hyperspace.Most importantly, it provides the theoretical basis and scientific foundation for the application of equicontinuity, expansivity, ergodic shadowing property, chain transitivity, and shadowing property in computational mathematics, biological mathematics, nature, and society.