[Retracted] Set-Theoretic Inequalities Based on Convex Multi-Argument Approximate Functions via Set Inclusion
Abstract
Hypersoft set is a novel area of study which is established as an extension of soft set to handle its limitations. It employs a new approximate mapping called multi-argument approximate function which considers the Cartesian product of attribute-valued disjoint sets as its domain and the power set of universe as its co-domain. The domain of this function is broader as compared to the domain of soft approximate function. It is capable of handling the scenario where sub-attribute-valued sets are considered more significant than taking merely single set of attributes. In this study, notions of set inclusion, convex (concave) sets, strongly convex (concave) sets, strictly convex (concave) sets, convex hull, and convex cone are conceptualized for the multi-argument approximate function. Based on these characterized notions, some set-theoretic inequalities are established with generalized properties and results. The set-theoretic version of classical Jensen’s type inequalities is also discussed with the help of proposed notions.
1. Introduction
In order to provide the parameterization tool to fuzzy set-like models [1–3] for dealing with uncertain data, in 1999, Molodtsov [4] employed the concept of soft approximate function (sa-function) for defining a novel model soft set (s-set). This set employs sa-function which maps single set of parameters to power set of initial universe. Many scholars discussed rudiments of s-sets but the contributions of Ali et al. [5], Babitha and Sunil [6, 7], Ge and Yang [8], Li [9], Maji et al. [10], Pei and Miao [11], and Sezgin and Atagün [12] are considered prominent regarding the characterization of elementary properties and set-theoretic operations of s-sets. Abbas et al. [13] investigated the notions of soft points and discussed their limitations, comparisons, and challenges. The hybridized structures of s-set with fuzzy set, intuitionistic fuzzy set, and neutrosophic set were developed by the authors [14–16]. In numerous real-life situations, parameters are to be further classified into their respective parametric-valued disjoint sets. The existing s-set model is deficient for dealing with such sort of partitioning of parameters. Hypersoft set (hs-set) [17] is developed to generalize s-set to manage real-life scenarios with subparametric disjoint sets. In order to utilize hs-set in various areas of knowledge, Abbas et al. [18] and Saeed et al. [19] investigated the elementary properties and operations of hs-set. Ajay [20] defined alpha open hs-sets for their further use in the characterization of relevant topological spaces. Debnath [21], Yolcu and Ozturk [22], Yolcu et al. [23], and Kamacı [24, 25] discussed the applications of hs-set in decision-making process by using its hybridized models. Martin and Smarandache [26] developed a novel outlook called concentric plithogenic hypergraph based on the combination of plithogenic set and hs-set. Musa and Asaad [27] discussed the bipolarity of hs-set and investigated some of its properties and aggregation operations.
1.1. Motivation
Convexity has a vital function in optimization, image processing and classification, pattern recognition, and other sub-fields of computational geometry. In order to tackle optimization and other related problems for vague and uncertain data, notions of classical convexity and concavity (Lara et al. [28, 29]) under s-set environment were characterized initially by Deli [30]; then, this work was further extended by Ihsan et al. [31, 32], Rahman et al. [33], and Salih and Sabir [34] for further investigations on certain variants of convexity. But these notions are not sufficient for handling information with entitlement of multi-argument approximate function (maa-function); therefore, Rahman et al. [35] conceptualized the notions of convexity cum concavity under hs-set scenarios. It can be easily observed that the aforementioned models focused on the consideration of sa-function and maa-function while defining certain variants of convexity cum concavity and ignored certain other important properties and aspects of convexity cum concavity which may have key role in convex optimization, computational geometry, and other related problems. Moreover, various classical inequalities like Jensen’s inequalities are not discussed as particular cases. The main motive of the proposed study is to address the limitations and shortcomings of the abovementioned literature.
- (1)
The classical notions of convex (concave) set, strictly convex (concave) set, strongly convex (concave) set, convex hull, and convex cone are generalized under hs-set environment with entitlement of maa-function.
- (2)
The concept of set inclusion for maa-function is characterized and then some set-theoretic inequalities are established based on these set inclusions along with other proposed notions. It is verified that the classical inequalities for soft approximate function are also valid under hs-set environment with entitlement of maa-function.
- (3)
Classical Jensen’s convex inequalities are generalized for maa-function and discussed as particular cases of proposed set-theoretic inequalities.
- (4)
The vivid comparison is made with related existing research studies to judge the distinction of the proposed study.
The rest of the paper is organized as follows. Section 2 reviews the notions of some relevant definitions used in the proposed work. Section 3 presents notions of strictly and strongly convexity cum concavity on hs-set. It also presents some set-theoretic inequalities based on these notions. Section 4 concludes the paper with more future directions and scope.
2. Preliminaries
This section reviews few elementary definitions and results regarding s-set and hs-set. In order to deal with uncertainties, the models like Zadeh’s fuzzy set [3], Atanassov’s intuitionistic fuzzy set [1], and Smarandache’s neutrosophic set [2] are considered significant, but these models face inadequacy regarding parameterization modes; therefore, Molodtsov [4] presented the concept of s-set as a new mathematical model to equip fuzzy set-like models with parameterization tool.
Definition 1 (see [4].)Let be an initial universe and be a set of parameters; then, a sa-function is a mapping
Example 1. Let , , and ; then, approximate elements of sa-function for s-set are given as
Many researchers investigated the basic properties, aggregation operations, and relations of s-set, but the contributions of authors [6, 11, 15] are more significant in this regard. Some properties of s-set are stated below for proper understanding.
Definition 2 (see [10].)If , then
- (1)
if and .
- (2)
is stated as
(5) - (3)
is defined as
(6)
In many decision-making circumstances, it is observed that parameters need to be further partitioned into their respective parametric-valued sets. The s-set and its hybrids are not capable to tackle such kind of parametric classification. So, Smarandache [17] introduced a new model called hs-set which is capable to deal with such classification by employing a new approximate mapping, i.e., maa-function.
Definition 3 (see [17].)Let be an initial universe and be a set of parameters. The respective attribute-valued non-overlapping sets of each element of are
3. Notions of Convexity cum Concavity for maa-Function with Relevant Set-Theoretic Inequalities
In this section, we define Δ-sets and Ψ-sets and prove some results. Throughout the remaining paper, , II⋅, II°, and will play the role of Rn, closed unit interval, open unit interval, and universal set, respectively. Let where with , for i ≠ j, and i, j ∈ {1,2,3, …, n} ; and .
Considering Definition 2, Rahman et al. [35] extended the work of Deli [30] and introduced the following notions of convexity cum concavity with multi-argument approximate settings.
Definition 4 (see [35].)If , then the of a hs-set is stated as
Definition 5 (see [35].)A hs-set on is known as convex hs-set (Δ-set) if
Definition 6 (see [35].)A hs-set on is known as concave hs-set (Ψ-set) if
Salih and Sabir [34] discussed the properties of strongly and strictly convexity cum concavity by using approximate function of s-set, but in case of multi-argument approximate function, their presented work is not sufficient; therefore, the following generalized definitions are characterized with the entitlement of multi-argument approximate function which considers (a Cartesian product of attribute-valued disjoint sets) as its domain and maps it to power set of initial universe.
Definition 7. The hs-set on is called a strongly convex hs-set (Ωschss) if
Definition 8. The hs-set on is called a strongly concave hs-set (Ωschss) if
Definition 9. The hs-set on is called a strictly convex hs-set (Θschss) if
Definition 10. The hs-set on is called a strictly concave hs-set (Θschss) if
Note. (i) If we replace ⊇, ⊆, ⊃, ⊂, ∩, and ∪ by ≥, ≤, >, <, ∧, and ∨, respectively, in above equations, i.e., from (11) to (16), we get the same notions for fuzzy sets as described by Zadeh [3] and Chaudhuri [36] where ∧ and ∨ are min and max operators. (ii) Similarly, if we replace (Cartesian product of attribute-valued sets) by (a set of attributes) in , we get simple approximate function of s-set as given in Definition 1 and consequently the above definitions will be treated for s-set as discussed in [30, 34].
Example 2. Suppose an educational institution wants to recruit some teachers with the help of some defined indicators. Consider there are 10 candidates who applied for the job and thus form a universe of discourse . The candidates will be evaluated with the help of the following attributes:
For simplicity, we write
The hs-set is a function defined by the mapping where .
Since the Cartesian product of is a 3-tuple, we consider ; then, the function becomes . Also, consider ; then, the function becomes .
Now,
Let ; then, we have
Definition 11. The convex hull of a hs-set is the smallest Δ-set over which contains , i.e.,
Definition 12. A hs-set is called a cone if for all and , we have
If is a Δ-set, then is called convex cone hs-set (cchs-set). The collection of all cchs-sets is represented by Ωcchs.
Definition 13. The convex cone of a hs-set is the smallest cchs-set which contains , i.e.,
3.1. Set-Theoretic Inequalities for maa-Function
In this section, some set-theoretic inequalities are presented with discussion on their generalized results.
Theorem 1. A hs-set is a Δ-set if and only if for all and such that , we have
Proof. Let the sufficient condition hold. In particular, for any two elements and , then we have which implies that is a Δ-set according to Definition 5. Conversely, let be a Δ-set; then, for any n ∈ ℕ, define a set such that
By using induction on n ∈ ℕ, we prove the necessary condition as follows:
-
C-1: let n = 2; then, and such that . As is a Δ-set, .
-
C-2: let the result (29) be valid for n = k which implies that for and with , we have
(30)
Now prove the result (29) for n = k + 1 with conditions and with . Suppose there exists one (say ) such that . Let where for . Therefore, .
Hence, , and equation (30) implies that
Now, we apply C-1 for , i.e.,
Remark 1.
- 1.
The result presented in Theorem 1 may or may not be valid for n⟶∞.
- (2)
If, in case, the result presented in Theorem 1 is valid for n⟶∞, then this result will be considered as generalized version of countably sub-additive sets under hs-set environment with entitlement of maa-function.
- (3)
If only equality holds for countable case, then this result will be considered as generalized version of countably additive sets under hs-set environment with entitlement of maa-function.
Theorem 2. Let be Θschss. If there exists such that , then is a Δ-set.
Proof. Assume that and such that
If , then (34) contradicting is a Θschss.
If and , let and . Thus, by hypothesis,
Now
From (14), (15), and , it follows that
From (34), (36), , and Θschss condition, it follows that
Hence, (37) and (39) give a contradiction.
If and , let . Thus, by hypothesis,
From (34), (40), and , it follows that
On the other hand, gives
From (34), (42), , and Θschss condition, it follows that
Theorem 3. Let be a Θscohss. If there exists such that , then is a Ψ-set.
Proof. This can easily be proved by following the procedure discussed in Theorem 2.
Theorem 4. Let be a Δ-set. If there exists such that , then is a Θscohss.
Proof. Assume that such that
If , then (44) gives
On the other hand, from the Δ-set condition, we have that
From (44) and (46), it follows that
Thus, from (49) and the hypothesis,
More generally, for n ∈ {1,2,3, …}, it can easily be shown that
Let where for some n. Then, from (51), we see that
Also, let where for some n.
Then,
Now, if , then (53) and , which is a Δ-set, imply that
If , then (53) and the hypothesis of the theorem imply that
This contradicts (49).
Theorem 5. Let be a Ψ-set. If there exists such that , then is a Θscohss.
Proof. This can easily be proved by following the procedure discussed in Theorem 4.
Theorem 6. Let be a Ωschss. If there exists , such that
Proof. Assume that such that
If , then (56) contradicts that is a Ωschss.
If , then choose such that .
Let . Then, (56) implies that
According to (56), (58), and (59), we have
Theorem 7. Let be a Ωschss. If there exists , such that , then is a Ψ-set.
Proof. This can easily be proved by following the procedure discussed in Theorem 6.
Theorem 8. Let be a Δ-set. If there exists , such that , then is a Ωschss.
Proof. Assume that such that
Thus, from (61) and the Δ-set condition, we get that
Furthermore, it can be easily seen that
On the other hand, from the Δ-set condition and our definition of and , we get
Therefore, from (63)–(65) and the hypothesis of the theorem, we get that
This contradicts (62).
Theorem 9. Let be a Ψ-set. If , such that , then is a Ωscohss.
Proof. This can easily be proved by following the procedure discussed in Theorem 8.
Theorem 10. A hs-set is a convex cone iff for , ,
- (i)
.
- (ii)
.
Proof. Let be a cchs-set over ; then, part (i) is obviously verified. Consider . As is a cchs-set, by using Definition 5 with , we have
Conversely, let the given conditions (i) and (ii) be satisfied. According to condition (i), is a cone. Now using both conditions for , we have
Theorem 11. A hs-set is a convex cone iff for , ,
Proof. By induction on n, is a cone when we take n = 1, i.e.,
The remaining part can be easily proved with the help of Theorem 1.
3.2. Jensen-Convex (Mid-Convex) Set and Its Inverse for maa-Function
In this part of the paper, we present classical versions of Jensen-convex sets and their inverse for multi-argument approximate functions. It can be seen that the nature of Jensen-convex set and its inverse is interchanged for maa-function in set-theoretic approach.
Definition 14. A Δ-set is said to be J-convex hs-set (ΔJ-set) over if
Definition 15. A Ψ-set is said to be J-concave hs-set (ΨJ-set) over if
Remark 2. If ⊆ is replaced with ≤ and ∪ by + in equation (75), we get classical version of Jensen inequality.
Definition 16. A Ωschss on is called a strongly J-convex hs-set if
Definition 17. A Ωschss on is called a strongly J-concave hs-set if
Remark 3. If ⊂ is replaced with < and ∪ by + in equation (77), we obtain classical version of Jensen inequality for strong convexity.
Definition 18. A Θschss on is called a strictly J-convex hs-set if
Definition 19. A Θschss on is called a strictly J-concave hs-set if
Remark 4. If ⊂ is replaced with < and ∪ by + in equation (79), we obtain classical version of Jensen inequality for strict convexity.
3.3. Comparative Analysis
In this section, the proposed study is compared professionally with some existing relevant works in order to judge its advantageous aspects. This comparison is based on some important evaluating features like emphasis on deep observation of attributes (EDOA), consideration of maa-function (CMAAF), sa-function (CSAF), discussion on classical inequalities as particular cases (DCIPC), discussion on convex hull (DCH), discussion on convex cone (DCC), strictly cum strongly convexity (SCSCx), and strictly cum strongly concavity (SCSCc) which depict the advantages of the proposed study over the existing approaches which are presented in Table 1.
4. Conclusion
- (1)
The establishment of modular inequalities by considering the interval nature of uncertain data for maa-function.
- (2)
The establishment of classical inequalities such as Ostrowski-type inequalities, Hadamard-type inequalities, Minkowski’s inequalities, and others under hs-set environment.
- (3)
The extension of the proposed study for hybridized structures of hs-set like fhs-set, ifhs-set, nhs-set, and so on.
- (4)
The extension of the proposed study for m-convex and m-concave sets under hs-set environment.
- (5)
The implementation of the proposed framework for solving convex optimization problems and decision-making problems.
Conflicts of Interest
The authors declare that they have no conflicts of interest.
Open Research
Data Availability
No data were used to support this study.