Scientific Research

An Academic Publisher

**Chaos, Mixing, Weakly Mixing and Exactness** ()

*θ*-chaos,

*θ*exact chaos,

*θ*-mixing chaos are introduced and extended to topological spaces. Our purpose is to investigate other types of transitivity, chaos and mixing, because when we confirm not existence of

*θ*-transitivity we confirm not existence of other types of transitive functions and its absence cannot find other types of transitivity. So the author must confirm the existence of this type of transitivity. We have proved that these chaotic definitions are all preserved under

*θ*r-conjugation.

Keywords

Share and Cite:

*Open Access Library Journal*,

**5**, 1-7. doi: 10.4236/oalib.1103773.

1. Introduction

In this research paper, new types of minimal systems, transitivity and exactness are introduced and studied. This is intended as a survey article on transitivity and chaoticity of a discrete system given by θ-irresolute self-map of a topological space. On one hand, it introduces postgraduate students to the study of new types of exactness, minimal systems and chaotic maps and gives an overview of results on the topic, but, on the other hand, it covers some of the recent developments of dynamics, technology, electronic and computer science. We denote the interior and the closure of a subset A of X by $Int\left(A\right)$ and $Cl\left(A\right)$ respectively. By a space X, we mean a topological space $\left(X,\tau \right)$ . A point $x\in X$ is called a θ-adherent point of A [1] , if $A\cap Cl\left(U\right)\ne \varphi $ for every open set U containing x. The set of all θ-adherent points of a subset A of X is called the θ-closure of A and is denoted by $C{l}_{\theta}\left(A\right)$ . A subset A of X is called θ-closed if $A=C{l}_{\theta}\left(A\right)$ . Dontchev and Maki [2] have shown that if A and B are subsets of a space X, then $C{l}_{\theta}\left(A\cup B\right)=C{l}_{\theta}\left(A\right)\cup C{l}_{\theta}\left(B\right)$ and that $C{l}_{\theta}\left(A\cap B\right)=C{l}_{\theta}\left(A\right)\cap C{l}_{\theta}\left(B\right)$ . Recall that a space $\left(X,\tau \right)$ is Hausdorff if and only if every compact set is θ-closed. The complement of a θ-closed set is called a θ-open set. The family of all θ-open sets forms a topology on X and is denoted by ${\tau}^{\theta}$ . This topology is coarser than τ and that a space $\left(X,\tau \right)$ is regular if and only if $\tau ={\tau}^{\theta}$ [3] . Note also that the θ-closure of a given set needs not be a θ-closed set. Our purpose is to investigate some new types of transitivity, because when we confirm not existence of θ-transitivity we can’t confirm the existence of other types of transitive functions and then we can’t study chaos theory, i.e. theta-transitivity absence cannot find other types of transitive maps therefore cannot find chaotic maps. For more knowledge about transitivity and chaotic maps see references [4] and [5] .

2. Preliminaries and Definitions

Definition 2.1

A point $x\in X$ is said to be A θ-interior point of A, if there exists an open set U containing x such that $U\subset Cl\left(U\right)\subset A$ .

The set of all θ-interior points of A is said to be the θ-interior of A, and is denoted by $In{t}_{\theta}\left(A\right)$ . It is obvious that an open set U in X is θ-open if $In{t}_{\theta}\left(A\right)=U$ .

Definition 2.2

1) A map $h:X\to Y$ is a homeomorphism if it is continuous, bijective and has a continuous inverse.

2) A map
$h:X\to Y$ is θr-homeomorphism if it is bijective and thus invertible and both h and h^{−}^{1} are θ-irresolute.

3) The systems $f:X\to X$ and $g:Y\to Y$ are topologically conjugate or conjugate if there is a homeomorphism $h:X\to Y$ such that $h\circ f=g\circ h$

4) The systems $f:X\to X$ and $g:Y\to Y$ are topologically θr conjugate or θr conjugate if there is θr-homeomorphism $h:X\to Y$ such that $h\circ f=g\circ h$

Definition 2.3 A map f is said to be transitive (resp., θ-transitive [6] ) if for any non-empty open (resp., θ-open) sets U and V in X, there exists $n\in N$ such that ${f}^{n}\left(U\right)\cap V\ne \varphi $ .

