Every separable metric space is isometrically embeddable in .

Advertisements

Skip to content
# Spooky geometry

##
2 thoughts on “Spooky geometry”

### Leave a Reply

Every separable metric space is isometrically embeddable in .

Advertisements

%d bloggers like this:

Just an idea of why this should hold:

Suppose you have a *countable* metric space. Then its points are a sequence . Take the first point and put it anywhere in . Take the second point and put it also in in such a way that it respects the distance from the first point. If we want to do this with the third point it will probably be the case that there is not enought “room” in . But if we add a dimension we see that we can put the first three points in , respecting the distances. Then keep on adding a dimension each step.

As a matter of fact doing the above construction for a dense countable set we can actually construct the isometric embedding in the general case (notice that the function defined on the dense countable set is uniformly continuous and that is a complete metric space.)

LikeLike

Let be a separable metric space and let be a countable, dense subset. Define as . This map is well defined since . We will now prove it is an isometry.

Let and consider the -th coordinates of and . The absolute value of their difference is , and so . On the other hand, since is dense, there is a sequence , and so . This proves and so is an isometry.

LikeLike