博文
接近终点又似乎遥遥无期~
||
This is an in-mail from TYUST.
本期开始分组发送邮件，搭载数学类学院等链接。
接近终点又似乎遥遥无期~
.
Step6.
1. 存在 α ∈ (0, 1) 使 Δ:= αBv + (1 - α)Λ ≥ 0.
2. (V, Δ) eps'-lc, eps' = αeps.
3. (V, Bv) sub-eps-lc, (V, Λ) lc.(参 Step4).
4. a(T, V, Δ) = αa(T, V, Δ) + (1 - α)a(T, V, Λ) ≤ 1.
5. re H, H - Λ ample.
6. Bv ~R -Kv ~R Ωv.
7. SuppΩv ⊆ Λ.
8. (Ωv) 有上下界.
9. H - Bv ample.
10. H - Δ = α(H - Bv) + (1 - α)(H - Λ) ample.
11. 存在自然数 r, 使 Hᵈ ≤ r.
注: 1; 3 == > 2; 4; 5; 6,7,8 ==> 9 ==> 10; 11.
.
评论: 重点是 2, 4, 10, 11.
---- 到目前为止, 是往Th1.6靠拢(凑条件). 图解:
H ?
.
V Δ
.
加评: 也许以 Step6 作为 “瞭望台” 总揽整个证明是方便的.
.
整理: 命题3.1的证明涉及到若干空间及边界.
.
X B | Ω Σ
↑ ↑
W Σw
↓ ↓
W⁻ Σw⁻
↑
V Bv|Ωv Λ Δ
Γv
.
注: 证明终结于 V 空间(后文 Step7的最后一段只涉及到 V, Δ).
.
小结: Step6 温习完毕(推导部分待考).
https://blog.sciencenet.cn/blog-315774-1189068.html
上一篇：本科教学应当以作品为中心~
下一篇：对于研究生的习作不宜过于苛责
扫一扫，分享此博文
全部作者的精选博文
全部作者的其他最新博文
- • 千钧一发
- • AI 摘录：打造 IP 是什么意思？
- • 开卷有益
- • 两个生成式人工智能
- • 研究生教育：师生双选的另一个维度
- • 习惯提法或值得推敲