On Some Chaos Notions of Supra Topological Space

Malouh Baloush¹, Syahida Che Dzul-Kifli²

¹Department of Basic Scientific and Human Science, National University College of Technology, Amman, Jordan.
²School of Mathematical Sciences, Faculty of Science and Technology, National University of Malaysia, Selangor, Malaysia.

DOI: 10.4236/oalib.1108609                

Abstract

In this paper, we investigate the dynamics of supra topological space. We introduce some concepts of supra chaos notions, i.e., supra transitive, supra minimal, supra totally transitive, supra mixing, supra locally everywhere onto (briefly, supra l.e.o), and supra weakly blending. First, we investigate some properties of supra transitive map, after that we figure out the relations of the supra chaos notions with the classical chaos notions and showed that supra l.e.o, supra mixing, supra totally transitive, and supra weakly blending implies l.e.o, topologically mixing, totally transitive, and weakly blending, respectively. Finally, we study the implication relations among the considered supra chaos notions and proved that supra l.e.o implies supra mixing, supra totally transitive, and supra weakly blending.

Keywords

Supra Transitive, Supra Mixing, Supra Locally Everywhere Onto

1. Introduction

Introducing new generalized topological spaces and exploring their topological properties in various approaches has become a phenomenon in the development of mathematical sciences. Levine (see [1] ) in his paper “Semi-open Sets and Semi-continuity in Topological Spaces” generalized a topology by replacing open sets with semi-open sets and obtained some results. After that, different types of generalized open sets are introduced such as preopen, semi-preopen, etc. All these generalized sets have a common property which is closed under arbitrary union. In 1983, Mashhour et al. (see [2] ) considered all of these sets and defined a generalized space called supra topological space. In other words, the family of open sets is replaced with a larger one. So, the supra open sets are defined where the supra topological spaces are presented.

In 2008, Jassim (see [3] ) defined and studied compact, open cover, open sub cover concepts in supra topological spaces. In 2016 Al-Shami (see [4] ) introduced and investigated some notions in supra topological spaces such as almost supra compact, supra Lindelof, supra regular and supra normal spaces.

In 2018, Jassim et al. (see [5] ) introduced and defined a new class of topological transitive maps called topological semi-transitive, bi-supra transitive map by replacing open set in the definition of transitivity with semiopen and bisupra open sets (a subset A of a set X is called a bisupra-open set if $A=B\cap C$ , where B is semiopen set and C is preopen set). As far as we know, the dynamics of supra topological space are not yet explored. So, motivated by this and the previously mentioned studies, we extend the study of supra topological space to a dynamical study. We define and introduce some supra chaos notions, i.e., supra transitive, supra totally transitive, supra mixing, supra l.e.o, and supra weakly blending in analogue to chaos notions of topological spaces and investigate the relations among these chaos notions on supra topological space and proved supra l.e.o implies supra mixing, supra totally transitive, and supra weakly blending. Also, we figure out their relations with the classical chaos notions and we showed that supra l.e.o, supra mixing, supra totally transitive, and supra weakly blending imply l.e.o, topologically mixing, totally transitive, and weakly blending, respectively.

2. Preliminaries

Definition 2.1. (See [6] ) A function $f\mathrm{<mo>\; :\; </mo>}X\to X$ is said to be transitive if for any non-empty open subsets $U\mathrm{,}V\subset X$ , there exists $n>0$ such that $f^n\left(U\right)\cap V\ne \varphi$ .

Definition 2.2. (See [7] ) A function $f\mathrm{<mo>\; :\; </mo>}X\to X$ is said to be totally transitive if $f^n$ is transitive for all integers $n\ge 1$ .

Definition 2.3. (See [8] A function) $f\mathrm{<mo>\; :\; </mo>}X\to X$ is said to be mixing if for any non-empty open subsets $U\mathrm{,}V\subset X$ , there exists $N\in \mathbb{N}$ such that $f^n\left(U\right)\cap V\ne \varphi$ , for all $n>N$ .

Definition 2.4. (See [9] ) A function $f\mathrm{<mo>\; :\; </mo>}X\to X$ is said to be locally everywhere onto or simply l.e.o if for every open subset $U\subseteq X$ there exists a positive integer n such that $f^n\left(U\right)=X$ .

