\(L_p\) metrics for compact convex sets (Q1077718)

Let \(\mathcal K^d\) the space of non-empty convex compact subsets of \(\mathbb R^d\) \((2\leq d<+\infty)\). The Hausdorff metric \(\delta_\infty\) on \(\mathcal K^d\) is given by the formula \(\delta_\infty(K,L)=\sup_{e\in S^{d-1}}| \delta^*(e,K)-\delta^*(e,L)|\) where \(\delta^*(e,\cdot)\) is the support functional of a non-empty convex compact set in \(\mathbb R^d\) and \(S^{d-1}\) the unit sphere. The author establishes some results relating the \(\delta_{\infty}\) metric with the \(\delta_p\) metric on \(\mathcal K^d\) defined by \(\delta_p(K,L)=[\int_{S^{d-1}}| \delta^*(e,K)-\delta^*(e,L)|^p \mu(de)]^{1/p}\) where \(\mu\) is unit Lebesgue measure on \(S^{d-1}\) and \(1\leq p<+\infty\). Theorem 1: Let \(K, L\in\mathcal K^d\). Then \(\delta_p(K,L)\leq \delta_\infty(K,L)\). Equality is attained iff one set is a parallel body of the other. The main result is Theorem 2 (p. 282) giving tight bounds between the \(\delta_p\) \((1\leq p<+\infty)\) and \(\delta_\infty\) metrics. As consequence of Theorem 1 and Theorem 2, the author proves that \((\mathcal K^d,\delta_p)\) \((1\leq p\leq \infty)\) are complete in which closed bounded sets are compact, and all the metrics \(\delta_p\) \((1\leq p\leq \infty)\) induce the same topology on \(\mathcal K^d\).