3,094
个编辑
更改
跳到导航
跳到搜索
第79行：
第79行： − + − 我们可以把因果态定义为一种划分映射，记作：<math>\epsilon</math>，即：<math>\epsilon{:}\overleftarrow{S}\mapsto2^{\overset{\leftarrow}{S}}</math>，其中<math> 2^{\overset{\leftarrow}{S}}</math>是<math> \overleftarrow{S}</math>的幂集。+ + + − 同时，这个划分映射需要满足如下关系：+ + +
→因果态
=====因果态=====
=====因果态=====
所谓的
所谓的'''因果态'''，是指由预测等价关系诱导的对状态空间的一种划分，即：
<math>
\{\stackrel{\leftarrow}{s}^{\prime}|\mathrm{P}(\overrightarrow{S}=\overrightarrow{s}\mid\stackrel{\leftarrow}{S}=\stackrel{\leftarrow}{s})=\mathrm{P}(\overrightarrow{S}=\overrightarrow{s}\mid\stackrel{\leftarrow}{S}=\stackrel{\leftarrow}{s}^{\prime})，\mathrm{for~all~}\overrightarrow{s}\in\overrightarrow{S},\stackrel{\leftarrow}{s}^{\prime}\in\stackrel{\leftarrow}{S}\}
</math>
这一划分对应的划分映射<math>\epsilon{:}\overleftarrow{S}\mapsto2^{\overset{\leftarrow}{S}}</math>，其中<math> 2^{\overset{\leftarrow}{S}}</math>是<math> \overleftarrow{S}</math>的幂集。
所以，因果态也可以被定义为划分映射[math]\epsilon[/math]，且[math]\epsilon[/math]需要满足如下条件：
<math>
<math>