离散数学(1讲)课件.pptVIP

计算机学院 计算机科学与工程学院 冯伟森 Email：fws365@scu.edu.cn * * 计算机学院 * 主要内容 1、函数的基本概念 2、单射 、满射、双射和逆函数 3、置换和循环 * 计算机学院 * 第六章 函数 函数是一种特殊的二元关系,我们可以把函数看作输入输出关系:它把一个集合(输入集合)的元素变成另一个集合(输出集合)的元素。在高等数学中，函数的概念是从变量的角度提出来，而且是在实数集合上讨论，这种函数一般是连续或间断连续的函数。这里，将连续变量的概念推广到对离散量的讨论。前面所讨论的有关集合或关系的运算和性质，对于函数完全适用。 * 计算机学院 * 任何程序在计算机中的实现,都包含种种这样或那样的变换。如编译程序把一个源程序变换成机器语言的指令集合—目标程序。或者说,计算机中的程序可以把一定范围内的任一组数据变换成另一组数据。 函数是许多数学工具的基础,计算机科学中大量用到函数,如数据结构,程序语言的设计与实现,开关理论,自动机理论,代数结构,可计算性理论,计算复杂化,程序正确性证明等。 * 计算机学院 * §6.1 一般集合的函数概念 定义6.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下的函数值（或映像）。 由函数的定义显然有： domf=A，称为函数f的定义域； ranf=B，称为函数f的值域，并称f(A)为A在f下的像； x,y∈f∧x,z∈f ? y=z； |f|=|A|。 　　大家注意，f(x)仅表示一个变值，但f则代表一个集合，因此f≠f(x)。 * 计算机学院 * 函数与关系的差别 如果记 由此可以知道，函数确是一种特殊的关系，它与一般关系比较具备如下差别： A×B的任何一个子集，都是A到B的二元关系，因此，从A到B的不同的关系有2|A|?|B|个；但从A到B的不同的函数却仅有|B||A|个。 每一个函数的基数都为|A|个，但关系的基数却可以从零一直到|A|×|B|。 每一个函数中序偶的第一个元素一定是互不相同的。 * 计算机学院 * 例6.1 设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.2 设f和g：X→Y是两个函数，如果对?x?X ,都有f(x)=g(x), 则称f与g相等，记为 f=g。 * 计算机学院 * §6.2 单射 、满射和双射 定义6.3　设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∈X,f(x)＝b,则称f为X上的常值函数。 * 计算机学院 * 函数的复合运算 定义6.4 设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.5