International Journal of Mathematical Archive-8(3), 2017, 144-149

Available online through www.ijma.info ISSN 2229 5046

AN INTRODUCTION TO FUZZY NEUTROSOPHIC TOPOLOGICAL SPACES

Y. VEERESWARI*

Research Scholar, Govt. Arts College, Coimbatore, (T.N.), India.

(Received On: 05-02-17; Revised & Accepted On: 23-03-17)

ABSTRACT
In this paper we introduce fuzzy neutrosophic topological spaces and its some properties. Also we provide fuzzy
continuous and fuzzy compactness of fuzzy neutrosophic topological space and its some properties and examples.

Keywords: fuzzy neutrosophic set, fuzzy neutrosophic topology, fuzzy neutrosophic topological spaces, fuzzy continuous
and fuzzy compactness.

1. INTRODUCTION

Fuzzy sets were introduced by Zadeh in 1965. The concepts of intuitionistic fuzzy sets by K. Atanassov several
researches were conducted on the generalizations of the notion of intuitionistic fuzzy sets. Florentin Smarandache [5,
6] developed Neutrosophic set &logic ofA Generalization of the Intuitionistic Fuzzy Logic& set respectively.
A.A.Salama & S.A.Alblowi [1] introduced and studied Neutrosophic Topological spaces and its continuous function in
[2]. In this paper, we define thenotion of fuzzy neutrosophic topological spaces and investigate continuity and
compactness by using Cokers intuitionistic topological spaces in [4]. We discuss New examples of FNTS.

2. PRELIMINARIES

Here we shall present the fundamental definitions. The following one is obviously inspired by Haibin Wang and
Florentin Smarandache in [7] and A.A.Salama, S.S.Alblow in [1]. Smarandache introduced the neutrosophic set and
neutrosophic components. The sets T, I, F are not necessarily intervals but may be any real sub-unitary subsets of
] 0, 1+ [. The neutrosophic components T, I, F represents the truth value, indeterminacy value and falsehood value
respectively.

Definition 2.1 [7]: Let be a non-empty fixed set. A fuzzy neutrosophic set (FNS for short) is an object having the
form = {, (), (), (): } where the functions
: ] 0, 1+ [, : ] 0, 1+ [, : ] 0, 1+ [
denote the degree of membership function (namely ()), the degree of indeterminacy function (namely ()) and
the degree of non-membership (namely ()) respectively of each element to the set and
+
0 () + () + () 1+ , for each .

Remark 2.2 [7]: Every fuzzy set on a non-empty set is obviously a FNS having the form
= {, (), (), 1 (): }

A fuzzy neutrosophic set = {, (), (), (): } can be identified to an ordered triple , , , in
] 0, 1+ [ on .

Definition 2.3[1]: Let be a non-empty set and the FNSs and be in the form = {, (), (), ():
and =, , , : on and let : be an arbitrary family of FNSs in , where =, , ,
:e.
a) iff () (), () () and () () for all .
b) = iff and .
c) = {, (), 1 (), (): }
d) = , () , () , ():

Corresponding Author: Y. Veereswari*

Research Scholar, Govt. Arts College, Coimbatore, (T.N.), India.
International Journal of Mathematical Archive- 8(3), March 2017 144
 Y. Veereswari* / An Introduction to Fuzzy Neutrosophic Topological Spaces / IJMA- 8(3), March-2017.

e) = , () , () , ():
f) = , () (), () 1 (), () ():
g) [] = {, (), (), 1 (): }
h) <> = {, 1 (), (), (): }
i) 0 = , 0, 0, 1 and 1 = , 1, 1, 0

Example 2.4: Let = {, , } and

= , , , , , , , , , ,
0.3 0.4 0.5 0.5 0.2 0.3 0.3 0.2 0.2

= , , , , , , , , , ,
0.5 0.5 0.4 0.4 0.5 0.2 0.2 0.4 0.4

= , , , , , , , , , ,
0.5 0.5 0.5 0.5 0.5 0.3 0.2 0.2 0.2

= , , , , , , , , ,
0.3 0.4 0.4 0.4 0.2 0.2 0.3 0.4 0.4

