离散数学实验第8章 函数.pptVIP

第8章 函数 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。 当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)。 如果关系f具备下列两种情况之一，那么f就不是函数： 存在元素a∈A，在B中没有象； 存在元素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中每个元素都有唯一的象和它对