 Open Access
 Total Downloads : 6
 Authors : M. Jeyaraman, J. Rajalakshmi, R. Muthuraj
 Paper ID : IJERTCONV3IS33006
 Volume & Issue : RACMS – 2015 (Volume 3 – Issue 33)
 Published (First Online): 24042018
 ISSN (Online) : 22780181
 Publisher Name : IJERT
 License: This work is licensed under a Creative Commons Attribution 4.0 International License
New Types of Fuzzy Topological Maps
M. Jeyaraman,
Department of Mathematics,
Raja Durai singam Govt .Arts College, Sivagangai, Tamil Nadu. India,
S. Vijayalakshmi
Department of Mathematics,
St. Michael College of Engg & Tech, Kalaiyarkovil, Sivagangai District, Tamil Nadu. India,
R. Muthuraj,
Department of Mathematics,
H. H. The Rajahs College, Pudukottai District, Tamil Nadu, India,
Abstract–In this paper, we introduce fuzzy g closed map and fuzzy g open map from a fuzzy topological space X to a fuzzy
topological space Y. We also obtain some properties of fuzzy g – closed and open maps.
Key words and Phrases: Fuzzy Topological space, fuzzy g closed map, fuzzy g *closed map and fuzzy g open map, fuzzy g * open map.

INTRODUCTION
In the classical paper [19] of 1965, L. A. Zadeh generalized the usual notion of a set by introducing the important and useful notion of fuzzy sets. Subsequently many researchers have worked on various basic concepts from general topology using fuzzy sets and developed the theory of fuzzy topological spaces. The notion of fuzzy sets naturally plays a very significant role in the study of fuzzy topology introduced by C. L. Chang [5].
Fuzzy continuous functions is one of the main topics in fuzzy topology. Various authors introduce various types of fuzzy continuity. The decomposition of fuzzy continuity is one of the many problems in fuzzy topology. Tong [16] obtained a decomposition of fuzzy continuity by introducing two weak notions of fuzzy continuity namely, fuzzy strong semicontinuity and fuzzy precontinuity. Rajamani [9] obtained a decomposition of fuzzy continuity.
In this section, we introduce fuzzy g closed maps, fuzzy
g open maps, fuzzy g *closed maps and fuzzy g *open maps in fuzzy topological spaces and obtain certain characterizations of these maps.

PRELIMINARIES
Throughout this paper, (X, ), (Y, ) and (Z, ) (or X, Y and
Z) represent fuzzy topological spaces on which no separation axioms are assumed unless otherwise mentioned. For any fuzzy subset A of a space (X, ), the closure of A, the interior of A and the complement of A are denoted by cl(A), int(A) and A respectively.
We recall the following definitions which are useful in the sequel.
Definition 2.1 [14, 19]
If X is a set, then any function A: [0,1] (from X to the closed unit interval [0,1]) is called a fuzzy set in X. Definition 2.2 [9]
If X is a set, then A, B : X [0,1] are fuzzy sets in X.

The complement of a fuzzy set A, denoted by A, is defined by A(x) =1A(x), for all x X.

Union of two fuzzy sets A and B, denoted by A B, is defined by
(A B)(x) = max {A(x), B(x)}, for all x X.

Intersection of two fuzzy sets A and B, denoted by A B, is defined by
(A B)(x) = min {A(x), B(x)}, for all x X.
Definition 2.3 [14]
Let A be a fuzzy set in a fts (X, ). Then,

the closure of A, denoted by cl(A), is defined by cl(A) = { F: A F and F is a fuzzy closed };

the interior of A, denoted by int(A), is defined by int(A) = {G: G A and G is a fuzzy open}
Definition 2.4
A fuzzy subset A of a space (X, ) is called: fuzzy semiopen set [1] if A cl(int(A))
The complement of fuzzy semiopen set is fuzzy semiclosed.
The fuzzy semiclosure [18] of a fuzzy subset A of X, denoted by scl(A), is defined to be the intersection of all fuzzy semiclosed sets of (X, ) containing A. It is known that scl(A) is a fuzzy semiclosed set.
Definition 2.5
A fuzzy subset A of a space (X, ) is called:

a fuzzy generalized closed (briefly fgclosed) set [2] if cl(A) U whenever A U and U is fuzzy open in (X, ). The complement of fgclosed set is called fgopen set;

