Computer Science and Engineering 2012, 2(7): 129-132

DOI: 10.5923/j.computer.20120207.01

Generalized Neutrosophic Set and Generalized

Neutrosophic Topological Spaces
A. A. Salama1,* , S. A. Alblowi2

1
Department of M athematics and Computer Science, Faculty of Sciences, Port Said University, Egypt
2
Department of M athematics, King Abdulaziz University,Jeddah Saudi Arabia

Abstract In this paper we introduce definitions of generalized neutrosophic sets. After given the fundamental defin itions
of generalized neutrosophic set operations, we obtain several properties, and discussed the relationship between generalized
neutrosophic sets and others. Finally, we extend the concepts of neutrosophic topological space [9], intuition istic fuzzy
topological space [5, 6], and fu zzy topological space [4] to the case of generalized neutrosophic sets. Possible applicat ion to
GIS topology rules are touched upon.
Keywords Neutrosophic Set, Generalized Neutrosophic Set, Neutrosophic Topology

Let T, I,F be real standard or nonstandard subsets of

1. Introduction ] 0 ,1 [, with
− +

Neutrosophy has laid the foundation for a whole family of Sup_T=t_sup, inf_T=t_inf
new mathematical theories generalizing both their classical Sup_I=i_sup, inf_I=i_ inf
and fuzzy counterparts, such as a neutrosophic set theory. Sup_F=f_sup, inf_F=f_inf
The fuzzy set was introduced by Zadeh [10] in 1965, where n-sup=t_sup+i_sup+f_sup
each element had a degree of membership. The intuitionstic n-inf=t_ inf+i_inf+f_ inf,
fuzzy set (Ifs for short) on a universe X was introduced by K. T, I, F are called neutrosophic components
Atanassov [1, 2, 3] in 1983 as a generalization of fuzzy set, Definiti on [9]
where besides the degree of membership and the degree of Let X be a non-empty fixed set. A neutrosophic set ( NS
non- membership of each element. After the introduction of for short) A is an object having the form
the neutrosophic set concept [7, 8,= 9]. In this paper we
introduce definitions of generalized neutrosophic sets. After
A { ( ) ( )
x , µ A x ,σ A x , γ A x : x ∈ X( ) }
Where

given the fundamental defin itions of generalized µ A (x ), σ A (x ) and γ A ( x ) wh ich represent the degree of
neutrosophic set operations, we obtain several properties, member ship function (namely µ A ( x ) ), the degree of
and discussed the relationship between generalized
neutrosophic sets and others. Finally, we extend the concepts indeterminacy (namely σ A ( x ) ), and the degree of
of neutrosophic topological space [9].
A ( )
non-member ship (namely γ x ) respectively of each
element x ∈ X to the set A .
2. Terminologies Definiti on [9].
The NSS 0N and 1N in X as follows:
We recollect some relevant basic preliminaries, and in 0N may be defined as:
particular, the work of Smarandache in [7, 8], Atanassov in[1,
2, 3] and Salama [9]. Smarandache introduced the = ( 01 ) 0N { x ,0,0,1 : x ∈ X }
neutrosophic components T, I, F which represent the
membership, indeterminacy, and non-membership values = ( 02 ) 0N { x ,0,1,1 : x ∈ X }
respectively, where ] 0 ,1 [is nonstandard unit interval.
− +
( 03 ) 0 N
= { x ,0,1,0 : x ∈ X }
Definiti on.[7, 8]

* Corresponding author:
( 04 ) 0N
= { x ,0,0,0 : x ∈ X }
drsalama44@gm ail.com (A. A.Salama) 1N may be defined as:
Published online at http://journal.sapub.org/computer
Copyright © 2012 Scientific & Academic Publishing. All Rights Reserved (11 ) 1N
= { x ,1,0,0 :x ∈X }
 130 A. A. Salama: Generalized Neutrosophic Set and Generalized Neutrosophic Topological Spaces

(12 ) 1N
= { x ,1,0,1 : x ∈ X } possible definit ions for subsets ( A ⊆ B )
(A ⊆ B ) may be defined as
(13 ) 1N
= { x ,1,1,0 : x ∈ X } A ⊆ B ⇔ µ A ( x ) ≤ µ B ( x ) , γ A ( x ) ≥ γ and σ A ( x ) ≤ σ B ( x )
∀x ∈ X
(14 ) 1N
= { x ,1,1,1 : x ∈ X } A ⊆ B ⇔ µ A ( x ) ≤ µ B ( x ) , γ A ( x ) ≥ γ B ( x ) and σ A ( x ) ≥ σ B ( x )
Proposition
For any generalized neutrosophic set A the following
3. Generalized Neutrosophic Sets are holds
0N ⊆ A , 0N ⊆ 0N
We shall now consider some possible definitions for basic
concepts of the generalized neutrosophic set. A ⊆ 1N , 1N ⊆ 1N
Definiti on Definiti on
Let X be a non-empty fixed set. A generalized Let X be a non-empty set, and
neutrosophic set (G NS for short) A is an object having A= < x, µ A ( x ) , γ A ( x ) , σ A ( x ) > ,
=the form A { x, µ A ( x ) , σ A ( x ) , γ A ( x ) : x ∈ X } Where < x, µ B ( x ) ,σ B ( x ) , γ B ( x ) > are GNSS Then
B=

µ A (x ), σ A (x ) and γ A ( x ) which represent the degree of A  B maybe defined as:

member ship function (namely µ A ( x ) ), the degree of

( I1 ) A  B =< x, µ A ( x ).µ B ( x ) ,σ A ( x ) .σ B ( x ) ,
γ A ( x ) .γ B ( x ) >
indeterminacy (namely σ A ( x ) ), and the degree of
non-member ship (namely γ A ( x ) ) respectively of each
(I 2 ) A  B = < x, µ A ( x ) ∧ µ B ( x ) , σ A ( x ) ∧ σ B ( x ) ,
γ A ( x) ∨ γ B ( x) >
element x ∈ X to the set A where the functions satisfy
the condition µ A ( x ) ∧ σ A ( x ) ∧ ν A ( x ) ≤ 0.5 .
(I 3 ) A  B = < x, µ A ( x ) ∧ µ B ( x ) , σ A ( x ) ∨ σ B ( x ) ,

Remark γ A ( x) ∨ γ B ( x) >
A generalized neutrosophic A  B may be defined as:
{
A = < x, µ A ( x ) ,σ A ( x ) , γ A ( x ) >: x ∈ X } can be identified to an (U1 ) A  B =
< x, µ A ( x ) ∨ µ B ( x ) , σ A ( x ) ∨ σ B ( x ) ,
ordered triple < µ A ,σ A , γ A > in  0,1 
− + on.X, where the trip le γ A ( x) ∧ γ B ( x) >
functions satisfy the condition µ A (x ) ∧ σ A (x ) ∧ ν A (x ) ≤ 0.5 (U 2 ) A  B = < x, µ A ( x ) ∨ µ B ( x ) , σ A ( x ) ∧ σ B ( x ) ,
Remark γ A ( x) ∧ γ B ( x) >
For the sake of simp licity, we shall use the symbol
  A = < x, µ A ( x ) ,σ A ( x ) ,1 − µ A ( x ) >
A=< x, µ A ,σ A , γ A > for the G NS
< > A =< x,1 − γ A ( x ) ,σ A ( x ) , γ A ( x ) >
{
A = < x, µ A ( x ) ,σ A ( x ) , γ A ( x ) >: x ∈ X }
Example Example.3.2. Let X = {a, b, c, d , e} and
Every GIFS A a non-empty set X is obviously on A = x, µ A , σ A ,ν A given by:
GNS having the form
{ ( )
A = < x, µ A ( x ) ,1 − µ A ( x ) + γ A ( x ) , γ A ( x ) >: x ∈ X } X µ A (x ) ν A (x ) σ A (x) µ A (x ) ∧ ν A ( x) ∧ σ A (x )
Definiti on a 0.6 0.3 05 0.3
b 0.5 0.3 0.6 0.3
Let A = µ A ,σ A , γ A a GNSS on X , then the c 0.4 0.4 0.5 0.4
complement of the set A (C ( A ) , for short ) maybe d
e
0.3
0.3
0.5
0.6
0.3
0.4
0.3
0.3
defined as three kinds of comp lements
{
(C 1 ) C ( A) = x,1 − µ A ( x), σ A ( x),1 −ν A ( x) : x ∈ X , } Then the family G = {O~ , A} is an GNSS on X.
(C ) C ( A) { x, γ A ,σ A ( x ) , µ A ( x ) : x ∈ X }
= 2
We can easily generalize the operations of generalized
intersection and union in definit ion 3.4 to arb itrary family of
{ x, γ A ,1 − σ A ( x ) , µ A ( x ) : x ∈ X }
(C ) C ( A) = 3 GNSS as fo llo w:
One can define several relat ions and operations between Definiti on
GNSS as fo llo ws: Let {Aj : j ∈ J } be a arbitrary family of NSS in X ,
Definiti on then
Let x
be a non-empty set, and GNSS A and B in  Aj maybe defined as:
the form A = x, µ A ( x ) ,σ A ( x ) , γ A ( x ) ,
1)  Aj =x, ∧ µ Aj ( x ) , ∧ σ Aj ( x ) , ∨γ Aj ( x )
B = x , µ B ( x ) ,σ B ( x ) , γ B ( x ) , then we may consider two j∈J j∈J
 Computer Science and Engineering 2012, 2(7): 129-132 131

