3,094
个编辑
更改
跳到导航
跳到搜索
第79行：
第79行： − + − − 其中<math>\mathcal{S}</math>为因果态划分。 −
→因果态
=====因果态=====
=====因果态=====
所谓的'''因果态'''，是指由预测等价关系诱导的对状态空间的一种划分，即状态集与等价关系的商集：[math]\mathcal{S}=\stackrel{\leftarrow}{S}/\sim[/math]
所谓的'''因果态'''，是指由预测等价关系诱导的对状态空间的一种划分，即状态集与等价关系的商集：[math]\mathcal{S}=\stackrel{\leftarrow}{S}/\sim[/math]，其中<math>\mathcal{S}</math>为因果态划分。
我们也可以直接将因果态定义为一个划分映射，即<math>\epsilon{:}\overleftarrow{S}\mapsto2^{\overset{\leftarrow}{S}}</math>，其中<math> 2^{\overset{\leftarrow}{S}}</math>是<math> \overleftarrow{S}</math>的幂集。
我们也可以直接将因果态定义为一个划分映射，即<math>\epsilon{:}\overleftarrow{S}\mapsto2^{\overset{\leftarrow}{S}}</math>，其中<math> 2^{\overset{\leftarrow}{S}}</math>是<math> \overleftarrow{S}</math>的幂集。