嵌入 (数学)

✍ dations ◷ 2025-04-26 12:35:07 #抽象代数,点集拓扑学,微分拓扑学,度量几何,微分几何,函数

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

要表达: →是一个嵌入,有时会使用带钩箭号 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。因此这个环同态必定是单态射,而和在中的σ()同构。所以可称两个域之间的任何同态为嵌入。

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

相关

  • 国道印度国道所有权归属于印度公路运输与公路部门,它由印度国道管理局(NHAI)、国家公路和基础设施开发公司(NHIDCL)以及州政府的公共工程部门(PWD)建造和管理,印度国家公路管理局由印度
  • 印古什共和国印古什共和国(俄语:Респу́блика Ингуше́тия,罗马化:Respublika Ingushetiya;印古什语:ГӀалгӀай Мохк,罗马化:Ğalğaj Moxk),又译殷古什共和国、英
  • 墨西哥战争美国胜利美墨战争是美国与墨西哥之间于从1846年至1848年爆发的一场战争。19世纪,美国国内流行“天定命运论”,昭昭天命成为美国19世纪时的政治标语 ,其中一层含义就是美国人是
  • 武城县武城县是中国山东省德州市所辖的一个县。 武城县位于山东省西北边陲,鲁西北平原,京杭大运河东岸。武城 建置于春秋时期,西晋太康年间称谓武城,沿用至今。武城县辖1个街道、7个镇
  • 本杰明·斯塔克本杰明·斯塔克(德语:Benjamin Starke;1986年11月25日-)是一位德国游泳运动员。他代表德国参加了2008年和2012年奥运会的比赛。
  • 艾利克斯·赛德尔艾利克斯·赛德尔是一位德国工程师。是Paul Seidel和Josephine Bantle的儿子,父亲是毛瑟兵工厂的技工,塞德尔自小在工厂宿舍长大。他在埃林斯根读完大学后,通过特许工程师的考
  • 大营镇 (雄县)大营镇,是中华人民共和国河北省保定市雄县下辖的一个乡镇级行政单位。大营镇下辖以下地区:许庄村、东河营村、西河营村、皮家营村、付家营村、中营村、文家营村、大崔营村、后
  • 倒地铃属倒地铃 等12种,参见本文。倒地铃属(学名:)是无患子科下一属,约包含12个物种。倒地铃属植物是热带地区主要的草本藤蔓观赏植物。倒地铃属植物种子的提取物被添加到护肤霜中,因为其
  • 针刺家蚁属 Agassiz, 1846针刺家蚁属()为家蚁亚科,分布于新热带。具有触发式大颚(trap-jaw)。本属只有两个物种 和 。 的研究较多,栖息于南美洲北部的雨林中,而 则分布于巴西和秘鲁 针刺家
  • 嘉义市文化局交趾陶馆坐标:23°29′13″N 120°27′05″E / 23.4869859°N 120.4515209°E / 23.4869859; 120.4515209嘉义市文化局交趾陶馆,位于台湾嘉义市东区,隶属于嘉义市文化局,于2000年5月13日