Kaki definition 2.4 A map f is said to be 1-transitive, if for every $x,y\in X$, there exists $n\in N$ such that ${f}^{n}\left(x\right)=y$ .

Theorem 2.5 every 1-transitive implies transitive.

Proof:

We have to prove that for any non-empty open sets U and V in X, there exists $n\in N$ such that ${f}^{n}\left(U\right)\cap V\ne \varphi $ . Now, since U and V are non-empty so there is $x\in U$ and $y\in V$ so there is $n\in N$ such that ${f}^{n}\left(x\right)=y$ since f is 1-transitive and $y={f}^{n}\left(x\right)\in {f}^{n}\left(U\right)$ but $y\in V$, we have $y\in {f}^{n}\left(U\right)\cap V$ i.e. ${f}^{n}\left(U\right)\cap V\ne \varphi $ .

Definition 2.6

The points x is called a non-wandering point if for every open set U containing x there is an integer $n>0$ such that ${f}^{n}\left(U\right)\cap U\ne \varphi $ .

Definition 2.7

The non-wandering set of a map f, $NW\left(f\right)$, includes the points x such that for every open set U containing x there is an integer $n>0$ such that ${f}^{n}\left(U\right)\cap U\ne \varphi $ .

Definition 2.8

The points x is called theta-non-wandering point if for every θ-open set U containing x there is an integer $n>0$ such that ${f}^{n}\left(U\right)\cap U\ne \varphi $ .

Definition 2.9

The theta-non-wandering set of a map f, $N{W}_{\theta}\left(f\right)$, includes the points x such that for every θ-open set U containing x there is an integer $n>0$ such that ${f}^{n}\left(U\right)\cap U\ne \varphi $ .

Proposition 2.10 Every non-wandering point is a theta-nonwandering point but not conversely.

3. Action of a Group on a Topological Space

If G is a group and X is a topological space, then a group action φ of G on X is a function $\phi :G\times X\to X$ such that $\phi \left(g,x\right)={\phi}_{g}\left(x\right)$ that satisfies the following three axioms [7] and [8]:

1) ${\phi}_{g}$ is continuous, for all g in G

2) Identity: ${\phi}_{g}\left(x\right)=x$ for all x in X. (Here, e denotes the neutral element of the group G.)

3) Compatibility ${\phi}_{gh}\left(x\right)={\phi}_{g}\left({\phi}_{h}\left(x\right)\right)$ for all g, h in G and all x in X.

The group G is said to act on X (on the left). The set X is called a (left) G-set.

Definition 3.1

1) The action of G on X is called 1-transitive if X is non-empty and if for each pair x, y in X there exists a g in G such that ${\phi}_{g}\left(x\right)=y$ .

2) The action of G on X is called topologically-transitive if X is non-empty and if for each non-empty pair $U,V\subset X$, there exists a g in G such that ${\phi}_{g}\left(U\right)\cap V\ne \varphi $ .

Theorem 3.2 Every 1-transitive implies topologically-transitive.

Proof: The same technique of theorem 2.5.

Definition 3.3 The action of G on X is called n-transitive if X is non-empty and if for any two ordered sets of n different points $\left\{{x}_{1},\cdots ,{x}_{n}\right\}$ and $\left\{{y}_{1},\cdots ,{y}_{n}\right\}$ in X there exists a g in G such that ${\phi}_{g}\left({x}_{i}\right)={y}_{i}$ for $i=1,\cdots ,n$ .

Definition 3.4 The action of G on X is called topologically n-transitive if X is non-empty and if for each non-empty pair ${U}_{i},{V}_{i}\subset X$, such that ${U}_{i}\cap {U}_{j}=\varphi $ and ${V}_{i}\cap {V}_{j}=\varphi $ for $i\ne j$ there exists a g in G such that ${\phi}_{g}\left({U}_{i}\right)\cap {V}_{i}\ne \varphi $ for $i=1,\cdots ,n$ .

Definition 3.5 Relative to ${\varphi}_{g}$ a point $x\in X$ is called wandering if there is an open U containing x such that ${\varphi}_{g}\left(U\right)\cap U=\varphi $ for all $g\in G$ .

