等距同構

在數學中，等距同構 ，或稱保距映射，簡稱等距（英語：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\|

線性等距同構一定是保距映射，因此如果是滿射，就是（全局）等距同構。

係數域為實數的賦範向量空間上的等距同構一定是仿射變換。