On Strongly - J - Continuous Functions: 2. Preliminaries

International Journal of Statistika and Mathematika, ISSN: 2277- 2790 E-ISSN: 2249-8605, Volume 3, Issue 1, 2012 pp 06-11
International Journal of Statistiika and Mathematika, ISSN: 2277- 2790 E-ISSN: 2249-8605, Volume 3 Issue 1 Page 6
On Strongly
(m, n)
- J - continuous functions
D.Sasikala
1
, I.Arockiarani
2
1
Department of Mathematics with Computer Applications, Nirmala College for Women, Coimbatore, (TN) INDIA
2
Department of Mathematics, Nirmala College for Women,Coimbatore, (TN)INDIA
Corresponding Address:
[email protected]
Research Article

Abstract: In this paper, we introduce the concept of
(m. n)
- J-
closed sets in bigeneralized topological spaces and study some of
their properties. The notion of Jg
(m, n)
- continuous functions and
strongly
(m. n)
- J- closed set is also defined on bigeneralized
topological spaces and investigate some of their characterizations.
Mathematics Subject Classification: 54A05, 54A10
Keywords: bigeneralized topological spaces,
(m.n)
-J-closed sets,

Jg
(m,n)
- continuous functions,
(m, n)
J
s
closed set.
1. Introduction

.Csszr [3] introduced the concepts of
generalized neighborhood systems and he also
introduced the concepts of continuous functions and
associated interior and closure operators on generalized
neighborhood systems and generalized topological
spaces. In particular, he investigated characterizations
for generalized continuous functions (= (g,g
)-
continuous functions). In [4], he introduced and
studied the notions of g- o - open sets, g - semi-open
sets, g pre open sets and g - | open sets in
generalized topological spaces.
After the introduction of the concept of
generalized closed set by Levine[9] in a topological
spaces. Several other authors gave their ideas to the
generalizations of various concepts in topology.
Kelly[8] introduced the concept of bitopological spaces
.Since many mathematicians generalized the
topological concepts into bitopological setting. In
1986, Fukutake [7] generalized the notion to
bitopological spaces and he defined a set ij-generalized
closed set. Some new types of generalized closed sets
in bitopological spaces were introduced. In this paper,
we introduce the notion of
m, n
- J - closed sets in
bigeneralized topological spaces and study some of
their properties. We also introduce the concept of
strongly
m, n
- J - closed sets and strongly
m, n
- J -
continuous functions and investigate some of their
characterizations.

2. Preliminaries

Let X be a non empty set and be a
collection of subsets of X. Then is called a
generalized topology (briefly GT) on X iff | e and
G
i
e for i e I = | implies G =

.We call
the pair (X,), a generalized topological space(briefly
GTS)on X. The elements of are called - open sets
and the complements are called - closed sets. The
generalized closure of a subset S of X, denoted by
c
(S), is the intersection of generalized closed sets

including S and the interior of S, denoted by i
(S), is
the union of generalized open sets contained in S.
Definitions 2.1. Let (X, ) be a generalized topological
space and A _ X, then A is said to be
(1) - semi open if A _ c

(i

(A))
(2) - pre open if A _ i
(

c
(A))
(3) - o- open if A _ i
(

c

(i

(A)))
(4) - | open if A _ c

