到达域

维基百科,自由的百科全书
跳转至: 导航搜索
X(左)到Y(右)的函数映射fY中的小圈是f的值域。Yf的上域。

上域codomain)或称为target)或是對應域,是函数概念中的一部分。给定一个函数f: A\rightarrow B,集合B称为是f上域。上域不应跟值域f(A)混淆起来,一般来说,值域只是上域B的一个子集

[编辑]

设函数f为一个实函数,即:

f: \mathbb{R}\rightarrow\mathbb{R}

定义为

f\colon\,x\mapsto x^2

这里f的上域为实数集\mathbb{R},但明顯地函数f(x)不会有负的函数值,因此,事实上这里的值域为非负实数集\mathbb{R}^+\cup\{0\},即:

0\leq f(x)<+\infty

这里可以定义另外一个函数g

g:\mathbb{R}\rightarrow\mathbb{R}^+
g:\,x\mapsto x^2

虽然fg對於輸入值具有相同的效果,但從现代观点来看,它们由于拥有不同的上域而不被視为是相同的函数。

函数是否為滿射,這點跟上域的選取很有關係。在上面的例子中,g是一个满射,而f不是。

相关条目[编辑]