812
个编辑
更改
跳到导航
跳到搜索
第270行：
第270行： − +
→成块划分和粗粒化的可交换性
正因为<math>A_{21}</math>和<math>A_{22}</math>的等于关系，<math>P \Phi = \left ( \begin{array}{cc} P_{11}' & P_{12}' \\ P_{21}' & P_{22}' \\ P_{21}' & P_{22}' \\ P_{21}' & P_{22}' \end{array} \right )</math>。它相当于把<math>P</math>的每一行按照划分来进行加总，而<math>P \Phi</math>内同一组的行是一样的。
正因为<math>A_{21}</math>和<math>A_{22}</math>的等于关系，<math>P \Phi = \left ( \begin{array}{cc} P_{11}' & P_{12}' \\ P_{21}' & P_{22}' \\ P_{21}' & P_{22}' \\ P_{21}' & P_{22}' \end{array} \right )</math>。它相当于把<math>P</math>的每一行按照划分来进行加总，而<math>P \Phi</math>内同一组的行是一样的。
而<math>\Phi P'</math>的意思是把<math>P'</math>的每一行按照划分抄写到对应的行中，所以，我们会发现<math>\Phi P'</math>和<math>P \Phi</math>的结果是一样的。
而<math>\Phi P'</math>的意思是把<math>P'</math>的每一行按照<math>\Phi</math>抄写到对应的微观状态的行中，所以，我们会发现<math>\Phi P'</math>和<math>P \Phi</math>的结果是一样的。
===一致性Consistency===
===一致性Consistency===