




版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請進(jìn)行舉報或認(rèn)領(lǐng)
文檔簡介
本章將介紹其他的代數(shù)系統(tǒng)——格和布爾代數(shù),格論是數(shù)學(xué)的一個分支,不僅在近代解析集合有重要的作用,而且在計(jì)算機(jī)領(lǐng)域也有一定的用途;布爾代數(shù)形成比較早,在19世紀(jì),就已經(jīng)有了相當(dāng)?shù)陌l(fā)展,布爾代數(shù)是研究和邏輯、集合等運(yùn)算有關(guān)的知識。7.1 格的概念7.2 分配格7.3有補(bǔ)格7.4 布爾代數(shù)第七章格與布爾代數(shù)§7.1格的概念例:偏序集({2,3,5,7,14,15,21},/),“/”為整除關(guān)系。其hasze圖如下:{2,7}的最小上界、最大下界各為什么?{2,3}呢?{5,14}呢?{2,7}的最小上界為14。最大下界無。{2,3}的最小上界無,最大下界無。{5,14}的最小上界無,最大下界無。然而也存在這樣一類偏序集,它的每一對元素都有最小上界和最大下界,如:偏序集({1,2,3,4,6,8,12,24},/):其Hasze圖如下:1、格
定義:設(shè)<A,≤>是一個偏序集,若對A中的任兩個元素a、b,都有最小上界和最大下界,則稱<A,≤>為格。其中上確界lub{a,b},記為a∨b,稱為a和b的并。下確界glb{a,b},記為a∧b,稱為a和b的交。將∨、∧,看作集合上的兩個二元運(yùn)算,故格<A,≤>所誘導(dǎo)的代數(shù)系統(tǒng)記作<A,∨,∧>。例:下述偏序集能構(gòu)成格的是()(a)(b)(c)(d)bbcdefacdfabcdefghabcdef√ac2、對偶格
對偶格:若<A,≤>是一個偏序集,則<A,≥>也是一個偏序集,其中“≥”是“≤”的逆關(guān)系。若<A,≤>是一個格,則<A,≥>也是一個格,稱這兩個格互為對偶格。若將關(guān)于格<A,≤>的命題中符號≤,≥,∨、∧,分別用≥,≤,∧、∨,代替,則得到一個新的命題,稱這個新命題為原命題的對偶命題。定理:對于格中的一個真命題,其對偶命題亦真。3、格的性質(zhì)定理1:若<A,≤>是一個格,則對任意a、b
、c
A,有(1)a≤a∨b,b≤a∨b
(2)a∧b≤a,a∧b≤b(3)若a≤c且b≤c,則a∨b≤c(4)若c≤a且c≤b,則c≤a∧b(1)a≤a∨b,b≤a∨b
證明:因a∨b=lub{a,b},它顯然是a的一個上界,∴a≤a∨b
,同理:b≤a∨b。(2)a∧b≤a,a∧b≤b證明:因a∧b=glb{a,b},它顯然是a的一個下界,∴a∧b≤a
,同理:a∧b≤b。(3)若a≤c且b≤c,則a∨b≤c
證明:∵a≤c且b≤c,由上界的定義知,c是{a,b}的一個上界,而a∨b是{a,b}的最小上界,∴a∨b≤c。(4)若c≤a且c≤b,則c≤a∧b證明:∵c≤a且c≤b,由下界的定義知,c是{a,b}的一個下界,而a∧b是{a,b}的最大下界,∴c≤a∧b。
推論:在<A,≤>中,對于任意a,b
,c
A,如果b≤c,則a∨b≤a∨c,a∧b≤a∧c。
定理2:若<A,≤>是一個格,則對于任意a,b
A,以下三個公式等價;(1)a≤b
(2)a∨b=b
(3)a∧b=a(1)a≤b
(2)a∨b=b
(3)a∧b=a
證明:(1)(2)∵a≤b且偏序關(guān)系是自反的。∴b≤b,∴
a∨b≤b
又
b≤a∨b成立∴a∨b=b(偏序關(guān)系是反對稱的)
設(shè)a∨b=b
∵a≤a∨b成立,將a∨b=b代入a≤a∨b得:a≤b
類似可證(1)
(3)
定理3:<A,≤>是一個格,則對于任意a,b,c
A,滿足以下四個定律:(1)交換律:a∨b=b∨a
a∧b=b∧a(2)吸收律:a∨(a∧b)=aa∧(a∨b
)=a(3)結(jié)合律:a∨(b∨c)=(a∨b)∨c
a∧(b∧c)=(a∧b
)∧c(4)等冪律:a∨a=a
a∧a=a定理4:設(shè)有格<A,≤>,對于任意a,b,c,d
A,如果a≤b和c≤d,則(1)a∨c≤b∨d,(2)a∧c≤b∧d證:∵b≤b∨d,d≤b∨d
,而a≤b,c≤d,∴由傳遞性可得:a≤b∨d
,c≤b∨d,這就表明b∨d是a和c的一個上界,而a∨c是a和c的最小上界,∴必有a∨c≤b∨d。類似可以證明:a∧c≤b∧d
定理5:在一個格<A,≤>中,對于任意a,b,c
A,有下列分配不等式成立:(1)a∨(b∧c)≤(a∨b)∧(a∨c)(2)a∧(b∨c)≥(a∧b)∨(a∧c)證:由定理1,(1)(2)知:a≤a∨b和a≤a∨c,可得:
a≤(a∨b)∧(a∨c),①又∵b∧c≤b≤a∨b和b∧c≤c≤a∨c∴b∧c≤(a∨b)∧(a∨c)②對于①和②,有:a∨(b∧c)≤(a∨b)∧(a∨c)類似可證明:(a∧b)∨(a∧c)≤a∧(b∨c)
定義:設(shè)<A,≤>是一個格,設(shè)非空集合S且S
A,若對任意的a,b∈S,有a∧b∈S,a∨b∈S,則稱<S,
≤>是<A,≤>的子格。顯然,子格必是格。而格的某個子集構(gòu)成格,卻不一定是子格。4、子格例
:設(shè)〈A,≤〉是一個格,其中A={a
溫馨提示
- 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)用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
最新文檔
- 淮陰師范學(xué)院《數(shù)據(jù)統(tǒng)計(jì)分析與spss應(yīng)用》2023-2024學(xué)年第二學(xué)期期末試卷
- 商丘學(xué)院《司法社會調(diào)查理論與方法》2023-2024學(xué)年第二學(xué)期期末試卷
- 湖南第一師范學(xué)院《世界近代史專題》2023-2024學(xué)年第二學(xué)期期末試卷
- 浙江育英職業(yè)技術(shù)學(xué)院《特殊兒童心理學(xué)》2023-2024學(xué)年第二學(xué)期期末試卷
- 做賬實(shí)操-駕校教練人工成本的核算
- 2024-2025學(xué)年河南省名校大聯(lián)考高二上學(xué)期階段性測試(二)歷史試卷
- 大連工業(yè)大學(xué)《產(chǎn)品色彩設(shè)計(jì)》2023-2024學(xué)年第二學(xué)期期末試卷
- 電子科技大學(xué)中山學(xué)院《建筑裝飾材料》2023-2024學(xué)年第二學(xué)期期末試卷
- 洛陽理工學(xué)院《工商管理類專業(yè)導(dǎo)論》2023-2024學(xué)年第二學(xué)期期末試卷
- 渭南職業(yè)技術(shù)學(xué)院《醫(yī)學(xué)網(wǎng)站開發(fā)》2023-2024學(xué)年第二學(xué)期期末試卷
- 2025年工貿(mào)企業(yè)春節(jié)復(fù)工復(fù)產(chǎn)方案
- FZ/T 07010-2021綠色設(shè)計(jì)產(chǎn)品評價技術(shù)規(guī)范針織服裝
- 公路工程工程量清單第章解析及計(jì)量支付
- API-650-1鋼制焊接石油儲罐
- 湖南省普通高中畢業(yè)生登記表模板
- 人教版七年級上冊數(shù)學(xué)試卷全冊
- 中職-中國歷史教案
- 六年級小升初語文試卷 [六年級下冊語文小升初試卷
- 計(jì)量泵的維護(hù)和修理知識培訓(xùn)講義
- 危險化學(xué)品從業(yè)單位安全生產(chǎn)標(biāo)準(zhǔn)化宣貫
- 幼兒園中班開學(xué)第一課
評論
0/150
提交評論