概率度量空间中序压缩算子对的重合点定理.pdfVIP

第卷 第期 工 程 数 学 学 报 年月 文章编号 概率度量空间中序压缩算子对的重合点定理 朱传喜, 刘建辉 南昌大学数学系，南昌 摘 要: 概率度量空间中的不动点理论是非线性泛函分析的重要组成部分，对微分积分方程的 研究具有重要意义．本文在概率度量空间中利用半序方法，通过构造不同的压缩条 件，研究了序压缩算子对的重合点问题，得到了几个新的重合点定理，推广和改进了 已有文献中的一些重要结论． 关键词: 概率度量空间；序压缩算子对；重合点 分类号: (2000) 47H10; 60A10 中图分类号: O177.91; O211.3 文献标识码: A 引言言与与预备知知识 - 概率度量空间中的不动点理论是非线性分析的重要组成部分 ．半序方法是研究非 - 线性问题的主要工具之一 ．然而在概率度量空间中利用半序方法研究不动点问题的文 献还比较少．2006 年，叶梅燕等 在概率度量空间中定义了一种由泛函诱导的半序关系， 并利用此半序关系研究了一类非线性算子方程的解的存在性问题．最近，朱传喜和李菲菲 在文献[6] 中进一步利用该半序关系，在概率度量空间中得到了满足一定条件的序压缩算 子的不动点定理．本文在概率度量空间中利用半序方法，通过构造不同的压缩条件，研究 了序压缩算子对的重合点问题，得到了概率度量空间中序压缩算子对的几个新的重合点定 理，推广和改进了文献[6] 中的一些重要结论． 先回顾如下概念 ． 设R 表示所有实数的集合，R 表示所有非负实数的集合． 映像f : R R 称为分布函数，如果它是非减的，左连续的，且满足下列条件 inf f (t) = 0, sup f (t) = 1. 用D 表示一切分布函数的集合，H (t) 表示一特殊分布函数，其定义如下   0, t 0, H (t) =  1, t 0. 收稿日期 作者简介 朱传喜年月生，男，博士，教授 研究方向：非线性泛函分析 基金项目 国家自然科学基金 ；江西省自然科学基金；江西省教 育厅青年基金 240 工 程 数 学 学 报 第卷 映像∆ : [0, 1] [0, 1] [0, 1] 称为三角范数(简称为t–范数)，如果它满足如下条件： 对一切的a, b, c, d [0, 1]，有： (∆ 1): ∆(a, 1) = a, ∆(0, 0) = 0; (∆ 2): ∆(a, b) = ∆(b, a); (∆ 3): a b, c d ∆(a, c) ∆(b, d); (∆ 4): ∆(a, ∆(b, c)) = ∆(∆(a, b), c). Menger 概率度量空间(简称为Menger PM-空间) 是一三元组(E, F, ∆)，其中E 是一 抽象集，∆ 为t–范数，