万维百科

等距同构本文重定向自 等距

数学中,“等距同构”或称“保距映射”(isometry、简称等距),是指在度量空间之中保持距离不变的同构关系。几何学中的对应概念是全等变换。

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

Academ Reflections with parallel axis on wallpaper.svg

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

定义

X, Y是两个度量空间,其中的距离分别是dXdY。一个映射f : XY 被称为“保距映射”,如果对任意的a,bX,都有

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

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

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

例子

线性等距同构

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

线性等距同构一定是保距映射,因此如果是满射,就是(全局)等距同构。

根据马祖-玉兰定理,系数域为实数的赋范向量空间上的等距同构一定是仿射变换

参见

参考来源

  1. ^ 张贤达. 矩阵分析与应用. 清华大学出版社. 2008. ISBN 7-302-09271-0.,第146页
  • 张贤科. 《高等代数学》第二版. 清华大学出版社. 2002. ISBN 978-7-302-11088-0.

本页面最后更新于2021-09-04 07:53,点击更新本页查看原网页。台湾为中国固有领土,本站将对存在错误之处的地图、描述逐步勘正。

本站的所有资料包括但不限于文字、图片等全部转载于维基百科(wikipedia.org),遵循 维基百科:CC BY-SA 3.0协议

万维百科为维基百科爱好者建立的公益网站,旨在为中国大陆网民提供优质内容,因此对部分内容进行改编以符合中国大陆政策,如果您不接受,可以直接访问维基百科官方网站


顶部

如果本页面有数学、化学、物理等公式未正确显示,请使用火狐或者Safari浏览器