Available online at http://scik.org
J. Math. Comput. Sci. 7 (2017), No. 2, 280-291 ISSN: 1927-5307
ON (L,M)-FUZZY SOFT TOPOLOGICAL SPACES
O. R. SAYED1, E. ELSANOUSY2, Y. H. RAGHP2, YONG CHAN KIM3,∗
1Department of Mathematics, Faculty of Science, Assiut University, Assiut 71516, Eygpt 2Department of Mathematics, Faculty of Science, Sohag University, Sohag, 82524, Eygpt 3Department of Mathematics, Gangneung-Wonju National University, Gangneung, 25457, Korea
Copyright c2017 Sayed, Elsanousy, Raghp and Kim. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
Abstract. In this paper, the concepts of(L,M)-fuzzy soft topological spaces,(L,M)-fuzzy soft base and(L,M
)-fuzzy soft filter spaces were introduced and their properties were studied, whereLbe a completely distributive
lattice with 0 and 1 elements andMbe a strictly two-sided, commutative quantale lattice. Also, the relationships
between these concepts were investigated.
Keywords:(L,M)-fuzzy soft topological spaces;(L,M)-fuzzy soft base;(L,M)-fuzzy soft filter spaces.
2010 AMS Subject Classification:54A40, 03E72, 03G10, 06A15.
1. Introduction
In 1999, D. Molodtsov [29] initiated the theory of soft sets as a new mathematical tool for dealing with uncertainties. Also, he applied this theory to several directions (see, for example, [30],[31],[32]). The soft set theory has been applied to many different fields (see, for exam-ple, [1],[2],[6],[7],[10],[11], [21],[27],[33],[44],[39],[45]). Later, some researchers (see, for
∗Corresponding author
E-mail address: [email protected]
Received November 21, 2016; Published March 1, 2017
example, [3], [8], [19], [20], [28], [34], [40], [46]) introduced and studied the notion of soft topological spaces.
ˇSostak introduced a new definition of fuzzy topology in 1985 [41], which we will call”fuzzy topology on ˇSostak sense.” According to ˇSostak [41], these definitions, a fuzzy topology is a crisp subfamily of family of fuzzy sets and fuzziness in the concept of openness of a fuzzy set has not been considered, which seems to be a drawback in the process of fuzzification of the concept of topological spaces.
In this paper, we introduce the concepts of(L,M)-fuzzy soft topological spaces and(L,M )-fuzzy soft filter spaces in ˇSostak sense. We study their properties and discuss the relationships between these concepts.
2. Preliminaries
Definition 2.1[13]. Let(L,≤)be a poset.
(1) L is called a lattice, ifa∨b∈L,a∧b∈Lfor anya,b∈L.
(2) L is called a complete lattice, if∨S∈L,∧S∈Lfor anyS⊆L.
(3) L is called distributive, ifa∨(b∧c) = (a∨b)∧(a∨c), a∧(b∨c) = (a∧b)∨(a∧c)for anya,b,c∈L.
(4) L is called a complete distributive lattice (resp. a distributive lattice), if L is a complete lattice (resp. a lattice) and distributive.
Definition 2.2 [13]. Let L be a lattice with top element 1L and bottom element 0L and let
a,b∈L.Then b is called a complement element of a, ifa∨b=1L,a∧b=0L. Ifa∈Lhas a
complement element, then it is unique. We denote the complement element of a bya0.
Definition 2.3[13]. Let(L,≤)be a poset. Then
(1) L is called a Boolean lattice, if (i) L is a distributive lattice; (ii) L has 0L and 1L; (iii) each
a∈Lhas the complementa0∈L.
Definition 2.4 [14],[15],[35],[42]. A triple (L,≤,) is called a strictly two-sided commuta-tive quantale ( stsc-quantale, for short) if and only if it satisfies the following conditions:
(L1)(L,≤,∨,∧,1,0)is a completely distributive lattice where 1 is the universal upper bound and 0 is the universal lower bound.
(L2)(L,)is a commutative semigroup. (L3)x=x1 for eachx∈L.
(L4)is distributive over arbitrary joins, i.e.(W
i∈Γai)b= W
i∈Γ(aib).
Let(L,≤,)be a stsc-quantale. Then for eachx,y∈Lwe define(xy)≤z⇐⇒x≤(y→z).
The it satisfies Galois correspondence. i.e.(xy)≤zif and only ifx≤(y→z).
Definition 2.5 [37]. Let E be a set of parameters, X be an initial universe. A pair (f,E) is called a fuzzy soft set overX, if f is a mapping given by f :E →IX.We also denote(f,E)by
fE.The set of all fuzzy soft set is denoted byFS(X,E).
Definition 2.6 [26]. A fuzzy soft set fE on X is called a null fuzzy soft set and denoted by ˜0 if fe=0,for eache∈E.
Definition 2.7[4]. A fuzzy soft set fE onX is called an absolute fuzzy soft set and denoted by ˜1 if fe=1,for eache∈E.
Definition 2.8 [25]. Let E be a set of parameters, X be an initial universe, L be a complete Boolean lattice andA⊆E. An L-fuzzy soft set fA over (X,E)is a mapping fA:E →LX such that fA(e) =0 for alle6∈A. The set of allL-fuzzy soft set over(X,E)is denoted byL-FS(X,E).
In other words, anL-fuzzy soft set fE overX is a parameterized family of L-fuzzy sets in the
universeX.IfL= [0,1],then every L-fuzzy soft set is a fuzzy soft set.
(1) fAis said to by fuzzy soft subset ofgB,denoted by fAvgB if fA(e)⊆gB(e)for alle∈E,
that is fA(e)(x)≤gB(e)(x)for alle∈E,and for allx∈X.
Two L-fuzzy soft sets fA and gB over (X,E) are said to be equal, denoted by fA ∼=gB if
fAvgBandgBv fA.
(2) The union of fA andgB is alsoL-fuzzy soft sethC,defined byhC(e)∼= fA(e)∨gB(e)for
alle∈E,whereC=A∪B.Here we writehC= fAtgB.
(3) The intersection of fAandgBis alsoL-fuzzy soft sethC,defined byhC(e)∼= fA(e)∧gB(e)
for alle∈E,whereC=A∩B.Here we writehC= fAugB.
Definition 2.10[38]. The fuzzy soft set fA∈FS(X,E)is called fuzzy soft point ifA={e} ⊆E
and fA(e)is a fuzzy point in X i.e. there exists x∈X such that fA(e)(x) =t (0<t ≤1)and
fA(e)(y) =0 for ally∈X\ {x}.We denote this fuzzy soft point fA=etx={(e,xt)}and the set of all fuzzy soft point bySPte(X,E).
Definition 2.11[38]. Letetx,fA∈FS(X,E).we say thatetx∈efAread asetxbelongs to the fuzzy soft set fAif for the elemente∈A,t≤ fA(e)(x).
Definition 2.12[5]. Let(X,E)and (Y,E∗)be classes of fuzzy soft sets over X andY with attributes fromEandE∗respectively. Letρ:X→Y andψ:E→E∗be mapping. Then a fuzzy
soft mapping f = (ρ,ψ):(X,E)→(Y,E∗)would be defined as follows
For a fuzzy soft setFA in (X,E), f(FA) is a fuzzy soft set in(Y,E∗)obtained as follows: for
β ∈ψ(E)⊆E∗andy∈Y,
f(FA)(β)(y) =
∨x∈ρ−1(y) ∨α∈ψ−1(β)FA(α)
(x),
if ρ−1(y)6=φ, ψ−1(β)6=φ,
0, if otherwise.
f(FA)is called fuzzy soft image of the fuzzy soft setFA.
(X,E)→(Y,E∗) a fuzzy soft mapping. Then for a fuzzy soft set gB in (Y,E∗) f−1(gB) is a fuzzy soft set in(X,E)obtained as follows: forα ∈ψ−1(E∗)⊆Eandx∈E,
f−1(gB)(α)(x) =gB(ψ(α))(ρ(x)).
f−1(gB)is called a fuzzy soft inverse image of the fuzzy soft setgB.
3.
(
L
,
M
)
-fuzzy soft topological spaces
LetLbe a completely distributive lattice with 0 and 1 elements andMbe a strictly two-sided, commutative quantale lattice.
Definition 3.1.A mapT :L-FS(X,E)−→Mis called an(L,M)-fuzzy soft topology on(X,E) if it satisfies the following conditions:
(LSO1)T (e0) =T(e1) =1.
(LSO2)T (fA1ufA2)≥T(fA1)T (fA2),for all fA1,fA2 ∈L-FS(X,E).
(LSO3)T (F
i∈Λ fAi ≥
V
i∈Λ)T(fAi),for all fAi ∈L-FS(X,E).
The triple(X,E,T )is called(L,M)-fuzzy soft topological space.
LetT1andT2be(L,M)-fuzzy soft topologies on(X,E).We say thatT1is finer thanT2(T2
is coarser thanT1),denoted byT2vT1,ifT2(fA)≤T1(fA),for all fA∈L-FS(X,E).
Let (X,E,T1) and (Y,E∗,T2) be (L,M)-fuzzy soft topological spaces. A soft map φ :
(X,E,T1)→(Y,E∗,T2) is called LFS-continuous if and only if T2(fA)≤T1(φ←(fA)), for
all fA∈L-FS(Y,E∗).
Remark 3.2. (1) If(L= [0,1],∧)andM={0,1},(L,M)-fuzzy soft topological space is fuzzy soft topological space [37].
Definition 3.3. A map F :L-FS(X,E)−→M is called an (L,M)-fuzzy soft filter on (X,E) if it satisfies the following conditions:
(LSF1)F(e0) =0 andF(e1) =1.
(LSF2)F(fA1ufA2)≥F(fA1)F(fA2),for all fA1,fA2 ∈L-FS(X,E).
(LSF3) If fA1 v fA2 we haveF(fA1)≤F(fA2).
The triple(X,E,F)is called an(L,M)-fuzzy soft filter space.
Theorem 3.4.Let(X,E,F)be an(L,M)-fuzzy soft filter space. We define a mappingTF :L
-FS(X,E)−→Mas follows:
TF(fA) =
F(fA), if fA6∼=e0,
1, if fA∼=e0.
Then(X,E,TF)is an(L,M)-fuzzy soft topological space.
Proof. We show the condition (LSO3). For fAi ∈L-FS(X,E), since fAi vF
i∈ΓfAi for all i∈Γ,we haveF(fAi)≤F(
F
i∈ΓfAi),so
^
i∈Γ
TF(fAi)≤TF(
G
i∈Γ
fAi).
Definition 3.5. A mapB:L-FS(X,E)→M is called an(L,M)-fuzzy soft base on(X,E)if it satisfies the following conditions:
(LSB1)B(e0) =B(e1) =1.
(LSB2)B(fA1ufA2)≥B(fA1)B(fA2),for all fA1,fA2∈L-FS(X,E).
Theorem 3.6. LetBbe an(L,M)-fuzzy soft base on(X,E).Define a mapTB:L-FS(X,E)→
Mas follows:
TB(fA) =_{^
i∈Γ
B(fAi): fA=G
i∈Γ
fAi}.
Proof.(1) It is trivial from the definition ofTB.
(2) For all families {fAi : fA =F
i∈∆ fAi} and {gBj : gB =
F
j∈ΓgBj} there exists a family
{fAiugBj}such that:
fAugB= ( G
i∈∆
fAi)u(
G
j∈Γ
gBi) =
G
i∈∆,j∈Γ
(fAiugBi).
It implies
TB(fAugB)≥ ^
i∈∆,j∈Γ
B(fAiugBi)
≥ ^
i∈∆,j∈Γ
(B(fAi)B(gBj))(by Definition 3.5 (LSB2))
≥(^
i∈∆
B(fAi))(^
j∈Γ
B(gBj)).
By definition 2.4 (L4) we haveTB(fAugB)≥TB(fA)TB(gB).
(3) LetJibe the collection of all index setsKisuch that{fAik∈L-FS(X,E):fAi=
F
k∈Ki fAik}
with fA=F
i∈Γ fAi =
F i∈Γ
F
k∈Ki fAik.For eachi∈Γand eachψ ∈Πi∈ΓJiwithψ(i) =Kiwe
have
TB(fA)≥ ^
i∈Γ
(^
k∈Ki
B(fAik)).
(1)
Putai,ψ(i)=V
k∈KiB(fAik).From (3.1) we have
TB(fA) ≥ _
ψ∈Πi∈Γ
(^
i∈Γ
ai,ψ(i))
(SinceLis a completely distributive lattice,)
=^
i∈Γ
( _
Mi∈Ji
ai,Mi) =
^
i∈Γ
( _
Mi∈Ji
( ^
m∈Mi
B(fAim)))
=^
i∈Γ
TB(fAi).
IfT ≥Bfor every fA=F
i∈∆ fAi we have T(fA)≥ ^
i∈∆
T (fAi)≥ ^ i∈∆
B(fAi).
ThusT wTB.
From Theorem 3.6, we can easily prove the following lemma.
Lemma 3.7. Let T be an (L,M)-fuzzy soft topology on (X,E) and B be an (L,M)-fuzzy soft base on(Y,E∗).Then a mapφ :(X,E,T)→(Y,E∗,TB)isLFS-continuous if and only if
T (φ←(fA))≥B(fA)for each fA∈L-FS(Y,E∗).
Theorem 3.8. Let {(Xi,Ei,Ti) :i∈Γ} be a family of (L,M)-fuzzy soft topological spaces,
X a set, E be a set of parameters and for eachi∈Γ, φi:(X,E)→(Xi,Ei) a fuzzy soft map.
Define a mapB:L-FS(X,E)→Mon(X,E)by:
B(fA) =_{nj=1Tkj(gBk j): fA=u
n
j=1φk←j (gBk j)}
whereW
is taken over all finite subsetsK={k1, ...,kn} ⊂Γ.
Then: (1)Bis an(L,M)-fuzzy soft base on(X,E).
(2) The (L,M)-fuzzy soft topology TB generated by B is the coarsest (L,M)-fuzzy soft topology on(X,E)for which allφi,i∈ΓareLFS-continuous maps.
Proof.(1)(LSB1)Since fA=φi←(fA)for each fA∈ {e0,e1}we haveB(e0) =B(e1) =1.
(LSB2) For all finite subsetsK={k1, ...,kp}andJ={j1, ...jq}ofΓsuch that
fA=uip=1φk←i (fAki), gB=uqi=1φ←ji (gBji),
we have
fAugB= (uip=1φk←i (fAki))u uqi=1φ←ji (gBji).
Furthermore, we have for eachk∈K∩J,
φk←(fAk)uφ
←
k (gBk) =φ
←
Put fAugB=umi∈K∪Jφm←i(hCmi)where
hCmi =
fA
mi, if mi∈K−(K∩J), gBmi, if mi∈J−(K∩J),
fA
miugBmi, if mi∈K∩J.
We have
B(fAugB)≥ j∈K∪JTJ(hCj)
≥(mi∈K−K∩JTmi(fAmi))(i=1Tmi∈J−K∩J(gBmi))
(mi∈K∩JTmi(fA
miugBmi))
≥(ip=1Tji(fAmi)(
q
i=1Tji(gBji)).
By Definition 2.4 (L4) we haveB(fAugB)≥B(fA)B(gB).
(2) For each fAi ∈L-FS(Xi,Ei),one family{φi←(fAi)}andi∈Γwe have
TB(φi←(fAi))≥B(φ
←
i (fAi))≥Ti(fAi).
Thus, for each i∈Γ,φi:(X,E,TB)→(Xi,Ei,Ti) is LFS-continuous. Let φi:(X,E,T0)→
(Xi,Ei,Ti) is LFS-continuous, that is for eachi∈Γ and fAi ∈L-FS(Xi,Ei), T
0(φ←
i (fAi))≥ Ti(fAi).For all finite subsetsK={k1, ...kp}ofΓsuch that fA=
p
i=1φk←i (fAki)we have
T 0(f
A) ≥ ip=1T 0(φk←i (fAki))≥ ip=1Tki(fAki).
It impliesT0(fA)≥B(fA)for each fA∈L-FS(X,E).By Theorem 3.6T 0≥TB.
Example 3.9. LetX ={x,y} be a set,E ={e1,e2,e3} be a set of parameters andL=M= [0,1] a completely distributive lattice. Define a binary operation on M= [0,1] by xy= max{0,x+y−1}.Then([0,1],≤,)is a stsc-quantale. LetgB,hC∈L-FS(X,E)be defined as follows:
gB={g(e1) ={(x,0.6),(y,0.3)}, g(e2) =0, g(e2) =0}
Then we have
gBuhC={(gBuhC)(e1) ={(x,0.5),(y,0.3)},
(gBuhC)(e2) =0,(gBuhC)(e2) =0}
gBthC={(gBthC)(e1) ={(x,0.6),(y,0.7)},
(gBthC)(e2) =0,(gBthC)(e2) =0}.
We define an(L,M)-fuzzy soft topologyT :L-FS(X,E)→[0,1]as follows:
T (fA) =
1, if fA∼=e0 ore1,
0.8, if fA∼=gB,
0.4, if fA∼=hC,
0.6, if fA∼=gBthC,
0.2, if fA∼=gBuhC,
0, otherwise.
Conflict of Interests
The authors declare that there is no conflict of interests.
REFERENCES
[1] H. Aktas and N. Caˇgman, Soft sets and soft groups, Inf. Sci., 177(2007), 2726-2735.
[2] M. I. Ali, F. Feng, X. Liu, W. K. Min, and M. Shabir,On some new operations in soft set theory, Comput.
Math. Appl., 57 (2009), 1547-1553.
[3] A. Ayg¨unoglu, H. Ayg¨un, Some notes on soft topological spaces, Neural. Comput. Appl., 21(1) (2012),
113-119.
[4] A. Ayg¨unoglu, V. Cetkin, H. Aygun, An introduction to fuzzy soft topological spaces, Hacettepe Journal Of
Mathematics and Statistics, 43(2) (2014), 193-204.
[5] Banashree Bora, On Fuzzy Soft Continuous Mapping, International Journal for Basic Sciences and Social
Sciences, 1(2) (2012), 50-64.
[6] N. Caˇgman, S. Enginoglu, Soft set theory and uni-int decision making, Eur. J. Oper. Res., 207 (2010),
848-855.
[7] N. Caˇgman, S. Enginoglu, Soft matrix theory and its decision making, Comput. Math. Appl., 59 (2010),
3308-3314.
[9] C.L. Chang, fuzzy topological spaces, J. Math. Anal., 24 (1968), 182-190.
[10] D. Chenman, E.C.C. Tsang, D.S. Yeung, X. Wang, The parameterization reduction of soft sets and its
appli-cations, Comput. Math. Appl., 49 (2005), 757-763.
[11] F. Feng, Y.B. Jun, X.Z. Zhao, Soft semiring, Comput., Math., Appl., 56 (2008), 2621-2628.
[12] J.A. Goguen, The fuzzy tychonoff theorem, J. Math. Anal. Appl., 43 (1973), 182-190.
[13] B.A. Davey, H.A. Priestley, Introduction to Lattices and Order, Cambridge University Press, Cambridge,
1990.
[14] U. H¨ohle, Monoidal closed categories, weak topoi and generalized logics, Fuzzy sets and Systems, 42 (1991),
15-35.
[15] U. H¨ohle, Many valued topology and its applications, Kluwer Academic Publisher, Boston (2001).
[16] U. H¨ohle, S.E. Rodabaugh, Mathematics of fuzzy sets: Logic, Topology, and Measure Theory, Handbook of
fuzzy sets series vol. 3, Kluwer Academic Publisher, Dordrecht, (1999).
[17] U. H¨ohle, Upper semicontinuous fuzzy sets and applications, J. Math. Anal. Appl. 78 (1980), 659-673.
[18] U. H¨ohle, A. ˇSostak, Axiomatic foundations of fixed-basis fuzzy topology, in: U. H¨ohle, S.E. Rodabaugh
(Eds.), Mathematics of Fuzzy Sets: Logic, Topology, and Measure Theory, Handbook of Fuzzy Sets Series,
vol. 3, Kluwer Academic Publishers, Dordrecht, 1999, pp. 123-272.
[19] S. Hussain, B. Ahmad, Some properties of soft topological spaces, Comput. Math. Appl., 62 (2011),
4058-4067.
[20] K. Kannan, Soft generalized closed in soft topological spaces, J. Theo. Appl. Inf. Techn., 37 (2012), 17-21.
[21] O. Kzanci, S. Yilmaz, S. Yamak, Soft sets and soft BCH-Algebras, Hacet. J. Math. Stat., 39 (2010), 205-2017.
[22] J.L. Kelley, General topology, Van Nostrand, New York, 1955.
[23] T. Kubiak, On fuzzy topologies, Ph.D. Thesis, Adam Mickiewicz University, Poznan, Poland, 1985.
[24] Y. M. Liu, M.K. Luo, fuzzy topology, World Scientific, Singapore, 1998.
[25] Z. Li, D. Zheng, H. Jing,L- fuzzy soft sets based on complete boolean lattices, J. computers and mathematics
with applications, 64 (2012), 2558-2574.
[26] P. K. Maji, R. Biswas, A.R. Roy, Fuzzy soft sets, Journal of fuzzy Mathematics, 9 (3) (2001), 589-602.
[27] P. Majumdar, S.K. Samanta, Similarity measure of soft sets, New. Math. Nat. Comput., 4 (2008), 1-12.
[28] W.K. Min, A note on soft topological spaces, Comput. Math. Appl., 62 (2011), 3524-3528.
[29] D. Molodtsov, Soft set theory-First results, Comput. Math. Appl., 37(4-5) (1999) 19-31.
[30] D. Molodtsov, The description of a dependence with the help of soft sets, J.Comput. Sys. Sc. Int., 40 (2001),
977-984.
[31] D. Molodtsov, The theory of soft sets, (in Russian), URSS Publishers, Moscow, (2004).
[32] D. Molodtsov, V.Y. Leonov, D.V. Kovkov, Soft sets technique and its application, Nech. Siste. Myagkie
[33] D. Pei, D. Miao, From soft sets to information systems, In: Hu, X. Liu Q. Skowron A. Lin T. Y. Yager R. R.
Zhang B., eds., Proceedings of Granular Computing IEEE, 2 (2005), 617-621.
[34] Peyghan E., Samadi B., and Tayebi A., About soft set topological spaces, J. New Results in Sci., (2) (2013),
60-75.
[35] S.E. Rodabaugh, E.P. Klement, Topological and algebraic structures in fuzzy sets, The Handbook of
re-cent developments in the Mathematics of Fuzzy Sets, Trends in Logic, 20 Kluwer Academic Publishers
(Boston/Dordrecht/London) (2003).
[36] S.E. Rodabaugh, Categorical foundations of variable-basis fuzzy topology, in: U. Hohle, S.E. Rodabaugh
(Eds.), Mathematics of Fuzzy Sets: Logic, Topology, and Measure Theory, Handbook of Fuzzy Sets Series,
vol. 3, Kluwer Academic Publishers, Dordrecht, 1999, pp. 273-388.
[37] S. Roy, S.K. Samanta, A note on fuzzy soft topological spaces, Annals of Fuzzy Mathematics and Informatics,
3(2) (2012), 305-311.
[38] A. Serkan, Z. Idris , On fuzzy soft topological spaces, Annals of Fuzzy Mathematics and Informatics, 5(2),
(2013) 377-386.
[39] M. Shabir, M. Naz, On soft topological spaces, Comput. Math. Appl., 61, (2011), 1786-1799.
[40] Y.C. Shao, K. Qin, The lattice structuer of the soft groups, Procedia Engineering, 15 (2011), 3621-3625.
[41] ˇSostak A.P. On a fuzzy topological structure,Suppl.Rend.Circ.Matin.Pulerms Ser.II11, (1985) 89-103.
[42] E. Turunen, Mathematics behind fuzzy logic, A Springer-Verlag Co., NewYork (1999).
[43] G. J. Wang, Theory of L-Fuzzy topological spaces, Shanxi Normal University Press, Xian, 1988 (in Chinese).
[44] P. Zhu, Qiaoyanwen, Operations on soft sets revisted, J. Applied Math., 2013 (2013), Article ID 105752, 7
pages.
[45] Y. Zou, Z. Xiao, Data analysis approaches of soft sets under incomplete information, Knowl. Base. Syst., 21
(2008), 941-945.
[46] I. Zorlutuna, M. Akdag, W.K. Min, S. Atmaca, Remarks on soft topological spaces, Ann. Fuzzy Math.