等价关系与偏序关系.pptVIP

第1页，共22页，星期日，2025年，2月5日*实例设A={1,2,…,8},

R={x,y|x,y∈A∧x≡y(mod3)}R的关系图如：例1设A={1,2,…,8},如下定义A上的关系R：

R={x,y|x,y∈A∧x≡y(mod3)}

其中x≡y(mod3)叫做x与y模3相等,即x除以3的余数与y除以3的余数相等.不难验证R为A上的等价关系,因为?x∈A,有x≡x(mod3)

?x,y∈A,若x≡y(mod3),则有y≡x(mod3)

?x,y,z∈A,若x≡y(mod3),y≡z(mod3),则有x≡z(mod3)第2页，共22页，星期日，2025年，2月5日*定理4.8设R是非空集合A上的等价关系，则有下面的结论成立：1)对?x?A，[x]R≠Φ；2)对?x,y∈A，如果y∈[x]R，则有[x]R=[y]R3)对?x,y∈A，如果y?[x]R，则有[x]R∩[y]R＝Φ4)＝A；定义4.20设R是非空集合A上的等价关系，对任意x∈A，称集合[x]R＝{y|y∈A∧x,y∈R}(也即A中与x等价的全体元素构成的子集)为x关于R的等价类.等价类第3页，共22页，星期日，2025年，2月5日*集合的划分定义4.21设A为非空集合,若A的子集族?(??P(A))满足下面条件：(1)???(2)?x?y(x,y∈?∧x≠y→x∩y=?)

(3)∪?=A

则称?是A的一个划分,称?中的元素为A的划分块.

第4页，共22页，星期日，2025年，2月5日*商集定义4.22设R为非空集合A上的等价关系,以R的所有等价类作为元素的集合称为A关于R的商集,记做A/R,A/R={[x]R|x∈A}第5页，共22页，星期日，2025年，2月5日*等价关系与划分的一一对应(1)商集A/R就是A的一个划分,不同的商集对应于不同的划分(2)任给A的一个划分?,如下定义A上的关系R：

R={x,y|x,y∈A∧x与y在?的同一划分块中}

则R为A上的等价关系,且该等价关系确定的商集就是?.第6页，共22页，星期日，2025年，2月5日*总结1、熟记等价关系的定义；2、利用等价关系的定义证明一个关系是等价关系；3、给定A上的等价关系R，会求所有的等价类和商集A/R；并求出对应的集合的划分；4、给定集合A上的划分，会求对应的等价类。第7页，共22页，星期日，2025年，2月5日*判定下列关系具有哪些性质1、对任何非空集合A，A上的恒等关系；2、多边形的“相似关系”、“全等关系”；3、集合A的幂集P(A)上定义的“包含关系”；4、集合A的幂集P(A)上定义的“真包含关系”。解：1，2都具有自反性，对称性和传递性，是等价关系；3具有自反性，反对称性和传递性；4具有反自反性，反对称性，传递性。偏序关系拟序关系第8页，共22页，星期日，2025年，2月5日*4.7偏序关系定义4.22非空集合A上的自反、反对称和传递的关系，称为A上的偏序关系，记作?.设?为偏序关系,如果x,y∈?,则记作x?y,读作x“小于或等于”y.并将集合A与偏序关系R一起叫做偏序集，用序偶A，R或者A，?表示。不指数的大小，而指在偏序关系中的顺序性第9页，共22页，星期日，2025年，2月5日【实例】试判断下列关系是否为偏序关系：（1）集合A的幂集P(A)上的包含关系“?”（2）实数集合R上的小于等于关系“≤”（3）自然数集合N上的模m同余关系；（4）自然数集合N上的整除关系“|”；根据偏序关系的定义知(1)，(2)，(4)，所对应的关系同时具有自反性，反对称性和传递性，所以都是偏序集；(3)所对应的关系不具有反对称性，所以不是偏序集。第10页，共22页，星期日，2025年，2月5日*相关概念定义4.24x与y可比设R为非空集合A上的偏序关系,

x,y?A,x与y可比?x?y∨y?x.x,y∈A,如果x?y且不存在z?A使得x?z?y,则称y覆盖x.结论：?x,y?A，下述几种情况发生其一且仅发生其一：x?y,y?x,x＝y