Definition 2.5. (See [10] ) A function $f\mathrm{<mo>\; :\; </mo>}X\to X$ is said to be weakly blending if for any pair of non-empty open sets U and V in X, there is some $n>0$ such that $f^n\left(U\right)\cap f^n\left(V\right)\ne \varnothing$ , and strongly blending if, for any pair of non-empty open sets U and V in X, there is some $n>0$ such that $f^n\left(U\right)\cap f^n\left(V\right)$ contains a non-empty open subset.

Definition 2.6. (See [2] ) Let X be a set and ${\tau }^{\mathrm{<mo>\; *\; </mo>}}$ a family of subsets of X. ${\tau }^{\mathrm{<mo>\; *\; </mo>}}$ is said to be a supra topology on X, if the following axioms hold:

1. X and the empty set $\varphi$ are in ${\tau }^{\mathrm{<mo>\; *\; </mo>}}$ .

2. The union of an arbitrary family of members in ${\tau }^{\mathrm{<mo>\; *\; </mo>}}$ is also in ${\tau }^{\mathrm{<mo>\; *\; </mo>}}$ .

The members of ${\tau }^{\mathrm{<mo>\; *\; </mo>}}$ are called supra open sets, and the complement of a supra open set is called a supra closed set.

Definition 2.7. (See [2] ) Let $\left(X\mathrm{,}\tau \right)$ be a topological space, and let ${\tau }^{\mathrm{<mo>\; *\; </mo>}}$ be a supra topology on X. Then ${\tau }^{\mathrm{<mo>\; *\; </mo>}}$ is said to be a supra topology associated with $\tau$ if $\tau \subset {\tau }^{\mathrm{<mo>\; *\; </mo>}}$ .

Definition 2.8. (See [11] ) Let $\left(X\mathrm{,}{\tau }^{\mathrm{<mo>\; *\; </mo>}}\right)$ be a supra topological space and $A\subseteq X$ . Then,

1. The supra closure of a set A is denoted by $C{l}^s\left(A\right)$ and defined by $C{l}^s\left(A\right)=\cap \left\{B\mathrm{<mo>\; :\; </mo>}B\text{isasupraclosedand}A\subseteq B\right\}$ .

2. The supra interior of a set A is denoted by $In{t}^s\left(A\right)$ and defined by $In{t}^s\left(A\right)=\cup \left\{G\mathrm{<mo>\; :\; </mo>}G\text{isasupraopenand}A\supseteq G\right\}$ .

Theorem 2.9. (See [2] ) Let X be a set and ${\tau }^{\mathrm{<mo>\; *\; </mo>}}$ be a supra topology defined on X. Then,

1. $In{t}^s\left(A\cap B\right)\subseteq In{t}^s\left(A\right)\cap In{t}^s\left(B\right)$ .

2. $C{l}^s\left(A\right)\cup C{l}^s\left(B\right)\subseteq C{l}^s\left(A\cup B\right)$ .

3. $D^s\left(A\right)\cup D^s\left(B\right)\subseteq D^s\left(A\cup B\right)$ .

Proposition 2.10. (See [4] ) Let $\left(X\mathrm{,}{\tau }^{\mathrm{<mo>\; *\; </mo>}}\right)$ be a supra topological space. Then for any subset A of X, the following holds;

1. $C{l}^s(\varnothing )=\varnothing$ .

2. $A\subseteq C{l}^s\left(A\right)$ .

3. $C{l}^s\left(C{l}^s\left(A\right)\right)=C{l}^s\left(A\right)$ .

Definition 2.11. (See [2] ) Let $\left(X\mathrm{,}{\tau }_1\right)$ , $\left(Y\mathrm{,}{\tau }_2\right)$ be topological spaces and ${\tau }_1^{\mathrm{<mo>\; *\; </mo>}}$ be a supra topology associated with ${\tau }_1$ . A function $f\mathrm{<mo>\; :\; </mo>}X\to Y$ is said to be S-continuous if for each open set U in Y, $f^{-1}\left(U\right)$ is ${\tau }_1^{\mathrm{<mo>\; *\; </mo>}}$ -supra open set in X.

