南京大学《离散数学》课件-第4周.pdfVIP

函数及其运算 离散数学：第7讲 上一讲内容的回顾 偏序关系与偏序集 拟序 哈斯图 偏序集中的特殊元素 极大元与极小元 最大元与最小元 上(下)界与上(下)确界 全序 良序 函数及其运算 函数的定义 像与完全原像 几种特殊的函数 满射 单射(一对一的) 双射(一一对应的) 集合的特征函数 自然映射 函数的复合 反函数 函数的定义 一种特殊的二元关系 F在其定义域中的每个元素都有唯一的值 注意：:AB表示定义域是A ，但值域可能是 B 的真子集。 若A, B 皆非空有限集合，从A到B 的不同的函数 有|B||A|个。 注意：空关系本身是一个从空集到任意集合S (包括空 集) 的函数，因为它满足：x, x   !y S, x,y  像与完全原像 设:AB, A’A, 则(A’) {y |y (x) ， x A’}称为A’在下的像。 值是对定义域中一个元素而言，像是对定义 域的一个子集而言。 -1 设B’B, 则 (B’) {x |x A, (x) B}称为 B’的完全原像 定义域A 的一个子集A 的像的完全原像包含 1 A ，但未必相等。 1 像与原像 A’ B’ B A f 几种特殊的函数 满射 :AB是满射的：ran B, iff . y B, x A, 使得 (x) y 单射 （一对一的） :AB是单射的：y  ran, !x A, 使得(x) y iff. x ,x A, 若x x ，则(x ) (x ) iff. x ,x A, 若 1 2 1 2 1 2 1 2 (x ) (x )，则x x 。 1 2 1 2 双射 （一一对应的） 满射+单射 几种特殊的函数：例子 2 :RR, (x) -x +2x-1 + :Z R, (x) ln x, 单射 :RZ, (x) x, 满射