# The Retentivity of Chaos under Topological Conjugation

Authors: Tianxiu Lu; Peiyong Zhu; Xinxing Wu
Journal: Mathematical Problems in Engineering
 (2013)

---

## Abstract

The definitions of Devaney chaos (DevC), exact Devaney chaos (EDevC), mixing Devaney chaos (MDevC), and weak mixing Devaney chaos (WMDevC) are extended to topological spaces. This paper proves that these chaotic properties are all preserved under topological conjugation. Besides, an example is given to show that the Li-Yorke chaos is not preserved under topological conjugation if the domain is extended to a general metric space.


---

## Body

## 1. Introduction and Preliminaries

The existence of chaotic behavior in deterministic systems has attracted researchers for many years. In engineering applications such as biological engineering, imaging, encryption, and chaos control, chaoticity of a system is an important subject for investigation. The complexity of a topological dynamical system is intensively discussed since the term chaos is introduced by Li and Yorke [1] in 1975. However, the definition of chaos in the sense of Li-Yorke is inconveniently in research of engineering applications. In 1989, Devaney [2] stated another known definition of chaos called “Devaney chaos” today. A map f is said to be chaotic in the sense of Devaney (or DevC for short) on a close set I if f is transitive on I, the set of periodic points of f is dense in I, and f has sensitive dependence on initial conditions.In 1992, Banks et al. [3] proved that if f:(X,d)→(X,d) is transitive and has dense periodic points, then f has sensitive dependence on initial conditions, where (X,d) is a metric space which has no isolated point. This causes that Devaney chaos is preserved under topological conjugation on general infinite metric spaces. If sensitivity is replaced by some other dynamical properties, such as weakly mixing (WMix), mixing (Mix), or exact, then we obtain stronger notions of chaos comparing with the original one (see [4–7]), which are called Weak Mixing Devaney chaos (WMDevC), Mixing Devaney chaos (MDevC), and Exact Devaney chaos (EDevC), respectively.From [7], on metric spaces, implications
(1)EDevC⟹MDevC⟹WMDevC⟹DevC
immediately follow from their definitions. Since an invertible map may not be topologically exact, then MDevC does not imply EDevC. In [8], Carnnrl gave a dynamical system which is WMix but not Mix on a compact metric space. And an example in [9] is constructed to show that there exists a DevC map that is not WMDevC. Hence, the inverse of (1) is not proper.This paper extends the definitions of DevC, WMDevC, MDevC, and EDevC to topological spaces and proves that topological conjugation preserves these chaotic properties. Moreover, we use an example to show that Li-Yorke chaos is not preserved under topological conjugation on metric spaces.Throughout this paper, let(2)ℕ={0,1,…},ℤ+={1,2,…}.
The open neighborhood system of a point x∈X is denoted by μ(x). The set of periods and periodic points of a continuous self-map f are denoted by P(f) and Per(f), respectively.Definition 1 (see [10]).
A maph:X→Y is called a homeomorphism if it is one-to-one and onto, and both h:X→Y and h-1:Y→X are continuous.Definition 2 (see [10]).
LetX and Y be two topological spaces and let f:X→X and g:Y→Y be two continuous maps. Maps f and g are said to be (topologically) conjugate if there exists a homeomorphism h:X→Y such that h∘f=g∘h, where “∘” denotes composition of two maps. For short, we call f and g  h-conjugate maps.Some more results related to topological conjugation may be found in [10–12].


## 2. Devaney Chaoticity

