离散数学及其应用-傅彦-第8章 函数.pptVIP

第三篇 二元关系 第8章 函数 8.0 内容提要 8.1 本章学习要求 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。 函数定义的示意图见图8.2.1。 结论 （1）x,y∈f?y=f(x)； （2）x,y∈f∧x,z∈f?y=z； （3）|f|=|A|； （4）f(x)表示一个变值，f代表一个集合，因此f≠f(x)。 如果关系f具备下列两种情况之一，那么f就不是函数： （1）存在元素a∈A，在B中没有象； （2）存在元素a∈A，有两个及两个以上的象。 例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}。 例8.2.1 解 （1）在f1中，因为A中每个元素都有唯一的象和它对应，所以f1是函数。其值域是A中每个元素的象的集合，即ranf1={a,c,d}；