等距同构

✍ dations ◷ 2025-06-08 08:25:56 #度量几何,函数,对称

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

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

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

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

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

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

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

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

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

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

相关

  • 失调共济失调(英语:Ataxia)是指缺乏规律,或者为笨拙,为一种神经疾病上的特征。失调可以广泛指在中枢神经系统、周围神经系统任何其中一环出状况所表现的病征,例如掌管运动和平衡的小脑
  • 温带温带(英语:Temperate climate、德语:Gemäßigte Zone、法语:Climat tempéré),在地理学上,是位于热带和极圈之间的气候带。北半球温带区的范围是从北纬23.5°的北回归线到北纬66.
  • 威斯康辛大学威斯康星大学是美国威斯康星州的州立大学系统,有着超过170年的悠久历史。其旗舰学府威斯康星大学麦迪逊分校坐落于美国密歇根湖西岸的威斯康星州首府麦迪逊。威斯康星大学一
  • 本杰明·富兰克林本杰明·富兰克林 FRS FRSE(英语:Benjamin Franklin,1706年1月17日-1790年4月17日),出生于美国麻省波士顿,美国博学家、开国元勋之一。他是杰出的政治家、外交家、科学家、发明家,同
  • 丈夫丈夫,是男女婚姻中对男性的称谓,与妻子相对应。古代妻子对自己配偶又称夫婿、夫君、相公、官人,闽南语则称翁婿(闽南语读“ㄤ”(ang /ɑŋ/),字用“翁”)、头家、夫婿。外子则是妻
  • 罗氏制药罗氏(德语:F. Hoffmann-La Roche AG,简称Roche),总部位于瑞士巴塞尔的跨国医药研发生产商。它始创于1896年,现属于罗氏控股股份有限公司。罗氏于2009年3月26日以大约468亿美元完成
  • 电信运营商电信公司,又称电讯公司,是电信服务业,包括通信服务公司。电信公司是资金集中式(Capital intensity)的服务业,最大的资本投资是实质的电话网络及电信设备。由于电信是一个国家、地
  • ʔ声门塞音(注音:ㄕㄥ ㄇㄣˊㄙㄜˋㄧㄣ;英文:Glottal stop)为声门闭塞形成的辅音,亦称“清喉塞音”。它在国际音标中的符号是⟨ʔ⟩,在X-SAMPA中的符号是 ?。声门塞音的特征有:声门
  • 无酵饼无酵饼,是简单的面包食品,初出现于古埃及和苏美尔。无酵饼为犹太人纪念逾越节所吃的食品,后由耶稣基督引进用于基督宗教。无酵饼内是不加入酵母的,这对犹太教和基督教来说具有特
  • 基因密度基因密度(gene density或genomic density)单位长度DNA上基因的数量。例如在基因空间内的基因密度远高于从基因组上的均一分布推算出来的基因密度;而在基因间隙内,基因密度等于或