[论文解读] On M-metric spaces and fixed point theorems

Samer Assaf|arXiv (Cornell University)|Dec 23, 2017

Fixed Point Theorems Analysis参考文献 1被引用 4

一句话总结

本文指出了Asadi等人2014年M-度量论文中引理2.5B证明中的关键缺陷，特别是其无效断言：lim σ(xₙ,xₙ₋₁) = 0 蕴含 lim σ(xₙ,xₙ) = 0。为纠正此问题，作者重新定义了M-度量空间中的开球与拓扑结构，引入了r-柯西序列的新压缩条件，并证明了一个新的主定理，该定理广义化并有效恢复了原始工作中固定的点定理，确保在减弱的连续性与有界性条件下存在固定点。

ABSTRACT

In this paper we make some observations concerning m-metric spaces and point out some discrepancies in the proofs found in the literature. To remedy this, we propose a new topological construction and prove that it is in fact a generalization of a partial metric space. Then, using this construction, we present our main theorem having as its corollaries the fixed point theorems found in previous publications.

研究动机与目标

• 识别并纠正Asadi等人2014年M-度量论文中引理2.5B的严重错误，通过反例证明lim σ(xₙ,xₙ₋₁) = 0 蕴含 lim σ(xₙ,xₙ) = 0 的断言是错误的。
• 提出M-度量空间中拓扑结构的修订构造，使用新的开球定义，以确保正确的收敛性与极限行为。
• 建立一个新的主固定点定理（定理8.1），该定理在弱轨道连续性、非扩张性或有界性条件下保证固定点的存在，从而有效验证Asadi等人原始定理的正确性。
• 证明所提出的M-度量是部分度量空间的推广，通过展示如何从M-度量中诱导出部分度量。
• 使用新框架与新条件，对Asadi等人原始论文中的定理3.1与定理3.2提供更正且严谨的证明。

提出的方法

• 提出一种允许取负值的广义M-度量，由公理(σ-lbnd)、(σ-sym)、(σ-sep)与(σ-inq)定义，其中min{σ(x,x),σ(y,y)}作为下界。
• 提出M-度量空间中开球的修订定义，以纠正原始构造中的拓扑缺陷，确保正确的收敛性与极限行为。
• 使用新拓扑结构定义M-度量空间中的r-柯西序列与极限，并建立极限唯一性与收敛行为等拓扑性质。
• 引入r-柯西函数与压缩条件，确保由函数f生成的序列是r-柯西序列，从而支持固定点分析。
• 在M-度量空间中定义弱轨道连续性与非扩张性，并利用这些性质建立特殊极限为固定点的条件。
• 证明主定理（8.1）：若f在x₀处为r-柯西序列且其特殊极限为a，且满足以下三个条件之一（弱轨道连续性+非扩张性，或有下界σ(f(a),f(a))或σ(a,a)），则a为固定点。

实验结果

研究问题

• RQ1 Asadi等人（2014）引理2.5B中的断言——lim σ(xₙ,xₙ₋₁) = 0 蕴含 lim σ(xₙ,xₙ) = 0——在M-度量空间中是否成立？
• RQ2 能否通过修订的开球定义在M-度量空间上定义出有效的拓扑结构，以确保正确的收敛性与极限行为？
• RQ3 是否可能在不依赖有缺陷的引理2.5B的前提下证明M-度量空间中的固定点定理？若可，需满足何种替代条件？
• RQ4 所提出的M-度量框架如何推广部分度量空间？能否从M-度量中诱导出部分度量？
• RQ5 能否使用更正后的框架与新条件，严谨地重新证明Asadi等人原始论文中的定理3.1与定理3.2？

主要发现

• 提供了一个反例，表明lim σ(xₙ,xₙ₋₁) = 0 并不蕴含 lim σ(xₙ,xₙ) = 0，从而证伪了Asadi等人原始证明中的引理2.5B。
• 原始M-度量空间中开球的定义无法诱导出恰当的拓扑结构，因此提出了修订定义以恢复正确的拓扑行为。
• 新主定理（8.1）在三种不同条件下确立了固定点的存在性：弱轨道连续性与非扩张性，或有下界σ(f(a),f(a))或σ(a,a)。
• 更正后的框架使得定理3.1在Asadi等人论文中可被严谨证明，表明在完备M-度量空间上，连续且k-压缩（0 ≤ k < 1）的函数存在唯一固定点。
• 更正后的框架也使得定理3.2可被严谨证明，表明在完备M-度量空间上，连续且2k-压缩（0 ≤ k < 1/2）的函数存在唯一固定点。
• 本文证明了所提出的M-度量是部分度量空间的推广，通过展示可定义σ*(x,y) = σ(x,y) − min{σ(x,x),σ(y,y)}（当x ≠ y时），且σ*(x,x) = 0，从而从M-度量中诱导出部分度量。