Throughout this section,f:X→X and g:Y→Y are two h-conjugate maps defined on two topological spaces X and Y, where h:X→Y is a homeomorphism.Definition 3.
The mapf is exact if, for every nonempty open set U⊂X, there exists some m∈ℕ such that fm(U)=X. The map f is (topological) transitive (resp., mixing) if for any two nonempty open sets U,V⊂X, there exists some m∈ℕ such that fm(U)∩V≠ϕ (resp., fn(U)∩V≠ϕ for all n≥m). The map f is weak mixing if f×f is transitive on X×X.Definition 4.
(1) The mapf:X→X is chaotic in the sense of Devaney if f is transitive on X and the set of periodic points of f is dense in X.
(2) The mapf exhibits exact Devaney chaos (resp., mixing Devaney chaos and weakly mixing Devaney chaos) if f is exact (resp., mixing and weakly mixing) and chaotic in the sense of Devaney. Devaney chaos, exact Devaney chaos, mixing Devaney chaos, and weak mixing Devaney chaos  are briefly denoted by DevC, EDevC, MDevC, and WMDevC, respectively.Similarly, from these definitions, we have these implications that (1) is right and its inverse is not proper on topological spaces.Proposition 5.
The mapf is exact if and only if g is exact.Proof.
Necessity. Given any nonempty open set V in Y, take U=h-1(V). Clearly, U is a nonempty open set in X. Since f is exact, there exists an m∈ℕ such that fm(U)=X. Noting that f and g are h-conjugate maps and that h is a homeomorphism, it follows that
(3)gm(V)=gm(h(U))=h(fm(U))=h(X)=Y.
This implies that g is exact.
Similarly to the proof of necessity, the sufficiency follows immediately.Proposition 6.
The mapf is mixing if and only if g is mixing.Proof.
Necessity. Given any two nonempty open sets V1,V2⊂Y, it is clear that U1=h-1(V1) andU2=h-1(V2) are two nonempty open sets in X. Since f is mixing, there exists N∈ℕ such that
(4)fn(U1)∩U2≠ϕholdsforalln>N.
This implies that
(5)gn(V1)∩V2=gn(h(U1))∩h(U2)=h(fn(U1))∩h(U2)⊃h(fn(U1)∩U2)≠ϕ.
Thus, g is mixing.
Sufficiency can be proved similarly.Proposition 7.
The mapf is weakly mixing if and only if g is weakly mixing.Proof.
Necessity. For any two nonempty open sets U,V⊂Y×Y, according to the construction of product topology, it follows that there exist nonempty open sets U1, U2, V1, V2⊂Y such that U1×U2⊂U and V1×V2⊂V. Since  f is weakly mixing, there exists n∈ℕ such that
(6)(f×f)n(h-1(U1)×h-1(U2))∩(h-1(V1)×h-1(V2))≠ϕ.
This implies that
(7)(g×g)n(U)∩V⊃(g×g)n(U1×U2)∩(V1×V2)=(g×g)n[(h×h)(h-1(U1)×h-1(U2))]∩[(h×h)(h-1(V1)×h-1(V2))]=(h×h)(fn(h-1(U1))×fn(h-1(U2)))∩[(h×h)(h-1(V1)×h-1(V2))]⊃(h×h)([fn(h-1(U1))×fn(h-1(U2))]∩(h-1(V1)×h-1(V2)))≠ϕ.
Thus, g is weak mixing.
Sufficiency can be proved similarly.Theorem 8 (see [3]).
The mapf is DevC on X if and only if g is DevC on Y.Proof.
Necessity. Similarly to the proof of Proposition 6, it can be verified that g is transitive on Y, as f is transitive. According to the definition of periodic points, it is not difficult to check that
(8)Per(g)⊃h(Per(f)).
Applying this, one has
(9)Per(g)¯⊃h(Per(f))¯⊃h(Per(f)¯)=h(X)=Y.
This implies that Per(g)¯=Y.
Summing up the above discussion, it follows thatg is chaotic in the sense of Devaney.
Sufficiency can be proved similarly.Applying Propositions5, 6, and 7 and Theorem 8, the following results are straightforward.Theorem 9.
The mapf is EDevC if and only if g is EDevC.Theorem 10.
The mapf is MDevC if and only if g is MDevC.Theorem 11.
The mapf is WMDevC if and only if g is WMDevC.Remark 12.
According to the results obtained in this section, it is easy to see that DevC, EDevC, MDevC, and WMDevC are all preserved under topological conjugation on metric spaces. The next section will show that this does not hold for the Li-Yorke chaos.


## 3. Li-Yorke Chaoticity

First, we give the definition of Li-Yorke chaos.Definition 13 (see [13]).
Let(X,d) be a metric space. A continuous map f:X→X is called to be chaotic in the sense of Li-Yorke if P(f)=ℕ, and there exists an uncountable  set  S0⊂X-Per(f) such that(i)
limsupn→∞d(fn(x),fn(y))>0  (∀x,y∈S0, x≠y);(ii)
liminfn→∞d(fn(x),fn(y))=0  (∀x,y∈S0);(iii)
limsupn→∞d(fn(x),fn(p))>0 (∀x∈S0,∀p∈Per(f)).Next, we constructf-map and g-map and prove that they are topologically conjugative and that f-map is Li-Yorke chaotic, but g-map is not.f-map. Let X=[0,+∞). Define d1:X×X→[0,1] as follows:
(10)d1(x,y)={0ifx=y,12[x]if[x]=[y]≡1(mod2),x≠y,1others.It is easy to see thatd1 is a metric on X. Define f:(X,d1)→(X,d1) as follows: f(0)=0,f(x)=x+1 when x∈X-ℤ+; for every nature number n≥2,
(11)f(n(n-1)2+i)=n(n-1)2+i+1when0≤i≤n-2,f(n(n-1)2+(n-1))=n(n-1)2.g-map. Let X=[0,+∞). Define d2:X×X→[0,1], where, for each pair x,y∈X,
(12)d2(x,y)={0,ifx=y,1,ifx≠y.
Then d2 is a metric on X. Define g:(X,d2)→(X,d2) such that g(x)=f(x) for each x∈X.Since bothd1 and d2 are discrete metrics on X, f-map and g-map are both continuous.Proposition 14.
f-map and g-map are topologically conjugate.Proof.
Defineh:(X,d1)→(X,d2) as h(x)=x for any x∈X. It is easy to see that the map h is a homeomorphism and that h∘f(x)=g∘h(x) holds for any x∈X.Proposition 15.
f-map is Li-Yorke chaotic.Proof.
According to the definition off-map, one has f(0)=0, and again for any n≥2, there exists xn=n(n-1)/2 such that fn(xn)=xn and fi(xn)≠xn for any 1≤i<n. This implies that
(13)P(f)=ℕ,Per(f)=ℤ+.
TakeS0=(0,1)∩(X-Per(f)). Now we assert that S0 satisfies (i), (ii), and (iii) of Definition 13.(i)
For anyx,y∈S0 with x≠y, we have
(14)1>limsupn→∞d1(fn(x),fn(y))=limsupn→∞d1(x+n,y+n)≥limsupn→∞d1(f2n(x),f2n(y))=limn→∞d1(x+2n,y+2n)=1.That is,limsupn→∞d1(fn(x),fn(y))=1>0.(ii)
Consider(15)liminfn→∞d1(fn(x),fn(y))=liminfn→∞d1(x+n,y+n)≤limn→∞d1(x+2n+1,y+2n+1)≤limn→∞122n+1=0.(iii)
For anyx∈S0 and any p∈Per(f)=ℤ+, it is easy to see that there exists a N∈ℕ such that fn(p)≤N and that fn(x)=x+n≥N+1 for any n>N+1. Then, for any n≥N+1,  d1(fn(x),fn(p))=1.So,(16)limsupn→∞d1(fn(x),fn(p))=1>0.We thus conclude thatf-map is chaotic in the sense of Li-Yorke.Proposition 16.
g-map is not Li-Yorke chaotic.Proof.
For anyx, y∈X with x≠y, it is clear that for any n∈ℕ, d2(gn(x),gn(y))=1. Then,
(17)liminfn→∞d2(gn(x),gn(y))=1.
This implies that g-map is not Li-Yorke chaotic.The following theorem holds obviously by Propositions14, 15, and 16.Theorem 17.
For a continuous self-map which is defined on a metric space, Li-Yorke’s chaoticity is not preserved under topological conjugation.Remark 18.
Section2 discusses some notions of “chaos” which can be defined on topological spaces and Section 3 studies Li-Yorke chaos on metric spaces. There are some other problems for further research; For example, could Li-Yorke chaos be extended to topological spaces? According to Section 3, we can conclude that even if Li-Yorke chaos may be extended to topological spaces, topological conjugation does not preserve it.



---

*Source: 817831-2013-12-29.xml*