(i

(c
(A)))
The complement of - semi open (resp - pre open ,
- o- open, - | open) is said to be - semi closed
(resp - pre closed , - o- closed, - | closed). The
class of all - semi open sets on X is denoted by
o(
x
)(briefly o
x
or o). The class of - pre open ( -
o- open and - | open) sets on X as [t(gx), o(gx),
|(gx) ] or briefly [[t, o, |].
Definition 2.3. [2] Let X be non-empty set and let
1

and
2
be generalized topologies on X. A triple (X,
1
,
2
) is said to be a bigeneralized topological space
(briefly BGTS).
Let (X,
1
,
2
) be a bigeneralized topological space and
A be a subset of X. The closure of A and the interior of
A with respect to
m
are denoted by c
m
(A) and i
m
(A),
respectively, for m = 1,2.
Definition 2.4. [10]Let (X, ) be a generalized
topological space and A _ X, then A is said to be -
D. Sasikala, I. Arokiarani
Copyright 2012, Statperson Publications, Iinternational Journal of Statistika and Mathematika, ISSN: 2277- 2790 E-ISSN: 2249-8605, Volume 3 Issue 1 2012
J- open if A _ i

(c

(A)). The complement of - J-
open is said to be - J- closed.
The class of all - J - open sets on X is denoted by
JO(X). The class of all - J - closed sets on X is
denoted by JC(X).The - J- closure of a subset S
of X, denoted by c
J
(S) is the intersection of - J-
closed sets including S. The - J- interior of a subset
S of X, denoted by i
J
(S) is the union of - J- open
sets contained in S.
The class of all - J - open sets is properly placed
between - open sets and - pre open sets.

3.
(m, n)
- J- closed sets

Definition 3.1. A Subset A of a bigeneralized
topological space (X,
1
,
2
) is said to be
(m, n)
J -
closed set if c
n
(A) _ U, whenever A _ U and U is
m

J- open, where m, n = 1,2 and m=n. The complement
of
(m, n)
J - closed set is said to be
(m, n)
J-open set.
Remark 3.2. Every (m, n) - closed set is
(m, n)
J -
closed.
The converse is not true as can be seen from the
following example.
Example 3.3. Let X = {a, b, c}. Consider two
generalized topologies
1
= {|,{a},{a, b}, X}, and
2

= {|,{c},{b, c}},.Let A = {a, b}, then A is
(m, n)
J-
closed but not (m, n) - closed.
Proposition 3.4. Every
(m, n)
closed set is
(m, n)
J-
closed.
Proof: Let U be a
m
J- open set such that A _ U.
Since A is
(m, n)
closed set, c
n
(A) _ U. Therefore A
is
(m, n)
J- closed.

Proposition 3.5. Let (X,
1
,
2
) be a bigeneralized
topological space and A be a subset of X. If A is
n

closed, then A is
(m, n)
J- closed, where m, n = 1, 2
and m = n.

Remark 3.6.(i) The union of two
(m, n)
J - closed
need not be
(m, n)
J- closed.
(ii) The intersection of two
(m, n)
J-
closed sets need not be
(m, n)
J closed.

1
,
2
topological space. If A is
(m, n)
J - closed and F is (m,
n) J- closed, then A F is
(m, n)
J closed, where
m, n = 1, 2 and m = n.
Proof: Let U be a
m
J- open set such that A F _
U. Then A _ U (X - F) and so c
n
(A) _ U (X
- F).Therefore c
n
(A) F _ U .Since F is (m, n) J-
closed, c
n
(A F) _ c
n
(A) c
n
(F) _ U . Hence
A F is
(m, n)
J closed.

Proposition 3.8. For each element x of a bigeneralized
1
,
2
), {x} is
m
- J- closed or
X {x} is
(m, n)
- J - closed, where m, n = 1, 2 and m =
n.
Proof: Let x e X and the singleton {x} be not
m
J-
closed. Then X {x} is not
m
J- open, if X e
m
,
then X is only
m
J- open set which contains X {x},
hence X {x} is
(m, n)
J- closed and if X e
m
, then
X {x} is
(m, n)
J closed.
1
,
2
topological space. Let A _ X be a
(m, n)
J - closed
subset of X, then c
n
(A) \ A does not contain any non-
empty
m
- J- closed set, where m, n = 1, 2 and m = n.
Proof: Let A be a
(m, n)
J - closed set and F = | is
m

J- closed such that F _ c
n
(A) \ A. Then F _ X \ A
and hence A _ X \ F. Since A is
(m, n)
J- closed, c
n

(A) _ X \ F and hence F _ X \ c
n
(A) .So, F _ c
n
(A)
(X \ c
n
(A)) = |.Therefore c
n
(A) \ A does not
contain any nonempty
m
- J- closed set.

Proposition 3.10. Let
1
and
2
be generalized
topologies on X. If A is
(m, n)
- J- closed set, then c
m
({x}) A = | holds for each x e c
n
(A), where m, n
= 1, 2 and m = n.
Proof: Let x e c
n
(A). Suppose that c
m
({x}) A =
|. Then A _ X - c
m
({x}). Since A is
(m, n)
J
closed and X - c
m
({x}) is
m
J- open. Thus c
n
(A)
_ X - c
m
({x}). Hence c
n
(A) c
m
({x}) = |. This is
a contradiction.

