Update coleman_policy_iter.md

Author: nisha617

lectures/coleman_policy_iter.md

@@ -105,7 +105,7 @@ v^*(y) = \max_{0 \leq c \leq y}
 
 最后一个结果被称为**包络条件**，因为它与[包络定理](https://baike.baidu.com/item/%E5%8C%85%E7%BB%9C%E5%AE%9A%E7%90%86/5746200)有关。
 
-要理解为什么{eq}`cpi_env`成立，可以将贝尔曼方程写成等价形式
+要理解为什么{eq}`cpi_env`成立，可以将贝尔曼方程写成等价形式：
 
 $$
 v^*(y) = \max_{0 \leq k \leq y}
@@ -115,6 +115,7 @@ v^*(y) = \max_{0 \leq k \leq y}
 $$
 
 对 $y$ 求导，并在最优解处求值，即可得到{eq}`cpi_env`。
+
 （[EDTC](https://johnstachurski.net/edtc.html)第12.1节给出了这些结果的完整证明，许多其他教材中也可找到类似讨论。）
 
 价值函数的可微性和最优策略的内部性意味着，最优消费决策满足与{eq}`cpi_fpb30`相关的一阶条件，即
@@ -212,7 +213,7 @@ $$
 
 进一步分析可得：若 $\sigma \in \mathscr P$，则 $K \sigma \in \mathscr P$。
 
-### 与价值函数迭代（VFI）的比较（理论部分）
+### 与价值函数迭代的理论比较
 
 可以证明，算子 $K$ 的迭代与贝尔曼算子的迭代之间存在紧密关系。