第五章 离散数学课件 函数-2nd.pdf

第五章 函数 大连理工大学软件学院 陈志奎 教授 办公室：综合楼411 ，Tel 实验室：教学楼A318/320/323 ，Tel Mobile: Email: zkchen@ zkchen00@ 1 46 回顾 • 函数的概念与性质 – 注意定义与传统定义的区别 • 函数的描述方法 – 关系描述：定义（文字描述） – 关系图 – 关系矩阵 • 函数的合成与性质 • 特殊函数 – 满射、单射、双射 – 两条性质 • 恒等函数 • 偏函数 2 46 5.4反函数 可以用关系的合成直接定义了函数的合成。那么， 能否用关系的逆关系直接定义函数的反函数呢？ 例：考察函数f : I →I ; f ={i,i2|i ∈I } -1 2 于是 f ={i ,i|i ∈I } 显然，f -1不是从I 到I 的函数。因此，不能直接用关 系的逆关系来定义函数的反函数。 3 46 反函数 定义：设f : X →Y是一个双射函数。于是f 的逆关系是f 的反函数 （或称逆函数），并记作f -1 。对于f 来说， 反函数 逆函数 如果存在f -1 ，则函数f 是可逆的。 -1 注意：仅当f 是双射函数时，才有对应于f 的反函数f 。 定义：若存在函数g : Y→X ，使得g ◦f =IX ，则称g为f 的左逆；若存在函数g : Y→X ，使得f ◦g=I ，则称g为 左逆 Y f 的右逆。 右逆 4 46 反函数 定理：设f : X →Y是一个双射函数。于是，反函数f -1 也是一个双射函数，并且是从Y到X 的函数。 5 46 反函数 定理：如果函数f : X →Y是可逆的，则有 f −1 f I X −1 f f I Y 证明：设x ∈X 和y ∈Y，如果f (x)=y ，则会有f -1(y )=x ， 于是能够得到(f −1 f )(x ) f −1(f (x )) f −1(y ) x 因此应有f -1 ◦f =IX 。与此类似，还可得出