Proposition 3.11. If A is a
(m, n)
J - closed set of
(X,
1
,
2
) such that A _ B _ c
n
(A) then B is
(m, n)

J - closed set, where m, n = 1, 2 and m = n.
Proof: Let A be a
(m, n)
J- closed set and A _ B _
c
n
(A). Let B _ U and U is
m
J-open. Then A _ U.
Since A is
(m, n)
J closed, we have c
n
(A) _ U.
Since B _ c
n
(A), then c
n
(B) _ c
n
(A) _ U. Hence
B is
(m, n)
J closed.
Remark.3.12.
(1,2)
JC(X) is generally not equal to
(2,1)
JC(X) as can be seen from the following
example.
Example 3.13. Let X = {a, b, c}. Consider two
generalized topologies
1
= {|, {a}, {a, b}, X} and
2

= {|, {c}, {b, c}}.Then
(1,2)
JC(X) = {{a}, {b},{a,
b}, {b, c},X} and
(2,1)
JC(X) = {{b}, {c},{a, b}, {b,
c},|, X }. Thus
(1,2)
JC(X) =
(2,1)
JC(X).

Proposition 3.14. Let
1
and
2
be generalized
topologies on X. if
1
_
2
, then
(2,1)
JC(X) _
(1,2)
JC(X)
Proposition 3.15. For a bigeneralized topological
space (X,
1
,
2
),
m
- JO(X) _
n
- JC(X)
if and only if every subset of X is
(m, n)
- J - closed
set, where m, n = 1, 2 and m = n.
Proof: Suppose that
m
- JO(X) _
n
- JC(X). Let A
be a subset of X such that A _ U, where U e
m
-
JO(X). Then c
n
(U) _ c
n
(A) = U and hence A is
(m,
n)
J closed set.
Conversely, suppose that every subset of X is
(m, n)
J
closed. Let U e
m
- JO(X).Since U is
(m, n)
J
closed, we have c
n
(U) _ U. Therefore, U e
n
-
JC(X) and hence
m
- jO(X) _
n
- JC(X).
1
,
2
(m, n)
J - closed
subset of (X,
1
,
2
). Then A is
m
- J- closed if and
only if c
n
(A) \ A is
m
- J- closed, where m, n = 1, 2
and m = n.
Proof: Let A be a
(m, n)
J- closed set. If A is
m
J-
closed, then c
n
(A) \ A = |, but | is
m
J- closed .
Therefore c
n
(A) \ A is
m
- J- closed.
Conversely, Suppose that c
n
(A) \ A is
m
- J- closed,
As A is
(m, n)
J closed, c
n
(A) \ A = |,
Consequently c
n
(A) = A.
1
,
2
topological space. If A is
(m, n)
J - closed and A _ B
_ c
n
(A), then c
n
(B) \ B has no non empty
m
- J-
closed subset.
Proof: A _ B implies X B _ X A and B _ c
n
(B)
implies c
n
((c
n
(A)) = c
n
(A).Thus c
n
(B) (X - B) _
c
n
(A) (X -A) which yields c
n
(B) / B _ c
n
(A) / A.
As A is
(m, n)
J closed, c
n
(A) \ A has no non
empty
m
J- closed subset. Therefore c
n
(B) \ B has
no non empty
m
- J- closed subset.
Remark 3.18.(i) The intersection of two
(m, n)
J-
open sets need not be
(m, n)
J- open
(ii) The union of two
(m, n)
J- open
sets need not be
(m, n)
J open.

Proposition 3.19. A subset of a bigeneralized
1
,
2
) is
(m, n)
- J - open iff
every subset of F of X, F _ i
n
(A) whenever F is
m

J- closed and F _ A, where m, n = 1, 2 and m = n.
Proof: Let A be a
m, n
J- open. Let F _ A and F is
m
J-closed. Then X A _ X F and X F is
m
J-
open, we have X A is
(m, n)
J closed, then c
n
(X -
A) _ X - F. Thus X - i
n
(A) _ X F and hence F _
i
n
(A).
Conversely, let F _ i
n
(A) where F is a
m
J- closed
set such that F _ A. Let X - A _ U where U is a
m
J-
open. Then X - U _ A and X - U is
m
J- closed. By
the assumption, X - U _ i
n
(A), then X - i
n
(A) _
U. Therefore, c
n
(X - A) _ U. Hence X - A is
(m, n)
- J
- closed and hence A is
(m, n)
-J - open.
Proposition 3.20. Let A and B be subsets of a
bigeneralized topological space(X,
1
,
2
) such that i
n

