Appendix A
Theorem A1. Letting , , and be any three LPFNs defined on , and , , then we have
- (1)
- (2)
- (3)
- (4)
- (5)
- (6)
Proof. The proofs of properties are similar, and we only give the proof of (1), (3) and (5) here.
(1) According to Definition 10, we have
(3) Based on Definition 10, we have
Because
and
, then
(5) Based on Definition 10, we have
Because
and
, then
Thus, Theorem A1 is proved. ☐
Theorem A2. Let be a number of LPFNs, the aggregated value of LPFNs based on LPFWA operator is obtained as follows: where is the weight vector of and satisfies with
Proof. We apply the method of mathematical induction to prove Theorem A2.
- (1)
When
, for
and
,
Thus, (
A1) is held for
.
- (2)
Supposing that (
A1) is held for
, then
when
, we have
That is to say, (
A1) is held for
. According to the mathematical induction, (
A1) is held for any
n, so Theorem A2 is proved. ☐
In the following, we prove the properties in Theorem A3 by using the LPFWA operator.
Theorem A3. (1) Idempotency: Let be a number of LPFNs, if are all equal, that is, for all j, then (2) Commutativity: Let and be two collections of LPFNs, if is any permutation of , then (3) Boundedness: Let be a collection of LPFNs and , , , , , , then Proof. (1) Since
for all
, then
(2) According to Definition 11, we have
Since
is any permutation of
, it is easy to know
(3) Assume that
, since
,
,
,
,
,
, we can get
and
Because
and
are increasing as
and
increase, then
We know and ,
Thus, is obtained. ☐
Theorem A4. Letting be a number of LPFNs, the aggregated value of them based on LPFWG operator is obtained as follows:where is the weight vector of and satisfies with . Proof. The proof is similar to Theorem A2, and we omit it here. ☐
Theorem A5. (1) Idempotency: Let be a number of , if are all equal, that is, for all j, then (2) Commutativity: Let and be two collections of LPFNs, if is any permutation of , then (3) Boundedness: Let be a collection of LPFNs and , , , , , then Proof. The proof is similar to Theorem A3, we omit it here. ☐
Theorem A6. Letting , and be three LPFSs defined on , where and , the generalized weighted distance measure satisfies the following properties:
- (1)
;
- (2)
;
- (3)
;
- (4)
If , then and .
Proof. (1) Based on the definition of LPFSs, we know that
and
, and
. For all
, it is easy to know that
According to the absolute value inequality, we have
By Mathematical induction, the following inequality can be established,
When
because
, we have
When
, assuming that the inequality is held, that is,
When
because
, we have
Thus, is obtained, which implies .
(2) ⟺, and for all ⟺, and for all .
(3) Since
and
then
can be easily obtained.
(4) Because , then , and .
☐
Theorem A7. Letting , and be three LPFSs defined on , where , and , the generalized weighted Hausdorff distance measure satisfies the following properties:
(1)
(2)
(3)
(4) If , then and
Proof. (1) Because for all and , we have
;
;
;
Then, is obtained, that is, .
The proofs of properties (2) to (4) are similar to Theorem A6, and we omit it here. ☐
Theorem A8. Let , and be three LPFSs defined on , where and , the generalized hybrid weighted distance measure satisfying the following properties:
- (1)
;
- (2)
;
- (3)
;
- (4)
If , then and .
Proof. The proof is similarly to Theorem A6, and it can be obtained based on Theorems A6 and A7, we omit it here. ☐
• The Remarks of Definition 13
Remark A1. If , the generalized weighted distance measure is reduced to the weighted Hamming distance measure between LPFSs, which is given as follows:where is the weight vector of and satisfies with (). If , the generalized weighted distance measure is reduced to the weighted Euclidean distance measure between LPFSs, which is given as follows:where is the weight vector of and satisfies with (). Remark A2. If for all j, the generalized weighted distance measure is reduced to the generalized normalized distance measure between LPFSs, which is given as follows:where . If for all j and , the generalized weighted distance measure is reduced to the normalized Hamming distance measure between LPFSs, which is given as follows: If for all j and , the generalized weighted distance measure is reduced to the normalized Euclidean distance measure between LPFSs, which is given as follows: • The Remarks of Definition 14
Remark A3. If , the generalized weighted Hausdorff distance measure is reduced to the weighted Hamming–Hausdorff distance measure between LPFSs, which is given as follows:where is the weight vector of and satisfies with . If , the generalized weighted Hausdorff distance measure is reduced to the weighted Euclidean-Hausdorff distance measure between LPFSs, which is given as follows:where is the weight vector of and satisfies with . Remark A4. If for all j, the generalized weighted Hausdorff distance measure is reduced to the normalized Hausdorff distance measure between LPFSs, which is given as follows:where . If for all j and , the generalized weighted Hausdorff distance measure is reduced to the normalized Hamming–Hausdorff distance measure between LPFSs, which is given as follows: If for all j and , the generalized weighted Hausdorff distance measure is reduced to the normalized Euclidean-Hausdorff distance between LPFSs, which is given as follows: • The Remarks of Definition 15
Remark A5. If , the generalized hybrid weighted distance measure is reduced to the hybrid weighted Hamming distance measure between LPFSs, which is given as follows:where is the weight vector of and satisfies with . If , the generalized hybrid weighted distance measure is reduced to the hybrid weighted Euclidean distance measure between LPFSs, which is given as follows:where is the weight vector of , and satisfies with . Remark A6. If for all j, the generalized hybrid weighted distance measure is reduced to hybrid normalized distance measure between LPFSs, which is given as follows:where . If for all j and , the generalized hybrid weighted distance measure is reduced to hybrid normalized Hamming distance measure between LPFSs, which is given as follows: If for all j and , the generalized hybrid weighted distance measure is reduced to hybrid normalized Euclidean distance measure between LPFSs, which is given as follows: