Abstract
In this paper, it is shown that an L-fuzzy soft set on X with a set E of parameters can be regarded as an L X -fuzzy set on E, and it can also be regarded as an L E -fuzzy set on X. Moreover an L E -fuzzy set on X can also be regarded as an L-fuzzy sets on E × X. In particular, a soft set on X with a set E of parameters actually can be regarded as a 2 E -fuzzy set or a crisp subset of E × X. This shows that the concept of (fuzzy) soft set is redundant. Further it is shown that the notions of soft groups, soft rings and fuzzy soft semigroups are respectively special cases of the corresponding L-fuzzy groups, L-fuzzy rings and L-fuzzy semigroups. Therefore, theoretical workers should stop working in these restrictive and complicated programs, while applied workers should transfer the need or appropriateness of (fuzzy) soft set notions to lattice-valued fuzzy sets or fuzzy sets of type 2.
Introduction
In 1965, Zadeh [43] introduced the notion of fuzzy sets. In 1967, Goguen [17] generalized fuzzy sets to L-fuzzy sets. In 1975, Zadeh further introduced the notion of fuzzy sets of type n in [44]. In 1968, Chang [9] applied fuzzy set theory into topology and gave the definition of fuzzy topologies. In 1971, Rosenfeld applied fuzzy set theory into algebra and gave the definition of fuzzy group.
In order to generalize fuzzy sets, Molodtsov [27] initiated the theory of soft sets, whose aim is to provide a new mathematical tool for dealing with some uncertainties that traditional tools can not handle efficiently. In [23], Maji et al. combined fuzzy sets and soft sets, and introduced fuzzy soft sets. To continue the investigation on fuzzy soft sets, Ahmat and Kharal [3] presented some more properties of fuzzy soft sets.
Research works on (fuzzy) soft set theory and their applications are progressing rapidly in various fields, including topology [6, 41], algebra [1, 42]. In particular, soft sets and fuzzy soft sets have been extensively applied to decision making [2, 47], and so on. Moreover soft sets and fuzzy soft set are also applied to rough sets and interval-valued fuzzy sets [29, 49].
As an application of fuzzy soft sets, Tanay et al. [40] introduced the topological structure of fuzzy soft sets, which is called fuzzy soft topology. Later, Roy et al. [33] and Varol et al. [41] independently modified the definition of fuzzy soft sets and redefined fuzzy soft topology. Subsequently, Çetkin and Aygün [8] began to study other fuzzy soft topological structures in the context of fuzzy soft topological spaces.
As pointed out in [37, 38], soft topologies and fuzzy soft topologies are redundant and unnecessarily complicated in theoretical sense.
In 2007, Aktaş and Çaǧan introduced the notion of soft groups in [4]. In 2010, Acar, Koyuncu and Tanay introduced the notion of soft rings in [1]. In 2011, Yang introduced the notion of fuzzy soft semigroups and fuzzy soft ideals in [42]. Although (fuzzy) soft set approach has been applied to algebra and decision making and so on, there is one major question concerning the theoretical side of these programs of research:
It is the purpose of this paper to resolve this question. It is pointed out that both soft sets and fuzzy soft sets are redundant. Further the notions of fuzzy soft semigroups, fuzzy soft groups and fuzzy soft rings are redundant.
Preliminaries
Let X be an initial universe set, E be a set of parameters and L be a complete lattice.
A ≤ B ⇔ A (x) ≤ B (x) for all x ∈ X. (∨ i∈ΩA
i
) (x) = ∨ i∈ΩA
i
(x) for all x ∈ X. (∧ i∈ΩA
i
) (x) = ∧ i∈ΩA
i
(x) for all x ∈ X.
It is easy to check that (L X , ≤) is also a complete lattice.
In this paper, it is worth noting that we will not distinguish a crisp set from its characteristic function.
One can prove [16, 32] that A is an L-fuzzy subsemigroup if and only if, for any x ∈ S, A (xy) ≥ A (x) ∧ A (y).
(1) A (xy) ≥ A (x) ∧ A (y).
(2) A (x-1) ≥ A (x).
(1) μ≢0.
(2) μ (x - y) ≥ μ (x) ∧ μ (y) for every x, y in R.
(3) μ (xy) ≥ μ (x) ∧ μ (y) for every x, y in R.
A is an L-fuzzy subgroup of G.
∀a ∈ L, A[a] is a subgroup of G, where A[a] = {g ∈ G ∣ A (g) ≥ a}.
For all nonzero coprime element a in L, A[a] is a subgroup of G.
Researchers originally defined soft sets with respect to the subsets of the parameter set E. That is to say, for a soft set (f, D), the domain of the mapping f is D, which is a subset of E. This way causes some troubles sometimes. In order to study similarity measure of soft set, Majumdar and Samanta [25] extended a soft set (f, D) to a soft set type (f, E) and obtain the following definition.
Analogous to the above ideas, the definition of “fuzzy soft set” was presented respectively in [33, 41] as follows.
In [33, 41], partial orders and algebraic operations of fuzzy soft sets are defined as follows.
f
A
is called a fuzzy soft subset of g
B
, if f
A
(e) ≤ g
B
(e) for all e ∈ E, written as f
A
⊑ g
B
. f
A
and g
B
are said to be equal, denoted by f
A
= g
B
, if f
A
⊑ g
B
and g
B
⊑ f
A
. The union of f
A
and g
B
, denoted by f
A
⊔ g
B
, is the fuzzy soft set hA∪B defined by hA∪B (e) = f
A
(e) ∨ g
B
(e) for all e ∈ E. That is, hA∪B = f
A
⊔ g
B
. The intersection of f
A
and g
B
, denoted by f
A
⊓ g
B
, is the fuzzy soft set hA∩B defined by hA∩B (e) = f
A
(e) ∧ g
B
(e) for all e ∈ E. That is, hA∩B = f
A
∧ g
B
.
Soft sets and fuzzy soft sets as L-fuzzy sets
Definition 2.11 can be easily generalized to L-fuzzy setting as follows.
Let f, g ∈ (L
X
)
E
. f is said to be an L-fuzzy soft subset of g, denoted by f ⊑ g, if f (e) ≤ g (e) for all e ∈ E. The union f of a family of L-fuzzy soft sets {f
j
∣ j ∈ J} is defined by
The intersection f of a family of L-fuzzy soft sets {f
j
∣ j ∈ J} is defined by
It is easy to check that ((L
X
)
E
, ⊑ , ⊔ , ⊓) is a complete lattice.
From Remark 3.2 we know that (L X ) E is exactly the set of all L X -fuzzy sets on E, the operations ⊑, ⊔ and ⊓ are exactly the operations of L X -fuzzy sets on E. Therefore an L-fuzzy soft set (in particular, fuzzy soft set and soft set) is exactly an L X -fuzzy sets on E. Next we shall prove that an L X -fuzzy sets on E can actually be regarded as an L-fuzzy set on E × X.
∀f ∈ (L
X
)
E
, ∀ x ∈ X, ∀e ∈ E and F ∈ (L
E
)
X
,
Now we prove that φ : (L X ) E → (L E ) X is a complete lattice isomorphism and its inverse mapping is ψ : (L E ) X → (L X ) E .
In fact, ∀f ∈ (L
X
)
E
, ∀ x ∈ X, ∀e ∈ E and ∀F ∈ (L
E
)
X
, we have the following two equalities.
Considering the preservation of arbitrary ⊔ and arbitrary ⊓, let {f
j
∣ j ∈ J} ⊆ (L
X
)
E
. Denote f = ⊔ j∈Jf
j
and g = ⊓ j∈Jf
j
. Then we have
(2) Next we prove the following isomorphism.
∀F ∈ (L
E
)
X
, ∀ x ∈ X, ∀e ∈ E and ∀G ∈ LE×X,
When L = [0, 1], we can obtain the following result.
In particular, when L = {0, 1} =
Soft groups and fuzzy soft groups as L-fuzzy groups
In this section, we shall prove that soft groups and fuzzy soft groups can be regarded as special cases of L-fuzzy groups.
(Sufficency). Suppose that φ (F) is a 2 E -fuzzy subgroup of G. Then for all a ∈ 2 E , φ (F) [a] is a subgroup of G. Especially φ (F) [{e}] is a subgroup of G for all e ∈ E. By φ (F) [{e}] = F (e) we know that F (e) is a subgroup of G for all e ∈ E. Hence (F, A) is a soft group of G.□
Analogous to Theorem 2.7 we have the following theorem.
A is an L-fuzzy subring of G.
∀a ∈ L, A[a] is a subring of G.
For all nonzero coprime element a in L, A[a] is a subring of G.
By Theorem 4.5 and analogous to Theorem 4.4 we can obtain the following result.
Analogously we can obtain the following theorem.
Conclusions
As judged by the above criteria, we claim that a soft set f on X with a set E of parameters is exactly a 2 E -fuzzy sets on X and a fuzzy soft set on X with a set E of parameters is exactly a [0, 1] E -fuzzy sets on X, i.e., a fuzzy set of type 2. The notions of soft groups, soft rings and fuzzy soft semigroups are special cases of the corresponding L-fuzzy groups, L-fuzzy rings and L-fuzzy semigroups. Therefore, theoretical workers should stop working in these restrictive and complicated programs, while applied workers should transfer the need or appropriateness of (fuzzy) soft set notions to lattice-valued fuzzy sets or type 2 fuzzy sets.
Footnotes
Acknowledgments
This work is supported by the National Natural Science Foundation (11871097).