(A) _ B _ A. If A is
(m, n)
- J - open then B is also
(m,
n)
- J- open, where m, n = 1, 2 and m = n.
Proof: Suppose that i
n
(A) _ B _ A. Let F be a
m

J- closed set such that F _ B. Since A is
(m, n)
- J -
open, F _ i
n
. Since i
n
_ B, we have i
n
(i
n
(A)) _
i
n
(B). Consequently i
n
(A) _ i
n
(B). Hence F _ i
n
(B).
Therefore, B is
(m, n)
- J -open.

Proposition 3.21. If A be a subset of a bigeneralized
1
,
2
) is
(m ,n)
- J- closed , then
c
n
(A) - A is
m, n
J open, where m, n = 1, 2 and m
= n.
Proof: Suppose that A is
m, n
J closed. Let X
(c
n
(A) - A) _ U and U is
m
J- open. Then X U _
X (c
n
(A) - A) and X U is
m
J- closed. Thus we
have c
n
(A) - A does not contain non empty
m
J-
closed by Proposition 3.10 . Consequently, X U = |,
then U = X. Therefore, c
n
(X- ( c
n
(A) A)) _ U, so
we obtain X (c
n
(A) A) is
m, n
J- closed. Hence
c
n
(A) - A is
m, n
- J - open.

4. Jg
(m, n)
- continuous functions
Definition 4.1. Let (X,
X
1
,
X
2
) and (Y,
Y
1
,
Y
2
) be
generalized topological spaces. A function f: (X,
X
1
,
X
2
) (Y,
Y
1
,
Y
2
) is said to be (m, n) - J- generalized
continuous (briefly Jg
(m, n)
- continuous) if f
-1
(F) is
(m,
n)
- J-closed in X for every
n
- closed F of Y, where m,
n = 1,2 and m= n.
A function f: (X,
X
1
,
X
2
) (Y,
Y
1
,
Y
2
) is
said to be pairwise J-generalized continuous(briefly
pairwise Jg-continuous) if f is Jg
(1,2)
-continuous and
Jg
(2,1)
-continuous.

Proposition 4.2. For an injective function f: (X,
X
1
,
X
2
) (Y,
Y
1
,
Y
2
), the following properties are
equivalent:
(1) f is Jg
(m, n)
- continuous,
(2) For each x e X and for every
n
- open set V
containing f(x), there exists a
(m, n)
-J-open set
U containing x such that f(U) _ V:
(3) f(

(A)) _

(f(A)) for every subset A of
X;
(4)

(f
-1
(B)) _ f
-1
(

(B) for every subset B of
Y.
Proof: (1) (2): Let x e X and V be a
n
-open subset
of Y containing f(x). Then by (1), f
-1
(V) is
(m,
n)
-J-open of X containing x. If U = f
-1
(V), then f (U) _
V.

(2)(3): Let A be a subset of X and f(x) e (

(f(A)).
Then, there exists a
n
open subset V of Y containing
f(x) such that V f(A) = |.Then by(2), there exist a
(m, n)
-J-open set such that f(x) e f(U) _ V. Hence,
f(U) f(A) = | implies U A = |. Consequently, x e
() and f(x) e f (
(A)).
(3) (4): Let B be a subset of Y. By (3) we obtain
f(
(f
-1
(B)) _
(f(f
-1
(B)). Thus
(f
-1
(B)) _
f
-1
(
(B)).

(4) (1): Let F be a
n
closed subset of Y. Let U
be a
m
J- open subset of X such that f
-1
(F) _
U. Since
(F) = F and by (4),
(f
-1
(F)) _ U.
Hence f is Jg
(m, n)
continuous.
X
1
,
X
2
) (Y,
Y
1
,
Y
2
) be
X
1
,
X
2
) (Y,
Y
1
,
Y
2
) is said to be Jg
m
- continuous if f
-
1
(F) is
m
J-closed in X for every
m
closed F of Y,
for m = 1,2.
X
1
,
X
2
) (Y,
Y
1
,
Y
2
) be
X
1
,
X
2
) (Y,
Y
1
,
Y
2
) is said to be Jg
m
- closed(resp. Jg
m
-
open) if f(F) is
m
J-closed(resp
m
J- open) of Y for
every
m
closed (resp.
m
open) F of X, for m =
1,2.
Proposition 4.5. If f: (X,
X
1
,
X
2
) (Y,
Y
1
,
Y
2
) is
Jg
m
- continuous and Jg
m
- closed , then f(A) is
(m, n)
-
J-closed subset of Y for every
(m, n)
- J-closed subset A
of X, where m, n = 1,2 and m= n.
Proof: Let U be
m
J- open subset of Y such that f
(A) _ U. Then A _ f
-1
(U) and f
-1
(U) is
m
J-open
subset of X. Since A is
(m, n)
- J-closed,
(f(A)) _ f
-
1
(U) and hence f(
(A)) _ U. Therefore we have
(f(A)) _
(f(
(A))) = f(
(A)) _ U. Therefore,
f(A) is
(m, n)
- J-closed subset of Y.
Lemma 4.6. If f: (X,
X
1
,
X
2
) (Y,
Y
1
,
Y
2
) is Jg
m
closed, then for each subset S of Y and each
m
J-
open subset U of X containing f
-1
(S), there exists a
m

