2。预赛gydF4y2Ba
定义1。gydF4y2Ba
(见[gydF4y2Ba
6gydF4y2Ba])。一个代数gydF4y2Ba
GgydF4y2Ba
,gydF4y2Ba
∧gydF4y2Ba
,gydF4y2Ba
∨gydF4y2Ba
,gydF4y2Ba
0gydF4y2Ba
据说是一个几乎分配格如果它满足以下:gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
∨gydF4y2Ba
0gydF4y2Ba
=gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
0gydF4y2Ba
∧gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
=gydF4y2Ba
0gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
∨gydF4y2Ba
hgydF4y2Ba
1gydF4y2Ba
∧gydF4y2Ba
ωgydF4y2Ba
1gydF4y2Ba
=gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
∧gydF4y2Ba
ωgydF4y2Ba
1gydF4y2Ba
∨gydF4y2Ba
hgydF4y2Ba
1gydF4y2Ba
∧gydF4y2Ba
ωgydF4y2Ba
1gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
∧gydF4y2Ba
hgydF4y2Ba
1gydF4y2Ba
∨gydF4y2Ba
ωgydF4y2Ba
1gydF4y2Ba
=gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
∧gydF4y2Ba
hgydF4y2Ba
1gydF4y2Ba
∨gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
∧gydF4y2Ba
ωgydF4y2Ba
1gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
∨gydF4y2Ba
hgydF4y2Ba
1gydF4y2Ba
∧gydF4y2Ba
ωgydF4y2Ba
1gydF4y2Ba
=gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
∨gydF4y2Ba
hgydF4y2Ba
1gydF4y2Ba
∧gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
∨gydF4y2Ba
ωgydF4y2Ba
1gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
∨gydF4y2Ba
hgydF4y2Ba
1gydF4y2Ba
∧gydF4y2Ba
hgydF4y2Ba
1gydF4y2Ba
=gydF4y2Ba
hgydF4y2Ba
1gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
∨gydF4y2Ba
hgydF4y2Ba
1gydF4y2Ba
∧gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
=gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
∨gydF4y2Ba
hgydF4y2Ba
1gydF4y2Ba
∧gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
=gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
,gydF4y2Ba
∀gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
,gydF4y2Ba
hgydF4y2Ba
1gydF4y2Ba
,gydF4y2Ba
ωgydF4y2Ba
1gydF4y2Ba
∈gydF4y2Ba
GgydF4y2Ba
引理1。gydF4y2Ba
(见[gydF4y2Ba
6gydF4y2Ba])。让gydF4y2Ba
GgydF4y2Ba
几乎是一个分配格。对于任何gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
,gydF4y2Ba
hgydF4y2Ba
1gydF4y2Ba
∈gydF4y2Ba
GgydF4y2Ba
,我们有gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
∨gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
=gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
∨gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
=gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
∧gydF4y2Ba
hgydF4y2Ba
1gydF4y2Ba
∨gydF4y2Ba
hgydF4y2Ba
1gydF4y2Ba
=gydF4y2Ba
hgydF4y2Ba
1gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
∧gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
∨gydF4y2Ba
hgydF4y2Ba
1gydF4y2Ba
=gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
∨gydF4y2Ba
hgydF4y2Ba
1gydF4y2Ba
∧gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
=gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
∨gydF4y2Ba
hgydF4y2Ba
1gydF4y2Ba
=gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
⇔gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
∧gydF4y2Ba
hgydF4y2Ba
1gydF4y2Ba
=gydF4y2Ba
hgydF4y2Ba
1gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
∨gydF4y2Ba
hgydF4y2Ba
1gydF4y2Ba
=gydF4y2Ba
hgydF4y2Ba
1gydF4y2Ba
⇔gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
∧gydF4y2Ba
hgydF4y2Ba
1gydF4y2Ba
=gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
定义2。gydF4y2Ba
(见[gydF4y2Ba
6gydF4y2Ba])。对于任何gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
,gydF4y2Ba
hgydF4y2Ba
1gydF4y2Ba
∈gydF4y2Ba
GgydF4y2Ba
,我们说gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
≤gydF4y2Ba
hgydF4y2Ba
1gydF4y2Ba
如果gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
∧gydF4y2Ba
hgydF4y2Ba
1gydF4y2Ba
=gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
或者说,gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
∨gydF4y2Ba
hgydF4y2Ba
1gydF4y2Ba
=gydF4y2Ba
hgydF4y2Ba
1gydF4y2Ba
。gydF4y2Ba
引理2。gydF4y2Ba
(见[gydF4y2Ba
6gydF4y2Ba])。让gydF4y2Ba
GgydF4y2Ba
几乎是一个分配格。对于任何gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
,gydF4y2Ba
hgydF4y2Ba
1gydF4y2Ba
,gydF4y2Ba
ωgydF4y2Ba
1gydF4y2Ba
,gydF4y2Ba
hgydF4y2Ba
3gydF4y2Ba
∈gydF4y2Ba
GgydF4y2Ba
,那么以下身份持有:gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
∧gydF4y2Ba
hgydF4y2Ba
1gydF4y2Ba
≤gydF4y2Ba
hgydF4y2Ba
1gydF4y2Ba
和gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
≤gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
∨gydF4y2Ba
hgydF4y2Ba
1gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
∧gydF4y2Ba
hgydF4y2Ba
1gydF4y2Ba
=gydF4y2Ba
hgydF4y2Ba
1gydF4y2Ba
∧gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
每当gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
≤gydF4y2Ba
hgydF4y2Ba
1gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
∨gydF4y2Ba
hgydF4y2Ba
1gydF4y2Ba
∨gydF4y2Ba
ωgydF4y2Ba
1gydF4y2Ba
∧gydF4y2Ba
hgydF4y2Ba
3gydF4y2Ba
=gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
∨gydF4y2Ba
hgydF4y2Ba
1gydF4y2Ba
∨gydF4y2Ba
ωgydF4y2Ba
1gydF4y2Ba
∧gydF4y2Ba
hgydF4y2Ba
3gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
≤gydF4y2Ba
hgydF4y2Ba
1gydF4y2Ba
⇒gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
∧gydF4y2Ba
ωgydF4y2Ba
1gydF4y2Ba
≤gydF4y2Ba
hgydF4y2Ba
1gydF4y2Ba
∧gydF4y2Ba
ωgydF4y2Ba
1gydF4y2Ba
,gydF4y2Ba
ωgydF4y2Ba
1gydF4y2Ba
∧gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
≤gydF4y2Ba
ωgydF4y2Ba
1gydF4y2Ba
∧gydF4y2Ba
hgydF4y2Ba
1gydF4y2Ba
和gydF4y2Ba
ωgydF4y2Ba
1gydF4y2Ba
∨gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
≤gydF4y2Ba
ωgydF4y2Ba
1gydF4y2Ba
∨gydF4y2Ba
hgydF4y2Ba
1gydF4y2Ba
定义3。gydF4y2Ba
(见[gydF4y2Ba
6gydF4y2Ba])。让gydF4y2Ba
GgydF4y2Ba
是一个格子,0是称为晶格的零元素gydF4y2Ba
GgydF4y2Ba
如果gydF4y2Ba
0gydF4y2Ba
∧gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
=gydF4y2Ba
0gydF4y2Ba
,gydF4y2Ba
∀gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
∈gydF4y2Ba
GgydF4y2Ba
。gydF4y2Ba
引理3。gydF4y2Ba
(见[gydF4y2Ba
6gydF4y2Ba])。让gydF4y2Ba
GgydF4y2Ba
几乎是一个分配格。如果gydF4y2Ba
GgydF4y2Ba
0,那么对于任何gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
,gydF4y2Ba
hgydF4y2Ba
1gydF4y2Ba
∈gydF4y2Ba
GgydF4y2Ba
,下面的身份:gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
∨gydF4y2Ba
0gydF4y2Ba
=gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
和gydF4y2Ba
0gydF4y2Ba
∨gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
=gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
∧gydF4y2Ba
0gydF4y2Ba
=gydF4y2Ba
0gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
∧gydF4y2Ba
hgydF4y2Ba
1gydF4y2Ba
=gydF4y2Ba
0gydF4y2Ba
当且仅当gydF4y2Ba
hgydF4y2Ba
1gydF4y2Ba
∧gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
=gydF4y2Ba
0gydF4y2Ba
定义4。gydF4y2Ba
(见[gydF4y2Ba
6gydF4y2Ba])。让gydF4y2Ba
我gydF4y2Ba
是一个非空的子集gydF4y2Ba
GgydF4y2Ba
被称为一个理想的gydF4y2Ba
GgydF4y2Ba
如果gydF4y2Ba
hgydF4y2Ba
3gydF4y2Ba
∨gydF4y2Ba
ωgydF4y2Ba
3gydF4y2Ba
∈gydF4y2Ba
我gydF4y2Ba
和gydF4y2Ba
hgydF4y2Ba
3gydF4y2Ba
∧gydF4y2Ba
egydF4y2Ba
3gydF4y2Ba
∈gydF4y2Ba
我gydF4y2Ba
每当gydF4y2Ba
hgydF4y2Ba
3gydF4y2Ba
,gydF4y2Ba
ωgydF4y2Ba
3gydF4y2Ba
∈gydF4y2Ba
我gydF4y2Ba
和gydF4y2Ba
egydF4y2Ba
3gydF4y2Ba
∈gydF4y2Ba
GgydF4y2Ba
。gydF4y2Ba
如果gydF4y2Ba
我gydF4y2Ba
是一个理想的gydF4y2Ba
GgydF4y2Ba
和gydF4y2Ba
egydF4y2Ba
3gydF4y2Ba
,gydF4y2Ba
hgydF4y2Ba
3gydF4y2Ba
∈gydF4y2Ba
GgydF4y2Ba
,然后gydF4y2Ba
egydF4y2Ba
3gydF4y2Ba
∧gydF4y2Ba
hgydF4y2Ba
3gydF4y2Ba
∈gydF4y2Ba
我gydF4y2Ba
当且仅当gydF4y2Ba
hgydF4y2Ba
3gydF4y2Ba
∧gydF4y2Ba
egydF4y2Ba
3gydF4y2Ba
∈gydF4y2Ba
我gydF4y2Ba
。gydF4y2Ba
引理4。gydF4y2Ba
(见[gydF4y2Ba
6gydF4y2Ba])。对于任何gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
,gydF4y2Ba
hgydF4y2Ba
1gydF4y2Ba
∈gydF4y2Ba
GgydF4y2Ba
,我们有gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
∧gydF4y2Ba
hgydF4y2Ba
1gydF4y2Ba
∨gydF4y2Ba
hgydF4y2Ba
1gydF4y2Ba
=gydF4y2Ba
hgydF4y2Ba
1gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
∨gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
∧gydF4y2Ba
hgydF4y2Ba
1gydF4y2Ba
=gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
=gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
∧gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
∨gydF4y2Ba
hgydF4y2Ba
1gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
∨gydF4y2Ba
hgydF4y2Ba
1gydF4y2Ba
∧gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
=gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
=gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
∨gydF4y2Ba
hgydF4y2Ba
1gydF4y2Ba
∧gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
定义5。gydF4y2Ba
(见[gydF4y2Ba
7gydF4y2Ba])。让gydF4y2Ba
GgydF4y2Ba
是一个几乎分配格和gydF4y2Ba
ζgydF4y2Ba
1gydF4y2Ba
和gydF4y2Ba
ζgydF4y2Ba
2gydF4y2Ba
是两个自我的地图。我们定义gydF4y2Ba
ζgydF4y2Ba
1gydF4y2Ba
∨gydF4y2Ba
ζgydF4y2Ba
2gydF4y2Ba
:gydF4y2Ba
GgydF4y2Ba
⟶gydF4y2Ba
GgydF4y2Ba
通过gydF4y2Ba
ζgydF4y2Ba
1gydF4y2Ba
∨gydF4y2Ba
ζgydF4y2Ba
2gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
=gydF4y2Ba
ζgydF4y2Ba
1gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
∨gydF4y2Ba
ζgydF4y2Ba
2gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
,gydF4y2Ba
∀gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
∈gydF4y2Ba
GgydF4y2Ba
。gydF4y2Ba
定义6。gydF4y2Ba
(见[gydF4y2Ba
7gydF4y2Ba])。让gydF4y2Ba
GgydF4y2Ba
1gydF4y2Ba
和gydF4y2Ba
GgydF4y2Ba
2gydF4y2Ba
是两个几乎分配格。然后,gydF4y2Ba
GgydF4y2Ba
1gydF4y2Ba
×gydF4y2Ba
GgydF4y2Ba
2gydF4y2Ba
也是一个gydF4y2Ba
诽谤联盟gydF4y2Ba
的点态操作gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
,gydF4y2Ba
hgydF4y2Ba
1gydF4y2Ba
∧gydF4y2Ba
ωgydF4y2Ba
1gydF4y2Ba
,gydF4y2Ba
xgydF4y2Ba
=gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
∧gydF4y2Ba
ωgydF4y2Ba
1gydF4y2Ba
,gydF4y2Ba
hgydF4y2Ba
1gydF4y2Ba
∧gydF4y2Ba
xgydF4y2Ba
和gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
,gydF4y2Ba
hgydF4y2Ba
1gydF4y2Ba
∨gydF4y2Ba
ωgydF4y2Ba
1gydF4y2Ba
,gydF4y2Ba
xgydF4y2Ba
=gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
∨gydF4y2Ba
ωgydF4y2Ba
1gydF4y2Ba
,gydF4y2Ba
hgydF4y2Ba
1gydF4y2Ba
∨gydF4y2Ba
xgydF4y2Ba
,gydF4y2Ba
∀gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
,gydF4y2Ba
hgydF4y2Ba
1gydF4y2Ba
∈gydF4y2Ba
GgydF4y2Ba
1gydF4y2Ba
,gydF4y2Ba
ωgydF4y2Ba
1gydF4y2Ba
,gydF4y2Ba
xgydF4y2Ba
∈gydF4y2Ba
GgydF4y2Ba
2gydF4y2Ba
。gydF4y2Ba
定义7。gydF4y2Ba
(见[gydF4y2Ba
7gydF4y2Ba])。让gydF4y2Ba
GgydF4y2Ba
是一个几乎分配格和gydF4y2Ba
ζgydF4y2Ba
的乘数gydF4y2Ba
GgydF4y2Ba
。定义一组gydF4y2Ba
修复gydF4y2Ba
ζgydF4y2Ba
GgydF4y2Ba
通过gydF4y2Ba
修复gydF4y2Ba
ζgydF4y2Ba
GgydF4y2Ba
=gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
∈gydF4y2Ba
GgydF4y2Ba
:gydF4y2Ba
ζgydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
=gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
。gydF4y2Ba
定义8。gydF4y2Ba
(见[gydF4y2Ba
7gydF4y2Ba])。让gydF4y2Ba
GgydF4y2Ba
,gydF4y2Ba
∧gydF4y2Ba
,gydF4y2Ba
∨gydF4y2Ba
,gydF4y2Ba
0gydF4y2Ba
几乎是一个分配格。对于任何gydF4y2Ba
ugydF4y2Ba
∈gydF4y2Ba
GgydF4y2Ba
,定义gydF4y2Ba
ΓgydF4y2Ba
ugydF4y2Ba
=gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
,gydF4y2Ba
hgydF4y2Ba
1gydF4y2Ba
∈gydF4y2Ba
GgydF4y2Ba
×gydF4y2Ba
GgydF4y2Ba
|gydF4y2Ba
fgydF4y2Ba
ugydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
=gydF4y2Ba
fgydF4y2Ba
ugydF4y2Ba
hgydF4y2Ba
1gydF4y2Ba
,在那里gydF4y2Ba
fgydF4y2Ba
ugydF4y2Ba
一个原则是乘数效应引起的吗gydF4y2Ba
ugydF4y2Ba
∈gydF4y2Ba
GgydF4y2Ba
。gydF4y2Ba
3所示。< inline-formula > < mml:数学xmlns: mml = " http://www.w3.org/1998/Math/MathML " id = " M102 " > < mml: mi >α< / mml: mi > < / mml:数学> < / inline-formula >分配格几乎倍增gydF4y2Ba
定义9。gydF4y2Ba
让gydF4y2Ba
GgydF4y2Ba
几乎是一个分配格。一个函数gydF4y2Ba
ζgydF4y2Ba
:gydF4y2Ba
GgydF4y2Ba
⟶gydF4y2Ba
GgydF4y2Ba
被称为gydF4y2Ba
αgydF4y2Ba
乘数如果gydF4y2Ba
ζgydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
∧gydF4y2Ba
hgydF4y2Ba
1gydF4y2Ba
=gydF4y2Ba
ζgydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
∧gydF4y2Ba
αgydF4y2Ba
hgydF4y2Ba
1gydF4y2Ba
∀gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
,gydF4y2Ba
hgydF4y2Ba
1gydF4y2Ba
∈gydF4y2Ba
GgydF4y2Ba
,在那里gydF4y2Ba
αgydF4y2Ba
是一个映射上gydF4y2Ba
GgydF4y2Ba
。gydF4y2Ba
例1。gydF4y2Ba
让gydF4y2Ba
GgydF4y2Ba
几乎是一个分配格gydF4y2Ba
0gydF4y2Ba
∈gydF4y2Ba
GgydF4y2Ba
。一个函数gydF4y2Ba
ζgydF4y2Ba
定义为gydF4y2Ba
ζgydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
=gydF4y2Ba
0gydF4y2Ba
∀gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
∈gydF4y2Ba
GgydF4y2Ba
被称为零gydF4y2Ba
αgydF4y2Ba
乘数。gydF4y2Ba
证明。gydF4y2Ba
让gydF4y2Ba
GgydF4y2Ba
几乎是一个分配格gydF4y2Ba
0gydF4y2Ba
∈gydF4y2Ba
GgydF4y2Ba
;然后,我们必须证明gydF4y2Ba
ζgydF4y2Ba
是一个零gydF4y2Ba
αgydF4y2Ba
乘数。gydF4y2Ba
让gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
,gydF4y2Ba
hgydF4y2Ba
1gydF4y2Ba
∈gydF4y2Ba
GgydF4y2Ba
,gydF4y2Ba
ζgydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
∧gydF4y2Ba
hgydF4y2Ba
1gydF4y2Ba
=gydF4y2Ba
ζgydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
∧gydF4y2Ba
αgydF4y2Ba
hgydF4y2Ba
1gydF4y2Ba
=gydF4y2Ba
0gydF4y2Ba
∧gydF4y2Ba
αgydF4y2Ba
hgydF4y2Ba
1gydF4y2Ba
=gydF4y2Ba
0gydF4y2Ba
。因此,gydF4y2Ba
ζgydF4y2Ba
是一个零gydF4y2Ba
αgydF4y2Ba
乘数。gydF4y2Ba
引理5。gydF4y2Ba
让gydF4y2Ba
ζgydF4y2Ba
是gydF4y2Ba
αgydF4y2Ba
乘数的gydF4y2Ba
GgydF4y2Ba
。如果gydF4y2Ba
αgydF4y2Ba
:gydF4y2Ba
GgydF4y2Ba
⟶gydF4y2Ba
GgydF4y2Ba
同态,那么以下条件持有:gydF4y2Ba
ζgydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
≤gydF4y2Ba
αgydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
ζgydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
∧gydF4y2Ba
ζgydF4y2Ba
hgydF4y2Ba
1gydF4y2Ba
≤gydF4y2Ba
ζgydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
∧gydF4y2Ba
hgydF4y2Ba
1gydF4y2Ba
,gydF4y2Ba
∀gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
,gydF4y2Ba
hgydF4y2Ba
1gydF4y2Ba
∈gydF4y2Ba
GgydF4y2Ba
证明。gydF4y2Ba
自gydF4y2Ba
ζgydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
=gydF4y2Ba
ζgydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
∧gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
=gydF4y2Ba
ζgydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
∧gydF4y2Ba
αgydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
,它意味着gydF4y2Ba
ζgydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
≤gydF4y2Ba
αgydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
。gydF4y2Ba
让gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
,gydF4y2Ba
hgydF4y2Ba
1gydF4y2Ba
∈gydF4y2Ba
GgydF4y2Ba
。我们必须证明gydF4y2Ba
ζgydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
∧gydF4y2Ba
ζgydF4y2Ba
hgydF4y2Ba
1gydF4y2Ba
≤gydF4y2Ba
ζgydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
∧gydF4y2Ba
hgydF4y2Ba
1gydF4y2Ba
。gydF4y2Ba
(1)gydF4y2Ba
ζgydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
≤gydF4y2Ba
αgydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
,gydF4y2Ba
ζgydF4y2Ba
hgydF4y2Ba
1gydF4y2Ba
≤gydF4y2Ba
αgydF4y2Ba
hgydF4y2Ba
1gydF4y2Ba
,gydF4y2Ba
ζgydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
∧gydF4y2Ba
ζgydF4y2Ba
hgydF4y2Ba
1gydF4y2Ba
≤gydF4y2Ba
ζgydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
∧gydF4y2Ba
αgydF4y2Ba
hgydF4y2Ba
1gydF4y2Ba
=gydF4y2Ba
ζgydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
∧gydF4y2Ba
hgydF4y2Ba
1gydF4y2Ba
。这意味着gydF4y2Ba
ζgydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
∧gydF4y2Ba
ζgydF4y2Ba
hgydF4y2Ba
1gydF4y2Ba
≤gydF4y2Ba
ζgydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
∧gydF4y2Ba
hgydF4y2Ba
1gydF4y2Ba
。gydF4y2Ba
定义10。gydF4y2Ba
让gydF4y2Ba
GgydF4y2Ba
几乎是一个分配格。一个函数gydF4y2Ba
KgydF4y2Ba
egydF4y2Ba
被定义为gydF4y2Ba
KgydF4y2Ba
egydF4y2Ba
ggydF4y2Ba
=gydF4y2Ba
egydF4y2Ba
∧gydF4y2Ba
一个gydF4y2Ba
ggydF4y2Ba
,gydF4y2Ba
∀gydF4y2Ba
ggydF4y2Ba
∈gydF4y2Ba
GgydF4y2Ba
,在那里gydF4y2Ba
αgydF4y2Ba
:gydF4y2Ba
GgydF4y2Ba
⟶gydF4y2Ba
GgydF4y2Ba
是一个同态呢gydF4y2Ba
KgydF4y2Ba
egydF4y2Ba
是gydF4y2Ba
αgydF4y2Ba
−gydF4y2Ba
乘数的gydF4y2Ba
GgydF4y2Ba
等gydF4y2Ba
αgydF4y2Ba
−gydF4y2Ba
乘数的gydF4y2Ba
GgydF4y2Ba
被称为一个原则gydF4y2Ba
αgydF4y2Ba
−gydF4y2Ba
乘数的gydF4y2Ba
GgydF4y2Ba
。gydF4y2Ba
定义11。gydF4y2Ba
让gydF4y2Ba
GgydF4y2Ba
,gydF4y2Ba
∧gydF4y2Ba
,gydF4y2Ba
∨gydF4y2Ba
,gydF4y2Ba
0gydF4y2Ba
是一个几乎分配格和gydF4y2Ba
KgydF4y2Ba
是gydF4y2Ba
αgydF4y2Ba
在乘数gydF4y2Ba
GgydF4y2Ba
。对于任何gydF4y2Ba
ugydF4y2Ba
∈gydF4y2Ba
GgydF4y2Ba
,定义gydF4y2Ba
ΓgydF4y2Ba
ugydF4y2Ba
=gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
,gydF4y2Ba
hgydF4y2Ba
1gydF4y2Ba
∈gydF4y2Ba
GgydF4y2Ba
×gydF4y2Ba
GgydF4y2Ba
|gydF4y2Ba
kgydF4y2Ba
ugydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
=gydF4y2Ba
kgydF4y2Ba
ugydF4y2Ba
hgydF4y2Ba
1gydF4y2Ba
,在那里gydF4y2Ba
KgydF4y2Ba
ugydF4y2Ba
一个原则是gydF4y2Ba
αgydF4y2Ba
乘数效应引起的gydF4y2Ba
ugydF4y2Ba
∈gydF4y2Ba
GgydF4y2Ba
。gydF4y2Ba
引理6。gydF4y2Ba
让gydF4y2Ba
GgydF4y2Ba
几乎是一个分配格。一个函数gydF4y2Ba
KgydF4y2Ba
egydF4y2Ba
3gydF4y2Ba
被定义为gydF4y2Ba
KgydF4y2Ba
egydF4y2Ba
3gydF4y2Ba
一个gydF4y2Ba
=gydF4y2Ba
egydF4y2Ba
3gydF4y2Ba
∧gydF4y2Ba
αgydF4y2Ba
一个gydF4y2Ba
,在那里gydF4y2Ba
αgydF4y2Ba
:gydF4y2Ba
GgydF4y2Ba
⟶gydF4y2Ba
GgydF4y2Ba
是一个同态呢gydF4y2Ba
KgydF4y2Ba
egydF4y2Ba
3gydF4y2Ba
是gydF4y2Ba
αgydF4y2Ba
乘数的gydF4y2Ba
GgydF4y2Ba
等gydF4y2Ba
αgydF4y2Ba
乘数的gydF4y2Ba
GgydF4y2Ba
被称为一个原则gydF4y2Ba
αgydF4y2Ba
乘数的gydF4y2Ba
GgydF4y2Ba
。gydF4y2Ba
证明。gydF4y2Ba
让gydF4y2Ba
hgydF4y2Ba
3gydF4y2Ba
,gydF4y2Ba
ωgydF4y2Ba
3gydF4y2Ba
,gydF4y2Ba
egydF4y2Ba
3gydF4y2Ba
∈gydF4y2Ba
GgydF4y2Ba
,gydF4y2Ba
KgydF4y2Ba
是一个gydF4y2Ba
αgydF4y2Ba
乘法器;然后,我们必须证明gydF4y2Ba
KgydF4y2Ba
egydF4y2Ba
3gydF4y2Ba
是一个gydF4y2Ba
αgydF4y2Ba
乘数。gydF4y2Ba
(2)gydF4y2Ba
KgydF4y2Ba
egydF4y2Ba
hgydF4y2Ba
3gydF4y2Ba
=gydF4y2Ba
egydF4y2Ba
∧gydF4y2Ba
αgydF4y2Ba
hgydF4y2Ba
3gydF4y2Ba
,gydF4y2Ba
∀gydF4y2Ba
hgydF4y2Ba
3gydF4y2Ba
∈gydF4y2Ba
GgydF4y2Ba
,gydF4y2Ba
KgydF4y2Ba
egydF4y2Ba
hgydF4y2Ba
3gydF4y2Ba
∧gydF4y2Ba
ωgydF4y2Ba
3gydF4y2Ba
=gydF4y2Ba
egydF4y2Ba
3gydF4y2Ba
∧gydF4y2Ba
αgydF4y2Ba
hgydF4y2Ba
3gydF4y2Ba
∧gydF4y2Ba
ωgydF4y2Ba
3gydF4y2Ba
=gydF4y2Ba
egydF4y2Ba
3gydF4y2Ba
∧gydF4y2Ba
αgydF4y2Ba
hgydF4y2Ba
3gydF4y2Ba
∧gydF4y2Ba
αgydF4y2Ba
ωgydF4y2Ba
3gydF4y2Ba
=gydF4y2Ba
egydF4y2Ba
3gydF4y2Ba
∧gydF4y2Ba
αgydF4y2Ba
hgydF4y2Ba
3gydF4y2Ba
∧gydF4y2Ba
αgydF4y2Ba
ωgydF4y2Ba
3gydF4y2Ba
=gydF4y2Ba
KgydF4y2Ba
egydF4y2Ba
3gydF4y2Ba
hgydF4y2Ba
3gydF4y2Ba
∧gydF4y2Ba
αgydF4y2Ba
ωgydF4y2Ba
3gydF4y2Ba
。这意味着gydF4y2Ba
KgydF4y2Ba
egydF4y2Ba
3gydF4y2Ba
是一个gydF4y2Ba
αgydF4y2Ba
乘数。gydF4y2Ba
定义12。gydF4y2Ba
让gydF4y2Ba
GgydF4y2Ba
是一个几乎分配格和gydF4y2Ba
ζgydF4y2Ba
是gydF4y2Ba
αgydF4y2Ba
−gydF4y2Ba
在乘数gydF4y2Ba
GgydF4y2Ba
,在那里gydF4y2Ba
αgydF4y2Ba
是一个映射上gydF4y2Ba
GgydF4y2Ba
。如果因为gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
≤gydF4y2Ba
hgydF4y2Ba
1gydF4y2Ba
意味着gydF4y2Ba
ζgydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
≤gydF4y2Ba
ζgydF4y2Ba
hgydF4y2Ba
1gydF4y2Ba
,然后gydF4y2Ba
ζgydF4y2Ba
是一个等渗性gydF4y2Ba
αgydF4y2Ba
−gydF4y2Ba
乘数。gydF4y2Ba
命题1。gydF4y2Ba
让gydF4y2Ba
GgydF4y2Ba
几乎是一个分配格。如果gydF4y2Ba
αgydF4y2Ba
:gydF4y2Ba
GgydF4y2Ba
⟶gydF4y2Ba
GgydF4y2Ba
越来越同态呢gydF4y2Ba
ζgydF4y2Ba
一个gydF4y2Ba
hgydF4y2Ba
2gydF4y2Ba
=gydF4y2Ba
一个gydF4y2Ba
∧gydF4y2Ba
αgydF4y2Ba
hgydF4y2Ba
2gydF4y2Ba
,gydF4y2Ba
∀gydF4y2Ba
hgydF4y2Ba
2gydF4y2Ba
∈gydF4y2Ba
GgydF4y2Ba
是一个等渗性gydF4y2Ba
αgydF4y2Ba
乘数的gydF4y2Ba
GgydF4y2Ba
。gydF4y2Ba
证明。gydF4y2Ba
让gydF4y2Ba
GgydF4y2Ba
是一个gydF4y2Ba
诽谤联盟gydF4y2Ba
和gydF4y2Ba
hgydF4y2Ba
2gydF4y2Ba
,gydF4y2Ba
ωgydF4y2Ba
2gydF4y2Ba
∈gydF4y2Ba
GgydF4y2Ba
,gydF4y2Ba
hgydF4y2Ba
2gydF4y2Ba
≤gydF4y2Ba
ωgydF4y2Ba
2gydF4y2Ba
这样gydF4y2Ba
αgydF4y2Ba
hgydF4y2Ba
2gydF4y2Ba
≤gydF4y2Ba
αgydF4y2Ba
ωgydF4y2Ba
2gydF4y2Ba
,那么我们就有gydF4y2Ba
ζgydF4y2Ba
一个gydF4y2Ba
hgydF4y2Ba
2gydF4y2Ba
∧gydF4y2Ba
ωgydF4y2Ba
2gydF4y2Ba
=gydF4y2Ba
一个gydF4y2Ba
∧gydF4y2Ba
αgydF4y2Ba
hgydF4y2Ba
2gydF4y2Ba
∧gydF4y2Ba
αgydF4y2Ba
ωgydF4y2Ba
2gydF4y2Ba
=gydF4y2Ba
一个gydF4y2Ba
∧gydF4y2Ba
αgydF4y2Ba
hgydF4y2Ba
2gydF4y2Ba
∧gydF4y2Ba
一个gydF4y2Ba
∧gydF4y2Ba
αgydF4y2Ba
ωgydF4y2Ba
2gydF4y2Ba
=gydF4y2Ba
ζgydF4y2Ba
一个gydF4y2Ba
hgydF4y2Ba
2gydF4y2Ba
∧gydF4y2Ba
ζgydF4y2Ba
一个gydF4y2Ba
ωgydF4y2Ba
2gydF4y2Ba
。这意味着gydF4y2Ba
ζgydF4y2Ba
一个gydF4y2Ba
hgydF4y2Ba
2gydF4y2Ba
≤gydF4y2Ba
ζgydF4y2Ba
一个gydF4y2Ba
ωgydF4y2Ba
2gydF4y2Ba
。因此,gydF4y2Ba
ζgydF4y2Ba
一个gydF4y2Ba
是一个等渗性gydF4y2Ba
αgydF4y2Ba
乘数。gydF4y2Ba
引理7。gydF4y2Ba
让gydF4y2Ba
GgydF4y2Ba
是一个几乎分配格和gydF4y2Ba
ζgydF4y2Ba
是一个gydF4y2Ba
αgydF4y2Ba
乘数的gydF4y2Ba
GgydF4y2Ba
和gydF4y2Ba
αgydF4y2Ba
越来越同态gydF4y2Ba
GgydF4y2Ba
。如果gydF4y2Ba
hgydF4y2Ba
3gydF4y2Ba
≤gydF4y2Ba
ωgydF4y2Ba
3gydF4y2Ba
和gydF4y2Ba
ζgydF4y2Ba
ωgydF4y2Ba
3gydF4y2Ba
=gydF4y2Ba
αgydF4y2Ba
ωgydF4y2Ba
3gydF4y2Ba
,然后gydF4y2Ba
ζgydF4y2Ba
hgydF4y2Ba
3gydF4y2Ba
=gydF4y2Ba
αgydF4y2Ba
hgydF4y2Ba
3gydF4y2Ba
。gydF4y2Ba
证明。gydF4y2Ba
让gydF4y2Ba
hgydF4y2Ba
3gydF4y2Ba
,gydF4y2Ba
ωgydF4y2Ba
3gydF4y2Ba
∈gydF4y2Ba
GgydF4y2Ba
为gydF4y2Ba
hgydF4y2Ba
3gydF4y2Ba
≤gydF4y2Ba
ωgydF4y2Ba
3gydF4y2Ba
。自gydF4y2Ba
αgydF4y2Ba
是越来越同态,所以呢gydF4y2Ba
(3)gydF4y2Ba
αgydF4y2Ba
hgydF4y2Ba
3gydF4y2Ba
≤gydF4y2Ba
αgydF4y2Ba
ωgydF4y2Ba
3gydF4y2Ba
,gydF4y2Ba
ζgydF4y2Ba
ωgydF4y2Ba
3gydF4y2Ba
=gydF4y2Ba
αgydF4y2Ba
ωgydF4y2Ba
3gydF4y2Ba
。gydF4y2Ba
利用方程(gydF4y2Ba
3gydF4y2Ba),我们有gydF4y2Ba
ζgydF4y2Ba
hgydF4y2Ba
3gydF4y2Ba
=gydF4y2Ba
ζgydF4y2Ba
ωgydF4y2Ba
3gydF4y2Ba
∧gydF4y2Ba
hgydF4y2Ba
3gydF4y2Ba
=gydF4y2Ba
ζgydF4y2Ba
ωgydF4y2Ba
3gydF4y2Ba
∧gydF4y2Ba
αgydF4y2Ba
hgydF4y2Ba
3gydF4y2Ba
=gydF4y2Ba
αgydF4y2Ba
ωgydF4y2Ba
3gydF4y2Ba
∧gydF4y2Ba
αgydF4y2Ba
hgydF4y2Ba
3gydF4y2Ba
自gydF4y2Ba
αgydF4y2Ba
是一种增加同态。这意味着gydF4y2Ba
ζgydF4y2Ba
hgydF4y2Ba
3gydF4y2Ba
=gydF4y2Ba
αgydF4y2Ba
hgydF4y2Ba
3gydF4y2Ba
。gydF4y2Ba
定理1。gydF4y2Ba
让gydF4y2Ba
GgydF4y2Ba
是一个几乎分配格和gydF4y2Ba
ζgydF4y2Ba
是一个gydF4y2Ba
αgydF4y2Ba
乘数的gydF4y2Ba
GgydF4y2Ba
和gydF4y2Ba
αgydF4y2Ba
越来越同态gydF4y2Ba
GgydF4y2Ba
。然后,gydF4y2Ba
ζgydF4y2Ba
是一个等渗性gydF4y2Ba
αgydF4y2Ba
乘数。gydF4y2Ba
证明。gydF4y2Ba
假设gydF4y2Ba
hgydF4y2Ba
3gydF4y2Ba
,gydF4y2Ba
ωgydF4y2Ba
3gydF4y2Ba
∈gydF4y2Ba
GgydF4y2Ba
。利用引理gydF4y2Ba
5gydF4y2Ba(我)gydF4y2Ba
(4)gydF4y2Ba
ζgydF4y2Ba
ωgydF4y2Ba
3gydF4y2Ba
≤gydF4y2Ba
αgydF4y2Ba
ωgydF4y2Ba
3gydF4y2Ba
,gydF4y2Ba
(5)gydF4y2Ba
为gydF4y2Ba
hgydF4y2Ba
3gydF4y2Ba
≤gydF4y2Ba
ωgydF4y2Ba
3gydF4y2Ba
,gydF4y2Ba
αgydF4y2Ba
hgydF4y2Ba
3gydF4y2Ba
≤gydF4y2Ba
αgydF4y2Ba
ωgydF4y2Ba
3gydF4y2Ba
。gydF4y2Ba
自gydF4y2Ba
hgydF4y2Ba
3gydF4y2Ba
≤gydF4y2Ba
ωgydF4y2Ba
3gydF4y2Ba
因此,我们有gydF4y2Ba
ζgydF4y2Ba
hgydF4y2Ba
3gydF4y2Ba
=gydF4y2Ba
ζgydF4y2Ba
ωgydF4y2Ba
3gydF4y2Ba
∧gydF4y2Ba
hgydF4y2Ba
3gydF4y2Ba
=gydF4y2Ba
ζgydF4y2Ba
ωgydF4y2Ba
3gydF4y2Ba
∧gydF4y2Ba
αgydF4y2Ba
hgydF4y2Ba
3gydF4y2Ba
。由方程(gydF4y2Ba
4gydF4y2Ba)和(gydF4y2Ba
5gydF4y2Ba),我们有gydF4y2Ba
ζgydF4y2Ba
hgydF4y2Ba
3gydF4y2Ba
≤gydF4y2Ba
ζgydF4y2Ba
ωgydF4y2Ba
3gydF4y2Ba
∧gydF4y2Ba
αgydF4y2Ba
ωgydF4y2Ba
3gydF4y2Ba
=gydF4y2Ba
ζgydF4y2Ba
ωgydF4y2Ba
3gydF4y2Ba
。这意味着gydF4y2Ba
ζgydF4y2Ba
hgydF4y2Ba
3gydF4y2Ba
≤gydF4y2Ba
ζgydF4y2Ba
ωgydF4y2Ba
3gydF4y2Ba
。因此,gydF4y2Ba
ζgydF4y2Ba
是一个gydF4y2Ba
等渗性gydF4y2Ba
αgydF4y2Ba
乘数。gydF4y2Ba
命题2。gydF4y2Ba
让gydF4y2Ba
GgydF4y2Ba
几乎是一个分配格,gydF4y2Ba
ζgydF4y2Ba
是一个gydF4y2Ba
αgydF4y2Ba
乘数的gydF4y2Ba
GgydF4y2Ba
,gydF4y2Ba
αgydF4y2Ba
在同态gydF4y2Ba
GgydF4y2Ba
。然后,gydF4y2Ba
ζgydF4y2Ba
ωgydF4y2Ba
1gydF4y2Ba
∨gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
=gydF4y2Ba
ζgydF4y2Ba
ωgydF4y2Ba
1gydF4y2Ba
∨gydF4y2Ba
ζgydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
,gydF4y2Ba
∀gydF4y2Ba
ωgydF4y2Ba
1gydF4y2Ba
,gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
∈gydF4y2Ba
GgydF4y2Ba
。gydF4y2Ba
证明。gydF4y2Ba
让gydF4y2Ba
ωgydF4y2Ba
1gydF4y2Ba
,gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
∈gydF4y2Ba
GgydF4y2Ba
和gydF4y2Ba
ζgydF4y2Ba
是一个gydF4y2Ba
αgydF4y2Ba
乘数的gydF4y2Ba
GgydF4y2Ba
;然后,我们必须证明gydF4y2Ba
ζgydF4y2Ba
ωgydF4y2Ba
1gydF4y2Ba
∨gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
=gydF4y2Ba
ζgydF4y2Ba
ωgydF4y2Ba
1gydF4y2Ba
∨gydF4y2Ba
ζgydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
。通过定义gydF4y2Ba
1gydF4y2Ba,我们有gydF4y2Ba
ζgydF4y2Ba
ωgydF4y2Ba
1gydF4y2Ba
∨gydF4y2Ba
ζgydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
=gydF4y2Ba
ζgydF4y2Ba
ωgydF4y2Ba
1gydF4y2Ba
∨gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
∧gydF4y2Ba
ωgydF4y2Ba
1gydF4y2Ba
∨gydF4y2Ba
ζgydF4y2Ba
ωgydF4y2Ba
1gydF4y2Ba
∨gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
∧gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
=gydF4y2Ba
ζgydF4y2Ba
ωgydF4y2Ba
1gydF4y2Ba
∨gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
∧gydF4y2Ba
αgydF4y2Ba
ωgydF4y2Ba
1gydF4y2Ba
∨gydF4y2Ba
ζgydF4y2Ba
ωgydF4y2Ba
1gydF4y2Ba
∨gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
∧gydF4y2Ba
αgydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
。通过定义gydF4y2Ba
1gydF4y2Ba,我们有gydF4y2Ba
ζgydF4y2Ba
ωgydF4y2Ba
1gydF4y2Ba
∨gydF4y2Ba
ζgydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
=gydF4y2Ba
ζgydF4y2Ba
ωgydF4y2Ba
1gydF4y2Ba
∨gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
∧gydF4y2Ba
αgydF4y2Ba
ωgydF4y2Ba
1gydF4y2Ba
∨gydF4y2Ba
αgydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
=gydF4y2Ba
ζgydF4y2Ba
ωgydF4y2Ba
1gydF4y2Ba
∨gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
∧gydF4y2Ba
αgydF4y2Ba
ωgydF4y2Ba
1gydF4y2Ba
∨gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
=gydF4y2Ba
ζgydF4y2Ba
ωgydF4y2Ba
1gydF4y2Ba
∨gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
。这意味着gydF4y2Ba
ζgydF4y2Ba
ωgydF4y2Ba
1gydF4y2Ba
∨gydF4y2Ba
ζgydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
=gydF4y2Ba
ζgydF4y2Ba
ωgydF4y2Ba
1gydF4y2Ba
∨gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
。gydF4y2Ba
命题3。gydF4y2Ba
让gydF4y2Ba
GgydF4y2Ba
是一个几乎分配格和gydF4y2Ba
ζgydF4y2Ba
1gydF4y2Ba
和gydF4y2Ba
ζgydF4y2Ba
2gydF4y2Ba
是两个gydF4y2Ba
αgydF4y2Ba
乘数的gydF4y2Ba
GgydF4y2Ba
。然后,gydF4y2Ba
ζgydF4y2Ba
1gydF4y2Ba
∨gydF4y2Ba
ζgydF4y2Ba
2gydF4y2Ba
也是一个gydF4y2Ba
αgydF4y2Ba
乘数的gydF4y2Ba
GgydF4y2Ba
。gydF4y2Ba
证明。gydF4y2Ba
让gydF4y2Ba
GgydF4y2Ba
是一个gydF4y2Ba
诽谤联盟gydF4y2Ba
和gydF4y2Ba
ζgydF4y2Ba
1gydF4y2Ba
和gydF4y2Ba
ζgydF4y2Ba
2gydF4y2Ba
是gydF4y2Ba
αgydF4y2Ba
乘法器,gydF4y2Ba
(6)gydF4y2Ba
ζgydF4y2Ba
1gydF4y2Ba
hgydF4y2Ba
3gydF4y2Ba
∧gydF4y2Ba
ωgydF4y2Ba
3gydF4y2Ba
=gydF4y2Ba
ζgydF4y2Ba
1gydF4y2Ba
hgydF4y2Ba
3gydF4y2Ba
∧gydF4y2Ba
αgydF4y2Ba
ωgydF4y2Ba
3gydF4y2Ba
,gydF4y2Ba
ζgydF4y2Ba
2gydF4y2Ba
hgydF4y2Ba
3gydF4y2Ba
∧gydF4y2Ba
ωgydF4y2Ba
3gydF4y2Ba
=gydF4y2Ba
ζgydF4y2Ba
2gydF4y2Ba
hgydF4y2Ba
3gydF4y2Ba
∧gydF4y2Ba
αgydF4y2Ba
ωgydF4y2Ba
3gydF4y2Ba
。gydF4y2Ba
让gydF4y2Ba
hgydF4y2Ba
3gydF4y2Ba
,gydF4y2Ba
ωgydF4y2Ba
3gydF4y2Ba
∈gydF4y2Ba
GgydF4y2Ba
,gydF4y2Ba
ζgydF4y2Ba
1gydF4y2Ba
,gydF4y2Ba
ζgydF4y2Ba
2gydF4y2Ba
是gydF4y2Ba
αgydF4y2Ba
乘数的gydF4y2Ba
GgydF4y2Ba
。现在,通过定义gydF4y2Ba
5gydF4y2Ba,我们有gydF4y2Ba
ζgydF4y2Ba
1gydF4y2Ba
∨gydF4y2Ba
ζgydF4y2Ba
2gydF4y2Ba
hgydF4y2Ba
3gydF4y2Ba
∧gydF4y2Ba
ωgydF4y2Ba
3gydF4y2Ba
=gydF4y2Ba
ζgydF4y2Ba
1gydF4y2Ba
hgydF4y2Ba
3gydF4y2Ba
∧gydF4y2Ba
ωgydF4y2Ba
3gydF4y2Ba
∨gydF4y2Ba
ζgydF4y2Ba
2gydF4y2Ba
hgydF4y2Ba
3gydF4y2Ba
∧gydF4y2Ba
ωgydF4y2Ba
3gydF4y2Ba
=gydF4y2Ba
ζgydF4y2Ba
1gydF4y2Ba
hgydF4y2Ba
3gydF4y2Ba
∧gydF4y2Ba
αgydF4y2Ba
ωgydF4y2Ba
3gydF4y2Ba
∨gydF4y2Ba
ζgydF4y2Ba
2gydF4y2Ba
hgydF4y2Ba
3gydF4y2Ba
∧gydF4y2Ba
αgydF4y2Ba
ωgydF4y2Ba
3gydF4y2Ba
。通过定义gydF4y2Ba
1gydF4y2Ba和gydF4y2Ba
5gydF4y2Ba,我们有gydF4y2Ba
ζgydF4y2Ba
1gydF4y2Ba
∨gydF4y2Ba
ζgydF4y2Ba
2gydF4y2Ba
hgydF4y2Ba
3gydF4y2Ba
∧gydF4y2Ba
ωgydF4y2Ba
3gydF4y2Ba
=gydF4y2Ba
ζgydF4y2Ba
1gydF4y2Ba
hgydF4y2Ba
3gydF4y2Ba
∨gydF4y2Ba
ζgydF4y2Ba
2gydF4y2Ba
hgydF4y2Ba
3gydF4y2Ba
∧gydF4y2Ba
αgydF4y2Ba
ωgydF4y2Ba
3gydF4y2Ba
=gydF4y2Ba
ζgydF4y2Ba
1gydF4y2Ba
∨gydF4y2Ba
ζgydF4y2Ba
2gydF4y2Ba
hgydF4y2Ba
3gydF4y2Ba
∧gydF4y2Ba
αgydF4y2Ba
ωgydF4y2Ba
3gydF4y2Ba
随着方程(gydF4y2Ba
6gydF4y2Ba)意味着(gydF4y2Ba
ζgydF4y2Ba
1gydF4y2Ba
∨gydF4y2Ba
ζgydF4y2Ba
2gydF4y2Ba
hgydF4y2Ba
3gydF4y2Ba
∧gydF4y2Ba
ωgydF4y2Ba
3gydF4y2Ba
=gydF4y2Ba
ζgydF4y2Ba
1gydF4y2Ba
∨gydF4y2Ba
ζgydF4y2Ba
2gydF4y2Ba
hgydF4y2Ba
3gydF4y2Ba
∧gydF4y2Ba
αgydF4y2Ba
ωgydF4y2Ba
3gydF4y2Ba
。因此,gydF4y2Ba
ζgydF4y2Ba
1gydF4y2Ba
∨gydF4y2Ba
ζgydF4y2Ba
2gydF4y2Ba
被称为gydF4y2Ba
αgydF4y2Ba
乘数的gydF4y2Ba
GgydF4y2Ba
。gydF4y2Ba
命题4。gydF4y2Ba
让gydF4y2Ba
GgydF4y2Ba
1gydF4y2Ba
和gydF4y2Ba
GgydF4y2Ba
2gydF4y2Ba
是两个分配格几乎为0。一个函数gydF4y2Ba
ζgydF4y2Ba
:gydF4y2Ba
GgydF4y2Ba
1gydF4y2Ba
×gydF4y2Ba
GgydF4y2Ba
2gydF4y2Ba
⟶gydF4y2Ba
GgydF4y2Ba
1gydF4y2Ba
×gydF4y2Ba
GgydF4y2Ba
2gydF4y2Ba
定义为gydF4y2Ba
ζgydF4y2Ba
年代gydF4y2Ba
,gydF4y2Ba
ωgydF4y2Ba
3gydF4y2Ba
=gydF4y2Ba
0gydF4y2Ba
,gydF4y2Ba
αgydF4y2Ba
ωgydF4y2Ba
3gydF4y2Ba
∀gydF4y2Ba
年代gydF4y2Ba
,gydF4y2Ba
ωgydF4y2Ba
3gydF4y2Ba
∈gydF4y2Ba
GgydF4y2Ba
1gydF4y2Ba
×gydF4y2Ba
GgydF4y2Ba
2gydF4y2Ba
和gydF4y2Ba
αgydF4y2Ba
是一个同态。然后,gydF4y2Ba
ζgydF4y2Ba
是gydF4y2Ba
αgydF4y2Ba
乘数的gydF4y2Ba
GgydF4y2Ba
1gydF4y2Ba
×gydF4y2Ba
GgydF4y2Ba
2gydF4y2Ba
与逐点的操作。gydF4y2Ba
证明。gydF4y2Ba
让gydF4y2Ba
GgydF4y2Ba
1gydF4y2Ba
和gydF4y2Ba
GgydF4y2Ba
2gydF4y2Ba
是两个gydF4y2Ba
ADLsgydF4y2Ba
用0。我们定义了一个映射gydF4y2Ba
ζgydF4y2Ba
:gydF4y2Ba
GgydF4y2Ba
1gydF4y2Ba
×gydF4y2Ba
GgydF4y2Ba
2gydF4y2Ba
⟶gydF4y2Ba
GgydF4y2Ba
1gydF4y2Ba
×gydF4y2Ba
GgydF4y2Ba
2gydF4y2Ba
通过gydF4y2Ba
(7)gydF4y2Ba
ζgydF4y2Ba
年代gydF4y2Ba
1gydF4y2Ba
,gydF4y2Ba
tgydF4y2Ba
1gydF4y2Ba
=gydF4y2Ba
0gydF4y2Ba
,gydF4y2Ba
αgydF4y2Ba
tgydF4y2Ba
1gydF4y2Ba
。gydF4y2Ba
然后,我们必须证明gydF4y2Ba
ζgydF4y2Ba
是一个gydF4y2Ba
αgydF4y2Ba
乘数等逐点的操作gydF4y2Ba
(8)gydF4y2Ba
ζgydF4y2Ba
年代gydF4y2Ba
1gydF4y2Ba
,gydF4y2Ba
tgydF4y2Ba
1gydF4y2Ba
∧gydF4y2Ba
年代gydF4y2Ba
2gydF4y2Ba
,gydF4y2Ba
tgydF4y2Ba
2gydF4y2Ba
=gydF4y2Ba
ζgydF4y2Ba
年代gydF4y2Ba
1gydF4y2Ba
,gydF4y2Ba
tgydF4y2Ba
1gydF4y2Ba
∧gydF4y2Ba
αgydF4y2Ba
年代gydF4y2Ba
2gydF4y2Ba
,gydF4y2Ba
αgydF4y2Ba
tgydF4y2Ba
2gydF4y2Ba
。gydF4y2Ba
让gydF4y2Ba
年代gydF4y2Ba
1gydF4y2Ba
,gydF4y2Ba
tgydF4y2Ba
1gydF4y2Ba
,gydF4y2Ba
年代gydF4y2Ba
2gydF4y2Ba
,gydF4y2Ba
tgydF4y2Ba
2gydF4y2Ba
∈gydF4y2Ba
GgydF4y2Ba
1gydF4y2Ba
×gydF4y2Ba
GgydF4y2Ba
2gydF4y2Ba
。通过定义gydF4y2Ba
6gydF4y2Ba,gydF4y2Ba
ζgydF4y2Ba
年代gydF4y2Ba
1gydF4y2Ba
,gydF4y2Ba
tgydF4y2Ba
1gydF4y2Ba
∧gydF4y2Ba
年代gydF4y2Ba
2gydF4y2Ba
,gydF4y2Ba
tgydF4y2Ba
2gydF4y2Ba
=gydF4y2Ba
ζgydF4y2Ba
年代gydF4y2Ba
1gydF4y2Ba
∧gydF4y2Ba
年代gydF4y2Ba
2gydF4y2Ba
,gydF4y2Ba
tgydF4y2Ba
1gydF4y2Ba
∧gydF4y2Ba
tgydF4y2Ba
2gydF4y2Ba
。利用方程(gydF4y2Ba
7gydF4y2Ba)和定义gydF4y2Ba
1gydF4y2Ba,我们有gydF4y2Ba
ζgydF4y2Ba
年代gydF4y2Ba
1gydF4y2Ba
,gydF4y2Ba
tgydF4y2Ba
1gydF4y2Ba
∧gydF4y2Ba
年代gydF4y2Ba
2gydF4y2Ba
,gydF4y2Ba
tgydF4y2Ba
2gydF4y2Ba
=gydF4y2Ba
0gydF4y2Ba
,gydF4y2Ba
αgydF4y2Ba
tgydF4y2Ba
1gydF4y2Ba
∧gydF4y2Ba
αgydF4y2Ba
tgydF4y2Ba
1gydF4y2Ba
=gydF4y2Ba
0gydF4y2Ba
∧gydF4y2Ba
αgydF4y2Ba
年代gydF4y2Ba
2gydF4y2Ba
,gydF4y2Ba
αgydF4y2Ba
tgydF4y2Ba
1gydF4y2Ba
∧gydF4y2Ba
αgydF4y2Ba
tgydF4y2Ba
2gydF4y2Ba
。通过定义gydF4y2Ba
6gydF4y2Ba与方程(gydF4y2Ba
7gydF4y2Ba),我们有gydF4y2Ba
ζgydF4y2Ba
年代gydF4y2Ba
1gydF4y2Ba
,gydF4y2Ba
tgydF4y2Ba
1gydF4y2Ba
∧gydF4y2Ba
年代gydF4y2Ba
2gydF4y2Ba
,gydF4y2Ba
tgydF4y2Ba
2gydF4y2Ba
=gydF4y2Ba
0gydF4y2Ba
,gydF4y2Ba
αgydF4y2Ba
tgydF4y2Ba
1gydF4y2Ba
∧gydF4y2Ba
αgydF4y2Ba
年代gydF4y2Ba
2gydF4y2Ba
,gydF4y2Ba
αgydF4y2Ba
tgydF4y2Ba
2gydF4y2Ba
=gydF4y2Ba
ζgydF4y2Ba
年代gydF4y2Ba
1gydF4y2Ba
,gydF4y2Ba
tgydF4y2Ba
1gydF4y2Ba
∧gydF4y2Ba
αgydF4y2Ba
年代gydF4y2Ba
2gydF4y2Ba
,gydF4y2Ba
αgydF4y2Ba
tgydF4y2Ba
2gydF4y2Ba
。这意味着gydF4y2Ba
ζgydF4y2Ba
是一个gydF4y2Ba
αgydF4y2Ba
乘数与逐点的操作gydF4y2Ba
GgydF4y2Ba
1gydF4y2Ba
×gydF4y2Ba
GgydF4y2Ba
2gydF4y2Ba
。gydF4y2Ba
定理2。gydF4y2Ba
让gydF4y2Ba
GgydF4y2Ba
是一个几乎分配格和gydF4y2Ba
BgydF4y2Ba
GgydF4y2Ba
是一组的gydF4y2Ba
αgydF4y2Ba
乘数的gydF4y2Ba
GgydF4y2Ba
。然后,gydF4y2Ba
BgydF4y2Ba
GgydF4y2Ba
在二进制操作gydF4y2Ba
∨gydF4y2Ba
和gydF4y2Ba
∧gydF4y2Ba
几乎是一个分配格,对吗gydF4y2Ba
ζgydF4y2Ba
1gydF4y2Ba
,gydF4y2Ba
ζgydF4y2Ba
2gydF4y2Ba
∈gydF4y2Ba
BgydF4y2Ba
GgydF4y2Ba
,gydF4y2Ba
hgydF4y2Ba
3gydF4y2Ba
∈gydF4y2Ba
GgydF4y2Ba
。gydF4y2Ba
(9)gydF4y2Ba
ζgydF4y2Ba
1gydF4y2Ba
∧gydF4y2Ba
ζgydF4y2Ba
2gydF4y2Ba
hgydF4y2Ba
3gydF4y2Ba
=gydF4y2Ba
ζgydF4y2Ba
1gydF4y2Ba
hgydF4y2Ba
3gydF4y2Ba
∧gydF4y2Ba
ζgydF4y2Ba
2gydF4y2Ba
hgydF4y2Ba
3gydF4y2Ba
,gydF4y2Ba
ζgydF4y2Ba
1gydF4y2Ba
∨gydF4y2Ba
ζgydF4y2Ba
2gydF4y2Ba
hgydF4y2Ba
3gydF4y2Ba
=gydF4y2Ba
ζgydF4y2Ba
1gydF4y2Ba
hgydF4y2Ba
3gydF4y2Ba
∨gydF4y2Ba
ζgydF4y2Ba
2gydF4y2Ba
hgydF4y2Ba
3gydF4y2Ba
。gydF4y2Ba
证明。gydF4y2Ba
让gydF4y2Ba
ζgydF4y2Ba
1gydF4y2Ba
,gydF4y2Ba
ζgydF4y2Ba
2gydF4y2Ba
∈gydF4y2Ba
BgydF4y2Ba
GgydF4y2Ba
。然后,通过方程(gydF4y2Ba
9gydF4y2Ba),我们(gydF4y2Ba
ζgydF4y2Ba
1gydF4y2Ba
∧gydF4y2Ba
ζgydF4y2Ba
2gydF4y2Ba
hgydF4y2Ba
3gydF4y2Ba
∧gydF4y2Ba
ωgydF4y2Ba
3gydF4y2Ba
=gydF4y2Ba
ζgydF4y2Ba
1gydF4y2Ba
hgydF4y2Ba
3gydF4y2Ba
∧gydF4y2Ba
ωgydF4y2Ba
3gydF4y2Ba
∧gydF4y2Ba
ζgydF4y2Ba
2gydF4y2Ba
hgydF4y2Ba
3gydF4y2Ba
∧gydF4y2Ba
ωgydF4y2Ba
3gydF4y2Ba
=gydF4y2Ba
ζgydF4y2Ba
1gydF4y2Ba
hgydF4y2Ba
3gydF4y2Ba
∧gydF4y2Ba
αgydF4y2Ba
ωgydF4y2Ba
3gydF4y2Ba
∧gydF4y2Ba
ζgydF4y2Ba
2gydF4y2Ba
hgydF4y2Ba
3gydF4y2Ba
∧gydF4y2Ba
αgydF4y2Ba
ωgydF4y2Ba
3gydF4y2Ba
=gydF4y2Ba
ζgydF4y2Ba
1gydF4y2Ba
hgydF4y2Ba
3gydF4y2Ba
∧gydF4y2Ba
ζgydF4y2Ba
2gydF4y2Ba
hgydF4y2Ba
3gydF4y2Ba
∧gydF4y2Ba
αgydF4y2Ba
ωgydF4y2Ba
3gydF4y2Ba
=gydF4y2Ba
ζgydF4y2Ba
1gydF4y2Ba
∧gydF4y2Ba
ζgydF4y2Ba
2gydF4y2Ba
hgydF4y2Ba
3gydF4y2Ba
∧gydF4y2Ba
αgydF4y2Ba
ωgydF4y2Ba
3gydF4y2Ba
。这意味着gydF4y2Ba
ζgydF4y2Ba
1gydF4y2Ba
∧gydF4y2Ba
ζgydF4y2Ba
2gydF4y2Ba
是一个gydF4y2Ba
αgydF4y2Ba
乘数。让gydF4y2Ba
ζgydF4y2Ba
1gydF4y2Ba
,gydF4y2Ba
ζgydF4y2Ba
2gydF4y2Ba
∈gydF4y2Ba
BgydF4y2Ba
GgydF4y2Ba
,随着方程(gydF4y2Ba
9gydF4y2Ba),我们有gydF4y2Ba
ζgydF4y2Ba
1gydF4y2Ba
∨gydF4y2Ba
ζgydF4y2Ba
2gydF4y2Ba
hgydF4y2Ba
3gydF4y2Ba
∧gydF4y2Ba
ωgydF4y2Ba
3gydF4y2Ba
=gydF4y2Ba
ζgydF4y2Ba
1gydF4y2Ba
hgydF4y2Ba
3gydF4y2Ba
∧gydF4y2Ba
ωgydF4y2Ba
3gydF4y2Ba
∨gydF4y2Ba
ζgydF4y2Ba
2gydF4y2Ba
hgydF4y2Ba
3gydF4y2Ba
∧gydF4y2Ba
ωgydF4y2Ba
3gydF4y2Ba
=gydF4y2Ba
ζgydF4y2Ba
1gydF4y2Ba
hgydF4y2Ba
3gydF4y2Ba
∧gydF4y2Ba
αgydF4y2Ba
ωgydF4y2Ba
3gydF4y2Ba
∨gydF4y2Ba
ζgydF4y2Ba
2gydF4y2Ba
hgydF4y2Ba
3gydF4y2Ba
∧gydF4y2Ba
αgydF4y2Ba
ωgydF4y2Ba
3gydF4y2Ba
=gydF4y2Ba
ζgydF4y2Ba
1gydF4y2Ba
hgydF4y2Ba
3gydF4y2Ba
∨gydF4y2Ba
ζgydF4y2Ba
2gydF4y2Ba
hgydF4y2Ba
3gydF4y2Ba
∧gydF4y2Ba
αgydF4y2Ba
ωgydF4y2Ba
3gydF4y2Ba
=gydF4y2Ba
ζgydF4y2Ba
1gydF4y2Ba
∨gydF4y2Ba
ζgydF4y2Ba
2gydF4y2Ba
hgydF4y2Ba
3gydF4y2Ba
∧gydF4y2Ba
αgydF4y2Ba
ωgydF4y2Ba
3gydF4y2Ba
。这意味着(gydF4y2Ba
ζgydF4y2Ba
1gydF4y2Ba
∨gydF4y2Ba
ζgydF4y2Ba
2gydF4y2Ba
)是一个gydF4y2Ba
αgydF4y2Ba
乘数。因此,(gydF4y2Ba
BgydF4y2Ba
GgydF4y2Ba
,gydF4y2Ba
∨gydF4y2Ba
,gydF4y2Ba
∧gydF4y2Ba
)下封闭gydF4y2Ba
∨gydF4y2Ba
,gydF4y2Ba
∧gydF4y2Ba
。因此,(gydF4y2Ba
BgydF4y2Ba
GgydF4y2Ba
,gydF4y2Ba
∨gydF4y2Ba
,gydF4y2Ba
∧gydF4y2Ba
)是一个gydF4y2Ba
诽谤联盟gydF4y2Ba
。gydF4y2Ba
定理3。gydF4y2Ba
让gydF4y2Ba
GgydF4y2Ba
是一个几乎分配格和gydF4y2Ba
BgydF4y2Ba
GgydF4y2Ba
是一组的gydF4y2Ba
αgydF4y2Ba
在乘数gydF4y2Ba
GgydF4y2Ba
。然后,所有本金gydF4y2Ba
αgydF4y2Ba
乘数gydF4y2Ba
PgydF4y2Ba
GgydF4y2Ba
ζgydF4y2Ba
xgydF4y2Ba
|gydF4y2Ba
xgydF4y2Ba
∈gydF4y2Ba
GgydF4y2Ba
与下面的操作是分配格gydF4y2Ba
ζgydF4y2Ba
hgydF4y2Ba
2gydF4y2Ba
∨gydF4y2Ba
ζgydF4y2Ba
ωgydF4y2Ba
3gydF4y2Ba
=gydF4y2Ba
ζgydF4y2Ba
hgydF4y2Ba
2gydF4y2Ba
∨gydF4y2Ba
ωgydF4y2Ba
3gydF4y2Ba
和gydF4y2Ba
ζgydF4y2Ba
hgydF4y2Ba
2gydF4y2Ba
∧gydF4y2Ba
ζgydF4y2Ba
ωgydF4y2Ba
3gydF4y2Ba
=gydF4y2Ba
ζgydF4y2Ba
hgydF4y2Ba
2gydF4y2Ba
∧gydF4y2Ba
ωgydF4y2Ba
3gydF4y2Ba
对所有gydF4y2Ba
hgydF4y2Ba
2gydF4y2Ba
,gydF4y2Ba
ωgydF4y2Ba
3gydF4y2Ba
∈gydF4y2Ba
GgydF4y2Ba
。gydF4y2Ba
证明。gydF4y2Ba
让gydF4y2Ba
hgydF4y2Ba
2gydF4y2Ba
,gydF4y2Ba
ωgydF4y2Ba
3gydF4y2Ba
∈gydF4y2Ba
GgydF4y2Ba
。然后,gydF4y2Ba
ζgydF4y2Ba
hgydF4y2Ba
2gydF4y2Ba
∨gydF4y2Ba
ζgydF4y2Ba
ωgydF4y2Ba
3gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
=gydF4y2Ba
ζgydF4y2Ba
hgydF4y2Ba
2gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
∨gydF4y2Ba
ζgydF4y2Ba
ωgydF4y2Ba
3gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
=gydF4y2Ba
hgydF4y2Ba
2gydF4y2Ba
∧gydF4y2Ba
αgydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
∨gydF4y2Ba
ωgydF4y2Ba
3gydF4y2Ba
∧gydF4y2Ba
αgydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
=gydF4y2Ba
hgydF4y2Ba
2gydF4y2Ba
∨gydF4y2Ba
ωgydF4y2Ba
3gydF4y2Ba
∧gydF4y2Ba
αgydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
=gydF4y2Ba
ζgydF4y2Ba
hgydF4y2Ba
2gydF4y2Ba
∨gydF4y2Ba
ωgydF4y2Ba
3gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
。对于一些gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
∈gydF4y2Ba
GgydF4y2Ba
,它意味着gydF4y2Ba
ζgydF4y2Ba
hgydF4y2Ba
2gydF4y2Ba
∨gydF4y2Ba
ζgydF4y2Ba
ωgydF4y2Ba
3gydF4y2Ba
=gydF4y2Ba
ζgydF4y2Ba
hgydF4y2Ba
2gydF4y2Ba
∨gydF4y2Ba
ωgydF4y2Ba
3gydF4y2Ba
∈gydF4y2Ba
PgydF4y2Ba
GgydF4y2Ba
。也gydF4y2Ba
ζgydF4y2Ba
hgydF4y2Ba
2gydF4y2Ba
∧gydF4y2Ba
ζgydF4y2Ba
ωgydF4y2Ba
3gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
=gydF4y2Ba
ζgydF4y2Ba
hgydF4y2Ba
2gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
∧gydF4y2Ba
ζgydF4y2Ba
ωgydF4y2Ba
3gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
=gydF4y2Ba
hgydF4y2Ba
2gydF4y2Ba
∧gydF4y2Ba
αgydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
∧gydF4y2Ba
ωgydF4y2Ba
3gydF4y2Ba
∧gydF4y2Ba
αgydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
=gydF4y2Ba
hgydF4y2Ba
2gydF4y2Ba
∧gydF4y2Ba
ωgydF4y2Ba
3gydF4y2Ba
∧gydF4y2Ba
αgydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
=gydF4y2Ba
ζgydF4y2Ba
hgydF4y2Ba
2gydF4y2Ba
∧gydF4y2Ba
ωgydF4y2Ba
3gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
。对于任何gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
∈gydF4y2Ba
GgydF4y2Ba
,这意味着gydF4y2Ba
ζgydF4y2Ba
hgydF4y2Ba
2gydF4y2Ba
∧gydF4y2Ba
ζgydF4y2Ba
ωgydF4y2Ba
3gydF4y2Ba
=gydF4y2Ba
ζgydF4y2Ba
hgydF4y2Ba
2gydF4y2Ba
∧gydF4y2Ba
ωgydF4y2Ba
3gydF4y2Ba
∈gydF4y2Ba
PgydF4y2Ba
GgydF4y2Ba
。因此,(gydF4y2Ba
PgydF4y2Ba
GgydF4y2Ba
,gydF4y2Ba
∨gydF4y2Ba
,gydF4y2Ba
∧gydF4y2Ba
)是关闭的,所以gydF4y2Ba
PgydF4y2Ba
GgydF4y2Ba
子几乎是分配格。此外,对于任何gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
∈gydF4y2Ba
GgydF4y2Ba
,gydF4y2Ba
ζgydF4y2Ba
hgydF4y2Ba
2gydF4y2Ba
∧gydF4y2Ba
ωgydF4y2Ba
3gydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
=gydF4y2Ba
hgydF4y2Ba
2gydF4y2Ba
∧gydF4y2Ba
ωgydF4y2Ba
3gydF4y2Ba
∧gydF4y2Ba
αgydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
=gydF4y2Ba
ωgydF4y2Ba
3gydF4y2Ba
∧gydF4y2Ba
hgydF4y2Ba
2gydF4y2Ba
∧gydF4y2Ba
αgydF4y2Ba
egydF4y2Ba
1gydF4y2Ba
=gydF4y2Ba
ζgydF4y2Ba
ωgydF4y2Ba
3gydF4y2Ba
∧gydF4y2Ba
ζgydF4y2Ba
hgydF4y2Ba
2gydF4y2Ba
。因此,gydF4y2Ba
ζgydF4y2Ba
hgydF4y2Ba
2gydF4y2Ba
∧gydF4y2Ba
ζgydF4y2Ba
ωgydF4y2Ba
3gydF4y2Ba
=gydF4y2Ba
ζgydF4y2Ba
ωgydF4y2Ba
3gydF4y2Ba
∧gydF4y2Ba
ζgydF4y2Ba
hgydF4y2Ba
2gydF4y2Ba
。因此,gydF4y2Ba
PgydF4y2Ba
GgydF4y2Ba
是一个分配格。gydF4y2Ba