Here = , , , , , , , , , and because () (), () () and ()
0.3 0.2 0.2 0.5 0.8 0.7 0.3 0.4 0.5
() for all . Further,
= , () (), () (), () ()

= , , , , , , , , ,
0.5 0.5 0.5 0.5 0.5 0.3 0.2 0.2 0.2

= , () (), () (), () ()

= , , , , , , , , ,
0.3 0.4 0.4 0.4 0.2 0.2 0.3 0.4 0.4

Corollary 2.5: Let , , and be FNSs in ( ). Then

a) for each
b) for each
c)
= and
=
d)
) =
e) (
f) 0

= 1 and 1 = 0

Now we shall define the image and preimage of FNSs. Let , be two non-empty sets and : a function.

Definition 2.6[4]:
a) If = {, (), (), (): } is an FNS in then the preimage of under , denoted by 1 (),
is the FNS in defined by
1 () = {, 1 ( )(), 1 ( )(), 1 ( )(): }
1 ( )()
Where = (), 1 ( )() = () and 1 ( )() = ()
b) If = {, (), (), (): } is a FNS in , then the image of under , denoted by (), is the
FNS in defined by
() = , ( )(), ( )(), 1 (1 )():
sup () 1 ()
( )() = 1 ()
0
sup () 1 ()
( )() = 1 ()
0
inf () 1 ()
1 (1 )() = () 1

1
For the sake of simplicity, let us use the symbol _( ) for 1 (1 ).

Corollary 2.7[4]: Let , ( ) be FNSs in , , ( ) be FNSs in , and : a function.

a) 1 2 (1 ) (2 ), 1 2 1 (1 ) 1 (2 ),
b) 1 (()), and if is injective then = 1 (())
c) 1 (()) , and if is surjective, then 1 (()) =
d) 1 = 1 , 1 = 1 ,
e) ( ) = ( ), ( ) ( ); and if is injective, then ( ) = ( )
f) 1 (1 ) = 1 , 1 (0 ) = 0
g) (0 ) = 0 , (1 ) = 1 , if is surjective
2017, IJMA. All Rights Reserved 145
 Y. Veereswari* / An Introduction to Fuzzy Neutrosophic Topological Spaces / IJMA- 8(3), March-2017.

h) If is surjective, then
() (). If furthermore, is injective, then
() = ()
i)
1 (
) = ()
1

3. FUZZY NEUTROSOPHIC TOPOLOGICAL SPACES

Definition 3.1: A fuzzy neutrosophic topology (FNT for short) a non-empty set is a family of fuzzy neutrosophic
subsets in satisfying the following axioms.
(NT1) 0 , 1
(NT2) 1 2 for any 1 , 2
(NT3) , { : }

In this case the pair (, ) is called a Fuzzy neutrosophic topological space (FNTS for short) and any fuzzy
neutrosophic set in is known as fuzzy neutrosophic open set (FNOS for short) in . The elements of are called open
fuzzy neutrosophic sets.

The complement of FNOS in the FNTS (, ) is called fuzzy neutrosophic closed set (FNCS for short).

Example 3.2: Let = {, , } and consider the value of , , , are defined in Example 2.4, the family
= {0 , 1 , , , , } of FNS in . Then (, ) is FNTS on .

Example 3.3: Let (, ) be a fuzzy topological space such that is not indiscrete. Suppose now that
= {0, 1} { : }. Then we can construct two FNTs on as follows:
a) 1 = {0 , 1 } {, , (), 0: }, b) 2 = {0 , 1 } {, 0, (), : }

Proposition 3.4: Let (, ) be a FNTS on . Then we can also construct several FNTSs on in the following way
0,1 = {[ ]: }, b) 0,2 = { : }

Definition 3.5: Let (, 1 ), (, 2 ) be two FNTSs on . Then 1 is said to be contained in 2 (in symbols, 1 2 ), if
2 for each 1 . In this case, we also say that 1 is coarser than 2 .

Proposition 3.6: Let { : } be a family of FNTs on . Then is FNT on . Furthermore, is the

coarsest FNT on containing all s.

Definition 3.7: Let (, ) be a FNTS on .

