Gen. Math. Notes, Vol. 2, No. 1, January 2011, pp.

232-243
c
ISSN 2219-7184; Copyright °ICSRS Publication, 2010
www.i-csrs.org
Available free online at http://www.geman.in

(i, j)-ξ-Open Sets in Bitopological Spaces

Alias B. Khalaf and Haji M. Hasan

University of Duhok, Kurdistan-Region, Iraq

E-mail:aliasbkhalaf@gmail.com
University of Duhok, Kurdistan-Region, Iraq
E-mail:shavanhaji@yahoo.com

(Received 26.10.2010, Accepted 23.11.2010)

Abstract
The aim of this paper is to introduce a new type of sets in bitopolog-
ical spaces which is conditional ξ-open set in bitopological spaces called
(i, j)-ξ-open set and we study its basic properties, and also we introduce
some characterizations of this set.

Keywords: ξ-open, (i, j)-ξ-open, semi-open, regular-closed

2000 MSC No:54A05, 54A10; Secondary: 54E55 .

1 Introduction

In 1963 Kelley J. C. [7] was first introduced the concept of bitopological

spaces, where X is a nonempty set and τ1 , τ2 are topologies on X. In 1963
Levine [8] introduced the concept of semi-open sets in topological spaces. By
using this concept, several authers defined and studied stronger or weaker types
of topological concept.
In this paper, we introduce the concept of a conditional ξ-open set in a
bitopological space, and we study their basic properties and relationships with
other concepts of sets. Throughout this paper, (X, τ1 , τ2 ) is a bitopological
space, and if A ⊆ Y ⊆ X, then i-Int(A) and i-Cl(A) denote respectively the
(i, j)-ξ-Open sets in bitopological spaces 233

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 shall give the following definitions and results.

Definition 2.1 A subset A of a space (X, τ ) is called:
1. preopen [9], if A ⊆ Int(Cl(A))

2. semi-open [8], if A ⊆ Cl(Int(A))

3. α-open [11], if A ⊆ Int(Cl(Int(A)))

4. regular open [5], if A = Int(Cl(A))

5. regular semi-open [1], if A = sInt(sCl(A))

The complement of a preopen (resp., semi-open, α-open, regular open,

regular semi-open) set is said to be preclosed (resp., semi-closed, α-closed,
regular closed, regular semi-closed). The intersection of all preclosed (resp.,
semi-closed, α-closed) sets of X containing A is called preclosure (resp., semi-
closure, α-closure) of A. The union of all preopen (resp., semi-open, α-open)
sets of X contained in A called preinterior (resp., semi-interior, α-interior) of
A.
A subset A of a space X is called δ-open [15], 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 [6] (resp., semi-θ-open [2]) 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.
A subset A of a topological space (X, τ ) is called η-open [13], if A is a union
of δ-closed sets. The complement of η-open sets is called η-closed.
Definition 2.2 A topological space X is called,
1. Extermally disconnected [2], if Cl(U ) ∈ τ for every U ∈ τ .

2. Locally indiscrete [4], if every open subset of X is closed.

From the above definition we obtain:
Remark 2.3 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.
234 Alias B. Khalaf et al.

Theorem 2.4 [9] A space X is semi-T1 if and only if for any point x ∈ X
the singleton set {x} is semi-closed.

Theorem 2.5 [10] For any space (X, τ ) and (Y, τ ) if A ⊆ X, B ⊆ Y then:

1. pIntX×Y (A × B) = pIntX (A) × pIntY (B)

2. sClX×Y (A × B) = sClX (A) × sClY (B)

Theorem 2.6 [10] For any topological space the following statements are
true:

1. Let (Y, τY ) be a subspace of a space (X, τ ), if F ∈ SC(X) and F ⊆ Y

then F ∈ SC(Y ).

2. Let (Y, τY ) be a subspace of a space (X, τ ), if F ∈ SC(Y ) and Y ∈ SC(X)

then F ∈ SC(X)

3. Let (X, τ ) be a topological space, if Y is an open subset of a space X and

F ∈ SC(X), then F ∩ Y ∈ SC(X)

Definition 2.7 [12] 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 .

3 Basic Properties
In this section, we introduce and define a new type of sets in bitopological
spaces and find some of its properties

Definition 3.1 A subset A of a bitopological space (X, τ1 , τ2 ) is said to be

