到达域
对应域(英语:),或称为陪域、余定义域、上域、终域、共变域、目标集合。

是一个将所有定义域(红色区块)中的点对应到点的函数。搜集所有点的集合(黄色区块)为函数的值域,(蓝色区块)为的对应域。
在数学领域中,一个函数的对应域指的是至少包含所有此函数的输出值的一个集合。在函数符号中,是函数的对应域。
例
例一
定义三个函数:
其中。
- 因为,函数的输出值皆为非负数,所以的值域为,也就是区间。又因,即的对应域不等于值域,所以不是一个满射函数。
- 虽然和函数的输出值相同,但因为两者的对应域不同,因此不是相同的函数。
- 因为的对应域不等于的定义域,合成函数 为无效的函数。唯有合成符号右侧函数的对应域和左侧函数的定义域相同时,该合成函数才有效,例如。
例二
定义为介于两个线性空间的线性变换:
也可以被表达成一个2×2的实数矩阵,代表一个从定义域到对应域的对应方式。 假设
则代表把所有定义域中的点 对应到对应域中的点 。由于的值域只搜集了所有的点,例如点不在的值域中,但在的对应域中,因此不是一个满射函数。
在此例中,2×2的矩阵在秩()等于2时,为满射函数,小于2时则非。对应域和值域是否相等可做为判断矩阵是否有满秩()的依据,因为的值域小于对应域,所以没有满秩。
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.