Definition 2.12. (See [3] ) For a supra topology $\left(X\mathrm{,}{\tau }^{\mathrm{<mo>\; *\; </mo>}}\right)$ , a supra open cover of a subset A of X is a collection $B_{\alpha }$ of supra open sets such that $A\subseteq {\displaystyle {\cup }_{\alpha }{B}_{\alpha }}$ .

Definition 2.13. (See [3] ) A supra topology $\left(X\mathrm{,}{\tau }^{\mathrm{<mo>\; *\; </mo>}}\right)$ is said to be supra compact if every supra open cover of X has a finite subcover.

Theorem 2.14. (See [3] )

1. Every supra closed subspace of a supra compact space is supra compact.

2. If X is a finite supra topological space. Then X is supra compact.

3. Dynamics of Supra Topological Space

Throughout this paper, a pair $\left(X\mathrm{,}f\right)$ of a supra compact space X and S'-continuous $f\mathrm{<mo>\; :\; </mo>}X\to X$ is said to be a supra dynamical system. A subset $A\subseteq X$ is invariant if $f\left(A\right)\subseteq A$ . It is supra dense if for every supra open set U, $A\cap U\ne \varnothing$ and nowhere supra dense if $In{t}^s\left(C{l}^s\left(A\right)\right)=\varnothing$ . It is of supra second category, if A cannot be written as the countable union of subsets which are nowhere supra dense in X, i.e., if writing A as a union $A={\displaystyle {\cup }_{n\in \mathbb{N}}}{A}_n$ implies that at least one subset $A_n\subset X$ fails to be nowhere supra dense in X.

Definition 3.1. A supra topological space $\left(X\mathrm{,}{\tau }^{\mathrm{<mo>\; *\; </mo>}}\right)$ is said to be supra separable if it has a supra dense subset which is countable.

Definition 3.2. A point $x\in X$ is called supra non-wandering point if for any supra neighbourhood U of x, there exists $n\ge 1$ such that $f^n\left(U\right)\cap U\ne \varphi$ . The set of supra non-wandering points is denoted by ${\Omega }^s\left(f\right)$ .

Proposition 3.3. For the set ${\Omega }^s\left(f\right)$ , we have,

1. ${\Omega }^s\left(f\right)$ is supra closed.

2. ${\Omega }^s\left(f\right)$ is f-invariant.

3. If f is invertible, then ${\Omega }^s\left(f\right)={\Omega }^s\left(f^{-1}\right)$ and $f\left({\Omega }^s\left(f\right)\right)={\Omega }^s\left(f\right)$ .

Proof.

(1) To see that ${\Omega }^s\left(f\right)$ is supra closed, we show its complement is supra open. If $x\notin {\Omega }^s\left(f\right)$ , then there exists a supra neighbourhood U of x such that $f^n\left(U\right)\cap U\ne \varphi$ , for all $n\ge 1$ , and hence if $V\subset U$ is any smaller supra neighbourhood of x, then all points $y\in V$ also do not belong to ${\Omega }^s\left(f\right)$ . So, for every $x\notin {\Omega }^s\left(f\right)$ , there exists $V_x\in {\tau }^{\mathrm{<mo>\; *\; </mo>}}$ such that $x\in V_x$ and $V_x\subset X-{\Omega }^s\left(f\right)$ . Thus $X-{\Omega }^s\left(f\right)$ is a union of supra open sets in X. Therefore, ${\Omega }^s\left(f\right)$ is supra closed.

(2) To show ${\Omega }^s\left(f\right)$ is invariant, let $x\in {\Omega }^s\left(f\right)$ . Let V be a supra neighbourhood of $f\left(x\right)$ . Then $U=f^{-1}\left(V\right)$ is a supra neighbourhood of x, and hence there exists some $n\ge 1$ such that $f^n\left(U\right)\cap U\ne \varphi$ . The image of this intersection under f is contained in $f^n\left(V\right)\cap V$ , and hence $f^n\left(V\right)\cap V\ne \varphi$ . Thus $f\left(x\right)\in {\Omega }^s\left(f\right)$ .

