《离散数学》二元关和函数-2.pptVIP

第4章 二元关系和函数 在高等数学中，函数是在实数集合上进行讨论的，其定义域是连续的。 本章把函数概念予以推广 ⑴定义域为一般的集合，支持离散应用。 ⑵把函数看作是一种特殊的关系：单值二元关系。 函数定义 函数与关系的区别 从A到B的函数f与一般从A到B的二元关系R有如下区别： A的每一元素都必须是f的序偶的第一坐标，即dom(f)=A；但dom(R)?R 若f(x)=y，则函数f在x处的值是惟一的，即(f(x)=y)?(f(x)=z)?(y=z)，；但(xRy)?(xRz)得不到y=z 例1 设A={1,2,3,4,5}，B={6,7,8,9,10}，分别确定下列各式中的f是否为由A到B的函数。 (1)f={(1,8),(3,9),(4,10),(2,6),(5,9)} (2)f={(1,9),(3,10),(2,6),(4,9)} (3)f={(1,7),(2,6),(4,5),(1,9),(5,10),(3,9)} 解 （1）能构成函数，因为符合函数的定义条件。 （2）不能构成函数，因为A中的元素5没有像，不满足像的存在性。 （3）不能构成函数，因为A中的元素1有两个像7和9，不满足像的惟一性。 函数相等 从A到B的函数 B上A 实例 函数的像 函数的性质 注意： ①由单射的定义可知，设X和Y是有限集合，若存在单射函数f:X→Y，则