离散数学第13讲函数1.pptVIP

习题 习题6 6，7，8，10，12，14，15 第6章 函数(1) 栾新成 四川大学软件学院 luanxch@主要内容 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下