离散数学第4章总结.ppt

4.1 函数的基本概念 4.2 特殊函数类 4.3 逆函数 4.1 函数的基本概念 4.1.1 函数的定义 函数亦称映射或变换,其定义如下: 定义4.1―1 设X和Y是集合,一个从X到Y的函数f记为f:X→Y,是一个满足以下条件的关系:对每一x∈X,都存在唯一的y∈Y,使〈x,y〉∈f。 　　〈x,y〉∈f通常记作f(x)=y,X叫做函数f的前域,Y叫做f的陪域.在表达式f (x)=y中,x叫做函数的自变元,y叫做对应于自变元x的函数值. 　　从定义可看出,X到Y的函数f和一般X到Y的二元关系的不同有以下两点: (1)X的每一元素都必须作为f的序偶的第一个成分出现. (2) 如果f(x)=y1和f(x)=y2,那么y1=y2. 通常我们也把函数f看作是一个映射(变换)规则,它把X的每一元素映射到(变换为)Y的一个元素,因而f(x)又叫做x的映象. 在定义一个函数时,我们必须指定前域,陪域和变换规则,变换规则必须覆盖所有可能的自变元的值.例如 f:I→I,f(x)＝0,如果x≤0;f(x)=x－1,如果x＞0 定义了一个函数. 如果函数的前域是有限的,那么