🔢 mathematics

Discontinuity at the fixed point in suprametric spaces

本文推广了完备超度量空间上 $m$ 阶凸压缩的不动点定理，证明了此类映射无需在该点连续即可保证存在不动点，从而为 Rhoades 的开放问题提供了新解，并扩展了与拟压缩相关的结果。

原作者： Nicola Fabiano, Sedigheh Barootkoob, Hossein Lakzian

发布于 2026-05-11

📖 1 分钟阅读🧠 深度阅读

原作者： Nicola Fabiano, Sedigheh Barootkoob, Hossein Lakzian

原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 ✨ 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。阅读完整免责声明

想象一下，你正在地图上寻找这样一个特定位置：如果你站在那个位置，当你迈出一步时，你并不会移动。在数学中，这个“位置”被称为不动点。如果你有一条规则（一个函数）告诉你如何从一个地方移动到另一个地方，那么不动点就是那条规则说“就待在这里”的地方。

长期以来，数学家们有一条非常严格的规则来保证你能找到这个位置。这就像是在说：“如果你的每一步都变得越来越小，而且你从未停止移动，你最终会落在一个不动点上。”但这条规则要求行走的路径必须完美平滑且可预测（连续）。

本文由 Fabiano、Barootkoob 和 Lakzian 撰写，探讨了一种新的、略微不那么稳定的地图类型，称为超度量空间。

新地图：超度量空间

想象一张普通地图（标准度量空间），其中两点之间的距离就是一条直线。现在，想象超度量空间就像一张带有“交通拥堵”或“颠簸”的地图。两点之间的距离不仅仅是步数之和；它还取决于路径的拥挤程度。如果你迈出一大步，由于交通状况，该步的“成本”可能会增加。

作者问道：我们是否仍然能在这张布满颠簸和交通拥堵的地图上找到那个特殊的“待在这里”的位置？

“颠簸”规则：凸压缩

通常，为了找到不动点，你需要一条规则，它说：“每次你移动时，你都会按一定比例更接近目的地。”

作者研究了一种更复杂的规则，称为m 阶凸压缩。

类比：想象你正在试图找到宝藏。与其只看你现在的位置，你还必须查看你 1 步之前、2 步之前，直到m步之前的位置。这条规则规定，你当前位置与下一个位置之间的距离，由你所有先前步数的加权平均值来控制。
转折：过去，为了证明你会找到宝藏，你必须假设地图是完美平滑的（连续的）。如果地图有突然的跳跃或悬崖，旧数学会说：“游戏结束，无法保证。”

重大发现：你不需要平滑的地图

本文的主要突破在于证明，你并不需要地图完美平滑就能找到不动点。

作者表明，即使规则（映射）在目的地处有突然的跳跃或“不连续性”，你仍然可以找到那个位置。

隐喻：想象你正走向一扇门。在旧理论中，门在你靠近时必须平滑地打开。在新理论中，当你到达时，门可能会砰地关上或突然弹开，但只要你的步伐遵循特定的“凸”模式，你最终仍会站在门前。

为了实现这一点，他们用两个更弱、更灵活的条件取代了“平滑性”要求：

k-连续性：你不需要在所有地方都平滑，只需在迈出k步后足够平滑即可。
轨道下半连续性：这是一种花哨的说法，意思是“只要你的步伐在终点线处没有突然变得巨大，你就没问题”。

解开一个古老谜题

1988 年，一位名叫 Rhoades 的数学家提出了一个著名问题：“是否存在一条规则，它足够强大以保证不动点的存在，但又足够弱，以至于不强制该点处的地图必须是平滑的？”

几十年来，没有人能针对这些特定类型的地图给出确定的答案。本文说："是的，我们找到了！"他们证明了这些“凸压缩”规则足够强大，可以找到那个位置，即使该位置本身有点崎岖不平。

他们打磨的其他工具

作者不仅修正了凸压缩规则；他们还拿其他著名的“搜索工具”（由数学家Sehgal、Ćirić和Fisher发明）进行了升级，使其适用于这些布满颠簸和交通拥堵的超度量地图。他们表明，即使地图不是一条完美平滑的线，这些工具仍然有效。

一个现实世界的例子（来自论文）

为了证明他们的数学有效，他们将其应用于Fredholm 积分方程。

类比：想象这就像试图找到一个房间的最佳温度设置，而该房间的热量取决于房间其他每个部分的温度。这是一个复杂的循环。
结果：他们表明，通过使用他们新的“颠簸地图”数学，他们可以证明恰好存在一个正确的温度设置来解决这个问题。他们不仅说了“它有效”；他们展示了数学保证了解决方案的存在且是唯一的。

总结

简单来说，本文指出：

我们有一种新的、略微杂乱的数学空间类型（超度量空间）。
我们找到了一种方法，可以保证你在这个空间中找到一个“不动点”（一个稳定的位置）。
关键的是，我们证明了你不需要路径完美平滑就能找到它。
这解决了一个关于“平滑性”是否真正必要的 30 年谜题。
我们利用这一点解决了一类涉及热和流的特定方程，证明了解决方案恰好只有一个。

