The Scientific World Journal

The Scientific World Journal / 2014 / Article

Research Article | Open Access

Volume 2014 |Article ID 192957 | 11 pages | https://doi.org/10.1155/2014/192957

On Some Nonclassical Algebraic Properties of Interval-Valued Fuzzy Soft Sets

Academic Editor: Muhammad I. Ali
Received08 Feb 2014
Accepted30 Jun 2014
Published20 Jul 2014

Abstract

Interval-valued fuzzy soft sets realize a hybrid soft computing model in a general framework. Both Molodtsov’s soft sets and interval-valued fuzzy sets can be seen as special cases of interval-valued fuzzy soft sets. In this study, we first compare four different types of interval-valued fuzzy soft subsets and reveal the relations among them. Then we concentrate on investigating some nonclassical algebraic properties of interval-valued fuzzy soft sets under the soft product operations. We show that some fundamental algebraic properties including the commutative and associative laws do not hold in the conventional sense, but hold in weaker forms characterized in terms of the relation . We obtain a number of algebraic inequalities of interval-valued fuzzy soft sets characterized by interval-valued fuzzy soft inclusions. We also establish the weak idempotent law and the weak absorptive law of interval-valued fuzzy soft sets using interval-valued fuzzy soft J-equal relations. It is revealed that the soft product operations and of interval-valued fuzzy soft sets do not always have similar algebraic properties. Moreover, we find that only distributive inequalities described by the interval-valued fuzzy soft L-inclusions hold for interval-valued fuzzy soft sets.

1. Introduction

In recent years, uncertainty modelling has become an important research topic in computational intelligence and related fields. It is worth noting that uncertainty is multifaceted and as such cannot be captured within a single mathematical framework. In response to this fact, a number of different approaches such as probability theory, fuzzy sets [1], and rough sets [2] have been developed, which are capable of addressing various types of uncertainties from differing viewpoints including randomness, gradualness, and granulation, respectively. Molodtsov [3] proposed soft set theory as a generic mathematical model for dealing with uncertainty from a parameterization point of view in about a decade ago. Since then there has been a rapid development in this theory and its applications to algebraic structures [410], topology [11, 12], knowledge acquisition [13], decision making [14], and others [15, 16]. Soft sets are also closely related to many other soft computing models [1719]. Algebraic operations of soft sets were initiated by Molodtsov [3] and systematically investigated by Maji et al. [20]. Ali et al. [21] defined some new operations in soft set theory and further studied algebraic structures of soft sets associated with these new operations in [22].

On the other hand, some researchers considered extending soft sets with fuzzy set theory [2327]. Yang et al. [25] introduce interval-valued fuzzy soft sets which realize a common extension of both Molodtsov’s soft sets and interval-valued fuzzy sets. There is no doubt that soft subsets play a fundamental role in soft set theory. Maji et al. [20] initiated the notion of soft subsets in a very strict manner. Other types of soft subsets were also proposed by relaxing the conditions for defining Maji’s soft subsets in [18, 28, 29]. Feng and Li [30] investigated these different types of soft subsets and the related soft equal relations in a systematic way. They also considered the free soft algebras associated with soft product operations.

The present study aims to investigate the above line of exploration in the more general setting of interval-valued fuzzy soft sets. We will investigate some nonclassical algebraic properties of interval-valued fuzzy soft sets with respect to soft product operations, which are distinct from those of interval-valued fuzzy sets. Note that some of the results obtained here are natural extensions to those corresponding results concerning Molodtsov’s soft sets or Maji’s fuzzy soft sets.

The remainder of the present paper is organized as follows. Section 2 first recalls some basic notions related to interval-valued fuzzy soft sets. Section 3 mainly discuss four types of interval-valued fuzzy soft subsets and the corresponding interval-valued fuzzy soft equal relations. Generalized commutative laws and generalized associative laws of interval-valued fuzzy soft sets are obtained as well. In Section 4, we propose many algebraic inequalities of IVF soft sets and use them to explore some nonclassical algebraic properties of interval-valued fuzzy soft sets with respect to soft product operations. Finally, the last section gives conclusions to complete this study and suggests potential directions for future work.

