|
那么在事件上,我们有:E*(γ) :=supγ∈Γinfθ∈Θmaxλ∈∧phb(·,θ,γ,λ)- infθ∈Θmaxλ∈∧phb(·,θ,γ,λ)≤ infθ∈Θmaxλ∈∧phb(·,θ,γ)*, λ) - infθ∈Θmaxλ∈∧ph`b(·,θ,γ,λ)+3ε=infθ∈Θmaxλ∈∧phb(·,θ,γ)*, λ) - infθ∈Θmaxλ∈∧phb(·,θ,γ,λ)+supγ∈Γinfθ∈Θmaxλ∈λPnh`b(·,θ,γ,λ)- infθ∈Θmaxλ∈λPnh`b(·,θ,γ,λ)-supγ∈Γinfθ∈Θmaxλ∈λPnh`b(·,θ,γ,λ)- infθ∈Θmaxλ∈λPnh`b(·,θ,γ,λ)+ 3ε=E*(γ) +infθ∈Θmaxλ∈∧phb(·,θ,γ)*, λ) - infθ∈Θmaxλ∈∧phb(·,θ,γ,λ)-supγ∈Γinfθ∈Θmaxλ∈λPnh`b(·,θ,γ,λ)- infθ∈Θmaxλ∈λPnh`b(·,θ,γ,λ)+ 3ε.现在注意:infθ∈Θmaxλ∈∧phb(·,θ,γ)*, λ) - infθ∈Θmaxλ∈∧phb(·,θ,γ,λ)≤ infθ∈Θmaxλ∈∧phb(·,θ,γ)*, λ) - 最大λ∈∧phb(·,θ)*(γ), γ, λ) + ε≤ 最大λ∈∧phb(·,^θ(γ)*), γ*, λ) - 最大λ∈∧phb(·,θ)*(γ), γ, λ) + 2ε≤ 最大λ∈∧phb(·,^θ(γ)*), γ*, λ) - phb(·,θ)*(γ), γ,^λ(θ*(γ), γ)) + 2ε≤ phb(·,^θ(γ)*), γ*, λ*(^θ(γ*), γ*)) -Ph`b(·θ)*(γ), γ,^λ(θ*(γ), γ)) + 2ε.类似地:infθ∈Θmaxλ∈λPnh`b(·,θ,γ,λ)- supγ∈Γinfθ∈Θmaxλ∈λPnh`b(·,θ,γ,λ)≤ infθ∈Θmaxλ∈λPnh`b(·,θ,γ,λ)- infθ∈Θmaxλ∈∧Pnh`b(·,θ,γ)*, λ) + 3ε≤ infθ∈Θmaxλ∈λPnh`b(·,θ,γ,λ)- 最大λ∈λPnh`b(·,^θ(γ)*), γ*, λ) + 4ε≤ 最大λ∈∧Pnh`b(·θ)*(γ), γ, λ) - 最大λ∈λPnh`b(·,^θ(γ)*), γ*, λ) + 5ε≤ Pnh`b(·θ)*(γ), γ,^λ(θ*(γ), γ)) -Pnh`b(·,^θ(γ)*), γ*, λ*(^θ(γ*), γ*)) + 5ε.因此我们得出结论:E*(γ) ≤ En(γ)+10ε+phb(·,^θ(γ)*), γ*, λ*(^θ(γ*), γ*)) -Ph`b(·θ)*(γ), γ,^λ(θ*(γ), γ))-Pnh`b(·,^θ(γ)*), γ*, λ*(^θ(γ*), γ*)) -Pnh`b(·θ)*(γ), γ,^λ(θ*(γ), γ)).然而,γ∈ G*(σ) 根据假设,E*(γ*) ≤ ε ≤ E*(γ) =σ意味着γ*∈ G*(σ).
|