关系表达式、关系矩阵、关系图关系的运算定义域、值域.pptVIP

定义设R为集合A上的等价关系，对任何x∈A, 集合 ={y|y∈A, xRy}称为元素x关于R的等价类。 定理：设R是非空集合A上的等价关系，对任意的x,y∈A，以下结论成立： 1、 是非空的，因为x∈ 2、若xRy，则 ＝ 3、若xRy,则 ∩ ＝f 4、∪ ＝A 二、等价类 例：设I是整数集合，R是模3 同余的关系，即 R={x,y|x∈I,y∈I,x≡ y(mod3)} 确定I 的元素所产生的等价类。 解 R是I上的等价关系，由I的元素所产生的等价类是 [0]R={···,-6,-3,0,3,6···} [1]R={···,-5,-2,1,4,7···} [2]R={···,-4,-1,2,5,8···} [0]R=[3]R=[-3]R= ··· [1]R=[4]R=[-2]R= ··· [2]R=[5]R=[-1]R= ··· 且有： 定义 集合A上的等价关系R，以R的不交的等价类为元素的集合叫做A在R下的商集。记作A/R  即： A/R＝ { | x∈A}  如：非空集合A上的全域关系EA是A上的等价关系， A/EA＝{ A } 非空集合A上的恒等关系IA是A上的等价关系，A/IA={ {x} | x∈A }。 三、商集与集合的划分 定理： 非空集合A上的等价关系R，决定了A的一个划分，该划分就是商集A/R。 集合的划分: 设A为非空集合, 若A的子集族 π(π ? P(A))满足下面条件：（1）? ? π （2）?x?y(x,y?π∧x≠y→x∩y=?)（3）∪π = A 则称π是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的划分. 7.7 偏序关系 一、偏序关系 定义：非空集合A上的自反、反对称和传递的关系， 记作?. 设?为偏序关系, 如果x, y∈?, 则记作x?y, 读作x“小于或等于”y. 例：集合A上的恒等关系IA是A上的偏序关系. 小于或等于关系, 整除关系和包含关系也是相应集合上的偏序关系. 相关概念 定义：设R为非空集合A上的偏序关系, x,y∈A, x与y可比 ? x?y∨y?x. 任取两个元素x和y, 可能有下述几种情况发生： x?y(或y?x), x＝y, x与y不是可比的. 定义： R为非空集合A上的偏序关系, ?x,y∈A, x与y都是可比的，则称R为全序（或线序） 例：数集上的小于或等于关系是全序关系 整除关系不是正整数集合上的全序关系 定义7.22 x,y∈A, 如果x?y且不存在z∈A使得x?z?y, 则称y覆盖x. 例如{1,2,4,6}集合上的整除关系, 2覆盖1, 4和6覆盖2. 但4不覆盖1. 二、偏序集与哈斯图 1．偏序集：集合A和A上的偏序关系?一起叫做偏序集, 记作A,?.例：整数集合Z和数的小于或等于关系≤构成偏序集Z,≤ 集合A的幂集P(A)和包含关系R?构成偏序集P(A),R?. 2．哈斯图 利用偏序关系的自反、反对称、传递性进行简化的关系图 特点： 每个结点没有环 两个连通的结点之间的序关系通过结点位置的高低表示，位置低的元素的顺序在前 具有覆盖关系的两个结点之间连边 例 偏序集{1,2,3,4,5,6,7,8,9}, R整除和P({a,b,c}),R?的哈斯图. 例 已知偏序集A,R的哈斯图如下图所示, 试求出集合A和关系R的表达式.? 解 A={a,b,c,d,e,f,g,h} R={b,d,b,e,b,f,c,d,c,e,c,f,d,f,e,f,g,h}∪IA 三、偏序集中的特殊元素.?1. 最小元、最大元、极小元、极大元 定义设A,?为偏序集, B?A, y∈B.（1）若?x(x∈B→y?x)成立, 则称y为B的最小元.（2）若?x(x∈B→x?y)成立, 则称y为B的最大元. （3）若?x(x∈B∧x?y→x=y)成立, 则称y为B的极小元. （4）若?x(x∈B∧y?x→x=y)成立, 则称y为B的极大元. 性质： 对于有穷集，极小元和极大元一定存在，还可能存在多个. 最小元和最大元不一定存在，如果存在一定