INTERNATIONAL JOURNAL OF COMPUTER APPLICATION

Available online on http://www.rspublication.com/ijca/ijca_index.htm

ISSUE 2, VOLUME 6 (December 2012)

ISSN: 2250-1797

DECOMPOSITION OF bI*S-CONTINUITY IN IDEAL TOPOLOGICAL SPACES

Ponnuthai Selvarani.S., Associate Professor, Nirmala College, Coimbatore.
Sujipriya.A.,AJK College of Arts and Science, Coimbatore.
Shalini Tharanya. J. M.Phil Scholar, Department of Mathematics, Nirmala College, Coimbatore.

______________________________________________________________________________________
ABSTRACT
In this paper bI *S-open, bI*S-closed sets are defined and their properties are studied. bI *S continuity and
other continuities associated with these sets are defined and relationships between them are discussed.
These concepts are used to define bI spaces bI*S spaces and decomposition theorems are proved in such
spaces.
Key words: bI*S-open sets , bI*S-closed sets, bI*S continuous function, bI space and bI *S space
______________________________________________________________________________________
1. INTRODUCTION
Jancovic and hamlet [12] introduced the notion of I-open sets in topological spaces. Dontchev [5]
introduced the notion of pre-I-open sets. The notion of semi-I-open sets was introduced by Hatir and Noiri
[9]. Andrijevic [3] introduced a new class of b-open sets in a topological space. Casku Guler and Ashim
[4] have introduced the notion of bI-open sets and bI-continuous functions Levine [13] introduced the
concept of generalized closed sets in topological space and a class of topological spaces called T 1/2-spaces
.In the light of the above results the purpose of this paper is to define and study

bI*S-open

set,

bI *S-

continuous function, bI-space ,bI*S-space, and to prove decomposition theorems.

2 .PRELIMINARIES
Throughout this paper X and Y represent topological spaces on which no separation axioms are assumed
unless otherwise mentioned. For a subset A of a space X, cl(A) and int(A)denote the closure of A and the
interior of A respectively.
Page 33

INTERNATIONAL JOURNAL OF COMPUTER APPLICATION

Available online on http://www.rspublication.com/ijca/ijca_index.htm

ISSUE 2, VOLUME 6 (December 2012)

ISSN: 2250-1797

An ideal I on a non empty set X is a collection of susets of X which satisfies the following properties
(i)A I , B I A B I ( ii)A I , B A B I
A topological space (X,) with an ideal I on X is called an ideal topological space [12]denoted by (X,, I )
Let Y be a subset of X . I y = { I Y / I I } is an ideal on Y and by ( Y,y , I y} we mean the ideal
topological subspace .Let P(X) be the power set of X then a set operator ( ) * : P(X) P(X) called the local
function of A with respect to and I is defined as follows :
For A X, A*( I , ) = { x X / U A I for every open set U containing x } .We simply write A*
instead of A* (I , ) in case there is no confusion .A kuratowski closure operator cl*( ) for a topology
*called the *-topology is defined by cl*(A) = A A* . A subset A of a space (X,) is said to be semi open
if A cl[int(A)] . A set operator ( )*S : P(X) P(X) called a semi local function of A with respect to
and I is defined as follows: For A X,A*S(I , )={xX/U A I for every open set U containingx} We
denote by *S (I , S ) or simply by *S the topology on X generated by the sub-basis { U E / U SO(X)
and E I }

The closure operator in *S denoted by cl*S can be described as follows:

For A X , cl*S(A) = A A*S . Then * *S .If I = { } then A*S = scl(A) . If I = P(X) then
A*S={}.For a subset A of X , cl(A) (resp scl(A)) denotes the closure (resp semi closure)of A in (X,)
Definition 2.1: A subset S of a topological space (X,,I) is said to be
(i) -open set[15] if S int cl int(S) (ii)semiopen set [13]if S cl int(S)
(iii)Preopen set [14]if S int cl(S) (iv)-open set[15] if S cl int cl(S)
(v)b-open set[3] if S cl int(S) int cl(S)
The class of all semiopen (resp preopen , -open, -open, b-open ) sets in X will be denoted by
Page 34

INTERNATIONAL JOURNAL OF COMPUTER APPLICATION

Available online on http://www.rspublication.com/ijca/ijca_index.htm

ISSUE 2, VOLUME 6 (December 2012)

ISSN: 2250-1797

SO(X)(resp PO(X),O(X),O(X),BO(X))
Definition 2.2: A subset S of an ideal topological space X is said to be
(i)-I-open set[8] if S int cl* int(S) (ii)Semi-I-open set[8] if S cl* int(S)
(iii)Pre-I-open set[1] if S int cl*(S) (iv)-I-open set[8] if S cl* int cl*(S)
(v)b-I-open set[4] if S cl* int(S) int cl*(S) (vi)I-open set [12] if S int(S*)
The class of all semi-I-open (resp pre-I-open , I-open, I-open, bI-open, I-open ) sets in X will be
denoted by SIO(X)(respPIO(X),IO(X),IO(X),BIO(X),IO(X))
3. bI*S-open sets
Definition 3.1: A subset S of an ideal topological space X is said to be bI *Sopen if S cl*S int (A) int
cl*S (A).The complement of bI *S-open set is called bI *S-closed. The set of all bI *S-open sets and bI *S-closed
sets are denoted by BI *SO(X) and BI *SC(X) respectively.
Definition 3.2: A subset S of an ideal topological space X is said to be
(1)I*S-open set if S int cl*S int(S) (2)I*S-open set if S int cl*S (S)
(3)I*S-open set if S int(S*S) (4)Pre-I*S-open set if S int cl*S(S)
(5)Semi-I*S-open set if S cl*S int(S)
The complement of these open sets are called corresponding closed sets. The set of all I*S-open(resp preI*S-open, semi-I*S-open, I*S-open, I *S-open) sets are denoted by I*SO(X) (resp PI*SO(X), SI*SO(X),
I*SO(X), and I*SO(X)).Their complements are denoted by I*SC(X), PI*SC(X), SI*SC(X), I*SC(X), and
I*SC(X) respectively.
Proposition 3.3: In an ideal topological space(X,.I) the following conditions hold:

Page 35

INTERNATIONAL JOURNAL OF COMPUTER APPLICATION

Available online on http://www.rspublication.com/ijca/ijca_index.htm

ISSUE 2, VOLUME 6 (December 2012)

