更改

=== 冗余信息的定义 ===

=== 冗余信息的定义 ===

（为什么在三种信息里面只给出冗余信息的定义见“冗余晶格”小节第二段）

（为什么在三种信息里面只给出冗余信息的定义见“冗余晶格”小节第二段）

令 <math>\mathbf{A}_{1},\mathbf{A}_{2},\dots ,\mathbf{A}_{k}</math>为 <math>\mathbf{s}</math>的非空且允许重叠的子集，我们称之为源。每个<math>\mathbf{A}_{i}</math>所提供的信息由互信息<math>I(T;\mathbf{A}_{i})</math>给出。然而，关键在于互信息实际上是对随机变量的所有可能结果取的平均或期望信息。因此，两个源可能提供相同的平均信息量，同时却关于<math>T</math>的不同结果提供信息。源<math>\mathbf{A}</math>所提供的信息可写为

令 <math>S_1,\mathbf{S}_{2},\dots ,\mathbf{S}_{n}</math>为 <math>\mathbf{s}</math>的非空且允许重叠的子集，我们称之为源。每个<math>\mathbf{A}_{i}</math>所提供的信息由互信息<math>I(T;\mathbf{A}_{i})</math>给出。然而，关键在于互信息实际上是对随机变量的所有可能结果取的平均或期望信息。因此，两个源可能提供相同的平均信息量，同时却关于<math>T</math>的不同结果提供信息。源<math>\mathbf{A}</math>所提供的信息可写为

\begin{equation}

\begin{equation}

I(T;\mathbf{A})=\sum_{s}p(s)\,I(T=t;\mathbf{A})

I(T;\mathbf{A})=\sum_{s}p(s)\,I(T=t;\mathbf{A})