- 1、有哪些信誉好的足球投注网站(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
R是等价关系,但不直观,若用关系图表示较直观。 三个不连通的图 二元关系R是自反的,对称的,传递的,且把A分成了三个等价类: {0},{1,2,3},{4,5} * 商集的元素个数|A/R|(即A在R下的等价类个数) 称为R的秩, 即: 以集合A上的等价关系R确定的所有互不相同的等价类作为元素而构成的集合, 称为A关于等价关系R的商集. 即 2、等价关系R将A分成若干等价类,每个类选个代表组成新的集合称为A关于R的商集,表示为A/R。 例在上例中 A/R={{0},{1,2,3},{4,5}} ={[0]R,[1]R,[4]R} * 把集合A分为若干非空子集A1,A2,…An满足: (1)当i≠j时, Ai∩Aj=? (2)?a∈A,?i,使a∈Ai(i=1,2,…,n), 即: 则集合Pr(A)={A1,A2,…,An}称为A的一个划分。 4.集合的划分 * 定理 A上的等价关系R可确定了A的一种划分 注: (1) Pr(A)?P(A)(A的幂集) (2) 当且仅当A=Ф时,Pr(A)=Ф,P(A)={Ф} (3) 当A非空时, Pr(A)?P(A) * 反之,给定了集合A的任一种划分Pr(A), 也可确定A上的一个等价关系 Pr(A)={[a]R|a∈A}; 证明 省略。 例 设A={a,b,c,d},给定π1,π2,π3,π4,π5,π6,如下:π1={{a,b,c},{d}} π2={{a,b},{c},{d}} π3={{a},{a,b,c,d}} π4={{a,b},{c}} π5={Ф ,{a,b},{c,d}} π6={{a,{a}},{b,c,d}} 则π1和π2是A的划分,其它都不是A的划分。 因为π3中的子集{a}和{a,b,c,d}有交, ∪π4≠A, π5中含有空集,而π6 根本不是A的子集族。 * 例 设R={(a,b)|a,b∈I,a≡b(mod3)} 是整数集合I上模3同余的二元关系. 证明R是等价关系。 (3)若3|(a-b),3|(b-c),则 a-c=(a-b)+(b-c),3|(a-c),故R是传递的。 证明 3|(a-b) a≡b(mod3) (1)因3|(a-a),故R是自反的; (2)若3|(a-b),则3|(b-a),故R是对称的; 故R是等价关系 * 商集 I/R ={[0]R,[1]R,[2]R } 其中 [0]R={…,-6,-3,0,3,6,…} [1]R={…,-5,-2,1,4,7,…} [2]R={…,-4,-1,2,5,8,…} 已证R={(a,b)|a,b∈I,a≡b(mod3)} 是整数集合I上R是等价关系。 * 给定集合A上的一个等价关系总可以通过寻求互不相同的等价类找到集合A的一个划分。 反之,若给定了集合A的一个划分,若指定位于同一个子集中的两个元素是相关的,则这个关系一定是等价关系。 简言之,等价关系与划分可以相互确定。 * 小结 作业习题2(p66) 19、20、22、23、25、26、30、31 * (3)关系图:每条有向边取反向。 * 定理 设R是A到B的二元关系,设S是B到C的 二元关系,则 证明 (转置矩阵乘法的性质 由此可知 * ) 二元关系R是自反的 易见下面的结论 二元关系R-1是自反的 二元关系R是反自反的 二元关系R-1是反自反的 二元关系R是对称的 二元关系R-1是对称的 二元关系R是反对称的 二元关系R-1是反对称的 二元关系R是传递的 二元关系R-1是传递的 * * 2.2.3 关系的闭包运算 但又不希望R’与R相差太多,换句话说,添加的有序对要尽可能的少。满足这些要求的R’就称为R的自反闭包。 设R是A上的关系,我们希望R具有某些有用 的性质,比如说自反性。 如果R不具有自反性,我们通过在R中添加一 部分有序对来改造R,得到新的关系R’使得R’具有 自反性。 通过添加有序对来构造的闭包除自反闭包外 还有对称闭包和传递闭包。具体定义如下。 * 设R是非空集合A上的关系,若存在A上的 (1) (3) 对A上任何自反的二元关系 是R在A上的自反闭包。 (2) 是自反的; 同时满足下面三个条件: 二元关系 则称 (自反闭包的最小性) * 设R是非空集合A上的关系,若存在A上的 (1) (3
文档评论(0)