ISSN: 2250-1797

(1) I*SO(X) IO(X) O(X) (2) PI*SO(X) PIO(X) PO(X)

(3) SI*SO(X) SIO(X) SO(X) (4) BI*SO(X) BIO(X) BO(X)
(5) SI*SO(X) BI*SO(X) (6) PI*SO(X) BI*SO(X)
(7) I*SO(X) PI*SO(X) BI*SO(X)
Proof: Obvious.
Proposition 3.4: Let A be a subset of an ideal topological space (X,,I) . if I = P(X) then A is b- I*S-open
if and only if A .
Proof: Since I = P(X) , A*S = , Cl*S(A) = A . A X.
A is bI*S-open A cl*S int(A) int cl*S(A) A int A int A = int A A .
Remark 3.5: For several sets defined above we have the following implication
Open

I*s-open

I open

Open

semi-I*s-open

semi-I-open

Open

Open

bI*s-open

pre-I*s-open

bI open

pre-I-open

-open

semi- open

b-open

pre- open

Proposition 3.6: Let S be a bI*S-open set such that int S = . Then S is pre-I*S-open set.
Proof: S is bI *S-open S cl*S (int S) int( cl*S S) = cl*S() int (cl*S S) (since int S = )= int (cl*S S)
Lemma 3.7:Let A and B be subsets of a space (X,, I) then i)If A B then A*S B*S(ii)If U then

Page 36

INTERNATIONAL JOURNAL OF COMPUTER APPLICATION

Available online on http://www.rspublication.com/ijca/ijca_index.htm

ISSUE 2, VOLUME 6 (December 2012)

ISSN: 2250-1797

U A*S (U A)*S
Proof:(i)x A*S U A I U SN(x) U B I x B*S U SN(x)
(ii) Let U be open, x U A*S and V SN(x) .
Then U V SN(x) and (U A) V = (U V) A x (U A)*S
Proposition 3.8: Let (X,, I) be an ideal topological space and A,B subsets of X. If U BI*SO(X,) for
each then i){U; }BI*SO(X) ii)If A BI*SO(X,) and B then A B BI*SO(X,).
Proof: It is known that cl*S(A) cl*S(A) and int A int (A)
(i)Now, A [cl*S int(U) int cl*S(U ) = [ cl*S int(U) ] [ int cl*S(U) ]
cl*S[ int U ] int [ cl*S(U) ] cl*S[ int U ] int [ cl*S U ].
U is bI*S-open.
(ii)Let A BI*SO(X,) and B .Then A cl*S int(A) int cl*S(A) and
A B [ cl*S int(A) int cl*S(A) ] B = [ cl*S (int(A)) B ] [int cl*S(A) B ]
= [ (int A) B (int A) *S) B ] [ int ( A (A)*S) B ]
[ (int A) B ( (int A) B )*S ] [ int ( A B ) (A*S B) ]
[int ( A B )*S int ( A B ) ] [int ( A B )*S ( A B ) ]
= cl*S int ( A B) int cl*S ( A B )
Remark 3.9: From the above Theorem, we conclude (i)Union of bI *S-open sets is bI *S-open and so
intersection of bI *S-closed sets is bI*S-closed. ii)Intersection of bI *S-open sets need not be bI *S-open and
union of bI *S-closed sets need not be bI*S-closed.
Example 3.10 : Let X = R , = {, X }, I = { finite sets} if An = ( -n , n ). Let A be a proper subset of X.
Then A*S={ xX / U A I U SN(x) } = {x X / A I }. Hence if A is finite, A*S = and if A
is infinite , A*S = X. cl*S(A) = A A*S = A if A is finite and cl*S(A) = X if A is infinite. A is bI *SPage 37

INTERNATIONAL JOURNAL OF COMPUTER APPLICATION

Available online on http://www.rspublication.com/ijca/ijca_index.htm

ISSUE 2, VOLUME 6 (December 2012)

ISSN: 2250-1797

open A is infinite . Therefore An is bI*S -open n.But An ={0} is not bI*S -open. Therefore
intersection of bI*S-open sets need not be bI *S-open
Theorem 3.11: If a subset A of a space(X,, I) is bI*S-closed then int cl*S(A) cl*S int(A) A.
Proof: Since A is bI *S-closed ,X A BI*SO(X, ) and *(I) is finer than .
We have X A cl*S int (X A ) int cl*S(X A) cl int (X A ) int cl(X A)
[ X - int cl(A) ] [X - cl int (A ) ] [ X - int cl*S(A) ] [X - cl*S int (A ) ]
= X [int cl*S(A) cl*S int(A)]
Corollary 3.12:

int cl*S(A) cl*S int(A) A.

Let A be a subset of (X,, I) such that X - int cl*S(A) = cl*S int ( X A ) and

X cl*S int (A ) = int cl*S(X A) .Then A is bI *S-closed iff int cl*S(A) cl*S int(A) A .
Proof: Necessity:This is an immediate consequence of theorem (3.11).
Sufficiency:Let int cl*S(A) cl*S int(A) A. Now X A [ X [ int cl*S(A) ] ] [ X [ cl*S int(A) ] ]
= cl*S int( X A) int cl*S( X A ). Thus X A is bI *S- open and so A is bI *S-closed.
Note 3.13:If ( X,, I ) is an ideal topological space and A is subset of X we denote by | A , the relative
topology on A and I |A = { A I : I I } is obviously an ideal on A .
Lemma 3.14:Let ( X, ,, I ) be an ideal topological space , A and B are subsets of X such that B A Then
B*S( |A , I |A ) = B*S( , I ) A .
Proof : It follows from definition
Theorem 3.15:Let ( X, ,, I ) be an ideal topological space . If U and W BI*SO( X,, I )then U W
BI*SO( U , |A , I |A ) .
Proof: Since U is open , we have int U A = int A for any subset A of U . By using this fact and by lemma
(3.14) we have ,U W U [ cl*S int W int cl*S W]
= U { [ (int W) (int W)*S ] [ U int (W W*S) ] }
Page 38

INTERNATIONAL JOURNAL OF COMPUTER APPLICATION

Available online on http://www.rspublication.com/ijca/ijca_index.htm

ISSUE 2, VOLUME 6 (December 2012)

ISSN: 2250-1797

U [ U (int W) U (int W) *S ] [ U int(W W*S) ]