(3) Let f be invertible and let $x\in {\Omega }^s\left(f\right)$ , then for every supra neighbourhood U of x there exists $n\ge 1$ such that $f^n\left(U\right)\cap U\ne \varphi$ . The $f^{-n}$ image of this intersection is contained in $U\cap f^{-n}\left(U\right)$ , which is nonempty, and hence $x\in {\Omega }^s\left(f^{-1}\right)$ . Thus ${\Omega }^s\left(f\right)\subset {\Omega }^s\left(f^{-1}\right)$ . By the same argument, we can show that ${\Omega }^s\left(f^{-1}\right)\subset {\Omega }^s\left(f\right)$ , and then ${\Omega }^s\left(f\right)={\Omega }^s\left(f^{-1}\right)$ . Thus $f^{-1}\left({\Omega }^s\left(f\right)\right)=f^{-1}\left({\Omega }^s\left(f^{-1}\right)\right)\subset {\Omega }^s\left(f^{-1}\right)={\Omega }^s\left(f\right)$ . Hence $f\left({\Omega }^s\left(f\right)\right)={\Omega }^s\left(f\right)$ . □

Definition 3.4. A supra dynamical system $\left(X\mathrm{,}f\right)$ is called supra minimal if the orbit of each point of X is supra dense in X.

Theorem 3.5 A dynamical system $\left(X\mathrm{,}f\right)$ is called supra minimal system if one of the three equivalent conditions hold:

1. The orbit of each point of X is supra dense in X,

2. $C{l}^s\left(Or{b}_f\left(x\right)\right)=X$ for each $x\in X$ ,

3. For $x\in X$ and a nonempty supra open U in X, there exists $n\in \mathbb{N}$ such that $f^n\left(x\right)\in U$ .

Proof. If (1) holds, then by Definition 3.4 f is supra minimal. If (2) holds, then $Or{b}_f\left(x\right)$ , the orbit of each point $x\in X$ is supra dense in X. Therefore f is supra minimal. If (3) holds, then $Or{b}_f\left(x\right)$ , the orbit of each point $x\in X$ is supra dense in X. Therefore f is supra minimal. □

Theorem 3.6. For a supra dynamical system $\left(X\mathrm{,}f\right)$ , the following are equivalent:

1. $\left(X\mathrm{,}f\right)$ is supra minimal,

2. If F is a supra closed subset of X with $f\left(F\right)\subseteq F$ , then $F=X$ or $F=\varphi$ ,

3. For a nonempty supra open set U of X, $X={\displaystyle {\cup }_{n=0}^{\infty }}{f}^{-n}\left(U\right)$ .

Proof.

(i) (1) $\Rightarrow$ (2): Let f be a supra minimal map, and let F be a supra closed subset of X with $f\left(F\right)\subseteq F$ . If $F\ne \varphi$ , let $x\in F$ , since F is a supra closed subset of X, then $C{l}^s\left(F\right)=F$ , hence $C{l}^s\left(Or{b}_f\left(x\right)\right)\subset F$ . But by (2) of Theorem 3.5 we have $C{l}^s\left(Or{b}_f\left(x\right)\right)=X$ . Therefore $F=X$ .

(ii) (2) $\Rightarrow$ (3): Let U be a nonempty supra open set of X. Let $B=X-{\displaystyle {\cup }_{n=0}^{\infty }}{f}^{-n}\left(U\right)$ . Since U is a nonempty set then $B\ne X$ . Since f is S'-continuous and U is a nonempty supra open set, then B is a supra closed set and $f\left(B\right)\subset B$ , so B must be empty. Therefore $X={\displaystyle {\cup }_{n=0}^{\infty }}{f}^{-n}\left(U\right)$ .

(iii) (3) $\Rightarrow$ (1): Let U be any nonempty supra open set of X, and let $x\in X$ . Since $x\in X={\displaystyle {\cup }_{n=0}^{\infty }}{f}^{-n}\left(U\right)$ , then $x\in {\displaystyle {\cup }_{n=0}^{\infty }}{f}^{-n}\left(U\right)$ . Hence $f^n\left(x\right)\in U$ for some $n>0$ , i.e., the orbit of every point x in X is supra dense in X. Therefore, $\left(X\mathrm{,}f\right)$ is supra minimal. □

Definition 3.7. A supra dynamical system $\left(X\mathrm{,}f\right)$ is said to be supra transitive if for any non-empty supra open subsets $U\mathrm{,}V\subset X$ , there exists $n>0$ such that $f^n\left(U\right)\cap V\ne \varphi$ .