a fuzzy closed set ( = f closed set )[13] if cl(A) U whenever A U and U is fuzzy semiopen in (X,
). The complement of fuzzy closed set is called fuzzy
open set;

a fuzzy semigeneralized closed (briefly fsgclosed) set [3] if scl(A) U whenever A U and U is fuzzy semi open in (X, ). The complement of fsgclosed set is called fsgopen set;

a generalized fuzzy semiclosed (briefly fgsclosed) set [11] if scl(A) U whenever A U and U is open in (X,
). The complement of fgsclosed set is called fgsopen set;

a fuzzy g closed set [7] if cl(A) U whenever A U and U is fsgopen in (X, ). The complement of fuzzy g – closed set is called fuzzy g open set;

a fuzzy sg*closed set [7] if scl(A) U whenever A
U and U is fsgopen in (X, ). The complement of fsg* closed set is called fsg*open set.
The collection of all fuzzy g closed sets is denoted by FG C(X).
Remark 2.6[7]
Every fuzzy closed set is fuzzy g closed set but not conversely.
Lemma 2.7[5]
Let f : (X, ) (Y, ) be a fuzzy function. For fuzzy sets A and B of X and Y respectively, the following statements hold:

ff1(B) B;

f1f(A) A;



FUZZY g INTERIOR AND FUZZY g CLOSURE
Definition 3.1

For any fuzzy set A of X, fuzzy g int(A) is defined as the union of all fuzzy g open sets contained in A.
i.e., f g int(A) ={G : G A and G is fuzzy g open}.

For every fuzzy set A of X, we define the fuzzy g – closure of A to be the intersection of all fuzzy g closed sets containing A.
In symbols, f g cl(A) = {F : A F FG C(X)}.
Definition 3.2
Let (X, ) be a fuzzy topological space. Let G be a fuzzy subset of X. Then G is called an fuzzy g neighborhood of A
(briefly, f g nbhd of A) iff there exists an f g open set U of X such that A< U < G.
Definition 3.3
A fuzzy topological space (X, ) is called a

T f space if every f closed set in it is fuzzy closed.

T f g space if every f g closed set in it is fuzzy closed.
Example 3.4
Let X = {a, b} with = {0 , , 1 } where is fuzzy set in X
x x

f(A) (f(A)); (iv) f1(B) = (f1(B));

if f is injective, then f1 (f(A)) = A;

if f is surjective, then f f1(B) = B;

if f is bijective, then f(A) = (f(A)).
Definition 2.8
A fuzzy function f : (X, ) (Y, ) is called

fuzzy closed [5] if the image of every fuzzy closed set of X is a fuzzy closed in Y.

fuzzy open [5] if the image of every fuzzy open set of X is a fuzzy open in Y.

fuzzy continuous [5] if the inverse image of every
fuzzy open set in (Y, ) is fuzzy open set in (X, ).

fuzzy continuous [13] if the inverse image of every fuzzy close Set in (Y, ) is f closed set in (X, ).
defined by (a)=0.4, (b)=0.5 . Then (X, ) is a fuzzy topological space. Clearly (X, ) is a T f space.
Example 3.5
Let X = {a, b} with = {0x, , 1x} where is fuzzy set in X defined by (a)=0.5, (b)=0.5 .Then (X, ) is a fuzzy topological space. Clearly (X, ) is a T f g space.
Definition 3.6
A fuzzy map f : (X, ) (Y, ) is called

fuzzy f g continuous[8] if the inverse image of every fuzzy closed set in (Y, ) is f g closed in (X, ).

fuzzy f g irresolute if the inverse image of every f g closed set in (Y, ) is f g closed in (X, ).

strongy fuzzy f g continuous if the inverse image of every f g open set in (Y, ) is fuzzy open in (X, ).

