离散数学课件第四章.pptVIP

离 散 数 学 Discrete Mathematics 由所有像组成的集合称为f 的值域, 记作Rf 。 Rf = f (A ) = {b |b?B, 存在a?A, 使得f (a) = b}。 Rf ? B, B称为f 的陪域。 函数是一个特殊关系, 其特殊之处在于: (1) 函数的定义域是集合A而不能是A的真子集, 即Df =A, 每个像源都有像。 (2) 每一个函数中序偶的第一个元素一定是互不相同的, 即每个像源只有一个像。f 的这种性质称为单值。 例1 设A = {a, b, c}, B = {0, 1}, 判别下列二元关系中哪个是函数？ (1) R1 = {?a, 0?, ?b, 1?, ?c, 1?}。 (2) R2 = {?a, 0?, ?a, 1?, ?b, 0?, ?c, 1?}。 (3) R3 = {?a, 0?, ?b, 1?}。 解： (1) R1是函数, 函数的定义允许多个元素有一个相同的像。 (2) R2不是函数, 因为A中元素a有两个不同的像。 (3) R3不是函数, 因为A中元素c没有像。 例2、判断下列关系中哪个能构成函数, (1) f1={x1,x2|x1,x2 ? R, x1+x2 = 24} (2) f2={y1,y2|y1,y2 ? R, y22=y1} (3) f1={x1,x2|x1,x2 ? N, x2 为小于x1