形式简单,就会简单。
.
Step6 的图解.
.
Bv → Λ
↑ ↓
α Δ
注: 用凸组合构造 Δ.
.
a T
.
V Δ
注: 凸组合对应的 “隙函数” a.(保持不超过1的性质).
.
H — Λ
| \
Bv Δ
注: 由两直边的丰导出斜边的丰.
---- H - Λ 和 H - Bv 丰, 则其凸组合 H - Δ 丰.
.
Bv Λ
∫ ∪
-Kv ~ Ω
注: Bv 等价于 Ω, 后者包含于 Λ.
---- 于是, 由 H - Λ 丰 ==> H - Bv 丰.
---- 而 H - Λ 丰 源于 re|H (替换并假定).
(此图用于解释上图).
.
最后, 存在自然数 r 使得 Hᵈ ≤ r.
---- 原作未作任何提示.(?)
---- 此条件可简称为 “d-方”. 方即有界.
.
小结: Step6 图解完毕.(凸组合: 边界 Δ, 隙函数 a, 差丰, d-方).
符号大全、上下标.|| 常用:↑↓ π ΓΔΛΘΩμφΣ∈ ∉ ∪ ∩ ⊆ ⊇ ⊂ ⊃ ≤ ≥ ⌊ ⌋ ⌈ ⌉ ≠ ≡ ⁻⁰ ¹ ² ³ ᵈ ₀ ₁ ₂ ₃ ᵢ .