离散函数部分定义.docVIP

离散函数部分定义 §7.1 基本概念 重点：函数的定义及判定，函数的限制，偏函数。 部分函数 如果从集合 X 到 Y 的二元关系 f 是 “ 单值 ” 的，即 f 若y1〉∈f 且〈x，y2〉∈f，则 y1 = y2 。 就称 f 为从 X 到 Y 的 部分函数。 若 f 是部分函数且〈x , y〉∈f，则称 y 是 f 在 x处的值（在 f 作用下x的像点)，记为 y = f (x)， 并称 x 为 y 的一个源像点。 定义域、值域 设 f 为从集合X 到 Y 的 部分函数，则 1) f 的定义域 dom (f )： dom (f ) = { x ∈X｜有 y ∈Y 使 y = f (x) } x, y ? f 若 x∈dom (f ) , 就称 f 在 x 处有定义，记为 “ f (x)↓”； 否则称 f 在 x处无定义, 记为 “ f (x)↑”, 显然 dom (f ) í X 。 2) f 的值域 ran (f )： ran (f ) = { y ∈Y ｜有 x ∈X 使 y = f (x) } x, y ? f 显然 ran (f ) í Y 。 即: 对每个 x∈dom(f), 都有唯一的 y∈ran(f) 使得〈x , y〉∈f 全函数，…… 设 f 为从集合 X 到集合 Y 的 部分函数。 1) 若 dom (f ) = X，则称 f 为从 X 到 Y 的全函数，简称 f 为 从 X Y 的函数，记为 f：X → Y。 2) 若 dom (f ) ì X，则称 f 为从 X 到 Y 的严格部分函数。 3) 若 ran (f ) = Y，则称 f 为从 X 到 Y 上的部分函数。 4) 若 ran (f ) ì Y，则称 f 为从 X 到 Y 内的部分函数。 5) 若对任意的 x1，x2∈dom (f ) ， 当 x1 ≠ x2 时, 皆有 f ( x1 ) ≠ f ( x2 )， 则称 f X 到 Y 的 1 - 1 部分函数。 （即: f ( x1 ) = f ( x2 ) 时, 皆有 x1 = x2 ） 限制、延拓 设函数? : X→Y，A í X，则 ?∩ (A×Y) 是 从 A 到 Y 的函数，称为 ? 在 A上的限制 ，记作 ?A , 又称 ? 为 ?│A 到 X 的 延拓 。 ?A 可表示为： ?│A ＝｛〈x , y〉│〈x , y〉∈? ∧ x∈A｝ 部分函数 f 的 象 与 原象 设 f 为从集合X到集合Y的部分 函数，A í X且B í Y。令 f [A] = { y｜有 x ∈A 使 y = f (x) } f –1 [B] = { x｜有 y ∈B 使 f (x) = y } 称 f [A]为A在 f 下的象，f –1 [B]为B在 f 下的原象。 即， f [A] = { f (x)｜x ∈A 且 f (x)↓ } f –1 [B] = { x｜x ∈X 使 f (x)↓ 且 f (x) ? B } X到Y的全函数集 X到Y的全函数集合YX， Y X ＝｛?│ ? : X→Y｝ 重点：函数的复合运算与逆函数 定义7.6（函数的复合） 设 ? : X ? Y 且 g : Y ? Z ， 函数 f 和 g 的复合 g o ? ，定义为： { x, z | x∈X ù z∈Z ù $y ( y∈Y∧y = ?(x) ù z = g(y) ) } 定义7.7 若函数 ? : X ? X，则 ? 的 n 次幂，记为 f n ， 可归纳定义如下: 1) ? 0 = IX 2) ? n+1 = ? o ?n 即：1) ?0 (a) = IX (a) = a ; 2) ?n+1(a) = ? ( ?n (a) ) §7.3 特殊性质的函数 与 逆函数 重点: 函数性质的判定及证明。 定义7.8 （满射、单射、双射）： 设 f 是一个全函数，? : X ?Y. 若对每个 y∈Y，都有x∈X，有y = f (x)，则称?是 满射；即：f 是满射 iff y ( y∈Y ? $x (x∈X∧f (x) = y ) ) 若对任意 x1, x2∈X，当?(x1) = ?(x2)时