【离散数学】特殊关系

一、等价关系

等价关系和等价类

等价关系定义：R是非空集合A上的关系，如果R是自反的、对称的、传递的，则R为A上的等价关系

等价类定义：R是非空集合A上的等价关系，对于任意x∈A，称集合[x]R={y|y∈A,<x,y>∈R}为x关于R的等价类，叫做由x生成的一个R等价类，其中x称为[x]R的生成元

等价类的特性

• [x]R≠Ø（x的等价类至少有一个x）
• x,y∈A，若y∈[x]R，则[x]R=[y]R，否则[x]R∩[y]R=Ø
• 所有元素等价类的并集为A

商集

设R是非空集合A上的等价关系，由R确定的一切等价类的集合，称为集合A上关于R的商集，记为A/R，即A/R={[x]R|x∈A}

二、集合的划分

划分的定义

给定一个非空集合A，设由集合Π={S1,S2,……Sm}，满足:

• Si⊆A，Si≠Ø，i=1,2……m
• Si∩Sj=Ø，i≠j，i,j=1,2……m
• S1到Sm的并集为A

称集合Π为集合A的一个划分，S1，S2……Sm为这个划分的块或者类

等价划分

设R是非空集合A上的等价关系，则A对R的商集A/R是A的一个划分，称为由R所导出的等价划分 同一个集合有多种不同的划分，不同的等价关系导出不同的划分

等价关系导出

给定集合A的一个划分Π={S1,S2……Sm}，由该划分确定的关系R=(S1×S1)∪(S2×S2)……(Sm×Sm)是A上的等价关系。称R为由划分Π所导出的等价关系

三、偏序关系

偏序关系定义

设R是非空集合A上的关系，如果R是自反的，反对称的，传递的，则称R为A上的偏序关系，记为≤，读作小于等于，并将<a,b>∈≤记为a≤b，序偶≶A,≤>称为偏序集

可比与覆盖

设R是非空集合A上的偏序关系，∀x,y∈A

• 若x≤y，或y≤x，则称x与y可比 
• 若x≤y且不存在z∈A使得x≤z≤y，称y覆盖x（可比元素之间没有其它元素）

四、哈斯图和特殊元素

哈斯图定义

R是非空集合A上的偏序关系，使用如下方法对R的关系图进行简化：

1. 取消每个节点的自环（因自反性）
2. 取消所有由于传递性出现的边（若x→y,y→z,则去掉x→z这条边）（因传递性）
3. 重新排列每条边，使得边的箭头方向全部向上，然后去掉这些箭头（因反对称性）

以上步骤可以得到一个包含足够偏序信息的图，这个图称为偏序关系R的哈斯图

最大元和最小元

设<A,≤≷是偏序集，B是A的任何一个子集，若存在元素b∈B使

• 对任意x∈B，都有x≤b，称b为B的最大元（B中所有元素都比b小）
• 对任意x∈B，都有b≤x，称b为B的最小元（B中所有元素都比b大）

极大元和极小元

设<A,≤≷是偏序集，B是A的任何一个子集，若存在元素b∈B使

• 对任意x∈B，满足b≤x⇒x=b，则称b为B的极大元（B中没有比b大的元素）
• 对任意x∈B，满足x≤b⇒x=b，则称b为B的极小元（B中没有比b小的元素）

上界和上确界

设<A,≤≷是偏序集，B是A的任何一个子集，若存在元素a∈A，使得

• 对任意x∈B，满足x≤a，则称a为B的上界
• 若元素a'∈A是B的上界，元素a∈A是B的任何一个上界，若均有a'≤a，则称a'为B的最小上界或上确界

下界和下确界

设<A,≤≷是偏序集，B是A的任何一个子集，若存在元素a∈A，使得

• 对任意x∈B，满足a≤x，则称a为B的下界
• 若元素a'∈A是B的下界，元素a∈A是B的任何一个下界，若均有a≤a'，则称a'为B的最大下界或下确界

五、其它次序关系

拟序关系

设R是非空集合A上的关系，如果R是反自反的、传递的，则称R为A上的拟序关系，记为<，读作小于，并将<a,b>∈<记为a<b,序偶<A,<>称为拟序集（满足反自反和传递，一定满足反对称）

全序关系

设<A,≤>是一个偏序关系，若对任意x,y∈A，x和y都是可比的，则称关系≤为全序关系或线序关系，称<A,≤>为全序集或线序集，或链

良序关系

设<A,≤>是全序集，若A的任何一个非空子集都有最小元素，则称≤为良序关系，此时<A,≤>称为良序集

良序定理：所有集合都可以被良序排序