博文
如何进行“原地”学习？
||
This is an in-mail from TYUST.
本期开始分组发送邮件，搭载数学类学院等链接。
.
如何进行“原地”学习？
By construction, Supp B contains no stratum of (X, ΣRi), except possibly x, hence it contains no point of π⁻¹{z}, except possibly x, because each point of π⁻¹{z} is a stratum of the pair mentioned.
---- 之前约定，“stratum” 标识为“宝”。
---- “because” 这半句是说，“z-核” 里全是 “宝”。
(应该是明显的，但暂时看不出。待考)。
---- 这句话透露出“stratum”是一种“point”。
---- 既然赋予这种“point”专有名称，意味着它是“岛”。
---- 之前提到，“岛” 联系着某种 “不变性”。
---- 其实，“不变性” 也往往联系着 “对称”。
---- 比如，线段，虽是很简单的几何对象，但它有名称，有不变性（平面180度旋转不变、曲率不变），所以线段也是个“岛”。
---- “stratum” 所联系的不变性值得期许...
.
评论：这个第五段就一句话。读写到这里，忽然想到，所谓“命题”，只不过是一系列推演的“提纲化”：作者该是先有了推演，然后把它概括成“命题”的形式，再用“证明”的形式重新组织那些推演。这就是为什么说，证明和理论都是构造出来的！我是这么猜（多新鲜呐）。
.
第六段（逐句评论）：
Take a general hyperplane H on lPᵈ, let G = π*H, and consider the induced morphism σ: G --> H which has the same degree as π.
---- 看到前半句，忽然想起《牛顿光学》中的话 “我拿来一张纸，这纸很厚...”。
---- 也许，代数几何与物理实验有相通之处。
---- 物理学家是摆弄一些实验装置。
---- 数学家则是摆弄一些符号装置。
---- 比如，透镜可以看做 “实体算子”，可以把透入的光 map 成它的像。
---- 原作为何会想到“consider the induced...”？
---- 很可能过去就有过类似的做法。
---- 第一个这样做的人，则是由于上下文的启发作用偶然想到。
---- 以后遇到类似情况，就这么办。
---- 总之，为了做实验/试验，要对现有的“装置”很熟悉，同时具备相关的知识。
.
By induction on dimension, deg π = deg σ = (A|G)ᵈ⁻¹ = Aᵈ⁻¹G = Aᵈ.
---- 看不出原作是怎么归纳的。
---- 暂时作为公式记住。
.
小结：
1. 第五段概括为“禁~宝~库”（z-核取个别称“库”，即“宝库”）。
2. 第六段概括为“π*~σ~(A|G)ᵈ⁻¹”。
https://blog.sciencenet.cn/blog-315774-1159880.html
上一篇：之前用“王侯将相”语言，至少能在W空间“成像”...
下一篇：凡是有名称的都联系着不变性。