2. Preliminaries

Let be an initial universe of objects and let (or simply ) be the set of all parameters associated with objects in , called a parameter space. In most cases parameters are considered to be attributes, characteristics, or properties of objects in . The pair is also known as a soft universe. We denote the power sets of by . The concept of soft sets is defined as follows.

Definition 1 (see [3]). A pair is called a soft set over , where and is a set-valued mapping, called the approximate function of the soft set .

By means of parametrization, a soft set produces a series of approximate descriptions of a complicated object being perceived from various points of view. In other words, a soft set over the universe can be regarded as a parameterized family of subsets of the universe . For any parameter , the subset may be interpreted as the set of -approximate elements [3]. Note that may be arbitrary: some of them may be empty, and some may have nonempty intersections [3].

Maji et al. [23] initiated the study on hybrid structures involving both fuzzy sets and soft sets. They introduced the notion called fuzzy soft sets, which can be seen as a fuzzy generalization of Molodtsov’s soft sets.

Definition 2 (see [23]). Let be the set of all fuzzy subsets in a universe . Let be a set of parameters and . A pair is called a fuzzy soft set over , where is a mapping given by .

In the above definition, fuzzy subsets in the universe are used as substitutes for the crisp subsets of . Hence, it is clear that every (classical) soft set may be considered as a fuzzy soft set. Using the standard notations, the fuzzy set can be written as .

Now we consider the set and the order relation given by Then is a complete lattice. An interval-valued fuzzy set on a universe is a mapping . The union, intersection, and complement of interval-valued fuzzy sets can be obtained by canonically extending fuzzy set-theoretic operations to intervals. The set of all interval-valued fuzzy sets on is denoted by .

Definition 3 (see [28]). Let be a soft universe and . A pair is called an interval-valued fuzzy soft set over , where is a mapping given by .

It is easy to see that fuzzy soft sets are a special case of interval-valued fuzzy soft sets since interval-valued fuzzy sets are extensions of fuzzy sets. This ensures that the results obtained in this paper can easily be applied to fuzzy soft sets or Molodtsov’s soft sets.

Definition 4 (see [25]). Let and be two interval-valued fuzzy soft sets over . The -product (also called AND operation) of interval-valued fuzzy soft sets and is an interval-valued fuzzy soft set defined by , where for all .

Definition 5 (see [25]). Let and be two interval-valued fuzzy soft sets over . The -product (also called OR operation) of interval-valued fuzzy soft sets and is an interval-valued fuzzy soft set defined by , where for all .

The above two operations and will be referred to as soft product operations of interval-valued fuzzy soft sets in general. We denote by the collection of all interval-valued fuzzy soft sets over with parameter space . For more details on interval-valued fuzzy soft sets and related terminologies used below, we refer to the papers [25, 28, 31].

3. Four Types of Interval-Valued Fuzzy Soft Subsets

For the sake of simplicity, the term “interval-valued fuzzy” will be abbreviated to IVF in what follows. The following type of soft subsets was first considered by Maji et al. [20] for Molodtsov’s soft sets. Here we extend it to the more general seating of IVF soft sets.

Definition 6. Let and be two IVF soft sets over . Then is called a IVF soft M-subset of , denoted by , if (1);(2) (i.e., and are identical approximations) for all .
Two IVF soft sets and are said to be IVF soft M-equal, denoted by , if and .

Another kind of IVF soft subsets was initiated by Yang et al. [25] in the following way.

Definition 7 (see [25]). Let and be two IVF soft sets over . Then is called a IVF soft F-subset of , denoted by , if and , for all .
Two IVF soft sets and are said to be IVF soft F-equal, denoted by , if and .
For two IVF soft sets and , it is easy to see that However, the reverse implication may not be true as illustrated by the following example.

