.
Step5.
0. (Bv) 有下界.
注: 单个对象取括弧, 指代其系数.
1. D = [Bv], (D) < 0.
2. D ex X.
3. D = [Λ].
4. Kv + Γv = ΨKx.
注: 这是用 “映射方程” 定义 Γv.
5. Γv + ΨB = Bv.
将4定义的 Γv 代入5, 简单运算:ΨKx + ΨB - Kv = Ψ(Kx + B) - Kv = Kv + Bv - Kv = Bv.
6. μDΓv ≤ μDBv.
6b. 只须 μDΓv 有下界.
7. Kv + Γv ≡ - ΨΩ.
8. degH(Kv + Γv) 有下界.
9. degHΓv 有下界.
10. degHKv 属于固定有限集.
11. (V, Λ) ∈ Q, Av ≤ Λ, pAv - H big.
注: 1 ==> 2 ==> 3; 4 ==> 5 ==> 6 ==> 6b; 7 ==> 8; 11 ==> 10 ==> 9.
.
评论:
1 ~ 6b 将 0 化归到 6b(问题落到 Γv上了), 其中 5 是重要节点.
7 ~ 11 落点在 9. 其中 7 的来由存疑 (?). 11到9的推导存疑 (?).
.
加评: 7 怎么出来的? 原作并没有推导, 只能先接受下来.
---- 4 和 7 做差, 得到: 0 = Ψ(Kx + Ω).
---- 另一方面(Step4), Kv + Ωv = Ψ(Kx + Ω).
---- 由此: Kv = - Ωv.