技术摘要：超度量空间中不动点处的不连续性

问题陈述与动机
本文探讨了 Berzig 引入的超度量空间（作为度量空间的推广）上自映射的不动点存在性与唯一性问题。本研究的核心动机源于 B. E. Rhoades（1988 年）提出的一个未决问题：是否存在一种足够强的收缩定义，能够生成不动点，却不必强制映射在不动点处连续？

尽管经典不动点定理（如 Banach–Picard–Caccioppoli 定理）通常要求连续性，且 Istrătescu 关于二阶凸收缩的结果也依赖于全局连续性，但本文旨在探究在超度量空间的背景下，较弱的条件——具体而言是 $k$ -连续性或轨道下半连续性——是否足以保证不动点的存在。作者的目标是将关于凸收缩和拟收缩（Sehgal、´Ciri´c 和 Fisher）的现有结果推广到这一更广泛的框架中，同时解决 Rhoades 提出的连续性难题。

方法论与框架
作者在超度量空间 $(X, d)$ 的框架下开展工作，该空间由满足对称性、不可区分同一性以及修正三角不等式的函数定义：
$d(x, y) \leq d(x, z) + d(z, y) + \rho d(x, z)d(z, y)$
其中 $\rho \geq 0$ 为某常数。

方法论包括：

推广收缩条件：将 $m$ 阶凸收缩和拟收缩（包括´Ciri´c 和 Fisher 的定义）的定义推广至超度量环境。
放宽连续性假设：用较弱的条件替代全局连续性要求：
- $k$ -连续性：若 $T^{k-1}x_n \to z$ 蕴含 $T^k x_n \to Tz$ ，则称映射 $T$ 为 $k$ -连续。
- $T$ -轨道下半连续性：位移函数 $D(x) = d(x, Tx)$ 沿某点的轨道是下半连续的。
- 条件 (C)：一个将序列收敛性及其位移与不动点性质相关联的特定条件。
迭代分析：利用 Picard 迭代（ $x_n = T^n x_0$ ）并建立连续迭代项的界限，以证明序列的 Cauchy 性质。证明过程通常涉及将超度量不等式转化为与标准度量空间技术兼容的形式（例如使用对数变换或等价度量），以确立收敛性。

主要贡献与成果

$m$ 阶凸收缩的不动点定理：
本文确立了定理 2.1，证明在完备超度量空间上，满足 $m$ 阶凸收缩条件（即 $d(T^m x, T^m y) \leq \sum_{i=0}^{m-1} a_i d(T^i x, T^i y)$ ，其中 $\sum a_i < 1$ ）的自映射 $T$ 拥有唯一不动点。关键在于，只要 $T$ 满足以下任意一项，该定理即成立：
- $T$ 是 $k$ -连续的。
- 位移函数 $D(x)$ 是 $T$ -轨道下半连续的。
- $T$ 满足条件 (C)。
  该结果将 Istrătescu 关于二阶的定理推广，并将其扩展至超度量空间中的 $m$ 阶情形。
Rhoades 未决问题的解决：
作者声称，他们的结果为 Rhoades 的未决问题提供了“新颖且独特的解决方案”。通过证明 $m$ 阶凸收缩能够生成唯一不动点，而无需在不动点处要求连续性（转而依赖上述较弱的条件），他们确认了此类收缩定义的存在性。
拟收缩的推广：
- ´Ciri´c 的拟收缩：定理 3.1 将´Ciri´c 的结果推广至超度量空间，证明了满足涉及迭代项 $n(x)$ 的广义拟收缩不等式的映射存在唯一不动点。
- Sehgal 的结果：定理 3.2 将 Sehgal 1969 年对收缩原理的推广扩展至该环境。
- Fisher 的拟收缩：定理 4.1 将 Fisher 1979 年的结果（涉及两个固定整数 $n$ 和 $m$ 以及各类迭代项的最大值）扩展至此，同样在放宽的连续性条件下证明了唯一性。
应用：
本文将主要理论成果应用于第二类 Fredholm 积分方程解的存在性与唯一性：
$f(x) = \int_a^b K(x, t)f(t) dt$
通过在连续函数空间 $C[a, b]$ 上定义特定的超度量，作者证明了积分算子满足二阶凸收缩条件，从而保证了解的唯一性，而无需该算子在传统意义上于不动点处连续（尽管它是 Lipschitz 连续的，满足 $k$ -连续性条件）。

意义与主张
本文断言， $m$ 阶凸收缩类在完备超度量空间中“足够强”以生成不动点，同时又“足够弱”以允许在不动点处存在不连续性。这一区别被视为对先前要求全局连续性结果的显著超越。作者提供了具体示例（包括有限集和基于区间的函数），以证明在经典度量空间定理（如那些严格要求度量性质或连续性的定理）会失效或不适用的情况下，他们的条件依然满足。这项工作有效地在 Istrătescu 的凸收缩与 Rhoades 的未决问题之间架起了桥梁，并将其置于超度量空间的广义拓扑框架内。