




版權(quán)說(shuō)明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請(qǐng)進(jìn)行舉報(bào)或認(rèn)領(lǐng)
文檔簡(jiǎn)介
1、7.2 格論,集合代數(shù):((S),),對(duì)A,B,C(S),運(yùn)算,滿足: 等冪律 AA = A, AA = A, 交換律 AB = BA, AB = BA, 結(jié)合律 A(BC) = (AB)C, A(BC) = (AB)C, 分配律 A(BC) =(AB)(AC), A(BC)=(AB)(AC), 吸收律 A(AB)=A, A(AB)=A, De Morgan定律:,命題代數(shù)(最后一篇)(S,),對(duì)A,B,CS,運(yùn)算,滿足: 等冪律 AA = A, AA = A, , 交換律 AB = BA,AB = BA 結(jié)合律 A(BC)=(AB)C, A(BC) = (AB)C 分配律 A(BC)=(AB
2、)(AC), A(BC) = (AB) (AC) 吸收律 A(AB)=A,A(AB)=A, 若引進(jìn)否定的概念,有De Morgan定律: (AB )= AB, (AB )= AB,7.2.1 格,定義(代數(shù)格):,定義: 設(shè)L是一個(gè)非空集合,+是L上兩個(gè) 二元代數(shù)運(yùn)算,如果這兩種運(yùn)算對(duì)于L中元 素滿足: (1)交換律:ab=ba,a+b=b+a。 (2)結(jié)合律:a(bc)=(ab)c, a+(b+c)=(a+b)+c。 (3)吸收律:a(a+b)=a, a +(ab)=a。 則稱(chēng)此代數(shù)系統(tǒng)(L,+)為一個(gè)代數(shù)格。,定義(偏序格) 定義: 給出一個(gè)偏序集(L,), 如果對(duì)于任意a,bL,L的子集
3、a,b 在L中都有一個(gè)下確界(記為infa,b) 和一個(gè)上確界(記為supa,b),則 稱(chēng)(L,)為一個(gè)格。,例. S是任意一個(gè)集合,(S)是S的冪集合, 則,偏序集(S),)是一個(gè)格,記 (S),)。 因?yàn)閷?duì)A,B(S), supA,B=AB(S),infA,B=AB(S) 例. 設(shè)Z+是所有正整數(shù)集合,D是Z+中的“整除關(guān)系”,對(duì)任意a,bZ+,aDb當(dāng)且僅當(dāng)a整除b,于是,(Z+,D)是一個(gè)格。 supa,b=lcm(a,b)(最小公倍數(shù))Z+, infa,b= gcd(a,b)(最大公因數(shù))Z+ 。 注:不是所有的偏序集都是格。,定義(子格),定義: 設(shè)(L,)是格,S L, 如果(S
4、,)是格, 則稱(chēng)(S,)是格(L,)的子格。,格的性質(zhì):,1、格滿足冪等律: aa=a,a+a=a;Th7.3 2、格的子代數(shù)也是格;Th7.4 3、格滿足對(duì)偶律; 4、代數(shù)格必為偏序格。,注: 任取L中元素a,由,+滿足吸收律知, a(a+a)=a, a +(aa)=a。 故 aa=a(a+(aa), a+a=a+(a(a +a)。 又由,+ 滿足吸收律知,上面兩式的等式右 端都等于a。因此, aa = a, a + a = a。 即, 運(yùn)算亦滿足等冪律。,定義(對(duì)偶式),定義:在格(L,+ )的任一公式中,出現(xiàn),+處分別用+,替換后所得到的公式稱(chēng)為該公式的對(duì)偶式。 如: (1) a+b+c 與 abc (2)
溫馨提示
- 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ì)自己和他人造成任何形式的傷害或損失。
最新文檔
- 冷作外包合同范本
- 凈化車(chē)間合同范本
- 兒童套裝采購(gòu)合同范本
- 修繕祖墳合同范本
- 制作標(biāo)語(yǔ)購(gòu)銷(xiāo)合同范本
- 聘請(qǐng)?jiān)O(shè)計(jì)師合同范本
- 保證合同范本模板
- 代理飲料合同范本
- 劃撥土地房屋出售合同范本
- 加工柜體合同范本
- 班會(huì)課件:逆風(fēng)飛翔破繭成蝶-從《哪吒之魔童鬧?!房辞啻浩诘某砷L(zhǎng)與責(zé)任
- 2.1 堅(jiān)持依憲治國(guó) 教案 -2024-2025學(xué)年統(tǒng)編版道德與法治八年級(jí)下冊(cè)
- 【語(yǔ)文試卷+答案】2024-2025學(xué)年泉州高二上期末質(zhì)檢
- 2018-2022年北京市中考真題數(shù)學(xué)試題匯編:填空壓軸(第16題)
- 《修繕定額講解》課件
- 大學(xué)學(xué)生宿舍管理員工作培訓(xùn)
- 浙江2024公務(wù)員考試真題及答案
- 初中新課標(biāo)培訓(xùn)課件
- 2025年吉林省吉林市事業(yè)單位招聘入伍高校畢業(yè)生54人歷年高頻重點(diǎn)提升(共500題)附帶答案詳解
- 公司銀行貸款申請(qǐng)書(shū)范文
- 機(jī)械設(shè)計(jì)制造及其自動(dòng)化專(zhuān)業(yè)知識(shí)
評(píng)論
0/150
提交評(píng)論