导数的概念-青海师范大学计算机学院.pptVIP

2-3-* 青海师范大学精品课程—离散数学 2.2 关系的运算 2.1 关系的概念 第二章 关 系 2.3 关系的性质 2.4 关系的闭包 2.5 等价关系 2.7 偏序关系 2.6 相容关系 2.3 关系的性质 2.3.1 自反性 2.3.2 反自反性 2.3.3 对称性 2.3.4 反对称性 2.3.5 传递性 2.3.1 自反性 定义 自反性：设R ? A ? A, 若对于任意x ? A, 均有(x, x) ? R, 即xRx，则称R是A上的自反关系, 或称R是在A上是自反的, 或称R在集合A上具有自反性. 例子 2-25 设A = {a, b, c, d},判断A上的关系R是否具有自反性？R = {(a, a), (a, b), (b, b), (c, c), (c, a), (d, d)} 定理 2-9 R自反? IA ? R 2.3.1 自反性 自反性关系图的特征：每个点都有有向环 自反性关系矩阵的特征：对角线元素为1 2.3.2 反自反性 定义 反自反性：设R ? A ? A, 若对于任意x ? A, 均有(x, x) ? R, 则称R是A上的反自反关系, 或称R是反自反的, 或称R具有反自反性. 例子 2-26 设A = {a, b, c, d},判断A上的关系R = {(b, a), (a, b), (b, c), (c, d), (c, a)}是否具有反自反性？ 定理 2-10 R反自反? IA ? R = ?. 2.3.2 反自反性 反自反性关系图的特征：每个点都没有有向环 反自反性关系矩阵的特征：对角线元素均为0 2.3.3 对称性 定义 对称性：设R ? A ? A, 对于任意x, y ? A,若(x, y) ? R, 则(y, x) ? R, 则称R是A上的对称关系, 或称R是对称的, 或称R具有对称性. 例子 2-28 设A = {a, b, c, d}, 判断A上的关系R = {(b, a), (a, b), (b, b), (d, c), (c, d)}是否具有对称性？ 定理 2-11 R对称? R = R-1. 2.3.3 对称性 对称性关系图的特征：每条弧都是双向弧 对称性关系矩阵的特征：元素1关于对角线对称 2.3.4 反对称性 定义 反对称性：设R ? A ? A, 对于任意x, y ? A,若(x, y) ? R且(y, x) ? R, 一定有x = y, 则称R是A上的反对称关系, 或称R是反对称的, 或称R具有反对称性. 等价说法: 设R ? A ? A, 对于任意x, y ? A,若x ? y, 那么(x, y) ? R与(y, x) ? R不能同时成立,则称R是A上的反对称关系. 2.3.4 反对称性 例子 2-29 设A = {a, b, c, d}, 判断A上的关系R = {(a, a), (a, b), (b, b), (b, c), (d, c)}是否具有反对称性？ 定理 2-12 R反对称? R? R-1 ? IA 2.3.4 反对称性 反对称性关系图的特征：每条弧都不是双向弧 反对称性关系矩阵的特征：元素1关于对角线不对称 2.3.5 传递性 定义 传递性：设R ? A ? A, 对于任意x, y, z ? A,若(x, y) ? R且(y, z) ? R,均有(x, z) ? R, 则称R是A上的传递关系, 或称R是传递的, 或称R具有传递性. 例2-31 设A = {a, b, c, d},判断A上的关系R ={ (a, a), (a, b), (b, b), (b, c), (a, c), (c, a)}是否具有传递性？ 定理 2-13 R传递? R?R ? R 2.3.5 传递性 传递性关系图的特征： 传递性关系矩阵的特征：元素1形成三角形 关系的性质与关系运算之间的关系. ? ? ? ? ? R?S ? ? ? ? ? R-1 ? ? ? ? ? R-S ? ? ? ? ? R?S ? ? ? ? ? R?S 传递 反对称 对称 反自反 自反 下面的例子是根据所给定的关系,判断R具有的性质. 例2-34(P57) A = {0, 1, 2, 3, 4, 5}, R = {(x, y)| x, y?A, x + y = 5}? (1)自反? (2)反自反? (3)对称? (4)反对称? (5)传递? 自反性 反自反性 对称性 反对称性 传递性 本节小结