更改

根据<math>\mathcal{R} </math>的定义可知，<math>H[\vec{S}^L|\mathcal{R}]<LH[S] </math>，则<math>H[f(X)]\leqslant H[X] </math>。

根据<math>\mathcal{R} </math>的定义可知，<math>H[\vec{S}^L|\mathcal{R}]<LH[S] </math>，则<math>H[f(X)]\leqslant H[X] </math>。

所以对于所有<math>\hat{\mathcal{R}} </math>，<math>H[S]=H[g(\hat{\mathcal{R}})]\leqslant H[\hat{\mathcal{R}}] </math>

所以<math>H[S]=H[g(\hat{\mathcal{R}})]\leqslant H[\hat{\mathcal{R}}] </math>

根据统计复杂度的定义可知，<math>C_\mu(\mathcal{R})\equiv H[\mathcal{R}] </math>，则<math>C_\mu(\hat{\mathcal{R}})=H[\hat{\mathcal{R}}] </math>。

根据统计复杂度的定义可知，<math>C_\mu(\mathcal{R})\equiv H[\mathcal{R}] </math>，则<math>C_\mu(\hat{\mathcal{R}})=H[\hat{\mathcal{R}}] </math>。