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 GENERALIZED 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 gbI-open, gbI-closed, gbI *S--open, gbI *S-closed sets are defined and their
properties are studied. gbI continuous, gbI*S continuous functions and other continuities
associated with these sets are defined and relationships between them are discussed . These
concepts are used to define gbI-spaces and gbI *S- spaces and decomposition theorems are
proved in such spaces.
Ke y words
gbI-open sets, gbI-closed sets, gbI continuous function, gbI *S-open sets, gbI*S-closed sets,
gbI*S continuous function, gbI spaces and gbI *S spaces.
___________________________________________________________________________
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 bIcontinuous functions .Levine [13] introduced the concept of generalized closed sets in
Page 63

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

topological space and a class of topological spaces called T 1/2-spaces .Ahmad Al-Omari and
Mohd Salmi Md.Noorani[2] introduced the concept of generalized b-closed sets in topological
space and a class of topological spaces.bI *S-open sets and bI *S-continuous functions, bI-space
,bI*S-space are defined in [ 19 ]and decomposition theorems are proved. In the light of the
above results the purpose of this paper is to define and study, gbI*S-open sets, gbI*Scontinuous functions, gbI-space , gbI *S-space, gbI T1/2-space, gbI*S T1/2-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, the interior of A and the complement of A respectively. 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 c *( I ,) 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
Page 64

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

