格 有界格 分配格

2021-10-21 10:51:33 字數 1617 閱讀 8209

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