模糊赋范线性空间上的Kakutani不动点定理.pdfVIP

维普资讯 第 22卷第 3期 模 糊 系 统 与 数 学 Vo1．22，No．3 2008年 6月 FuzzySystemsandM athematics Jun．，2008 文章编号 ：1001—7402(2008)03～0111一O5 模糊赋范线性空间上的Kakutani不动点定理 陆 盈，肖建中 (南京信息工程大学 数学系，江苏 南京 210044) 摘 要 ：在 Fuzzy赋范线性空 间上 引入 多值 映射的闭性概念与半连续概念，并建立 了此空间上 的 Kaku— tani不动 点定理 。 关键词 ：Fuzzy赋范线性空间；多值映射 ；Kakutani不动点定理 中图分类号 ：o159 文献标识码 ：A 1 引言 1984年 ，Kaleva和 Seikkalat提 出了模糊度量空间的概念，其特色之一是将经典度量空间与 Menger概率度量空间均纳入其框架中。随后 ，Felbin[z]类 比地引入模糊赋范线性空间的概念 。由于经典 赋范空间与Menger概率度量空间都是模糊赋范空间的特例，对此空间的研究引起一些学者的兴趣。方 锦暄等L3研究了该模糊赋范空间上非线性算子方程的解 ；肖建 中等[4-63从线性拓扑角度进一步讨论该 模糊赋范线性空间的性态 ，建立 了较一般意义上 的Leray—Schauder拓扑度理论 ，得到了该模糊赋范空间 上算子的若干不动点定理。 算子或映射的不动点理论研究一直是数学科学的主流中的课题 19世纪 ，Brouwer不动点定理提出 后被 Schauder等推广到无穷维空间，极大地推动了不动点理论的研究和泛 函分析与微分方程等学科的 发展 。之后 ，Kakutani把 Brouwer不动点定理推广到有限维空间中多值映射的情形 ，再次掀起不动点理 论研究及应用 的浪潮 。Kakutani不动点定理 已有许多推广形式 ，较为著名 的有 Glicksherg[n与 Fan[~z]在局部凸线性拓扑空间中的推广形式 。最近 ，吴鲜m 将其推广到H一空间。受其启发 ，本文考虑将 Kakutani不动点定理推广到模糊赋范空间。正如文E4]、文E5]所指出，模糊赋范空间是与左右模强弱有 关 的结构丰富的空间，只在特殊情形才是局部凸线性拓扑空间。本文从建立模糊赋范空间上的Schauder 不动点定理出发，将集值映射的Kakutani不动点定理向未必局部凸的空间框架进行开拓。 2 基本概念与性质 在本文中，z 表示正整数集 ， 表示 Fuzzy实数集 ， 表示 Fuzzy非负实数集 ， ： {∈ ：当t 0，r／(t)一0} 0表示满足O(O)一1且f≠O时_0(f)：O的Fuzzy实数。显然， ∈ ．实数集以以下方式嵌人 ： V，．∈(一。。，+。。)，j，．∈ ，满足，．(f)一0(￡一，．)。对7∈ ，，．∈(o，+c)。)与 ∈(o，1]，，．o7 * 收稿 日期 ：2006一lO一25 基金项 目：国家 自然科学基金资助项 目；南京信息工程大学科研基金资助项 目 作者简介：陆盈 (1977一)，女，南京信息工程大学数学系讲师；肖建中(1958一)，男，南京信息工程大学数学系教授 。 维普资讯 模 糊 系 统 与 数 学 定义为 (ro )(f)一rl(t／r)，且0o 一石； 的 水平集 [加 一 {t：rl(t)≥a)是一个闭区间，本文表为 [加 一 [ ， ]。 定义2．1E。 设 是实数域上的线性空间，左模 与右模 R：[O，1]x [O，1]一 [O，1]是对称、递 增的，且满足L(O，O)===0，R(1，1)一1。若 lI·ll满足 (V32∈X，∈(O，1]，记[1I32II]一 [II32ll ， llzll])： (F1)llzll一 甘 z一0； (F2)VzE ，r∈(一 。。，+oo)，llrzll— lrlo l