5.2 关系 【例1】 设有一个整数集 Z 上的关系R: R={x,y|x-y 可被3整除}, 求证这个关系是等价关系。 【证】 ①对每个x?Z, x-x可被3整除,所以R是自反的。 ②对于x, y?Z, 如果x-y能被3整除,则y-x也能被3 整除,所以R是对称的。 ③对于x, y,u?Z, 如果有x-y,y- u均能被3整除,则 x-u =(x-y)+(y-u)亦能被3整除,所以R是传递的。 【例2 】(1)设A={1,2,3,4,5,6,7,8}, R为A上的关系 R={x,y|x,y ∈ A ∧ x=y(mod 3)} 其中, x=y(mod 3)的含义就是x-y可以被3整除。 这个关系亦是等价关系. 5.2 关系 【例2】 (2)设 A={1,2,3,4,5,6,7,8}, R为A上的关系 R={x,y|x-y 可被3整除}, 它的关系图如下: 5.2 关系 [x]R={ y | y ∈ A 且 x ,y ∈ R} 称[x]R为x关于R的等价类, 简称为x的等价类, 简记为[x]. 【例3 】设A={
原创力文档

文档评论(0)