Definition 3.6

1) A point $x\in X$ is θ-recurrent if, for every θ-open set U containing x, infinitely many $n\in N$ satisfy ${g}^{n}\left(x\right)\in U$ .

2) Let X be a topological space, $g:X\to X$ be θ-irresolute map, then the function g is called topologically θ-strongly mixing if, given any nonempty θ-open subsets $U,V\subseteq X\text{\hspace{0.17em}}\text{\hspace{0.17em}}\exists N\ge 1$ such that ${g}^{n}\left(U\right)\cap V\ne \varphi $ for all $n>N$ .

3) A subset B of X is g-invariant if $g\left(B\right)\subset B$ . A non-empty θ-closed invariant subset B of X is θ-minimal, if $C{l}_{\theta}\left({O}_{g}\left(x\right)\right)=B$ for every $x\in B$ . A point $x\in X$ is θ-minimal if it is contained in some θ-minimal subset of X

Theorem 3.7 if g is topologically θ-strongly mixing then it is also θ-transitive but not conversely.

Definition 3.8

1) The function f is θ-exact if, for every nonempty θ-open set U, there exists some $n\in N$ such that ${g}^{n}\left(U\right)=X$ .

2) The function g is (topological) θ-transitive (resp., θ-mixing) if for any two nonempty θ-open sets $U,V\subset X$, there exists some $n\in N$ such that ${g}^{n}\left(U\right)\cap V\ne \varphi $ . (resp. ${g}^{m}\left(U\right)\cap V\ne \varphi $ for all $m\ge n$ ).

3) The function g is weak θ-mixing if $g\times g$ is θ-transitive on $X\times X$

4) The θ-mixing function $g:X\to X$ is pure θ-mixing if and only if there exists θ-open set $U\subset X$ such that ${g}^{n}\left(U\right)\ne X$ .

5) The function $g:X\to X$ is θ-chaotic if g is θ-transitive on X and the set of periodic points of g is θ-dense in X.

6) The function g is called θ-exact chaos (resp., θ-mixing chaos and weakly θ-mixing chaos) if g is θ-exact (resp., θ-mixing and weakly θ-mixing) and θ-chaotic function on the space X.

Theorem 3.9 Theorem 3.9 topological θ-exactness implies θ-mixing implies weakly θ-mixing implies θ-transitivity

Theorem 3.10 If $f:X\to X$ and $g:Y\to Y$ are topologically θr-conjugate by a θr-homeomorphism $h:X\to Y$ . Then

1) The map f is θ-exact if and only if g is θ-exact

2) The map f is θ-mixing if and only if g is θ-mixing

3) The map f is θ-chaotic if and only if g is θ-chaotic

4) The map f is weakly θ-mixing if and only if g is weakly θ-mixing.

Theorem 3.11 if $f:X\to X$ and $g:Y\to Y$ are θr-conjugate via $h:X\to Y$ . Then

1) T is θ transitive subset of X $\iff $ $h\left(T\right)$ is θ-type transitive subset of Y;

2) T is θ-mixing subset of X $\iff $ $h\left(T\right)$ is θ-mixing subset of Y.

Corollary A subset B in the space X is a chaotic set $\iff $ $h\left(B\right)$ is a chaotic set in the space Y.

Proof (1)

Assume that
$f:X\to X$ and
$g:Y\to Y$ are topological systems which are topologically θr-conjugated by
$h:X\to Y$ . Thus, h is θr-homeomorphism (that is, h is bijective and thus invertible and both h and h^{−1} are θ-irresolute) and
$h\circ f=g\circ h$

Suppose T is θ-type transitive subset of X. Let A, B be θ-open subsets of Y with $B\cap h\left(T\right)\ne \varphi $ and $A\cap h\left(T\right)\ne \varphi $ (to show ${g}^{n}\left(A\right)\cap B\ne \phi $ for some $n>0$ ). $U={h}^{-1}\left(A\right)$ and $V={h}^{-1}\left(B\right)$ are θ-open subsets of X since h is an θ-irresolute.

