Survey
* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project
* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project
Int. J. Contemp. Math. Sciences, Vol. 5, 2010, no. 44, 2173 - 2187 Applications of a Conditional Preopen Set in Bitopological Spaces Alias B. Khalaf Department of Mathematics, College of Science University of Duhok, Kurdistan-Region, Iraq [email protected] Hardi N. Aziz Department of Mathematics, College of Science University of Sulaimani, Kurdistan-Region, Iraq [email protected] Abstract. The aim of this paper is to introduce a new type of sets in bitopological spaces called (i, j)-Ps -open sets and study its basic properties. Also, by utilizing (i, j)-Ps -open sets, we introduce some strong types of precontiuity and almost precontinuity in bitopological spaces. Moreover a type of contra-precontinuity is defined and characterized. Mathematics Subject Classification: Primary: 54A05, 54A10; Secondary: 54E55 Keywords: (i, j)-Ps -open, semi-open, preopen, precontinuous functions, (i, j)-Ps -continuous functions, almost (i, j)-Ps -continuous functions, contra (i, j)Ps -continuous functions 1. Introduction In 1963 Kelley J. C. [15] was first introduced the concept of bitopological spaces, where X is a nonempty set and τ1 , τ2 are topologies on X. In 1982 Mashhour et al [18] introduced the concept of preopen sets in topological spaces. By using this concept, several authers defined and studied stronger or weaker types of topological concept such as closedness [10], continuity [18] and compactness [19]. In this paper, we introduce the concept of a conditional preopen set in a bitopological space, and we find basic properties and relationships with other concepts of sets. Throughout this paper, (X, τ1 , τ2 ) is a bitopological space 2174 A. B. Khalaf and H. N. Aziz and if A ⊆ Y ⊆ X, then i-Int(A) and i-Cl(A) denote respectively the interior and closure of A with respect to the topology τi on X and i-IntY (A), i-ClY (A) denote respectively the interior and the closure of A with respect to the induced toplogy on Y. 2. Preliminaries We recall the following definitions and results: Definition 2.1. A subset A of a space (X, τ ) is called: 1. preopen [18], if A ⊆ Int(Cl(A)). 2. semi-open [16], if A ⊆ Cl(Int(A)), 3. α-open [22], if A ⊆ Int(Cl(Int(A))). 4. regular open [26], if A = Int(Cl(A)). The family of all preopen (resp., semi-open, α-open, regular open) sets in X is denoted by P O(X) (resp., SO(X), αO(X), RO(X)). The complement of a preopen (resp., semi-open, α-open, regular open) set is said to be preclosed (resp., semi-closed, α-closed, regular closed) and is denoted by P C(X) (resp., SC(X), αC(X), RC(X)). The intersection of all preclosed (resp., semi-closed, α-closed) sets of X containing A is called preclosure (resp., semi-closure, αclosure) of A and is denoted by pClA (resp., sClA, αClA). The union of all preopen (resp., semi-open, α-open) sets of X contained in A called preinterior (resp., semi-interior, α-interior) of A and is denoted by pIntA (resp., sIntA, αIntA). A subset A of a space X is called regular semi-open [3], if A = sInt(sCl(A)). A subset A of a space X is called δ-open [28], if for each x ∈ A, there exists an open set G such that x ∈ G ⊆ Int(Cl(G)) ⊆ A). A subset A of a space X is called θ-semi-open [14] (resp., semi-θ-open [5]) if for each x ∈ A, there exists a semi-open set G such that x ∈ G ⊆ Cl(G) ⊆ A (resp., x ∈ G ⊆ sCl(G) ⊆ A). The family of all regular semi-open (resp., δ-open, θ-semi-open, semi-θ-open) sets in X is denoted by RSO(X) (resp., δO(X), θSO(X), SθO(X)). The complemet of regular semi-open (resp., δ-open, θsemi-open, semi-θ-open) sets in X is called regular semi-closed (resp., δ-closed, θ-semi-closed, semi-θ-closed). A subset A of a topological space (X, τ ) is called η-open [25], if A is a union of δ-closed sets. The complement of η-open sets is called η-closed. A subset A of a space (X, τ ) is said to be preregular [21], if A is both preopen and preclosed. A subclass τ ∗ of subsets of X is called a supratopology on X [12], if X, φ ∈ τ ∗ and τ ∗ is closed under arbitrary unions. In a bitopological space (X, τ1 , τ2 ), a point x of A is said to be in the ij-θ-interior of A, denoted by ij-Intθ (A), if there exists U ∈ τi such that x ∈ U ⊆ j-Cl(U) ⊆ A. A is said to be ij-θ-open [11], if A = ij-Intθ (A), the complement of an ij-θ-open set is called ij-θ-closed. A subset A of X is said to be (τi , τj )-generalized pre-open) set (briefly,(τi , τj )-gp-open[29], if F ⊆ pIntj (A)), whenever F ⊆ A and F is τi -closed set. The family of all (τi , τj )-gp-open set of X denoted by (τi , τj )-GP O(X). We recall the following definitions on a space X. Applications of a conditional preopen set 2175 Definition 2.2. A topological space X is called, 1. Submaximal [13], if every dense set of X is open in X. Equivalently if every preopen set is open. 2. Extermally disconnected [5], if Cl(U) ∈ τ for every U ∈ τ . 3. Hyperconnected [8], if every nonempty open subset of X is dense. 4. Locally indiscrete [8], if every open subset of X is closed. Lemma 2.3. [6] A space (X, τ ) is hyperconnected if and only if RO(X) = {φ, X}. Theorem 2.4. [8] For a topological space (X, τ ) the following conditions are equivalent: 1. X is locally indiscrete. 2. Every subset of X is preopen. Remark 2.5. From the above theorem it is obvious that if X is locally indiscrete space, then every semi-open subset of X is closed and hence every semi-closed subset of X is open. Definition 2.6. [23] A space X is said to be semi-regular if for any open set U of X and each point x ∈ U, there exists a regular open set V of X such that x ∈ V ⊆ U. Theorem 2.7. [1] Let Y be any subspace of the topological space (X, τ ). Then the following statements are true: 1. If A ∈ P O(X) and A ⊆ Y , then A ∈ P O(Y ). 2. If F ∈ SC(X) and F ⊆ Y , then F ∈ SC(Y ). 3. If F ∈ SC(Y ) and Y ∈ SC(X) then F ∈ SC(X). 4. If G ∈ τ , and Y ∈ P O(X) then G ∩ Y ∈ P O(X). From the above theorem it is clear that, if (Y, τY ) is a subspace of a space (X, τ ), F ∈ P C(X) and F ⊆ Y then F ∈ P C(Y ). Lemma 2.8. [10] For any topological space (X, τ ) the following statements are true: 1. If A ∈ P O(X) and B ∈ SO(X), then A ∩ B ∈ P O(B). 2. If Y is an open subspace of the space X and if F ∈ SC(X), then F ∩ Y ∈ SC(Y ). Lemma 2.9. [8] If R ∈ RO(X) and P ∈ P O(X), then R ∩ P ∈ RO(P ) Theorem 2.10. [29] In a bitopological space (X, τ1 , τ2 ). If A ∈ j-P O(X), then A ∈ (i, j)-GP O(X). 3. (i, j)-Ps -open sets In this section, we introduce and define a new type of sets in bitopological spaces and we find some of its properties. 2176 A. B. Khalaf and H. N. Aziz Definition 3.1. A subset A of a bitopological space (X, τ1 , τ2 ) is said to be (i, j)-Ps -open, if A is a j-pre-open set and for all x in A, there exist an i-semiclosed set F such that x ∈ F ⊆ A. A subset B of X is called (i, j)-Ps - closed if and only if B c is (i, j)-Ps - open. The family of (i, j)-Ps -open (resp., (i, j)-Ps closed) subset of x is denoted by (i, j)-Ps O(X) (resp.,(i, j)-Ps C(X)). Corollary 3.2. A subset A of a bitopological space X is (i, j)-Ps -open, if A is j-pre open set and it is a union of i-semi-closed sets. This means that A = ∪Fγ , where A is a j-preopen and Fγ is an i-semi-closed set for each γ. Corollary 3.3. A subset B of a bitopological space X is (i, j)-Ps - closed if and only if B is j-pre closed and it is an intersection of i-semi-open sets. Proof. Follows from Corollary 3.2 taking A = B c . It is clear that the union of any family of (i, j)-Ps -open sets in a space X is also (i, j)-Ps -open. The intersection of two (i, j)-Ps -open sets is not (i, j)-Ps -open set in general, as shown in the following example: Example 3.4. Let X = {a, b, c} , τ1 = {φ, {a}, {c}, {a, c}, X}, τ2 = {φ, {c}, {a, b}, X}, then (i, j)-PS O(X) = {φ, {a}, {c}, {a, b}, {b, c}, {a, c}, X}, if A = {a, b} and B = {b, c} then A ∩ B = {b} ∈ / (i, j)-PS O(X) From the above example we notice that the family of all (i, j)-Ps -open sets is a supratopology and it is not a topology in general. A space X is said to be semi-T1 [17] if for every two distinct points of X there exist two semi-open sets each one contains one of the points but not the other. Lemma 3.5. [17] A space X is semi-T1 if and only if every singleton {x} is semi-closed in X. Proposition 3.6. Let (X, τ1 , τ2 ) be a bitopological space if (X, τi ) is a semiT1 -space , then (i, j)-Ps O(X) = j-P O(X). Proof. Let A be any subset of a space X and A is j-pre-open set, if A = φ, then A ∈ (i, j)-Ps O(X), if A = φ, now let x ∈ A, since (X, τ1 ) is semi-T1 space, then by Theorem 3.5 every singleton is i-semi-closed set , and hence x ∈ {x} ⊆ A, therefore A ∈ (i, j)-Ps O(X), hence j-P O(X) ⊆ (i, j)-Ps O(X) but (i, j)-Ps O(X) ⊆ j-P O(X) generally, thus (i, j)-Ps O(X) = j-P O(X) Theorem 3.7. In a bitopological space (X, τ1 , τ2 ). If the space (X, τi ) is hyperconnected, then (i, j)-Ps O(X) = {φ, X}. Proof. Suppose that a subset A of a bitopological space X is an (i, j)-Ps −open set. If A = φ, then for each x ∈ A there exist i-semi-closed set F such that x ∈ F ⊆ A. Since F is i-semi-closed, then i-int(i-Cl(F )) ⊆ F , so i-sCl(i-int(i-Cl(F )) ⊆ F . Since (X, τi ) is hyperconnected, then every nonempty preopen subset of X is semi-dense [16]. This implies that i−sCl(i-int(iCl(F ))) = X ⊆ F , so F = X. Hence (i, j)-Ps O(X) = {φ, X}. Applications of a conditional preopen set 2177 Theorem 3.8. In a bitopological space (X, τ1 , τ2 ) if a space (X, τi ) is locally indiscrete then (i, j)-Ps O(X) ⊆ τi . Proof. Let V ∈ (i, j)-Ps O(X) then V ∈ j-P O(X) and for each x ∈ V , there exist i-semi-closed F in X such that x ∈ F ⊆ V , by Remark 2.5, F is i-open, it follows that V ∈ τi , and hence (i, j)-Ps O(X) ⊆ τi . The converse of Theorem 3.8 is not true in general, as shown in the following example: Example 3.9. Let X = {a, b, c}, τ1 = {φ, {a}, {b, c}, X} and τ2 = {φ, {b}, X}, then (i, j)-Ps O(X) = {φ, {b, c}, X} and it is clear that (X, τ1 ) is locally indiscrete but tau1 is not a subset of (i, j)-Ps O(X) Remark 3.10. In any bitopological space (X, τ1 , τ2 ) we have: 1. If τi (resp. j-P O(X)) is indiscrete, then (i, j)-Ps O(X) is also indiscrete . 2. If (i, j)-Ps O(X) is discrete, then j-P O(X) is also discrete. Lemma 3.11. [1] For any two topological spaces X and Y . If A ⊆ X and B ⊆ Y then, 1. pIntX×Y (A × B) = pIntX (A) × pIntY (B) 2. sClX×Y (A × B) = sClX (A) × sClY (B) Proposition 3.12. Let X1 , X2 be two bitopological space and X1 × X2 be the bitopological product , let A1 ∈ (i, j)-Ps O(X1) and A2 ∈ (i, j)-Ps O(X2) then A1 × A2 ∈ (i, j)-Ps O(X1 × X2 ) Proof. Let (x1 , x2 ) ∈ A1 × A2 , then x1 ∈ A1 and x2 ∈ A2 . Since A1 ∈ (i, j)Ps O(X1) and A2 ∈ (i, j)-Ps O(X2 ), then A1 ∈ j-P O(X1) and A2 ∈ j-P O(X2) also, there exist F1 ∈ i-SC(X1 ) and F2 ∈ i-SC(X2 ) such that x1 ∈ F1 ⊆ A1 and x2 ∈ F2 ⊆ A2 . Therefore (x1 , x2 ) ∈ F1 × F2 ⊆ A1 × A2 . Since A1 ∈ jP O(X1) and A2 ∈ j-P O(X2), then by Theorem 3.11 part(1), A1 × A2 = j-pIntx1 (A1 ) × j-pIntx2 (A2 ) = j-pIntx1 ×x2 (A1 × A2 ), hence A1 × A2 ∈ jP O(X1 × X2 ).Since F1 ∈ i-SC(X1 ) and F2 ∈ i-SC(X2 ), then by Theorem 3.11 part (2), we get F1 × F2 = i-sClx1 (F1 ) × i-sClx2 (F2 ) = i-sClx1 ×x2 (F1 × F2 ). Hence F1 × F2 ∈ i-SC(X1 × X2 ), so A1 × A2 ∈ (i, j)-Ps O(X). Theorem 3.13. For any bitopological space (X, τ1 , τ2 ), if A ∈ j-P O(X) and either A ∈ i-ηO(X) or A ∈ i-SθO(X), then A ∈ (i, j)-Ps O(X) Proof. Let A ∈ i-ηO(X) and A ∈ j-P O(X), if A = φ , then A ∈ (i, j)-Ps O(X). If A = φ, since A ∈ i-ηO(X) , then A = ∪Fγ , where Fγ ∈ i-δC(X) for each γ. Since i-δC(X) ⊆ i-SC(X), so Fγ ∈ i-SC(X) for each γ, and A ∈ j-P O(X). Hence, by Corollary 3.2, A ∈ (i, j)-Ps O(X) On the other hand suppose that A ∈ i-SθO(X) and A ∈ j-P O(X). If A = φ, then A ∈ (i, j)-Ps O(X). If A = φ, since A ∈ i-SθO(X), then for each x ∈ A, there exists an i-semi-open set U such that x ∈ U ⊆ i-sCl(U) ⊆ A. This implies that x ∈ i-sCl(U) ⊆ A and A ∈ j-P O(X). Therefore, by Corollary 3.2, A ∈ (i, j)-Ps O(X) 2178 A. B. Khalaf and H. N. Aziz Theorem 3.14. Let Y be a subspace of a bitopological space (X, τ1 , τ2 ), if A ∈ (i, j)-Ps O(X) and A ⊆ Y , then A ∈ (i, j)-Ps O(Y ) Proof. Let A ∈ (i, j)-Ps O(X), then A ∈ j-P O(X) and for each x ∈ A, there exists an i-semi-closed set F in X such that x ∈ F ⊆ A. Since A ∈ j-P O(X) and A ⊆ Y , then by Theorem 2.7, A ∈ j-P O(Y ), and since F ∈ i-SC(X) and F ⊆ Y , then by Theorem 2.7, F ∈ i-SC(Y ). Hence, A ∈ (i, j)-Ps O(Y ). Corollary 3.15. Let (X, τ1 , τ2 ) be a bitopological space , A and Y be two subsets of X such that A ⊆ Y ⊆ X, Y ∈ RO(X, τj ) and Y ∈ RO(X, τi ). Then A ∈ (i, j)-Ps O(Y ) if and only if A ∈ (i, j)-Ps O(X) Proposition 3.16. Let Y be a subspace of a bitopological space (X, τ1 , τ2 ). If A ∈ (i, j)-Ps O(Y ) and Y ∈ i-SC(X), then for each x ∈ A, there exists an i-semi-closed set F in X such that x ∈ F ⊆ A. Proof. Let A ∈ (i, j)-PS O(Y ), then A ∈ j-P O(Y ) and for each x ∈ A there exists an i-semi-closed set F in Y such that x ∈ F ⊆ A. Since Y ∈ i-SC(X), so by Theorem 2.7, F ∈ i-SC(X), which completes the proof. Proposition 3.17. Let A and Y be any subsets of a bitopological space X. If A ∈ (i, j)-Ps O(X), Y ∈ RO(X, τj ) and Y ∈ RO(X, τi ), then A ∩ Y ∈ (i, j)Ps O(X). Proof. Let A ∈ (i, j)-PS O(X), then A ∈ j-P O(X) and A = ∪Fγ ,where Fγ ∈ iSC(X) for each γ, then A ∩ Y = ∪Fγ ∩ Y = ∪(Fγ ∩ Y ). Since Y ∈ RO(X, τj ), then Y is j−open, by Theorem 2.7, A ∩ Y ∈ j-pO(X) . Since Y ∈ RO(X, τi ), then Y ∈ i-SC(X) and hence Fγ ∩ Y ∈ i-SC(X), for each γ. Therefore by Corollary 3.2, A ∩ Y ∈ (i, j)-Ps O(X). Proposition 3.18. Let A and Y be any subsets of a bitopological space X. If A ∈ (i, j)-PS O(X), Y ∈ RO(X, τi ) and Y ∈ RO(X, τj ), then A ∩ Y ∈ (i, j)PS O(Y ). Proof. Let A ∈ (i, j)-PS O(X), then A ∈ j-P O(X) and A = ∪Fγ where Fγ ∈ iSC(X) for each γ, then A∩Y = ∪Fγ ∩Y = ∪(Fγ ∩Y ). Since Y ∈ RSO(X, τj ), then Y ∈ j-SO(X) [27] and by Theorem 2.8, A ∩ Y ∈ j-P O(Y ). Since Y ∈ RSO(X, τi ) then Y ∈ i-SC(X) [27]. Hence Fγ ∩ Y ∈ i-SC(X) for each γ. Since Fγ ∩ Y ⊆ Y and Fγ ∩ Y ∈ i-SC(X) for each γ, then by Theorem 2.7, Fγ ∩ Y ∈ i-SC(Y ). Therefore, by Corollary 3.2, A ∩ Y ∈ (i, j)-Ps O(Y ). Proposition 3.19. If Y is an i-open and j-open subspace of a bitopological space X and A ∈ (i, j)-Ps O(X), then A ∩ Y ∈ (i, j)-Ps O(Y ). Proof. Let A ∈ (i, j)-Ps O(X), then A ∈ j-P O(X) and A = ∪Fγ where Fγ ∈ iSC(X) for each γ, then A ∩ Y = ∪Fγ ∩ Y = ∪(Fγ ∩ Y ). Since Y is j-open subspace of X, then Y ∈ j-SO(X) and hence by Theorem 2.8 Part (1), A∩Y ∈ j-P O(Y ). Since Y is an i-open subspace of X, then by Theorem 2.8 Part(2), Fγ ∩ Y ∈ i-SC(Y ) for each γ. Therefore, by Corollary 3.2, A ∩ Y ∈ (i, j)Ps O(Y ). Applications of a conditional preopen set 2179 Corollary 3.20. If either Y ∈ RSO(X, τj ) and Y ∈ RSO(X, τi) or Y is an i-open and j-open subspace of a bitopological space X, and A ∈ (i, j)-Ps O(X), then A ∩ Y ∈ (i, j)-Ps O(Y ). In any bitopological space (X, τ1 , τ2 ) , (1, 2)-Ps O(X) is incomparable with (2, 1)-Ps O(X), as it is shown in the following example: Example 3.21. Let X = {a, b, c}, τ1 = {φ, {c}, {a, b}, X}, τ2 = {φ, {a}, {c}, {a, c}, X}, then (1, 2)-PsO(X) = {φ, {c}, X} and (2, 1)-PsO(X) = {φ, {a}, {c}, {a, b}, {b, c}, {a, c}, X}. It is clear that {a} ∈ (2, 1)-PsO(X), but {a} ∈ / (1, 2)-Ps O(X) Proposition 3.22. Let (X, τ1 , τ2 ) be a bitopological space and A be a subset of X. If A is both i-regular semi-open and j-preregular set, then A is both (i, j)-Ps -open and (i, j)-Ps - closed set. Proof. Suppose that A is both i-regular semi-open and j-preregular set, then A is both i-semi-closed [27] and j-preopen set. Hence A is (i, j)-Ps - open. Again since A is both i-regular semi-open and j-preregular set, then A is both i-semi-open [27] and j-pre closed set, hence A is (i, j)-Ps - closed set. Proposition 3.23. If Y is j-pre regular and i-pre regular subspace of a bitopological space X and B ∈ (i, j)-Ps C(X), then B ∩ Y ∈ (i, j)-Ps C(Y ) Proof. Let B ∈ (i, j)-Ps C(X), then B is j-pre closed and B = ∩Vγ , where Vγ is an i-semi-open set in X for each γ. So B ∩ Y = ∩Vγ ∩ Y = ∩(Vγ ∩ Y ), since Y is i-pre regular subspace of X, then Y is i-preopen. By Theorem 2.8, Vγ ∩ Y ∈ i-SO(Y ) for each γ, and since Y is j-pre regular subspace of X, then Y is j-pre closed. Hence B ∩ Y ∈ j-P C(X), but B ∩ Y ⊆ Y , by Theorem ??, B ∩ Y ∈ j-P C(Y ). Therefore, by Proposition 3.3, B ∩ Y ∈ (i, j)-Ps C(Y ). Proposition 3.24. If Y is i-preregular and j-preregular subspace of a bitopological space X, and B ∈ (i, j)-Ps O(X), then B ∩ Y ∈ (i, j)-Ps O(Y ). Definition 3.25. If A is a subset of a bitopological space (X, τ1 , τ2 ), then the (i, j)-Ps -interior ((i, j)-Ps Int(A)), the (i, j)-Ps -closure ((i, j)-Ps Cl(A)) and the (i, j)-Ps -boundary ((i, j)-Ps Bd(A)) of A are defined as follows: 1. (i, j)-Ps Cl(A) = ∩{F : A ⊆ F , X − F ∈ (i, j)-Ps O(X)}. 2. (i, j)-Ps Int(A) =∪{U : U ⊆ A, U ∈ (i, j)-Ps O(X)}. 3. (i, j)-Ps Bd(A)=(i, j)-Ps Cl(A) − (i, j)-Ps Int(A). Proposition 3.26. For any two subsets A and B of a bitopological space X, the following statements are true: 1. (i, j)-Ps Cl(X − A)=X − ((i, j)-Ps Int(A)) and (i, j)-Ps Int(X − A)=X − ((i, j)-Ps Cl(A)), 2. (i, j)-Ps Cl(X)=X, (i, j)-Ps Cl(φ)=φ, (i, j)-Ps Int(X)=X and (i, j)-Ps Int(φ)=φ, 3. If A ⊆ B, then (i, j)-Ps Cl(A) ⊆ (i, j)-Ps Cl(B) and (i, j)-Ps Int(A) ⊆ (i, j)-Ps Int(B), 4. A ⊆ (i, j)-Ps Cl(A) and (i, j)-Ps Int(A) ⊆ A, 2180 A. B. Khalaf and H. N. Aziz 5. (i, j)-Ps Cl((i, j)-Ps Cl(A))= (i, j)-Ps Cl(A) and (i, j)-Ps Int((i, j)-Ps Int(A))= (i, j)-Ps Int(A). In general (i, j)-Ps Int(A) ∪ (i, j)-Ps Int(B) = (i, j)-Ps Int(A ∪ B) and (i, j)Ps Int(A ∩ B) = (i, j)-Ps Int(A) ∩ (i, j)-Ps Int(B), as it shown in the following examples: Example 3.27. Let X = {a, b, c}, τ1 = {φ, {a}, {a, c}, X} and τ2 = {φ, {a, c}, X}, then (i, j)-Ps O(X) = {φ, {c}, {b, c}, X}. If we take A = {a, b} and B = {a, c}, then (i, j)-Ps Int(A) = φ and (i, j)-Ps Int(B) = {c}. Therefore, (i, j)Ps Int(A) ∪ (i, j)-Ps Int(B) = {c} but (i, j)-Ps Int(A ∪ B) = (i, j)-Ps Int(X) = X. Example 3.28. Let X = {a, b, c}, τ1 = {φ, {a}, {c}, {a, c}, X} and τ2 = {φ, {c}, {a, b}, X}, then (i, j)-Ps O(X) = {φ, {a}, {c}, {a, b}, {b, c}, {a, c}, X}. If A = {a, b} and B = {b, c}, then (i, j)-Ps Int(A) = {a, b}, (i, j)-Ps Int(B) = {b, c} and so, (i, j)-Ps Int(A) ∩ (i, j)-Ps Int(B) = {b}. On the other hand, (i, j)-Ps Int(A ∩ B) = (i, j)-Ps Int({b}) = φ, so (i, j)-Ps Int(A ∩ B) = (i, j)Ps Int(A) ∩ (i, j)-Ps Int(B). The proof of the following result is obvious. Proposition 3.29. If A is any subset of a bitopological space X, then (i, j)Ps Int(A) ⊆ j-pInt(A) ⊆ A ⊆ j-pCl(A) ⊆ (i, j)-Ps Cl(A). In general, (i, j)-Ps Int(A) = j-pInt(A) and (i, j)-Ps Cl(A) = j-pCl(A) as it is shown in the following example: Example 3.30. Considering the space X in Example 3.28. If we take A = {a}, then j-pInt(A) = A and (i, j)-Ps Int(A) = φ. This shows that (i, j)Ps Int(A) = j-pInt(A). Example 3.31. Considering the space X as defned in Example 3.28. If we take F = {b}, then j-pCl(F ) = {b} and (i, j)-Ps Cl(F ) = {a, b}. Hence (i, j)Ps Cl(F ) is not a subset of j-pCl(F ). The following results can be proved by straightforward statments: Proposition 3.32. Let A be a subset of a bitopological space X, then (i, j)Ps Bd(A) = φ if and only if A is both (i, j)-Ps - open and (i, j)-Ps -closed set. Theorem 3.33. For any subset A of a bitopological space X, the following statements are true: 1. (i, j)-Ps Bd(A) = (i, j)-Ps Bd(X − A) 2. A ∈ (i, j)-Ps O(X) if and only if (i, j)-Ps Bd(A) ⊆ X − A, i.e., A ∩ (i, j)Ps Bd(A) = φ. 3. A ∈ (i, j)-Ps C(X) if and only if (i, j)-Ps Bd(A) ⊆ A. 4. (i, j)-Ps Bd((i, j)-Ps Bd(A)) ⊆ (i, j)-Ps Bd(A) 5. (i, j)-Ps Bd((i, j)-Ps Int(A)) ⊆ (i, j)-Ps Bd(A) 6. (i, j)-Ps Bd((i, j)-Ps Cl(A)) ⊆ (i, j)-Ps Bd(A) 7. (i, j)-Ps Int(A) = A-((i, j)-Ps Bd(A)) Applications of a conditional preopen set 2181 4. On (i, j)-Ps -Continuity Recall the fopllowing definitions: Definition 4.1. A function f : X → Y is called, 1. precontinuous, [18] (resp., almost precontinuous, [20]) if the inverse image of each open (resp., regular open) subset of Y is preopen in X. 2. Contra continuous [7], if the inverse image of every open subset of Y is closed in X. 3. R-map [4], if the inverse image of each regular open subset of Y is regular open in X. Definition 4.2. [9] A function f : (X, τ1 , τ2 ) → (Y, σ1 , σ2 ) is said to be ijperfectly continuous if f −1 (V ) is both j-closed and j-open in X for each i-open subset V of Y . Definition 4.3. A function f : (X, τ1 , τ2 ) → (Y, σ1 , σ2 ) is called (i, j)-Ps continuous (resp. almost (i, j)-Ps -continuous ) at a point x ∈ X, if for each i-open set V of Y containing f (x), there exist (i, j)-Ps -open U of X containing x such that f (U) ⊆ V (resp., f (U) ⊆ i-Int(i-Cl(V )) ). if f is (i, j)-Ps continuous (resp. almost (i, j)-Ps -continuous) at every point x of X, then it is called (i, j)-Ps -continuous (resp. almost (i, j)-Ps -continuous ). It is obvious from definition that (i, j)-Ps -continuity implies almost (i, j)Ps -continuity however the converse is not true in general , as shown in the following example: Example 4.4. Let X = {a, b, c}, τ1 = {φ, {a}, {a, c}, X} and τ2 = {φ, {a, c}, X}, then the family of (i, j)-Ps -open subsets of X is (i, j)-Ps O(X) = {φ, {c}, {b, c}, X}. Let f : (X, τ1 , τ2 ) → (X, τ1 , τ2 ) be the identity function, then it is almost (i, j)Ps -continuous. Since {a} is an i-open set in X containing f (a) = a but there is no (i, j)-Ps -open set U of X containing a such that f (U) ⊆ {a}, so it is not (i, j)-Ps - continuous. Proposition 4.5. A function f : (X, τ1 , τ2 ) → (Y, σ1 , σ2 ) is (i, j)-Ps -continuous if and only if the inverse image of every i-open set in Y is (i, j)-Ps -open in X. It is clear that Every (i, j)-Ps -continuous function is j-pre continuous but the converse is not true in general, as shown in the following example: Example 4.6. In Example 4.4, f is j-pre continuous, but it is not (i, j)-Ps continuous. Theorem 4.7. For a function f : (X, τ1 , τ2 ) → (Y, σ1 , σ2 ), the following statements are equivalent: 1. f is (i, j)-Ps -continuous, 2. f −1 (V ) is (i, j)-Ps -open set in X, for each i-open set V in Y , 3. f −1 (F ) is (i, j)-Ps -closed set in X, for each i-closed set F in Y , 4. f ((i, j)-Ps Cl(A)) ⊆ i-Cl(f(A)), for each subset A of X, 2182 A. B. Khalaf and H. N. Aziz 5. (i, j)-Ps Cl(f −1 (B)) ⊂ f −1 (i-Cl(B)), for each subset B of Y , 6. f −1 (i-Int(B)) ⊆ (i, j)-Ps Int(f −1 (B)), for each subset B of Y , 7. i-Int(f (A)) ⊆ f ((i, j)-Ps Int(A)), for each subset A of X. Proof. (1) ⇒ (2) : Follows from definition. (2) ⇒ (3) : Let F be any i-closed set of Y , then Y − F is an i-open set of Y . By (2), we have f −1 (Y − F ) = X − f −1 (F ) is (i, j)-ps -open set in X. Hence f −1 (F ) is (i, j)-ps - closed set in X. (3) ⇒ (4) : Let A be any subset of X, then f (A) ⊆ i − Cl(f (A)) and i − Cl(f (A)) is i-closed set in Y . Hence A ⊆ f −1 (i − Cl(f (A))), by (3), f −1 (i − Cl(f (A))) is (i, j)-ps - closed set in X. Therefore, (i, j)-ps Cl(A) ⊆ f −1 (i − Cl(f (A))), so f ((i, j)-ps Cl(A)) ⊆ i − Cl(f (A)). (4) ⇒ (5) : Let B be any subset of Y , then f −1 (B) is a subset of X, by (4) we have f ((i, j)-psCl(f −1 (B))) ⊆ i − Cl(f (f −1(B))) = i − Cl(B), hence (i, j)ps Cl(f −1 (B)) ⊂ f −1 (i − Cl(B)). (5) ⇒ (6) : Let B be any subset of Y , then by applying conditiomn (5) on Y − B we obtain, (i, j)-Ps Cl(f −1 (Y − B)) ⊂ f −1 (i-Cl(Y − B)) ⇔ (i, j)-Ps Cl(X − f −1 (B)) ⊂ f −1 (Y − i-Int(B)) ⇔ X − (i, j)-Ps Int(f −1 (B)) ⊂ X − f −1 (i-Int(B)) ⇔ f −1 (i-Int(B)) ⊂ (i, j)-Ps Int(f −1 (B)). This completes the proof. (6) ⇒ (7) : Let A be any subset of X, then f (A) is a subset of Y . By (6), we have f −1 (i-Int(f (A))) ⊆ (i, j)-Ps Int(f −1 (f (A))) = (i, j)-Ps Int(A). Therefore, i-Int(f (A)) ⊆ ((i, j)-Ps Int(A)). (7) ⇒ (1) : Let x ∈ X and let V be any i-open set of Y containing f (x), then x ∈ f −1 (V ) and f −1 (V ) is a subset of X. Hence, by (7), we have i − Int(f (f −1 (V ))) ⊂ f ((i, j)-ps Int(f −1 (V ))). So, i − Int(V ) ⊆ f ((i, j)ps Int(f −1 (V ))). Since V is an i-open set in Y , then V ⊆ f ((i, j)-ps Int(f −1 (V ))) which implies that f −1 (V ) ⊆ (i, j)-ps Int(f −1 (V )). Therefore, f −1 (V ) is (i, j)ps -open set in X contains x and clearly f (f −1 (V )) ⊆ V . Hence, f is (i, j)-ps continuous. Theorem 4.8. For a function f : (X, τ1 , τ2 ) → (Y, σ1 , σ2 ), the following statements are equivalent: 1. f is almost (i, j)-Ps -continuous. 2. for each x ∈ X and each i-open set V of Y containing f (x), there exist an (i, j)-Ps -open set U of X containing x such that f (U) ⊆ i-sCl(V ) 3. for each x ∈ X and each i-regular open set V of Y containing f (x), there exist an (i, j)-Ps -open set U of X containing x such that f (U) ⊆ V . 4. for each x ∈ X and each i-δ-open set V of Y containing f (x), there exist an (i, j)-Ps -open set U of X containing x such that f (U) ⊆ V . Proof. (1) ⇒ (2): Let x ∈ X and let V be any i-open set of Y containing f (x), by (1) there exists an (i, j)-ps - open set U of X containing x such that f (U) ⊆ i − Int(i − Cl(V )). Since V is i-open and hence V is i-preopen set, so Applications of a conditional preopen set 2183 i − Int(i − Cl(V )) = i − sCl(V ). Therefore, f (U) ⊆ i − sCl(V ). (2) ⇒ (3): Let x ∈ X and let V be any i-regular open set of Y containing f (x), then V is i-open set of Y containing f (x). So by (2), there exists an (i, j)-ps open set U of X containing x such that f (U) ⊆ i−sCl(V ). Since V is i-regular open and hence V is i-open, so i − sCl(V ) = i − Int(i − Cl(V )). Therefore, f (U) ⊆ i − Int(i − Cl(V )) and since V is i-regular open, then f (U) ⊆ V . (3) ⇒ (4): Let x ∈ X, and let V be any i − δ-open set of Y containing f (x), then for each f (x) ∈ V there exists an i-open set G containing f (x) such that G ⊆ i − Int(i − Cl(G)) ⊆ V . Since i − Int(i − Cl(G)) is i-regular open set of Y containing f (x), so by (3) there exists an (i, j)-ps - open set U of X containing x such that f (U) ⊆ i − Int(i − Cl(G)) ⊆ V . This implies that f (U) ⊆ V . (4) ⇒ (1): Let x ∈ X, and let V be any i-open set of Y containing f (x), then iInt(i−Cl(V )) is i−δ-open set of Y containing f (x). Hence, by (4), there exists an (i, j)-ps -open set U of X containing x such that f (U) ⊆ i − Int(i − Cl(V )). Therefore, f is almost (i, j)-ps - continuous. Theorem 4.9. For a function f : (X, τ1 , τ2 ) → (Y, σ1 , σ2 ), the following statements are equivalent: 1. f is almost (i, j)-Ps -continuous. 2. f −1 (i-Int(i-Cl(V ))) is (i, j)-Ps -open set in X, for each i-open set V in Y. 3. f −1 (i-Cl(i-Int(F ))) is (i, j)-Ps -closed set in X, for each i-closed set F in Y. 4. f −1 (F ) is (i, j)-Ps -closed set in X, for each i-regular closed set F in Y . 5. f −1 (V ) is (i, j)-Ps -open set in X, for each i-regular open set V in Y . Proof. Similar to the proof of Theorem4.7 Proposition 4.10. A function f : (X, τ1 , τ2 ) → (Y, σ1 , σ2 ) is (i, j)-Ps -continuous if and only if f is j-pre continuous and for each x ∈ X and each i-open set V of Y containing f (x) there exist an i-semi-closed set F of X containing x such that f (F ) ⊆ V . Proof. Necessity. Let f be an (i, j)-ps - continuous function. Let x ∈ X and V be any i-open set of Y containing f (x), then by hypothesis there exists an (i, j)-ps -open set U of X containing x such that f (U) ⊆ V . Since U is (i, j)ps - open, then for each x ∈ U there exists an i-semi-closed set F of X such that x ∈ F ⊆ U. Therefore we have f (F ) ⊆ V and (i, j)-ps -continuity always implies j-pre continuity. Sufficiency. Let V be any i-open set of Y . To show that f −1 (V ) is an (i, j)ps -open set in X. Since f is j-pre continuous, then f −1 (V ) is an j-pre open set in X. Let x ∈ f −1 (V ), then f (x) ∈ V . So, by hypothesis, there exists an i-semi-closed set F of X containing x such that f (F ) ∈ V . This implies that x ∈ F ⊆ f −1 (V ), so f −1 (V ) is an (i, j)-ps - open set in X. Therefore, so by Proposition ??, f is (i, j)-ps - continuous. 2184 A. B. Khalaf and H. N. Aziz Theorem 4.11. Let f : (X, τ1 , τ2 ) → (Y, σ1 , σ2 ) be a function and let β be any basis for σi in Y , then f is (i, j)-Ps -continuous if and only if for each B ∈ β, f −1 (B) is an (i, j)-Ps -open subset of X. Proof. Obvious. Theorem 4.12. Let f : (X, τ1 , τ2 ) → (Y, σ1 , σ2 ) be ij-perfectly continuous and i-contra continuous, then f is (i, j)-Ps -continuous. Proof. Let V be any i-open suset of Y . Since f is ij-perfectly continuous, so f −1 (V ) is j-open in X. Since f is i-contra continuous, so f −1 (V ) is i-closed in X. Therefore, f −1 (V ) is (i, j)-ps - open set in X, so by Proposition ??, f is (i, j)-ps - continuous. Theorem 4.13. Let f : (X, τ1 , τ2 ) → (Y, σ1 , σ2 ) be (i, j)-Ps -continuous, if Y is an i-open subset of a bitopological space (Z, η1 , η2 ), then f : (X, τ1 , τ2 ) → (Z, η1 , η2 ) is (i, j)-Ps -continuous. Proof. Let V be any i-open set in Z, then V ∩ Y is an i-open set in Y . Since f is (i, j)-Ps -continuous, so by Theorem 4.7, f −1 (V ∩ Y ) is (i, j)-Ps -open set in X but f (x) ∈ Y for each x ∈ X. Thus f −1 (V ) = f −1 (V ∩ Y ) is (i, j)Ps -open set in X. Therefore, by Theorem 4.7, f : (X, τ1 , τ2 ) → (Z, η1, η2 ) is (i, j)-Ps -continuous. Theorem 4.14. Let f : (X, τ1 , τ2 ) → (Y, σ1 , σ2 ) be almost (i, j)-Ps -continuous , if Y is an i-preopen subset of a bitopological space (Z, η1 , η2 ), then f : (X, τ1 , τ2 ) → (Z, η1 , η2 ) is almost (i, j)-Ps -continuous. Proof. Let V be any i-regular open set of Z. Since Y is i-preopen then by Theorem 2.9, V ∩Y is i-regular open set in Y . Since f : (X, τ1 , τ2 ) → (Y, σ1 , σ2 ) is almost (i, j)-Ps -continuous, so by Theorem 4.9, f −1 (V ∩ Y ) is (i, j)-Ps -open set in X but f (x) ∈ Y for each x ∈ X, hence f −1 (V ) = f −1 (V ∩ Y ) is (i, j)Ps -open set in X. Therefore, by Theorem 4.9, f : (X, τ1 , τ2 ) → (Z, η1, η2 ) is almost (i, j)-Ps -continuous. Theorem 4.15. If f : (X, τ1 , τ2 ) → (Y, σ1 , σ2 ) is almost (i, j)-Ps -continuous and g : (Y, σ1 , σ2 ) → (Z, η1 , η2 ) is i-continuous and i-open, then the composition function g ◦ f : (X, τ1 , τ2 ) → (Z, η1 , η2 ) is almost (i, j)-Ps -continuous. Proof. Let x ∈ X and V be an i-open set of Z. Since g is i-continuous, so g −1 (V ) is i-open set of Y containing f (x). Since f is almost (i, j)-Ps continuous, then there exists an (i, j)-Ps -open set U of X containing x such that f (U) ⊆ i-Int(i-Cl(g −1(V ))), also g is i-continuous, then (g ◦ f )(U) ⊆ g(iInt(g −1 (i-Cl(V )))). Since g is i-open we obtain that (g ◦ f )(U) ⊆ i-Int(iCl(V )). Therefore, g ◦ f is almost (i, j)-Ps -continuous. Theorem 4.16. If f : (X, τ1 , τ2 ) → (Y, σ1 , σ2 ) is almost (i, j)-Ps -continuous and Y is i-semi-regular, then f is (i, j)-Ps -continuous. Applications of a conditional preopen set 2185 Proof. Let x ∈ X and let V be any i-open set of Y containing f (x), by the semi-regularity of Y , there exists an i-regular open set G of Y such that f (x) ∈ G ⊆ V . Since f is almost (i, j)-Ps -continuous, so by Theorem 4.8, there exists an (i, j)-Ps -open set U of X containing x such that f (U) ⊆ G ⊆ V . Therefore, f is (i, j)-Ps -continuous. Definition 4.17. A function f : (X, τ1 , τ2 ) → (Y, σ1 , σ2 ) is called contra (i, j)Ps -continuous if f −1 (V ) is (i, j)-Ps -closed in X for every j-open set V of Y . The following result can be proved easily. Theorem 4.18. The function f : (X, τ1 , τ2 ) → (Y, σ1 , σ2 ) is contra (i, j)-Ps continuous if and only if for each j-closed set A containing f (x), there exist an (i, j)-Ps -open set G containing x such that f (G) ⊆ A. Theorem 4.19. If a function f : (X, τ1 , τ2 ) → (Y, σ1 , σ2 ) is contra (i, j)-Ps continuous at x, then for each j-closed set A containing f (x), there exist an i-semi-closed set F such that f (F ) ⊆ A. Proof. Let A be any j-closed set containing f (x). Since f is contra (i, j)-Ps continuous, so by Theorem 4.18, there exists an (i, j)-Ps - open set G containing x such that f (G) ⊆ A. Since G is (i, j)-Ps - open set, so for all x ∈ G there exists an i-semi-closed set F such that x ∈ F ⊆ G. This implies that f (F ) ⊆ f (G) ⊆ A which completes the proof. Theorem 4.20. The following statments are equivalent for a function f : (X, τ1 , τ2 ) → (Y, σ1 , σ2 ): 1. f is contra (i, j)-Ps -continuous. 2. The inverse image of every j-closed set of Y is (i, j)-Ps -open in X. 3. For each x ∈ X and each j-closed set B in Y with f (x) ∈ B, there exists an (i, j)-Ps -open set A in X such that x ∈ A and f (A) ⊆ B. 4. f ((i, j)-Ps Cl(A)) ⊆ j-ker(f (A)), for every subset A of X. 5. (i, j)-Ps Cl(f −1 (A)) ⊆ f −1 (j-ker((A))), for every subset A of Y . Proof. (1) ⇒ (3): Let x ∈ X and B be j-closed set in Y with f (x) ∈ B. By (1), it follows that f −1 (Y − B) = X − f −1 (B) is (i, j)-Ps -closed in X and so f −1 (B) is (i, j)-Ps -open. Take A = f −1 (B), we obtain that x ∈ A and f (A) ⊆ B. (3) ⇒ (2): Let B be j-closed set in Y with x ∈ f −1 (B). Since f (x) ∈ B, so by (3), there exists an (i, j)-Ps -open set A in X containing x such that f (A) ⊆ B. It follows that x ∈ A ⊂ f −1 (B), hence f −1 (B) is (i, j)-Ps -open set in X. (2) ⇒ (1): Follows from Theorem ??. (2) ⇒ (4): Let A be any subset of X and let y ∈ j-ker(f (A)), then there exist j-closed set F containing y such that f (A) ∩ F = φ. Hence we have A ∩ f −1 (F ) = φ and (i, j)-Ps Cl(A) ∩ f −1 (F ) = φ, so f ((i, j)-PsCl(A)) ∩ F = φ and y ∈ / f ((i, j)-PsCl(A)). Thus f ((i, j)-Ps Cl(A)) ⊂ j-ker(f (A)). (4) ⇒ (5): let B be any subset of Y , so by (4), f ((i, j)-PsCl(f −1 (B))) ⊂ jker(B). Hence, (i, j)-Ps Cl(f −1 (B)) ⊂ f −1 (j-ker(B)). 2186 A. B. Khalaf and H. N. Aziz (5) ⇒ (1): Let B be any j-open set of Y , by (5), (i, j)-Ps Cl(f −1 (B)) ⊂ f −1 (jker(B)) = f −1 (B) and hence (i, j)-Ps Cl(f −1 (B)) = f −1 (B). Therefore, we obtain that f −1 (B) is (i, j)-Ps -closed in X, so f is contra (i, j)-Ps −continuous. Proposition 4.21. If a function f : (X, τ1 , τ2 ) → (Y, σ1 , σ2 ) is both j-contra continuous and ji-perfectly continuous, then f is contra (i, j)-Ps -continuous. Proof. Let V be any j-open set in Y . Since f is ji-perfectly continuous so f −1 (V ) is both i-open and i-closed in X and since f is j-contra continuous, so f −1 (V ) is j-closed in X. Hence f −1 (V ) is (i, j)-Ps − closed set in X, so f is contra (i, j)-Ps -continuous. Theorem 4.22. If a function f : (X, τ1 , τ2 ) → (Y, σ1 , σ2 ) is contra (i, j)-Ps continuous and g : (Y, σ1 , σ2 ) → (Z, η1 , η2 ) is j-R-map, then g ◦ f is contra (i, j)-Ps -continuous. Proof. Let V be any j-regular open set of Z. Since g is j-R-map, so g −1 (V ) is j-regular open set in Y and since every regular open is open set, so g −1 (V ) is j-open set in Y . Since f is contra (i, j)-Ps -continuous, so (g ◦ f )−1 (V ) = f −1 (g −1 (V )) is (i, j)-Ps -closed set in X. Therefore, g ◦ f is contra (i, j)-Ps continuous. Theorem 4.23. If a function f : (X, τ1 , τ2 ) → (ΠYi , σ1 , σ2 ) is contra (i, j)-Ps continuous, then gi ◦ f : (X, τ1 , τ2 ) → (Y i, σ1 , σ 2 ) is contra (i, j)-Ps -continuous for each i ∈ I, where gi is the j-projection of Yi onto Yi. −1 (V i) is jProof. Let Vi be any j-open set of Yi . Since gi is j-continuous, so−1gi −1 open in Yi and since f is contra (i, j)-Ps -continuous, so f (g (Vi )) = (gi ◦ f )−1 (Vi ) ∈ (i, j)-Ps C(X). This shows that gi ◦ f is contra (i, j)-Ps continuous for each i ∈ I. References [1] Ahmad N. K., On some types of separation axioms, Msc. Thesis, college of science, Salahaddin Univ. 1990. [2] Al-Saadi H. S., On some separation axioms and strongly generalized closed sets in bitopological spaces, International Math. Forum 3, 21(2008), 1039-1054. [3] Cameron D. E., Properties of S-closed spaces, Proc. Amer. Math. Soc. 72(3)(1978), 581-586. [4] Carnahan D. A., Some properties related to compactness in topological spaces, Ph.D. Thesis, Univ. Arkansas, 1973. [5] Di Maio G. and Noiri T., On s-closed spaces, Indian J. pure Appl. Math. 18(3) (1987), 226-233. [6] Dlaska K. and Ganster M., S-sets and Co-S-closed topologies, Indian J. pure Appl. Math., 23(10) (1992), 731-737. [7] Dontchev J., contra continuous functions and strongly S-closed spaces, Internat J. Math. and Math. sci., 19(2)(1996),303-310. [8] Dontchev J., Survy on preopen sets, The Proceedings of the Yatsushiro topological conference (1998), 1-18 Applications of a conditional preopen set 2187 [9] F. H. Khedr and A. M. Alshibani, On pairwise super continuous mappings in bitopological spaces, Internat. J. Math. and Math. sci., 4(1991) 715-722. [10] Ganster M. and Noiri T., On P-closed spaces, Internet J. Math. and Math. Sci. 24(3) (2000), 203-212. [11] G. K. Banerjee, On pairwise almost strongly θ-continuous mappings, Bull. Cal. Math. Soc. 74(1987), 195-206. [12] Husain T., Topology and maps, Plenum press, 1977. [13] I.L. Reilly and M.K. Vamanamurthy, On some questions concerning preopen sets, Kyungpook Math. J. 30 (1990), 87-93. [14] Joseph J. E. and Kwack M. H., On S-closed spaces, Proc. Amer. Math. Soc., 80(2) (1980), 341-348. [15] Kelly J. C., Bitopological spaces, Proc. London, Math. Soc. 13(1963), 71-89. [16] Levine N., semi-open sets and semi-continuity in topological spaces, Amer. Math. Monthly, 70(1) (1963), 36-41. [17] Maheshwari S. N. and Prasad R., Some New separation axioms, Ann. Soc. Sci. Bruxelles, Ser. I., 89(1975), 395-402. [18] Mashhour A. S., Abd El-Monsef M. E., and El-Deeb S. N., On precontinuous and weak precontinuous mappings, Proc. Math. Phys. Soc. Egypt, 53(1982), 47-53. [19] Mashhour A. S., Abd El-Monsef M. E., Hasanein I. A. and Noiri T., Strongly compact spaces, Delta J. sci., 8(1)(1984), 30-46. [20] Nasef A. A. and Noiri T., Some weak forms of almost continuity, Acta Math. Hungar., 74(3)(1997),211-219. [21] Navalagi G. B., pre-neighborhoods, the mathematics education, 32(4) (1998), 201206. [22] Njastad O., On some classes of nearly open sets, Pacific J. Math., 15(3)(1965), 961970. [23] Noiri T. and Popa V., On Almost β-continuous functions, Acta Math. Hungar. 70 (4) (1998), 329-339. [24] Noiri T., Strongly θ-precontinuous functions, Acta Math. Hungar. 90(4) (2001), 307316. [25] Popvassilev S. and stavrova D., On the η-expansion topology for the co-semiregularization and middly Hausdorff spaces, Acta Math. Hangar. 80(1-2) (1998), 9-19. [26] Steen L. A. and Seebach J. A., Counter examples in topology, Springer Verlag New York Heildberg Berlin, 1978. [27] Tadros S. F. and Khalaf A. B., On regular semi-open sets and S ∗ -closed spaces, Tamkang J. of Math. 23(4)(1992), 337-348. [28] Velicko N. V., H-closed topological spaces, Amer. Math. Soc. Transl., 78(2) (1968), 103-118. [29] Wuria M. A., Application of generalized preopen sets in bitopological spaces, Msc. Thesis, college of science, Salahaddin Univ., 2002. Received: May, 2010