Some New Types of Transitivity and Minimality

Mohammed Nokhas Murad Kaki

Math Department, College of Science, University of Sulaymaniyah, Sulaymaniyah, Iraqi.

DOI: 10.4236/oalib.1104852                

Abstract

In this paper, we introduce and study the relationship between two different notions of transitive maps, namely topological α-transitive maps, topological θ-transitive maps and investigate some of their properties in two topological spaces (X, τα) and (X, τθ), τα denotes the α-topology (resp. τθ denotes the θ-topology) of a given topological space (X, τ). The two notions are defined by using the concepts of α-irresolute map and θ-irresolute map respectively Also, we define and study the relationship between two types of minimal mappings, namely, α-minimal mapping and θ-minimal mapping, The main results are the following propositions: 1) Every topologically α-transitive map is transitive map, but the converse is not necessarily true. 2) Every topologically α-minimal map is minimal map, but the converse is not necessarily true. 3) The converse of (1) and (2) is not necessarily true unless every nowhere dense set in is closed. 4) Also, if every α-open set is locally closed then every transitive map implies topological α-transitive.

Keywords

Topologically θ-Transitive, α-Irresolute, θ-Transitive, θ-Dense

1. Introduction

The concept of topological transitivity goes back to G. D. Birkhoff who introduced it in 1920 (for flows). This article will concentrate on topological transitivity of dynamical systems given by continuous mappings in metric spaces. A dynamical system is a rule for time evolution on a state space. Intuitively, a topologically transitive dynamical system has points which eventually move under iteration from one arbitrarily small open set to any other. Consequently, such a dynamical system cannot be decomposed into two disjoint sets with nonempty interiors which do not interact under the transformation. Birkhoff was one of the most important leaders in American mathematics in his generation, and during his time he was considered by many to be the preeminent American mathematician.

Recently there has been some interest in the notion of a locally closed subset of a topological space. According to Bourbaki [1] a subset S of a space $\left(X,\tau \right)$ is called locally closed if it is the intersection of an open set and a closed set. Ganster and Reilly used locally closed sets in [2] and [3] to define the concept of LC-continuity; i.e. a function $f:\left(X,\tau \right)\to \left(X,\sigma \right)$ is LC-continuous if the inverse with respect to f of any open set in Y is closed in X. The study of semi open sets and semi continuity in topological spaces was initiated by Levine [4] . Bhattacharya and Lahiri [5] introduced the concept of semi generalized closed sets in topological spaces analogous to generalized closed sets which were introduced by Levine [6] . Throughout this paper, the word “space” will mean topological space. The collections of semi-open, semi-closed sets and α-sets in $\left(X,\tau \right)$ will be denoted by $SO\left(X,\tau \right)$, $SC\left(X,\tau \right)$ and ${\tau }^{\alpha }$ respectively. Njastad [7] has shown that ${\tau }^{\alpha }$ is a topology on X with the following properties: $\tau \subseteq {\tau }^{\alpha }$, ${\left({\tau }^{\alpha }\right)}^{\alpha }={\tau }^{\alpha }$ and $S\in {\tau }^{\alpha }$ if and only if $S=U\backslash N$ where $U\in \tau$ and N is nowhere dense $\left(i.e.Int\left(Cl\left(N\right)\right)=\phi \right)$ in $\left(X,\tau \right)$. Hence $\tau ={\tau }^{\alpha }$ if and only if every nowhere dense (nwd) set in $\left(X,\tau \right)$ is closed, therefore every transitive map implies α-transitive. Also if every α-open set is locally closed then every transitive map implies α-transitive; and this structure also occurs if $\left(X,\tau \right)$ is locally compact and Hausdorff ( [8] , p. 140, Ex. B) and every α-open set is locally compact, then every α-open set is locally closed. Clearly every α-set is semi-open and every nwd set in $\left(X,\tau \right)$ is semi-closed. Andrijevic [9] has observed that $SO\left(X,{\tau }^{\alpha }\right)=SO\left(X,\tau \right)$, and that $N\subseteq X$ is nwd in $\left(X,{\tau }^{\alpha }\right)$ if and only if N is nwd in $\left(X,\tau \right)$.