{ U [ U [ U (int W) U (int W) *S ] ] } { U [ U int(W W*S) ]
={[intU (UW)][intU (UW)]*S(|U,I|U)}cl*U[ intU (UW)][intU (UW)][intU(cl*SU UW))] .
This shows that U W BI*SO( U, |U, I|U).
Lemma 3.16: Let ( X, , I ) be an ideal topological space and let A X . If U ,
U A*S = U ( U A )*S ( U A )*S.
Proof : It follows from lemma (3.7).
Definition 3.17:If S is subset of a space ( X , , I ) then
(a) bI*S-closure of S, denoted by bI *Scl(S) is the intersection of all bI *S-closed sets containing S.
(b) bI*S-interior of S, is the union of all bI *S-open sets contained in S.
Lemma 3.18: Let A be a subset of a space (X, , I ) then
(i)A is bI *S-closed iff bI *Scl(A) = A (ii) A is bI *S-open iff bI *Sint(A) = A
Proof: It follows since intersection of bI *S-closed sets is bI *S-closed & union of bI *S-open sets is bI *S-open.
Proposition 3.19: Let A, B be subsets of a space (X, , I ) such that A is bI *S- open and B is bI *S-closed in
X. Then there exist a bI *S-open set H and bI *S-closed set K such that A B K and H A B.
Proof: Let K = bI *Scl(A) B and H = A bI*Sint (B).Then K is bI *S-closed and H is bI *S-open.
A bI*Scl(A) A B bI*Scl(A) B = K and bI *Sint (B) B A bI*Sint (B) = H A B .
Definition 3.20: A subset S of a space ( X, , I ) is called bI-dense[14] in X if bIcl(S) = X. A subset S of a
space ( X, , I ) is called bI *S-dense in X if bI *Scl(S) = X .
Example 3.21:Let ( X, ) be indiscrete topological space and I = { A X / p A}.
Then A*S = { x X / U A I U SN(x) }

= { x X / A I }. So A*S = X if p A and A*S =

if p A . cl*S(A) = X if p A and cl*S(A) = A if p A

Page 39

INTERNATIONAL JOURNAL OF COMPUTER APPLICATION

Available online on http://www.rspublication.com/ijca/ijca_index.htm

ISSUE 2, VOLUME 6 (December 2012)

ISSN: 2250-1797

If p A then int cl*S(A) cl*S int(A) = X . A is bI *S-open.

If p A then int cl*S(A) cl*S int(A) = . A is not bI *S-open.
Hence A is bI *S-closed p A. So , if p A then bI *Scl(A) = X , A is bI *S-dense in X
If p A then bI *Scl(A) = A , A is not bI*S-dense in X
4. bI*S-CONTINUOUS MAPPING
Definition 4.1:A function f : ( X , , I ) ( Y , , J ) is called
(i)bI*S-continuous if the inverse image of each open set in Y is bI *S-open set in X .
(ii)Pre-I*S-continuous if the inverse image of each open set in Y is pre-I*S-open set in X .
(iii)Semi-I*S-continuous if the inverse image of each open set in Y is semi-I*S-open set in X .
(iv)I*S-continuous if the inverse image of each open set in Y is I*S- open set in X .
(v)bJ*S-open ( bJ*S-closed ) if the images of open set( closed sets ) in X are bJ *S-open (bJ*S-closed ) in Y .
(vi)Strongly bJ*S-continuous if f-1(V) is open in X whenever V is bJ *S-open in Y .
(vii)bI*S-irresolute if f-1(V) is bI *S-open set in X whenever V is bJ*S-open set Y .
(viii)Contra bI *S-continuous if f-1(V) is bI *S-closed in X whenever V is open in Y .
(ix)Contra bI*S-irresolute if f-1(V) is bI *S-closed in X whenever V is bJ*S-open in Y .
(x)Strongly contra bJ*S-continuous if f-1(V) is closed in X whenever V is bJ *S- open in Y .
(xi) bI *S-ressolute if f(V) is bJ*S open in Y whenever V is bI *S open in X.
Theorem 4.2 :Let f: ( X,, I ) ( Y,,J ) be a map between its ideal topological spaces .
(i)f is semi-I*S-continuous f is bI*S- continuous (ii)f is pre-I*S-continuous f is bI*S-continuous .
(iii)f is I *S-continuous f is bI*S-continuous (iv)f is strongly bI *S-continuous f is bI*S-irresolute .
(v)f is contra continuous f is bI*S-contra continuous
(vi)f is strongly contra bJ*S-continuous f is contra bI *S-irresolute.

Page 40

INTERNATIONAL JOURNAL OF COMPUTER APPLICATION

Available online on http://www.rspublication.com/ijca/ijca_index.htm

ISSUE 2, VOLUME 6 (December 2012)

ISSN: 2250-1797

(vii)f is continuous f is bI *S-continuous f is bI-continuous .

Proof:It follows since SI *SO(X) BI*SO(X),PI*SO(X)BI*SO(X),I *SO(X)BI*SO(X)and
BI*SO(X)BIO(X)
Definition 4.3:[ 14] Let A be a subset of a space (X,) then the set { U:AU } is called the kernel of
A and denoted by ker (A).
Lemma 4.4:[ 14]Let A be subset of a space (X,) then
(a) x ker (A) iff A F for any closed subset F of X with x F;
(b)A ker (A) and A = ker(A) if A is open in X;(c) If A B , then ker (A) ker (B) .
Theorem 4.5:If f: ( X,, I ) ( Y , ) is a function then
(a) For every subset A of X, f ( bI*Sint(A) ) ker ( f(A) )
(b) For every subset B of Y, bI*Sint ( f-1(B) ) f-1( ker (B) )
Proof: (a)Let y f ( bI *Sint (A) ).Suppose y ker f(A) ,then there exist an open set U such that f(A) U
and y U and F =X Uis a closed set contained in X f(A) and y F.F f(A) = f-1(F) A =
bI*Sint(A) f-1(F) = f( bI*Sint(A) ) F = which is a , y kerf(A)
(b)let B be any subset of Y then by (a) f( bI *S-int f-1(B) ) kerf (f-1 (B)) ker BbI*S int f-1(B) f-(kerB)
Definition 4.6:Let N be a subset of a space ( X,, I ) and let x X ,then N is called bI *S-neighborhood of x
if there exists bI *S-open set U containing x such that U N.
Theorem 4.7:The following statements are equivalent for a function f : ( X, , I ) ( Y , )
(a) f is b-I*S-continuous .
(b) for each x X and each open set V in Y with f(x) V, there exist bI *S-openset U such that x U and
f(U) V

