可能只是个决心问题..
.
Step7b
1. T ~ ample.
2. φ*uT ≤ ψ*M.
(理由: negativity lemma)
3. μT~(ψ*M) ≥ u.
4. (V, Δ + 1/u M) not klt.
5. a(T, V, Δ + 1/u M) ≤ a(T, V, Δ) - 1 ≤ 0.
6. (V, Δ + tM) klt.
(理由: Th1.6)
7. t < 1/u.
8. u < v:=1/t.
注: 1 ==> 2 ==> 3; 5 ==> 4; 6 ==> 7 ==> 8.
.
评注: 1~4是一个阶段, 4~8是一个阶段.
---- 3,4,6的理解甚为关键, 但尚未搞明白.(?)
.
加评: 从大视角看, (V, Δ + 1/u M) 是关键构造.
---- 1/u M 可看做一种“设计”或“单词”.
---- 边界 Δ + 1/u M 属于 “权法”*(B + tL 形式). .
加评: 此处Th1.6只为弄出个不等式(大费周章).
.
小结: 须针对4,6展开攻关(温习有关概念).
符号大全、上下标.|| 常用:↑↓ π ΓΔΛΘΩμφΣ∈ ∉ ∪ ∩ ⊆ ⊇ ⊂ ⊃ ≤ ≥ ⌊ ⌋ ⌈ ⌉ ≠ ≡ ⁻⁰ ¹ ² ³ ᵈ ₀ ₁ ₂ ₃ ᵢ .