第四章二元关系.pptVIP

定义:若{A1,A2,…Ar}与{B1,B2,…,Bs}是同一集合A的两种划分,若对每一个Ai都有Bj使AiBj，则{A1,A2,…Ar}称为是{B1,B2,…,Bs}的加细。定理：任何两种划分的交叉划分，都是原来各划分的一种加细。第93页，共162页，星期日，2025年，2月5日4.5特殊关系4.5.1集合的划分和覆盖4.5.2等价关系4.5.3相容关系4.5.4次序关系4.5.5偏序集合与哈斯图第94页，共162页，星期日，2025年，2月5日4.5.2等价关系定义：设X是任意集合,R是集合中的二元关系。如果R是自反的、对称的和可传递的，则称R是等价关系。即满足以下几点：如果R是集合X中的等价关系，则R的域是集合X自身，所以称R是定义于集合X中的关系。第95页，共162页，星期日，2025年，2月5日4.5.2等价关系例如数的相等关系是任何数集上的等价关系。又例如一群人的集合中姓氏相同的关系也是等价关系。但朋友关系不是等价关系，因为它不可传递。第96页，共162页，星期日，2025年，2月5日等价关系例：给定集合X={1,2,…,7}，R是X中的二元关系，并且给定成试证明R是等价关系。解：R的关系矩阵如下：第97页，共162页，星期日，2025年，2月5日等价关系R的关系图如下：第98页，共162页，星期日，2025年，2月5日等价关系注意：上例是模数系统中模等价关系的特定情况。设R+是正整数集合，m是个正整数。对于来说，可将R定义成。这里，“x-y可被m整除”等价于命题“当用m去除x和y时，它们都有同样的余数”。故关系R也称为模m同余关系。第99页，共162页，星期日，2025年，2月5日等价关系定理：任何集合中的模m相等关系，是一个等价关系。证明：要证明R是个等价关系，就必须证明R是自反的、对称的和可传递的。(1)对于任何来说，因为x-x=0?m，所以有。因此，模m相等关系是自反的。第100页，共162页，星期日，2025年，2月5日等价关系(2)对于任何来说，如果，则存在某一个，能使x-y=n?m。于是可有y-x=(-n)?m，因此有，即模m相等关系是对称的。(3)设，和。于是存在，能使和。而，从而可有，即模m相等关系是可传递的。第101页，共162页，星期日，2025年，2月5日等价类定义：设是集合A上的等价关系，则A中等价于元素的所有元素组成的集合称为生成的等价类，用表示，即定义：设R是集合A上的等价关系，若元素aRb，则称a与b等价，或称b与a等价。第102页，共162页，星期日，2025年，2月5日等价类例：设X={a,b,c,d}，R是X中的等价关系，并把R给定成则：第103页，共162页，星期日，2025年，2月5日等价类的性质1.对任意,因为对于任意的∈X,有，所以设X是一集合，R是X上的等价关系2.如果，则3.对于所有的，或者，或者证明：分两种情况讨论(1)xRy(2)xRy第104页，共162页，星期日，2025年，2月5日等价类的性质(1)xRy故。类似地可以证明由上得若，则xRz，由R的对称性有zRx，又由R的传递性有zRy，因此(2)xRy假设,因此有且，故于是由xRz,zRb，得xRy，与xRy相矛盾第105页，共162页，星期日，2025年，2月5日等价类的性质4.