假設(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將 片顯示選擇的高...