a) A family is called a base for (, ) iff each member of can written as a union of elements of .
b) A family is called a subbase for (, ) iff the family of finite intersections of elements in forms a base
for (, ). In this case the FNT is said to be generated by .

Definition 3.8: Let (, ) be a FNTS and = , , , be a FNS in . Then the fuzzy interior and fuzzy closure
of are defined by
() = {: is a FNCS in and }, () = {: is a FNOS in and }

Now that () is a FNCS and () is a FNOS in . Further,

a) is a FNCS in iff () =
b) is a FNOS in iff () =

Example 3.9: Consider the FNTS (, ) is defined in Example 3.2. If

= , , , , , , , , ,
0.4 0.5 0.4 0.4 0.3 0.2 0.2 0.3 0.3
Then, () = and () = 1 .

(), () =
Proposition 3.10: For any FNS in (, ), we have () = ().

Proposition 3.11: Let (, ) be a FNTS and , be FNSs in . Then the following properties hold:
a) () , ()
b) () (), () ()
c) () = (), () = ()
d) ( ) = () (), ( ) = () ()
e) (1 ) = 1 , (0 ) = 0

2017, IJMA. All Rights Reserved 146

 Y. Veereswari* / An Introduction to Fuzzy Neutrosophic Topological Spaces / IJMA- 8(3), March-2017.

Proposition 3.12: Let (, ) be a FNTS. If = , , , be a FNS in . Then we have

a) () , 1 ( ), 1 ( ), 2 ( )
b) , 2 ( ), 2 ( ), 1 ( ) ()
where 1 and 2 are FTS on defined by 1 ={ : }, 2 = {1 : }

Corollary 3.13: Let = , , , be a FNS in (, )

a) If is a FNCS, then is fuzzy closed in (, 2 ) and is fuzzy open in (, 1 ).
b) If is a FNOS, then is fuzzy open in (, 1 ) and is fuzzy closed in (, 2 ).

Example 3.14: Consider the FNTS (, ) is defined in Example 3.2. If

= , , , , , , , , ,
0.4 0.5 0.4 0.4 0.3 0.2 0.2 0.3 0.3
Then, () = . Noting that we have

1 = 0, 1, , , , , , , , , , , ,
0.3 0.4 0.5 0.5 0.5 0.4 0.5 0.5 0.5 0.3 0.4 0.4

2 = 0, 1, , , , , , , , , , , ,
0.7 0.8 0.8 0.8 0.6 0.6 0.8 0.8 0.8 0.7 0.6 0.6

and 1 ( ) = , , , 2 ( ) = , ,
0.3 0.4 0.4 0.3 0.4 0.4

4. FUZZY NEUTROSOPHIC CONTINUITY

Definition 4.1: Let (, ) and (, ) be two FNTSs and let : be a function. Then is said to be fuzzy
continuous iff the preimage of each FNS in is a FNS in .

Definition 4.2: Let (, ) and (, ) be two FNTSs and let : be a function. Then is said to be fuzzy open iff
the image of each FNS in is a FNS in .

Example 4.3: Let (, 0 ) and (, 0 ) be two fuzzy topological spaces.

a) If : is fuzzy continuous in the usual sense, then in this case, is fuzzy continuous iff the preimage of
each FNS in 0 is a FNS in 0 . Consider the FNTs on and respectively, as follows:
= {, , 0, 1 : 0 }, = {, , 0, 1 : 0 }
In this case we have for each , , 0, 1 , 0 ,
1 , , 0, 1 = , 1 ( ), 1 (0), 1 (1 )
= , 1 ( ), 1 (0), 1 1 ( )
b) Let : be a fuzzy open in the usual sense, then is fuzzy openaccording to Definition 4.2. In this case
we have, for each , , 0, 1 , 0 ,
, , 0, 1 = , ( ), 0, _(1 )
= , ( ), 0, 1 _( )

Proposition 4.4: : (, ) (, ) is fuzzy continuous iff the preimage of each FNCS in is a FNCS in .

Proposition 4.5: The following are equivalent to each other

