第十一次课(二元关系运算与函数)解读课件

1、第十一次课(二元关系运算与函数)解读第十一次课(二元关系运算与函数)解读如果在关系R和S中各有一个有序对，使 且 ，则 是关系 的元素。而且 包含全部这样的有序对。 第三章 - 二元关系9/9/20222Hongzhi Qiao, XiDian Univ.如果在关系R和S中各有一个有序对，使 第三章 - 因为 且 ，故 。虽有 ，但不存在y使 ，故没有y使 。也没有x使第三章 - 二元关系9/9/20223Hongzhi Qiao, XiDian Univ. 因为 且 例1 设集合A上的关系R为第三章 - 二元关系9/9/20224Hongzhi Qiao, XiDian Univ.例1 设集

2、合A上的关系R为第三章 - 二元关系9/4/例2 设集合N上的关系R和S为第三章 - 二元关系9/9/20225Hongzhi Qiao, XiDian Univ.例2 设集合N上的关系R和S为第三章 - 二元关系9 在实际问题中，我们感兴趣的往往不是一般的关系，而是具有某些特殊性质的关系。为了更好的处理这些关系，有必要深入研究关系的性质。对A上的关系来说，主要的性质有：自反性、非自反性、对称性、反对称性、传递性。 第三章 - 二元关系9/9/20226Hongzhi Qiao, XiDian Univ. 在实际问题中，我们感兴趣的往往不是一般的关系，而 对A上的关系R，若对任意的 都有 ，则

3、称R为A上自反的关系；若对任意的 都有 ，则称R为A上非自反的关系 这个定义也可以写成：在A上是自反的 在A上是非自反的 第三章 - 二元关系9/9/20227Hongzhi Qiao, XiDian Univ. 对A上的关系R，若对任意的 都 如果R是A上自反的， 则关系矩阵M(R)的主对角线元素都是1（即 都1），关系图G(R)的每个顶点都有自圈。 如果R是A上非自反的， 则M(R)的主对角线元素都是0，G(R)的每个顶点都没有自圈。 第三章 - 二元关系9/9/20228Hongzhi Qiao, XiDian Univ. 如果R是A上自反的，第三章 - 二元关系9/ 例1 在非空集合A

4、上的恒等关系 和全关系 都是自反的 。 例2 在非空集合A上的空关系 是非自反的。在集合N上的小于关系 是非自反的。 第三章 - 二元关系9/9/20229Hongzhi Qiao, XiDian Univ. 例1 在非空集合A上的恒等关系 和全 例3 在集合 上的关系 不是自反的，也不是非自反的。 但是在非空集合A上，不存在一个关系，它是自反的又是非自反的。第三章 - 二元关系9/9/202210Hongzhi Qiao, XiDian Univ. 例3 在集合 设 R 为集合 A 上的关系 ，对任意的 ，若 ，则称 R 为 A 上对称的关系；若 ，则称R为A上反对称的关系。这个定义也可以写

5、成R在A上是对称的 R在A上是反对称的 第三章 - 二元关系9/9/202211Hongzhi Qiao, XiDian Univ. 设 R 为集合 A 上的关系 ，对任意的 反对称性的另一种等价的定义为R在A上是反对称的 如果R是A上对称的，则M(R)是对称矩阵(对任意的i和j， ) G(R)中任意两个顶点之间或者没有有向边，或者互有有向边 和 （不会只有 没有 ）。如果R是A上反对称的，则M(R)是反对称矩阵的（对任意的 ，若 则 ），G(R)中任意两个顶点之间或者没有有向边，或者仅有一条有向边（不会同时有 和 ）。第三章 - 二元关系9/9/202212Hongzhi Qiao, XiD

6、ian Univ.反对称性的另一种等价的定义为R在A上是反对称的 如 例4 在非空集合 A 上的全关系是对称的 ，不是反对称的。 例5 在 上的整除关系、小于等于关系、小于关系都是反对称的，且不是对称的。 例6 在非空集合 A 上的恒等关系和空关系都是对称的，也都是反对称的。 第三章 - 二元关系9/9/202213Hongzhi Qiao, XiDian Univ. 例4 在非空集合 A 上的全关系是对称的 ，不例7 在集合 上的关系 不是对称的，也不是反对称的。 例6和例7说明，对称性和反对称性既可以同时满足，也可以都不满足。第三章 - 二元关系9/9/202214Hongzhi Qiao

7、, XiDian Univ.例7 在集合 上的关系 设 R 为集合 A 上的关系，对任意的 ，若 ，则称R为A上传递的关系；这个定义也可以写成R在A上是传递的 第三章 - 二元关系9/9/202215Hongzhi Qiao, XiDian Univ. 设 R 为集合 A 上的关系，对任意的 例8 在集合 A 上 的 全关系 、恒等关系 、空关系都是传递的。 在 上的整除关系、小于等于关系、小于关系都是传递的。 例9 在集合 上的关系 不是传递的关系，因为 ， ，但是 。第三章 - 二元关系9/9/202216Hongzhi Qiao, XiDian Univ.例8 在集合 A 上 的 全关系

