Classical and continuous Gromov-Hausdorff distances

Abstract

Starting from the definition of the Gromov-Hausdorff distance via distortion of correspondences, we add the requirement of semicontinuity of each correspondence and its inverse. It turns out that in the case of lower semicontinuity we obtain the same classical Gromov-Hausdorff distance, while for upper semicontinuity we are able to prove coincidence with the classical one only in cases where the spaces are either totally bounded or boundedly compact.