22、覆盖格上的序关系与信息理论

覆盖格上的序关系与信息理论

1. 模板与扁平覆盖的序关系

我们先考虑两个有趣的集合：模板集合 (T)（即紧密、干净的库）和扁平覆盖集合 (F)。

1.1 序关系的重合情况

• 紧密库 ：由于紧密库只有一个恰当的描述，所以序关系 (\leq_1) 和 (\leq_2) 在紧密库上是重合的。
• 扁平覆盖 ：扁平覆盖只有恰当的描述，因此序关系 (\leq_2) 和 (\leq_3) 在 (F) 上重合，该序关系用弯曲符号 (\preceq) 表示。
• 划分 ：在划分集合 (P) 上，三种序关系 (\leq_1)、(\leq_2) 和 (\leq_3) 都重合。

1.2 交和并的确定

• 紧密库的交和并 ：对于 (T) 中的两个库 (\alpha) 和 (\beta)，它们在 (T) 中的并是 (\alpha \cdot \beta)，交是 (\alpha^{\cup} \cap \beta^{\cup})。
• 扁平覆盖的交和并 ：对于两个扁平覆盖 (\alpha, \beta \in F)，(\alpha \wedge \beta = (\alpha \cup \beta)_f)；对于两个有限扁平覆盖 (\alpha, \beta \in F_f)，(\alpha \vee \beta = (\alpha \cdot \beta)_f)。但需要注意的是，