J- open subset V of Y such that f
-1
(V) _ U.

X
1
,
X
2
) (Y,
Y
1
,
Y
2
) is
injective, Jg
m
-closed and Jg
(m ,n)
-continuous, then f
-1
(B)
is
(m, n)
- J-closed subset of X for every
(m, n)
- J-
closed subset of B of Y, where m, n = 1,2 and m= n.
Proof: Let B be a
(m, n)
- J-closed subset of Y. Let U
be a
m
J- open subset of X such that f
-1
(B) _ U.
Since f is Jg
m
-closed and by lemma 4.6, there exists a
m
J- open subset of Y such that B _ V and f
-1
(V) _
U. Since B is
(m, n)
- J-closed set and B _ V, then
(B) _ V. Consequently, f
-1
(
(B)) _ f
-1
(V) _ U.
By theorem 4.2,
(f
-1
(B)) _ f
-1
(
(B) _U and hence

f
-1
(B) is
(m, n)
- J-closed subset of X.

Definition 4.8. A bigeneralized topological space
(X,
X
1
,
X
2
) is said to be
(m, n)
JT
1/2
space if, for
every
(m, n)
- J-closed set is
n
closed, where m, n =
1,2 and m= n.

Definition 4.9. A bigeneralized topological space
(X,
X
1
,
X
2
) is said to be pairwise JT
1/2
space if it
is both
(1, 2)
JT
1/2
space and
(2, 1)
J
1/2
space.

Proposition 4.10. A bigeneralized topological space is
a
(m, n)
- JT
1/2
-space if and only if {x} is
n
- open or
m
J-closed for each x e X, where m, n = 1,2 and m=
n.
Proof: Suppose that {x} is not
m
J- closed. Then X
{x} is
(m, n)
-J-closed by proposition 3.9. Since X is
(1, 2)
-T
1/2
-space, X {x} is
n
-closed. Hence, {x} is
n

- open.

Conversely, let F be a
(m, n)
- J-closed set. By
assumption , {x} is
n
- open or
m
J- closed for any x
e c
n
(F).Case (i) Suppose that {x}is
n
- open. Since
{x} F= |, we have x e F. Case (ii) Suppose that {x}
is
m
J-closed. If x e F, then {x} _ c
n
(F) F, which
is a contradiction to proposition 3.9, Therefore, x e F.
Thus in both case, we conclude that F is
n
- closed.
Hence, (X,
X
1
,
X
2
) is a
(m, n)
-JT
1/2
-space.

X
1
,
X
2
) and (Y,
Y
1
,
Y
2
) be
X
1
,
X
2
)
(Y,
Y
1
,
Y
2
) is said to be Jg
(m, n)
- irresolute if f
-1
(F) is
(m, n)
-J- closed in X for every
(m, n)
J-closed F of Y,
where m, n = 1,2 and m= n.

