![離散數(shù)學(xué)課件_第1頁(yè)](http://file4.renrendoc.com/view11/M02/29/2A/wKhkGWXERLyAf98YAAGL1bmYbqM494.jpg)
![離散數(shù)學(xué)課件_第2頁(yè)](http://file4.renrendoc.com/view11/M02/29/2A/wKhkGWXERLyAf98YAAGL1bmYbqM4942.jpg)
![離散數(shù)學(xué)課件_第3頁(yè)](http://file4.renrendoc.com/view11/M02/29/2A/wKhkGWXERLyAf98YAAGL1bmYbqM4943.jpg)
![離散數(shù)學(xué)課件_第4頁(yè)](http://file4.renrendoc.com/view11/M02/29/2A/wKhkGWXERLyAf98YAAGL1bmYbqM4944.jpg)
![離散數(shù)學(xué)課件_第5頁(yè)](http://file4.renrendoc.com/view11/M02/29/2A/wKhkGWXERLyAf98YAAGL1bmYbqM4945.jpg)
版權(quán)說(shuō)明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請(qǐng)進(jìn)行舉報(bào)或認(rèn)領(lǐng)
文檔簡(jiǎn)介
格與布爾代數(shù)第七章§7.1
格的基本概念及性質(zhì)如果x,y
S,{x,y}都有最小上界和最大下界,則稱<S,>是一個(gè)格,通常記:{x,y}的最大下界為x
y{x,y}的最小上界為x
y格:設(shè)<S,>是偏序集.例7.1設(shè)n為正整數(shù),Sn是n的正因子的集合,D為整除關(guān)系,驗(yàn)證<Sn,D>是格,并舉例說(shuō)明:解:首先<Sn,D>顯然是自反的,反對(duì)稱的,傳遞的,從而是偏序集;其次
x,y
Sn,由于x與y的最小公倍數(shù)[x,y]仍屬于Sn,x與y的最大公約數(shù)(x,y)仍屬于Sn,且x
y=[x,y]x
y=(x,y)所以<Sn,D>是一個(gè)格,如n=8,6,30時(shí),分別有下圖:<S8,D>8421<S6,D>6231<S30,D>7.2判斷下列偏序集是否構(gòu)成格,說(shuō)明為什么?efdcab(1)解:
不是格,e
f
不存在;解:是格(任何兩個(gè)元素都有最小上界和最大下界);ebcda(2)解:不是格,d
e
不存在,d,e有三個(gè)下界a,b,c,但沒(méi)有最大的;fdbcea(3)51234(4)解:
不是格,3
2不存在.格的性質(zhì):(1)設(shè)f為含有格中的元素及符號(hào),,,
,
的關(guān)系式.f
是將f中的“”改成“”,“”改成“”,“
”改成“
”,“
”改成“
”后所得的關(guān)系式,稱之為f的對(duì)偶式.如果f為真,則f
也為真命題–––格的對(duì)偶原理.
(2)設(shè)<A,>是格,a,b,c是A中任意元素,則有:冪等律:
a
a=a,a
a=a交換律:
a
b=b
a,a
b=b
a結(jié)合律:(a
b)
c=a
(b
c),(a
b)
c=a
(b
c)吸收律:
a
(a
b)=a,a
(a
b)=a保序性:
b
c,則a
b
a
c,a
b
a
c分配不等式:a
(b
c)(a
b)
(a
c),a
(b
c)(a
b)
(a
c)(3)a
b
a
b=a,a
b=b(4)A的任意有限子集S均有最大下界和最小上界,我們只證明結(jié)合律、等冪律、吸收律,其他證明可參看教材.證明:(a
b)
c=a
(b
c)由最小上界的定義:(a
b)
c(a
b)a(1)(a
b)
c(a
b)b(2)(a
b)
c
c(3)由(2)(3)可得:(a
b)
c
b
c(4)再由(1)(4)可得:(a
b)
c
a
(b
c)仿照上述過(guò)程,再證:a
(b
c)(a
b)
c從而:(a
b)
c=a
(b
c)類似地,不難證明:(a
b)
c=a
(b
c)證明:a
a=a
a
a=a由最小上界的定義:a
a
a(1)又因?yàn)閍
a
所以a
a
a(2)綜合(1)(2),根據(jù)偏序的反對(duì)稱性知:a
a=a同理可得:a
a=a證明:a
(a
b)=a
a
(a
b)=a首先:a
(a
b)a
顯然成立又由于a
a,a
b
a
所以有a
(a
b)a這樣a
(a
b)
=a同理可證:a
(a
b)=a§7.2特殊格完全格:格<A,>中A的任意子集(不要求有限)均有最大下界和最小上界,則稱<A,>是完全格.如:(1)<S8,D>,其中D為整除關(guān)系,S8為8的所有正因子構(gòu)成的集合.8421<S8,D>6123<S6,D>完全格的性質(zhì):完全格中,存在唯一最大元和最小元,分別記作1和0.有界格:在格<A,>中,如果存在最大元1和最小元0,則稱之為有界格,并記之為<A,,0,1>.分配格:設(shè)<A,>是格,如果a,b,c
A
有a
(b
c)=(a
b)
(a
c)a
(b
c)=(a
b)
(a
c)則稱<A,>為分配格.如:<P(s),>是分配格.例7.3試判斷下列圖對(duì)應(yīng)的格是否為分配格:fdbce(2)(3)(4)ahgabcdeabdceba(1)c解:(1)a
b=b,b
c=c,a
c=c;a
b=a,b
c=b;a
c=a
從而可以驗(yàn)證:a
(b
c)=(a
b)
(a
c)a
(b
c)=(a
b)
(a
c)改變a,b,c的位置同樣成立.所以(1)是分配格.(2)同(1)可以驗(yàn)證(2)是分配格.ba(1)cfdbce(2)ahg(3)由于(3)中a
(b
c)=a
e=a
(a
b)
(a
c)=d
d=d
所以(3)不是分配格.(4)由于(4)中b
(a
c)=b
e=b
(b
a)
(b
c)=d
c=c所以(4)也不是分配格.(3)abcde(4)abdce分配格的判定:設(shè)<A,>是一個(gè)有界格,對(duì)于a
A,如果存在b
A使a
b=1和a
b=0,則稱b是a的補(bǔ)元,顯然b是a的補(bǔ)元時(shí),a也是b的補(bǔ)元.任何全序集(或稱線序集)一定是分配格.補(bǔ)元:例7.4
在下圖對(duì)應(yīng)的格中,哪些元素有補(bǔ)元,哪些元素沒(méi)有補(bǔ)元?gabcdef解:由圖可知,它所對(duì)應(yīng)的格為有界格,b
f=g=1,b
f=a=0所以b與f互補(bǔ);c
e=g=1,c
e=a=0所以c與e互補(bǔ);d
e=g=1,d
e=a=0所以d與e互補(bǔ);b沒(méi)有補(bǔ)元.最大元為g,最小元為a,因此,a,g互為補(bǔ)元,此外:例7.5指出下列有界格中,哪些元有補(bǔ)元?哪些元無(wú)補(bǔ)元?(1)11a1a2a3a3a2a100(2)解:(1)a1,a2,a3都沒(méi)有補(bǔ)元,0與1互補(bǔ);(2)a1,a2,a3為補(bǔ)元,0與1互補(bǔ).有補(bǔ)格:設(shè)<A,,0,1>是有界格,如果A的每個(gè)元素都至少有一個(gè)補(bǔ)元素,則稱該格為有補(bǔ)格.例如:下面三個(gè)格都是有補(bǔ)格.ab10(1)abcd10(2)10adcb(3)布爾格:如果<A,>既是分配格又是有補(bǔ)格,布爾格的性質(zhì):<A,
>是布爾格,則:
例如:冪集格<P(A),
>是布爾格.證明:設(shè)a1,a2是a在A中的兩個(gè)補(bǔ)元,則a
a1=1
a
a1=0因而a
a1=a
a2
a
a1=a
a2由于a1=a1
(a
a1)=(a
a2)
(a1
a2)=(a
a2)
a2=a2
所以矛盾.(上述證明過(guò)程說(shuō)明“消去律”成立)a
a2=1
a
a2=0=a1
(a
a2)=(a1
a)
(a1
a2)=(a
a1)
a2
證明:
a
A,由于a與互補(bǔ),所以
證明:只要證:只要利用格的性質(zhì)即可.
證明:
(i)(ii)從而
(ii)(iii)(iii)(i)
§7.3布爾代數(shù)
與
是A上的兩個(gè)二元運(yùn)算,對(duì)于任意的a,b,c
A,如果:(1)交換律:a
b=b
a,a
b=b
a(2)分配律:a
(b
c)=(a
b)
(a
c)a
(b
c)=(a
b)
(a
c)布爾代數(shù):設(shè)A是一個(gè)集合,|A|2,(3)同一律:0,1
A,對(duì)于A中任意元素aa
1=a,a
0=a(4)互補(bǔ)律:對(duì)于A中任意元素a,存在,使成立,則稱<A,
,
,,,>為布爾代數(shù),具有有限個(gè)元素的布爾代數(shù)叫做有限布爾代數(shù).
布爾格與布爾代數(shù):布爾格就是布爾代數(shù).布爾常元:設(shè)<A,
,
,,,>是布爾代數(shù),A中的元素稱為布爾常元.布爾變?cè)涸O(shè)<A,
,
,,,>是布爾代數(shù),在A中取值的變?cè)Q為布爾變?cè)?布爾表達(dá)式:設(shè)<A,
,
,,,>是布爾代數(shù),在這個(gè)布爾代數(shù)上可定義布爾表達(dá)式:(1)A中任何布爾常元是布爾表達(dá)式(2)任何布爾變?cè)且粋€(gè)布爾表達(dá)式(4)只有有限次地使用規(guī)則(1),(2),(3)構(gòu)造的符號(hào)串都是布爾表達(dá)式.(3)如果e1和e2是布爾表達(dá)式,則,(e1
e2),(e1
e2)也是布爾表達(dá)式.n元布爾表達(dá)式:一個(gè)含有n個(gè)相異布爾變?cè)牟紶柋磉_(dá)式,稱為n元布爾表達(dá)式,記作:E(x1,x2,…,xn),其中,x1,x2,…,xn是相異布爾變?cè)?布爾表達(dá)式賦值:用A中的元素作為n元布爾表達(dá)式中變?cè)獂i(i
溫馨提示
- 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ì)自己和他人造成任何形式的傷害或損失。
最新文檔
- 2024秋七年級(jí)數(shù)學(xué)上冊(cè) 第二章 有理數(shù)2.2數(shù)軸 2在數(shù)軸上比較數(shù)的大小說(shuō)課稿(新版)華東師大版
- 2023九年級(jí)數(shù)學(xué)下冊(cè) 第二十八章 銳角三角函數(shù)28.2 解直角三角形及其應(yīng)用28.2.2 應(yīng)用舉例第2課時(shí) 方向角和坡角問(wèn)題說(shuō)課稿 (新版)新人教版
- Module 7 Unit 2 There are twelve boys on the bike(說(shuō)課稿)-2024-2025學(xué)年外研版(三起)英語(yǔ) 四年級(jí)上冊(cè)
- 16赤壁賦說(shuō)課稿
- 4《說(shuō)說(shuō)我們的學(xué)?!罚ㄕf(shuō)課稿)- 2004-2025學(xué)年統(tǒng)編版道德與法治三年級(jí)上冊(cè)001
- 2025銷售居間合同勞動(dòng)合同
- Unit4《Bobbys House》lesson6(說(shuō)課稿)-2024-2025學(xué)年北師大版(三起)英語(yǔ)四年級(jí)上冊(cè)
- 10在牛肚子里旅行 說(shuō)課稿-2024-2025學(xué)年三年級(jí)上冊(cè)語(yǔ)文統(tǒng)編版
- 16新年的禮物 (說(shuō)課稿)統(tǒng)編版道德與法治一年級(jí)上冊(cè)
- 2024年九年級(jí)語(yǔ)文上冊(cè) 第五單元 第9課《劉姥姥進(jìn)賈府》說(shuō)課稿 北師大版
- 2024年鐵嶺衛(wèi)生職業(yè)學(xué)院高職單招語(yǔ)文歷年參考題庫(kù)含答案解析
- 2025理論學(xué)習(xí)計(jì)劃2025年理論中心組學(xué)習(xí)計(jì)劃
- 2025年醫(yī)美醫(yī)院公司組織架構(gòu)和業(yè)務(wù)流程
- 防滑防摔倒安全教育
- 乳腺癌課件教學(xué)課件
- 連續(xù)性腎替代治療抗菌藥物劑量調(diào)整專家共識(shí)(2024年版)解讀
- 春節(jié)節(jié)后收心安全培訓(xùn)
- 2024年廣西區(qū)公務(wù)員錄用考試《行測(cè)》真題及答案解析
- 高中物理斜面模型大全(80個(gè))
- 2025年高考物理復(fù)習(xí)壓軸題:電磁感應(yīng)綜合問(wèn)題(解析版)
- 2024-2030年芯片行業(yè)市場(chǎng)發(fā)展分析及發(fā)展趨勢(shì)前景預(yù)測(cè)報(bào)告
評(píng)論
0/150
提交評(píng)論