[論文レビュー] 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 少なくとも2つの添え字について$b_i > a_i$である積空間$X = \prod_{i=1}^v [a_i, b_i]_{\mathbb{Z}}$は、$c_v$-隣接のもとで単値AFPPを有するか？
• RQ4 多値AFPPを有するデジタル画像$X$の部分集合$Y$が$(c_v, c_v)$-連続な多値リトラクトであるならば、$Y$も多値AFPPを有するか？
• RQ5 恒等関数が$X$上の単値写像に関して弱普遍的であれば、$X$上の多値写像に対しても弱普遍的であるか？

主な発見

• デジタル画像$(X, \nu)$が多値AFPPを有するのは、恒等関数$1_X$が$X$上の多値関数に関して弱普遍的であるとき、かつそのときに限る。
• [7]の命題3.1で主張されている「定数多値関数$F(x) = Y$は普遍的である」という主張は誤りである。単一の点からなる画像の反例により、これは弱普遍的にすぎないことが示された。
• [7]の命題4.1で主張されている「恒等関数が普遍的であることと$X$が多値AFPPを有することは同値である」という主張は誤りである。正しい条件は普遍性ではなく、弱普遍性に基づくものである。
• 本稿は、弱普遍性を用いた多値AFPPの修正された特徴付けを提示し、先行文献における矛盾を解消した。
• 恒等関数$1_X$が$C(X, \nu)$に関して弱普遍的であることと、$(X, \nu)$が単値AFPPを有することは同値である。これは[4]で確立され、本稿でも確認された。
• 本稿は、[7]および[11]における誤りを特定し是正した。特に、AFPPの定義や証明において、普遍的関数を弱普遍的関数に誤って使用していた点を是正した。