2)  Aj =x, ∧ µ Aj ( x ) , ∨σ Aj ( x ) , ∨γ Aj ( x ) Example
Let ( X ,τ 0 ) be a fuzzy topological space in Changes [4]
 Aj maybe defined as: sense such that τ 0 is not indiscrete suppose now that
1) ∪ A j = x, ∨ µ A , ∧σ A , ∧ν A
{ }
τ 0 = {0 N ,1N } ∪ V j : j ∈ J then we can construct two
j∈J j j j
G NTSS on X as follows
τ 0 = {0 N ,1N } ∪ {< x, V j , σ ( x),0 >: j ∈ J }
2) ∪ A j = x, ∨ µ A , ∨σ A , ∧ν A
j∈J j j j
τ 0 = {0 N ,1N } ∪ {< x,V j ,0,σ ( x),1 − V j >: j ∈ J }
Definiti on
Let A and B are generalized neutrosophic sets then Proposition
A B may be defined as Let ( X ,τ ) be a GNT on X , then we can also construct
AB= x, µ A ∧ γ B , σ A ( x ) σ B ( x ) , γ A ∨ µ B ( x ) several GNTSS on X in the following way :
Proposition a) τ o,1 = {[ ]G : G ∈ τ },
For all A , B two generalized neutrosophic sets then the b) τ o , 2 = {<> G : G ∈ τ },
following are true Proof a)
i) C ( A  B ) = C ( A )  C ( B ) (GNT1 ) and (GNT2 ) are easy.
ii) C ( A  B ) = C ( A )  C ( B ) { }
(GNT3 ) Let [ ]G j : j ∈ J , G j ∈ τ ⊆ τ 0,1 .Since
{ }{ }{ }
∪ G j = x,∨ µG j ,∨σ G j ,∧γ G j or x,∨ µG j ,∧σ G j ,∧γ G j or x,∨ µG j ,∧σ G j ,∨γ G j ∈τ ,
4. Generalized Neutrosophic we have
Topological Spaces ( ) { }{
∪ [ ]G j = x,∨ µG j ,∨σ G j ,∧(1 − µG j ) or x,∨ µG j ,∨σ G j , (1 − ∨ µG j ) ∈τ 0,1}
Here we extend the concepts of and intuitionistic fuzzy This similar to (a)
topological space [5, 7], and neutrosophic topological Space Definiti on
[ 9] to the case of generalized neutrosophic sets. Let ( X ,τ 1 ), ( X ,τ 2 ) be two generalized neutrosophic
Definiti on topological spaces on X . Then τ 1 is said be contained inτ 2
A generalized neutrosophic topology (GNT for short) an a (in symbols τ 1 ⊆ τ 2 ) if G ∈ τ 2 for each G ∈ τ 1 . In this case,
non empty set X is a family τ of generalized we also say that τ 1 is coarser thanτ 2 .
neutrosophic subsets in X satisfying the following axio ms Proposition
(GNT1 ) O N ,1N ∈τ , Let {τ j : j ∈ J } be a family of NTSS on X . Then ∩ τ j is
A generalized neutrosophic topology on X .Furthermo re,
(GNT2 ) G  G ∈τ
1 2 for any G1 ,G 2 ∈ τ ,
∩τ τ j,s
j is the coarsest NT on X containing all.
(GNT3 ) G i ∈τ ∀{G i : i ∈ J } ⊆ τ Proof. Obvious
In this case the pair ( X ,τ ) is called a generalized
Definiti on
The complement of A (C (A) for short) of NOS . A
neutrosophic topological space (G NTS for short) and any is called a generalized neutrosophic closed set (G NCS for
neutrosophic set in τ is known as neuterosophic open set short) in X .
( NOS for short) in X . The elements of τ are called open Now, we define generalized neutrosophic closure and
generalized neutrosophic sets, A generalized neutrosophic interior operations in generalized neutrosophic topological
set F is closed if and only if it C (F) is generalized spaces:
neutrosophic open. Definiti on
Remark A generalized neutrosophic topological spaces are
very natural generalizations of intuitionistic fu zzy
Let ( X ,τ ) be G NTS and A = ( ) ( ) ( )
< x , µ A x , γ A x ,σ A x >
topological spaces allow more general functions to be be a G NS in X .
members of intuit ionistic fuzzy topology. Then the generalized neutrosophic closer and generalized
Example neutrosophic interio r of Aare defined by
Let X = x and {} G NCl ( A) = ∩{K : K is an NCS in X and A ⊆ K}
=A { x ,0.5,0.5,0.4 : x ∈ X } G NInt ( A) = ∪{G : G is an NOS in X and G ⊆ A}.It can
be also shown that
=B { x ,0.4,0.6,0.8 : x ∈ X } It can be also shown that NCl ( A) is NCS and NInt ( A) is
=D { x ,0.5,0.6,0.4 : x ∈ X } a G NOS in X
=C { x ,0.4,0.5,0.8 : x ∈ X } A is in X if and only if G NCl ( A) .
Then the family τ = {O n ,1n , A , B ,C , D } of G Ss in X is A is G N in X if and only if G NInt ( A) = A .
generalized neutrosophic topology on X Proposition
 132 A. A. Salama: Generalized Neutrosophic Set and Generalized Neutrosophic Topological Spaces