(i, j)-ξ-open, if A is a j-open set and for all x in A, there exist an i-semi-closed
set F such that x ∈ F ⊆ A. A subset B of X is called (i, j)-ξ- closed if B c is
(i, j)-ξ- open.
The family of (i, j)-ξ-open (resp., (i, j)-ξ- closed) subset of x is denoted by
(i, j)-ξO(X) (resp.,(i, j)-ξC(X)).

From the above definition we obtain:

Corollary 3.2 A subset A of a bitopological space X is (i, j)-ξ-open, if A

is j-open set and it is a union of i-semi-closed sets. This means that A = ∪Fα ,
where A is a j-open and Fα is an i-semi-closed set for each α.

It is clear from the definition that every (i, j)-ξ-open set is j-open, but the
converse is not true in general as shown in the following example.
(i, j)-ξ-Open sets in bitopological spaces 235

Example 3.3 Let X = {a, b, c} , τ1 = {φ, {a}, X}, τ2 = {φ, {c}, {a, b}, X},
then (i, j)-ξO(X)= {φ, {c}, X}.It is clear that {a, b} is j−open but not (i, j)-
ξ-open.

Proposition 3.4 Let (X, τ1 , τ2 ) be a bitopological space if (X, τ1 ) is a semi-

T1 -space , then (i, j)-ξO(X)= τj (X).

Proof. Let A be any subset of a space X and A is j-open set, if A = φ, then

A ∈ (i, j)-ξO(X), if A 6= φ, now let x ∈ A, since (X, τ1 ) is semi-T1 -space, then
by Theorem 2.4 every singleton is i-semi-closed set , and hence x ∈ {x} ⊆ A,
therefore A ∈ (i, j)-ξO(X), hence τj (X)⊆ (i, j)-ξO(X) but (i, j)-ξO(X) ⊆
τj (X) generally, thus (i, j)-ξO(X) = τj (X).

Proposition 3.5 Let (X, τ1 , τ2 ) be a bitopological space and A be a subset

the space X. If A ∈ j-δO(X) and A is an i-closed set, then A ∈ (i, j)-ξO(X)

Proof. If A = φ, then A ∈ (i, j)- ξO(X), if A 6= φ , let x ∈ A since A ∈ j-

δO(X) and j-δO(X) ⊆ τj (X) in general so A ∈ τj (X), and since A is i-closed
so A is i-semi-closed and x ∈ A ⊆ A, and hence A ⊆ (i, j)-ξO(X).

From Proposition 3.5 we obtain the following:

Corollary 3.6 Let (X, τ1 , τ2 ) be a bitopological space, if a subset A of X is

i-regular closed and j-open then A ∈ (i, j)-ξO(X)

Theorem 3.7 In a bitopological space (X, τ1 , τ2 ) if a space (X, τi ) is locally

indiscrete then (i, j)-ξO(X)⊆ τi .

Proof. Let V ∈ (i, j)-ξO(X), then V ∈ τj (X) and for each x ∈ V , there exist
i-semi-closed F in X such that x ∈ F ⊆ V , by Remark 2.3, F is i-open, it
follows that V ∈ τi , and hence (i, j)-ξO(X) ⊆ τi .
The converse of Theorem 3.7, is not true in general, as shown in the fol-
lowing example:

Example 3.8 Let X = {a, b, c}, τ1 = {φ, {a}, {b, c}, X} and τ2 ={φ, {b, c},X},
then (i, j)-ξO(X) = {φ, {b, c}, X} and it is clear that (X, τ1 ) is locally indis-
crete but τ1 is not a subset of (i, j)-ξO(X)

Theorem 3.9 Let X1 , X2 be two bitopological space and X1 × X2 be the

bitopological product , let A1 ∈ (i, j)-ξO(X1 ) and A2 ∈ (i, j)-ξO(X2 ) then
A1 × A2 ∈ (i, j)-ξO(X1 × X2 )
236 Alias B. Khalaf et al.

Proof. Let (x1 , x2 ) ∈ A1 ×A2 then x1 ∈ A1 and x2 ∈ A2 , and since A1 ∈ (i, j)-
ξO(X1 ) and A2 ∈ (i, j)-ξO(X2 ), then A1 ∈ j-ξO(X1 ) and A2 ∈ j-ξO(X2 ),
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 , and since A1 ∈ j-ξO(X1 )
and A2 ∈ j-ξO(X2 ), then by Theorem 2.5 part(1) A1 × A2 = j-ξIntx1 (A1 ) × j-
ξIntx2 (A2 ) = j-ξIntx1 ×x2 (A1 × A2 ), hence A1 × A2 ∈ j-ξO(X1 × X2 ) and
since F1 ∈ i-SC(X1 ) and F2 ∈ i-SC(X2 ) then by Theorem 2.5 part (2) we get
F1 × F2 = i-sClx1 (F1 ) × i-sClx2 (F2 ) = i-sClx1 ×x2 (F1 × F2 ), hence F1 × F2 ∈ i-
SC(X1 × X2 ), therefore A1 × A2 ∈ (i, j)-ξO(X).
Theorem 3.10 For any bitopological space (X, τ1 , τ2 ), if A ∈ τj (X) and
either A ∈ i-ηO(X) or A ∈ i-SθO(X), then A ∈ (i, j)-ξO(X)
Proof. Let A ∈ i-ηO(X) and A ∈ τj (X), if A = φ , then A ∈ (i, j)-ξO(X), if
A 6= φ, since A ∈ i-ηO(X) , then A = ∪Fα , where Fα ∈ i-δC(X) for each α,
and since i-δC(X) ⊆ i-SC(X), so Fα ∈ i-SC(X) for each α, and A ∈ τj (X)
so by Corollary 3.2 A ∈ (i, j)-ξO(X).
On the other hand, suppose that A ∈ i-SθO(X) and A ∈ τj (X), if A = φ, then
A ∈ (i, j)-ξO(X), if A 6= φ, since A ∈ i-SθO(X), then for each x ∈ A, there
exist i-semi-open set U such that x ∈ U ⊆ i-sCl(U ) ⊆ A, this implies that
x ∈ i-sCl(U ) ⊆ A and A ∈ τj (X), therefore by Corollary 3.2 A ∈ (i, j)-ξO(X).
Theorem 3.11 Let Y be a subspace of a bitopological space (X, τ1 , τ2 ), if
A ∈ (i, j)-ξO(X) and A ⊆ Y , then A ∈ (i, j)-ξO(Y )
Proof. Let A ∈ (i, j)-ξO(X), then A ∈ τj (X) and for each x ∈ A, there exists
i-semi-closed set F in X such that x ∈ F ⊆ A, since A ∈ τj (X) and A ⊆ Y ,
then by Theorem 2.6 A ∈ τj (Y ), and since F ∈ i-SC(X) and F ⊆ Y , then by
Theorem 2.6 F ∈ i-SC(Y ), hence A ∈ (i, j)-ξO(Y ).
From the above theorem we obtain:
Corollary 3.12 Let X be a bitopological space , A and Y be two subsets of
X such that A ⊆ Y ⊆ X, Y ∈ RO(X, τj ), Y ∈ RO(X, τi ), then A ∈ (i, j)-
ξO(Y ) if and only if A ∈ (i, j)-ξO(X)
Proposition 3.13 Let Y be a subspace of a bitopological space (X, τ1 , τ2 ),
if A ∈ (i, j)-ξ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)-ξO(Y ), then A ∈ τj (Y ) and for each x ∈ A there exist
an i-semi-closed set F in Y such that x ∈ F ⊆ A, and since Y ∈ i-SC(X) so
by Theorem 2.6 F ∈ i-SC(X), which completes the proof.
Proposition 3.14 Let A and Y be any subsets of a bitopological space X, if
A ∈ (i, j)-ξO(X) and Y ∈ RO(X, τj ) and Y ∈ RO(X, τi ) then A ∩ Y ∈ (i, j)-
ξO(X)
(i, j)-ξ-Open sets in bitopological spaces 237

Proof. Let A ∈ (i, j)-ξO(X), then A ∈ τj (X) and A = ∪Fα ,where Fα ∈ i-

