实线性空间强有效性性质.docVIP

实线性空间强有效性性质 　　 【摘要】在实线性空间中引进序有界线性泛函和强有效性，通过序有界基泛函研究强有效性的一些性质. 　　【关键词】实线性空间；序有界；基泛函；强有效性 　　 　　【基金项目】国家自然科学基金资助项目；江西省自然科学基金资助项目（2010GZS0176）；博士启动金（EA200907383）；南昌航空大学研究生科技创新基金（YC2010020）?オ? 　　Cheng和Fu［1］在局部凸空间中引进了强有效的概念，并且讨论了强有效性和其他有效性之间的关系.武育楠等［2］和王其林［3］分别在Hausdorff局部凸拓扑向量空间中在锥―类凸和广义锥次似凸假设下研究了集值映射向量优化问题的强有效性，获得了包括其标量化在内的一些结论.徐义红［4-6］在近似锥次类凸假设下利用了凸集分离定理和择一性定理得到了集值映射向量优化问题的强有效性的KuhnTucker与Lagrange最优性条件的充分和必要条件,余丽［7］在内部锥类凸假设下利用凸集分离定理得到了强有效解的Lagrange乘子定理，而徐义红等［8］讨论了当目标函数和约束函数都是弧连通锥凸时强有效解的最优性条件.尚无人在只有线性结构没有拓扑结构的实线性空间中对强有效性问题进行研究. 　　本文将强有效的概念推广到没有拓扑只有线性结构的实线性空间中，并在实线性空间中定义序有界线性泛函，通过序有界基泛函来研究强有效性，得到强有效性的一些性质.这些性质是今后在实线性空间中进一步研究强有效性的关键工具，具有十分重要的作用. 　　1.基本概念 　　假设X为实线性空间，X′为X的代数对偶空间，C是X的非平凡凸锥.设AX为任一非空子集，A的正对偶和严格正对偶分别定义为A+={l∈X′:〈l,a〉≥0,a∈A}和A+s={l∈X′:〈l,a〉0,a∈A＼{0x}}. 　　定义1.1［9］ 称锥cone(A)={x∈X:?靓恕?0,a∈A,x=λa}为A的生成锥. 　　 　　定义1.2［10］ 设AX为任一非空子集,A的代数内部和相对代数内部分别定义为?オ?cor(A)={x∈A:x′∈X,?靓恕?0,?笑恕剩?0,λ′］,x+λx′∈A}. 　　 　　icr(A)={x∈A:x′∈L(A),?靓恕?0，?笑恕剩?0,λ′］,x+λx′∈A}. 　　若锥C满足C∩（-C）={0}，则C为点锥. 　　定义1.3［9］ 称凸锥{0}≠C的凸子集B为C的一个基是指x∈C＼{0}，都存在λ0,b∈B，使得x=λb且表示唯一. 　　定义1.4［11］ 设AX为任一非空子集，A的代数闭包和向量闭包分别定义为 　　lin(A)=A∪{x∈A:a∈A,［a,x)A}. 　　vcl(A)={b∈X:x∈X,?笑恕?0,?靓恕剩?0,λ′］,b+λx∈A}. 　　容易得出A?吉?lin(A)?吉?vcl(A). 　　若A分别满足A=lin(A)和A=vcl(A)，则称A分别为代数闭集和向量闭集.因此若A是向量闭，则A也是代数闭.在拓扑线性空间X中，则A的拓扑内部、相对内部、拓扑闭包分别记为int(A)，ri(A)，cl(A)，故vcl(A)?吉?cl(A).于是若A是拓扑闭集，则一定是向量闭集.对于拓扑内部非空的凸集来说，其拓扑闭包、向量闭包和代数闭包都是一致. 　　定义1.5［12］ 设C为X的序凸锥,若a≤b,称集合{x:a≤X≤b}为X上由a和b关于序锥C的序区间.记为［a,b］. 　　定义1.6［12］ 设C为X的序凸锥,称A为X的非空子集为序有界的,若存在a,b∈X且a≤cb,有A?迹?a,b］. 　　定义1.7 设X为实线性空间，定义X°为将X中序区间映成有界的实数集的线性泛函的全体所组成的集合，称为X的序有界对偶空间. 　　显然有:(1)X°X′； 　　(2)若f∈X′且f为单调的，则一定有f∈X°，即X°≠?В华? 　　(3)若AX，类似地有（A+）°={l∈X°:〈l,a〉≥0,?┆?a∈A}为A的序有界正对偶,(A+s)°={l∈X°:〈l,a〉0,a∈A＼{0x}}为A的序有界严格正对偶； 　　(4)若B为实线性空间X的凸锥C的基,那么存在f0∈X′＼{0X′}，使得b∈B，都有〈f0,b〉=1，且f0为X上单调线性泛函，故f0∈X°； 　　（5）称Bst={f∈X′:t0,s.t.〈f,b〉≥t,b∈B}为锥C的基泛函.显然有Bst≠.当B为凸锥C的序有界基时,类似地可以定义序有界基泛函为(Bst)°={f∈X°:t0,?┆?s.t.〈f,b〉≥t,b∈B}.(Bst)°BstC+sC+和(Bst)°≠?И┚?显然成立. 　　2.主要结果 　　在本节中假设X为实线性空间，AX，C为X中相对代数内部非空