等距同构

✍ dations ◷ 2025-04-02 14:51:15 #度量几何,函数,对称

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

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

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

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

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

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

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

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

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

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

相关

  • 梅德福市梅德福(Medford)位于美国俄勒冈州南部,是杰克逊县的县治。该市最高点乐声安峰高1090米,是普雷斯科特公园的一部分。根据2000年美国人口普查,梅德福共有63,154人,其中白人占89.99%
  • 约瑟夫·德迈斯特约瑟夫·德·迈斯特伯爵(法语:Le comte Joseph de Maistre,1753年-1821年),是萨伏依的哲学家、作家、律师及外交官。在法国大革命之后的那段期间,他挺身为阶级社会与君主制辩护。迈
  • 剧场罗马剧场(Roman theatre)是指古罗马时期修建的半圆形剧场。罗马剧场受到了古希腊剧场的很大影响,但也有自己的特征。罗马剧场分布在从西班牙至中东的广大地区,且世界很多地方都
  • 哈巴罗夫斯克边疆区哈巴罗夫斯克边疆区(俄语:Хаба́ровский край,罗马化:Khabarovsky kray)是位于俄罗斯远东地区的一个边疆区,为俄罗斯第四大行政区。在2015年有人口1,338,305人,地广
  • 单态单重态(英语:Singlet state),也称单线态,指的是自旋多重性为1的分子。单重态分子的能级在磁场中不裂分,在光谱中只能看到一条能级线。绝大多数分子的基态是单重态。
  • 美国电影学会美国电影学会(英语:American Film Institute,简称AFI)成立于1967年,是美国国家艺术基金会创建的独立运作的非营利组织。1965年,美国总统林登·约翰逊发出派令,指定设立一个全国性的
  • 贬值贬值或货币贬值是指某一特定货币价值下降,此价值一般会以兑换为其他货币单位后的金额为准,意指价格下降或是价值减少。贬值的反义词是升值,是指货币的价值上升。货币的升值或贬
  • 奎 昌奎昌(?年-?年),道光十六年翻译进士。咸丰3年-咸丰9年,右中允,;咸丰3年,日讲起居注官,;咸丰9年-咸丰10年,左庶子,;咸丰10年-同治5年,太仆寺卿,;同治5年,署科布多参赞大臣,;同治5年-同治10年,科布
  • 巴斯特·基顿约瑟夫·弗兰克·“巴斯特”·基顿(英语:Buster Keaton,1895年10月4日-1966年2月1日) 是一名美国演员、喜剧演员,电影导演、制片人、编剧和特技演员。他以其无声电影而闻名于世,同
  • 战国七雄战国七雄是中国古代战国时期七个较强的诸侯国的统称。春秋时期和战国时期无数次兼并战争使诸侯国的数量从数百减少到数十。到战国后期,仅剩下七个实力较强的周天子分封或自立