L-凸空间中的Ky Fan极大极小不等式及其应用.pdfVIP

维普资讯 第 29卷 第 6期 西 南 师 范 大 学 学 报 (自然科学版) 2004牟 l2月 Vo1．29 No．6 JournalofSouthwestChinaNormalUniversity (NaturalScienceEdition) Dec． 2004 文章编号：1000—5471(2004)06—0920～04 L一凸空间中的 KyFan极大极小不等式及其应用 杜艳梅 ， 邓 磊 西南师范大学 数学与财经学院 ．重庆 400715 摘要：在较弱的条件下证明了L一凸空间中的KyFan极大极小不等式 ，并给出其等价形式．作为应用，得出了L一 凸空间中的鞍点定理． 关 键 词 ：L一凸空间 ；L—KKM 映象 ；上 (下)半连续泛函 中图分类号 ：0177．91 文献标识码 ：A 设X是非空集合，2及X分别表示X的所有子集族和X的所有非空有限子集族．对A∈X，1Al表 示A的基数．△ 是 一维欧氏空间中的标准单形，顶点是 ， ．．， 若-厂是 {0，l，…，)的非空子集，△J 是集合 {e．i：J∈J)的凸包，则称△』为△ 的面． 1 KyFan极大极小不等式 定理 1 设 X是 L一凸空间 (E，r)的非空L一凸子集 ，泛函f，g：X ×X— R U {±。。}满足 ： (a)任意(z， )∈XxX，f(x， ) 0蕴含 g(z， ) 0； (b)任意 z∈X，y一 厂(z， )在 X 的任何非空紧子集上是下半连续的； (c)任意A ∈X，存在包含 A的紧L一凸子集L— X，使得任意 y∈L ，都有ming(， )≤0． i-∈ ^ 则存在多∈x，使得厂(，)≤0对所有的z∈X都成立． 证 任意A ∈X)，定义集值映象 F：X一 2L^ F(z)： { ∈LA：f(z， )≤ 0) z ∈X 其中L 的定义一致于条件 (c)，由条件 (b)，F(z)是闭集． 下面证明集族 {F(z)：z∈X}具有有限交性质．对上述L ，定义集值映象G：L 一 2L^ G(z)==：{y ∈LA：g(z， )≤ 0) ∈LA (1)任意 C∈ ，都有 L—co(C)c UG(z)．否则 ，存在 Co∈ ，使得 L—co(Co)(z=U G()． ∈C ∈co 也就是说存在Yo∈L—co(Co)c LA，使得 yo U G(z)，即g(x，yo) o(z∈C。)，这矛盾于条件(c)． — ∈LO 因此G是L—KKM 映象． (11)任意 ∈ ，clG(z)显然是闭的．于是由文献E13的引理2知，n clG()≠ ．设A= {。， ‘ ∈LA — 。，…， )，由条件 (a)，(b)