# “执行定理”的证明(c+)

This is an in-mail from TYUST.

(接前: 03 02 01) “执行定理” 的证明(c+).
.
“逻辑对接” 的补充 (c+) ~ (f+).
.

12  B' 13
|    |    |
para2.13
|    |    |
18 19 20
.

12, B', 13: X', B', H'.
18~20: X, B, A.
.

.
* 第三段温习及逻辑模块.
.
Let C = 1/2 A.
.
20
|
para3.1
|
21
.

21: C.
.
Then we have lct(X, B, |A|R) = 1/2 lct(X, B, |C|R), hence it is enough to give a positive lower bound for lct(X, B, |C|R).
.
21
|
para3.2
|      |
22   23
.

22: lct 加倍式.
23: 求 lct(X, B, |C|R的正下界.
.
Let n, m, eps' be the numbers given by Proposition 5.9 for the data d, r, eps.
.
d r eps
|
para3.3
|
n m eps'
.

.
Pick L∈|C|R.
.
21
|
para3.4
|
24
.

24: L.
.
Let s be the largest number such that (X, B + sL) is eps'-lc.
.
18 19 24 eps'
|   |   |    |
para3.5
|
25
.

25:  最大的s, 使(X, B + sL) eps'-lc.
.

.
It is enough to give a positive lower bound for s.
.
25
|
para3.6
|
26
.

26: 求 s 的正下界.
.
In particular, we can assume s  1.
.
26
|
para3.7
|
27
.

27: 假定 s 不超过 1.
.

.

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

#### Glossary(AG)

*

Introduction
....
....
...

http://blog.sciencenet.cn/blog-315774-1197452.html

## 全部精选博文导读

GMT+8, 2020-9-18 22:59