博文
过去了5周多一点..
||
This is an in-mail from TYUST.
本期开始分组发送邮件，搭载数学类学院等链接。
过去了5周多一点..
---- 早先计划6周完成第三部分, 有所滞后*.
.
引理 3.2 的叙述.
预配置: Th1.6(≤ d), Th1.1(≤ d-1).
结果: Th1.4( = d).
.
评论: 此引理更像归纳法的一部分.
.
证明: 第一段.
Proof. Pick eps'∈(0, eps).
---- 选定一个小的正数.
注: 原作时常用到pick 句型.
.
Let (X, B), A = -(Kx + B) be as in Theorem 1.4 in dimension d and pick L ∈ |A|R.
---- 已知配对 (X, B) eps-lc.
---- 设“侯”: A = -(Kx + B).
---- 设“将”: L ∈|A|.
.
评论: 现在感到这几样都很自然.
.
Let s be the largest number such that (X, B + sL) is eps'-lc.
---- 这种最大的 s 存在吗?
---- 注意, 此处是 eps'-lc 而不是 lc.
---- 慢, eps'-lc 指隙函数大于或等于eps', 后者大于零.
---- 意味着 eps'-lc 也可看成 lc.
(Th1.4 是要找 lct 的下界)
.
It is enough to show s is bounded from below away from zero.
---- 最大的 s 有正下界...
---- lct 是上界中最小的, 若最大的s 有下界, 意味着可以取到下确界.
.
In particular, we may assume s < 1.
---- 理由待考(?)
.
小结: 命题3.2叙述及证明Step1读写完毕.
https://blog.sciencenet.cn/blog-315774-1190395.html
上一篇：隙函数是严格递减吗？
下一篇：从陌生到熟悉~
