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

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