版權(quán)說(shuō)明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請(qǐng)進(jìn)行舉報(bào)或認(rèn)領(lǐng)
文檔簡(jiǎn)介
第六章格與布爾代數(shù)
格是另一類代數(shù)系統(tǒng)。格的理論形成于1935年前后,是代數(shù)學(xué)的一個(gè)分支。本章介紹格的基本知識(shí),特殊的格:分配格、有補(bǔ)格,最后介紹布爾代數(shù)。1第六章目錄第6-1講格的概念第6-2講分配格和有補(bǔ)格第6-3講布爾代數(shù)第6-4講布爾表達(dá)式2第6-1講格的概念1.格的定義2.格的對(duì)偶原理3.格的基本性質(zhì)4.格與代數(shù)系統(tǒng)間的關(guān)系5.格同態(tài)6.
課堂練習(xí)7.第6-1講作業(yè)31、格的定義(1)
如果集合A上的關(guān)系具有自反性、反對(duì)稱性和傳遞性,稱之為偏序。<A,>稱之為偏序集。設(shè)X={1,2,3,4,6,12},Y={2,3,6,12,24,36}。集合X和Y上的整除關(guān)系“|”就構(gòu)成兩個(gè)偏序集:<X,|>,<Y,|>。它們的哈斯圖如下:雖然都是哈斯圖,但是它們有一個(gè)重要的差別:
<X,|>中每?jī)蓚€(gè)元素構(gòu)成的集合都有最大下界和最小上界。但<Y,|>無(wú)此特點(diǎn)。41、格的定義(2)定義2設(shè)<A,>是格,在A上定義兩個(gè)二元運(yùn)算和,對(duì)任意a,bA,ab等于a和b的最小上界,ab等于a和b的最大下界,則稱<A,,>是格<A,>誘導(dǎo)的代數(shù)系統(tǒng)。和分別稱為并運(yùn)算和交運(yùn)算。定義1如果偏序集<A,>中任意兩個(gè)元素都有最小上界和最大下界,則稱<A,>是格。注:定義2中定義的兩個(gè)運(yùn)算是本節(jié)證明過(guò)程中反復(fù)要用的基本依據(jù)。兩個(gè)元素的集合{a,b}的上界可以屬于該集合,也可以不屬于該集合。但是,
如果ab,則ab=b,ab=a。如果a、b不可比,也應(yīng)有a,bab,aba,b。51、格的定義(3)可以證明,子格也是格。注意:若<A,>是格,BA且B,則<B,>任然是偏序集,但<B,>不一定是格。即使是格,也不一定是<A,>的子格。定義3設(shè)<A,>是格,<A,,>是<A,>誘導(dǎo)的代數(shù)系統(tǒng)。如果BA且B,若運(yùn)算和在B中封閉,則稱<B,>是<A,>的子格。例如,設(shè)S={a,b,c},<(S),
>是格,其哈斯圖如右,取A={,{a},{c},{a,c}}B={,{a},{c},{a,b},{a,c},{b,c},{a,b,c}}則<A,>是<(S),
>的子格,而<B,>雖是格,但非子格。62、格的對(duì)偶原理對(duì)偶原理設(shè)P是格<A,>的真命題,將P中的、、分別換成、、得命題P’,則P’在格<A,>中亦真。設(shè)<A,>是偏序集,用表示偏序關(guān)系的逆關(guān)系,則<A,>也是偏序集。將<A,>的哈斯圖旋轉(zhuǎn)180度,就是<A,>的哈斯圖。稱<A,>為<A,>彼此對(duì)偶的偏序集。如果<A,>是格,則<A,>也是格。由格<A,>誘導(dǎo)的代數(shù)系統(tǒng)的并(交)運(yùn)算,正好是由格<A,>誘導(dǎo)的代數(shù)系統(tǒng)的交(并)運(yùn)算。73、格的基本性質(zhì)(1)設(shè)<A,>是格,a,b,c,dA,則如下性質(zhì)成立:(1)并、交定義aab,bab
aab,bab
aba,abbaba,abb(2)保序性若ab,cd,則acbd,acbd若bc,則abac,abac(3)交換律
ab=ba,ab=ba(4)結(jié)合律a(bc)=(ab)c,a(bc)=(ab)c(5)等冪律aa=a,aa=a83、格的基本性質(zhì)(2)(6)吸收律
a(ab)=a,a(ab)=a(7)分配不等式a(bc)(ab)(ac),a(bc)(ab)(ac)(8)abab=aab=b(9)aca(bc)(ab)c作為例子下面證明部分式子:若ab,cd,則acbd。證:已知ab,cd,由(1),bbd,dbd,再由傳遞性可得abd,cbd。這說(shuō)明bd是a和c的一個(gè)上界,但ac是a和c的最小上界,所以acbd。93、格的基本性質(zhì)(3)證(4)式:a(bc)=(ab)c。證:由(1),aa(bc),bbc
a(bc),這說(shuō)明a(bc)是a和b的一個(gè)上界。但ab是a和b的最小上界,所以ab
a(bc)。
同樣,cbca(bc),與上述理由相同,應(yīng)有(ab)ca(bc)。類似的可證a(bc)(ab)cbd。因而原式得證。分析:由偏序的反對(duì)稱性,要證原式,須證下列二式:(ab)ca(bc),
a(bc)(ab)c
證明線索如右圖所示。104、格與代數(shù)系統(tǒng)間的關(guān)系(1)證:對(duì)任意a,bA,因,滿足吸收律,所以a(ab)=a,a(ab)=a由b的任意性,在前一式中用ab取代b仍然成立,可得a(a(ab))=a再由后一式得:aa=a同理可證aa=a。引理1設(shè)<A,,>是一個(gè)代數(shù)系統(tǒng),其中,都是二元運(yùn)算且滿足吸收律,那么,必滿足等冪律。114、格與代數(shù)系統(tǒng)間的關(guān)系(2)證:在A上定義二元關(guān)系:
對(duì)任意a,bA,ab當(dāng)且僅當(dāng)ab=a。
先證是偏序。由所設(shè),運(yùn)算滿足吸收律,根據(jù)引理1,對(duì)任意aA,aa=a。所以aa,從而是自反的。設(shè)ab,則ab=a。如果同時(shí)有ba,則ba=b。而運(yùn)算滿足交換律,所以ab=ba,故a=b。從而是反對(duì)稱的。設(shè)ab,bc,則ab=a,bc=b。那么ac=(ab)c=a(bc)=ab=a所以ac,說(shuō)明是傳遞的。定理1設(shè)<A,,>是一個(gè)代數(shù)系統(tǒng),其中,都是二元運(yùn)算且滿足交換律、結(jié)合律和吸收律,則A上存在偏序,使<A,>是格。分析:需要做的工作是:(1)在A上構(gòu)造偏序關(guān)系;(2)證明<A,>中任意兩個(gè)元素有最小上界和最大下界。124、格與代數(shù)系統(tǒng)間的關(guān)系(3)證(續(xù)):其次證明ab是a、b的最大下界。因(ab)a=a(ab)=(aa)b=ab(ab)b=a(bb)=ab由上二式,并按的定義,可得aba,abb。說(shuō)明ab是a、b的下界。設(shè)c是a、b的任一下界,則ca,cb。按的定義有ca=c,cb=c。進(jìn)而有c(ab)=(ca)b=cb=c。按的定義有cab。故ab是a、b的最大下界。定理1
設(shè)<A,,>是一個(gè)代數(shù)系統(tǒng),其中,都是二元運(yùn)算且滿足交換律、結(jié)合律和吸收律,則A上存在偏序,使<A,>是格。134、格與代數(shù)系統(tǒng)間的關(guān)系(4)證(續(xù)):第三,證明ab是a、b的最小上界。
先證ab=a與ab=b等價(jià):若ab=a,則(ab)b=ab;另一方面,由交換律和吸收律,上式左邊(ab)b=b(ba)=b。于是ab=b。反之,若ab=b,則a(ab)=ab。
根據(jù)吸收律得a=ab,亦即ab=a。由此可見(jiàn),證明開(kāi)始定義的偏序關(guān)系等價(jià)于:“對(duì)任意a、bA,ab當(dāng)且僅當(dāng)ab=b?!?/p>
可以用證明“ab是a、b的最大下界”類似的方法證明“ab是a、b的最小上界”。
綜上所述,<A,>是格。定理1
設(shè)<A,,>是一個(gè)代數(shù)系統(tǒng),其中,都是二元運(yùn)算且滿足交換律、結(jié)合律和吸收律,則A上存在偏序,使<A,>是格。145、格同態(tài)(1)定義4設(shè)<A1,1>、<A2,2>是格。它們所誘導(dǎo)的代數(shù)系統(tǒng)分別是<A1,1,1>、<A2,2,2>。如果存在映射f:A1A2,使對(duì)任意a,bA1,有f(a1b)=f(a)2f(b),f(a1b)=f(a)2f(b)則稱f是從<A1,1,1>到<A2,2,2>的格同態(tài)。稱<f(A1),2>是<A1,1>的格同態(tài)象。如果f是雙射,則稱f是從<A1,1,1>到<A2,2,2>的格同構(gòu)。也稱格<A1,1>、<A2,2>同構(gòu)。
定理1中說(shuō)明,格<A,>可視為具有兩個(gè)二元運(yùn)算的代數(shù)系統(tǒng)<A,,>,其中運(yùn)算滿足交換律、結(jié)合律、吸收律和等冪律。因此,對(duì)格可引入代數(shù)系統(tǒng)中同態(tài)的概念。155、格同態(tài)(2)定理2設(shè)f是格<A1,1>到<A2,2>格同態(tài)。對(duì)任意a,bA1,如果a1b,則f(a)2f(b)。證明:因a1ba1b=a。又因f是格同態(tài),所以f(a)=f(a1b)=f(a)2f(b)故f(a)2f(b)。
注:定理2說(shuō)明,格同態(tài)是保序的。其逆不真。例如,設(shè)A={1,2,3,4,6,12},<A,|>和<A,>都是格,其中“|”表示整除關(guān)系,“”表示數(shù)的大于小于關(guān)系。作映射f:AA,f(x)=x。顯然,如果x|y,則f(x)f(y),因而f是保序的。但f不是格同態(tài)。例如:f(416)f(4)2f(6)165、格同態(tài)(3)定理3f是格<A1,1>到<A2,2>的格同構(gòu),當(dāng)且僅當(dāng)對(duì)任意a,bA1,a1bf(a)2f(b)。證明:設(shè)f是格<A1,1>到<A2,2>的格同構(gòu),由定理2,對(duì)任意a,bA1,如果a1b,則f(a)2f(b);反之,若f(a)2f(b),則f(a)2f(b)=f(a),因f是同構(gòu),所以f(a)2f(b)=f(a1b),從而f(a1b)=f(a),注意到f是雙射,可知a1b=a,故a1b。
反之,若對(duì)任意a,bA1,a1bf(a)2f(b),要證f是<A1,1>到<A2,2>的格同構(gòu),即證f(a1b)=f(a)2f(b)。(轉(zhuǎn)下頁(yè))175、格同態(tài)(3)定理3f是格<A1,1>到<A2,2>的格同構(gòu),當(dāng)且僅當(dāng)對(duì)任意a,bA1,a1bf(a)2f(b)。
證明(續(xù)):令a1b=c,則c1a,c1b。已知a1bf(a)2f(b),所以,f(c)2f(a),f(c)2f(b)。故f(c)2f(a)2f(b)。又令f(a)2f(b)=f(d),則上式化為f(c)2f(d);
溫馨提示
- 1. 本站所有資源如無(wú)特殊說(shuō)明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請(qǐng)下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請(qǐng)聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁(yè)內(nèi)容里面會(huì)有圖紙預(yù)覽,若沒(méi)有圖紙預(yù)覽就沒(méi)有圖紙。
- 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 人人文庫(kù)網(wǎng)僅提供信息存儲(chǔ)空間,僅對(duì)用戶上傳內(nèi)容的表現(xiàn)方式做保護(hù)處理,對(duì)用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對(duì)任何下載內(nèi)容負(fù)責(zé)。
- 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請(qǐng)與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時(shí)也不承擔(dān)用戶因使用這些下載資源對(duì)自己和他人造成任何形式的傷害或損失。
最新文檔
- 2025中國(guó)地質(zhì)大學(xué)(武漢)人力資源部校內(nèi)招聘1人備考題庫(kù)(湖北)及一套完整答案詳解
- 2026年昆明市昆華實(shí)驗(yàn)中學(xué)招聘?jìng)淇碱}庫(kù)(10人)及完整答案詳解一套
- 2025廣西柳州柳北區(qū)錦繡街道辦事處招聘公益性崗位1人備考題庫(kù)完整參考答案詳解
- 2025長(zhǎng)江財(cái)產(chǎn)保險(xiǎn)股份有限公司湖北分公司農(nóng)險(xiǎn)相關(guān)崗位專項(xiàng)招聘?jìng)淇碱}庫(kù)完整參考答案詳解
- 2025江蘇揚(yáng)州市高郵市農(nóng)文旅產(chǎn)業(yè)投資集團(tuán)有限公司招聘2人備考題庫(kù)及一套完整答案詳解
- 2025廣東廣州市天河區(qū)事業(yè)單位招聘博士4人備考題庫(kù)及參考答案詳解一套
- 2025上海對(duì)外經(jīng)貿(mào)大學(xué)統(tǒng)計(jì)與數(shù)據(jù)科學(xué)學(xué)院教學(xué)秘書(shū)招聘1人備考題庫(kù)及1套完整答案詳解
- 2026北京西城區(qū)衛(wèi)生健康系統(tǒng)第一批事業(yè)單位招聘328人備考題庫(kù)及一套參考答案詳解
- 2026云南臨滄鎮(zhèn)康縣軍賽鄉(xiāng)衛(wèi)生院編外村醫(yī)工作人員招聘1人備考題庫(kù)及答案詳解參考
- 2025江蘇揚(yáng)州市高郵市經(jīng)濟(jì)發(fā)展集團(tuán)有限公司補(bǔ)充招聘2人備考題庫(kù)及完整答案詳解
- 周黑鴨加盟合同協(xié)議
- 黃色垃圾袋合同
- 急性呼吸窘迫綜合征ARDS教案
- 實(shí)驗(yàn)室質(zhì)量控制操作規(guī)程計(jì)劃
- 骨科手術(shù)術(shù)前宣教
- 電梯安全培訓(xùn)課件下載
- 事業(yè)單位職工勞動(dòng)合同管理規(guī)范
- 老年人靜脈輸液技巧
- 呼吸內(nèi)科一科一品護(hù)理匯報(bào)
- 2025年公安機(jī)關(guān)人民警察基本級(jí)執(zhí)法資格考試試卷及答案
- 網(wǎng)戀詐騙課件
評(píng)論
0/150
提交評(píng)論