with respect to and I is defined as follows : For A X, A*S(I , ) = { x X / U A I

for every open set U containing x }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 ,and * *S
If I = { } then A*S = scl(A) ,and if I = (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
(a)-open set[15] if S int cl int(S) (b)Semiopen set [13]if S cl int(S)
(c)Preopen set [14]if S int cl(S) (d)-open set[15] if S cl int cl(S)
(e)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 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
(a)-I-open set[8] if S int cl* int(S) (b)Semi-I-open set[8] if S cl* int(S)
(c)Pre-I-open set[1] if S int cl*(S)

(d)-I-open set[8] if S cl* int cl*(S)

(e)b-I-open set[4] if S cl* int(S) int cl*(S) (f)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 SIO(X)(resp PIO(X),IO(X),IO(X),BIO(X))

Page 65

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

Definition 2.5: [19] 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*Sopen(resp. pre-I*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 2.6: [19] In an ideal topological space(X,.I) the following conditions hold:
(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) denoted by
SIO(X)(resp.PIO(X),IO(X),IO(X),BIO(X),IO(X))
Definition2.3:[13] Let (X,,) be an ideal topological space.. A subset A of X is called a generalized
closed set (simply g- closed set) if cl(A) U, whenever A U and U is open.The complement of a
generalized closed set is called generalized open (simply g-open). The set of all g-closed (resp gopen) sets is denoted by GC(X) (resp GO(X)).
Definition 2.4:[3] Let X be a space. A subset A of X is called a generalized b-closed set (simply gbclosed set) if bcl(A) U, whenever A U and U is open.The complement of a generalized b-closed
set is called generalized b-open (simply gb- open). The set of all a gb-closed set (resp gb-open) is
denoted by GBC(X) (resp GB(X)).
Page 66

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

Definition 2.5:[19] 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 set is denoted by BI *SO(X) and BI *SC(X) respectively.
3.Generalized bI -closed sets and Generalized bI*S -closed sets
Definition 3.1:In a ideal topological space (X,,I) ,a subset A of X is called a generalized bI-closed
set (simply gbI-closed set) if bIcl(A) U whenever A U and U is open in X. The complement of
a generalized bI-losed set is called generalized bI-open (simply gbI open). The set of all a gbI-closed
set (resp gbI-open) is denoted by GBIC(X) (resp GBIO(X)).
Definition 3.2In a ideal topological space (X,, ) a subset A is said to be generalized bI*Sclosed(simply I *S-closed ) if bI *Scl(A) U whenever A U and U is open is X.The complement
of a gbI *S-closed set is called gbI *S-open.The set of all a gbI*S-closed set (resp gbI*S-open) is
denoted by GBI *SC(X) (resp GBI*SO(X)).
Example 3.3 : If ( X , ) is an indiscrete space then for any ideal , GBIC(X) = GBI*SC(X) = { all
subsets } since for any subset A , the only open set containing A is X .
Example 3.4: If = P(X) then cl*S(A)= cl*(A)=A. So BI*O(X) =BI *SO(X) = .and GBIC(X) =
GBI*SC(X) for any topology . Let X={a,b,c} = {,x,{a}} I = P(X) then cl*S(A)= cl*(A)=A,
BI*O(X) =BI *SO(X) = and GBIC(X) = GBI*SC(X)= {{b},{c},{a,b}{c,b}{a,c}}.
Remark 3.5: For any subset A , A is closed A is bI*S-closed A is bI-closed A is b-closed.
bcl(A) bIcl(A) bI*Scl(A) cl(A). Hence A is closed A is g-cosed A is gbI *S closed
A is gbI-closed A is gb-closedii)Union of gbI-closed sets need not be gbI-closed and hence
intersection of gbI- open sets need not be gbI- open as seen from the following example.
Example 3.6: Let X={a, b, c} ={, x,{a},{b}{a, b}}, J={, {a}}.

Page 67

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

In this space BIO(X)={{a},{b},{a, b},{a,c},{c, b} ,X ,}.bIcl({a})={a} , bIcl({b})= {b}, and

bIcl({a,b})=X.Therefore A= {a}, B= {b} are gbI- closed but AB is not gbI-closed.
iii) Union of gbI *S-closed sets need not be gbI*S-closed and hence intersection of gbI *S- open sets
need not be gbI *S- open as seen from the following example.
Example 3.7: Let X={a, b, c} ={, x,{a},{b}{a, b}}, J={}. In this space GBI *SC(X) =
{{a},{b},{c},{a, b}{c, b} ,X ,}. A= {a}, C= {c} are gbI *S- closed but AC is not gbI*S-closed.
iv)Intersection of gbI - closed sets need not gbI-closed as seen from example C
v)Intersection of gbI *S- closed sets need not gbI*S-closed as seen from example
Example 3.8: Let X={a, b, c}={, x, {a}}, =p{X}.
In this space GBIC(X)= GBI *S C(X)={,X{b},{c},{a, b}{c, b},{a, c}}, A={a, b}, B={a, c} are gbI *S closed but AB is not gbI*S-closed.
vi) I*S -closed set is gbI *S - closed .For, A is I*S-closed A is bI *S-closedbI*Scl(A) = A.A U and U
is open bI*Scl(A) U . A is gbI *S-closed. Similarly I -closed set is gbI- closed. Converse need not
be true as seen from the following example.
Example 3.9: Let (X, ) be an indiscrete topological space = {A X / p A}.
In this space A*=A*S=X if pAandA*=A*S=if pA.Therefore A is bI- open and bI-*S-open pA
Hence bIcl(A) = bI *Scl(A)=A if pAand bIcl(A)=bI *Scl(A)=X if pA.
So,GBIC(X)=GBI*SC(X)={all subsets}
Therefore a subset A containing p is gbI closed and gbI *S-closed but not bI - closed ,not bI*S-closed, not
I- closed and not I*S closed
vii)bI-closed set is gbI-closed and bI *S -closed set is gbI *S closed.
Converse need not be true as seen from example 3.9.

Page 68

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

