470
个编辑
更改
跳到导航
跳到搜索
小第704行：
第704行： − 带着等价条件当且仅当H[S|S->] = 0。+ − 证明。E = I[S->;S<-] = H[S->] - H[S-> | S<-]并且，由于因果态的构造，H[S->|S<-] = H[S->|S]，所以+
公式62的证明做一些优化
</math>
</math>
带着等价条件当且仅当<math>H[\mathcal{S} \vert \overset{\to }{S}] = 0</math>。
证明。<math>\mathbf{E} = I[\overset{\to }{S};\overset{\leftarrow}{S}] = H[\overset{\to }{S}] - H[\overset{\to }{S} \vert \overset{\leftarrow}{S}]</math>并且，由于因果态的构造，<math>H[\overset{\to }{S} \vert \overset{\leftarrow}{S}] = H[\overset{\to }{S} \vert \mathcal{S}]</math>，所以
<math>
<math>