Bi Supra Transitive and Semi Minimal Systems

Taha H. Jasim¹, Mohammed Nokhas Murad²

¹College of Computer Science and Mathematics, University of Tikrit, Tikrit, Iraq.
²Mathematics Department, College of Science, University of Sulaymaniyah, Sulaymaniyah, Iraq.

DOI: 10.4236/oalib.1104749                

Abstract

In the present paper, we define and introduce some new class of topological transitive maps called topological semi-transitive, bi-supra transitive maps, semi-minimal systems and study some of its properties. The main results are the following propositions: Every semi-minimal map is a minimal map, but the converse is not necessarily true and every bi-supra transitive map is transitive map.

Keywords

Bi-Supra Topology, Semi Transitive, Semi Minimal Systems, Bi-Supra Transitive Maps

1. Introduction

Let A be a subset of a topological space (X, τ). The closure and the interior of A are denoted by Cl (A) and Int (A), respectively. A subset A of a topological space (X, τ) is said to be semi open [1] (Levine 1963), (resp. regular open [2] , preopen [3] ) if $A\subset Cl\left(Int\left(A\right)\right)$ (resp. $A=Int\left(Cl\left(A\right)\right)$ , $A\subset Int\left(Cl\left(A\right)\right)$ ). A set A ⊂ X is said to be δ-open [4] if it is the union of regular open sets of a space X. The complement of semi open is called semi closed and the complement of a regular open (resp. δ-open) set is called regular closed (resp. δ-closed). The intersection of all δ-closed sets of (X, τ) containing A is called the δ-closure [4] of A and is denoted by $C{l}_{\delta }\left(A\right)$ . Recall that a set S is called regular closed if $S=Cl\left(Int\left(S\right)\right)$ . A point $x\in X$ is called a δ-cluster point [4] of S if $S\cap U\ne \varphi$ for each regular open set U containing x. The set of all δ-cluster points of S is called the δ-closure of S and is denoted by $C{l}_{\delta }\left(S\right)$ . A subset S is called δ-closed if $\delta Cl\left(S\right)=S$ . The complement of a δ-closed set is called δ-open. The family of all δ-open sets of a space X is denoted by $\delta O\left(X,\tau \right)$ . The δ-interior of S is denoted by $In{t}_{\delta }\left(S\right)$ and it is defined as follows:

$In{t}_{\delta }\left(S\right)=\left\{x\in X:x\in U\subseteq Int\left(Cl\left(U\right)\right)\subseteq S\text{for}\text{some}\text{open}\text{set}U\text{of}X\right\}$

Functions and of course irresolute functions stand among the most important notions in the whole of mathematical science. Various interesting problems arise when one considers openness. Its importance is significant in various areas of mathematics and related sciences. In 1972, Crossley and Hildebrand [5] introduced the notion of irresoluteness. Many different forms of irresolute functions have been introduced over the years. In the present paper, we define and introduce some new class of topological transitive maps called topological semi-transitive, bi supra and study some of its properties.

Spacing, and type styles are built-in; examples of the type styles are provided throughout this document and are identified in italic type, within parentheses, following the example. Some components, such as multi-leveled equations, graphics, and tables are not prescribed, although the various table text styles are provided. The formatter will need to create these components, incorporating the applicable criteria that follow.

2. Preliminaries and Definitions

Norman Levin [1] has developed a few properties of semi-open sets and has defined semi-continuity in terms of them but has not developed a topology on them. This report is an attempt to carry his development further.

Definition 2.1. Recall that a set A in $\left(X,\tau \right)$ is said to be semi open (written S.O.) if there exists an open set O such that $O\subseteq A\subseteq Cl\left(O\right)$ .

Theorem 2.2. [1] A subset A in a topological space X is called S.O. if $A\subseteq Cl\left(Int\left(A\right)\right)$ .

Proof:

Necessity: Let A be S.O.; then $O\subseteq A\subseteq Cl\left(O\right)$ for some open set O. But $O\subseteq Int\left(A\right)$ and thus $Cl\left(O\right)\subseteq Cl\left(Int\left(A\right)\right)$ . Hence $A\subseteq Cl\left(O\right)\subseteq Cl\left(Int\left(A\right)\right)$ .

