让我们(, 一) 表示S的最大连通子集(, 一) :=\\(r,α,β)∈Vnz公司∈ RV+,0:fr,α,β(z)≥ -1{(r,α,β)∈ 一} o包含0。然后将引理3.2的证明Sin替换为S(, 一) ,我们得到了最小(分量)点^z的存在性(, (一)∈ RV+,0使fr,α,β(^z(, 一) )=- 对于(r,α,β)∈ Iand frα,β(^z(, 一) )=0表示(r,α,β)∈ 特别是^z(, (一)∈ S(, 一) 。让我们不要(, 一) :=\\(r,α,β)∈Vnz公司∈ RV+,0:fr,α,β(z)≤ -1{(r,α,β)∈ 一} o.那么很明显是^z(, (一)∈ T型(, 一) 。此外,为了证明^z的存在(, 一) 我们可以使用任何上界z∈ T型(, 一) ,这表明^z(, (一)≤ z分量。尤其是^z(, 一) ismonotone输入 因此,z(I):=lim→0+^z(, 一) 存在。现在让我来“z”∈ T(I)任意。然后存在一个序列(zk)k∈N RV+,0,fr,α,β(zk)<0,用于(r,α,β)∈ I分别为fr、α、β(zk)≤ 0表示(r,α,β)∈ V\\I使limk→∞zk=(R)z。根据I的完整性,我们可以找到k> 0,使fr,α,β(zk)≤ -k1{(r,α,β)∈ 一} 对于任何(r,α,β)∈ V和k∈ N、 特别是zk∈ T型(k、 I)因此zk≥^z(k、 (一)≥z.为k→ ∞,因此,我们可以得出以下结论▄z≤“z”表示任何“z”∈ T(I)和▄z≤ z(一)。另一方面,z(I)∈ 定义T(I),因此z(I)=z(I)。最后,注意z(I)=lim→0+^z(, (一)∈T>0秒(, 一) =S,其中最后一个等式从t开始>0秒(, (一) S和that>0秒(, 一) 必须是一个包含0的连接集,因为S(, 一) 是包含0的连接紧集链。定理4.7的证明。设^zm表示事后冲击系统的^z类似物。然后fr,α,β(^zM)+E“W+,r,αPXs∈[R] sPoiXγ∈【T】W-,s、 γ(^zM)s,β,γ!≤ C- 1.1{A=β}1{M=0}#=(fM)r,α,β(^zM)=0,因此fr,α,β(^zM)≤ 当且仅当E[W+,r,α1{A=β}1{M=0}]=0时,等于0。定义Now := - 最大值(r,α,β)∈Ifr,α,β(^zM)>0,因此^zM∈ T型(, 一) ,其中T(, 一) 如Lemma 4.6的证明。
|