版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
类、商集、相容关系、(最大)相容类、偏序关系、极大界、上(下)确界、最大(小)元、全序关系、良序关系等概念;元、极小元、上(下)界、上(下)确界、最大(小)元。1.关系的性质及其判别;2.关系的复合运算及其性质;3.等价关系与等价类、等价关系与集合的划分的联系;4.偏序关系判别及其哈斯图的画法、偏序集中特异位置元素的理解。1.关系的传递性及其判别;2.等价关系的特性;3.偏序关系的哈斯图的画法;偏序集中特异位置元素的求法。通过多个实例的精讲帮助同学理解重点和难点的内容,并通过大量的练习使同学们巩固和掌握关系的性质及其判别、关系的复合运算及其性质、等价关系的特性、偏序关系的哈斯图的画法及偏序集中特异位置元素的求法。3.1集合的基本概念禁烟教案N-自然数集合(非负整数集)1(或Z)-整数集合(1,1)幂集人们常常给有限集A的子集编码,用以表示A的幂集的各个元素。具体方法是:设A={a,a,…,a},则A子集B按照含a记1、不含a记0(i=1,2,…,n)的规定12n例如,若,则B的编码是100…01,当然还可将它化成十进制数。如果n=4,那么这个十进制数为9,此时特别记定义3.2.1设A、B是两个集合,要么属于A,要么属于B,但不能同时属于A和B的所有元素组成的集合,称为A和B的对称差集,记为A田B。即图3-1证明(5)(A田B)田C=(A∩B∩C)U(A∩B∩C)U{[(AUBAUB=[AN(B∩C)U(B∩C)]U{A∩[(B∩C)U禁烟教案A田B从文氏图3-3亦可以看出以下关系式成立。3.4序偶与笛卡尔积禁烟教案元素。有序三元组是一个序偶,其第一元素本身也是一个序偶,可形式化表示为3.4.2笛卡尔积禁烟教案B×B={(a,a}.(a,b},(a,c),(b,a),(b,b},(b,c},(c,a},(c,bB×A={(a,1},(a,2>,(b,1),(b,2>,(c,1}AGC且BcD是有序n元组构成的集合。图3-4禁烟教案当X=Y时,关系R是X×X的子集,这时称R为集合X上的二元关系。例3.5.1(1)设A={a,b},B={2,5,8},则A×B={(a,2},(a,5>,(a,8>,(b,2},(b,5>,(b,8》,令因为R≤A×B,R≤A×B,R≤A×B,所以R,R,和R均是由A到B的关3R的定义域和值域一起称作R的域(Field),记作FLDR,即例3.5.2设A={1,3,7},B={1,2,6},H={(1,2>,(1,6>,(7,2》),例3.5.3设X={2,3,4,5},求集合X上的关系“<”、dom<及ran<。3.5.2几种特殊的关系1.空关系对任意集合X,Y,φSX×Y,φCX×X,所以φ是由X到Y的关系,也是X2.全域关系因为X×YsX×Y,X×X5X×X,所以X×Y是一个由X到Y的关系,称为域关系,通常记作,即例3.5.4若H={f,m,s,d}表示家庭中父、母、子、女四个人的集合,确定H上的全域关系和空关系,另外再确定H上的一个关系,并指出该关系的前域和值域。解设H上同一家庭的成员的关系为H,33证明因为Q=X×Y,S≤X×Y,R·R3.5.3关系的表示因为关系是序偶的集合,因此可用表示集合的列举法或描述法来表示关系。例如,例3.5.1的(1)中的关系R,R、和R、及例3.5.2中的关系H,均是用列举法表示的关系;而例3.5.1的(2)中的关系>和例3.5.5中的关系R,R都是用描述法表示的关系。有限集合间的二元关系R除了可以用序偶集合的形式表达以外,还可用矩阵和图形表示,以便引入线性代数和图论的知识来讨论。2.矩阵表示法设给定两个有限集合,Y={y,y,,…,y},则对应于从X到Y的二元关系R有一个关系矩阵,其中如果R是有限集合X上的二元关系或X和Y含有相同数量的有限个元素,则M是方阵。例3.5.6若R={(a,b>·(a,b>·(a₂b₂>·(a,b>(a,b>(a,b>(a,b,))解例3.5.7设X={1,2,3,4},写出集合X上的大于关系>的关系矩阵。3.关系图表示法上的一个二元关系为R,首先我们在平面上做出m个结点分别记作例3.5.8画出例3.5.6的关系图。解本题的关系图如图3-11所示:图3-11例3.5.8的关系图解因为R是A上的关系,故只需画出A中的每个元素即可。如果aRa,就画一条由a到a的有向弧。若a=a,则画出的是一条自回路。本题的关系图如图3-12所示。35(4)对于任意x,y∈X,若xRy,yRx,必有x=y,则称R在X上是反对称的(5)对于任意x,y,z∈X,若xRy,yRz,就有xRz,则称R在X上是传递的例3.6.1设A={1,2,3},则集合A上的关系图3-5表明了自反与反自反、对称与反对称性之间的关系。EE例3.6.2(1)集合之间的三关系是自反的、反对称的和可传递的。因为:1)对于任意集合A,均有ASA成立,所以三是自反的;2)对于任意集合A,B,若A<B且BCA,则A=B,所以C是反对称的;3)对于任意集合A,B,C,若A≤B且B=C,则AcC,所以C是可传递(2)平面上三角形集合中的相似关系是自反的、对称的和可传递的。因为:任意一个三角形都与自身相似;若三角形A相似于三角形B,则三角形B必相似于三角形A;若三角形A相似于三角形B,且三角形B相似于三角形C,则三角形A必相似于三角形C.C(3)人类的祖先关系是反自反、反对称和可传递的。(4)实数集上的">"关系是反自反、反对称和可传递的。(5)实数集上的“≤”关系是自反、反对称和可传递的。(6)实数集上的“=”关系是自反、对称、反对称和可传递的。(7)人群中的父子关系是反自反和反对称的。(8)正整数集上的整除关系是自反、反对称和可传递的。(9)φ是反自反、对称、反对称和可传递的。禁烟教案(10)任意非空集合上的全关系是自反的、对称的和可传递的。例3.6.3设整数集Z上的二元关系R定义如下:yRx,因此R是对称的。3.6.2由关系图、关系矩阵判别关系的性质例3.6.4集合A={1,2,3,4},A上的关系R的关系矩阵为:R的关系图如图3-6所示。讨论R的性质。图3-6(1)若关系R是自反的,当且仅当其关系矩阵的主对角线上的所有元素都是1;其关(2)若关系R是对称的,当且仅当其关系矩阵是对称矩阵;其关系图上任意两个结(3)若关系R是反自反的,当且仅当其关系矩阵的主对角线上的元素皆为0;关系图且,则;其关系图满足:对Vi,j,k,i≠j,j≠k,若有弧由a指向a,且又J例3.6.5图3-7是由关系图所表示的A={a,b,c}上的5个二元关系。图3-73.7复合关系和逆关系例3.7.2设A是所有人的集合。那么而定理3.7.1设R是由集合X到Y的关系,则IoR=RoI=R。(3)若ranR∩domS=φ,则RoS=φ。证(1)和(2)是显然的,下面我们证明(3)。用反证法。1)So(RUR)=(SoR)U(SoR)所以(2)关系的复合运算不满足交换律。例3.7.4(1)设A={a,b,c},B={x,y,z},R和R,都是从A到B的关系,S 系,在计算这一关系时,可以运用结合律将其中任意两个相邻的关系先结合。特别地,当A=A=…=A=A,,即R是集合A上的关系时,复合关系简记作Rn,它也是集A上的一个关系。3.7.2复合关系的矩阵表示及图形表示因为关系可用矩阵表示,所以复合关系也可用矩阵表示。A代表逻辑乘,满足0ʌ0=0,0ʌ1=0,1ʌ0=0,1ʌ1=1。解3.7.3逆关系禁烟教案22例如,在实数集上,关系"<"的逆关系是">"。其它自证。(2)自证。(4)R是自反的,当且仅当ISR;X(3)若R2≤R,则对Vx,y,z∈X,解3.8关系的闭包运算关系作为集合,在其上已经定义了并、交、差、补、复合及逆运算。现在再来考虑一种新的关系运算一关系的闭包运算,它是由已知关系,通过增加最少的序偶生成满足某种A上含R且最小的对称关系是:定义3.8.1设R是X上的二元关系,如果有另一个X上的关系R满足:(1)R是自反的(对称的,传递的);R"2R'。则称关系R为R的自反(对称,传递)闭包(Reflexive(Symmetric,显然,自反(对称,传递)闭包是包含R的最小自反(对称,传递)关系。定理3.8.1设R是X上的二元关系,那么(2)、(3)的证明完全类似。下面讨论由给定关系R,求取R的方法。定理3.8.2设R是集合X上的二元关系,则(2)令R=RUR-1,即R2=继续这个运算有:若,则存在整数p>0,使得xRpx成立,既存在序列a,a,…aJ12p-1’设满足上述条件的最小p大于n,不妨x=a,x=a,则序列中必有0解所以为计算元素较多的有限集合X上二元关系R的传递闭包,Warshall在1962年提出了一个有效的算法(假定集合X含有n个元素):(5)如果i≤n,则转到步骤(3),否则停止。例3.8.3解按照Warshall算法,从M出发,只要遵循“置行查列遍寻真(1),见真行上析R当今(i),行推列移下右再,行穷列尽闭包成(便可直接求得M。禁烟教案而后的每后一次循环重复操作,均在前一次操作结果的矩阵M上进行。置当今行为第1行,查看第1列中1,对有1的行进行改写,改写方法是:将当今行第一行与第一行各对应元素进行逻辑加,仍记于第一行:;第二列中r.=1,将第二行与第一行各对应元素进行逻辑加,仍记于第一行:置当今行为第3行,重复上述操作并结束。对本例,i=3时,第三列中r=1,r=1,r=1,将第三行分别与第一行、第二行、第三行各对应元素进行逻辑加仍分别记于第一行、第二行、第三行:得R+={(a,a}),(a,b},(a,c},(b,c>,结果与例3.8.2一致。禁烟教案A→B,B→De,D→Bf个字符恰为x,。说明每个字母连续应用上述规则可j解J从一种性质的闭包关系出发,求取另一种性质的闭包关系,具有以下定理3.8.4设R是集合X上的二元关系,则XX(3)留作练习请读者自证。3.9等价关系与相容关系本节讨论两类特殊关系-等价关系与相容关系。在讨论之前,我们先引进两个概念-集S是对A的某种分类的集合S是对A的某种分类的集合合、S、表示文科学生全体的集合;若按年级分类,则有,其中S(j=1,2,3,4)表示该大学j年级学生全体的集合;若按系分类,则有2j定义3.9.1设A是非空集合,A的子集的集合S={A,A,…,A},都是非空集合; S={{a,b},{b,c},{d}},Q={D={{a,d},{b,c}},G={{a,bE={{a},{b},{c},{d}},F={{a,是划22交定理3.9.1设S={A,A,…,A}与S={B,B,…,B}是同一集合X的两种划22定义3.9.3给定X的任意两个划分S={A,A,…,A}若对于每一个A均有B,使A≤B(i=1,2,…r;k=1,2,…t),k与S={B,B,…,B},22若还有S≠S,2定理3.9.2证明设S2任何两种划分的交叉划分,都是原来各划分的一种加细。={A,A,…,A}与S,={B,B,…,B}的交叉划分为T,对T中任意元j1Ij23.9.2等价关系与等价类1.等价关系定义3.9.4设R为定义在集合A上的一个关系,若R是自反的、对称的和传递的,例3.9.1(1)平面上三角形集合中,三角形的相似关系是等价关系。(3)一群人的集合中姓氏相同的关系也是等价关系。(4)设A是任意非空集合,则A上的恒等关系1和全域关系E均是A上的等价关验证R是A上的等价关系。关系图如图3-9所示。图3-9关系矩阵中,对角线上的所有元素都是1,关系图上每个结点都有自环,说明R是自反的。关系矩阵是对称的,关系图上任意两结点间或没有弧线连接,或有成对弧出现,故R是对称的。从R的序偶表示式中,可以看出R是传递的。故R是A上的等价关系。(2)若a=b(modk),a-b=kt(t为整数),则b-a=-kt,所以,(3)若a=b(modk),b=c(modk),则a-b=kt,b-c=ks(t,sa-c=a-b+b-c=k(t+s),所以,a=c(modk),R是传递的。2.等价类定义3.9.5设R是集合A上的等价关系,对任何a,b∈A,若aRb,则称a与b等价。对任何a∈A,集合A中等价于a的所有元素组成的集合称为以a为代表元的(A关于等价关系R的)等价类(EquivalenceClass),记作[a]。即由等价类的定义可知是非空的,因为aRa,。因此,任给集合A及其上的等价关系R,必可写出A上各个元素的等价类。例如,在例3.9.2中,A的各个元素的例3.9.4设I是整数集合,R是模3同余关系,即解例3.9.3已证明整数集合上的模k同余的关系是等价关系,故本例中由I的元素从本例可以看到,在集合I上模3同余等价关系R所构成的等价类有:禁烟教案定理3.9.3设给定集合ARR上的等价关系R,对于a,b∈A有aRb当且仅当,即定义3.9.6集合A上的等价关系R,其所有等价类的集合称作A关于R的商集例如,例3.9.2中,商集:我们注意到商集,且任意两个等价类的交为φ,于是定理3.9.4集合A上的等价关系R,决定了A的一个划分,该划分就是商集%。为证定理,我们需要证明非空集合A在其上的等价关系R下形成的等价类的全体的集禁烟教案(1)每一等价类都是A的子集,A中任一元素均属于某一等价类,即等价类全体的并集是A;(2)不同的等价类之间交是空集。证明Va∈A,因为,所以,,从而(1)得证。为证明(2),用反证法:由对称性得cRb,再由传递性得aRb,据定理3.9.3,必有,这与题设矛盾,(2)得证。所以,是A的对应于R的一个划分。定理3.9.5是集合A的一个划分,则存在A上的一个等价关系R,使得S是A关于R的商集。..。由定理3.9.5可知:由集合A的划分S={S,S,…,S}所确定的A上的等价关系R定理3.9.4和定理3.9.5说明:非空集合A上的等价关系与A的划分一一对应。例3.9.5设A={a,b,c,d,e}的划分S={{a,b},{c},{d,e}},试由划分S确定A上的一个等价关系R口定理3.9.6设R和R.为非空集合A上的等价关系,则222即,则对,使得,故3.9.3相容关系定义3.9.4给定集合A上的关系R,若R是自反的、对称的,则称R是A上的相A={cat,teachercolddeskknifebycatteachercolddeskknifeR的关系图如图3-10所示。图3-10R的关系矩阵由于相容关系是自反和对称的,因此,其关系矩阵的对角线元素都是1,且矩阵是对同理,在相容关系的关系图中,每个结点处都有自环且每两个相关联的结点间的弧线都是成对出现的,为了简化图形,我们今后对相容关系图,不画自环,并用单线代替双向弧线,因此,上例的关系矩阵和关系图可简化为表3-1和图3-11。图3-11定义3.9.5设R是集合A上的相容关系,C≤A,如果对于C中任意两个元素a,a有aRa,就称C是由相ConsistentClass对于前三个相容类,都能加进新的元素组成新的相容类,而后两个相容类,加入任一新元素,就不再组成MaximalConsistentClass定义3.9.6设R是集合A上的相容关系,不能真包含在任何其它相容类中的相容类,RRR若C.为最大相容类,显然它是ARRR有相容关系。而在A-C。中没有任何元素与C。所有元素有相容关系。RR根据最大相容类的定义,它可以从相容关系R的简化关系图求得,具体方法是(1)在相容关系R的简化关系图中,每一个最大完全多边形的顶点集合,就是一个最大相容类。所谓完全多边形(CompletePolygon),就是其每个顶点都与其它顶点连接例3.9.7由例3.9.6中相容关系R的简化关系图3-11可得其全部最大相容类为:定理3.9.7设R是集合A上的相容关系,C是一个相容类,那么必存在一个最大相R图3-12R=A×AUA×AU…UA×AJR=((1,1}.(12>,(1.3},(2,1,(2,2>,(2,3>,(3,1},(3,2},(3,3>,(3,4>,(4,3),(4,4习题3.92.把n个元素的集合划分成两个分块,共有多少种不同的方法?3.已知X及其关系R如下,试说明R是等价关系,并指出其等价类。5.证明:(1)设R是X上的关系。对于x,x,x∈X而言,如xRx且xRx蕴含jkiik3.10.1偏序关系的定义
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 有借条还签了补充协议书
- 买果树地方协议书
- 培训机构入股合伙人协议书
- 落地式卸料平台搭建设计方案
- 涉企执行制度建设方案
- 网络综合布线系统部署方案
- 废旧纺织品再生利用施工方案
- 娱乐至上建设方案
- 高考古诗鉴赏高频意象汇编
- 化学反应与能量变化 模块1 化学反应与热能 寒假衔接讲义
- TBT2344-2012 43kgm~75kgm钢轨订货技术条件
- IATF16949标准培训教材
- 第四章-空气和废气监测
- 起重机械产品质量证明书
- 从有效教学走向卓越教学
- 【超星尔雅学习通】航空与航天网课章节答案
- 考向1 化学与STSE(附答案解析)-备战高考化学一轮复习(全国通用)
- GB/T 14832-2008标准弹性体材料与液压液体的相容性试验
- 第四章企业人力资源统计与分析
- GA 891-2010公安单警装备警用急救包
- 媒介经营与管理-课件
评论
0/150
提交评论