Proposition 4.12. Let f: (X,
X
1
,
X
2
) (Y,
Y
1
,
Y
2
) and
g: (Y,
Y
1
,
Y
2
) (Z,
Z
1
,
Z
2
) be functions, the following
properties hold:
(i) If f is Jg
(m, n)
- irresolute and Jg
(m, n)
-
continuous, then g f is Jg
(m, n) -
continuous.
(ii) If f and g are Jg
(m, n)
- irresolute , then g
f is Jg
(m, n)
- irresolute;
(iii) Let (Y,
Y
1
,
Y
2
) be a
(m, n)
-JT
1/2
-
space. If f and g are Jg
(m, n)
-continuous,
then g f is Jg
(m, n)
-continuous.
Proof: (i) Let F be a
n
-closed subset of Z. Since g is Jg
(m, n)
- continuous, then g
-1
(F) is
(m, n)
-J-closed subset of
Y. Since f is Jg
(m, n)
- irresolute, then (g f)
-1
(F) = f
-1
(g
-
1
(F)) is
(m, n)
-J-closed subset of X. Hence g f is Jg
(m,
n) -
continuous.
(ii) Let F be a
(m, n)
-J- closed subset of Z. Since g is Jg
(m, n)
- irresolute, then g
-1
(F) is
(m, n)
-J-closed subset of
Y. Since f is Jg
(m, n)
- irresolute, then (g f)
-1
(F) = f
-1
(g
-
1
(F)) is
(m, n)
J- closed subset of X. Hence, g f is Jg
(m, n)
- irresolute.
(iii) Let F be a
n
-closed subset of Z. Since g is Jg
(m, n)
-
continuous, then g
-1
(F) is
(m, n)
-J- closed subset of Y.
Since (Y,
Y
1
,
Y
2
) is a
(m, n)
-JT
1/2
-space, then g
-1
(F) is
n
-closed subset of Y. Since f is Jg
(m, n)
-continuous, then
(g f)
-1
(F) = f
-1
(g
-1
(F)) is
(m, n)
J-closed subset of X.
Hence then g f is Jg
(m, n)
-continuous.

Proposition 4.13. Let: (X,
X
1
,
X
2
) be a
(m, n)
-JT
1/2
-
space. If f: (X,
X
1
,
X
2
) (Y,
Y
1
,
Y
2
) is surjective, g
n
-
closed and Jg
(m, n)
-irresolute, then (Y,
Y
1
,
Y
2
) is a
(m,
n)
-JT
1/2
-space, where m, n = 1,2 and m= n.
Proof: Let F be a
(m, n)
-J-closed subset of Y. Since f is
Jg
(m, n)
- irresolute, we have f
-1
(F) is a
( m, n)
-J-closed
subset of X. Since (X,
X
1
,
X
2
) is a
(m, n)
-JT
1/2
-space, f

-1
(F) is a
n
-closed subset of X. It follows by assumption
that F is a
n
-closed subset of Y. Hence (Y,
Y
1
,
Y
2
) is a

(m, n)
-JT
1/2
space.

Proposition 4.14. Let: (X,
X
1
,
X
2
) be a
(m, n)
- JT
1/2

space. If f: (X,
X
1
,
X
2
) (Y,
Y
1
,
Y
2
) is bijective, g
n
-
open and Jg
(m, n)
irresolute, then (Y,
Y
1
,
Y
2
) is a
(m, n)

-JT
1/2
space, where m, n = 1,2 and m= n.

5. Strongly-
(m, n)
- J - closed sets

Definition 5.1. A subset A of a bigeneralized topological
space (X,
1
,
2
) is said to be strongly
(m, n)
J
s
- closed
set (briefly
(m, n)
J
s
- closed) if c
n
(A) _ U, whenever
A _ U and U is
(m, n)
J - open, where m, n = 1,2 and
m=n.

Definition 5.2. A subset A of a bigeneralized topological
space (X,
1
,
2
) is said to be pairwise strongly
(m, n)
P-
J
s
closed (briefly
(m, n)
P- J
s
closed)if A is
(1,2)
-J
s

closed and
(2,1)
- J
s
closed..

Proposition 5.3. Every
n
- closed set is
(m, n)
J
s

closed.
Proof: Let U be a
(m, n)
J open set such that A _ U
and A be
n
- closed set. Then c
n
(A) = A and so c
n
(A)
_ U. Thus A is
(m, n)
J
s
closed.

