o清华离散数学(第2版)：5.1-2.pptVIP

* 欢迎辞 * 第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不是函数   * 函数相等 定义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