Proposition 3.8. A function $f\mathrm{<mo>\; :\; </mo>}X\to X$ is supra transitive if and only if for every nonempty supra open set U in X, ${\displaystyle {\cup }_{n=0}^{\infty }}{f}^n\left(U\right)$ is supra dense in X.

Proof. Let f be a supra transitive function, and let U be a nonempty supra open set in X. Suppose that ${\displaystyle {\cup }_{n=0}^{\infty }}{f}^n\left(U\right)$ is not supra dense in X, then there exists a supra open set V such that ${\displaystyle {\cup }_{n=0}^{\infty }}{f}^n\left(U\right)\cap V=\varphi$ . This implies that $f^n\left(U\right)\cap V=\varphi$ for all $n\in \mathbb{N}$ , which is a contradiction since f is a supra transitive. Conversely, Let U and V be two nonempty supra open sets in X. Since ${\displaystyle {\cup }_{n=0}^{\infty }}{f}^n\left(U\right)$ is supra dense in X, then for every supra open set V we have ${\displaystyle {\cup }_{n=0}^{\infty }}{f}^n\left(U\right)\cap V\ne \varphi$ . Hence there exist an integer $k>0$ such that $f^k\left(U\right)\cap V\ne \varphi$ . Therefore f is supra transitive. □

Proposition 3.9. Let $\left(X\mathrm{,}f\right)$ be a supra dynamical space. If there exists a supra dense orbit, then f is supra transitive.

Proof. Let U and V be two nonempty supra open sets in X, and let $x\in X$ such that the set $Or{b}_f\left(x\right)$ is supra dense. Since $Or{b}_f\left(x\right)$ is supra dense, there exists $n>0$ such that $f^n\left(x\right)\in U$ . Since $Or{b}_f\left(x\right)$ is supra dense, then $Or{b}_f\left(f^n\left(x\right)\right)$ is also supra dense. Hence there exists m such that $f^m\left(f^n\left(x\right)\right)\in V$ . Therefore $f^{m+n}\left(x\right)\in f^m\left(U\right)\cap V$ , and then $f^m\left(U\right)\cap V\ne \varphi$ . So f is topological supra transitive. □

Proposition 3.10. Let $\left(X\mathrm{,}f\right)$ be a supra dynamical space. If X is supra separable and of supra second category, then supra transitivity of f implies that f has supra dense orbit.

Proof. Let X be a supra separable and of supra second category. Let ${\left\{U_i\right\}}_{i=1}^{\infty }$ be a countable supra base for X, and suppose that f has no supra dense orbit, then for each $x\in X$ there exists $U_{i\left(x\right)}$ such that $f^n\left(x\right)\notin U_{i\left(x\right)}$ for every $n\in \mathbb{N}$ . Let $U={\displaystyle {\cup }_{n=0}^{\infty }}{f}^{-n}\left(U_{i\left(x\right)}\right)$ , then U is a supra open and meet every supra open set since f is supra transitive. Let

$C_{i\left(x\right)}=X-{\displaystyle {\cup }_{n=0}^{\infty }}{f}^{-n}\left(U_{i\left(x\right)}\right)$ ,

then $C_{i\left(x\right)}$ is a supra closed set since it is a complement of supra open set and nowhere supra dense. However, $X={\displaystyle {\cup }_{x\in X}}{C}_{i\left(x\right)}$ is a countable union of nowhere supra dense sets which contradicts the fact that X is of supra second category. Therefore f has supra dense orbit. □

Proposition 3.11. Let $\left(X\mathrm{,}f\right)$ be a supra dynamical system. If f is supra transitive then X does not contain two disjoint supra open invariant subsets of X.

Proof. Let f be a supra transitive map, and let U and V be two disjoint, supra open, invariant subsets of X. Since U is invariant then $f^n\left(U\right)\subseteq U$ , and hence $f^n\left(U\right)\cap V\mathrm{<mo>\; =\; </mo>}\varnothing$ , which is a contradiction since f is supra transitive. Therefore X does not contain two disjoint supra open invariant subsets of X. □

Proposition 3.12. Let $\left(X\mathrm{,}f\right)$ be a supra dynamical system. If f is supra transitive then X is not a union of two proper supra closed invariant subsets of X.