In 1943, Fomin [10] introduced the notion of θ-continuous maps. The notions of θ-open sets, θ-closed sets and θ-closure where introduced by Velicko [11] for the purpose of studying the important class of H-closed spaces in terms of arbitrary fiber-bases. Dickman and Porter [12] [13] , Joseph [14] and Long and Herrington [15] continued the work of Velicko. We introduce the notions of θ-type transitive maps, θ-minimal maps and show that some of their properties are analogous to those for topologically transitive maps. Also, we give some additional properties of θ-irresolute maps. We denote the interior and the closure of a subset A of X by Int(A) and Cl(A), respectively. By a space X, we mean a topological space $\left(X,\tau \right)$ A point x Î X is called a θ-adherent point of A [11] , if $A\cap Cl\left(V\right)\ne \varphi$ for every open set V 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 [14] have shown that if A and B are subsets of a space $\left(X,\tau \right)$, then $C{l}_{\theta }\left(A\cup B\right)=C{l}_{\theta }\left(A\right)\cup C{l}_{\theta }\left(B\right)$ and $C{l}_{\theta }\left(A\cap B\right)=C{l}_{\theta }\left(A\right)\cap C{l}_{\theta }\left(B\right)$. Note also that the θ-closure of a given set need not be a θ-closed set. But it is always closed. Dickman and Porter [12] proved that a compact subspace of a Hausdorff space is θ-closed. Moreover, they showed that a θ-closed subspace of a Hausdorff space is closed. Jankovic [16] proved 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 }or\theta -to\text{pology}\text{.}$ This topology is coarser than τ. In general, $C{l}_{\theta }\left(A\right)$ will not be the closure of A with respect to $\left(X,{\tau }^{\theta }\right)$. It is easily seen that one always has $A\subseteq Cl\left(A\right)\subseteq C{l}_{\delta }\left(A\right)\subseteq C{l}_{\theta }\left(A\right)\subseteq {\bar{A}}^{\theta }$ where ${\bar{A}}^{\theta }$ denotes the closure of A with respect to $\left(X,{\tau }^{\theta }\right)$. It is also obvious that a set A is θ-closed in $\left(X,\tau \right)$ if and only if it is closed in $\left(X,{\tau }^{\theta }\right)$. The space $\left(X,{\tau }^{\theta }\right)$ is called sometimes the semi regularization of $\left(X,\tau \right)$. A function $f:X\to Y$ is closure continuous [17] (θ-continuous) at x Î X if given any open set V in Y containing f(x), there exists an open set U in X containing x such that $f\left(Cl\left(U\right)\right)\subseteq Cl\left(V\right)$ [17] In this paper, we will define new classes of topological transitive maps called α-type transitive, θ-type transitive and new classes of α-minimal maps θ-minimal maps. We have shown that every α-transitive map is a θ-type transitive map, but the converse not necessarily true and that every α-minimal map is a θ-minimal map, but the converse not necessarily true we will also study some of their properties.

2. Preliminaries and Definitions

In this section, we recall some of the basic definitions. Let X be a space and $A\subset X$. The intersection (resp. closure) of A is denoted by Int(A) (resp. Cl(A).

Definition 2.1 [4] A subset A of a topological space X will be termed semi-open (written S.O.) if and only if there exists an open set U such that $U\subset A\subset Cl\left(U\right)$.

Definition 2.2 [5] Let A be a subset of a space X then semi closure of A defined as the intersection of all semi-closed sets containing A is denoted by sClA.

Definition 2.3 [10] Let $\left(X,\tau \right)$ be a topological space and α an operator from τ to Ƥ(X) i.e. α: τ → Ƥ(X), where Ƥ(X) is a power set of X. We say that α is an operator associated with τ if $U\subset \alpha \left(U\right)$ for all U Î τ.

Definition 2.4 [18] Let $\left(X,\tau \right)$ be a topological space and α an operator associated with τ. A subset A of X is said to be α-open if for each x Î X there exists an open set U containing x such that $\alpha \left(U\right)\subset A$. Let us denote the collection of all α-open, semi-open sets in the topological space $\left(X,\tau \right)$ by ${\tau }^{\alpha }$, SO(τ), respectively. We then have $\tau \subseteq {\tau }^{\alpha }\subseteq SO\left(\tau \right)$. A subset B of X is said to be α-closed [7] if its complement is α-open.

Definition 2.5 [10] Let $\left(X,\tau \right)$ be a space. An operator α is said to be regular if, for every open neighborhoods U and V of each x Î X, there exists a neighborhood W of x such that $\alpha \left(W\right)\subset \alpha \left(U\right)\subset \alpha \left(V\right)$.

Note that the family ${\tau }^{\alpha }$ of α-open sets in $\left(X,\tau \right)$ always forms a topology on X, when α is considered to be regular finer than τ.

Theorem 2.6 [20] For subsets A, B of a space X, the following statements hold:

1) $D\left(A\right)\subset D_{\theta }\left(A\right)$ where $D\left(A\right)$ is the derived set of A;

