南邮离散数学第3章 集合与关系.ppt

* 第42页，3 * 第42页，3 * 第66页,1 * 第66页,2 * 第66页,3 * 67，1 * 67，2 * 67，3 * 68页,1 * 68页,2 * 68页,3 * 68,4 * 69页,1 * 69,2 * 69,3 * 69,4 * 69,4 * 70,1 * 70,2 * 70,2 * 70,4 * B = { 2 , 3 , 6 , 12 , 18 } COV B = { 2 , 6 , 3 , 6 , 6 , 12 , 6 , 18 } B , HASSE 图为： B极大元：12 ，18 。极小元：2 ，3 ∴Hasse图中最底层的元素是极小元 ∴Hasse图中最顶层的元素是极大元 2 ，3无关， 并且不同的极大(小)元的之间是无关的。 18 3 6 12 2 3-12　序关系 6 24 36 18 3 12 2 7．最大元，最小元 定义： A , 偏序集，B A （1）b∈B，对每个 x∈B都有x b ，则称b是B的最大元。 （2）b∈B，对每个 x∈B都有b x ，则称b是B的最小元。 3-12　序关系 如上例：A = { 2 , 3 , 6 , 12 , 18 , 24 , 36 }。 = { x , y ┃x整除y } B = { 2 , 3 , 6 , 12 , 18 } B没有最大元、最小元。 18 3 6 12 2 3-12　序关系 （1）是最大(小)元═极大(小)元，反之未必。 （2）极大(小)元不是唯一的，最大(小)元是唯一的。 极大元是B中没有元素比它大，可以是所有元素比它小， 也可以是不存在元素比它大，不好比较的也成立 3-12　序关系 证：反证法： 若a ，b都是B的最大元，a≠b 由定义 ：a是B的最大元 ∴b a ， 又b是B的最大元 ∴a b 而 是反对称的 ∴a = b 矛盾。 ∴最大元唯一， 最小元类似 可证 （2）最大元是唯一的。 3-12　序关系 8．上界，下界 定义：偏序集 A , ，B A (a). 若a∈A，对 x∈B都有x a ，则称a为B的上界。 (b). 若a∈A，对 x∈B都有a x ，则称a为B的下界。 最大(小)元与上(下)界有区别的： （1）最大元b∈B ，而上(下)界a∈A （2）最大(小)元是上(下)界，反之未必 k i g e a d c b j h f 3-12　序关系 B1 = { a , b , c , d , e , f , g } 上界：h , i , j , k 下界：无 B2 = { h , i , j , k } 上界：无 下界：a , b , c , d , e , f , g B3 = { h , i , f , g } 上界： k 下界：a (不是b c d e ) 例： A , 的 Hasse图为： 3-12　序关系 9．上确界，下确界 定义：偏序集 A , ，B A （1）a为B的任一上界，若对B的所有上界 y 均有a y， 则称a为B的最小上界（上确界），记作 LUB B 。 （2）b为B的任一下界，若对B的所有下界 z 均有z b， 则称b为B的最大下界（下确界），记作 GLB B 。 36 3 6 12 24 2 B1 = { 2 , 3 , 6 } 上界：6 , 12 , 24 , 36 上确界：6 B2 = { 6 , 12 } 上界：12, 24, 36 最小上界：12 下界：6，2，3 最大下界： 6 3-12　序关系 例： A , k i g e a d c b j h f 3-12　序关系 B2 = { h , i , j , k } 上界：无 下界：a , b , c , d , e , f , g 上确界：无 下确界：无 例： A , 的 Hasse图为： 证：设 A , 是一良序集，要证 A , 是全序集，即证A是一个链。 x , y∈A ，x , y 有关系 而子集{ x , y } A ， A , 良序 ∴{ x , y }必有最小元，不是x就是y ∴x y或y x 必有一个成立 ∴A中任两元都有关系，即 A , 全序。 3-12　序关系 10．良序集 定义： A , 偏序集，若A的每个非空子集都有最小元，则称 A , 为良序集。 （1）定理：每个良序集必是全序集合 3-12　序关系 （2）定理：每个有限的全序集合，一定是良序集。