离散数学教学课件 作者 郝晓燕 第4章 关系.ppt

例4-4.4 设集合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}} 戴德金分割（选读） 假设给定某种方法，把所有的有理数分为两个集合，A和B， A中的每一个元素都小于B中的每一个元素，任何一种分类方法称为有理数的一个分割。 对于任一分割, 必有3种可能, 其中有且只有1种成立: 1)A有一个最大元素a，B没有最小元素。例如A是所有≤1的有理数，B是所有1的有理数。 2)B有一个最小元素b，A没有最大元素。例如A是所有1的有理数。B是所有≥1的有理数。 3)A没有最大元素，B也没有最小元素。例如A是所有负的有理数，零和平方小于2的正有理数，B是所有平方大于2的正有理数。显然A和B的并集是所有的有理数，因为平方等于2的数不是有理数 注:A有最大元素a，且B有最小元素b是不可能的，因为这样就有一个有理数不存在于A和B两个集合中，与A和B的并集是所有的有理数矛盾。 第3种情况，戴德金称这个分割为定义了一个无理数,前面2种情况中，分割是有理数。这样，所有可能的分割构成了数轴上的每一个点，既有有理数，又有无理数，统称实数。 §4-5-2 其他次序关系 定义4-5.4 设R是非空集合A上的关系，如果R是反自反和传递的，则称R是A上的拟序关系，简称拟序，记为“＜”，读作“小于”，并将“a，b?＜”记为“a＜b”。 例如集合A的幂集P(A)上定义的?关系、实数集R上定义的小于关系均是拟序。 定义4-5.5 设A，≤是一个偏序关系，若对任意x，y?A，总有x≤y或y≤x，二者必居其一，则称关系“≤”为全序关系，简称全序，或者线序关系，简称线序。 例如实数集R上定义的小于等于关系为线序。 定义4-5.6 设A，≤是一偏序集，若A的任何一个非空子集都有最小元素，则称“≤”为良序关系，简称良序. 例如有限全序集一定是良序集。 第4章小结 1. 关系的概念，关系的表示方法（列举法，描述法，关系图，关系矩阵）。 2. 关系的基本特性（自反的，反自反的，对称的，反对称的和传递的）及其判别。 3. 关系的运算（交，并，补，合成，逆，闭包）及性质。 4. 等价关系与集合的划分。 5. 偏序关系与全序关系，有限偏序集的哈斯图，特殊元素。 * a * 关系的幂运算性质：若R?A?A，且m, n?N，则 Rm?Rn=Rm+n (2) (Rm)n=Rmn （3）若集合A是包含n个元素的有限集合，R是A上的关系，且i，j?N，则Ri=Rj。 例如：X＝﹛a,b,c﹜，关系R＝﹛﹤a，a﹥，﹤b，a﹥﹤c，b﹥﹜，则 R2＝﹛﹤a，a﹥，﹤b，a﹥，﹤c，a﹥﹜ R3＝﹛﹤a，a﹥，﹤b，a﹥，﹤c，a﹥﹜＝R2 Rn＝﹛﹤a，a﹥，﹤b，a﹥，﹤c，a﹥﹜ n?2 §4-3-2 关系的逆运算 定义4-3.3 设R是从集合A到B的二元关系，由关系R得到一个新的从B到A的关系，记为R?1，称R?1为R的逆运算，亦称R?1为R的逆关系，可表示为R?1={y，x|x，y?R}。 设X＝﹛a,b,c,d﹜ ,Y＝﹛1,2,3}， X到Y的关系R为 R＝﹛﹤a,1﹥,﹤b,1﹥,﹤c,2﹥ ,﹤d,2﹥,﹤d,3﹥﹜ R的逆关系 R-1＝﹛﹤1,a﹥,﹤1,b﹥,﹤2,c﹥,﹤2,d﹥,﹤3,d﹥﹜ 关系逆运算的性质 (R-1)-1＝R (R○S)-1＝S-1○ R-1 (R∪S)-1＝ R-1∪S-1 (R∩S)-1＝R-1∩S-1 (R-S)-1＝ R-1-S-1 (～R)-1＝～ R-1 证明 (R○S)-1＝S-1○ R-1 对任意的〈x，z〉 x，z? (R○S)-1 ?z,x? R○S ? ($y)(﹤z,y﹥?R∧﹤y,x﹥?S) ? ($y)(﹤y,z﹥?R-1∧﹤x,y﹥?S-1） ?($y)(﹤x,y﹥?S-1∧﹤y,z﹥?R-1） ? x，z ? S-1○ R-1 §4 关系的闭包运算 关系的闭包运算是关系上的一元运算，是包含该关系且具有某种性质的最小关系。 定义：设R是A上的二元关系，R的自反（对称、传递）闭包是关系R1，则 ① R1是自反的（对称的、传递的） ② R?R1 ③ 对任何自反的（对称的、传递