离散数学(第16讲).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=