fuzzy sgirresolute if f1(V) is fsgopen in (X, ) for every fsgopen subset V in (Y, ).
Proposition 3.7
If A is fuzzy g open, then fuzzy g int(A) = A.
proof
Let A A and A is f g open in (X, ). Hence by
definition of f g int(A). Thus f g int(A) = A.
Remark 3.8
Converse of proposition 3.7 is not true as illustrated in the following example.
Example 3.9
Let X = {a, b} and , : X [ 0,1] be defined by (a) = 0.6, (b) = and (a) = 0, (b) = .3. Then (X, ) is a fuzzy topological spaces with = {0x, , ,
, 1x}. For = (0.7, 0.3), f g int(A) = A. But not f g – open in (X, ).
Proposition 3.10
If A is fuzzy f g closed, then fuzzy f g cl(A) = A. But the converse is not true.
Proposition 3.11
For any two fuzzy subsets A and B of (X, ), the following hold:

If A B, then f g int(A) f g int(B).

f g int(A) f g int(B) f g int(AB).
proof

Since A B, a f g open subset of a A is also a f g – open subaet of B, we have f g int(A) f g int(B).

A A B and B A B imply f g int(A) f g – int(AB) and f g int(B) f g int(AB) by (i). Hence f g – int(A) f g int(B) f g int(AB).
Proposition 3.12
For any two fuzzy subsets A and B of (X, ), the following hold:

If A B, then f g cl(A) f g cl(B).

f g cl(A B) f g cl(A) f g cl(B).
Definition 3.1
A fuzzy map f : (X, ) (Y, ) is called:

fgclosed if f(V) is fgclosed in (Y, ) for every fuzzy closed set V of (X, ).

fsgclosed if f(V) is fsgclosed in (Y, ) for every fuzzy closed set V of (X, ).

fgsclosed if f(V) is fgsclosed in (Y, ) for every fuzzy closed set V of (X, ).

fsg*closed if f(V) is fsg*closed in (Y, ) for every fuzzy closed set V of (X, ).


