In this section, AOs with PDs for SPFNs are presented.
3.1. SPFPA Operator
Presume is the assemblage of SPFNs, “there is a prioritization among these SPFNs expressed by the strict priority orders , where indicates that the SPFN has higher priority than . is the dimensional vector of PDs. The assemblage of such SPFNs with strict priority orders and PDs is denoted by .”
Definition 7. SPFPA operator is a mapping from to and given as,
where , , for each and . Then, SPFPA is called “picture fuzzy prioritized averaging operators with PDs”.
Theorem 3. Presume is the conglomeration of SPFNs, we also define SPFPA by
where , , for each and .
Proof. By “mathematical induction”. For
Then
This demonstrates that Equation (2) is valid for
; now suppose that Equation (2) is correct for
, i.e.,
Now for
,
This demonstrates that Equation (2) applies for
. Therefore,
□
Theorem 4. Presume that is the conglomeration of SPFNs, andThen,
where , , for each and .
Proof. Since,
and
From Equation (
3) we have,
From Equation (
4) we have,
Let
If,
and
, then
□
Theorem 5. Presume that if is an SPFN having the characteristics , then Proof. Let be the SPFN. Then, by assumption, we have gives , and . By Definition 7, we have . Then, by using Theorem 3, we obtain
□
Corollary 1. If is the conglomeration of largest SPFNs, i.e., for all g, then Proof. We would immediately establish a corollary analogous to Theorem 5. □
Corollary 2. If is the smallest SPFN, i.e., , then Proof. Here,
then by SF,
Since,
We have,
From Definition
1, we have
□
Theorem 6. Presume that and are two conglomerations of SPFNs, if and is an SPFN, then
1.
2.
3.
4.
Proof. This is trivial by definition. □
SPFPA operator satisfied following properties.
Characteristic: 1
Presume that
is the conglomeration of SPFNs, then we have
Proof. Given that,
, from this we have,
by this we obtain,
□
Characteristic: 2
Presume that
is the conglomeration of SPFNs and
for all
g, then we have
Proof. Given that,
, from this we have,
and
. Hence
□
Characteristic: 3
Presume that
is the conglomeration of SPFNs and
or 1, then we have
Proof. Here, for each we have
because, ,
and
for each
. Hence,
□
Characteristic: 4
Presume that
is the conglomeration of SPFNs and
for all
, and
, then we have
Proof. Given that, . So,
for each .
So,
and for each .
for each .
□
Characteristic: 5
Presume that
is the conglomeration of SPFNs and
or 0, then we have
Proof. Given that, . So,
for each .
So,
and for each .
for each .
□
3.2. SPFPG Operator
Definition 8. An SPFPG operator is a mapping from to and defined as,
where , , for each and . Then SPFPG is called "picture fuzzy prioritized geometric operator with PDs".
Theorem 7. Presume is the conglomeration of SPFNs, we can also find SPFPG by
where , , for each and .
Proof. This is identical to Theorem 3. □
Theorem 8. Presume that is the conglomeration of SPFNs, andThen,
where , , for each , and .
Proof. Proof is same as Theorem 4. □
Theorem 9. Presume that if is an SPFN having the characteristic, , then Proof. Let be the SPFN. Then, by assumption, we have gives , and . By Definition 8, we have . Then, by using Theorem 7, we obtain
□
Corollary 3. If is the conglomeration of largest SPFNs, i.e., for all g, then Proof. We can easily obtain a corollary similar to Theorem 9. □
Corollary 4. If is the smallest SPFN, i.e., , then Proof. Here,
, then by SF, we have,
Since,
We have,
From Definition
1, we have
□
Theorem 10. Presume that and are two conglomerations of SPFNs, if and is an SPFN, then
1.
2.
3.
4.
Proof. This is trivial by definition. □
SPFPG operator also satisfied the following properties.
Characteristic: 1
Presume that
is the conglomeration of SPFNs, then
Characteristic: 2
Presume that
is the conglomeration of SPFNs and
∀
g, then
Characteristic: 3
Presume that
is the conglomeration of SPFNs and
or 1, then
Characteristic: 4
Presume that
is the conglomeration of SPFNs and
for all
, and
, then
Characteristic: 5
Presume that
is the conglomeration of SPFNs and
or 0, then