A proof for the positive definiteness of the Jaccard index matrix

In this paper we provide a proof for the positive definiteness of the Jaccard index matrix used as a weighting matrix in the Euclidean distance between belief functions defined in Jousselme et al. [13]. The idea of this proof relies on the decomposition of the matrix into an infinite sum of positive semidefinite matrices. The proof is valid for any size of the frame of discernment but we provide an illustration for a frame of three elements. The Jaccard index matrix being positive definite guaranties that the associated Euclidean distance is a full metric and thus that a null distance between two belief functions implies that these belief functions are strictly identical.

► We provide a proof for the positive definiteness of the Jaccard index matrix used as a weighting matrix in the generalized Euclidean distance between two belief functions.
► This property guaranties then that the associated Euclidean distance is a full metric and thus that a null distance between two belief functions implies that these belief functions are strictly identical.
► The idea of this proof relies on the decomposition the matrix into an infinite sum of positive semidefinite matrices.