Page 41

INTERNATIONAL JOURNAL OF COMPUTER APPLICATION

Available online on http://www.rspublication.com/ijca/ijca_index.htm

ISSUE 2, VOLUME 6 (December 2012)

ISSN: 2250-1797

(c) for each x X and each open V in Y with f(x) V, f-1(V) is a bI *S-neighborhood of x. d) The inverse
image of each closed set in ( Y , ) is bI *S-closed .
Proof:(a) (b) Let x X and V be a open set in Y with f(x) V then U = f-1(V) is bI *S-open and x U
such that f(U) V .
(b) (c)Let x X and V be an open set in Y with f(x) V then by (b) there exist b-I*S-open set U such
that x U and U f-1(V) . f-1(V) is a bI *S-neighborhood of x .
(c) (a) Let V be open set inY and let f(x) V by (c) there exists a bI *S-open set Ux such that x Ux and
Ux f-1(V) . f-1(V) = xf-1(v) Ux . By Theorem 3.9, f-1(V) is bI *S- open . f is bI*S-continuous
(a) (d) follows from definition.
Proposition 4.8:Let f : ( X , , I ) ( Y , , J ) and g : ( Y , , J ) ( Z , , K ) be functions then
(i)f is bI *S-continuous and g is continuous gof is bI *S-continuous .
(ii)f is bI *S-contra continuous and g is continuous gof is bI *S-contra continuous
(iii)f is bI *S-irresolute and g is bJ*S- irresolute gof is bI *S-irresolute.
(iv)f is bI *S-continuous and g is strongly bI *S-continuous gof is bI *S-irresolute.
(v)f is strongly bJ*S-continuous and g is bJ*S-irresolute gof is strongly bK*S- continuous .
(vi)f is bI *S-contra irresolute and g is bJ*S -contra irresolute gof is bI *S-irresolute.
(vii)f is bI *S-contra continuous and g is strongly bI *S- contra continuous gof is bI *S-irresolute.
(viii) f is bI *S-ressolute f is bJ*S-open and bJ*S-closed
Proof :It follows from definition.
Theorem 4.9:Let f : f: ( X,, I ) ( Y, ) be bI *S-continuous and U . Then the restriction
f|U : ( U , |U , I |U ) ( Y ,) is bI*S-continuous .
Proof:Let V be any open set of( Y , ).Since f is bI *S-continuous , f-1(V) BI*SO(X) and by definition,
Page 42

INTERNATIONAL JOURNAL OF COMPUTER APPLICATION

Available online on http://www.rspublication.com/ijca/ijca_index.htm

ISSUE 2, VOLUME 6 (December 2012)

ISSN: 2250-1797

(f|U)-1(V)=f-1(V)UBI*SO(U,I|U)by theorem3.15.So f|U:(U,|U,I /U ) ( Y , ) is bI *S -continuous . If

the restriction function f|U is bI*S-continuous for each then f is bI *S-continuous .
Proof: By hypothesis X = U. Let V be open in Y , f|U is bI*S-continuous (f|U) -1 (V) is bI *S-open
in X for each . So f-1(V) = [ f-1(V) U] = (f|U) -1 (V) , f-1(V) is bI *S-open .
Theorem 4.11: f: ( X,, I ) ( Y, ) is bI *S-continuous iff the graph function g: X X xY defined by
g(x) = ( x ,f(x) ) for each x X is bI*S-continuous .
Proof : Necessity :Let f be bI *S-continuous. Let x X and let W be any open set in X xY containing
g(x)=(x,f(x)).Then basic open set UxV in XxY such that ( x ,f(x) ) U x V W. Then f(x) V and f is
bI*S-continuous . There exist a bI*S-open set U1 in X x U1 X and f( U1 ) V by proposition
(4.7).By proposition(3.8) U1 U BI*SO ( X, ) and U1 U U, then g(U1 U ) U x V W.This
shows that g is bI *S-continuous .(by theorem 4.7)
Sufficiency:Suppose that g is bI *S-continuous and let V be open set in Y containing f(x) .Then X x V is
open set in X x Y and by bI *S-continuity of g , a bI*S-open set U containing x such that g(U) X x V.
Therefore we obtain f(U) V .This shows that f is bI *S-continuous.
Theorem4.12:Let{X:}be any family of ideal topological spaces.If f:(X,,I)( X,) is a bI*Scontinuous function , then P f : X X is bI*S-continuous for each , where P is the projection of
X onto X .
Proof: Fix o , let Gobe an open set of Xo . (Pof)-1 (Go) = f-1[ P-1 (Go) ].Since P is continuous.
P-1 (Go)is open,and since f is b-I*S-continuous,f-1[ P-1(Go) ] is b-I*S-open. Thus Pf is bI *S-continuous.
5. SEPERATION AXIOMS VIA bI*S-OPEN SETS
Definition 5.1 : A collection {U} of I-open sets (resp. bI-open sets bI *S-open sets ) is said to be I-open
(resp. bI-open , bI*S-open ) cover for X if X = U .
Page 43

INTERNATIONAL JOURNAL OF COMPUTER APPLICATION

Available online on http://www.rspublication.com/ijca/ijca_index.htm

ISSUE 2, VOLUME 6 (December 2012)

ISSN: 2250-1797

