- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
第6章节 二元关系
第三篇 二元关系 关系理论历史悠久。它与集合论、数理逻辑、组合学、图论和布尔代数都有密切的联系。 关系是日常生活以及数学中的一个基本概念,例如:兄弟关系,师生关系、位置关系、大小关系、等于关系、包含关系等。 计算机程序的输入、输出关系; 数据库的数据特性关系; 数据结构本身就是一个关系等。 数据结构、情报检索、数据库、算法分析、计算机理论等计算机学科很好的数学工具。 第6章 二元关系 6.2 二元关系 6.2.1 序偶与笛卡尔积 例6.2.1 用序偶表示下列语句中的次序关系 (1)平面上点A的横坐标是x, 纵坐标是y,x,y∈R; (2)成都是四川的省会; (3)英语课本在书桌上; (4)左,右关系。 序偶与集合的关系 定义6.2.2 给定序偶a,b和c,d, a,b=c,d ? a=c且b=d。 N重有序组 例6.2.2 用n重有序组描述下列语句。 (1)中国四川成都电子科技大学计算机学院; (2)2006年9月10日18点16分25秒; (3)16减5再加3除以7等于2。 笛卡尔乘积 例6.2.3 设A={a},B={b,c},C=Φ,D={1,2},请分别写出下列笛卡儿积中的元素。 (1)A×B,B×A;(2)A×C,C×A; (3)A×(B×D),(A×B)×D。 解 根据笛卡儿积的定义,有 (1)A×B={a,b,a,c}, B×A={b,a,c,a}; (2)A×C=Φ,C×A=Φ; 例6.2.3 解(续) (3)因为B×D={b,1,b,2,c,1,c,2}, 所以A×(B×D) ={a,b,1,a,b,2,a,c,1,a,c,2}。 同理,(A×B)×D ={a,b,1,a,b,2,a,c,1,a,c,2}。 注意 由例6.2.3我们可以看出: (1)笛卡儿积不满足交换律; (2)A×B=Φ当且仅当A=Φ或者B=Φ; (3)笛卡儿积不满足结合律; (4)对有限集A,B,有|A×B|=|B×A|=|A|×|B|。 定理6.2.1 设A,B,C是任意三个集合,则 (1)A×(B∪C)=(A×B)∪(A×C); (2)(B∪C)×A=(B×A)∪(C×A); (3)A×(B∩C)=(A×B)∩(A×C); (4)(B∩C)×A=(B×A)∩(C×A)。 定理6.2.1 证明 (1)对任意x,y∈A×(B∪C), 由笛卡儿积的定义知,x∈A且y∈B∪C; 由并运算定义知,y∈B或者y∈C。 于是有x∈A且y∈B或者x∈A且y∈C。 从而,x,y∈A×B或者x,y∈A×C。 即x,y∈(A×B)∪(A×C), 所以,A×(B∪C)?(A×B)∪(A×C)。 定理6.2.1 证明(续) 定理6.2.2 设A,B,C,D是任意四个集合,则 (A×B)?(C×D) ? A?C,B?D。 证明 充分性(?): 对任意x,y∈A×B,有x∈A且y∈B。 又因为A?C,B?D,所以有x∈C且y∈D,即 x,y∈C×D,从而(A×B)?(C×D)。 定理6.2.2 证明(续) 必要性(?): 对任意x∈A,y∈B,有x,y∈A×B。 又因为(A×B)?(C×D),所以x,y∈C×D。 根据笛卡儿积的定义有x∈C且y∈D,从而 A?C,B?D。 综上所述,定理成立。 推广 定义6.2.6 设A1,A2,…,An是n个集合,称集合 A1×A2×…×An ={a1,a2,…,an|(ai∈Ai)∧i∈{1,2,3,…,n}} 为集合A1,A2,…,An的笛卡儿积(DescartesProduct) 当A1=A2=…=An=A时,有A1×A2×…×An=An。 定理6.2.3 当集合A1,A2,…,An都是有限集时,|A1×A2×…×An|=|A1|×|A2|×…×|An|。 问题:某学校组织学生看电影,电影院里共有n个座位,看电影的学生共有m个(m≤n),每个学生坐一个座位。请问,怎样表示学生和座位之间的从属关系? 二元关系 定义6.2.7 设A,B为两个非空集合,称A×B的任何子集R为从A到B的二元关系,简称关系(Relation)。如A=B,则称R为A上的二元关系。 这里,A称为R的前域,B称为R的后域。 令 C={x|x,y?R}?A, D={y|x,y?R}?B, 称C为R的定义域,记为C=domR;称D为R的值域,记D=ranR;并称fldR=D∪C为R的域。 特别 当R=Φ时,称R为空关系(emptyrelation); 当R=A×B时,则称R为全关系(TotalRelation)。 设一有序对x,y: 若x,y∈R,则记为xRy,读作“x对y有关系R”; 若x,y?R,则记为xRy,读作“x对y没有关系R”。 例6.2.4 假设A={a,b},B={c,d},试写出从A到B的所有不
文档评论(0)