离散数学电子教材.docx

. . 第 4 章 映射（函数） 映射（函数）是一个基本的数学概念，它是一个特殊的二元关系，我们可以把映射看作 输入输出关系，它把一个集合（输入集合）的元素变成另一个集合（输出集合）的元素。例如，计算机中的程序可以把一定范围内的任一组数据变化成另一组数据，它就是一个映射。 映射的概念经常出现在开关理论、自动机理论和可计算理论等领域中，在计算机科学中有着广泛的应用。 映射（函数）的概念 考虑下面几个由图 4-1 所示的集合 X 到集合Y 的关系。 图 4-1 在这６个关系中， 后４个关系 R ， R 3 4 ， R ， R 5 6 与 R ， R 1 2 不同， 它们都有下面两 . . . 个特点： 其定义域为 X ； X 中任一元素a 对应唯一一个Y 中的元素b 。我们称具有这样两个特征的关系为映射（函数）。 定义 4.1.1 设 X ,Y 是两个任意的集合，而 f 是 X 到Y 的一个关系，若对每一个 x ? X ，都存在一个唯一的 y ?Y ，使得 x, y ? f ，则称关系 f 为 X 到Y 的映射(Mapping)， 记作 f ：X ? Y 或 X ??f ?Y 若 x, y ? f ，则称 x 为自变量(Independent Variable)，称 y 为映射 f 在 x 处的值（或像 （Image）， x, y ? f 亦可记作 y ? f (x) ， f 的