Example 8. Let be the universe and the parameter space . For the parameter sets and , let and be two IVF soft sets over whose tabular representations are given by Tables 1 and 2, respectively. Then it is easy to verify that , but does not hold.







Proposition 9. Let and be two IVF soft sets over . Then the following conditions are equivalent: (1);(2);(3) and .

Proof. It is straightforward and thus omitted.

By Proposition 9, we know that the IVF soft equal relations and coincide with each other. Hence, in what follows we write (called IVF soft identical relation) instead of or unless stated otherwise.

It is clear that and can be viewed as binary relations on the collection of all interval-valued fuzzy soft sets over with parameter space . From this point of view, and are also referred to as the IVF soft M-inclusion and IVF soft F-inclusion on , respectively.

Proposition 10. The IVF soft F-inclusion is a partial order on .

Proof. Let , , and be IVF soft sets in . First, it is easy to see that ; hence, is reflexive. Then assume that and . By Proposition 9, it follows that and . That is, , which means the two IVF soft sets are identical. This shows that is antisymmetric. Finally, suppose that and . Then by definition of IVF soft -subsets, we have and for all . It follows that and so is transitive. Therefore, we conclude that the IVF soft -inclusion is a partial order on .

In a similar fashion, we can also verify that the IVF soft -inclusion is a partial order on .

Proposition 11. The IVF soft -inclusion is a partial order on .

Proof. The proof is similar to that of Proposition 10 and thus omitted.

Yang and Jun [28] proposed the following type of IVF soft subsets, which extends IVF soft -subsets in a substantial way.

Definition 12 (see [28]). Let and be two IVF soft sets over . Then is called a IVF soft J-subset of , denoted by , if for every there exists such that .
Two IVF soft sets and are said to be IVF soft J-equal, denoted by , if and .
Given two IVF soft sets and over , one easily observes that implies . However, the reverse may not be true as illustrated by the following example.

Example 13. Consider the two IVF soft sets and shown in Tables 1 and 3. Then we can see that since and , but does not hold since . Moreover, it is worth noting that the IVF soft sets and are not IVF soft -equal since we see that is not an IVF soft -subset of .




Motivated by Jun and Yang’s IVF soft -subsets, we further introduced a new kind of IVF soft subsets as follows.

Definition 14 (see [29]). Let and be two IVF soft sets over . Then is called a IVF soft L-subset of , denoted by , if for every there exists such that .
Two IVF soft sets and are said to be IVF soft L-equal, denoted by , if and .
Obviously, and are binary relations on , which are called the IVF soft J-inclusion and IVF soft L-inclusion, respectively.

Proposition 15. The IVF soft J-inclusion is a quasiorder on .

Proof. Let , , and be IVF soft sets in . Note first that and so is reflexive. Next, suppose that and . For every , there exists such that since is an IVF soft -subset of . Moreover, there exists such that since is also an IVF soft -subset of . It follows that . Thus, we deduce that and so is transitive. Therefore, the IVF soft -inclusion is a quasiorder on .

Proposition 16. The IVF soft L-inclusion is a quasiorder on .

Proof. The proof is similar to that of Proposition 15 and thus omitted.

Suppose that and are two IVF soft sets over . By definition, it can be verified that However, it is worth noting that the reverse implications do not hold in general. Note also that the IVF soft -inclusion and the IVF soft -inclusion are only quasiorders instead of partial orders on . In general, these relations are not antisymmetric. As illustration, we consider an example as follows.

Example 17. Consider the two IVF soft sets and shown in Tables 1 and 4. Then we have since and , but since . As shown in Example 13, we have , but does not hold since , , and . In addition, we can deduce that and are IVF soft -equal since we also have . However, it is clear that does not hold. This shows that the IVF soft -inclusion is not antisymmetric. Similarly, one can verify that , which implies that the IVF soft -inclusion is not antisymmetric. Thus, and are only quasiorders instead of partial orders.




