离散数学讲义第4章.pptVIP

天津财经大学 信息科学与技术系 王宁 ninglw@163.com Discrete Mathematics 离散数学讲义（电子版） 第四章 函数 第四章 函数 本章包括以下内容： 4-1 函数的概念 4-2 逆函数和复合函数 4-4 基数的概念 4-5 可数集与不可数集 4-6 基数的比较 在这里把函数看作一种特殊关系。 定义：设X，Y为任意两个集合，f是X到Y的关系，若对于每一个x?X，有唯一的y?Y，使得〈x,y〉?f，称关系f为函数（或映射），记作 f：X ? Y 其中，x称为自变元，y称在f作用下x的象。〈x,y〉?f也可记作y=f(x)，且记 f(X) = { f(x) | x?X } 4-1 函数的概念 注：函数与关系的区别 （1）函数的定义域是X，而不能是X的某个真子集 （2）一个x?X只能对应唯一一个y 在〈x，y〉 ?f中，f的前域即dom f=X，f的值域ran f ?Y，有时也记作Rf。 Rf={y| (?x)(x ? X) ?(y ? Y)} 集合Y称为f的共域，ran f称为函数的象集合。 4-1 函数的概念（续） 定义：设函数f：A ? B，g：C ? D，如果A=C，B=D，且对所有x ? A和y ? C，有f(x)=g(x)，则称函数f和g相等，记作f=g 注：X ? Y的子集并不能都成为X到Y的函数。我们用YX表示从X到Y的所有函数的集合，当X和Y是无限集时也可用这个符号。 定义：对于f：X ? Y的映射中，如果ran f=Y，即Y的每一个元素是X中一个或多个元素的象点，则称这个映射为满射（或到上映射）。即对于任意y ? Y，必存在x ? X使得f(x)=y成立。 4-1 函数的概念（续） 定义：从X到Y的映射中，X中没有两个元素有相同的象，则称这个映射为入射。 定义：从X到Y的映射，若既是满射，又是入射，则称这个映射为双射。 4-1 函数的概念（续） 定理：设X，Y为有限集，若X和Y的元素个数相同，即|X|=|Y|，则f：X ? Y是入射当且仅当它是满射。 证明： 若f是入射，则|X|=|f(X)|，由于f(X) ?Y，又因为|f(X)|=|Y|，而Y中的元素是有限的，因此f(X)=Y，即f是满射。 若f是满射，则f(X)=Y，于是|X|=|Y|=|f(X)|。因为|X|=|f(X)|，且X是有限的，故f是一个入射。 注：这个定理必须在有限集情况下才成立。 4-2 逆函数和复合函数 定理：设f：X ? Y是双射函数，那么fc：Y ? X也是双射函数。 证明：设f={〈x,y〉|(x ? X) ? (y ? Y) ? (f(x)=y)} fc={〈y,x〉|〈x,y〉?f} 因为f是满射，故对每一个y ? Y，必存在〈x,y〉? f，则〈y,x〉? fc，即fc的前域为Y。又因为f是入射，对每一个y ? Y，恰有一个x ? X，使得〈x,y〉?f。因此仅有一个x ? X使得〈y,x〉? fc，即y对应唯一的一个x，故fc是函数。又ran fc = dom f = X，故fc是满射。若y1?y2，有fc(y1) = fc(y2)，因为fc(y1) = x1，fc(y2)=x2，即x1=x2，故 fc(y1) = fc(y2)，即y1=y2 ，得到矛盾。因此fc是双射函数。 4-2 逆函数和复合函数（续） 定义：设f：X ? Y是一个双射函数，称Y ? X的双射函数fc为f的逆函数，记作f-1。 例1：设X={1,2,3}，Y={p,q}，Z={a,b}，f={〈1,p〉,〈2,p〉,〈3,q〉}，g={〈p,b〉,〈q,b〉}，则 g?f={〈1,b〉,〈2,b〉,〈3,b〉} 定义：设f：X ? Y，g：W ? Z，若f(X) ? W，则 g?f={〈x,z〉|(x?X) ? (z?Z) ? (?y)(y?Y ? y=f(x) ? z=g(y))}，称g在函数f的左边可复合。 定义：设f：X ? Y，g：Y ? Z，则 g?f={〈x,z〉|(x?X)?(z?Z)?(?y)(y?Y?y=f(x)?z=g(y))}，称为复合函数，或g?f为g对f的左复合。 定理：两个函数的复合是一个函数。 证明：设g：W?Z， f：X?Y，为左复合，即f(X)?W。 4-2 逆函数和复合函数（续） （1）对任意的x ? X，因为f为函数，则必有唯一序偶〈x,y〉使得y=f(x)成立。而f(x) ? f(X)，即f(x) ? W，又因为g是函数，故必有唯一的序偶〈y,z〉使得z=g(y)成立，根据复合定义，〈x,z〉? g?f，即X中每个x对应Z中某个z。 （2）假设g?f中包含序偶〈x,z1〉和〈x,z2〉，且z1 ? z2，则在Y中必存在y1和y2，满足在f中有〈x,y1〉和〈x,y2〉，在g中