博文
来一段古怪的音乐~
||
This is an in-mail from TYUST.
本期开始分组发送邮件，搭载数学类学院等链接。
来一段古怪的音乐~
.
Step1.
1. T = [L].
(方括号表示 “取分量” 操作).
2. P ==> L ≡ uT (u ≥ μTL).
(P 指代 Picard number one).
3. re|L ==> L = uT.
(re|L 表示替换竖杠右侧的对象).
4. (L) 有上界 ≅ u 有上界.
5. Th2.13 ==> 存在 n-补 Kx + Ω.
6. Th2.10, 11, re|n ==> |-nKx| ≝bir-map; vol(-Kx) 有上界.
注: 1 ==> 2 ==> 3 ==> 4; 5; 6.
.
评论: 5,6 是从[3]引述的模块.
.
加评: Step1 有 4 个要点:
a) L = uT;
b) Kx + Ω;
c) |-nKx|b; (b 提示 bir-map)
d) vol(-Kx)b; (b 提示 bounded)
.
图解:
L = uT
|
|
Kx + Ω
.
注: 四个凸出都关乎 Kx. (L 等价于 -Kx).
.
疑问: Kx + Ω 的来由似乎不充分.(?)
(Th2.13的条件未作明确验证).
.
小结: Step1 温习完毕.
https://blog.sciencenet.cn/blog-315774-1187051.html
上一篇：命题的黑箱模型~
下一篇：解读证明是为了“概念化”~
