我算故我在分享 http://blog.sciencenet.cn/u/metanb

博文

“执行定理”的证明(f)

已有 1271 次阅读 2019-9-4 22:46 |个人分类:心路里程|系统分类:科研笔记

 

                                                      This is an in-mail from TYUST.
             新入の者--> What is going on ? (redirected) new
                               
本期开始分组发送邮件,搭载数学类学院等链接。
今日学院:暂无。|| 新闻+ ||.... Perfectoid ᴺᴱᵂ....[路过]ᴺᴱᵂ

随机温习...
(接前: 03 02 01) “执行定理” (Th1.6) 的证明(f).
.
证明的最后一段只有一句话, 如下.
.
Finally since a(T, X, B) ≥ eps > eps' = a(T, X, B + sL), we have μTν*sL ≥ eps - eps'...
---- a(T, X, B) ≥ eps 显得突兀...(“since 体”).
.
讨论: a(T, X, B) ≥ eps.
---- 按定义, a(T, X, B) = 1 - μTBw
---- 有了!(X, B) eps-lc 即意味着...
---- a(T, X, B) ≥ eps.
(源于 eps-lc 型配对的定义, 刚才糊涂了!)
.
讨论: μTν*sL ≥ eps - eps'.
---- a(T, X, B) = 1 - μTBw.
---- 其中 Bw 可表示为 ν*B.
---- a(T, X, B + sL) = 1 - μT(Bw + sLw).
---- 其中 Lw 可表示为 ν*L.
---- 于是, 由 a(T, X, B) ≥ eps 两边减去 eps':
---- 得, a(T, X, B) - eps' ≥ eps - eps'.
---- 用 a(T, X, B + sL) 换掉左端的 eps':
---- 得, a(T, X, B) - a(T, X, B + sL) ≥ eps - eps'.
---- 左边 = (1 - μTν*B) - (1 - μT(ν*B + sν*L))
---- = μTsν*L ≥ eps - eps' = 右边.
.
评论: 上述推导有推测的成分(应该是对的).
.
... which implies s ≥ (eps - eps')/q, hence s is bounded from below as required.
---- 由上半句 μTν*sL ≥ eps - eps' ==>
----   ≥ (eps - eps') / (μTν*L) ==>
---- s ≥ (eps - eps')/q
(最后一步见前贴: μTν*L ≤ q).
.
评论: 这个最后一段的逻辑完全打通了.
.
小结: “执行定理”(Th1.6)的证明解读完毕.(除第四段的难点, 逻辑上都走通了) .

 符号大全上下标.|| 常用:↑↓ π ΓΔΛΘΩμφΣ∈ ∉ ∪ ∩ ⊆ ⊇ ⊂ ⊃ ≤ ≥ ⌊ ⌋ ⌈ ⌉ ≠ ≡ ⁻⁰ ¹ ² ³ ᵈ  ₊ ₀ ₁ ₂ ₃ ᵢ .


http://blog.sciencenet.cn/blog-315774-1196677.html

上一篇:“执行定理”的证明(e)
下一篇:下一个是谁?

3 朱晓刚 张忆文 刘炜

该博文允许注册用户评论 请点击登录 评论 (0 个评论)

数据加载中...
扫一扫,分享此博文

Archiver|手机版|科学网 ( 京ICP备07017567号-12 )

GMT+8, 2020-9-30 18:23

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部