2) If $A\subset B$, then $A\subset B$ ;

3) $D_{\theta }\left(A\right)\cup D_{\theta }\left(B\right)=D_{\theta }\left(A\cup B\right)$ and $D_{\theta }\left(A\cap B\right)\subset D_{\theta }\left(A\right)\cap D_{\theta }\left(B\right)$.

Note that the family ${\tau }^{\theta }$ of θ-open sets in $\left(X,\tau \right)$ always forms a topology on X denoted θ-topology and that θ-topology coarser than τ.

Definition 2.7 [19] Let A be a subset of a space X. A point x is said to be an α-limit point of A if for each α-open U containing x, $U\cap \left(A\backslash x\right)\ne \varphi$. The set of all α-limit points of A is called the α-derived set of A and is denoted by $D_{\alpha }\left(A\right)$.

Definition 2.8 [19] For subsets A and B of a space X, the following statements hold true:

1) $D_{\alpha }\left(A\right)\subset D\left(A\right)$ where D(A) is the derived set of A;

2) If $A\subset B$ then $D_{\alpha }\left(A\right)\subset D_{\alpha }\left(B\right)$ ;

3) $D_{\alpha }\left(A\right)\cup D_{\alpha }\left(B\right)\subset D_{\alpha }\left(A\cup B\right)$ ;

4) $D_{\alpha }\left(A\cup D_{\alpha }\left(A\right)\right)\subset A\cup D_{\alpha }\left(A\right)$.

Definition 2.9 [18] The point x Î X is in the α-closure of a set $A\subset X$ if $\alpha \left(U\right)\cap A\ne \phi$, for each open set U containing x. The α-closure of a set A is the intersection of all α-closed sets containing A and is denoted by $C{l}_{\alpha }\left(A\right)$.

Remark 2.10 For any subset A of the space X, $A\subset Cl\left(A\right)\subset C{l}_{\alpha }\left(A\right)$.

Definition 2.11 [18] Let $\left(X,\tau \right)$ be a topological space. We say that a subset A of X is α-compact if for every α-open covering Π of A there exists a finite sub-collection $\left\{C_1,C_2,\cdots ,C_n\right\}$ of Π such that $A\subset {\displaystyle \underset{i=1}{\overset{n}{\cup }}{C}_i}$. Properties of α-compact spaces have been investigated by Rosa, E etc. and Kasahara, S [18] . The following results were given by Rosas, E etc. [18] .

Theorem 2.12 Let $\left(X,\tau \right)$ be a topological space and α an operator associated with τ. $A\subset X$ and $K\subset A$. If A is α-compact and K is α-closed then K is α-compact.

Theorem 2.13 Let $\left(X,\tau \right)$ be a topological space and α be a regular operator on τ. If X is α-T₂ (see Rosa, E etc. and Kasahara, S) [10] and $K\subset X$ is α-compact then K is α-closed.

Definition 2.14 [18] The intersection of all α-closed sets containing A is called the α-closure of A, denoted by $C{l}_{\alpha }\left(A\right)$.

Remark 2.15 For any subset A of the space X, $A\subset Cl\left(A\right)\subset C{l}_{\alpha }\left(A\right)$.

Lemma 2.16 For subsets A and $A_i$ (i Î I) of a space $\left(X,\tau \right)$, the following hold:

1) $A\subset C{l}_{\alpha }\left(A\right)$ ;

2) $C{l}_{\alpha }\left(A\right)$ is closed; $C{l}_{\alpha }\left(C{l}_{\alpha }\left(A\right)\right)=C{l}_{\alpha }\left(A\right)$ ;

3) If $A\subset B$ then $C{l}_{\alpha }\left(A\right)\subset C{l}_{\alpha }\left(B\right)$ ;

4) $C{l}_{\alpha }\left(\cap \left(A_i:i\in I\right)\right)\subset \cap \left(C{l}_{\alpha }\left(A\right):i\in I\right)$ ;

