Fix a point in a metric space . The Fréchet embedding sends to the bounded function in . The triangle inequality bounds each coordinate by and gives . Taking gives equality, so the map is an isometric embedding. For a separable metric space a countable dense set of anchors suffices. Finite collections of distances to selected subsets instead give one-Lipschitz coordinates that need not be an exact Fréchet embedding.
New to topics? Read the docs here!