等距同构

在数学中，等距同构 ，或称保距映射，简称等距（英语：Isometry），是指在度量空间之中保持距离不变的同构关系。几何学中的对应概念是全等变换。

等距同构经常用于将一个空间嵌入到另一空间的构造中。例如，测度空间M的完备化即涉及从M到M' 的等距同构，这里M' 是M上柯西序列所构成的空间关于“距离为零”的等价关系的商集。这样，原空间M就等距同构到完备的度量空间的一个稠密子空间并且通常用这一空间来指代原空间M。其它的嵌入构造表明每一度量空间都等距同构到某一赋范向量空间的一个闭子集以及每一完备度量空间都等距同构到某一巴拿赫空间的一个闭子集。

一个希尔伯特空间上的等距、满射的线性算子被称为酉算子。

定义

设X, Y是两个度量空间，其中的距离分别是d_X 和d_Y。一个映射f : X → Y 被称为“保距映射”，如果对任意的a,b ∈ X，都有

d_{Y}\left(f(a),f(b)\right)=d_{X}(a,b)

保距映射一定是单射。任意两个度量空间之间的等距同构都必然是一个拓扑嵌入。

等距同构是一一对应的保距映射，有时也被称为全局等距同构。还有一种定义是路径等距同构，指保持所有曲线长度的映射（不一定是一一对应的）。

如果两个度量空间之间存在一个等距同构，就称它们两个为等距同构的。所有从一个度量空间到另一个的等距同构关于映射的复合运算组成一个群，称为等距同构群。

在赋范向量空间之间可以定义线性等距同构：所有保持范数的线性映射：

\|f(v)\|=\|v\|

线性等距同构一定是保距映射，因此如果是满射，就是（全局）等距同构。

系数域为实数的赋范向量空间上的等距同构一定是仿射变换。