5) $C{l}_{\alpha }\left(\cup \left(A_i:i\in I\right)\right)=\cup \left(C{l}_{\alpha }\left(A\right):i\in I\right)$.

Lemma 2.17 The collection of α-compact subsets of X is closed under finite unions. If α is a regular operator and X is an α-T₂ space then it is closed under arbitrary intersection.

Definition 2.18 Let (X, τ) be a topological any space, A subset of X, The ${\mathrm{int}}_{\alpha }\left(A\right)=\cup \{U:U$ is α-open and $U\subset A$ }.

Remark 2.19 A subset A is α-open if and only if ${\mathrm{int}}_{\alpha }\left(A\right)=A$.

Proof: The proof is obvious from the definition.

Definition 2.20 Let (X, τ) and (Y, σ) be two topological spaces, a map $f:X\to Y$ is said to be α―continuous if for each open set H of Y, $f^{-1}\left(H\right)$ is α-open in X.

Theorem 2.21 [19] For any subset A of a space X, $C{l}_{\alpha }\left(A\right)=A\cup C{l}_{\alpha }\left(A\right)$.

Theorem 2.22 [19] For subsets A, B of a space X, the following statements are true:

1) ${\mathrm{int}}_{\alpha }\left(A\right)$ is the largest α―open contained in A;

2) ${\mathrm{int}}_{\alpha }\left({\mathrm{int}}_{\alpha }\left(A\right)\right)={\mathrm{int}}_{\alpha }\left(A\right)$ ;

3) If $A\subset B$ then ${\mathrm{int}}_{\alpha }\left(A\right)\subset {\mathrm{int}}_{\alpha }\left(B\right)$ ;

4) ${\mathrm{int}}_{\alpha }\left(A\right)\cup {\mathrm{int}}_{\alpha }\left(B\right)\subset {\mathrm{int}}_{\alpha }\left(A\cup B\right)$ ;

5) ${\mathrm{int}}_{\alpha }\left(A\right)\cap {\mathrm{int}}_{\alpha }\left(B\right)\supset {\mathrm{int}}_{\alpha }\left(A\cap B\right)$.

Lemma 2.23 [7] For any α-open set A and any α-closed set C, we have:

1) $C{l}_{\alpha }\left(A\right)=Cl\left(A\right)$ ;

2) ${\mathrm{int}}_{\alpha }\left(C\right)=\mathrm{int}\left(C\right)$ ;

3) ${\mathrm{int}}_{\alpha }\left(C{l}_{\alpha }\left(A\right)\right)=\mathrm{int}\left(Cl\left(A\right)\right)$.

Remark 2.24 [19] It is not always true that every α-open set is an open set, as shown in the following example:

Example 2.25 Let $X=\left\{a,b,c,d\right\}$ with topology $\tau =\left\{\varphi ,\left\{a,b\right\},X\right\}$. Hence $\alpha \left(\tau \right)=\left\{\varphi ,\left\{c,d\right\},\left\{b,c,d\right\},\left\{a,c,d\right\},X\right\}$.

So {b, c, d} is α-open but not open.

Theorem 2.26 [20] For subsets A, B of a topological space X, the following statements are true:

1) $In{t}_{\theta }\left(A\right)$ is the union of all open sets of X whose closures are contained in A.

2) A is θ-open $\iff In{t}_{\theta }\left(A\right)=A$.

3) $In{t}_{\theta }\left(In{t}_{\theta }\left(A\right)\right)\subset In{t}_{\theta }\left(A\right)$.

4) $X\backslash In{t}_{\theta }\left(A\right)=C{l}_{\theta }\left(X\backslash A\right)$.

5) $X\backslash C{l}_{\theta }\left(A\right)=In{t}_{\theta }\left(X\backslash A\right)$.

6) If $A\subset B$ then $In{t}_{\theta }\left(A\right)\subset In{t}_{\theta }\left(B\right)$.

7) $In{t}_{\theta }\left(A\right)\cup In{t}_{\theta }\left(B\right)\subset In{t}_{\theta }\left(A\cup B\right)$.

8) $In{t}_{\theta }\left(A\right)\cap In{t}_{\theta }\left(B\right)=In{t}_{\theta }\left(A\cap B\right)$.

3. Transitive and Minimal Systems

