新入の者--> What is going on ? (redirected)new

                               

本期开始分组发送邮件，搭载数学类学院等链接。

今日学院：暂无。||新闻+ ||.... Perfectoid ᴺᴱᵂ....[路过]ᴺᴱᵂ

---

随机温习...

(接前: 27 22 16) “执行定理” 的证明(f++).

.

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://wap.sciencenet.cn/blog-315774-1199877.html?mobile=1

收藏

分享