本页使用了标题或全文手工转换

到达域

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

對應域(英语:codomain),或稱為目標集合(英语:target set)。

在數學上,一個函數的對應域指的是至少包含所有此函數的輸出值的一個集合。若一函數,則是該函數的對應域。

值域的一個子集,若是一個滿射函數(surjective function),則的對應域和值域相等,反之則代表有不存在於的值域中,使得方程式無解。

[编辑]

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

定义为

这里的上域为实数集,但明顯地函数不会有负的函数值,因此,事实上这里的值域为非负实数集,即:

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

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

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

相关条目[编辑]