# 感谢宋老师的云培养
# 第一篇笔记写在2023程序员节这一天,值得纪念
映射
定义
设 是两个非空集合,如果存在一个法则 ,使得对 中每个元素 ,按法则 ,在 中有唯一确定的元素 与之对应,那么称 为从 到 的映射,记作:
其中 称为元素 (在映射 下)的像,并记作 ,即:
而元素 称为元素 (在映射 下)的一个原像;集合 称为映射 的定义域,记作 ,即 ,中所有元素的像所组成的集合称为映射 的值域,记作 或 ,即:
注意:
三要素:,,
- , 不一定与 相等,也就是说 中的元素不一定有 中的元素与之对应,但 中的元素在 中一定有元素与之对应。
-
对于 ,其对应的 是唯一的,即一个 只能对应一个 ,而两个 可以对应同一个 。
特殊映射
- 满射:
当,此时的称为满射
- 单射:
当每一个 只有一个 与之对应(一一对应),且,,此时 称为单射。
- 一一映射:
既是单射又是满射的映射,此时 中的元素数量相等。
- 逆映射:
设:是单射,对于每个 (不一定是满射故不是 ),都有唯一的 满足 ,我们可以定义一个新的映射 ,即:
这个映射 称之为 的逆映射,记作 ,其定义域为 ,值域 。
只有单射才有逆映射
- 复合映射:
设 ,并且 ,,每个 能通过 再通过 得到 里的元素,即 ,这个映射称为 和 构成的复合映射,记作:,即:
,,
此时 的值域必须包含在 的定义域内: 。
复合映射是有顺序的, 有意义不代表 有意义。
即使两个复合映射都有意义,两个复合映射也未必相同。