a) : (, ) (, ) is fuzzy continuous
b) 1 (()) ( 1 ()) for each FNS in .
c) ( 1 ()) 1 (())for each FNS in .

Example 4.6: Let (, ) be a FNTS and be a non-empty set and : a function. In this case
= { 1 (): } is a FNT on . Indeed, is the coarsest FNT on which makes the function :
continuous. One may call the FNT on the initial FNT with respect to .

5. FUZZY NEUTROSOPHIC COMPACTNESS

Definition 5.1: Let (, ) be a FNTS.

a) If a family = , , , : of FNOS is satisfy the condition = 1 , then it is called a fuzzy
open cover of . A finite subfamily of fuzzy open cover of , which is also a fuzzy open cover of is
called a finite subcover of .
b) A family = , , , : of FNCSs in satisfies the finite intersection property iff every finite
subfamily , , , : = 1, 2, , of the family satisfies the condition =1, , , 0 .

Definition 5.2: A FNTS (, ) is fuzzy compact iff every fuzzy open cover of has a finite subcover.

2017, IJMA. All Rights Reserved 147

 Y. Veereswari* / An Introduction to Fuzzy Neutrosophic Topological Spaces / IJMA- 8(3), March-2017.

Example 5.3: An FNTS (, ), where = {1, 2, 3},

1 2 3 1 2 3 1 2 3
= , , , , +1 , +2 , +3 , 1 , 1 , 1
+1 +2 +3 +2 +3 +4 +2 +3 +4
and = {0 , 1 } { : }. Note that is an open cover for , but this cover has no finite subcover.
Consider
1 2 3 1 2 3 1 2 3
1 = , , , , , , , , ,
0.5 0.3 0.25 0.7 0.75 0.8 0.3 0.25 0.2
1 2 3 1 2 3 1 2 3
2 = , , , , , , , , ,
0.7 0.5 0.4 0.75 0.8 0.8 0.25 0.2 0.2
1 2 3 1 2 3 1 2 3
3 = , , , , , , , , ,
0.75 0.6 0.5 0.8 0.8 0.9 0.2 0.2 0.1
and observe that 1 2 3 = 3 . So, for any finite subcollection : I, where I is a finite subset of ,
I = 1 , where = { : I}. therefore the FNTS (, ) is not compact.

Proposition 5.4: Let (, ) be a FNTS on . Then (, ) is fuzzy compact iff the FNTS , 0,1 is fuzzy compact.

Proof: Let (, ) be fuzzy compact and consider fuzzy open cover [ ] : of in , 0,1 . Since
[ ] = 1 . We obtain = 1, = 1 and hence, by 1 1 = 0 = 0,
we deduce = 1 . Since (, ) is fuzzy compact there exist 1 , 2 , 3 , such that =1 = 1 from which we
obtain =1 = 1, =1 = 1 and =11 = 0. That is, , 0,1 is fuzzy compact.

Suppose that , 0,1 is fuzzy compact and consider a fuzzy open cover : of in (, ). Since = 1 ,
we obtain = 1, = 1 and 1 = 0. Since , 0,1 is fuzzy compact, there exist 1 , 2 , 3 , such
that =1[ ] = 1 , that is, =1 = 1, =1 = 1 and =11 = 0. Hence 1 1 =
=1 1 =1 = 0. =1 = 0. Hence =1 = 1 . Therefore (, ) is fuzzy compact.

Corollary 5.5: Let (, ) and (, ) be two FNTSs and let : be a fuzzy continuous surjection. If (, ) is fuzzy
compact, then so is (, ).

Corollary 5.6: A FNTS (, ) is fuzzy compact iff every family , , , : of FNCSs in having the
FNP has a non-empty intersection.

Definition 5.7:
a) Let (, ) be a FNTS and a FNS in . If a family = , , , : of FNOSs in satisfies the
condition , then it is called a fuzzy open cover of . A finite subfamily of the fuzzy open cover of
, which is also fuzzy open cover of , is called a finite subcover of .
b) A FNS = , , , in a FNTS (, ) is called fuzzy compact iff every fuzzy open cover of has a
finite subcover.

