[论文解读] Nieto-Lopez theorems in ordered metric spaces

Mihai Turinici|arXiv (Cornell University)|May 12, 2011

Fixed Point Theorems Analysis参考文献 19被引用 29

一句话总结

本文证明，有序度量空间中的Nieto-López不动点定理并非新颖的推广，而是Banach经典压缩映射原理的一个特例。通过构造一个捕捉可比性链的辅助度量 $ e $，作者表明，在度量重参数化下，有序度量空间的结果可归约为标准压缩映射原理，从而将Nieto-López定理置于经典不动点理论的框架之内。

ABSTRACT

The comparison type version of the fixed point result in ordered metric spaces established by Nieto and Rodriguez-Lopez [Acta Math. Sinica (English Series), 23 (2007), 2205-2212] is nothing but a particular case of the classical Banach's contraction principle [Fund. Math., 3 (1922), 133-181].

研究动机与目标

• 澄清Nieto-López不动点定理在有序度量空间中的基础地位。
• 解决该结果被视为Banach压缩映射原理新推广的误解。
• 证明该定理可通过度量变换直接从经典Banach不动点定理推出。
• 提供有序度量空间不动点结果向标准压缩映射原理的严格约化。
• 确立Nieto-López定理中的关键假设可通过重新定义度量从经典框架中导出。

提出的方法

• 将新度量 $ e(x,y) $ 定义为所有 $ x $ 与 $ y $ 之间 $ <> $-链的 $ d $-距离之和的下确界。
• 证明 $ e $ 是集合 $ X $ 上的良定义度量，满足自反性、对称性和三角不等式。
• 证明对所有 $ x,y \in X $，有 $ d(x,y) \leq e(x,y) $，即 $ d $ 被 $ e $ 控制，且当 $ x<>y $ 时 $ e(x,y) = d(x,y) $。
• 在给定条件下，证明 $ (d,\leq) $-压缩映射 $ T $ 同样为 $ e $-压缩映射，且压缩常数 $ \alpha \in (0,1) $ 不变。
• 利用 $ d $ 的完备性及 $ e $ 的性质，证明 $ e $ 也是完备的，从而可应用Banach压缩映射原理。
• 得出结论：Nieto-López定理中的不动点与收敛性性质，均可通过度量 $ e $ 从经典结果推出。

实验结果

研究问题

• RQ1 有序度量空间中的Nieto-López不动点定理是否真的是一个新结果，还是可约化为已知的经典原理？
• RQ2 有序度量空间中的不动点结果能否通过适当的度量变换从Banach压缩映射原理推出？
• RQ3 在何种条件下，$ e $-度量能继承来自原始 $ d $-度量的完备性与压缩性？
• RQ4 Nieto-López定理中关于可比性链与单调性的假设是否隐含地嵌入了经典压缩结构？
• RQ5 度量空间中的序结构在多大程度上可被编码进标准度量中，以恢复经典不动点结果？

主要发现

• Nieto-López不动点定理并非新结果，而是Banach于1922年提出的压缩映射原理的一个特例。
• 通过 $ <> $-链的下确界构造的辅助度量 $ e $，使得有序度量空间的结果可约化为经典情形。
• 当 $ d $ 完备时，$ e $ 亦完备，且满足 $ d(x,y) \leq e(x,y) $，从而保证相同的收敛行为。
• $ (d,\leq) $-压缩条件蕴含 $ e $-压缩性，且压缩常数 $ \alpha \in (0,1) $ 不变，因此不动点由Banach定理保证。
• 原始Nieto-López定理中的正则性条件（a03）是冗余的，因其由更强条件 $ (\sim) = X \times X $ 所蕴含。
• 即使将连续性假设（a06）替换为 $ d $-连续性，结果依然成立，证实与Ran和Reurings在2004年的结果一致。