关系及其运算课件.pptVIP

作业 教材内容：[Rosen] 2.1.3、8.1 节 8.3节 课后习题： 见课程主页 精品文档 函数及其运算 离散数学－集合论 南京大学计算机科学与技术系 精品文档 回顾 关系：笛卡尔积的子集 关系的运算 集合运算；复合运算；逆 0-1矩阵运算 关系的性质 reflexivity, ir-~; symmetry, anti-~; transitivity 图特征；矩阵特征 精品文档 提要 函数的定义 子集的像 单射与满射 反函数 函数的复合 函数加法与乘法 精品文档 函数(function)的定义 设 A 和 B 为非空集合，从集合A到B的函数 f 是对元素的一种指派，对A的每个元素恰好指派B的一个元素。记作 f :A?B。 Well defined(良定义) f :A?B：函数的型构 f 的定义域（domain）是A，f 的伴域（codomain）是B 如果 f 为A中元素a指派的B中元素为b，就写成 f(a)=b。此时，称 b是a的像，而a是b的一个原像。 A中元素的像构成的集合称为f的值域 range （ f的像 image）。 函数也称为映射(mapping)或变换(transformation) 精品文档 函数的集合定义 精品文档 函数的集合定义（续） 精品文档 函数举例 下取整函数 ?x?: R → Z 函数 f 的图像: {(a, b) | a?A ? f(a)=b} Java Program int floor(float real) {…} x y floor: float → int 精品文档 函数举例 某课程成绩 Program CourseGrade grade(StudentName sname，CourseName cname) {…} Function： Grade: StudentName ×CourseName→ CourseGrade 姓名 课程 成绩 张明 离散数学 A 李宁 程序设计 B 王琴 数据结构 A … … … 函数原型 函数型构 (signature) 精品文档 函数举例 设A为非空集合，A上的 恒等函数?A:A?A定义为 ?A(x)=x，x?A 设U为非空集合，对任意的A?U, 特征函数?A:U?{0,1} 定义为： ?A(x)=1，x?A ?A(x)=0，x?U-A 精品文档 函数的集合 精品文档 函数(function)的相等 函数相等 f=g if dom(f)=dom(g) codom(f)=codom(g) ?x(x?dom(f) →f(x)=g(x)) 精品文档 关系的表示 假设A={a,b,c,d}, B={α,β,γ} // 假设为有限集合 集合表示: R1={(a, β), (b, α), (c, α),(c, γ)} 0-1矩阵 有向图 a b c d ? ? ? a d c b ? ? ? A B 精品文档 二元关系和有向图 关系 R?A?B A和B是集合 有序对集合 (x,y)?R 若A=B, R中存在序列：(x1,x2), (x2,x3),…,(xn-1,xn) 有向图 (VD , ED ) 顶点集 VD= A?B 有向边集ED 从x到y有一条边 图D中存在从 x1 到 xn 的长度为 n-1的通路 精品文档 关系的运算（1） 关系是集合, 所有的集合运算对关系均适用 例子: 自然数集合上: “” ? “=” 等同于 “?” 自然数集合上: “?” ? “?”等同于“=” 自然数集合上: “” ? “”等同于? 精品文档 关系的运算（2） 与定义域和值域有关的运算 dom R = {x | ?y (x,y)?R} ran R = {y | ?x (x,y)?R} fld R = dom R ? ran R R ?A = {(x,y) | x?A ?xRy} ? R R[A] = {y | ?x (x?A ? (x,y)?R)}= ran(R?A) ? ranR 例：A={1,2,3,4,5}, B={1,3,5,6}, A上关系R： R={(1,2), (1,4),(2,3),(3,5),(5,2)}, 求 R?B、R[B]、R(1)和R(2) 精品文档 关系的运算（3） 逆运算 R-1 = { (x, y) | (y,x)?R} 注意:如果R是从A到B的关系,则R-1是从B到A的。 (R-1)-1 = R 例子：(R1?R2)-1 = R1-1?R2-1 (x, y) ?? (R1?R2)-1 ? (y, x)?(R1?R2) ? (y, x)?R1 或 (y, x)?R2 ? (x, y)?R1-1