|
从现在起,除非另有说明,我们总是使用定义2.12作为Tε、λ–或Tc–下半连续函数的概念。关于随机凸分析,设(E,P)是R上带基的RLC模(Ohm, F、 u)和F:E→L(F)。定义f*ε、 λ:E*ε,λ→\'L(F),F**ε、 λ:E→\'L(F),F*c:E*C→L(F)a和F**c:E→L(F)如下所示:F*ε、 λ(g)=W{g(x)- f(x)|x∈ E} 尽管如此,g∈ E*ε,λ;F**ε、 λ(x)=W{g(x)- F*ε、 λ(g)|g∈ E*ε、 λ}对于所有x∈ EF*c(g)=W{g(x)-f(x)|x∈ E} 一个星期∈ E*CF**c(x)=W{g(x)-F*c(g)|g∈ E*c} 为了所有的x∈ E.在[GZ15A]中,郭等人证明了下面的命题2.15:命题2.15。[gz15a]。设(E,P)是R上的RLC模,带基(Ohm, F、 u)和F:E→L(F)一个适当的Tε,λ–下半连续L–凸函数。然后f**ε、 λ=f。在命题2.15的证明中[GZ15A]使用了一种技巧,即引理2.16,但在[GZ15A]中省略了一些细节,我们将给出引理2.16的详细证明,因为这些省略的细节将在本文中使用。引理2。16.设(E,P)是R上的RLC模,带基(Ohm, F、 u)和F:E→L(F)一个适当的Tε,λ–下半连续L–凸函数。如果x∈ E和β∈ L(F)是这样的:F(x)>βOhm, 然后有一个Tε,λ–连续函数h=g+α(其中g∈ E*ε、 λ和α∈ L(F))使得h(x)=g(x)+α=β和h(x)≤ f(x)表示所有x∈ E.在证明引理2.16之前,我们首先给出两个分离命题,即下面的命题2.17和推论2.18,因为引理2.16的证明是基于命题2.17的。设(E,P)是K上带基的RLC模(Ohm, F、 u),x∈ E和ME.设dQ(x,M)=V{kx- ykQ|y∈ M} 尽管如此,Q∈ P(F)和d(x,M)=WQ∈P(F)dQ(x,M)。对于d(x,M)的任何表示d(x,M),我们总是用(d(x,M)>0)表示{ω∈ Ohm | d(x,M)(ω)>0}。
|