Definition5.2: An ideal topological space (X,,I ) is said to be I-compact(resp I*S-compact) if for every
I-open(resp. I*S-open) cover { W: } of X , there exists a finite subset o of such that
X = oW
Definition 5.3:An ideal topological space ( X , , I ) is said to be compact modulo I if for every open
cover { W : } of X , there exist a finite subset of such that X - oW I
Definition 5.4 : An ideal topological space ( X , , I ) is said to be bI-compact if for every bI-open cover
{ W : } of X , there exist a finite subset of such that X = oW .
Definition 5.5 :An ideal topological space ( X , , I ) is said to be bI-compact modulo I if for every bIopen cover{W:}of X,there exist a finite subset of such that X - oW I
Definition 5.6 :An ideal topological space ( X , , I ) is said to be bI *S compact if for every bI *S-open
cover { W : } of X , there exist a finite subset of such that X = oW .
Definition 5.7 :An ideal topological space ( X , , I ) is said to be bI *S-compact modulo I if for every bI *Sopen cover{W:}of X,there exist a finite subset of such that X oW I
Theorem 5.8 : An ideal topological space (X,, I) is (i) bI *S-compact I*S-compact
(ii) b-compact bI-compact bI*S-compact compact and (iii) bI-compact I-compact
Proof : (i)Let {V} be an I *S-open cover for X . Every I *S-open set is bI *S-open. Since X is bI *Scompact, there exists a finite subset o of such that X=oV X is I*S-compact .
Proof of (ii) and (iii) are similar , since BI*SO(X) BIO(X) BO(X) and IO(X) BIO(X) .
Theorem 5.9 : An ideal topological space (X,, I) is (i) bI *S-compact modulo I I-compact modulo I
(ii) b-compact modulo IbI-compact modulo IbI*S-compact modulo Icompact modulo I
(iii) bI-compact modulo I I*S-compact modulo I
Page 44

INTERNATIONAL JOURNAL OF COMPUTER APPLICATION

Available online on http://www.rspublication.com/ijca/ijca_index.htm

ISSUE 2, VOLUME 6 (December 2012)

ISSN: 2250-1797

Proof :Let {V} be an I *S-open cover for X . Every I *S-open set is bI *S-open , since X is bI *S-compact.
There exist a finite subset o of such that X - oV I . X is I*S-compact modulo I.
Proof of (ii) and (iii) are similar.
Theorem 5.10 : An ideal topological space ( X,,I ) is

(i) bI-compact bI-compact modulo I

(ii) bI*S-compact bI*S-compact modulo I all ideals I

Proof : It follows since I.
Remark 5.11 :Converse of theorem (4.22) is not true as seen from the following example.
Example 5.12: In the ideal topological space given in example 3.21, A is bI-open and bI *S-openp A
For a X , let Ua = { a , p} . Then Ua is bI-open and bI *S-open . { Ua / a X } is both a bI-open cover
and bI*S-open cover for X and it has no finite subcover .On the otherhand if a o is a particular point in X
then {Uao}is a finite sub family and X - Uao= X { p, ao } I . ( X,, I ) is bI-compact modulo I and
bI*S-compact modulo I , but neither bI-compact nor bI*S-compact .
Remark 5.13: When I = { } the concepts i) bI-compact and bI-compact modulo I coincide
And bI*S-compact and bI *S-compact modulo I coincide .
Lemma 5.14: (i)If f: XY is 1-1 and I is an ideal in Y then f-1(I ) = { f-1(I)/ I I) is an ideal in X .
(ii)If f: XY is onto function and I is an ideal in X then f(I ) = { f(I)/ I I) is an ideal in Y .
Proof :Obvious
Definition 5.15: f: (X,,I) ( Y,,J) is said to be bI *S-homeomorphism if(i) f is bijection(ii) f is bI *Sirresolute and (iii) f is bI *S-ressolute .
A property preserved by a bI *S-homeomorphism is called a bI *S-topological property.
Theorem 5.16 :Let f : ( X ,, I ) ( Y,,J) be a bijection where J = f(I )

Page 45

INTERNATIONAL JOURNAL OF COMPUTER APPLICATION

Available online on http://www.rspublication.com/ijca/ijca_index.htm

ISSUE 2, VOLUME 6 (December 2012)

ISSN: 2250-1797

(i)X is bI *S-compact modulo I and f is bI *S-continuous Y is compact modulo J .

(ii)X is compact modulo I and f is strongly bI *S-continuous Y is bI*S-compact modulo J .
(iii)X is bI *S-compact modulo I and f is bI *S-irresolute Y is bJ*S-compact modulo J .
(iv) if f is a bI *S-homeomorphism then X is bI *S-compact modulo I iff Y is bJ*S-compact modulo J
Proof :(i)f is bI *S-continuous and bijection map . Then J = f(I) is an ideal in Y . Let { V / } is an
open cover for Y .Then { f-1(V) ; } is bI*S-open cover of X due to our assumption on f . Since X
is bI*S-compact modulo I,there exist a finite subset of such that (X{ f-1(V) ; }) I Y
{ V : } f(I )= J. which shows that ( Y , , J ) is compact modulo J.
Proof of (ii),(iii) & (iv) similar.
Remark 5.17: By (5.16)(iv) it follows that bI *S-compact modulo I is a bI *S-topological property.
Definition 5.18 : An ideal topological space ( X,, I ) is said to be
(i)b-normal[14] if each pair of non-empty disjoint closed sets of X , can be separated by disjoint b-open
sets .
(ii)bI-normal[14]if each pair of non-empty disjoint closed sets of X , can be separated by disjoint bI-open
sets .
(iii)bI-connected[14] if X is not union of two disjoint bI-open subsets of X .
(iv)ultra normal[14] if each pair of non-empty disjoint closed sets of X , can be separated by disjoint clopen
sets .
(v)ultra bI-normal[14] if each pair of non-empty disjoint closed sets of X, can be separated by disjoint bI-cl
open sets .
Definition 5.19 :An ideal topological space ( X , , I ) is said to be
(i)bI*S-normal if each pair of non-empty disjoint closed sets of X , can be separated by disjoint
Page 46

INTERNATIONAL JOURNAL OF COMPUTER APPLICATION

Available online on http://www.rspublication.com/ijca/ijca_index.htm

ISSUE 2, VOLUME 6 (December 2012)

ISSN: 2250-1797

