更改

添加44字节 、 2024年6月30日 (星期日)
将公式47改为Latex格式
第767行: 第767行:  
定理2(因果态是最简的)【15】对所有预知竞争态R^,
 
定理2(因果态是最简的)【15】对所有预知竞争态R^,
   −
(R^)≥Cμ(S)。(47)
+
<math>
 +
C_μ(\hat{\mathcal{R}}) \ge C_μ(\mathcal{S}) . \tag{47}
 +
</math>
    
证明。由引理7,备注4可得,有一个函数g符合S = g(R^)几乎总成立。但是H[f(X)]≤H(X)(等式(附录11))并且因此
 
证明。由引理7,备注4可得,有一个函数g符合S = g(R^)几乎总成立。但是H[f(X)]≤H(X)(等式(附录11))并且因此
470

个编辑