离散数学 关系4课件.pptVIP

第8讲 等价关系与序关系;等价(equivalence)关系;等价(equivalence)关系定义;例9(续);例10;例10(续);等价类(equivalence class);定理27;定理27(证明(2));定理27(证明(3));定理27(证明(4));同余关系: 设n?{2,3,4,…}, x,y?Z,则 x与y模n同余(be congruent modulo n) ? x?y(mod n) ? n|(x-y) ? x-y=kn (k?Z) 同余关系是等价关系 [0] ={ kn|k?Z}, [1] ={ 1+kn|k?Z}, [2] ={ 2+kn|k?Z},…, [n-1]={(n-1)+kn|k?Z}.;例11;商集(quotient set);例12(1);划分(partition);划分(举例);划分(举例,续);等价关系与划分是一一对应的;例12(2);Bell数(Bell number);Stirling子集数;第一、二类Stirling数;Bell数表;第二类Stirling数表;例13;划分的加细(refinement);例14;序关系;偏序(partial order)关系;偏序集A,?, A,?, A,|;偏序集A,?;偏序集?,?加细;哈斯图(Hasse diagram);