离散数(第5章)陈瑜.pptVIP

陈瑜;主要内容;§5.1 等价关系;§5.1 等价关系;§5.1 等价关系;§5.1 等价关系;§5.1 等价关系;§5.1 等价关系;§5.1 等价关系;§5.1 等价关系;证明： 1) 对任意x?Z，有m|(x-x)，所以x,x?R，即R是自反的。 2)对任意x,y?Z，若x,y?R，即m|(x-y)，所以 m|(y-x)，因此，y,x?R，即R是对称的。 3) 对任意x,y,z?Z，若x,y?R且y,z?R，有m|(x-y) 且m|(y-z)，所以由(x-z)=(x-y)+(y-z)得m|(x-z)， 所以，x,z?R，即R是传递的。 由(1)、(2)、(3)知，R是Z上的等价关系。 ■;证明： 1) 对任意x?Z，有m|(x-x)，所以x,x?R，即R是自反的。 2)对任意x,y?Z，若x,y?R，即m|(x-y)，所以 m|(y-x)，因此，y,x?R，即R是对称的。 3) 对任意x,y,z?Z，若x,y?R且y,z?R，有m|(x-y) 且m|(y-z)，所以由(x-z)=(x-y)+(y-z)得m|(x-z)， 所以，x,z?R，即R是传递的。 由(1)、(2)、(3)知，R是Z上的等价关系。 ■;证明： 1) 对任意x?Z，有m|(x-x)，所以x,x?R，即R是自反的。 2)对任意x,y?Z，若x,y?R，即m|(x-y)，所以 m|(y-x)，因此，y,x?R，即R是对称的。 3) 对任意x,y,z?Z，若x,y?R且y,z?R，有m|(x-y) 且m|(y-z)，所以由(x-z)=(x-y)+(y-z)得m|(x-z)， 所以，x,z?R，即R是传递的。 由(1)、(2)、(3)知，R是Z上的等价关系。 ■;证明： 1) 对任意x?Z，有m|(x-x)，所以x,x?R，即R是自反的。 2)对任意x,y?Z，若x,y?R，即m|(x-y)，所以 m|(y-x)，因此，y,x?R，即R是对称的。 3) 对任意x,y,z?Z，若x,y?R且y,z?R，有m|(x-y) 且m|(y-z)，所以由(x-z)=(x-y)+(y-z)得m|(x-z)， 所以，x,z?R，即R是传递的。 由(1)、(2)、(3)知，R是Z上的等价关系。 ■;证明： 1) 对任意x?Z，有m|(x-x)，所以x,x?R，即R是自反的。 2)对任意x,y?Z，若x,y?R，即m|(x-y)，所以 m|(y-x)，因此，y,x?R，即R是对称的。 3) 对任意x,y,z?Z，若x,y?R且y,z?R，有m|(x-y) 且m|(y-z)，所以由(x-z)=(x-y)+(y-z)得m|(x-z)， 所以，x,z?R，即R是传递的。 由(1)、(2)、(3)知，R是Z上的等价关系。 ■;以m为模的同余关系 ★;以m为模的同余关系 ★;;;例5.3;等价类;例5.4;例5.4;例5.4;例5.4;例5.4;等价类的性质;等价类的性质;等价类的性质;等价类的性质;集合的划分;例：设集合A={a,b,c}，则： S1={{a}，{b}，{c}}， S2={{a,b,c}}， S3={{a},{b,c}}， S4={{b,{a,c}}, S5={{c}，{a,b}} 都是A的分划，并且由A只能产生这5个不同的分划。;定理5-1.2建立了集合上等价关系与分划的紧密联系。 定理5-1.2 设非空集合A的每个等价关系都能决定A的一个分划，而A的每个分划都能导出A上的一个等价关系。（p108） ;证明：（定理5-1.2）;证明：（定理5-1.2）;证明：（定理5-1.2）;证明：（定理5-1.2）;证明：（定理5-1.2）;证明：（定理5-1.2）;§5.2 次(偏)序关系;§5.2 次(偏)序关系;§5.2 次(偏)序关系;例5.5;例5.5;例5.5;偏序集的哈斯图;偏序集的哈斯图;偏序集的哈斯图;偏序集的哈斯图;偏序集的哈斯图;例5.6;例5.7;可比较的;可比较的;可比较的;可比较的;可比较的;§5.3全序集与良序集;§5.3全序集与良序集;§5.3全序集与良序集;偏序集中的特殊元素;偏序集中的特殊元素;偏序集中的特殊元素;偏序集中的特殊元素;;;;;例5.25 设集合A＝{1,2,3,4,5,6,7,8}，|是A上的整除关系，则A，|是偏序集，考虑A的子集：B1??{1,2,3,6}，B2＝{2,3,5,7}，B3＝A。求出B1，B2，B3的最大(小)元、极大(小)元、上(下)界、最小上界、最大下界。;例5.26 设集合A＝{a,b,c}，考虑P(A)上的关系“?”，则P(A),?是偏序集。求2A的子集：B1