SC(X) for each α, then A ∩ Y = ∪Fα ∩ Y = ∪(Fα ∩ Y ), since Y ∈ RO(X, τj ),
then Y is j-open, by Theorem 2.6 A ∩ Y ∈ τj (X) and 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)-ξO(X).
Proposition 3.15 Let A and Y be any subsets of a bitopological space X, if
A ∈ (i, j)-ξO(X) and Y is regular semi-open in τi and τj , then A ∩ Y ∈ (i, j)-
ξO(Y )
Proof. Let A ∈ (i, j)-ξO(X), then A ∈ τj (X) and A = ∪Fα where Fα ∈ i-
SC(X) for each α, then A ∩ Y = ∪Fα ∩ Y = ∪(Fα ∩ Y ), since Y ∈ RSO(X, τj ),
then Y ∈ j-SO(X) and by Theorem 2.6, A ∩ Y ∈ τj (Y ) and since Y ∈
RSO(X, τi ) then Y ∈ i-SC(X) and hence Fα ∩ Y ∈ i-SC(X) for each α,
since Fα ∩ Y ⊆ Y and Fα ∩ Y ∈ i-SC(X) for each α, then by Theorem 2.6,
Fα ∩ Y ∈ i-SC(Y ) therefore by Corollary 3.2 A ∩ Y ∈ (i, j)-ξO(Y ).
Proposition 3.16 If Y is an i-open and j-open subspace of a bitopological
space X and A ∈ (i, j)-ξO(X), then A ∩ Y ∈ (i, j)-ξO(Y )
Proof. Let A ∈ (i, j)-ξO(X), then A ∈ τj (X) and A = ∪Fα where Fα ∈ i-
SC(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.6 A ∩ Y ∈ τj (Y ),
and since Y is an i-open subspace of X then by Theorem 2.6 Fα ∩Y ∈ i-SC(Y )
for each α then by Corollary 3.2 A ∩ Y ∈ (i, j)-ξO(Y ).
Frome the above proposition we obtain the following corollary:
Corollary 3.17 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)-ξO(X),
then A ∩ Y ∈ (i, j)-ξO(Y )
The following result shows that any union of (i, j)-ξO(X) sets in bitopo-
logical space (X, τ1 , τ2 ) is (i, j)-ξO(X).
Proposition 3.18 Let {Aλ : λ ∈ ∆} be family of (i, j)-ξ-open sets in
bitopological space (X, τ1 , τ2 ), then ∪ {Aλ : λ ∈ ∆} is an (i, j)-ξ-open set.
Proof. Let {Aλ : λ ∈ ∆} be family of (i, j)-ξ-open sets in bitopological space
(X, τ1 , τ2 ). Since Aλ is j-open for each λ ∈ ∆ then ∪ {Aλ : λ ∈ ∆} is j-open
set in a space X.
Suppose that x ∈ ∪Aλ , this implies that there exist λo ∈ ∆ such that x ∈ Aλo
and since Aλo is an (i, j)-ξ-open set, so there exists i-semi-closed set F in X
such that x ∈ F ⊆ Aλo ⊆ ∪Aλ for all λ ∈ ∆. Therefore, ∪ {Aλ : λ ∈ ∆} is an
(i, j)-ξ-open set.
The following result shows that finite intersection of (i, j)-ξO(X) sets in
bitopological space (X, τ1 , τ2 ) is (i, j)-ξO(X).
238 Alias B. Khalaf et al.

Proposition 3.19 Any finite intersection of (i, j)-ξ-open sets in bitopolog-

ical space (X, τ1 , τ2 ), is an (i, j)-ξ-open set.
Proof. Let Ai be (i, j)-ξ-open for i =1,2,. . .,n, in bitopological space (X, τ1 , τ2 ).
Then ∩Ai is j-open in a space X. Let x ∈ ∩Ai , then x ∈ Ai for i =1,2,. . .,n,
but Ai is (i, j)-ξ-open, so there exists semi-closed Fi for each i =1,2,. . .,n, such
that x ∈ Fi ⊆ Ai . This implies that x ∈ ∩Fi ⊆ ∩Ai . Therefore, ∩Ai is an
(i, j)-ξ-open set. Hence, the family (i, j)-ξ-open subset of (X, τ1 , τ2 ) forms a
bitopology on X.

4 On (i, j)-ξ- operators

Definition 4.1 A subset N of a bitopological space (X, τ1 , τ2 ) is called (i, j)-
ξ-neighbourhood of a subset A of X if there exists an (i, j)-ξ-open set U such
that A ⊆ U ⊆ N . When A = {x}, we say that N is (i, j)-ξ- neighbourhood of
x.

Definition 4.2 A point x ∈ X is said to be an (i, j)-ξ-interior point of A

if there exists an (i, j)-ξ- open set U containing x such that U ⊆ A. The set
of all (i, j)-ξ- interior points of A is said to be (i, j)-ξ-interior of A and it is
denoted by (i, j)-ξInt(A)

Proposition 4.3 Let X be a bitopological space and A ⊆ X, x ∈ X, then

x is (i, j)-ξ-interior of A if and only if A is an (i, j)-ξ-neighbourhood of x.

Proposition 4.4 A subset G of a bitopological space X is (i, j)-ξ-open if

and only if it is an (i, j)-ξ-neighbourhood of each of its points .

Proposition 4.5 Let A be any subset of a bitopological space X. If a point

x in the (i, j)-ξ-Int(A), then there exists a i-semi-closed set F of X containing
x and F ⊆ A.

Proof. Suppose that x ∈ (i, j)-ξ-Int(A), then there exists an (i, j)-ξ-open
set U of X containing x such that x ∈ U ⊆ A. Since U is an (i, j)-ξ-open
set, so there exists an i-semi-closed set F such that x ∈ F ⊆ U ⊆ A. Hence,
x ∈ F ⊆ A.
Some properties of (i, j)-ξ-interior operators on a set are given in the fol-
lowing:
Theorem 4.6 For any subsets A and B of a bitopological space X, the
following statements are true:
1. The (i, j)-ξ-interior of A is the union of all (i, j)-ξ-open sets contained
in A.
(i, j)-ξ-Open sets in bitopological spaces 239

2. (i, j)-ξ-Int(A) is an (i, j)-ξ-open set in X contained in A.

3. (i, j)-ξ-Int(A) is the largest (i, j)-ξ-open set in X contained in A.

4. A is an (i, j)-ξ-open set if and only if A = (i, j)-ξ-Int(A)

5. (i, j)-ξ-Int(φ) = φ.

6. (i, j)-ξ-Int(X) = X

7. (i, j)-ξ-Int(A) ⊆ A.

8. If A ⊆ B, the (i, j)-ξ-Int(A) ⊆ (i, j)-ξ-Int(B).

9. (i, j)-ξ-Int(A) ∩ (i, j)-ξ-Int(B) = (i, j)-ξ-Int(A ∩ B).

10. (i, j)-ξ-Int(A) ∪ (i, j)-ξ-Int(B) ⊆ (i, j)-ξ-Int(A ∪ B).

Proof. Straightforward.
In general (i, j)-ξInt(A) ∪(i, j)-ξInt(B) 6= (i, j)-ξInt(A ∪ B) as it shown
in the following example:

Example 4.7 Let X = {a, b, c}, τ1 = {φ, {a}, {a, c}, X} and τ2 = {φ, {b, c}, X},
then (i, j)-ξO(X) = {φ, {b, c}, X} if we take A = {a, b} and B = {b, c}, then
(i, j)-ξInt(A) = φ, and (i, j)-ξInt(B) = {b, c}, and (i, j)-ξInt(A) ∪ (i, j)-
ξInt(B) = {b, c}, (i, j)-ξInt(A ∪ B) = (i, j)-ξInt(X) = X.

In general (i, j)-ξInt(A) ⊆ j-Int(A), but (i, j)-ξInt(A) 6= j-Int(A), which

is shown in the following example:

Example 4.8 Let X = {a, b, c}, τ1 = {φ, {a}, {a, c}, X} and τ2 = {φ, {a}, {b, c}, X},
then (i, j)-ξO(X) = {φ, {b, c}, X}, if we take A = {a},then (i, j)-ξInt(A) = φ,
but j-Int(A) = A. Hence (i, j)-ξInt(A) 6= j-Int(A).

Definition 4.9 The intersection of all (i, j)-ξ-closed set containing F is

called the (i, j)-ξ-closure of F and we denoted it by (i, j)-ξCl(F )

Corollary 4.10 Let F be any subset of a space X. A point x ∈ X is in

the (i, j)-ξ-closed of F if and only if F ∩ U 6= φ for every (i, j)-ξ-open set U
contaning x.

Proposition 4.11 Let A be any subset of a bitopological space X. If a

point x in the (i, j)-ξ-closure of A, then F ∩ A 6= φ for every i-semi-closed set
F of X containing x.
240 Alias B. Khalaf et al.

Proof. Suppose that x ∈ (i, j)-ξcl(A), then by Corollary 4.10, A ∩ U 6= φ for

every (i, j)-ξ-open set U of X containing x. Since U is an (i, j)-ξ-open set,
so there exists an i-semi-closed set F containing x, such that F ⊆ U . Hence,
F ∩ A 6= φ.
Some properties of (i, j)-ξ-closure operators on a set are given.

