[论文解读] Approximate Fixed Point Properties in Digital Topology

Laurence Boxer|arXiv (Cornell University)|Nov 18, 2019

Digital Image Processing Techniques参考文献 11被引用 4

一句话总结

本文研究了数字拓扑中单值与多值连续函数的近似不动点性质（AFPP），纠正了先前文献中关于普遍多值函数的错误。研究证明，一个数字图像具有多值AFPP当且仅当其恒等函数是弱普遍的，从而提供了更正后的特征刻画，并给出了具有AFPP的新图像示例。

ABSTRACT

We study the approximate fixed point property (AFPP) for continuous single-valued functions and for continuous multivalued functions in digital topology. We extend what is known about these notions and discuss errors that have appeared in the literature.

研究动机与目标

• 澄清并纠正关于数字拓扑中多值函数近似不动点性质（AFPP）的文献中的误解。
• 为具有单值和多值连续函数的近似不动点性质（AFPP）的数字图像提供新的示例。
• 区分普遍与弱普遍多值函数，纠正先前将两者混淆的概念错误。
• 通过恒等函数的弱普遍性概念，建立多值AFPP的精确特征刻画。
• 探讨单值与多值AFPP之间关系的开放问题，以及AFPP在多值重影下的行为。

提出的方法

• 使用数字邻接关系（如$c_u$-邻接）来定义数字图像中的连续性与连通性。
• 应用数字图像的$r$-重分划概念，通过在细分网格上诱导的函数来定义多值连续性。
• 引入并区分普遍与弱普遍多值函数，纠正文献中此前的误用。
• 将恒等函数$1_X$作为核心工具，通过弱普遍性来刻画多值AFPP。
• 基于路径连通性与邻接关系的拓扑推理，验证特定数字图像结构中的AFPP条件。
• 通过在关键定理中以弱普遍函数替代普遍函数，纠正早期研究（如[7]）中的错误证明。

实验结果

研究问题

• RQ1 恒等函数是弱普遍的是否意味着在数字图像中具有多值AFPP？
• RQ2 命题2.12的逆命题是否成立——单值AFPP是否蕴含多值AFPP？
• RQ3 在至少两个指标满足$b_i > a_i$的乘积空间$X = \prod_{i=1}^v [a_i, b_i]_{\mathbb{Z}}$中，其在$c_v$-邻接下是否具有单值AFPP？
• RQ4 若子集$Y$是具有多值AFPP的数字图像$X$的$(c_v, c_v)$-连续多值重影，则$Y$是否也具有多值AFPP？
• RQ5 若恒等函数是$X$上单值映射的弱普遍函数，则它是否也是$X$上多值映射的弱普遍函数？

主要发现

• 当且仅当恒等函数$1_X$是$X$上多值函数的弱普遍函数时，数字图像$(X, \nu)$具有多值AFPP。
• 文献[7]中命题3.1的主张——常值多值函数$F(x) = Y$是普遍的——是错误的；反例表明其仅为弱普遍，例如在单点图像中。
• 文献[7]中命题4.1的断言——恒等函数是普遍的当且仅当$X$具有多值AFPP——是错误的；正确条件应基于弱普遍性，而非普遍性。
• 本文通过弱普遍性提供了多值AFPP的更正特征刻画，解决了先前文献中的不一致问题。
• 恒等函数$1_X$是$C(X, \nu)$的弱普遍函数当且仅当$(X, \nu)$具有单值AFPP，此结论已在[4]中建立并在此处得到确认。
• 本文识别并纠正了[7]和[11]中的错误，特别是将普遍函数误用于定义和证明AFPP结果，而非使用弱普遍函数。