




版權說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權,請進行舉報或認領
文檔簡介
1、7.2 格論,集合代數(shù):((S),),對A,B,C(S),運算,滿足: 等冪律 AA = A, AA = A, 交換律 AB = BA, AB = BA, 結合律 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,),對A,B,CS,運算,滿足: 等冪律 AA = A, AA = A, , 交換律 AB = BA,AB = BA 結合律 A(BC)=(AB)C, A(BC) = (AB)C 分配律 A(BC)=(AB
2、)(AC), A(BC) = (AB) (AC) 吸收律 A(AB)=A,A(AB)=A, 若引進否定的概念,有De Morgan定律: (AB )= AB, (AB )= AB,7.2.1 格,定義(代數(shù)格):,定義: 設L是一個非空集合,+是L上兩個 二元代數(shù)運算,如果這兩種運算對于L中元 素滿足: (1)交換律:ab=ba,a+b=b+a。 (2)結合律:a(bc)=(ab)c, a+(b+c)=(a+b)+c。 (3)吸收律:a(a+b)=a, a +(ab)=a。 則稱此代數(shù)系統(tǒng)(L,+)為一個代數(shù)格。,定義(偏序格) 定義: 給出一個偏序集(L,), 如果對于任意a,bL,L的子集
3、a,b 在L中都有一個下確界(記為infa,b) 和一個上確界(記為supa,b),則 稱(L,)為一個格。,例. S是任意一個集合,(S)是S的冪集合, 則,偏序集(S),)是一個格,記 (S),)。 因為對A,B(S), supA,B=AB(S),infA,B=AB(S) 例. 設Z+是所有正整數(shù)集合,D是Z+中的“整除關系”,對任意a,bZ+,aDb當且僅當a整除b,于是,(Z+,D)是一個格。 supa,b=lcm(a,b)(最小公倍數(shù))Z+, infa,b= gcd(a,b)(最大公因數(shù))Z+ 。 注:不是所有的偏序集都是格。,定義(子格),定義: 設(L,)是格,S L, 如果(S
4、,)是格, 則稱(S,)是格(L,)的子格。,格的性質(zhì):,1、格滿足冪等律: aa=a,a+a=a;Th7.3 2、格的子代數(shù)也是格;Th7.4 3、格滿足對偶律; 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。 即, 運算亦滿足等冪律。,定義(對偶式),定義:在格(L,+ )的任一公式中,出現(xiàn),+處分別用+,替換后所得到的公式稱為該公式的對偶式。 如: (1) a+b+c 與 abc (2)
溫馨提示
- 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯(lián)系上傳者。文件的所有權益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁內(nèi)容里面會有圖紙預覽,若沒有圖紙預覽就沒有圖紙。
- 4. 未經(jīng)權益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 人人文庫網(wǎng)僅提供信息存儲空間,僅對用戶上傳內(nèi)容的表現(xiàn)方式做保護處理,對用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對任何下載內(nèi)容負責。
- 6. 下載文件中如有侵權或不適當內(nèi)容,請與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準確性、安全性和完整性, 同時也不承擔用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
最新文檔
- 脊髓損傷病人護理查房
- 塔里木職業(yè)技術學院《中華射藝》2023-2024學年第一學期期末試卷
- 寧夏回族自治區(qū)中學衛(wèi)市第五中學2025屆初三第二次診斷性考試語文試題含解析
- 遼寧裝備制造職業(yè)技術學院《生物組學》2023-2024學年第二學期期末試卷
- 景德鎮(zhèn)陶瓷職業(yè)技術學院《基礎醫(yī)學實驗(一)》2023-2024學年第一學期期末試卷
- 上海歐華職業(yè)技術學院《國際結算與貿(mào)易融資》2023-2024學年第二學期期末試卷
- 云南科技信息職業(yè)學院《藥物分析》2023-2024學年第一學期期末試卷
- 山西衛(wèi)生健康職業(yè)學院《高級生物信息學》2023-2024學年第二學期期末試卷
- 秦皇島市重點中學2025屆高三下學期研七考試化學試題含解析
- 銅川職業(yè)技術學院《花紙設計與排版》2023-2024學年第二學期期末試卷
- 老年人康樂活動-老年節(jié)慶活動組織策劃
- 預防接種服務提質(zhì)行動方案2-4-10
- 綠化帶改停車位施工方案
- 綠化苗木組織供應及售后服務方案
- 2023-2024學年浙江省環(huán)大羅山聯(lián)盟高一下學期4月期中物理試題(解析版)
- 合用變壓器協(xié)議
- 護理人員崗位績效考核評價標準
- 2024年鄭州軌道工程職業(yè)學院單招職業(yè)適應性測試題庫學生專用
- 2024年山西省太原市中考二模地理試卷
- 《通信原理》樊昌信曹麗娜編著第六版課件
- DL/T 5352-2018 高壓配電裝置設計規(guī)范
評論
0/150
提交評論