Remark 18. In view of the above discussion, we have investigated four different types of soft subsets, including IVF soft -subsets, IVF soft -subsets, IVF soft -subsets, and IVF soft L-subsets. In conclusion, Figure 1 illustrates the relations among different types of IVF soft subsets, in which a single arrow denotes that is a generalization of . These results extend the corresponding results for Molodtsov’s soft sets in [30].

As an immediate consequence of the above results, we also obtain the following relations among three types of IVF soft equal relations.

Corollary 19. Suppose that and are two IVF soft sets over . Then we have

It is worth noting that the IVF soft equal relations , , and are essentially distinct notions. For more details, one can refer to the discussion regarding these relations for Molodtsov’s soft sets in [29].

At the end of this section, we characterize some basic algebraic properties of soft product operations and in virtue of IVF soft -equal relations. First, we consider properties regarding commutativity of soft product operations.

Theorem 20. Let and be two IVF soft sets over . Then we have (1);(2).

Proof. To prove the first assertion, let us write for , where for all . We denote by , where for all .
For any , there exists such that Hence, by definition of IVF soft -subsets, we have . The reverse IVF soft -inclusion follows analogously. Therefore, we have The second assertion can be proved in a similar fashion and thus omitted.

Remark 21. The above results are referred to as the generalized commutative laws of IVF soft sets due to the following reason. On one hand, it is obvious that the two IVF soft sets obtained by calculation from the left and right sides are distinct since they have different parameter sets. Thus, commutative laws do not hold in the conventional sense, which are characterized in virtue of the IVF soft identical relation . On the other hand, we have shown that commutative laws are valid in a weaker sense, characterized by using IVF soft -equal relations . Note that Theorem 20 extends Theorem 5.13 (called the generalized soft commutative laws) in [30].

Next, we investigate properties of soft product operations by considering associative laws.

Theorem 22. Let , , and be IVF soft sets over . Then we have (1);(2).

Proof. To prove the first assertion, we denote by , where for all . Let , where for all . On the other hand, let us write as , where for all . Let , where for all .
Now, for every , there exists such that Hence, by definition of IVF soft -subsets, we have The reverse IVF soft -inclusion follows in a similar fashion. Finally, we conclude that . The second assertion can be proved in a similar fashion and thus omitted.

Remark 23. It is worth emphasizing that the two IVF soft sets obtained by calculation from the left and right sides are distinct since they have different parameter sets, which means that associative laws are not valid with respect to the IVF soft identical relation . Nevertheless, from the above results one can see that associative laws hold in a weaker sense, which are characterized in terms of the IVF soft -equal relation . Hence, we refer to the above results as the generalized associative laws of IVF soft sets. Note that Theorem 22 amends Theorem 2 (called the associative law of interval-valued fuzzy soft sets) in [25].

4. Some Algebraic Inequalities of IVF Soft Sets

4.1. Basic Inequalities of IVF Soft Sets

In this subsection, we first investigate some basic inequalities of IVF soft sets characterized by IVF soft -inclusions, which are useful in subsequent discussions.

Proposition 24. Let and be IVF soft sets over . Then we have (1);(2).

Proof. To prove the first assertion, we write as with for all . For every , let us choose any and then we get such that By definition of IVF soft -subsets, we have . The second assertion can be proved in an analogous fashion and thus omitted.

Proposition 25. Let and be IVF soft sets over . Then we have (1);(2).

Proof. We only show the validity of (1); then the assertion (2) can be proved in a similar way. Let , where for all . For every , it is easy to see that there exists such that . By definition of IVF soft -subsets, we have . That is, .

As an immediate consequence of the above results, we get an inequality of IVF soft sets as follows.

Corollary 26. Let and be IVF soft sets over . Then we have .

Another similar but different inequality of IVF soft sets can be verified by using the definition of IVF soft -subsets.

Proposition 27. Let and be IVF soft sets over . Then we have .

Proposition 28. Let , , and be IVF soft sets over . If , then we have (1);(2).

