Finite quasihypermetric spaces (Q1046936)

Let \((X,d)\) be a compact metric space and let \(\mathcal M(X)\) be the space of all finite signed Borel measures on \(X\). Define: \(I:\mathcal M(X)\to \mathbb R\) by \(I(\mu)=\int_X\int_X d(x,y)d\mu(x)d\mu(y)\) and \(M(X)=\sup I(\mu)\), where \(\mu\) ranges over the collection of measures in \(\mathcal M(X)\) of total mass~\(1\). The space \((X,d)\) is called quasihypermetric if \(I(\mu)\leq 0\) for all measures \(\mu\) in \(\mathcal M(X)\) of total mass~\(0\) and is called strictly quasihypermetric if in addition the equality \(I(\mu)=0\) holds amongst measures \(\mu\) of mass~\(0\) only for the zero measure. In this paper, the authors examine the case of a finite metric space many-sided, specifically the significance of the maximal strictly quasihypermetric subspaces of a given finite quasihypermetric space and the case of finite \(L^1\)-embeddable spaces. Although most of the results are for finite space, some of them also apply to the general compact space. The authors developed a general framework which still has to be published. In the present paper, some theorems already refer to these upcoming publications.