Theorem 4.12 For any subsets A and B of a bitopological space X, the

following statements are true:

1. The (i, j)-ξ-closure of A is the intersection of all (i, j)-ξ-closed sets con-
taining A.

2. (i, j)-ξ-cl(A) is an (i, j)-ξ-closed set in X containing A.

3. (i, j)-ξ-cl(A) is the smallest (i, j)-ξ-closed set in X containing A.

4. A is an (i, j)-ξ-closed set if and only if A = (i, j)-ξ-cl(A)

5. (i, j)-ξ-cl(φ) = φ.

6. (i, j)-ξ-cl(X) = X

7. A ⊆ (i, j)-ξ-cl(A).

8. If A ⊆ B,then (i, j)-ξ-cl(A) ⊆ (i, j)-ξ-cl(B).

9. (i, j)-ξ-cl(A) ∩ (i, j)-ξ-cl(B) ⊆ (i, j)-ξ-cl(A ∩ B).

10. (i, j)-ξ-cl(A) ∪ (i, j)-ξ-cl(B) = (i, j)-ξ-Int(A ∪ B).

Proof. Directly from Definition 4.9.

Corollary 4.13 For any subset A of a bitopological space X, then the fol-
lowing statements are true:

1. X \ ((i, j)-ξCl(A)) = (i, j)-ξInt(X \ A)

2. X \ ((i, j)-ξInt(A)) = (i, j)-ξCl(X \ A)

3. (i, j)-ξInt(A) = X \ ((i, j)-ξCl(X \ A))

It is clear that j-Cl(F ) ⊆ (i, j)-ξCl(F ), the converse may be false as shown in
the following example:

Example 4.14 Considering a space X as defned in Example 3.3, if we

take F = {a, b}, then j-Cl(F ) = {a, b}, and (i, j)-ξCl(F ) = X, this shows
that (i, j)-ξCl(F ) is not a subset of j-Cl(F ).
(i, j)-ξ-Open sets in bitopological spaces 241

Corollary 4.15 If A is any subset of a bitopological space X, then (i, j)-

ξInt(A) ⊆ j-Int(A) ⊆ A ⊆ j-Cl(A) ⊆ (i, j)-ξCl(A).

Definition 4.16 Let A be a subset of a bitopological space X, A point x ∈

X is said to be (i, j)-ξ-limit point of A if for each (i, j)-ξ-open set U containing
x, U ∩ (A \ {x}) 6= φ, The set of all (i, j)-ξ-limit point of A is called (i, j)-ξ-
derived set of A and is denoted by (i, j)-ξD(A)

In general It is clear that(i, j)-ξD(A) ⊆ j-D(A), but the converse may not
be true as shown in the following example:

Example 4.17 Considering the space X as defined in Example 3.3 if we

take A = {a, c}, So (i, j)-ξD(A) ={a, b} and j-D(A) = {b}, hence (i, j)-ξD(A)
is not a subset of j-D(A)

Theorem 4.18 Let X be a bitopological space and A be a subset of X, then

A ∪ (i, j)-ξD(A) is (i, j)-ξ- closed.

Proof. Let x ∈ / A∪(i, j)-ξD(A). This implies that x ∈ / A and x ∈

/ (i, j)-ξD(A).
Since x ∈ / (i, j)-ξD(A), then there exists an (i, j)-ξ-open U of X which contains
no point of A other than x, but x ∈ / A, so U contains no point of A, which
implies that U ⊆ X \A.Again, U is an (i, j)-ξ-open setfor each of its points.But
as U does not contain any point of A, no point of U can be (i, j)-ξ-limit point
of A. Therefore, no point of U can belong to(i, j)-ξD(A). This implies that
U ⊆ X \ (i, j)-ξDA. Hence, it follows that x ∈ X \ A ∩ (X \ (i, j)-ξD(A))
= X \ (A∪(i, j)-ξD(A)), Therefore A ∪ (i, j)-ξD(A) is an (i, j)-ξ-closed. Hence
(i, j)-ξcl(A) ⊆ A ∪ (i, j)-ξD(A). .

Corollary 4.19 If a subset A of a bitopological space X is (i, j)-ξ-closed,

then A contains the set of all of its (i, j)-ξ-limit points.

Theorem 4.20 Let A be any subset of a bitopological space X, then the

following statements are true:

1. ((i, j)-ξD((i, j)-ξD(A))) \ A ⊆ (i, j)-ξD(A)