Definition 3.6: An ideal topological space (X,,) is said to be gbI-additive if union of gbI-closed sets is
gbI-closed and gbI-multiplicative if intersection of gbI- closed sets is gbI-closed.
Definition 3.7:An ideal topological space (X,,) is said to be gbI *S-additive if union of gbI *s-closed sets
is gbI *S-closed and gbI *S-multiplicative if intersection of gbI *S- closed sets is gbI *S-closed.
The following examples show the existence of such spaces.
Example 3.8: Let (X,) be an indiscrete space. Then for any ideal , (X,, ) is gbI multiplicative, gbI*Smultiplicative ,gbI additive and gbI *S-additive.Since in this space all subsets are gbI - closed and gbI *Sclosed .
Example 3.9: Consider (X, , ) ; cofinite topology , and = P(X) . In this space , A*=A*S = A for all
subsets and BI O(X)= BI*S O(X)={ ,X, A/Ac finite};BI*SC(X)= { ,X and all finite sets}.In this space
union of gbI-closed sets need not gbI- closed and union of gbI *S-closed sets need not gbI*S- closed but
intersection of gbI-closed is gbI-closed and intersection of gbI *S-closed sets is gbI *S-closed.This space is
gbI-multiplicative but not gbI- additive and gbI *S-multiplicative but not gbI*S- additive.
Example 3.10: Let X= {a,b,c}={ X,{a},}=P(X).
Then GBIC(X)=GBI*SC(X)={X,,{b},{c},{a,b},{a,c},{b,c} }.Hence A = {a,b} and B = {a,c} are gbI
closed and gbI *S-closed but AB is not gbI closed and not gbI*S-closed.The space is gbI -additive but not
gbI-multiplicative and gbI *S-additive but not gbI *S-multiplicative.
In the following Theorems, A will denote a subset of an ideal topological space(X, , ).
Theorem 3.11: (i) If a subset A of an ideal topological pace is gbI *S-closed then bI*Scl(A)-A does not
contain any non empty closed sets. (ii) If a subset A of an ideal topological pace is gbI-closed then
bIcl(A)-A does not contain any non empty closed sets.
Proof: (i) Let F be a closed set contained in bI *Scl (A)-A.Then A X-F which is open.

Page 69

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*Scl(A) X-F. So F bI*Scl(A) (X-bI*Scl(A)) =

(ii) Proof is similar

Theorem 3.12: (i) Let A be gbI *S-closed subset of ( X,, ) and A B bI*Scl(A) then B is gbI *Sclosed.(ii) Let A be gbI-closed subset of ( X,, ) and A B bIcl(A) then B is gbI *S-closed.
Proof: (i) Since bI *Scl(A) is bI *Sclosed , bI *Scl( bI *Scl(A) ) = A. bI*Scl(A) bI*Scl(B) bI*Scl(A)
So,bI *Scl(B)=bI *Scl(A).Then A UbI*Scl(A)U bI*Scl(B) U which implies B is gbI *S-closed.

(ii) Proof is similar.

Theorem 3.13: (i) A gbI*S-closed set A is bI *S-closed iff bI *Scl(A) is closed. (ii) A gbI-closed set A
is bI-closed if and only if bIcl(A) is closed.
Proof: (i) A is bI *S closed bI*Scl(A) - A = which is closed. Conversely, let bI *Scl(A) - A be
closed. Then by theorem (5.9) bI*Scl(A) - A =

(ii) proof is similar .

Definition 3.14: (i) Let B A X , we define bI *SclA(B) = A bI*Scl(B). We say B is gbI *S-closed
relative to A if bI *S clA(B) U whenever B U and U is open in A. (ii) Let B A X , we define
bIclA(B) = A bIcl(B). We say B is gbI-closed relative to A if bI clA(B) U whenever B U and
U is open in A.
Theorem 3.15: (i) Let B A X , where A is bI*S-closed and open. Then B is gbI *S closed relative
to A B is gbI*S-closed in X . (ii) Let B A X , where A is bI-closed and open. Then B is gbI closed relative to A B is gbI-closed in X .
Page 70

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: (i) B A bI*S cl(B) bI*Scl(A) A. bI*Scl(B) = bI *Scl(B) B = bI*Scl(B)

