Professional Documents
Culture Documents
Research Article
On Fuzzy Soft Sets
We further contribute to the properties of fuzzy soft sets as defined and studied in the work of Maji et al. ( 2001), Roy and Maji
(2007), and Yang et al. (2007) and support them with examples and counterexamples. We improve Proposition 3.3 by Maji et al.,
(2001) . Finally we define arbitrary fuzzy soft union and fuzzy soft intersection and prove DeMorgan Inclusions and DeMorgan
Laws in Fuzzy Soft Set Theory.
Copyright © 2009 B. Ahmad and A. Kharal. 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.
Maji et al. defined a fuzzy soft set in the following set (Θ, Ξ), where Ξ = Σ ∩ Ω, and for all ε ∈ Ξ, Θ(ε) =
manner. Λ(ε) or Δ(ε) (as both are same fuzzy set), and is written as
(Λ, Σ) (Δ, Ω) = (Θ, Ξ).
Definition 1 (see [6]). A pair (Λ, Σ) is called a fuzzy
soft set over X, where Λ : Σ → P(X) is a mapping We point out that generally Λ(ε) and Δ(ε) may not be
from Σ into P(X). identical. Moreover, Σ ∩ Ω must be nonempty to avoid the
degenerate case. Thus we revise Definition 6 as follows.
Definition 2. Let X be a universe and E a set of attributes.
Then the pair (X, E) denotes the collection of all fuzzy soft Definition 7. Let (Λ, Σ) and (Δ, Ω) be two fuzzy soft sets in
sets on X with attributes from E and is called a fuzzy soft
a fuzzy soft class (X, E) with Σ ∩ Ω =
/ φ. Then intersection of
class. two fuzzy soft sets (Λ, Σ) and (Δ, Ω) is a fuzzy soft set (Θ, Ξ),
where Ξ = Σ ∩ Ω, and for all ε ∈ Ξ, Θ(ε) = Λ(ε) ∧ Δ(ε). We
Definition 3 (see [6]). For two fuzzy soft sets (Λ, Σ) and write (Λ, Σ) (Δ, Ω) = (Θ, Ξ).
(Δ, Ω) in a fuzzy soft class (X, E), we say that (Λ, Σ) is a fuzzy
soft subset of (Δ, Ω), if The following example explains Definition 7.
Definition 4 (see [6]). The complement of a fuzzy soft set in the green surroundings, cheap .
(Λ, Σ) is denoted by (Λ, Σ)c and is defined by (Λ, Σ)c =
Consider the soft set (Λ, Σ) which describes the “cost of
(Λc , Σ), where Λc :Σ → P(X) is a mapping given by
the houses” and the soft set (Δ, Ω) which describes the
Λc (σ) = (Λ(¬σ))c , for all σ ∈ Σ.
“attractiveness of the houses.” Thus we take Σ, Δ ⊆ E as
Union of two fuzzy soft sets is defined by Maji et al. [6]
⎪
⎪
⎪ Λ(ε), if ε ∈ Σ − Ω, Λ costly = h0.5 , i0.2 , j0.7 , k1.0 ,
⎪
⎨
if ε ∈ Ω − Σ,
and is written as (Λ, Σ) (Δ, Ω) = (Θ, Ξ). Δ in the green surroundings = h0.9 , i0.3 , j0.4 , k0.6 ,
For a few basic properties of fuzzy soft union, we Δ cheap = h0.5 , i0.6 , j0.2 , k0.5 .
refer to [6, Proposition 3.2]. Moreover, we have some more
Then (Λ, Σ) (Δ, Ω) = (Θ, Ξ) where Ξ = Σ ∩ Ω = {cheap}.
properties.
Now if we use the definition of Maji et al., we get two different
Proposition 1. Let (Λ, Σ), (Δ, Ω), and (Θ, Ξ) be fuzzy soft sets values for Θ(cheap), that is,
in (X, E). Then one has the following: Θ cheap = Λ cheap
(1) (Λ, Σ) (Δ, Ω) = (Δ, Ω) (Λ, Σ), = h0.3 , i0.1 , j0.8 , k0.9
(5)
(2) (Λ, Σ) ((Δ, Ω) (Θ, Ξ)) = ((Λ, Σ) (Δ, Ω)) (Θ, Ξ), / h0.5 , i0.6 , j0.2 , k0.5
=
(Λ, Σ) (Δ, Ω) and (Δ, Ω)⊆
(3) (Λ, Σ)⊆ (Λ, Σ) (Δ, Ω), = Δ cheap .
(Δ, Ω) ⇒ (Λ, Σ) (Δ, Ω) = (Δ, Ω),
(4) (Λ, Σ)⊆ Therefore, by using [6, Definition 7], Θ ceases to be a
function as Λ(cheap) and Δ(cheap) are not identical and
Maji et al. defined the intersection of two fuzzy soft sets
so this definition is not applicable. However by using
as follows.
Definition 7, we have
Definition 6 (see [6]). Intersection of two fuzzy soft sets
For some basic properties of fuzzy soft intersection, we Then calculations show that
refer to [6, Proposition 3.2]. Moreover, we have some more
c
properties: (Λ, Σ) (Δ, Ω) = {¬e2 = {a0.8 , b0.8 , c0.3 } ,
Proposition 2. Let (Λ, Σ), (Δ, Ω), and (Θ, Ξ) be fuzzy soft sets ¬e3 = {a0.6 , b0.4 , c0.3 },
in a fuzzy soft class (X, E). Then one has following:
¬e4 = {a0.3 , b0.2 , c0 }}
(1) (Λ, Σ) (Λ, Σ) = (Λ, Σ),
/ {¬e2 = {a0.8 , b0.8 , c0.3 },
=
(2) (Λ, Σ) (Δ, Ω) = (Δ, Ω) (Λ, Σ),
¬e3 = {a0.6 , b0.4 , c0.3 },
(3) (Λ, Σ) (Δ, Ω)⊆
(Λ, Σ) and (Λ, Σ) (Δ, Ω)⊆
(Δ, Ω),
(12)
(Δ, Ω) ⇒ (Λ, Σ) (Δ, Ω) = (Λ, Σ),
(4) (Λ, Σ)⊆ ¬e4 = {a0.6 , b0.7 , c0.4 }}
(5) ((Λ, Σ) (Δ, Ω)) (Θ, Ξ) = (Λ, Σ) ((Δ, Ω) (Θ, Ξ)).
c
= (Λ, Σ) (Δ, Ω)c ,
In [6, Definition 3.6], it is shown that
c
(Λ, Σ) (Δ, Ω) = {¬e4 = {a0.6 , b0.7 , c0.4 }}
c = Φ,
Σ Φc = Σ.
(7)
The following example shows that these do not hold in / {¬e4 = {a0.3 , b0.2 , c0 }}
=
general.
c
= (Λ, Σ) (Δ, Ω)c .
Example 2. Let (X, E) be a fuzzy soft class, where
However, we partially establish identities (14) and (16) of
X = {a, b, c}, E = {e 1 , e 2 , e 3 , e 4 }, (8) [6, Proposition 3.3] as follows.
Θ(¬α) = Λc (¬α) ∧ Δc (¬α), (22) Example 4. Let X = {a, b, c} and E = {e1 , e2 , e3 , e4 } and
(Λ, Σ) and (Δ, Ω) fuzzy soft sets in a fuzzy soft class (X, E)
¬α ∈ Σ ∩ Ω.
Again suppose that (Λ, Σ) (Δ, Ω) = (Γ, Σ ∪ Ω). There- given as
fore,
c (Λ, Σ) = {e1 = {a0.2 , b0 , c0.1 }, e2 = {a0.1 , b1 , c0.4 } ,
c
(Λ, Σ) (Δ, Ω) = (Γ, Σ ∪ Ω)
e4 = {a0.4 , b0.7 , c1 }},
(23) (31)
= ( Γc , Σ∩Ω) = (Γc , Σ ∪ Ω) (Δ, Ω) = {e2 = {a0.9 , b0.2 , c0.6 }, e4 = {a0.9 , b0.4 , c0.7 }}.
Advances in Fuzzy Systems 5
Theorem 3. For the fuzzy soft sets (Λ, Σ) and (Δ, Σ) in a fuzzy (Λ3 , Σ3 ) = {e1 = {a0.8 , b0.4 , c0.3 }, e2 = {a0.6 , b0.7 , c0.9 }}.
soft class (X, E), one has the following: Calculations give
c
(1) (Λ, Σ)c (Δ, Σ)c = [(Λ, Σ) (Δ, Σ)] , (Λ1 , Σ1 ) (Λ2 , Σ2 ) (Λ3 , Σ3 ) ={e1 = {a0.9 , b0.6 , c0.8 },
c
(2) [(Λ, Σ) (Δ, Σ)] = (Λ, Σ)c (Δ, Σ)c .
e2 = {a0.6 , b0.7 , c0.9 },
Proof. (1) Consider
e3 = {a0.4 , b0.1 , c0.7 },
c c
(Λ, Σ) (Δ, Σ) = ( Λc , Σ) ( Δc , Σ) e4 = {a0.3 , b0.9 , c0.1 }}.
(33)
(41)
= ( Θ, Σ), say
Now, we generalize Definition 7 as follows.
where for all ¬α ∈Σ
Θ(¬α) = Λc (¬α) ∧ Δc (¬α). (34) Definition 9. Let F = {(Λi , Σi )|i ∈ I } be a family of fuzzy
soft sets in a fuzzy soft class (X, E), with i Σi =
/ φ. Then the
Again suppose that (Λ, Σ) (Δ, Σ) = (Γ, Σ). Therefore, intersectionof fuzzy soft sets in F is a fuzzy soft set (Θ, Ξ),
c where Ξ = i Σi and for all ε ∈ Ξ,
(Λ, Σ) (Δ, Σ) = (Γ, Σ)
c
(35) Θ(ε) = Λi (ε). (42)
c i
= ( Γ , Σ),
We may now generalize Theorem 2.
where
Γc (¬α) = [Γ(α)]c = [Λ(α) ∨ Δ(α)]c . (36) Theorem 4. Let S = {(Λi , Σi )|i ∈ I } be a family of fuzzy soft
sets in a fuzzy soft class (X, E). Then one has the following:
For all ¬α ∈Σ, we have
c c c c
(1) i (Λi , Σi )c ⊆ ( i (Λi , Σi ))c ,
Γ (¬α) = [Λ(α) ∨ Δ(α)] = Λ (¬α) ∧ Δ (¬α). (37)
(2) ( i (Λi , Σi ))c ⊆ i (Λi , Σi )c .
From (34) and (37), we obtain (2).
(2) Similar to (1). Finally, Theorem 3 may also be generalized.
6 Advances in Fuzzy Systems
Theorem 5. Let F = {(Λi , Σ)|i ∈ I } be a family of fuzzy soft [10] A. Rosenfeld, “Fuzzy groups,” Journal of Mathematical Analysis
sets in a fuzzy soft class (X, E). Then one has the following: and Applications, vol. 35, pp. 512–517, 1971.
[11] Z. Xiao, L. Chen, B. Zhong, and S. Ye, “Recognition for soft
information based on the theory of soft sets,” in Proceed-
(1) i (Λi , Σ)c = ( i (Λi , Σ))c ,
ings of the International Conference on Services Systems and
(2) ( i (Λi , Σ))c = i (Λi , Σ)c . Services Management (ICSSSM ’05), vol. 2, pp. 1104–1106,
Chongquing, China, June 2005.
5. Conclusion
The soft set theory proposed by Molodtsov offers a general
mathematical tool for dealing with uncertain and vague
objects. The researchers have contributed towards the fuzzifi-
cation of Soft Set Theory. This paper contributes some more
properties of fuzzy soft union and fuzzy soft intersection
as defined and studied in [6–8] and supports them with
examples and counterexamples. Arbitrary fuzzy soft union,
arbitrary fuzzy soft intersection have been defined. DeMor-
gan Inclusions and DeMorgan Laws have also been given for
an arbitrary collection of fuzzy soft sets. It is hoped that our
findings will help enhancing this study on fuzzy soft sets for
the researchers.
Acknowledgment
The authors gratefully acknowledge the comments of the
referee which led to the improvment of this paper.
References
[1] D. Molodtsov, “Soft set theory—first results,” Computers &
Mathematics with Applications, vol. 37, no. 4-5, pp. 19–31,
1999.
[2] P. K. Maji, A. R. Roy, and R. Biswas, “An application of soft
sets in a decision making problem,” Computers & Mathematics
with Applications, vol. 44, no. 8-9, pp. 1077–1083, 2002.
[3] P. K. Maji, R. Biswas, and A. R. Roy, “Soft set theory,”
Computers & Mathematics with Applications, vol. 45, no. 4-5,
pp. 555–562, 2003.
[4] D. Pei and D. Miao, “From soft sets to information systems,”
in Proceedings of the IEEE International Conference on Granular
Computing, vol. 2, pp. 617–621, 2005.
[5] D. Chen, E. C. C. Tsang, D. S. Yeung, and X. Wang, “The
parameterization reduction of soft sets and its applications,”
Computers & Mathematics with Applications, vol. 49, no. 5-6,
pp. 757–763, 2005.
[6] P. K. Maji, R. Biswas, and A. R. Roy, “Fuzzy soft sets,” Journal
of Fuzzy Mathematics, vol. 9, no. 3, pp. 589–602, 2001.
[7] A. R. Roy and P. K. Maji, “A fuzzy soft set theoretic approach
to decision making problems,” Journal of Computational and
Applied Mathematics, vol. 203, no. 2, pp. 412–418, 2007.
[8] X. Yang, D. Yu, J. Yang, and C. Wu, “Generalization of soft
set theory: from crisp to fuzzy case,” in Proceedings of the 2nd
International Conference of Fuzzy Information and Engineering
(ICFIE ’07), vol. 40 of Advances in Soft Computing, pp. 345–
354, 2007.
[9] T. Y. Lin, “A set theory for soft computing a unified view
of fuzzy sets via neighborhoods,” in Proceedings of the IEEE
International Conference on Fuzzy Systems, vol. 2, pp. 1140–
1146, New Orleans, La, USA, September 1996.
Advances in Artificial Intelligence
Special Issue on
Artificial Intelligence in Neuroscience and
Systems Biology: Lessons Learnt, Open Problems,
and the Road Ahead
Special Issue on
Fuzzy Logic Techniques for Clean Environment
Special Issue on
Machine Learning Paradigms for Modeling Spatial and
Temporal Information in Multimedia Data Mining