8、 、恒等关系 、空关系都是第三章 - 二元关系9/9/202217Hongzhi Qiao, XiDian Univ.第三章 - 二元关系9/4/202219Hongzhi 第四章 - 函数 数学的进步及其活力总是依赖于抽象对具体的帮助以及具体对抽象的哺育。- M. Kac函数是一个基本的数学概念。通常的实函数是在实数集合上讨论的。这里推广了实函数概念，讨论在任意集合上的函数。9/9/202218Hongzhi Qiao, XiDian Univ.第四章 - 函数 数学的进步及其活 函数定义函数建立了从一个集合到另一个集合的一种变换关系，计算机执行任何类型的程序就是这样一种变换。 例如编译程序

9、可以把一个源程序变换成一个机器语言的指令集合-目标程序。第四章 - 函数 9/9/202219Hongzhi Qiao, XiDian Univ. 函数定义函数建立了从一个集合到另一个集合的一对集合A 到集合B 的关系 ，若满足下列条件：(1) 对任意的 ，存在唯一的 ， 使 成立；(2) 则称 为从A到B的函数，或称 把A映射到B （有的书称 为全函数、映射、变换）。第四章 - 函数 9/9/202220Hongzhi Qiao, XiDian Univ.对集合A 到集合B 的关系 ，若满足下列条件：( 一个从A到B的函数 ，可以写成 ： 。这时若 ，则可记作 ： 或 。 函数的两个条件可以

10、写成(1) (2) 第四章 - 函数 9/9/202221Hongzhi Qiao, XiDian Univ. 一个从A到B的函数 ，可以写成 函数的第一个条件是单值性, 定义域中任一x与B中唯一的y有关系. 因此可以用 f (x) 表示这唯一的 y. 第二个条件是A为定义域, A中任一x都与B中某个y有关系. 注意不能把单值性倒过来. 对A到B的函数f, 当x1fy且x2fy成立时, 不一定x1=x2. 因此, 函数的逆关系不一定是函数.第四章 - 函数 9/9/202222Hongzhi Qiao, XiDian Univ. 函数的第一个条件是单值性, 定义域中任一x与B中唯一 如果一个关

11、系是函数, 则它的关系矩阵中每行恰好有一个1, 其余为0, 它的关系图中每个A中的顶点恰好发出一条有向边. 另外， 是函数，称其为空函数。第四章 - 函数 9/9/202223Hongzhi Qiao, XiDian Univ. 如果一个关系是函数, 则它的关系矩阵中每行恰好有一个 若函数 f 和函数 g 相等，那么它们的定义域和值域分别相等，即do m (f) = d o m (g)，r a n (f) = r a n (g)，而且对任意的x do m (f) = do m (g)，都有f (x)=g (x)。第四章 - 函数 9/9/202224Hongzhi Qiao, XiDian U

12、niv. 若函数 f 和函数 g 相等，那么它们的定义域和值域例1: 对实数集 R , R 上的关系 f 为 f = | y = x3 f 是从 R 到 R 的函数, 记作 f: RR , 并记作f:|x3 或 f (x) = x3.第四章 - 函数 9/9/202225Hongzhi Qiao, XiDian Univ.例1: 对实数集 R , R 上的关系 f 为 例2: 集合 A = 1, 2, 3 上 的 两个关系g=, 和 h=,都不是从A到A的函数.因为 g 没有单值性, 即 g 且 有 g , 而对关系 h , do m (h) = 1,2 A. 但是, h 是从1,2到A的函数

13、. 第四章 - 函数 9/9/202226Hongzhi Qiao, XiDian Univ. 例2: 集合 A = 1, 2, 3 上 判别下列关系中哪个能构成函数：（1） 因为x1不能取定义域中所有的值，且x1对应很多x2，故这个关系不能构成函数。（2） 因为一个y1对应两个y2，也不是函数。（3） 能够成为函数。第四章 - 函数 9/9/202227Hongzhi Qiao, XiDian Univ.判别下列关系中哪个能构成函数：（1） （从A到B的所有函数的集合AB） 对集合A和B，从A到B的所有函数的集合记为AB（有的书记为BA）。于是 第四章 - 函数 9/9/202228Hongzhi Qiao, XiDian Univ.（从A到B的所有函数的集合AB） 对集合A和B，从A到B的所例3: 对A=1,2,3, B= a , b. 从A到B的函数有八个: f1=,f2=,f3=,f4=,f5=,f6=,f7=,f8=,于是 AB=f1,f2,f3,f8第四章 - 函数 9/9/202229Hongzhi Qiao, XiDian Univ.例3: 对A=1,2,3, B= a , b. 从A 若A和B是有限集合，|A|=m, |B|=n, 则|AB|= n m . 从 到