所有的'''因果态'''的集合,可以由预测等价关系"[math]\sim[/math]"诱导的对状态空间的一种划分来定义,即状态集与等价关系的商集:[math]\mathcal{S}=\stackrel{\leftarrow}{S}/\sim[/math],其中<math>\mathcal{S}</math>为因果态划分。 | 所有的'''因果态'''的集合,可以由预测等价关系"[math]\sim[/math]"诱导的对状态空间的一种划分来定义,即状态集与等价关系的商集:[math]\mathcal{S}=\stackrel{\leftarrow}{S}/\sim[/math],其中<math>\mathcal{S}</math>为因果态划分。 |