For any generalized neutrosophic set A in ( x ,τ ) we Definitions.

have
(a) G NCl (C ( A) = C (GNInt ( A),
(b) G NInt (C ( A)) = C (GNCl ( A)).
Proof. REFERENCES
Let A = {< x, µ A , σ A ,υ A >: x ∈ X } and [1] K. Atanassov, intuitionistic fuzzy sets, in V.Sgurev, ed.,Vii
suppose that the family o f generalized neutrosophic subsets ITKRS Session, Sofia(June 1983 central Sci. and Techn.
contained in A are indexed by the family if G NSS Library, Bulg. Academy of Sciences( 1984)).

contained in A are indexed by the family [2] K. Atanassov, intuitionistic fuzzy sets, Fuzzy Sets and
{ }
A = < x, µGi , σ G i ,υGi >: i ∈ J . Then we see that
Systems 20(1986)87-96.

{
GNInt ( A) = < x,∨ µ Gi ,∨σ G i ,∧υ Gi > and hence } [3] K. Atanassov, Review and new result on intuitionistic fuzzy
sets , preprint IM -MFAIS-1-88, Sofia, 1988.
{
C (GNInt ( A)) = < x,∧ µ Gi ,∨σ G i ,∨υ Gi > . Since } [4] C.L. Chang, Fuzzy Topological Spaces, J. M ath. Anal. Appl.
24 (1968)182-1 90.
C ( A) and µGi ≤ µ A and ν Gi ≥ ν A for each i∈J ,
[5] Dogan Coker, An introduction to intuitionistic fuzzy
we obtaining C ( A) . i.e
topological spaces, Fuzzy Sets and Systems. 88(1997)81-89.
{
GNCl (C ( A)) = < x,∧υ Gi ,∨σ G i ,∨ µ Gi > . Hence } [6] Reza Saadati, Jin HanPark, On the intuitionistic fuzzy
GNCl (C ( A) = C (GNInt ( A), follows immed iately topological space, Chaos, Solitons and Fractals
This is analogous to (a). 27(2006)331-344 .
Proposition [7] Florentin Smarandache , Neutrosophy and Neutrosophic
Let ( x ,τ ) be a G NTS and A , B be two neutrosophic Logic , First International Conference on Neutrosophy ,
Neutrosophic Logic , Set, Probability, and Statistics
sets in X . Then the following properties hold: University of New M exico, Gallup, NM 87301, USA(2002) ,
GNInt ( A) ⊆ A, smarand@unm.edu
A ⊆ GNCl ( A), [8] F. Smarandache. A Unifying Field in Logics: Neutrosophic
A ⊆ B ⇒ GNInt ( A) ⊆ GNInt ( B ), Logic. Neutrosophy, Neutrosophic Set, Neutrosophic
A ⊆ B ⇒ GNCl ( A) ⊆ GNCl ( B ), Probability. American Research Press, Rehoboth, NM , 1999.
GNInt (GNInt ( A)) = GNInt ( A) ∧ GNInt ( B), [9] A.A. Salama and S.A. AL-Blowi , NEUTROSOPHIC SET
GNCl ( A ∪ B ) = GNCl ( A) ∨ GNCl ( B ), and NEUTROSOPHIC TOPOLOGICAL SPACES, IOSR
Journal of M ath. ISSN:2278-5728.Vol.(3)
GNInt (1N ) = 1N , ISSUE4PP31-35(2012)
GNCl (O N ) = O N , [10] L.A. Zadeh, Fuzzy Sets, Inform and Control 8(1965)338-353.
Proof (a), (b) and (e) are obvious (c) follows fro m (a) and

View publication stats