Sufficiency: Let $A\subseteq Cl\left(Int\left(A\right)\right)$ . Then for $O=Int\left(A\right)$ , $O\subseteq A\subseteq Cl\left(O\right)$ .

Theorem 2.3. Let ${\left(A_{\alpha }\right)}_{\alpha \in I}$ be a collection of S.O. sets in a topological space X. Then ${\displaystyle {\cup }_{\alpha \in I}{A}_{\alpha }}$ is S.O. in X.

Definition 2.4. [3] Let X be a topological space and $A\subset X$ . A is called pre-open (P-open) in X Iff $A\subseteq Int\left(Cl\left(A\right)\right)$ . A is called p-closed iff $A^C$ is P-open and it is easy to see that A is P-closed set iff $Cl\left(Int\left(A\right)\right)\subseteq A$ .

Definition 2.5.

Let X be a topological space and $x\in X$ , $A\subset X$ . The Point x is called a P-limit point of A if each P-open set containing x, contains a point of A distinct from x.

We shall call the set of all P-limit points of A the P-derived set of A and denoted it by ${A^{\prime }}^p$ . Therefore $x\in {A^{\prime }}^p$ iff for every P-open set G in X such that $x\in G$ implies that $\left(G\cap A\right)\backslash \left\{x\right\}\ne \varphi$ .

3. Semi-Transitive Functions and Semi-Minimal

Let $\left(X,\tau \right)$ be a topological space. By a semi-system $\left(SO\left(X\right),f\right)$ we mean a set of all semi-open subsets of X together with irresolute map. $f:X\to X$ . A set $A\subseteq X$ is called f-invariant if $f\left(A\right)\subseteq A$ .

Topologically semi-transitive and existence of a semi-dense orbit are two notions that play an important rule in every definition of semi-chaos.

Definition 3.1.

1) Let $\left(X,\tau \right)$ be a topological space, a semi-system $\left(SO\left(X\right),f\right)$ and $f:X\to X$ irresolute function, then f is said to be a topologically semi-transitive function if for every pair of semi-open sets U and V in X there is a positive integer n such that $f^n\left(U\right)\cap V\ne \varphi$ .

2) Let $\left(X,\tau \right)$ be a topological space, and $f:X\to X$ a continuous function, then f is said to be a topologically transitive function if for every pair of open sets U and V in X there is a positive integer n such that $f^n\left(U\right)\cap V\ne \varphi$ .

3) A semi-system $\left(SO\left(X\right),f\right)$ is said to be semi-minimal if X does not contain any non-empty, proper, semi-closed f-invariant subset. In such a case we also say that the map f itself is semi-minimal.

Given a point x in a semi-system, $\left(SO\left(X\right),f\right)$ , $O_f\left(x\right)=\left\{x,f\left(x\right),f^2\left(x\right),\cdots \right\}$ denotes its forward orbit (by an orbit we mean a forward orbit, and ${\omega }_f\left(x\right)$ denotes its $\omega$ -limit set, i.e. the set of semi-limit points of the sequence $x,f\left(x\right),f^2\left(x\right),\cdots$ .

Now, we introduce a new definition on minimal functions called semi-minimal and we study some new theorems associated with this new definition.

A semi-system $\left(SO\left(X\right),f\right)$ is called semi-minimal if X does not contain any non-empty, proper, s-closed f-invariant subset. In such a case we also say that the map f itself is semi-minimal. Another definition of semi-minimal function is that if the orbit of every point x in X is semi-dense in X then the map f is said to be semi-minimal. Let us introduce and study an equivalent new definition.

Definition 3.2. (Semi-minimal) Let X be a topological space, SO (X) be the set of all semi-open sets in X and be irresolute function on X. Then $\left(SO\left(X\right),f\right)$ is called semi-minimal system (or f is called semi-minimal function on X) if one of the three equivalent conditions hold:

1) The orbit of each point of X is semi-dense in X.

2) $C{l}_s\left(O_f\left(x\right)\right)=X$ for each $x\in X$ .

3) Given $x\in X$ and a nonempty semi-open U in X, there exists $n\in N$ such that $f^n\left(x\right)\in U$ .

