对kyfan极小极大不等式的推广-北京工业大学学报.pdfVIP

第29卷第l期 北京工业大学学报 V州19N01 2003 oFTEcHNoLo(Ⅳ Mar 2003年3月 J饥JRNALoFBEIJINGuNlvERsITY Fan极小极大不等式的推广 对Ky 韩 敏 (北京工dk大学应用数理学院，北京100022) 摘要：利用凸空间以及紧闭集的性质把KyFan极小极大不等式推广为拓扑向量空间和拓扑空间的乘积空问 f。两个函数的极小极大不等式，并由此得到一个拓扑向最空间币¨拓扑空间的乘积空间上关于一个函数的极小极 大不等式进一步得到了一个新的截口定理，足对以前的一些截口定理的推r_．通过严密的证明证实所得到的 截口定婵和极小极大不等式是等价的，前者是后者的几何形式 关键词拓扑空问，Hausdo州。拓扑向量空间；极小极大不等式，截口定理；凸空间；下半连续；准H；紧闭集 中图分类号：0l892 文献标识码：A 文章编号：0254一0037(2003)0l—008304 1972年KvFan…用他的引理证明了一个极小极大不等式(记作kvFan不等式)，并讨论了它的儿何 形式． 后来人们更深入地讨论f这一问题，文献[2】将Fan不等式直接推广为两个函数的不等式，文献[31 将Fan不等式推广为定义在一个局部凸拓扑向量空间和一个Hausdom’拓扑空间的乘积空间上的两个函 的乘积空间上的两个函数的极小极大不等式，将空间的限制大大地放宽，并讨论了它的几何形式，得到相 应的截口定理，是对文献【1】和文献[3】中的截口定理的推广． 1 有关概念及引理 先回顾几个文中用到的概念以及重要的引理，详细介绍参见文献【2】～[51． 定义1令￡是一个拓扑向量空间，Ⅳ是E的一个凸子集，实值函数^称为在Ⅳ上是下半连续的，如果 任给r∈R，集合{x∈舡^(x1≤“是闭集． 定义2 c F为一个拓扑向量空间，x E是E中的凸子集，实值函数矗称为在Ⅳ上是准凹的，如果对任 意的，∈R，集合{x∈*^(x)f}是Ⅳ中的凸子集或空集． 定义3拓扑空间x称为凸空间，如果Ⅳ是某一向量空间之一凸集，而且在其任意有限集的凸包上的 诱导拓扑是Euclid拓扑． 定义4设Ⅳ是一拓扑空间，子集爿cⅣ称为在y中是紧闭集，如果对每一紧集KcK集合爿nK是 Ⅳ中的闭集． 1989年，s Park”1利用凸分析的一些知识得出以下的定理，作者利用它作为本文中一个重要的引理． 引理设x足一凸空间，y是一拓扑空间，D是Ⅳ之一非空子集．设F：D一2_J是Ⅳ到l，的一个连续 映像，满足： 1)对每一x∈D，—陬在y中是紧闭集； 2)对任一有限子集{^，…，再}cD，s(coV{‘，…～。})cU风，； ，‘I 3)至少存在某一』。∈D，使得F(矗)是紧集． 收稿日期：2nol2—07．17． 作者简介：韩敏(1977一)，女，硕士生 万方数据 北京工业大学学报 2003年 则 n{F(x)：x∈J9}≠0． 为使奉文更加完整明了，现将著名的Fan极小极大不等式叙述如下． Fan不等式设F是拓扑向量空间，Ⅳc￡为紧凸子集，，：Ⅳ×Ⅳ一R满足 4)对任意z∈z，‰·)在■上下半连续； 5)对任意v∈M，(·，y)在爿上准凹． 那么 即：溜／(“，)≤翌／(…) 2 极小极大不等式 给出一个极小极大不等式，它