FUZZY g CLOSED MAPS We introduce the following definition: Definition 4.1
A fuzzy map f : (X, ) (Y, ) is said to be fuzzy g closed
if the image of every fuzzy closed set in (X, ) is f g closed in (Y, ).
Example 4.2
Let X = Y = {a, b} with = {0x , , 1x } where (a)= 0.5,
(b)= 0 and = {0x , , 1x } where (a) =1, (b)= 0. Then (X, ) and (Y, ) are fuzzy topological spaces. Let f : (X, )
(Y, ) be the identity map. Clearly f is an fuzzy g closed
map.
Proposition 4.3
A fuzzy map f : (X, ) (Y, ) is fuzzy g closed if and
only if fuzzy g cl(f(A)) f(cl(A)) for every fuzzy subset A of (X, ).
Proof
Suppose that f is fuzzy g closed and A X. Then cl(A) is
fuzzy closed in X and so f(cl(A)) is fuzzy g closed in (Y, ).
We have f(A) f(cl(A)) and by Propositions 3.10 and 3.11, f g cl(f(A)) f g cl(f(cl(A))) = f(cl(A)).
Conversely, let A be any fuzzy closed set in (X, ). Then A
= cl(A) and so f(A) = f(cl(A)) f g cl(f(A)), by hypothesis.
We have f(A) f g cl(f(A)) by Proposition 3.11. Therefore f(A) = f g cl(f(A)). i.e., f(A) is f g closed by Proposition
3.10 and hence f is f g closed.
Proposition 4.4
Let f : (X, ) (Y, ) be a map such that f g cl(f(A))
f(cl(A)) for a fuzzy closed subset A of X. Then the image f(A) is f g closed in (Y, ).
Proof
Let A be a fuzzy closed set in (X, ). Then by hypothesis f g – cl(f(A)) f(cl(A)) = f(A) and so f g cl(f(A)) = f(A). Therefore f(A) is f g closed in (Y, ).
Theorem 4.5
A map f : (X, ) (Y, ) is fuzzy g closed if and only if
for each fuzzy subset S of (Y, ) and each fuzzy open set U containing f1(S) there is an fuzzy g open set V of (Y, )
such that S V and f1(V) U.
Proof
Suppose f is fuzzy g closed. A fuzzy subset S of Y and U be
an fuzzy open set of (X, ) such that f1(S) U. Then V = (f(U)) is an fuzzy g open set containing S such that
f1(V) U.
For the converse, let F be a fuzzy closed set of (X, ). Then f 1((f(F))) F and F is fuzzy open. By assumption, there exists an fuzzy g open set V in (Y, ) such that (f(F)) V
and f1(V) F and so F (f1(V)) . Hence V f(F)
f((f1(V)) ) V which implies f(F) = V. Since V is fuzzy g –
closed, f(F) is f g closed and therefore f is f g closed.
Proposition 4.6
If f : (X, ) (Y, ) is fuzzy sgirresolute fuzzy g closed and A is an fuzzy g closed subset of (X, ), then f(A) is fuzzy g closed in (Y, ).
Proof
Let U be a fsgopen set in (Y, ) such that f(A) U. Since f is fsgirresolute, f1(U) is a fsgopen set containing A. Hence cl(A) f1(U) as A is fuzzy g closed in (X, ). Since f is
fuzzy g closed, f(cl(A)) is an fuzzy g closed set contained
in the fsgopen set U, which implies that cl(f(cl(A))) U and hence cl(f(A)) U. Therefore, f(A) is an fuzzy g closed set
in (Y, ).
The following example shows that the composition of two fuzzy g closed maps need not be fuzzy g closed.
Example 4.7
Let X = Y = Z = {a, b} with = {0x , , 1x } where (a)= 0.4,
(b)= 0 , = {0x , , 1x } where (a) =1, (b)= 0 and = {0x
, , , 1x } where (a) = 0.5, (b) = 0. Then (X, ), (Y, ) and (Z, ) are fuzzy topological spaces. Let f : (X, ) (Y, ) be the identity map and g : (Y, ) (Z, ) be the identity
fuzzy map. Clearly both f and g are fuzzy g closed maps but
their composition g f : (X, ) (Z, ) is not an fuzzy g – closed map.
Corollary 4.8
Let f : (X, ) (Y, ) be fuzzy g closed and g : (Y, ) (Z, ) be fuzzy g closed and fuzzy sgirresolute, then their composition g f : (X, ) (Z, ) is fuzzy g closed.
Proof
Let A be a fuzzy closed set of (X, ). Then by hypothesis f(A) is an fuzzy g closed set in (Y, ). Since g is both fuzzy g –
closed and fsgfuzzy irresolute by Proposition 4.6, g(f(A)) = (g f) (A) is fuzzy g closed in (Z, ) and therefore g f is
fuzzy g closed.
Proposition 4.9
Let f : (X, ) (Y, ), g : (Y, ) (Z, ) be fuzzy g – closed maps and (Y, ) be a f g space. Then their composition g f : (X, ) (Z, ) is fuzzy g closed.
Proof
Let A be a fuzzy closed set of (X, ). Then by assumption f(A) is fuzzy g closed in (Y, ). Since (Y, ) is a fuzzy
T g space, f(A) is fuzzy closed in (Y, ) and again by assumption g(f(A)) is fuzzy g closed in (Z, ). i.e., (g f)
(A) is fuzzy g closed in (Z, ) and so g f is fuzzy g – closed.
Proposition 4.10
If f : (X, ) (Y, ) is fuzzy g closed, g : (Y, ) (Z, ) is fuzzy g closed (resp. fgclosed, fsg*closed, fsgclosed and fgsclosed) and (Y, ) is a T f g space, then their
composition g f : (X, ) (Z, ) is fuzzy g closed (resp. fgclosed, fsg*closed, fsgclosed and fgsclosed).
Proof
Similar to Proposition 4.9.
Proposition 4.11
Let f : (X, ) (Y, ) be a fuzzy closed map and
g : (Y, ) (Z, ) be an fuzzy g closed map, then their
composition g f : (X, ) (Z, ) is fuzzy g closed.
Proof
Similar to Proposition 4.9.
Remark 4.12
If f : (X, ) (Y, ) is a fuzzy g closed and g : (Y, )
(Z, ) is fuzzy closed, then their composition need not be an fuzzy g closed map as seen from the following example.
Example 4.13
Let X = Y = Z = {a, b} with = {0x , , 1x } where (a)= 0.4,
(b)= 0 , = {0x , , 1x } where (a) =1, (b)= 0 and = {0x
, , , 1x } where (a) = 0.5, (b) = 0. Then (X, ), (Y, ) and (Z, ) are fuzzy topological spaces. Let f : (X, ) (Y, ) be the identity map and g : (Y, ) (Z, ) be the identity
fuzzy map. Clearly both f is fuzzy g closed map and g is
fuzzy closed map but their composition
g f : (X, ) (Z, ) is not an fuzzy g closed map.
Definition 4.14
A map f : (X, ) (Y, ) is said to be an fuzzy g open map if the image f(A) is fuzzy g open in (Y, ) for each fuzzy open set A in (X, ).
Proposition 4.15
For any bijection f : (X, ) (Y, ), the following statements are equivalent:

