【教学课件】第2章关系(第一部分).ppt





《【教学课件】第2章关系(第一部分).ppt》由会员分享,可在线阅读,更多相关《【教学课件】第2章关系(第一部分).ppt(48页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、第第2 2章章 关关 系(第一部分)系(第一部分)1内容提要:1.关系的定义、有序对与笛卡尔积 2.二元关系概念及其表示方法 3.二元关系的基本类型与判定方法 22.1 2.1 关系关系(Relation)Relation)和和有序对有序对(ordered pair)ordered pair)n宇宙中存在着形形色色的关系,人与人之间:父子关系、师生关系、同学关系 数之间:大小关系、平方关系、整除关系、集合之间:包含关系、真包含关系、相等关系n集合论为刻划这种联系提供了一种数学模型:关系。n关系是一个集合,以具有该种联系的事物对为其成员。因而在关系的研究中可方便地使用集合论的概念、方法和成果。3
2、定义:由两个具有固定次序的个体组成的序列,称为序偶(ordered pair),记作或(a,b)。其中,a是第一元素,b是第二元素.n有序,即:ab (a,b)(b,a)(区别于集合元素的无序性)n相等:(a,b)=(c,d)a=c 且 b=dn(a,a)可为有序对 (区别于集合的元素不重复)有序对(ordered pair)4 定义:定义:有序对的集合称为二元关系;令A1,2,3,4,,A元素间的小于关系为:(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)二元关系(binary relation)5有序n元组(n-tuple)定义:由n个具有给定次序的个体a1,a2,a
3、n 组成的序列,称为有序n元组,记作(a1,a2,an),其中ai称为第i个分量。(1)有序,(1,2,3,4,5)(5,4,3,2,1)(2)(a1,a2,an)=(b1,b2,bn)当且仅当ai=bi(i=1,2,n)。(3)(a,a,a)可为有序对。定义:有序n元组的集合为n元关系。62.2 笛卡尔积(Cartesian product)笛卡尔积也叫卡氏积,是一种重要的集合运算,是向量概念的推广,也是数据库重要术语“元组”的基础。定义:定义:设A1,A2,An是任意的n个集合,所有有序n元组(a1,a2,an)组成的集合,称为集合A1,A2,An 的笛卡尔积,并用A1 A2 An 表示。
4、其中 ai Ai(i=1,2,n)。即 A1A2An=(a1,a2,an)|aiAi,i=1,2,n注意:(1)可表示不含任何有序组的笛卡尔积。(2)若Ai=,则A1A2An=7笛卡尔积(Cartesian product)举例例:例:设A=a,b,c,B=0,1,则 AB=(a,0),(a,1),(b,0),(b,1),(c,0),(c,1)BA=(0,a),(0,b),(0,c),(1,a),(1,b),(1,c)AA=(a,a),(a,b),(a,c),(b,a),(b,b),(b,c),(c,a),(c,b),(c,c)B B=(0,0),(0,1),(1,0),(1,1)特别地:特别
5、地:n=2时,只有2个集合参与运算,称作二维笛卡尔积。8二维笛卡尔积的性质n非交换:AB BA (除非 A=B 或 A=或 B=)n非结合:(AB)C A(BC)(除非 A=或 B=或 C=)n分配律:A(BC)=(AB)(AC)A(BC)=(AB)(AC)n其他:AB=A=或 B=n注意:笛卡尔积的性质具有明显的矢量特征。9笛卡尔积非交换性n非交换:AB BA (除非 A=B 或 A=或 B=)n反例:A=1,B=2.AB=(1,2),BA=(2,1).10笛卡尔积非结合性n非结合:(AB)C A(BC)(除非 A=或 B=或 C=)n反例:A=B=C=1.(AB)C=(1,1),1),A(
6、BC)=(1,(1,1).11笛卡尔积的分配律(证明)n证明:A(BC)=(AB)(AC)nproof:对于任意的 x,y A (BC)xA 并且 y(BC)/*卡氏积定义的逆运用*/xA 并且(yB 且 yC)(xA 且 yB)并且(xA 且 yC)(x,y)AB 并且 x,yAC/*卡氏积定义*/x,y(AB)(AC)。12笛卡尔积分配律1.A(BC)=(AB)(AC)2.A(BC)=(AB)(AC)3.(BC)A=(BA)(CA)4.(BC)A=(BA)(CA)5.A(B-C)=(AB)-(AC)6.(B-C)A=(BA)-(CA)n另外7个公式可类似地证明。13例题1设A,B,C,D是
7、任意集合,判断下列结论是否正确(1)AB=A=或 B=(2)若A,则 ABAC BC.(3)AC 且 BD ABCD,(4)ABCD AC 且 BD(5)(5)AnswerAnswer:(1)(2)(3)正确。(6)(4)仅当(A=B=)或(A 且 B)时,ABCD AC 且 BD成立14例题1(证明(2)(2)若A,则ABAC BC.证明:()若 B=,显然,BC.若 B,对于任意 yB 由A,任选 xA (x,y)AB (x,y)AC xA 且 yC yC.BC15例题1(证明(2),续)(2)若A,则ABAC BC.证明(续):()若 B=,则AB=AC成立.若 B.任选AB xA且yB
8、 xA且yC AC ABAC.注意:在()中不需要条件 A.16例题1(证明(3)设A,B,C,D为四个非空集合,则ABCD的充分必要条件是AC,BD证明证明:必要性:若ABCD,又A,B,C,D都不是空集,故对任意的xA,yB,x,yABCD,则xC,yD,因此AC,BD。充分性:若AC,因B非空,由(2)的结论故ABCB。又 B D,因C非空,由(2)的结论,故 C B C D。由包含关系的传递性质,A B C D。17n维笛卡尔积(性质)n非交换:ABCBCA (要求A,B,C均非空,且互不相等)n非结合:(AB)CA(BC)n分配律:例如AB(CD)=(ABC)(ABD)n其他:如 A
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 教学课件 教学 课件 关系 第一 部分

限制150内