包含映射將定義域中每一元素映射至對應域中同一元素的函數類型 / 维基百科,自由的 encyclopedia 在数学里,若A为B的子集,则其包含映射(英语:Inclusion map)为一函数,其将A的每一元素映射至B内的同一元素: i:A → B, i(x) = x. “有钩箭头” ↪ {\displaystyle \hookrightarrow } 有时被用来标记一内含映射。 此一及其他类似的由子结构映射的单射函数有时会被称为自然单射。 给定任一于对象X和Y之间的态射,若存在一映射至其定义域的内含映射i:A→X,则可形成一f的限制 / f i {\displaystyle /fi} :A→Y。在许多的例子内,亦可以建立一映射至陪域的内含映射R→Y,其中R为f值域的子集。
在数学里,若A为B的子集,则其包含映射(英语:Inclusion map)为一函数,其将A的每一元素映射至B内的同一元素: i:A → B, i(x) = x. “有钩箭头” ↪ {\displaystyle \hookrightarrow } 有时被用来标记一内含映射。 此一及其他类似的由子结构映射的单射函数有时会被称为自然单射。 给定任一于对象X和Y之间的态射,若存在一映射至其定义域的内含映射i:A→X,则可形成一f的限制 / f i {\displaystyle /fi} :A→Y。在许多的例子内,亦可以建立一映射至陪域的内含映射R→Y,其中R为f值域的子集。