嵌入 (数学)

✍ dations ◷ 2025-04-04 11:21:39 #抽象代数,点集拓扑学,微分拓扑学,度量几何,微分几何,函数

数学上,嵌入是指一个数学结构经映射包含到另一个结构中。某个物件称为嵌入到另一个物件中,是指有一个保持结构的单射: →,这个映射就给出了一个嵌入。上述“保持结构”的准确意思,需由所讨论的结构而定。一个保持结构的映射,在范畴论中称为态射。

要表达: →是一个嵌入,有时会使用带钩箭号 f : X Y {\displaystyle f\colon X\hookrightarrow Y} , 之间的一个连续单射: →是一个拓扑嵌入,如果给出与()间的同胚(空间()上的拓扑是由诱导的子空间拓扑。)凡是连续单射的开映射或闭映射都是拓扑嵌入,不过一个嵌入也可能既非开映射也非闭映射:当其像()不是中的开集或闭集时,便发生这种情况。

在微分拓扑中,令, 为光滑流形,而: →为光滑映射。则如果的微分处处皆为单射,则称为一个浸入。此时的嵌入定义为一个符合拓扑嵌入定义的单射浸入,又称为光滑嵌入。换言之,嵌入是微分同胚于其像,所以嵌入的像必是子流形。浸入是一个局部嵌入,即在每点 x M {\displaystyle x\in M} 是紧致流形,则的浸入必是嵌入。

光滑嵌入的一个重要情形是在为 R n {\displaystyle \mathbb {R} ^{n}} 维流形,需多大才保证有从到 R n {\displaystyle \mathbb {R} ^{n}} = 2便足够,而且是最好的上界。例如嵌入一个维的实射影平面便需要 = 2。

如果将光滑嵌入的定义中,为光滑映射的条件放宽为C映射,其中是正整数,而其余条件不变,则称为C嵌入。

在黎曼几何中,设(,), (,)是黎曼流形,一个等距嵌入是一个光滑嵌入: →,令黎曼度量保持不变,即将由拉回等于,就是 g = f ( h ) {\displaystyle g=f^{*}(h)} 中任何一点,及任何两个切向量

都有

设, 为度量空间,映射 f : X Y {\displaystyle f\colon X\to Y} f 1 {\displaystyle f^{-1}} ()上)都是利普希茨连续,则称为双利普希茨嵌入(bi-Lipschitz embedding)。换言之,如果存在常数 L 1 {\displaystyle L\geq 1} 为(-)双利普希茨嵌入。

一个更广义的嵌入是拟对称嵌入(quasisymmetric embedding)。如前设为拓扑嵌入。称为(-)拟对称嵌入,如果存在同胚 η : [ 0 , ) [ 0 , ) {\displaystyle \eta \colon [0,\infty )\to [0,\infty )} (0)=0且为严格递增的连续函数),使得中任何三点, , 若满足

其中 > 0,则有

若是一个-双利普希茨嵌入,可令 η ( t ) = L 2 t {\displaystyle \eta (t)=L^{2}t} 是-拟对称嵌入。

双利普希茨嵌入的一个相关概念是拟等距嵌入。拟等距嵌入虽名为嵌入,却不一定是嵌入,因其未必是单射。

域论上,从一个域到另一个域中的一个嵌入,是一个环同态σ: → 。因为环同态的核是一个理想,而域的理想只有0及整个域本身,又σ(1)=1,故其核不能为整个域,即知核为0。因此这个环同态必定是单态射,而和在中的σ()同构。所以可称两个域之间的任何同态为嵌入。

关于序理论中的嵌入,可参见序嵌入。

相关

  • 健康检查全面医学检查(英文:general medical examination)又称为健康检查(英文:Health Check)是为一种常见的预防医学。一个具体的定义为:一个自我感觉健康良好的成人定期到院进行身心健康
  • 林 皋林皋(1929年1月2日-),江西南昌人,中国水利工程及地震工程专家,中国科学院院士。1951年毕业于清华大学土木系,1954年大连工学院水能利用研究班毕业。大连理工大学教授。1997年当选为
  • 道路施工道路施工是指部分道路或是整段道路,由于和道路有关的工程而无法使用,多半是因为路面(英语:Road surface)施工、或是下水道或是地下管线的施工,不过也有可能是因为发生严重车祸,需要
  • 直接射中目标而不需瞄准的距离近距离平射射程(英语:point-blank range)是指一个射击者得以直接射中目标而不需瞄准的距离。武器的近距离平射射程会根据该武器的外弹道特征、所选取的目标而有所不同。目标一
  • 光圈收缩光圈收缩,是摄影时光圈由大(F1.2)到小(F64)的变换过程。在拍摄中如果遇到光线不足或太强烈的光线时,都需要进行光圈及快门速度调整。P档或自动挡拍摄时将无需手动设置。光圈控制了
  • 医药分家医药分家(业)是指开立处方跟调剂药物分离的一种制度。医药分家在西方的起源约可追溯到亚历山大大帝时代。相传亚历山大大帝在东征回程时肠胃不适,其御用医师为其治疗时不慎用药
  • 熊毅熊毅(1910年3月10日-1985年1月24日),字其毅,贵州贵阳人,中国土壤学家。被称为中国土壤胶体化学和土壤矿物学的奠基人,土壤发生和土壤资源研究、水稻土和土壤肥力研究、土壤生态和环
  • 色满宾馆色满宾馆坐落于古城喀什市西南,是喀什市的一座三星级宾馆。位于喀什市色满路337号。此处曾是沙皇俄国驻喀什噶尔领事馆行馆别墅所在地,始建于1890年。1894年瑞典皇家科学院院
  • APT高级打包工具(英语:Advanced Packaging Tools,缩写为APT)是Debian及其派生的Linux软件包管理器。APT可以自动下载,配置,安装二进制或者源代码格式的软件包,因此简化了Unix系统上管
  • 安登银安登银(20世纪-20世纪),四川凉山金阳人,中华人民共和国政治人物。担任凉山南部土司。曾任凉山州政协副主席。1954年,当选第一届全国人民代表大会代表。