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

在高等数学中，函数是在实数集合上进行讨论的，其定义域是连续的。 本章把函数概念予以推广 ⑴定义域为一般的集合，支持离散应用。 ⑵把函数看作是一种特殊的关系：单值二元关系。;函数定义;函数与关系的区别;例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，则|X|≤|Y|。 ②由满射的定义可知，设X和Y是有限集合，若存在满射函数f:X→Y，则|X|≥|Y|。 ③由双射的定义可知，设X和Y是有限集合，若存在双射函数f:X→Y，则|X|=|Y|。 ;实例;解 (1) f：R→R, f(x)=?x2+2x?1 在x=1取得极大值0.