Theorem 3.3. For $\left(SO\left(X\right),f\right)$ the following statements are equivalent:

1) f is an semi-minimal function.

2) If E is an semi-closed subset of X with $f\left(E\right)\subset E$ , we say E is invariant. Then $E=\varphi$ or $E=X$ .

3) If U is a nonempty semi-open subset of X, then ${\displaystyle \underset{n=0}{\overset{\infty }{\cup }}{f}^{-n}\left(U\right)}=X$ .

Proof:

1) $\Rightarrow$ 2): If $A\ne \varphi$ , let $x\in A$ . Since A is invariant and semi-closed, i.e. $C{l}_s\left(A\right)=A$ so $C{l}_s\left(O_f\left(x\right)\right)\subset A$ . On other hand $C{l}_s\left(O_f\left(x\right)\right)=X$ .

Therefore A = X.

2) $\Rightarrow$ 3) Let $A=X\backslash {\displaystyle \underset{n=0}{\overset{\infty }{\cup }}{f}^{-n}\left(U\right)}$ . Since U is nonempty, A ≠ X and Since U is semi-open and f is irresolute, A is semi-closed. Also $f\left(A\right)\subset A$ , so A must be ϕ. f is irresolute, A is semi-closed. Also $f\left(A\right)\subset A$ , so A must be an empty set.

3) $\Rightarrow$ 1): Let $x\in X$ and U be a nonempty semi-open subset of X. Since $x\in X\backslash {\displaystyle \underset{n=0}{\overset{\infty }{\cup }}{f}^{-n}\left(U\right)}$ . Therefore $x\in f^{-n}\left(U\right)$ for some n > 0. So $f^n\left(x\right)\in U$ .

Proposition 3.4. Let SO (X) be a semi-compact space without isolated point, if there exists a semi-dense orbit, that is there exists $x_0\in X$ such that the set $O_f\left(x_0\right)$ is semi-dense then f is topologically semi-transitive.

Proof:

Let $x_0$ be such that $O_F\left(x_0\right)$ is semi-dense. Given any pair U, V of semi-open sets, by semi-density there exists n such that $f^n\left(x_0\right)\in U$ , but $O_F\left(x_0\right)$ is semi-dense implies that $O_F\left(f^n\left(x_0\right)\right)$ is semi-dense, there exists m such that $f^m\left(f^n\left(x_0\right)\right)\in V$ . Therefore $f^{m+n}\left(x_0\right)\in f^m\left(U\right)\cap V$ . That is $f^m\left(U\right)\cap V\ne \varphi$ . So f is topological semi-transitive.

Definition 3.5. A semi-system $\left(SO\left(X\right),f\right)$ is called topologically semi-mixing if for any pair U, V of non-empty semi-open sets there exists $N\in {\rm N}$ such that for all n ≥ N we have $f^n\left(U\right)\cap V\ne \varphi$ . Topologically semi-mixing conveys the idea that each semi-open set U, after iterations of f, for each semi-open set V, for all n sufficiently large, $f^n\left(U\right)$ intersects V.

Definition 3.6. 1) A map $h:X\to Y$ is called sr-homeomorphism if it is bijective and the map h and it’s inverse are irresolute.

2) Two semi-systems $f:X\to X$ and $g:Y\to Y$ are said to be topologically semi-conjugate if there is a sr-homeomorphism $h:X\to Y$ such that $h\circ f=g\circ h$ . We will call h a topological semi-conjugacy.

Now, we proceed to prove an important proposition:

Proposition 3.7. If $f:X\to X$ and $g:Y\to Y$ are topologically sr-conjugate. Then

1) f is topologically semi-transitive if and only if g is topologically semi-transitive;

2) f is semi-minimal if and only if g is semi-minimal;

3) f is topologically semi-mixing if and only if g is topologically semi-mixing.

Proof:

Suppose f is semi-transitive. Let A, B be semi-open subsets of Y (to show $g^n\left(A\right)\cap B\ne \varphi$ for some $n>0$ ). $U=h^{-1}\left(A\right)$ and $V=h^{-1}\left(B\right)$ are semi-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 \varphi$ since f is semi-transitive. 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}$ is invertible.