Corollary 5.8: A FNS = , , , in a FNTS (, ) is fuzzy compact iff for each family = { : } where
= , , , : , of FNOS in with properties , and 1 1
there exists a finite subfamily { : 1, 2, , } of such that =1 , =1 and 1 =11 .

Example 5.9: Let = and consider the FNSs ( ) 2 , where = , , , , = 2, 3, . and

= , , , defined by
0.7, = 0 0.8, = 0 0.1, = 0

, 0 < < 1 ( + 1), 0 < < 1 1 , 0 < < 1
() = , () = , =
1 1 1
1, < 1 1, < 1 0, < 1

0.7 = 0 0.8 = 0
and = , = ,
1, 1,
0.1 = 0
= .
1,
Then = {0 , 1 , } { : 2 } is a FNT on , and consider the FNSs , , in (, ) defined by
, , = {, , , : }, where , , are arbitrary and + + 2. Then the FNSs
0.75,0.85,0.05 , 0.65,0.75,0.15 , 0.85,0.850 ,05 are all compact.

2017, IJMA. All Rights Reserved 148

 Y. Veereswari* / An Introduction to Fuzzy Neutrosophic Topological Spaces / IJMA- 8(3), March-2017.

Corollary 5.10: Let (, ) and (, ) be two FNTSs and let : be a fuzzy continuous function. If is fuzzy
compact in(, ), then so is () in (, ).

REFERENCES

[1] A.A.Salama, S.A.Alblowi, Neutrosophic Set and Neutrosophic Topological spaces, IOSR Journal of
Mathematics, ISSN:2278-5728, Volume 3, Issue 4, SEP-OCT 2012, PP 31-35
[2] A.A.Salama, Florentin Smarandache and Valeri Kromov, Neutrosophic Closed Set and Neutrosophic
Continuous Functions, Neutrosophic Sets and Systems, ISBN 9781599733098, Vol 4, 2014
[3] C.L. Chang, Fuzzy Topological Spaces, J. Math. Anal. Appl. 24 (1968)182-1 90.
[4] D. Coker, An introduction to intuitionistic fuzzy topological spaces, Fuzzy Sets and Systems, 88(1) (1997),
81-89.
[5] Floretin Smarandache, Neutrosophic Logic-A Generalization of the Intuitionistic Fuzzy Logic, Multispace &
Multistructure Neutrosophic Transdisciplinarity, ISBN:978-952-67349-2-7, Vol. 4, 2010,396-402
[6] Floretin Smarandache, Neutrosophic Set-A Generalization of the Intuitionistic Fuzzy Logic, MMNT,
ISBN:978-952-67349-2-7, Vol 4, 2010, 403-409
[7] Haibin Wang, Florentin Smarandache, Yanqing Zhang, Rajshekhar Sunderraman, Single valued Neutrosophic
set, MMNT, ISBN:978-952-67349-2-7, Vol 4, 2010, 410-413
[8] K. Atanassov, intuitionistic fuzzy sets, in V.Sgurev, ed.,Vii ITKRS Session, Sofia(June 1983 central Sci. and
Techn. Library, Bulg.Academy of Sciences (1984)).
[9] K. Atanassov, intuitionistic fuzzy sets, Fuzzy Sets and Systems 20(1986)87-96.
[10] K. Atanassov, Review and new result on intuitionistic fuzzy sets, preprint IM-MFAIS-1-88, Sofia, 1988.
[11] L.A. Zadeh, Fuzzy Sets, Inform and Control 8(1965), 338-353
[12] Reza Saadati, Jin HanPark, On the intuitionistic fuzzy topological space, Chaos, Solitons and Fractals
27(2006)331-344.
[13] S.A. Alblowi, A.A. Salama and Mohmed Eisa, New Concepts of Neutrosophic Sets, IJMCAR, Vol. 3, Issue 3,
Oct (2013) 95-102.

Source of support: Nil, Conflict of interest: None Declared.

[Copy right 2017. This is an Open Access article distributed under the terms of the International Journal
of Mathematical Archive (IJMA), which permits unrestricted use, distribution, and reproduction in any
medium, provided the original work is properly cited.]

2017, IJMA. All Rights Reserved 149