[工学]25离散数学050102.ppt

实例 * 例1 设 f : R→R, g : R→R 求 f °g, g°f. 如果 f 和 g 存在反函数, 求出它们的反函数. 解 f : R→R不存在反函数； g : R→R的反函数是g?1: R→R, g?1(x)=x?2 关于反函数的定理 定理5.5 设 f : A→B是双射的, 则f ?1°f = IB, f°f ?1 = IA 证 根据定理5.4可知 f ?1: B→A也是双射的. 由定理5.1 可知 f ?1°f : B→B, f°f ?1: A→A，且它们都 是恒等函数. 对于双射函数 f : A→A, 根据上述定理有 f ?1°f = f°f ?1 = IA.  * * 欢迎辞 * * 第5章 函数 * 第5章 函数 5.1 函数定义及其性质 5.2 函数的复合与反函数 * 5.1 函数定义及其性质 5.1.1 函数的定义 函数定义 从A到B的函数 5.1.2 函数的像与完全原像 5.1.3 函数的性质 函数的单射、满射、双射性 构造双射函数 * 函数定义 * 定义5.1 设 f 为二元关系, 若 ?x∈domf 都存在唯一的y∈ranf 使 x f y 成立, 则称 f为函数. 对于函数f, 如果有 x f y, 则记作 y=f(x), 并称 y 为 f 在 x 的值. 例如 f1={x1,y1,x2,y2,x3,y2}  f2={x1,y1,x1,y2} f1是函数, f2不是函数  （1对1，多对1是函数； 1对多 不是函数） 函数相等 * 定义5.2 设f, g为函数, 则  f=g ? f?g∧g?f 如果两个函数 f 和 g 相等, 一定满足下面两个条件： (1) domf = domg  (2) ?x∈domf = domg 都有 f(x) = g(x)  实例 函数 f(x)=(x2?1)/(x+1), g(x)=x?1 不相等, 因为 domf?domg. 从A到B的函数 * 定义5.3 设A, B为集合, 如果 (1) f 为函数 (2) domf = A (3) ranf ? B, 则称 f 为从A到B的函数, 记作 f : A→B. 实例 f : N→N, f(x)=2x 是从 N 到 N 的函数 g : N→N, g(x)=2也是从 N 到 N 的函数 B上A * 定义5.4 所有从A到B的函数的集合记作BA, 读作“B上A” 符号化表示为  BA ={ f | f : A→B } 计数： |A|=m, |B|=n, 且m, n0, |BA|=nm. A=?, 则 BA=B?={?}. A≠?且B=?, 则 BA=?A= ?. 实例 * 解BA = { f0, f1, … , f7 }, 其中 f0={1,a,2,a,3,a}  f1={1,a,2,a,3,b} f2={1,a,2,b,3,a} f3={1,a,2,b,3,b} f4={1,b,2,a,3,a} f5={1,b,2,a,3,b} f6={1,b,2,b,3,a}  f7={1,b,2,b,3,b}  例1 设A = {1, 2, 3}, B = {a, b}, 求BA. 重要函数的定义 * 定义5.5 (1) 设f：A→B, 如果存在 c∈B 使得对所有的 x∈A 都有 f(x)=c, 则称 f : A→B是常函数. (2) 称 A 上的恒等关系 IA为 A 上的恒等函数, 对所有的 x∈A 都有 IA(x)=x. (3) 设A, ?, B, ?为偏序集，f : A→B，如果对任意的 x1, x2∈A, x1?x2, 就有 f(x1) ? f(x2), 则称 f 为单调递增的； 如果对任意的 x1, x2∈A, x1?x2, 就有 f(x1) ? f(x2), 则称 f 为严格单调递增的. 类似的也可以定义单调递减和严格单调递减的函数. 重要函数的定义(续) * (4) 设 A 为集合, 对于任意的 A’ ?A, A’ 的特征函数 ?A’ : A→{0,1} 定义为 实例：设A={a,b,c}, A的每一个子集 A都对应于一个特征函数, 不同的子集对应于不同的特征函数. 如 ?? = {