王也洲《离散数学及其应用》第8章 函数.pptVIP

第8章 函数 8.2 函数 8.2.1函数的定义 定义8.2.1 设f是集合A到B的关系，如果对每个x∈A，都存在惟一的y∈B，使得x,y∈f，则称关系f为A到B的函数(Function)(或映射(Mapping)、变换(Transform))，记为f:A→B。 A为函数f的定义域，记为domf=A； f(A)为函数f的值域，记为ranf。 当x,y∈f时，通常记为y=f(x)，这时称x为函数f的自变量，y为x在f下的函数值(或象)， 也称x为y在f下的原象 。 结论 如果关系f是函数，那么 x,y∈f ? y=f(x)； x,y∈f ∧ x,z∈f ? y=z； |f|=|A|； f(x)表示一个变值，f代表一个集合，因此f≠f(x)。 例8.2.1 设A={1,2,3,4}，B={a,b,c,d}，试判断下列关系哪些是函数。如果是函数，请写出它的值域。 （1）f1={1,a,2,a,3,d,4,c}； （2）f2={1,a,2,a,2,d,4,c}； （3）f3={1,a,2,b,3,d,4,c}； （4）f4={2,b,3,d,4,c}。 解 （1）在f1中，因为A中每个元素都有唯一的象和它对应，所以f1是函数。其值域是A中每个元素的象的集合，即ranf1={a,c,d}； （2）在f2中，因为元素2有两个不同的象a和d，与象的唯一性矛盾，所以f2不是函数； （3）在f3中，因为A中每个元素都有唯一的象和它对应，所以f3是函数。其值域是A中每个元素的象的集合，即ranf3={a,b,c,d}； （4）在f4中，因为元素1没有象，所以f4不是函数。 例 判断下图所示的几个关系是否是函数： 例8.2.3 设A={a,b}，B={1,2}，请分别写出A到B的不同关系和不同函数。 解 因为|A|=2，|B|=2，所以|A×B|=|A|×|B|=4，即A×B={a,1,a,2，b,1,b,2}，此时从A到B的不同的关系有24=16个。 A到B不同的关系 R0=Φ；R1={a,1}；R2={a,2}；R3={b,1}； R4={b,2}；R5={a,1,b,1}；R6={a,1,b,2}； R7={a,2,b,1}；R8={a,2,b,2}； R9={a,1,a,2}；R10={b,1,b,2}； R11={a,1,a,2,b,1}； R12={a,1,a,2,b,2}； R13={a,1,b,1,b,2}； R14={a,2,b,1,b,2}； R15={a,1,a,2,b,1,b,2}。 A到B不同的函数 从A到B的不同的函数仅有22=4个。分别如下： f1={a,1,b,1}, f2={a,1,b,2}， f3={a,2,b,1}, f4={a,2,b,2}。 函数与关系的差别 函数是一种特殊的关系，它与一般关系比较具备如 下差别： 从A到B的不同的关系有2|A|?|B|个；但从A到B的不同的函数却仅有|B||A|个。 (个数差别) 关系的第一个元素可以相同；函数的第一元素一定是互不相同的。 (集合元素的第一个元素存在差别) 每一个函数的基数都为|A|(|f|=|A|)，但关系的基数却为从零一直到|A|×|B|。 (集合基数的差别) 8.2.2函数的类型 定义8.2.2 设f是从A到B的函数， 对任意x1,x2∈A，如果x1≠x2，有f(x1)≠f(x2)，则称f 为从A到B的单射（不同的x对应不同的y)； 将定义8.2.2的描述数学化为 f:A→B是单射当且仅当对任意x1,x2∈A，若x1≠x2，则f(x1)≠f(x2)； f:A→B是满射当且仅当对任意y∈B，一定存在x∈B，使得f(x)=y； f:A→B是双射当且仅当f既是单射，又是满射； f:A→B是变换当且仅当f是双射且A=B。 例8.2.4 确定下列函数的类型。 设A={1,2,3,4,5}，B={a,b,c,d}。f:A→B定义为：{1,a,2,c,3,b,4,a,5,d}； 设A={1,2,3}，B={a,b,c,d}。f:A→B定义为：f={1,a,2,c,3,b}； 设A={1,2,3}，B={1,2,3}。f:A→B定义为f={1,2,2,3,3,1}； 解 因为对任意y∈B，都存在x∈B，使得x,y∈f，所以f是满射函数； 因为A中不同的元素对应不同的象，所以f是单射函数； 因为f既是单射函数，又是满射函数，所以f是双射函数。又因为A=B，所以f还是变换。 结论 设A，B为有限集合，f是从A到B的函数，则： f是单射的必要条件为|A|≤|B|； f是满射的必要条件为|B|≤|A|； f是双射的必要条件为|A|＝|B|。 定理8.2.1 设A，B是有