离散数学编译原理.pdfVIP

安徽大学计算机科学与技术学院 第四章 函数 §4.1 函数的基本概念 §4.2 特殊函数类 §4.3 逆函数 §§4.14.1 函数的基本概念函数的基本概念 ? 函数的定义 ? 合成函数 ? 归纳定义的函数 ? 偏函数 ? 函数的前域的扩大和缩小 《离散数学》 制作：章权兵 1 安徽大学计算机科学与技术学院 函数的概念 定义:从集合X到集合Y的函数f:X→Y是X到Y的 满足下列条件的二元关系f: ?x(x∈X→?!y(y∈Y∧x,y∈f)). ? 当x,y∈f时,记为f(x)=y. x称为自变元,y称为函数值. ? 函数f的定义域等于其前域:D(f)=X, 值域R(f)记为f(X). ? 关系f?X×Y是函数关系的充要条件是: f的定义域等于其前域且 ?x?y?y′(x,y,x,y′∈f→y=y′). 映象的概念 定义:设f是从X到Y的函数,X′?X是前域X的子集, 则f(X′)为陪域的子集,称为函数f下X′的映象. f(X′)={y|?x(x∈X∧x,y∈f)}. ? 整个前域X的映象称为函数f的映象(值域). 注意:函数值和映象的区别. 例:教材P128例1. ? 一些特殊的函数:教材P129例2. 《离散数学》 制作：章权兵 2 安徽大学计算机科学与技术学院 Y上X Y上X:从集合X到Y的所有函数的集合,记做YX,即 YX={f|f是从集合X到Y的函数}. 例:设X={1,2,3},Y={a,b},求YX. ? 若|X|=m,|Y|=n,且m,n0,则|YX|=nm. ? 当X或Y中至少有一个集合是空集时: (a) X=?且Y≠?,则YX={?}; |YX|=nm. (b) X≠?且Y=?,则YX=?; |YX|=nm. (c) X=?且Y=?,则YX={?}. 合成函数的概念 定理:设g:X→Y和f:Y→Z是函数,则合成函数f?g 是X到Z的函数,对?x∈X,(f?g)(x)=f(g(x)). 证明:首先,f?g是从X到Z的合成关系. 由g是函数得 ?x(x∈X→?!y(y∈Y∧x,y∈g)). 令此唯一的y为y′(∈Y),再由f是函数得 ?!z(z∈Z∧y′,z∈f). 所以,?x(x∈X→?!z(z∈Z∧x,z∈f?g)). ? 函数的合成运算是可结合的. 定义:设f:X→X是函数,函数f的幂定义如下: f0(x)=x; fn+1(x)=f(fn)(x). 《离散数学》 制作：章权兵 3 安徽大学计算机科学与技术学院 归纳定义的函