离散数学4.6.pptVIP

4.6 函数 函数的定义和性质 4.6 函数定义及其性质 4.6.1 函数的定义 函数定义 从A到B的函数 4.6.2 函数的像与完全原像 4.6.3 函数的性质 函数的单射、满射、双射性 构造双射函数 函数定义 函数相等 从A到B的函数 B上A 实例 重要函数的定义 重要函数的定义(续) 重要函数的定义(续) 实例 函数的像与完全原像 实例 1. 设 f : N→N, 且 令A={0,1}, B={2}, 那么有 f(A) = f({0,1}) = { f(0), f(1) }={ 0, 2 } f(B) = { f(2) } = { 1 } 2. A={1, 2, 3}, B={a, b, c}, f={1,a,2,a,3,b}，则 f?1({a,b}) ={1,2,3}, f?1({b,c}) ={3}, 函数的性质 实例 实例(续) 构造从A到B的双射函数 构造从A到B的双射函数(续) 构造从A到B的双射函数(续) 4.7 函数的复合与反函数 4.7.1 函数的复合 函数复合的基本定理及其推论 函数复合的性质 4.7.2 反函数 反函数存在的条件 反函数的性质 函数复合的基本定理 证明 再证明结论 (1) 和 (2) . 任取x, x∈dom(f °g) ? ?t ?y (x,t∈f∧t,y∈g) ? ?t (x∈domf ∧ t=f(x) ∧ t∈domg) ? x∈{ x | x∈domf ∧ f(x)∈domg } 任取x,  x∈domf ∧ f(x)∈domg ? x, f(x)∈f ∧f(x), g(f(x))∈g ? x, g(f(x))∈f°g ? x∈dom(f°g)∧f°g(x)＝g(f(x)) 所以(1) 和 (2) 得证. 推论 推论1 设f, g, h为函数, 则(f°g)°h 和 f°(g°h)都是函数, 且 (f°g)°h = f°(g°h) 证 由上述定理和关系合成运算的可结合性得证. 推论2 设f : A→B, g : B→C, 则 f°g : A→C, 且?x∈A都有 f°g(x) = g(f(x)). 证 由上述定理知 f°g是函数, 且 dom(f°g) = { x | x∈domf ∧ f(x)∈domg}  ={ x | x∈A ∧ f(x)∈B} = A ran(f°g) ? rang ?C 因此 f°g : A→C, 且?x∈A 有 f°g(x) = g(f(x)). 函数复合的性质 定理4.7设 f : A→B, g : B→C.? (1) 如果 f : A→B, g : B→C都是满射的, 则 f°g : A→C也是满射的.? (2) 如果 f : A→B, g : B→C都是单射的, 则 f°g : A→C也是单射的.? (3) 如果 f : A→B, g : B→C都是双射的, 则 f°g : A→C也是双射的.? 证明 (1) 任取 c∈C, 由g : B→C的满射性, ?b∈B 使得 g(b)=c. 对于这个b, 由 f : A→B 的满射性，?a∈A 使得 f(a)=b. 由 定理5.1 有 f°g(a) = g(f(a)) = g(b) = c 从而证明了f°g : A→C是满射的. (2) 假设存在 x1, x2∈A使得 f°g(x1) = f°g(x2) 由合成定理有 g(f(x1))=g(f(x2)) 因为 g : B→C是单射的, 故 f(x1) = f(x2). 又由于 f : A→B 也是单射的, 所以 x1=x2. 从而证明f°g : A→C是单射的. 函数复合的性质(续) 定理4.8 设 f : A?B，则 f = f °IB=IA°f 定理5.3 的证明可以采用集合相等的证明方法 反函数的存在条件及定义 定理4.9 设 f : A→B是双射的, 则f?1: B→A也是双射的. 证 因为 f 是函数, 所以 f ?1是关系, 且 dom f ?1= ranf =B , ran f ?1= domf =A, 对于任意的 x∈B, 假设有 y1, y2∈A 使得 x,y1∈f ?1∧x,y2∈f ?1 成立, 则由逆的定义有 y1,x∈f ∧y2,x∈f. 根据 f 的单射性