f1 : (Y, ) (X, ) is fuzzy g continuous.

f is fuzzy g open map.

f is fuzzy g closed map.
Proof

(ii). Let U be an fuzzy open set of (X, ). By assumption, (f1)1(U) = f(U) is fuzzy g open in (Y, ) and so
f is fuzzy g open.

(iii). Let F be a fuzzy closed set of (X, ). Then Fc is fuzzy open set in (X, ). By assumption, f(F) is fuzzy g –
open in (Y, ). That is f(F) = (f(F)) is fuzzy g open in (Y,
) and therefore f(F) is fuzzy g closed in (Y, ). Hence f is fuzzy g closed.

(i). Let F be a fuzzy closed set of (X, ). By assumption, f(F) is fuzzy g closed in (Y, ). But f(F) =
(f1)1(F) and therefore f1 is fuzzy g continuous.
In the next two theorems, we obtain various characterizations of fuzzy g open maps.
Theorem 4.16
Let f : (X, ) (Y, ) be a map. Then the following statements are equivalent:

f is an fuzzy g open map.

For a fuzzy subset A of (X, ), f(int(A)) f g – int(f(A)).

For each fuzzy set A and for each neighborhood U of A in (X, ), there exists a fuzzy g neighborhood W of
f(A) in (Y, ) such that W < f(U).
Proof

(ii). Suppose f is fuzzy g open. Let A X. Then f int(A) is fuzzy open in (X, ) and so f(int(A)) is f g open in
(Y, ). We have f(int(A)) f(A). Therefore by Proposition 3.7, f(int(A)) f g int(f(A)).

(iii). Suppose (ii) holds. Let A be a fuzzy set and U be an arbitrary neighborhood of A in (X, ). Then there exists a fuzzy open set G such that A G U. By assumption, f(G) =
f(int(G)) f g int(f(G)). This implies f(G) = f g int(f(G)).
By Proposition 3.7, we have f(G) is fuzzy g open in (Y, ). Further, f(A) f(G) f(U) and so (iii) holds, by taking W = f(G).

(i). Suppose (iii) holds. Let U be any fuzzy open set in (X, ), A U and f(A) = B. Then B f(U) and for each B f(U), by assumption there exists an f g neighborhood W of B
in (Y, ) such that W f(U). Since W is a f g neighborhood of B, there exists an f g open set V in (Y, ) such that B V
W. Therefore, f(U) = {V : B f(U)} is a f g open set in (Y, ) by proposition 3.11. Thus f is an f g open map.
Theorem 4.17
A map f : (X, ) (Y, ) is f g open if and only if for any fuzzy subset S of (Y, ) and for any fuzzy closed set F
containing f1(S), there exists an f g closed set K of (Y, ) containing S such that f1(K) F.
Proof
Similar to Theorem 4.5.
Corollary 4.18
A map f : (X, ) (Y, ) is fuzzy g open if and only if f 1( g cl(B)) cl(f1(B)) for each fuzzy subset B of (Y, ).
Proof
Suppose that f is fuzzy g open. Then for any fuzzy subset B
of (Y, ), f1(B) cl(f1(B)). By Theorem 4.18, there exists a fuzzy g closed set K of (Y, ) such that B K and
f1(K) cl(f1(B)). Therefore, f1( g cl(B)) (f1(K)) cl(f1(B)), since K is an fuzzy g closed set in (Y, ).
Conversely, let S be any fuzzy subset of (Y, ) and F be any fuzzy closed set containing f1(S). Put K = g cl(S). Then K
is an fuzzy g closed set and S K. By assumption,
f1(K) = f1( g cl(S)) cl(f1(S)) F and therefore by Theorem 4.18, f is fuzzy g open.
Finally in this section, we define another new class of maps called f g *closed maps which are stronger than f g closed
maps.
Definition 4.19
A map f : (X, ) (Y, ) is said to be f g *closed if the image f(A) is fuzzy g closed in (Y, ) for every fuzzy g – closed set A in (X, ).
For example the map f in Example 4.2 is an f g *closed map.
Remark 4.20
Since every fuzzy closed set is an fuzzy g closed set we have f g *closed map is an f g closed map. The converse is not true in general as seen from the following example.
Example 4.21
Let X = Y = {a, b} with = {0x , , 1x } where (a) =1, (b)= 0 and = {0x , , , 1x} where (a) =0.5, (b)= 0 . Then (X,
) and (Y, ) are fuzzy topological spaces. Let f : (X, )
(Y, ) be the identity map. Then f is a f g closed but not
f g *closed map.
Proposition 4.22
A map f : (X, ) (Y, ) is f g *open if and only if f g – cl(f(A)) f( g cl(A)) for every fuzzy subset A of (X, ).
Proof
Similar to Proposition 4.3.
Analogous to f g *closed map we can also define f g *open map.
Proposition 4.23
For any bijection f : (X, ) (Y, ), the following statements are equivalent:

