《离散数学课件》6等价关系.pptVIP

二元关系的性质与闭包〔〕性质自反性、反自反性对称性、反对称性传递性闭包自反闭包r(R)对称闭包s(R)传递闭包t(R)1

2/49特点自反性反自反性对称性反对称性传递性定义对每个x?A，有(x,x)?R对每个x?A，有(x,x)?R若(x,y)?R,则有(y,x)?R若(x,y)?R且(y,x)?R,则x＝y若(x,y)?R且(y,z)?R则(x,z)?R关系矩阵的特点主对角线元素全为1主对角线元素全为0矩阵为对称矩阵如果rij=1,且i≠j,则rji=0关系图的特点每个顶点都有环每个顶点都没有环如果两个顶点之间有边,一定是一对方向相反的边如果两个顶点之间有边,一定是一条有向边如果顶点A到B有边,B到C有边,则从A到C有边

3/557.5.1等价关系与等价类7.5.2商集合7.5.3集合的划分7.5等价关系和集合的划分

4/55例试画出关系图A={1,2,3,4,5,6,7,8}R={(x,y)│x,y?A,x≡y(mod3)}其中x≡y(mod3)的含义就是x-y可以被3整除5/55等价关系定义1A是一个非空集,R是A上的一个二元关系，假设R有自反性、对称性、传递性，那么说R是A上的等价关系。设R是一个等价关系,假设x,y∈R,称x等价于y,记做x～y.?

6/55例〔1〕人类集合中的“同龄”、“同乡”关系都是等价关系。〔2〕三角形集合的相似关系、全等关系都是等价关系。〔3〕住校学生的同寝室关系是等价关系。〔4〕命题公式间的逻辑等价关系是等价关系。〔5〕对任意集合A，A上的恒等关系IA和全域关系EA是等价关系。

7/55例3(p106)Z是整数集，在Z上定义一个二元关系R：对于任意的x,y?Z,(x,y)?R当且仅当x与y被5除余数相同。R是Z上的等价关系。显然,x与y被5除同余的充要条件是5|(x-y),这里符号a|b表示a整除b，a与b是两个整数。对于?x?Z，有5|(x-x),即(x,x)?R，亦即R有自反性。对于?x,y?Z，假设(x,y)?R,即5|(x-y)，也即5|(y-x),所以(y,x)?R，亦即R有对称性。对于?x,y,z?Z，假设(x,y)?R,且(y,z)?R，即5|(x-y)，且5|(z-y)，那么5|[(x-y)+(y-z)]，亦即5|(x-z)，所以(x,z)?R，亦即R有传递性。故R是A上的等价关系。

8/55例设A={1,2,3,…},并设~是A×A上的关系，其定义为：若ad=bc，则(a,b)~(c,d)。证明~是一个等价关系。证：(1)自反性对于?(a,b)?A×A,因为ab=ba，那么有(a,b)~(a,b)。(2)对称性如果(a,b)~(c,d)，即有ad=bc，即有cb=da，故有(c,d)~(a,b)。(3)传递性如果(a,b)~(c,d)，(c,d)~(e,f)，即有ad=bc,cf=de,于是有adcf=bcde即af=be,故有(a,b)~(e,f)

9/55等价类、代表元假设R是A上的等价关系，a是A中任意一个元素，集合{x?A│(x,a)?R}称为集合A关于关系R的一个等价类，记[a]R={x?A│(x,a)?R},简记[a]其中a叫代表元。

10/55例1A={1,2,3},R={(1,1),(2,2),(3,3),(1,2),(2,1)}那么R是A上一个等价关系。显然[1]R＝{1,2} [2]R＝{1,2} [3]R＝{3}123

11/55例2A={1,2,…,8}上模3等价关系的等