数学上,嵌入是指一个数学结构经映射包含到另一个结构中。某个物件称为嵌入到另一个物件中,是指有一个保持结构的单射: →,这个映射就给出了一个嵌入。上述“保持结构”的准确意思,需由所讨论的结构而定。一个保持结构的映射,在范畴论中称为态射。
要表达: →是一个嵌入,有时会使用带钩箭号, 之间的一个连续单射: →是一个拓扑嵌入,如果给出与()间的同胚(空间()上的拓扑是由诱导的子空间拓扑。)凡是连续单射的开映射或闭映射都是拓扑嵌入,不过一个嵌入也可能既非开映射也非闭映射:当其像()不是中的开集或闭集时,便发生这种情况。
在微分拓扑中,令, 为光滑流形,而: →为光滑映射。则如果的微分处处皆为单射,则称为一个浸入。此时的嵌入定义为一个符合拓扑嵌入定义的单射浸入,又称为光滑嵌入。换言之,嵌入是微分同胚于其像,所以嵌入的像必是子流形。浸入是一个局部嵌入,即在每点是紧致流形,则的浸入必是嵌入。
光滑嵌入的一个重要情形是在为维流形,需多大才保证有从到 = 2便足够,而且是最好的上界。例如嵌入一个维的实射影平面便需要 = 2。
如果将光滑嵌入的定义中,为光滑映射的条件放宽为C映射,其中是正整数,而其余条件不变,则称为C嵌入。
在黎曼几何中,设(,), (,)是黎曼流形,一个等距嵌入是一个光滑嵌入: →,令黎曼度量保持不变,即将由拉回等于,就是中任何一点,及任何两个切向量
都有
设, 为度量空间,映射和()上)都是利普希茨连续,则称为双利普希茨嵌入(bi-Lipschitz embedding)。换言之,如果存在常数为(-)双利普希茨嵌入。
一个更广义的嵌入是拟对称嵌入(quasisymmetric embedding)。如前设为拓扑嵌入。称为(-)拟对称嵌入,如果存在同胚(0)=0且为严格递增的连续函数),使得中任何三点, , 若满足
其中 > 0,则有
若是一个-双利普希茨嵌入,可令是-拟对称嵌入。
双利普希茨嵌入的一个相关概念是拟等距嵌入。拟等距嵌入虽名为嵌入,却不一定是嵌入,因其未必是单射。
域论上,从一个域到另一个域中的一个嵌入,是一个环同态σ: → 。因为环同态的核是一个理想,而域的理想只有0及整个域本身,又σ(1)=1,故其核不能为整个域,即知核为0。因此这个环同态必定是单态射,而和在中的σ()同构。所以可称两个域之间的任何同态为嵌入。
关于序理论中的嵌入,可参见序嵌入。