Then there exists some $n>0$ such that ${f}^{n}\left(U\right)\cap V\ne \phi $ since T is θ-type transitive subset of X, with $U\cap T\ne \varphi $ and $V\cap T\ne \varphi $ . Thus (as $f\circ {h}^{-1}={h}^{-1}\circ g$ implies ${f}^{n}\circ {h}^{-1}={h}^{-1}\circ {g}^{n}$ ).

$\varphi \ne {f}^{n}\left({h}^{-1}\left(A\right)\right)\cap {h}^{-1}\left(B\right)={h}^{-1}\left({g}^{n}\left(A\right)\right)\cap {h}^{-1}(B)$

Therefore,
${h}^{-1}\left({g}^{n}\left(A\right)\cap B\right)\ne \varphi $ implies
${g}^{n}\left(A\right)\cap B\ne \varphi $ since h^{−}^{1} invertible. So h(T) is θ-type transitive subset of Y.

Proof (2)

We only prove that if T is topologically θ-mixing subset of Y then h^{−1}(T) is also topologically θ-mixing subset of X. Let U, V be two θ-open subsets of X with
$U\cap {h}^{-1}\left(T\right)\ne \varphi $ and
$V\cap {h}^{-1}\left(T\right)\ne \varphi $ . We have to show that there is N > 0 such that for any
$n>N$,
${f}^{n}\left(U\right)\cap V\ne \varphi $ .
${h}^{-1}\left(U\right)$ and
${h}^{-1}\left(V\right)$ are two θ-open sets since h is θ-irresolute with
${h}^{-1}\left(V\right)\cap T\ne \varphi $ and
${h}^{-1}\left(U\right)\cap T\ne \varphi $ . If the set T is topologically λ-mixing then there is N > 0 such that for any n > M,
${g}^{n}\left({h}^{-1}\left(U\right)\right)\cap {h}^{-1}\left(V\right)\ne \varphi $ . So
$\exists x\in {g}^{n}\left({h}^{-1}\left(U\right)\right)\cap {h}^{-1}\left(V\right)$ . That is
$x\in {g}^{n}\left({h}^{-1}\left(U\right)\right)$ and
$x\in {h}^{-1}\left(V\right)$
$\iff $
$x={g}^{n}\left(y\right)$ for
$y\in {h}^{-1}\left(U\right)$ .
$h\left(x\right)\in V$ . Thus, since
$h\circ {g}^{n}={f}^{n}\circ h$, so that
$h\left(x\right)=h\left({g}^{n}\left(y\right)\right)={f}^{n}\left(h\left(y\right)\right)\in {f}^{n}\left(U\right)$ and we have
$h\left(x\right)\in V$ that is
${f}^{n}\left(U\right)\cap V\ne \varphi $ . So, h^{−1}(T) is θ-mixing set.

Theorem 3.12 Let $\left(X,f\right)$ be a topological system and A be a nonempty θ-closed set of X. Then the following conditions are equivalent.

1) A is a θ-transitive set of $\left(X,f\right)$ .

2) Let V be a nonempty θ-open subset of A and U be a nonempty θ-open subset of X with $U\cap A\ne \varphi $ . Then ther exists $n\in N$ such that $V\cap {f}^{-n}\left(U\right)\ne \varphi $ .

3) Let U be a nonempty θ-open set of X with $U\cap A\ne \varphi $ . Then $\underset{n\in N}{\cup}{f}^{-n}\left(U\right)$ is θ-dense in A.

Theorem 3.13 Let $\left(X,f\right)$ be topological system and A be a nonempty θ-closed invariant set of X. Then A is a θ-type transitive set of $\left(X,f\right)$ if and only if $\left(A,f\right)$ is θ-type transitive set.

Proof:

$\Rightarrow $ ) Let ${V}_{1}$ and ${U}_{1}$ be two nonempty θ-open subsets of A. For a nonempty θ-open subset ${U}_{1}$ of A, there exists a θ-open set U of X such that ${U}_{1}=U\cap A$ Since A is a θ-type transitive set of $\left(X,f\right)$, there exists $n\in N$ such that $f\left({V}_{1}\right)\cap U\ne \varphi $ . Moreover, A is invariant, i.e., $f\left(A\right)\subset A$, which implies that $f\left(A\right)\subset A$ . Therefore, $f\left({V}_{1}\right)\cap A\cap U\ne \varphi $, i.e. $f\left({V}_{1}\right)\cap {U}_{1}\ne \varphi $ . This shows that $\left(A,f\right)$ is θ-type transitive.

