[論文レビュー] Remarks on pointed digital homotopy

Laurence Boxer, P. Christopher Staecker|arXiv (Cornell University)|Mar 10, 2015

Digital Image Processing Techniques参考文献 13被引用数 3

ひとこと要約

本稿では、最終的に定数に収束する（EC）ループを用いたデジタル基本群の新規な変種を導入し、従来の自明な拡張に比べて取り扱いが簡素化される。既存の研究における誤った証明を是正し、基点を保存しない場合でも、ホモトピー同値なデジタル画像は同型な基本群を持つことを確立し、初めて基点を保存しないホモトピー同値なデジタル画像の例を提示する。

ABSTRACT

We present and explore in detail a pair of digital images with $c_u$-adjacencies that are homotopic but not pointed homotopic. For two digital loops $f,g: [0,m]_Z ightarrow X$ with the same basepoint, we introduce the notion of {\em tight at the basepoint (TAB)} pointed homotopy, which is more restrictive than ordinary pointed homotopy and yields some different results. We present a variant form of the digital fundamental group. Based on what we call {\em eventually constant} loops, this version of the fundamental group is equivalent to that of Boxer (1999), but offers the advantage that eventually constant maps are often easier to work with than the trivial extensions that are key to the development of the fundamental group in Boxer (1999) and many subsequent papers. We show that homotopy equivalent digital images have isomorphic fundamental groups, even when the homotopy equivalence does not preserve the basepoint. This assertion appeared in Boxer (2005), but there was an error in the proof; here, we correct the error.

研究の動機と目的

• ホモトピー同値なデジタル画像が同型な基本群を持つという主張を含む[3]における誤りを是正すること。
• 従来の研究で用いられる煩わしい自明な拡張を避けるために、最終的に定数に収束する（EC）ループに基づくデジタル基本群の新バージョンを導入すること。
• $c_u$-隣接性を有するデジタル画像のうち、ホモトピー同値であるが基点を保存しないホモトピー同値でない例を初めて提示すること。
• 基点でタイトな（TAB）と呼ばれる、より厳しい形の基点付きホモトピーを定義し、そのループ同値性への影響を分析すること。
• 基点を保存しない場合でも、ホモトピー同値が基本群に同型写像を誘導することを確立すること。

提案手法

• 有限のループの同値類を表す新しい基本群構成の土台として、ある有限のインデックス以降定数に収束する（EC）ループの概念を導入する。
• 基点がホモトピー中常に固定される必要があるという制約を課す「基点でタイトな」（TAB）と呼ばれる新しいホモトピー関係を定義する。これは標準的な基点付きホモトピーよりも制限が厳しい。
• 有限のループの同値類からECループへの写像 $F: \Pi_1(X,x_0) \to G(X,x_0)$ を構成し、これが同型であることを示す。
• 写像 $H: X \times [0,m]_\mathbb{Z} \to X$ を用いて $1_X$ から $G \circ F$ へのホモトピーを定義し、$q(t) = H(p,t)$ で定まる経路 $q$ を得ることで、基点を保存するループホモトピーの構成を可能にする。
• 補題5.2の同型写像 $q_\#$ を用い、$q_\#$ との合成により、基本群上の誘導写像 $F_*$ が同型であることを示す。
• 端点を固定するホモトピー $K$ を構成し、$f$ と $q_\infty * f * (q_\infty)^{-1}$ の間にホモトピーを定義することで、$F_*$ が同型であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 ホモトピー同値なデジタル画像が、ホモトピー同値が基点を保存しない場合でも同型な基本群を持つことは可能か？
• RQ2 ホモトピー同値であるが基点を保存しないホモトピー同値でないデジタル画像のペアは存在するか？
• RQ3 自明な拡張に依存しないように、最終的に定数に収束するループを用いてデジタル基本群を再定義できるか？
• RQ4 「基点でタイトな」（TAB）ホモトピー関係は、標準的な基点付きホモトピーと比べて、ループ同値性にどのような影響を与えるか？
• RQ5 デジタルトポロジーにおいて、ホモトピー同値が基本群に同型写像を誘導することの正しい証明は何か？

主な発見

• 本稿では、$c_u$-隣接性を有するデジタル画像のうち、ホモトピー同値であるが基点を保存しないホモトピー同値でない例を初めて提示する。
• 有限のループに基づく古典的バージョンと同型であるが、ECループに基づく基本群は、しばしば取り扱いが容易である。
• 写像 $F: \Pi_1(X,x_0) \to G(X,x_0)$ で $F([f]_X) = [f_\infty]_X$ と定義される同型写像が、新規と古典的両基本群構成の同値性を示している。
• [3]で提示された、ホモトピー同値なデジタル画像が同型な基本群を持つという主張の誤った証明は、$F_*$ が $q_\#$ との合成により同型であることを示すことによって是正された。
• 経路 $q$ と端点を固定するホモトピー $K$ を用いて、$F_*$ が単射かつ全射であることを示すことにより、$F_*$ が同型であることが証明された。
• 写像 $q_\# \circ G_* \circ F_*$ が恒等写像であることを示し、$q_\#$ が同型であるため、$F_*$ も同型でなければならないことを示した。