Proof. Let f be a supra transitive map, then by Proposition 3.11, X does not contain two disjoint, supra open, invariant subsets. Suppose that B₁ and B₂ are two proper, supra closed, invariant subsets such that $X=B_1\cup B_2$ . This means that we can write $X=B_1\cup B_2$ where B₁ and B₂ are nonempty proper supra closed, invariant subsets if and only if we can find nonempty proper supra closed, invariant subsets B₁ and B₂ such that $\left(X-B_1\right)\cap \left(X-B_2\right)=\varnothing$ . Since B₁ and B₂ are supra closed subsets, then $U=X-B_1$ and $V=X-B_2$ are two disjoint, supra open, invariant subsets of X, which is a contradiction since X does not contain two disjoint, supra open, invariant subsets. Therefore, X is not a union of two proper supra closed invariant subsets of X. □

Definition 3.13. A supra dynamical system $\left(X\mathrm{,}f\right)$ is said to be supra totally transitive if $f^n$ is supra transitive for all integers $n\ge 1$ .

Definition 3.14. A supra dynamical system $\left(X\mathrm{,}f\right)$ is said to be supra mixing if whenever U and V are nonempty supra open subsets of X, there exists an $N\in \mathbb{N}$ such that $f^n\left(U\right)\cap V\ne \varphi$ , for all $n>N$ .

Definition 3.15. A supra dynamical system $\left(X\mathrm{,}f\right)$ is said to be supra locally everywhere onto or simply supra l.e.o if for every supra open subset $U\subseteq X$ there exists a positive integer n such that $f^n\left(U\right)=X$ .

Definition 3.16. A supra dynamical system $\left(X\mathrm{,}f\right)$ is said to be supra weakly blending if for any pair of non-empty supra open sets U and V in X, there is some $n>0$ such that $f^n\left(U\right)\cap f^n\left(V\right)\ne \varnothing$ .

Next, we show the relation between each supra chaos notion and its analogue in topological space.

Proposition 3.17 Let $\left(X\mathrm{,}f\right)$ be a supra dynamical system. If f is supra l.e.o, then it is l.e.o

Proof. Let U be any nonempty open subset of X. Since every open set is supra open set, and since f is supra l.e.o, then there exists an integer $n>0$ such that $f^n\left(U\right)=X$ . Therefore f is l.e.o □

Proposition 3.18. Let $\left(X\mathrm{,}f\right)$ be a supra dynamical system. Then

1. If f is supra totally transitive, then it is totally transitive.

2. If f is supra mixing, then it is mixing.

3. If f is supra weakly blending, then it is weakly blending.

Proof. By the same argument in the proof of Proposition 3.17. □

After showing the relation between each supra chaos notion and its analogue in topological space, we will show the relation between the supra chaos notions, i.e., supra l.e.o, supra topologically mixing, supra totally transitive, and supra weakly blending.

Proposition 3.19. Let $\left(X\mathrm{,}f\right)$ be a supra dynamical system. If $f\mathrm{<mo>\; :\; </mo>}X\to X$ is a supra l.e.o, then it is supra transitive.

Proof. Let U and V be any nonempty supra open subsets of X. Since f is supra l.e.o, then for any supra open U, there exits integer $n>0$ such that $f^n\left(U\right)=X$ . So for any supra open V of X, we have $f^n\left(U\right)\cap V\ne \varphi$ , for some $n>0$ . Therefore f is supra transitive. □

Proposition 3.20. Let $\left(X\mathrm{,}f\right)$ be a supra dynamical system. If $f\mathrm{<mo>\; :\; </mo>}X\to X$ is a supra l.e.o, then it is supra totally transitive.

Proof. Let $U\mathrm{,}V$ be any two nonempty supra open sets in X. Since f is supra l.e.o, then for every supra open set U there exists a positive integer n such that $f^n\left(U\right)=X$ . Let $r>0$ be any integer, then we have

${\left(f^r\right)}^n\left(U\right)=f^r{f}^n\left(U\right)=f^r\left(X\right)=X,$

and so

${\left(f^r\right)}^n\left(U\right)\cap V=V\ne \varphi$ .

Hence f is supra totally transitive. □

