APP下载

Rn空间中几乎凸不等式系统的度量正则性与全局误差界

2019-12-27陈慧敏

绵阳师范学院学报 2019年11期
关键词:子集正则度量

陈慧敏

( 西华师范大学数学与信息学院,四川南充 637009)

0 引言

在本文中, 考虑如下不等式系统:

f(x)≤0,x∈C,

S∶={x∈C|f(x)≤0}=C∩(lev≤0f),本文中始终假设集合S≠Ø.当X=Rn时,f为几乎凸函数, 集合C⊆Rn为几乎凸集,此时,称该系统为几乎凸不等式系统(1).当X=Rn时,f为凸函数,集合C⊆Rn为闭凸集,此时,称该系统为凸不等式系统(2).凸不等式系统(2)为几乎凸不等式系统(1)的特殊情况.

近年来,关于误差界、度量正则性和Slater条件的研究在数学规划中引起了广泛的关注.度量正则性已被认为是当代变分分析的核心概念之一,其在广义方程,变分不等式,优化等方面发挥着非常重要的作用(参见文献[1,2,3]).1998年,Deng[4]在Banach空间中证明了凸不等式系统的度量正则性、全局误差界和Slater条件之间的关系.在一定条件下,文献[5]在 空间中证明了几乎凸不等式系统(1)全局误差界的存在性,即:存在λ>0,使得

d(x,S)≤λ[f(x)]+,∀x∈C.

1 预备知识

首先回顾一些相关的概念与基本结论.

f(tx+(1-t)y)≤tf(x)+(1-t)f(y),∀x,y∈S,∀t∈[0,1],

为证明主要结论, 我们需要如下定义、引理和命题.

定义1[6]设A,B是Rn的子集, 若clA=clB和riA=riB, 则称集合A和B近似相等, 表示为A≈B.

定义2[3]设A是Rn的子集, 若存在Rn的一个凸子集D, 使得D⊆A⊆clD, 称A为几乎凸集.

定义4[4]假设系统(1)的解集S非空且集合Ŝ⊂S, 若存在正常数δ和τ(δ), 使得:

d(x,S)≤τ(δ)[f(x)]+当d(x,Ŝ)≤δ,∀x∈C

称系统(1)在集合Ŝ上有度量正则性,其中[f(x)]+=max{f(x),0}.

当Ŝ={z}时, 称系统(1)在z处有度量正则性.若系统(1)在z处有度量正则性,并且对任意的z∈S均成立, 则称系统(1)在集合S中的每一点处都有度量正则性.

注1[8]A为几乎凸集且riA=Ø, 则riA和clA为凸集.

2 主要结果

S∶={x∈D|h(x)≤0}非空, 考虑以下结果:

(ⅰ)系统(2)具有全局误差界.

(ⅱ)系统(2)在任意非空集合Ŝ⊂S上具有度量正则性.

(ⅲ)系统(2)在集合S上有度量正则性.

(ⅳ)系统(2)在集合S内每一点处都有度量正则性.

(ⅴ)系统(2)满足Slater条件.

则以下关系成立:

(ⅰ)⟺(ⅱ)⟺(ⅲ)⟺(ⅳ)⟺(ⅴ)

证明在Banach空间中,Deng[4]证明了该结论成立.当x∈D∩domh,在Rn空间中,经过验证该结论仍成立.当x∈D|domh时,h(x)=+∞,[h(x)]+=+∞, 故该结论显然也成立.

clf(x)≤0,x∈clC

(3)

(ⅰ)系统(1)具有全局误差界.

(ⅱ)系统(1)在任意非空集合Ŝ⊂S上具有度量正则性.

(ⅲ)系统(1)在集合S上有度量正则性.

(ⅳ)系统(1)在集合S内每一点处都有度量正则性.

(ⅴ)系统(1)满足Slater条件.

则以下关系成立:

(ⅰ)⟹(ⅱ)⟹(ⅲ)⟹(ⅳ)⟸(ⅴ)

证明(ⅰ)⟹(ⅱ):几乎凸不等式系统(1)具有全局误差界,即:存在正常数λ>0, 对于任意的x∈C, 都有d(x,S)≤λ[f(x)]+.

所以,对于任意的x∈C且满足d(x,Ŝ)≤δ, 上式也是成立的.故系统(1)在集合S的任意非空子集Ŝ上具有度量正则性.

(ⅱ)⟹(ⅲ):已知系统(1)在集合S的任意非空子集Ŝ上具有度量正则性, 即存在正常数δ与τ(δ), 使得

d(x,S)≤τ(δ)[f(x)]+,当d(x,Ŝ)≤δ,∀x∈C

当Ŝ=S时, 易得系统(1)在集合S上有度量正则性.

(ⅲ)⟹(ⅳ):系统(1)在集合S上有度量正则性, 即存在正常数δ与τ(δ), 使得

d(x,S)≤τ(δ)[f(x)]+,d(x,S)≤δ

所以, 若几乎凸不等式系统(1)满足Slater条件, 则系统(1)在集合S中的每一点处都有度量正则性.

(ⅰ)凸不等式系统(3)有全局误差界⟹几乎凸不等式系统(1)有全局误差界.

(ⅴ)几乎凸不等式系统(1)满足Slater条件⟹凸不等式系统(3)满足Slater条件.

证明(ⅰ) 证明参见文献[5].

d(x,S)≤τ(δ)[f(x)]+,当d(x,S)≤δ

同理, 用类似的证明方法可以推出(ⅲ)、(ⅳ)成立.

(ⅴ)由文献[8]中引理6.3与命题6.2可知, 几乎凸不等式系统(1)满足Slater条件可以推出凸不等式系统(3)满足Slater条件.

猜你喜欢

子集正则度量
鲍文慧《度量空间之一》
拓扑空间中紧致子集的性质研究
π-正则半群的全π-正则子半群格
Virtually正则模
关于奇数阶二元子集的分离序列
带低正则外力项的分数次阻尼波方程的长时间行为
代数群上由模糊(拟)伪度量诱导的拓扑
突出知识本质 关注知识结构提升思维能力
度 量
任意半环上正则元的广义逆