Let U be open in X and B U, then U A is open in A and B U A . Since B is gbI *S-closed
relative to A bI *Scl(B) U A . bI*Scl(B) U A U and so, B is gbI *S closed in X.
Conversely let B be gbI *S-closed in X. Let U be open in A and B U.Then U = V A where V is
open in X.Now B V bI*Scl(B) V. bI*SclA(B) = bI *Scl(B) A V A = U. B is gbI*Sclosed relative to A. (ii) proof is similar
Theorem 3.16: (i) Let A be open and gbI *S -closed then A F is gbI*S -closed whenever F is bI*Sclosed in X. (ii) Let A be open and gbI-closed then A F is gbI-closed whenever F is bI-closed in X.
Proof: (i) A is open and gbI *S-closed bI*Scl(A) A and this implies A is bI *S-closed .Since
intersection bI *S-closed sets bI *S-closed, we have A F is bI *S-closed and hence it is gbI *S-closed.
(ii) Proof is similar .
Definition 3.17: A point xX is said to be I-limit-point of A if for every I-open set U in X,
U(A-{x}). The set of all I-limit points A is called the I-derived set of A and it is denoted by
DI (A).
Definition 3.18: A point x X is said to be bI-limit- point of A if for every bI-open set U in X , U
(A-{x}) .the set if all bI-limit- points of A is called the bI-derived set of A is denoted by DbI (A).
Definition 3.19:A point x X is said to be bI *S-limit- point of A if for every bI *S-open set U in X ,
U (A-{x}) .The set of all bI *S-limit- points of A is called the bI *S-derived set of A and it is
denoted by DbI*S(A).
Theorem 3.20: (i) x bI*Scl(A ) every bI *S-open set containing x intersects A .(ii) x bIcl(A )
every bI-open set containing x intersects A .

Page 71

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:(i) Let x bI*Scl(A) , and U be a bI *S-open set containing x , Suppose U A = then A

X-U which is bI *S-closed . x X-U which is a . U A . Conversely, let every bI *Sopen set U containing x intersect A . Let U be bI *S-closed set containing A , suppose x U then x
X-U which is bI *S-open then (X-U) A which is a . , x U and hence x bI*Scl(A).
(ii) Proof is similar
Theorem 3.21: (i) bI*Scl(A) = A DbI*S (A) (ii) bIcl(A) = A DbI (A)
Proof: (i) Obviously A DbI*S (A) bI*Scl(A).On the other hand if x bI*Scl (A) and x A, then
every bI *S-open set U containing x intersects A at a point other then x. x DbI*S (A)
(ii) Proof is similar.
Theorem 3.22: If DbI(A) DbI*S (A) then bI cl(A)= bI *Scl(A)
Proof: Obviously bIcl(A) bI*S cl(A).bI *Scl(A) = A DbI*S (A) A DbI (A) = bIcl (A).
Therefore bI cl(A)= bI *Scl(A).
Theorem 3.23:(i) If DbI*S(A)=DI(A) then bI *Scl(A)=I cl (A) (ii) If DbI(A) = DI(A)
then bIcl(A)=I cl (A)
Proof: (i) If bI*S cl (A)= A DbI*s (A) = A DI(A) = I cl (A) (ii) proof is similar .
4 .gbI*S CONTINUOUS FUNCTION
Definition 4.1:A function f : ( X , , ) ( Y , , J) said to be
(i)gbI*S-continuous (resp gbI-continuous) if f-1(V) is gbI *S closed(resp gbI -closed )for every closed set
V in Y
(ii) Strongly gbI *S continuous(resp gbI continuous) if f-1(V) closed for every gbI *S-closed
(resp gbI -closed) set V in Y .iii)Weakly gbI *S-continuous( resp gbI-continuous )if for each xX
and for every open set V in Y containing f(x) there exist gbI *S-open (resp gbI open )set U in X such

Page 72

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

that x U and f(U) V iv) gbI *S- irresolute (resp gbI- irresolute) if for every gbI *S-closed(resp gbIclosed) set V in Y f-1(V) is gbI *S-closed in X. v) I*S-continuous(resp I-continuous) if for every
closed set V in Y f-1(V) is I *S-closed(resp I-closed) .

vi) gbI *S-open(resp gbI-open) if f(v) gbI *S-

open (resp gbI-open ) for every open(closed) set V in X.

