离散数学第05章_函数教材教学课件.pptVIP

* 第五章 函 数 5.1 函数基本概念 5.2 函数类型 5.3 函数运算 5.4 基 数 退出 5.1 函数基本概念 函数也常称为映射或变换，其定义如下： 定义5.1.1 设A和B是任意两个集合，且F是从A到B的关系，若对每一个x?A，都存在唯一的y?B，使x,y?F，则称F为从A到B的函数，并记作F:A?B。A称为函数F的定义域，即D(F)=A，B称为函数F的陪域，R(F)称为函数F的值域，且R(F)?B。有时也用F(A)表示函数F的值域，即 F(A)=R(F)={y|y?B?(?x)(x?A?y=F(x))} 并称F(A)为函数F的像。 对于F:A?B来说，若x,y?F，则称x为函数的自变元，称y为函数因变元，因为y值依赖于x所取的值，或称y是F在x处的值，或称y为F下x的像。通常把x,y?F记作F(x)=y。 从本定义可以看出，从A到B的函数F和一般从A到B的二元关系之不同有以下两点： ① A的每一元素都必须是F的有序对之第一分量。 ② 若F(x)=y，则函数F在x处的值是唯一的，即 F(x)=y?F(x)=z?y=z 考虑到习惯用法，以下常常将大写函数符号F改为小写字母f。 定义5.1.2 设f:A?B，g:C?D，若A=C，B=D，且对每一x?A都有f(x)=g(x)，则称函数f和g相等，记为f=g。 本定义表明了，两函数相等，它们必须有相同的定义域、陪域和有序对集合。 有时需要缩小所给函数的定义域，或扩大所给函数的定义域以创建新的函数，为此有下面定义。 定义5.1.3 设f:A?B，且C?A，若有 g=f∩(C?B) 则称g是f到C的缩小，记为f|c，即g为C到B的函数： g:C?B g(x)=f(x) 或 f|c(x)=f(x) 定义5.1.4 设f:C?B，g:A?B，且C?A，若g|c=f，则称g是f到A的扩大。 下面讨论由集合A和B，构成这样函数f:A?B会有多少呢？或者说，在A?B的所有子集中，是全部还是部分子集可以定义函数？令BA表示这些函数的集合，即 BA={f|f:A?B} 设|A|=m，|B|=n，则|BA|=nm。这是因为对每个自变元，它的函数值都有n种取法，故总共有nm种从A到B的函数。 上面介绍一元函数，下面给出多元函数的定义。 定义5.1.5 设A1,A2,···,An和B为集合，若f: Ai?B为函数，则称f 为n元函数。在x1,x2,···,xn上的值用f(x1,x2,···,xn)表示。 一元函数中概念对n元函数几乎完全适用，在这里不多讨论了。 5.2 函数类型 根据函数具有的不同性质，可以将函数分成不同的类型。本节将定义这些函数，并给出相应的术语。 定义5.2.1 设f:A?B是函数，若R(f)=B，或对任意b?B，存在a?A，使得f(a)=b，或形式表为： (?y)(y?B?(?x)(x?A?f(x)=y)) 则称f:A?B是满射函数，或称函数f:A?B是满射的。 本定义表明了，在函数f的作用下，B中每个元素b，都至少是A中某元素a的像，因此，若A和B是有穷集合，存在满射函数f:A?B，则|A|≥|B|。 定义5.2.5 设f:A?A是函数，若对任意a?A，有f(a)=a，亦即 f={a,a|x?A} 则称f:A?A为A上恒等函数，通常记为IA，因为恒等关系即是恒等函数。 由定义可知，A上恒等函数IA是双射函数。 定义5.2.6 设A和B为集合，且A?B，若函数?A:B?{0,1}为 1 x?A xA(x)= 0 否则 则称xA为集合A的特征函数。 { 特征函数建立了函数与集合的一一对应关系。于是，可通过特征函数的计算来研究集合上的命题。 定理5.2.1 设A和B是全集合U的任意两个子集。对任意x?U，则下列关系式成立。 ① ?A(x)=0?A=? ② ?A(x)=1?A=U ③ ?A(x)≤?B(x)?A?B ④ ?A(x)=?B(x)?A=B ⑤ ?A’(x)=1-?A(x) ⑥ ?A∩B(x)=xA(x)*xB(x) ⑦ ?A∪B(x)=?A(x)+?B(x)-?A∩B(x) ⑧ ?A-B(x)=?A∩B’(x)=?A(x)-?A∩B(x) 其中+，-，*，为通常的算术运算+，-，和?。 定义5.2.7 设A,≤和B,≤为全序集，函数f:A?B。对于任意a,b?A. ① 若a≤b，有f(a)≤f(b)，则称f为单调递增函数。 ② 若a≥b，有f(a)≥f(b)，则称f为单调递减函数。 ③ 若a≤b，且a?b，有f(a)f(b)，则