Optimal Mutual Location of Compact Sets in Spaces Endowed with Euclidean Invariant Gromov–Hausdorif Metric

Abstract

Non–empty compact subsets of the Euclidean space located optimally (i.e., the Hausdorff distance between them cannot be decreased) are studied. It is shown that if one of them is a single point, then it is located at the Chebyshev center of the other one. Many other particular cases are considered too. As an application, it is proved that each three–point metric space cari be isometrically embedded into the orbit space of the group of proper motions acting on the compact subsets of the Euclidean space. In addition, it is proved that for each pair of optimally located compact subsets all intermediate compact sets in the sense of Hausdorff metric are also intermediate in the sense of Euclidean Gromov–Hausdorff metric.