博文
看上去接近了, 但推不出...
||
This is an in-mail from TYUST.
本期开始分组发送邮件，搭载数学类学院等链接。
看上去接近了, 但推不出...
Step6的轴心是奇异类型转换公式:
---- <sub-eps-lc> = あ* <eps-lc>.
---- “ぁ*” 表示某种 “回拉”.
---- 尖括号内是配对的奇异类型.
---- 在此公式中配对以运算形式出现.
|--- 第一段前半部分的推导框架:
<sub-eps-lc> = π* <eps-lc>
........↓?
<sub-eps-lc> = π* <eps-lc>
注：蓝色是条件(逻辑起点)，红色是结果(历史起点).
.
现在只差问号那一步 (3,5 ==> 4)*:
(Y, B~ + RY) sub-eps-lc =?=> (Y, RY + DY -1/tFY) sub-eps-lc.
---- 比较两边的“相”, 都有个 RY.
---- 若 B~ 和 DY -1/tFY 有某种一致性就好了.
|--- 先考察左边(按定义). 为此假设有回拉:
---- W --> Y. 且 Kw + Uw 回拉 KY + B~ + RY.
---- 则: 1- μCUw ≥ eps, 其中C是W上的素除子.
|--- 再假定右边“相”的回拉为 Vw.
---- 希望: 1 - μCVw ≥ eps.
|--- 为了利用 1- μCUw ≥ eps, 须拆开Uw:
---- 设 Uw=B~+Rw. 则:1- μC(B~ + Rw) ≥ eps.
|--- 转而拆开 Vw = Rw + Dw -1/tFw. 则:
---- 1 - μCVw = 1 - μC(Rw + Dw -1/tFw)
= 1 - μCRw - μCDw + 1/tμCFw
≥ eps + μCB~- μCDw + 1/tμCFw
≥ eps + μC(B~ - Dw +1/tFw)
---- 按希望，该有 μC(B~ - Dw +1/tFw) ≥ 0.
---- 若 μC1/tFw ≥ 0 该有 μC(B~ - Dw) ≥ 0.
---- 转化为 μCB~≥ μCDw.
---- 原作提示 (DY) ≤ 1- eps. 括弧表示取系数.
---- 意味着 (DY)∈[0, 1-eps].
---- 合理假定 (B~) ∈[0, 1].
---- 看上去接近了, 但推不出...
.
评论：原作没做任何推导, 也许很简单...
.
小结：Step6 暂时温习到这里.
https://blog.sciencenet.cn/blog-315774-1176696.html
上一篇：什么是真正的物理学？
下一篇：这件事本身就该由教授们提出来。