Remark: 4.2 : A function f : ( X , , ) ( Y , , J) is
(i) gbI *S continuous gbI continuous . (ii) strongly gbJ continuous strongly gbJ*S continuous.
(iii) weakly gbI *S continuous weakly gbI continuous (iv) gbI *S- irresoluteand and gbI- irresolute
are independent concepts

(v) I

*S

continuous I continuous (vi) gbJ*S open

gbJ open

Theorem 4.3: Let f : ( X , , ) ( Y , , J) be a map between ideal topological space then,

(i) f is bI *S-continuous (resp bI-continuous) f is gbI*S-continuous (resp gbI -continuous), converse
is not true as seen from example A
(ii) f is strongly gbI *S-continuous(resp gbI-continuous ) f is gbI*S-continuous(resp gbI-continuous)
converse is not true as seen from example B
(iii)f is gbI *S-continuous (resp gbI-continuous) f is weakly gbI *S-continuous (resp gbI-continuous)
converse is not true as seen from example C
(iv) f is strongly gbI *S-continuous (res gbI-continuous )p f is gbI*S-irresolute (resp gbI-irresolute
converse is not true as seen from example B
(v) f is contra continous(resp continuous) f is gbI *S- contra continuous(resp gbI *S- continuous )and
f is gbI contra continuous (resp gbI continuous ).Converse is not true as seen from example D
(vi) f is strongly contra gbI *S-continuous (resp strongly gbI *S-continuous) f is contra gbI *Sirresolute(resp gbI *S-irresolute) converse is not true.
(vii) f is I*S-continuous (resp I-continuous ) f is gbI*S- continuous (resp gbI- continuous), converse
is not true as seen from example A
Page 73

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

(viii) bI *S-irresolute (resp bI irresolute ) and gbI *S-irresolute (resp gbI irresolute) are independent
are concepts
Proof : follows from definition
Example 4.4 : Let X = { a,b,c } , = { , X,{a} } , = P(X).
In this space BI*SO(X)=BIO(X)={,X,{a}},GBI*SO(x)= GBIO(x)={{a,c},{a,b},{c},{b},{a}}.Define
f :(X,, )(X,,)by f(a)=b;f(b)= a;f(c)=c;Thenf-1{a}={b} is gbI *S-open and gbI open but not bI*Sopen ,not bI open and not I*S-open. f is gbI-continuous but not

bI-continuous and not I-

continuous and f is gbI *S-continuous but not bI *S-continuous and not I*S-continuous .
Example 4.5: Let X = { a,b,c } , = { , X,{a} } , = P(X) , In this space BI *SO(X) = { , X , {a} }
GBI*SO(x) = { {a,c},{a,b},{c},{b},{a} } . Define f : ( X , , ) ( X , , ) be identity function .
Obviously f is gbI *S-continuous , gbI-continuous ,gbI *S-irresolute and gbI-irresolute since f-1(a) = {a}
is gbI *S-open and gbI open . But {b} is gbI *S-open ,gbI open and f-1(b) = {b} is not open . f is not
strongly gbI *S- continuous and not strongly gbI- continuous.
Example 4.6: Let X = { a,b,c } , = { , X,{a} } , = P(X).
In this space

BI*SO(X) = BIO(X) = {, X, {a}}, GBI*SO(x) = GBIO(x) = {

{a,c},{a,b},{c},{b},{a}} .Define f : ( X , , I ) ( X , , I ) be the function defined as follows f(a)

= b , f(b) = f(c) = a , Then f is weakly gbI *S- continuous and weakly gbI continuous . But f is not
gbI*S- continuous and not gbI continuous , since {a} is open in X and f-1(a) = {b,c} is not gbI*S- open
and not gbI open in X ..
Example 4.7: Let X = { a,b,c } , = { , X,{a} } , = P(X) , In this space BI*SO(X) = BIO(X) = {
, X , {a} } , GBI*SO(x) = GBIO(x) = { {a,c},{a,b},{c},{b},{a} } . GBI*SC(X) = GBIC(X) = { {b} ,
{c} , {a,b} , {a,c} , {b,c} } .

Page 74

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

Define f:(X,,I)(X,,I) be function defined by f(a)= b, f(b) = a , f(c) = b,Then f-1{a} ={b} is
gbI*S-closed and gbI closed. f is gbI*S-contra continuous and gbI contra continuous , but f is not
contra continuous , since f-1{a} = { b} is not closed .
Theorem 4.8: (i) If (X , , I ) is gbI*S-multiplicative space then any weakly gbI *S-continuous
function from( X , , I ) to any space (Y,) is gbI*S-continuous. (ii) If (X , , I ) is gbI-multiplicative
space then any weakly gbI-continuous function from ( X , , I ) to any space (Y,) is gbIcontinuous.
Proof: (i) Let f: ( X , , I ) (Y,) be weakly gbI *S- continuous and A be open in Y.

Let

us

prove f-1(V) is gbI *S-open in X. Since f is weakly gbI *S-continuous for every x f-1(V) there exist
gbI*S-open set Ux such that x Ux and f(Ux) V. f-1(V) = xf-1(V) Ux is gbI*S-open , since X is
gbI*S-multiplicative. (ii) proof is similar
Theorem 4.9: If f: ( X , , I ) ( Y , , J) is a bijection then the following are equivalent.
( i) f-1 is gbI*S- continuous.

ii) f is gbI *S-open map. iii) f is gbI *S-closed map.

