离散数学(第14讲)函数1.ppt

第6章 函数(1) 主要内容 1、函数的基本概念 2、单射、满射、双射和逆函数 3、函数的递归定义 概述 函数是一种特殊的二元关系,我们可以把函数看作输入输出关系;它把一个集合(输入集合)的元素变成另一个集合(输出集合)的元素。在高等数学中，函数的概念是从变量的角度提出来，而且是在实数集合上讨论，这种函数一般是连续或间断连续的函数。这里，将连续函数的概念推广到对离散量的讨论。前面所讨论的有关集合或关系的运算和性质，对于函数完全适用。 任何程序在计算机中的实现,都包含种种这样或那样的变换。如编译程序把一个源程序变换成机器语言的指令集合—目标程序。或者说,计算机中的程序可以把一定范围内的任一组数据变换成另一组数据。 函数是许多数学工具的基础,计算机科学中大量用到函数,如数据结构,程序语言的设计与实现,开关理论,自动机理论,代数结构,可计算性理论,计算复杂化,程序正确性证明等。 一般集合的函数概念 定义6-1.1　设f是集合A到B的关系，如果对每个x∈A，都存在惟一的y∈B，使得x,y∈f，则称关系f为A到B的函数（或映射、变换），记为f：A→B。当x,y∈f时，通常记为y=f(x)，这时称x为函数的自变量，称y为x在f下的函数值（或映象）。 由函数的定义显然有： (1) domf=A，称为函数f的定义域； (2) ranf=B，称为函数f的值域，ranf也可记为f(A)，并称f(A)为A在f下的象； (3) x,y∈f∧x,z∈f ? y=z； (4) |f|=|A|。 注意，f(x)仅表示一个变值，但f则代表一个集合，因此f≠f(x)。 一般集合的函数概念 例6.1 判断下图所示的几个关系是否是函数： 解　f3、f4、f5、f6都是函数，但f1、f2则不是函数。因f1中A的元素5没出现在序偶的第一元素中，f2中A的元素4出现在两个不同序偶的第一元素中。 函数与关系的差别 如果记 由此可以知道，函数确是一种特殊的关系，它与一般关系比较具备如下差别： (1)A×B的任何一个子集，都是A到B的二元关系，因此，从A到B的不同的关系有2|A|?|B|个；但从A到B的不同的函数却仅有|B||A|个。 (2)每一个函数的基数都为|A|个，但关系的基数却可以从零一直到|A|×|B|。 (3)每一个函数中序偶的第一个元素一定是互不相同的。 函数与关系的差别 例6.2 设A＝{a,b}，B＝{1,2}，A×B＝{a,1,a,2,b,1,b,2}， 此时从A到B的不同的关系有24＝16个。分别如下： R0＝Φ； R1＝{a,1}；R2＝{a,2}；R3＝{b,1}； R4＝{b,2}； R5＝{a,1,b,1}；R6＝{a,1,b,2}； R7＝{a,2,b,1}； R8＝{a,2,b,2}； R9＝{a,1,a,2}； R10＝{b,1,b,2}； R11＝{a,1,a,2,b,1}； R12＝{a,1,a,2,b,2}； R13＝{a,1,b,1,b,2}； R14＝{a,2,b,1,b,2}； R15＝{a,1,a,2,b,1,b,2}。 从A到B的不同的函数仅有22＝4个。分别如下： f1＝{a,1,b,1}；f2＝{a,1,b,2}； f3＝{a,2,b,1}；f4＝{a,2,b,2}。 常将从A到B的一切函数构成的集合记为BA：BA＝｛f|f：A→B} 函数的复合运算 定义6-1.2 设f和g：X→Y是两个函数，如果对?x?X ,都有f(x)=g(x), 则称f与g相等，记为 f=g。 定义6-1.3 设f：X→Y，g：Y→Z是两个函数，称 g? f={x,z︱（?y?Y）[y=f(x) ∧z=g(y)]} 称为函数f与g的复合函数，记为 g? f ：X→Z。 (g? f)（x）=g（f（x）） 函数复合的性质 1)函数复合是可结合的(∵关系的复合是可结合的) 2)函数复合一般是不可交换的, 单射 、满射和双射 定义6-2.1　设f是从X到Y的函数，若f满足： 对任意x1,x2∈X，若x1≠x2，则f(x1)≠f(x2)，则称f为从X到Y的单射或1-1映射； 若ranf＝Y，则称f为从X到Y的满射或从X到Y上的映射； 若f既是从X到Y的满射，又是从X到Y的单射，则称f为从X到Y的双射或一一对应的映射。 若X＝Y，则称f为X上的函数；当X上的函数f是双射时，称f为X上的变换。 若X＝Y，且对任意x∈X,f(x)＝x,则称f为X上的单位（恒等）函数，记为IX。 若存在b∈Y，且对任意x