2. (i, j)-ξD(A ∪ (i, j)-ξD(A)) ⊆ A ∪ (i, j)-ξD(A)

Proof. Obvious .

Theorem 4.21 Let X be a bitopological space and A be a subset of X,

then:(i, j)-ξInt(A) = A \ ((i, j)-ξD(X \ A))

Proof. Obvious .
242 Alias B. Khalaf et al.

Definition 4.22 If A is a subset of a bitopological space X, then (i, j)-ξ-

boundary of A is (i, j)-ξCl(A)∩((i, j)-ξInt(A))c , and denoted by (i, j)-ξBd(A)

Theorem 4.23 For any subset A of a bitopological space X, the following

statements are true:
1. (i, j)-ξBd(A) = (i, j)-ξBd(X \ A)

2. A ∈ (i, j)-ξO(X) if and only if (i, j)-ξBd(A) ⊆ X \ A, that is A ∩ (i, j)-

ξBd(A) = φ.

3. A ∈ (i, j)-ξC(X) if and only if (i, j)-ξBd(A) ⊆ A.

4. (i, j)-ξBd((i, j)-ξBd(A)) ⊆ (i, j)-ξBd(A)

5. (i, j)-ξBd((i, j)-ξInt(A)) ⊆ (i, j)-ξBd(A)

6. (i, j)-ξBd((i, j)-ξCl(A)) ⊆ (i, j)-ξBd(A)

7. (i, j)-ξInt(A)=A \ ((i, j)-ξBd(A))

Proof. Directly from Definition 4.22.

Theorem 4.24 Let A be a subset of a bitopological space X, then (i, j)-
ξBd(A) = φ if and only if A is both (i, j)-ξ- open and (i, j)-ξ-closed set.
Proof. Lte A be (i, j)-ξ- open and (i, j)-ξ-closed, then A = (i, j)-ξInt(A) =
(i, j)-ξcl(A), hence by Definition4.22 A = (i, j)-ξCl(A)-((i, j)-ξInt(A))c = φ.

References
[1] D. E. Cameron, Properties of S-closed spaces, Proc. Amer. Math. Soc.,
72(3)(1978), 581-586.

[2] G. Di Maio and T. Noiri, On s-closed spaces, Indian J. pure Appl. Math.,
18(3)(1987), 226-233.

[3] K. Dlaska and M. Ganster, S-sets and Co-S-closed topologies, Indian J.

pure Appl. Math., 23(10)(1992), 731-737.

[4] J. Dontchev, Survy on preopen sets, The Proceedings of the Yatsushiro

topological conference, (1998), 1-18.

[5] J. Dugundji, Topology, Allyn and Bacon Inc., Boston, (1966).

[6] J. E. Joseph and M. H. Kwack, On S-closed spaces, Proc. Amer. Math.

Soc., 80(2)(1980), 341-348.
(i, j)-ξ-Open sets in bitopological spaces 243

[7] J. C. Kelly, Bitopological spaces, Proc. London, Math. Soc., 13(1963),

71-89.

[8] N. Levine, semi-open sets and semi-continuity in topological spaces, Amer.

Math. Monthly, 70(1)(1963), 36-41.

[9] A. S. Mashhour, M. E. Abd El-Monsef and S. N. El-Deeb, On precontin-

uous and weak precontinuous mappings, Proc. Math. Phys. Soc. Egypt,
53(1982), 47-53.

[10] Moiz-ud-din Khan, Weak forms of continuity,compactness ans connect-

edness, ph.D. Thesis, Bahauddin Zakariya University Mulan.Pakistan,
(1997). 201-206.

[11] O. Njastad, On some classes of nearly open sets, Pacific J. Math.,

15(3)(1965). 961-970.

[12] T. Noiri and V. Popa, On Almost β-continuous functions, Acta Math.

Hungar., 70 (4)(1998), 329-339.

[13] S. Popvassilev and D. Stavrova, On the η-expansion topology for the co-
semi-regularization and middly Hausdorff spaces, Acta Math. Hangar.,
80(1-2)(1998), 9-19.

[14] S. F. Tadros and A. B. Khalaf, On regular semi-open sets and S ∗ -closed

spaces, Tamkang J. of Math., 23(4)(1992), 337-348.

[15] N. V. Velicko, H-closed topological spaces, Amer. Math. Soc. Transl.,

78(2)(1968), 103-118.