1
,
2
(m, n)
J
s
- closed if
and only if , then c
n
(A) \ A does not contain any non-
empty
(m,n)
- J- closed set, where m, n = 1, 2 and m = n.
Proof: Let F be a
(m, n)
J - closed subset of c
n
(A) \ A .
Now, F _ c
n
(A) \ A and A _ X \ F where A is
(m, n)
J
s
closed and X \ F is
(m, n)
J open. Thus c
n
(A) _
X \ F and hence F _ X \ c
n
(A) .So, F _ c
n
(A) (X \
c
n
(A)) = |.Therefore F = .

Conversely, assume c
n
(A) \ A contains no nonempty
(m,n)
- J- closed set. Let U be
(m,n)
- J- open such that A
_ U. Suppose that c
n
(A) is not contained in U, then c
n
(A) U
c
is a nonempty
(m, n)
- J- closed set of c
n
(A) \
A, which is a contradiction. Therefore c
n
(A) _ U and
hence A is
(m, n)
J
s
closed.

1
,
2
(m, n)
J
s
- closed and
A _ B _ c
n
(A) then B is
(m, n)
J
s
- closed set, where
m, n = 1, 2 and m = n.
Proof: Let A be a
(m, n)
J
s
- closed set and A _ B _ c
n
(A). Let B _ U and U is
(m, n)
J - open. Then A _ U.
Since A is
(m, n)
J
s
closed, we have c
n
(A) _ U. Since
B _ c
n
(A), then c
n
(B) _ c
n
(A) _ U. Hence B is
(m,
n)
J
s
closed.
Definition 5.6. A subset A of a bigeneralized space X is
called strongly
(m, n)
J
s
open if A
c
is
(m, n)
J
s

closed.

1
,
2
(m, n)
J
s
open if and
only if F _ i
n
(A) whenever F _ A and F is
(m, n)
J

closed.
Proof: Let A be
(m, n)
J
s
- open and suppose F _ A
where F is a
(m, n)
J

closed. Then X \ A is
(m, n)
J
s

closed and X \ A _ X \ F, where X \ F is
(m, n)
J

open
set. This implies that c
n
(X \ A) _ X \ F. Now c
n
(X \ A)
= X \ i
n
(A). Hence X \ i
n
(A) _ X \ F and F _ i
n
(A).
Conversely. If F is an
(m, n)
J

closed with F _ i
n
(A)
whenever F _ A. Then X \ A _ X \F and X \ i
n
(A) _ X \
F. Thus c
n
(X \ A) _ X \ F. Hence X \ A is
(m, n)
J
s
-
closed and A is
(m, n)
J
s
- open.
1
,
2
topological space. For each x e X.{x} is
(m, n)
J

closed or {x}
c
is
(m, n)
J
s
- closed.
Proof: If {x} is not
(m, n)
J

closed, then the only
(m, n)

J

open containing {x}
c
is X. Thus c
n
({x}
c
) _ X and
{x}
c
is
(m, n)
J
s
- closed.
6. On Strongly -
(m, n)
- J - continuous and
irresolute functions
X
1
,
X
2
) and (Y,
Y
1
,
Y
2
) be
X
1
,
X
2
)
(Y,
Y
1
,
Y
2
) is said to be
(m, n)
-strongly J -
continuous(briefly
(m, n)
-J
s
- continuous) if f
-1
(F) is
(m, n)
-
J
s
-closed in X for every
n
- closed F of Y, where m, n =
1,2 and m = n.

X
1
,
X
2
) and (Y,
Y
1
,
Y
2
) be
X
1
,
X
2
)
(Y,
Y
1
,
Y
2
) is said to be
(m, n)
-strongly J irresolute
(briefly
(m, n)
-J
s
- irresolute) if f
-1
(F) is
(m, n)
- J
s
-closed in
X for every
(m, n)
- J
s
-closed F of Y, where m, n = 1,2
and m = n.

Proposition 6.3. Let f: (X,
X
1
,
X
2
) (Y,
Y
1
,
Y
2
), then,
(1) (2): (2)(3): (3) (4)
(1) f is
(m, n)
-J
s
- continuous,
(2) For each x e X and for every
n
- open set V
containing f(x), there exists a
(m, n)
-J
s
-open set U
containing x such that f(U) _ V:
(3) f (
(m, n)
-J
s
c
(A)) _
n-

c
(f(A)) for every subset

A of X;
(4)
(m, n)
-J
s
c
(f
-1
(B)) _ f
-1
(
n-

c
(B)) for every