Proposition 3.21. Let $\left(X\mathrm{,}f\right)$ be a supra dynamical system. If $f\mathrm{<mo>\; :\; </mo>}X\to X$ is a supra l.e.o, then it is supra mixing.

Proof. Let $U\mathrm{,}V$ be any two nonempty supra open sets in X. Since f is supra l.e.o then for every supra open set U there exists a positive integer n such that $f^n\left(U\right)=X$ , and then $f^n\left(U\right)\cap V\ne \varphi$ . So we can choose $N>n$ such that $f^k\left(U\right)\cap V\ne \varphi$ for every $k\ge N$ . Hence f is supra mixing. □

Proposition 3.22. Let $\left(X\mathrm{,}f\right)$ be a supra dynamical system. If $f\mathrm{<mo>\; :\; </mo>}X\to X$ is a supra l.e.o, then it is supra weakly blending.

Proof. Let $U\mathrm{,}V$ be any two nonempty supra open sets in X. Since f is supra l.e.o, then there exists $n_1,n_2>0$ such that

$f^{n_1}\left(U\right)=f^{n_2}\left(V\right)=X.$

Without lose of generality, let $n_1>n_2$ . Then

$f^{n_1}\left(U\right)=f^{n_1}\left(V\right)=X.$

So

$f^{n_1}\left(U\right)\cap f^{n_1}\left(V\right)\ne \varphi \mathrm{.}$

Hence f is supra weakly blending. □

4. Conclusion

In this paper, we introduced some concepts of supra chaos notions, i.e., supra transitive, supra totally transitive, supra mixing, supra l.e.o, and supra weakly blending. Firstly, we studied the properties of supra transitive map and after that we figured out the relation between the classical chaos notions and supra chaos notions, and proved that supra l.e.o, supra mixing, supra totally transitive, and supra weakly blending imply l.e.o, topologically mixing, totally transitive, and weakly blending, respectively. Secondly, we showed that supra l.e.o implies supra mixing, supra totally transitive, and supra weakly blending.

Acknowledgements

The authors would like to thank the National University College of Technology for the financial funding.

Conflicts of Interest

The authors declare no conflicts of interest.

References

[1]	Levine, N. (1963) Semi Open Sets and Semi Continuity in Topological Spaces. The American Mathematical Monthly, 70, 36-41. https://doi.org/10.1080/00029890.1963.11990039
[2]	Mashhour, A.S., Allam, A.A., Mahmoud, F.S. and Khedr, F.H. (1990) Supra Topological Spaces. Indian Journal of Pure and Applied Mathematics, 14, 502-510.
[3]	Jassim, T.H. (2008) On Supra Compactness in Supra Topological Spaces. Tikrit Journal of Pure Science, 14, 57-69.
[4]	Al-Shami, T.M. (2016) Some Results Related to Supra Topological Spaces. Journal of Advanced Studies in Topology, 7, 283-294. https://doi.org/10.20454/jast.2016.1166
[5]	Jassim, T.H. and Murad, M.N. (2018) Bi Supra Transitive and Semi Minimal Systems. Open Access Library Journal, 7, e4749. https://doi.org/10.4236/oalib.1104749
[6]	Devaney, R.L. (2003) An Introduction to Chaotic Dynamical Systems. Westview Press, Redwood City, CA.
[7]	Sabbaghan, M. and Damerchiloo, H. (2011) A Note on Periodic Points and Transitive Maps. Mathematical Sciences, 5, 259-266.
[8]	Denker, M., Grillenberger, C. and Sigmund, K. (1976) Ergodic Theory on Compact Spaces. Springer-Verlag, Berlin. https://doi.org/10.1007/BFb0082364
[9]	Good, C., Knight, R. and Raines, B. (2006) Nonhyperbolic One-Dimensional Invariant Sets with A Countable Infinite Collection of Inhomogeneities. Fundamenta Mathematicae, 192, 267-289. https://doi.org/10.4064/fm192-3-6
[10]	Crannell, A. (1995) The Role of Transitivity in Devaney’s Definition of Chaos. The American Mathematical Monthly, 102, 788-793. https://doi.org/10.1080/00029890.1995.12004662
[11]	Kamaraj, M., Ramkumar, G. and Ravi, O. (2012) On Supra Quotient Mappings. International Journal of Mathematics Archive, 3, 254-253.