博文
如何解决数学证明中的“隐含调用”问题 ?
||
This is an in-mail from TYUST.
本期开始分组发送邮件，搭载数学类学院等链接。
如何解决数学证明中的“隐含调用”问题 ?
Step6. 第二段 (逐句评论).
Since π is an isomorphism over the complement of finitely many closed points, Supp D does not contain any positive-dimensional stratum of (X, Λ).
---- 前半句 complement 是指从 X 中排除闭合点.
(这些闭合点是有限多个).
---- 后半句讲 Supp D，即 D 取代了 B 的地位.
---- 后半句表明， D 已经接近了理想中的 B.
注：从Step4 开始，原作转向修改 B，使得 Supp B 不含 (X, Λ) 的 x 以外的任何 stratum. 所谓“修改”，是要找到能够替换 B 的 divisor （最终目的是为了“套用”命题5.5）.
.
On the other hand, since D ~R 1/t(Kx + B + 3dA) + B and since A - B is ample, there is a natural number m depending only on d, r, t such that mA - D is ample.
---- Step5末尾有:
H ~R 1/t(Kx + B 3dA); D = H + B.
---- 把 H 的等价关系代入后者，即得前半句.
(前半句猛一看会懵，上回专门分析了这种“突兀体”及应对办法).
---- 但后半句仍不明所以.(?)
(应该不难，只是暂时看不出).
.
小结：Step6 读写完毕.
https://blog.sciencenet.cn/blog-315774-1171573.html
上一篇：“主节点”的特征是配对及奇异类型
下一篇：用“空手道”学习数学，不亦乐乎?
