度规空间上非扩张型映射的不动点定理.pdfVIP

第 20卷第 4期 海南师范大学学报 (自然科学版) V01．20 No．4 2007年 12月 journal of Hainml Normal University(Natural Science) Dec．2007 度规空问上非扩张型映射的不动点定理 宋明亮 (江苏教育学院数学系，江苏南京210013) 摘 要：在度规空间中建立了非扩张型映射不动点定理并利用它们，得到了度量空间、某类 Menger概率度量空间以及局部凸Hausdorff；}~4]向量空间中相应的不动点定理． 关键词：度规空间；序列闭集；非扩张型映射；不动点定理 中图分类号：0 177．9 文献标识码：A 文章编号：1671—8747(2007)04—0307—05 1966年J．Dugundji 在((Topology}q~引入了度规空问的概念，并利用伪度量族给出了这类空问的特征 刻画，将通常的度量空问及局部凸Hausdofff拓扑向量空问等纳入统一的理论框架．2000年Frigon E2 将压 缩映射概念推广到度规空问，并定义了一种“广义压缩”，得到一些不动点定理．而后，Agarwal and 0．Re． gan 于2001年，Espinola and Kirk[43于2003年。Espinola and Petrusel 于2005年分别研究了度规空问的 各种压缩型单值和集值映射的不动点定理，得到了丰富的结论．本文目的是在此空问中建立非扩张型映射 不动点定理，并将它们分别应用于度量空问、某类Menger概率度量空问以及局部凸Hausdorff拓扑向量空 问。得到相应的不动点定理。统一并推广了某些已有的重要结论． 以下均设 是自然数集，啸 是非负实数集。并让我们回顾一下度规空问的定义以及有关性质． 定义1… 设 是一个非空集合，映射d： ×X 啸 满足以下条件： (G1)对任一 ∈ ，有d(x， )=0， (G2)对任一 、Y∈ ，有d(x，Y)=d(y， )， (G3)对任一x．y、 ∈ ，有d(x， )≤d(x，Y)+d(y， )， 则称d是 上的一个度规(或伪度量)． 设M={da：A∈D)是x上的一个度规族，如果对任一x,y∈x，当x#y时，存在da∈M使得da( ，y)≠ 0。则称该度规族是分离的．这里D是一定向集． 设 是一个非空集合，M={da：A∈D)是 上的分离度规族，则X上以s(M)={ ( ， )： ∈ ，A∈ D， 0)为子基的拓扑7-( )称为 上由度规族 诱导出的拓扑，其中 ( ， )={Y∈x：da( ，Y) )． 定义2口 设(x，7-)是拓扑空问，如果存在 上一个分离度规族 ，使得7-=r(M)，则称该度规族 为拓扑空问( ，7-)的度规结构．具有度规结构的拓扑空问称为度规空问． 上由分离度规族诱导出的拓扑 也称为度规拓扑． 注1 如果拓扑空间x以度规族M={d ：A∈D】为它的度规结构，则我们记这样的度规空间为( ， ∈。)． 设( ，{da}a6o)是度规空问，为了讨论的需要，我们一般假设其满足以下条件：V 、Y∈ ，V A、 ∈D， 当A 时，有da( ，Y)≤ ( ，y)． 收稿日期：2007—08-20 基金项目：江苏教育学院精品课程项目(73401；73301) 308 海南师范大学学报(自然科学版) 2007年 定义3 ’ 设( ，{ }^∈。)是度规空问， }CX， ∈ ． 1)如果对每个A∈D，lira ( ， )=0，orllJg{． )收敛于 ，记为X一 ； n 2)如果对每个A∈D和 0，存在Ⅳ∈ ，使得当m、n≥N时有 ( ， ) ，则称 }是 ，{ } F。)中 的Cauchy列： 3)如果( ，{ } ∈。)中每个Cauchy列都收敛于X中的