bI*S-open sets .
(ii) bI*S-connected if X is not the union of two disjoint bI *S-open subsets of X .
(iii)ultra bI *S-normal if each pair of non-empty disjoint closed sets of X ,can be separated by disjoint bI *Sclopen sets.
Remark 5.2: (X , , I ) is normal (X,, I) is b-I*S-normal(X,,I)is bI-normal(X,,I) b-normal
Proof : (i) Let ( X , , I ) be an normal space .Let F1 , F2 be two disjoint closed sets in X .Then there exist
a disjoint open sets V1 and V2 such that F1 V1 , F2 V2 , Then V1 and V2 are disjoint bI *S-open .
( X , , I ) is bI*S-normal . Proof of ii) & iii) are similar , since BI *SO(X) BIO(X) BO(X).
Theorem 5.21 : Let f : ( X , , I ) ( Y , , J ) be a bijective function then
(a) If f is a bI *S-continuous, closed map and Y is normal then X is bI *S-normal
(b) If f is a bI *S-continuous, closed map and Y is ultra normal then X is bI *S-normal
(c) If f is a strongly bI *S-continuous, closed map and Y is bI *S-normal then X is normal
(d) If f is a bI *S-irresolute , closed map and Y is bI *S- normal then X is bI *S-normal .
(e) if f is a bI *S-resolute, continuous map and X is bI *S-normal Y is bJ*S-normal
Proof : (a) Let F1 , F2 be two disjoint closed sets in X .Then f(F1) , f(F2) are disjoint closed sets in Y. Since
Y is normal there exist a disjoint open sets V1 and V2 in Y such that f(F1) V1 , f(F2) V2 then
F1 f-1(V1), F2 f-1(V2), where f-1(V1) and f-1(V2) are disjoint bI *S-open sets in X.
X is bI *S- normal .
(b) Y is ultra normal Y is normal proof follows from (a).
Proof of (c), (d) & (e) are similar
Theorem 5.22 :Let f : ( X , , I ) ( Y , , J ) be a bijective function .
(i)f is bI*S-continuous , onto and X is bI *S-connected Y is connected .
Page 47

INTERNATIONAL JOURNAL OF COMPUTER APPLICATION

Available online on http://www.rspublication.com/ijca/ijca_index.htm

ISSUE 2, VOLUME 6 (December 2012)

ISSN: 2250-1797

(ii)f is strongly bI *S-continuous , onto and X is connected Y is bI *S-connected.

(iii)f is onto bI *S-irrresolute and X is bI *S-connected Y is bI*S-connected .
(iv) f is bI *S-ressolute and Y is bJ*S-connected X is bI*S-connected .
Proof :(i) Suppose Y is not connected , then Y =A B where A B = and A, B are non empty
open sets in Y . X = f-1(Y) = f-1(A) f-1(B) , where f-1(A) and f-1(B) are disjoint nonempty
bI*S-open sets ( f is onto). X is bI *S disconnected which is a contradiction Y is connected.
(ii) & (iii): proof is similar .
Remark 5.23 : By theorem 5.22 iii) and iv) it follows that bI *S-connected is a bI *S-topological property
Definition 5.24:A function f: ( X , , I ) ( Y , , J ) is called b-open ( resp. b-closed) if for each U
( resp. closed set F ) , f(U) is b-open ( resp. b-closed ) .
Definition 5.25:A function f:(X,,I)(Y,,J) is called bJ-open (resp bI-closed) if for each U(resp
closed set F) , f(F) is bJ-open (resp bJ-closed).
Definition 5.26 :A function f:(X,)(Y,,J) is called bJ*S-open (resp bJ*S-closed) if for each U(resp
closed set F ),f(U) is bJ*S-open ( resp bJ*S-closed )
Remark 5.27 :Every bJ*S-open(resp bJ*S-closed) function is bJ-open (resp bJ-closed ) and every bJ-open
( resp bJ-closed ) function is b-open ( resp b-closed ) and the converses are false in general .
Definition 5.28:[ 14] A function f : (X, , I) (Y, , J) is called
(i)semi-J-open(resp semi-I-closed)if for each U(resp closed set F),f(U)(resp f(F))is semi-J-open(resp
semi-J-closed ) .
(ii)Pre-J-open ( resp pre-I-closed ) if for each U ( resp closed set F ) f(U) ( resp f(F) ) is pre-J-open
( resp pre-J-closed ) .
(iii)J-open(resp -J-closed ) if for each U ( resp closed set F ) f(U) ( resp f(F) ) is J-open )
Page 48

INTERNATIONAL JOURNAL OF COMPUTER APPLICATION

Available online on http://www.rspublication.com/ijca/ijca_index.htm

ISSUE 2, VOLUME 6 (December 2012)

ISSN: 2250-1797

( resp -J-closed ).
Definition 5.29 :A function f : (X, , I) (Y, , J) is called
(i)Semi-J*S-open(resp semi-J*S-closed) if for each U( resp closed set F) ,f(U) ( resp f(F)) is semi-J*Sopen (resp. semi-J*S-closed ) .
(ii)Pre-J*S-open (resp pre-J*S-closed) if for each U ( resp closed set F) f(U) ( resp f(F) ) is pre-J*S-open
(resp pre-J*S-closed ) .
(iii)J*S-open ( resp J*S-closed ) if for each U ( resp closed set F ) f(U) ( resp f(F) ) is -J*S-open
(resp -J*S-closed ) .
Remark 5.30 :The following diagram shows the relations between different functions f:(X, )(Y,, J)

Open

Open

Open

semi-I*s-open

bI*s-open

pre-I*s-open

semi-I-open

bI-open

semi- open

b-open

pre-I-open

pre- open

Theorem 5.31: A function f : ( x, , J ) ( y, , J ) is bJ*S-open iff for each x X and each neighborhood
U of x there exist V BJ*SO( Y ) containing f(x) such that V f(U).
Proof: Let f be a bJ*S-open function.For each xX and neighbourhood U of x U0 such that x U0 U
Since f is bJ*S-open V= f(U0) BJ*S( Y, ) and f(x) V f(U) .Conversely, let U be an open set of (X,)
for each xU,there exist a Vx BJ*S O( Y ) such that f(x)Vxf(U).f(U)=U{Vx : x U } and hence by
proposition 3.10 f(U) BJ*SO( Y).This shows that f is bJ*S-open .
Theorem 5.32:Let f: ( X , ) ( Y, , J ) be onto bJ*S- open (resp bJ*S-closed).If W is any subset of Y

Page 49

INTERNATIONAL JOURNAL OF COMPUTER APPLICATION

Available online on http://www.rspublication.com/ijca/ijca_index.htm

ISSUE 2, VOLUME 6 (December 2012)

ISSN: 2250-1797

