5,443
个编辑
更改
→部分信息分解
信息分解除了能够被韦恩图所直观的呈现以外，更常被表示为晶格图的形式以在更多变量的情况下维持其简洁的结构。晶格图（lattice）是抽象代数中研究的一种抽象结构，它由一个偏序集组成。信息分解所得到的信息原子也可以被描述为一种晶格结构，这一晶格结构被称为冗余晶格（redundancy lattice）。冗余晶格是用来系统化地列举并组织所有可能信息源组合的结构。具体是由反链（antichain）和反链之间的偏序关系构成。反链是信息源的非空子集作为元素所组合出的所有集合中元素间两两互不包含（即互相不为子集）的组合。 对于源变量集合[math]\boldS = \{S_1,\dots,S_N\}[/math]，冗余晶格定义为
[math]\mathcal{A}(\boldS) = \{\alpha \in \mathcal{P}_1(\mathcal{P}_1(\boldS)):\forall \boldA_i,\boldA_j \in \alpha, \boldA_i \not \subset \boldA_j\}[/math]
这里[math]\mathcal{P}_1(\boldS) = \mathcal{P}(\boldS) \setminus \{\varnothing\}[/math]是[math]\boldS[/math]的所有非空子集,
将所有反链收集起来后，它们之间的偏序关系定义为：给定两条反链 [math]\displaystyle{ \alpha }[/math]和 [math]\displaystyle{ \beta }[/math]，定义
[math]\displaystyle{ \alpha \le \beta \iff \forall B \in \beta, \exists A \in \alpha, s.t. A\subseteq B }[/math].
[math]\displaystyle{ \alpha \le \beta \iff \forall B \in \beta, \exists A \in \alpha, s.t. A\subseteq B }[/math].