博文
“执行定理”的证明(f++)
||
This is an in-mail from TYUST.
本期开始分组发送邮件，搭载数学类学院等链接。
随机温习...
.
Finally since a(T, X, B) ≥ eps > eps' = a(T, X, B + sL), we have μTν*sL ≥ eps - eps' which implies s ≥ (eps - eps')/q, hence s is bounded from below as required.
.
a eps' 25 28 44
| | | | |
Para 6.1
| |
(45) 46
.
注: 执行定理的 “收官” 之笔.
输入:
---- a: Th1.6的主条件 (X, B) proj. eps-lc.
---- eps': 调用Pro.5.9.之假设.
---- 25: 最大的s, 使得 (X, B + sL) eps'-lc.
---- 28: T, 使得 a(T, X, B + sL) = eps'.
---- 44: μTν*L ≤ q.
输出:
---- 45: μTν*sL ≥ eps - eps'.
---- 46: s ≥ (eps - eps')/q.
.
小结: 补上了第六段的逻辑模块.
https://blog.sciencenet.cn/blog-315774-1199877.html
上一篇：“执行定理”的证明 (f+)
下一篇：“执行定理”的证明 (总复习)
扫一扫，分享此博文
全部作者的精选博文
全部作者的其他最新博文
- • 研究的"标准"
- • 大学的本意（二）
- • 大学的本意
- • chatGPT 问答：美国科研为何比欧洲强大
- • 研究生不要做跨学科研究
- • 凡所有相，皆是虚妄。