离散数学第七章的课件解析.ppt

  1. 1、本文档共92页,可阅读全部内容。
  2. 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
第七章 二元关系 主要内容 有序对与笛卡儿积 二元关系的定义与表示法 关系的运算 关系的性质 关系的闭包 等价关系与划分 偏序关系 7.1 有序对与笛卡儿积 定义7.1 由两个元素 x 和 y(允许x = y),按照一定的顺序组成的二元组称为有序对或序偶,记作x,y. 其中,x是它的第一个元素,y是它的第二个元素。 有序对的性质: (1) 有序性 x,y?y,x (当x?y时) (2) x,y与u,v相等的充分必要条件是 x,y=u,v ? x=u?y=v. 注意:区别二元集{x,y}与有序对x,y 例7.1 已知x+2,4=5,2x+y,求x和y。 解 由有序对相等的充要条件有 x+2=5 2x+y=4 解得x=3,y=-2。 笛卡儿积 定义7.2 设A,B为集合,用A中元素为第一元素,B中元素为 第二元素构成有序对.所有这样的有序对组成的集合叫做 A与B的笛卡儿积,记作A?B. 笛卡儿积的符号化表示为: A?B = {x,y| x?A?y?B}. 笛卡儿积的性质 (1) 若 A 或 B 中有一个为空集,则 A?B 就是空集. A?? = ??B = ? (2) 不适合交换律 A?B ? B?A (当A?B ? A?? ? B??时) (3) 不适合结合律 (A?B)?C ? A?(B?C) (当A?? ? B?? ? C??时) (4) 对于并或交运算满足分配律 A?(B?C) = (A?B)?(A?C) (B?C)?A = (B?A)?(C?A) A?(B?C) = (A?B)?(A?C) (B?C)?A = (B?A)?(C?A) (5) A ? C∧B ? D ? A×B ? C×D 性质证明 证明 A?(B?C) = (A?B)?(A?C) 实例 例7.2 设A={1,2},求P(A)×A。 解 P(A)×A ={?,{1},{2},{1,2}}×{1,2} ={?,1,?,2,{1},1,{1},2,{2},1,{2},2,{1,2},1,{1,2},2} 例7.3 设A,B,C,D为任意集合,判断以下命题是否为真,并说明理由。 (1) A×B=A×C ? B=C (2) A-(B×C)=(A-B)×(A-C) (3) A=B∧C=D ? A×C=B×D (4) 存在集合A,使得A ? A×A 解: (1) 不一定为真。当A=? ,B={1},C={2}时,有A×B=A×C=?,但B≠C。 (2) 不一定为真。当A=B={1},C={2}时有 A-(B×C)={1}-{1,2}={1} (A-B)×(A-C)= ? ×{1}= ? (3) 为真。由等量代入的原理可证。 (4) 为真。当A= ?时有A ? A×A成立。 7.2 二元关系 定义7.3 如果一个集合满足以下条件之一: (1) 集合非空, 且它的元素都是有序对 (2) 集合是空集 则称该集合为一个二元关系, 简称为关系,记作R. 如果x,y∈R, 可记作xRy;如果x,y?R, 则记作x y 实例:R={1,2,a,b}, S={1,2,a,b}. R是二元关系, 当a, b不是有序对时,S不是二元关系,只是一个集合。 根据上面的记法,可以写1R2, aRb, a c等. A到B的关系与A上的关系 定义7.4 设A,B为集合, A×B的任何子集所定义的二元关系叫做从A 到B的二元关系, 当A=B时则叫做A上的二元关系. A上重要关系的实例 定义7.5 设 A 为任意集合, (1) 空集是任何集合的子集,?是A上的关系,称为空关系 (2) 全域关系 EA = {x,y| x∈A∧y∈A} = A×A 恒等关系 IA = {x,x| x∈A} 小于等于关系 LA = {x,y| x∈A∧y∈A∧x≤y}, A为实数集R的子集 整除关系 DB = {x,y| x∈B∧y∈B∧x整除y}, B为非零整数集Z*的子集 包含关系 R? = {x,y| x∈A∧y∈A∧x?y}, A是由一些集合构成的集合族. 实例 例如, A={1, 2}, 则 EA = {1,1,1,2,2,1,2,2} IA = {1,1,2,2} 例如 A = {1, 2, 3}, B=

您可能关注的文档

文档评论(0)

335415 + 关注
实名认证
内容提供者

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档