离散数学-教案--第4章-二元关系.pptVIP

例1 设A={1,2,3,4,5,6,7,8}， R={x,y|x,y?A∧x =y(mod3)}，其中x =y(mod3)的含义是x和y分别除以3后的余数相等，即x-y可以被3整除。不难验证R为A上的等价关系，它的关系图如下图所示： 根据定义，显然有：1～4～7，2～5～8，3～6。 例如，当 n=5时，可以证明整数之间的等价性满足： 把模3的等价关系推广，对任何正整数k可以定义整数集合Z上模k的等价关系 R={x,y|x,y?Z∧x =y(mod k)}; 例2 其他有关例子： 　(1)在一群人的集合上，年龄相等的关系是等价关系，而朋友关系不一定是等价关系，因为它可能不是传递的。一般称这种自反的、对称的关系为相容关系。显然等价关系都是相容关系，但相容关系不一定是等价关系。 (2)集合上的恒等关系和全域关系都是等价关系。 　(3)在同一平面上三角形之间的相似关系是等价关系，但直线间的平行关系不是等价关系，因为它不是自反的。 二、等价类 设R是非空集合A上的等价关系，则A上互相等价的元素构成了A的若干个子集，叫做等价类。 定义 设R是非空集合A上的等价关系，对任意的a?A，令 [a]R={x|x?A∧xRa}， 则称集合[a]R为a关于R的等价类，简称为a的等价类，简记为[a]。 其中a为[a]R的代表元；若等价类个数有限，则称R的不同等价类的个数为R的秩，否则称R的秩是无限的。 结论 R是A上对称关系的充要条件是R－1＝R； 证明：充分性 ?a,b∈A，如a,b∈R，则b,a∈R－1， 由于R－1＝R，故b,a∈R，∴R是对称的。 必要性 ?a,b∈R－1，则b,a∈R， 又因为R是对称的，故a,b∈R，∴R－1?R， ?a,b∈R，因R是对称的， ∴b,a∈R，∴a,b∈R－1，∴R?R－1， 从而有 R＝R－1。 例1 设A＝{a,b,c}, R＝{a,a,a,b,b,a,b,c,c,b} S＝{a,a,c,c}，T＝{a,c,b,b} 则R和S是对称关系，T不是对称关系。 例2 设R,S是A上对称关系，证明R－1，R∪S，R∩S也是A上的对称关系。 证明：?a,b∈R∪S，则a,b∈R或a,b∈S， 由于R,S是对称的，则b,a∈R或b,a∈S 于是b,a∈R∪S，所以R∪S是对称的。 三、反对称性 定义 如果R是A上的关系，?a,b∈R如果a,b∈R且b,a∈R，则必有a＝b，称R是反对称的。 有关说明: 1该定义的等价说法是： ?a,b∈A，如a≠b，a,b∈R，则必有b,a?R。即两个不同点结点间不允许有两条边（弧）。 2该定义的否命题说法并不成立。即“a≠b，a,b?R，则b,a∈R”并不成立，即反对称关系的关系图允许两个不同点间没有弧。 例1 设A＝{a,b,c}，A的关系R，S，T为 R＝{a,a,b,b} S＝{a,b,a,c} T＝{a,b,b,a,a,c} 则R，S是反对称的；而T不是反对称的。 例2 R是N上的整除关系,即 R＝{x,y|x,y∈N,y/x∈N}, 显然，如果x能整除y，且x≠y，则y不能整除x。所以R是反对称的。 例3 A是某集合，R是ρ(A)上的包含关系。 因u、v∈ρ(A)，如u≠v，且u?v，则必有v ? u, 所以，包含关系R是反对称的。 换一种理解，如果u,v∈ρ(A)，有u?v，v?u，则必有u＝v。 ∴集合A上的包含关系R是反对称的。 其它例如≥、、关系，人与人的父子关系，领导与被领导关系均是反对称的。 反对称关系的关系矩阵和关系图特点 关系矩阵：R是反对称的，则其关系矩阵如果在非对角元上rij＝1，则在其对称位置上rji＝0，即rij和rji(i≠j)这两个数至多一个是1，但允许两个均为0。 关系图：任何两个不同的结点之间，至多有一条边（弧），或者没有边（弧）。 结论 R是A上反对称关系的充要条件是R?R－1??A。 例 设R和S是A上的反对称关系，则R－1、R?S、也是A的反对称关系。 证明：?a,b∈A，如a≠b，且a,b∈R∩S, 则a,b∈R且a,b∈S，因R、S是反对称关系， ∴b,a?R且b,a?S ∴a,b?R∩S，所以R∩S是反对称的。 注意: 1 R、S均是反对称的，未必能得出R?S也是反对称的。 例如：R＝{a,b}，S＝{b,a}，则R、S均是反对称的, 但R?S＝{a,b,b,a}却是对称的。 2存在关系，它既不是对称的，也不是反对称的。 例如：R＝{a,b,b,a,a,c}；也存在关系，它既是对称的，也是反对称的, 例如R＝{a,a,c,c} 3空关系?，恒