熊佳琪,王三華李秋英
(南昌大學a.數學系,江西 南昌 330031;b.科學技術學院,江西 共青城 332020)
集優化由Kuroiwa[1]于1997年首次提出,它以目標函數的每個像集(集合)作為處理對象,通過像集間的優劣比較來獲得最優解。集優化是向量優化研究的深入與發展,它為研究和處理模糊優化、向量優化、隨機優化、魯棒優化以及變分包含等問題提供了簡潔且統一的框架,并逐步被應用于運籌學、經濟學、管理學等諸多學科領域,受到極大關注。經過不斷發展,目前,集優化的研究在最優性條件、對偶理論、標量化、適定性、穩定性、Ekeland變分原理等方面都取得了很好的進展(參見[2-8]及其參考文獻)。
另一方面,在大量決策問題中,時間是一個不可忽視的因素。于是,由于時空的改變,決策者的“偏好”隨時間變化而不同。為了處理這類問題,研究者們引入了變動偏好結構(控制結構),得到帶變動偏序結構的向量優化問題。由于應用前景廣泛,這類問題受到極大關注并得到了很好發展,產生了豐富的理論和應用研究結果(參見專著[9]及其參考文獻)。2016年,Eichfelder和Pilecka[10-11]還把變動偏序結構引入到集優化,給出了最優解概念及其相互關系等基礎研究成果。本文將進一步把變動偏序結構引入到集優化的適定性問題,討論其Levitin-Polyak(簡寫為LP)適定性及廣義LP適定性的充分性條件與刻畫。據我們所知,之前還沒有這方面的成果報道。
設X,Y是實賦范線性空間,M是X中的非空子集。記2Y={A?Y:A≠?}。再設F:X→2Y是一個集值映射。考慮集優化問題:
為了給出(SOP)最優解的概念,我們先引入序關系。
若C?Y是閉凸點錐,則C能誘導Y上的偏序:x≤yiffy-x∈C,x,y∈Y。
2016年,Eichfelder和Pilecka([10])利用變動錐,定義了變動序關系。
定義2.1設C,P:Y→2Y是集值映射,使得?y∈Y,C(y),P(y)是閉凸點錐。稱C,P為變動偏序(控制)結構。在Y中定義兩種不同的變動序關系:
(2.1)
(2.2)
注2.1(ⅰ)一般來說,這兩種變動序關系并不是前序,從而也不是偏序;(ⅱ)變動序關系(2.1)反映了控制思維,而變動序關系(2.2)體現了偏好想法。詳見文獻[10]。
進一步,Eichfelder和Pilecka([10])又給出了集合的變動序關系。
定義2.2設C,P如定義定義2.1所述。在Y中定義關于集合的兩種變動序關系:A,B∈2Y,
A≤CB?(?a∈A,?b∈B:a≤Cb)??a∈A:B∩(a+C(a))≠?
(2.3)
(2.4)
注2.2若?a∈Y,C(a)=P(a)=C(C?Y是一固定的閉凸點錐),那么上述關于集合的兩種變動序關系(2.3)與(2.4)相同,且均退化為文獻[1]中由固定錐所定義的序關系。
利用變動序關系,我們給出(SOP)在變動偏序結構下的最優解概念。



接下來,我們給出文中要用到的一些基本概念和已知結論。
定義2.4[12]設X,Y是兩個拓撲空間,稱映射F:X→2Y
(ⅰ)在x0∈X點是上半連續的(簡寫為u.s.c.),如果對每一開集V且F(x0)?V,存在x0的鄰域U(x0),使得F(x)?V,?x∈U(x0);
(ⅱ)在x0∈X點是下半連續的(簡寫l.s.c.),如果對每一個開集V且F(x0)∩V≠?,存在x0的鄰域U(x0),使得F(x)∩V≠?,?x∈U(x0);
(ⅲ)在X上是u.s.c.(相應地,l.s.c.)的,如果F在X上的每一點是u.s.c.(相應地,l.s.c.)的。
引理2.1[13]設X,Y是兩個拓撲空間,F:X→2Y是一集值映射。給定x0∈X。
(ⅰ)如果F(x0)是緊集,則F在x0是u.s.c.的當且僅當,對任意的網{xα}?X且xα→x0和任意的網{yα}且yα∈F(xα),存在某個y0∈F(x0)以及網{yα}的某子網{yβ},使得yβ→y0;
(ⅱ)F在x0∈X點是l.s.c.的當且僅當,對任意的y0∈F(x0)和任意的網{xα}且xα→x0,存在網{yα},使得yα∈F(xα)且yα→y0。
定義2.5[14]設X是一Hausdorff拓撲線性空間,Y是一實賦范線性空間,BY是Y中的閉單位球。設C:X→2Y是一錐值映射,即?x∈X,C(x)是Y中的錐。稱映射C
(ⅰ)在x0∈X點為無限上連續(簡記為c.u.c.),如果映射x→C(x)∩BY在x0點為u.s.c.;
(ⅱ)在X上為c.u.c.,如果它在X上的每一點為c.u.c.。
注2.3易知,C在x0∈X點為c.u.c.當且僅當-C在x0點為c.u.c.。
引理2.2[14]C在x0∈X點為c.u.c.的充要條件是,對任意有界閉集B?Y,映射x→C(x)∩B在x0點是u.s.c.的。
定義2.6[15]設(E,d)是度量空間。集合A,B?E的Hausdorff距離定義為
H(A,B):=max{h(A,B),h(B,A)},

