离散数学ch6 函数.pptVIP

　　　第六章 　 函数 一. 函数的定义 1.函数的定义 2.函数相等的定义 3.函数的构成 4.n之函数 二. 特殊函数 1.定义 2.有限集上单，满射关系 3.举例 1.函数的定义 函数的定义（变换、映射） 1．定义： 设X和Y是集合，从X到Y的函数f是满足下列条件的关系： ?x?X，?!y?Y，使 x ， y ?f (记为y = f (x) )。 X称为是f的定义域，Y称为是f的陪域。 x称为自变元，y称为函数值。 1.函数的定义 注意1：关系R的前域： dom (R) = {x∣? y∣ x,y?R}。 关系R的值域： ran (R) ={y∣?x∣x,y?R} 注意2：若 X’ ? X，f (X’) 读作函数f对X ’的映象。 f (X’) ={y∣? x (x? X’∧y=f(x))} 1.函数的定义 a). f= {a,b,a,c,b,a,c,a}是不是一个函数？ 不是 b). f= {a,a,,b,c}是不是一个函数？ 不是 c). f= {x1,x2|x1,x2?N，x2为小于x1的素数个数} 是 d). f= {x1,x2|x1,x2?N，x1+x210} ， 对于x1,x2不唯一。 不是 1.函数的定义 2. 函数相等的定义 函数相等的定义：设f:X→Y,g:W→Z ， 若X=W,Y=Z,且?x?X,有f(x)=g(x), 则称f=g。 3.　函数的构成 用YX表示从集合X到集合Y的所有函数的集合， 设∣X∣= m ，∣Y∣= n , 因集合X中每个自变元，其函数值有n种取法。 ∴∣YX∣=n……n = nm 4.　n元函数 例4: a) p : X*Y→Y， p(x,y) = x. p称为投影函数。 b) f : X→ρ(X*Y)，（ ρ(X*Y）为X*Y的幂集）. f(x) = {x}*Y. f称为截痕函数。 c) 若X = ?. Y是任意集合，则空关系是从X到Y的空函数。 若X≠?,Y=?,则唯一的关系是空关系不是一个函数。 （条件为真，结论不成立） 二. 　特殊函数 定义：设f是从X到Y的函数。 a)若f(X)=Y,那么称为满射,即 ?y?Y,?x?X,使f(x)=y. b)若?x1,x2?X,x1?x2?f(x1)?f(x2) (即若f(x1)=f(x2) ?x1=x2), 那么称f是入射（或单射）。 c)若f既是满射，又是入射，则称f是双射或称一一映射。 X Y X Y X Y a 1 a 1 a d b 2 b 2 b e 3 c f 单射：最多有 满射：至少有 不是单射，也不是 一条弧终止于 一条弧终止于 满射 Y的每一元素。 Y的每一元素。 解：a) ?y?R,取x=(y-a)/(b-a),则f(x)=y, ∴f是满射。 b)?x1,x2?R,x1?x2, 则(b-a)x1+a?(b-a)x2+a, 即f(x1)?f(x2), ∴f是入射， ∴由a），b）知：f是双射。 2． 有限集上单、满射关系 定理1：若X和Y是有限集，且∣X∣=∣Y∣， 则f为单射?f为满射。 证明：‘?’若f为单射，则∣X∣=∣f(X)∣ ∵∣X∣=∣Y∣ ∴∣Y∣=∣f(X)∣ 又∵∣Y∣是有限的， ∴f(X)?Y,∴Y=f(X) ‘?’若f为满射，则f(X)=Y, ∴∣X∣=∣Y∣=∣f(X)∣ 若?x1,x2?X,x1?x2,有f(x1)=f(x2)。 ∵X,Y集合有限， ∣f(X)∣∣