第3章 集合与关系.pptVIP

* 第66页,3 * 67，1 * 67，2 * 67，3 * 68页,1 * 68页,2 * 68页,3 * 68,4 * 69页,1 * 69,2 * 69,3 * 69,4 * 70,1 * 70,2 a b c d e 例如：构成三角形——链 3-12　序关系 关系图 COV A = { a , b , a , d , b , c , d , e , c , e } COV A = { a , b , a , d , b , c , d , e , c , e } e d a b c 链：{ a } , { b } , { c } , { d } , { e } , { a , b } , { b , c } , { a , c } , { a , b , c } , { a , d , e } , { a , c , e } , { a , b , c , e }等 反链：{ a } , { b } , { c } , { b , d } , { c , d }等。 3-12　序关系 哈斯图 5．定义：偏序集A, ≤ ，若A是一个链，则A是全序集或线序集。 （即A中任何元素x ，y有关系，或x ≤ y 或 y ≤ x ） 例：P = {Φ , { a } , { a , b } , { a , b , c } } P , 是全序集。 但 ( { a , b , c } ) = {Φ , { a } , { b } , { c } , { a , b } , { a , c } , { b , c } , { a , b , c } }不是全序关系 ∵{ a } , { b }无关 ∴ ( { a , b , c } ) , 不是全序集 { a , b , c } { a , b } { a } 3-12　序关系 从哈斯图我们可以看出，A中各元素位于不同层次，有一些特殊位置的元素。下面将单独讨论这些元素。 24 36 18 3 12 6 2 6．极大元，极小元 定义偏序集 A , ≤ ，B A。 (a). b∈B，若不存在 x∈B使得x≠b 且b≤ x ，则称b是B的极大元。 (b). b∈B，若不存在 x∈B使得x≠b 且x≤ b ，则称b是B的极小元。 如A = { 2 , 3 , 6 , 12 , 18 , 24 , 36 }。 ≤ = { x , y ┃x整除y } A , ≤ 偏序集。Hasse图为： 3-12　序关系 哈斯图 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　序关系 7．最大元，最小元 定义： A , ≤偏序集，B A (a).b∈B，对每个 x∈B都有x≤ b ，则称b是B的最大元。 (b).b∈B，对每个 x∈B都有b≤ x ，则称b是B的最小元。 如上例中，B没有最大元，最小元。 例： ( { a , b , c } ) , ( { a , b , c } ) = {Φ , { a } , { b } , { c } , { a , b } , { a , c } , { b , c } , { a , b , c } } Hasse图： {a,b,c} {b,c} {a,c} {b} {c} {a} {a,b} 3-12　序关系 B1 = { Φ , { a } } 最大元：{ a } 。最小元：Φ 。 B2 = { { a } , { b } } 无最大最小元 。 B3 = { { a } , { b } , { a , b } } 最大元：{ a , b } 。无最小元 。 ∴最大(小)元与极大(小)元不同。 (1). 是最大(小)元═极大(小)元，反之未必。 (2). 极大(小)元不是唯一的，最大(小)元是唯一的。 极大元是B中没有元素比它大，可以是所有元素比它小，也可以是不存在元素比它大，不好比较的也成立 3-12　序关系 {a,b,c} {b,c} {a,c} {b} {c} {a} {a,b} （2）证：反证，若a ，b都是B的