假設(l,
≼)
(l, \preccurlyeq)
(l,≼
)為偏序集,如果對於任意a,b
∈l,a
,b
a, b\in l ,
a,b∈l,
a,b 都存在上確界和下確界,則稱 ≼> ≼> 為乙個格(la ttic e) (lattice) (latti ce) 顯然上確界和下確界有唯一性 上確界l∪b (a,b )l \cup b() l∪b(a, b)記作a∨ \lor ∨b,稱之為a與b的並(jo in )(join) (join) 下確界g∩b (a,b )g\cap b() g∩b(a, b)記作a∧ \land ∧b,稱之為a與b的交(me et )(meet) (meet) 最大元:指偏序集的子集中不小於一切的元素 最小元:指偏序集的子集中不大於一切的元素 極大元:指偏序集中沒有比它更大的可比較的元素 極小元:指偏序集中沒有比它更小的可比較的元素 存在最大元和最小元的格稱為有界格。 設 ≼> ≼> 是有界格,a,b是l中的兩個元,若a∨b =1,a ∧b=0 a∨b=1,a∧b=0 a∨b=1, a∧b= 0,則稱a是b的補元或b是a的補元,或稱a和b互為補元. a ∨b =1 a \lor b=1 a∨b= 1意思是a和b a和ba和 b向上走只有乙個共同點111. a ∧b =1 a \land b=1 a∧b= 1意思是a和b a和ba和 b向下走只有乙個共同點000. 對於格的任意元素x,y和z,均有x∧( y∨z) =(x∧ y)∨( x∧z) x∧(y∨z)=(x∧y)∨(x∧z) x∧(y∨z )=(x ∧y)∨ (x∧z )。由於格中結運算和交運算的對稱性,上述條件等價於x∨( y∧z) =(x∨ y)∧( x∨z) x∨(y∧z)=(x∨y)∧(x∨z) x∨(y∧z )=(x ∨y)∧ (x∨z ),當l ll為分配格時,交運算對於結運算滿足分配律,而且反之亦真。 布林格、除數格、理想格、鏈等均為分配格。滿足分配率的即為分配格
有界格中的某元的補元不止乙個。則它不是分配格 √
\surd
√
N97的軟格和硬格
也就是n97的 軟格 和 硬格 關於硬格 按住shift 左下角刻有中字的鍵 刪除鍵 右上角 鍵 空格 最長的那個鍵 再按開機鍵,直到出現地區選項,鬆開鍵盤三個鍵 關於軟格 待機狀態下直接輸入 7370 原始密碼12345 軟格是單單恢復手機 系統所在盤的原廠時的檔案,而不對系統盤進行格式化。軟格只...
報表系統格集模型 格集表示法
格集有以下幾種表示方法 cellx 可以表示只有乙個單元格的格集,如 b3。單獨乙個單元格,也可以構成格集,即只有乙個成員的集合。cellx celly 其中cellx與celly均為單元格,該表示式表示以cellx與celly為對角點圈起的矩形區域,而且,cellx在左上角,celly在右下角。如...
格蘭格因果檢驗到底咋做啊
toc哭了積分這麼難賺麼 你好!這是你第一次使用markdown編輯器所展示的歡迎頁。如果你想學習如何使用markdown編輯器,可以仔細閱讀這篇文章,了解一下markdown的基本語法知識。全新的介面設計,將會帶來全新的寫作體驗 在創作中心設定你喜愛的 高亮樣式,markdown將 片顯示選擇的高...