Proof:

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

$\begin{array}{l}Y\stackrel{g}{\to }Y\\ {}^h\downarrow {\downarrow }^h\\ X\underset{f}{\to }X\end{array}$

We show that if g is semi-minimal, then f is semi-minimal. We want to show that for any $x\in X$ , $O_f\left(x\right)$ is semi-dence. Since h is surjective, there exists $x\in X$ such that $y=h^{-1}\left(x\right)$ . Since g is semi-minimal, $O_g\left(y\right)$ is semi-dence. For any non-empty semi-open subset U of X, $h^{-1}\left(U\right)$ is an semi-open set in X since $h^{-1}$ is irresolute because h is an sr-homeomorphism and it is non-empty since h is invertible. By semi-density of $O_g\left(y\right)$ there exist k in N such that

$g^k\left(y\right)\in h^{-1}\left(U\right)\iff h\left(g^k\left(y\right)\right)\in U$

Since h is s r-conjugacy; as $f\circ h=h\circ g$ implies $f^k\circ h=h\circ g^k$ so $f^k\left(h\left(y\right)\right)=h\left(g^k\left(y\right)\right)\in U$ thus $O_f\left(h\left(y\right)\right)$ intersects U. This holds for any non-empty semi-open set U and thus shows that $O_f\left(x\right)=O_f\left(h\left(y\right)\right)$ is semi-dense.

Proof:

We only prove that if g is topologically semi-mixing then f is also topologically semi-mixing. Let U, V be two semi-open subsets of X. 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 semi-open sets since h is irresolute. If g is topologically semi-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$ . Therefore there exits $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)$ if and only if $x=g^n\left(y\right)$ for $y\in h^{-1}\left(U\right)$ and $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, f is semi-mixing.

4. Bi Supra Transitive and Bi Supra Dense Orbits

We have studied the relation between definitions of bispra-dense orbit and topological bisupra-transitivity. Now let X be a bisupra space and $f:X\to X$ bi-irresolute. For more knowledge about transitivity see [6] [7] and [8] .

Consider the following two conditions:

(biTT) for every pair of nonempty bisupra-open sets U and V in X, there is a positive integer n such that $f^n\left(U\right)\cap V\ne \varphi$ .

(biDO) there is a point $x_0\in X$ such that $O_f\left(x_0\right)$ is bisupra-dense.

To study the dynamics of a self-map $f:X\to X$ means to study the qualitative behavior of the sequences $\left\{f^n\left(x\right)\right\}$ as n goes to infinity when x varies in X, where $f^n$ denotes the composition of f with itself n times.

A subset E of a bisupra space X is said to be of second category in X if E cannot be written as the countable union of subsets which are nowhere bisupra dense in X, i.e., if writing E as a union $E={\displaystyle {\cup }_{n\in N}{E}_n}$ implies that at least one subset $E_n\subset X$ fails to be nowhere bisupra dense in X.

Definition 4.1. By a bisupra system we mean a pair $\left(X,f\right)$ , where X is a bisupra space, and $f:X\to X$ is a bisupra irresolute function. The dynamics of the system is given by $x_{n+1}=f\left(x_n\right),x_0\in X,n\in N$ and the solution passing through x is the sequence $\left\{f\left(x_n\right)\right\}$ where $n\in N$ .

Definition 4.2. 1) Let $x\in X$ , then the set $\left\{x,f\left(x\right),f^2\left(x\right),\cdots \right\}$ is called an orbit of x under f and is denoted by $O_f\left(x\right)$ , so $O_f\left(x\right)$ is the set of points which occur on the orbit of x at some positive time, and the sequence $x,f\left(x\right),f^2\left(x\right),\cdots$ is called the trajectory of x.

2) Let X be bisupra space, $f:X\to X$ , ${\left\{f^n\left(x_0\right)\right\}}_{n=0}^{\infty }$ be a sequence in X, and let $x\in X$ . Then $\left\{f^n\left(x_0\right)\right\}$ converges to x if for all bisupra open sets U containing x, there exists N such that for all n > N.

Any point with bisupra dense orbit is called a bisupra transitive point. A point which is not bisupra transitive is called bisupra intransitive.

