---- 命题5.9由 7+1 个条件、1个结果、4个约束构成.
---- 这种命题本身是怎么想出来的呢 ?
.
---- 试找出命题5.9的轴心和自然起点.
.
(Y, T) lc 起到关键作用.
---- 证明对 (Y, T) 凑足Th1.7的条件, 从而用“补法”构造出 T⁺.
---- 而 T⁺ 就是要找的 Λ 在 Y 中的像.
.
为了用“补法”造相, 就得有个“参”.
---- 参的原型是 M - (Kx + B).
---- 对于(Y, T)而言, “参”设为 ? - (KY + T).
---- 对参做加权 (n+1)? - n(KY + T), 事成矣.
.
现在的问题是定出“?”.
---- 参之侯, M|S ~ 0.(僮重之地, 侯不得入).
---- 此处有 AY|T ~ 0.
---- 但事情不那么简单: 还得配个系数 l.
(原作找出 “?” 为 lA, 且经过倍数替换).
.
另一件事是: “参”要符合“丰”.
---- 即设法让 “? - (KY + T)” ample.
---- 由前文, “?”里该有 AY.
---- 但 AY - (KY + T) 不符合 ample.
---- 由此, AY 该有个系数 (记作 l ).
---- 于是问题转为: 设法让 “lAY - (KY + T)” ample.
.
eps'-参: lAY - (KY + (1 - eps')T)
---- 为达成“参”丰, 须达成“eps'-参”丰.
.
“团”: KY + ΓY + 3dAY.
---- 为达成“eps'-参”丰, 须达成“团”丰.
.
“2-团”: KY' + ΓY' + 2dAY'.
---- 为达成“团”丰, 须“2-团”欠丰.
---- 这个事情发生在Y'空间.
.
eps'-锻: 造相 Γw.
---- 此法连带得出“父”“舅”.
---- 而“父舅”与“2-团”有关.
.
eps' 与相的嵌套.
---- eps' 来自 ACC.
---- 相的嵌套: 用U替换B.(cf.Step4,Pro.5.7).
(Step1* 是为运用eps'-锻法造相做准备). .
小结: 初步整理命题5.9证明的脉络.
符号大全、上下标.|| 常用:↑↓ π ΓΔΛΘΩμφΣ∈ ∉ ∪ ∩ ⊆ ⊇ ⊂ ⊃ ≤ ≥ ⌊ ⌋ ⌈ ⌉ ≠ ≡ ⁻⁺⁰ ¹ ² ³ ᵈ ₀ ₁ ₂ ₃ ᵢ .