f1 : (Y, ) (X, ) is fuzzy g irresolute.

f is f g *open map.

f is f g *closed map.
Proof
Similar to Proposition 4.16.
Proposition 4.25
If f : (X, ) (Y, ) is fgsirresolute and f g closed, then it is an f g *closed map.
Proof
The Proof follows from Proposition 4.6.
REFERENCES

K. K. Azad, On fuzzy semi continuity, fuzzy almost continuity and fuzzy weakly continuity , J. Math. Anal. Appl., 82(1) (1981), 1432.

G. Balasubramanian and P. Sundaram, On some generalizations of fuzzy continuous functions, Fuzzy Sets and Systems, 86(1) (1997), 93 100.

G. Balasubramanian, On fuzzy preseparation axioms, Bull. Calcutta Math. Soc., 90(6) (1998), 427434.

A.S.Bin shahna, On fuzzy strong semicontinuity and fuzzy precontinuity, fuzzy precontinuity, fuzzy Sets and Systems, 44(2) (1991), 303308.

C. L. Chang, Fuzzytopological spaces, J. Math .Anal. Appl., 24 (1968), 182190.

E. Hatir, T. Noiri and S.Yuksel, A decomposition of continuity, Acta Math. Hungar.,70(12)(1996), 145150.

M. Jeyaraman, S. Vijayalakshmi, and O. Ravi, Newnotions of closed sets in Fuzzy topology, International journal of mathematical archive 4(8), 2013, 17.

M. Jeyaraman, S. Vijayalakshmi, R.Muthuraj and O. Ravi, New Notion of Continuous Functions in Fuzzy Topological spaces, Indian Journal of Mathematics Research : Volume 3 Issue 1 (2015), 18.

M. Rajamani, On decomposition of fuzzy continuity in fuzzy topological spaces, Acta Ciencia Indica, XXVIIM(4) (2001), 545547.

R. K. Saraf, and M. Khanna, Fuzzy generalized semi preclosed sets, J. Tripura Math. Soc., 3(2001) 5968.

R. K. Saraf, and M. Khanna, On gsclosed sets in fuzzy topology, J. Indian Acad. Math., 25(1) (2003), 133143.

R. K. Saraf, M. Caldas and S. Mishra, Results via Fgclosed sets and Fgclosed sets, preprint.

M. Sudha, E. Roja and M. k. Uma, Slightly fuzzy continuous mappings, Int . Journal of Math. Analysis, 5(16) (2011) , 779787.

P. Sundaram, Generalized continuity in fuzzy topology.(preprint).

S. S. Thakur and S. Singh, On fuzzy semipreopen Sets and fuzzy semi precontinuity, Fuzzy Sets and Systems, 98(3) (1998), 383391.

J. Tong, A docomposition of fuzzy continuity, Fuzzy Math., 7(1987), 97 98.

J. Tong, On docomposition of continuity in topological spaces, Acta Math. Hungar., 48(1986),1115.

T. H . Yalvac , Semiinterior and semiclosure of a fuzzy set , J. Math. Anal. Appl. 132(2) (1988), 356364.

L. A. Zadeh, Fuzzy sets, Information and Control, 8(1965), 338353.