.
Step7a 图解:
.
Ψ T
.
u M
.
注: Ψ 作用于对角线得 M.
.
H Ω
.
Ψ M
.
注: Ψ作用于对角 取度, 等于M 取度.
---- “取度”操作以 H 为底.
---- ΨΩ 有上界==> (M) 有上界.
.
T M
ex
V X
.
注: T ex V ==> M ex X ==> SuppM ⊂ Λ.
.
H - Λ
l ∪
M SuppM
.
注: H - Λ 丰, SuppM ⊂ Λ ==> H - M 丰.
.
评论: 此段构造 M, 使得 H - M 丰.
(动机是适合Th1.6的M).
.
小结: Step7a 温习完毕.