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

离散数学二元关系和函数第1页，共32页，星期日，2025年，2月5日在高等数学中，函数是在实数集合上进行讨论的，其定义域是连续的。本章把函数概念予以推广⑴定义域为一般的集合，支持离散应用。⑵把函数看作是一种特殊的关系：单值二元关系。4.6函数的定义与性质第2页，共32页，星期日，2025年，2月5日函数定义定义设F为二元关系,若?x∈domF都存在唯一的y∈ranF使xFy成立,则称F为函数.对于函数F,如果有xFy,则记作y=F(x),并称y为F在x的函数值.例1F1={x1,y1,x2,y2,x3,y2}

F2={x1,y1,x1,y2}F1是函数,F2不是函数4.6函数的定义与性质第3页，共32页，星期日，2025年，2月5日函数与关系的区别从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=z4.6函数的定义与性质第4页，共32页，星期日，2025年，2月5日例1设A={1,2,3,4,