版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請進(jìn)行舉報或認(rèn)領(lǐng)
文檔簡介
1、1第十一章第十一章 格與布爾代數(shù)格與布爾代數(shù)主要內(nèi)容主要內(nèi)容l 格的定義及性質(zhì)格的定義及性質(zhì) l 子格子格l 分配格、有補(bǔ)格分配格、有補(bǔ)格l 布爾代數(shù)布爾代數(shù)211.1 格的定義與性質(zhì)格的定義與性質(zhì) 定義定義11.1 設(shè)設(shè)是偏序集,如果是偏序集,如果 x,y S,x,y都有最小上都有最小上界和最大下界,則稱界和最大下界,則稱S關(guān)于偏序關(guān)于偏序 作成一個作成一個格格. (偏序關(guān)系(偏序關(guān)系P126)求求x,y 最小上界和最大下界看成最小上界和最大下界看成 x 與與 y 的二元運算的二元運算和和,例例1 設(shè)設(shè)n是正整數(shù),是正整數(shù),Sn是是n的正因子的集合的正因子的集合. D為整除關(guān)系,則為整除關(guān)系
2、,則偏序集偏序集構(gòu)成格構(gòu)成格. x,ySn,xy是是lcm(x,y),即,即x與與y的的最小公倍數(shù)最小公倍數(shù). xy是是gcd(x,y),即,即x與與y的最大公約數(shù)的最大公約數(shù). 3圖2例例2 判斷下列偏序集是否構(gòu)成格,并說明理由判斷下列偏序集是否構(gòu)成格,并說明理由.(1) ,其中,其中P(B)是集合是集合B的冪集的冪集.(2) ,其中,其中Z是整數(shù)集,是整數(shù)集,為小于或等于關(guān)系為小于或等于關(guān)系.(3) 偏序集的哈斯圖分別在下圖給出偏序集的哈斯圖分別在下圖給出. 實例實例 (1) 冪集格冪集格. x,yP(B),xy就是就是xy,xy就是就是xy. (2) 是格是格. x,yZ,xy = ma
3、x(x,y),xy = min(x,y),(3) 都不是格都不是格. 可以找到兩個結(jié)點缺少最大下界或最小上界可以找到兩個結(jié)點缺少最大下界或最小上界4格的性質(zhì):算律格的性質(zhì):算律定理定理11.1 設(shè)設(shè)是格是格, 則運算則運算和和適合交換律、結(jié)合律、適合交換律、結(jié)合律、冪等律和吸收律冪等律和吸收律, 即即(1) a,bL 有有 ab = ba, ab = ba(2) a,b,cL 有有(ab)c = a(bc), (ab)c = a(bc)(3) aL 有有 aa = a, aa = a(4) a,bL 有有 a(ab) = a, a(ab) = a 5格的性質(zhì):序與運算的關(guān)系格的性質(zhì):序與運算的
4、關(guān)系定理定理11.3 設(shè)設(shè)L是格是格, 則則 a,bL有有a b ab = a ab = b 可以用集合的例子來驗證可以用集合的例子來驗證 冪集格冪集格,其中,其中P(B)是集合是集合B的冪集的冪集.冪集格冪集格. x,yP(B),xy就是就是xy,xy就是就是xy.6格的性質(zhì):保序格的性質(zhì):保序定理定理11.4 設(shè)設(shè)L是格是格, a,b,c,dL,若若a b 且且 c d, 則則 ac bd, ac bd例例4 設(shè)設(shè)L是格是格, 證明證明 a,b,cL有有 a(bc) (ab)(ac).證證 ac a b, ac c d 因此因此 ac bd. 同理可證同理可證 ac bd 證證 由由 a
5、a, bc b 得得 a(bc) ab由由 a a, bc c 得得 a(bc) ac從而得到從而得到a(bc) (ab)(ac) (注意最大下界)(注意最大下界)注意:一般說來注意:一般說來, 格中的格中的和和運算不滿足分配律運算不滿足分配律. 7格作為代數(shù)系統(tǒng)的定義格作為代數(shù)系統(tǒng)的定義定理定理11.4 設(shè)設(shè)是具有兩個二元運算的代數(shù)系統(tǒng)是具有兩個二元運算的代數(shù)系統(tǒng), 若對若對于于 和和 運算適合交換律、結(jié)合律、吸收律運算適合交換律、結(jié)合律、吸收律, 則可以適當(dāng)定義則可以適當(dāng)定義S中中的偏序的偏序 ,使得使得 構(gòu)成格構(gòu)成格, 且且 a,bS 有有 ab = a b, ab = a b.證明省略
6、證明省略. 根據(jù)定理根據(jù)定理11.4, 可以給出格的另一個等價定義可以給出格的另一個等價定義. 定義定義11.3 設(shè)設(shè)是代數(shù)系統(tǒng)是代數(shù)系統(tǒng), 和和 是二元運算是二元運算, 如如果果 和和 滿足交換律、結(jié)合律和吸收律滿足交換律、結(jié)合律和吸收律, 則則構(gòu)成格構(gòu)成格.811.2 分配格、有補(bǔ)格與布爾代數(shù)分配格、有補(bǔ)格與布爾代數(shù) 定義定義11.5 設(shè)設(shè)是格是格, 若若 a,b,cL,有有 a(bc) = (ab)(ac) a(bc) = (ab)(ac) 則稱則稱L為為分配格分配格.l 注意:可以證明以上兩個條件互為充分必要條件注意:可以證明以上兩個條件互為充分必要條件L1 和和 L2 是分配格是分配
7、格, L3 和和 L4不是分配格不是分配格. 稱稱 L3為為鉆石格鉆石格, L4為為五角格五角格.實例實例9有界格的定義有界格的定義定義定義11.6 設(shè)設(shè)L是格是格,(1) 若存在若存在aL使得使得 xL有有 a x, 則稱則稱a為為L的的全下界全下界(2) 若存在若存在bL使得使得 xL有有 x b, 則稱則稱b為為L的的全上界全上界 說明:說明:l 格格L若存在全下界或全上界若存在全下界或全上界, 一定是惟一的一定是惟一的. l 一般將格一般將格L的全下界記為的全下界記為0, 全上界記為全上界記為1.定義定義11.7 設(shè)設(shè)L是格是格,若若L存在全下界和全上界存在全下界和全上界, 則稱則稱L
8、 為為有界有界格格, 一般將有界格一般將有界格L記為記為.10 定理定理11.6 設(shè)設(shè)是有界格是有界格, 則則 aL有有a0 = 0, a0 = a, a1 = a, a1 = 1注意:注意:l 有限格有限格L=a1,a2,an是有界格是有界格, a1a2an是是L的全下的全下界界, a1a2an是是L的全上界的全上界. l 0是關(guān)于是關(guān)于運算的零元運算的零元,運算的單位元;運算的單位元;1是關(guān)于是關(guān)于運算的運算的零元零元,運算的單位元運算的單位元. 有界格的性質(zhì)有界格的性質(zhì)11有界格中的補(bǔ)元及實例有界格中的補(bǔ)元及實例定義定義11.8 設(shè)設(shè)是有界格是有界格, aL, 若存在若存在bL 使得使得
9、 ab = 0 和和 ab = 1 成立成立, 則稱則稱b是是a的的補(bǔ)元補(bǔ)元.l 注意:若注意:若b是是a的補(bǔ)元的補(bǔ)元, 那么那么a也是也是b的補(bǔ)元的補(bǔ)元. a和和b互為補(bǔ)元互為補(bǔ)元. 例例7 考慮下圖中的格考慮下圖中的格. 針對不同的元素,求出所有的補(bǔ)元針對不同的元素,求出所有的補(bǔ)元.12解答解答(1) L1中中 a 與與 c 互為補(bǔ)元互為補(bǔ)元, 其中其中 a 為全下界為全下界, c為全上界為全上界, b 沒有沒有 補(bǔ)元補(bǔ)元.(2) L2中中 a 與與 d 互為補(bǔ)元互為補(bǔ)元, 其中其中 a 為全下界為全下界, d 為全上界為全上界, b與與 c 也互為補(bǔ)元也互為補(bǔ)元.(3) L3中中a 與與
10、 e 互為補(bǔ)元互為補(bǔ)元, 其中其中 a 為全下界為全下界, e 為全上界為全上界, b 的補(bǔ)的補(bǔ) 元是元是 c 和和 d ; c 的補(bǔ)元是的補(bǔ)元是 b 和和 d ; d 的補(bǔ)元是的補(bǔ)元是 b 和和 c ; b, c, d 每個元素都有兩個補(bǔ)元每個元素都有兩個補(bǔ)元. (4) L4中中 a 與與 e 互為補(bǔ)元互為補(bǔ)元, 其中其中 a 為全下界為全下界, e 為全上界為全上界, b 的補(bǔ)的補(bǔ) 元是元是 c 和和 d ; c 的補(bǔ)元是的補(bǔ)元是 b ; d 的補(bǔ)元是的補(bǔ)元是 b . 13有界分配格的補(bǔ)元惟一性有界分配格的補(bǔ)元惟一性定理定理11.7 設(shè)設(shè)是有界分配格是有界分配格. 若若L中元素中元素 a
11、存在存在補(bǔ)元補(bǔ)元, 則存在惟一的補(bǔ)元則存在惟一的補(bǔ)元.證證 假設(shè)假設(shè) c 是是 a 的補(bǔ)元的補(bǔ)元, 則有則有 ac = 1, ac = 0, 又知又知 b 是是 a 的補(bǔ)元的補(bǔ)元, 故故 ab = 1, ab = 0 從而得到從而得到 ac = ab, ac = ab, 由于由于L是分配格是分配格.b=b (ba) = b (ca )= (b c) (b a )= (ac ) c=c注意:注意:l 在任何有界格中在任何有界格中, 全下界全下界0與全上界與全上界1互補(bǔ)互補(bǔ).l 對于一般元素對于一般元素, 可能存在補(bǔ)元可能存在補(bǔ)元, 也可能不存在補(bǔ)元也可能不存在補(bǔ)元. 如果如果存在補(bǔ)元存在補(bǔ)元,
12、可能是惟一的可能是惟一的, 也可能是多個補(bǔ)元也可能是多個補(bǔ)元. 對于有界對于有界分配格分配格, 如果元素存在補(bǔ)元如果元素存在補(bǔ)元, 一定是惟一的一定是惟一的.14圖9有補(bǔ)格的定義有補(bǔ)格的定義定義定義11.9 設(shè)設(shè)是有界格是有界格, 若若L中所有元素都有補(bǔ)中所有元素都有補(bǔ)元存在元存在, 則稱則稱L為為有補(bǔ)格有補(bǔ)格. 例如例如, 圖中的圖中的L2, L3和和L4是有補(bǔ)格是有補(bǔ)格, L1不是有補(bǔ)格不是有補(bǔ)格. 15布爾代數(shù)的定義與實例布爾代數(shù)的定義與實例定義定義11.10 如果一個格是有補(bǔ)分配格如果一個格是有補(bǔ)分配格, 則稱它為布爾格或布則稱它為布爾格或布爾代數(shù)爾代數(shù). 布爾代數(shù)標(biāo)記為布爾代數(shù)標(biāo)記為
13、, 為求補(bǔ)運算為求補(bǔ)運算. 例例8 設(shè)設(shè) S110 = 1, 2, 5, 10, 11, 22, 55, 110是是110的正因子集合,的正因子集合,gcd表示求最大公約數(shù)的運算,表示求最大公約數(shù)的運算,lcm表示求最小公倍數(shù)的運表示求最小公倍數(shù)的運算,問算,問是否構(gòu)成布爾代數(shù)?為什么?是否構(gòu)成布爾代數(shù)?為什么?解解 畫出哈斯圖?畫出哈斯圖? (1) 不難驗證不難驗證S110關(guān)于關(guān)于gcd 和和 lcm 運算構(gòu)成格運算構(gòu)成格. (略略)(2) 驗證分配律驗證分配律 x, y, zS110 有有 gcd(x, lcm(y, z) = lcm(gcd(x, y), gcd(x, z) (3) 驗證
14、它是有補(bǔ)格驗證它是有補(bǔ)格, 1作為作為S110中的全下界中的全下界, 110為全上界為全上界, 1和和110互為補(bǔ)元互為補(bǔ)元, 2和和55互為補(bǔ)元互為補(bǔ)元, 5和和22互為補(bǔ)元互為補(bǔ)元, 10和和 11互為補(bǔ)元互為補(bǔ)元, 從而證明了從而證明了為布爾代數(shù)為布爾代數(shù). 16布爾代數(shù)的性質(zhì)布爾代數(shù)的性質(zhì)定理定理11.8 設(shè)設(shè)是布爾代數(shù)是布爾代數(shù), 則則(1) aB, (a ) = a .(2) a,bB, (ab) = a b , (ab) = a b (德摩根律)(德摩根律)證證 (1) (a ) 是是a 的補(bǔ)元的補(bǔ)元, a也是也是a 的補(bǔ)元的補(bǔ)元. 由補(bǔ)元惟一性得由補(bǔ)元惟一性得(a ) =a.
15、(2) 對任意對任意a, bB有有 (ab)(a b ) = (aa b )(ba b ) = (1b )(a 1) = 11 = 1, (ab)(a b ) = (aba )(abb ) = (0b)(a0) = 00 = 0a b 是是ab的補(bǔ)元的補(bǔ)元, 根據(jù)補(bǔ)元惟一性有根據(jù)補(bǔ)元惟一性有(ab) = a b , 同理同理可證可證 (ab) = a b . l 注意:德摩根律對有限個元素也是正確的注意:德摩根律對有限個元素也是正確的. 17圖11實例實例下圖給出了下圖給出了 1 元元, 2 元元, 4 元和元和 8 元的布爾代數(shù)元的布爾代數(shù). 18第十一章第十一章 習(xí)題課習(xí)題課主要內(nèi)容主要內(nèi)
16、容l 格的兩個等價定義格的兩個等價定義l 格的性質(zhì)格的性質(zhì)l 子格子格l 特殊格:分配格、有界格、有補(bǔ)格、布爾代數(shù)特殊格:分配格、有界格、有補(bǔ)格、布爾代數(shù)基本要求基本要求l 能夠判別給定偏序集或者代數(shù)系統(tǒng)是否構(gòu)成格能夠判別給定偏序集或者代數(shù)系統(tǒng)是否構(gòu)成格l 能夠確定一個命題的對偶命題能夠確定一個命題的對偶命題l 能夠證明格中的等式和不等式能夠證明格中的等式和不等式l 能判別格能判別格L的子集的子集S是否構(gòu)成子格是否構(gòu)成子格l 能夠判別給定的格是否為分配格、有補(bǔ)格能夠判別給定的格是否為分配格、有補(bǔ)格l 能夠判別布爾代數(shù)并證明布爾代數(shù)中的等式能夠判別布爾代數(shù)并證明布爾代數(shù)中的等式 19解1求圖中格
17、的所有子格求圖中格的所有子格.1元子格:元子格: a , b , c , d , e ;2元子格:元子格: a, b , a, c , a, d , a, e , b, c , b, d , b, e , c, e , d, e ;3元子格:元子格: a, b, c , a, b, d , a, b, e , a, c, e , a, d, e , b, c, e , b, d, e ;4元子格:元子格: a, b, c, e , a, b, d, e , b, c, d, e ;5元子格:元子格: a, b, c, d, e 練習(xí)練習(xí)1eabcd20L1 L2 L3圖122針對下圖,求出每個格的補(bǔ)元并說明
溫馨提示
- 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁內(nèi)容里面會有圖紙預(yù)覽,若沒有圖紙預(yù)覽就沒有圖紙。
- 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 人人文庫網(wǎng)僅提供信息存儲空間,僅對用戶上傳內(nèi)容的表現(xiàn)方式做保護(hù)處理,對用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對任何下載內(nèi)容負(fù)責(zé)。
- 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時也不承擔(dān)用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
最新文檔
- 2024年特定項目融資保密協(xié)議范本
- 2024年頂管施工合作協(xié)議模板
- 2024年新汽車抵押借款協(xié)議示例
- 反擔(dān)保借款協(xié)議模板:公司風(fēng)險共擔(dān)條款
- 2024年貨車出租協(xié)議樣本
- 2024年進(jìn)口天然石材荒料銷售協(xié)議
- 2024年創(chuàng)新型醫(yī)療器械研發(fā)合作協(xié)議
- 2024商業(yè)交易促成居間協(xié)議樣本
- 2024年度跨國商業(yè)合作協(xié)議模板
- 2024年工業(yè)產(chǎn)品銷售代理規(guī)范協(xié)議
- 安全使用家電和煤氣課件
- 《GPS測量與數(shù)據(jù)處理》-第3講 全球定位系統(tǒng)組成及信號結(jié)構(gòu)
- 前置胎盤詳解課件
- 達(dá)爾文的“進(jìn)化論”課件
- 國開電大《建筑測量》實驗報告1
- 《火災(zāi)自動報警系統(tǒng)設(shè)計規(guī)范》
- 南京市小學(xué)一年級語文上學(xué)期期中試卷
- 合肥工業(yè)大學(xué)-孫冠東-答辯通用PPT模板
- 國開作業(yè)《管理學(xué)基礎(chǔ)》管理實訓(xùn):第一章訪問一個工商企業(yè)或一位管理者參考(含答案)280
- 膀胱過度活動癥的診斷與治療
- 幼兒園繪本故事:《神奇雨傘店》 課件
評論
0/150
提交評論