新入の者--> What is going on ? (redirected) new

                               

本期开始分组发送邮件，搭载数学类学院等链接。

今日学院：暂无。|| 新闻+ ||.... Perfectoid ᴺᴱᵂ....[路过]ᴺᴱᵂ

---

命题的黑箱模型~

(接前：25 23 22) 命题 3.1: 温习.

.

命题3.1的叙述.

---- 此命题的叙述有若干组件:

1. 预配置: 假设 Th1.6( ≤ d) 和 Th1.1( ≤ d - 1).

2. 主配置: 主空间 X 的属性: PQEF.

3. 副配置: -Kx ~R L ≥ 0.

4. 结果: (L) 有上界.

.

 1 2 3

  |  |  |

   ?   

    |

   4   

.

注: 命题的叙述类似于子程序的界面.

---- 3 条输入指令, 1条输出结果.

---- 从程序角度看, 结果即需求...

(此需求的形式或已一般化...).

---- 查调用关系*, Pro3.1的唯一上家是Lem3.2.

---- 理解 3.2 对理解 3.1 至关重要.

(命题3.1的需求该出自引理3.2).

.

又注: 原作花费近两页, 将输入和输出联系起来.

---- 7个步骤, 共11段.(即黑箱内部结构).

---- 能写出黑箱内部构造, 必已熟悉有关组件.

* * *

理解命题包括两个方面:

1. 外部, 命题的形成 (上下文, 需求).

2. 内部, 命题的证明 (思路, 自然起点).

.

命题关乎 “方法”, 而引理关乎 “入口”.

.

对于证明, “牢固的记忆”和 “探寻自然思路” 都很重要.

.

小结: 注意到 3.2 和 3.1 的关系.

---

 符号大全、上下标.|| 常用：↑↓ πΓΔΛΘΩμφΣ∈ ∉ ∪ ∩ ⊆ ⊇ ⊂ ⊃ ≤ ≥ ⌊ ⌋ ⌈ ⌉ ≠ ≡ ⁻⁺⁰ ¹ ² ³ ᵈ ₀ ₁ ₂ ₃ ᵢ .

转载本文请联系原作者获取授权，同时请注明本文来自李毅伟科学网博客。

链接地址：https://wap.sciencenet.cn/blog-315774-1186912.html?mobile=1

收藏

分享