Topological transitivity is a global characteristic of dynamical systems. By a dynamical system $\left(X,f\right)$ [21] we mean a topological space X together with a continuous map $f:X\to X$. The space X is sometimes called the phase space of the system. A set $A\subseteq X$ is called f-inveriant if $f\left(A\right)\subseteq A$.

A dynamical system $\left(X,f\right)$ is called minimal if X does not contain any non-empty, proper, closed f-inveriant subset. In such a case we also say that the map f itself is minimal. Thus, one cannot simplify the study of the dynamics of a minimal system by finding its nontrivial closed subsystems and studying first the dynamics restricted to them.

Given a point x in a system $\left(X,f\right)$, $O_f\left(x\right)=\left\{x,f\left(x\right),f^2\left(x\right),\cdots \right\}$ denotes its orbit (by an orbit we mean a forward orbit even if f is a homeomorphism) and ${\omega }_f\left(x\right)$ denotes its ω-limit set, i.e. the set of limit points of the sequence $x,f\left(x\right),f^2\left(x\right),\cdots$. The following conditions are equivalent:

・ $\left(X,f\right)$ is minimal,

・ every orbit is dense in X,

・ ${\omega }_f\left(x\right)=X$ for every x Î X.

A minimal map f is necessarily surjective if X is assumed to be Hausdorff and compact.

Now, we will study the Existence of minimal sets. Given a dynamical system $\left(X,f\right)$, a set $A\subseteq X$ is called a minimal set if it is non-empty, closed and invariant and if no proper subset of A has these three properties. So, $A\subseteq X$ is a minimal set if and only if $\left(A,f|A\right)$ is a minimal system. A system $\left(X,f\right)$ is minimal if and only if X is a minimal set in $\left(X,f\right)$.

The basic fact discovered by G. D. Birkhoff is that in any compact system $\left(X,f\right)$ there are minimal sets. This follows immediately from the Zorn’s lemma. Since any orbit closure is invariant, we get that any compact orbit closure contains a minimal set. This is how compact minimal sets may appear in non-compact spaces. Two minimal sets in $\left(X,f\right)$ either are disjoint or coincide. A minimal set A is strongly f-inveriant, i.e. $f\left(A\right)=A$. Provided it is compact Hausdorff.

Let $\left(X,f\right)$ be a topological system, and $f:X\to X$ α r-homeomorphism of X onto itself. For A and B subsets of X, we let $N\left(A,B\right)=\left\{n\in Z:f^n\left(A\right)\cap B\ne \varphi \right\}$.

We write $N\left(A,B\right)=N\left(x,B\right)$ for a singleton $A=\left\{x\right\}$ thus $N\left(x,B\right)=\left\{n\in Z:f^n\left(x\right)\in B\right\}$.

For a point $x\in X$ we write $O_f\left(x\right)=\left\{f^n\left(x\right):n\in Z\right\}$ for the orbit of x and $C{l}_{\alpha }\left(O_f\left(x\right)\right)$ for the α-closure of $O_f\left(x\right)$. We say that the topological system $\left(X,f\right)$ is α-type point transitive if there is a point $x\in X$ with $O_f\left(x\right)$ α-dense. Such a point is called α-type transitive. We say that the topological system $\left(X,f\right)$ is topologically α-type transitive (or just α-type transitive) if the set $N\left(U,V\right)$ is nonempty for every pair U and V of nonempty α-open subsets of X.

Topologically α-Transitive Maps

In [22] , we introduced and defined a new class of transitive maps that are called topologically α-transitive maps on a topological space (X, τ), and we studied some of their properties and proved some results associated with these new definitions. We also defined and introduced a new class of α-minimal maps. In this paper we discuss the relationship between topologically α-transitive maps and θ-transitive maps. On the other hand, we discuss the relationship between α-minimal and θ-minimal in dynamical systems.

Definition 3.1.1 Let (X, τ) be a topological space. A subset A of X is called α-dense in X if $C{l}_{\alpha }\left(A\right)=X$.

Remark 3.1.2 Any α-dense subset in X intersects any α-open set in X.

Proof: Let A be an α-dense subset in X, then by definition, $C{l}_{\alpha }\left(A\right)=X$, and let U be a non-empty α-open set in X. Suppose that $A\cap U=\varphi$. Therefore $B=U^c$ is α-closed and $A\subset U^c=B$. So $C{l}_{\alpha }\left(A\right)\subset C{l}_{\alpha }\left(B\right)$, i.e. $C{l}_{\alpha }\left(A\right)\subset B$, but $C{l}_{\alpha }\left(A\right)=X$, so $X\subset B$, this contradicts that $U\ne \phi$.

