|
这将通过构造一些左连续函数来实现ω ∈ Ohm: 十、≥ 0,G(x,ω)=G(x,ω)= 1、我们定义(x,ω),(supq∈Qq<xG(q,ω),如果x>0,则G(0,ω),否则。从(iii)中回想G是B([0+∞)) G-可测量,所以很明显G是b([0+∞)) G-也可以测量。此外,对于每一个ω,检查这一点很简单∈Ohm, 函数g(·,ω)在(0+∞). 我们进一步指出,通过构造,G的所有路径在(0+∞).从G的所有样本路径的单调性可以看出,它们的质量是G(x,ω)≥G(x,ω)对每个x同时成立≥ 0,对于每个ω∈ Ohm. 特别是,对于每个ω∈ Ohm 为了所有的x≥ 0,它认为g(x,ω)<+∞. 最后,我们将展示Pω ∈ Ohm: 十、≥ 0,G(x,ω)=G(x,ω)=1.(a)证据是矛盾的。让我们假设Ohm,ω ∈ Ohm : x>0s.t.G(x,ω)>G(x,ω)具有严格的正度量,即P(Ohm) > 0.注意,因为(Ohm, G,P)是一个完整的测度空间,我们可以应用可测投影定理(参见Sainte Beuve[22]中的定理4])来推导Ohm= 项目OhmG-G-1((0, +∞))属于G。以多功能E为例:Ohm => [ 0 , +∞) 给定byE(ω),x>0:G(x,ω)>G(x,ω), 如果ω∈ Ohm,{1} 否则。其图形由gph E=(Ohmc×{1})∪[Ohm× (0, +∞)] ∩HG-G-1((0, +∞))我给定一组E X×Y,我们记得E在X上的投影是projx(E),{X∈ X: Y∈ Y使得(x,Y)∈ E} 。第20页/离散时间正实轴上的非凹效用最大化,属于B([0+∞)) G同样地,我们可以应用冯·诺伊玛·纳努曼定理(参见Sainte Beuve[22]中的定理3])来产生一个g可测量选择器H:Ohm → [ 0, +∞) 当然。特别是,这意味着ω ∈ Ohm: G(H(ω),ω)>G(H(ω),ω)≥ P(Ohm) > 当G(0,ω)=G(0,ω)时,我们得到H>0。
|