and F is a closed ( resp open ) set of X containing f-1(W) then there exist a bJ*S-closed (resp bJ*S-open)
subset H of Y containing W such that f-1(H) F.
Proof:Let f be a bJ*S-open function. Let W be any subset of Y and F a closed subset of X containing
f-1(W), Then X-F is open and since f is bJ*Sopen f( X-F ) is bJ*S-open .Hence H=Y-f(X-F) is bJ*S-closed.
f-1(W) F X F X f-1(W) f(X-F) Y W W ( Y f (X F ) = H and f-1(H) F
Similarly we can prove the result for bJ*S -closed function .
Theorem 5.33:For any bijective function f: (X , ) (Y, , J ) the following are equivalent:
i)f-1 : (Y,, J) (X, ) is bJ*S-continuous ii)f is bJ*S-open iii)f is bJ*S-closed
Proof: Obvious from definition .
Definition 5.34:A function f: (X, , J) (Y, , J) is called *-I- continuous if the pre image of every
open set in (Y , ) is *-dense in itself .
Definition 5.35 :A function f: (X, , I) (Y, , J) is called *S-I- continuous if the preimage of every
open set in (Y, ) is *s-dense in itself.
Remark 5.36 :f is *sI-continuous f is *I-continuous , since A A*S A*
Proposition 5.37 :For a subset A in ( X , , I ) if the condition (int(A))*S int (A*S ) holds then the
following are equivalent :
(i)A is I*S-open(ii)A is bI *S-open and *s-dense itself .
Proof : (i) (ii) Let A be I *S-open subset of ( X , , I ) then A int ( A*S) A*S which shows that A is
*s-dense in itself . Now A int (A *S) int cl*S(A) int cl*S(A) cl*S int(A) . A is bI*S-open.
(ii) (i)Let A be bI *S-open and *S-dense in itself then A A*S and A int cl*S(A) cl*S int(A)=
[int (A A*S)] [ int A ( int A) *S] int A*S int A int A*S int A*S = int A*S . A is I *S-open .
Proposition 5.38: ( Decomposition of I *S-continuous function ) If a function f: ( X , , I ) ( Y , ) is
Page 50

INTERNATIONAL JOURNAL OF COMPUTER APPLICATION

Available online on http://www.rspublication.com/ijca/ijca_index.htm

ISSUE 2, VOLUME 6 (December 2012)

ISSN: 2250-1797

I*S-continuous and if ( int A )*S int A*S for each subset A of X then the following are equivalent
(i)f is bI*S-continuous and *sI-continuous ( ii) f is I*S-continuous .
Proof : (i)(ii) Let f be I*S-continuous , let U be open in Y then f-1(U) is I *S-open .By Theorem 4.45
f-1(U) is bI *S-open and *s-dense in itself . f is bI *S-continuous and *sI-continuous .
(ii)(i) Let f be bI *S-continuous *S-I-continuous , if U is open in Y then f-1(U) is bI *S-open and *S-dense
in itself . By Theorem 5.37 f-1(U) is I *S-open . f is I*S-continuous .
Definition 5.39:A space ( X , , I ) is called i)b-space if every b-open set in X is open in X .ii)bI-space if
every b-I-open set in X is open in X .iii)bI *S-space if every b-I*S-open set in X is open in X .
Theorem 5.40 :Every b-space is bI-space and every bI-space is bI *S-space .
Proof : It follows since a subset A is open bI*S-open bI-open b-open .
Theorem 5.41: If ( X , ) is a b-space then for any ideal I on X , = BI*SO(X) = BIO(X) = BO(X) .
Proof : In general BI*SO(X) BIO(X) BO(X) .In a b-space every b-open set is open , BO(X) .
Hence we get = BI*SO(X) = BIO(X) = BO(X) .
Theorem 5.42:If ( X , ) is a b-space then for any ideal I on X , = PI*SO(X) = PIO(X) = PO(X).
Proof : We know that PI*SO(X) BI*SO(X) , PIO(X) BIO(X) , PO(X) BO(X) and PI*SO(X)
PIO(X) PO(X) BO(X).In a b-space BO(X) . Hence PI *SO(X) = PIO(X) = PO(X) = BO(X)= .
Theorem 5.43 :If ( X , ) is a b-space then for any ideal I on (X ,) = SI*SO(X) = SIO(X) = SO(X) .
Proof : We know that SI*SO(X) BI*SO(X) , SIO(X) BIO(X) , SO(X) BO(X) and SI*SO(X)
SIO(X) SO(X) BO(X) .In a b-space BO(X) . Hence SI*SO(X) = SIO(X) = SO(X) = BO(X)= .
Theorem 5.44 : If ( X , ) is a b-space then for any ideal I on (X , ) = I*SO(X) = IO(X) = O(X).
Proof : We know that I*SO(X) BI*SO(X) , IO(X) BIO(X) , O(X) BO(X) and I*SO(X)
IO(X) O(X) BO(X).In a b-space BO(X) .Hence I*SO(X) = IO(X) = O(X) = BO(X)= .
Page 51

INTERNATIONAL JOURNAL OF COMPUTER APPLICATION

Available online on http://www.rspublication.com/ijca/ijca_index.htm

ISSUE 2, VOLUME 6 (December 2012)

ISSN: 2250-1797

Remark 5.45:From the above theorems we conclude that if (X,) is a b-space then for any ideal I on X ,
B*SO(X) = BIO(X) = BO(X) = PI*SO(X) = PIO(X) = PO(X) = SI*SO(X) = SIO(X) = SO(X) = I*SO(X)
= IO(X) = O(X) = .
Theorem 5.46 :If ( X , , I ) is a bI-space then = BI*SO(X) = BIO(X) = PI*SO(X) = PIO(X)= SI*SO(X)
= SIO(X) = I*SO(X) = IO(X) .
Proof : It is known that BI*SO(X) BIO(X); PI*SO(X) PIO(X); SI*SO(X) SIO(X);
I*SO(X) IO(X) and PIO(X) BIO(X);SIO(X) BIO(X);IO(X) BIO(X).In a bI-space
BIO(X) . Hence the proof follows.
Theorem 5.47 :If ( X , , I ) is a bI*S-space then = BI*SO(X) = PI*SO(X) = SI*SO(X) = I*SO(X) .
Proof : It is known that BI*SO(X); PI*SO(X) BI*SO(X);SI*SO(X)BI*SO(X);and
I*SO(X) BI*SO(X). In a bI*S-space, BI*SO(X) .
In a b-I*S-space = BI*SO(X) = PI*SO(X) = SI*SO(X) = I*SO(X)
Theorem 5.48 : ( Decomposition of bI*S-continuous function in a b -space)
Let f:(X,,I)(Y,) be a function and let ( X , , I ) be b-space.Then the following are equivalent :
(1)f is continuous (2)f is bI-continuous (3) f is bI *S-continuous 4) f is b-continuous
(5) f is pre-I-continuous (6) f is pre-I*S-continuous (7) f is pre continuous
(8) f is semi-I-continuous

