离散数学二元关系和函数 2.pptVIP

第 4 章 二元关系和函数 Relation 在高等数学中，函数是在实数集合上进行讨论的， 其定义域是连续的。 本章把函数概念予以推广 ⑴定义域为一般的集合，支持离散应用。 ⑵把函数看作是一种特殊的关系：单值二元关系。 4.6 函 数 的 定 义 与 性 质 函数定义 定义 设 F 为二元关系 , 若 ? x ∈ dom F 都存在唯一的 y ∈ ran F 使 xFy 成立 , 则称 F 为函数 . 对于函数 F , 如果有 xFy , 则记作 y = F ( x ), 并称 y 为 F 在 x 的函数值 . 例 1 F 1 ={ x 1 , y 1 , x 2 , y 2 , x 3 , y 2 } F 2 ={ x 1 , y 1 , x 1 , y 2 } F 1 是函数 , F 2 不是函数 4.6 函 数 的 定 义 与 性 质 函数与关系的区别 ? 从 A 到 B 的函数 f 与一般从 A 到 B 的二元关系 R 有 如下区别： ? A 的每一元素都必须是 f 的序偶的第一 坐标，即 dom(f)=A ；但 dom(R) ? R ? 若 f(x)=y ，则函数 f 在 x 处的值是惟一 的 ， 即 ( f(x)=y) ? (f(x)=z) ? (y=z) ， ；但 (xRy) ? (xRz) 得不到 y=z 4.6 函 数 的 定 义 与 性 质 例 1 设 A={1,2,3,4,5} ， B={6,7,8,9,10} ，分别 确定下列各式中的 f 是否为由 A 到 B 的函数。 (1)f={(1,8),(3,9),(4,10),(2,6),(5,9)} (2)f={(1,9),(3,10),(2,6),(4,9)} (3)f={(1,7),(2,6),(4,5),(1,9),(5,10),(3,9) } 解 （ 1 ）能构成函数，因为符合函数的定义条件 。 （ 2 ）不能构成函数，因为 A 中的元素 5 没有像 ，不满足像的存在性。 （ 3 ）不能构成函数，因为 A 中的元素 1 有两个 像 7 和 9 ，不满足像的惟一性。 4.6 函 数 的 定 义 与 性 质 函数相等 定义 设 F , G 为函数 , 则 F = G ? F ? G ∧ G ? F 一般使用下面两个条件 ： (1) dom F = dom G (2) ? x ∈ dom F = dom G 都有 F ( x ) = G ( x ) 实例 函数 F ( x )=( x 2 ? 1)/( x +1), G ( x )= x ? 1 不相等 , 因为 dom F ? dom G . 4.6 函 数 的 定 义 与 性 质 从 A 到 B 的函数 定义 设 A , B 为集合 , 如果 f 为函数 dom f = A ran f ? B , 则称 f 为 从 A 到 B 的函数 , 记作 f ： A → B . 实例 f ： N → N , f ( x )=2 x 是从 N 到 N 的函数 g ： N → N , g ( x )=2 也是从 N 到 N 的函数 4.6 函 数 的 定 义 与 性 质 B 上 A 定义 所有从 A 到 B 的函数的集合记作 B A , 读作“ B 上 A ” ，符号化表示为 B A ={ f | f ： A → B } 计数 ： | A |= m , | B |= n , 且 m , n 0, | B A |= n m . A = ? , 则 B A = B ? ={ ? }. A ≠ ? 且 B = ? , 则 B A = ? A = ? . 4.6 函 数 的 定 义 与 性 质 实例 例 2 设 A = {1, 2, 3}, B = { a , b }, 求 B A .