Definition 3.1.3 [23] A map $f:X\to Y$ is called α-irresolute if for every α-open set H of Y, $f^{-1}\left(H\right)$ is α-open in X.

Example 3.1.4 [22] Let (X, τ) be a topological space such that $X=\left\{a,b,c,d\right\}$ and $\tau =\left\{\varphi ,X,\left\{a,b\right\},\left\{b\right\}\right\}$. We have the set of all α-open sets is $\alpha \left(X,\tau \right)=\left\{\varphi ,X,\left\{b\right\},\left\{a,b\right\},\left\{b,c\right\},\left\{b,d\right\},\left\{a,b,c\right\},\left\{a,b,d\right\}\right\}$ and the set of all α-closed sets is $\alpha C\left(X,\tau \right)=\left\{\varphi ,X,\left\{c,d\right\},\left\{a,c,d\right\},\left\{a,d\right\},\left\{a,c\right\},\left\{d\right\},\left\{c\right\}\right\}$. Then define the map $f:X\to X$ as follows $f\left(a\right)=a$, $f\left(b\right)=b$, $f\left(c\right)=d$, $f\left(d\right)=c$, we have f is α-irresolute because {b} is α-open and $f^{-1}\left(\left\{b\right\}\right)=\left\{b\right\}$ is α-open; {a, b} is α-open and $f^{-1}\left(\left\{a,b\right\}\right)=\left\{a,b\right\}$ is α-open; {b, c} is α-open and $f^{-1}\left(\left\{b,c\right\}\right)=\left\{b,d\right\}$ is α-open; {a, b, c} is α-open and $f^{-1}\left(\left\{a,b,c\right\}\right)=\left\{a,b,d\right\}$ is α-open; {a, b, d} is α-open and $f^{-1}\left(\left\{a,b,d\right\}\right)=\left\{a,b,c\right\}$ is α-open so f is α-irresolute.

Definition 3.1.5 A subset A of a topological space (X, τ) is said to be nowhere α-dense, if its α-closure has an empty α-interior, that is, ${\mathrm{int}}_{\alpha }\left(C{l}_{\alpha }\left(A\right)\right)=\varphi$.

Definition 3.1.6 [22] Let (X, τ) be a topological space, $f:X\to X$ be α-irresolute map then f is said to be topological α-transitive if every pair of non-empty α-open sets U and V in X there is a positive integer n such that $f^n\left(U\right)\cap V\ne \varphi$. In the forgoing example 3.1.4: we have f is α-transitive because b belongs to any non-empty α-open set V and also belongs to f(U) for any α-open set it means that $f\left(U\right)\cap V\ne \varphi$ so f is. α-transitive.

Example 3.1.7 Let (X, τ) be a topological space such that $X=\left\{a,b,c\right\}$ and $\tau =\left\{\varphi ,\left\{a\right\},X\right\}$. Then the set of all α-open sets is ${\tau }^{\alpha }=\left\{\varphi ,\left\{a\right\},\left\{a,b\right\},\left\{a,c\right\},X\right\}$. Define $f:X\to X$ as follows $f\left(a\right)=b$, $f\left(b\right)=b$, $f\left(c\right)=c$. Clearly f is continuous because {a} is open and $f\left(\left\{a\right\}\right)=\varphi$ is open. Note that f is transitive because $f\left(\left\{a\right\}\right)=\left\{b\right\}$ implies that $f\left(\left\{a\right\}\right)\cap \left\{b\right\}\ne \varphi$. But f is not α-transitive because for each n in N, $f^n\left(\left\{a\right\}\right)\cap \left\{a,c\right\}=\varphi$ ; since $f^n\left(\left\{a\right\}\right)=\left\{b\right\}$ for every n Î N, and $\left\{b\right\}\cap \left\{a,c\right\}=\varphi$. So we have f is not α-transitive, so we show that transitivity not implies α-transitivity.

Definition 3.1.8 Let (X, τ) be a topological space. A subset A of X is called θ-dense in X if $C{l}_{\theta }\left(A\right)=X$.

Remark 3.1.9 Any θ-dense subset in X intersects any θ-open set in X.

