到达域

提示：此条目页的主题不是值域。

对应域（英语：Codomain），或称为陪域、馀定义域、上域、终域、共变域、目标集合。

$f$是一个将所有定义域$X$(红色区块)中的点$x\in X$对应到点$f(x)\in Y$的函数。搜集所有点$f(x)$的集合(黄色区块)为函数$f$的值域，$Y$(蓝色区块)为$f$的对应域。

在数学领域中，一个函数的对应域指的是至少包含所有此函数的输出值的一个集合。在函数符号$f\colon X\rightarrow Y$中，$Y$是函数$f$的对应域。

$f$的值域是$Y$的一个子集，若$f$是一个满射函数，则$f$的对应域和值域相等，反之则代表有$y\in Y$不存在于$f$的值域中，使得方程式$f(x)=y$无解。

例

例一

定义三个函数：

$f\colon \mathbb {R} \rightarrow \mathbb {R} ,\ f(x)=x^{2}$

$g\colon \mathbb {R} \rightarrow \mathbb {R} _{0}^{+},\ g(x)=x^{2}$

$h\colon \mathbb {R} _{0}^{+}\rightarrow \mathbb {R} ,\ h(x)={\sqrt {x}}$

其中$\mathbb {R} _{0}^{+}=\mathbb {R} ^{+}\cup \{0\}$。

1. 因为$f(x)=x^{2}$，函数$f$的输出值皆为非负数，所以$f$的值域为$\mathbb {R} _{0}^{+}$，也就是$[0,\infty )$区间。又因$\mathbb {R} _{0}^{+}\subset \mathbb {R}$，即$f$的对应域不等于值域，所以$f$不是一个满射函数。
2. 虽然$f$和$g$函数的输出值相同，但因为两者的对应域不同，因此不是相同的函数。
3. 因为$f$的对应域不等于$h$的定义域，合成函数 $h\circ f$为无效的函数。唯有合成符号右侧函数的对应域和左侧函数的定义域相同时，该合成函数才有效，例如$h\circ g$。

例二

定义$T$为介于两个线性空间的线性变换：

$T:\mathbb {R} ^{2}\rightarrow \mathbb {R} ^{2}$

$T$也可以被表达成一个2×2的实数矩阵，代表一个从定义域$\mathbb {R} ^{2}$到对应域$\mathbb {R} ^{2}$的对应方式。 假设

$T={\begin{bmatrix}1&0\\1&0\end{bmatrix}}$

则代表把所有定义域中的点$(x,y)\in \mathbb {R} ^{2}$ 对应到对应域中的点 $(x,x)\in \mathbb {R} ^{2}$。由于$T$的值域只搜集了所有$x=y$的点，例如点$(2,3)$不在$T$的值域中，但在$T$的对应域$\mathbb {R} ^{2}$中，因此$T$不是一个满射函数。

在此例中，2×2的矩阵在秩（rank）等于2时，为满射函数，小于2时则非。对应域和值域是否相等可做为判断矩阵是否有满秩（full rank）的依据，因为$T$的值域小于对应域，所以$T$没有满秩。

相关条目

• 定义域
• 值域
• 函数