离散数学编译原理讲述.pdfVIP

安徽大学计算机科学与技术学院 第四章函数 §4.1 函数的基本概念 §4.2 特殊函数类 §4.3 逆函数 §4.1 函数的基本概念 §4.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上X :从集合X到Y的所有函数的集合,记做Y ,即 YX={f|f是从集合X到Y的函数}. X 例:设X={1,2,3},Y={a,b},求Y . 若|X|=m,|Y|=n,且m,n0,则|YX m |=n. 当X或Y中至少有一个集合是空集时: X X m (a) X ∅且Y≠∅,则Y ={∅}; |Y |=n. X X m