离散数学等价关系和偏序关系.pptVIP

集合与图论第9节等价关系与偏序关系酱 主要内容 等价关系 偏序关系 30 集合与图论 1等价关系 定义1集合X上的二元关系R称为等价关系,如果R 同时具有以下三个性质: 1.R是自反的,即x∈X,xRx; 2.R是对称的,即如果xRy,则yRx; 3.R是传递的,即如果xRy,yRz,则xRz 例1:集合X上的恒等关系是不是X上的等价关系? 是X上的等价关系 2/30 集合与图论 等价关系实例 例2:考虑整数集Z上的模n同余关系。 是等价关系 例3:实数集上的“”、“”、“三”、“”是 不是R上的等价关系? 实数集上的“”、“”、“≡”、“三”都不 是R上的等价关系 例4:设fX→Y,Ker(n)={(x2y)xy∈X,且f(x)=f(y)} Ker(是X上的等价关系 3/30 集合与图论等价关系的关系图 例5:设A={1,2,…,8},如下定义A上的关系R: R={(xy)xyeA∧x≡y(mod3)} R的关系图如下: 集合与图论 等价类的定义 定义2设R是X上的一个等价关系,X∈X,X 的子集E、=∈X且xRy}称为x关于R的等价类,或 简记为x的等价类 x的等价类常记为x],即[x]=yy∈X且xRy} 例5:设A={1,2,…,8},如下定义A上的关系R R={(x,y)x,y∈A∧x≡y(mod3)} A={1,2,,8}上模3等价关系的等价类 [1]=[4]