(9) f is semi-I*S-continuous (10) f is semi-continuous

(11) f is I-continuous (12) f is I*S-continuous (13) f is -continuous

Proof : It follows from remark (5.45) .
Theorem 5.49: ( Decomposition of bJ*S-open function in a b -space)
Let f : ( X,,I) (Y,, J) be a function and let (Y,, J) be b-space then the following are equivalent
(1) f is b-open (2) f is bI-open (3) f is bJ*S-open (4) f is pre-open (5) f is pre-J-open (6) f is pre-J*S-open
Page 52

INTERNATIONAL JOURNAL OF COMPUTER APPLICATION

Available online on http://www.rspublication.com/ijca/ijca_index.htm

ISSUE 2, VOLUME 6 (December 2012)

ISSN: 2250-1797

(7)f is semi-open (8)f is semi-J-open(9)f is semi-J*S-open(10)f is -open (11)f is J-open(12) f is J*S-open

Proof : Proof follows from theorem (5.45) .
Theorem 5.50 :( Decomposition of bI*S-continuous function in a bI -space)
Let f:(X,,I))(Y, ) be a function and let ( X , , I) be bI-space then the following are equivalent:
(1)f is continuous (2)f is bI-continuous (3)bI*S-continuous (4)f is semi-I-continuous
(5)f is semi-I*S-continuous (6)f is I-continuous (7) I*S-continuous
Proof :Proof follows from theorem (5.46).
Remark 5.51: ( Decomposition of bJ*S-open function in a bJ-space)
Let f:(X,,I)(Y,,J) be a function and let be (Y,,J) bJ-space then the following are equivalent :
(1)f is open (2)f is bJ-open (3)f is bJ*S-open (4)f is semi-J-open (5)f is semi-J*S-open
(6) f is J-open (7) f is J*S-open
Corollary 5.52: ( Decomposition of bI*S-continuous function in a b bI*S- -space)
Let f:(X,,I)(Y,)be a function and let (X,, I ) be bI*S-space then the following are equivalent
(1)f is continuous (2)f is bI *S-continuous (3)f is pre-I*S-continuous (4)f is semi-I*S-continuous
(5) f is I-continuous
Proof : It follows from(5.47).
Theorem 5.53: ( Decomposition of bJ*S-open function in a bJ*S- -space)
Let f:(X,,I)(Y,,J)be a function and let (Y,, J) be bJ*S-space then the following are equivalent:
(1) f is open (2)f is bJ*S-open (3) f is pre-J*S-open (4)f is semi-J*S-open (5)f is J*S-open
Proof : It follows from (5.47).

Page 53

INTERNATIONAL JOURNAL OF COMPUTER APPLICATION

Available online on http://www.rspublication.com/ijca/ijca_index.htm

ISSUE 2, VOLUME 6 (December 2012)

ISSN: 2250-1797

BIBLIOGRAPHY
[1] M.E. Abd El-Monsef, E.F. Lashien, and A.A.Nasef, On I-open sets and I-continuous
functions,Kyungpook Mathematical journal, vol. 32, no. 1, pp. 21-30,1992.
[2] Ahmad AI-Omari and Mohd. Salmi Md. Noorani, On Generalized b-closed sets.
[3] D.Andrijevic, On b-open sets, Mathematichki Vesnik,vol.48,no. 1-2,pp.59-64,1996.
[4] A. Caksu Guler and G.Aslim,b-I open sets and decomposition of continuity via idealization,
Proceedings of Institute of Mathematics and Mechanics. National Academy of sciences of Azerbaijan, vol.
22, p. 27-32, 2005.
[5] J. Dontchev,On pre-I open sets and a decomposition of I continuity,Banyan Mathematical Journal,
vol. 2, 1996.
[6] J. Dontchev, Idealizatipn of Ganster-Reilly decomposition theorems, 1999,
[7] A. A.El-Atik,A study of some types of mapping on topological spaces, M.Sci.thesis , Tanta
University, Tanta , Egypt, 1997.
[8] E. Hatir and T.Noiri, On decompositions of continuity via idealization, Acta Mathematica
Hungarica, vol. 96, no. 4, pp. 341-349, 2002.
[9] E. Hatir and T.Noiri,On semi I-open sets and semi I-continuous functions, Acta Mathematica
Hungarica, vol. 107, no. 4, pp. 345-353, 2005.
[10] E.Hayashi, Topologies defined by local properties , Mathematische Annalen, vol.156,pp. 205-215,
1964.

Page 54

INTERNATIONAL JOURNAL OF COMPUTER APPLICATION

Available online on http://www.rspublication.com/ijca/ijca_index.htm

ISSUE 2, VOLUME 6 (December 2012)

ISSN: 2250-1797

[11] S. Jafari and T. Noiri, Contra-super continuous functions, Annales Universitatis Scientiarum
Budapestinensis, vol. 42, pp. 27-34, 1967.
[12] D. Jankovic and T.R Hamlett, New topologies from old via ideals, The American Mathematical
Monthly, vol. 97, no. 4, pp. 295-310, 1990.
[13] N. Levine,Semi-open sets and semi-continuity in topological spaces, The American Mathematical
monthly , vol. 70, no. 1, pp. 36-41, 1983.
[14] Metin Akdag,On b-I-Open sets and b-I-continuous functions,International Journal of Mathematics
and Mathematical Sciences,volume2007,Article ID 75721
[15] A. S Mashhour, I.A .Hasanein, and S. N. El-Deeb,-continuous and -open mappings, Acta
Mathematica Hungarica, vol. 41, no. 3-4, pp. 213-218, 1983.
[16] R.L. Newcomb, Topologies which are compact modulo an ideal, Ph.D dissertation, University of
California , Santa Barbara , Calif, USA, 1967.
[17] O.Nijastad, On some classes of nearly open sets, Pacific Journal of Mathematics,vol.15,pp.961970.1965.
[18] A.A Nasef and A.S Farrag , Completely b- irresolute functions, Proceedings of the Mathematical
and Physical Soceity of Egypt, no. 74, pp. 73-86, 1999.
[19] P.Samuels,A topology formed from a given topology and ideal, Journal of the London Mathematical
Society ,vol.10,no. 4, pp. 409-416, 1975.

Page 55