$\Leftarrow $ ) Let ${V}_{1}$ be a nonempty θ-open set of A and U be a nonempty θ-open set of X with $A\cap U\ne \varphi $, Since U is an θ-open set of X and $A\cap U\ne \varphi $, it follows that $U\cap A$ is a nonempty θ-open set of A. Since $\left(A,f\right)$ is topologically θ-type transitive, there exists $n\in N$ such that $f\left({V}_{1}\right)\cap \left(A\cap U\right)\ne \varphi $, which implies that $f\left({V}_{1}\right)\cap U\ne \varphi $ . This shows that A is a θ-type transitive set of $\left(X,f\right)$ .

We now introduce four definitions of dense orbit and transitivity as follows:

Definition 3.14 Let X be a topological space.

1) A map f is said to have θ-dense orbit if there exists $x\in X$ such that $C{l}_{\theta}\left({O}_{f}\left(x\right)\right)=X$ ;

2) A map f is said to have strictly dense orbit (resp., strictly θ-dense orbit), if there exists $x\in X$ such that $Cl\left({O}_{f}\left(f\left(x\right)\right)\right)=X$ (resp. $C{l}_{\theta}\left({O}_{f}\left(f\left(x\right)\right)\right)=X$ );

3) A map f is said to be ω-transitive if there exists $x\in X$ such that $\omega \left(x,f\right)=X$ ;

4) A map f is said to be transitive (resp., θ-transitive) if for any non-empty open (resp., θ-open) sets U and V in X, there exists $n\in N$ such that ${f}^{n}\left(U\right)\cap V\ne \varphi $ .

Now, we will discuss the relations between these orbits and transitivity maps in the theorem below:

Theorem 3.15

1) For any topological space X, each strictly θ-dense orbit is α θ-dense orbit, and each ω-transitive map has strictly dense orbit and it is transitive.

2) For any topological space X, each continuous map which has strictly dense orbit is ω-transitive and transitive.

Acknowledgements

First, thanks to my family for having the patience with me for having taking yet another challenge which decreases the amount of time I can spend with them. Specially, my wife who has taken a big part of that sacrifice, and also Sarmad, my son who helps me for typing my research. Thanks to all my colleagues for helping me for completing my research.

Conflicts of Interest

The authors declare no conflicts of interest.

[1] |
Velicko, N.V. (1968) H-Closed Topological Spaces. (Russian) Mat. Sb. (N.S.) 70 (112) (1966), 98-112; English transl. American Mathematical Society Translations, 78, 102-118. https://doi.org/10.1090/trans2/078/05 |

[2] | Dontchev, J. and Maki, H. (1998) Groups of θ-Generalized Homeomorphisms and the Digital Line. Topology and Its Applications, 201-216. |

[3] | Jankovic, D.S. (1986) θ-Regular Spaces. International Journal of Mathematics and Mathematical Sciences, 8615-8619. |

[4] | Kaki, M.N.M. (2015) Chaos: Exact, Mixing and Weakly Mixing Maps. Pure and Applied Mathematics Journal, Science PG, 4, 39-42. |

[5] | Kaki, M.N.M. (2015) New Concepts of Alpha-Chaotic Maps. Journal of Multidisciplinary Engineering Science and Technology (JMEST), 2, 187-190. |

[6] | Kaki, M.N.M. (2012) Introduction to θ-Type Transitive Maps on Topological Spaces. International Journal of Basic & Applied Sciences IJBAS-IJENS, 12, 104-108. |

[7] | Eie & Chang (2010) A Course on Abstract Algebra. 144. |

[8] | https://en.wikipedia.org/wiki/Group_action#cite_note-1 |

Copyright © 2020 by authors and Scientific Research Publishing Inc.

This work and the related PDF file are licensed under a Creative Commons Attribution 4.0 International License.