3) (Bisupra Transitivity) Let X be a bisupra space with no isolated point. Given any two bisupra open sets G and H in X, there is a point $x\in G$ and an n > 0 such that $f^n\left(x\right)\in H$ .

4) A system is said to be a bisupra mixing if for every pair G, H of non-empty bisupra open sets, if there exist N such that $f^n\left(G\right)\cap H\ne \varphi$ for all $n>N$ . We can show that bisupra mixing implies weak bisupra mixing. But the converse is not nesaccerly true.

Recall that a subset A of a set X is called a bisupra-open set if $A=L\cap F$ , where L in SO (X) and F in PO (X). Complements of bisupra-closed sets will be called bisupra-open.

Definition 4.3. A function $f:X\to X$ is called bisupra-irresolute if the inverse image of each bisupra-open set is a bisupra-open set in X.

Let X be a bisupra space. The set of bisupra-irresolute functions on X is denoted by $C^{bi}\left(X\right)$ .

Definition 4.4. Let X be a topological space. A map f is said to have bisupra-dense orbit if there exists $x\in X$ such that $biCl\left(O_f\left(x\right)\right)=X$ .

Definition 4.5. Let X be a bisupra space, $f:X\to X$ be bisupra-irresolute map, then the set $A\subseteq X$ is called bisupra transitive set (rsp. transitive set) if for every pair of non-empty bisupra-open (rsp. open) sets G and H in X with $A\cap G\ne \varphi$ and $A\cap H\ne \varphi$ there is a positive integer n such that $f^n\left(G\right)\cap H\ne \varphi$ .

Proposition 4.6. Every bisupra transitive set is transitive set.

5. Conclusions

There are the main results of the paper.

Proposition 5.1. Every semi-transitive map is a transitive map as every, but the converse not necessarily true.

Proposition 5.2. Every semi-minimal map is a minimal map, but the converse not necessarily true.

Theorem 5.3. For the system $\left(SO\left(X\right),f\right)$ the following statements are equivalent:

1) f is an semi-minimal map.

2) If E is a semi-closed subset of X with $f\left(E\right)\subset E$ , we say E is invariant; then $E=\varphi$ or $E=X$ .

3) If U is a nonempty semi-open subset of X, then ${\displaystyle \underset{n=0}{\overset{\infty }{\cup }}{f}^{-n}\left(U\right)}=X$ .

Theorem 5.4. Every bisupra transitive map is transitive map.

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 Amir, 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 regarding the publication of this paper.

Conflicts of Interest

The authors declare no conflicts of interest.

References

[1]	Levin, N. (1963) Semi-Open Sets and Semi-Continuity in Topological Spaces. American Mathematical Monthly, 70, 36-40. https://doi.org/10.1080/00029890.1963.11990039
[2]	Stone, M. (1937) Applications of the Theory of Boolean Rings to General Topology. Transactions of the American Mathematical Society, 41, 374-381. https://doi.org/10.1090/S0002-9947-1937-1501905-7
[3]	Mashhour, A.S., Abd El-Monsef, M.E. and El-Deep, S.N. (1982) On Pre-Continuous and Weak Pre-Continuous Mappings. Proceedings of the Mathematical and Physical Society of Egypt, 47-53.
[4]	Velicko, N.V. (1968) H-Closed Topological Spaces. American Mathematical Society Translations: Series 2, 78, 102-118. https://doi.org/10.1090/trans2/078/05
[5]	Crossley, S.G. and Hildebrand, S.K. (1972) Semi Topological Properties. Fundamenta Mathematicae, 74, 233-254. https://doi.org/10.4064/fm-74-3-233-254
[6]	Kaki, M.N.M. (2012) New Types of Transitive Functions and Minimal System. International Journal of Basic and Applied Sci-ence, 12, 53-58.
[7]	Kaki, M.N.M. (2018) Chaos, Mixing Weakly Mixing and Exactness. OALib Journal, 5, 1-6. http://www.oalib.com/journal
[8]	Kaki, M.N.M. (2014) New Conceptions of Transitivity and Minimal Mappings. Science Research, 2, 1-6.