定義2.7[15]設(E,d)是完備的度量空間。集合A?E的Kuratowski非緊性測度定義為
這里diam(Ai)表示集合(Ai)的直徑,其定義為diam(Ai)=sup{d(x1,x2):x1,x2∈Ai}。
引理2.3[16]下述結論成立:
(ⅰ)若A是緊集,則μ(A)=0;
(ⅱ)若A?B,則μ(A)≤μ(B);
(ⅲ)若{An}是E中的一列非空閉集,滿足An+1?An且μ(An)→0(n→∞),那么集合A:=∩n∈An是非空緊集且H(An,A)→0(n→∞)。
本節,我們將討論(SOP)在變動偏序結構下的LP適定性與廣義LP適定性。
除特別說明外,本節始終假設X,Y是實賦范線性空間,M是X中的非空閉子集。再設F:X→2Y是一集值映射,C,P:Y→2Y是錐值映射,滿足?y∈Y,C(y),P(y)是閉凸點錐。?ε>0,用B+(0,ε)表示中的閉區間[0,ε]。為了討論方便,令并假設集合均非空。任取給定和
定義3.1稱點列{xn}?X為(SOP)



為了方便,我們定義近似解集如下:?ε→0,
我們先討論(SOP)關于變動偏序結構C的LP適定性和廣義LP適定性。
命題3.1下列結論成立:
(ⅰ)SC=∪z∈SCSC(z,0);


證明(ⅰ)若x∈SC,則由序關系≤C的自反性,可知x∈SC(x,0)?∪z∈SCSC(z,0)。故SC?∪z∈SCSC(z,0)。進一步,若x∈∪z∈SCSC(z,0),則存在z∈SC,使得x∈SC(z,0)。于是x∈M且F(x)≤CF(z)。?u∈M,若F(u)≤CF(x),則由序關系≤C的傳遞性,知F(u)≤CF(z)。又z∈SC,故F(z)≤CF(u)。再次利用序關系≤C的傳遞性,知F(x)≤CF(u)。這說明x∈SC,因而∪z∈SCSC(z,0)?SC。

注意到0≤ε1≤ε2,有d(x,M)≤ε2,且B+(0,ε1)e1?B+(0,ε2)e1。于是


(3.1)

(3.2)


(3.3)
對上述0點的開鄰域V0,存在r0>0,使得Br0?V0,這里Br0表示Y中以0點為中心,r0為半徑的閉球。進而,存在ε0>0,使得?ε∈(0,ε0),B+(0,ε)e1?Br0。于是,?ε∈(0,ε0),有
定理3.1設M是緊集。若下列條件成立

(ⅱ)C在Y上是c.u.c.的。

(3.4)


(3.5)
我們斷言
(3.6)
(3.7)
對上述V0,因為C在Y上是c.u.c.的且εn→0,yn→y0,故存在n0∈N+,使得?n≥n0,
C(yn)∩G?C(y0)∩G+V0,
結合(3.7)式,可得


下面,我們用非緊性測度來刻畫(SOP)關于變動偏序結構C的廣義LP適定性。
定理3.2設X是實Banach空間,M是X中的緊子集。若下列條件成立

C在Y上是c.u.c.的。

由此可知,為證結論成立,我們只需證明
(3.8)
事實上,假若(3.8)式不成立,則存在實數r>0,數列{εn}?+,εn→0以及序列使得于是


(3.9)







例3.1設X=,M=[1,8]?X。又設Y=2,BY為Y中的閉單位球。令-=(-∞,0]。對任意的y=(y1,y2)∈Y,令

這里cone(A)表示集合A的錐包。再定義集值映射F:X→2Y

接下來,我們再討論(SOP)關于變動偏序結構P的LP適定性和廣義LP適定性。
命題3.2下列結論成立:
(ⅰ)SP=∪z∈SPSP(z,0);


證明(ⅰ)和(ⅱ)的證明過程類似于命題3.1中對應的(ⅰ)和(ⅱ)。

(3.10)


[u-y+Vy]∩[-P(y)∩B+Vy]=?
(3.11)

(3.12)

最后一個包含關系用到了集合Vyi的平衡性。又
故由(3.12)式,有-P(z)∩B?-P(yi)∩B+Vyi。結合(3.11)式,得u-z?-P(z)∩B。而

注3.2通過比較命題3.1和命題3.2的證明過程,可以看出序關系≤P比序關系≤C更難處理。


F(x0)≤PK,即F(x0)?∪z∈K(z-P(z))
(3.13)

因此,還需證明(3.13)式成立。事實上,假若不成立,則存在u0∈F(x0),使得?z∈K,u0?z-P(z),即u0-z?-P(z)。對上述的u0∈F(x0),由F在X上的l.s.c.性以及引理2.1(ⅱ)知,存在點列{un}?X,使得un∈F(xn)且un→u0。對任意給定的z∈K,令B=u0-K+BY,其中BY為Y中的閉單位球,則B是Y中的有界閉集且u0-z?-P(z)∩B。由分離性質知,存在0點的平衡鄰域Vz?Y,使得
[u0-z+Vz]∩[-P(z)∩B+Vz]=?
(3.14)

(3.15)


若ε=0,則由d(x0,M)≤ε及M的閉性,知x0∈M。從而由命題3.3的證明可知:

定理3.4設M是緊集。若下列條件成立

(ⅱ)P在Y上是c.u.c.的。



最后,按照定理3.1所對應的剩余部分證明即可得結論。
分別仿照定理3.2和3.3的證明那樣討論,我們還可得到(SOP)關于變動偏序結構P的LP適定性及廣義LP適定性的刻畫。
定理3.5設X是實Banach空間,M是X中的緊子集。若下列條件成立

(ⅱ)P在Y上是c.u.c.的。
