离散数学函数.ppt

举例判断乘法运算是否在下列各N的子集上封闭？(1)A1={0,1}(2)A2={1,2}(3)A3={x|x为素数}(4)A4={x|x为偶数}(5)A5={x|x为奇数}√×√√×2?2=4?A22?3=6?A3第94页，共138页，星期日，2025年，2月5日定理*:X中的二元运算S1?XS2?X*在S1和S2上是封闭的*在S1∩S2上也封闭第95页，共138页，星期日，2025年，2月5日证明对任意的两个元素x,y?S1∩S2?x,y?S1∧x,y?S2*在S1和S2上封闭?x*y?S1∧x*y?S2?x*y?S1∩S2*在S1∩S2上也封闭第96页，共138页，星期日，2025年，2月5日二、二元运算的性质1、封闭性（通性）2、交换性3、可结合性4、可分配性5、吸收律第97页，共138页，星期日，2025年，2月5日定理 设函数f:X→Y,g:Y→Z,g?f是一个复合函数，则：(1)若g?f是满射的,则g是满射的.(2)若g?f是单射的,则f是单射的.(3)若g?f是双射的,则g是满射的，f是单射的.第62页，共138页，星期日，2025年，2月5日证明（2）x1≠x2f(x1)≠f(x2)x1≠x2g?f是单射的g?f(x1)≠g?f(x2)g(f(x1))≠g(f(x2))g(y1)≠g(y2)函数的唯一性y1≠y2f(x1)≠f(x2)f是单射的第63页，共138页，星期日，2025年，2月5日定理设函数f:X→Y,IX是X上的恒等函数，IY是Y上的恒等函数，则f=f?IX=IY?f第64页，共138页，星期日，2025年，2月5日证明设:x?Xy?YIX(x)=xIY(y)=yf?IX(x)=f(IX(x))=f(x)f?IX=fIY?f(x)=IY(f(x))=f(x)IY?f=f第65页，共138页，星期日，2025年，2月5日定理函数f:X→Yf-1:f的逆关系，则：f-1是从Y到X的函数?f是双射函数第66页，共138页，星期日，2025年，2月5日举例:f不是满射函数设函数f:X→YX={a,b,c}Y={1,2,3,4}f={a,1,b,2,c,3}f的逆关系f-1={1,a,2,b,3,c}，不满足函数的任意性不是函数第67页，共138页，星期日，2025年，2月5日举例:f不是单射函数设函数f:X→YX={a,b,c}Y={1,2}f={a,1,b,1,c,2}f的逆关系f-1={1,a,1,b,2,c}，不满足唯一性不是函数第68页，共138页，星期日，2025年，2月5日2、反函数 设f:X→Y是双射函数，则:f的逆关系称f的反函数注意：只有双射函数才有反函数。f-1第69页，共138页，星期日，2025年，2月5日证明(1)f:X→Y则f-1:Y→X假设f不是满射函数，则:与函数的任意性相矛盾Rf?YRf=Df-1Df-1?Y第70页，共138页，星期日，2025年，2月5日证明(2)假设f不是单射函数，则：x1≠x2f(x1)＝f(x2)＝yf(x1)＝yf(x2)＝yf-1(y)＝x1f-1(y)＝x2原像像点像点与函数的唯一性相矛盾第71页，共138页，星期日，2025年，2月5日定理设f:X→Y是一双射函数,则:f的反函数f-1:Y→X也是一个双射函数。第72页，共138页，星期日，2025年，2月5日证明(1)f-1是从Y到X的函数；(2)f-1是满射函数；(3)f-1是单射函数；第73页，共138页，星期日，2025年，2月5日证明：f-1是从Y到X的函数f是双射函数f是满射函数对任意的y?Y必存在x?Xx,y?f?y,x?f-1?Df-1＝Yf-1是满足任意性的f是双射函数f是单射函数对任意的y?Y恰有一个的x?Xx,y?f仅有一个x?Xy,x?f-1f-1是满足唯一性的第74页，共138页，星期日，2025年，2月5日证明：f-1是满射函数∵Rf-1=∴f-1是满射函数Df=X第75页，共138页，星期日，2025年，2月5日证明：f-1是单射函数假设f-1不是单射函数，即：y1≠y2但是有f-