本期开始分组发送邮件,搭载数学类学院等链接。 (接前: 31 30 28) “执行定理” (Th1.6) 的证明(c). .
* 之前的温习中看出这么一条:
A ~ very ample, Aᵈ ≤ r <==> X ∈ 有界族.
注: 两边或以 (X, B) eps-lc 为共同前提(?).
.
评论: 左边的表述做个“概念化”: A ~ 有界重.
(所谓概念化, 就是用特定名词“封装”若干条件).
.
* 证明的第二段往5.9靠拢, 凑出3个条件:
---- H' ~ 有界重.
---- H' - B' ample.
---- (X', B') eps-lc. (?)
注: 原作要用其中的 X', B', H' 替换掉 X, B, A.
(原作所谓的替换, 即“代入”).
.
评论: 从趋势看, 接着要凑出 5.9 的其它条件.
.
Let C = 1/2A. Then we have lct(X, B, |A|R) = 1/2 lct(X, B, |C|R)...
---- 减半的 A , 对应加倍的 lct 值.
---- 添加系数 1/2 达成相等.
(此手法的好处是什么呢 ?)
.
..hence it is enough to give a positive lower bound for lct(X, B, |C|R).
---- 是为显然.
.
Let n, m, eps' be the numbers given by Proposition 5.9 for the data d, r, eps.
---- 此处只是设出 n, m, eps', 存在性须另证.(?)
.
Pick L∈|C|R.
---- “构造”出5.9需要的 L.
.
Let s be the largest number such that (X, B + sL) is eps'-lc.
---- 此处引入 s 及 eps'-lc 似是技巧(?).
.
讨论: lct(X, B, |C|) = sup{ t | (X, B + tL) lc for every L∈|C|}.
---- 假设里头 t 的范围是 (a, b). 则 lct(·) = b.
---- (X, B + tL) lc 即 a(D, X, B + tL) ≥ 0.
---- (X, B + uL) eps'-lc 即 a(D, X, B + uL) ≥ eps'>0.
---- 假定符合条件的 u 的范围是 (c, s).
---- 最大的就是 s 了.
.
评论: 其实此处是将 eps'-lc 看做 lc.
(lc 允许等于零或严格大于零)
.
It is enough to give a positive lower bound for s.
---- eps'-lc 看做 lc, 此句就显然了.
.
In particular, we can assume s ≤ 1.
---- 看不出为何可以这样假定.
.
评论: 至此, 凑出了5.9的4个常规条件, 并对待证结论做了调整.
.
小结: 第三段解读完毕.
符号大全、上下标.|| 常用:↑↓ π ΓΔΛΘΩμφΣ∈ ∉ ∪ ∩ ⊆ ⊇ ⊂ ⊃ ≤ ≥ ⌊ ⌋ ⌈ ⌉ ≠ ≡ ⁻⁰ ¹ ² ³ ᵈ ⁺ ₊ ₀ ₁ ₂ ₃ ᵢ .