Proof: Let A be a θ-dense subset in X, then by definition, $C{l}_{\theta }\left(A\right)=X$, and let U be a non-empty θ-open set in X. Suppose that $A\cap U=\varphi$. Therefore $B=U^c$ is θ-closed because B is the complement of θ-open and $A\subset U^c=B$. So $C{l}_{\theta }\left(A\right)\subset C{l}_{\theta }\left(B\right)$, i.e. $C{l}_{\theta }\left(A\right)\subset B$, but $C{l}_{\theta }\left(A\right)=X$, so $X\subset B$, this contradicts that $U\ne \phi$.

Definition 3.1.10 [24] A function $f:X\to X$ is called θ-irresolute if the inverse image of each θ-open set is a θ-open set in X.

Definition 3.1.11 A subset A of a topological space (X, τ) is said to be nowhere θ-dense, if its θ-closure has an empty θ-interior, that is, ${\mathrm{int}}_{\theta }\left(C{l}_{\theta }\left(A\right)\right)=\varphi$.

Definition 3.1.12 [25] Let $\left(X,\tau \right)$ be a topological space, and $f:X\to X$ θ.-irresolute) map, then f is said to be topologically θ-type transitive map 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$.

Theorem 3.1.13 every theta-type transitive map implies transitive nap if (X, τ) is regular.

Note that a space (X, τ) is regular if and only if $\tau ={\tau }^{\theta }$ [26] .

Theorem 3.1.14 [22] Let (X, τ) be a topological space and $f:X\to X$ be α-irresolute map. Then the following statements are equivalent:

1) f is topological α-transitive map.

2) For every nonempty α-open set U in X, ${\displaystyle \underset{n=0}{\overset{\infty }{\cup }}{f}^n\left(U\right)}$ is α-dense in X.

3) For every nonempty α-open set U in X, ${\displaystyle \underset{n=0}{\overset{\infty }{\cup }}{f}^{-n}\left(U\right)}$ is α-dense in X.

4) If $B\subset X$ is α-closed and B is f-invariant i.e. $f\left(B\right)\subset B$ then B = X or B is nowhere α-dense.

5) If U is α-open and $f^{-1}\left(U\right)\subset U$ then U is either empty set or α-dense in X.

Theorem 3.1.15 [25] Let (X, τ) be a topological space and $f:X\to X$ be θ-irresolute map. Then the following statements are equivalent:

1) f is θ-type transitive map.

2) ${\displaystyle \underset{n=0}{\overset{\infty }{\cup }}{f}^n\left(D\right)}$ is θ-dense in X, with D is θ-open set in X.

3) ${\displaystyle \underset{n=0}{\overset{\infty }{\cup }}{f}^{-n}\left(D\right)}$ is θ-dense in X with D is θ-open set in X.

4) If $B\subset X$ is θ-closed and $f\left(B\right)\subset B$ then B = X or B is nowhere θ-dense.

5) If $f^{-1}\left(D\right)\subset D$ and D is θ-open in X then D = ϕ or D is θ-dense in X, we have to prove th theorem.

4. α-Minimal Functions

We introduced a new definition on α-minimal [22] (resp. θ-minimal [25] ) maps and we studied some new theorems associated with these definitions.

Given a topological space X, we ask whether there exists α-irresolute (resp. θ-irresolute) map on X such that the set $\left\{f^n\left(x\right):n\ge 0\right\}$, called the orbit of x and denoted by $O_f\left(x\right)$, is α-dense(resp. θ-dense) in X for each x Î X. A partial answer will be given in this section. Let us begin with a new definition.

Definition 4.1 (α-minimal) Let X be a topological space and f be α-irresolute map on X with α-regular operator associated with the topology on X. Then the dynamical system (X, f) is called α-minimal system (or f is called α-minimal map on X) if one of the three equivalent conditions [22] hold:

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

2) $C{l}_{\alpha }\left(O_f\left(x\right)\right)=X$ for each x Î X.

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

Theorem 4.2 [22] For $\left(X,f\right)$ the following statements are equivalent:

1) f is an α-minimal map.

2) If E is an α-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 α-open subset of X, then ${\displaystyle \underset{n=0}{\overset{\infty }{\cup }}{f}^{-n}\left(U\right)}=X$.

5. Conclusions

We have following propositions:

1) Every topologically α-transitive map is transitive map, but the converse is not necessarily true.