Proof. To prove the first assertion, let and . By hypothesis, we have and so for every there exists such that . Now for any , we deduce that for some . Hence, .
Next, we prove the second assertion. Let . Note that we have already obtained that . By the generalized commutative laws of IVF soft sets shown in Theorem 20, we also deduce that In particular, it follows that . Since the IVF soft -inclusion is a quasiorder on , we deduce that That is, .

Proposition 29. Let , , and be IVF soft sets over . If , then we have (1);(2).

Proof. The proof is similar to that of Proposition 28 and thus omitted.

Proposition 30. Let , , be IVF soft sets over and . If and , then we have

Proof. Since , we deduce that by the first assertion of Proposition 28. But we also have , which implies that by the first assertion of Proposition 29. Since the IVF soft -inclusion is a quasiorder on , we finally conclude that which completes the proof.

By considering -product of IVF soft sets, we can get the following results which are analogous to Propositions 28, 29, and 30, respectively.

Proposition 31. Let , , and be IVF soft sets over . If , then we have (1);(2).

Proposition 32. Let , , and be IVF soft sets over . If , then we have (1);(2).

Proposition 33. Let , be IVF soft sets over and . If and , then we have

4.2. Idempotent Inequality of IVF Soft Sets

In this subsection, we consider algebraic properties regarding idempotency of soft product operations and show that IVF soft sets have some nonclassical algebraic properties, compared with interval-valued fuzzy sets.

Proposition 34. Let . Then .

Proof. Assume that is an IVF soft set over . Let us denote by , where for all . For every , there exists such that By definition of IVF soft -subsets, we have .

Proposition 35. Let . Then .

Proof. The proof is similar to that of Proposition 34 and thus omitted.

Proposition 36. Let . Then .

Proof. This follows directly from Proposition 25 if the two IVF soft sets and are chosen to be identical.

Theorem 37. Let . Then .

Proof. By Proposition 36, . It suffices to show the reverse IVF soft -inclusion. In fact, we have by Proposition 35. Using the conclusion in Remark 18, we immediately obtain , and so .

The above result (called the weak idempotent law of IVF soft sets) indicates that the -product operation of IVF soft sets is idempotent with respect to IVF soft -equal relations. On the other hand, it should be noted that we cannot form the parallel result for the -product operation of IVF soft sets as illustrated by the following example.

Example 38. Let be the IVF soft set given by Table 1 (see Example 8). Let . By calculation, we get and (). It is easy to observe that and . Hence, does not hold. In particular, we further deduce that .
Moreover, let . By calculation, we have and (). Then one can see that and . This implies that do not hold and so we deduce that .

Remark 39. The above results indicate that IVF soft sets have some nonclassical algebraic properties, compared with interval-valued fuzzy sets. By Definitions 4 and 5, the operations and of IVF soft sets are, respectively, defined by means of the intersection and union of interval-valued fuzzy sets. In the theory of interval-valued fuzzy sets, operations and are both idempotent since is a lattice. Furthermore, we know that and are dual to each other, which always satisfy similar or parallel algebraic properties. Nevertheless, from Theorem 37 and Example 38, one can observe that the operations and of IVF soft sets do not always have similar algebraic properties. In fact, as shown above we have while It is also worth noting that which means that the -product operation of IVF soft sets is idempotent with respect to the IVF soft -equal relation , but not in the stronger sense of . Thus, by using the IVF soft -inclusion , we only have some idempotent inequalities shown in Propositions 34 and 35.

4.3. Distributive Inequality of IVF Soft Sets

In the above discussion, we have shown some nonclassical algebraic properties concerning soft product operations of IVF soft sets by considering idempotent laws. Next, we will investigate other interesting properties with regard to operations and of IVF soft sets by considering distributive laws.

Theorem 40. Let , , and be IVF soft sets over . Then we have (1);(2).

Proof. We only show the validity of (1); then assertion (2) can be proved in a similar way. Let us write as , where for all . Then let , where for all .
Next, we write for , where for all . Also let us write for , where for all . Now let , where for all .
For every , there exists such that By Definition 14, . That is,