等距同构

✍ dations ◷ 2025-11-19 00:26:36 #度量几何,函数,对称

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

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

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

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

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

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

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

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

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

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

相关

  • 担孢子担孢子(英语:Basidiospore)是担子菌门(包括伞菌、木耳、锈菌、黑粉菌等)的真菌所产生的有性孢子(英语:Teleomorph, anamorph and holomorph)。一般来说担孢子是由特化的结构担子经由
  • 阿尔弗雷德·诺思·怀特黑德阿尔弗雷德·诺思·怀特海(英语:Alfred North Whitehead ,1861年2月15日-1947年12月30日),OM,英国数学家、哲学家。他是历程哲学(英语:Process philosophy)学派的奠基者,目前已被视为可
  • 灯塔水母灯塔水母(学名:Turritopsis nutricula)属于水螅纲,是水母的一种。其特征是性成熟(能够进行有性生殖)个体的生命周期能从水母型直接重返水螅型(英语:Polyp_(zoology)),而跳过死亡的过程
  • 太空探索太空探索是指以物理手段探索地球以外物体以及探索太空,涉及到的连续演化和成长的航天技术。虽然太空研究主要是由天文学家用望远镜实施的,但是太空的物理勘探是由无人驾驶的机
  • 东阳卢宅坐标:29°15′56″N 120°14′35″E / 29.26556°N 120.24306°E / 29.26556; 120.24306东阳卢宅位于中国浙江省东阳市城东,为卢氏民居建筑群,1988年被列为第三批全国重点文物
  • 代谢当量代谢当量商(Metabolic Equivalent of Task, MET)是一种进行生物活动时的一种生物学特性,可以用于计算从事某一类活动时的代谢水平。本条目中未有特别说明的,一律指人类活动。MET
  • 面食面食,粉食中的一种,是指主要以面粉制成的食物,世界各地均有不同种类的面食,中国主要有:面条、馒头、拉条子、麻什、烧饼、饺子、包子等,西方有面包、各种烤饼等,种类繁多。谷粉
  • 刀耕火种刀耕火种,或称刀耕火耨、火耕,是一种以砍伐及焚烧林地上的植物来获得耕地的古老农业技术。农民首先会砍伐一个地区的树木及木本植物,待树木干燥后再作焚烧,此举所产生的富含营养
  • 趣伏里公园坐标:55°40′25″N 12°34′06″E / 55.67361°N 12.56833°E / 55.67361; 12.56833趣伏里公园(Tivoli Gardens)是丹麦哥本哈根著名的主题公园,开放于1843年8月15日,仅次于卡拉
  • 戏院戏院可以指: