在数学中,“等距同构”或称“保距映射”(isometry、简称等距),是指在度量空间之中保持距离不变的同构关系。几何学中的对应概念是全等变换。
等距同构经常用于将一个空间嵌入到另一空间的构造中。例如,测度空间的完备化即涉及从到的等距同构,这里是上柯西序列所构成的空间关于“距离为零”的等价关系的商集。这样,原空间就等距同构到完备的度量空间的一个稠密子空间并且通常用这一空间来指代原空间。 其它的嵌入构造表明每一度量空间都等距同构到某一赋范向量空间的一个闭子集以及每一完备度量空间都等距同构到某一巴拿赫空间的一个闭子集。
一个希尔伯特空间上的等距、满射的线性算子被称为酉算子。
设, 是两个度量空间,其中的距离分别是 和。一个映射 : → 被称为“保距映射”,如果对任意的, ∈ ,都有
保距映射一定是单射。任意两个度量空间之间的等距同构都必然是一个拓扑嵌入。
等距同构是一一对应的保距映射,有时也被称为全局等距同构。还有一种定义是路径等距同构,指保持所有曲线长度的映射(不一定是一一对应的)。
如果两个度量空间之间存在一个等距同构,就称它们两个为等距同构的。所有从一个度量空间到另一个的等距同构关于映射的复合运算组成一个群,称为等距同构群。
在赋范向量空间之间可以定义线性等距同构:所有保持范数的线性映射:
线性等距同构一定是保距映射,因此如果是满射,就是(全局)等距同构。
根据马祖-玉兰定理,系数域为实数的赋范向量空间上的等距同构一定是仿射变换。