




版權(quán)說(shuō)明:本文檔由用戶(hù)提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請(qǐng)進(jìn)行舉報(bào)或認(rèn)領(lǐng)
文檔簡(jiǎn)介
1離散數(shù)學(xué)(二)1離散數(shù)學(xué)(二)布爾代數(shù)布爾代數(shù)兩個(gè)定義11布爾同態(tài)2主要內(nèi)容:布爾代數(shù)的定義重點(diǎn):
重點(diǎn)和難點(diǎn):有限布爾代數(shù)的結(jié)構(gòu)3有限布爾代數(shù)的結(jié)構(gòu)難點(diǎn):
布爾代數(shù)布爾代數(shù)兩個(gè)定義11布爾同態(tài)2主要內(nèi)容:布爾代數(shù)的定一、布爾代數(shù)兩個(gè)定義布爾代數(shù)的定義:定義1布爾代數(shù):有界有補(bǔ)的分配格<L,∧,∨,',0,1>.定義1′<B,*,⊕>是代數(shù)系統(tǒng),*和⊕是B上的二元運(yùn)算,如果對(duì)任意的元素a,b,c∈B,滿(mǎn)足下列4條,則稱(chēng)<B,*,⊕>為布爾代數(shù):(1)交換律
a*b=b*a和a⊕b=b⊕a(2)分配律
a*(b⊕c)=(a*b)⊕(a*c)和
a⊕(b*c)=(a⊕b)*(a⊕c)(3)全上(下)界B中存在兩個(gè)元素0和1,對(duì)B中任意元素a,滿(mǎn)足a*1=a和a⊕0=a(4)補(bǔ)元存在性對(duì)B中每一元素a都存在一元素a′,滿(mǎn)足a*a′=0和a⊕a′=1一、布爾代數(shù)兩個(gè)定義布爾代數(shù)的定義:一、布爾代數(shù)兩個(gè)定義定義1→定義1′,顯然。下面證明定義1←定義1′:(1)
交換律:運(yùn)算*和⊕是可交換的(2)
吸收律:要證明a*(a⊕b)=a和a⊕(a*b)=a
a*(a⊕b)=(a⊕0)*(a⊕b)=a⊕(0*b)=a⊕0=a
同理可證a⊕(a*b)=a一、布爾代數(shù)兩個(gè)定義定義1→定義1′,顯然。下面證明定義1一、布爾代數(shù)兩個(gè)定義(3)結(jié)合律:要證明(a⊕b)⊕c=a⊕(b⊕c)
(i)首先證明a*c=b*c,a*c'=b*c',則a=b.a=a*1=a*(c⊕c')=(a*c)⊕(a*c')=(b*c)⊕(b*c')=b*(c⊕c')=b(ii)現(xiàn)證明[(a⊕b)⊕c]*a=[a⊕(b⊕c)]*a,[(a⊕b)⊕c]*a'=[a⊕(b⊕c)]*a'.[(a⊕b)⊕c]*a=[(a⊕b)*a]⊕(c*a)=a⊕(c*a)=a.[a⊕(b⊕c)]*a=a,所以[(a⊕b)⊕c]*a=[a⊕(b⊕c)]*a.
[(a⊕b)⊕c]*a'=[(a⊕b)*a']⊕(c*a')=(a*a')⊕(b*a')⊕(c*a')=0⊕(b*a')⊕(c*a')=(b*a')⊕(c*a'),[a⊕(b⊕c)]*a'=(a*a')⊕(b*a')⊕(c*a')=(b*a')⊕(c*a').
所以,[(a⊕b)⊕c]*a'=[a⊕(b⊕c)]*a'.一、布爾代數(shù)兩個(gè)定義(3)結(jié)合律:要證明(a⊕b)⊕c=一、布爾代數(shù)兩個(gè)定義例1(1)
<B1,∧,∨,',0,1>
(2)
<B2,∧,∨,',0,1>
(3)
<B4,∧,∨,',0,1>
(4)
S={a1,…,an},|ρ(S)|=2n,
<ρ(S),∩,∪>為布爾代數(shù).
(5)
X={A|A是由變?cè)猵1,p2,…,pn,﹁,∧,∨,→,構(gòu)成的合式公式集}。等價(jià)公式視為同一公式,最小項(xiàng)有2n個(gè),
X共2^(2n)個(gè)命題公式,<X,∧,∨,┒,F,T>為布爾代數(shù).結(jié)論:(1)每一正整數(shù)n∈N,一定存在2n個(gè)元素的布爾代數(shù)。
S={a1,…,an},
|ρ(S)|=2n,
<ρ(S),∩,∪,
ˉ,
?,
S>;(2)反之,對(duì)于任一有限布爾代數(shù)L,總存在自然數(shù)n∈N,使得|L|=2n(它的元素個(gè)數(shù)必為2的冪次)。一、布爾代數(shù)兩個(gè)定義例1(1)<B1,∧,∨,',0二、布爾同態(tài)定義2具有有限個(gè)元素的布爾代數(shù)稱(chēng)為有限布爾代數(shù).定義3設(shè)<A,*,⊕,′,0,1>和<B,∩,∪,-,α,β>是兩個(gè)布爾代數(shù)。定義一個(gè)映射f:A→B,如果在f的作用下能夠保持布爾代數(shù)的所有運(yùn)算,且常數(shù)相對(duì)應(yīng),亦即對(duì)于任何a,b∈A有:
f(a*b)=f(a)∩f(b)f(a⊕b)=f(a)∪f(wàn)(b)f(a′)=f(a)f(0)=αf(1)=β則稱(chēng)映射f:A→B是一個(gè)布爾同態(tài)。二、布爾同態(tài)定義2具有有限個(gè)元素的布爾代數(shù)稱(chēng)為有限布爾代三、有限布爾代數(shù)的結(jié)構(gòu)定義4<L,≤>(<L,∧,∨>)是格,有全下界0,a∈L,滿(mǎn)足
(1)a≠0;(2)不?b∈L使得0<b<a;則稱(chēng)a為該布爾代數(shù)的一個(gè)原子。定義5設(shè)<L,≤>是一個(gè)格,且具有全下界0,如果有元素a蓋住0,則稱(chēng)元素a為原子。原子:與0相鄰且比0“大”
蓋住關(guān)系:設(shè)a,b是一個(gè)格中的兩個(gè)元素,如果b≤a且b≠a,即b<a,并且在此格中再?zèng)]有別的元素c,使得b<c和c<a,則稱(chēng)元素a覆蓋元素b。例子(參見(jiàn)右圖)
d,e均是原子。實(shí)際上,在布爾代數(shù)中,原子是B-{0}的極小元,因?yàn)樵优c0之間不存在其他元素。三、有限布爾代數(shù)的結(jié)構(gòu)定義4<L,≤>(<L,∧,∨>三、有限布爾代數(shù)的結(jié)構(gòu)布爾代數(shù)的原子有以下性質(zhì):定理1:設(shè)<B,∧,∨,
′,0,1>是布爾代數(shù),
a∈B是原子的充分必要條件是a≠0且對(duì)B中任何元素x有x∧a=a
或
x∧a=0定理2:
設(shè)a,b為布爾代數(shù)<B,∨,∧,′,0,1>中任意兩個(gè)原子且a≠b,則a∧b=0。三、有限布爾代數(shù)的結(jié)構(gòu)布爾代數(shù)的原子有以下性質(zhì):三、有限布爾代數(shù)的結(jié)構(gòu)定理1的證明:
先證必要性.
設(shè)a是原子,顯然a≠0.另設(shè)x∧a≠a,由于x∧a≤a,故x∧a<a.據(jù)原子的定義和0≤x∧a,可得x∧a=0.
再證充分性.
設(shè)a≠0,且對(duì)任意x∈B,有x∧a=a或x∧a=0成立.若a不是原子,那么必有b∈B,使0<
b<
a.于是,b∧a=b.因?yàn)閎≠0,b≠a,故b∧a=b與式(I)矛盾.因此,a只能是原子.定理1:設(shè)<B,∧,∨,
′,0,1>是布爾代數(shù),
a∈B是原子的充分必要條件是a≠0且對(duì)B中任何元素x有x∧a=a
或
x∧a=0(I)
三、有限布爾代數(shù)的結(jié)構(gòu)定理1的證明:定理1:設(shè)<B,∧,∨三、有限布爾代數(shù)的結(jié)構(gòu)定理2的證明:
(反證法)
假如a∧b≠0,令a∧b=c,若a,b是原子且a∧b≠0,則
0<c≤a0<c≤b
c<a時(shí)與a為原子相矛盾.
c=a時(shí),結(jié)合0<c≤b得0<a<b,與b為原子相矛盾.所以a∧b=0.定理2:
設(shè)a,b為布爾代數(shù)<B,∨,∧,′,0,1>中任意兩個(gè)原子且a≠b,則a∧b=0。三、有限布爾代數(shù)的結(jié)構(gòu)定理2的證明:(反證法)
假如三、有限布爾代數(shù)的結(jié)構(gòu)引理1:
設(shè)<B,∨,∧,′,0,1>是一有限布爾代數(shù),則對(duì)于B中任一非零元素b,
恒有一原子a∈B,使a≤b。證明:
任取b∈B且b≠0.若b為原子,有b≤b,則命題已得證。
若b不是原子,則必有b1∈B,使得0<b1<b。
若b1不是原子,存在b2使0<b2<b1<b,對(duì)b2重復(fù)上面的討論。
因?yàn)锽有限,這一過(guò)程必將中止,上述過(guò)程產(chǎn)生的元素序列滿(mǎn)足
0<…<b2<b1<b
即存在br,br為原子,且0<br<b,否則此序列無(wú)限長(zhǎng)。三、有限布爾代數(shù)的結(jié)構(gòu)引理1:設(shè)<B,∨,∧,′,0,三、有限布爾代數(shù)的結(jié)構(gòu)引理2:
設(shè)<B,∨,∧,
′,
0,1>是有限布爾代數(shù),則(1)任意b,c∈B,有b∧c'=0當(dāng)且僅當(dāng)b≤c;(2)對(duì)于B中任一原子a和任一非零元素b,
a≤b和a≤b'兩式中有且僅有一式成立。(1)證明:
必要性?若b∧c'=0,證明b
≤
c.
(b∨c)∧(c'∨c)=(b∧c')∨c=0∨c=c(b∨c)∧(c'∨c)=(b∨c)∧1=b∨c所以b∨c=c,故b≤c.充分性?
若b≤c,證明b∧c'=0.c'≤c',且b≤c,有b∧c'≤c∧c'=0,所以b∧c'=0.
三、有限布爾代數(shù)的結(jié)構(gòu)引理2:設(shè)<B,∨,∧,′,0三、有限布爾代數(shù)的結(jié)構(gòu)引理2:
設(shè)<B,∨,∧,
′,
0,1>是有限布爾代數(shù),則(1)任意b,c∈B,有b∧c'=0當(dāng)且僅當(dāng)b≤c;(2)對(duì)于B中任一原子a和任一非零元素b,
a≤b和a≤b'兩式中有且僅有一式成立。(2)證明:
先證a≤
b和a≤
b'兩式不可能同時(shí)成立.假如a≤
b和a≤
b'同時(shí)成立,就有a≤
b∧b'=0,這與a是原子相矛盾。
再證a≤
b和a≤
b'兩式中必有一式成立.因?yàn)閍∧b≤
a,a是原子,所以只能是a∧b=0或a∧b=a.若a∧b=0,則a∧(b')'=0,由(1)得a≤
b';若a∧b=a,得a≤b.命題得證.三、有限布爾代數(shù)的結(jié)構(gòu)引理2:設(shè)<B,∨,∧,′,0三、有限布爾代數(shù)的結(jié)構(gòu)
引理2說(shuō)明:
原子是這樣的元素,它把B中的元素分為兩類(lèi),第一類(lèi)是與自己可比較的(包括自身),它小于等于這一類(lèi)中的任一元素。第二類(lèi)是與自己不可比較的或是0,它小于等于這一類(lèi)中任一元素的補(bǔ)元。為了加深對(duì)原子和定理7.4―2的認(rèn)識(shí),試考察圖7.4―3,(a)中,a1是原子;
(b)中,a1和a2是原子;(c)中,a1,a2和a3是原子.在(a),(b)(c)三圖中,虛線都是表示原子a1將B的元素劃分成兩類(lèi)。三、有限布爾代數(shù)的結(jié)構(gòu)引理2說(shuō)明:原子是這樣的三、有限布爾代數(shù)的結(jié)構(gòu)引理3:
設(shè)<A,∨,∧,′,0,1>是一個(gè)有限布爾代數(shù),若x是A中任意非零元素,a1,a2,…,ak是A中滿(mǎn)足aj≤x的所有原子(j=1,2,…,k),則x=a1∨a2∨…∨ak證明:(1)先證a1∨a2∨…∨ak≤x.
記a1∨a2∨…∨ak=c,因?yàn)閍j≤
x,所以c
≤
x。(2)再證x≤a1∨a2∨…∨ak=c.
由引理2(1)知,要證x≤c只需證x∧c'=0,
反設(shè)x∧c'≠0,于是必有一個(gè)原子a,使得a≤
x∧c'。又因x∧c'≤x
,和x∧c'≤c',所以a≤
x和a≤
c'.
因?yàn)閍是原子,且a≤
x,所以a必是a1,a2,…,ak中的一個(gè),因此a≤c,已有a≤c',得a≤
c∧c',即a≤0,與a是原子矛盾。x∧c'≠0假設(shè)不成立。
綜合(1)和(2)引理得證。三、有限布爾代數(shù)的結(jié)構(gòu)引理3:設(shè)<A,∨,∧,′,0三、有限布爾代數(shù)的結(jié)構(gòu)引理4:
設(shè)<A,∨,∧,′,0,1>是一個(gè)有限布爾代數(shù),若x是A中任意非零元素,a1,a2,…,ak是A中滿(mǎn)足aj≤x的所有原子(j=1,2,…,k),則x=a1∨a2∨…∨ak是將x表示為原子之并的唯一形式。證明:
設(shè)有另一種表示形式為x=b1∨b2∨…∨bt,其中b1,b2,…,bt是原子。因?yàn)閤是b1,b2,…,bt的最小上界,所以必有b1≤
x,b2≤
x,...,bt≤
x。而a1,a2,…,ak是A中滿(mǎn)足ai≤x
(i=1,2,…,k)的所有原子.所以,必有t≤k且{b1,b2,…,bt}?{a1,a2,…,ak}.
如果tk,那么在a1,a2,…,ak中必有一ai與b1,b2,…,bt全不相同.于是由ai∧(b1∨b2∨…∨bt)=ai∧(a1∨a2∨…∨ak)可得ai=0.這是因?yàn)?/p>
ai∧(b1∨b2∨…∨bt)=0,
ai∧(a1∨a2∨…∨ak)=ai.
與ai是原子矛盾,
tk假設(shè)不成立.所以t=k,
定理得證。
三、有限布爾代數(shù)的結(jié)構(gòu)引理4:設(shè)<A,∨,∧,′,0,三、有限布爾代數(shù)的結(jié)構(gòu)定理3:(Stone表示定理)
設(shè)<A,∨,∧,′,
0,1>是由有限布爾格<A,≤
>所誘導(dǎo)的一個(gè)有限布爾代數(shù),
S是布爾格中的所有原子的集合,則<A,∨,∧,′,
0,1
>和<(S),∪,∩,ˉ,?,
S>同構(gòu)。證明:本定理的證明過(guò)程分兩部分(1)構(gòu)造一個(gè)映射,并證明它是雙射(既是單射又是滿(mǎn)射);(2)描述代數(shù)系統(tǒng)證明<A,∨,∧,′,0,1>和<(S),∪,∩,ˉ,
?,
S>同構(gòu).推論1
有限布爾格的元素個(gè)數(shù)必定等于2n,其中n是該布爾格中所有原子的個(gè)數(shù)。推論2
任何一個(gè)具有2n個(gè)元素的有限布爾代數(shù)都是同構(gòu)的。三、有限布爾代數(shù)的結(jié)構(gòu)定理3:(Stone表示定理)三、有限布爾代數(shù)的結(jié)構(gòu)第(1)部分證明:構(gòu)造函數(shù)f:
A→(S),?aA,當(dāng)a=0時(shí),
f(0)=?;當(dāng)a=1時(shí),f(1)=S.當(dāng)a≠0時(shí),
f(a)={ai|ai
S∧ai≤
a}.令S1={ai|ai
S∧ai≤
a}f滿(mǎn)射:?一S1∈(S)
,令S1={a1,a2,…,ak},則由于運(yùn)算∨的封閉性,所以a1∨a2∨…∨ak=aA這就說(shuō)明對(duì)?S1∈(S),必存在aA,使得f(a)=S1。f單射:證明?a,bA,當(dāng)a≠b時(shí)有f(a)≠f(b).
等價(jià)于證明若f(a)=f(b),則a=b.
令f(a)=f(b)={a1,a2,…,ak}(S),由f(a)={a1
溫馨提示
- 1. 本站所有資源如無(wú)特殊說(shuō)明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請(qǐng)下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請(qǐng)聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶(hù)所有。
- 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ì)用戶(hù)上傳內(nèi)容的表現(xiàn)方式做保護(hù)處理,對(duì)用戶(hù)上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對(duì)任何下載內(nèi)容負(fù)責(zé)。
- 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請(qǐng)與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時(shí)也不承擔(dān)用戶(hù)因使用這些下載資源對(duì)自己和他人造成任何形式的傷害或損失。
最新文檔
- 探索電的世界
- 江蘇省揚(yáng)州市翠崗達(dá)標(biāo)名校2025年初三寒假網(wǎng)上測(cè)試生物試題含解析
- 遼寧省沈陽(yáng)市東北育才雙語(yǔ)校2025年中考沖刺(3)化學(xué)試題試卷含解析
- 山西省大學(xué)附屬中學(xué)2024-2025學(xué)年高三下學(xué)期第一次統(tǒng)測(cè)歷史試題含解析
- 柳州鐵道職業(yè)技術(shù)學(xué)院《德語(yǔ)視聽(tīng)》2023-2024學(xué)年第二學(xué)期期末試卷
- 四川省廣元市虎跳中學(xué)2025年高三下學(xué)期開(kāi)學(xué)摸底(文理合卷)數(shù)學(xué)試題含解析
- 江西省上饒市民校考試聯(lián)盟2025屆高考數(shù)學(xué)試題模擬考最后一考試題含解析
- 吉林省長(zhǎng)春市第103中學(xué)2025年初三二模沖刺生物試題(一)含解析
- 吉林省撫松五中、長(zhǎng)白縣實(shí)驗(yàn)中學(xué)2024-2025學(xué)年高三4月暑期摸底考試物理試題試卷含解析
- 四川省樂(lè)山市井研縣2024-2025學(xué)年初三下學(xué)期中考考前質(zhì)量檢測(cè)試題三(5月模擬)物理試題含解析
- 農(nóng)業(yè)文化創(chuàng)意產(chǎn)業(yè)園項(xiàng)目可行性研究報(bào)告
- 2025綠地集團(tuán)購(gòu)房合同樣本
- GB/T 37507-2025項(xiàng)目、項(xiàng)目群和項(xiàng)目組合管理項(xiàng)目管理指南
- 機(jī)器視覺(jué)試題答案及解析
- GB 14930.2-2025食品安全國(guó)家標(biāo)準(zhǔn)消毒劑
- 攀西地區(qū)釩鈦磁鐵礦鐵鈦綜合回收試驗(yàn)研究
- 電商平臺(tái)服務(wù)協(xié)議、交易規(guī)則
- 檔案數(shù)字化存儲(chǔ)方式試題及答案
- 《時(shí)間的故事》(教學(xué)設(shè)計(jì))-2024-2025學(xué)年人美版(2024)美術(shù)一年級(jí)下冊(cè)
- 2025年郵政社招筆試試題及答案
- 2025年保密觀知識(shí)測(cè)試題及答案
評(píng)論
0/150
提交評(píng)論