限制、延拓（映射）

限制
术语名称	限制
英语名称	restriction

延拓
术语名称	延拓
英语名称	extension

限制(restriction)指限制一个映射的定义域到其某个子集，仅保留自变量在这个子集内的部分。相反的称为延拓(extension)。

定义

限制映射/限制函数
运算名称	限制映射/限制函数
运算符号	[math]\displaystyle{ \bullet|_\bullet }[/math]
Latex	\mid_
运算对象	映射, 集合
运算元数	2
运算结果	映射

对映射 [math]\displaystyle{ f: X\to Y }[/math] 及定义域的一个子集 [math]\displaystyle{ A \subseteq X }[/math] ，记映射 [math]\displaystyle{ f|_A : A \to Y; x \mapsto f(x) }[/math] ，称为 [math]\displaystyle{ f }[/math] 在 [math]\displaystyle{ A }[/math] 上的限制(restriction of [math]\displaystyle{ f }[/math] to [math]\displaystyle{ A }[/math])。

对映射 [math]\displaystyle{ f: A \to Y }[/math] 和 [math]\displaystyle{ g: B \to Y }[/math] ，有 [math]\displaystyle{ A \subseteq B }[/math] 及 [math]\displaystyle{ \forall x\in A, f(x)=g(x) }[/math] ， 称 [math]\displaystyle{ g }[/math] 是 [math]\displaystyle{ f }[/math] 在 [math]\displaystyle{ B }[/math] 上的一个延拓(an extension of [math]\displaystyle{ f }[/math] to [math]\displaystyle{ B }[/math])。

注意：显然，绝大多数情况下，即使给定新定义域，延拓也并不是唯一的。

性质

• 限制不改变定义域则不改变函数 [math]\displaystyle{ f|_X = f }[/math]
• 多次限制相当于直接限制到位 [math]\displaystyle{ (f|_A)|_B = f|_B }[/math]
• 限制相当于用包含映射进行复合以改变定义域 [math]\displaystyle{ f|_A = f \circ \iota_{A\hookrightarrow X} }[/math]

映射
定义属性	定义域 [math]\displaystyle{ \operatorname{dom} }[/math] 、陪域、值域 [math]\displaystyle{ \operatorname{ran} }[/math]
特殊映射	空映射、常值映射、恒等映射[math]\displaystyle{ \mathrm{id}_\bullet }[/math]、包含映射[math]\displaystyle{ \iota }[/math]
类型	单射、满射、双射
运算	复合[math]\displaystyle{ \circ }[/math]、迭代[math]\displaystyle{ \bullet^n }[/math]、逆映射（反函数）[math]\displaystyle{ \bullet^{-1} }[/math]、限制、延拓