"就等距同构到完备的度量空间的一个稠密子空间并且通常用这一空间来指代原空间"M"。 其它的嵌入构造表明每一度量空间都等距同构到某一赋范向量空间的一个闭子集以及每一完备度量空间都等距同构到某一巴拿赫空间的一个闭子集。一个希尔伯特空间上的等距、满射的线性算子被称为酉算子。
定义.设"X", "Y"是两个度量空间，其中的距离分别是"d" 和"d"。一个映射"f" : "X" → "Y" 被称为“保距映射”，如果对任意的"a","b" ∈ "X"，都有保距映射一定是单射。任意两个度