Proof: Obvious from the Definition.

Theorem4.10: (i) If a bijective function f:(X,,I)(Y,,J) is bI *S-irresolute and open then f is gbI *Sirresolute. (ii) If a bijective function f:(X,,I)(Y,,J) is bI-irresolute and open then f is gbIirresolute.
Proof: (i) Let V be gbJ*S-closed in Y. .Let f-1(V) U and U-open in X.Then V f(U) which is open
in Y. bJ*Scl(V) f(U). f-1(bJ*Scl(V) ) U. bJ*Scl(V) is bJ*S-closed in Y. f-1(bJ*Scl(V)) is
bI*S-closed in X. bI *Scl (f-1(V) ) bI*Scl f-1(bJ*Scl(V)) = f-1(bJ*Scl(V) ) U. f-1(V) is gbI *Sclosed. (ii) proof is similar .

Page 75

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

Definition 4.11: An ideal topological space ( X , , I ) is called (i) bI *S-T1/2 space if every gbI *Sclosed set is bI *S-closed.(ii) bI-T1/2 space if every gbI-closed set is bI-closed. iii) gbI *S- space if every
gbI*S-closed set is closed. iv) gbI- space if every gbI-closed set is closed.The following examples
show the existence of such spaces .
Example 4.12: Consider( X , , I ) ,where is cofinite topology, and I = P(X). In this space GBI *S
C(X)= GBIC(X)= BI *S C(X)= BI C(X)= { , X, all finite subsets } It is a bI *S-T1/2 space ,bI-T1/2
space. gbI *S- space and gbI-space.
Example 4.13: Consider (X,, I),where is indiscrete topology and I ={finite sets}. In this space
BI*S O(X)=BIO(X)={,X,all infinite subsets}but all subsets are gbI*S- open and gbI open. This
space is not a bI *S-T1/2 space ,not bI-T1/2 space, not a gbI*S-T1/2 space and a not bI-T1/2 space
Theorem 4.14: (i) If(X,,I) is bI *S-T1/2 space then f:(X,,I)(Y,,J) is bI *S-irresolute gbI*Sirresolute. If(X,,I) is bI-T1/2 space then f:(X,,I)(Y,,J) is bI-irresolute gbI-irresolute
Proof: (i) Let f be a gbI *S-irresolute and V be bI*S-open set in Y then it is gbI *S-open. f-1(V) is
gbI*S-open , since X is bI *S-T1/2 space , f-1(V) is bI *S-open , f is bI*S-irresolute.Conversely , let f
be bI*S-irresolute and V be gbI *S-open set in Y then it is bI *S-open. f-1(V) is bI *S-open.Since X is
bI*S-T1/2 space , f-1(V) is gbI *S-open.f is gbI*S-irresolute. (ii) proof is similar .
Theorem 4.15: Let (X,,I ) (Y,,J) and g: (Y,,J) (Z,,K) be any two functions .Then
1)g is continuous and f is gbI *S continuous gof is gbI *S continuous .
2)g is gbJ*S irresolute and f is gbI *S irresolute gof is gbI *S irresolute
3)g is gbJ*S continuous and f is gbI *S irresolute gof is gbI *S irresolute
4)g is gbJ*S continuous , f is gbI *S irresolute and X is bI *S T1/2 gof is bI *S continuous
5)g is continuous and f is gbI continuous gof is gbI continuous .
Page 76

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

