离散数学教程-王元元-第7章 函数.pptVIP

离散数学 第7章 函数 第7章 函数 7.1.1 函数基本概念 定义7.1 设X，Y为集合，称f为X到Y的函数，记为f：X→Y，如果 f为X到Y的关系（即f ?X?Y），且对每一x?X，都有唯一的 y?Y，使x,y?f 。 当X=X1?…?Xn时，称f为n元函数。 当X=Y时，也称f为X上的函数。 函数是关系的特例。关系f ?X?Y作为函数它还应有以下性质： （1）其前域X正是其定义域。 （2）具有所谓单值性，即?x(x,y?f∧x,y’?f→y＝y’)。 （3）可以用y = f(x) 表示x,y具有函数关系f。 函数也称映射。y = f(x)时，也称x为自变元，y为函数在x处的值； 也称x为y的源点，y为x的像点。 7.1.1 函数基本概念 例7.1 （1）任意集合A上的相等关系EA为一函数，常称为恒等函数，对 任意x?A , EA(x)= x。 （2）实数集合上的线性关系为一函数，f：R→R，y＝f(x)＝kx+b 。 实数集合上的椭圆关系L={}不构成函数，不满足单值性。 （3）自然数集合上的整除关系不是函数，因为0不整除x。 在正整数集合上，整除关系仍不是函数，例2?4，2?