2) Every topologically α-minimal map is minimal map, but the converse is not necessarily true.

3) The converse of (1) and (2) is not necessarily true unless every nowhere dense set in $\left(X,\tau \right)$ is closed.

Also, if every α-open set is locally closed then every transitive map implies topological α-transitive.

Conflicts of Interest

The authors declare no conflicts of interest.

References

[1]	Bourbaki, N. (1966) General Topology Part 1, Addison Wesley, Reading, MA.
[2]	Ganster, M. and Reilly, I.L. (1990) A Decomposition of Continuity. Acta Mathematica Hungarica, 56, 299-301. https://doi.org/10.1007/BF01903846
[3]	Ganster, M. and Reilly, I.L. (1989) Locally Closed Sets and LC-Continuous Functions. International Journal of Mathematics and Mathematical Sciences, 12, 417-424. https://doi.org/10.1155/S0161171289000505
[4]	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
[5]	Bhattacharya, P. and Lahiri, K.B. (1987) Semi-Generalized Closed Sets in Topology. Indian Journal of Mathematics, 29, 376-382.
[6]	Levine, N. (1970) Generalized Closed Sets in Topology. Rendiconti del Circolo Matematico di Palermo, 19 , 89-96.
[7]	Ogata, N. (1965) On Some Classes of Nearly Open Sets. Pacific Journal of Mathematics, 15, 961-970. https://doi.org/10.2140/pjm.1965.15.961
[8]	Engelking, R. (1968) Outline of General Topology. North Holland Publishing Company, Amsterdam.
[9]	Andrijevi?, D. (1994) Some Properties of the Topology of α-Sets. Matemati?ki Vesnik, 36, 1-9.
[10]	Rosas, E. and Vielina, J. (1998) Operator-Compact and Operator-Connected Spaces. Scientific Mathematica, 1, 203-208.
[11]	Velicko, N.V. (1966) H-Closed Topological Spaces. American Mathematical Society Translations, 78, 102-118.
[12]	Dickman, R.F. and Porter, J.R. (1975) θ-Closed Subsets of Hausdorff Spaces. Pacific Journal of Mathematics, 59, 407-415. https://doi.org/10.2140/pjm.1975.59.407
[13]	Dickman Jr., R.F. and Porter, J.R. (1977) θ-Perfect and θ-Absolutely Closed Functions. Illinois Journal of Mathematics, 21, 42-60.
[14]	Dontchev, J. and Maki, H. (1998) Groups of θ-Generalized Homeomorphisms and the Digital Line. Topology and Its Applications, 20, 1-16.
[15]	Long, P.E. and Herrington, L.L. (1982) The τθ-Topology and Faintly Continuous Functions. Kyungpook Mathematical Journal, 22, 7-14.
[16]	Jankovic, D.S. (1986) θ-Regular Spaces. International Journal of Mathematics and Mathematical Sciences, 8, 615-619. https://doi.org/10.1155/S0161171285000667
[17]	Saleh, M. (2003) On θ-Continuity and Strong θ-Continuity. Applied Mathematics E-Notes, 3, 42-48.
[18]	Kasahara, S. (1979) Operation-Compact Spaces. Mathematica Japonica, 24, 97-105.
[19]	Caldas, M. (2003) A Note on Some Applications of α-Open Sets. UMMS, 2, 125-130.
[20]	Caldas, M., Jafari, S. and Kovar, M.M. (2004) Some Properties of θ-Open Sets. Divulgaciones Matematicas, 12, 161-169.
[21]	http://www.scholarpedia.org/article/Minimal_dynamical_systems
[22]	Kaki, M.N.M. (2012) Topologically α Transitive Maps and Minimal Systems. General Mathematics Notes, 10, 43-53.
[23]	Maheshwari, N.S. and Thakur, S.S. (1980) On α-Irresolute Mappings. Tamkang Journal of Mathematics, 11, 209-214.
[24]	Khedr, F.H. and Noiri, T. (1986) On θ-Irresolute Functions. Indian Journal of Mathematics, 28, 211-217.
[25]	Kaki, M.N.M. (2012) Introduction to θ-Type Transitive Maps on Topological Spaces. International Journal of Basic & Applied Sciences, 12, 104-108.
[26]	Joseph, J.E. (1979) θ-Closure and θ-Subclosed Graphs. The Mathematical Chronicle, 8, 99-117.