离散数 关系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);例16(1)(2);例16(3);偏序关系中的特殊元素;最大元, 最小元;??大元, 最小元举例(例16(1));极大元,极小元;极大元,极小元举例(例16(1));上界, 下界;上界, 下界举例(例16(1));最小上界, 最大下界;最小上界,最大下界举例(例16(1));特殊元素比较;链(chain), 反链(antichain);链, 反链(举例);定理31;定理31(举例);定理31(证明(1));定理31(证明(2));定理31(证明(2):举例);定理31(证明(2)续);定理31推论(证明);全序(total order)关系;拟序(quasi-order)关系;定理29;定理30;三歧性(trichotomy);良序(well-order);总结;作业(#6)