---- Step3 中的 ψ*φ* 是 X 到 V 的(复合)映射.
---- 不妨改写为 Ψ.
.
Step4
1. (X, B) ~ eps-lc & Kx + B ~R 0.
注: 关系方程组, 定出 B.
2. Kv + Bv = Ψ(Kx + B); Kv + Ωv = Ψ(Kx + Ω).
注: 用平凡的运算形造相.
3. (V, Bv) sub-eps-lc.
4. a(T, V, Bv) = a(T, X, B) ≤ 1.
5. (V, Ωv) sub-lc.
6. a(T, V, Λ) = a(T, X, Ω) ≤ 1.
7. (SuppΩv ∪ Ev) ⊂ SuppΛ.
8. Ωv ≤ Λ.
9. a(T, V, Λ) ≤ a(T, V, Λv) ≤ 1.
.
评论: 1~6 的 “石头” 是 (V, Bv) 和 (V, Ωv), 后者为辅助.7~ 9 的重心是 Λ.
.
加评: Step4 的落点是不等式 4 和 9.(6 只是过渡/辅助).
---- 为 Step6 的不等式做准备.
.
造相法: 1 是“关系造相法”, 2 是 “映射造相法”.
.
技术点: 1,7,8 是 “技术点”. (ψ*φ* 是“单词”).
.
存疑: Ω 或 Ωv 在整个证明中起到何种作用.(?)
.