subset B of Y.
Proof: (1) (2): Let x e X and V be a
n
-open subset of
Y containing f(x). Then by (1), f
-1
(V) is
(m, n)
-J
s
-
open of X containing x. If U = f
-1
(V), then f (U) _ V.
(2)(3): Let A be a subset of X and f(x) e(
n-

c
(f(A)).
Then, there exists a
n
open subset V of Y containing
f(x) such that V f(A) = |.Then by(2), there exist a
(m,
n)
-J
s
-open set such that f(x) e f(U) _ V. Hence, f(U)
f(A) = | and U A = |. Consequently, x e
(m, n)
-J
s

c
(A) and f(x) e f (

(m, n)
-J
s
c
(A)).
(3) (4): Let B be a subset of Y and A = f
-1
(B). By (3)
we obtain f(
(m, n)
- J
s
c
(f
-1
(B))) _
n
- c
(f(f
-1
(B))) _
n
- c
(B).Thus
(m, n)
-J
s
c
(f
-1
(B)) _ f
-1
(
n-

c
(B)).
X
1
,
X
2
) (Y,
Y
1
,
Y
2
) and g:
(Y,
Y
1
,
Y
2
) (Z,
Z
1
,
Z
2
) be two functions, then the
following will hold
(i) If g is
n
continuous and f is
(m, n)
-J
s

continuous, then gf is
(m, n)
-J
s
continuous.
(ii) If g is
(m, n)
- J
s
irresolute and f is
(m, n)
-J
s

irresolute, then gf is
(m, n)
-J
s
irresolute.
(iii) If g is
(m, n)
- J
s
continuous and f is
(m, n)
-
J
s
irresolute, then gf is
(m, n)
-J
s

continuous.
Proof: obvious
References:
[1] H.S.Al-Saadi and A.H.Zakari,On Some separation
axioms and Strongly Generalized closed sets in
Bitopological spaces, Int.Mat.Forum,3,(2008),1039-1054.
[2] C. Boonpok, Weakly open functions on bigeneralized
topological spaces, Int. J. of Math. Analysis, 15
(5)(2010). 891 897.
[3] A. Csaszar, Generalized open sets, Acta Math. Hungar.,
75(1-2)(1997), 65-87.
[4] A. Csaszar, Generalized topology, generalized continuity,
Acta Math. Hungar., 96(2002), 351- 357.
[5] A. Csaszar, Generalized open sets in generalized
topologies, Acta Math. Hungar., 106(2005), 53- 66.
[6] A. Csaszar, Modifications of generalized topologies via
hereditary spaces, Acta Math. Hungar., 115(2007),
29- 36.
[7] T. Fukutake, On generalized closed sets in bitopological
spaces, Bull. Fukoka Univ. Ed. Part III, 35(1985), 19-28.
[8] J.C.Kelly, Bitopological Spaces, Pro, London Math, Soc.,
3(13) (1969), 71-79.
[9] N.Levine: Generalized closed sets in topology, Rend,
Circ.Mat. Palermo ,19 (1970) ,89-96 .
[10] D.Sasikala and I.Arockiarani,
o
- J- Closed sets in
Generalized Topological Spaces, IJST,. 1 (2)., (2011),
200-210.
[11] W.K.Min, Some results on Generalized topological
spaces, Acta Math. Hungar., 108(1-2) (2005), 171-181.
[12] W.K.Min, Weak continuity on Generalized topological
spaces, Acta Math. Hungar., 124 (1-2)(2009), 73-81.
[13] W.K.Min, Almost continuity on generalized topological
spaces, Acta Math. Hungar., 125 (2009), 121-125.

On Strongly - J - Continuous Functions: 2. Preliminaries

Uploaded by

Copyright:

Available Formats

On Strongly - J - Continuous Functions: 2. Preliminaries

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

On Strongly - J - Continuous Functions: 2. Preliminaries

Uploaded by

Copyright:

Available Formats

International Journal of Statistika and Mathematika, ISSN: 2277- 2790 E-ISSN: 2249-8605, Volume 3, Issue 1, 2012 pp 06-11

(S), is the intersection of generalized closed sets

(F) = F and by (4),

(A)) _ U. Therefore we have

(B) _U and hence

(f(A)) for every subset

(B)) for every

(A) and f(x) e f (

You might also like