Metric Space - Distance Between Points and Sets; Hausdorff Distance and Gromov Metric

Distance Between Points and Sets; Hausdorff Distance and Gromov Metric

A simple way to construct a function separating a point from a closed set (as required for a completely regular space) is to consider the distance between the point and the set. If (M,d) is a metric space, S is a subset of M and x is a point of M, we define the distance from x to S as

where represents the infimum.

Then d(x, S) = 0 if and only if x belongs to the closure of S. Furthermore, we have the following generalization of the triangle inequality:

which in particular shows that the map is continuous.

Given two subsets S and T of M, we define their Hausdorff distance to be

where represents the supremum.

In general, the Hausdorff distance dH(S,T) can be infinite. Two sets are close to each other in the Hausdorff distance if every element of either set is close to some element of the other set.

The Hausdorff distance dH turns the set K(M) of all non-empty compact subsets of M into a metric space. One can show that K(M) is complete if M is complete. (A different notion of convergence of compact subsets is given by the Kuratowski convergence.)

One can then define the Gromov–Hausdorff distance between any two metric spaces by considering the minimal Hausdorff distance of isometrically embedded versions of the two spaces. Using this distance, the set of all (isometry classes of) compact metric spaces becomes a metric space in its own right.

Read more about this topic:  Metric Space

Famous quotes containing the words distance between, distance and/or points:

    The distance between your place in the kitchen and Miss Vollard’s place in the dining room is considerable.
    Blake Edwards (b. 1922)

    Are we not madder than those first inhabitants of the plain of Sennar? We know that the distance separating the earth from the sky is infinite, and yet we do not stop building our tower.
    Denis Diderot (1713–1784)

    A few ideas seem to be agreed upon. Help none but those who help themselves. Educate only at schools which provide in some form for industrial education. These two points should be insisted upon. Let the normal instruction be that men must earn their own living, and that by the labor of their hands as far as may be. This is the gospel of salvation for the colored man. Let the labor not be servile, but in manly occupations like that of the carpenter, the farmer, and the blacksmith.
    Rutherford Birchard Hayes (1822–1893)