- Research
- Open Access
Fixed points of fuzzy neutrosophic soft mapping with decision-making
- Muhammad Riaz^{1}Email author and
- Masooma Raza Hashmi^{1}
https://doi.org/10.1186/s13663-018-0632-5
© The Author(s) 2018
- Received: 5 July 2017
- Accepted: 11 December 2017
- Published: 19 February 2018
Abstract
In this paper, we introduce some operations on a fuzzy neutrosophic soft set (\(\mathfrak{fns}\)-set) by utilizing the theories of fuzzy sets, soft sets and neutrosophic sets. We introduce \(\mathfrak{fns}\)-mappings by using a cartesian product with relations on \(\mathfrak{fns}\)-sets and establish some results on fixed points of an \(\mathfrak{fns}\)-mapping. We present an algorithm to deal with uncertainties in the multi-criteria decision making to slenderize energy crises by using an \(\mathfrak{fns}\)-average operator and a comparison table for \(\mathfrak{fns}\)-sets.
Keywords
- \(\mathfrak{fns}\)-set
- \(\mathfrak{fns}\)-cartesian product
- \(\mathfrak{fns}\)-mapping
- fixed points of \(\mathfrak{fns}\)-mapping
- decision making
MSC
- 03B99
- 03E99
- 47H10
1 Introduction
Most of the problems in engineering, medical science, economics, environments etc. have various uncertainties. To deal with uncertainties there are different theories including the fuzzy set introduced by Zadeh [1], the soft set introduced by Molodtsov [2], the fuzzy soft set (\(\mathfrak{f}\mathfrak{s}\)-sets) [3] and the fuzzy parameterized fuzzy soft set (\(\mathfrak {fpfs}\)-sets) [4, 5]. The intuitionistic fuzzy set (\(\mathfrak{i}\mathfrak{f}\)-set) introduced by Atanassov [6], which is an abstraction of fuzzy set. Smarandache [7] introduced the neutrosophic logic and neutrosophic set with its operations and some significant outcomes.
A fuzzy set [1] is a significant mathematical model to characterize an assembling of objects whose boundary is obscure. A soft set [2] is a mathematical tool to handle the uncertainties associated with real world data-based problems. Fuzzy parameterized fuzzy soft sets introduced in [4, 5] provide a very interesting extension of fuzzy sets and soft sets. \(\mathfrak{fpfs}\)-sets provide a suitable degree of membership to both parameters and elements of the initial universe.
This is motivated by the reality that humans tend to convey their views using a simple language, which is always indeterminate, imprecise, incomplete, and inconsistent. This paper introduces the concept of fuzzy neutrosophic soft (\(\mathfrak{fns}\)), in which truth-membership, falsity-membership, and indeterminacy-membership are represented. That is why \(\mathfrak {fns}\)-sets have a sound logic to represent the rationale of human choice and are a very useful technique for finding fixed points of \(\mathfrak{fns}\)-mapping and modeling uncertainties in multi-criteria decision making.
Abbas et al. [8, 9] introduced the notion of soft contraction mapping based on the theory of soft elements of soft metric spaces. They studied fixed points of soft contraction mappings and obtained among others results, a soft Banach contraction principle. Akram et al. [10, 11] presented certain types of soft graphs based on the soft set and some novel applications of fuzzy soft graphs and m-polar fuzzy hypergraphs. Arockiarani et al. [12] presented \(\mathfrak {fns}\)-topological spaces and showed some important resolutions on it. Feng et al. studied soft sets, rough sets, fuzzy soft sets and presented an attribute analysis of information systems based on elementary soft implications. They also established an adjustable approach to fuzzy soft set-based decision making (see [13–16]). Smarandache et al. [17] suggested the idea of single valued neutrosophic set. Karaaslan [18] investigated the neutrosophic soft set (\(\mathfrak{n}\mathfrak{s}\)-set) by Maji [19] and then redefine the notion of \(\mathfrak{n}\mathfrak{s}\)-set and certain operations with some changes and corrections. He showed some applications based on \(\mathfrak{n}\mathfrak{s}\)-sets to decision-making problems. Riaz et al. [20–25] established some concepts of soft sets together with soft algebra, soft σ-algebra, soft σ-ring, measurable soft set and measurable soft mappings. They established certain properties of soft metric spaces. They also studied a fuzzy parameterized fuzzy soft set (\(\mathfrak{fpfs}\)-set), \(an \mathfrak{fpfs}\)-topology and an \(\mathfrak{fpfs}\)-metric space and presented certain applications based on \(\mathfrak{fpfs}\)-sets and \(\mathfrak{fpfs}\)-mappings to the decision-making problems. Recently, Samet [26] defined generalized Meir-Keeler type functions and proved some coupled fixed point theorems under a generalized Meir-Keeler contractive condition. Jleli and Samet [27] introduced the concept of G-metric spaces and the fixed point existing results of contractive mappings defined on such spaces. Chen and Lin [28] obtained a soft metric version of the celebrated Meir-Keeler fixed point theorem. Wardowski [29] familiarized a concept of mapping on soft sets and determined its fixed point. A vast amount of mathematical activity has been carried out to obtain fixed points of various mappings, as studied by many authors [8, 9, 26, 28–31]. In the present study, we obtain some results on fixed points of \(\mathfrak{fns}\)-mappings. We introduce \(\mathfrak{fns}\)-mappings by using the cartesian product with relations on \(\mathfrak{fns}\)-sets. We establish an outranking approach of \(\mathfrak{fpfs}\)-set to reduce energy crises. The purpose of this research is to explore some occurrences of fixed points of \(\mathfrak{fns}\)-mapping and a very solid application of \(\mathfrak {fpfs}\)-sets, which will be helpful to diminish energy crises.
Definition 1.1
Definition 1.2
([1])
A fuzzy set F in X is measured up by a mathematical mapping with the domain as X and membership degrees in \([0,1]\). The aggregation of all fuzzy sets in universal set X is symbolized by \(F(X)\).
Definition 1.3
([12])
Definition 1.4
([2])
Definition 1.5
([12])
We define some operations for \(\mathfrak{fns}\)-sets which are different from operations of the \(\mathfrak{fns}\)-sets in [12].
Definition 1.6
Let \(\Omega_{A} \in\mathfrak{fns}(X_{R})\). If \(T_{A(\zeta)}(\rho)=0, I_{A(\zeta)}(\rho)=1, F_{A(\zeta)}(\rho)=1\ \forall\zeta\in R, \rho \in X\), then \(\Omega_{A}\) is named as null \(\mathfrak{fns}\)-set and symbolized by \(\Omega_{\phi}\).
Definition 1.7
Let \(\Omega_{A} \in\mathfrak{fns}(X_{R})\). If \(T_{A(\zeta)}(\rho)=1, I_{A(\zeta)}(\rho)=0, F_{A(\zeta)}(\rho)=0\ \forall\zeta\in R, \rho \in X\), then \(\Omega_{A}\) is named as universal \(\mathfrak{fns}\)-set and symbolized by \(\Omega_{\widehat{R}}\).
Definition 1.8
Let \(\Omega_{A},\Omega_{B} \in\mathfrak{fns}(X_{R})\). \(\Omega_{A}\) is said to be \(\mathfrak{fns}\)-subset of \(\Omega_{B}\), if \(T_{A(\zeta)}(\rho)\leq T_{B(\zeta)}(\rho),~I_{A(\zeta)}(\rho)\geq I_{B(\zeta)}(\rho),~F_{A(\zeta)}(\rho)\geq F_{B(\zeta)}(\rho),\forall\zeta\in R, \rho\in X\). We denote it by \(\Omega_{A}\sqsubseteq\Omega_{B}\). \(\Omega_{B}\) is said to be an \(\mathfrak{fns}\)-superset of \(\Omega_{A}\).
Definition 1.9
Definition 1.10
Definition 1.11
2 Some results on \(\mathfrak{fns}\)-mapping
In this section, we introduce the idea of \(\mathfrak{fns}\)-mappings and present some important definitions and properties of \(\mathfrak {fns}\)-mappings.
Definition 2.1
An \(\mathfrak{fns}\)-topological space \((\Omega_{N},\tau)\) is called \(\mathfrak{fns}\)-Hausdorff space if for distinct \(\mathfrak {fns}\)-elements \(\Omega^{\zeta}_{A}\), \(\Omega^{\zeta'}_{B}\) of \(\Omega_{N}\), there exist disjoint \(\mathfrak {fns}\)-open sets \(\Omega_{A_{1}}\) and \(\Omega_{B_{1}}\) such that \(\Omega^{\zeta}_{A}\in\Omega_{A_{1}}\) and \(\Omega^{\zeta'}_{B}\in\Omega_{B_{1}}\).
Proposition 2.2
Proof
Let \(\Omega_{A} \in\tau\). Then obviously for every \(\Omega^{\zeta}_{A_{1}}\in\Omega_{A}\) we have \(\Omega^{\zeta}_{A_{1}} \in\Omega_{A}\sqsubseteq\Omega_{A}\). Let \(\Omega_{A}\sqsubseteq\Omega_{N}\) be such that for every \(\Omega^{\zeta}_{A_{1}} \in\Omega_{A}\) there subsists an \(\mathfrak{fns}\)-open set \(\Omega^{\zeta}_{A_{1}}\) such that \(\Omega^{\zeta}_{A_{1}} \in\Omega_{A^{\zeta}_{1}}\sqsubseteq\Omega_{A}\), which means that \(\Omega^{\zeta}_{A_{1}}(\zeta) \in \Omega_{A^{\zeta}_{1}}(\zeta')\sqsubseteq\Omega_{A}(\zeta')\) for each \(\zeta' \in R\), \(\Omega_{A}(\zeta)=\sqcup\{\Omega^{\zeta}_{A_{1}}:\Omega^{\zeta}_{A_{1}}\in\Omega_{A}\}\sqsubseteq\sqcup\Omega_{A^{\zeta}_{1}}(\zeta )\sqsubseteq\Omega_{A}(\zeta)\). Therefore, \(\Omega_{A}=\{\sqcup\Omega_{A^{\zeta}_{1}}:\zeta\in R\}\in \tau\). □
Definition 2.3
The cartesian product of two \(\mathfrak{fns}\)-sets \(\Omega_{A}\) and \(\Omega_{B}\) is defined as an \(\mathfrak{fns}\)-set \(\Omega_{C}=\Omega_{A}\widehat {\times}\Omega_{B}\) where \(C=A\times B\) and \(\Omega_{C}:C\rightarrow\mathfrak{fns}(X,R)\) is delineated by \(\Omega_{C}(\zeta,\zeta')=\Omega_{A}(\zeta)\widehat{\times}\Omega _{B}(\zeta')\) for all \((\zeta,\zeta')\in C\), where \(\Omega_{A}(\zeta)\widehat{\times}\Omega_{B}(\zeta')=\{\langle\rho ,\min\{T_{A(\zeta)}(\rho),T_{B(\zeta')}(\rho)\}, \max\{I_{A(\zeta)}(\rho),I_{B(\zeta')}(\rho)\},\max\{F_{A(\zeta )}(\rho),F_{B(\zeta')}(\rho)\}\rangle:\rho\in X\}\).
Example 2.4
\(\Omega_{A}\) | \(\zeta_{1}\) | \(\zeta_{2}\) |
\(\rho_{1}\) | (0.8,0.1,0.3) | (0.3,0.7,0.6) |
\(\rho_{2}\) | (0.6,0.7,0.4) | (0.1,0.9,0.3) |
\(\Omega_{B}\) | \(\zeta_{1}\) | \(\zeta_{2}\) |
\(\rho_{1}\) | (0.9,0.7,0.2) | (0.1,0.3,0.6) |
\(\rho_{2}\) | (0.3,0.4,0.2) | (0.7,0.3,0.9) |
\(\Omega_{C}\) | \((\zeta_{1},\zeta_{1})\) | \((\zeta_{1},\zeta_{2})\) | \((\zeta _{2},\zeta_{1})\) | \((\zeta_{2},\zeta_{2})\) |
\(\rho_{1}\) | (0.8,0.7,0.3) | (0.1,0.3,0.6) | (0.3,0.7,0.6) | (0.1,0.7,0.6) |
\(\rho_{2}\) | (0.3,0.7,0.4) | (0.6,0.7,0.9) | (0.1,0.9,0.3) | (0.1,0.9,0.9) |
Definition 2.5
Let \(\Omega_{A}\) and \(\Omega_{B}\) be \(\mathfrak{fns}\)-sets in \(\mathfrak {fns}(X,R)\). An \(\mathfrak{fns}\)-set \(\mathbb{R}\) is said to be an \(\mathfrak{fns}\)-relation from \(\Omega _{A}\) to \(\Omega_{B}\) if \(\mathbb{R}=\Omega_{D}\) where \(D\subseteq C=A\times B\) and \(\Omega_{D}:D\rightarrow\mathfrak{fns}(X,R)\) on D.
Example 2.6
Let \(\Omega_{A}\) and \(\Omega_{B}\) be \(\mathfrak{fns}\)-sets in Example 2.4. Then \(\mathbb{R}=\{\Omega_{A}(\zeta_{1})\widehat{\times}\Omega _{B}(\zeta_{1}), \Omega_{A}(\zeta_{1})\widehat{\times}\Omega_{B}(\zeta_{2}), \Omega_{A}(\zeta_{2})\widehat{\times}\Omega_{B}(\zeta_{1})\}\) is a \(\mathfrak{fns}\)-relation from \(\Omega_{A}\) to \(\Omega_{B}\) which itself is an \(\mathfrak{fns}\)-set with \(\{(\zeta_{1},\zeta_{1}),(\zeta_{1},\zeta_{2}),(\zeta_{2},\zeta_{1})\}\) as a set of parameters. By \(\Omega_{A}\mathbb{R}\Omega_{B}\) we mean that \(\Omega_{A}(\zeta_{1})\widehat{\times}\Omega_{B}(\zeta_{2})\in\mathbb {R}\).
In the next definition, we introduce an \(\mathfrak{fns}\)-mapping.
Definition 2.7
Definition 2.8
Let \(\Omega_{A}\) and \(\Omega_{B}\) be \(\mathfrak{fns}\)-sets in \(\mathfrak {fns}(X,R)\) and \(\Upsilon:\Omega_{A}\rightarrow\Omega_{B}\) be an \(\mathfrak {fns}\)-mapping. The image of \(\Omega_{C}\sqsubseteq\Omega_{A}\) under \(\mathfrak{fns}\)-mapping ϒ is the \(\mathfrak{fns}\)-set \(\Upsilon(\Omega_{C})\) defined by \(\Upsilon(\Omega_{C})=\{\bigsqcup_{\Omega^{\zeta}_{A_{1}}\in\Omega _{C}}\Upsilon(\Omega^{\zeta}_{A_{1}}):\zeta \in R\}\). It is obvious that \(\Upsilon(\Omega_{\phi})=\Omega_{\phi}\) for every \(\mathfrak{fns}\)-mapping ϒ.
Definition 2.9
Let \(\Omega_{A}\) and \(\Omega_{B}\) be \(\mathfrak{fns}\)-sets in \(\mathfrak {fns}(X,R)\) and \(\Upsilon:\Omega_{A}\rightarrow\Omega_{B}\) be an \(\mathfrak {fns}\)-mapping. The inverse image of \(\Omega_{D}\sqsubseteq\Omega_{B}\) under \(\mathfrak {fns}\)-mapping ϒ is the \(\mathfrak{fns}\)-set symbolized by \(\Upsilon^{-1}(\Omega_{D})\) and delineated as \(\Upsilon^{-1}(\Omega_{D})=\{\{\bigsqcup_{\Omega^{\zeta}_{A_{1}}\in \Omega_{A}}\Upsilon(\Omega^{\zeta}_{A_{1}}):\zeta \in R\}:\Upsilon(\Omega^{\zeta}_{A_{1}})\in\Omega_{D} \text{ for each } \zeta\in R \}\).
Example 2.10
Let \(\Omega_{A}\) and \(\Omega_{B}\) be given in Example 2.4. Define ϒ as \(\Upsilon(\Omega^{\zeta}_{A_{1}})=\widehat{\Omega}^{\zeta}_{B_{1}}\) for each \(\zeta\in R\), where \(\widehat{\Omega}^{\zeta}_{B_{1}}\) is the greatest \(\mathfrak{fns}\)-element for every attribute \(\zeta\in R\), that is, if \(\Omega^{\zeta}_{B_{1}}\) is an arbitrary \(\mathfrak{fns}\)-element in \(\Omega_{B}\) then \(\Omega^{\zeta}_{B_{1}}\sqsubseteq\widehat{\Omega}^{\zeta}_{B_{1}}\). So, \(\Upsilon(\Omega^{\zeta_{1}}_{A_{1}})=\widehat{\Omega}^{\zeta _{1}}_{B_{1}}=\{\langle \rho_{1},0.9,0.7,0.2\rangle,\langle\rho_{2},0.3,0.4,0.2\rangle\}\) for all \(\Omega^{\zeta_{1}}_{A}\in\Omega_{A}\) and \(\Upsilon(\Omega^{\zeta_{2}}_{A_{1}})=\widehat{\Omega}^{\zeta _{2}}_{B_{1}}=\{\langle \rho_{1},0.1,0.3,0.6\rangle, \langle\rho_{2},0.7,0.3,0.9\rangle\}\) for all \(\Omega^{\zeta_{2}}_{A}\in\Omega_{A}\). Moreover, \(\Upsilon(\Omega)=\{\bigsqcup_{\Omega^{\zeta}_{A}\in \Omega_{C}}\Upsilon(\Omega^{\zeta}_{A}):\zeta\in R\}= \{\{\bigsqcup_{\Omega^{\zeta_{1}}_{A}\in \Omega_{C}}\Upsilon(\Omega^{\zeta_{1}}_{A})\},\{\bigsqcup_{\Omega ^{\zeta_{2}}_{A}\in \Omega_{C}}\Upsilon(\Omega^{\zeta_{2}}_{A})\}\}=\{\widehat{\Omega }^{\zeta_{1}}_{B},\widehat{\Omega}^{\zeta_{2}}_{B}\}=\Omega_{B}\).
Definition 2.11
Let \((\Omega_{A},\tau)\) be an \(\mathfrak{fns}\)-topological space and \(\Omega_{B}\sqsubseteq\Omega_{A}\). An \(\mathfrak{fns}\)-open cover for \(\Omega_{B}\) is an assembling of \(\mathfrak{fns}\)-open sets \(\{\Omega_{\alpha}\}_{\alpha \in I}\sqsubseteq\tau\) whose \(\mathfrak{fns}\)-union carries \(\Omega_{B}\).
Definition 2.12
An \(\mathfrak{fns}\)-topological space \((\Omega_{A},\tau)\) is \(\mathfrak{fns}\)-compact if for every \(\mathfrak{fns}\)-open cover \(\{\Omega_{\alpha}\}_{\alpha\in I}\) of \(\Omega_{B}\) there subsists \(\alpha_{1},\alpha_{2},\alpha_{3},\ldots,\alpha_{k} \in I, k\in N\) such that \(\Omega_{B}\sqsubseteq\bigsqcup^{k}_{n=1}\Omega_{\alpha_{n}}\).
Definition 2.13
Let \((\Omega_{A},\tau)\), \((\Omega_{B},\tau')\) be \(\mathfrak {fns}\)-topological spaces and \(\Upsilon:\Omega_{A}\rightarrow\Omega_{B}\) an \(\mathfrak {fns}\)-mapping. Then ϒ be an \(\mathfrak{fns}\)-continuous function if for every \(\Omega_{B_{1}}\in \tau'\), \(\Upsilon^{-1}(\Omega_{B_{1}})\in\tau\), that is, the inverse image of an \(\mathfrak{fns}\)-open set is an \(\mathfrak{fns}\)-open set. An \(\mathfrak{fns}\)-set \(\Omega_{C}\sqsubseteq\Omega_{A}\) is an \(\mathfrak{fns}\)-compact in \((\Omega_{A},\tau)\) if the \(\mathfrak {fns}\)-topological space \((\Omega_{C},\tau_{C})\) is \(\mathfrak{fns}\)-compact.
Proposition 2.14
Let \((\Omega_{A},\tau)\) be an \(\mathfrak{fns}\)-compact topological space and \(\Upsilon:\Omega_{A}\rightarrow\Omega_{A}\) an \(\mathfrak {fns}\)-continuous function. Then \(\Upsilon(\Omega_{A})\) is an \(\mathfrak{fns}\)-compact set in \((\Omega_{A},\tau)\).
Proof
Consider that \(\Upsilon(\Omega_{A})\sqsubseteq\bigsqcup_{i}\Omega_{i}\), where \(\{\Omega_{i}\}\) is an assembling of \(\mathfrak{fns}\)-open sets in \(\Omega_{A}\). Then taking the pre-image, we have \(\Omega_{A}\sqsubseteq\Upsilon^{-1}(\bigsqcup_{i}\Omega_{i})\). As \(\Upsilon^{-1}(\Omega_{i})\) is \(\mathfrak{fns}\)-open in \(\Psi_{i}\) so there must exists \(\mathfrak{fns}\)-open \(\Psi_{i}\sqsubseteq\Upsilon(\Omega_{A})\) such that \(\Upsilon^{-1}(\Omega_{i})=\Psi_{i}\sqcap\Omega_{A}\). So \(\Omega_{A}\sqsubseteq\bigsqcup_{i}(\Psi_{i}\sqcap\Omega_{A})\) implies that \(\Omega_{A}\sqsubseteq\bigsqcup_{i}\Psi_{i}\). Since \(\Omega_{A}\) is an \(\mathfrak{fns}\)-compact set, there exist \(i_{1},i_{2},\ldots,i_{\alpha}\) such that \(\Omega_{A}\sqsubseteq\bigsqcup^{\alpha}_{n=1}\Psi_{i_{n}}\). Thus \(\Omega_{A}=\bigsqcup_{i}(\Psi_{i}\sqcap\Omega_{A})=\bigsqcup^{\alpha}_{n=1}\Upsilon^{-1}(\Omega_{i_{n}})\) this implies that \(\Upsilon(\Omega_{A})\sqsubseteq\bigsqcup^{\alpha}_{n=1}(\Omega _{i_{n}})\). Hence \(\Upsilon(\Omega_{A})\) is \(\mathfrak{fns}\)-compact. □
3 Fixed points of \(\mathfrak{fns}\)-mappings
Definition 3.1
Let \(\Omega_{A}\in\mathfrak{fns}(X,R)\) be an \(\mathfrak{fns}\)-set and \(\Upsilon:\Omega_{A}\rightarrow\Omega_{A}\) an \(\mathfrak {fns}\)-mapping. An \(\mathfrak{fns}\)-element \(\Omega^{\zeta}_{A}\in\Omega_{A}\) is said to be a fixed point of ϒ if \(\Upsilon(\Omega^{\zeta}_{A})=\Omega^{\zeta}_{A}\).
Example 3.2
If \(\Upsilon:\Omega_{A}\rightarrow\Omega_{A}\) is an identity mapping, then every \(\mathfrak{fns}\)-element of \(\Omega_{A}\) is a fixed point.
Proposition 3.3
- (a)
\(\Omega_{A_{\alpha}}\neq\Omega_{\phi}\) for every \(\alpha\in N\),
- (b)
\(\Omega_{A_{\alpha}}\) is \(\mathfrak{fns}\)-closed for each \(\alpha\in N\),
- (c)
\(\Omega_{A_{\alpha+1}}\sqsubseteq\Omega_{A_{\alpha}}\) for each \(\alpha\in N\). Then .
Proof
Suppose on contrary that . We know that . From (b), \((\Omega_{A_{\alpha}})^{c}\) is \(\mathfrak{fns}\)-open set for each \(\alpha\in N\). Hence . As \(\Omega_{A}\) is \(\mathfrak{fns}\)-compact, there exists \(i_{1},i_{2},\ldots,i_{k} \in N, i_{1}< i_{2}<\cdots<i_{k}, k\in N\) such that \(\Omega_{A}\sqsubseteq\Omega^{c}_{A_{i_{1}}}\sqcup\Omega ^{c}_{A_{i_{2}}}\sqcup\cdots\sqcup\Omega^{c}_{A_{i_{k}}}\). Hence from (c) we have \(\Omega_{A_{i_{k}}}\sqsubseteq\Omega_{A}\sqsubseteq(\Omega _{A_{i_{1}}}\sqcap\Omega_{A_{i_{2}}}\sqcap\cdots\sqcap\Omega _{A_{i_{k}}})^{c}=(\Omega_{A_{i_{k}}})^{c} =\Omega_{\widetilde{R}}/\Omega_{A_{i_{k}}}\), which is not possible by (a). □
Example 3.4
\(\Omega_{A}\) | \(\zeta_{1}\) | \(\zeta_{2}\) |
\(\rho_{1}\) | (0.7,0.2,0.1) | (0.9,0.1,0.3) |
\(\rho_{2}\) | (0.5,0.3,0.4) | (0.6,0.4,0.2) |
\(\Omega_{A_{1}}\) | \(\zeta_{1}\) | \(\zeta_{2}\) |
\(\rho_{1}\) | (0.6,0.3,0.4) | (0.7,0.5,0.6) |
\(\rho_{2}\) | (0.2,0.9,0.7) | (0.3,0.6,0.3) |
\(\Omega_{A_{2}}\) | \(\zeta_{1}\) | \(\zeta_{2}\) |
\(\rho_{1}\) | (0.7,0.4,0.5) | (0.8,0.6,0.7) |
\(\rho_{2}\) | (0.3,0.9,0.8) | (0.5,0.7,0.4) |
Proposition 3.5
Let \((\Omega_{A},\tau)\) be an \(\mathfrak{fns}\)-topological space and \(\Upsilon:\Omega_{A}\rightarrow\Omega_{A}\) be an \(\mathfrak {fns}\)-mapping such that for every non-empty \(\mathfrak{fns}\)-element \(\Omega^{\zeta}_{A}\in \Omega_{A}\), \(\Upsilon(\Omega^{\zeta}_{A})\) is a non-empty \(\mathfrak{fns}\)-element of \(\Omega_{A}\). If contains only one non-empty \(\mathfrak{fns}\)-element \(\Omega^{\zeta}_{A}\in\Omega_{A}\), then \(\Omega^{\zeta}_{A}\)is a unique fixed point of ϒ.
Proof
Observe that \(\Upsilon^{\alpha}(\Omega_{A})\sqsubseteq\Upsilon^{\alpha-1}(\Omega_{A})\) for each \(\alpha\in N\). Let \(\Omega^{\zeta}_{A}\) be an \(\mathfrak {fns}\)-element of \(\Omega_{A}\) such that . That is, . Consequently, . Since \(\Upsilon(\Omega^{\zeta}_{A})\) is a non-empty \(\mathfrak {fns}\)-element of \(\Omega_{A}\), we get \(\Upsilon(\Omega^{\zeta}_{A})=\Omega^{\zeta}_{A}\). □
Example 3.6
Let \((\Omega_{A},\tau)\) be an \(\mathfrak{fns}\)-topological space and define \(\Upsilon:\Omega_{A}\rightarrow\Omega_{A}\) as \(\Upsilon(\Omega^{\zeta}_{A})=\widehat{\Omega}^{\zeta}_{A}\) for all \(\Omega^{\zeta}_{A}\in\Omega_{A}\), where \(\Omega_{A}\neq\Omega_{\phi}\) and \(\widehat{\Omega}^{\zeta}_{A}\) represents the largest \(\mathfrak {fns}\)-element of \(\Omega_{A}\) or equivalently \(\Omega^{\zeta}_{A}\sqsubseteq\widehat{\Omega}^{\zeta}_{A}\) for each \(\mathfrak{fns}\)-element \(\Omega^{\zeta}_{A}\in\Omega_{A}\). Then carries only one non-empty \(\mathfrak {fns}\)-element \(\widehat{\Omega}^{\zeta}_{A}\). Thus \(\widehat{\Omega}^{\zeta}_{A}\) is a unique fixed point of ϒ.
Proposition 3.7
Let \((\Omega_{A},\tau)\) be an \(\mathfrak{fns}\)-Hausdorff topological space. Then each \(\mathfrak{fns}\)-compact set in \(\Omega_{A}\) is \(\mathfrak {fns}\)-closed in \(\Omega_{A}\).
Proof
Let \(\Psi_{B}\) be an \(\mathfrak{fns}\)-compact set in \((\Omega_{A},\tau )\), we here show that \(\Psi_{B}\) is \(\mathfrak{fns}\)-closed, that is, \(\Psi^{c}_{B}\) is \(\mathfrak{fns}\)-open. Let \(\Omega^{\zeta}_{A}\in\Psi^{c}_{B}\), for every \(\Omega^{\zeta'}_{A}\in\Psi_{B}\), let \(U_{\alpha}, V_{\alpha}\in\tau\) be such that \(U_{\alpha}\sqcap V_{\alpha}=\Omega_{\phi}\) and \(\Omega^{\zeta}_{A}\in U_{\alpha}, \Omega^{\zeta'}_{A}\in V_{\alpha}\) where \(\alpha\in I\). Since \(\Psi_{B}\) is \(\mathfrak{fns}\)-compact, there exist \(\Omega^{\zeta'}_{A},\Omega^{\zeta'}_{A},\ldots,\Omega^{\zeta'}_{A} \in\Psi_{B}\) such that \(\Psi_{B}\sqsubseteq V_{\alpha_{1}}\sqcup V_{\alpha_{2}}\sqcup\cdots\sqcup V_{\alpha_{k}}\). Denote \(U=U_{\alpha_{1}}\sqcup U_{\alpha_{2}}\sqcup\cdots\sqcup U_{\alpha_{k}}\) and \(V=V_{\alpha_{1}}\sqcup V_{\alpha_{2}}\sqcup\cdots\sqcup V_{\alpha_{k}}\). Then \(\Omega^{\zeta}_{A}\in U\in\tau, U\sqcap V=\Omega_{\phi}\), which implies that \(\Omega^{\zeta}_{A}\in U\sqsubseteq\Psi^{c}_{B}\). Thus \(\Psi_{B}\) is \(\mathfrak{fns}\)-closed. □
Theorem 3.8
- (a)
for every non-empty \(\mathfrak{fns}\)-element \(\Omega^{\zeta}_{A}\in\Psi_{B}, \Upsilon(\Omega^{\zeta}_{A})\) is a non-empty \(\mathfrak{fns}\)-element of \(\Psi_{B}\),
- (b)
for every \(\mathfrak{fns}\)-closed set \(\Psi _{C}\sqsubseteq\Psi_{B}\) if \(\Upsilon(\Psi_{C})=\Psi_{C}\) then \(\Psi_{C}\) contains only one non-empty \(\mathfrak{fns}\)-element of \(\Psi_{B}\). Then there subsists a unique non-empty \(\mathfrak{fns}\)-element \(\Omega^{\zeta}_{A}\in\Psi_{B}\) such that \(\Upsilon(\Omega^{\zeta}_{A})=\Omega^{\zeta}_{A}\).
Proof
Suppose an assembling of \(\mathfrak{fns}\)-subsets of \(\Psi_{B}\) of the form \(Z_{1}=\Upsilon(\Psi_{B}), Z_{2}=\Upsilon(Z_{1}), Z_{3}=\Upsilon(Z_{2}),\ldots,Z_{\alpha}=\Upsilon(Z_{\alpha -1})=\Upsilon^{\alpha}(\Psi_{B})\) for \(\alpha\in N\). It is clear that \(Z_{\alpha}\sqsubseteq Z_{\alpha-1}\) for every \(\alpha\in N\). By Proposition 3.7, for every \(\alpha\in N\), \(Z_{\alpha}\) is \(\mathfrak{fns}\)-closed. Using Proposition 3.3, it is clear that an \(\mathfrak{fns}\)-set \(\Psi_{D}\) of the form is non-empty. Observe that . Next we will prove that \(\Psi_{D}=\Upsilon(\Psi_{D})\). For this purpose, consider that there subsists \(\Omega^{\zeta}_{A}\in\Psi_{D}\) such that \(\Omega^{\zeta}_{A}\) is not an \(\mathfrak{fns}\)-element of \(\Upsilon(\Psi_{D})\). Put \(F_{\alpha}=\Upsilon^{-1}(\Omega^{\zeta}_{A})\sqcap Z_{\alpha}\). Let us observe that \(F_{\alpha}\neq\Omega_{\phi}\) and \(F_{\alpha}\sqsubseteq F_{\alpha-1}\) for each \(\alpha\in N\). By Proposition 3.3, there exists a non-empty \(\mathfrak{fns}\)-element \(\Omega^{\zeta'}_{A}\in\Upsilon^{-1}(\Omega^{\zeta}_{A})\sqcap\Psi_{D}\) and thus \(\Omega^{\zeta}_{A}=\Upsilon(\Omega^{\zeta'}_{A})\in\Upsilon(\Psi _{D})\), a contradiction. Therefore, \(\Upsilon(\Psi_{D})=\Psi_{D}\). Hence the result follows using Proposition 3.3. □
4 An application of the \(\mathfrak{fns}\)-set to multi-criteria decision making
Definition 4.1
([32])
We have a matrix, where rows represent the person names \(p_{1},p_{2},p_{3}, \ldots,p_{n}\) and columns represent the parameters \(q_{1},q_{2},q_{3},\ldots,q_{m}\). The entries \(\varepsilon_{\alpha\beta}\) are designed by \(\varepsilon_{\alpha\beta}=a+b-c\), where a is the number premeditated as how many times \(T_{p_{\alpha}}(q_{\beta})\) exceeds or equals \(T_{p_{\gamma}}(q_{\beta})\) for \(p_{\alpha}\neq p_{\gamma}\ \forall p_{\gamma}\in X\), b is the number premeditated as how many times \(I_{p_{\alpha}}(q_{\beta})\) exceeds or equals \(I_{p_{\gamma}}(q_{\beta})\) for \(p_{\alpha}\neq p_{\gamma}\ \forall p_{\gamma}\in X\) and c is the number premeditated as how many times \(F_{p_{\alpha}}(q_{\beta})\) exceeds or equals \(F_{p_{\gamma}}(q_{\beta})\) for \(p_{\alpha}\neq p_{\gamma}\ \forall p_{\gamma}\in X\).
Application: An energy disaster is any substantial blockage in the provision of energy resources to an economy. Energy is the supreme significant source of national power. Any country cannot attain financial success and military strength without passable sources of energy. Let \(X=\{ \varsigma_{1},\varsigma_{2},\varsigma_{3},\ldots,\varsigma_{m}\}\) be the universal set where the \(\varsigma_{j},j=1,2,3,\ldots,m\) represent the possible solutions to reduce energy crises and \(\mathfrak{R}=\{\varrho _{1},\varrho_{2},\varrho_{3},\ldots,\varrho_{n}\}\) be the assembling of alternatives or causes which increase this problem by the criteria of the \(\mathfrak{fns}\)-set. Here \(\varrho_{i}, i=1,2,3,\ldots,n\) is for the alternatives or causes for the criteria of the \(\mathfrak{fns}\)-set. Now we demonstrate an algorithm for most suitable choice of an object.
Algorithm:
Input:
step 1: Construct the table of given data in the form of the \(\mathfrak{fns}\)-sets.
Output:
step 3: Compute the comparison table \(C_{T}\) by following Definition 4.1.
step 4: The maximum scored value should be more preferable from set X by using \(\max_{j}(C_{j})\).
Example 4.2
\(\mathfrak{fns}\)-data
X | Over population | Wastage of energy | Poor infrastructure | Poor distribution system | Major accidents and natural calamities | Wars and attacks | Over consumption |
---|---|---|---|---|---|---|---|
\(\varsigma_{1}\) | (0.7,0.1,0.3) | (0.8,0.2,0.3) | (0.9,0.2,0.4) | (0.9,0.2,0.1) | (0.8,0.1,0.2) | (0.8,0.3,0.3) | (0.9,0.2,0.2) |
\(\varsigma_{2}\) | (0.3,0.5,0.7) | (0.4,0.5,0.1) | (0.6,0.1,0.4) | (0.4,0.3,0.1) | (0.6,0.1,0.4) | (0.5,0.2,0.1) | (0.7,0.1,0.1) |
\(\varsigma_{3}\) | (0.4,0.2,0.1) | (0.7,0.3,0.2) | (0.6,0.5,0.1) | (0.6,0.1,0.2) | (0.8,0.7,0.6) | (0.6,0.5,0.3) | (0.4,0.1,0.1) |
\(\varsigma_{4}\) | (0.6,0.2,0.3) | (0.5,0.4,0.4) | (0.6,0.5,0.5) | (0.5,0.2,0.1) | (0.4,0.1,0.2) | (0.5,0.1,0.2) | (0.2,0.1,0.1) |
\(\varsigma_{5}\) | (0.9,0.1,0.1) | (0.8,0.2,0.2) | (0.7,0.1,0.2) | (0.9,0.1,0.2) | (0.9,0.2,0.1) | (0.8,0.1,0.3) | (0.7,0.2,0.2) |
\(\varsigma_{6}\) | (0.7,0.2,0.3) | (0.8,0.2,0.2) | (0.9,0.1,0.2) | (0.6,0.1,0.2) | (0.6,0.2,0.3) | (0.6,0.1,0.4) | (0.7,0.2,0.5) |
\(\varsigma_{7}\) | (0.6,0.1,0.3) | (0.7,0.1,0.2) | (0.6,0.1,0.1) | (0.6,0.3,0.4) | (0.5,0.1,0.2) | (0.6,0.2,0.1) | (0.8,0.1,0.1) |
\(\varsigma_{8}\) | (0.4,0.3,0.2) | (0.5,0.1,0.4) | (0.3,0.1,0.1) | (0.4,0.3,0.2) | (0.5,0.2,0.4) | (0.4,0.2,0.3) | (0.5,0.5,0.4) |
The set of possible solutions is represented by \(X=\{\varsigma _{1},\varsigma_{2},\varsigma_{3},\varsigma_{4},\varsigma_{5},\varsigma _{6},\varsigma_{7},\varsigma_{8}\}\), where:
\(\varsigma_{1}=\) Buy energy efficient products;
\(\varsigma_{2}=\) Lighting controls;
\(\varsigma_{3}=\) Energy simulation;
\(\varsigma_{4}=\) Common stand on climate change;
\(\varsigma_{5}=\) Replacing thermal power fuel;
\(\varsigma_{6}=\) Stand alone power projects;
\(\varsigma_{7}=\) Use solar thermal;
\(\varsigma_{8}=\) Perform energy audit.
The set of some basic causes is given by \(\mathfrak{R}=\{\varrho _{1},\varrho_{2},\varrho_{3},\varrho_{4},\varrho_{5},\varrho_{6},\varrho_{7}\} \), where:
\(\varrho_{1}=\) Over population;
\(\varrho_{2}=\) Wastage of energy;
\(\varrho_{3}=\) Poor infrastructure;
\(\varrho_{4}=\) Poor dispersion scheme;
\(\varrho_{5}=\) Major fortuities and instinctive disasters;
\(\varrho_{6}=\) Wars and attacks;
\(\varrho_{7}=\) Over consumption;
\(\mathfrak{fns}\)-average table
X | Average values |
---|---|
\(\varsigma_{1}\) | (0.828,0.185,0.257) |
\(\varsigma_{2}\) | (0.5,0.257,0.271) |
\(\varsigma_{3}\) | (0.585,0.342,0.228) |
\(\varsigma_{4}\) | (0.471,0.228,0.257) |
\(\varsigma_{5}\) | (0.814,0.142,0.185) |
\(\varsigma_{6}\) | (0.7,0.157,0.3) |
\(\varsigma_{7}\) | (0.628,0.142,0.2) |
\(\varsigma_{8}\) | (0.428,0.242,0.285) |
\(\mathfrak{fns}\)-comparison table
\(\boldsymbol {C_{T}}\) | Comparison values |
---|---|
\(\varsigma_{1}\) | 7 + 3 − 4 = 6 |
\(\varsigma_{2}\) | 2 + 6 − 4 = 4 |
\(\varsigma_{3}\) | 3 + 7 − 2 = 8 |
\(\varsigma_{4}\) | 1 + 4 − 4 = 1 |
\(\varsigma_{5}\) | 6 + 1 − 0 = 7 |
\(\varsigma_{6}\) | 6 + 2 − 7 = 1 |
\(\varsigma_{7}\) | 4 + 1 − 1 = 4 |
\(\varsigma_{8}\) | 0 + 5 − 6 = −1 |
The selection possibilities can be identified in the following order: \(\varsigma_{3}\succ\varsigma_{5}\succ\varsigma_{1}\succ\varsigma _{2}=\varsigma_{7}\succ\varsigma_{4}=\varsigma_{6}\succ\varsigma_{8}\). It can be easily seen from the above relation that the first three maximum resulting values are given by \(\varsigma_{3}\), \(\varsigma_{5}\) and \(\varsigma_{1}\), which shows that we should work on the energy simulation and should buy energy efficient products with replacing thermal power fuel.
5 Conclusion
Fuzzy neutrosophic soft set theory has various applications in science and engineering, especially in the areas of neural networks, operations research, artificial intelligence and decision making. On this theme, we put forward the idea of \(\mathfrak{fns}\)-mappings which is based on an \(\mathfrak {fns}\)-element of an \(\mathfrak{fns}\)-set in the \(\mathfrak {fns}\)-topological space. We introduced the innovative idea of fixed points of \(\mathfrak{fns}\)-mappings. We presented an outranking approach of an \(\mathfrak{fns}\)-set in the decision making to reduce energy crises.
Declarations
Authors’ contributions
The authors contributed to each part of this paper equally. The authors read and approved the final manuscript.
Conflict of interest
The authors declare that they have no conflict of interest.
Competing interests
The authors declare that they have no competing interest.
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
Authors’ Affiliations
References
- Zadeh, LA: Fuzzy sets. Inf. Control 8, 338-353 (1965) View ArticleMATHGoogle Scholar
- Molodtsov, D: Soft set theory-first results. Comput. Math. Appl. 37, 19-31 (1999) MathSciNetView ArticleMATHGoogle Scholar
- Maji, PK, Biswas, R, Roy, AR: Fuzzy soft sets. J. Fuzzy Math. 9(3), 589-602 (2001) MathSciNetMATHGoogle Scholar
- Çağman, N, Çitak, F, Enginoglu, S: Fuzzy parameterized fuzzy soft set theory and its applications. Turk. J. Fuzzy Syst. 1(1), 21-35 (2010) MATHGoogle Scholar
- Zorlutuna, I, Atmaca, S: Fuzzy parametrized fuzzy soft topology. New Trends Math. Sci. 4(1), 142-152 (2016) MathSciNetView ArticleGoogle Scholar
- Atanassov, K: Intuitionistic fuzzy sets. Fuzzy Sets Syst. 20, 87-96 (1986) View ArticleMATHGoogle Scholar
- Smarandache, F: Neutrosophy Neutrosophic Probability, Set and Logic. American Research Press, Rehoboth (1998) MATHGoogle Scholar
- Abbas, M, Khalid, A, Romaguera, S: Fixed points of fuzzy soft mappings. Appl. Math. Inf. Sci. 8(5), 2141-2147 (2014) MathSciNetView ArticleGoogle Scholar
- Abbas, M, Murtaza, G, Romaguera, S: On the fixed point theory of soft metric spaces. Fixed Point Theory Appl. 2016, 17 (2016) MathSciNetView ArticleMATHGoogle Scholar
- Akram, M, Nawaz, S: Certain types of soft graphs. U.P.B. Sci. Bull., Ser. A 78(4), 67-82 (2016) MathSciNetMATHGoogle Scholar
- Akram, M, Nawaz, S: Fuzzy soft graphs with applications. J. Intell. Fuzzy Syst. 30(6), 3619-3632 (2016) View ArticleMATHGoogle Scholar
- Arockiarani, I, Sumathi, IR, Martina, J: Jency, fuzzy neutrosophic soft topological spaces. Int. J. Math. Arch. 4(10), 225-238 (2013) Google Scholar
- Feng, F, Akram, M, Davvaz, B, Fotea, VL: Attribute analysis of information systems based on elementary soft implications. Knowl.-Based Syst. 70, 281-292 (2014) View ArticleGoogle Scholar
- Feng, F, Jun, YB, Liu, X, Li, L: An adjustable approach to fuzzy soft set based decision making. J. Comput. Appl. Math. 234(1), 10-20 (2010) MathSciNetView ArticleMATHGoogle Scholar
- Feng, F, Li, C, Davvaz, B, Ali, MI: Soft sets combined with fuzzy sets and rough sets, a tentative approach. Soft Comput. 14(9), 899-911 (2010) View ArticleMATHGoogle Scholar
- Feng, F, Liu, XY, Leoreanu-Fotea, V, Jun, YB: Soft sets and soft rough sets. Inf. Sci. 181(6), 1125-1137 (2011) MathSciNetView ArticleMATHGoogle Scholar
- Wang, H, Smarandache, F, Zhang, YQ, Sunderraman, R: Single valued neutrosophic sets. Multispace and Multistructure 4, 410-413 (2010) MATHGoogle Scholar
- Karaaslan, F: Neutrosophic soft set with applications in decision making. Int. J. Inform. Sci. Intell. Syst. 4(2), 1-20 (2015) Google Scholar
- Maji, PK: Neutrosophic soft set. Ann. Fuzzy Math. Inform. 5(1), 157-168 (2013) MathSciNetMATHGoogle Scholar
- Riaz, M, Naeem, K, Ahmad, MO: Novel concepts of soft sets with applications. Ann. Fuzzy Math. Inform. 13(2), 239-251 (2017) MathSciNetMATHGoogle Scholar
- Riaz, M, Naeem, K: Measurable soft mappings. Punjab Univ. J. Math. 48(2), 19-34 (2016) MathSciNetMATHGoogle Scholar
- Riaz, M, Fatima, Z: Certain properties of soft metric spaces. J. Fuzzy Math. 25(3), 543-560 (2017) Google Scholar
- Riaz, M, Hashmi, MR: Fuzzy parameterized fuzzy soft topology with applications. Ann. Fuzzy Math. Inform. 13(5), 593-613 (2017) MathSciNetMATHGoogle Scholar
- Riaz, M, Hashmi, MR: Certain applications of fuzzy parameterized fuzzy soft sets in decision-making problems. Int. J. Algebra Statist. 5(2), 135-146 (2016) View ArticleGoogle Scholar
- Riaz, M, Hashmi, MR, Farooq, A: Fuzzy Parameterized Fuzzy Soft Metric spaces. Journal of Mathematical Analysis (2018, in press) Google Scholar
- Samet, B: Coupled fixed point theorems for a generalized Meir-Keeler contraction in partially ordered metric spaces. Nonlinear Anal. 72, 4508-4517 (2010) MathSciNetView ArticleMATHGoogle Scholar
- Jleli, M, Samet, B: Remarks on G-metric spaces and fixed point theorems. Fixed Point Theory Appl. 2012, 210 (2012) MathSciNetView ArticleMATHGoogle Scholar
- Chen, CM, Lin, IJ: Fixed point theory of the soft Meir-Keeler type contractive mappings on a complete soft metric space. Fixed Point Theory Appl. 2015, 184 (2015) View ArticleMATHGoogle Scholar
- Wardowski, D: On a soft mapping and its fixed points. Fixed Point Theory Appl. 2013, 182 (2013) MathSciNetView ArticleMATHGoogle Scholar
- Al-Sharif, S, Alahmari, A, Al-Khaleel, M, Salem, A: New results on fixed points for an infinite sequence of mappings in g-metric space. Ital. J. Pure Appl. Math. 37, 517-540 (2017) MathSciNetMATHGoogle Scholar
- Ionescu, C, Rezapour, S, Samei, ME: Fixed points of some new contractions on intuitionistic fuzzy metric spaces. Fixed Point Theory Appl. 2013, 168 (2013) MathSciNetView ArticleMATHGoogle Scholar
- Maji, PK, Biswas, R, Roy, AR: An application of soft sets in decision making problem. Comput. Math. Appl. 44(8-9), 1077-1083 (2002) MathSciNetView ArticleMATHGoogle Scholar