离散数学课件-第4章-6.ppt

【example】设R是英语字母串的集合上的关系并且使得 aRb当且仅当l(a)=l(b),其中l(x)是x的长度。R是等价关系吗？ Solution： 因为l(a)=l(b),从而只要a是一个串，就有aRa,故aR是自反的 其次，假设aRb，即l(a)=l(b)。那么有bRa，因为l(a)=l(b),因 此R是对称的。 最后假设aRb和bRc，那么有l(a)=l(b)和l(b)=l(c)。因此 l(a)=l(c)，即aRc，从而R使传递的。 由于R是自反的、对称的和传递的，R是等价关系。 【example】设R是实数集上的关系，满足aRb，当且仅当a-b 是整数。R是等价关系吗？ solution： 因为对所有的实数a，a-a=0是整数，即对所有的实数有 aRa，因此R是自反的。 现在假设aRb，那么a-b是整数，所以b-a也是整数。因此有 bRa。R是对称的。 如果aRb和bRc，那么a-b和b-c是整数，所以 a-c=(a-b)+(b-c)也是整数。因此aRc。于是，R是传递的。 综上所述，R是等价关系。 【example】模m同余。 设m是大于1的正整数。证明 关系 R={(a, b) | a ≡ b ( mod m)} 是整数集上的等价关系。 Solution： 回顾2.4节，a ≡ b ( mod m),当且仅当m整除a-b。注意a-a=0被m整 除，因为0=0*m。因此a≡ a( mod m)，从而模m同余关系是自反的。 现在假设a ≡ b ( mod m)，那么a-b被m整除，即a-b=km，其中k是整 数。从而b-a=(-k)m,即b ≡ a ( mod m)，因此，存在模m同余关系是对称 的。 下面假设a ≡ b ( mod m)和b ≡ c ( mod m)，那么m整除a-b和b-c。 因此，存在整数k和l，使得a-b=km和b-c=lm。把这两个等式加起来得 a-c=(a-b)+(b-c)=km+lm=(k+l)m.于是，a ≡ c ( mod m)，从而模m同余 关系是传递的。 综上所述，模m同余关系是等价关系。 【example】集合A={1,2,3,4,5,6,7}, R是A上的模3同余关系， 即R={x,y|x-y可被3整除(或x/3与y/3的余数相同)} 即x,y∈R? x(mod 3)=y(mod3) 则R中的关系为： R={1,1,1,4,1,7,2,2,2,5,3,3,3,6,4,1,4,4, 4,7,5,2,6,3,6,6,7,1, 7,4,7,7} 2.等价关系的有向图 1)完全关系(全域关系A×A)图，下面分别是当A中只有1、2、3个元素时的完全关系图。 2)等价关系的有向图 模3同余关系R的图： 从关系图可看出R是自反、对称、传递的关系，所以R是等价关系。 等价关系R的有向图可能由若干个独立子图(R图的一部分)构 成的，每个独立子图都是完全关系图。 －上述关系R图就是由三个独立的完全图构成的。 下面给出八个关系如图所示，根据等价关系有向图的特点， 判断哪些是等价关系。 下面是A ={1,2,3}中关系： 思考题：A={1,2,3},可构造多少个A中不同的等价关系？可以根据等价关系有向图的特点来考虑。 如果等价关系R中有 a)三个独立子图的情形，则( )个等价关系 。 b)二个独立子图的情形，则( )个等价关系 。 c)一个独立子图的情形，则( )个等价关系 。 一共有( )个中不同的等价关系。 二. 等价类 设A是学校所有的高中毕业生。考虑A上的关系R，R由所有 的对(x,y)构成，其中x和y从同一所高中毕业。给定学生x， 我们可以构造所有的关于R与x等价的学生的集合。这个集合 由与x在同一高中毕业的所有学生构成。 A的这个子集叫做这个关系的一个等价类。 1.定义2：设R是集合A上的等价关系。与A中的一个元素a有关 系的所有元素的集合叫做a的等价类。 A的关于R的等价类记作[a]R 当只有一个关系被考虑时，我们将省去下标R并把这个等价类 写作[a]. 换句话说，如果R是集合A上的等价关系，元素a的等价类是 [a]R={s|(a,s)∈ R} 如果b∈ [a]R，b叫做这个等价类的代表元。 一个等价类的任何元素都可以作为这个类的代表元。也就是 说，对作为这个类的代表元所选择的特定元素没有特殊要求。 【example】对于关系R，满足：aRb,当且仅当a=b或a=-b。 一个整数的等价类是什么？ s