离散数学2_1_2(关系)[2014_9_24].pptVIP

* * * * * * * * * 主讲教师：常亮 E-mail: changl@guet.edu.cn QQ：737059669 办公室电话: 2291071 手机: 辅导教师：周小川 答疑时间：星期四 上午 10:20-11:50 答疑地点：5教5楼 软件工程教研室 离散数学 内容回顾 容斥原理 |A∪B∪C| = |A| + |B| + |C| - |A∩B| - |A∩C| - |B∩C| +|A∩B∩C| 序偶 x, y 笛卡尔积 A?B = {x, y | x?A, y?B} 2.1.2 关系的定义 课程选修关系1： 课程选修关系2： 宋江 李奎 武松 时迁 林冲 离散数学 人工智能 计算机网络 编译原理 操作系统 宋江 李奎 武松 时迁 林冲 离散数学 人工智能 计算机网络 编译原理 操作系统 宋江,离散数学, 宋江,人工智能, 武松,人工智能, 武松,计算机网络, 时迁,离操作系统, 林冲,人工智能, 林冲,计算机网络 { } R1 = 宋江,人工智能 ? R1 宋江 R1 人工智能 宋江,离散数学, 武松,人工智能, 武松,计算机网络, 时迁,离操作系统, 林冲,人工智能, 林冲,计算机网络 { } R2 = 宋江,人工智能 ? R1 宋江 R1 人工智能 二元关系的定义 定义2.7 若集合中的所有元素都是有序对，则称此集合为二元关系，简称为关系。 关系：由有序对组成的集合。 若x, y?R，则称a与b有关系R，也常记为xRy。 二元关系与笛卡儿积 宋江 李奎 武松 时迁 林冲 离散数学 人工智能 计算机网络 编译原理 操作系统 宋江,离散数学, 宋江,人工智能, 武松,人工智能, 武松,计算机网络, 时迁,离操作系统, 林冲,人工智能, 林冲,计算机网络 { } R1 = ? R1 A×B 宋江,离散数学, 武松,人工智能, 武松,计算机网络, 时迁,离操作系统, 林冲,人工智能, 林冲,计算机网络 { } R2 = A B A×B = ? ? R2 A×B 每个关系确定了 A×B的一个子集 二元关系的定义 定义2.7 若集合中的所有元素都是有序对，则称此集合为二元关系，简称为关系。 关系：由有序对组成的集合。 若x, y?R，则称a与b有关系R，也常记为xRy。 定义2.8 设A、B为两个集合，将A×B的任一子集R称为集合A到集合B的一个二元关系（简称关系）。 当A=B时（即R?A×A），称R为A上的二元关系。 二元关系的定义 设|A|=n, |B|=m A到B总共可能有多少个不同的二元关系 ？ |A?B|=m?n，|P(A?B)|=2m?n， 所以，从A到B的关系有2m?n个 |A|=n, A上总共可能有多少个不同的二元关系 ？ |A?B|=n.n，集合|P(A?A)|=2 n.n， 所以，A上的关系有2n?n个 几种特殊的关系 空关系： R=? 全关系： 当R=A×B时，称R为A到B的全域关系。 当R=A2时，称R为A上的全域关系，记为EA。 问：若|A|=n，关系EA中有多少个元素？ 恒等关系： 设R是A上的二元关系，且满足R={x, x | x?A}，则称R是A上的恒等关系，记作IA。 问：若|A|=n，关系IA中有多少个元素？ 对于A= {1, 2, 3}，写出A上的全域关系和恒等关系。 解: A上的全域关系为 EA={1, 1 , 1, 2, 1, 3, 2, 1, 2, 2, 2, 3, 3, 1, 3, 2, 3, 3}； A上的恒等关系为 IA={1, 1 , 2, 2，3, 3} 例2.7 关系的定义域和值域 定义2.10 定义域(前域)：dom R = { x | ?y使得x, y?R } 由R中各个有序对的第一个元素组成的集合。 值域(后域)：ran(R) = { y | ?x使得x, y?R } 由R中各个有序对的第二个元素组成的集合。 R的定义域和值域的并集称为R的域，记为fld R。 fld R = dom R ? ran R 关系的定义域和值域 例 R={1,2,1,3,2,4,4,3}, 则 dom R =…… ran R =…… 如果R是从集合A到集合B的关系，则