6)g is gbJ irresolute and f is gbI irresolute gof is gbI irresolute

7)g is gbJ continuous and f is gbI irresolute gof is gbI irresolute
8)g is gbJ continuous , f is gbI irresolute and X is bI- T1/2 gof is bI continuous
Proof :(1)W is open in Z g-1(W) is open in Y f-1(g-1(W)) is gbI-open in X gof is gbI *S
continuous.
(2)W is gbK*S open in Z g-1(W) is gbJ*S open in Y f-1(g-1(W)) is gbI-open in X gof is
gbI*S continuous.
(3)W is gbK*S open in Z g-1(W) is open in Y g-1(W) is gbJ*S open in Y f-1(g-1(W)) is gbIopen in X gof is gbI *S irresolute
(4)W is open in Z g-1(W) is gbJ*S open in Y f-1(g-1(W)) is gbI *S -open in X f-1(g-1(W)) is
bI*S -open in X gof is gbI*S irresolute
(5) to (7) Proof is similar
Remark 4.16:
1)Every b-space is bI-space and bI-space is bI *S -space
2)Every

gb-space

is

gbI-space

and

gbI-space

is

gbI *Sspace,

since

GBI*SO(X)GBIO(X)GBO(X).
3)(X,,I ) is i) gb-space b-space ii) gbI-space bI-space iii) gbI *S space bI*S space , since
BO(X) GBO(X) , BIO(X) GBIO(X) , and BI*SO(X) GBI*SO(X) .
4)A topological space (X,,I ) is i) b-space and bT1/2 space (X,) is a gb space ii) bI space and
bIT1/2 space (X,,I ) is a gbI-space .iii) bI *S space and bI *S T1/2 space (X,,I ) is gbI*S T1/2
space .

Page 77

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

For, i)If (X,) is a b-space and bT1/2 space = BO(X) = GBO(X) . ,i)If (X,) is a bIspace and bIT1/2 space = BIO(X) = GBIO(X) . ,i)If (X,) is a bI *S -space and bI *S T1/2
space = B I*S O(X) = G I*S BO(X) .
So,we have the following diagram

gb space

gbI-space gbI*S-space

b-space

bI-spac bI*S-space

Theorem 4.17: If (X,) is a gb-space then GBI*SO(X) = GBIO(X) = GBO(X) = BI*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)=

Proof: In a gb-space, GBO(X) = . Since every gb-space is a b-space, for any ideal I on X
BI*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) = . and BO(X) GBO(X)= .Hence the proof follows.

Theorem 4.18 : If (X,) is a gbI-space then GBI *SO(X) = GBIO(X) = BI*SO(X) = BIO(X) =
PI*SO(X) = PIO(X) = SI*SO(X) = SIO(X) = I*SO(X) = IO(X) = .
Proof : In a gbI-space , GBIO(X) = .Since every gbI-space is a bI-space , BI*SO(X) =
BIO(X) = PI*SO(X) = PIO(X) = SI*SO(X) = SIO(X) = I*SO(X) = IO(X) = . and BIO(X)
GBIO(X)= . Hence the proof follows.

Theorem 4.19 : If (X,) is a gbI *S-space then GBI *SO(X) = BI *SO(X) = PI*SO(X) = SI*SO(X) =
I*SO(X) = .

Page 78

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 :In a gbI *S-space , GBI*SO(X) = . Since every gbI *S space is a bI *S -space ,
BI*SO(X) = PI*SO(X) = SI*SO(X) = I*SO(X) = . and BI

