[论文解读] A contraction principle in semimetric spaces

Mihály Bessenyei, Zsolt Páles|arXiv (Cornell University)|Jan 8, 2014

Fixed Point Theorems AnalysisMathematics参考文献 10被引用 21

一句话总结

本文将Matkowski压缩映射原理推广至配备正规基本三角函数的完备半度量空间，证明了$φ$-压缩映射的不动点存在唯一性。此外，还建立了映射序列逐点收敛下不动点的稳定性，将Banach不动点定理推广至更广泛的度量空间类别，如$c$-松弛空间与$c$-非度量空间。

ABSTRACT

A branch of generalizations of the Banach Fixed Point Theorem replaces contractivity by a weaker but still effective property. The aim of the present note is to extend the contraction principle in this spirit for such complete semimetric spaces that fulfill an extra regularity property. The stability of fixed points is also investigated in this setting. As applications, fixed point results are presented for several important generalizations of metric spaces.

研究动机与目标

• 将Matkowski不动点定理从完备度量空间推广至更广泛的半度量空间类别。
• 识别半度量空间中的一种正则性条件——通过基本三角函数在原点的连续性——以确保拓扑性质良好，包括Hausdorff分离性及收敛序列的柯西性质。
• 在该类空间中，建立序列$φ$-压缩映射逐点收敛下不动点的稳定性。
• 证明在$c$-松弛与$c$-非度量空间中，压缩映射原理成立，这些空间是正规半度量空间的特例。
• 阐明基本三角函数与拓扑性质（如闭包算子的幂等性）之间的关系，尽管该问题仍部分开放。

提出的方法

• 将半度量空间定义为集合$X$，配备一个对称、非负的函数$d: X \times X \to \mathbb{R}_+$，且仅在对角线上取值为零。
• 引入基本三角函数$\Phi_d(u,v) = \sup\{d(x,y) \mid \exists p \in X: d(p,x) \leq u, d(p,y) \leq v\}$，该函数推广了三角不等式。
• 将正规半度量空间定义为满足$\Phi_d$在原点连续的空间，以确保拓扑为Hausdorff，且收敛序列具有柯西性质。
• 引入比较函数$\varphi: \mathbb{R}_+ \to \mathbb{R}_+$，满足对所有$t > 0$，有$\varphi^n(t) \to 0$逐点收敛，并通过$d(Tx,Ty) \leq \varphi(d(x,y))$定义$φ$-压缩映射。
• 通过反证法与迭代估计，证明在完备正规半度量空间上，任意$φ$-压缩映射均存在唯一不动点。
• 通过证明若序列$φ$-压缩映射$T_n$逐点收敛于$T_0$，则$T_n$的不动点收敛于$T_0$的不动点，从而建立不动点的稳定性，前提是$d$具有自连续性。

实验结果

研究问题

• RQ1 Matkowski不动点定理能否推广至不满足标准三角不等式的半度量空间？
• RQ2 基本三角函数的何种正则性条件可保证半度量空间的拓扑为Hausdorff，且收敛序列具有柯西性质？
• RQ3 在何种条件下，序列$φ$-压缩映射的不动点收敛于极限映射的不动点？
• RQ4 $c$-松弛与$c$-非度量空间如何融入此广义框架中？它们是否满足所需的正则性与完备性条件？
• RQ5 在Hausdorff半度量空间中，基本三角函数与闭包算子幂等性之间存在何种关系？

主要发现

• 在完备正规半度量空间上，任意$φ$-压缩映射均存在唯一不动点，推广了Matkowski与Banach不动点定理。
• 基本三角函数$\Phi_d$是$d$的所有三角函数中最优的，其在原点的连续性刻画了正规半度量空间。
• 在正规半度量空间中，收敛序列具有唯一极限，并满足柯西性质。
• 若序列$φ$-压缩映射$T_n$逐点收敛于$T_0$，且半度量$d$具有自连续性，则$T_n$的不动点收敛于$T_0$的不动点。
• 该结果适用于完备的$c$-松弛度量空间与$c$-非度量空间，其基本三角函数在原点连续。
• 自连续性$d$——在度量空间与非阿基米德度量空间中成立——确保极限映射$T_0$继承序列$T_n$的$φ$-压缩性质。