第七节二元关系.ppt

  1. 1、本文档共61页,可阅读全部内容。
  2. 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
第七章 二元关系 第七章 二元关系 有序对与笛卡儿积 二元关系 关系的运算 关系的性质 关系的闭包 等价关系与划分 偏序关系 知 识 点:序偶与笛卡尔积、关系及表示、关系的性质、复合关系和逆关系、 关系的闭包运算、集合的划分、等价关系与等价类、偏序关系 教学要求:深刻理解和掌握关系的基本概念和基本运算 教学重点:关系及关系的运算、等价关系、偏序关系 学时: 12 §7.1 有序对与笛卡儿积 定义7.1: 由两个元素x和y(允许x=y)按一定顺序排列成的二元组叫做一个有序对或序偶,记作x,y,其中x是它的第一元素,y是它的第二元素。有序对x,y具有以下性质: 当x≠y时,x,y≠y,x x,y=u,v的充分必要条件是x=u且y=v 例7.1 已知x+2,4=5,2x+y,求x和y。 解 由有序对相等的充要条件有  x+2=5,2x+y=4 解得x=3,y=-2 §7.1 有序对与笛卡儿积 定义7.2 设A,B为集合,用A中元素为第一元素,B中元素为第二元素构成有序对。所有这样的有序对组成的集合叫做A和B的笛卡儿积。 A和B的笛卡儿积记作A×B 笛卡儿积的符号化表示为A×B={x,y|x∈A∧y∈B} 由排列组合的知识不难证明,如果|A|=m, |B|=n, 则|A×B|=mn 例7.2 设A={a,b}, B={0,1,2},则 A×B={a,0,a,1,a,2,b,0,b,1,b,2} B×A={0,a,0,b,1,a,1,b,2,a,2,b} 例7.3 设 A={ x | 0x2 } , B={ y |0y1 },则 A ? B={ x,y| 0x2且0y1 } §7.1 有序对与笛卡儿积 笛卡儿积运算具有以下性质 A× ? = ? , ?×A = ? 一般地说,笛卡儿积运算不满足交换律,即 A× B ≠ B×A (当 A≠? ? B≠? ? A≠B 时) 笛卡儿积运算不满足结合律,即 (A×B)×C ≠ A×(B×C) (当 A≠??B≠??C≠ ? 时) 笛卡儿积运算对并和交运算满足分配律 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) A ? C ? B ? D ? A × B ? C × D §7.1 有序对与笛卡儿积 例7.4 设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.5 设A,B,C,D为任意集合,判断以下命题是否为真,并说明理由 A × B = A × C ? B=C A – (B × C) = (A – B) ×(A – C) A=B ? C=D ? A × C = B × D 存在集合A, 使得 A ? A × A §7.2 二元关系 A={a,b,c}表示一个班级,B={1,2,3,4}表示开设的课程 a选修课程1,3 b选修课程1,3,4 c选修课程2,4 如何用集合表示学生和课程的关系? §7.2 二元关系 定义7.3 如果一个集合满足以下条件之一: (1)集合非空,且它的元素都是有序对 (2)集合是空集 则称该集合为一个二元关系,记作 R 。 二元关系也可简称为关系 对于二元关系R,如果x,y∈R,可记作 x R y 如果x,y ? R,则记作 x ? y 例如: R1={1,2,a,b},R2={1,2,a,b} 则R1是二元关系; R2不是二元关系,只是一个集合,除非将a和b定义为有序对。根据上面的记法可以写 1 R12 ,a R1b,a R1c 等。 §7.2 二元关系 定义7.4 设A,B为集合,A×B的任何子集所定义的二元关系叫做从A到B的二元关系, 特别当A=B时则叫做A上的二元关系。 例如: A={0,1},B={1,2,3},那么

文档评论(0)

189****6140 + 关注
实名认证
内容提供者

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

1亿VIP精品文档

相关文档