随机温习...
(接前: 05a 03 01) “机甲大战” (Pro5.9) 的证明.(Step2的概括) .
Step2 总共有4小步 ——
.
1. 控制配对 (X, U) 引导的对数消解 ψ.
.
W ~ T
ψ ↓
X U
.
2. 变形的全像 Γw.
---- γ:= {1 + v, 1 - eps'/4, 1 - eps'}.
---- ω:= { U~, Eψ, T}.
Γw:=γ·ω=(1 - v)U~ + (1 - eps'/4)Eψ + (1 - eps')T.
.
评论: ω 完全由控制配对决定, 变配对的因素是从 γ 的前两个分量引入的.
---- 从这个意义上讲, 变形是由变配对引起的.
.
3. 控制配对引导的锻公式.
---- Kw + Γw = ψ*(Kx + U) + vU~ + F.
其中 F:= Σ(ci - eps'/4)Ei.
注: F ef. & ex. over X; T ⊄ SuppF.
.
4. 变配对引导的锻公式.
---- Kw + Γw = ψ*(Kx + (1 + v)U) + G.
其中 G:= Σ(ci' - eps'/4)Ei + (a' - eps')T.
注:G ex. over X; dim(im(Ei))>0==>Ei=p[G], p>0.
.
小结: 概括了Step2的内容.