*S

O(X) GBI

*S

O(X)= . Hence the

proof follows.

Theorem 4.20 : ( Decomposition of gbI*S-continuous function in a gb -space)

Let f : ( X , , I ) ( Y , ) be a function and let ( X , , I ) be gb-space then the following are
equivalent :
1) f is continuous 2)f is gbI-continuous 3) f is gbI*S-continuous 4) f is gb-continuous
5)f is bI-continuous 6) f is bI *S-continuous 7) f is b-continuous
8) f is pre-I-continuous 9) f is pre-I*S-continuous 10) f is pre continuous
11) f is semi-I-continuous 12) f is semi-I*S-continuous 13) f is semi-continuous
14) f is I-continuous 15) f is I-continuous 16) f is -continuous
proof :It follows from Theorem 4.17:
Theorem 4.21: (Decomposition of gbJ*S-open function in a gb -space)
Let f : ( X,,I) (Y,, J) be a function and let (Y,, J) be gb-space then the following are
equivalent:
1) f is open 2) f is gbJ-open 3) f is gbJ*S-open 4) f is gbJ-open 5) f is gbJ*S-open 6) f is pre-open 7) f
is pre-J-open 8) f is pre-J*S-open9) f is semi-open 10) f is semi-J-open 11) f is semi-J*S-open12) f is
-open 13) f is J-open 14) f is J*S-open
Proof:follows from theorem4.17
Theorem 4.22:( Decomposition of gbI*S-continuous function in a gbI -space)
Let f : ( X , , I) ) ( Y , ) be a function and let ( X , , I) ) be gbI-space then the
following are equivalent :

Page 79

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) f is continuous 2)f is gbI-continuous 3) f is gbI *S-continuous 4)f is bI-continuous 5) f is

bI*S-continuous 6) f is pre-I-continuous 7) f is pre-I*S-continuous 8) f is semi-I-continuous
9) f is semi-I*S-continuous 10) f is I-continuous 11) f is I-continuous
Proof :Proof follows from theorem 4.18 .
Theorem 4.23: (Decomposition of gbI*S-open function in a gbI -space)
Let f:(X,,I)(Y,,J)be a function and let (Y,,J) be a gbI-space then the following are
equivalent (1) f is open (2) f is gbJ-open (3) f is gbJ*S-open (4) f is bJ-open (5) f is bJ*S-open
(6) f is pre-J-open (7) f is pre-J*S-open (8) f is semi-J-open (9) f is semi-J*S-open (10) f is Jopen (11) f is J*S-open
Proof :Proof follows from theorem 4.18.
Corollary 4.24: (Decomposition of gbI*S-continuous function in a gbI*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 gbI *S-continuous 3)f is bI*S-continuous
4)f is pre-I*S-continuous 5)f is semi-I*S-continuous

6)f is I*S -continuous

Proof :It follows from Theorem 4.19

Theorem 4.25: (Decomposition of gbJ*S-open function in a gbJ*S -space)
Let f : ( X,,I) (Y,, J) be a function and let (Y,, J) be bJ*S-open then the following are
equivalent:
(1)f is open (2)f is gbJ*S- open (3)f is bJ*S- open (4) f is pre-J*S-open (5)f is semi-J*S-open (6)f is
J*S-open
Proof :It follows from Theorem 4.19

Page 80

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,Bulletin of the
Malaysian Mathematical Sciences Society,(2) 32(1)(2009),19-30
[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,

http://arxiv.org/abs/math.GN/99010107.
[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.

Page 81

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

[10] E.Hayashi, Topologies defined by local properties , Mathematische Annalen, vol.156,pp. 205215, 1964.
[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,Generalized closed sets in topology,Rend.Circ.Mat.Palermo(2)19 (1970)89-96
[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.961-970.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] Ponnuthai Selvarani.S.,Shalini Tharanya. J, Sujipriya.ADecomposition of bI*S-Continuity in
Ideal topological Spaces-Submitted

Page 82